-
Expressiveness of Commutative Quantum Circuits: A Probabilistic Approach
Authors:
Jorge M. Ramirez,
Elaine Wong,
Caio Alves,
Sarah Chehade,
Ryan Bennink
Abstract:
This study investigates the frame potential and expressiveness of commutative quantum circuits. Based on the Fourier series representation of these circuits, we express quantum expectation and pairwise fidelity as characteristic functions of random variables, and expressiveness as the recurrence probability of a random walk on a lattice. A central outcome of our work includes formulas to approxima…
▽ More
This study investigates the frame potential and expressiveness of commutative quantum circuits. Based on the Fourier series representation of these circuits, we express quantum expectation and pairwise fidelity as characteristic functions of random variables, and expressiveness as the recurrence probability of a random walk on a lattice. A central outcome of our work includes formulas to approximate the frame potential and expressiveness for any commutative quantum circuit, underpinned by convergence theorems in probability theory. We identify the lattice volume of the random walk as means to approximate expressiveness based on circuit architecture. In the specific case of commutative circuits involving Pauli-$Z$ rotations, we provide theoretical results relating expressiveness and circuit structure. Our probabilistic representation also provide means for bounding and approximately calculating the frame potential of a circuit through sampling methods.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
On the Need for Extensible Quantum Compilers with Verification
Authors:
Tyler LeBlond,
Xiao Xiao,
Eugene Dumitrescu,
Ryan Bennink,
Alexandru Paler
Abstract:
In this position paper, we posit that a major Department of Energy (DOE)-funded open-source quantum compilation platform is needed to facilitate: (a) resource optimization at the fault-tolerant layer of the quantum computing software stack, and (b) co-design of that layer of the stack with other layers, and that this platform needs to be extensible and include verification.
In this position paper, we posit that a major Department of Energy (DOE)-funded open-source quantum compilation platform is needed to facilitate: (a) resource optimization at the fault-tolerant layer of the quantum computing software stack, and (b) co-design of that layer of the stack with other layers, and that this platform needs to be extensible and include verification.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
TISCC: A Surface Code Compiler and Resource Estimator for Trapped-Ion Processors
Authors:
Tyler LeBlond,
Justin G. Lietz,
Christopher M. Seck,
Ryan S. Bennink
Abstract:
We introduce the Trapped-Ion Surface Code Compiler (TISCC), a software tool that generates circuits for a universal set of surface code patch operations in terms of a native trapped-ion gate set. To accomplish this, TISCC manages an internal representation of a trapped-ion system where a repeating pattern of trap** zones and junctions is arranged in an arbitrarily large rectangular grid. Surface…
▽ More
We introduce the Trapped-Ion Surface Code Compiler (TISCC), a software tool that generates circuits for a universal set of surface code patch operations in terms of a native trapped-ion gate set. To accomplish this, TISCC manages an internal representation of a trapped-ion system where a repeating pattern of trap** zones and junctions is arranged in an arbitrarily large rectangular grid. Surface code operations are compiled by instantiating surface code patches on the grid and using methods to generate transversal operations over data qubits, rounds of error correction over stabilizer plaquettes, and/or lattice surgery operations between neighboring patches. Beyond the implementation of a basic surface code instruction set, TISCC contains corner movement functionality and a patch translation that is implemented using ion movement alone. Except in the latter case, all TISCC functionality is extensible to alternative grid-like hardware architectures. TISCC output has been verified using the Oak Ridge Quasi-Clifford Simulator (ORQCS).
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Realistic Cost to Execute Practical Quantum Circuits using Direct Clifford+T Lattice Surgery Compilation
Authors:
Tyler LeBlond,
Christopher Dean,
George Watkins,
Ryan S. Bennink
Abstract:
We report a resource estimation pipeline that explicitly compiles quantum circuits expressed using the Clifford+T gate set into a surface code lattice surgery instruction set. The cadence of magic state requests from the compiled circuit enables the optimization of magic state distillation and storage requirements in a post-hoc analysis. To compile logical circuits into lattice surgery operations,…
▽ More
We report a resource estimation pipeline that explicitly compiles quantum circuits expressed using the Clifford+T gate set into a surface code lattice surgery instruction set. The cadence of magic state requests from the compiled circuit enables the optimization of magic state distillation and storage requirements in a post-hoc analysis. To compile logical circuits into lattice surgery operations, we build upon the open-source Lattice Surgery Compiler. The revised compiler operates in two stages: the first translates logical gates into an abstract, layout-independent instruction set; the second compiles these into local lattice surgery instructions that are allocated to hardware tiles according to a specified resource layout. The second stage retains logical parallelism while avoiding resource contention in the fault-tolerant layer, aiding realism. Additionally, users can specify dedicated tiles at which magic states are replenished, enabling resource costs from the logical computation to be considered independently from magic state distillation and storage. We demonstrate the applicability of our pipeline to large, practical quantum circuits by providing resource estimates for the ground state estimation of molecules. We find that variable magic state consumption rates in real circuits can cause the resource costs of magic state storage to dominate unless production is varied to suit.
△ Less
Submitted 28 May, 2024; v1 submitted 17 November, 2023;
originally announced November 2023.
-
Variational quantum regression algorithm with encoded data structure
Authors:
C. -C. Joseph Wang,
Ryan S. Bennink
Abstract:
Hybrid variational quantum algorithms (VQAs) are promising for solving practical problems such as combinatorial optimization, quantum chemistry simulation, quantum machine learning, and quantum error correction on noisy quantum computers. However, with typical random ansatz or quantum alternating operator ansatz, derived variational quantum algorithms become a black box for model interpretation. I…
▽ More
Hybrid variational quantum algorithms (VQAs) are promising for solving practical problems such as combinatorial optimization, quantum chemistry simulation, quantum machine learning, and quantum error correction on noisy quantum computers. However, with typical random ansatz or quantum alternating operator ansatz, derived variational quantum algorithms become a black box for model interpretation. In this paper we construct a quantum regression algorithm wherein the quantum state directly encodes the classical data table and the variational parameters correspond directly to the regression coefficients which are real numbers by construction, providing a high degree of model interpretability and minimal cost to optimize with the right expressiveness. Instead of assuming the state preparation is given by granted, we discuss the state preparation with different encoders and their time complexity and overall resource cost. We can take advantage of the encoded data structure to cut down the algorithm time complexity. To the best of our knowledge, we show for the first time explicitly how the linkage of the classical data structure can be taken advantage of directly through quantum subroutines by construction. For nonlinear regression, our algorithm can be extended by building nonlinear features into the training data as demonstrated by numerical results. In addition, we demonstrate that the model trainability is achievable only when the number of features $M$ is much less than the number of records $L$ for the encoded data structure to justify $L\gg M$ in our resource estimation.
△ Less
Submitted 24 January, 2024; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Seven open problems in applied combinatorics
Authors:
Sinan G. Aksoy,
Ryan Bennink,
Yuzhou Chen,
José Frías,
Yulia R. Gel,
Bill Kay,
Uwe Naumann,
Carlos Ortiz Marrero,
Anthony V. Petyuk,
Sandip Roy,
Ignacio Segovia-Dominguez,
Nate Veldt,
Stephen J. Young
Abstract:
We present and discuss seven different open problems in applied combinatorics. The application areas relevant to this compilation include quantum computing, algorithmic differentiation, topological data analysis, iterative methods, hypergraph cut algorithms, and power systems.
We present and discuss seven different open problems in applied combinatorics. The application areas relevant to this compilation include quantum computing, algorithmic differentiation, topological data analysis, iterative methods, hypergraph cut algorithms, and power systems.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
Gene Expression Programming for Quantum Computing
Authors:
Gonzalo Alvarez,
Ryan Bennink,
Stephan Irle,
Jacek Jakowski
Abstract:
We introduce QuantumGEP, a scientific computer program that uses gene expression programming (GEP) to find a quantum circuit that either (i) maps a given set of input states to a given set of output states, or (ii) transforms a fixed initial state to minimize a given physical quantity of the output state. QuantumGEP is a driver program that uses evendim, a generic computational engine for GEP, bot…
▽ More
We introduce QuantumGEP, a scientific computer program that uses gene expression programming (GEP) to find a quantum circuit that either (i) maps a given set of input states to a given set of output states, or (ii) transforms a fixed initial state to minimize a given physical quantity of the output state. QuantumGEP is a driver program that uses evendim, a generic computational engine for GEP, both of which are free and open source. We apply QuantumGEP as a powerful solver for MaxCut in graphs, and for condensed matter quantum many-body Hamiltonians.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Counting Abelian Squares for a Problem in Quantum Computing
Authors:
Ryan S. Bennink
Abstract:
In a recent work I developed a formula for efficiently calculating the number of abelian squares of length $t+t$ over an alphabet of size $d$, where $d$ may be very large. Here I show how the expressiveness of a certain class of parameterized quantum circuits can be reduced to the problem of counting abelian squares over a large alphabet, and use the recently developed formula to efficiently calcu…
▽ More
In a recent work I developed a formula for efficiently calculating the number of abelian squares of length $t+t$ over an alphabet of size $d$, where $d$ may be very large. Here I show how the expressiveness of a certain class of parameterized quantum circuits can be reduced to the problem of counting abelian squares over a large alphabet, and use the recently developed formula to efficiently calculate this quantity.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
Counting Abelian Squares More Efficiently
Authors:
Ryan S. Bennink
Abstract:
I present a recursive formula for calculating the number of abelian squares of length $n+n$ over an alphabet of size $d$. The presented formula is similar to a previously known formula but has substantially lower complexity when $d\gg n$.
I present a recursive formula for calculating the number of abelian squares of length $n+n$ over an alphabet of size $d$. The presented formula is similar to a previously known formula but has substantially lower complexity when $d\gg n$.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
Snowmass White Paper: Quantum Computing Systems and Software for High-energy Physics Research
Authors:
Travis S. Humble,
Andrea Delgado,
Raphael Pooser,
Christopher Seck,
Ryan Bennink,
Vicente Leyton-Ortega,
C. -C. Joseph Wang,
Eugene Dumitrescu,
Titus Morris,
Kathleen Hamilton,
Dmitry Lyakh,
Prasanna Date,
Yan Wang,
Nicholas A. Peters,
Katherine J. Evans,
Marcel Demarteau,
Alex McCaskey,
Thien Nguyen,
Susan Clark,
Melissa Reville,
Alberto Di Meglio,
Michele Grossi,
Sofia Vallecorsa,
Kerstin Borras,
Karl Jansen
, et al. (1 additional authors not shown)
Abstract:
Quantum computing offers a new paradigm for advancing high-energy physics research by enabling novel methods for representing and reasoning about fundamental quantum mechanical phenomena. Realizing these ideals will require the development of novel computational tools for modeling and simulation, detection and classification, data analysis, and forecasting of high-energy physics (HEP) experiments.…
▽ More
Quantum computing offers a new paradigm for advancing high-energy physics research by enabling novel methods for representing and reasoning about fundamental quantum mechanical phenomena. Realizing these ideals will require the development of novel computational tools for modeling and simulation, detection and classification, data analysis, and forecasting of high-energy physics (HEP) experiments. While the emerging hardware, software, and applications of quantum computing are exciting opportunities, significant gaps remain in integrating such techniques into the HEP community research programs. Here we identify both the challenges and opportunities for develo** quantum computing systems and software to advance HEP discovery science. We describe opportunities for the focused development of algorithms, applications, software, hardware, and infrastructure to support both practical and theoretical applications of quantum computing to HEP problems within the next 10 years.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Bayesian tomography of high-dimensional on-chip biphoton frequency combs with randomized measurements
Authors:
Hsuan-Hao Lu,
Karthik V. Myilswamy,
Ryan S. Bennink,
Suparna Seshadri,
Mohammed S. Alshaykh,
Junqiu Liu,
Tobias J. Kippenberg,
Daniel E. Leaird,
Andrew M. Weiner,
Joseph M. Lukens
Abstract:
Owing in large part to the advent of integrated biphoton frequency combs (BFCs), recent years have witnessed increased attention to quantum information processing in the frequency domain for its inherent high dimensionality and entanglement compatible with fiber-optic networks. Quantum state tomography (QST) of such states, however, has required complex and precise engineering of active frequency…
▽ More
Owing in large part to the advent of integrated biphoton frequency combs (BFCs), recent years have witnessed increased attention to quantum information processing in the frequency domain for its inherent high dimensionality and entanglement compatible with fiber-optic networks. Quantum state tomography (QST) of such states, however, has required complex and precise engineering of active frequency mixing operations, which are difficult to scale. To address these limitations, we propose a novel solution that employs a pulse shaper and electro-optic phase modulator (EOM) to perform random operations instead of mixing in a prescribed manner. We successfully verify the entanglement and reconstruct the full density matrix of BFCs generated from an on-chip Si$_{3}$N$_{4}$ microring resonator(MRR) in up to an $8\times8$-dimensional two-qudit Hilbert space, the highest dimension to date for frequency bins. More generally, our employed Bayesian statistical model can be tailored to a variety of quantum systems with restricted measurement capabilities, forming an opportunistic tomographic framework that utilizes all available data in an optimal way.
△ Less
Submitted 24 January, 2022; v1 submitted 9 August, 2021;
originally announced August 2021.
-
A Bayesian analysis of classical shadows
Authors:
Joseph M. Lukens,
Kody J. H. Law,
Ryan S. Bennink
Abstract:
The method of classical shadows heralds unprecedented opportunities for quantum estimation with limited measurements [H.-Y. Huang, R. Kueng, and J. Preskill, Nat. Phys. 16, 1050 (2020)]. Yet its relationship to established quantum tomographic approaches, particularly those based on likelihood models, remains unclear. In this article, we investigate classical shadows through the lens of Bayesian me…
▽ More
The method of classical shadows heralds unprecedented opportunities for quantum estimation with limited measurements [H.-Y. Huang, R. Kueng, and J. Preskill, Nat. Phys. 16, 1050 (2020)]. Yet its relationship to established quantum tomographic approaches, particularly those based on likelihood models, remains unclear. In this article, we investigate classical shadows through the lens of Bayesian mean estimation (BME). In direct tests on numerical data, BME is found to attain significantly lower error on average, but classical shadows prove remarkably more accurate in specific situations -- such as high-fidelity ground truth states -- which are improbable in a fully uniform Hilbert space. We then introduce an observable-oriented pseudo-likelihood that successfully emulates the dimension-independence and state-specific optimality of classical shadows, but within a Bayesian framework that ensures only physical states. Our research reveals how classical shadows effect important departures from conventional thinking in quantum state estimation, as well as the utility of Bayesian methods for uncovering and formalizing statistical assumptions.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
Efficient Verification of Anticoncentrated Quantum States
Authors:
Ryan S. Bennink
Abstract:
A promising use of quantum computers is to prepare quantum states that model complex domains, such as correlated electron wavefunctions or the underlying distribution of a complex dataset. Such states need to be verified in view of algorithmic approximations and device imperfections. As quantum computers grow in size, however, verifying the states they produce becomes increasingly problematic. Rel…
▽ More
A promising use of quantum computers is to prepare quantum states that model complex domains, such as correlated electron wavefunctions or the underlying distribution of a complex dataset. Such states need to be verified in view of algorithmic approximations and device imperfections. As quantum computers grow in size, however, verifying the states they produce becomes increasingly problematic. Relatively efficient methods have been devised for verifying sparse quantum states, but dense quantum states have remained costly to verify. Here I present a novel method for estimating the fidelity $F(μ,τ)$ between a preparable quantum state $μ$ and a classically specified target state $τ$, using simple quantum circuits and on-the-fly classical calculation (or lookup) of selected amplitudes of $τ$. Notably, in the targeted regime the method demonstrates an exponential quantum advantage in sample efficiency over any classical method. The simplest version of the method is efficient for anticoncentrated quantum states (including many states that are hard to simulate classically), with a sample cost of approximately $4ε^{-2}(1-F)dp_{\text{coll}}$ where $ε$ is the desired precision of the estimate, $d$ is the dimension of the Hilbert space in which $μ$ and $τ$ reside, and $p_{\text{coll}}$ is the collision probability of the target distribution. I also present a more sophisticated version of the method, which uses any efficiently preparable and well-characterized quantum state as an importance sampler to further reduce the number of copies of $μ$ needed. Though some challenges remain, this work takes a significant step toward scalable verification of complex states produced by quantum processors.
△ Less
Submitted 15 December, 2020;
originally announced December 2020.
-
Scalable quantum processor noise characterization
Authors:
Kathleen E. Hamilton,
Tyler Kharazi,
Titus Morris,
Alexander J. McCaskey,
Ryan S. Bennink,
Raphael C. Pooser
Abstract:
Measurement fidelity matrices (MFMs) (also called error kernels) are a natural way to characterize state preparation and measurement errors in near-term quantum hardware. They can be employed in post processing to mitigate errors and substantially increase the effective accuracy of quantum hardware. However, the feasibility of using MFMs is currently limited as the experimental cost of determining…
▽ More
Measurement fidelity matrices (MFMs) (also called error kernels) are a natural way to characterize state preparation and measurement errors in near-term quantum hardware. They can be employed in post processing to mitigate errors and substantially increase the effective accuracy of quantum hardware. However, the feasibility of using MFMs is currently limited as the experimental cost of determining the MFM for a device grows exponentially with the number of qubits. In this work we present a scalable way to construct approximate MFMs for many-qubit devices based on cumulant expansion. Our method can also be used to characterize various types of correlation error.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Estimation and uncertainty quantification for the output from quantum simulators
Authors:
Ryan Bennink,
Ajay Jasra,
Kody J. H. Law,
Pavel Lougovski
Abstract:
The problem of estimating certain distributions over $\{0,1\}^d$ is considered here. The distribution represents a quantum system of $d$ qubits, where there are non-trivial dependencies between the qubits. A maximum entropy approach is adopted to reconstruct the distribution from exact moments or observed empirical moments. The Robbins Monro algorithm is used to solve the intractable maximum entro…
▽ More
The problem of estimating certain distributions over $\{0,1\}^d$ is considered here. The distribution represents a quantum system of $d$ qubits, where there are non-trivial dependencies between the qubits. A maximum entropy approach is adopted to reconstruct the distribution from exact moments or observed empirical moments. The Robbins Monro algorithm is used to solve the intractable maximum entropy problem, by constructing an unbiased estimator of the un-normalized target with a sequential Monte Carlo sampler at each iteration. In the case of empirical moments, this coincides with a maximum likelihood estimator. A Bayesian formulation is also considered in order to quantify posterior uncertainty. Several approaches are proposed in order to tackle this challenging problem, based on recently developed methodologies. In particular, unbiased estimators of the gradient of the log posterior are constructed and used within a provably convergent Langevin-based Markov chain Monte Carlo method. The methods are illustrated on classically simulated output from quantum simulators.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Scalar Quantum Field Theories as a Benchmark for Near-Term Quantum Computers
Authors:
Kubra Yeter-Aydeniz,
Eugene F. Dumitrescu,
Alex J. McCaskey,
Ryan S. Bennink,
Raphael C. Pooser,
George Siopsis
Abstract:
Quantum field theory (QFT) simulations are a potentially important application for noisy intermediate scale quantum (NISQ) computers. The ability of a quantum computer to emulate a QFT, therefore, constitutes a natural application-centric benchmark. Foundational quantum algorithms to simulate QFT processes rely on fault-tolerant computational resources, but to be useful on NISQ machines, error-res…
▽ More
Quantum field theory (QFT) simulations are a potentially important application for noisy intermediate scale quantum (NISQ) computers. The ability of a quantum computer to emulate a QFT, therefore, constitutes a natural application-centric benchmark. Foundational quantum algorithms to simulate QFT processes rely on fault-tolerant computational resources, but to be useful on NISQ machines, error-resilient algorithms are required. Here we outline and implement a hybrid algorithm to calculate the lowest energy levels of the paradigmatic 1+1--dimensional interacting scalar QFT. We calculate energy splittings and compare results with experimental values obtained on currently available quantum hardware. We show that the accuracy of mass-renormalization calculations represents a useful metric with which near-term hardware may be benchmarked. We also discuss the prospects of scaling the algorithm to full simulation of interacting QFTs on future hardware.
△ Less
Submitted 29 November, 2018;
originally announced November 2018.
-
Quantum Computing Circuits and Devices
Authors:
Travis S. Humble,
Himanshu Thapliyal,
Edgard Munoz-Coreas,
Fahd A. Mohiyaddin,
Ryan S. Bennink
Abstract:
The development of quantum computing technologies builds on the unique features of quantum physics while borrowing familiar principles from the design of conventional devices. We introduce the fundamental concepts required for designing and operating quantum computing devices by reviewing state of the art efforts to fabricate and demonstrate quantum gates and qubits. We summarize the near-term cha…
▽ More
The development of quantum computing technologies builds on the unique features of quantum physics while borrowing familiar principles from the design of conventional devices. We introduce the fundamental concepts required for designing and operating quantum computing devices by reviewing state of the art efforts to fabricate and demonstrate quantum gates and qubits. We summarize the near-term challenges for devices based on semiconducting, superconducting, and trapped ion technologies with an emphasis on design tools as well as methods of verification and validation. We then discuss the generation and synthesis of quantum circuits for higher-order logic that can be carried out using quantum computing devices.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Quantum Process Identification: A Method for Characterizing Non-Markovian Quantum Dynamics
Authors:
Ryan S. Bennink,
Pavel Lougovski
Abstract:
Established methods for characterizing quantum information processes do not capture non-Markovian (history-dependent) behaviors that occur in real systems. These methods model a quantum process as a fixed map on the state space of a predefined system of interest. Such a map averages over the system's environment, which may retain some effect of its past interactions with the system and thus have a…
▽ More
Established methods for characterizing quantum information processes do not capture non-Markovian (history-dependent) behaviors that occur in real systems. These methods model a quantum process as a fixed map on the state space of a predefined system of interest. Such a map averages over the system's environment, which may retain some effect of its past interactions with the system and thus have a history-dependent influence on the system. Although the theory of non-Markovian quantum dynamics is currently an active area of research, a systematic characterization method based on a general representation of non-Markovian dynamics has been lacking.
In this article we present a systematic method for experimentally characterizing the dynamics of open quantum systems. Our method, which we call quantum process identification (QPI), is based on a general theoretical framework which relates the (non-Markovian) evolution of a system over an extended period of time to a time-local (Markovian) process involving the system and an effective environment. In practical terms, QPI uses time-resolved tomographic measurements of a quantum system to construct a dynamical model with as many dynamical variables as are necessary to reproduce the evolution of the system. Through numerical simulations, we demonstrate that QPI can be used to characterize qubit operations with non-Markovian errors arising from realistic dynamics including control drift, coherent leakage, and coherent interaction with material impurities.
△ Less
Submitted 4 February, 2019; v1 submitted 6 March, 2018;
originally announced March 2018.
-
Unbiased Simulation of Near-Clifford Quantum Circuits
Authors:
Ryan S. Bennink,
Erik M. Ferragut,
Travis S. Humble,
Jason A. Laska,
James J. Nutaro,
Mark G. Pleszkoch,
Raphael C. Pooser
Abstract:
Modeling and simulation is essential for predicting and verifying the behavior of fabricated quantum circuits, but existing simulation methods are either impractically costly or require an unrealistic simplification of error processes. We present a method of simulating noisy Clifford circuits that is both accurate and practical in experimentally relevant regimes. In particular, the cost is weakly…
▽ More
Modeling and simulation is essential for predicting and verifying the behavior of fabricated quantum circuits, but existing simulation methods are either impractically costly or require an unrealistic simplification of error processes. We present a method of simulating noisy Clifford circuits that is both accurate and practical in experimentally relevant regimes. In particular, the cost is weakly exponential in the size and the degree of non-Cliffordness of the circuit. Our approach is based on the construction of exact representations of quantum channels as quasiprobability distributions over stabilizer operations, which are then sampled, simulated, and weighted to yield unbiased statistical estimates of circuit outputs and other observables. As a demonstration of these techniques we simulate a Steane [[7,1,3]]-encoded logical operation with non-Clifford errors and compute its fault tolerance error threshold. We expect that the method presented here will enable studies of much larger and more realistic quantum circuits than was previously possible.
△ Less
Submitted 12 May, 2017; v1 submitted 28 February, 2017;
originally announced March 2017.
-
Heralding efficiency and correlated-mode coupling of near-IR fiber coupled photon pairs
Authors:
P. Ben Dixon,
Danna Rosenberg,
Veronika Stelmakh,
Matthew E. Grein,
Ryan S. Bennink,
Eric A. Dauler,
Andrew J. Kerman,
Richard J. Molnar,
Franco N. C. Wong
Abstract:
We report on a systematic experimental study of heralding efficiency and generation rate of telecom-band infrared photon pairs generated by spontaneous parametric down-conversion and coupled to single mode optical fibers. We define the correlated-mode coupling efficiency--an inherent source efficiency--and explain its relation to heralding efficiency. For our experiment, we developed a reconfigura…
▽ More
We report on a systematic experimental study of heralding efficiency and generation rate of telecom-band infrared photon pairs generated by spontaneous parametric down-conversion and coupled to single mode optical fibers. We define the correlated-mode coupling efficiency--an inherent source efficiency--and explain its relation to heralding efficiency. For our experiment, we developed a reconfigurable computer controlled pump-beam and collection-mode optical apparatus which we used to measure the generation rate and correlated-mode coupling efficiency. The use of low-noise, high-efficiency superconducting nanowire single-photon detectors in this setup allowed us to explore focus configurations with low overall photon flux. The measured data agree well with theory and we demonstrated a correlated-mode coupling efficiency of $97 \pm 2\%$, which is the highest efficiency yet achieved for this type of system. These results confirm theoretical treatments and demonstrate that very high overall heralding efficiencies can, in principle, be achieved in quantum optical systems. It is expected that these results and techniques will be widely incorporated into future systems that require, or benefit from, a high heralding efficiency.
△ Less
Submitted 25 September, 2014; v1 submitted 31 July, 2014;
originally announced July 2014.
-
An Integrated Programming and Development Environment for Adiabatic Quantum Optimization
Authors:
Travis S. Humble,
Alex J. McCaskey,
Ryan S. Bennink,
Jay J. Billings,
Ed F. D'Azevedo,
Blair D. Sullivan,
Christine F. Klymko,
Hadayat Seddiqi
Abstract:
Adiabatic quantum computing is a promising route to the computational power afforded by quantum information processing. The recent availability of adiabatic hardware has raised challenging questions about how to evaluate adiabatic quantum optimization programs. Processor behavior depends on multiple steps to synthesize an adiabatic quantum program, which are each highly tunable. We present an inte…
▽ More
Adiabatic quantum computing is a promising route to the computational power afforded by quantum information processing. The recent availability of adiabatic hardware has raised challenging questions about how to evaluate adiabatic quantum optimization programs. Processor behavior depends on multiple steps to synthesize an adiabatic quantum program, which are each highly tunable. We present an integrated programming and development environment for adiabatic quantum optimization called JADE that provides control over all the steps taken during program synthesis. JADE captures the workflow needed to rigorously specify the adiabatic quantum optimization algorithm while allowing a variety of problem types, programming techniques, and processor configurations. We have also integrated JADE with a quantum simulation engine that enables program profiling using numerical calculation. The computational engine supports plug-ins for simulation methodologies tailored to various metrics and computing resources. We present the design, integration, and deployment of JADE and discuss its potential use for benchmarking adiabatic quantum optimization programs by the quantum computer science community.
△ Less
Submitted 21 April, 2014; v1 submitted 13 September, 2013;
originally announced September 2013.
-
Heralding an Arbitrary Decoherence-Free Qubit State
Authors:
C. Allen Bishop,
Ryan S. Bennink,
Travis S. Humble,
Philip G. Evans,
Mark S. Byrd
Abstract:
We present an optical device which is capable of heralding a variety of DFS states which protect against collective noise. Specifically, it can prepare all three basis states which span a DFS qutrit as well as an arbitrarily encoded DFS qubit state. We also discuss an interferometric technique for determining the amplitudes associated with an arbitrary encoding. The heralded state may find use in…
▽ More
We present an optical device which is capable of heralding a variety of DFS states which protect against collective noise. Specifically, it can prepare all three basis states which span a DFS qutrit as well as an arbitrarily encoded DFS qubit state. We also discuss an interferometric technique for determining the amplitudes associated with an arbitrary encoding. The heralded state may find use in coherent optical systems which exhibit collective correlations.
△ Less
Submitted 25 June, 2013;
originally announced June 2013.
-
Quantum-Secured Surveillance Based on Mach-Zehnder Interferometry
Authors:
C. Allen Bishop,
Travis S. Humble,
Ryan S. Bennink,
Brian P. Williams
Abstract:
We present a method for intrusion detection which is based on the Mach-Zehnder interference effect. This device provides monitored surveillance by continuously measuring the intensity of light collected by a pair of photodetectors. We find that our protocol allows for the detection of intrusion attempts which employ path- redirection and/or intercept-resend techniques. Expectation values for the r…
▽ More
We present a method for intrusion detection which is based on the Mach-Zehnder interference effect. This device provides monitored surveillance by continuously measuring the intensity of light collected by a pair of photodetectors. We find that our protocol allows for the detection of intrusion attempts which employ path- redirection and/or intercept-resend techniques. Expectation values for the registered output flux are provided for normal and interrupted operation.
△ Less
Submitted 26 March, 2013;
originally announced March 2013.
-
Generation of degenerate, factorizable, pulsed squeezed light at telecom wavelengths
Authors:
Thomas Gerrits,
Martin J. Stevens,
Burm Baek,
Brice Calkins,
Adriana Lita,
Scott Glancy,
Emanuel Knill,
Sae Woo Nam,
Richard P. Mirin,
Robert H. Hadfield,
Ryan S. Bennink,
Warren P. Grice,
Sander Dorenbos,
Tony Zijlstra,
Teun Klapwijk,
Val Zwiller
Abstract:
We characterize a periodically poled KTP crystal that produces an entangled, two-mode, squeezed state with orthogonal polarizations, nearly identical, factorizable frequency modes, and few photons in unwanted frequency modes. We focus the pump beam to create a nearly circular joint spectral probability distribution between the two modes. After disentangling the two modes, we observe Hong-Ou-Mandel…
▽ More
We characterize a periodically poled KTP crystal that produces an entangled, two-mode, squeezed state with orthogonal polarizations, nearly identical, factorizable frequency modes, and few photons in unwanted frequency modes. We focus the pump beam to create a nearly circular joint spectral probability distribution between the two modes. After disentangling the two modes, we observe Hong-Ou-Mandel interference with a raw (background corrected) visibility of 86 % (95 %) when an 8.6 nm bandwidth spectral filter is applied. We measure second order photon correlations of the entangled and disentangled squeezed states with both superconducting nanowire single-photon detectors and photon-number-resolving transition-edge sensors. Both methods agree and verify that the detected modes contain the desired photon number distributions.
△ Less
Submitted 16 November, 2011; v1 submitted 3 August, 2011;
originally announced August 2011.
-
Bright source of spectrally uncorrelated polarization-entangled photons with nearly single-mode emission
Authors:
P. G. Evans,
J. Schaake,
R. S. Bennink,
W. P. Grice,
T. S. Humble
Abstract:
We present results of a bright polarization-entangled photon source operating at 1552 nm via type-II collinear degenerate spontaneous parametric down-conversion in a periodically poled potassium titanyl phosphate crystal. We report a conservative inferred pair generation rate of 123,000 pairs/s/mW into collection modes. Minimization of spectral and spatial entanglement was achieved by group veloci…
▽ More
We present results of a bright polarization-entangled photon source operating at 1552 nm via type-II collinear degenerate spontaneous parametric down-conversion in a periodically poled potassium titanyl phosphate crystal. We report a conservative inferred pair generation rate of 123,000 pairs/s/mW into collection modes. Minimization of spectral and spatial entanglement was achieved by group velocity matching the pump, signal and idler modes and through properly focusing the pump beam. By utilizing a pair of calcite beam displacers, we are able to overlap photons from adjacent down-conversion processes to obtain polarization-entanglement visibility of 94.7 +/- 1.1% with accidentals subtracted.
△ Less
Submitted 21 December, 2010; v1 submitted 8 September, 2010;
originally announced September 2010.
-
Optimal Co-linear Gaussian Beams for Spontaneous Parametric Down-Conversion
Authors:
Ryan S. Bennink
Abstract:
I investigate the properties of spontaneous parametric down-conversion (SPDC) involving co-linear Gaussian spatial modes for the pump and the photon collection optics. Approximate analytical and numerical results are obtained for the peak spectral density, photon bandwidth, pair collection probability, heralding ratio, and spectral purity, as a function of crystal length and beam focusing paramete…
▽ More
I investigate the properties of spontaneous parametric down-conversion (SPDC) involving co-linear Gaussian spatial modes for the pump and the photon collection optics. Approximate analytical and numerical results are obtained for the peak spectral density, photon bandwidth, pair collection probability, heralding ratio, and spectral purity, as a function of crystal length and beam focusing parameters. I address the optimization of these properties individually as well as jointly, and find focusing conditions that simultaneously bring the pair collection probability, heralding ratio, and spectral purity to near-optimal values. These properties are also found to be nearly scale invariant, that is, ultimately independent of crystal length. The results obtained here are expected to be useful for designing SPDC sources with high performance in multiple categories for the next generation of SPDC applications.
△ Less
Submitted 9 November, 2010; v1 submitted 19 March, 2010;
originally announced March 2010.
-
Bichromatic Local Oscillator for Detection of Two-Mode Squeezed States of Light
Authors:
Alberto M. Marino,
C. R. Stroud, Jr.,
Vincent Wong,
Ryan S. Bennink,
Robert W. Boyd
Abstract:
We present a new technique for the detection of two-mode squeezed states of light that allows for a simple characterization of these quantum states. The usual detection scheme, based on heterodyne measurements, requires the use of a local oscillator with a frequency equal to the mean of the frequencies of the two modes of the squeezed field. As a result, unless the two modes are close in frequen…
▽ More
We present a new technique for the detection of two-mode squeezed states of light that allows for a simple characterization of these quantum states. The usual detection scheme, based on heterodyne measurements, requires the use of a local oscillator with a frequency equal to the mean of the frequencies of the two modes of the squeezed field. As a result, unless the two modes are close in frequency, a high-frequency shot-noise-limited detection system is needed. We propose the use of a bichromatic field as the local oscillator in the heterodyne measurements. By the proper selection of the frequencies of the bichromatic field, it is possible to arbitrarily select the frequency around which the squeezing information is located, thus making it possible to use a low-bandwidth detection system and to move away from any excess noise present in the system.
△ Less
Submitted 26 May, 2006;
originally announced May 2006.
-
Momentum-position realization of the Einstein-Podolsky-Rosen paradox
Authors:
John C. Howell,
Ryan S. Bennink,
Sean J. Bentley,
R. W. Boyd
Abstract:
We report on a momentum-position realization of the EPR paradox using direct detection in the near and far fields of the photons emitted by collinear type-II phase-matched parametric downconversion. Using this approach we achieved a measured two-photon momentum-position variance product of $0.01\hbar^2$, which dramatically violates the bounds for the EPR and separability criteria.
We report on a momentum-position realization of the EPR paradox using direct detection in the near and far fields of the photons emitted by collinear type-II phase-matched parametric downconversion. Using this approach we achieved a measured two-photon momentum-position variance product of $0.01\hbar^2$, which dramatically violates the bounds for the EPR and separability criteria.
△ Less
Submitted 15 September, 2003;
originally announced September 2003.