-
Interferometric Single-Shot Parity Measurement in an InAs-Al Hybrid Device
Authors:
Morteza Aghaee,
Alejandro Alcaraz Ramirez,
Zulfi Alam,
Rizwan Ali,
Mariusz Andrzejczuk,
Andrey Antipov,
Mikhail Astafev,
Amin Barzegar,
Bela Bauer,
Jonathan Becker,
Umesh Kumar Bhaskar,
Alex Bocharov,
Srini Boddapati,
David Bohn,
Jouri Bommer,
Leo Bourdet,
Arnaud Bousquet,
Samuel Boutin,
Lucas Casparis,
Benjamin James Chapman,
Sohail Chatoor,
Anna Wulff Christensen,
Cassandra Chua,
Patrick Codd,
William Cole
, et al. (137 additional authors not shown)
Abstract:
The fusion of non-Abelian anyons or topological defects is a fundamental operation in measurement-only topological quantum computation. In topological superconductors, this operation amounts to a determination of the shared fermion parity of Majorana zero modes. As a step towards this, we implement a single-shot interferometric measurement of fermion parity in indium arsenide-aluminum heterostruct…
▽ More
The fusion of non-Abelian anyons or topological defects is a fundamental operation in measurement-only topological quantum computation. In topological superconductors, this operation amounts to a determination of the shared fermion parity of Majorana zero modes. As a step towards this, we implement a single-shot interferometric measurement of fermion parity in indium arsenide-aluminum heterostructures with a gate-defined nanowire. The interferometer is formed by tunnel-coupling the proximitized nanowire to quantum dots. The nanowire causes a state-dependent shift of these quantum dots' quantum capacitance of up to 1 fF. Our quantum capacitance measurements show flux h/2e-periodic bimodality with a signal-to-noise ratio of 1 in 3.7 $μ$s at optimal flux values. From the time traces of the quantum capacitance measurements, we extract a dwell time in the two associated states that is longer than 1 ms at in-plane magnetic fields of approximately 2 T. These results are consistent with a measurement of the fermion parity encoded in a pair of Majorana zero modes that are separated by approximately 3 $μ$m and subjected to a low rate of poisoning by non-equilibrium quasiparticles. The large capacitance shift and long poisoning time enable a parity measurement error probability of 1%.
△ Less
Submitted 2 April, 2024; v1 submitted 17 January, 2024;
originally announced January 2024.
-
Isomeric pair ${^{95\rm m,g}\rm{Nb}}$ in photonuclear reactions on $^{\rm nat}$Mo at end-point bremsstrahlung energy of 35-95 MeV
Authors:
I. S. Timchenko,
O. S. Deiev,
S. M. Olejnik,
S. M. Potin,
V. A. Kushnir,
V. V. Mytrochenko,
S. A. Perezhogin,
V. A. Bocharov
Abstract:
The ${^{\rm nat}\rm{Mo}}(γ,x\rm np)^{95\rm m,g}$Nb photonuclear reaction was studied using the electron beam from the NSC KIPT linear accelerator LUE-40. Experiment was performed using the activation and off-line $γ$-ray spectrometric technique. The experimental isomeric yield ratio $d(E_{\rm{γmax}}) = Y_{\rm m}(E_{\rm{γmax}}) / Y_{\rm g}(E_{\rm{γmax}})$ was determined for the reaction products…
▽ More
The ${^{\rm nat}\rm{Mo}}(γ,x\rm np)^{95\rm m,g}$Nb photonuclear reaction was studied using the electron beam from the NSC KIPT linear accelerator LUE-40. Experiment was performed using the activation and off-line $γ$-ray spectrometric technique. The experimental isomeric yield ratio $d(E_{\rm{γmax}}) = Y_{\rm m}(E_{\rm{γmax}}) / Y_{\rm g}(E_{\rm{γmax}})$ was determined for the reaction products $^{95\rm m,g}\rm{Nb}$ at the end-point bremsstrahlung energy $E_{\rm{γmax}}$ range of 35-95 MeV. The obtained values of $d(E_{\rm{γmax}})$ are in satisfactory agreement with the results of other authors and extend the range of previously known data. The theoretical values of the yields $Y_{\rm m,g}(E_{\rm{γmax}})$ and the isomeric yield ratio $d(E_{\rm{γmax}})$ for the isomeric pair $^{95\rm m,g}\rm{Nb}$ from the ${^{\rm nat}\rm{Mo}}(γ,x\rm np)$ reaction were calculated using the partial cross-sections $σ(E)$ from the TALYS1.95 code for six different level density models $LD$. The comparison showed a noticeable excess (more than 3.85 times) of the experimental isomeric yield ratio over all theoretical estimates. At the investigated range of $E_{\rm{γmax}}$ the theoretical dependence of $d(E_{\rm{γmax}})$ on energy was confirmed - the isomeric yield ratio smoothly decreases with increasing energy.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
Photonuclear reactions cross-sections at energies up to 100 MeV for different experimental setups
Authors:
O. S. Deiev,
I. S. Timchenko,
S. M. Olejnik,
S. M. Potin,
V. A. Kushnir,
V. V. Mytrochenko,
S. A. Perezhogin,
V. A. Bocharov,
B. I. Shramenko
Abstract:
In experiments on the electron linac LUE-40 of RDC "Accelerator" NSC KIPT, the flux-averaged cross-sections $\langle{σ(E_{\rm{γmax}})}\rangle_{\rm{exp}}$ of photonuclear reactions ${^{100}\rm{Mo}}(γ,n)^{99}\rm{Mo}$, ${^{27}\rm{Al}}(γ,x)^{24}\rm{Na}$, ${^{93}\rm{Nb}}(γ,n)^{92m}\rm{Nb}$, ${^{93}\rm{Nb}}(γ,3n)^{90}\rm{Nb}$, and ${^{181}\rm{Ta}}(γ,n)^{180g}\rm{Ta}$ were measured using the $γ$-activati…
▽ More
In experiments on the electron linac LUE-40 of RDC "Accelerator" NSC KIPT, the flux-averaged cross-sections $\langle{σ(E_{\rm{γmax}})}\rangle_{\rm{exp}}$ of photonuclear reactions ${^{100}\rm{Mo}}(γ,n)^{99}\rm{Mo}$, ${^{27}\rm{Al}}(γ,x)^{24}\rm{Na}$, ${^{93}\rm{Nb}}(γ,n)^{92m}\rm{Nb}$, ${^{93}\rm{Nb}}(γ,3n)^{90}\rm{Nb}$, and ${^{181}\rm{Ta}}(γ,n)^{180g}\rm{Ta}$ were measured using the $γ$-activation technique. The theoretical flux-average cross-sections $\langle{σ(E_{\rm{γmax}})}\rangle_{\rm{th}}$ were computed using the partial cross-section $σ(E)$ values from the TALYS1.9-1.95 codes and bremsstrahlung $γ$-flux calculated using GEANT4.9.2. Two different experimental setups were used in the experiments: an aluminum electron absorber and a deflecting magnet to clean the bremsstrahlung $γ$-flux from electrons. A comparison of the flux-average cross-sections measured for two experimental setups was performed. The possibility of using the reactions ${^{100}\rm{Mo}}(γ,n)^{99}\rm{Mo}$, ${^{27}\rm{Al}}(γ,x)^{24}\rm{Na}$, ${^{93}\rm{Nb}}(γ,n)^{92m}\rm{Nb}$, ${^{93}\rm{Nb}}(γ,3n)^{90}\rm{Nb}$, and ${^{181}\rm{Ta}}(γ,n)^{180g}\rm{Ta}$ as monitors of the bremsstrahlung $γ$-flux for the energy range 30-100 MeV was investigated.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
Image Classification by Throwing Quantum Kitchen Sinks at Tensor Networks
Authors:
Nathan X. Kodama,
Alex Bocharov,
Marcus P. da Silva
Abstract:
Several variational quantum circuit approaches to machine learning have been proposed in recent years, with one promising class of variational algorithms involving tensor networks operating on states resulting from local feature maps. In contrast, a random feature approach known as quantum kitchen sinks provides comparable performance, but leverages non-local feature maps. Here we combine these tw…
▽ More
Several variational quantum circuit approaches to machine learning have been proposed in recent years, with one promising class of variational algorithms involving tensor networks operating on states resulting from local feature maps. In contrast, a random feature approach known as quantum kitchen sinks provides comparable performance, but leverages non-local feature maps. Here we combine these two approaches by proposing a new circuit ansatz where a tree tensor network coherently processes the non-local feature maps of quantum kitchen sinks, and we run numerical experiments to empirically evaluate the performance of the new ansatz on image classification. From the perspective of classification performance, we find that simply combining quantum kitchen sinks with tensor networks yields no qualitative improvements. However, the addition of feature optimization greatly boosts performance, leading to state-of-the-art quantum circuits for image classification, requiring only shallow circuits and a small number of qubits -- both well within reach of near-term quantum devices.
△ Less
Submitted 29 August, 2022;
originally announced August 2022.
-
Photonuclear reactions $^{nat}$Ni($γ$,xn)$^{57}$Ni and $^{nat}$Ni($γ$,xn)$^{56}$Ni in the energy range E$_{γmax}$ = 35...94 MeV
Authors:
O. S. Deiev,
I. S. Timchenko,
S. M. Olejnik,
S. M. Potin,
V. A. Kushnir,
V. V. Mytrochenko,
S. A. Perezhogin,
V. A. Bocharov
Abstract:
The total bremsstrahlung flux-averaged cross-sections <$σ$(E$_{γmax}$)> for the photonuclear reactions $^{nat}$Ni($γ$,xn)$^{57}$Ni and $^{nat}$Ni($γ$,xn)$^{56}$Ni have been measured in the range of end-point energies E$_{γmax}$ = 35...94 MeV. The experiments were performed with the beam from the NSC KIPT electron linear accelerator LUE-40 with the use of the activation and off-line $γ$-ray spectro…
▽ More
The total bremsstrahlung flux-averaged cross-sections <$σ$(E$_{γmax}$)> for the photonuclear reactions $^{nat}$Ni($γ$,xn)$^{57}$Ni and $^{nat}$Ni($γ$,xn)$^{56}$Ni have been measured in the range of end-point energies E$_{γmax}$ = 35...94 MeV. The experiments were performed with the beam from the NSC KIPT electron linear accelerator LUE-40 with the use of the activation and off-line $γ$-ray spectrometric technique. The calculation of the flux-average cross-sections <$σ$(E$_{γmax}$)>$_{th}$ was carried out using the partial cross-section values $σ$(E) computed with the TALYS1.95 code and bremsstrahlung $γ$-flux calculated by GEANT4.9.2. The experimental results are compared with theoretical calculations and data from the literature. The obtained <$σ$(E$_{γmax}$)> values expand the energy range of previously known experimental data.
△ Less
Submitted 21 March, 2022;
originally announced March 2022.
-
Predicting human-generated bitstreams using classical and quantum models
Authors:
Alex Bocharov,
Michael Freedman,
Eshan Kemp,
Martin Roetteler,
Krysta M. Svore
Abstract:
A school of thought contends that human decision making exhibits quantum-like logic. While it is not known whether the brain may indeed be driven by actual quantum mechanisms, some researchers suggest that the decision logic is phenomenologically non-classical. This paper develops and implements an empirical framework to explore this view. We emulate binary decision-making using low width, low dep…
▽ More
A school of thought contends that human decision making exhibits quantum-like logic. While it is not known whether the brain may indeed be driven by actual quantum mechanisms, some researchers suggest that the decision logic is phenomenologically non-classical. This paper develops and implements an empirical framework to explore this view. We emulate binary decision-making using low width, low depth, parameterized quantum circuits. Here, entanglement serves as a resource for pattern analysis in the context of a simple bit-prediction game. We evaluate a hybrid quantum-assisted machine learning strategy where quantum processing is used to detect correlations in the bitstreams while parameter updates and class inference are performed by classical post-processing of measurement results. Simulation results indicate that a family of two-qubit variational circuits is sufficient to achieve the same bit-prediction accuracy as the best traditional classical solution such as neural nets or logistic autoregression. Thus, short of establishing a provable "quantum advantage" in this simple scenario, we give evidence that the classical predictability analysis of a human-generated bitstream can be achieved by small quantum models.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
A Low Computational Approach for Price Tag Recognition
Authors:
M. A. Aliev,
D. A. Bocharov,
I. A. Kunina,
D. P. Nikolaev
Abstract:
In this work we discuss the task of search, localization and recognition of price zone within a photograph of the price tag. The task is being addressed for the case when image is acquired by small-scale digital camera and calculation device has significant resource constraints. The proposed approach is based on Niblack binarization algorithm, analysis and clasterization of connected components in…
▽ More
In this work we discuss the task of search, localization and recognition of price zone within a photograph of the price tag. The task is being addressed for the case when image is acquired by small-scale digital camera and calculation device has significant resource constraints. The proposed approach is based on Niblack binarization algorithm, analysis and clasterization of connected components in conditions of known price tag geometrical model. The algorithm was tested on a private dataset and has shown high quality.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
Optimizing Clifford gate generation for measurement-only topological quantum computation with Majorana zero modes
Authors:
Alan Tran,
Alex Bocharov,
Bela Bauer,
Parsa Bonderson
Abstract:
One of the main challenges for quantum computation is that while the number of gates required to perform a non-trivial quantum computation may be very large, decoherence and errors in realistic quantum architectures limit the number of physical gate operations that can be performed coherently. Therefore, an optimal map** of the quantum algorithm into the physically available set of operations is…
▽ More
One of the main challenges for quantum computation is that while the number of gates required to perform a non-trivial quantum computation may be very large, decoherence and errors in realistic quantum architectures limit the number of physical gate operations that can be performed coherently. Therefore, an optimal map** of the quantum algorithm into the physically available set of operations is of crucial importance. We examine this problem for a measurement-only topological quantum computer based on Majorana zero modes, where gates are performed through sequences of measurements. Such a scheme has been proposed as a practical, scalable approach to process quantum information in an array of topological qubits built using Majorana zero modes. Building on previous work that has shown that multi-qubit Clifford gates can be enacted in a topologically protected fashion in such qubit networks, we discuss methods to obtain the optimal measurement sequence for a given Clifford gate under the constraints imposed by the physical architecture, such as layout and the relative difficulty of implementing different types of measurements. Our methods also provide tools for comparative analysis of different architectures and strategies, given experimental characterizations of particular aspects of the systems under consideration. As a further non-trivial demonstration, we discuss an implementation of the surface code in Majorana-based topological qubits. We use the techniques developed here to obtain an optimized measurement sequence that implements the stabilizer measurements using only fermionic parity measurements on nearest-neighbor topological qubit islands.
△ Less
Submitted 27 March, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Quantum Language Processing
Authors:
Nathan Wiebe,
Alex Bocharov,
Paul Smolensky,
Matthias Troyer,
Krysta M Svore
Abstract:
We present a representation for linguistic structure that we call a Fock-space representation, which allows us to embed problems in language processing into small quantum devices. We further develop a formalism for understanding both classical as well as quantum linguistic problems and phrase them both as a Harmony optimization problem that can be solved on a quantum computer which we show is rela…
▽ More
We present a representation for linguistic structure that we call a Fock-space representation, which allows us to embed problems in language processing into small quantum devices. We further develop a formalism for understanding both classical as well as quantum linguistic problems and phrase them both as a Harmony optimization problem that can be solved on a quantum computer which we show is related to classifying vectors using quantum Boltzmann machines. We further provide a new training method for learning quantum Harmony operators that describe a language. This also provides a new algorithm for training quantum Boltzmann machines that requires no approximations and works in the presence of hidden units. We additionally show that quantum language processing is BQP-complete, meaning that it is polynomially equivalent to the circuit model of quantum computing which implies that quantum language models are richer than classical models unless BPP=BQP. It also implies that, under certain circumstances, quantum Boltzmann machines are more expressive than classical Boltzmann machines. Finally, we examine the performance of our approach numerically for the case of classical harmonic grammars and find that the method is capable of rapidly parsing even non-trivial grammars. This suggests that the work may have value as a quantum inspired algorithm beyond its initial motivation as a new quantum algorithm.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Circuit-centric quantum classifiers
Authors:
Maria Schuld,
Alex Bocharov,
Krysta Svore,
Nathan Wiebe
Abstract:
The current generation of quantum computing technologies call for quantum algorithms that require a limited number of qubits and quantum gates, and which are robust against errors. A suitable design approach are variational circuits where the parameters of gates are learnt, an approach that is particularly fruitful for applications in machine learning. In this paper, we propose a low-depth variati…
▽ More
The current generation of quantum computing technologies call for quantum algorithms that require a limited number of qubits and quantum gates, and which are robust against errors. A suitable design approach are variational circuits where the parameters of gates are learnt, an approach that is particularly fruitful for applications in machine learning. In this paper, we propose a low-depth variational quantum algorithm for supervised learning. The input feature vectors are encoded into the amplitudes of a quantum system, and a quantum circuit of parametrised single and two-qubit gates together with a single-qubit measurement is used to classify the inputs. This circuit architecture ensures that the number of learnable parameters is poly-logarithmic in the input dimension. We propose a quantum-classical training scheme where the analytical gradients of the model can be estimated by running several slightly adapted versions of the variational circuit. We show with simulations that the circuit-centric quantum classifier performs well on standard classical benchmark datasets while requiring dramatically fewer parameters than other methods. We also evaluate sensitivity of the classification to state preparation and parameter noise, introduce a quantum version of dropout regularisation and provide a graphical representation of quantum gates as highly symmetric linear layers of a neural network.
△ Less
Submitted 2 April, 2018;
originally announced April 2018.
-
A Note on Optimality of Quantum Circuits over Metaplectic Basis
Authors:
Alex Bocharov
Abstract:
Metaplectic quantum basis is a universal multi-qutrit quantum basis, formed by the ternary Clifford group and the axial reflection gate $R=|0\rangle \langle 0| + |1\rangle \langle 1| - |2\rangle \langle 2|$. It is arguably, a ternary basis with the simplest geometry. Recently Cui, Kliuchnikov, Wang and the Author have proposed a compilation algorithm to approximate any two-level Householder reflec…
▽ More
Metaplectic quantum basis is a universal multi-qutrit quantum basis, formed by the ternary Clifford group and the axial reflection gate $R=|0\rangle \langle 0| + |1\rangle \langle 1| - |2\rangle \langle 2|$. It is arguably, a ternary basis with the simplest geometry. Recently Cui, Kliuchnikov, Wang and the Author have proposed a compilation algorithm to approximate any two-level Householder reflection to precision $\varepsilon$ by a metaplectic circuit of $R$-count at most $C \, \log_3(1/\varepsilon) + O(\log \log 1/\varepsilon)$ with $C=8$. A new result in this note takes the constant down to $C=5$ for non-exceptional target reflections under a certain credible number-theoretical conjecture. The new method increases the chances of obtaining a truly optimal circuit but may not guarantee the true optimality. Efficient approximations of an important ternary quantum gate proposed by Howard, Campbell and others is also discussed. Apart from this, the note is mostly didactical: we demonstrate how to leverage Lenstra's integer geometry algorithm from 1983 for circuit synthesis.
△ Less
Submitted 9 June, 2016; v1 submitted 7 June, 2016;
originally announced June 2016.
-
Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures
Authors:
Alex Bocharov,
Martin Roetteler,
Krysta M. Svore
Abstract:
We determine the cost of performing Shor's algorithm for integer factorization on a ternary quantum computer, using two natural models of universal fault-tolerant computing:
(i) a model based on magic state distillation that assumes the availability of the ternary Clifford gates, projective measurements, classical control as its natural instrumentation set; (ii) a model based on a metaplectic to…
▽ More
We determine the cost of performing Shor's algorithm for integer factorization on a ternary quantum computer, using two natural models of universal fault-tolerant computing:
(i) a model based on magic state distillation that assumes the availability of the ternary Clifford gates, projective measurements, classical control as its natural instrumentation set; (ii) a model based on a metaplectic topological quantum computer (MTQC). A natural choice to implement Shor's algorithm on a ternary quantum computer is to translate the entire arithmetic into a ternary form. However, it is also possible to emulate the standard binary version of the algorithm by encoding each qubit in a three-level system. We compare the two approaches and analyze the complexity of implementing Shor's period finding function in the two models. We also highlight the fact that the cost of achieving universality through magic states in MTQC architecture is asymptotically lower than in generic ternary case.
△ Less
Submitted 8 April, 2017; v1 submitted 9 May, 2016;
originally announced May 2016.
-
Improved Quantum Ternary Arithmetics
Authors:
Alex Bocharov,
Shawn X. Cui,
Martin Roetteler,
Krysta M. Svore
Abstract:
Qutrit (or ternary) structures arise naturally in many quantum systems, particularly in certain non-abelian anyon systems. We present efficient circuits for ternary reversible and quantum arithmetics. Our main result is the derivation of circuits for two families of ternary quantum adders, namely ripple carry adders and carry look-ahead adders. The main difference to the binary case is the more co…
▽ More
Qutrit (or ternary) structures arise naturally in many quantum systems, particularly in certain non-abelian anyon systems. We present efficient circuits for ternary reversible and quantum arithmetics. Our main result is the derivation of circuits for two families of ternary quantum adders, namely ripple carry adders and carry look-ahead adders. The main difference to the binary case is the more complicated form of the ternary carry, which leads to higher resource counts for implementations over a universal ternary gate set. Our ternary ripple adder circuit has a circuit depth of $O(n)$ and uses only $1$ ancilla, making it more efficient in both, circuit depth and width than previous constructions. Our ternary carry lookahead circuit has a circuit depth of only $O(\log\,n)$, while using with $O(n)$ ancillas. Our approach works on two levels of abstraction: at the first level, descriptions of arithmetic circuits are given in terms of gates sequences that use various types of non-Clifford reflections. At the second level, we break down these reflections further by deriving them either from the two-qutrit Clifford gates and the non-Clifford gate $C(X): |i,j\rangle \mapsto |i, j + δ_{i,2} \mod 3\rangle$ or from the two-qutrit Clifford gates and the non-Clifford gate $P_9=\mbox{diag}(e^{-2 π\, i/9},1,e^{2 π\, i/9})$. The two choices of elementary gate sets correspond to two possible map**s onto two different prospective quantum computing architectures which we call the metaplectic and the supermetaplectic basis, respectively. Finally, we develop a method to factor diagonal unitaries using multi-variate polynomial over the ternary finite field which allows to characterize classes of gates that can be implemented exactly over the supermetaplectic basis.
△ Less
Submitted 9 June, 2016; v1 submitted 11 December, 2015;
originally announced December 2015.
-
A Framework for Approximating Qubit Unitaries
Authors:
Vadym Kliuchnikov,
Alex Bocharov,
Martin Roetteler,
Jon Yard
Abstract:
We present an algorithm for efficiently approximating of qubit unitaries over gate sets derived from totally definite quaternion algebras. It achieves $\varepsilon$-approximations using circuits of length $O(\log(1/\varepsilon))$, which is asymptotically optimal. The algorithm achieves the same quality of approximation as previously-known algorithms for Clifford+T [arXiv:1212.6253], V-basis [arXiv…
▽ More
We present an algorithm for efficiently approximating of qubit unitaries over gate sets derived from totally definite quaternion algebras. It achieves $\varepsilon$-approximations using circuits of length $O(\log(1/\varepsilon))$, which is asymptotically optimal. The algorithm achieves the same quality of approximation as previously-known algorithms for Clifford+T [arXiv:1212.6253], V-basis [arXiv:1303.1411] and Clifford+$π/12$ [arXiv:1409.3552], running on average in time polynomial in $O(\log(1/\varepsilon))$ (conditional on a number-theoretic conjecture). Ours is the first such algorithm that works for a wide range of gate sets and provides insight into what should constitute a "good" gate set for a fault-tolerant quantum computer.
△ Less
Submitted 13 October, 2015;
originally announced October 2015.
-
Efficient Topological Compilation for Weakly-Integral Anyon Model
Authors:
Alex Bocharov,
Shawn X. Cui,
Vadym Kliuchnikov,
Zhenghan Wang
Abstract:
A class of anyonic models for universal quantum computation based on weakly-integral anyons has been recently proposed. While universal set of gates cannot be obtained in this context by anyon braiding alone, designing a certain type of sector charge measurement provides universality. In this paper we develop a compilation algorithm to approximate arbitrary $n$-qutrit unitaries with asymptotically…
▽ More
A class of anyonic models for universal quantum computation based on weakly-integral anyons has been recently proposed. While universal set of gates cannot be obtained in this context by anyon braiding alone, designing a certain type of sector charge measurement provides universality. In this paper we develop a compilation algorithm to approximate arbitrary $n$-qutrit unitaries with asymptotically efficient circuits over the metaplectic anyon model. One flavor of our algorithm produces efficient circuits with upper complexity bound asymptotically in $O(3^{2\,n} \, \log{1/\varepsilon})$ and entanglement cost that is exponential in $n$. Another flavor of the algorithm produces efficient circuits with upper complexity bound in $O(n\,3^{2\,n} \, \log{1/\varepsilon})$ and no additional entanglement cost.
△ Less
Submitted 9 June, 2016; v1 submitted 13 April, 2015;
originally announced April 2015.
-
Efficient Approximation of Diagonal Unitaries over the Clifford+T Basis
Authors:
Jonathan Welch,
Alex Bocharov,
Krysta M. Svore
Abstract:
We present an algorithm for the approximate decomposition of diagonal operators, focusing specifically on decompositions over the Clifford+$T$ basis, that minimize the number of phase-rotation gates in the synthesized approximation circuit. The equivalent $T$-count of the synthesized circuit is bounded by $k \, C_0 \log_2(1/\varepsilon) + E(n,k)$, where $k$ is the number of distinct phases in the…
▽ More
We present an algorithm for the approximate decomposition of diagonal operators, focusing specifically on decompositions over the Clifford+$T$ basis, that minimize the number of phase-rotation gates in the synthesized approximation circuit. The equivalent $T$-count of the synthesized circuit is bounded by $k \, C_0 \log_2(1/\varepsilon) + E(n,k)$, where $k$ is the number of distinct phases in the diagonal $n$-qubit unitary, $\varepsilon$ is the desired precision, $C_0$ is a quality factor of the implementation method ($1<C_0<4$), and $E(n,k)$ is the total entanglement cost (in $T$ gates). We determine an optimal decision boundary in $(k,n,\varepsilon)$-space where our decomposition algorithm achieves lower entanglement cost than previous state-of-the-art techniques. Our method outperforms state-of-the-art techniques for a practical range of $\varepsilon$ values and diagonal operators and can reduce the number of $T$ gates exponentially in $n$ when $k << 2^n$.
△ Less
Submitted 18 November, 2015; v1 submitted 17 December, 2014;
originally announced December 2014.
-
Optimal Ancilla-free Pauli+V Circuits for Axial Rotations
Authors:
Andreas Blass,
Alex Bocharov,
Yuri Gurevich
Abstract:
Recently Neil Ross and Peter Selinger analyzed the problem of approximating z- rotations by means of single-qubit Clifford+T circuits. Their main contribution is a deterministic-search technique which allowed them to make approximating circuits shallower. We adapt the deterministic-search technique to the case of Pauli+V circuits and prove similar results. Because of the relative simplicity of the…
▽ More
Recently Neil Ross and Peter Selinger analyzed the problem of approximating z- rotations by means of single-qubit Clifford+T circuits. Their main contribution is a deterministic-search technique which allowed them to make approximating circuits shallower. We adapt the deterministic-search technique to the case of Pauli+V circuits and prove similar results. Because of the relative simplicity of the Pauli+V framework, we use much simpler geometric methods.
△ Less
Submitted 2 December, 2014;
originally announced December 2014.
-
Efficient synthesis of probabilistic quantum circuits with fallback
Authors:
Alex Bocharov,
Martin Roetteler,
Krysta M. Svore
Abstract:
Recently it has been shown that Repeat-Until-Success (RUS) circuits can approximate a given single-qubit unitary with an expected number of $T$ gates of about $1/3$ of what is required by optimal, deterministic, ancilla-free decompositions over the Clifford+$T$ gate set. In this work, we introduce a more general and conceptually simpler circuit decomposition method that allows for synthesis into p…
▽ More
Recently it has been shown that Repeat-Until-Success (RUS) circuits can approximate a given single-qubit unitary with an expected number of $T$ gates of about $1/3$ of what is required by optimal, deterministic, ancilla-free decompositions over the Clifford+$T$ gate set. In this work, we introduce a more general and conceptually simpler circuit decomposition method that allows for synthesis into protocols that probabilistically implement quantum circuits over several universal gate sets including, but not restricted to, the Clifford+$T$ gate set. The protocol, which we call Probabilistic Quantum Circuits with Fallback (PQF), implements a walk on a discrete Markov chain in which the target unitary is an absorbing state and in which transitions are induced by multi-qubit unitaries followed by measurements. In contrast to RUS protocols, the presented PQF protocols terminate after a finite number of steps. Specifically, we apply our method to the Clifford+$T$, Clifford+$V$, and Clifford+$π/12$ gate sets to achieve decompositions with expected gate counts of $\log_b(1/\varepsilon)+O(\log(\log(1/\varepsilon)))$, where $b$ is a quantity related to the expansion property of the underlying universal gate set.
△ Less
Submitted 19 September, 2014; v1 submitted 11 September, 2014;
originally announced September 2014.
-
Efficient synthesis of universal Repeat-Until-Success circuits
Authors:
Alex Bocharov,
Martin Roetteler,
Krysta M. Svore
Abstract:
Recently, it was shown that Repeat-Until-Success (RUS) circuits can achieve a $2.5$ times reduction in expected $T$-count over ancilla-free techniques for single-qubit unitary decomposition. However, the previously best known algorithm to synthesize RUS circuits requires exponential classical runtime. In this paper we present an algorithm to synthesize an RUS circuit to approximate any given singl…
▽ More
Recently, it was shown that Repeat-Until-Success (RUS) circuits can achieve a $2.5$ times reduction in expected $T$-count over ancilla-free techniques for single-qubit unitary decomposition. However, the previously best known algorithm to synthesize RUS circuits requires exponential classical runtime. In this paper we present an algorithm to synthesize an RUS circuit to approximate any given single-qubit unitary within precision $\varepsilon$ in probabilistically polynomial classical runtime. Our synthesis approach uses the Clifford+$T$ basis, plus one ancilla qubit and measurement. We provide numerical evidence that our RUS circuits have an expected $T$-count on average $2.5$ times lower than the theoretical lower bound of $3 \log_2 (1/\varepsilon)$ for ancilla-free single-qubit circuit decomposition.
△ Less
Submitted 19 September, 2014; v1 submitted 21 April, 2014;
originally announced April 2014.
-
Asymptotically Optimal Topological Quantum Compiling
Authors:
Vadym Kliuchnikov,
Alex Bocharov,
Krysta M. Svore
Abstract:
In a topological quantum computer, universality is achieved by braiding and quantum information is natively protected from small local errors. We address the problem of compiling single-qubit quantum operations into braid representations for non-abelian quasiparticles described by the Fibonacci anyon model. We develop a probabilistically polynomial algorithm that outputs a braid pattern to approxi…
▽ More
In a topological quantum computer, universality is achieved by braiding and quantum information is natively protected from small local errors. We address the problem of compiling single-qubit quantum operations into braid representations for non-abelian quasiparticles described by the Fibonacci anyon model. We develop a probabilistically polynomial algorithm that outputs a braid pattern to approximate a given single-qubit unitary to a desired precision. We also classify the single-qubit unitaries that can be implemented exactly by a Fibonacci anyon braid pattern and present an efficient algorithm to produce their braid patterns. Our techniques produce braid patterns that meet the uniform asymptotic lower bound on the compiled circuit depth and thus are depth-optimal asymptotically. Our compiled circuits are significantly shorter than those output by prior state-of-the-art methods, resulting in improvements in depth by factors ranging from 20 to 1000 for precisions ranging between $10^{-10}$ and $10^{-30}$.
△ Less
Submitted 15 October, 2013;
originally announced October 2013.
-
Efficient Decomposition of Single-Qubit Gates into $V$ Basis Circuits
Authors:
Alex Bocharov,
Yuri Gurevich,
Krysta M. Svore
Abstract:
We develop the first constructive algorithms for compiling single-qubit unitary gates into circuits over the universal $V$ basis. The $V$ basis is an alternative universal basis to the more commonly studied $\{H,T\}$ basis. We propose two classical algorithms for quantum circuit compilation: the first algorithm has expected polynomial time (in precision $\log(1/ε)$) and offers a depth/precision gu…
▽ More
We develop the first constructive algorithms for compiling single-qubit unitary gates into circuits over the universal $V$ basis. The $V$ basis is an alternative universal basis to the more commonly studied $\{H,T\}$ basis. We propose two classical algorithms for quantum circuit compilation: the first algorithm has expected polynomial time (in precision $\log(1/ε)$) and offers a depth/precision guarantee that improves upon state-of-the-art methods for compiling into the $\{H,T\}$ basis by factors ranging from 1.86 to $\log_2(5)$. The second algorithm is analogous to direct search and yields circuits a factor of 3 to 4 times shorter than our first algorithm, and requires time exponential in $\log(1/ε)$; however, we show that in practice the runtime is reasonable for an important range of target precisions.
△ Less
Submitted 6 March, 2013;
originally announced March 2013.
-
A Depth-Optimal Canonical Form for Single-qubit Quantum Circuits
Authors:
Alex Bocharov,
Krysta M. Svore
Abstract:
Given an arbitrary single-qubit operation, an important task is to efficiently decompose this operation into an (exact or approximate) sequence of fault-tolerant quantum operations. We derive a depth-optimal canonical form for single-qubit quantum circuits, and the corresponding rules for exactly reducing an arbitrary single-qubit circuit to this canonical form. We focus on the single-qubit univer…
▽ More
Given an arbitrary single-qubit operation, an important task is to efficiently decompose this operation into an (exact or approximate) sequence of fault-tolerant quantum operations. We derive a depth-optimal canonical form for single-qubit quantum circuits, and the corresponding rules for exactly reducing an arbitrary single-qubit circuit to this canonical form. We focus on the single-qubit universal H,T basis due to its role in fault-tolerant quantum computing, and show how our formalism might be extended to other universal bases. We then extend our canonical representation to the family of Solovay-Kitaev decomposition algorithms, in order to find an ε-approximation to the single-qubit circuit in polylogarithmic time. For a given single-qubit operation, we find significantly lower-depth ε-approximation circuits than previous state-of-the-art implementations. In addition, the implementation of our algorithm requires significantly fewer resources, in terms of computation memory, than previous approaches.
△ Less
Submitted 14 June, 2012;
originally announced June 2012.