Showing 1–50 of 69 results for author: Brown, J

Quantum Resources Required for Binding Affinity Calculations of Amyloid beta

Authors: Matthew Otten, Thomas W. Watts, Samuel D. Johnson, Rashmi Sundareswara, Zhihui Wang, Tarini S. Hardikar, Kenneth Heitritter, James Brown, Kanav Setia, Adam Holmes

Abstract: Amyloid beta, an intrinsically disordered protein, plays a seemingly important but not well-understood role in neurodegenerative diseases like Alzheimer's disease. A key feature of amyloid beta, which could lead to potential therapeutic intervention pathways, is its binding affinity to certain metal centers, like iron and copper. Numerically calculating such binding affinities is a computationally… ▽ More Amyloid beta, an intrinsically disordered protein, plays a seemingly important but not well-understood role in neurodegenerative diseases like Alzheimer's disease. A key feature of amyloid beta, which could lead to potential therapeutic intervention pathways, is its binding affinity to certain metal centers, like iron and copper. Numerically calculating such binding affinities is a computationally challenging task, involving strongly correlated metal centers. A key bottleneck in understanding the binding affinity is obtaining estimates of the ground state energy. Quantum computers have the potential to accelerate such calculations but it is important to understand the quantum resources required. In this work, we detail a computational workflow for binding affinity calculations for amyloid beta utilizing quantum algorithms, providing estimated quantum resources required, at both the logical and hardware level. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Non-unitary Coupled Cluster Enabled by Mid-circuit Measurements on Quantum Computers

Authors: Alexandre Fleury, James Brown, Erika Lloyd, Maritza Hernandez, Isaac H. Kim

Abstract: Many quantum algorithms rely on a quality initial state for optimal performance. Preparing an initial state for specific applications can considerably reduce the cost of probabilistic algorithms such as the well studied quantum phase estimation (QPE). Fortunately, in the application space of quantum chemistry, generating approximate wave functions for molecular systems is well studied, and quantum… ▽ More Many quantum algorithms rely on a quality initial state for optimal performance. Preparing an initial state for specific applications can considerably reduce the cost of probabilistic algorithms such as the well studied quantum phase estimation (QPE). Fortunately, in the application space of quantum chemistry, generating approximate wave functions for molecular systems is well studied, and quantum computing algorithms stand to benefit from importing these classical methods directly into a quantum circuit. In this work, we propose a state preparation method based on coupled cluster (CC) theory, which is a pillar of quantum chemistry on classical computers, by incorporating mid-circuit measurements into the circuit construction. Currently, the most well studied state preparation method for quantum chemistry on quantum computers is the variational quantum eigensolver (VQE) with a unitary-CC with single- and double-electron excitation terms (UCCSD) ansatz whose operations are limited to unitary gates. We verify the accuracy of our state preparation protocol using mid-circuit measurements by performing energy evaluation and state overlap computation for a set of small chemical systems. We further demonstrate that our approach leads to a reduction of the classical computation overhead, and the number of CNOT and T gates by 28% and 57% on average when compared against the standard VQE-UCCSD protocol. △ Less

Submitted 28 June, 2024; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: 26 pages, 6 figures; title changed, references added

Mitigating errors in logical qubits

Authors: Samuel C. Smith, Benjamin J. Brown, Stephen D. Bartlett

Abstract: Quantum error correcting codes protect quantum information, allowing for large quantum computations provided that physical error rates are sufficiently low. We combine post-selection with surface code error correction through the use of a parameterized family of exclusive decoders, which are able to abort on decoding instances that are deemed too difficult. We develop new numerical sampling method… ▽ More Quantum error correcting codes protect quantum information, allowing for large quantum computations provided that physical error rates are sufficiently low. We combine post-selection with surface code error correction through the use of a parameterized family of exclusive decoders, which are able to abort on decoding instances that are deemed too difficult. We develop new numerical sampling methods to quantify logical failure rates with exclusive decoders as well as the trade-off in terms of the amount of post-selection required. For the most discriminating of exclusive decoders, we demonstrate a threshold of 50\% under depolarizing noise for the surface code (or $32(1)\%$ for the fault-tolerant case with phenomenological measurement errors), and up to a quadratic improvement in logical failure rates below threshold. Furthermore, surprisingly, with a modest exclusion criterion, we identify a regime at low error rates where the exclusion rate decays with code distance, providing a pathway for scalable and time-efficient quantum computing with post-selection. We apply our exclusive decoder to the 15-to-1 magic state distillation protocol, and report a $75\%$ reduction in the number of physical qubits required, and a $60\%$ reduction in the total spacetime volume required, including accounting for repetitions required for post-selection. We also consider other applications, as an error mitigation technique, and in concatenated schemes. Our work highlights the importance of post-selection as a powerful tool in quantum error correction. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 20 pages, 17 figures, comments welcome

A first detailed study of the quantum decoherence of entangled gamma photons

Authors: Julien Bordes, James R. Brown, Daniel P. Watts, Mikail Bashkanov, Ruth Newton, Nicholas Zachariou

Abstract: Constraints on the quantum decoherence of entangled $γ$ quanta at the MeV scale, such as those produced following positron annihilation, have remained elusive for many decades. We present the first accurate, large acceptance experimental data for triple Compton scattering (TCS) of such entangled $γ$. An entanglement witness, the enhancement ($R$) of the azimuthal correlation between the final CS p… ▽ More Constraints on the quantum decoherence of entangled $γ$ quanta at the MeV scale, such as those produced following positron annihilation, have remained elusive for many decades. We present the first accurate, large acceptance experimental data for triple Compton scattering (TCS) of such entangled $γ$. An entanglement witness, the enhancement ($R$) of the azimuthal correlation between the final CS planes, is obtained where one of the $γ$ underwent intermediate Compton scattering (CS). $R$ is found to exceed the classical limit for scatter angles up to $\sim$40$^{\circ}$. The extracted $R$, over the range of the data ($0-70^{\circ}$), are better described by simple models in which entanglement is conserved or decohered proportional to the visibility of the scatter process. The work will help guide the development of a first theoretical description of decoherence at the MeV scale, a crucial next step for fundamental physics and entangled PET medical imaging. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Comments: 6 pages, 4 figures

Non-Clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum LDPC codes via higher symmetries

Authors: Guanyu Zhu, Shehryar Sikander, Elia Portnoy, Andrew W. Cross, Benjamin J. Brown

Abstract: We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive generic formula for a transversal $T$ gate of color codes on general 3-manifolds, which acts as collective non-Clifford logical CCZ gates on any triplet of logical qubits with their logical-$X$… ▽ More We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive generic formula for a transversal $T$ gate of color codes on general 3-manifolds, which acts as collective non-Clifford logical CCZ gates on any triplet of logical qubits with their logical-$X$ membranes having a $\mathbb{Z}_2$ triple intersection at a single point. The triple intersection number is a topological invariant, which also arises in the path integral of the emergent higher symmetry operator in a topological quantum field theory: the $\mathbb{Z}_2^3$ gauge theory. Moreover, the transversal $S$ gate of the color code corresponds to a higher-form symmetry supported on a codimension-1 submanifold, giving rise to exponentially many addressable and parallelizable logical CZ gates. We have developed a generic formalism to compute the triple intersection invariants for 3-manifolds and also study the scaling of the Betti number and systoles with volume for various 3-manifolds, which translates to the encoding rate and distance. We further develop three types of LDPC codes supporting such logical gates: (1) A quasi-hyperbolic code from the product of 2D hyperbolic surface and a circle, with almost-constant rate $k/n=O(1/\log(n))$ and $O(\log(n))$ distance; (2) A homological fibre bundle code with $O(1/\log^{\frac{1}{2}}(n))$ rate and $O(\log^{\frac{1}{2}}(n))$ distance; (3) A specific family of 3D hyperbolic codes: the Torelli map** torus code, constructed from map** tori of a pseudo-Anosov element in the Torelli subgroup, which has constant rate while the distance scaling is currently unknown. We then show a generic constant-overhead scheme for applying a parallelizable universal gate set with the aid of logical-$X$ measurements. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: 40 pages, 31 figures

Device-independent quantum key distribution with arbitrarily small nonlocality

Authors: Lewis Wooltorton, Peter Brown, Roger Colbeck

Abstract: Device-independent quantum key distribution (DIQKD) allows two users to set up shared cryptographic key without the need to trust the quantum devices used. Doing so requires nonlocal correlations between the users. However, in [Phys. Rev. Lett. 127, 050503 (2021)] it was shown that for known protocols nonlocality is not always sufficient, leading to the question of whether there is a fundamental l… ▽ More Device-independent quantum key distribution (DIQKD) allows two users to set up shared cryptographic key without the need to trust the quantum devices used. Doing so requires nonlocal correlations between the users. However, in [Phys. Rev. Lett. 127, 050503 (2021)] it was shown that for known protocols nonlocality is not always sufficient, leading to the question of whether there is a fundamental lower bound on the minimum amount of nonlocality needed for any DIQKD implementation. Here we show that no such bound exists, giving schemes that achieve key with correlations arbitrarily close to the local set. Furthermore, some of our constructions achieve the maximum of 1 bit of key per pair of entangled qubits. We achieve this by studying a family of Bell-inequalities that constitute all self-tests of the maximally entangled state with a single linear Bell expression. Within this family there exist non-local correlations with the property that one pair of inputs yield outputs arbitrarily close to perfect key. Such correlations exist for a range of Clauser-Horne-Shimony-Holt (CHSH) values, including those arbitrarily close to the classical bound. Finally, we show the existence of quantum correlations that can generate both perfect key and perfect randomness simultaneously, whilst also displaying arbitrarily small CHSH violation; this opens up the possibility of a new class of cryptographic protocol. △ Less

Submitted 24 May, 2024; v1 submitted 18 September, 2023; originally announced September 2023.

Comments: 5 + 15 pages, 2 figures v3: minor updates

Journal ref: Physical Review Letters 132 210802 (2024)

Expanding bipartite Bell inequalities for maximum multi-partite randomness

Authors: Lewis Wooltorton, Peter Brown, Roger Colbeck

Abstract: Nonlocal tests on multipartite quantum correlations form the basis of protocols that certify randomness in a device-independent (DI) way. Such correlations admit a rich structure, making the task of choosing an appropriate test difficult. For example, extremal Bell inequalities are tight witnesses of nonlocality, however achieving their maximum violation places constraints on the underlying quantu… ▽ More Nonlocal tests on multipartite quantum correlations form the basis of protocols that certify randomness in a device-independent (DI) way. Such correlations admit a rich structure, making the task of choosing an appropriate test difficult. For example, extremal Bell inequalities are tight witnesses of nonlocality, however achieving their maximum violation places constraints on the underlying quantum system, which can reduce the rate of randomness generation. As a result there is often a trade-off between maximum randomness and the amount of violation of a given Bell inequality. Here, we explore this trade-off for more than two parties. More precisely, we study the maximum amount of randomness that can be certified by correlations exhibiting a violation of the Mermin-Ardehali-Belinskii-Klyshko (MABK) inequality. We find that maximum quantum violation and maximum randomness are incompatible for any even number of parties, with incompatibility diminishing as the number of parties grow, and conjecture the precise trade-off. We also show that maximum MABK violation is not necessary for maximum randomness for odd numbers of parties. To obtain our results, we derive new families of Bell inequalities certifying maximum randomness from a technique for randomness certification, which we call "expanding Bell inequalities". Our technique allows one to take a bipartite Bell expression, known as the seed, and transform it into a multipartite Bell inequality tailored for randomness certification, showing how intuition learned in the bipartite case can find use in more complex scenarios. △ Less

Submitted 14 August, 2023; originally announced August 2023.

Comments: 14+18 pages, several figures

Minimising surface-code failures using a color-code decoder

Authors: Asmae Benhemou, Kaavya Sahay, Lingling Lao, Benjamin J. Brown

Abstract: The development of practical, high-performance decoding algorithms reduces the resource cost of fault-tolerant quantum computing. Here we propose a decoder for the surface code that finds low-weight correction operators for errors produced by the depolarising noise model. The decoder is obtained by map** the syndrome of the surface code onto that of the color code, thereby allowing us to adopt m… ▽ More The development of practical, high-performance decoding algorithms reduces the resource cost of fault-tolerant quantum computing. Here we propose a decoder for the surface code that finds low-weight correction operators for errors produced by the depolarising noise model. The decoder is obtained by map** the syndrome of the surface code onto that of the color code, thereby allowing us to adopt more sophisticated color-code decoding algorithms. Analytical arguments and exhaustive testing show that the resulting decoder can find a least-weight correction for all weight $d/2$ depolarising errors for even code distance $d$. This improves the logical error rate by an exponential factor $O(2^{d/2})$ compared with decoders that treat bit-flip and dephasing errors separately. We demonstrate this improvement with analytical arguments and supporting numerical simulations at low error rates. Of independent interest, we also demonstrate an exponential improvement in logical error rate for our decoder used to correct independent and identically distributed bit-flip errors affecting the color code compared with more conventional color-code decoding algorithms. △ Less

Submitted 4 July, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Encoding a magic state with beyond break-even fidelity

Authors: Riddhi S. Gupta, Neereja Sundaresan, Thomas Alexander, Christopher J. Wood, Seth T. Merkel, Michael B. Healy, Marius Hillenbrand, Tomas Jochym-O'Connor, James R. Wootton, Theodore J. Yoder, Andrew W. Cross, Maika Takita, Benjamin J. Brown

Abstract: To run large-scale algorithms on a quantum computer, error-correcting codes must be able to perform a fundamental set of operations, called logic gates, while isolating the encoded information from noise~\cite{Harper2019,Ryan-Anderson2021,Egan2021fault, Chen2022calibrated, Sundaresan2022matching, ryananderson2022implementing, Postler2022demonstration, GoogleAI2023}. We can complete a universal set… ▽ More To run large-scale algorithms on a quantum computer, error-correcting codes must be able to perform a fundamental set of operations, called logic gates, while isolating the encoded information from noise~\cite{Harper2019,Ryan-Anderson2021,Egan2021fault, Chen2022calibrated, Sundaresan2022matching, ryananderson2022implementing, Postler2022demonstration, GoogleAI2023}. We can complete a universal set of logic gates by producing special resources called magic states~\cite{Bravyi2005universal,Maier2013magic, Chamberland2022building}. It is therefore important to produce high-fidelity magic states to conduct algorithms while introducing a minimal amount of noise to the computation. Here, we propose and implement a scheme to prepare a magic state on a superconducting qubit array using error correction. We find that our scheme produces better magic states than those we can prepare using the individual qubits of the device. This demonstrates a fundamental principle of fault-tolerant quantum computing~\cite{Shor96}, namely, that we can use error correction to improve the quality of logic gates with noisy qubits. Additionally, we show we can increase the yield of magic states using adaptive circuits, where circuit elements are changed depending on the outcome of mid-circuit measurements. This demonstrates an essential capability we will need for many error-correction subroutines. Our prototype will be invaluable in the future as it can reduce the number of physical qubits needed to produce high-fidelity magic states in large-scale quantum-computing architectures. △ Less

Submitted 13 March, 2024; v1 submitted 22 May, 2023; originally announced May 2023.

Comments: 19 pages, 13 figures, 3 tables, comments welcome; v2 - Updated draft including new appendices following peer review. Includes a section on injecting the encoded magic state into larger codes (explicitly studying the surface code, the heavy-hex code and the color code) and a numerical section interrogating the fault-tolerant properties of the circuit

Journal ref: Nature 625, 259 (2024)

Calculating potential energy surfaces with quantum computers by measuring only the density along adiabatic transitions

Authors: James Brown

Abstract: We show that chemically-accurate potential energy surfaces (PESs) can be generated from quantum computers by measuring the density along an adiabatic transition between different molecular geometries. In lieu of using phase estimation, the energy is evaluated by performing line-integration using the inverted TDDFT Kohn-Sham potential obtained from the time-varying densities. The accuracy of this m… ▽ More We show that chemically-accurate potential energy surfaces (PESs) can be generated from quantum computers by measuring the density along an adiabatic transition between different molecular geometries. In lieu of using phase estimation, the energy is evaluated by performing line-integration using the inverted TDDFT Kohn-Sham potential obtained from the time-varying densities. The accuracy of this method depends on the validity of the adiabatic evolution itself and the potential inversion process (which is theoretically exact but can be numerically unstable), whereas total evolution time is the defining factor for the precision of phase estimation. We examine the method with a one-dimensional system of two electrons for both the ground and first triplet state in first quantization, as well as the ground state of three- and four- electron systems in second quantization. It is shown that few accurate measurements can be utilized to obtain chemical accuracy across the full potential energy curve, with shorter propagation time than may be required using phase estimation for a similar accuracy. We also show that an accurate potential energy curve can be calculated by making many imprecise density measurements (using few shots) along the time evolution and smoothing the resulting density evolution. We discuss how one can generate full PESs using either sparse grid representations or machine learning density functionals where it is known that training the functional using the density (along with the energy) generates a more transferable functional than only using the energy. Finally, it is important to note that the method is able to classically provide a check of its own accuracy by comparing the density resulting from a time-independent Kohn-Sham calculation using the inverted potential, with the measured density. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: 11 pages, 9 figures

Journal ref: J. Chem. Theory Comput. 2024, 20, 8, 3096-3108

Codesign of quantum error-correcting codes and modular chiplets in the presence of defects

Authors: Sophia Fuhui Lin, Joshua Viszlai, Kaitlin N. Smith, Gokul Subramanian Ravi, Charles Yuan, Frederic T. Chong, Benjamin J. Brown

Abstract: Fabrication errors pose a significant challenge in scaling up solid-state quantum devices to the sizes required for fault-tolerant (FT) quantum applications. To mitigate the resource overhead caused by fabrication errors, we combine two approaches: (1) leveraging the flexibility of a modular architecture, (2) adapting the procedure of quantum error correction (QEC) to account for fabrication defec… ▽ More Fabrication errors pose a significant challenge in scaling up solid-state quantum devices to the sizes required for fault-tolerant (FT) quantum applications. To mitigate the resource overhead caused by fabrication errors, we combine two approaches: (1) leveraging the flexibility of a modular architecture, (2) adapting the procedure of quantum error correction (QEC) to account for fabrication defects. We simulate the surface code adapted to qubit arrays with arbitrarily distributed defects to find metrics that characterize how defects affect fidelity. We then determine the impact of defects on the resource overhead of realizing a fault-tolerant quantum computer, on a chiplet-based modular architecture. Our strategy for dealing with fabrication defects demonstrates an exponential suppression of logical failure where error rates of non-faulty physical qubits are ~0.1% in a circuit-based noise model. This is a typical regime where we imagine running the defect-free surface code. We use our numerical results to establish post-selection criteria for building a device from defective chiplets. Using our criteria, we then evaluate the resource overhead in terms of the average number of fabricated physical qubits per logical qubit. We find that an optimal choice of chiplet size, based on the defect rate and target fidelity, is essential to limiting any additional error correction overhead due to defects. When the optimal chiplet size is chosen, at a defect rate of 1% the resource overhead can be reduced to below 3X and 6X respectively for the two defect models we use, for a wide range of target performance. We also determine cutoff fidelity values that help identify whether a qubit should be disabled or kept as part of the error correction code. △ Less

Submitted 22 March, 2024; v1 submitted 28 April, 2023; originally announced May 2023.

Comments: In ASPLOS 2024: the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

High-threshold quantum computing by fusing one-dimensional cluster states

Authors: Stefano Paesani, Benjamin J. Brown

Abstract: We propose a measurement-based model for fault-tolerant quantum computation that can be realised with one-dimensional cluster states and fusion measurements only; basic resources that are readily available with scalable photonic hardware. Our simulations demonstrate high thresholds compared with other measurement-based models realized with basic entangled resources and two-qubit fusion measurement… ▽ More We propose a measurement-based model for fault-tolerant quantum computation that can be realised with one-dimensional cluster states and fusion measurements only; basic resources that are readily available with scalable photonic hardware. Our simulations demonstrate high thresholds compared with other measurement-based models realized with basic entangled resources and two-qubit fusion measurements. Its high tolerance to noise indicates that our practical construction offers a promising route to scalable quantum computing with quantum emitters and linear-optical elements. △ Less

Submitted 17 July, 2023; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: 9 pages, 7 figures, comments welcome

Journal ref: Phys. Rev. Lett. 131, 120603 (2023)

Anyon condensation and the color code

Authors: Markus S. Kesselring, Julio C. Magdalena de la Fuente, Felix Thomsen, Jens Eisert, Stephen D. Bartlett, Benjamin J. Brown

Abstract: The manipulation of topologically-ordered phases of matter to encode and process quantum information forms the cornerstone of many approaches to fault-tolerant quantum computing. Here we demonstrate that fault-tolerant logical operations in these approaches can be interpreted as instances of anyon condensation. We present a constructive theory for anyon condensation and, in tandem, illustrate our… ▽ More The manipulation of topologically-ordered phases of matter to encode and process quantum information forms the cornerstone of many approaches to fault-tolerant quantum computing. Here we demonstrate that fault-tolerant logical operations in these approaches can be interpreted as instances of anyon condensation. We present a constructive theory for anyon condensation and, in tandem, illustrate our theory explicitly using the color-code model. We show that different condensation processes are associated with a general class of domain walls, which can exist in both space- and time-like directions. This class includes semi-transparent domain walls that condense certain subsets of anyons. We use our theory to classify topological objects and design novel fault-tolerant logic gates for the color code. As a final example, we also argue that dynamical `Floquet codes' can be viewed as a series of condensation operations. We propose a general construction for realising planar dynamically driven codes based on condensation operations on the color code. We use our construction to introduce a new Calderbank-Shor Steane-type Floquet code that we call the Floquet color code. △ Less

Submitted 13 March, 2024; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: 55 pages, 57 figures, comments welcome; v2 - changes made in response to the peer-review process

Journal ref: PRX Quantum 5, 010342 (2024)

Iterative Qubit Coupled Cluster using only Clifford circuits

Authors: James Brown, Marc P. Coons, Erika Lloyd, Alexandre Fleury, Krzysztof Bieniasz, Valentin Senicourt, Arman Zaribafiyan

Abstract: We draw attention to a variant of the iterative qubit coupled cluster (iQCC) method that only uses Clifford circuits. The iQCC method relies on a small parameterized wave function ansatz, which takes form as a product of exponentiated Pauli word operators, to approximate the ground state electronic energy of a mean field reference state through iterative qubit Hamiltonian transformations. In this… ▽ More We draw attention to a variant of the iterative qubit coupled cluster (iQCC) method that only uses Clifford circuits. The iQCC method relies on a small parameterized wave function ansatz, which takes form as a product of exponentiated Pauli word operators, to approximate the ground state electronic energy of a mean field reference state through iterative qubit Hamiltonian transformations. In this variant of the iQCC method, the wave function ansatz at each iteration is restricted to a single exponentiated Pauli word operator and parameter. The Rotosolve algorithm utilizes Hamiltonian expectation values computed with Clifford circuits to optimize the single-parameter Pauli word ansatz. Although the exponential growth of Hamiltonian terms is preserved with this variation of iQCC, we suggest several methods to mitigate this effect. This method is useful for near-term variational quantum algorithm applications as it generates good initial parameters by using Clifford circuits which can be efficiently simulated on a classical computers according to the Gottesman-Knill theorem. It may also be useful beyond the NISQ era to create short-depth Clifford pre-optimized circuits that improve the success probability for fault-tolerant algorithms such as phase estimation. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Comments: 8 pages, 3 figures

A local pre-decoder to reduce the bandwidth and latency of quantum error correction

Authors: Samuel C. Smith, Benjamin J. Brown, Stephen D. Bartlett

Abstract: A fault-tolerant quantum computer will be supported by a classical decoding system interfacing with quantum hardware to perform quantum error correction. It is important that the decoder can keep pace with the quantum clock speed, within the limitations on communication that are imposed by the physical architecture. To this end we propose a local `pre-decoder', which makes greedy corrections to re… ▽ More A fault-tolerant quantum computer will be supported by a classical decoding system interfacing with quantum hardware to perform quantum error correction. It is important that the decoder can keep pace with the quantum clock speed, within the limitations on communication that are imposed by the physical architecture. To this end we propose a local `pre-decoder', which makes greedy corrections to reduce the amount of syndrome data sent to a standard matching decoder. We study these classical overheads for the surface code under a phenomenological phase-flip noise model with imperfect measurements. We find substantial improvements in the runtime of the global decoder and the communication bandwidth by using the pre-decoder. For instance, to achieve a logical failure probability of $f = 10^{-15}$ using qubits with physical error rate $p = 10^{-3}$ and a distance $d=22$ code, we find that the bandwidth cost is reduced by a factor of $1000$, and the time taken by a matching decoder is sped up by a factor of $200$. To achieve this target failure probability, the pre-decoding approach requires a $50\%$ increase in the qubit count compared with the optimal decoder. △ Less

Submitted 13 September, 2022; v1 submitted 9 August, 2022; originally announced August 2022.

Comments: 12 pages, 8 figures, comments welcome

Journal ref: Phys. Rev. Applied 19, 034050 (2023)

Conservation laws and quantum error correction: towards a generalised matching decoder

Authors: Benjamin J. Brown

Abstract: Decoding algorithms are essential to fault-tolerant quantum-computing architectures. In this perspective we explore decoding algorithms for the surface code; a prototypical quantum low-density parity-check code that underlies many of the leading efforts to demonstrate scalable quantum computing. Central to our discussion is the minimum-weight perfect-matching decoder. The decoder works by exploiti… ▽ More Decoding algorithms are essential to fault-tolerant quantum-computing architectures. In this perspective we explore decoding algorithms for the surface code; a prototypical quantum low-density parity-check code that underlies many of the leading efforts to demonstrate scalable quantum computing. Central to our discussion is the minimum-weight perfect-matching decoder. The decoder works by exploiting underlying structure that arises due to materialised symmetries among surface-code stabilizer elements. By concentrating on these symmetries, we begin to address the question of how a minimum-weight perfect-matching decoder might be generalised for other families of codes. We approach this question first by investigating examples of matching decoders for other codes. These include decoding algorithms that have been specialised to correct for noise models that demonstrate a particular structure or bias with respect to certain codes. In addition to this, we propose a systematic way of constructing a minimum-weight perfect-matching decoder for codes with certain characteristic properties. The properties we make use of are common among topological codes. We discuss the broader applicability of the proposal, and we suggest some questions we can address that may show us how to design a generalised matching decoder for arbitrary stabilizer codes. △ Less

Submitted 27 February, 2024; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: Perspective article; 11 pages, 7 figures, comments welcome; v2 - manuscript revised in response to referee reports. 1 new figure

Journal ref: IEEE BITS the Information Theory Magazine, vol. 2, no. 3, pp. 5-19, 1 Dec. 2022

Optimal quantum control via genetic algorithms for quantum state engineering in driven-resonator mediated networks

Authors: Jonathon Brown, Mauro Paternostro, Alessandro Ferraro

Abstract: We employ a machine learning-enabled approach to quantum state engineering based on evolutionary algorithms. In particular, we focus on superconducting platforms and consider a network of qubits -- encoded in the states of artificial atoms with no direct coupling -- interacting via a common single-mode driven microwave resonator. The qubit-resonator couplings are assumed to be in the resonant regi… ▽ More We employ a machine learning-enabled approach to quantum state engineering based on evolutionary algorithms. In particular, we focus on superconducting platforms and consider a network of qubits -- encoded in the states of artificial atoms with no direct coupling -- interacting via a common single-mode driven microwave resonator. The qubit-resonator couplings are assumed to be in the resonant regime and tunable in time. A genetic algorithm is used in order to find the functional time-dependence of the couplings that optimise the fidelity between the evolved state and a variety of targets, including three-qubit GHZ and Dicke states and four-qubit graph states. We observe high quantum fidelities (above 0.96 in the worst case setting of a system of effective dimension 96) and resilience to noise, despite the algorithm being trained in the ideal noise-free setting. These results show that the genetic algorithms represent an effective approach to control quantum systems of large dimensions. △ Less

Submitted 25 January, 2023; v1 submitted 29 June, 2022; originally announced June 2022.

Comments: 10 pages, 6 figures

Journal ref: 2023 Quantum Sci. Technol. 8 025004

Tangelo: An Open-source Python Package for End-to-end Chemistry Workflows on Quantum Computers

Authors: Valentin Senicourt, James Brown, Alexandre Fleury, Ryan Day, Erika Lloyd, Marc P. Coons, Krzysztof Bieniasz, Lee Huntington, Alejandro J. Garza, Shunji Matsuura, Rudi Plesch, Takeshi Yamazaki, Arman Zaribafiyan

Abstract: Tangelo [link: https://github.com/goodchemistryco/Tangelo] is an open-source Python software package for the development of end-to-end chemistry workflows on quantum computers, released under Apache 2.0 license. It aims to support the design of successful experiments on quantum hardware, and to facilitate advances in quantum algorithm development. The software enables quick exploration of differen… ▽ More Tangelo [link: https://github.com/goodchemistryco/Tangelo] is an open-source Python software package for the development of end-to-end chemistry workflows on quantum computers, released under Apache 2.0 license. It aims to support the design of successful experiments on quantum hardware, and to facilitate advances in quantum algorithm development. The software enables quick exploration of different approaches by assembling reusable building blocks and algorithms, with the flexibility to let users introduce their own. Tangelo is backend-agnostic and enables switching between various backends (Braket, Qiskit, Qulacs, Azure Quantum, QDK, Cirq...) with minimal changes in the code. The package can be used to explore quantum computing applications such as open-shell systems, excited states, or more industrially-relevant systems by leveraging problem decomposition at scale. This paper outlines the design choices, philosophy, and main features of Tangelo. △ Less

Submitted 24 June, 2022; originally announced June 2022.

Comments: 26 pages, 6 figures

Symmetry-Based Singlet-Triplet Excitation in Solution Nuclear Magnetic Resonance

Authors: Mohamed Sabba, Nino Wili, Christian Bengs, Lynda J. Brown, Malcolm H. Levitt

Abstract: Coupled pairs of spin-1/2 nuclei support one singlet state and three triplet states. In many circumstances the nuclear singlet order, defined as the difference between the singlet population and the mean of the triplet populations, is a long-lived state which persists for a relatively long time in solution. Various methods have been proposed for generating singlet order, starting from nuclear magn… ▽ More Coupled pairs of spin-1/2 nuclei support one singlet state and three triplet states. In many circumstances the nuclear singlet order, defined as the difference between the singlet population and the mean of the triplet populations, is a long-lived state which persists for a relatively long time in solution. Various methods have been proposed for generating singlet order, starting from nuclear magnetization. This requires the stimulation of singlet-to-triplet transitions by modulated radiofrequency fields. We show that a recently described pulse sequence, known as PulsePol (Schwartz $\textit{et al.}$, Science Advances, $\textbf{4}$, eaat8978 (2018) and arXiv:1710.01508), is an efficient technique for converting magnetization into long-lived singlet order. We show that the operation of this pulse sequence may be understood by adapting the theory of symmetry-based recoupling sequences in magic-angle-spinning solid-state NMR. The concept of riffling allows PulsePol to be interpreted using the theory of symmetry-based pulse sequences, and explains its robustness. This theory is used to derive a range of new pulse sequences for performing singlet-triplet excitation and conversion in solution NMR. Schemes for further enhancing the robustness of the transformations are demonstrated. △ Less

Submitted 14 June, 2022; originally announced June 2022.

Comments: 30 pages, 17 figures (9 in main text; 8 in SI). Submitted to JCP on 14/06/22

Tight analytic bound on the trade-off between device-independent randomness and nonlocality

Authors: Lewis Wooltorton, Peter Brown, Roger Colbeck

Abstract: Two parties sharing entangled quantum systems can generate correlations that cannot be produced using only shared classical resources. These nonlocal correlations are a fundamental feature of quantum theory but also have practical applications. For instance, they can be used for device-independent (DI) random number generation, whose security is certified independently of the operations performed… ▽ More Two parties sharing entangled quantum systems can generate correlations that cannot be produced using only shared classical resources. These nonlocal correlations are a fundamental feature of quantum theory but also have practical applications. For instance, they can be used for device-independent (DI) random number generation, whose security is certified independently of the operations performed inside the devices. The amount of certifiable randomness that can be generated from some given non-local correlations is a key quantity of interest. Here we derive tight analytic bounds on the maximum certifiable randomness as a function of the nonlocality as expressed using the Clauser-Horne-Shimony-Holt (CHSH) value. We show that for every CHSH value greater than the local value ($2$) and up to $3\sqrt{3}/2\approx2.598$ there exist quantum correlations with that CHSH value that certify a maximal two bits of global randomness. Beyond this CHSH value the maximum certifiable randomness drops. We give a second family of Bell inequalities for CHSH values above $3\sqrt{3}/2$, and show that they certify the maximum possible randomness for the given CHSH value. Our work hence provides an achievable upper bound on the amount of randomness that can be certified for any CHSH value. We illustrate the robustness of our results, and how they could be used to improve randomness generation rates in practice, using a Werner state noise model. △ Less

Submitted 5 October, 2022; v1 submitted 29 April, 2022; originally announced May 2022.

Comments: 4+16 pages, 2 figures v2: minor updates

Journal ref: Physical Review Letters 129 150403 (2022)

A cellular automaton decoder for a noise-bias tailored color code

Authors: Jonathan F. San Miguel, Dominic J. Williamson, Benjamin J. Brown

Abstract: Self-correcting quantum memories demonstrate robust properties that can be exploited to improve active quantum error-correction protocols. Here we propose a cellular automaton decoder for a variation of the color code where the bases of the physical qubits are locally rotated, which we call the XYZ color code. The local transformation means our decoder demonstrates key properties of a two-dimensio… ▽ More Self-correcting quantum memories demonstrate robust properties that can be exploited to improve active quantum error-correction protocols. Here we propose a cellular automaton decoder for a variation of the color code where the bases of the physical qubits are locally rotated, which we call the XYZ color code. The local transformation means our decoder demonstrates key properties of a two-dimensional fractal code if the noise acting on the system is infinitely biased towards dephasing, namely, no string-like logical operators. As such, in the high-bias limit, our local decoder reproduces the behavior of a partially self-correcting memory. At low error rates, our simulations show that the memory time diverges polynomially with system size without intervention from a global decoder, up to some critical system size that grows as the error rate is lowered. Furthermore, although we find that we cannot reproduce partially self-correcting behavior at finite bias, our numerics demonstrate improved memory times at realistic noise biases. Our results therefore motivate the design of tailored cellular automaton decoders that help to reduce the bandwidth demands of global decoding for realistic noise models. △ Less

Submitted 6 March, 2023; v1 submitted 30 March, 2022; originally announced March 2022.

Comments: 19 pages, 10 figures. v2 fixed error where an incorrect cellular automaton rule was referenced

Journal ref: Quantum 7, 940 (2023)

The XP Stabiliser Formalism: a Generalisation of the Pauli Stabiliser Formalism with Arbitrary Phases

Authors: Mark A. Webster, Benjamin J. Brown, Stephen D. Bartlett

Abstract: We propose an extension to the Pauli stabiliser formalism that includes fractional $2π/N$ rotations around the $Z$ axis for some integer $N$. The resulting generalised stabiliser formalism - denoted the XP stabiliser formalism - allows for a wider range of states and codespaces to be represented. We describe the states which arise in the formalism, and demonstrate an equivalence between XP stabili… ▽ More We propose an extension to the Pauli stabiliser formalism that includes fractional $2π/N$ rotations around the $Z$ axis for some integer $N$. The resulting generalised stabiliser formalism - denoted the XP stabiliser formalism - allows for a wider range of states and codespaces to be represented. We describe the states which arise in the formalism, and demonstrate an equivalence between XP stabiliser states and 'weighted hypergraph states' - a generalisation of both hypergraph and weighted graph states. Given an arbitrary set of XP operators, we present algorithms for determining the codespace and logical operators for an XP code. Finally, we consider whether measurements of XP operators on XP codes can be classically simulated. △ Less

Submitted 20 September, 2022; v1 submitted 28 February, 2022; originally announced March 2022.

Comments: 43 pages + 22 page appendix, 3 figures. Includes links to a Github repository for Python software implementing all algorithms discussed in the paper, as well as links to interactive Jupyter notebooks for all worked examples. v2 minor updates; v3 published version

Journal ref: Quantum 6, 815 (2022)

Low-overhead quantum computing with the color code

Authors: Felix Thomsen, Markus S. Kesselring, Stephen D. Bartlett, Benjamin J. Brown

Abstract: Fault-tolerant quantum computation demands significant resources: large numbers of physical qubits must be checked for errors repeatedly to protect quantum data as logic gates are implemented in the presence of noise. We demonstrate that an approach based on the color code can lead to considerable reductions in the resource overheads compared with conventional methods, while remaining compatible w… ▽ More Fault-tolerant quantum computation demands significant resources: large numbers of physical qubits must be checked for errors repeatedly to protect quantum data as logic gates are implemented in the presence of noise. We demonstrate that an approach based on the color code can lead to considerable reductions in the resource overheads compared with conventional methods, while remaining compatible with a two-dimensional layout. We propose a lattice surgery scheme that exploits the rich structure of the color-code phase to perform arbitrary pairs of commuting logical Pauli measurements in parallel while kee** the space cost low. Compared to lattice surgery schemes based on the surface code with the same code distance, our approach yields about a $3\times$ improvement in the space-time overhead, obtained from a combination of a $1.5\times$ improvement in spatial overhead together with a $2\times$ speedup due to the parallelisation of commuting logical measurements. Even when taking into account the color code's lower error threshold using current decoders, the overhead is reduced by 10\% at a physical error rate of $10^{-3}$ and by 50\% at $10^{-4}$. △ Less

Submitted 9 April, 2024; v1 submitted 19 January, 2022; originally announced January 2022.

Comments: 12 pages, 8 figures, comments welcome; v2 - extended discussion in response to referee reports

A Tutorial on Optimal Control and Reinforcement Learning methods for Quantum Technologies

Authors: Luigi Giannelli, Sofia Sgroi, Jonathon Brown, Gheorghe Sorin Paraoanu, Mauro Paternostro, Elisabetta Paladino, Giuseppe Falci

Abstract: Quantum Optimal Control is an established field of research which is necessary for the development of Quantum Technologies. In recent years, Machine Learning techniques have been proved usefull to tackle a variety of quantum problems. In particular, Reinforcement Learning has been employed to address typical problems of control of quantum systems. In this tutorial we introduce the methods of Qua… ▽ More Quantum Optimal Control is an established field of research which is necessary for the development of Quantum Technologies. In recent years, Machine Learning techniques have been proved usefull to tackle a variety of quantum problems. In particular, Reinforcement Learning has been employed to address typical problems of control of quantum systems. In this tutorial we introduce the methods of Quantum Optimal Control and Reinforcement Learning by applying them to the problem of three-level population transfer. The jupyter notebooks to reproduce some of our results are open-sourced and available on github. △ Less

Submitted 18 March, 2022; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: 15 pages, 11 figures

Journal ref: Physics Letters A 434, 128054 (2022)

Quantum computing is scalable on a planar array of qubits with fabrication defects

Authors: Armands Strikis, Simon C. Benjamin, Benjamin J. Brown

Abstract: To successfully execute large-scale algorithms, a quantum computer will need to perform its elementary operations near perfectly. This is a fundamental challenge since all physical qubits suffer a considerable level of noise. Moreover, real systems are likely to have a finite yield, i.e. some non-zero proportion of the components in a complex device may be irredeemably broken at the fabrication st… ▽ More To successfully execute large-scale algorithms, a quantum computer will need to perform its elementary operations near perfectly. This is a fundamental challenge since all physical qubits suffer a considerable level of noise. Moreover, real systems are likely to have a finite yield, i.e. some non-zero proportion of the components in a complex device may be irredeemably broken at the fabrication stage. We present a threshold theorem showing that an arbitrarily large quantum computation can be completed with a vanishing probability of failure using a two-dimensional array of noisy qubits with a finite density of fabrication defects. To complete our proof we introduce a robust protocol to measure high-weight stabilizers to compensate for large regions of inactive qubits. We obtain our result using a surface code architecture. Our approach is therefore readily compatible with ongoing experimental efforts to build a large-scale quantum computer. △ Less

Submitted 28 June, 2023; v1 submitted 11 November, 2021; originally announced November 2021.

Comments: 18 pages, 8 figures; this version contains a more generalised proof of the main results

Low-overhead fault-tolerant quantum computing using long-range connectivity

Authors: Lawrence Z. Cohen, Isaac H. Kim, Stephen D. Bartlett, Benjamin J. Brown

Abstract: Vast numbers of qubits will be needed for large-scale quantum computing due to the overheads associated with error correction. We present a scheme for low-overhead fault-tolerant quantum computation based on quantum low-density parity-check (LDPC) codes, where long-range interactions enable many logical qubits to be encoded with a modest number of physical qubits. In our approach, logic gates oper… ▽ More Vast numbers of qubits will be needed for large-scale quantum computing due to the overheads associated with error correction. We present a scheme for low-overhead fault-tolerant quantum computation based on quantum low-density parity-check (LDPC) codes, where long-range interactions enable many logical qubits to be encoded with a modest number of physical qubits. In our approach, logic gates operate via logical Pauli measurements that preserve both the protection of the LDPC codes as well as the low overheads in terms of the required number of additional qubits. Compared with surface codes with the same code distance, we estimate order-of-magnitude improvements in the overheads for processing around one hundred logical qubits using this approach. Given the high thresholds demonstrated by LDPC codes, our estimates suggest that fault-tolerant quantum computation at this scale may be achievable with a few thousand physical qubits at comparable error rates to what is needed for current approaches. △ Less

Submitted 22 May, 2022; v1 submitted 20 October, 2021; originally announced October 2021.

Comments: 14 pages, 6 figures, comments welcome; v2 - final author version, revisions made in response to referee reports

Journal ref: Sci. Adv. 8, eabn1717 (2022)

High-Fidelity Magic-State Preparation with a Biased-Noise Architecture

Authors: Shraddha Singh, Andrew S. Darmawan, Benjamin J. Brown, Shruti Puri

Abstract: Magic state distillation is a resource intensive subroutine that consumes noisy input states to produce high-fidelity resource states that are used to perform logical operations in practical quantum-computing architectures. The resource cost of magic state distillation can be reduced by improving the fidelity of the raw input states. To this end, we propose an initialization protocol that offers a… ▽ More Magic state distillation is a resource intensive subroutine that consumes noisy input states to produce high-fidelity resource states that are used to perform logical operations in practical quantum-computing architectures. The resource cost of magic state distillation can be reduced by improving the fidelity of the raw input states. To this end, we propose an initialization protocol that offers a quadratic improvement in the error rate of the input magic states in architectures with biased noise. This is achieved by preparing an error-detecting code which detects the dominant errors that occur during state preparation. We obtain this advantage by exploiting the native gate operations of an underlying qubit architecture that experiences biases in its noise profile. We perform simulations to analyze the performance of our protocol with the XZZX surface code. Even at modest physical parameters with a two-qubit gate error rate of $0.7\%$ and total probability of dominant errors in the gate $O(10^3)$ larger compared to that of non-dominant errors, we find that our preparation scheme delivers magic states with logical error rate $O(10^{-8})$ after a single round of the standard 15-to-1 distillation protocol; two orders of magnitude lower than using conventional state preparation. Our approach therefore promises considerable savings in overheads with near-term technology. △ Less

Submitted 6 September, 2021; originally announced September 2021.

Report number: YITP-21-86

Journal ref: Phys. Rev. A 105, 052410 (2022)

Reinforcement learning-enhanced protocols for coherent population-transfer in three-level quantum systems

Authors: Jonathon Brown, Sofia Sgroi, Luigi Giannelli, Gheorghe Sorin Paraoanu, Elisabetta Paladino, Giuseppe Falci, Mauro Paternostro, Alessandro Ferraro

Abstract: We deploy a combination of reinforcement learning-based approaches and more traditional optimization techniques to identify optimal protocols for population transfer in a multi-level system. We constraint our strategy to the case of fixed coupling rates but time-varying detunings, a situation that would simplify considerably the implementation of population transfer in relevant experimental plat… ▽ More We deploy a combination of reinforcement learning-based approaches and more traditional optimization techniques to identify optimal protocols for population transfer in a multi-level system. We constraint our strategy to the case of fixed coupling rates but time-varying detunings, a situation that would simplify considerably the implementation of population transfer in relevant experimental platforms, such as semiconducting and superconducting ones. Our approach is able to explore the space of possible control protocols to reveal the existence of efficient protocols that, remarkably, differ from (and can be superior to) standard Raman, STIRAP or other adiabatic schemes. The new protocols that we identify are robust against both energy losses and dephasing. △ Less

Submitted 2 September, 2021; originally announced September 2021.

A decoder for the triangular color code by matching on a Möbius strip

Authors: Kaavya Sahay, Benjamin J. Brown

Abstract: The color code is remarkable for its ability to perform fault-tolerant logic gates. This motivates the design of practical decoders that minimise the resource cost of color-code quantum computation. Here we propose a decoder for the planar color code with a triangular boundary where we match syndrome defects on a nontrivial manifold that has the topology of a Möbius strip. A basic implementation o… ▽ More The color code is remarkable for its ability to perform fault-tolerant logic gates. This motivates the design of practical decoders that minimise the resource cost of color-code quantum computation. Here we propose a decoder for the planar color code with a triangular boundary where we match syndrome defects on a nontrivial manifold that has the topology of a Möbius strip. A basic implementation of our decoder used on the color code with hexagonal lattice geometry demonstrates a logical failure rate that is competitive with the optimal performance of the surface code, $\sim p^{α\sqrt{n}}$, with $α\approx 6 / 7 \sqrt{3} \approx 0.5$, error rate $p$, and $n$ the code length. Furthermore, by exhaustively testing over five billion error configurations, we find that a modification of our decoder that manually compares inequivalent recovery operators can correct all errors of weight $\le (d-1) /2$ for codes with distance $d \le 13$. Our decoder is derived using relations among the stabilizers that preserve global conservation laws at the lattice boundary. We present generalisations of our method to depolarising noise and fault-tolerant error correction, as well as to Majorana surface codes, higher-dimensional color codes and single-shot error correction. △ Less

Submitted 19 January, 2022; v1 submitted 25 August, 2021; originally announced August 2021.

Comments: 31 pages, 27 figures, comments welcome; v2 - references added, typos corrected, revised discussion about exhaustive search, conclusions remain the same; v3 - final author version, changes made in response to peer review to improve clarity, conclusions unchanged

Journal ref: PRX Quantum 3, 010310 (2022)

Jet: Fast quantum circuit simulations with parallel task-based tensor-network contraction

Authors: Trevor Vincent, Lee J. O'Riordan, Mikhail Andrenkov, Jack Brown, Nathan Killoran, Haoyu Qi, Ish Dhand

Abstract: We introduce a new open-source software library Jet, which uses task-based parallelism to obtain speed-ups in classical tensor-network simulations of quantum circuits. These speed-ups result from i) the increased parallelism introduced by map** the tensor-network simulation to a task-based framework, ii) a novel method of reusing shared work between tensor-network contraction tasks, and iii) the… ▽ More We introduce a new open-source software library Jet, which uses task-based parallelism to obtain speed-ups in classical tensor-network simulations of quantum circuits. These speed-ups result from i) the increased parallelism introduced by map** the tensor-network simulation to a task-based framework, ii) a novel method of reusing shared work between tensor-network contraction tasks, and iii) the concurrent contraction of tensor networks on all available hardware. We demonstrate the advantages of our method by benchmarking our code on several Sycamore-53 and Gaussian boson sampling (GBS) supremacy circuits against other simulators. We also provide and compare theoretical performance estimates for tensor-network simulations of Sycamore-53 and GBS supremacy circuits for the first time. △ Less

Submitted 30 April, 2022; v1 submitted 20 July, 2021; originally announced July 2021.

Comments: Code: https://github.com/XanaduAI/jet

MSC Class: 81P68

Journal ref: Quantum 6, 709 (2022)

Device-independent lower bounds on the conditional von Neumann entropy

Authors: Peter Brown, Hamza Fawzi, Omar Fawzi

Abstract: The rates of several device-independent (DI) protocols, including quantum key-distribution (QKD) and randomness expansion (RE), can be computed via an optimization of the conditional von Neumann entropy over a particular class of quantum states. In this work we introduce a numerical method to compute lower bounds on such rates. We derive a sequence of optimization problems that converge to the con… ▽ More The rates of several device-independent (DI) protocols, including quantum key-distribution (QKD) and randomness expansion (RE), can be computed via an optimization of the conditional von Neumann entropy over a particular class of quantum states. In this work we introduce a numerical method to compute lower bounds on such rates. We derive a sequence of optimization problems that converge to the conditional von Neumann entropy of systems defined on general separable Hilbert spaces. Using the Navascués-Pironio-Acín hierarchy we can then relax these problems to semidefinite programs, giving a computationally tractable method to compute lower bounds on the rates of DI protocols. Applying our method to compute the rates of DI-RE and DI-QKD protocols we find substantial improvements over all previous numerical techniques, demonstrating significantly higher rates for both DI-RE and DI-QKD. In particular, for DI-QKD we show a minimal detection efficiency threshold which is within the realm of current capabilities. Moreover, we demonstrate that our method is capable of converging rapidly by recovering all known tight analytical bounds up to several decimal places. Finally, we note that our method is compatible with the entropy accumulation theorem and can thus be used to compute rates of finite round protocols and subsequently prove their security. △ Less

Submitted 28 April, 2023; v1 submitted 25 June, 2021; originally announced June 2021.

Comments: 21 (+8) pages, 4 (+2) figures. V2: improved numerics and restructured article

Practical quantum error correction with the XZZX code and Kerr-cat qubits

Authors: Andrew S. Darmawan, Benjamin J. Brown, Arne L. Grimsmo, David K. Tuckett, Shruti Puri

Abstract: The development of robust architectures capable of large-scale fault-tolerant quantum computation should consider both their quantum error-correcting codes, and the underlying physical qubits upon which they are built, in tandem. Following this design principle we demonstrate remarkable error correction performance by concatenating the XZZX surface code with Kerr-cat qubits. We contrast several va… ▽ More The development of robust architectures capable of large-scale fault-tolerant quantum computation should consider both their quantum error-correcting codes, and the underlying physical qubits upon which they are built, in tandem. Following this design principle we demonstrate remarkable error correction performance by concatenating the XZZX surface code with Kerr-cat qubits. We contrast several variants of fault-tolerant systems undergoing different circuit noise models that reflect the physics of Kerr-cat qubits. Our simulations show that our system is scalable below a threshold gate infidelity of $p_\mathrm{CX} \sim 6.5\%$ within a physically reasonable parameter regime, where $p_\mathrm{CX}$ is the infidelity of the noisiest gate of our system; the controlled-not gate. This threshold can be reached in a superconducting circuit architecture with a Kerr-nonlinearity of $10$MHz, a $\sim 6.25$ photon cat qubit, single-photon lifetime of $\gtrsim 64μ$s, and thermal photon population $\lesssim 8\%$. Such parameters are routinely achieved in superconducting circuits. △ Less

Submitted 18 October, 2021; v1 submitted 19 April, 2021; originally announced April 2021.

Report number: YITP-21-32

Journal ref: PRX Quantum 2, 030345 (2021)

Explicit asymptotic secret key rate of continuous-variable quantum key distribution with an arbitrary modulation

Authors: Aurélie Denys, Peter Brown, Anthony Leverrier

Abstract: We establish an analytical lower bound on the asymptotic secret key rate of continuous-variable quantum key distribution with an arbitrary modulation of coherent states. Previously, such bounds were only available for protocols with a Gaussian modulation, and numerical bounds existed in the case of simple phase-shift-keying modulations. The latter bounds were obtained as a solution of convex optim… ▽ More We establish an analytical lower bound on the asymptotic secret key rate of continuous-variable quantum key distribution with an arbitrary modulation of coherent states. Previously, such bounds were only available for protocols with a Gaussian modulation, and numerical bounds existed in the case of simple phase-shift-keying modulations. The latter bounds were obtained as a solution of convex optimization problems and our new analytical bound matches the results of Ghorai et al. (2019), up to numerical precision. The more relevant case of quadrature amplitude modulation (QAM) could not be analyzed with the previous techniques, due to their large number of coherent states. Our bound shows that relatively small constellation sizes, with say 64 states, are essentially sufficient to obtain a performance close to a true Gaussian modulation and are therefore an attractive solution for large-scale deployment of continuous-variable quantum key distribution. We also derive similar bounds when the modulation consists of arbitrary states, not necessarily pure. △ Less

Submitted 6 September, 2021; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: 36 pages, 6 figures, Python scripts for computing the secret key rate for QAM and PSK modulation available as ancillary files; v2 deals with modulations of arbitrary states; v3 published version

Journal ref: Quantum 5, 540 (2021)

Boundary topological entanglement entropy in two and three dimensions

Authors: Jacob C. Bridgeman, Benjamin J. Brown, Samuel J. Elman

Abstract: The topological entanglement entropy is used to measure long-range quantum correlations in the ground state of topological phases. Here we obtain closed form expressions for topological entropy of (2+1)- and (3+1)-dimensional loop gas models, both in the bulk and at their boundaries, in terms of the data of their input fusion categories and algebra objects. Central to the formulation of our result… ▽ More The topological entanglement entropy is used to measure long-range quantum correlations in the ground state of topological phases. Here we obtain closed form expressions for topological entropy of (2+1)- and (3+1)-dimensional loop gas models, both in the bulk and at their boundaries, in terms of the data of their input fusion categories and algebra objects. Central to the formulation of our results are generalized $\mathcal{S}$-matrices. We conjecture a general property of these $\mathcal{S}$-matrices, with proofs provided in many special cases. This includes constructive proofs for categories up to rank 5. △ Less

Submitted 5 August, 2021; v1 submitted 9 December, 2020; originally announced December 2020.

Comments: 27+9 pages, comments welcome

Journal ref: Commun. Math. Phys. 389, 1241-1276 (2022)

Photon quantum entanglement in the MeV regime and its application in PET imaging

Authors: D. P. Watts, J. Bordes, J. R. Brown, A. Cherlin, R. Newton, J. Allison, M. Bashkanov, N. Efthimiou, N. A. Zachariou

Abstract: Positron Emission Tomography (PET) is a widely-used imaging modality for medical research and clinical diagnosis. Here we demonstrate, through detailed experiments and simulations, an exploration of the benefits of exploiting the quantum entanglement of linear polarisation between the two positron annihilation photons utilised in PET. A new simulation, which includes the predicted influence of qua… ▽ More Positron Emission Tomography (PET) is a widely-used imaging modality for medical research and clinical diagnosis. Here we demonstrate, through detailed experiments and simulations, an exploration of the benefits of exploiting the quantum entanglement of linear polarisation between the two positron annihilation photons utilised in PET. A new simulation, which includes the predicted influence of quantum entanglement on the interaction of MeV-scale photons with matter, is validated by comparison with experimental data from a cadmium zinc telluride (CZT) PET demonstrator apparatus. In addition, a modified setup enabled the first experimental constraint on entanglement loss for photons in the MeV regime. Quantum-entangled PET offers new methodologies to address key challenges in next generation imaging. As an indication of the potential benefits, we present a simple method to quantify and remove in-patient scatter and random backgrounds using only the quantum entanglement information in the PET events. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: 39 pages, 12 figures

The XZZX Surface Code

Authors: J. Pablo Bonilla Ataides, David K. Tuckett, Stephen D. Bartlett, Steven T. Flammia, Benjamin J. Brown

Abstract: Performing large calculations with a quantum computer will likely require a fault-tolerant architecture based on quantum error-correcting codes. The challenge is to design practical quantum error-correcting codes that perform well against realistic noise using modest resources. Here we show that a variant of the surface code -- the XZZX code -- offers remarkable performance for fault-tolerant quan… ▽ More Performing large calculations with a quantum computer will likely require a fault-tolerant architecture based on quantum error-correcting codes. The challenge is to design practical quantum error-correcting codes that perform well against realistic noise using modest resources. Here we show that a variant of the surface code -- the XZZX code -- offers remarkable performance for fault-tolerant quantum computation. The error threshold of this code matches what can be achieved with random codes (hashing) for every single-qubit Pauli noise channel; it is the first explicit code shown to have this universal property. We present numerical evidence that the threshold even exceeds this hashing bound for an experimentally relevant range of noise parameters. Focusing on the common situation where qubit dephasing is the dominant noise, we show that this code has a practical, high-performance decoder and surpasses all previously known thresholds in the realistic setting where syndrome measurements are unreliable. We go on to demonstrate the favourable sub-threshold resource scaling that can be obtained by specialising a code to exploit structure in the noise. We show that it is possible to maintain all of these advantages when we perform fault-tolerant quantum computation. △ Less

Submitted 19 April, 2021; v1 submitted 16 September, 2020; originally announced September 2020.

Comments: 10+6 pages, 11 figures; v2 - minor clarifying changes; v3 - final author version. Data and code used to produce our results available at https://bitbucket.org/qecsim/qsdxzzx/. The available software extends and uses services from the quantum error correction simulation package qecsim

Journal ref: Nat. Commun. 12, 2172 (2021)

Computing conditional entropies for quantum correlations

Authors: Peter Brown, Hamza Fawzi, Omar Fawzi

Abstract: The rates of quantum cryptographic protocols are usually expressed in terms of a conditional entropy minimized over a certain set of quantum states. In particular, in the device-independent setting, the minimization is over all the quantum states jointly held by the adversary and the parties that are consistent with the statistics that are seen by the parties. Here, we introduce a method to approx… ▽ More The rates of quantum cryptographic protocols are usually expressed in terms of a conditional entropy minimized over a certain set of quantum states. In particular, in the device-independent setting, the minimization is over all the quantum states jointly held by the adversary and the parties that are consistent with the statistics that are seen by the parties. Here, we introduce a method to approximate such entropic quantities. Applied to the setting of device-independent randomness generation and quantum key distribution, we obtain improvements on protocol rates in various settings. In particular, we find new upper bounds on the minimal global detection efficiency required to perform device-independent quantum key distribution without additional preprocessing. Furthermore, we show that our construction can be readily combined with the entropy accumulation theorem in order to establish full finite-key security proofs for these protocols. In order to achieve this we introduce the family of iterated mean quantum Rényi divergences with parameters $α_k = 1+\frac{1}{2^{k}-1}$ for positive integers $k$. We then show that the corresponding conditional entropies admit a particularly nice form which, in the context of device-independent optimization, can be relaxed to a semidefinite programming problem using the Navascués-Pironio-Acín hierarchy. △ Less

Submitted 21 August, 2020; v1 submitted 24 July, 2020; originally announced July 2020.

Comments: 20 (+16) pages, 6 (+1) figures. v2: Improved numerical results and additional appendix added

Journal ref: Nature Communications volume 12, Article number: 575 (2021)

Guided matter wave inertial sensing in a miniature physics package

Authors: Karl Nelson, Chad Fertig, Paul Hamilton, Justin Brown, Brian Estey, Holger Müller, Robert Compton

Abstract: We describe an ultra-compact ($\sim 10$ cm$^3$ physics package) inertial sensor based on atomic matter waves that are guided within an optical lattice during almost the entire interferometer cycle. We demonstrate large momentum transfer (LMT) of up to 8$\hbar k$ photon momentum with a combination of Bragg pulses and Bloch oscillations with scalability to larger numbers of photons. Between momentum… ▽ More We describe an ultra-compact ($\sim 10$ cm$^3$ physics package) inertial sensor based on atomic matter waves that are guided within an optical lattice during almost the entire interferometer cycle. We demonstrate large momentum transfer (LMT) of up to 8$\hbar k$ photon momentum with a combination of Bragg pulses and Bloch oscillations with scalability to larger numbers of photons. Between momentum transfer steps, we maintain the atoms in a co-moving optical lattice waveguide so that the atoms are in free space only during the Bragg pulses. Our guided matter wave approach paves the way for atomic inertial sensing in dynamic environments in which untrapped atoms would otherwise quickly collide with the walls of a miniature chamber. △ Less

Submitted 2 June, 2020; originally announced June 2020.

Arbitrarily many independent observers can share the nonlocality of a single maximally entangled qubit pair

Authors: Peter J. Brown, Roger Colbeck

Abstract: Alice and Bob each have half of a pair of entangled qubits. Bob measures his half and then passes his qubit to a second Bob who measures again and so on. The goal is to maximize the number of Bobs that can have an expected violation of the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality with the single Alice. This scenario was introduced in [Phys. Rev. Lett. 114, 250401 (2015)] where the authors… ▽ More Alice and Bob each have half of a pair of entangled qubits. Bob measures his half and then passes his qubit to a second Bob who measures again and so on. The goal is to maximize the number of Bobs that can have an expected violation of the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality with the single Alice. This scenario was introduced in [Phys. Rev. Lett. 114, 250401 (2015)] where the authors mentioned evidence that when the Bobs act independently and with unbiased inputs then at most two of them can expect to violate the CHSH inequality with Alice. Here we show that, contrary to this evidence, arbitrarily many independent Bobs can have an expected CHSH violation with the single Alice. Our proof is constructive and our measurement strategies can be generalized to work with a larger class of two-qubit states that includes all pure entangled two-qubit states. Since violation of a Bell inequality is necessary for device-independent tasks, our work represents a step towards an eventual understanding of the limitations on how much device-independent randomness can be robustly generated from a single pair of qubits. △ Less

Submitted 26 August, 2020; v1 submitted 26 March, 2020; originally announced March 2020.

Comments: 4+7 pages, 2 figures, v2: minor updates to match published version

Journal ref: Phys. Rev. Lett. 125, 090401 (2020)

Correcting spanning errors with a fractal code

Authors: Georgia M. Nixon, Benjamin J. Brown

Abstract: The strongly correlated systems we use to realise quantum error-correcting codes may give rise to high-weight, problematic errors. Encouragingly, we can expect local quantum error-correcting codes with no string-like logical operators $-$ such as the cubic code $-$ to be robust to highly correlated, one-dimensional errors that span their lattice. The challenge remains to design decoding algorithms… ▽ More The strongly correlated systems we use to realise quantum error-correcting codes may give rise to high-weight, problematic errors. Encouragingly, we can expect local quantum error-correcting codes with no string-like logical operators $-$ such as the cubic code $-$ to be robust to highly correlated, one-dimensional errors that span their lattice. The challenge remains to design decoding algorithms that utilise the high distance of these codes. Here, we begin the development of such algorithms by proposing an efficient decoder for the `Fibonacci code'; a two-dimensional classical code that mimics the fractal nature of the cubic code. Our iterative decoder finds a correction through repeated use of minimum-weight perfect matching by exploiting symmetries of the code. We perform numerical experiments that show our decoder is robust to one-dimensional, correlated errors. First, using a bit-flip noise model at low error rates, we find that our decoder demonstrates a logical failure rate that scales super exponentially in the linear size of the lattice. In contrast, a decoder that could not tolerate spanning errors would not achieve this rapid decay in failure rate with increasing system size. We also find a finite threshold using a spanning noise model that introduces string-like errors that stretch along full rows and columns of the lattice. These results provide direct evidence that our decoder is robust to one-dimensional, correlated errors that span the lattice. △ Less

Submitted 12 July, 2021; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 11 pages, 18 figures, comments welcome; v3 final author copy, minor changes in response to referee reports, additional data on runtime included in the appendices

Journal ref: IEEE Transactions on Information Theory, vol. 67, no. 7, pp. 4504-4516, July 2021

Algorithmic Cooling of Nuclear Spin Pairs using a Long-Lived Singlet State

Authors: Bogdan A. Rodin, Christian Bengs, Lynda J. Brown, Kirill F. Sheberstov, Alexey S. Kiryutin, Richard C. D. Brown, Alexandra V. Yurkovskaya, Konstantin L. Ivanov, Malcolm H. Levitt

Abstract: Algorithmic cooling methods manipulate an open quantum system in order to lower its temperature below that of the environment. We show that significant cooling is achieved on an ensemble of spin-pair systems by exploiting the long-lived nuclear singlet state, which is an antisymmetric quantum superposition of the "up" and "down" qubit states. The effect is demonstrated by nuclear magnetic resonanc… ▽ More Algorithmic cooling methods manipulate an open quantum system in order to lower its temperature below that of the environment. We show that significant cooling is achieved on an ensemble of spin-pair systems by exploiting the long-lived nuclear singlet state, which is an antisymmetric quantum superposition of the "up" and "down" qubit states. The effect is demonstrated by nuclear magnetic resonance (NMR) experiments on a molecular system containing a coupled pair of near-equivalent 13C nuclei. The populations of the system are subjected to a repeating sequence of cyclic permutations separated by relaxation intervals. The long-lived nuclear singlet order is pumped well beyond the unitary limit, and the nuclear magnetization is enhanced by 21% relative to its thermal equilibrium value. To our knowledge this is the first demonstration of algorithmic cooling using a quantum superposition state and without making a distinction between rapidly and slowly relaxing qubits. △ Less

Submitted 31 December, 2019; originally announced December 2019.

Comments: 22 pages, 6 figures

Device-independent randomness expansion against quantum side information

Authors: Wen-Zhao Liu, Ming-Han Li, Sammy Ragy, Si-Ran Zhao, Bing Bai, Yang Liu, Peter J. Brown, Jun Zhang, Roger Colbeck, **gyun Fan, Qiang Zhang, Jian-Wei Pan

Abstract: The ability to produce random numbers that are unknown to any outside party is crucial for many applications. Device-independent randomness generation does not require trusted devices and therefore provides strong guarantees of the security of the output, but it comes at the price of requiring the violation of a Bell inequality for implementation. A further challenge is to make the bounds in the s… ▽ More The ability to produce random numbers that are unknown to any outside party is crucial for many applications. Device-independent randomness generation does not require trusted devices and therefore provides strong guarantees of the security of the output, but it comes at the price of requiring the violation of a Bell inequality for implementation. A further challenge is to make the bounds in the security proofs tight enough to allow randomness expansion with contemporary technology. Although randomness has been generated in recent experiments, the amount of randomness consumed in doing so has been too high to certify expansion based on existing theory. Here we present an experiment that demonstrates device-independent randomness expansion. By develo** a Bell test setup with a single-photon detection efficiency of around $84\%$ and by using a spot-checking protocol, we achieve a net gain of $2.57\times10^8$ certified bits with a soundness error $3.09\times10^{-12}$. The experiment ran for $19.2$ h, which corresponds to an average rate of randomness generation of $13,527$ bits per second. By develo** the entropy accumulation theorem, we establish security against quantum adversaries. We anticipate that this work will lead to further improvements that push device-independence towards commercial viability. △ Less

Submitted 12 October, 2021; v1 submitted 23 December, 2019; originally announced December 2019.

Comments: v2: Update to match published version. Small error in the $K_{alpha}$ term in Theorem 3 in the published supplementary information corrected here

Journal ref: Nat. Physics 17,448 (2021)

Observation of two-dimensional Anderson localisation of ultracold atoms

Authors: Donald H. White, Thomas A. Haase, Dylan J. Brown, Maarten D. Hoogerland, Mojdeh S. Najafabadi, John L. Helm, Christopher Gies, Daniel Schumayer, David A. W. Hutchinson

Abstract: Anderson localisation -- the inhibition of wave propagation in disordered media -- is a surprising interference phenomenon which is particularly intriguing in two-dimensional (2D) systems. While an ideal, non-interacting 2D system of infinite size is always localised, the localisation length-scale may be too large to be unambiguously observed in an experiment. In this sense, 2D is a marginal dimen… ▽ More Anderson localisation -- the inhibition of wave propagation in disordered media -- is a surprising interference phenomenon which is particularly intriguing in two-dimensional (2D) systems. While an ideal, non-interacting 2D system of infinite size is always localised, the localisation length-scale may be too large to be unambiguously observed in an experiment. In this sense, 2D is a marginal dimension between one-dimension, where all states are strongly localised, and three-dimensions, where a well-defined phase transition between localisation and delocalisation exists as the energy is increased. Here we report the results of an experiment measuring the 2D transport of ultracold atoms between two reservoirs, which are connected by a channel containing pointlike disorder. The design overcomes many of the technical challenges that have hampered observation of localisation in previous works. We experimentally observe exponential localisation in a 2D ultracold atom system. △ Less

Submitted 24 August, 2020; v1 submitted 10 November, 2019; originally announced November 2019.

Comments: 13 pages, 15 figures

Tailored nanodiamonds for hyperpolarized 13C MRI

Authors: T. Boele, D. E. J. Waddington, T. Gaebel, E. Rej, A. Hasija, L. J. Brown, D. R. McCamey, D. J. Reilly

Abstract: Nanodiamond is poised to become an attractive material for hyperpolarized 13C MRI if large nuclear polarizations can be achieved without the accompanying rapid spin-relaxation driven by paramagnetic species. Here we report enhanced and long-lived 13C polarization in synthetic nanodiamonds tailored by acid-cleaning and air-oxidation protocols. Our results separate the contributions of different par… ▽ More Nanodiamond is poised to become an attractive material for hyperpolarized 13C MRI if large nuclear polarizations can be achieved without the accompanying rapid spin-relaxation driven by paramagnetic species. Here we report enhanced and long-lived 13C polarization in synthetic nanodiamonds tailored by acid-cleaning and air-oxidation protocols. Our results separate the contributions of different paramagnetic species on the polarization behavior, identifying the importance of substitutional nitrogen defect centers in the nanodiamond core. These results are likely of use in the development of nanodiamond-based imaging agents with size distributions of relevance for examining biological processes. △ Less

Submitted 11 September, 2019; originally announced September 2019.

Journal ref: Phys. Rev. B 101, 155416 (2020)

A comparison of three ways to measure time-dependent densities with quantum simulators

Authors: Jun Yang, James Brown, James Daniel Whitfield

Abstract: Quantum algorithms are touted as a way around some classically intractable problems such as the simulation of quantum mechanics. At the end of all quantum algorithms is a quantum measurement whereby classical data is extracted and utilized. In fact, many of the modern hybrid-classical approaches are essentially quantum measurements of states with short quantum circuit descriptions. Here, we compar… ▽ More Quantum algorithms are touted as a way around some classically intractable problems such as the simulation of quantum mechanics. At the end of all quantum algorithms is a quantum measurement whereby classical data is extracted and utilized. In fact, many of the modern hybrid-classical approaches are essentially quantum measurements of states with short quantum circuit descriptions. Here, we compare and examine three methods of extracting the time-dependent one-particle probability density from a quantum simulation: direct $Z$-measurement, Bayesian phase estimation and harmonic inversion. We have tested these methods in the context of the potential inversion problem of time-dependent density functional theory. Our test results suggest that direct measurement is the preferable method. We also highlight areas where the other two methods may be useful and report on tests using Rigetti's quantum virtual device. This study provides a starting point for imminent applications of quantum computing. △ Less

Submitted 24 March, 2021; v1 submitted 6 September, 2019; originally announced September 2019.

Journal ref: Front. Phys., 19 March 2021

Fault-tolerant thresholds for the surface code in excess of 5% under biased noise

Authors: David K. Tuckett, Stephen D. Bartlett, Steven T. Flammia, Benjamin J. Brown

Abstract: Noise in quantum computing is countered with quantum error correction. Achieving optimal performance will require tailoring codes and decoding algorithms to account for features of realistic noise, such as the common situation where the noise is biased towards dephasing. Here we introduce an efficient high-threshold decoder for a noise-tailored surface code based on minimum-weight perfect matching… ▽ More Noise in quantum computing is countered with quantum error correction. Achieving optimal performance will require tailoring codes and decoding algorithms to account for features of realistic noise, such as the common situation where the noise is biased towards dephasing. Here we introduce an efficient high-threshold decoder for a noise-tailored surface code based on minimum-weight perfect matching. The decoder exploits the symmetries of its syndrome under the action of biased noise and generalises to the fault-tolerant regime where measurements are unreliable. Using this decoder, we obtain fault-tolerant thresholds in excess of $6\%$ for a phenomenological noise model in the limit where dephasing dominates. These gains persist even for modest noise biases: we find a threshold of $\sim 5\%$ in an experimentally relevant regime where dephasing errors occur at a rate one hundred times greater than bit-flip errors. △ Less

Submitted 1 April, 2020; v1 submitted 4 July, 2019; originally announced July 2019.

Comments: 6 pages, 4 figures, comments welcome; v2 published version, now includes supplemental material with a technical description of the implemented decoders

Journal ref: Phys. Rev. Lett. 124, 130501 (2020)

Solver for the electronic V-representation problem of time-dependent density functional theory

Authors: James Brown, Jun Yang, James D Whitfield

Abstract: One route to numerically propagating quantum systems is time-dependent density functional theory (TDDFT). The application of TDDFT to a particular system's time evolution is predicated on $V$-representability which we have analyzed in a previous publication. Here we describe a newly developed solver for the scalar time-dependent Kohn-Sham potential. We present and interpret the force-balance equat… ▽ More One route to numerically propagating quantum systems is time-dependent density functional theory (TDDFT). The application of TDDFT to a particular system's time evolution is predicated on $V$-representability which we have analyzed in a previous publication. Here we describe a newly developed solver for the scalar time-dependent Kohn-Sham potential. We present and interpret the force-balance equation central to our numerical method, describe details of its implementation, and present illustrative numerical results for one- and two-electron systems. A new characterization of $V$-representability for one-electron systems is also included along with possible improvements and future directions. △ Less

Submitted 23 April, 2019; originally announced April 2019.

Comments: 23 pages, 2 figures. arXiv admin note: text overlap with arXiv:1503.00248

Journal ref: J. Chem. Theory Comput. 2020, 16, 10, 6014-6026

A fault-tolerant non-Clifford gate for the surface code in two dimensions

Authors: Benjamin J. Brown

Abstract: Fault-tolerant logic gates will consume a large proportion of the resources of a two-dimensional quantum computing architecture. Here we show how to perform a fault-tolerant non-Clifford gate with the surface code; a quantum error-correcting code now under intensive development. This alleviates the need for distillation or higher-dimensional components to complete a universal gate set. The operati… ▽ More Fault-tolerant logic gates will consume a large proportion of the resources of a two-dimensional quantum computing architecture. Here we show how to perform a fault-tolerant non-Clifford gate with the surface code; a quantum error-correcting code now under intensive development. This alleviates the need for distillation or higher-dimensional components to complete a universal gate set. The operation uses both local transversal gates and code deformations over a time that scales with the size of the qubit array. An important component of the gate is a just-in-time decoder. These decoding algorithms allow us to draw upon the advantages of three-dimensional models using only a two-dimensional array of live qubits. Our gate is completed using parity checks of weight no greater than four. We therefore expect it to be amenable with near-future technology. As the gate circumvents the need for magic-state distillation, it may reduce the resource overhead of surface-code quantum computation considerably. △ Less

Submitted 16 April, 2021; v1 submitted 27 March, 2019; originally announced March 2019.

Comments: 17 pages, 10 figures, comments welcome; v2 - final author version. Final version includes more details on resource overheads and a discussion on gauge prefixing with the color code

Journal ref: Sci. Adv. 6, eaay4929 (2020)

Parallelized quantum error correction with fracton topological codes

Authors: Benjamin J. Brown, Dominic J. Williamson

Abstract: Fracton topological phases have a large number of materialized symmetries that enforce a rigid structure on their excitations. Remarkably, we find that the symmetries of a quantum error-correcting code based on a fracton phase enable us to design decoding algorithms. Here we propose and implement decoding algorithms for the three-dimensional X-cube model. In our example, decoding is parallelized i… ▽ More Fracton topological phases have a large number of materialized symmetries that enforce a rigid structure on their excitations. Remarkably, we find that the symmetries of a quantum error-correcting code based on a fracton phase enable us to design decoding algorithms. Here we propose and implement decoding algorithms for the three-dimensional X-cube model. In our example, decoding is parallelized into a series of two-dimensional matching problems, thus significantly simplifying the most time consuming component of the decoder. We also find that the rigid structure of its point excitations enable us to obtain high threshold error rates. Our decoding algorithms bring to light some key ideas that we expect to be useful in the design of decoders for general topological stabilizer codes. Moreover, the notion of parallelization unifies several concepts in quantum error correction. We conclude by discussing the broad applicability of our methods, and we explain the connection between parallelizable codes and other methods of quantum error correction. In particular we propose that the new concept represents a generalization of single-shot error correction. △ Less

Submitted 1 April, 2020; v1 submitted 23 January, 2019; originally announced January 2019.

Comments: 4+12 pages, 3+11 figures; v2 published version, now includes pseudocode describing decoding algorithms added and new discussions on symmetries and measurement errors, and the symmetries of the surface code with boundaries

Journal ref: Phys. Rev. Research 2, 013303 (2020)

The role of entropy in topological quantum error correction

Authors: Michael E. Beverland, Benjamin J. Brown, Michael J. Kastoryano, Quentin Marolleau

Abstract: The performance of a quantum error-correction process is determined by the likelihood that a random configuration of errors introduced to the system will lead to the corruption of encoded logical information. In this work we compare two different variants of the surface code with a comparable number of qubits: the surface code defined on a square lattice and the same model on a lattice that is rot… ▽ More The performance of a quantum error-correction process is determined by the likelihood that a random configuration of errors introduced to the system will lead to the corruption of encoded logical information. In this work we compare two different variants of the surface code with a comparable number of qubits: the surface code defined on a square lattice and the same model on a lattice that is rotated by $π/ 4$. This seemingly innocuous change increases the distance of the code by a factor of $\sqrt{2}$.However, as we show, this gain can come at the expense of significantly increasing the number of different failure mechanisms that are likely to occur. We use a number of different methods to explore this tradeoff over a large range of parameter space under an independent and identically distributed noise model. We rigorously analyze the leading order performance for low error rates, where the larger distance code performs best for all system sizes. Using an analytical model and Monte Carlo sampling, we find that this improvement persists for fixed sub-threshold error rates for large system size, but that the improvement vanishes close to threshold. Remarkably, intensive numerics uncover a region of system sizes and sub-threshold error rates where the square lattice surface code marginally outperforms the rotated model. △ Less

Submitted 12 December, 2018; originally announced December 2018.

Comments: 20 pages, 19 figures, comments welcome

Journal ref: J. Stat. Mech.:Theor. Exp. 2019, 073404 (2019)