-
An Extension of Heron's Formula to Tetrahedra, and the Projective Nature of Its Zeros
Authors:
Timothy F. Havel
Abstract:
A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and of its three medial parallelograms, which are accordingly referred to herein as "interior faces." Geometrically, these rational functions are the are…
▽ More
A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and of its three medial parallelograms, which are accordingly referred to herein as "interior faces." Geometrically, these rational functions are the areas of the triangles into which the exterior faces are divided by the points at which the tetrahedron's in-sphere touches those faces. Part I presents an overview of these results and some necessary but little-known background in areal geometry. Part II derives the promised extension, and ends with a conjecture as to how the formula extends to $n$-dimensional simplices for all $n > 3$. Part III explains how, for $n = 3$, the zeros of the polynomial constitute a five-dimensional semi-algebraic variety consisting almost entirely of collinear tetrahedra with vertices separated by infinite distances, but with generically well-defined distance ratios; it further proves that these unconventional Euclidean configurations can be identified with a quotient of the Klein quadric by an action of a group of reflections isomorphic to $\mathbb Z_2^4$, wherein four-point configurations in the affine plane constitute a distinguished three-dimensional subvariety. Part IV consists of five appendices which show, among other things, that the algebraic structure of the zeros in the affine plane naturally defines the associated four-element, rank $3$ chirotope, aka affine oriented matroid.
△ Less
Submitted 24 May, 2025; v1 submitted 17 April, 2022;
originally announced April 2022.
-
Embedding with a Rigid Substructure
Authors:
Igor Najfeld,
Timothy F. Havel
Abstract:
This paper presents a new distance geometry algorithm for calculating atomic coordinates from estimates of the interatomic distances, which maintains the positions of the atoms in a known rigid substructure. Given an $M \times 3$ matrix of coordinates for the rigid substructure $\mathbf X$, this problem consists of finding the $N \times 3$ matrix $\mathbf Y$ that yields of global minimum of the so…
▽ More
This paper presents a new distance geometry algorithm for calculating atomic coordinates from estimates of the interatomic distances, which maintains the positions of the atoms in a known rigid substructure. Given an $M \times 3$ matrix of coordinates for the rigid substructure $\mathbf X$, this problem consists of finding the $N \times 3$ matrix $\mathbf Y$ that yields of global minimum of the so-called STRAIN, i.e. \[ \min_{\mathbf Y} \left\| \begin{bmatrix} \mathbf{XX}^\top & \mathbf{XY}^\top \\ \mathbf{YX}^\top & \mathbf{YY}^\top \end{bmatrix} \,-\, \begin{bmatrix} \mathbf A & \mathbf B \\ \mathbf B^\top & \mathbf C \end{bmatrix} \right\|_{\mathsf F}^2 ~, \] where $\mathbf A = \mathbf{XX}^\top$ , and $\mathbf B, \mathbf C$ are matrices of inner products calculated from the estimated distances.
The vanishing of the gradient of the STRAIN is shown to be equivalent to a system of only six nonlinear equations in six unknowns for the inertial tensor associated with the solution Y . The entire solution space is characterized in terms of the geometry of the intersection curves between the unit sphere and certain variable ellipsoids. Upon deriving tight bilateral bounds on the moments of inertia of any possible solution, we construct a search procedure that reliably locates the global minimum. The effectiveness of this method is demonstrated on realistic simulated and chemical test problems.
△ Less
Submitted 29 April, 2018;
originally announced April 2018.
-
Signatures of incoherence in a quantum information processor
Authors:
Michael K. Henry,
Alexey V. Gorshkov,
Yaakov S. Weinstein,
Paola Cappellaro,
Joseph Emerson,
Nicolas Boulant,
Jonathan S. Hodges,
Chandrasekhar Ramanathan,
Timothy F. Havel,
Rudy Martinez,
David G. Cory
Abstract:
Incoherent noise is manifest in measurements of expectation values when the underlying ensemble evolves under a classical distribution of unitary processes. While many incoherent processes appear decoherent, there are important differences. The distribution functions underlying incoherent processes are either static or slowly varying with respect to control operations and so the errors introduce…
▽ More
Incoherent noise is manifest in measurements of expectation values when the underlying ensemble evolves under a classical distribution of unitary processes. While many incoherent processes appear decoherent, there are important differences. The distribution functions underlying incoherent processes are either static or slowly varying with respect to control operations and so the errors introduced by these distributions are refocusable. The observation and control of incoherence in small Hilbert spaces is well known. Here we explore incoherence during an entangling operation, such as is relevant in quantum information processing. As expected, it is more difficult to separate incoherence and decoherence over such processes. However, by studying the fidelity decay under a cyclic entangling map we are able to identify distinctive experimental signatures of incoherence. This result is demonstrated both through numerical simulations and experimentally in a three qubit nuclear magnetic resonance implementation.
△ Less
Submitted 20 August, 2007; v1 submitted 24 May, 2007;
originally announced May 2007.
-
Experimental Implementation of Logical Bell State Encoding
Authors:
J. S. Hodges,
P. Cappellaro,
T. F. Havel,
R. Martinez,
D. G. Cory
Abstract:
Liquid phase NMR is a general purpose test-bed for developing methods of coherent control relevant to quantum information processing. Here we extend these studies to the coherent control of logical qubits and in particular to the unitary gates necessary to create entanglement between logical qubits. We report an experimental implementation of a conditional logical gate between two logical qubits…
▽ More
Liquid phase NMR is a general purpose test-bed for developing methods of coherent control relevant to quantum information processing. Here we extend these studies to the coherent control of logical qubits and in particular to the unitary gates necessary to create entanglement between logical qubits. We report an experimental implementation of a conditional logical gate between two logical qubits that are each in decoherence free subspaces that protect the quantum information from fully correlated dephasing.
△ Less
Submitted 31 October, 2006;
originally announced November 2006.
-
Subsystem Pseudo-pure States
Authors:
P. Cappellaro,
J. S. Hodges,
T. F. Havel,
D. G. Cory
Abstract:
A critical step in experimental quantum information processing (QIP) is to implement control of quantum systems protected against decoherence via informational encodings, such as quantum error correcting codes, noiseless subsystems and decoherence free subspaces. These encodings lead to the promise of fault tolerant QIP, but they come at the expense of resource overheads.
Part of the challenge…
▽ More
A critical step in experimental quantum information processing (QIP) is to implement control of quantum systems protected against decoherence via informational encodings, such as quantum error correcting codes, noiseless subsystems and decoherence free subspaces. These encodings lead to the promise of fault tolerant QIP, but they come at the expense of resource overheads.
Part of the challenge in studying control over multiple logical qubits, is that QIP test-beds have not had sufficient resources to analyze encodings beyond the simplest ones. The most relevant resources are the number of available qubits and the cost to initialize and control them. Here we demonstrate an encoding of logical information that permits the control over multiple logical qubits without full initialization, an issue that is particularly challenging in liquid state NMR. The method of subsystem pseudo-pure state will allow the study of decoherence control schemes on up to 6 logical qubits using liquid state NMR implementations.
△ Less
Submitted 31 October, 2006;
originally announced October 2006.
-
Principles of Control for Decoherence-Free Subsystems
Authors:
P. Cappellaro,
J. S. Hodges,
T. F. Havel,
D. G. Cory
Abstract:
Decoherence-Free Subsystems (DFS) are a powerful means of protecting quantum information against noise with known symmetry properties. Although Hamiltonians theoretically exist that can implement a universal set of logic gates on DFS encoded qubits without ever leaving the protected subsystem, the natural Hamiltonians that are available in specific implementations do not necessarily have this pr…
▽ More
Decoherence-Free Subsystems (DFS) are a powerful means of protecting quantum information against noise with known symmetry properties. Although Hamiltonians theoretically exist that can implement a universal set of logic gates on DFS encoded qubits without ever leaving the protected subsystem, the natural Hamiltonians that are available in specific implementations do not necessarily have this property. Here we describe some of the principles that can be used in such cases to operate on encoded qubits without losing the protection offered by the DFS. In particular, we show how dynamical decoupling can be used to control decoherence during the unavoidable excursions outside of the DFS. By means of cumulant expansions, we show how the fidelity of quantum gates implemented by this method on a simple two-physical-qubit DFS depends on the correlation time of the noise responsible for decoherence. We further show by means of numerical simulations how our previously introduced "strongly modulating pulses" for NMR quantum information processing can permit high-fidelity operations on multiple DFS encoded qubits in practice, provided that the rate at which the system can be modulated is fast compared to the correlation time of the noise. The principles thereby illustrated are expected to be broadly applicable to many implementations of quantum information processors based on DFS encoded qubits.
△ Less
Submitted 27 April, 2006;
originally announced April 2006.
-
Benchmarking quantum control methods on a 12-qubit system
Authors:
C. Negrevergne,
T. S. Mahesh,
C. A. Ryan,
M. Ditty,
F. Cyr-Racine,
W. Power,
N. Boulant,
T. Havel,
D. G. Cory,
R. Laflamme
Abstract:
In this letter, we present an experimental benchmark of operational control methods in quantum information processors extended up to 12 qubits. We implement universal control of this large Hilbert space using two complementary approaches and discuss their accuracy and scalability. Despite decoherence, we were able to reach a 12-coherence state (or 12-qubits pseudo-pure cat state), and decode it…
▽ More
In this letter, we present an experimental benchmark of operational control methods in quantum information processors extended up to 12 qubits. We implement universal control of this large Hilbert space using two complementary approaches and discuss their accuracy and scalability. Despite decoherence, we were able to reach a 12-coherence state (or 12-qubits pseudo-pure cat state), and decode it into an 11 qubit plus one qutrit labeled observable pseudo-pure state using liquid state nuclear magnetic resonance quantum information processors.
△ Less
Submitted 27 March, 2006;
originally announced March 2006.
-
A solid-state NMR three-qubit homonuclear system for quantum information processing: control and characterization
Authors:
Jonathan Baugh,
Osama Moussa,
Colm A. Ryan,
Raymond Laflamme,
Chandrasekhar Ramanathan,
Timothy F. Havel,
David G. Cory
Abstract:
A three-qubit 13C solid-state nuclear magnetic resonance (NMR) system for quantum information processing, based on the malonic acid molecule, is used to demonstrate high-fidelity universal quantum control via strongly-modulating radio-frequency pulses. This control is achieved in the strong-coupling regime, in which the timescales of selective qubit addressing and of two-qubit interactions are c…
▽ More
A three-qubit 13C solid-state nuclear magnetic resonance (NMR) system for quantum information processing, based on the malonic acid molecule, is used to demonstrate high-fidelity universal quantum control via strongly-modulating radio-frequency pulses. This control is achieved in the strong-coupling regime, in which the timescales of selective qubit addressing and of two-qubit interactions are comparable.
△ Less
Submitted 22 November, 2005; v1 submitted 14 October, 2005;
originally announced October 2005.
-
Selective coherence transfers in homonuclear dipolar coupled spin systems
Authors:
Chandrasekhar Ramanathan,
Suddhasattwa Sinha,
Jonathan Baugh,
Timothy F. Havel,
David G. Cory
Abstract:
Mapping the physical dipolar Hamiltonian of a solid-state network of nuclear spins onto a system of nearest-neighbor couplings would be extremely useful for a variety of quantum information processing applications, as well as NMR structural studies. We demonstrate such a mapping for a system consisting of an ensemble of spin pairs, where the coupling between spins in the same pair is significant…
▽ More
Mapping the physical dipolar Hamiltonian of a solid-state network of nuclear spins onto a system of nearest-neighbor couplings would be extremely useful for a variety of quantum information processing applications, as well as NMR structural studies. We demonstrate such a mapping for a system consisting of an ensemble of spin pairs, where the coupling between spins in the same pair is significantly stronger than the coupling between spins on different pairs. An amplitude modulated RF field is applied on resonance with the Larmor frequency of the spins, with the frequency of the modulation matched to the frequency of the dipolar coupling of interest. The spin pairs appear isolated from each other in the regime where the RF power (omega_1) is such that omega_weak << omega_1 << omega_strong. Coherence lifetimes within the two-spin system are increased from 19 us to 11.1 ms, a factor of 572.
△ Less
Submitted 30 September, 2004; v1 submitted 25 August, 2004;
originally announced August 2004.
-
Quantum Process Tomography of the Quantum Fourier Transform
Authors:
Yaakov S. Weinstein,
Timothy F. Havel,
Joseph Emerson,
Nicolas Boulant,
Marcos Saraceno,
Seth Lloyd,
David G. Cory
Abstract:
The results of quantum process tomography on a three-qubit nuclear magnetic resonance quantum information processor are presented, and shown to be consistent with a detailed model of the system-plus-apparatus used for the experiments. The quantum operation studied was the quantum Fourier transform, which is important in several quantum algorithms and poses a rigorous test for the precision of ou…
▽ More
The results of quantum process tomography on a three-qubit nuclear magnetic resonance quantum information processor are presented, and shown to be consistent with a detailed model of the system-plus-apparatus used for the experiments. The quantum operation studied was the quantum Fourier transform, which is important in several quantum algorithms and poses a rigorous test for the precision of our recently-developed strongly modulating control fields. The results were analyzed in an attempt to decompose the implementation errors into coherent (overall systematic), incoherent (microscopically deterministic), and decoherent (microscopically random) components. This analysis yielded a superoperator consisting of a unitary part that was strongly correlated with the theoretically expected unitary superoperator of the quantum Fourier transform, an overall attenuation consistent with decoherence, and a residual portion that was not completely positive - although complete positivity is required for any quantum operation. By comparison with the results of computer simulations, the lack of complete positivity was shown to be largely a consequence of the incoherent errors during the quantum process tomography procedure. These simulations further showed that coherent, incoherent, and decoherent errors can often be identified by their distinctive effects on the spectrum of the overall superoperator. The gate fidelity of the experimentally determined superoperator was 0.64, while the correlation coefficient between experimentally determined superoperator and the simulated superoperator was 0.79; most of the discrepancies with the simulations could be explained by the cummulative effect of small errors in the single qubit gates.
△ Less
Submitted 30 June, 2004;
originally announced June 2004.
-
Reflection Symmetries for Multiqubit Density Operators
Authors:
Claudio Altafini,
Timothy F. Havel
Abstract:
For multiqubit density operators in a suitable tensorial basis, we show that a number of nonunitary operations used in the detection and synthesis of entanglement are classifiable as reflection symmetries, i.e., orientation changing rotations. While one-qubit reflections correspond to antiunitary symmetries, as is known for example from the partial transposition criterion, reflections on the joi…
▽ More
For multiqubit density operators in a suitable tensorial basis, we show that a number of nonunitary operations used in the detection and synthesis of entanglement are classifiable as reflection symmetries, i.e., orientation changing rotations. While one-qubit reflections correspond to antiunitary symmetries, as is known for example from the partial transposition criterion, reflections on the joint density of two or more qubits are not accounted for by the Wigner Theorem and are well-posed only for sufficiently mixed states. One example of such nonlocal reflections is the unconditional NOT operation on a multiparty density, i.e., an operation yelding another density and such that the sum of the two is the identity operator. This nonphysical operation is admissible only for sufficiently mixed states.
△ Less
Submitted 30 May, 2005; v1 submitted 21 May, 2004;
originally announced May 2004.
-
A Bloch-Sphere-Type Model for Two Qubits in the Geometric Algebra of a 6-D Euclidean Vector Space
Authors:
Timothy F. Havel,
Chris J. L. Doran
Abstract:
Geometric algebra is a mathematical structure that is inherent in any metric vector space, and defined by the requirement that the metric tensor is given by the scalar part of the product of vectors. It provides a natural framework in which to represent the classical groups as subgroups of rotation groups, and similarly their Lie algebras. In this article we show how the geometric algebra of a s…
▽ More
Geometric algebra is a mathematical structure that is inherent in any metric vector space, and defined by the requirement that the metric tensor is given by the scalar part of the product of vectors. It provides a natural framework in which to represent the classical groups as subgroups of rotation groups, and similarly their Lie algebras. In this article we show how the geometric algebra of a six-dimensional real Euclidean vector space naturally allows one to construct the special unitary group on a two-qubit (quantum bit) Hilbert space, in a fashion similar to that used in the well-established Bloch sphere model for a single qubit. This is then used to illustrate the Cartan decompositions and subalgebras of the four-dimensional special unitary group, which have recently been used by J. Zhang, J. Vala, S. Sastry and K. B. Whaley [Phys. Rev. A 67, 042313, 2003] to study the entangling capabilities of two-qubit unitaries.
△ Less
Submitted 18 March, 2004;
originally announced March 2004.
-
Incoherent Noise and Quantum Information Processing
Authors:
N. Boulant,
S. Furuta,
J. Emerson,
T. F. Havel,
D. G. Cory
Abstract:
Incoherence in the controlled Hamiltonian is an important limitation on the precision of coherent control in quantum information processing. Incoherence can typically be modelled as a distribution of unitary processes arising from slowly varying experimental parameters. We show how it introduces artifacts in quantum process tomography and we explain how the resulting estimate of the superoperato…
▽ More
Incoherence in the controlled Hamiltonian is an important limitation on the precision of coherent control in quantum information processing. Incoherence can typically be modelled as a distribution of unitary processes arising from slowly varying experimental parameters. We show how it introduces artifacts in quantum process tomography and we explain how the resulting estimate of the superoperator may not be completely positive. We then go on to attack the inverse problem of extracting an effective distribution of unitaries that characterizes the incoherence via a perturbation theory analysis of the superoperator eigenvalue spectra.
△ Less
Submitted 18 June, 2004; v1 submitted 12 December, 2003;
originally announced December 2003.
-
Robust Control of Quantum Information
Authors:
Marco A. Pravia,
Nicolas Boulant,
Joseph Emerson,
Amro Farid,
Evan M. Fortunato,
Timothy F. Havel,
David G. Cory
Abstract:
Errors in the control of quantum systems may be classified as unitary, decoherent and incoherent. Unitary errors are systematic, and result in a density matrix that differs from the desired one by a unitary operation. Decoherent errors correspond to general completely positive superoperators, and can only be corrected using methods such as quantum error correction. Incoherent errors can also be…
▽ More
Errors in the control of quantum systems may be classified as unitary, decoherent and incoherent. Unitary errors are systematic, and result in a density matrix that differs from the desired one by a unitary operation. Decoherent errors correspond to general completely positive superoperators, and can only be corrected using methods such as quantum error correction. Incoherent errors can also be described, on average, by completely positive superoperators, but can nevertheless be corrected by the application of a locally unitary operation that ``refocuses'' them. They are due to reproducible spatial or temporal variations in the system's Hamiltonian, so that information on the variations is encoded in the system's spatiotemporal state and can be used to correct them. In this paper liquid-state nuclear magnetic resonance (NMR) is used to demonstrate that such refocusing effects can be built directly into the control fields, where the incoherence arises from spatial inhomogeneities in the quantizing static magnetic field as well as the radio-frequency control fields themselves. Using perturbation theory, it is further shown that the eigenvalue spectrum of the completely positive superoperator exhibits a characteristic spread that contains information on the Hamiltonians' underlying distribution.
△ Less
Submitted 8 July, 2003;
originally announced July 2003.
-
A Method for Modeling Decoherence on a Quantum Information Processor
Authors:
G. Teklemariam,
E. M. Fortunato,
C. C. Lopez,
J. Emerson,
J. P. Paz,
T. F. Havel,
D. G. Cory
Abstract:
We develop and implement a method for modeling decoherence processes on an N-dimensional quantum system that requires only an $N^2$-dimensional quantum environment and random classical fields. This model offers the advantage that it may be implemented on small quantum information processors in order to explore the intermediate regime between semiclassical and fully quantum models. We consider in…
▽ More
We develop and implement a method for modeling decoherence processes on an N-dimensional quantum system that requires only an $N^2$-dimensional quantum environment and random classical fields. This model offers the advantage that it may be implemented on small quantum information processors in order to explore the intermediate regime between semiclassical and fully quantum models. We consider in particular $σ_zσ_z$ system-environment couplings which induce coherence (phase) damping, though the model is directly extendable to other coupling Hamiltonians. Effective, irreversible phase-damping of the system is obtained by applying an additional stochastic Hamiltonian on the environment alone, periodically redressing it and thereby irreversibliy randomizing the system phase information that has leaked into the environment as a result of the coupling. This model is exactly solvable in the case of phase-damping, and we use this solution to describe the model's behavior in some limiting cases. In the limit of small stochastic phase kicks the system's coherence decays exponentially at a rate which increases linearly with the kick frequency. In the case of strong kicks we observe an effective decoupling of the system from the environment. We present a detailed implementation of the method on an nuclear magnetic resonance quantum information processor.
△ Less
Submitted 18 March, 2003;
originally announced March 2003.
-
The Real Density Matrix
Authors:
Timothy F. Havel
Abstract:
We introduce a nonsymmetric real matrix which contains all the information that the usual Hermitian density matrix does, and which has exactly the same tensor product structure. The properties of this matrix are analyzed in detail in the case of multi-qubit (e.g. spin = 1/2) systems, where the transformation between the real and Hermitian density matrices is given explicitly as an operator sum,…
▽ More
We introduce a nonsymmetric real matrix which contains all the information that the usual Hermitian density matrix does, and which has exactly the same tensor product structure. The properties of this matrix are analyzed in detail in the case of multi-qubit (e.g. spin = 1/2) systems, where the transformation between the real and Hermitian density matrices is given explicitly as an operator sum, and used to convert the essential equations of the density matrix formalism into the real domain.
△ Less
Submitted 3 June, 2003; v1 submitted 24 February, 2003;
originally announced February 2003.
-
A Robust Method for Estimating the Lindblad Operators of a Dissipative Quantum Process from Measurements of the Density Operator at Multiple Time Points
Authors:
N. Boulant,
T. F. Havel,
M. A. Pravia,
D. G. Cory
Abstract:
We present a robust method for quantum process tomography, which yields a set of Lindblad operators that optimally fit the measured density operators at a sequence of time points. The benefits of this method are illustrated using a set of liquid-state Nuclear Magnetic Resonance (NMR) measurements on a molecule containing two coupled hydrogen nuclei, which are sufficient to fully determine its re…
▽ More
We present a robust method for quantum process tomography, which yields a set of Lindblad operators that optimally fit the measured density operators at a sequence of time points. The benefits of this method are illustrated using a set of liquid-state Nuclear Magnetic Resonance (NMR) measurements on a molecule containing two coupled hydrogen nuclei, which are sufficient to fully determine its relaxation superoperator. It was found that the complete positivity constraint, which is necessary for the existence of the Lindblad operators, was also essential for obtaining a robust fit to the measurements. The general approach taken here promises to be broadly useful in studying dissipative quantum processes in many of the diverse experimental systems currently being developed for quantum information processing purposes.
△ Less
Submitted 10 November, 2002;
originally announced November 2002.
-
Exploring Noiseless Subsystems via Nuclear Magnetic Resonance
Authors:
Evan M. Fortunato,
Lorenza Viola,
Marco A. Pravia,
Emanuel Knill,
Raymond Laflamme,
Timothy F. Havel,
David G. Cory
Abstract:
Noiseless subsystems offer a general and efficient method for protecting quantum information in the presence of noise that has symmetry properties. A paradigmatic class of error models displaying non-trivial symmetries emerges under collective noise behavior, which implies a permutationally-invariant interaction between the system and the environment. We describe experiments demonstrating the pr…
▽ More
Noiseless subsystems offer a general and efficient method for protecting quantum information in the presence of noise that has symmetry properties. A paradigmatic class of error models displaying non-trivial symmetries emerges under collective noise behavior, which implies a permutationally-invariant interaction between the system and the environment. We describe experiments demonstrating the preservation of a bit of quantum information encoded in a three qubit noiseless subsystem for general collective noise. A complete set of input states is used to determine the super-operator for the implemented one-qubit process and to confirm that the fidelity of entanglement is improved for a large, non-commutative set of engineered errors. To date, this is the largest set of error operators that has been successfully corrected for by any quantum code.
△ Less
Submitted 8 October, 2002;
originally announced October 2002.
-
Introduction to NMR Quantum Information Processing
Authors:
R. Laflamme,
E. Knill,
D. G. Cory,
E. M. Fortunato,
T. Havel,
C. Miquel,
R. Martinez,
C. Negrevergne,
G. Ortiz,
M. A. Pravia,
Y. Sharf,
S. Sinha,
R. Somma,
L. Viola
Abstract:
After a general introduction to nuclear magnetic resonance (NMR), we give the basics of implementing quantum algorithms. We describe how qubits are realized and controlled with RF pulses, their internal interactions, and gradient fields. A peculiarity of NMR is that the internal interactions (given by the internal Hamiltonian) are always on. We discuss how they can be effectively turned off with…
▽ More
After a general introduction to nuclear magnetic resonance (NMR), we give the basics of implementing quantum algorithms. We describe how qubits are realized and controlled with RF pulses, their internal interactions, and gradient fields. A peculiarity of NMR is that the internal interactions (given by the internal Hamiltonian) are always on. We discuss how they can be effectively turned off with the help of a standard NMR method called ``refocusing''. Liquid state NMR experiments are done at room temperature, leading to an extremely mixed (that is, nearly random) initial state. Despite this high degree of randomness, it is possible to investigate QIP because the relaxation time (the time scale over which useful signal from a computation is lost) is sufficiently long. We explain how this feature leads to the crucial ability of simulating a pure (non-random) state by using ``pseudopure'' states. We discuss how the ``answer'' provided by a computation is obtained by measurement and how this measurement differs from the ideal, projective measurement of QIP. We then give implementations of some simple quantum algorithms with a typical experimental result. We conclude with a discussion of what we have learned from NMR QIP so far and what the prospects for future NMR QIP experiments are.
△ Less
Submitted 30 July, 2002;
originally announced July 2002.
-
Design of Strongly Modulating Pulses to Implement Precise Effective Hamiltonians for Quantum Information Processing
Authors:
Evan M. Fortunato,
Marco A. Pravia,
Nicolas Boulant,
Grum Teklemariam,
Timothy F. Havel,
David G. Cory
Abstract:
We describe a method for improving coherent control through the use of detailed knowledge of the system's Hamiltonian. Precise unitary transformations were obtained by strongly modulating the system's dynamics to average out unwanted evolution. With the aid of numerical search methods, pulsed irradiation schemes are obtained that perform accurate, arbitrary, selective gates on multi-qubit system…
▽ More
We describe a method for improving coherent control through the use of detailed knowledge of the system's Hamiltonian. Precise unitary transformations were obtained by strongly modulating the system's dynamics to average out unwanted evolution. With the aid of numerical search methods, pulsed irradiation schemes are obtained that perform accurate, arbitrary, selective gates on multi-qubit systems. Compared to low power selective pulses, which cannot average out all unwanted evolution, these pulses are substantially shorter in time, thereby reducing the effects of relaxation. Liquid-state NMR techniques on homonuclear spin systems are used to demonstrate the accuracy of these gates both in simulation and experiment. Simulations of the coherent evolution of a 3-qubit system show that the control sequences faithfully implement the unitary operations, typically yielding gate fidelities on the order of 0.999 and, for some sequences, up to 0.9997. The experimentally determined density matrices resulting from the application of different control sequences on a 3-spin system have overlaps of up to 0.99 with the expected states, confirming the quality of the experimental implementation.
△ Less
Submitted 12 February, 2002;
originally announced February 2002.
-
Procedures for Converting among Lindblad, Kraus and Matrix Representations of Quantum Dynamical Semigroups
Authors:
Timothy F. Havel
Abstract:
Given an quantum dynamical semigroup expressed as an exponential superoperator acting on a space of N-dimensional density operators, eigenvalue methods are presented by which canonical Kraus and Lindblad operator sum representations can be computed. These methods provide a mathematical basis on which to develop novel algorithms for quantum process tomography, the statistical estimation of supero…
▽ More
Given an quantum dynamical semigroup expressed as an exponential superoperator acting on a space of N-dimensional density operators, eigenvalue methods are presented by which canonical Kraus and Lindblad operator sum representations can be computed. These methods provide a mathematical basis on which to develop novel algorithms for quantum process tomography, the statistical estimation of superoperators and their generators, from a wide variety of experimental data. Theoretical arguments and numerical simulations are presented which imply that these algorithms will be quite robust in the presence of random errors in the data.
△ Less
Submitted 9 August, 2002; v1 submitted 28 January, 2002;
originally announced January 2002.
-
Interaction and Entanglement in the Multiparticle Spacetime Algebra
Authors:
Timothy F. Havel,
Chris J. L. Doran
Abstract:
The multiparticle spacetime algebra (MSTA) is an extension of Dirac theory to a multiparticle setting, which was first studied by Doran, Gull and Lasenby. The geometric interpretation of this algebra, which it inherits from its one-particle factors, possesses a number of physically compelling features, including simple derivations of the Pauli exclusion principle and other nonlocal effects in qu…
▽ More
The multiparticle spacetime algebra (MSTA) is an extension of Dirac theory to a multiparticle setting, which was first studied by Doran, Gull and Lasenby. The geometric interpretation of this algebra, which it inherits from its one-particle factors, possesses a number of physically compelling features, including simple derivations of the Pauli exclusion principle and other nonlocal effects in quantum physics. Of particular importance here is the fact that all the operations needed in the quantum (statistical) mechanics of spin 1/2 particles can be carried out in the ``even subalgebra'' of the MSTA. This enables us to ``lift'' existing results in quantum information theory regarding entanglement, decoherence and the quantum/classical transition to space-time. The full power of the MSTA and its geometric interpretation can then be used to obtain new insights into these foundational issues in quantum theory. A system of spin 1/2 particles located at fixed positions in space, and interacting with an external magnetic field and/or with one another via their intrinsic magnetic dipoles provides a simple paradigm for the study of these issues. This paradigm can further be easily realized and studied in the laboratory by nuclear magnetic resonance spectroscopy.
△ Less
Submitted 12 June, 2001;
originally announced June 2001.
-
An NMR Analog of the Quantum Disentanglement Eraser
Authors:
G. Teklemariam,
E. M. Fortunato,
M. A. Pravia,
T. F. Havel,
D. G. Cory
Abstract:
We report the implementation of a three-spin quantum disentanglement eraser on a liquid-state NMR quantum information processor. A key feature of this experiment was its use of pulsed magnetic field gradients to mimic projective measurements. This ability is an important step towards the development of an experimentally controllable system which can simulate any quantum dynamics, both coherent a…
▽ More
We report the implementation of a three-spin quantum disentanglement eraser on a liquid-state NMR quantum information processor. A key feature of this experiment was its use of pulsed magnetic field gradients to mimic projective measurements. This ability is an important step towards the development of an experimentally controllable system which can simulate any quantum dynamics, both coherent and decoherent.
△ Less
Submitted 26 April, 2001;
originally announced April 2001.
-
Hadamard Products of Product Operators and the Design of Gradient-Diffusion Experiments for Simulating Decoherence by NMR Spectroscopy
Authors:
Timothy F. Havel,
Yehuda Sharf,
Lorenza Viola,
David G. Cory
Abstract:
An extension of the product operator formalism of NMR is introduced, which uses the Hadamard matrix product to describe many simple spin 1/2 relaxation processes. The utility of this formalism is illustrated by deriving NMR gradient-diffusion experiments to simulate several decoherence models of interest in quantum information processing, along with their Lindblad and Kraus representations. Grad…
▽ More
An extension of the product operator formalism of NMR is introduced, which uses the Hadamard matrix product to describe many simple spin 1/2 relaxation processes. The utility of this formalism is illustrated by deriving NMR gradient-diffusion experiments to simulate several decoherence models of interest in quantum information processing, along with their Lindblad and Kraus representations. Gradient-diffusion experiments are also described for several more complex forms of decoherence, including the well-known collective isotropic model. Finally, it is shown that the Hadamard formalism gives a concise representation of decoherence with arbitrary correlations among the fluctuating fields at the different spins involved, and that this can be applied to both decoherence (T2) as well as nonadiabatic relaxation (T1) processes.
△ Less
Submitted 21 December, 2000; v1 submitted 4 September, 2000;
originally announced September 2000.
-
Spatially Encoded Pseudo-Pure States for NMR Quantum Information Processing
Authors:
Yehuda Sharf,
Timothy F. Havel,
David G. Cory
Abstract:
Quantum information processing by liquid-state NMR spectroscopy uses pseudo-pure states to mimic the evolution and observations on true pure states. A new method of preparing pseudo-pure states is described, which involves the selection of the spatially labeled states of an ancilla spin with which the spin system of interest is correlated. This permits a general procedure to be given for the pre…
▽ More
Quantum information processing by liquid-state NMR spectroscopy uses pseudo-pure states to mimic the evolution and observations on true pure states. A new method of preparing pseudo-pure states is described, which involves the selection of the spatially labeled states of an ancilla spin with which the spin system of interest is correlated. This permits a general procedure to be given for the preparation of pseudo-pure states on any number of spins, subject to the limitations imposed by the loss of signal from the selected subensemble. The preparation of a single pseudo-pure state is demonstrated by carbon and proton NMR on 13C-labeled alanine. With a judicious choice of magnetic field gradients, the method further allows encoding of up to 2^N pseudo-pure states in independent spatial modes in an N+1 spin system. Fast encoding and decoding schemes are demonstrated for the preparation of four such spatially labeled pseudo-pure states.
△ Less
Submitted 17 May, 2000;
originally announced May 2000.
-
NMR Based Quantum Information Processing: Achievements and Prospects
Authors:
D. G. Cory,
R. Laflamme,
E. Knill,
L. Viola,
T. F. Havel,
N. Boulant,
G. Boutis,
E. Fortunato,
S. Lloyd,
R. Martinez,
C. Negrevergne,
M. Pravia,
Y. Sharf,
G. Teklemariam,
Y. S. Weinstein,
W. H. Zurek
Abstract:
Nuclear magnetic resonance (NMR) provides an experimental setting to explore physical implementations of quantum information processing (QIP). Here we introduce the basic background for understanding applications of NMR to QIP and explain their current successes, limitations and potential. NMR spectroscopy is well known for its wealth of diverse coherent manipulations of spin dynamics. Ideas and…
▽ More
Nuclear magnetic resonance (NMR) provides an experimental setting to explore physical implementations of quantum information processing (QIP). Here we introduce the basic background for understanding applications of NMR to QIP and explain their current successes, limitations and potential. NMR spectroscopy is well known for its wealth of diverse coherent manipulations of spin dynamics. Ideas and instrumentation from liquid state NMR spectroscopy have been used to experiment with QIP. This approach has carried the field to a complexity of about 10 qubits, a small number for quantum computation but large enough for observing and better understanding the complexity of the quantum world. While liquid state NMR is the only present-day technology about to reach this number of qubits, further increases in complexity will require new methods. We sketch one direction leading towards a scalable quantum computer using spin 1/2 particles. The next step of which is a solid state NMR-based QIP capable of reaching 10-30 qubits.
△ Less
Submitted 27 April, 2000;
originally announced April 2000.
-
Geometric Algebra in Quantum Information Processing
Authors:
Timothy F. Havel,
Chris J. L. Doran
Abstract:
This paper develops a geometric model for coupled two-state quantum systems (qubits), which is formulated using geometric (aka Clifford) algebra. It begins by showing how Euclidean spinors can be interpreted as entities in the geometric algebra of a Euclidean vector space. This algebra is then lifted to Minkowski space-time and its associated geometric algebra, and the insights this provides int…
▽ More
This paper develops a geometric model for coupled two-state quantum systems (qubits), which is formulated using geometric (aka Clifford) algebra. It begins by showing how Euclidean spinors can be interpreted as entities in the geometric algebra of a Euclidean vector space. This algebra is then lifted to Minkowski space-time and its associated geometric algebra, and the insights this provides into how density operators and entanglement behave under Lorentz transformations are discussed. The direct sum of multiple copies of space-time induces a tensor product structure on the associated algebra, in which a suitable quotient is isomorphic to the matrix algebra conventionally used in multi-qubit quantum mechanics. Finally, the utility of geometric algebra in understanding both unitary and nonunitary quantum operations is demonstrated on several examples of interest in quantum information processing.
△ Less
Submitted 27 June, 2001; v1 submitted 7 April, 2000;
originally announced April 2000.
-
A Study of Quantum Error Correction by Geometric Algebra and Liquid-State NMR Spectroscopy
Authors:
Yehuda Sharf,
David G. Cory,
Shyamal S. Somaroo,
Timothy F. Havel,
Emanuel Knill,
Raymond Laflamme
Abstract:
Quantum error correcting codes enable the information contained in a quantum state to be protected from decoherence due to external perturbations. Applied to NMR, quantum coding does not alter normal relaxation, but rather converts the state of a ``data'' spin into multiple quantum coherences involving additional ancilla spins. These multiple quantum coherences relax at differing rates, thus per…
▽ More
Quantum error correcting codes enable the information contained in a quantum state to be protected from decoherence due to external perturbations. Applied to NMR, quantum coding does not alter normal relaxation, but rather converts the state of a ``data'' spin into multiple quantum coherences involving additional ancilla spins. These multiple quantum coherences relax at differing rates, thus permitting the original state of the data to be approximately reconstructed by mixing them together in an appropriate fashion. This paper describes the operation of a simple, three-bit quantum code in the product operator formalism, and uses geometric algebra methods to obtain the error-corrected decay curve in the presence of arbitrary correlations in the external random fields. These predictions are confirmed in both the totally correlated and uncorrelated cases by liquid-state NMR experiments on 13C-labeled alanine, using gradient-diffusion methods to implement these idealized decoherence models. Quantum error correction in weakly polarized systems requires that the ancilla spins be prepared in a pseudo-pure state relative to the data spin, which entails a loss of signal that exceeds any potential gain through error correction. Nevertheless, this study shows that quantum coding can be used to validate theoretical decoherence mechanisms, and to provide detailed information on correlations in the underlying NMR relaxation dynamics.
△ Less
Submitted 6 April, 2000;
originally announced April 2000.
-
Quantum Codes for Controlling Coherent Evolution
Authors:
Yehuda Sharf,
Timothy F. Havel,
David G. Cory
Abstract:
Control over spin dynamics has been obtained in NMR via coherent averaging, which is implemented through a sequence of RF pulses, and via quantum codes which can protect against incoherent evolution. Here, we discuss the design and implementation of quantum codes to protect against coherent evolution. A detailed example is given of a quantum code for protecting two data qubits from evolution und…
▽ More
Control over spin dynamics has been obtained in NMR via coherent averaging, which is implemented through a sequence of RF pulses, and via quantum codes which can protect against incoherent evolution. Here, we discuss the design and implementation of quantum codes to protect against coherent evolution. A detailed example is given of a quantum code for protecting two data qubits from evolution under a weak coupling (Ising) term in the Hamiltonian, using an ``isolated'' ancilla which does not evolve on the experimental time scale. The code is realized in a three-spin system by liquid-state NMR spectroscopy on 13C-labelled alanine, and tested for two initial states. It is also shown that for coherent evolution and isolated ancillae, codes exist that do not require the ancillae to initially be in a (pseudo-)pure state. Finally, it is shown that even with non-isolated ancillae quantum codes exist which can protect against evolution under weak coupling. An example is presented for a six qubit code that protects two data spins to first order.
△ Less
Submitted 2 June, 2000; v1 submitted 6 April, 2000;
originally announced April 2000.
-
Quantum simulation of a three-body interaction Hamiltonian on an NMR quantum computer
Authors:
C. H. Tseng,
S. Somaroo,
Y. Sharf,
E. Knill,
R. Laflamme,
T. F. Havel,
D. G. Cory
Abstract:
Extensions of average Hamiltonian theory to quantum computation permit the design of arbitrary Hamiltonians, allowing rotations throughout a large Hilbert space. In this way, the kinematics and dynamics of any quantum system may be simulated by a quantum computer. A basis mapping between the systems dictates the average Hamiltonian in the quantum computer needed to implement the desired Hamilton…
▽ More
Extensions of average Hamiltonian theory to quantum computation permit the design of arbitrary Hamiltonians, allowing rotations throughout a large Hilbert space. In this way, the kinematics and dynamics of any quantum system may be simulated by a quantum computer. A basis mapping between the systems dictates the average Hamiltonian in the quantum computer needed to implement the desired Hamiltonian in the simulated system. The flexibility of the procedure is illustrated with NMR on 13-C labelled Alanine by creating the non-physical Hamiltonian ZZZ corresponding to a three body interaction.
△ Less
Submitted 3 August, 1999;
originally announced August 1999.
-
Observations of Quantum Dynamics by Solution-State NMR Spectroscopy
Authors:
M. A. Pravia,
E. Fortunato,
Y. Weinstein,
M. D. Price,
G. Teklemariam,
R. J. Nelson,
Y. Sharf,
S. Somaroo,
C. H. Tseng,
T. F. Havel,
D. G. Cory
Abstract:
NMR is emerging as a valuable testbed for the investigation of foundational questions in quantum mechanics. The present paper outlines the preparation of a class of mixed states, called pseudo-pure states, that emulate pure quantum states in the highly mixed environment typically used to describe solution-state NMR samples. It also describes the NMR observation of spinor behavior in spin 1/2 nuc…
▽ More
NMR is emerging as a valuable testbed for the investigation of foundational questions in quantum mechanics. The present paper outlines the preparation of a class of mixed states, called pseudo-pure states, that emulate pure quantum states in the highly mixed environment typically used to describe solution-state NMR samples. It also describes the NMR observation of spinor behavior in spin 1/2 nuclei, the simulation of wave function collapse using a magnetic field gradient, the creation of entangled (or Bell) pseudo-pure states, and a brief discussion of quantum computing logic gates, including the Quantum Fourier Transform. These experiments show that liquid-state NMR can be used to demonstrate quantum dynamics at a level suitable for laboratory exercises.
△ Less
Submitted 18 June, 1999; v1 submitted 19 May, 1999;
originally announced May 1999.
-
Quantum Simulations on a Quantum Computer
Authors:
S. S. Somaroo,
C. H. Tseng,
T. F. Havel,
R. Laflamme,
D. G. Cory
Abstract:
We present a general scheme for performing a simulation of the dynamics of one quantum system using another. This scheme is used to experimentally simulate the dynamics of truncated quantum harmonic and anharmonic oscillators using nuclear magnetic resonance. We believe this to be the first explicit physical realization of such a simulation.
We present a general scheme for performing a simulation of the dynamics of one quantum system using another. This scheme is used to experimentally simulate the dynamics of truncated quantum harmonic and anharmonic oscillators using nuclear magnetic resonance. We believe this to be the first explicit physical realization of such a simulation.
△ Less
Submitted 13 May, 1999;
originally announced May 1999.
-
Principles and Demonstrations of Quantum Information Processing by NMR Spectroscopy
Authors:
T. F. Havel,
S. S. Somaroo,
C. -H. Tseng,
D. G. Cory
Abstract:
This paper surveys our recent research on quantum information processing by nuclear magnetic resonance (NMR) spectroscopy. We begin with a geometric introduction to the NMR of an ensemble of indistinguishable spins, and then show how this geometric interpretation is contained within an algebra of multispin product operators. This algebra is used throughout the rest of the paper to demonstrate th…
▽ More
This paper surveys our recent research on quantum information processing by nuclear magnetic resonance (NMR) spectroscopy. We begin with a geometric introduction to the NMR of an ensemble of indistinguishable spins, and then show how this geometric interpretation is contained within an algebra of multispin product operators. This algebra is used throughout the rest of the paper to demonstrate that it provides a facile framework within which to study quantum information processing more generally. The implementation of quantum algorithms by NMR depends upon the availability of special kinds of mixed states, called pseudo-pure states, and we consider a number of different methods for preparing these states, along with analyses of how they scale with the number of spins. The quantum-mechanical nature of processes involving such macroscopic pseudo-pure states also is a matter of debate, and in order to discuss this issue in concrete terms we present the results of NMR experiments which constitute a macroscopic analogue Hardy's paradox. Finally, a detailed product operator description is given of recent NMR experiments which demonstrate a three-bit quantum error correcting code, using field gradients to implement a precisely-known decoherence model.
△ Less
Submitted 3 July, 1999; v1 submitted 31 December, 1998;
originally announced December 1998.
-
The effective Hamiltonian of the Pound-Overhauser controlled-NOT gate
Authors:
D. G. Cory,
A. E. Dunlop,
T. F. Havel,
S. S. Somaroo,
W. Zhang
Abstract:
In NMR-based quantum computing, it is known that the controlled-NOT gate can be implemented by applying a low-power, monochromatic radio-frequency field to one peak of a doublet in a weakly-coupled two-spin system. This is known in NMR spectroscopy as Pound-Overhauser double resonance. The ``transition'' Hamiltonian that has been associated with this procedure is however only an approximation, w…
▽ More
In NMR-based quantum computing, it is known that the controlled-NOT gate can be implemented by applying a low-power, monochromatic radio-frequency field to one peak of a doublet in a weakly-coupled two-spin system. This is known in NMR spectroscopy as Pound-Overhauser double resonance. The ``transition'' Hamiltonian that has been associated with this procedure is however only an approximation, which ignores off-resonance effects and does not correctly predict the associated phase factors. In this paper, the exact effective Hamiltonian for evolution of the spins' state in a rotating frame is derived, both under irradiation of a single peak (on-transition) as well as between the peaks of the doublet (on-resonance). The accuracy of these effective Hamiltonians is validated by comparing the observable product operator components of the density matrix obtained by simulation to those obtained by fitting the corresponding experiments. It is further shown how both the on-transition and on-resonance fields can be used to implement the controlled-NOT gate exactly up to conditional phases, and analytic expressions for these phases are derived. In Appendices, the on-resonance Hamiltonian is analytically diagonalized, and proofs are given that, in the weak-coupling approximation, off-resonance effects can be neglected whenever the radio-frequency field power is small compared to the difference in resonance frequencies of the two spins.
△ Less
Submitted 16 September, 1998;
originally announced September 1998.
-
Experimental Quantum Error Correction
Authors:
D. G. Cory,
W. Mass,
M. Price,
E. Knill,
R. Laflamme,
W. H. Zurek,
T. F. Havel,
S. S. Somaroo
Abstract:
Quantum error correction is required to compensate for the fragility of the state of a quantum computer. We report the first experimental implementations of quantum error correction and confirm the expected state stabilization. In NMR computing, however, a net improvement in the signal-to-noise would require very high polarization. The experiment implemented the 3-bit code for phase errors in li…
▽ More
Quantum error correction is required to compensate for the fragility of the state of a quantum computer. We report the first experimental implementations of quantum error correction and confirm the expected state stabilization. In NMR computing, however, a net improvement in the signal-to-noise would require very high polarization. The experiment implemented the 3-bit code for phase errors in liquid state state NMR.
△ Less
Submitted 5 February, 1998;
originally announced February 1998.
-
Expressing the operations of quantum computing in multiparticle geometric algebra
Authors:
Shyamal S. Somaroo,
David G. Cory,
Timothy F. Havel
Abstract:
We show how the basic operations of quantum computing can be expressed and manipulated in a clear and concise fashion using a multiparticle version of geometric (aka Clifford) algebra. This algebra encompasses the product operator formalism of NMR spectroscopy, and hence its notation leads directly to implementations of these operations via NMR pulse sequences.
We show how the basic operations of quantum computing can be expressed and manipulated in a clear and concise fashion using a multiparticle version of geometric (aka Clifford) algebra. This algebra encompasses the product operator formalism of NMR spectroscopy, and hence its notation leads directly to implementations of these operations via NMR pulse sequences.
△ Less
Submitted 3 January, 1998;
originally announced January 1998.
-
Nuclear magnetic resonance spectroscopy: An experimentally accessible paradigm for quantum computing
Authors:
David G. Cory,
Mark D. Price,
Timothy F. Havel
Abstract:
We present experimental results which demonstrate that nuclear magnetic resonance spectroscopy is capable of efficiently emulating many of the capabilities of quantum computers, including unitary evolution and coherent superpositions, but without attendant wave-function collapse. Specifically, we have: (1) Implemented the quantum XOR gate in two different ways, one using Pound-Overhauser double…
▽ More
We present experimental results which demonstrate that nuclear magnetic resonance spectroscopy is capable of efficiently emulating many of the capabilities of quantum computers, including unitary evolution and coherent superpositions, but without attendant wave-function collapse. Specifically, we have: (1) Implemented the quantum XOR gate in two different ways, one using Pound-Overhauser double resonance, and the other using a spin-coherence double resonance pulse sequence; (2) Demonstrated that the square root of the Pound-Overhauser XOR corresponds to a conditional rotation, thus obtaining a universal set of gates; (3) Devised a spin-coherence implementation of the Toffoli gate, and confirmed that it transforms the equilibrium state of a four-spin system as expected; (4) Used standard gradient-pulse techniques in NMR to equalize all but one of the populations in a two-spin system, so obtaining the pseudo-pure state that corresponds to |00>; (5) Validated that one can identify which basic pseudo-pure state is present by transforming it into one-spin superpositions, whose associated spectra jointly characterize the state; (6) Applied the spin-coherence XOR gate to a one-spin superposition to create an entangled state, and confirmed its existence by detecting the associated double-quantum coherence via gradient-echo methods.
△ Less
Submitted 7 October, 1997; v1 submitted 30 August, 1997;
originally announced September 1997.
