-
High Fidelity Artificial Quantum Thermal State Generation using Encoded Coherent States
Authors:
Haley Weinstein,
Bruno Avritzer,
Todd A. Brun,
Jonathan L. Habif
Abstract:
Quantum steganography is a powerful method for information security where communications between a sender and receiver are disguised as naturally occurring noise in a channel. We encoded the phase and amplitude of weak coherent laser states such that a third party monitoring the communications channel, measuring the flow of optical states through the channel, would see an amalgamation of states in…
▽ More
Quantum steganography is a powerful method for information security where communications between a sender and receiver are disguised as naturally occurring noise in a channel. We encoded the phase and amplitude of weak coherent laser states such that a third party monitoring the communications channel, measuring the flow of optical states through the channel, would see an amalgamation of states indistinguishable from thermal noise light. Using quantum state tomography, we experimentally reconstructed the density matrices for artificially engineered thermal states and spontaneous emission from an optical amplifier and verified a state fidelity F>0.98 when compared with theoretical thermal states.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Influence of coin symmetry on infinite hitting times in quantum walks
Authors:
Prithviraj Prabhu,
Todd A. Brun
Abstract:
Classical random walks on finite graphs have an underrated property: a walk from any vertex can reach every other vertex in finite time, provided they are connected. Discrete-time quantum walks on finite connected graphs however, can have infinite hitting times. This phenomenon is related to graph symmetry, as previously characterized by the group of direction-preserving graph automorphisms that t…
▽ More
Classical random walks on finite graphs have an underrated property: a walk from any vertex can reach every other vertex in finite time, provided they are connected. Discrete-time quantum walks on finite connected graphs however, can have infinite hitting times. This phenomenon is related to graph symmetry, as previously characterized by the group of direction-preserving graph automorphisms that trivially affect the coin Hilbert space. If a graph is symmetric enough (in a particular sense) then the associated quantum walk unitary will contain eigenvectors that do not overlap a set of target vertices, for any coin flip operator. These eigenvectors span the Infinite Hitting Time (IHT) subspace. Quantum states in the IHT subspace never reach the target vertices, leading to infinite hitting times. However, this is not the whole story: the graph of the 3D cube does not satisfy this symmetry constraint, yet quantum walks on this graph with certain symmetric coins can exhibit infinite hitting times. We study the effect of coin symmetry by analyzing the group of coin-permutation symmetries (CPS): graph automorphisms that act nontrivially on the coin Hilbert space but leave the coin operator invariant. Unitaries using highly symmetric coins with large CPS groups, such as the permutation-invariant Grover coin, are associated with higher probabilities of never arriving, as a result of their larger IHT subspaces.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Fermionic and bosonic quantum field theories from quantum cellular automata in three spatial dimensions
Authors:
Leonard Mlodinow,
Todd A. Brun
Abstract:
Quantum walks on lattices can give rise to relativistic wave equations in the long-wavelength limit, but going beyond the single-particle case has proven challenging, especially in more than one spatial dimension. We construct quantum cellular automata for distinguishable particles based on two different quantum walks, and show that by restricting to the antisymmetric and symmetric subspaces, resp…
▽ More
Quantum walks on lattices can give rise to relativistic wave equations in the long-wavelength limit, but going beyond the single-particle case has proven challenging, especially in more than one spatial dimension. We construct quantum cellular automata for distinguishable particles based on two different quantum walks, and show that by restricting to the antisymmetric and symmetric subspaces, respectively, a multiparticle theory for free fermions and bosons in three spatial dimensions can be produced. This construction evades a no-go theorem that prohibits the usual fermionization constructions in more than one spatial dimension. In the long-wavelength limit, these recover Dirac field theory and Maxwell field theory, i.e., free QED.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Achieving a quantum smart workforce
Authors:
Clarice D. Aiello,
D. D. Awschalom,
Hannes Bernien,
Tina Brower-Thomas,
Kenneth R. Brown,
Todd A. Brun,
Justin R. Caram,
Eric Chitambar,
Rosa Di Felice,
Michael F. J. Fox,
Stephan Haas,
Alexander W. Holleitner,
Eric R. Hudson,
Jeffrey H. Hunt,
Robert Joynt,
Scott Koziol,
H. J. Lewandowski,
Douglas T. McClure,
Jens Palsberg,
Gina Passante,
Kristen L. Pudenz,
Christopher J. K. Richardson,
Jessica L. Rosenberg,
R. S. Ross,
Mark Saffman
, et al. (7 additional authors not shown)
Abstract:
Interest in building dedicated Quantum Information Science and Engineering (QISE) education programs has greatly expanded in recent years. These programs are inherently convergent, complex, often resource intensive and likely require collaboration with a broad variety of stakeholders. In order to address this combination of challenges, we have captured ideas from many members in the community. Thi…
▽ More
Interest in building dedicated Quantum Information Science and Engineering (QISE) education programs has greatly expanded in recent years. These programs are inherently convergent, complex, often resource intensive and likely require collaboration with a broad variety of stakeholders. In order to address this combination of challenges, we have captured ideas from many members in the community. This manuscript not only addresses policy makers and funding agencies (both public and private and from the regional to the international level) but also contains needs identified by industry leaders and discusses the difficulties inherent in creating an inclusive QISE curriculum. We report on the status of eighteen post-secondary education programs in QISE and provide guidance for building new programs. Lastly, we encourage the development of a comprehensive strategic plan for quantum education and workforce development as a means to make the most of the ongoing substantial investments being made in QISE.
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
Quantum cellular automata and quantum field theory in two spatial dimensions
Authors:
Todd A. Brun,
Leonard Mlodinow
Abstract:
Quantum walks on lattices can give rise to one-particle relativistic wave equations in the long-wavelength limit. In going to multiple particles, quantum cellular automata (QCA) are natural generalizations of quantum walks. In one spatial dimension, the quantum walk can be "promoted" to a QCA that, in the long-wavelength limit, gives rise to the Dirac quantum field theory (QFT) for noninteracting…
▽ More
Quantum walks on lattices can give rise to one-particle relativistic wave equations in the long-wavelength limit. In going to multiple particles, quantum cellular automata (QCA) are natural generalizations of quantum walks. In one spatial dimension, the quantum walk can be "promoted" to a QCA that, in the long-wavelength limit, gives rise to the Dirac quantum field theory (QFT) for noninteracting fermions. This QCA/QFT correspondence has both theoretical and practical applications, but there are obstacles to similar constructions in two or more spatial dimensions. Here we show that a method of construction employing distinguishable particles confined to the completely antisymmetric subspace yields a QCA in two spatial dimensions that gives rise to the 2D Dirac QFT. Generalizing to 3D will entail some additional complications, but no conceptual barriers. We examine how this construction evades the "no go" results in earlier work.
△ Less
Submitted 18 October, 2020;
originally announced October 2020.
-
Quantum field theory from a quantum cellular automaton in one spatial dimension and a no-go theorem in higher dimensions
Authors:
Leonard Mlodinow,
Todd A. Brun
Abstract:
It has been shown that certain quantum walks give rise to relativistic wave equations, such as the Dirac and Weyl equations, in their long-wavelength limits. This intriguing result raises the question of whether something similar can happen in the multi-particle case. We construct a one-dimensional quantum cellular automaton (QCA) model which matches the quantum walk in the single particle case, a…
▽ More
It has been shown that certain quantum walks give rise to relativistic wave equations, such as the Dirac and Weyl equations, in their long-wavelength limits. This intriguing result raises the question of whether something similar can happen in the multi-particle case. We construct a one-dimensional quantum cellular automaton (QCA) model which matches the quantum walk in the single particle case, and which approaches the quantum field theory of free fermions in the long-wavelength limit. However, we show that this class of constructions does not generalize to higher spatial dimensions in any straightforward way, and that no construction with similar properties is possible in two or more spatial dimensions. This rules out the most common approaches based on QCAs. We suggest possible methods to overcome this barrier while retaining locality.
△ Less
Submitted 17 September, 2020; v1 submitted 16 June, 2020;
originally announced June 2020.
-
Continuous quantum error detection and suppression with pairwise local interactions
Authors:
Yi-Hsiang Chen,
Todd A. Brun
Abstract:
Performing measurements for high-weight operators has been a practical problem in quantum computation, especially for quantum codes in the stabilizer formalism. The conventional procedure of measuring a high-weight operator requires multiple pairwise unitary operations, which can be slow and prone to errors. We provide an alternative method to passively detect the value of a high-weight operator u…
▽ More
Performing measurements for high-weight operators has been a practical problem in quantum computation, especially for quantum codes in the stabilizer formalism. The conventional procedure of measuring a high-weight operator requires multiple pairwise unitary operations, which can be slow and prone to errors. We provide an alternative method to passively detect the value of a high-weight operator using only two-local interactions and single-qubit continuous measurements. This approach involves joint interactions between the system and continuously-monitored ancillary qubits. The measurement outcomes from the monitor qubits reveal information about the value of the operator. This information can be retrieved by using a numerical estimator or by evaluating the time average of the signals. The interaction Hamiltonian can be effectively built using only two-local operators, based on techniques from perturbation theory. We apply this indirect detection scheme to the four-qubit Bacon-Shor code, where the two stabilizers are indirectly monitored using four ancillary qubits. Due to the fact that the four-qubit Bacon-Shor code is an error-detecting code and that the Quantum Zeno Effect can suppress errors, we also study the error suppression under the indirect measurement process. In this example, we show that various types of non-Markovian errors can be suppressed.
△ Less
Submitted 19 October, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Constant depth fault-tolerant Clifford circuits for multi-qubit large block codes
Authors:
Yi-Cong Zheng,
Ching-Yi Lai,
Todd A. Brun,
Leong-Chuan Kwek
Abstract:
Fault-tolerant quantum computation (FTQC) schemes using large block codes that encode $k>1$ qubits in $n$ physical qubits can potentially reduce the resource overhead to a great extent because of their high encoding rate. However, the fault-tolerant (FT) logical operations for the encoded qubits are difficult to find and implement, which usually takes not only a very large resource overhead but al…
▽ More
Fault-tolerant quantum computation (FTQC) schemes using large block codes that encode $k>1$ qubits in $n$ physical qubits can potentially reduce the resource overhead to a great extent because of their high encoding rate. However, the fault-tolerant (FT) logical operations for the encoded qubits are difficult to find and implement, which usually takes not only a very large resource overhead but also long $\textit{in-situ}$ computation time. In this paper, we focus on Calderbank-Shor-Steane $[\![ n,k,d ]\!]$ (CSS) codes and their logical FT Clifford circuits. We show that the depth of an arbitrary logical Clifford circuit can be implemented fault-tolerantly in $O(1)$ steps \emph{in-situ} via either Knill or Steane syndrome measurement circuit, with the qualified ancilla states efficiently prepared. Particularly, for those codes satisfying $k/n\sim Θ(1)$, the resource scaling for Clifford circuits implementation on the logical level can be the same as on the physical level up to a constant, which is independent of code distance $d$. With a suitable pipeline to produce ancilla states, our scheme requires only a modest resource cost in physical qubits, physical gates, and computation time for very large scale FTQC.
△ Less
Submitted 1 August, 2020; v1 submitted 27 March, 2020;
originally announced March 2020.
-
Quantum Error Correction
Authors:
Todd A. Brun
Abstract:
Quantum error correction is a set of methods to protect quantum information--that is, quantum states--from unwanted environmental interactions (decoherence) and other forms of noise. The information is stored in a quantum error-correcting code, which is a subspace in a larger Hilbert space. This code is designed so that the most common errors move the state into an error space orthogonal to the or…
▽ More
Quantum error correction is a set of methods to protect quantum information--that is, quantum states--from unwanted environmental interactions (decoherence) and other forms of noise. The information is stored in a quantum error-correcting code, which is a subspace in a larger Hilbert space. This code is designed so that the most common errors move the state into an error space orthogonal to the original code space while preserving the information in the state. It is possible to determine whether an error has occurred by a suitable measurement and to apply a unitary correction that returns the state to the code space, without measuring (and hence disturbing) the protected state itself. In general, codewords of a quantum code are entangled states. No code that stores information can protect against all possible errors; instead, codes are designed to correct a specific error set, which should be chosen to match the most likely types of noise. An error set is represented by a set of operators that can multiply the codeword state. Quantum error correction is used to protect information in quantum communication (where quantum states pass through noisy channels) and quantum computation (where quantum states are transformed through a sequence of imperfect computational steps in the presence of environmental decoherence to solve a computational problem). In quantum computation, error correction is just one component of fault-tolerant design.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Quantum Data-Syndrome Codes
Authors:
Alexei Ashikhmin,
Ching-Yi Lai,
Todd A. Brun
Abstract:
Performing active quantum error correction to protect fragile quantum states highly depends on the correctness of error information--error syndromes. To obtain reliable error syndromes using imperfect physical circuits, we propose the idea of quantum data-syndrome (DS) codes that are capable of correcting both data qubits and syndrome bits errors. We study fundamental properties of quantum DS code…
▽ More
Performing active quantum error correction to protect fragile quantum states highly depends on the correctness of error information--error syndromes. To obtain reliable error syndromes using imperfect physical circuits, we propose the idea of quantum data-syndrome (DS) codes that are capable of correcting both data qubits and syndrome bits errors. We study fundamental properties of quantum DS codes, including split weight enumerators, generalized MacWilliams identities, and linear programming bounds. In particular, we derive Singleton and Hamming-type upper bounds on degenerate quantum DS codes. Then we study random DS codes and show that random DS codes with a relatively small additional syndrome measurements achieve the Gilbert-Varshamov bound of stabilizer codes. Constructions of quantum DS codes are also discussed. A family of quantum DS codes is based on classical linear block codes, called syndrome measurement codes, so that syndrome bits are encoded in additional redundant stabilizer measurements. Another family of quantum DS codes is CSS-type quantum DS codes based on classical cyclic codes, and this includes the Steane code and the quantum Golay code.
△ Less
Submitted 2 July, 2019;
originally announced July 2019.
-
Quantifying non-Markovianity: a quantum resource-theoretic approach
Authors:
Namit Anand,
Todd A. Brun
Abstract:
The quantification and characterization of non-Markovian dynamics in quantum systems is an essential endeavor both for the theory of open quantum systems and for a deeper understanding of the effects of non-Markovian noise on quantum technologies. Here, we introduce the robustness of non-Markovianity, an operationally-motivated, optimization-free measure that quantifies the minimum amount of Marko…
▽ More
The quantification and characterization of non-Markovian dynamics in quantum systems is an essential endeavor both for the theory of open quantum systems and for a deeper understanding of the effects of non-Markovian noise on quantum technologies. Here, we introduce the robustness of non-Markovianity, an operationally-motivated, optimization-free measure that quantifies the minimum amount of Markovian noise that can be mixed with a non-Markovian evolution before it becomes Markovian. We show that this quantity is a bonafide non-Markovianity measure, since it is faithful, convex, and monotonic under composition with Markovian channels. A two-fold operational interpretation of this measure is provided, with the robustness measure quantifying an advantage in both a state discrimination and a channel discrimination task. Furthermore, we provide a closed-form analytical expression for this measure and show that, quite remarkably, the robustness measure is exactly equal to half the Rivas-Huelga-Plenio (RHP) measure [Phys. Rev. Lett. \textbf{105}, 050403 (2010)]. As a result, we provide a direct operational meaning to the RHP measure while endowing the robustness measure with the physical characterizations of the RHP measure.
△ Less
Submitted 27 May, 2019; v1 submitted 9 March, 2019;
originally announced March 2019.
-
Qubit POVMs by destructive weak measurements
Authors:
Yi-Hsiang Chen,
Todd A. Brun
Abstract:
Many quantum measurements, such as photodetection, can be destructive. In photodetection, when the detector clicks a photon has been absorbed and destroyed. Yet the lack of a click also gives information about the presence or absence of a photon. In monitoring the emission of photons from a source, one decomposes the strong measurement into a series of weak measurements, which describe the evoluti…
▽ More
Many quantum measurements, such as photodetection, can be destructive. In photodetection, when the detector clicks a photon has been absorbed and destroyed. Yet the lack of a click also gives information about the presence or absence of a photon. In monitoring the emission of photons from a source, one decomposes the strong measurement into a series of weak measurements, which describe the evolution of the state during the measurement process. Motivated by this example of destructive photon detection, a simple model of destructive weak measurements using qubits was studied in [1]. It has shown that the model can achieve any positive-operator valued measurement (POVM) with commuting POVM elements including projective measurements. In this paper, we use a different approach for decomposing any POVM into a series of weak measurements. The process involves three steps: randomly choose, with certain probabilities, a set of linearly independent POVM elements; perform that POVM by a series of destructive weak measurements; output the result of the series of weak measurements with certain probabilities. The probabilities of the outcomes from this process agree with those from the original POVM, and hence this model of destructive weak measurements can perform any qubit POVM.
△ Less
Submitted 28 June, 2019; v1 submitted 2 December, 2018;
originally announced December 2018.
-
Quantum Steganography over Noisy Channels: Achievability and Bounds
Authors:
Chris Sutherland,
Todd A. Brun
Abstract:
Quantum steganography is the study of hiding secret quantum information by encoding it into what an eavesdropper would perceive as an innocent-looking message. Here we study an explicit steganographic encoding for a sender, Alice, to hide a secret message in the syndromes of an error-correcting code, so that the encoding simulates a given noisy quantum channel that Eve believes to connect Alice an…
▽ More
Quantum steganography is the study of hiding secret quantum information by encoding it into what an eavesdropper would perceive as an innocent-looking message. Here we study an explicit steganographic encoding for a sender, Alice, to hide a secret message in the syndromes of an error-correcting code, so that the encoding simulates a given noisy quantum channel that Eve believes to connect Alice and Bob. The actual physical channel connecting Alice and Bob is noisy, but less noisy than Eve believes. We show that for the bit-flip and depolarizing channels Alice can use Eve's lack of knowledge of the channel parameter to encode quantum information steganographically. We give an explicit encoding procedure and calculate the rate at which Alice and Bob can communicate secretly. We also show that our encoding is optimal for nondegenerate quantum codes. We calculate the rate at which secret key must be consumed. Finally, we discuss the possibility of steganographic communication over more general quantum channels, and conjecture a general formula for the steganographic rate.
△ Less
Submitted 29 July, 2019; v1 submitted 7 August, 2018;
originally announced August 2018.
-
Depth reduction for quantum Clifford circuits through Pauli measurements
Authors:
Yi-Cong Zheng,
Ching-Yi Lai,
Todd A. Brun,
Leong-Chuan Kwek
Abstract:
Clifford circuits play an important role in quantum computation. Gottesman and Chuang proposed a gate teleportation protocol so that a quantum circuit can be implemented by the teleportation circuit with specific ancillary qubits. In particular, an $n$-qubit Clifford circuit $U$ can be implemented by preparing an ancillary stabilizer state $(I\otimes U)|Φ^+\rangle^{\otimes n}$ for teleportation an…
▽ More
Clifford circuits play an important role in quantum computation. Gottesman and Chuang proposed a gate teleportation protocol so that a quantum circuit can be implemented by the teleportation circuit with specific ancillary qubits. In particular, an $n$-qubit Clifford circuit $U$ can be implemented by preparing an ancillary stabilizer state $(I\otimes U)|Φ^+\rangle^{\otimes n}$ for teleportation and doing a Pauli correction conditioned on the measurement. In this paper, we provide an alternative procedure to implement a Clifford circuit through Pauli measurements, by preparing $O(1)$ ancillas that are Calderbank-Shor-Steane (CSS) stabilizer states. That is to say, $O(1)$ CSS states are sufficient to implement any Clifford circuit. As an application to fault-tolerant quantum computation, any Clifford circuit can be implemented by $O(1)$ steps of Steane syndrome extraction if clean CSS stabilizer states are available.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
Non-Markovianity of the Post Markovian Master Equation
Authors:
Chris Sutherland,
Todd A. Brun,
Daniel A. Lidar
Abstract:
An easily solvable quantum master equation has long been sought that takes into account memory effects induced on the system by the bath, i.e., non-Markovian effects. We briefly review the Post-Markovian master equation (PMME), which is relatively easy to solve, and analyze a simple example where solutions obtained exhibit non-Markovianity. We apply the distinguishability measure introduced by Bre…
▽ More
An easily solvable quantum master equation has long been sought that takes into account memory effects induced on the system by the bath, i.e., non-Markovian effects. We briefly review the Post-Markovian master equation (PMME), which is relatively easy to solve, and analyze a simple example where solutions obtained exhibit non-Markovianity. We apply the distinguishability measure introduced by Breuer et al., and we also explicitly analyze the divisibility of the associated quantum dynamical maps. We give a mathematical condition on the memory kernel used in the PMME that guarantees non-CP-divisible dynamics.
△ Less
Submitted 12 May, 2018;
originally announced May 2018.
-
Quantum Steganography over Noiseless Channels: Achievability and Bounds
Authors:
Chris Sutherland,
Todd A. Brun
Abstract:
Quantum steganography is the study of hiding secret quantum information by encoding it into what an eavesdropper would perceive as an innocent-looking message. Here we study an explicit steganographic encoding for Alice to hide her secret message in the syndromes of an error-correcting code, so that the encoding simulates a given noisy quantum channel. We calculate achievable rates of steganograph…
▽ More
Quantum steganography is the study of hiding secret quantum information by encoding it into what an eavesdropper would perceive as an innocent-looking message. Here we study an explicit steganographic encoding for Alice to hide her secret message in the syndromes of an error-correcting code, so that the encoding simulates a given noisy quantum channel. We calculate achievable rates of steganographic communication over noiseless quantum channels using this encoding. We give definitions of secrecy and reliability for the communication process, and with these assumptions derive upper bounds on the amount of steganographic communication possible, and show that these bounds match the communication rates achieved with our encoding. This gives a steganographic capacity for a noiseless channel emulating a given noisy channel.
△ Less
Submitted 3 May, 2018;
originally announced May 2018.
-
Decomposing qubit positive-operator valued measurements into continuous destructive weak measurements
Authors:
Yi-Hsiang Chen,
Todd A. Brun
Abstract:
It has been shown that any generalized measurement can be decomposed into a sequence of weak measurements corresponding to a stochastic process. However, the weak measurements may require almost arbitrary unitaries, which are unlikely to be realized by any real measurement device. Furthermore, many measurement processes are destructive, like photon counting procedures that terminate once all photo…
▽ More
It has been shown that any generalized measurement can be decomposed into a sequence of weak measurements corresponding to a stochastic process. However, the weak measurements may require almost arbitrary unitaries, which are unlikely to be realized by any real measurement device. Furthermore, many measurement processes are destructive, like photon counting procedures that terminate once all photons are consumed. One cannot expect to have full control of the evolution of a state under such destructive measurements, and the possible unitaries allow only a limited set of weak measurements. In this paper, we consider a qubit model of destructive weak measurements, which is a toy version of an optical cavity, in which the state of an electromagnetic field mode inside the cavity leaks out and is measured destructively while the vacuum state |0> leaks in to the cavity. At long times, the state of the qubit inevitably evolves to be |0>, and the only available control is the choice of measurement on the external ancilla system. Surprisingly, this very limited model can still perform an arbitrary projective measurement on the qubit in any basis, where the probability of getting an outcome satisfies the usual Born rule. Combining this method with probabilistic post processing, the result can be extended to any generalized measurement with commuting POVM elements. This implies, among other results, that any two-outcome POVM on a qubit can be decomposed into a sequence of destructive weak measurements by this restricted measurement device.
△ Less
Submitted 16 November, 2018; v1 submitted 10 April, 2018;
originally announced April 2018.
-
Detection of discrete spacetime by matter interferometry
Authors:
Todd A. Brun,
Leonard Mlodinow
Abstract:
If the structure of spacetime is discrete, then Lorentz symmetry should only be an approximation, valid at long length scales. At finite lattice spacings there will be small corrections to the Dirac evolution that could in principle be experimentally detected. In particular, the lattice structure should be reflected in a modification of the free-particle dispersion relation. We show that these can…
▽ More
If the structure of spacetime is discrete, then Lorentz symmetry should only be an approximation, valid at long length scales. At finite lattice spacings there will be small corrections to the Dirac evolution that could in principle be experimentally detected. In particular, the lattice structure should be reflected in a modification of the free-particle dispersion relation. We show that these can produce a surprisingly large phase shift between the two arms of an asymmetrical interferometer. This method could be employed to test any model that predicts a direction-dependent dispersion relation. Here, we calculate the size of this phase shift for a particular model, the 3D quantum walk on the body-centered cubic lattice, which has been shown to give rise to the Dirac equation in the continuum limit. Though the details of this model will affect the size of the shift, its magnitude is set largely by dimensional analysis, so there is reason to believe that other models would yield similar results. We find that, with current technology, a modest-sized neutron interferometer could put strong bounds on the size of the lattice spacing. This discreteness could possibly be detected even for lattice spacings at the Planck scale by a suitably scaled-up experiment.
△ Less
Submitted 12 February, 2018;
originally announced February 2018.
-
Discrete spacetime, quantum walks and relativistic wave equations
Authors:
Leonard Mlodinow,
Todd A. Brun
Abstract:
It has been observed that quantum walks on regular lattices can give rise to wave equations for relativistic particles in the continuum limit. In this paper we define the 3D walk as a product of three coined one-dimensional walks. The factor corresponding to each one-dimensional walk involves two projection operators that act on an internal coin space, each projector is associated with either the…
▽ More
It has been observed that quantum walks on regular lattices can give rise to wave equations for relativistic particles in the continuum limit. In this paper we define the 3D walk as a product of three coined one-dimensional walks. The factor corresponding to each one-dimensional walk involves two projection operators that act on an internal coin space, each projector is associated with either the "forward" or "backward" direction in that physical dimension. We show that the simple requirement that there is no preferred axis or direction along an axis---that is, that the walk be symmetric under parity transformations and rotations that swap the axes of the cubic lattice---leads to the requirement that the continuum limit of the walk is fully Lorentz invariant. We show further that, in the case of a massive particle, this simple symmetry requirement necessitates that inclusion of antimatter---the use of a four-dimensional internal space---and that the "coin flip" operation is generated by the parity transformation on the internal coin space, while the differences of the projection operators associated to each dimension must all anticommute. Finally, we discuss the leading correction to the continuum limit, and the possibility of distinguishing through experiment between the discrete random walk and the continuum-based Dirac equation as a description of fermion dynamics.
△ Less
Submitted 12 February, 2018;
originally announced February 2018.
-
Abrupt transitions between Markovian and non-Markovian dynamics in open quantum systems
Authors:
Shengshi Pang,
Todd A. Brun,
Andrew N. Jordan
Abstract:
A rapid restoration of the bath state is usually required to induce Markovian dynamics for an open quantum system, which typically can be realized only in limits such as weak system-bath coupling and infinitely large bath. In this work, we investigate the Markovianity of a qubit system coupled to a single-qubit bath with the qubit bath being continuously refreshed by quantum cooling. A surprising…
▽ More
A rapid restoration of the bath state is usually required to induce Markovian dynamics for an open quantum system, which typically can be realized only in limits such as weak system-bath coupling and infinitely large bath. In this work, we investigate the Markovianity of a qubit system coupled to a single-qubit bath with the qubit bath being continuously refreshed by quantum cooling. A surprising result is that there exists a finite threshold for the cooling rate at which the system transitions from non-Markovian dynamics to Markovian dynamics, which is in sharp contrast to the usual understanding that Markovian dynamics is an asymptotic behavior under the Born-Markov approximation. We also study the time correlation of the bath, and find that the decay rate of bath time correlation is of the same order as the system evolution speed. This suggests that quantum Markovian dynamics can exist beyond the usual short bath correlation limit.
△ Less
Submitted 28 December, 2017;
originally announced December 2017.
-
Efficient Preparation of Large Block Code Ancilla States for Fault-tolerant Quantum Computation
Authors:
Yi-Cong Zheng,
Ching-Yi Lai,
Todd A. Brun
Abstract:
Fault-tolerant quantum computation (FTQC) schemes that use multi-qubit large block codes can potentially reduce the resource overhead to a great extent. A major obstacle is the requirement of a large number of clean ancilla states of different types without correlated errors inside each block. These ancilla states are usually logical stabilizer states of the data code blocks, which are generally d…
▽ More
Fault-tolerant quantum computation (FTQC) schemes that use multi-qubit large block codes can potentially reduce the resource overhead to a great extent. A major obstacle is the requirement of a large number of clean ancilla states of different types without correlated errors inside each block. These ancilla states are usually logical stabilizer states of the data code blocks, which are generally difficult to prepare if the code size is large. Previously we have proposed an ancilla distillation protocol for Calderbank-Shor-Steane (CSS) codes by classical error-correcting codes. It was assumed that the quantum gates in the distillation circuit were perfect; however, in reality, noisy quantum gates may introduce correlated errors that are not treatable by the protocol. In this paper, we show that additional postselection by another classical error-detecting code can be applied to remove almost all correlated errors. Consequently, the revised protocol is fully fault-tolerant and capable of preparing a large set of stabilizer states sufficient for FTQC using large block codes. At the same time, the yield rate can be boosted from $O(t^{-2})$ to $O(1)$ in practice for an $[[n,k,d=2t+1]]$ CSS code. Ancilla preparation for the $[[23,1,7]]$ quantum Golay code is numerically studied in detail through Monte Carlo simulation. The results support the validity of the protocol when the gate failure rate is reasonably low. To the best of our knowledge, this approach is the first attempt to prepare general large block stabilizer states free of correlated errors for FTQC in a fault-tolerant and efficient manner.
△ Less
Submitted 22 March, 2018; v1 submitted 1 October, 2017;
originally announced October 2017.
-
In-situ Adaptive Encoding for Asymmetric Quantum Error Correcting Codes
Authors:
Jan Florjanczyk,
Todd A. Brun
Abstract:
We present techniques that improve the performance of asymmetric stabilizer codes in the presence of unital channels with unknown parameters. Our method estimates the channel parameters using information recovered from syndrome measurements during standard stabilizer quantum error correction and adaptively realigns the codespace to minimize the uncorrectable error rate. We find that for dephasing…
▽ More
We present techniques that improve the performance of asymmetric stabilizer codes in the presence of unital channels with unknown parameters. Our method estimates the channel parameters using information recovered from syndrome measurements during standard stabilizer quantum error correction and adaptively realigns the codespace to minimize the uncorrectable error rate. We find that for dephasing channels parametrized by a single angle our scheme yields lifetimes dominated by the bit-flip error rate for which the asymmetric code has an improved distance. In the case of general unital channels we are able to learn and exploit orientations of the channel that yield a constant improvement to the code lifetime. In both cases, since our method is adaptive and online, we are able to model the effect of drift in the channel parameters.
△ Less
Submitted 28 May, 2017; v1 submitted 17 December, 2016;
originally announced December 2016.
-
Protecting weak measurements against systematic errors
Authors:
Shengshi Pang,
Jose Raul Gonzalez Alonso,
Todd A. Brun,
Andrew N. Jordan
Abstract:
In this work, we consider the systematic error of quantum metrology by weak measurements under decoherence. We derive the systematic error of maximum likelihood estimation in general to the first-order approximation of a small deviation in the probability distribution, and study the robustness of standard weak measurement and postselected weak measurements against systematic errors. We show that,…
▽ More
In this work, we consider the systematic error of quantum metrology by weak measurements under decoherence. We derive the systematic error of maximum likelihood estimation in general to the first-order approximation of a small deviation in the probability distribution, and study the robustness of standard weak measurement and postselected weak measurements against systematic errors. We show that, with a large weak value, the systematic error of a postselected weak measurement when the probe undergoes decoherence can be significantly lower than that of a standard weak measurement. This indicates the advantage of weak value amplification in improving the performance of parameter estimation. We illustrate the results by an exact numerical simulation of decoherence arising from a bosonic mode and compare it to the first-order analytical result we obtain.
△ Less
Submitted 20 July, 2016; v1 submitted 29 May, 2016;
originally announced May 2016.
-
Fault-tolerant Preparation of Stabilizer States for Quantum CSS Codes by Classical Error-Correcting Codes
Authors:
Ching-Yi Lai,
Yi-Cong Zheng,
Todd A. Brun
Abstract:
Stabilizer states are extensively studied in quantum information theory for their structures based on the Pauli group. Calderbank-Shor-Steane (CSS) stabilizer states are of particular importance in their application to fault-tolerant quantum computation (FTQC). However, how to fault-tolerantly prepare arbitrary CSS stabilizer states for general CSS stabilizer codes is still unknown, and their prep…
▽ More
Stabilizer states are extensively studied in quantum information theory for their structures based on the Pauli group. Calderbank-Shor-Steane (CSS) stabilizer states are of particular importance in their application to fault-tolerant quantum computation (FTQC). However, how to fault-tolerantly prepare arbitrary CSS stabilizer states for general CSS stabilizer codes is still unknown, and their preparation can be highly costly in computational resources. In this paper, we show how to prepare a large class of CSS stabilizer states useful for FTQC. We propose distillation protocols using syndrome encoding by classical codes or quantum CSS codes. Along the same lines, we show that classical coding techniques can reduce the ancilla consumption in Steane syndrome extraction by using additional transversal controlled-NOT gates and classical computing power. In the scenario of a fixed ancilla consumption rate, we can increase the frequency of quantum error correction and effectively lower the error rate.
△ Less
Submitted 8 March, 2017; v1 submitted 18 May, 2016;
originally announced May 2016.
-
Decoherence by Internal Degrees of Freedom
Authors:
Todd A. Brun,
Leonard Mlodinow
Abstract:
We consider a composite system consisting of coupled particles, and investigate decoherence due to coupling of the center-of-mass degree of freedom with the internal degrees of freedom. For a simple model of two bound particles, we show that in general such a decoherence effect exists, and leads to suppression of interference between different paths of the center-of-mass. For the special case of t…
▽ More
We consider a composite system consisting of coupled particles, and investigate decoherence due to coupling of the center-of-mass degree of freedom with the internal degrees of freedom. For a simple model of two bound particles, we show that in general such a decoherence effect exists, and leads to suppression of interference between different paths of the center-of-mass. For the special case of two harmonically-bound particles moving in an external potential in one dimension, we show that the coupling between the center-of-mass and internal degrees of freedom can be approximated as parametric driving, and that nontrivial coupling depends on the second derivative of the external potential. We find a partial solution to this parametric driving problem. For a simple interference experiment, consisting of two wave packets scattering off of a square well, we perform numerical simulations and show a close connection between suppression of interference and entanglement between the center-of-mass and internal degrees of freedom. We also propose a measure of compositeness which quantifies the extent to which a composite system cannot be approximated as a single, indivisible particle. We numerically calculate this quantity for our square well example system.
△ Less
Submitted 16 December, 2015; v1 submitted 11 December, 2015;
originally announced December 2015.
-
Method for quantum-jump continuous-time quantum error correction
Authors:
Kung-Chuan Hsu,
Todd A. Brun
Abstract:
Continuous-time quantum error correction (CTQEC) is a technique for protecting quantum information against decoherence, where both the decoherence and error correction processes are considered continuous in time. Given any [[n,k,d]] quantum stabilizer code, we formulate a class of protocols to implement CTQEC, involving weak coherent measurements and weak unitary corrections. Under this formalism,…
▽ More
Continuous-time quantum error correction (CTQEC) is a technique for protecting quantum information against decoherence, where both the decoherence and error correction processes are considered continuous in time. Given any [[n,k,d]] quantum stabilizer code, we formulate a class of protocols to implement CTQEC, involving weak coherent measurements and weak unitary corrections. Under this formalism, we show that the minimal required size of the ancillary system is n-k+1 qubits, and we propose one scheme that meets this minimal requirement. Furthermore, we compare our method with other known schemes, and show that a particular measure of performance described in this paper is better when using our method.
△ Less
Submitted 18 February, 2016; v1 submitted 1 October, 2015;
originally announced October 2015.
-
Suppressing technical noises in weak measurement by entanglement
Authors:
Shengshi Pang,
Todd A. Brun
Abstract:
Postselected weak measurement has aroused broad interest for its distinctive ability to amplify small physical quantities. However, the low postselection efficiency to obtain a large weak value has been a big obstacle to its application in practice, since it may waste resources, and reduce the measurement precision. An improved protocol was proposed in [Phys. Rev. Lett. 113, 030401 (2014)] to make…
▽ More
Postselected weak measurement has aroused broad interest for its distinctive ability to amplify small physical quantities. However, the low postselection efficiency to obtain a large weak value has been a big obstacle to its application in practice, since it may waste resources, and reduce the measurement precision. An improved protocol was proposed in [Phys. Rev. Lett. 113, 030401 (2014)] to make the postselected weak measurement dramatically more efficient by using entanglement. Such a protocol can increase the Fisher information of the measurement to approximately saturate the well-known Heisenberg limit. In this paper, we review the entanglement-assisted protocol of postselected weak measurement in detail, and study its robustness against technical noises. We focus on readout errors. Readout errors can greatly degrade the performance of postselected weak measurement, especially when the readout error probability is comparable to the postselection probability. We show that entanglement can significantly reduce the two main detrimental effects of readout errors: inaccuracy in the measurement result, and the loss of Fisher information. We extend the protocol by introducing a majority vote scheme to postselection to further compensate for readout errors. With a proper threshold, almost no Fisher information will be lost. These results demonstrate the effectiveness of entanglement in protecting postselected weak measurement against readout errors.
△ Less
Submitted 13 August, 2015; v1 submitted 29 April, 2015;
originally announced April 2015.
-
Simulations of closed timelike curves
Authors:
Todd A. Brun,
Mark M. Wilde
Abstract:
Proposed models of closed timelike curves (CTCs) have been shown to enable powerful information-processing protocols. We examine the simulation of models of CTCs both by other models of CTCs and by physical systems without access to CTCs. We prove that the recently proposed transition probability CTCs (T-CTCs) are physically equivalent to postselection CTCs (P-CTCs), in the sense that one model ca…
▽ More
Proposed models of closed timelike curves (CTCs) have been shown to enable powerful information-processing protocols. We examine the simulation of models of CTCs both by other models of CTCs and by physical systems without access to CTCs. We prove that the recently proposed transition probability CTCs (T-CTCs) are physically equivalent to postselection CTCs (P-CTCs), in the sense that one model can simulate the other with reasonable overhead. As a consequence, their information-processing capabilities are equivalent. We also describe a method for quantum computers to simulate Deutschian CTCs (but with a reasonable overhead only in some cases). In cases for which the overhead is reasonable, it might be possible to perform the simulation in a table-top experiment. This approach has the benefit of resolving some ambiguities associated with the equivalent circuit model of Ralph et al. Furthermore, we provide an explicit form for the state of the CTC system such that it is a maximum-entropy state, as prescribed by Deutsch.
△ Less
Submitted 17 January, 2017; v1 submitted 22 April, 2015;
originally announced April 2015.
-
Teleportation-based Fault-tolerant Quantum Computation in Multi-qubit Large Block Codes
Authors:
Todd A. Brun,
Yi-Cong Zheng,
Kung-Chuan Hsu,
Joshua Job,
Ching-Yi Lai
Abstract:
A major goal for fault-tolerant quantum computation (FTQC) is to reduce the overhead needed for error correction. One approach is to use block codes that encode multiple qubits, which can achieve significantly higher rates for the same code distance than single-qubit code blocks or topological codes. We present a scheme for universal quantum computation using multi-qubit Calderbank-Shor-Steane (CS…
▽ More
A major goal for fault-tolerant quantum computation (FTQC) is to reduce the overhead needed for error correction. One approach is to use block codes that encode multiple qubits, which can achieve significantly higher rates for the same code distance than single-qubit code blocks or topological codes. We present a scheme for universal quantum computation using multi-qubit Calderbank-Shor-Steane (CSS) block codes, where codes admitting different transversal gates are used to achieve universality, and logical teleportation is used to move qubits between code blocks. All circuits for both computation and error correction are transversal. We also argue that single shot fault-tolerant error correction can be done in Steane syndrome extraction. Then, we present estimates of information lifetime for a few possible codes, which suggests that highly nontrivial quantum computations can be achieved at reasonable error rates, using codes that require significantly less than 100 physical qubits per logical qubit.
△ Less
Submitted 15 April, 2015;
originally announced April 2015.
-
Continuous decomposition of quantum measurements via Hamiltonian feedback
Authors:
Jan Florjanczyk,
Todd A. Brun
Abstract:
We characterize the set of generalized quantum measurements that can be decomposed into a continuous measurement process using a stream of probe qubits and a tunable interaction Hamilto- nian. Each probe in the stream interacts weakly with the target quantum system, then is measured projectively in a standard basis. This measurement result is used in a closed feedback loop to tune the interaction…
▽ More
We characterize the set of generalized quantum measurements that can be decomposed into a continuous measurement process using a stream of probe qubits and a tunable interaction Hamilto- nian. Each probe in the stream interacts weakly with the target quantum system, then is measured projectively in a standard basis. This measurement result is used in a closed feedback loop to tune the interaction Hamiltonian for the next probe. The resulting evolution is a stochastic process with the structure of a one-dimensional random walk. To maintain this structure, and require that at long times the measurement outcomes be independent of the path, the allowed interaction Hamil- tonians must lie in a restricted set, such that the Hamiltonian terms on the target system form a finite dimensional Jordan algebra. This algebraic structure of the interaction Hamiltonians yields a large class of generalized measurements that can be continuously performed by our scheme, and we fully describe this set.
△ Less
Submitted 14 April, 2015;
originally announced April 2015.
-
Continuous Limit of Discrete Quantum Walks
Authors:
Dheeraj M N,
Todd A. Brun
Abstract:
Quantum walks can be defined in two quite distinct ways: discrete-time and continuous-time quantum walks (DTQWs and CTQWs). For classical random walks, there is a natural sense in which continuous-time walks are a limit of discrete-time walks. Quantum mechanically, in the discrete-time case, an additional "coin space" must be appended for the walk to have nontrivial time evolution. Continuous-time…
▽ More
Quantum walks can be defined in two quite distinct ways: discrete-time and continuous-time quantum walks (DTQWs and CTQWs). For classical random walks, there is a natural sense in which continuous-time walks are a limit of discrete-time walks. Quantum mechanically, in the discrete-time case, an additional "coin space" must be appended for the walk to have nontrivial time evolution. Continuous-time quantum walks, however, have no such constraints. This means that there is no completely straightforward way to treat a CTQW as a limit of DTQW, as can be done in the classical case. Various approaches to this problem have been taken in the past. We give a construction for walks on $d$-regular, $d$-colorable graphs when the coin flip operator is Hermitian: from a standard DTQW we construct a family of discrete-time walks with a well-defined continuous-time limit on a related graph. One can think of this limit as a {\it coined} continuous-time walk. We show that these CTQWs share some properties with coined DTQWs. In particular, we look at spatial search by a DTQW over the 2-D torus (a grid with periodic boundary conditions) of size $\sqrt{N}\times\sqrt{N}$, where it was shown \nocite{AAmbainis08} that a coined DTQW can search in time $O(\sqrt{N}\log{N})$, but a standard CTQW \nocite{Childs2004} takes $Ω(N)$ time to search for a marked element. The continuous limit of the DTQW search over the 2-D torus exhibits the $O(\sqrt{N}\log{N})$ scaling, like the coined walk it is derived from. We also look at the effects of graph symmetry on the limiting walk, and show that the properties are similar to those of the DTQW as shown in \cite{HariKrovi2007}.
△ Less
Submitted 27 January, 2015;
originally announced January 2015.
-
Fault-tolerant Holonomic Quantum Computation in Surface Codes
Authors:
Yi-Cong Zheng,
Todd A. Brun
Abstract:
We show that universal holonomic quantum computation (HQC) can be achieved fault-tolerantly by adiabatically deforming the gapped stabilizer Hamiltonian of the surface code, where quantum information is encoded in the degenerate ground space of the system Hamiltonian. We explicitly propose procedures to perform each logical operation, including logical state initialization, logical state measureme…
▽ More
We show that universal holonomic quantum computation (HQC) can be achieved fault-tolerantly by adiabatically deforming the gapped stabilizer Hamiltonian of the surface code, where quantum information is encoded in the degenerate ground space of the system Hamiltonian. We explicitly propose procedures to perform each logical operation, including logical state initialization, logical state measurement, logical CNOT, state injection and distillation,etc. In particular, adiabatic braiding of different types of holes on the surface leads to a topologically protected, non-Abelian geometric logical CNOT. Throughout the computation, quantum information is protected from both small perturbations and low weight thermal excitations by a constant energy gap, and is independent of the system size. Also the Hamiltonian terms have weight at most four during the whole process. The effect of thermal error propagation is considered during the adiabatic code deformation. With the help of active error correction, this scheme is fault-tolerant, in the sense that the computation time can be arbitrarily long for large enough lattice size. It is shown that the frequency of error correction and the physical resources needed can be greatly reduced by the constant energy gap.
△ Less
Submitted 4 February, 2015; v1 submitted 16 November, 2014;
originally announced November 2014.
-
Violating the Modified Helstrom Bound with Nonprojective Measurements
Authors:
Justin Dressel,
Todd A. Brun,
Alexander N. Korotkov
Abstract:
We consider the discrimination of two pure quantum states with three allowed outcomes: a correct guess, an incorrect guess, and a non-guess. To find an optimum measurement procedure, we define a tunable cost that penalizes the incorrect guess and non-guess outcomes. Minimizing this cost over all projective measurements produces a rigorous cost bound that includes the usual Helstrom discrimination…
▽ More
We consider the discrimination of two pure quantum states with three allowed outcomes: a correct guess, an incorrect guess, and a non-guess. To find an optimum measurement procedure, we define a tunable cost that penalizes the incorrect guess and non-guess outcomes. Minimizing this cost over all projective measurements produces a rigorous cost bound that includes the usual Helstrom discrimination bound as a special case. We then show that nonprojective measurements can outperform this modified Helstrom bound for certain choices of cost function. The Ivanovic-Dieks-Peres unambiguous state discrimination protocol is recovered as a special case of this improvement. Notably, while the cost advantage of the latter protocol is destroyed with the introduction of any amount of experimental noise, other choices of cost function have optima for which nonprojective measurements robustly show an appreciable, and thus experimentally measurable, cost advantage. Such an experiment would be an unambiguous demonstration of a benefit from nonprojective measurements.
△ Less
Submitted 30 September, 2014;
originally announced October 2014.
-
Improving the precision of weak measurements by postselection measurement
Authors:
Shengshi Pang,
Todd A. Brun
Abstract:
Postselected weak measurement is a useful protocol for amplifying weak physical effects. However, there has recently been controversy over whether it gives any advantage in precision. While it is now clear that retaining failed postselections can yield more Fisher information than discarding them, the advantage of postselection measurement itself still remains to be clarified. In this Letter, we a…
▽ More
Postselected weak measurement is a useful protocol for amplifying weak physical effects. However, there has recently been controversy over whether it gives any advantage in precision. While it is now clear that retaining failed postselections can yield more Fisher information than discarding them, the advantage of postselection measurement itself still remains to be clarified. In this Letter, we address this problem by studying two widely used estimation strategies: averaging measurement results, and maximum likelihood estimation, respectively. For the first strategy, we find a surprising result that squeezed coherent states of the pointer can give postselected weak measurements a higher signal-to-noise ratio than standard ones while all standard coherent states cannot, which suggests that raising the precision of weak measurements by postselection calls for the presence of "nonclassicality" in the pointer states. For the second strategy, we show that the quantum Fisher information of postselected weak measurements is generally larger than that of standard weak measurements, even without using the failed postselection events, but the gap can be closed with a proper choice of system state.
△ Less
Submitted 16 September, 2015; v1 submitted 8 September, 2014;
originally announced September 2014.
-
Quantum metrology for a general Hamiltonian parameter
Authors:
Shengshi Pang,
Todd A. Brun
Abstract:
Quantum metrology enhances the sensitivity of parameter estimation using the distinctive resources of quantum mechanics such as entanglement. It has been shown that the precision of estimating an overall multiplicative factor of a Hamiltonian can be increased to exceed the classical limit, yet little is known about estimating a general Hamiltonian parameter. In this paper, we study this problem in…
▽ More
Quantum metrology enhances the sensitivity of parameter estimation using the distinctive resources of quantum mechanics such as entanglement. It has been shown that the precision of estimating an overall multiplicative factor of a Hamiltonian can be increased to exceed the classical limit, yet little is known about estimating a general Hamiltonian parameter. In this paper, we study this problem in detail. We find that the scaling of the estimation precision with the number of systems can always be optimized to the Heisenberg limit, while the time scaling can be quite different from that of estimating an overall multiplicative factor. We derive the generator of local parameter translation on the unitary evolution operator of the Hamiltonian, and use it to evaluate the estimation precision of the parameter and establish a general upper bound on the quantum Fisher information. The results indicate that the quantum Fisher information generally can be divided into two parts: one is quadratic in time, while the other oscillates with time. When the eigenvalues of the Hamiltonian do not depend on the parameter, the quadratic term vanishes, and the quantum Fisher information will be bounded in this case. To illustrate the results, we give an example of estimating a parameter of a magnetic field by measuring a spin-$\frac{1}{2}$ particle, and compare the results for estimating the amplitude and the direction of the magnetic field.
△ Less
Submitted 29 May, 2016; v1 submitted 22 July, 2014;
originally announced July 2014.
-
Continuous decomposition of quantum measurements via qubit probe feedback
Authors:
Jan Florjanczyk,
Todd A. Brun
Abstract:
It is known that any two-outcome quantum measurement can be decomposed into a continuous stochastic process using a feedback loop. In this article, we characterize which of these decompositions are possible when each iteration of the feedback loop consists of a weak measurement caused by an interaction with a probe system. We restrict ourselves to the case when the probe is a qubit and the interac…
▽ More
It is known that any two-outcome quantum measurement can be decomposed into a continuous stochastic process using a feedback loop. In this article, we characterize which of these decompositions are possible when each iteration of the feedback loop consists of a weak measurement caused by an interaction with a probe system. We restrict ourselves to the case when the probe is a qubit and the interaction Hamiltonian between the probe and system is constant. We find that even given the ability to perform arbitrary unitary pulses throughout the continuous decomposition, only generalized measurements with two distinct singular values are achievable. However, this is sufficient to decompose a generalized qubit measurement using a qubit probe and a simple interaction Hamiltonian.
△ Less
Submitted 19 June, 2014;
originally announced June 2014.
-
Entanglement-assisted weak value amplification
Authors:
Shengshi Pang,
Justin Dressel,
Todd A. Brun
Abstract:
Large weak values have been used to amplify the sensitivity of a linear response signal for detecting changes in a small parameter, which has also enabled a simple method for precise parameter estimation. However, producing a large weak value requires a low postselection probability for an ancilla degree of freedom, which limits the utility of the technique. We propose an improvement to this metho…
▽ More
Large weak values have been used to amplify the sensitivity of a linear response signal for detecting changes in a small parameter, which has also enabled a simple method for precise parameter estimation. However, producing a large weak value requires a low postselection probability for an ancilla degree of freedom, which limits the utility of the technique. We propose an improvement to this method that uses entanglement to increase the efficiency. We show that by entangling and postselecting $n$ ancillas, the postselection probability can be increased by a factor of $n$ while kee** the weak value fixed (compared to $n$ uncorrelated attempts with one ancilla), which is the optimal scaling with $n$ that is expected from quantum metrology. Furthermore, we show the surprising result that the quantum Fisher information about the detected parameter can be almost entirely preserved in the postselected state, which allows the sensitive estimation to approximately saturate the optimal quantum Cramér-Rao bound. To illustrate this protocol we provide simple quantum circuits that can be implemented using current experimental realizations of three entangled qubits.
△ Less
Submitted 23 January, 2014;
originally announced January 2014.
-
Implementing generalized measurements with superconducting qubits
Authors:
Justin Dressel,
Todd A. Brun,
Alexander N. Korotkov
Abstract:
We describe a method to perform any generalized purity-preserving measurement of a qubit with techniques tailored to superconducting systems. First, we consider two methods for realizing a two-outcome partial projection: using a thresholded continuous measurement in the circuit QED setup, or using an indirect ancilla qubit measurement. Second, we decompose an arbitrary purity-preserving two-outcom…
▽ More
We describe a method to perform any generalized purity-preserving measurement of a qubit with techniques tailored to superconducting systems. First, we consider two methods for realizing a two-outcome partial projection: using a thresholded continuous measurement in the circuit QED setup, or using an indirect ancilla qubit measurement. Second, we decompose an arbitrary purity-preserving two-outcome measurement into single qubit unitary rotations and a partial projection. Third, we systematically reduce any multiple-outcome measurement to a sequence of such two-outcome measurements and unitary operations. Finally, we consider how to define suitable fidelity measures for multiple-outcome generalized measurements.
△ Less
Submitted 14 July, 2014; v1 submitted 4 December, 2013;
originally announced December 2013.
-
Fault tolerance for holonomic quantum computation
Authors:
Ognyan Oreshkov,
Todd A. Brun,
Daniel A. Lidar
Abstract:
We review an approach to fault-tolerant holonomic quantum computation on stabilizer codes. We explain its workings as based on adiabatic dragging of the subsystem containing the logical information around suitable loops along which the information remains protected.
We review an approach to fault-tolerant holonomic quantum computation on stabilizer codes. We explain its workings as based on adiabatic dragging of the subsystem containing the logical information around suitable loops along which the information remains protected.
△ Less
Submitted 30 November, 2013;
originally announced December 2013.
-
General quantum error-correcting code with entanglement based on codeword stabilized quantum code
Authors:
Jeonghwan Shin,
Jun Heo,
Todd A. Brun
Abstract:
In this paper, we introduce a unified framework to construct entanglement-assisted quantum error-correcting codes, including additive and nonadditive codes, based on the codeword stabilized framework on subsystems. The codeword stabilized (CWS) framework is a scheme to construct quantum error-correcting codes (QECCs) including both additive and nonadditive codes, and gives a method to construct a…
▽ More
In this paper, we introduce a unified framework to construct entanglement-assisted quantum error-correcting codes, including additive and nonadditive codes, based on the codeword stabilized framework on subsystems. The codeword stabilized (CWS) framework is a scheme to construct quantum error-correcting codes (QECCs) including both additive and nonadditive codes, and gives a method to construct a QECC from a classical error-correcting code in standard form. Entangled pairs of qubits (ebits) can be used to improve capacity of quantum error correction. In addition, it gives a method to overcome the dual-containing constraint. Operator quantum error correction (OQEC) gives a general framework to construct quantum error-correcting codes. We construct OQEC codes with ebits based on the CWS framework. This new scheme, entanglement-assisted operator codeword stabilized (EAOCWS) quantum codes, is the most general framework we know of to construct both additive and nonadditive codes from classical error-correcting codes. We describe the formalism of our scheme, demonstrate the construction with examples, and give several EAOCWS codes.
△ Less
Submitted 6 November, 2013;
originally announced November 2013.
-
Compatibility of state assignments and pooling of information
Authors:
Todd A. Brun,
Min-Hsiu Hsieh,
Christopher Perry
Abstract:
We say that two (or more) state assignments for one and the same quantum system are compatible if they could represent the assignments of observers with differing information about the system. A criterion for compatibility was proposed in [Phys. Rev. A 65, 032315 (2002)]; however, this leaves unanswered the question of whether there are degrees of compatibility which could be represented by some q…
▽ More
We say that two (or more) state assignments for one and the same quantum system are compatible if they could represent the assignments of observers with differing information about the system. A criterion for compatibility was proposed in [Phys. Rev. A 65, 032315 (2002)]; however, this leaves unanswered the question of whether there are degrees of compatibility which could be represented by some quantitative measure, and whether there is a straightforward procedure whereby the observers can pool their information to arrive at a unique joint state assignment. We argue that such measures are only sensible given some assumption about what kind of information was used in making the state assignments in the first place, and that in general state assignments do not represent all of the information possessed by the observers. However, we examine one particular measure, and show that it has a straightforward interpretation, assuming that the information was acquired from a particular type of measurement, and that in this case there is a natural rule for pooling information. We extend this measure to compatibility of states for k observers, and show that the value is the solution to a semidefinite program. Similar compatibility measures can be defined for alternative notions of state compatibility, including Post-Peierls (PP) and Equal Support (ES) compatibility.
△ Less
Submitted 20 April, 2015; v1 submitted 20 October, 2013;
originally announced October 2013.
-
On the Relation between the Psychological and Thermodynamic Arrows of Time
Authors:
Leonard Mlodinow,
Todd A. Brun
Abstract:
In this paper we lay out an argument that generically the psychological arrow of time should align with the thermodynamic arrow of time where that arrow is well-defined. This argument applies to any physical system that can act as a memory, in the sense of preserving a record of the state of some other system. This result follows from two principles: the robustness of the thermodynamic arrow of ti…
▽ More
In this paper we lay out an argument that generically the psychological arrow of time should align with the thermodynamic arrow of time where that arrow is well-defined. This argument applies to any physical system that can act as a memory, in the sense of preserving a record of the state of some other system. This result follows from two principles: the robustness of the thermodynamic arrow of time to small perturbations in the state, and the principle that a memory should not have to be fine-tuned to match the state of the system being recorded. This argument applies even if the memory system itself is completely reversible and non-dissipative. We make the argument with a paradigmatic system, then formulate it more broadly for any system that can be considered a memory. We illustrate these principles for a few other example systems, and compare our criteria to earlier treatments of this problem.
△ Less
Submitted 18 September, 2013;
originally announced October 2013.
-
A Fault-Tolerant Scheme of Holonomic Quantum Computation on Stabilizer Codes with Robustness to Low-weight Thermal Noise
Authors:
Yi-Cong Zheng,
Todd A. Brun
Abstract:
We show an equivalence relation between fault-tolerant circuits for a stabilizer code and fault-tolerant adiabatic processes for holonomic quantum computation (HQC), in the case where quantum information is encoded in the degenerated ground space of the system Hamiltonian. By this equivalence, we can systematically construct a fault-tolerant HQC scheme, which can geometrically implement a universa…
▽ More
We show an equivalence relation between fault-tolerant circuits for a stabilizer code and fault-tolerant adiabatic processes for holonomic quantum computation (HQC), in the case where quantum information is encoded in the degenerated ground space of the system Hamiltonian. By this equivalence, we can systematically construct a fault-tolerant HQC scheme, which can geometrically implement a universal set of encoded quantum gates by adiabatically deforming the system Hamiltonian. During this process, quantum information is protected from low weight thermal excitations by an energy gap that does not change with the problem size.
△ Less
Submitted 29 January, 2014; v1 submitted 5 September, 2013;
originally announced September 2013.
-
Amplification limit of weak measurements: a variational approach
Authors:
Shengshi Pang,
Todd A. Brun,
Shengjun Wu,
Zeng-Bing Chen
Abstract:
Post-selected weak measurement has been widely used in experiments to observe weak effects in various physical systems. However, it is still unclear how large the amplification ability of a weak measurement can be and what determines the limit of this ability, which is fundamental to understanding and applying weak measurements. The limitation of the conventional weak value formalism for this prob…
▽ More
Post-selected weak measurement has been widely used in experiments to observe weak effects in various physical systems. However, it is still unclear how large the amplification ability of a weak measurement can be and what determines the limit of this ability, which is fundamental to understanding and applying weak measurements. The limitation of the conventional weak value formalism for this problem is the divergence of weak values when the pre- and post-selections are nearly orthogonal. In this paper, we study this problem by a variational approach for a general Hamiltonian $H_{\mathrm{int}}=gA\otimesΩδ(t-t_{0}),\, g\ll1$. We derive a general asymptotic solution, and show that the amplification limit is essentially independent of $g$, and determined only by the initial state of the detector and the number of distinct eigenvalues of $A$ or $Ω$. An example of spin-$\frac{1}{2}$ particles with a pair of Stern-Gerlach devices is given to illustrate the results. The limiting case of continuous variable systems is also investigated to demonstrate the influence of system dimension on the amplification limit.
△ Less
Submitted 15 July, 2014; v1 submitted 9 July, 2013;
originally announced July 2013.
-
Quantum state cloning using Deutschian closed timelike curves
Authors:
Todd A. Brun,
Mark M. Wilde,
Andreas Winter
Abstract:
We show that it is possible to clone quantum states to arbitrary accuracy in the presence of a Deutschian closed timelike curve (D-CTC), with a fidelity converging to one in the limit as the dimension of the CTC system becomes large---thus resolving an open conjecture from [Brun et al., Physical Review Letters 102, 210402 (2009)]. This result follows from a D-CTC-assisted scheme for producing perf…
▽ More
We show that it is possible to clone quantum states to arbitrary accuracy in the presence of a Deutschian closed timelike curve (D-CTC), with a fidelity converging to one in the limit as the dimension of the CTC system becomes large---thus resolving an open conjecture from [Brun et al., Physical Review Letters 102, 210402 (2009)]. This result follows from a D-CTC-assisted scheme for producing perfect clones of a quantum state prepared in a known eigenbasis, and the fact that one can reconstruct an approximation of a quantum state from empirical estimates of the probabilities of an informationally-complete measurement. Our results imply more generally that every continuous, but otherwise arbitrarily non-linear map from states to states can be implemented to arbitrary accuracy with D-CTCs. Furthermore, our results show that Deutsch's model for CTCs is in fact a classical model, in the sense that two arbitrary, distinct density operators are perfectly distinguishable (in the limit of a large CTC system); hence, in this model quantum mechanics becomes a classical theory in which each density operator is a distinct point in a classical phase space.
△ Less
Submitted 19 October, 2013; v1 submitted 7 June, 2013;
originally announced June 2013.
-
Performance and Error Analysis of Knill's Postselection Scheme in a Two-Dimensional Architecture
Authors:
Ching-Yi Lai,
Gerardo Paz,
Martin Suchara,
Todd A. Brun
Abstract:
Knill demonstrated a fault-tolerant quantum computation scheme based on concatenated error-detecting codes and postselection with a simulated error threshold of 3% over the depolarizing channel. %We design a two-dimensional architecture for fault-tolerant quantum computation based on Knill's postselection scheme. We show how to use Knill's postselection scheme in a practical two-dimensional quantu…
▽ More
Knill demonstrated a fault-tolerant quantum computation scheme based on concatenated error-detecting codes and postselection with a simulated error threshold of 3% over the depolarizing channel. %We design a two-dimensional architecture for fault-tolerant quantum computation based on Knill's postselection scheme. We show how to use Knill's postselection scheme in a practical two-dimensional quantum architecture that we designed with the goal to optimize the error correction properties, while satisfying important architectural constraints. In our 2D architecture, one logical qubit is embedded in a tile consisting of $5\times 5$ physical qubits. The movement of these qubits is modeled as noisy SWAP gates and the only physical operations that are allowed are local one- and two-qubit gates. We evaluate the practical properties of our design, such as its error threshold, and compare it to the concatenated Bacon-Shor code and the concatenated Steane code. Assuming that all gates have the same error rates, we obtain a threshold of $3.06\times 10^{-4}$ in a local adversarial stochastic noise model, which is the highest known error threshold for concatenated codes in 2D. We also present a Monte Carlo simulation of the 2D architecture with depolarizing noise and we calculate a pseudo-threshold of about 0.1%. With memory error rates one-tenth of the worst gate error rates, the threshold for the adversarial noise model, and the pseudo-threshold over depolarizing noise, are $4.06\times 10^{-4}$ and 0.2%, respectively. In a hypothetical technology where memory error rates are negligible, these thresholds can be further increased by shrinking the tiles into a $4\times 4$ layout.
△ Less
Submitted 31 May, 2013; v1 submitted 24 May, 2013;
originally announced May 2013.
-
Family of Finite Geometry Low-Density Parity-Check Codes for Quantum Key Expansion
Authors:
Kung-Chuan Hsu,
Todd A. Brun
Abstract:
We consider a quantum key expansion (QKE) protocol based on entanglement-assisted quantum error-correcting codes (EAQECCs). In these protocols, a seed of a previously shared secret key is used in the post-processing stage of a standard quantum key distribution protocol like the Bennett-Brassard 1984 protocol, in order to produce a larger secret key. This protocol was proposed by Luo and Devetak, b…
▽ More
We consider a quantum key expansion (QKE) protocol based on entanglement-assisted quantum error-correcting codes (EAQECCs). In these protocols, a seed of a previously shared secret key is used in the post-processing stage of a standard quantum key distribution protocol like the Bennett-Brassard 1984 protocol, in order to produce a larger secret key. This protocol was proposed by Luo and Devetak, but codes leading to good performance have not been investigated. We look into a family of EAQECCs generated by classical finite geometry (FG) low-density parity-check (LDPC) codes, for which very efficient iterative decoders exist. A critical observation is that almost all errors in the resulting secret key result from uncorrectable block errors that can be detected by an additional syndrome check and an additional sampling step. Bad blocks can then be discarded. We make some changes to the original protocol to avoid the consumption of the preshared key when the protocol fails. This allows us to greatly reduce the bit error rate of the key at the cost of a minor reduction in the key production rate, but without increasing the consumption rate of the preshared key. We present numerical simulations for the family of FG LDPC codes, and show that this improved QKE protocol has a good net key production rate even at relatively high error rates, for appropriate choices of these codes.
△ Less
Submitted 25 June, 2013; v1 submitted 7 March, 2013;
originally announced March 2013.
-
Duality in Entanglement-Assisted Quantum Error Correction
Authors:
Ching-Yi Lai,
Todd A. Brun,
Mark M. Wilde
Abstract:
The dual of an entanglement-assisted quantum error-correcting (EAQEC) code is defined from the orthogonal group of a simplified stabilizer group. From the Poisson summation formula, this duality leads to the MacWilliams identities and linear programming bounds for EAQEC codes. We establish a table of upper and lower bounds on the minimum distance of any maximal-entanglement EAQEC code with length…
▽ More
The dual of an entanglement-assisted quantum error-correcting (EAQEC) code is defined from the orthogonal group of a simplified stabilizer group. From the Poisson summation formula, this duality leads to the MacWilliams identities and linear programming bounds for EAQEC codes. We establish a table of upper and lower bounds on the minimum distance of any maximal-entanglement EAQEC code with length up to 15 channel qubits.
△ Less
Submitted 17 February, 2013;
originally announced February 2013.
-
Codeword stabilized quantum codes on subsystems
Authors:
Jeonghwan Shin,
Jun Heo,
Todd A. Brun
Abstract:
Codeword stabilized quantum codes provide a unified approach to constructing quantum error-correcting codes, including both additive and non-additive quantum codes. Standard codeword stabilized quantum codes encode quantum information into subspaces. The more general notion of encoding quantum information into a subsystem is known as an operator (or subsystem) quantum error correcting code. Most o…
▽ More
Codeword stabilized quantum codes provide a unified approach to constructing quantum error-correcting codes, including both additive and non-additive quantum codes. Standard codeword stabilized quantum codes encode quantum information into subspaces. The more general notion of encoding quantum information into a subsystem is known as an operator (or subsystem) quantum error correcting code. Most operator codes studied to date are based in the usual stabilizer formalism. We introduce operator quantum codes based on the codeword stabilized quantum code framework. Based on the necessary and sufficient conditions for operator quantum error correction, we derive a error correction condition for operator codeword stabilized quantum codes. Based on this condition, the word operators of a operator codeword stabilized quantum code are constructed from a set of classical binary errors induced by generators of the gauge group. We use this scheme to construct examples of both additive and non-additive codes that encode quantum information into a subsystem.
△ Less
Submitted 29 August, 2012;
originally announced August 2012.
-
Entanglement-Assisted Quantum Error-Correcting Codes with Imperfect Ebits
Authors:
Ching-Yi Lai,
Todd A. Brun
Abstract:
The scheme of entanglement-assisted quantum error-correcting (EAQEC) codes assumes that the ebits of the receiver are error-free. In practical situations, errors on these ebits are unavoidable, which diminishes the error-correcting ability of these codes. We consider two different versions of this problem. We first show that any (nondegenerate) standard stabilizer code can be transformed into an E…
▽ More
The scheme of entanglement-assisted quantum error-correcting (EAQEC) codes assumes that the ebits of the receiver are error-free. In practical situations, errors on these ebits are unavoidable, which diminishes the error-correcting ability of these codes. We consider two different versions of this problem. We first show that any (nondegenerate) standard stabilizer code can be transformed into an EAQEC code that can correct errors on the qubits of both sender and receiver. These EAQEC codes are equivalent to standard stabilizer codes, and hence the decoding techniques of standard stabilizer codes can be applied. Several EAQEC codes of this type are found to be optimal. In a second scheme, the receiver uses a standard stabilizer code to protect the ebits, which we call a "combination code." The performances of different quantum codes are compared in terms of the channel fidelity over the depolarizing channel. We give a formula for the channel fidelity over the depolarizing channel (or any Pauli error channel), and show that it can be efficiently approximated by a Monte Carlo calculation. Finally, we discuss the tradeoff between performing extra entanglement distillation and applying an EAQEC code with imperfect ebits.
△ Less
Submitted 4 April, 2012; v1 submitted 1 April, 2012;
originally announced April 2012.