Showing 1–46 of 46 results for author: Wright, J

Logical Error Rates for a [[4,2,2]]-Encoded Variational Quantum Eigensolver Ansatz

Authors: Meenambika Gowrishankar, Daniel Claudino, Jerimiah Wright, Travis Humble

Abstract: Application benchmarks that run on noisy, intermediate-scale quantum (NISQ) computing devices require techniques for mitigating errors to improve accuracy and precision. Quantum error detection codes offer a framework by which to encode quantum computations and identify when errors occur. However, the subsequent logical error rate depends on the encoded application circuit as well as the underlyin… ▽ More Application benchmarks that run on noisy, intermediate-scale quantum (NISQ) computing devices require techniques for mitigating errors to improve accuracy and precision. Quantum error detection codes offer a framework by which to encode quantum computations and identify when errors occur. However, the subsequent logical error rate depends on the encoded application circuit as well as the underlying noise. Here, we quantify how the [[4,2,2]] quantum error detection code improves the logical error rate, accuracy, and precision of an encoded variational quantum eigensolver (VQE) application. We benchmark the performance of the encoded VQE for estimating the energy of the hydrogen molecule with a chemical accuracy of 1.6 mHa while managing the trade-off between probability of success of various post-selection methods. Using numerical simulation of the noisy mixed state preparation, we find that the most aggressive post-selection strategies improve the accuracy and precision of the encoded estimates even at the cost of increasing loss of samples. △ Less

Submitted 5 May, 2024; originally announced May 2024.

A one-query lower bound for unitary synthesis and breaking quantum cryptography

Authors: Alex Lombardi, Fermi Ma, John Wright

Abstract: The Unitary Synthesis Problem (Aaronson-Kuperberg 2007) asks whether any $n$-qubit unitary $U$ can be implemented by an efficient quantum algorithm $A$ augmented with an oracle that computes an arbitrary Boolean function $f$. In other words, can the task of implementing any unitary be efficiently reduced to the task of implementing any Boolean function? In this work, we prove a one-query lower b… ▽ More The Unitary Synthesis Problem (Aaronson-Kuperberg 2007) asks whether any $n$-qubit unitary $U$ can be implemented by an efficient quantum algorithm $A$ augmented with an oracle that computes an arbitrary Boolean function $f$. In other words, can the task of implementing any unitary be efficiently reduced to the task of implementing any Boolean function? In this work, we prove a one-query lower bound for unitary synthesis. We show that there exist unitaries $U$ such that no quantum polynomial-time oracle algorithm $A^f$ can implement $U$, even approximately, if it only makes one (quantum) query to $f$. Our approach also has implications for quantum cryptography: we prove (relative to a random oracle) the existence of quantum cryptographic primitives that remain secure against all one-query adversaries $A^{f}$. Since such one-query algorithms can decide any language, solve any classical search problem, and even prepare any quantum state, our result suggests that implementing random unitaries and breaking quantum cryptography may be harder than all of these tasks. To prove this result, we formulate unitary synthesis as an efficient challenger-adversary game, which enables proving lower bounds by analyzing the maximum success probability of an adversary $A^f$. Our main technical insight is to identify a natural spectral relaxation of the one-query optimization problem, which we bound using tools from random matrix theory. We view our framework as a potential avenue to rule out polynomial-query unitary synthesis, and we state conjectures in this direction. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Maximal intrinsic randomness of a quantum state

Authors: Shuyang Meng, Fionnuala Curran, Gabriel Senno, Victoria J. Wright, Máté Farkas, Valerio Scarani, Antonio Acín

Abstract: One of the most counterintuitive aspects of quantum theory is its claim that there is 'intrinsic' randomness in the physical world. Quantum information science has greatly progressed in the study of intrinsic, or secret, quantum randomness in the past decade. With much emphasis on device-independent and semi-device-independent bounds, one of the most basic questions has escaped attention: how much… ▽ More One of the most counterintuitive aspects of quantum theory is its claim that there is 'intrinsic' randomness in the physical world. Quantum information science has greatly progressed in the study of intrinsic, or secret, quantum randomness in the past decade. With much emphasis on device-independent and semi-device-independent bounds, one of the most basic questions has escaped attention: how much intrinsic randomness can be extracted from a given state $ρ$, and what measurements achieve this bound? We answer this question for three different randomness quantifiers: the conditional min-entropy, the conditional von Neumann entropy and the conditional max-entropy. For the first, we solve the min-max problem of finding the projective measurement that minimises the maximal guessing probability of an eavesdropper. The result is that one can guarantee an amount of conditional min-entropy $H^*_{\textrm{min}}=-\log_2 P_{\textrm{guess}}^{*}(ρ)$ with $P_{\textrm{guess}}^{*}(ρ)=\frac{1}{d}(\textrm{tr} \sqrtρ)^2$ by performing suitable projective measurements. For the conditional von Neumann entropy, we find that the maximal value is $H^{*}= \log_{2}d-S(ρ)$, with $S(ρ)$ the von Neumann entropy of $ρ$, while for the conditional max-entropy, we find the maximal value $H^{*}_\textrm{max}=\log_{2}d + \log_{2}λ_{\textrm{max}}(ρ)$, where $λ_{\textrm{max}}(ρ)$ is the largest eigenvalue of $ρ$. Optimal values for $H^{*}_{\textrm{min}}$, $H^{*}$ and $H^{*}_\textrm{max}$ are achieved by measuring in any basis that is unbiased to the eigenbasis of $ρ$, as well as by other, less intuitive, measurements. △ Less

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

Journal ref: PhysRevA. 110 L010403 (2024)

Security of discrete-modulated continuous-variable quantum key distribution

Authors: Stefan Bäuml, Carlos Pascual García, Victoria Wright, Omar Fawzi, Antonio Acín

Abstract: Continuous variable quantum key distribution with discrete modulation has the potential to provide information-theoretic security using widely available optical elements and existing telecom infrastructure. While their implementation is significantly simpler than that for protocols based on Gaussian modulation, proving their finite-size security against coherent attacks poses a challenge. In this… ▽ More Continuous variable quantum key distribution with discrete modulation has the potential to provide information-theoretic security using widely available optical elements and existing telecom infrastructure. While their implementation is significantly simpler than that for protocols based on Gaussian modulation, proving their finite-size security against coherent attacks poses a challenge. In this work we apply the entropy accumulation theorem, a tool that has previously been used in the setting of discrete variables, to prove finite-size security against coherent attacks for a discrete-modulated quantum key distribution protocol involving four coherent states and heterodyne detection. To do so, and contrary to previous approaches, we consider a protocol in which all the information is discretized. We first bound its asymptotic rate under a realistic photon number cutoff assumption. This bound is then upgraded into a finite-size security proof using entropy accumulation. Our analysis provides asymptotic rates in the range of $0.1-10^{-4}$ bits per round for distances up to hundred kilometres, while in the finite case and for realistic parameters, we get of the order of $10$ Gbits of secret key after $n=10^{12}$ rounds and distances of few tens of kilometres. △ Less

Submitted 28 September, 2023; v1 submitted 16 March, 2023; originally announced March 2023.

Comments: Improved numerical results. Added more discussion and additional references

Contextuality and inductive bias in quantum machine learning

Authors: Joseph Bowles, Victoria J Wright, Máté Farkas, Nathan Killoran, Maria Schuld

Abstract: Generalisation in machine learning often relies on the ability to encode structures present in data into an inductive bias of the model class. To understand the power of quantum machine learning, it is therefore crucial to identify the types of data structures that lend themselves naturally to quantum models. In this work we look to quantum contextuality -- a form of nonclassicality with links to… ▽ More Generalisation in machine learning often relies on the ability to encode structures present in data into an inductive bias of the model class. To understand the power of quantum machine learning, it is therefore crucial to identify the types of data structures that lend themselves naturally to quantum models. In this work we look to quantum contextuality -- a form of nonclassicality with links to computational advantage -- for answers to this question. We introduce a framework for studying contextuality in machine learning, which leads us to a definition of what it means for a learning model to be contextual. From this, we connect a central concept of contextuality, called operational equivalence, to the ability of a model to encode a linearly conserved quantity in its label space. A consequence of this connection is that contextuality is tied to expressivity: contextual model classes that encode the inductive bias are generally more expressive than their noncontextual counterparts. To demonstrate this, we construct an explicit toy learning problem -- based on learning the payoff behaviour of a zero-sum game -- for which this is the case. By leveraging tools from geometric quantum machine learning, we then describe how to construct quantum learning models with the associated inductive bias, and show through our toy problem that they outperform their corresponding classical surrogate models. This suggests that understanding learning problems of this form may lead to useful insights about the power of quantum machine learning. △ Less

Submitted 18 April, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: comments welcome

An invertible map between Bell non-local and contextuality scenarios

Authors: Victoria J Wright, Máté Farkas

Abstract: We present an invertible map between correlations in any bipartite Bell scenario and behaviours in a family of contextuality scenarios. The map takes local, quantum and non-signalling correlations to non-contextual, quantum and contextual behaviours, respectively. Consequently, we find that the membership problem of the set of quantum contextual behaviours is undecidable, the set cannot be fully r… ▽ More We present an invertible map between correlations in any bipartite Bell scenario and behaviours in a family of contextuality scenarios. The map takes local, quantum and non-signalling correlations to non-contextual, quantum and contextual behaviours, respectively. Consequently, we find that the membership problem of the set of quantum contextual behaviours is undecidable, the set cannot be fully realised via finite dimensional quantum systems and is not closed. Finally, we show that neither this set nor its closure is the limit of a sequence of computable supersets, due to the result MIP*=RE. △ Less

Submitted 4 December, 2023; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: Comments welcome!

Journal ref: Phys. Rev. Lett. 131, 220202, 2023

Position fixing with cold atom gravity gradiometers

Authors: Alexander M. Phillips, Michael J. Wright, Isabelle Riou, Stephen Maddox, Simon Maskell, Jason F. Ralph

Abstract: This paper proposes a position fixing method for autonomous navigation using partial gravity gradient solutions from cold atom interferometers. Cold atom quantum sensors can provide ultra-precise measurements of inertial quantities, such as acceleration and rotation rates. However, we investigate the use of pairs of cold atom interferometers to measure the local gravity gradient and to provide pos… ▽ More This paper proposes a position fixing method for autonomous navigation using partial gravity gradient solutions from cold atom interferometers. Cold atom quantum sensors can provide ultra-precise measurements of inertial quantities, such as acceleration and rotation rates. However, we investigate the use of pairs of cold atom interferometers to measure the local gravity gradient and to provide position information by referencing these measurements against a suitable database. Simulating the motion of a vehicle, we use partial gravity gradient measurements to reduce the positional drift associated with inertial navigation systems. Using standard open source global gravity databases, we show stable navigation solutions for trajectories of over 1000km. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 10 pages, 6 figures

Journal ref: AVS Quantum Science, Volume 4, Issue 2, 10.1116/5.0095677, 2022

Intermediate determinism in general probabilistic theories

Authors: Victoria J Wright

Abstract: Quantum theory is indeterministic, but not completely so. When a system is in a pure state there are properties it possesses with certainty, known as actual properties. The actual properties of a quantum system (in a pure state) fully determine the probability of finding the system to have any other property. We call this feature intermediate determinism. In dimensions of at least three, the inter… ▽ More Quantum theory is indeterministic, but not completely so. When a system is in a pure state there are properties it possesses with certainty, known as actual properties. The actual properties of a quantum system (in a pure state) fully determine the probability of finding the system to have any other property. We call this feature intermediate determinism. In dimensions of at least three, the intermediate determinism of quantum theory is guaranteed by the structure of its lattice of properties. This observation follows from Gleason's theorem, which is why it fails to hold in dimension two. In this work we extend the idea of intermediate determinism from properties to measurements. Under this extension intermediate determinism follows from the structure of quantum effects for separable Hilbert spaces of any dimension, including dimension two. Then, we find necessary and sufficient conditions for a general probabilistic theory to obey intermediate determinism. We show that, although related, both the no-restriction hypothesis and a Gleason-type theorem are neither necessary nor sufficient for intermediate determinism. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Universal logic with encoded spin qubits in silicon

Authors: Aaron J. Weinstein, Matthew D. Reed, Aaron M. Jones, Reed W. Andrews, David Barnes, Jacob Z. Blumoff, Larken E. Euliss, Kevin Eng, Bryan Fong, Sieu D. Ha, Daniel R. Hulbert, Clayton Jackson, Michael Jura, Tyler E. Keating, Joseph Kerckhoff, Andrey A. Kiselev, Justine Matten, Golam Sabbir, Aaron Smith, Jeffrey Wright, Matthew T. Rakher, Thaddeus D. Ladd, Matthew G. Borselli

Abstract: Qubits encoded in a decoherence-free subsystem and realized in exchange-coupled silicon quantum dots are promising candidates for fault-tolerant quantum computing. Benefits of this approach include excellent coherence, low control crosstalk, and configurable insensitivity to certain error sources. Key difficulties are that encoded entangling gates require a large number of control pulses and high-… ▽ More Qubits encoded in a decoherence-free subsystem and realized in exchange-coupled silicon quantum dots are promising candidates for fault-tolerant quantum computing. Benefits of this approach include excellent coherence, low control crosstalk, and configurable insensitivity to certain error sources. Key difficulties are that encoded entangling gates require a large number of control pulses and high-yielding quantum dot arrays. Here we show a device made using the single-layer etch-defined gate electrode architecture that achieves both the required functional yield needed for full control and the coherence necessary for thousands of calibrated exchange pulses to be applied. We measure an average two-qubit Clifford fidelity of $97.1 \pm 0.2\%$ with randomized benchmarking. We also use interleaved randomized benchmarking to demonstrate the controlled-NOT gate with $96.3 \pm 0.7\%$ fidelity, SWAP with $99.3 \pm 0.5\%$ fidelity, and a specialized entangling gate that limits spreading of leakage with $93.8 \pm 0.7\%$ fidelity. △ Less

Submitted 7 February, 2022; originally announced February 2022.

Testing matrix product states

Authors: Mehdi Soleimanifar, John Wright

Abstract: Devising schemes for testing the amount of entanglement in quantum systems has played a crucial role in quantum computing and information theory. Here, we study the problem of testing whether an unknown state $|ψ\rangle$ is a matrix product state (MPS) in the property testing model. MPS are a class of physically-relevant quantum states which arise in the study of quantum many-body systems. A quant… ▽ More Devising schemes for testing the amount of entanglement in quantum systems has played a crucial role in quantum computing and information theory. Here, we study the problem of testing whether an unknown state $|ψ\rangle$ is a matrix product state (MPS) in the property testing model. MPS are a class of physically-relevant quantum states which arise in the study of quantum many-body systems. A quantum state $|ψ_{1,...,n}\rangle$ comprised of $n$ qudits is said to be an MPS of bond dimension $r$ if the reduced density matrix $ψ_{1,...,k}$ has rank $r$ for each $k \in \{1,...,n\}$. When $r=1$, this corresponds to the set of product states. For larger values of $r$, this yields a more expressive class of quantum states, which are allowed to possess limited amounts of entanglement. In the property testing model, one is given $m$ identical copies of $|ψ\rangle$, and the goal is to determine whether $|ψ\rangle$ is an MPS of bond dimension $r$ or whether $|ψ\rangle$ is far from all such states. For the case of product states, we study the product test, a simple two-copy test previously analyzed by Harrow and Montanaro (FOCS 2010), and a key ingredient in their proof that $\mathsf{QMA(2)}=\mathsf{QMA}(k)$ for $k \geq 2$. We give a new and simpler analysis of the product test which achieves an optimal bound for a wide range of parameters, answering open problems of Harrow and Montanaro (FOCS 2010) and Montanaro and de Wolf (2016). For the case of $r\geq 2$, we give an efficient algorithm for testing whether $|ψ\rangle$ is an MPS of bond dimension $r$ using $m = O(n r^2)$ copies, independent of the dimensions of the qudits, and we show that $Ω(n^{1/2})$ copies are necessary for this task. This lower bound shows that a dependence on the number of qudits $n$ is necessary, in sharp contrast to the case of product states where a constant number of copies suffices. △ Less

Submitted 5 January, 2022; originally announced January 2022.

Comments: 30 pages, 2 figures

Numerical Simulations of Noisy Quantum Circuits for Computational Chemistry

Authors: Jerimiah Wright, Meenambika Gowrishankar, Daniel Claudino, Phillip C. Lotshaw, Thien Nguyen, Alexander J. McCaskey, Travis S. Humble

Abstract: The opportunities afforded by near-term quantum computers to calculate the ground-state properties of small molecules depend on the structure of the computational ansatz as well as the errors induced by device noise. Here we investigate the behavior of these noisy quantum circuits using numerical simulations to estimate the accuracy and fidelity of the prepared quantum states relative to the groun… ▽ More The opportunities afforded by near-term quantum computers to calculate the ground-state properties of small molecules depend on the structure of the computational ansatz as well as the errors induced by device noise. Here we investigate the behavior of these noisy quantum circuits using numerical simulations to estimate the accuracy and fidelity of the prepared quantum states relative to the ground truth obtained by conventional means. We implement several different types of ansatz circuits derived from unitary coupled cluster theory for the purposes of estimating the ground-state energy of Sodium Hydride using the variational quantum eigensolver algorithm. We show how relative error in the energy and the fidelity scale with the levels of gate-based noise, the inter-molecular configuration, the ansatz circuit depth, and the parameter optimization methods. △ Less

Submitted 5 May, 2022; v1 submitted 31 December, 2021; originally announced December 2021.

Comments: 17 pages, 8 figures

Quantum soundness of testing tensor codes

Authors: Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen

Abstract: A locally testable code is an error-correcting code that admits very efficient probabilistic tests of membership. Tensor codes provide a simple family of combinatorial constructions of locally testable codes that generalize the family of Reed-Muller codes. The natural test for tensor codes, the axis-parallel line vs. point test, plays an essential role in constructions of probabilistically checkab… ▽ More A locally testable code is an error-correcting code that admits very efficient probabilistic tests of membership. Tensor codes provide a simple family of combinatorial constructions of locally testable codes that generalize the family of Reed-Muller codes. The natural test for tensor codes, the axis-parallel line vs. point test, plays an essential role in constructions of probabilistically checkable proofs. We analyze the axis-parallel line vs. point test as a two-prover game and show that the test is sound against quantum provers sharing entanglement. Our result implies the quantum-soundness of the low individual degree test, which is an essential component of the MIP* = RE theorem. Our proof also generalizes to the infinite-dimensional commuting-operator model of quantum provers. △ Less

Submitted 6 December, 2022; v1 submitted 15 November, 2021; originally announced November 2021.

Comments: v3: published version

Journal ref: Discrete Analysis, 2022:17

Unique Games hardness of Quantum Max-Cut, and a conjectured vector-valued Borell's inequality

Authors: Yeongwoo Hwang, Joe Neeman, Ojas Parekh, Kevin Thompson, John Wright

Abstract: The Gaussian noise stability of a function $f:\mathbb{R}^n \to \{-1, 1\}$ is the expected value of $f(\boldsymbol{x}) \cdot f(\boldsymbol{y})$ over $ρ$-correlated Gaussian random variables $\boldsymbol{x}$ and $\boldsymbol{y}$. Borell's inequality states that for $-1 \leq ρ\leq 0$, this is minimized by the halfspace $f(x) = \mathrm{sign}(x_1)$. In this work, we generalize this result to hold for f… ▽ More The Gaussian noise stability of a function $f:\mathbb{R}^n \to \{-1, 1\}$ is the expected value of $f(\boldsymbol{x}) \cdot f(\boldsymbol{y})$ over $ρ$-correlated Gaussian random variables $\boldsymbol{x}$ and $\boldsymbol{y}$. Borell's inequality states that for $-1 \leq ρ\leq 0$, this is minimized by the halfspace $f(x) = \mathrm{sign}(x_1)$. In this work, we generalize this result to hold for functions $f:\mathbb{R}^n \to S^{k-1}$ which output $k$-dimensional unit vectors. Our main conjecture, which we call the $\textit{vector-valued Borell's inequality}$, asserts that the expected value of $\langle f(\boldsymbol{x}), f(\boldsymbol{y})\rangle$ is minimized by the function $f(x) = x_{\leq k} / \Vert x_{\leq k} \Vert$, where $x_{\leq k} = (x_1, \ldots, x_k)$. We give several pieces of evidence in favor of this conjecture, including a proof that it does indeed hold in the special case of $n = k$. As an application of this conjecture, we show that it implies several hardness of approximation results for a special case of the local Hamiltonian problem related to the anti-ferromagnetic Heisenberg model known as Quantum Max-Cut. This can be viewed as a natural quantum analogue of the classical Max-Cut problem and has been proposed as a useful testbed for develo** algorithms. We show the following, assuming our conjecture: (1) The integrality gap of the basic SDP is $0.498$, matching an existing rounding algorithm. Combined with existing results, this shows that the basic SDP does not achieve the optimal approximation ratio. (2) It is Unique Games-hard (UG-hard) to compute a $(0.956+\varepsilon)$-approximation to the value of the best product state, matching an existing approximation algorithm. (3) It is UG-hard to compute a $(0.956+\varepsilon)$-approximation to the value of the best (possibly entangled) state. △ Less

Submitted 28 September, 2022; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: 76 pages; v3 treats the vector-valued Borell's inequality as a conjecture rather than a theorem, due to an error in previous versions

Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem

Authors: Victoria J Wright, Ravi Kunjwal

Abstract: The Kochen--Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement and Bell non-locality are not necessary to demonstrate KS-contextuality. However, here we find that for multiqubit systems, entanglement and non-locality are b… ▽ More The Kochen--Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement and Bell non-locality are not necessary to demonstrate KS-contextuality. However, here we find that for multiqubit systems, entanglement and non-locality are both essential to proofs of the Kochen--Specker theorem. Firstly, we show that unentangled measurements (a strict superset of local measurements) can never yield a logical (state-independent) proof of the KS theorem for multiqubit systems. In particular, unentangled but nonlocal measurements -- whose eigenstates exhibit "nonlocality without entanglement" -- are insufficient for such proofs.This also implies that proving Gleason's theorem on a multiqubit system necessarily requires entangled projections, as shown by Wallach [Contemp Math, 305: 291-298 (2002)]. Secondly, we show that a multiqubit state admits a statistical (state-dependent) proof of the KS theorem if and only if it can violate a Bell inequality with projective measurements. We also establish the relationship between entanglement and the theorems of Kochen--Specker and Gleason more generally in multiqudit systems by constructing new examples of KS sets. Finally, we discuss how our results shed new light on the role of multiqubit contextuality as a resource within the paradigm of quantum computation with state injection. △ Less

Submitted 13 January, 2023; v1 submitted 28 September, 2021; originally announced September 2021.

Journal ref: Quantum 7, 900 (2023)

A flexible design platform for Si/SiGe exchange-only qubits with low disorder

Authors: Wonill Ha, Sieu D. Ha, Maxwell D. Choi, Yan Tang, Adele E. Schmitz, Mark P. Levendorf, Kangmu Lee, James M. Chappell, Tower S. Adams, Daniel R. Hulbert, Edwin Acuna, Ramsey S. Noah, Justine W. Matten, Michael P. Jura, Jeffrey A. Wright, Matthew T. Rakher, Matthew G. Borselli

Abstract: Spin-based silicon quantum dots are an attractive qubit technology for quantum information processing with respect to coherence time, control, and engineering. Here we present an exchange-only Si qubit device platform that combines the throughput of CMOS-like wafer processing with the versatility of direct-write lithography. The technology, which we coin "SLEDGE," features dot-shaped gates that ar… ▽ More Spin-based silicon quantum dots are an attractive qubit technology for quantum information processing with respect to coherence time, control, and engineering. Here we present an exchange-only Si qubit device platform that combines the throughput of CMOS-like wafer processing with the versatility of direct-write lithography. The technology, which we coin "SLEDGE," features dot-shaped gates that are patterned simultaneously on one topographical plane and subsequently connected by vias to interconnect metal lines. The process design enables non-trivial layouts as well as flexibility in gate dimensions, material selection, and additional device features such as for rf qubit control. We show that the SLEDGE process has reduced electrostatic disorder with respect to traditional overlap** gate devices with lift-off metallization, and we present spin coherent exchange oscillations and single qubit blind randomized benchmarking data. △ Less

Submitted 22 July, 2021; originally announced July 2021.

Benchmarking adaptive variational quantum eigensolvers

Authors: Daniel Claudino, Jerimiah Wright, Alexander J. McCaskey, Travis S. Humble

Abstract: By design, the variational quantum eigensolver (VQE) strives to recover the lowest-energy eigenvalue of a given Hamiltonian by preparing quantum states guided by the variational principle. In practice, the prepared quantum state is indirectly assessed by the value of the associated energy. Novel adaptive derivative-assembled pseudo-trotter (ADAPT) ansatz approaches and recent formal advances now e… ▽ More By design, the variational quantum eigensolver (VQE) strives to recover the lowest-energy eigenvalue of a given Hamiltonian by preparing quantum states guided by the variational principle. In practice, the prepared quantum state is indirectly assessed by the value of the associated energy. Novel adaptive derivative-assembled pseudo-trotter (ADAPT) ansatz approaches and recent formal advances now establish a clear connection between the theory of quantum chemistry and the quantum state ansatz used to solve the electronic structure problem. Here we benchmark the accuracy of VQE and ADAPT-VQE to calculate the electronic ground states and potential energy curves for a few selected diatomic molecules, namely H$_2$, NaH, and KH. Using numerical simulation, we find both methods provide good estimates of the energy and ground state, but only ADAPT-VQE proves to be robust to particularities in optimization methods. Another relevant finding is that gradient-based optimization is overall more economical and delivers superior performance than analogous simulations carried out with gradient-free optimizers. The results also identify small errors in the prepared state fidelity which show an increasing trend with molecular size. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Comments: 12 pages, 11 figures. Submitted to Frontiers in Chemistry special issue on Quantum Information and Quantum Computing for Chemical Systems

Characterising and bounding the set of quantum behaviours in contextuality scenarios

Authors: Anubhav Chaturvedi, Máté Farkas, Victoria J Wright

Abstract: The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments,… ▽ More The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments, along with the polytope of general contextual behaviours containing the set of quantum contextual behaviours. This framework allows us to recover several properties of set of quantum behaviours in these scenarios, including contextuality scenarios and associated noncontextuality inequalities that require for their violation the individual quantum preparation and measurement procedures to be mixed states and unsharp measurements. With the framework in place, we formulate novel semidefinite programming relaxations for bounding these sets of quantum contextual behaviours. Most significantly, to circumvent the inadequacy of pure states and projective measurements in contextuality scenarios, we present a novel unitary operator based semidefinite relaxation technique. We demonstrate the efficacy of these relaxations by obtaining tight upper bounds on the quantum violation of several noncontextuality inequalities and identifying novel maximally contextual quantum strategies. To further illustrate the versatility of these relaxations, we demonstrate monogamy of preparation contextuality in a tripartite setting, and present a secure semi-device independent quantum key distribution scheme powered by quantum advantage in parity oblivious random access codes. △ Less

Submitted 24 June, 2021; v1 submitted 12 October, 2020; originally announced October 2020.

Comments: Revised version, accepted in Quantum

Journal ref: Quantum 5, 484 (2021)

Quantum soundness of the classical low individual degree test

Authors: Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen

Abstract: Low degree tests play an important role in classical complexity theory, serving as basic ingredients in foundational results such as $\mathsf{MIP} = \mathsf{NEXP}$ [BFL91] and the PCP theorem [AS98,ALM+98]. Over the last ten years, versions of these tests which are sound against quantum provers have found increasing applications to the study of nonlocal games and the complexity class~… ▽ More Low degree tests play an important role in classical complexity theory, serving as basic ingredients in foundational results such as $\mathsf{MIP} = \mathsf{NEXP}$ [BFL91] and the PCP theorem [AS98,ALM+98]. Over the last ten years, versions of these tests which are sound against quantum provers have found increasing applications to the study of nonlocal games and the complexity class~$\mathsf{MIP}^*$. The culmination of this line of work is the result $\mathsf{MIP}^* = \mathsf{RE}$ [arXiv:2001.04383]. One of the key ingredients in the first reported proof of $\mathsf{MIP}^* = \mathsf{RE}$ is a two-prover variant of the low degree test, initially shown to be sound against multiple quantum provers in [arXiv:1302.1242]. Unfortunately a mistake was recently discovered in the latter result, invalidating the main result of [arXiv:1302.1242] as well as its use in subsequent works, including [arXiv:2001.04383]. We analyze a variant of the low degree test called the low individual degree test. Our main result is that the two-player version of this test is sound against quantum provers. This soundness result is sufficient to re-derive several bounds on~$\mathsf{MIP}^*$ that relied on [arXiv:1302.1242], including $\mathsf{MIP}^* = \mathsf{RE}$. △ Less

Submitted 27 September, 2020; originally announced September 2020.

Magnetic Gradient Fluctuations from Quadrupolar $^{73}$Ge in Si/SiGe Exchange-Only Qubits

Authors: J. Kerckhoff, B. Sun, B. H. Fong, C. Jones, A. A. Kiselev, D. W. Barnes, R. S. Noah, E. Acuna, M. Akmal, S. D. Ha, J. A. Wright, B. J. Thomas, C. A. C. Jackson, L. F. Edge, K. Eng, R. S. Ross, T. D. Ladd

Abstract: We study the time-fluctuating magnetic gradient noise mechanisms in pairs of Si/SiGe quantum dots using exchange echo noise spectroscopy. We find through a combination of spectral inversion and correspondence to theoretical modeling that quadrupolar precession of the $^{73}$Ge nuclei play a key role in the spin-echo decay time $T_2$, with a characteristic dependence on magnetic field and the width… ▽ More We study the time-fluctuating magnetic gradient noise mechanisms in pairs of Si/SiGe quantum dots using exchange echo noise spectroscopy. We find through a combination of spectral inversion and correspondence to theoretical modeling that quadrupolar precession of the $^{73}$Ge nuclei play a key role in the spin-echo decay time $T_2$, with a characteristic dependence on magnetic field and the width of the Si quantum well. The $^{73}$Ge noise peaks appear at the fundamental and first harmonic of the $^{73}$Ge Larmor resonance, superimposed over $1/f$ noise due to $^{29}$Si dipole-dipole dynamics, and are dependent on material epitaxy and applied magnetic field. These results may inform the needs of dynamical decoupling when using Si/SiGe quantum dots as qubits in quantum information processing devices. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Comments: 17 pages, 11 figures

Journal ref: PRX Quantum 2, 010347 (2021)

General Probabilistic Theories with a Gleason-type Theorem

Authors: Victoria J Wright, Stefan Weigert

Abstract: Gleason-type theorems for quantum theory allow one to recover the quantum state space by assuming that (i) states consistently assign probabilities to measurement outcomes and that (ii) there is a unique state for every such assignment. We identify the class of general probabilistic theories which also admit Gleason-type theorems. It contains theories satisfying the no-restriction hypothesis as we… ▽ More Gleason-type theorems for quantum theory allow one to recover the quantum state space by assuming that (i) states consistently assign probabilities to measurement outcomes and that (ii) there is a unique state for every such assignment. We identify the class of general probabilistic theories which also admit Gleason-type theorems. It contains theories satisfying the no-restriction hypothesis as well as others which can simulate such an unrestricted theory arbitrarily well when allowing for post-selection on measurement outcomes. Our result also implies that the standard no-restriction hypothesis applied to effects is not equivalent to the dual no-restriction hypothesis applied to states which is found to be less restrictive. △ Less

Submitted 22 November, 2021; v1 submitted 28 May, 2020; originally announced May 2020.

Journal ref: Quantum 5, 588 (2021)

MIP*=RE

Authors: Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen

Abstract: We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages. Our proof builds upon the quantum low-degree test of (Natarajan and Vidick, FOCS 2018) and the classical low-individual degree test of (Ji, et al., 2020) by integrating recent d… ▽ More We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages. Our proof builds upon the quantum low-degree test of (Natarajan and Vidick, FOCS 2018) and the classical low-individual degree test of (Ji, et al., 2020) by integrating recent developments from (Natarajan and Wright, FOCS 2019) and combining them with the recursive compression framework of (Fitzsimons et al., STOC 2019). An immediate byproduct of our result is that there is an efficient reduction from the Halting Problem to the problem of deciding whether a two-player nonlocal game has entangled value $1$ or at most $1/2$. Using a known connection, undecidability of the entangled value implies a negative answer to Tsirelson's problem: we show, by providing an explicit example, that the closure $C_{qa}$ of the set of quantum tensor product correlations is strictly included in the set $C_{qc}$ of quantum commuting correlations. Following work of (Fritz, Rev. Math. Phys. 2012) and (Junge et al., J. Math. Phys. 2011) our results provide a refutation of Connes' embedding conjecture from the theory of von Neumann algebras. △ Less

Submitted 4 November, 2022; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: 223 pages. v3: Typos corrected, minor improvements to presentation

Computational Chemistry on Quantum Computers

Authors: Jerimiah Wright

Abstract: The purpose of this experiment was to use the known analytical techniques to study the creation, simulation, and measurements of molecular Hamiltonians. The techniques used consisted of the Linear Combination of Atomic Orbitals (LCAO), the Linear Combination of Unitaries (LCU), and the Phase Estimation Algorithm (PEA). The molecules studied were $H_2$ with and without spin, as well as $He_2$ witho… ▽ More The purpose of this experiment was to use the known analytical techniques to study the creation, simulation, and measurements of molecular Hamiltonians. The techniques used consisted of the Linear Combination of Atomic Orbitals (LCAO), the Linear Combination of Unitaries (LCU), and the Phase Estimation Algorithm (PEA). The molecules studied were $H_2$ with and without spin, as well as $He_2$ without spin. Hamiltonians were created under the LCAO basis, and reconstructed using the Jordan-Winger transform in order to create a linear combination of Pauli spin operators. The lengths of each molecular Hamiltonian greatly increased from the $H_2$ without spin, to $He_2$. This resulted in a reduced ability to simulate the Hamiltonians under ideal conditions. Thus, only low orders of l = 1 and l = 2 were used when expanding the Hamiltonian in accordance to the LCU method of simulation. The resulting Hamiltonians were measured using PEA, and plotted against function of $\frac{2π(K)}{N}$ and the probability distribution of each register. The resolution of the graph was dependent on the amount of registers, N, being used. However, the reduction of order hardly changed the image of the $H_2$ graphs. Qualitative comparisons between the three molecules were drawn. △ Less

Submitted 24 September, 2019; originally announced September 2019.

Comments: 10 pages, 4 figures

Gleason-type Theorems from Cauchy's Functional Equation

Authors: Victoria J Wright, Stefan Weigert

Abstract: Gleason-type theorems derive the density operator and the Born rule formalism of quantum theory from the measurement postulate, by considering additive functions which assign probabilities to measurement outcomes. Additivity is also the defining property of solutions to Cauchy's functional equation. This observation suggests an alternative proof of the strongest known Gleason-type theorem, based o… ▽ More Gleason-type theorems derive the density operator and the Born rule formalism of quantum theory from the measurement postulate, by considering additive functions which assign probabilities to measurement outcomes. Additivity is also the defining property of solutions to Cauchy's functional equation. This observation suggests an alternative proof of the strongest known Gleason-type theorem, based on techniques used to solve functional equations. △ Less

Submitted 6 December, 2019; v1 submitted 29 May, 2019; originally announced May 2019.

Comments: A corrected proof of Theorem 1 is given which closes a gap in its previous (and published) version

Journal ref: Found. Phys. 49 (2019) 594

NEEXP in MIP*

Authors: Anand Natarajan, John Wright

Abstract: We study multiprover interactive proof systems. The power of classical multiprover interactive proof systems, in which the provers do not share entanglement, was characterized in a famous work by Babai, Fortnow, and Lund (Computational Complexity 1991), whose main result was the equality MIP = NEXP. The power of quantum multiprover interactive proof systems, in which the provers are allowed to sha… ▽ More We study multiprover interactive proof systems. The power of classical multiprover interactive proof systems, in which the provers do not share entanglement, was characterized in a famous work by Babai, Fortnow, and Lund (Computational Complexity 1991), whose main result was the equality MIP = NEXP. The power of quantum multiprover interactive proof systems, in which the provers are allowed to share entanglement, has proven to be much more difficult to characterize. The best known lower-bound on MIP* is NEXP, due to Ito and Vidick (FOCS 2012). As for upper bounds, MIP* could be as large as RE, the class of recursively enumerable languages. The main result of this work is the inclusion of NEEXP (nondeterministic doubly exponential time) in MIP*. This is an exponential improvement over the prior lower bound and shows that proof systems with entangled provers are at least exponentially more powerful than classical provers. In our protocol the verifier delegates a classical, exponentially large MIP protocol for NEEXP to two entangled provers: the provers obtain their exponentially large questions by measuring their shared state, and use a classical PCP to certify the correctness of their exponentially-long answers. For the soundness of our protocol, it is crucial that each player should not only sample its own question correctly but also avoid performing measurements that would reveal the other player's sampled question. We ensure this by commanding the players to perform a complementary measurement, relying on the Heisenberg uncertainty principle to prevent the forbidden measurements from being performed. △ Less

Submitted 2 September, 2019; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 122 pages; v2 corrects typos and improves presentation; v3 adds funding information

Spin-Blockade Spectroscopy of Si/SiGe Quantum Dots

Authors: A. M. Jones, E. J. Pritchett, E. H. Chen, T. E. Keating, R. W. Andrews, J. Z. Blumoff, L. A. De Lorenzo, K. Eng, S. D. Ha, A. A. Kiselev, S. M. Meenehan, S. T. Merkel, J. A. Wright, L. F. Edge, R. S. Ross, M. T. Rakher, M. G. Borselli, A. Hunter

Abstract: We implement a technique for measuring the singlet-triplet energy splitting responsible for spin-to-charge conversion in semiconductor quantum dots. This method, which requires fast, single-shot charge measurement, reliably extracts an energy in the limits of both large and small splittings. We perform this technique on an undoped, accumulation-mode Si/SiGe triple-quantum dot and find that the mea… ▽ More We implement a technique for measuring the singlet-triplet energy splitting responsible for spin-to-charge conversion in semiconductor quantum dots. This method, which requires fast, single-shot charge measurement, reliably extracts an energy in the limits of both large and small splittings. We perform this technique on an undoped, accumulation-mode Si/SiGe triple-quantum dot and find that the measured splitting varies smoothly as a function of confinement gate biases. Not only does this demonstration prove the value of having an $in~situ$ excited-state measurement technique as part of a standard tune-up procedure, it also suggests that in typical Si/SiGe quantum dot devices, spin-blockade can be limited by lateral orbital excitation energy rather than valley splitting. △ Less

Submitted 21 September, 2018; originally announced September 2018.

Comments: 18 pages, 9 figures

Journal ref: Phys. Rev. Applied 12, 014026 (2019)

A Gleason-type theorem for qubits based on mixtures of projective measurements

Authors: Victoria J Wright, Stefan Weigert

Abstract: We derive Born's rule and the density-operator formalism for quantum systems with Hilbert spaces of dimension two or larger. Our extension of Gleason's theorem only relies upon the consistent assignment of probabilities to the outcomes of projective measurements and their classical mixtures. This assumption is significantly weaker than those required for existing Gleason-type theorems valid in dim… ▽ More We derive Born's rule and the density-operator formalism for quantum systems with Hilbert spaces of dimension two or larger. Our extension of Gleason's theorem only relies upon the consistent assignment of probabilities to the outcomes of projective measurements and their classical mixtures. This assumption is significantly weaker than those required for existing Gleason-type theorems valid in dimension two. △ Less

Submitted 24 August, 2018; originally announced August 2018.

Comments: 19 pages, 3 figures

Journal ref: J. Phys. A, 52:055301, 2019

Quantum noise cancellation in asymmetric speed meters with balanced homodyne readout

Authors: T Zhang, E Knyazev, S Steinlechner, F Ya Khalili, B W Barr, A S Bell, P Dupej, C Gräf, J Callaghan, J S Hennig, E A Houston, S H Huttner, S S Leavey, D Pascucci, B Sorazu, A Spencer, J Wright, K A Strain, S L Danilishin, S Hild

Abstract: Sagnac speed meter (SSM) topology is known as an alternative technique to reduce quantum back-action in gravitational-wave interferometers. However, any potential imbalance of the main beamsplitter was shown to reduce the quantum noise superiority of speed meter at low frequencies, caused due to increased laser noise coupling to the detection port. In this paper, we show that implementing balanced… ▽ More Sagnac speed meter (SSM) topology is known as an alternative technique to reduce quantum back-action in gravitational-wave interferometers. However, any potential imbalance of the main beamsplitter was shown to reduce the quantum noise superiority of speed meter at low frequencies, caused due to increased laser noise coupling to the detection port. In this paper, we show that implementing balanced homodyne readout scheme and for a particular choice of the local oscillator (LO) delivery port, the excess laser noise contribution to quantum noise limited sensitivity (QNLS) is partly compensated and the speed meter sensitivity can outperform state-of-the-art position meters. This can be achieved by picking the local oscillator from interferometer reflection (\textit{co-moving} LO) or the main beamsplitter anti-reflective coating surface (BSAR LO). We also show that this relaxes the relative intensity noise (RIN) requirement of the input laser. For example, for a beam splitter imbalance of $0.1 \%$ in Glasgow speed meter proof of concept experiment, the RIN requirement at frequency of 100Hz decreases from $4\times 10^{-10}/\sqrt{\rm Hz}$ to $4\times 10^{-7}/\sqrt{\rm Hz}$, moving the RIN requirement from a not practical achievable value to one which is routinely achieved with moderate effort. △ Less

Submitted 14 June, 2018; originally announced June 2018.

Quantum heat engine operating between thermal and spin reservoirs

Authors: Jackson S. S. T. Wright, Tim Gould, André R. R. Carvalho, Salil Bedkihal, Joan A. Vaccaro

Abstract: Landauer's erasure principle is a cornerstone of thermodynamics and information theory. According to this principle, erasing information incurs a minimum energy cost. Recently, Vaccaro and Barnett [Proc. R. Soc {\bf 467}, 1770 (2011)] explored information erasure in the context of multiple conserved quantities and showed that the erasure cost can be solely in terms of spin angular momentum. As Lan… ▽ More Landauer's erasure principle is a cornerstone of thermodynamics and information theory. According to this principle, erasing information incurs a minimum energy cost. Recently, Vaccaro and Barnett [Proc. R. Soc {\bf 467}, 1770 (2011)] explored information erasure in the context of multiple conserved quantities and showed that the erasure cost can be solely in terms of spin angular momentum. As Landauer's erasure principle plays a fundamental role in heat engines, their result considerably widens the possible configurations that heat engines can have. Motivated by this, we propose here a novel optical heat engine that operates under a single thermal reservoir and a spin angular momentum reservoir coupled to a three level system with an energy-degenerate ground state. The proposed heat engine operates without producing waste heat and goes beyond the traditional Carnot engine where the working fluid is subjected to two thermal baths at different temperatures. △ Less

Submitted 3 April, 2018; originally announced April 2018.

Information Erasure

Authors: T. Croucher, J. Wright, A. R. R. Carvalho, S. M. Barnett, J. A. Vaccaro

Abstract: Information is central to thermodynamics, providing the grounds to the formulation of the theory in powerful abstract statistical terms. One must not forget, however, that, as put by Landauer, {\it information is physical}. This means that the processing of information will be unavoidably linked to the costs of manipulating the real physical systems carrying the information. Here we will focus on… ▽ More Information is central to thermodynamics, providing the grounds to the formulation of the theory in powerful abstract statistical terms. One must not forget, however, that, as put by Landauer, {\it information is physical}. This means that the processing of information will be unavoidably linked to the costs of manipulating the real physical systems carrying the information. Here we will focus on the particular process of erasing information, which plays a fundamental role in the description of heat engines. We will review Landauer's principle and the associated erasure energy cost. We will also show, following the recent contributions from Vaccaro and Barnett, that cost of erasing does not need to be paid with energy, but with any other conserved quantity. Finally, we will address the issue of designing heat engines based on these new concepts. △ Less

Submitted 22 March, 2018; originally announced March 2018.

Quantum state certification

Authors: Costin Bădescu, Ryan O'Donnell, John Wright

Abstract: We consider the problem of quantum state certification, where one is given $n$ copies of an unknown $d$-dimensional quantum mixed state $ρ$, and one wants to test whether $ρ$ is equal to some known mixed state $σ$ or else is $ε$-far from $σ$. The goal is to use notably fewer copies than the $Ω(d^2)$ needed for full tomography on $ρ$ (i.e., density estimation). We give two robust state certificatio… ▽ More We consider the problem of quantum state certification, where one is given $n$ copies of an unknown $d$-dimensional quantum mixed state $ρ$, and one wants to test whether $ρ$ is equal to some known mixed state $σ$ or else is $ε$-far from $σ$. The goal is to use notably fewer copies than the $Ω(d^2)$ needed for full tomography on $ρ$ (i.e., density estimation). We give two robust state certification algorithms: one with respect to fidelity using $n = O(d/ε)$ copies, and one with respect to trace distance using $n = O(d/ε^2)$ copies. The latter algorithm also applies when $σ$ is unknown as well. These copy complexities are optimal up to constant factors. △ Less

Submitted 3 November, 2017; v1 submitted 20 August, 2017; originally announced August 2017.

Effects of static and dynamic higher-order optical modes in balanced homodyne readout for future gravitational waves detectors

Authors: Teng Zhang, Stefan L Danilishin, Sebastian Steinlechner, Bryan W Barr, Angus S Bell, Peter Dupej, Christian Gräf, Jan-Simon Hennig, E Alasdair Houston, Sabina H Huttner, Sean S Leavey, Daniela Pascucci, Borja Sorazu, Andrew Spencer, Jennifer Wright, Kenneth A Strain, Stefan Hild

Abstract: With the recent discovery of Gravitational waves, marking the start of the new field of GW astronomy, the push for building more sensitive laser-interferometric gravitational wave detectors (GWD) has never been stronger. Balanced homodyne detection (BHD) allows for a quantum noise limited readout of arbitrary light field quadratures, and has therefore been suggested as a vital building block for u… ▽ More With the recent discovery of Gravitational waves, marking the start of the new field of GW astronomy, the push for building more sensitive laser-interferometric gravitational wave detectors (GWD) has never been stronger. Balanced homodyne detection (BHD) allows for a quantum noise limited readout of arbitrary light field quadratures, and has therefore been suggested as a vital building block for upgrades to Advanced LIGO and third generation observatories. In terms of the practical implementation of BHD, we develop a full framework for analyzing the static optical high order modes (HOMs) occurring in the BHD paths related to the misalignment or mode matching at the input and output ports of the laser interferometer. We find the effects of HOMs on the quantum noise limited sensitivity is independent of the actual interferometer configuration, e.g. Michelson and Sagnac interferometers are effected in the same way. We show that output misalignment only effects the high frequency part of the quantum noise limited sensitivity. However, at low frequencies, HOMs reduce the interferometer response and the radiation pressure noise by the same amount and hence the quantum noise limited sensitivity is not negatively effected. We show that the input misalignment to the interferometer produces the same effect as output misalignment and additionally decreases the power inside the interferometer. We also analyze dynamic HOM effects, such as beam jitter created by the suspended mirrors of the BHD. Our analyses can be directly applied to any BHD implementation in a future GWD. Moreover, we apply our analytical techniques to the example of the speed meter proof of concept experiment under construction in Glasgow. We find that for our experimental parameters, the performance of our seismic isolation system in the BHD paths is compatible with the design sensitivity of the experiment. △ Less

Submitted 2 February, 2017; v1 submitted 2 December, 2016; originally announced December 2016.

Journal ref: Phys. Rev. D 95, 062001 (2017)

Efficient quantum tomography II

Authors: Ryan O'Donnell, John Wright

Abstract: Following [OW16], we continue our analysis of: (1) "Quantum tomography", i.e., learning a quantum state, i.e., the quantum generalization of learning a discrete probability distribution; (2) The distribution of Young diagrams output by the RSK algorithm on random words. Regarding (2), we introduce two powerful new tools: (i) A precise upper bound on the expected length of the longest union of $k$… ▽ More Following [OW16], we continue our analysis of: (1) "Quantum tomography", i.e., learning a quantum state, i.e., the quantum generalization of learning a discrete probability distribution; (2) The distribution of Young diagrams output by the RSK algorithm on random words. Regarding (2), we introduce two powerful new tools: (i) A precise upper bound on the expected length of the longest union of $k$ disjoint increasing subsequences in a random length-$n$ word with letter distribution $α_1 \geq α_2 \geq \cdots \geq α_d$; (ii) A new majorization property of the RSK algorithm that allows one to analyze the Young diagram formed by the lower rows $λ_k, λ_{k+1}, \dots$ of its output. These tools allow us to prove several new theorems concerning the distribution of random Young diagrams in the nonasymptotic regime, giving concrete error bounds that are optimal, or nearly so, in all parameters. As one example, we give a fundamentally new proof of the fact that the expected length of the longest increasing sequence in a random length-$n$ permutation is bounded by $2\sqrt{n}$. This is the $k = 1$, $α_i \equiv \frac1d$, $d \to \infty$ special case of a much more general result we prove: the expected length of the $k$th Young diagram row produced by an $α$-random word is $α_k n \pm 2\sqrt{α_kd n}$. From our new analyses of random Young diagrams we derive several new results in quantum tomography, including: (i) Learning the eigenvalues of an unknown state to $ε$-accuracy in Hellinger-squared, chi-squared, or KL distance, using $n = O(d^2/ε)$ copies; (ii) Learning the optimal rank-$k$ approximation of an unknown state to $ε$-fidelity (Hellinger-squared distance) using $n = \widetilde{O}(kd/ε)$ copies. △ Less

Submitted 30 November, 2016; originally announced December 2016.

Comments: 35 pages

Spectral shearing of quantum light pulses by electro-optic phase modulation

Authors: Laura J. Wright, Michal Karpinski, Christoph Soeller, Brian J. Smith

Abstract: Frequency conversion of non-classical light enables robust encoding of quantum information based upon spectral multiplexing that is particularly well-suited to integrated-optics platforms. Here we present an intrinsically deterministic linear-optics approach to spectral shearing of quantum light pulses and show it preserves the wave-packet coherence and quantum nature of light. The technique is ba… ▽ More Frequency conversion of non-classical light enables robust encoding of quantum information based upon spectral multiplexing that is particularly well-suited to integrated-optics platforms. Here we present an intrinsically deterministic linear-optics approach to spectral shearing of quantum light pulses and show it preserves the wave-packet coherence and quantum nature of light. The technique is based upon an electro-optic Doppler shift to implement frequency shear of heralded single-photon wave packets by $\pm 200$ GHz, which can be scaled to an arbitrary shift. These results demonstrate a reconfigurable, unitary method to controlling the spectral-temporal mode structure of quantum light. △ Less

Submitted 10 January, 2017; v1 submitted 2 May, 2016; originally announced May 2016.

Comments: Final version. 5 pages, 3 figures

Journal ref: Phys. Rev. Lett. 118, 023601 (2017)

Bandwidth manipulation of quantum light by an electro-optic time lens

Authors: Michal Karpinski, Michal Jachura, Laura J. Wright, Brian J. Smith

Abstract: The ability to manipulate the spectral-temporal waveform of optical pulses has enabled a wide range of applications from ultrafast spectroscopy to high-speed communications. Extending these concepts to quantum light has the potential to enable breakthroughs in optical quantum science and technology. However, filtering and amplifying often employed in classical pulse sha** techniques are incompat… ▽ More The ability to manipulate the spectral-temporal waveform of optical pulses has enabled a wide range of applications from ultrafast spectroscopy to high-speed communications. Extending these concepts to quantum light has the potential to enable breakthroughs in optical quantum science and technology. However, filtering and amplifying often employed in classical pulse sha** techniques are incompatible with non-classical light. Controlling the pulsed mode structure of quantum light requires efficient means to achieve deterministic, unitary manipulation that preserves fragile quantum coherences. Here we demonstrate an electro-optic method for modifying the spectrum of non-classical light by employing a time lens. In particular we show highly-efficient wavelength-preserving six-fold compression of single-photon spectral intensity bandwidth, enabling over a two-fold increase of single-photon flux into a spectrally narrowband absorber. These results pave the way towards spectral-temporal photonic quantum information processing and facilitate interfacing of different physical platforms where quantum information can be stored or manipulated. △ Less

Submitted 29 July, 2017; v1 submitted 8 April, 2016; originally announced April 2016.

Comments: Final version. 7 pages, 4 figures + supplementary: 6 pages, 2 figures. MK & MJ -- equal contribution

Journal ref: Nature Photonics 11, 53-57 (2017)

Control of a velocity-sensitive audio-band quantum non-demolition interferometer

Authors: S. S. Leavey, S. L. Danilishin, A. Gläfke, B. W. Barr, A. S. Bell, C. Gräf, J. -S. Hennig, E. A. Houston, S. H. Huttner, H. Lück, D. Pascucci, K. Somiya, B. Sorazu, A. Spencer, S. Steinlechner, K. A. Strain, J. Wright, T. Zhang, S. Hild

Abstract: The Sagnac speed meter interferometer topology can potentially provide enhanced sensitivity to gravitational waves in the audio-band compared to equivalent Michelson interferometers. A challenge with the Sagnac speed meter interferometer arises from the intrinsic lack of sensitivity at low frequencies where the velocity-proportional signal is smaller than the noise associated with the sensing of t… ▽ More The Sagnac speed meter interferometer topology can potentially provide enhanced sensitivity to gravitational waves in the audio-band compared to equivalent Michelson interferometers. A challenge with the Sagnac speed meter interferometer arises from the intrinsic lack of sensitivity at low frequencies where the velocity-proportional signal is smaller than the noise associated with the sensing of the signal. Using as an example the on-going proof-of-concept Sagnac speed meter experiment in Glasgow, we quantify the problem and present a solution involving the extraction of a small displacement-proportional signal. This displacement signal can be combined with the existing velocity signal to enhance low frequency sensitivity, and we derive optimal filters to accomplish this for different signal strengths. We show that the extraction of the displacement signal for low frequency control purposes can be performed without reducing significantly the quantum non-demolition character of this type of interferometer. △ Less

Submitted 24 March, 2016; originally announced March 2016.

Efficient quantum tomography

Authors: Ryan O'Donnell, John Wright

Abstract: In the quantum state tomography problem, one wishes to estimate an unknown $d$-dimensional mixed quantum state $ρ$, given few copies. We show that $O(d/ε)$ copies suffice to obtain an estimate $\hatρ$ that satisfies $\|\hatρ - ρ\|_F^2 \leq ε$ (with high probability). An immediate consequence is that $O(\mathrm{rank}(ρ) \cdot d/ε^2) \leq O(d^2/ε^2)$ copies suffice to obtain an $ε$-accurate estimate… ▽ More In the quantum state tomography problem, one wishes to estimate an unknown $d$-dimensional mixed quantum state $ρ$, given few copies. We show that $O(d/ε)$ copies suffice to obtain an estimate $\hatρ$ that satisfies $\|\hatρ - ρ\|_F^2 \leq ε$ (with high probability). An immediate consequence is that $O(\mathrm{rank}(ρ) \cdot d/ε^2) \leq O(d^2/ε^2)$ copies suffice to obtain an $ε$-accurate estimate in the standard trace distance. This improves on the best known prior result of $O(d^3/ε^2)$ copies for full tomography, and even on the best known prior result of $O(d^2\log(d/ε)/ε^2)$ copies for spectrum estimation. Our result is the first to show that nontrivial tomography can be obtained using a number of copies that is just linear in the dimension. Next, we generalize these results to show that one can perform efficient principal component analysis on $ρ$. Our main result is that $O(k d/ε^2)$ copies suffice to output a rank-$k$ approximation $\hatρ$ whose trace distance error is at most $ε$ more than that of the best rank-$k$ approximator to $ρ$. This subsumes our above trace distance tomography result and generalizes it to the case when $ρ$ is not guaranteed to be of low rank. A key part of the proof is the analogous generalization of our spectrum-learning results: we show that the largest $k$ eigenvalues of $ρ$ can be estimated to trace-distance error $ε$ using $O(k^2/ε^2)$ copies. In turn, this result relies on a new coupling theorem concerning the Robinson-Schensted-Knuth algorithm that should be of independent combinatorial interest. △ Less

Submitted 12 September, 2015; v1 submitted 8 August, 2015; originally announced August 2015.

Comments: 25 pages. This version includes a new section on principal component analysis

Reduced sensitivity to charge noise in semiconductor spin qubits via symmetric operation

Authors: M. D. Reed, B. M. Maune, R. W. Andrews, M. G. Borselli, K. Eng, M. P. Jura, A. A. Kiselev, T. D. Ladd, S. T. Merkel, I. Milosavljevic, E. J. Pritchett, M. T. Rakher, R. S. Ross, A. E. Schmitz, A. Smith, J. A. Wright, M. F. Gyure, A. T. Hunter

Abstract: We demonstrate improved operation of exchange-coupled semiconductor quantum dots by substantially reducing the sensitivity of exchange operations to charge noise. The method involves biasing a double-dot symmetrically between the charge-state anti-crossings, where the derivative of the exchange energy with respect to gate voltages is minimized. Exchange remains highly tunable by adjusting the tunn… ▽ More We demonstrate improved operation of exchange-coupled semiconductor quantum dots by substantially reducing the sensitivity of exchange operations to charge noise. The method involves biasing a double-dot symmetrically between the charge-state anti-crossings, where the derivative of the exchange energy with respect to gate voltages is minimized. Exchange remains highly tunable by adjusting the tunnel coupling. We find that this method reduces the dephasing effect of charge noise by more than a factor of five in comparison to operation near a charge-state anti-crossing, increasing the number of observable exchange oscillations in our qubit by a similar factor. Performance also improves with exchange rate, favoring fast quantum operations. △ Less

Submitted 21 March, 2016; v1 submitted 5 August, 2015; originally announced August 2015.

Comments: 10 pages, 8 figures

Journal ref: Phys. Rev. Lett. 116, 110402 (2016)

Quantum Spectrum Testing

Authors: Ryan O'Donnell, John Wright

Abstract: In this work, we study the problem of testing properties of the spectrum of a mixed quantum state. Here one is given $n$ copies of a mixed state $ρ\in\mathbb{C}^{d\times d}$ and the goal is to distinguish whether $ρ$'s spectrum satisfies some property $\mathcal{P}$ or is at least $ε$-far in $\ell_1$-distance from satisfying $\mathcal{P}$. This problem was promoted in the survey of Montanaro and de… ▽ More In this work, we study the problem of testing properties of the spectrum of a mixed quantum state. Here one is given $n$ copies of a mixed state $ρ\in\mathbb{C}^{d\times d}$ and the goal is to distinguish whether $ρ$'s spectrum satisfies some property $\mathcal{P}$ or is at least $ε$-far in $\ell_1$-distance from satisfying $\mathcal{P}$. This problem was promoted in the survey of Montanaro and de Wolf under the name of testing unitarily invariant properties of mixed states. It is the natural quantum analogue of the classical problem of testing symmetric properties of probability distributions. Here, the hope is for algorithms with subquadratic copy complexity in the dimension $d$. This is because the "empirical Young diagram (EYD) algorithm" can estimate the spectrum of a mixed state up to $ε$-accuracy using only $\widetilde{O}(d^2/ε^2)$ copies. In this work, we show that given a mixed state $ρ\in\mathbb{C}^{d\times d}$: (i) $Θ(d/ε^2)$ copies are necessary and sufficient to test whether $ρ$ is the maximally mixed state, i.e., has spectrum $(\frac1d, ..., \frac1d)$; (ii) $Θ(r^2/ε)$ copies are necessary and sufficient to test with one-sided error whether $ρ$ has rank $r$, i.e., has at most $r$ nonzero eigenvalues; (iii) $\widetildeΘ(r^2/Δ)$ copies are necessary and sufficient to distinguish whether $ρ$ is maximally mixed on an $r$-dimensional or an $(r+Δ)$-dimensional subspace; and (iv) The EYD algorithm requires $Ω(d^2/ε^2)$ copies to estimate the spectrum of $ρ$ up to $ε$-accuracy, nearly matching the known upper bound. In addition, we simplify part of the proof of the upper bound. Our techniques involve the asymptotic representation theory of the symmetric group; in particular Kerov's algebra of polynomial functions on Young diagrams. △ Less

Submitted 20 January, 2015; originally announced January 2015.

Comments: 70 pages, 6 figures

Quantum noise of non-ideal Sagnac speed meter interferometer with asymmetries

Authors: S. L. Danilishin, C. Graef, S. S. Leavey, J. Hennig, E. A. Houston, D. Pascucci, S. Steinlechner, J. Wright, S. Hild

Abstract: The speed meter concept has been identified as a technique that can potentially provide laser-interferometric measurements at a sensitivity level which surpasses the Standard Quantum Limit (SQL) over a broad frequency range. As with other sub-SQL measurement techniques, losses play a central role in speed meter interferometers and they ultimately determine the quantum noise limited sensitivity tha… ▽ More The speed meter concept has been identified as a technique that can potentially provide laser-interferometric measurements at a sensitivity level which surpasses the Standard Quantum Limit (SQL) over a broad frequency range. As with other sub-SQL measurement techniques, losses play a central role in speed meter interferometers and they ultimately determine the quantum noise limited sensitivity that can be achieved. So far in the literature, the quantum noise limited sensitivity has only been derived for lossless or lossy cases using certain approximations (for instance that the arm cavity round trip loss is small compared to the arm cavity mirror transmission). In this article we present a generalised, analytical treatment of losses in speed meters that allows accurate calculation of the quantum noise limited sensitivity of Sagnac speed meters with arm cavities. In addition, our analysis allows us to take into account potential imperfections in the interferometer such as an asymmetric beam splitter or differences of the reflectivities of the two arm cavity input mirrors. Finally,we use the examples of the proof-of-concept Sagnac speed meter currently under construction in Glasgow and a potential implementation of a Sagnac speed meter in the Einstein Telescope (ET) to illustrate how our findings affect Sagnac speed meters with meter- and kilometre-long baselines. △ Less

Submitted 19 February, 2015; v1 submitted 2 December, 2014; originally announced December 2014.

Comments: 22 pages, 8 figures, 1 table, (minor corrections and changes made to text and figures in version 2)

Scalable Quantum Computing Architecture with Mixed Species Ion Chains

Authors: John Wright, Carolyn Auchter, Chen-Kuan Chou, Richard D. Graham, Thomas W. Noel, Tomasz Sakrejda, Zichao Zhou, Boris B. Blinov

Abstract: We report on progress towards implementing mixed ion species quantum information processing for a scalable ion trap architecture. Mixed species chains may help solve several problems with scaling ion trap quantum computation to large numbers of qubits. Initial temperature measurements of linear Coulomb crystals containing barium and ytterbium ions indicate that the mass difference does not signifi… ▽ More We report on progress towards implementing mixed ion species quantum information processing for a scalable ion trap architecture. Mixed species chains may help solve several problems with scaling ion trap quantum computation to large numbers of qubits. Initial temperature measurements of linear Coulomb crystals containing barium and ytterbium ions indicate that the mass difference does not significantly impede cooling at low ion numbers. Average motional occupation numbers are estimated to be $\bar{n} \approx 130$ quanta per mode for chains with small numbers of ions, which is within a factor of three of the Doppler limit for barium ions in our trap. We also discuss generation of ion-photon entanglement with barium ions with a fidelity of $F \ge 0.84$, which is an initial step towards remote ion-ion coupling in a more scalable quantum information architecture. Further, we are working to implement these techniques in surface traps in order to exercise greater control over ion chain ordering and positioning. △ Less

Submitted 30 September, 2014; originally announced October 2014.

Experimental generation of multi-photon Fock states

Authors: Merlin Cooper, Laura J. Wright, Christoph Söller, Brian J. Smith

Abstract: We experimentally demonstrate the generation of multi-photon Fock states with up to three photons in well-defined spatial-temporal modes synchronized with a classical clock. The states are characterized using quantum optical homodyne tomography to ensure mode selectivity. The three-photon Fock states are probabilistically generated by pulsed spontaneous parametric down conversion at a rate of one… ▽ More We experimentally demonstrate the generation of multi-photon Fock states with up to three photons in well-defined spatial-temporal modes synchronized with a classical clock. The states are characterized using quantum optical homodyne tomography to ensure mode selectivity. The three-photon Fock states are probabilistically generated by pulsed spontaneous parametric down conversion at a rate of one per second, enabling complete characterization in 12 hours. △ Less

Submitted 7 February, 2013; v1 submitted 18 December, 2012; originally announced December 2012.

Comments: 9 pages, 5 figures

Journal ref: Optics Express, Vol. 21, Issue 5, pp. 5309-5317 (2013)

Stochastic longevity of a dark soliton in a finite-temperature Bose-Einstein condensate

Authors: K. J. Wright, A. S. Bradley

Abstract: We study the decay of a dark soliton in a homogeneous Bose-Einstein condensate. We give an analytical treatment of a decaying soliton, deriving an expression for the soliton velocity and decay time in the absence of thermal noise. We test the result against numerical simulations of a spatially confined system and find good agreement in the regime of low temperature ($k_BT\ll μ$). Thermal fluctuati… ▽ More We study the decay of a dark soliton in a homogeneous Bose-Einstein condensate. We give an analytical treatment of a decaying soliton, deriving an expression for the soliton velocity and decay time in the absence of thermal noise. We test the result against numerical simulations of a spatially confined system and find good agreement in the regime of low temperature ($k_BT\ll μ$). Thermal fluctuations are found to slow the escape of the soliton, extending its lifetime beyond the predictions of the noise-free theory; the effect becomes significant at a characteristic temperature $k_BT\sim μ$. This stabilization by noise allows us to infer an analytical lower bound for the dark soliton decay time. △ Less

Submitted 29 June, 2011; v1 submitted 14 April, 2011; originally announced April 2011.

Comments: 13 pages, 7 figures

Note on "Collective Excitations of a Degenerate Gas at the BEC-BCS Crossover", Phys. Rev. Lett. 92, 203201 (2004)

Authors: A. Altmeyer, S. Riedl, C. Kohstall, M. J. Wright, J. Hecker Denschlag, R. Grimm

Abstract: We present a reinterpretation of our previous results on the radial compression mode of a degenerate quantum gas in the BEC-BCS crossover in [1]. We show that our former data are consistent with other experimental and theoretical work, when the ellipticity of the optical trap** potential in [1] is properly taken into account. We present a reinterpretation of our previous results on the radial compression mode of a degenerate quantum gas in the BEC-BCS crossover in [1]. We show that our former data are consistent with other experimental and theoretical work, when the ellipticity of the optical trap** potential in [1] is properly taken into account. △ Less

Submitted 16 November, 2006; v1 submitted 10 November, 2006; originally announced November 2006.

Comments: 2 pages, 1 figure, minor changes in v2

Journal ref: Physical Review Letters 98 (2007) 103602

On unentangled Gleason theorems for quantum information theory

Authors: Oliver Rudolph, J. D. M. Wright

Abstract: It is shown here that a strengthening of Wallach's Unentangled Gleason Theorem can be obtained by applying results of the present authors on generalised Gleason theorems for quantum multi-measures arising from investigations of quantum decoherence functionals. It is shown here that a strengthening of Wallach's Unentangled Gleason Theorem can be obtained by applying results of the present authors on generalised Gleason theorems for quantum multi-measures arising from investigations of quantum decoherence functionals. △ Less

Submitted 7 April, 2000; originally announced April 2000.

Comments: REVTeX, 6 pages

Report number: SL-TP-00-03

Journal ref: Letters in Mathematical Physics 52 (2000), 239-245

Homogeneous decoherence functionals in standard and history quantum mechanics

Authors: Oliver Rudolph, J. D. M. Wright

Abstract: General history quantum theories are quantum theories without a globally defined notion of time. Decoherence functionals represent the states in the history approach and are defined as certain bivariate complex-valued functionals on the space of all histories. However, in practical situations -- for instance in the history formulation of standard quantum mechanics -- there often is a global time… ▽ More General history quantum theories are quantum theories without a globally defined notion of time. Decoherence functionals represent the states in the history approach and are defined as certain bivariate complex-valued functionals on the space of all histories. However, in practical situations -- for instance in the history formulation of standard quantum mechanics -- there often is a global time direction and the homogeneous decoherence functionals are specified by their values on the subspace of homogeneous histories. In this work we study the analytic properties of (i) the standard decoherence functional in the history version of standard quantum mechanics and (ii) homogeneous decoherence functionals in general history theories. We restrict ourselves to the situation where the space of histories is given by the lattice of projections on some Hilbert space H. Among other things we prove the non-existence of a finitely valued extension for the standard decoherence functional to the space of all histories, derive a representation for the standard decoherence functional as an unbounded quadratic form with a natural representation on a Hilbert space and prove the existence of an Isham-Linden-Schreckenberg (ILS) type representation for the standard decoherence functional. △ Less

Submitted 23 July, 1998; originally announced July 1998.

Comments: 19 pages, LaTeX2e, uses times, amssymb, amsmath, babel, mathptm, and latexsym packages

Report number: Imperial/TP/97-98/61 MSC Class: 46N50

Journal ref: Commun.Math.Phys. 204 (1999), 249-267.

On Tracial Operator Representations of Quantum Decoherence Functionals

Authors: Oliver Rudolph, J. D. Maitland Wright

Abstract: A general `quantum history theory' can be characterised by the space of histories and by the space of decoherence functionals. In this note we consider the situation where the space of histories is given by the lattice of projection operators on an infinite dimensional Hilbert space $H$. We study operator representations for decoherence functionals on this space of histories. We first give neces… ▽ More A general `quantum history theory' can be characterised by the space of histories and by the space of decoherence functionals. In this note we consider the situation where the space of histories is given by the lattice of projection operators on an infinite dimensional Hilbert space $H$. We study operator representations for decoherence functionals on this space of histories. We first give necessary and sufficient conditions for a decoherence functional being representable by a trace class operator on $H \otimes H$, an infinite dimensional analogue of the Isham-Linden-Schreckenberg representation for finite dimensions. Since this excludes many decoherence functionals of physical interest, we then identify the large and physically important class of decoherence functionals which can be represented, canonically, by bounded operators on $H \otimes H$. △ Less

Submitted 31 May, 1997; originally announced June 1997.

Comments: 14 pages, LaTeX2e

Journal ref: J.Math.Phys. 38 (1997) 5643-5652