-
Traffic signal optimization in large-scale urban road networks: an adaptive-predictive controller using Ising models
Authors:
Daisuke Inoue,
Hiroshi Yamashita,
Kazuyuki Aihara,
Hiroaki Yoshida
Abstract:
Realizing smooth traffic flow is important for achieving carbon neutrality. Adaptive traffic signal control, which considers traffic conditions, has thus attracted attention. However, it is difficult to ensure optimal vehicle flow throughout a large city using existing control methods because of their heavy computational load. Here, we propose a control method called AMPIC (Adaptive Model Predicti…
▽ More
Realizing smooth traffic flow is important for achieving carbon neutrality. Adaptive traffic signal control, which considers traffic conditions, has thus attracted attention. However, it is difficult to ensure optimal vehicle flow throughout a large city using existing control methods because of their heavy computational load. Here, we propose a control method called AMPIC (Adaptive Model Predictive Ising Controller) that guarantees both scalability and optimality. The proposed method employs model predictive control to solve an optimal control problem at each control interval with explicit consideration of a predictive model of vehicle flow. This optimal control problem is transformed into a combinatorial optimization problem with binary variables that is equivalent to the so-called Ising problem. This transformation allows us to use an Ising solver, which has been widely studied and is expected to have fast and efficient optimization performance. We performed numerical experiments using a microscopic traffic simulator for a realistic city road network. The results show that AMPIC enables faster vehicle cruising speed with less waiting time than that achieved by classical control methods, resulting in lower CO2 emissions. The model predictive approach with a long prediction horizon thus effectively improves control performance. Systematic parametric studies on model cities indicate that the proposed method realizes smoother traffic flows for large city road networks. Among Ising solvers, D-Wave's quantum annealing is shown to find near-optimal solutions at a reasonable computational cost.
△ Less
Submitted 12 July, 2024; v1 submitted 5 June, 2024;
originally announced June 2024.
-
High-Speed Resource Allocation Algorithm Using a Coherent Ising Machine for NOMA Systems
Authors:
Teppei Otsuka,
Aohan Li,
Hiroki Takesue,
Kensuke Inaba,
Kazuyuki Aihara,
Mikio Hasegawa
Abstract:
Non-orthogonal multiple access (NOMA) technique is important for achieving a high data rate in next-generation wireless communications. A key challenge to fully utilizing the effectiveness of the NOMA technique is the optimization of the resource allocation (RA), e.g., channel and power. However, this RA optimization problem is NP-hard, and obtaining a good approximation of a solution with a low c…
▽ More
Non-orthogonal multiple access (NOMA) technique is important for achieving a high data rate in next-generation wireless communications. A key challenge to fully utilizing the effectiveness of the NOMA technique is the optimization of the resource allocation (RA), e.g., channel and power. However, this RA optimization problem is NP-hard, and obtaining a good approximation of a solution with a low computational complexity algorithm is not easy. To overcome this problem, we propose the coherent Ising machine (CIM) based optimization method for channel allocation in NOMA systems. The CIM is an Ising system that can deliver fair approximate solutions to combinatorial optimization problems at high speed (millisecond order) by operating optimization algorithms based on mutually connected photonic neural networks. The performance of our proposed method was evaluated using a simulation model of the CIM. We compared the performance of our proposed method to simulated annealing, a conventional-NOMA pairing scheme, deep Q learning based scheme, and an exhaustive search scheme. Simulation results indicate that our proposed method is superior in terms of speed and the attained optimal solutions.
△ Less
Submitted 3 December, 2022;
originally announced December 2022.
-
Traffic Signal Optimization on a Square Lattice with Quantum Annealing
Authors:
Daisuke Inoue,
Akihisa Okada,
Tadayoshi Matsumori,
Kazuyuki Aihara,
Hiroaki Yoshida
Abstract:
The spread of intelligent transportation systems in urban cities has caused heavy computational loads, requiring a novel architecture for managing large-scale traffic. In this study, we develop a method for globally controlling traffic signals arranged on a square lattice by means of a quantum annealing machine, namely the D-Wave quantum annealer. We first formulate a signal optimization problem t…
▽ More
The spread of intelligent transportation systems in urban cities has caused heavy computational loads, requiring a novel architecture for managing large-scale traffic. In this study, we develop a method for globally controlling traffic signals arranged on a square lattice by means of a quantum annealing machine, namely the D-Wave quantum annealer. We first formulate a signal optimization problem that minimizes the imbalance of traffic flows in two orthogonal directions. Then we reformulate this problem as an Ising Hamiltonian, which is fully compatible with quantum annealers. The new control method is compared with a conventional local control method for a large 50-by-50 city, and the results exhibit the superiority of our global control method in suppressing traffic imbalance over wide parameter ranges. Furthermore, the solutions to the global control method obtained with the quantum annealing machine are better than those obtained with conventional simulated annealing. In addition, we prove analytically that the local and the global control methods converge at the limit where cars have equal probabilities for turning and going straight. These results are verified with numerical experiments.
△ Less
Submitted 1 February, 2021; v1 submitted 17 March, 2020;
originally announced March 2020.
-
Quantum Expectation-Maximization Algorithm
Authors:
Hideyuki Miyahara,
Kazuyuki Aihara,
Wolfgang Lechner
Abstract:
Clustering algorithms are a cornerstone of machine learning applications. Recently, a quantum algorithm for clustering based on the k-means algorithm has been proposed by Kerenidis, Landman, Luongo and Prakash. Based on their work, we propose a quantum expectation-maximization (EM) algorithm for Gaussian mixture models (GMMs). The robustness and quantum speedup of the algorithm is demonstrated. We…
▽ More
Clustering algorithms are a cornerstone of machine learning applications. Recently, a quantum algorithm for clustering based on the k-means algorithm has been proposed by Kerenidis, Landman, Luongo and Prakash. Based on their work, we propose a quantum expectation-maximization (EM) algorithm for Gaussian mixture models (GMMs). The robustness and quantum speedup of the algorithm is demonstrated. We also show numerically the advantage of GMM over k-means for non-trivial cluster data.
△ Less
Submitted 19 August, 2019;
originally announced August 2019.
-
A Quantum Model for Coherent Ising Machines: Discrete-time Measurement Feedback Formulation
Authors:
Atsushi Yamamura,
Kazuyuki Aihara,
Yoshihisa Yamamoto
Abstract:
Recently, the coherent Ising machine (CIM) as a degenerate optical parametric oscillator (DOPO) network has been researched to solve Ising combinatorial optimization problems. We formulate a theoretical model for the CIM with discrete-time measurement feedback processes, and perform numerical simulations for the simplest network, composed of two degenerate optical parametric oscillator pulses with…
▽ More
Recently, the coherent Ising machine (CIM) as a degenerate optical parametric oscillator (DOPO) network has been researched to solve Ising combinatorial optimization problems. We formulate a theoretical model for the CIM with discrete-time measurement feedback processes, and perform numerical simulations for the simplest network, composed of two degenerate optical parametric oscillator pulses with the anti-ferromagnetic mutual coupling. We evaluate the extent to which quantum coherence exists during the optimization process.
△ Less
Submitted 27 September, 2017; v1 submitted 8 June, 2017;
originally announced June 2017.
-
A Quantum Model for Coherent Ising Machine: Stochastic Differential Equations with Replicator Dynamics
Authors:
Taime Shoji,
Kazuyuki Aihara,
Yoshihisa Yamamoto
Abstract:
The quantum theory of coherent Ising machines, based on degenerate optical parametric oscillators and measurement-feedback circuits, is developed using the positive $P(α,β)$ representation of the density operator and the master equation. The theory is composed of the c-number stochastic differential equations for describing open dissipative quantum dynamics and the replicator dynamics equations fo…
▽ More
The quantum theory of coherent Ising machines, based on degenerate optical parametric oscillators and measurement-feedback circuits, is developed using the positive $P(α,β)$ representation of the density operator and the master equation. The theory is composed of the c-number stochastic differential equations for describing open dissipative quantum dynamics and the replicator dynamics equations for handling measurement-induced collapse of the density operator. We apply the present theory to simulate two simple Ising spin models and elucidate the unique features of this computing machine.
△ Less
Submitted 30 October, 2017; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Performance evaluation of coherent Ising machines against classical neural networks
Authors:
Yoshitaka Haribara,
Hitoshi Ishikawa,
Shoko Utsunomiya,
Kazuyuki Aihara,
Yoshihisa Yamamoto
Abstract:
The coherent Ising machine is expected to find a near-optimal solution in various combinatorial optimization problems, which has been experimentally confirmed with optical parametric oscillators (OPOs) and a field programmable gate array (FPGA) circuit. The similar mathematical models were proposed three decades ago by J. J. Hopfield, et al. in the context of classical neural networks. In this art…
▽ More
The coherent Ising machine is expected to find a near-optimal solution in various combinatorial optimization problems, which has been experimentally confirmed with optical parametric oscillators (OPOs) and a field programmable gate array (FPGA) circuit. The similar mathematical models were proposed three decades ago by J. J. Hopfield, et al. in the context of classical neural networks. In this article, we compare the computational performance of both models.
△ Less
Submitted 12 June, 2017; v1 submitted 5 June, 2017;
originally announced June 2017.