-
Approximate Solutions of Combinatorial Problems via Quantum Relaxations
Authors:
Bryce Fuller,
Charles Hadfield,
Jennifer R. Glick,
Takashi Imamichi,
Toshinari Itoko,
Richard J. Thompson,
Yang Jiao,
Marna M. Kagele,
Adriana W. Blom-Schieber,
Rudy Raymond,
Antonio Mezzacapo
Abstract:
Combinatorial problems are formulated to find optimal designs within a fixed set of constraints. They are commonly found across diverse engineering and scientific domains. Understanding how to best use quantum computers for combinatorial optimization is to date an open problem. Here we propose new methods for producing approximate solutions for the maximum cut problem and its weighted version, whi…
▽ More
Combinatorial problems are formulated to find optimal designs within a fixed set of constraints. They are commonly found across diverse engineering and scientific domains. Understanding how to best use quantum computers for combinatorial optimization is to date an open problem. Here we propose new methods for producing approximate solutions for the maximum cut problem and its weighted version, which are based on relaxations to local quantum Hamiltonians. These relaxations are defined through commutative maps, which in turn are constructed borrowing ideas from quantum random access codes. We establish relations between the spectra of the relaxed Hamiltonians and optimal cuts of the original problems, via two quantum rounding protocols. The first one is based on projections to random magic states. It produces average cuts that approximate the optimal one by a factor of least 0.555 or 0.625, depending on the relaxation chosen, if given access to a quantum state with energy between the optimal classical cut and the maximal relaxed energy. The second rounding protocol is deterministic and it is based on estimation of Pauli observables. The proposed quantum relaxations inherit memory compression from quantum random access codes, which allowed us to test the performances of the methods presented for 3-regular random graphs and a design problem motivated by industry for sizes up to 40 nodes, on superconducting quantum processors.
△ Less
Submitted 8 November, 2021; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Scheduling of Operations in Quantum Compiler
Authors:
Toshinari Itoko,
Takashi Imamichi
Abstract:
When scheduling quantum operations, a shorter overall execution time of the resulting schedule yields a better throughput and higher fidelity output. In this paper, we demonstrate that quantum operation scheduling can be interpreted as a special type of job-shop problem. On this basis, we provide its formulation as Constraint Programming while taking into account commutation between quantum operat…
▽ More
When scheduling quantum operations, a shorter overall execution time of the resulting schedule yields a better throughput and higher fidelity output. In this paper, we demonstrate that quantum operation scheduling can be interpreted as a special type of job-shop problem. On this basis, we provide its formulation as Constraint Programming while taking into account commutation between quantum operations. We show that this formulation improves the overall execution time of the resulting schedules in practice through experiments with a real quantum compiler and quantum circuits from two common benchmark sets.
△ Less
Submitted 10 November, 2020;
originally announced November 2020.
-
Efficient evaluation of quantum observables using entangled measurements
Authors:
Ikko Hamamura,
Takashi Imamichi
Abstract:
The advent of cloud quantum computing has led to the rapid development of quantum algorithms. In particular, it is necessary to study variational quantum-classical hybrid algorithms, which are executable on noisy intermediate-scale quantum (NISQ) computers. Evaluations of observables appear frequently in the variational quantum-classical hybrid algorithms for NISQ computers. By speeding up the eva…
▽ More
The advent of cloud quantum computing has led to the rapid development of quantum algorithms. In particular, it is necessary to study variational quantum-classical hybrid algorithms, which are executable on noisy intermediate-scale quantum (NISQ) computers. Evaluations of observables appear frequently in the variational quantum-classical hybrid algorithms for NISQ computers. By speeding up the evaluation of observables, it is possible to realize a faster algorithm and save resources of quantum computers. Grouping of observables with separable measurements has been conventionally used, and the grouping with entangled measurements has also been proposed recently by several teams. In this paper, we show that entangled measurements enhance the efficiency of evaluation of observables, both theoretically and experimentally by taking into account the covariance effect, which may affect the quality of evaluation of observables. We also propose using a part of entangled measurements for grouping to keep the depth of extra gates constant. Our proposed method is expected to be used in conjunction with other related studies. We hope that entangled measurements would become crucial resources, not only for joint measurements but also for quantum information processing.
△ Less
Submitted 24 December, 2019; v1 submitted 19 September, 2019;
originally announced September 2019.
-
Optimization of Quantum Circuit Mapping using Gate Transformation and Commutation
Authors:
Toshinari Itoko,
Rudy Raymond,
Takashi Imamichi,
Atsushi Matsuo
Abstract:
This paper addresses quantum circuit mapping for Noisy Intermediate-Scale Quantum (NISQ) computers. Since NISQ computers constraint two-qubit operations on limited couplings, an input circuit must be transformed into an equivalent output circuit obeying the constraints. The transformation often requires additional gates that can affect the accuracy of running the circuit. Based upon a previous wor…
▽ More
This paper addresses quantum circuit mapping for Noisy Intermediate-Scale Quantum (NISQ) computers. Since NISQ computers constraint two-qubit operations on limited couplings, an input circuit must be transformed into an equivalent output circuit obeying the constraints. The transformation often requires additional gates that can affect the accuracy of running the circuit. Based upon a previous work of quantum circuit mapping that leverages gate commutation rules, this paper shows algorithms that utilize both transformation and commutation rules. Experiments on a standard benchmark dataset confirm the algorithms with more rules can find even better circuit mappings compared with the previously-known best algorithms.
△ Less
Submitted 17 October, 2019; v1 submitted 5 July, 2019;
originally announced July 2019.
-
Profile-guided memory optimization for deep neural networks
Authors:
Taro Sekiyama,
Takashi Imamichi,
Haruki Imai,
Rudy Raymond
Abstract:
Recent years have seen deep neural networks (DNNs) becoming wider and deeper to achieve better performance in many applications of AI. Such DNNs however require huge amounts of memory to store weights and intermediate results (e.g., activations, feature maps, etc.) in propagation. This requirement makes it difficult to run the DNNs on devices with limited, hard-to-extend memory, degrades the runni…
▽ More
Recent years have seen deep neural networks (DNNs) becoming wider and deeper to achieve better performance in many applications of AI. Such DNNs however require huge amounts of memory to store weights and intermediate results (e.g., activations, feature maps, etc.) in propagation. This requirement makes it difficult to run the DNNs on devices with limited, hard-to-extend memory, degrades the running time performance, and restricts the design of network models. We address this challenge by developing a novel profile-guided memory optimization to efficiently and quickly allocate memory blocks during the propagation in DNNs. The optimization utilizes a simple and fast heuristic algorithm based on the two-dimensional rectangle packing problem. Experimenting with well-known neural network models, we confirm that our method not only reduces the memory consumption by up to $49.5\%$ but also accelerates training and inference by up to a factor of four thanks to the rapidity of the memory allocation and the ability to use larger mini-batch sizes.
△ Less
Submitted 26 April, 2018;
originally announced April 2018.