-
Inductive Construction of Variational Quantum Circuit for Constrained Combinatorial Optimization
Authors:
Hyakka Nakada,
Kotaro Tanahashi,
Shu Tanaka
Abstract:
In this study, we propose a new method for constrained combinatorial optimization using variational quantum circuits. Quantum computers are considered to have the potential to solve large combinatorial optimization problems faster than classical computers. Variational quantum algorithms, such as Variational Quantum Eigensolver (VQE), have been studied extensively because they are expected to work…
▽ More
In this study, we propose a new method for constrained combinatorial optimization using variational quantum circuits. Quantum computers are considered to have the potential to solve large combinatorial optimization problems faster than classical computers. Variational quantum algorithms, such as Variational Quantum Eigensolver (VQE), have been studied extensively because they are expected to work on noisy intermediate scale devices. Unfortunately, many optimization problems have constraints, which induces infeasible solutions during VQE process. Recently, several methods for efficiently solving constrained combinatorial optimization problems have been proposed by designing a quantum circuit so as to output only the states that satisfy the constraints. However, the types of available constraints are still limited. Therefore, we have started to develop variational quantum circuits that can handle a wider range of constraints. The proposed method utilizes a forwarding operation that maps from feasible states for subproblems to those for larger subproblems. As long as appropriate forwarding operations can be defined, iteration of this process can inductively construct variational circuits outputting feasible states even in the case of multiple and complex constraints. In this paper, the proposed method was applied to facility location problem and was found to increase the probability for measuring feasible solutions or optimal solutions. In addition, the cost of the obtained circuit was comparable to that of conventional variational circuits.
△ Less
Submitted 6 January, 2025;
originally announced January 2025.
-
Quick design of feasible tensor networks for constrained combinatorial optimization
Authors:
Hyakka Nakada,
Kotaro Tanahashi,
Shu Tanaka
Abstract:
In this study, we propose a new method for constrained combinatorial optimization using tensor networks. Combinatorial optimization methods employing quantum gates, such as quantum approximate optimization algorithm, have been intensively investigated. However, their limitations in errors and the number of qubits prevent them from handling large-scale combinatorial optimization problems. Alternati…
▽ More
In this study, we propose a new method for constrained combinatorial optimization using tensor networks. Combinatorial optimization methods employing quantum gates, such as quantum approximate optimization algorithm, have been intensively investigated. However, their limitations in errors and the number of qubits prevent them from handling large-scale combinatorial optimization problems. Alternatively, attempts have been made to solve larger-scale problems using tensor networks that can approximately simulate quantum states. In recent years, tensor networks have been applied to constrained combinatorial optimization problems for practical applications. By preparing a specific tensor network to sample states that satisfy constraints, feasible solutions can be searched for without the method of penalty functions. Previous studies have been based on profound physics, such as U(1) gauge schemes and high-dimensional lattice models. In this study, we devise to design feasible tensor networks using elementary mathematics without such a specific knowledge. One approach is to construct tensor networks with nilpotent-matrix manipulation. The second is to algebraically determine tensor parameters. For the principle verification of the proposed method, we constructed a feasible tensor network for facility location problem and conducted imaginary time evolution. We found that feasible solutions were obtained during the evolution, ultimately leading to the optimal solution. The proposed method is expected to facilitate the discovery of feasible tensor networks for constrained combinatorial optimization problems.
△ Less
Submitted 5 June, 2025; v1 submitted 3 September, 2024;
originally announced September 2024.
-
Annealing-Assisted Column Generation for Inequality-Constrained Combinatorial Optimization Problems
Authors:
Hiroshi Kanai,
Masashi Yamashita,
Kotaro Tanahashi,
Shu Tanaka
Abstract:
Ising machines are expected to solve combinatorial optimization problems faster than the existing integer programming solvers. These problems, particularly those encountered in practical situations, typically involve inequality constraints. However, owing to the hardware limitations of the current Ising machines, solving combinatorial optimization problems with inequality constraints remains chall…
▽ More
Ising machines are expected to solve combinatorial optimization problems faster than the existing integer programming solvers. These problems, particularly those encountered in practical situations, typically involve inequality constraints. However, owing to the hardware limitations of the current Ising machines, solving combinatorial optimization problems with inequality constraints remains challenging. The Capacitated Vehicle Routing Problem (CVRP) is a typical example of a problem with inequality constraints. The objective function of the CVRP is to minimize the total distance traveled by each vehicle while limiting the total demand of customers served by a single vehicle to the vehicle's capacity. The CVRP is classified as NP-hard and, thus, is commonly solved using heuristic algorithms, such as column generation. Column generation attempts to iteratively generate only the promising routes, as the number of feasible routes increases exponentially. Within this framework, the CVRP is formulated as a set cover problem. The corresponding dual solutions are used to define the pricing subproblem, which is intended to create a new route. By applying Ising machines to this pricing subproblem, the overall computation time can be reduced. This study aims to solve combinatorial optimization problems with inequality constraints using a hybrid algorithm that combines column generation and Ising machines, thereby extending the applications of the latter. We parameterize the difficulty of the inequality constraints and demonstrate that our annealing-assisted column generation can converge to a better lower bound.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Spectral mapping theorem and the Taylor spectrum
Authors:
Muneo Cho,
B. Nachevska Nastovska,
Kotaro Tanahashi
Abstract:
In [6] Cho and Tanahashi showe new spectral mapping theorem of the taylor spectrum for doubly commuting pairs of p-hyponormal operators and log-hyponormal operators. In this paper, we will show that same spectral mapping theorem holds for commuting n-tuples.
In [6] Cho and Tanahashi showe new spectral mapping theorem of the taylor spectrum for doubly commuting pairs of p-hyponormal operators and log-hyponormal operators. In this paper, we will show that same spectral mapping theorem holds for commuting n-tuples.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Heron-Bench: A Benchmark for Evaluating Vision Language Models in Japanese
Authors:
Yuichi Inoue,
Kento Sasaki,
Yuma Ochi,
Kazuki Fujii,
Kotaro Tanahashi,
Yu Yamaguchi
Abstract:
Vision Language Models (VLMs) have undergone a rapid evolution, giving rise to significant advancements in the realm of multimodal understanding tasks. However, the majority of these models are trained and evaluated on English-centric datasets, leaving a gap in the development and evaluation of VLMs for other languages, such as Japanese. This gap can be attributed to the lack of methodologies for…
▽ More
Vision Language Models (VLMs) have undergone a rapid evolution, giving rise to significant advancements in the realm of multimodal understanding tasks. However, the majority of these models are trained and evaluated on English-centric datasets, leaving a gap in the development and evaluation of VLMs for other languages, such as Japanese. This gap can be attributed to the lack of methodologies for constructing VLMs and the absence of benchmarks to accurately measure their performance. To address this issue, we introduce a novel benchmark, Japanese Heron-Bench, for evaluating Japanese capabilities of VLMs. The Japanese Heron-Bench consists of a variety of imagequestion answer pairs tailored to the Japanese context. Additionally, we present a baseline Japanese VLM that has been trained with Japanese visual instruction tuning datasets. Our Heron-Bench reveals the strengths and limitations of the proposed VLM across various ability dimensions. Furthermore, we clarify the capability gap between strong closed models like GPT-4V and the baseline model, providing valuable insights for future research in this domain. We release the benchmark dataset and training code to facilitate further developments in Japanese VLM research.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
NuScenes-MQA: Integrated Evaluation of Captions and QA for Autonomous Driving Datasets using Markup Annotations
Authors:
Yuichi Inoue,
Yuki Yada,
Kotaro Tanahashi,
Yu Yamaguchi
Abstract:
Visual Question Answering (VQA) is one of the most important tasks in autonomous driving, which requires accurate recognition and complex situation evaluations. However, datasets annotated in a QA format, which guarantees precise language generation and scene recognition from driving scenes, have not been established yet. In this work, we introduce Markup-QA, a novel dataset annotation technique i…
▽ More
Visual Question Answering (VQA) is one of the most important tasks in autonomous driving, which requires accurate recognition and complex situation evaluations. However, datasets annotated in a QA format, which guarantees precise language generation and scene recognition from driving scenes, have not been established yet. In this work, we introduce Markup-QA, a novel dataset annotation technique in which QAs are enclosed within markups. This approach facilitates the simultaneous evaluation of a model's capabilities in sentence generation and VQA. Moreover, using this annotation methodology, we designed the NuScenes-MQA dataset. This dataset empowers the development of vision language models, especially for autonomous driving tasks, by focusing on both descriptive capabilities and precise QA. The dataset is available at https://github.com/turingmotors/NuScenes-MQA.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Evaluation of Large Language Models for Decision Making in Autonomous Driving
Authors:
Kotaro Tanahashi,
Yuichi Inoue,
Yu Yamaguchi,
Hidetatsu Yaginuma,
Daiki Shiotsuka,
Hiroyuki Shimatani,
Kohei Iwamasa,
Yoshiaki Inoue,
Takafumi Yamaguchi,
Koki Igari,
Tsukasa Horinouchi,
Kento Tokuhiro,
Yugo Tokuchi,
Shunsuke Aoki
Abstract:
Various methods have been proposed for utilizing Large Language Models (LLMs) in autonomous driving. One strategy of using LLMs for autonomous driving involves inputting surrounding objects as text prompts to the LLMs, along with their coordinate and velocity information, and then outputting the subsequent movements of the vehicle. When using LLMs for such purposes, capabilities such as spatial re…
▽ More
Various methods have been proposed for utilizing Large Language Models (LLMs) in autonomous driving. One strategy of using LLMs for autonomous driving involves inputting surrounding objects as text prompts to the LLMs, along with their coordinate and velocity information, and then outputting the subsequent movements of the vehicle. When using LLMs for such purposes, capabilities such as spatial recognition and planning are essential. In particular, two foundational capabilities are required: (1) spatial-aware decision making, which is the ability to recognize space from coordinate information and make decisions to avoid collisions, and (2) the ability to adhere to traffic rules. However, quantitative research has not been conducted on how accurately different types of LLMs can handle these problems. In this study, we quantitatively evaluated these two abilities of LLMs in the context of autonomous driving. Furthermore, to conduct a Proof of Concept (POC) for the feasibility of implementing these abilities in actual vehicles, we developed a system that uses LLMs to drive a vehicle.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Automatic HFL(Z) Validity Checking for Program Verification
Authors:
Naoki Kobayashi,
Kento Tanahashi,
Ryosuke Sato,
Takeshi Tsukada
Abstract:
We propose an automated method for checking the validity of a formula of HFL(Z), a higher-order logic with fixpoint operators and integers. Combined with Kobayashi et al.'s reduction from higher-order program verification to HFL(Z) validity checking, our method yields a fully automated, uniform verification method for arbitrary temporal properties of higher-order functional programs expressible in…
▽ More
We propose an automated method for checking the validity of a formula of HFL(Z), a higher-order logic with fixpoint operators and integers. Combined with Kobayashi et al.'s reduction from higher-order program verification to HFL(Z) validity checking, our method yields a fully automated, uniform verification method for arbitrary temporal properties of higher-order functional programs expressible in the modal mu-calculus, including termination, non-termination, fair termination, fair non-termination, and also branching-time properties. We have implemented our method and obtained promising experimental results.
△ Less
Submitted 8 December, 2022; v1 submitted 14 March, 2022;
originally announced March 2022.
-
PyQUBO: Python Library for Mapping Combinatorial Optimization Problems to QUBO Form
Authors:
Mashiyat Zaman,
Kotaro Tanahashi,
Shu Tanaka
Abstract:
We present PyQUBO, an open-source, Python library for constructing quadratic unconstrained binary optimizations (QUBOs) from the objective functions and the constraints of optimization problems. PyQUBO enables users to prepare QUBOs or Ising models for various combinatorial optimization problems with ease thanks to the abstraction of expressions and the extensibility of the program. QUBOs and Isin…
▽ More
We present PyQUBO, an open-source, Python library for constructing quadratic unconstrained binary optimizations (QUBOs) from the objective functions and the constraints of optimization problems. PyQUBO enables users to prepare QUBOs or Ising models for various combinatorial optimization problems with ease thanks to the abstraction of expressions and the extensibility of the program. QUBOs and Ising models formulated using PyQUBO are solvable by Ising machines, including quantum annealing machines. We introduce the features of PyQUBO with applications in the number partitioning problem, knapsack problem, graph coloring problem, and integer factorization using a binary multiplier. Moreover, we demonstrate how PyQUBO can be applied to production-scale problems through integration with quantum annealing machines. Through its flexibility and ease of use, PyQUBO has the potential to make quantum annealing a more practical tool among researchers.
△ Less
Submitted 3 March, 2021; v1 submitted 2 March, 2021;
originally announced March 2021.
-
Item Listing Optimization for E-commerce Websites based on Diversity
Authors:
Naoki Nishimura,
Kotaro Tanahashi,
Koji Suganuma,
Masamichi J. Miyama,
Masayuki Ohzeki
Abstract:
For e-commerce websites, deciding the manner in which items are listed on webpages is an important issue because it can dramatically affect item sales. One of the simplest strategies of listing items to improve the overall sales is to do so in a descending order of sales or sales numbers. However, in lists generated using this strategy, items with high similarity are often placed consecutively. In…
▽ More
For e-commerce websites, deciding the manner in which items are listed on webpages is an important issue because it can dramatically affect item sales. One of the simplest strategies of listing items to improve the overall sales is to do so in a descending order of sales or sales numbers. However, in lists generated using this strategy, items with high similarity are often placed consecutively. In other words, the generated item list might be biased toward a specific preference. Therefore, this study employs penalties for items with high similarity being placed next to each other in the list and transforms the item listing problem to a quadratic assignment problem (QAP). The QAP is well-known as an NP-hard problem that cannot be solved in polynomial time. To solve the QAP, we employ quantum annealing (QA), which exploits the quantum tunneling effect to efficiently solve an optimization problem. In addition, we propose a problem decomposition method based on the structure of the item listing problem because the quantum annealer we use (i.e., D-Wave 2000Q) has a limited number of quantum bits. Our experimental results indicate that we can create an item list that considers both sales and diversity. In addition, we observe that using the problem decomposition method based on a problem structure can lead to a better solution with the quantum annealer in comparison with the existing problem decomposition method.
△ Less
Submitted 27 March, 2019;
originally announced March 2019.
-
Co-appearance of superconductivity and ferromagnetism in a Ca$_2$RuO$_4$ nanofilm crystal
Authors:
Hiroyoshi Nobukane,
Kosei Yanagihara,
Yuji Kunisada,
Yunito Ogasawara,
Kakeru Isono,
Kazushige Nomura,
Keita Tanahashi,
Takahiro Nomura,
Tomohiro Akiyama,
Satoshi Tanda
Abstract:
By tuning the physical and chemical pressures of layered perovskite materials we can realize the quantum states of both superconductors and insulators. By reducing the thickness of a layered crystal to a nanometer level, a nanofilm crystal can provide novel quantum states that have not previously been found in bulk crystals. Here we report the realization of high-temperature superconductivity in C…
▽ More
By tuning the physical and chemical pressures of layered perovskite materials we can realize the quantum states of both superconductors and insulators. By reducing the thickness of a layered crystal to a nanometer level, a nanofilm crystal can provide novel quantum states that have not previously been found in bulk crystals. Here we report the realization of high-temperature superconductivity in Ca$_2$RuO$_4$ nanofilm single crystals. Ca$_2$RuO$_4$ thin film with the highest transition temperature $T_c$ (midpoint) of 64~K exhibits zero resistance in electric transport measurements. The superconducting critical current exhibited a logarithmic dependence on temperature and was enhanced by an external magnetic field. Magnetic measurements revealed a ferromagnetic transition at 180~K and diamagnetic magnetization due to superconductivity. Our results suggest the co-appearance of superconductivity and ferromagnetism in Ca$_2$RuO$_4$ nanofilm crystals. We also found that the induced bias current and the tuned film thickness caused a superconductor-insulator transition. The fabrication of micro-nanocrystals made of layered material enables us to discuss rich superconducting phenomena in ruthenates.
△ Less
Submitted 26 February, 2020; v1 submitted 28 March, 2017;
originally announced March 2017.
