-
Unitarization Through Approximate Basis
Authors:
Joshua Cook
Abstract:
We introduce the problem of unitarization. Unitarization is the problem of taking $k$ input quantum circuits that produce orthogonal states from the all $0$ state, and create an output circuit implementing a unitary with its first $k$ columns as those states. That is, the output circuit takes the $k$th computational basis state to the state prepared by the $k$th input circuit. We allow the output…
▽ More
We introduce the problem of unitarization. Unitarization is the problem of taking $k$ input quantum circuits that produce orthogonal states from the all $0$ state, and create an output circuit implementing a unitary with its first $k$ columns as those states. That is, the output circuit takes the $k$th computational basis state to the state prepared by the $k$th input circuit. We allow the output circuit to use ancilla qubits initialized to $0$. But ancilla qubits must always be returned to $0$ for any input. The input circuits may use ancilla qubits, but we are only guaranteed the they return ancilla qubits to $0$ on the all $0$ input.
The unitarization problem seems hard if the output states are neither orthogonal to or in the span of the computational basis states that need to map to them. In this work, we approximately solve this problem in the case where input circuits are given as black box oracles by probably finding an approximate basis for our states. This method may be more interesting than the application. This technique is a sort of quantum analogue of Gram-Schmidt orthogonalization for quantum states.
Specifically, we find an approximate basis in polynomial time for the following parameters. Take any natural $n$, $k = O\left(\frac{\ln(n)}{\ln(\ln(n))}\right)$, and $ε= 2^{-O(\sqrt{\ln(n)})}$. Take any $k$ input quantum states, $(|ψ_i \rangle)_{i\in [k]}$, on polynomial in $n$ qubits prepared by quantum oracles, $(V_i)_{i \in [k]}$ (that we can control call and control invert). Then there is a quantum circuit with polynomial size in $n$ with access to the oracles $(V_i)_{i \in [k]}$ that with at least $1 - ε$ probability, computes at most $k$ circuits with size polynomial in $n$ and oracle access to $(V_i)_{i \in [k]}$ that $ε$ approximately computes an $ε$ approximate orthonormal basis for $(|ψ_i \rangle)_{i\in [k]}$.
△ Less
Submitted 13 September, 2021; v1 submitted 1 April, 2021;
originally announced April 2021.
-
The Quantum Alternating Operator Ansatz on Maximum k-Vertex Cover
Authors:
Jeremy Cook,
Stephan Eidenbenz,
Andreas Bärtschi
Abstract:
The Quantum Alternating Operator Ansatz is a generalization of the Quantum Approximate Optimization Algorithm (QAOA) designed for finding approximate solutions to combinatorial optimization problems with hard constraints. In this paper, we study Maximum $k$-Vertex Cover under this ansatz due to its modest complexity, while still being more complex than the well studied problems of Max-Cut and Max…
▽ More
The Quantum Alternating Operator Ansatz is a generalization of the Quantum Approximate Optimization Algorithm (QAOA) designed for finding approximate solutions to combinatorial optimization problems with hard constraints. In this paper, we study Maximum $k$-Vertex Cover under this ansatz due to its modest complexity, while still being more complex than the well studied problems of Max-Cut and Max E3-LIN2.
Our approach includes (i) a performance comparison between easy-to-prepare classical states and Dicke states as starting states, (ii) a performance comparison between two $XY$-Hamiltonian mixing operators: the ring mixer and the complete graph mixer, (iii) an analysis of the distribution of solutions via Monte Carlo sampling, and (iv) the exploration of efficient angle selection strategies.
Our results are: (i) Dicke states improve performance compared to easy-to-prepare classical states, (ii) an upper bound on the simulation of the complete graph mixer, (iii) the complete graph mixer improves performance relative to the ring mixer, (iv) numerical results indicating the standard deviation of the distribution of solutions decreases exponentially in $p$ (the number of rounds in the algorithm), requiring an exponential number of random samples to find a better solution in the next round, and (v) a correlation of angle parameters which exhibit high quality solutions that behave similarly to a discretized version of the Quantum Adiabatic Algorithm.
△ Less
Submitted 2 October, 2020; v1 submitted 29 October, 2019;
originally announced October 2019.
-
On the relationships between Z-, C-, and H-local unitaries
Authors:
Jeremy Cook
Abstract:
Quantum walk algorithms can speed up search of physical regions of space in both the discrete-time [arXiv:quant-ph/0402107] and continuous-time setting [arXiv:quant-ph/0306054], where the physical region of space being searched is modeled as a connected graph. In such a model, Aaronson and Ambainis [arXiv:quant-ph/0303041] provide three different criteria for a unitary matrix to act locally with r…
▽ More
Quantum walk algorithms can speed up search of physical regions of space in both the discrete-time [arXiv:quant-ph/0402107] and continuous-time setting [arXiv:quant-ph/0306054], where the physical region of space being searched is modeled as a connected graph. In such a model, Aaronson and Ambainis [arXiv:quant-ph/0303041] provide three different criteria for a unitary matrix to act locally with respect to a graph, called $Z$-local, $C$-local, and $H$-local unitaries, and left the open question of relating these three locality criteria. Using a correspondence between continuous- and discrete-time quantum walks by Childs [arXiv:0810.0312], we provide a way to approximate $N\times N$ $H$-local unitaries with error $δ$ using $O(1/\sqrtδ,\sqrt{N})$ $C$-local unitaries, where the comma denotes the maximum of the two terms.
△ Less
Submitted 6 October, 2019; v1 submitted 9 July, 2019;
originally announced July 2019.
-
Approximating Unitary Preparations of Orthogonal Black Box States
Authors:
Joshua Alan Cook
Abstract:
In this paper, I take a step toward answering the following question: for m different small circuits that compute m orthogonal n qubit states, is there a small circuit that will map m computational basis states to these m states without any input leaving any auxiliary bits changed. While this may seem simple, the constraint that auxiliary bits always be returned to 0 on any input (even ones beside…
▽ More
In this paper, I take a step toward answering the following question: for m different small circuits that compute m orthogonal n qubit states, is there a small circuit that will map m computational basis states to these m states without any input leaving any auxiliary bits changed. While this may seem simple, the constraint that auxiliary bits always be returned to 0 on any input (even ones besides the m we care about) led me to use sophisticated techniques. I give an approximation of such a unitary in the m = 2 case that has size polynomial in the approximation error, and the number of qubits n.
△ Less
Submitted 22 June, 2019;
originally announced June 2019.
-
Simulation of Qubit Quantum Circuits via Pauli Propagation
Authors:
Patrick Rall,
Daniel Liang,
Jeremy Cook,
William Kretschmer
Abstract:
We present novel algorithms to estimate outcomes for qubit quantum circuits. Notably, these methods can simulate a Clifford circuit in linear time without ever writing down stabilizer states explicitly. These algorithms outperform previous noisy near-Clifford techniques for most circuits. We identify a large class of input states that can be efficiently simulated despite not being stabilizer state…
▽ More
We present novel algorithms to estimate outcomes for qubit quantum circuits. Notably, these methods can simulate a Clifford circuit in linear time without ever writing down stabilizer states explicitly. These algorithms outperform previous noisy near-Clifford techniques for most circuits. We identify a large class of input states that can be efficiently simulated despite not being stabilizer states. The algorithms leverage probability distributions constructed from Bloch vectors, paralleling previously known algorithms that use the discrete Wigner function for qutrits.
△ Less
Submitted 18 March, 2019; v1 submitted 25 January, 2019;
originally announced January 2019.
-
Exploring Zeptosecond Quantum Equilibration Dynamics: From Deep-Inelastic to Fusion-Fission Outcomes in $^{58}$Ni+$^{60}$Ni Reactions
Authors:
E. Williams,
K. Sekizawa,
D. J. Hinde,
C. Simenel,
M. Dasgupta,
I. P. Carter,
K. J. Cook,
D. Y. Jeung,
S. D. McNeil,
C. S. Palshetkar,
D. C. Rafferty,
K. Ramachandran,
A. Wakhle
Abstract:
Energy dissipative processes play a key role in how quantum many-body systems dynamically evolve towards equilibrium. In closed quantum systems, such processes are attributed to the transfer of energy from collective motion to single-particle degrees of freedom; however, the quantum many-body dynamics of this evolutionary process are poorly understood. To explore energy dissipative phenomena and e…
▽ More
Energy dissipative processes play a key role in how quantum many-body systems dynamically evolve towards equilibrium. In closed quantum systems, such processes are attributed to the transfer of energy from collective motion to single-particle degrees of freedom; however, the quantum many-body dynamics of this evolutionary process are poorly understood. To explore energy dissipative phenomena and equilibration dynamics in one such system, an experimental investigation of deep-inelastic and fusion-fission outcomes in the $^{58}$Ni+$^{60}$Ni reaction has been carried out. Experimental outcomes have been compared to theoretical predictions using Time Dependent Hartree Fock and Time Dependent Random Phase Approximation approaches, which respectively incorporate one-body energy dissipation and fluctuations. Excellent quantitative agreement has been found between experiment and calculations, indicating that microscopic models incorporating one-body dissipation and fluctuations provide a potential tool for exploring dissipation in low-energy heavy ion collisions.
△ Less
Submitted 26 December, 2017;
originally announced December 2017.