SearcharxivSearch

arXiv subjects

Yuya Kawamata

Publications and source records attributed to Yuya Kawamata.

3 recordsLinked to original sources

Divide-and-Conquer Neural Network Surrogates for Quantum Sampling: Accelerating Markov Chain Monte Carlo in Large-Scale Constrained Optimization Problems

Sampling problems are promising candidates for demonstrating quantum advantage, and one approach known as quantum-enhanced Markov chain Monte Carlo [Layden, D. et al., Nature 619, 282-287 (2023)] uses quantum samples as a proposal distribution to accelerate convergence to a target distribution. On the other hand, many practical problems are large-scale and constrained, making it difficult to construct efficient proposal distributions in classical methods and slowing down MCMC mixing. In this work, we propose a divide-and-conquer neural network surrogate framework for quantum sampling to accelerate MCMC under fixed Hamming weight constraints. Our method divides the interaction graph for an Ising problem into subgraphs, generates samples using QAOA for those subproblems with an XY mixer, and trains neural network surrogates conditioned on the Hamming weight to provide proposal distributions for each subset while preserving the constraint. In numerical experiments of Boltzmann sampling on 3-regular graphs, our method consistently accelerated mixing as the system size $N$ increased, with average improvements in the autocorrelation decay rate constant by speedup factors of about $20.3$ and $7.6$ over classical pair-flip methods based on nearest-neighbor and non-nearest-neighbor exchanges, respectively. We also applied the method to an MNIST feature mask optimization problem with $N=784$, obtaining faster energy convergence and a $2.03\%$ higher classification accuracy. These results show that our method enables efficient and scalable MCMC and can outperform classical methods for practical applications on NISQ devices.

quant-ph

Quasi-Monte Carlo Method for Linear Combination Unitaries via Classical Post-Processing

We propose the quasi-Monte Carlo method for linear combination of unitaries via classical post-processing (LCU-CPP) on quantum applications. The LCU-CPP framework has been proposed as an approach to reduce hardware resources, expressing a general target operator $F(A)$ as $F(A) = \int_V f(t) G(A, t)dt$, where each $G(A, t)$ is proportional to a unitary operator. On a quantum device, $Re[Tr(G(A, t)ρ)]$ can be estimated using the Hadamard test and then combined through classical integration, allowing for the realization of nonunitary functions with reduced circuit depth. While previous studies have employed the Monte Carlo method or the trapezoid rule to evaluate the integral in LCU-CPP, we show that the quasi-Monte Carlo method can achieve even lower errors. In two numerical experiments, ground state property estimation and Green's function estimation, the quasi-Monte Carlo method achieves the lowest errors with a number of Hadamard test shots per unitary that is practical for real hardware implementations. These results indicate that quasi-Monte Carlo is an effective integration strategy within the LCU-CPP framework.

quant-ph

Designing Unit Ising Models for Logic Gate Simulation through Integer Linear Programming

An Ising model is defined by a quadratic objective function known as the Hamiltonian, composed of spin variables that can take values of either $-1$ or $+1$. The goal is to assign spin values to these variables in a way that minimizes the value of the Hamiltonian. Ising models are instrumental in tackling many combinatorial optimization problems, leading to significant research in developing solvers for them. Notably, D-Wave Systems has pioneered the creation of quantum annealers, programmable solvers based on quantum mechanics, for these models. This paper introduces unit Ising models, where all non-zero coefficients of linear and quadratic terms are either $-1$ or $+1$. Due to the limited resolution of quantum annealers, unit Ising models are more suitable for quantum annealers to find optimal solutions. We propose a novel design methodology for unit Ising models to simulate logic circuits computing Boolean functions through integer linear programming. By optimizing these Ising models with quantum annealers, we can compute Boolean functions and their inverses. With a fixed unit Ising model for a logic circuit, we can potentially design Application-Specific Unit Quantum Annealers (ASUQAs) for computing the inverse function, which is analogous to Application-Specific Integrated Circuits (ASICs) in digital circuitry. For instance, if we apply this technique to a multiplication circuit, we can design an ASUQA for factorization of two numbers. Our findings suggest a powerful new method for compromising the RSA cryptosystem by leveraging ASUQAs in factorization.

cs.ET