As is well known, when an SU (2) operation acts on a two-level system, its Bloch vector rotates w... more As is well known, when an SU (2) operation acts on a two-level system, its Bloch vector rotates without change of magnitude. Considering a system composed of two two-level systems, it is proven that for a class of nonlocal interactions of the two subsystems including σi ⊗ σj (with i, j ∈ {x, y, z}) and the Heisenberg interaction, the geometric description of the motion is particularly simple: each of the two Bloch vectors follows an elliptical orbit within the Bloch sphere. The utility of this result is demonstrated in two applications, the first of which bears on quantum control via quantum interfaces. By employing nonunitary control operations, we extend the idea of controllability to a set of points which are not necessarily connected by unitary transformations. The second application shows how the orbit of the coherence vector can be used to assess the entangling power of Heisenberg exchange interaction.
Adiabatic evolution is used in a variety of quantum information processing tasks. However, the el... more Adiabatic evolution is used in a variety of quantum information processing tasks. However, the elimination of errors is not as well-developed as it is for circuit model processing. Here, we present a strategy to accelerate a reliable quantum adiabatic process by adding Leakage Elimination Operators (LEO) to the evolution which are a sequence of pulse controls acting in an adiabatic subspace. Using the Feshbach P Q partitioning technique, we obtain an analytical solution which traces the footprint of the target eigenstate. The effectiveness of the LEO is independent of the specific form of the pulse but depends on the average frequency of the control function. Furthermore, we give the exact expression of the control function in an experimental framework by a counter unitary transformation, thus the physical meaning of the LEO is clear. Our results reveal the equivalence of the control function between two different formalisms which aids in implementation.
We provide a class of initial encodings that can be sent with a high fidelity over an unmodulated... more We provide a class of initial encodings that can be sent with a high fidelity over an unmodulated, linear, XY spin chain. As an example, an average fidelity of ninety-six percent can be obtained using an eleven-spin encoding to transmit a state over a chain containing ten-thousand spins. An analysis of the magnetic field dependence is given, and conditions for field optimization are provided.
We outline a proposal for a method of preparing a single logically encoded two-state system (qubi... more We outline a proposal for a method of preparing a single logically encoded two-state system (qubit) that is immune to collective noise acting on the Hilbert space of the particles supporting it. The logical qubit is comprised of three photonic 3-state systems (qutrits) and is generated by the process of spontaneous parametric down-conversion. The states are constructed using linear optical elements along with three down-conversion sources, and are deemed successful by the simultaneous detection of six events. We also show how to select a maximally entangled state of two qutrits by similar methods. For this maximally entangled state we describe conditions for the state to be decoherence-free which do not correspond to collective errors, but which have a precisely defined relationship between them.
Strong and fast "bang-bang" (BB) pulses have been recently proposed as a means for reducing decoh... more Strong and fast "bang-bang" (BB) pulses have been recently proposed as a means for reducing decoherence in a quantum system. So far theoretical analysis of the BB technique relied on model Hamiltonians. Here we introduce a method for empirically determining the set of required BB pulses, that relies on quantum process tomography. In this manner an experimenter may tailor his or her BB pulses to the quantum system at hand, without having to assume a model Hamiltonian.
We propose a polynomial-time algorithm for simulation of the class of pairing Hamiltonians, e.g.,... more We propose a polynomial-time algorithm for simulation of the class of pairing Hamiltonians, e.g., the BCS Hamiltonian, on an NMR quantum computer. The algorithm adiabatically finds the lowlying spectrum in the vicinity of the gap between ground and first excited states, and provides a test of the applicability of the BCS Hamiltonian to mesoscopic superconducting systems, such as ultra-small metallic grains.
Any quantum program on a realistic quantum device must be compiled into an executable form while ... more Any quantum program on a realistic quantum device must be compiled into an executable form while taking into account the underlying hardware constraints. Stringent restrictions on architecture and control imposed by physical platforms make this very challenging. In this paper, based on the quantum variational algorithm, we propose a novel scheme to train an Ansatz circuit and realize high-fidelity compilation of a set of universal quantum gates for singlet-triplet qubits in semiconductor double quantum dots, a fairly heavily constrained system. Furthermore, we propose a scalable architecture for a modular implementation of quantum programs in this constrained systems and validate its performance with two representative demonstrations, Grover's algorithm for the database searching (static compilation) and a variant of variational quantum eigensolver for the Max-Cut optimization (dynamic compilation). Our methods are potentially applicable to a wide range of physical devices. This work constitutes an important stepping-stone for exploiting the potential for advanced and complicated quantum algorithms on near-term devices.
A dynamical map is a map which takes one density operator to another. Such a map can be written i... more A dynamical map is a map which takes one density operator to another. Such a map can be written in an operator-sum representation (OSR) using a spectral decompositon. The method of the construction applies to more general maps which need not be completely positive. The OSR not unique; there is a freedom to choose the set of operators in the OSR differently, yet still obtain the same map. Here we identify all maps which are equivalent to a given map. Whereas the freedom for completely positive maps is unitary, the freedom for maps which are not necessarily completely positive is pseudo-unitary.
A parameterization of the density operator, a coherence vector representation, which uses a basis... more A parameterization of the density operator, a coherence vector representation, which uses a basis of orthogonal, traceless, Hermitian matrices is discussed. Using this parameterization we find the region of permissible vectors which represent a density operator. The inequalities which specify the region are shown to involve the Casimir invariants of the group. In particular cases, this allows the determination of degeneracies in the spectrum of the operator. The identification of the Casimir invariants also provides a method of constructing quantities which are invariant under local unitary operations. Several examples are given which illustrate the constraints provided by the positivity requirements and the utility of the coherence vector parameterization.
Correlations between a system and its environment lead to errors in an open quantum system. Detec... more Correlations between a system and its environment lead to errors in an open quantum system. Detecting those correlations would be valuable for avoiding and/or correcting those errors. Here we show that we can detect correlations by only measuring the system itself if we know the cause of the interaction between the two, for example in the case of a dipole-dipole interaction. We investigate the unitary U which is associated with the exchange Hamiltonian and examine the ability to detect initial correlations between a system and its environment for various types of initial states. The states we select are motivated by realistic experimental conditions and we provide bounds for when we can state with certainty that there are initial system-environment correlations given experimental data.
Only a few classes of quantum algorithms are known which provide a speed-up over classical algori... more Only a few classes of quantum algorithms are known which provide a speed-up over classical algorithms. However, these and any new quantum algorithms provide important motivation for the development of quantum computers. In this article new quantum algorithms are given which are based on quantum state tomography. These include an algorithm for the calculation of several quantum mechanical expectation values and an algorithm for the determination of polynomial factors. These quantum algorithms are important in their own right. However, it is remarkable that these quantum algorithms are immune to a large class of errors. We describe these algorithms and provide conditions for immunity.
Understanding heat transfer between a quantum system and its environment is of undisputed importa... more Understanding heat transfer between a quantum system and its environment is of undisputed importance if reliable quantum devices are to be constructed. Here, we investigate the heat transfer between system and bath in non-Markovian open systems in the process of adiabatic speedup. Using the quantum state diffusion equation method, the heat current, energy current, and power are calculated during free evolution and under external control of the system. While the heat current increases with increasing system-bath coupling strength and bath temperature, it can be restricted by the non-Markovian nature of the bath. Without pulse control, the heat current is nearly equal to the energy current. On the other hand, with pulse control, the energy current turns out to be nearly equal to the power. In this scenario, we show that non-Markovianity is a useful tool to drive the system through an approximate adiabatic dynamics, with pulse control acting in the conversion between heat current and power throughout the evolution.
We propose a systematic and explicit method for the inverse engineering of the dynamics of an ope... more We propose a systematic and explicit method for the inverse engineering of the dynamics of an open quantum systems with no auxiliary Hamiltonian nor the prerequisite of adiabatic passage. In particular, we exploit the Lindblad dissipators in order to create a resource state or subspace of interest in the presence of decoherence. In a conceptual shift, the Lindblad dissipators, including multiple interactions that are central to determine the steady state in the long-time limit for an open quantum system, can be guided to produce a useful practical resource to achieve an arbitrary target state or subspace. More importantly, with the help of gate and circuit-based quantum control, we provide an explicit, programmable, and polynomially efficient control sequence to create a cluster state or graph state useful for one-way quantum computing.
We present an optical device which is capable of heralding a variety of DFS states which protect ... more We present an optical device which is capable of heralding a variety of DFS states which protect against collective noise. Specifically, it can prepare all three basis states which span a DFS qutrit as well as an arbitrarily encoded DFS qubit state. We also discuss an interferometric technique for determining the amplitudes associated with an arbitrary encoding. The heralded state may find use in coherent optical systems which exhibit collective correlations.
A system interacting with its environment will give rise to a quantum evolution. After tracing ov... more A system interacting with its environment will give rise to a quantum evolution. After tracing over the environment the net evolution of the system can be described by a linear Hermitian map. It has recently been shown that a necessary and sufficient condition for this evolution to be completely positive is for the initial state to have vanishing quantum discord. In this paper, we provide a sufficient condition for the map to be positive with respect to the initial system-environment correlation. This could lead to ways in which to identify positive but not completely positive maps. Illustrative examples and suggestive procedures are also provided.
Negativity is regarded as an important measure of entanglement in quantum information theory. In ... more Negativity is regarded as an important measure of entanglement in quantum information theory. In contrast to other measures of entanglement, it is easily computable for bipartite states in arbitrary dimensions. In this paper, based on the negativity and realignment, we provide a set of entanglement-sharing constraints for multipartite states, where the entanglement is not necessarily limited to bipartite and pure states, thus aiding in the quantification of constraints for entanglement-sharing. These may find applications in studying many-body systems.
As is well known, when an SU (2) operation acts on a two-level system, its Bloch vector rotates w... more As is well known, when an SU (2) operation acts on a two-level system, its Bloch vector rotates without change of magnitude. Considering a system composed of two two-level systems, it is proven that for a class of nonlocal interactions of the two subsystems including σi ⊗ σj (with i, j ∈ {x, y, z}) and the Heisenberg interaction, the geometric description of the motion is particularly simple: each of the two Bloch vectors follows an elliptical orbit within the Bloch sphere. The utility of this result is demonstrated in two applications, the first of which bears on quantum control via quantum interfaces. By employing nonunitary control operations, we extend the idea of controllability to a set of points which are not necessarily connected by unitary transformations. The second application shows how the orbit of the coherence vector can be used to assess the entangling power of Heisenberg exchange interaction.
Adiabatic evolution is used in a variety of quantum information processing tasks. However, the el... more Adiabatic evolution is used in a variety of quantum information processing tasks. However, the elimination of errors is not as well-developed as it is for circuit model processing. Here, we present a strategy to accelerate a reliable quantum adiabatic process by adding Leakage Elimination Operators (LEO) to the evolution which are a sequence of pulse controls acting in an adiabatic subspace. Using the Feshbach P Q partitioning technique, we obtain an analytical solution which traces the footprint of the target eigenstate. The effectiveness of the LEO is independent of the specific form of the pulse but depends on the average frequency of the control function. Furthermore, we give the exact expression of the control function in an experimental framework by a counter unitary transformation, thus the physical meaning of the LEO is clear. Our results reveal the equivalence of the control function between two different formalisms which aids in implementation.
We provide a class of initial encodings that can be sent with a high fidelity over an unmodulated... more We provide a class of initial encodings that can be sent with a high fidelity over an unmodulated, linear, XY spin chain. As an example, an average fidelity of ninety-six percent can be obtained using an eleven-spin encoding to transmit a state over a chain containing ten-thousand spins. An analysis of the magnetic field dependence is given, and conditions for field optimization are provided.
We outline a proposal for a method of preparing a single logically encoded two-state system (qubi... more We outline a proposal for a method of preparing a single logically encoded two-state system (qubit) that is immune to collective noise acting on the Hilbert space of the particles supporting it. The logical qubit is comprised of three photonic 3-state systems (qutrits) and is generated by the process of spontaneous parametric down-conversion. The states are constructed using linear optical elements along with three down-conversion sources, and are deemed successful by the simultaneous detection of six events. We also show how to select a maximally entangled state of two qutrits by similar methods. For this maximally entangled state we describe conditions for the state to be decoherence-free which do not correspond to collective errors, but which have a precisely defined relationship between them.
Strong and fast "bang-bang" (BB) pulses have been recently proposed as a means for reducing decoh... more Strong and fast "bang-bang" (BB) pulses have been recently proposed as a means for reducing decoherence in a quantum system. So far theoretical analysis of the BB technique relied on model Hamiltonians. Here we introduce a method for empirically determining the set of required BB pulses, that relies on quantum process tomography. In this manner an experimenter may tailor his or her BB pulses to the quantum system at hand, without having to assume a model Hamiltonian.
We propose a polynomial-time algorithm for simulation of the class of pairing Hamiltonians, e.g.,... more We propose a polynomial-time algorithm for simulation of the class of pairing Hamiltonians, e.g., the BCS Hamiltonian, on an NMR quantum computer. The algorithm adiabatically finds the lowlying spectrum in the vicinity of the gap between ground and first excited states, and provides a test of the applicability of the BCS Hamiltonian to mesoscopic superconducting systems, such as ultra-small metallic grains.
Any quantum program on a realistic quantum device must be compiled into an executable form while ... more Any quantum program on a realistic quantum device must be compiled into an executable form while taking into account the underlying hardware constraints. Stringent restrictions on architecture and control imposed by physical platforms make this very challenging. In this paper, based on the quantum variational algorithm, we propose a novel scheme to train an Ansatz circuit and realize high-fidelity compilation of a set of universal quantum gates for singlet-triplet qubits in semiconductor double quantum dots, a fairly heavily constrained system. Furthermore, we propose a scalable architecture for a modular implementation of quantum programs in this constrained systems and validate its performance with two representative demonstrations, Grover's algorithm for the database searching (static compilation) and a variant of variational quantum eigensolver for the Max-Cut optimization (dynamic compilation). Our methods are potentially applicable to a wide range of physical devices. This work constitutes an important stepping-stone for exploiting the potential for advanced and complicated quantum algorithms on near-term devices.
A dynamical map is a map which takes one density operator to another. Such a map can be written i... more A dynamical map is a map which takes one density operator to another. Such a map can be written in an operator-sum representation (OSR) using a spectral decompositon. The method of the construction applies to more general maps which need not be completely positive. The OSR not unique; there is a freedom to choose the set of operators in the OSR differently, yet still obtain the same map. Here we identify all maps which are equivalent to a given map. Whereas the freedom for completely positive maps is unitary, the freedom for maps which are not necessarily completely positive is pseudo-unitary.
A parameterization of the density operator, a coherence vector representation, which uses a basis... more A parameterization of the density operator, a coherence vector representation, which uses a basis of orthogonal, traceless, Hermitian matrices is discussed. Using this parameterization we find the region of permissible vectors which represent a density operator. The inequalities which specify the region are shown to involve the Casimir invariants of the group. In particular cases, this allows the determination of degeneracies in the spectrum of the operator. The identification of the Casimir invariants also provides a method of constructing quantities which are invariant under local unitary operations. Several examples are given which illustrate the constraints provided by the positivity requirements and the utility of the coherence vector parameterization.
Correlations between a system and its environment lead to errors in an open quantum system. Detec... more Correlations between a system and its environment lead to errors in an open quantum system. Detecting those correlations would be valuable for avoiding and/or correcting those errors. Here we show that we can detect correlations by only measuring the system itself if we know the cause of the interaction between the two, for example in the case of a dipole-dipole interaction. We investigate the unitary U which is associated with the exchange Hamiltonian and examine the ability to detect initial correlations between a system and its environment for various types of initial states. The states we select are motivated by realistic experimental conditions and we provide bounds for when we can state with certainty that there are initial system-environment correlations given experimental data.
Only a few classes of quantum algorithms are known which provide a speed-up over classical algori... more Only a few classes of quantum algorithms are known which provide a speed-up over classical algorithms. However, these and any new quantum algorithms provide important motivation for the development of quantum computers. In this article new quantum algorithms are given which are based on quantum state tomography. These include an algorithm for the calculation of several quantum mechanical expectation values and an algorithm for the determination of polynomial factors. These quantum algorithms are important in their own right. However, it is remarkable that these quantum algorithms are immune to a large class of errors. We describe these algorithms and provide conditions for immunity.
Understanding heat transfer between a quantum system and its environment is of undisputed importa... more Understanding heat transfer between a quantum system and its environment is of undisputed importance if reliable quantum devices are to be constructed. Here, we investigate the heat transfer between system and bath in non-Markovian open systems in the process of adiabatic speedup. Using the quantum state diffusion equation method, the heat current, energy current, and power are calculated during free evolution and under external control of the system. While the heat current increases with increasing system-bath coupling strength and bath temperature, it can be restricted by the non-Markovian nature of the bath. Without pulse control, the heat current is nearly equal to the energy current. On the other hand, with pulse control, the energy current turns out to be nearly equal to the power. In this scenario, we show that non-Markovianity is a useful tool to drive the system through an approximate adiabatic dynamics, with pulse control acting in the conversion between heat current and power throughout the evolution.
We propose a systematic and explicit method for the inverse engineering of the dynamics of an ope... more We propose a systematic and explicit method for the inverse engineering of the dynamics of an open quantum systems with no auxiliary Hamiltonian nor the prerequisite of adiabatic passage. In particular, we exploit the Lindblad dissipators in order to create a resource state or subspace of interest in the presence of decoherence. In a conceptual shift, the Lindblad dissipators, including multiple interactions that are central to determine the steady state in the long-time limit for an open quantum system, can be guided to produce a useful practical resource to achieve an arbitrary target state or subspace. More importantly, with the help of gate and circuit-based quantum control, we provide an explicit, programmable, and polynomially efficient control sequence to create a cluster state or graph state useful for one-way quantum computing.
We present an optical device which is capable of heralding a variety of DFS states which protect ... more We present an optical device which is capable of heralding a variety of DFS states which protect against collective noise. Specifically, it can prepare all three basis states which span a DFS qutrit as well as an arbitrarily encoded DFS qubit state. We also discuss an interferometric technique for determining the amplitudes associated with an arbitrary encoding. The heralded state may find use in coherent optical systems which exhibit collective correlations.
A system interacting with its environment will give rise to a quantum evolution. After tracing ov... more A system interacting with its environment will give rise to a quantum evolution. After tracing over the environment the net evolution of the system can be described by a linear Hermitian map. It has recently been shown that a necessary and sufficient condition for this evolution to be completely positive is for the initial state to have vanishing quantum discord. In this paper, we provide a sufficient condition for the map to be positive with respect to the initial system-environment correlation. This could lead to ways in which to identify positive but not completely positive maps. Illustrative examples and suggestive procedures are also provided.
Negativity is regarded as an important measure of entanglement in quantum information theory. In ... more Negativity is regarded as an important measure of entanglement in quantum information theory. In contrast to other measures of entanglement, it is easily computable for bipartite states in arbitrary dimensions. In this paper, based on the negativity and realignment, we provide a set of entanglement-sharing constraints for multipartite states, where the entanglement is not necessarily limited to bipartite and pure states, thus aiding in the quantification of constraints for entanglement-sharing. These may find applications in studying many-body systems.
Uploads
Papers by Mark Byrd