arXiv subjects

Andrew C. Doherty

Publications and source records attributed to Andrew C. Doherty.

At least 73 records · Page 4Linked to original sources

arXiv2008

Applying matrix product operators to model systems with long-range interactions

An algorithm is presented which computes a translationally invariant matrix product state approximation of the ground state of an infinite 1D system; it does this by embedding sites into an approximation of the infinite ``environment'' of the chain, allowing the sites to relax, and then merging them with the environment in order to refine the approximation. By making use of matrix product operators, our approach is able to directly model any long-range interaction that can be systematically approximated by a series of decaying exponentials. We apply our techniques to compute the ground state of the Haldane-Shastry model and present results.

cond-mat.other↗

arXiv2008

Optimal tracking for pairs of qubit states

In classical control theory, tracking refers to the ability to perform measurements and feedback on a classical system in order to enforce some desired dynamics. In this paper we investigate a simple version of quantum tracking, namely, we look at how to optimally transform the state of a single qubit into a given target state, when the system can be prepared in two different ways, and the target state depends on the choice of preparation. We propose a tracking strategy that is proved to be optimal for any input and target states. Applications in the context of state discrimination, state purification, state stabilization and state-dependent quantum cloning are presented, where existing optimality results are recovered and extended.

quant-ph↗

arXiv2008

The quantum moment problem and bounds on entangled multi-prover games

We study the quantum moment problem: Given a conditional probability distribution together with some polynomial constraints, does there exist a quantum state rho and a collection of measurement operators such that (i) the probability of obtaining a particular outcome when a particular measurement is performed on rho is specified by the conditional probability distribution, and (ii) the measurement operators satisfy the constraints. For example, the constraints might specify that some measurement operators must commute. We show that if an instance of the quantum moment problem is unsatisfiable, then there exists a certificate of a particular form proving this. Our proof is based on a recent result in algebraic geometry, the noncommutative Positivstellensatz of Helton and McCullough [Trans. Amer. Math. Soc., 356(9):3721, 2004]. A special case of the quantum moment problem is to compute the value of one-round multi-prover games with entangled provers. Under the conjecture that the provers need only share states in finite-dimensional Hilbert spaces, we prove that a hierarchy of semidefinite programs similar to the one given by Navascues, Pironio and Acin [Phys. Rev. Lett., 98:010401, 2007] converges to the entangled value of the game. It follows that the class of languages recognized by a multi-prover interactive proof system where the provers share entanglement is recursive.

quant-ph↗

arXiv2008

SLOCC Convertibility between Two-Qubit States

In this paper we classify the four-qubit states that commute with $U\otimes{U}\otimes{V}\otimes{V}$, where $U$ and $V$ are arbitrary members of the Pauli group. We characterize the set of separable states for this class, in terms of a finite number of entanglement witnesses. Equivalently, we characterize the two-qubit, Bell-diagonal-preserving, completely positive maps that are separable. These separable completely positive maps correspond to protocols that can be implemented with stochastic local operations assisted by classical communication (SLOCC). This allows us to derive a complete set of SLOCC monotones for Bell-diagonal states, which, in turn, provides the necessary and sufficient conditions for converting one two-qubit state to another by SLOCC.

quant-ph↗

arXiv2007

Choice of Measurement Sets in Qubit Tomography

Optimal generalized measurements for state estimation are well understood. However, practical quantum state tomography is typically performed using a fixed set of projective measurements and the question of how to choose these measurements has been largely unexplored in the literature. In this work we develop theoretical asymptotic bounds for the average fidelity of pure qubit tomography using measurement sets whose axes correspond to vertices of Platonic solids. We also present complete simulations of maximum likelihood tomography for mixed qubit states using the Platonic solid measurements. We show that overcomplete measurement sets can be used to improve the accuracy of tomographic reconstructions.

quant-ph↗

arXiv2007

Bounds on Quantum Correlations in Bell Inequality Experiments

Bell inequality violation is one of the most widely known manifestations of entanglement in quantum mechanics; indicating that experiments on physically separated quantum mechanical systems cannot be given a local realistic description. However, despite the importance of Bell inequalities, it is not known in general how to determine whether a given entangled state will violate a Bell inequality. This is because one can choose to make many different measurements on a quantum system to test any given Bell inequality and the optimization over measurements is a high-dimensional variational problem. In order to better understand this problem we present algorithms that provide, for a given quantum state, both a lower bound and an upper bound on the maximal expectation value of a Bell operator. Both bounds apply techniques from convex optimization and the methodology for creating upper bounds allows them to be systematically improved. In many cases these bounds determine measurements that would demonstrate violation of the Bell inequality or provide a bound that rules out the possibility of a violation. Examples are given to illustrate how these algorithms can be used to conclude definitively if some quantum states violate a given Bell inequality.

quant-ph↗

arXiv2007

All bipartite entangled states display some hidden nonlocality

We show that a violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality can be demonstrated in a certain kind of Bell experiment for all bipartite entangled states. Our protocol allows local filtering measurements and involves shared ancilla states that do not themselves violate CHSH. Our result follows from two main steps. We first provide a simple characterization of the states that violate the CHSH-inequality after local filtering operations in terms of witness-like operators. Second, we prove that for each entangled state $σ$, there exists another state $ρ$ not violating CHSH, such that $ρ\otimesσ$ violates CHSH. Hence, in this scenario, $σ$ cannot be substituted by classical correlations without changing the statistics of the experiment; we say that $σ$ is not simulable by classical correlations and our result is that entanglement is equivalent to non-simulability.

quant-ph↗

arXiv2006

Entanglement of indistinguishable particles in condensed matter physics

The concept of entanglement in systems where the particles are indistinguishable has been the subject of much recent interest and controversy. In this paper we study the notion of entanglement of particles introduced by Wiseman and Vaccaro [Phys. Rev. Lett. 91, 097902 (2003)] in several specific physical systems, including some that occur in condensed matter physics. The entanglement of particles is relevant when the identical particles are itinerant and so not distinguished by their position as in spin models. We show that entanglement of particles can behave differently to other approaches that have been used previously, such as entanglement of modes (occupation-number entanglement) and the entanglement in the two-spin reduced density matrix. We argue that the entanglement of particles is what could actually be measured in most experimental scenarios and thus its physical significance is clear. This suggests entanglement of particles may be useful in connecting theoretical and experimental studies of entanglement in condensed matter systems.

quant-ph↗

arXiv2006

Better Bell Inequality Violation by Collective Measurements

The standard Bell inequality experiments test for violation of local realism by repeatedly making local measurements on individual copies of an entangled quantum state. Here we investigate the possibility of increasing the violation of a Bell inequality by making collective measurements. We show that nonlocality of bipartite pure entangled states, quantified by their maximal violation of the Bell-Clauser-Horne inequality, can always be enhanced by collective measurements, even without communication between the parties. For mixed states we also show that collective measurements can increase the violation of Bell inequalities, although numerical evidence suggests that the phenomenon is not common as it is for pure states.

quant-ph↗

arXiv2006

Quantum Control of a Single Qubit

Measurements in quantum mechanics cannot perfectly distinguish all states and necessarily disturb the measured system. We present and analyse a proposal to demonstrate fundamental limits on quantum control of a single qubit arising from these properties of quantum measurements. We consider a qubit prepared in one of two non-orthogonal states and subsequently subjected to dephasing noise. The task is to use measurement and feedback control to attempt to correct the state of the qubit. We demonstrate that projective measurements are not optimal for this task, and that there exists a non-projective measurement with an optimum measurement strength which achieves the best trade-off between gaining information about the system and disturbing it through measurement back-action. We study the performance of a quantum control scheme that makes use of this weak measurement followed by feedback control, and demonstrate that it realises the optimal recovery from noise for this system. We contrast this approach with various classically inspired control schemes.

quant-ph↗

arXiv2006

Study of the Distillability of Werner States Using Entanglement Witnesses and Robust Semidefinite Programs

We use Robust Semidefinite Programs and Entanglement Witnesses to study the distillability of Werner states. We perform exact numerical calculations which show 2-undistillability in a region of the state space which was previously conjectured to be undistillable. We also introduce bases which yield interesting expressions for the {\em distillability witnesses} and for a tensor product of Werner states with arbitrary number of copies.

quant-ph↗

arXiv2006

Optimal control, geometry, and quantum computing

We prove upper and lower bounds relating the quantum gate complexity of a unitary operation, U, to the optimal control cost associated to the synthesis of U. These bounds apply for any optimal control problem, and can be used to show that the quantum gate complexity is essentially equivalent to the optimal control cost for a wide range of problems, including time-optimal control and finding minimal distances on certain Riemannian, subriemannian, and Finslerian manifolds. These results generalize the results of Nielsen, Dowling, Gu, and Doherty, Science 311, 1133-1135 (2006), which showed that the gate complexity can be related to distances on a Riemannian manifold

quant-ph↗

arXiv2006

Quantum Computation as Geometry

Quantum computers hold great promise, but it remains a challenge to find efficient quantum circuits that solve interesting computational problems. We show that finding optimal quantum circuits is essentially equivalent to finding the shortest path between two points in a certain curved geometry. By recasting the problem of finding quantum circuits as a geometric problem, we open up the possibility of using the mathematical techniques of Riemannian geometry to suggest new quantum algorithms, or to prove limitations on the power of quantum computers.

quant-ph↗

arXiv2006

Entanglement under restricted operations: Analogy to mixed-state entanglement

We show that the classification of bi-partite pure entangled states when local quantum operations are restricted yields a structure that is analogous in many respects to that of mixed-state entanglement. Specifically, we develop this analogy by restricting operations through local superselection rules, and show that such exotic phenomena as bound entanglement and activation arise using pure states in this setting. This analogy aids in resolving several conceptual puzzles in the study of entanglement under restricted operations. In particular, we demonstrate that several types of quantum optical states that possess confusing entanglement properties are analogous to bound entangled states. Also, the classification of pure-state entanglement under restricted operations can be much simpler than for mixed-state entanglement. For instance, in the case of local Abelian superselection rules all questions concerning distillability can be resolved.

quant-ph↗

arXiv2005

Energy as an Entanglement Witness for Quantum Many-Body Systems

We investigate quantum many-body systems where all low-energy states are entangled. As a tool for quantifying such systems, we introduce the concept of the entanglement gap, which is the difference in energy between the ground-state energy and the minimum energy that a separable (unentangled) state may attain. If the energy of the system lies within the entanglement gap, the state of the system is guaranteed to be entangled. We find Hamiltonians that have the largest possible entanglement gap; for a system consisting of two interacting spin-1/2 subsystems, the Heisenberg antiferromagnet is one such example. We also introduce a related concept, the entanglement-gap temperature: the temperature below which the thermal state is certainly entangled, as witnessed by its energy. We give an example of a bipartite Hamiltonian with an arbitrarily high entanglement-gap temperature for fixed total energy range. For bipartite spin lattices we prove a theorem demonstrating that the entanglement gap necessarily decreases as the coordination number is increased. We investigate frustrated lattices and quantum phase transitions as physical phenomena that affect the entanglement gap.

quant-ph↗

arXiv2004

Detecting multipartite entanglement

We discuss the problem of determining whether the state of several quantum mechanical subsystems is entangled. As in previous work on two subsystems we introduce a procedure for checking separability that is based on finding state extensions with appropriate properties and may be implemented as a semidefinite program. The main result of this work is to show that there is a series of tests of this kind such that if a multiparty state is entangled this will eventually be detected by one of the tests. The procedure also provides a means of constructing entanglement witnesses that could in principle be measured in order to demonstrate that the state is entangled.

quant-ph↗

arXiv2003

Quantum Kalman Filtering and the Heisenberg Limit in Atomic Magnetometry

The shot-noise detection limit in current high-precision atomic magnetometry is a manifestation of quantum fluctuations that scale as the square root of N in an ensemble of N particles. However, there is a general expectation that the reduced projection noise provided by conditional spin-squeezing could be exploited to surpass the conventional shot-noise limit. We show that continuous measurement coupled with quantum Kalman filtering provides an optimal procedure for magnetic detection limits that scale with 1/N, the Heisenberg squeezing limit. Our analysis demonstrates the importance of optimal estimation procedures for high bandwidth precision magnetometry.

quant-ph↗

arXiv2003

A complete family of separability criteria

We introduce a new family of separability criteria that are based on the existence of extensions of a bipartite quantum state $ρ$ to a larger number of parties satisfying certain symmetry properties. It can be easily shown that all separable states have the required extensions, so the non-existence of such an extension for a particular state implies that the state is entangled. One of the main advantages of this approach is that searching for the extension can be cast as a convex optimization problem known as a semidefinite program (SDP). Whenever an extension does not exist, the dual optimization constructs an explicit entanglement witness for the particular state. These separability tests can be ordered in a hierarchical structure whose first step corresponds to the well-known Positive Partial Transpose (Peres-Horodecki) criterion, and each test in the hierarchy is at least as powerful as the preceding one. This hierarchy is complete, in the sense that any entangled state is guaranteed to fail a test at some finite point in the hierarchy, thus showing it is entangled. The entanglement witnesses corresponding to each step of the hierarchy have well-defined and very interesting algebraic properties that in turn allow for a characterization of the interior of the set of positive maps. Coupled with some recent results on the computational complexity of the separability problem, which has been shown to be NP-hard, this hierarchy of tests gives a complete and also computationally and theoretically appealing characterization of mixed bipartite entangled states.

quant-ph↗