Quantum Physics

We attempt at characterizing the correlations present in the quantum computational model DQC1, introduced by Knill and Laflamme [Phys. Rev. Lett. 81, 5672 (1998)]. The model involves a collection of qubits in the completely mixed state coupled to a single control qubit that has nonzero purity. Although there is little or no entanglement between two parts of this system, it provides an exponential speedup in certain problems. On the contrary, we find that the quantum discord across the most natural split is nonzero for typical instances of the DQC1 ciruit. Nonzero values of discord indicate the presence of nonclassical correlations. We propose quantum discord as figure of merit for characterizing the resources present in this computational model. This might be a complementary measure for counting resources in quantum information science.

We derive a set of Bell inequalities using correlated random variables. Our inequalities are necessary conditions for the existence of a local realistic description of projective measurements on qubits. We analyze our inequalities for the case of two qubits and find that they are equivalent to the well known CHSH inequalities. We also discuss the sufficiency of our inequalities as well as their applicability to more than two qubits.

A class of operations distinct to entangled states shared between more than two parties is their conversion to entangled states shared between fewer parties. The extent to which these can be achieved in the regime of local operations and classical communication provides an operational characterisation of multiparty states, for example in the \"entanglement of assistance\" and related quantities. I will give a brief overview of this topic and discuss our results showing qualitatively different behaviour when the parties receiving the final state are not chosen beforehand.

Several finite dimensional quasi-probability representations of quantum states have been proposed to study various problems in quantum information theory and quantum foundations. These representations are often defined only on restricted dimensions and their physical significance in contexts such as drawing quantum-classical comparisons is limited by the non-uniqueness of the particular representation. Here we show how the mathematical theory of frames provides a unified formalism which accommodates all known quasi-probability representations of finite dimensional quantum systems.

We will compare quantum phase estimation from the point of view of quantum computation and quantum metrology. In the simplest cases, the former can be simplified to a sequential (unentangled) protocol, while the latter is parallel (entangled). We show that both protocols can be formally related with circuit identities and that they respond in exactly the same way to decoherence. We present sequential protocols for optimal estimation and frame synchronization in DQC1. Finally, we introduce new estimation protocols based on nonlinear Hamiltonians. We show that both optimal input states and product states with separable measurements improve the scaling of linear Hamiltonians. We will comment on the effect of decoherence in nonlinear protocols, and the role of entanglement in nonlinear protocols with product states.

A new microcanonical equilibrium state is introduced for quantum systems with finite-dimensional state spaces. Equilibrium is characterised by a uniform distribution on a level surface of the expectation value of the Hamiltonian. The distinguishing feature of the proposed equilibrium state is that the corresponding density of states is a continuous function of the energy, and hence thermodynamic functions are well defined for finite quantum systems. The density of states, however, is not in general an analytic function. It is demonstrated that generic quantum systems therefore exhibit second-order phase transitions at finite temperatures. The talk is based on work carried out in collaboration with D.W. Hook and L.P. Hughston.

What if the second law of thermodynamics, in the hierarchy of physical laws, were at the same level as the fundamental laws of mechanics, such as the great conservation principles? What if entropy were an intrinsic property of matter at the same level as energy is universally understood to be? What if irreversibility were an intrinsic feature of the microscopic dynamical law of all physical objects, including an individual qubit or qudit? This talk will show how positive answers to these questions need not contradict any of the known results of quantum mechanics. We construct a logically consistent, mathematically sound and definite, physically intriguing, non-relativistic and non-statistical quantum theory, in which the second law of thermodynamics is embedded as a fundamental microscopical law. The theory hinges upon a nonlinear extension of unitary Hamiltonian dynamics which for uncorrelated and noninteracting systems reduces to the usual Schroedinger equation for the zero entropy states, but in general generates a group (not a semi group) of irreversible time evolutions, where the non-Hamiltonian entropy generating term in the evolution equation attracts the state towards the direction of maximal entropy increase. Various examples and features of this highly non-conventional dynamical theory are discussed. References available at http://www.quantumthermodynamics.org/

Renner\'s global quantum de Finetti theorem establishes that if the state of a quantum system is invariant under permutations of its systems, then almost all of its subsystems are almost in the same state and independent of each other. Motivated by this result, we show that the most straightforward classical analogue of Renner\'s theorem is false. Joint work with Matthias Christandl (Cambridge).

The one clean qubit model is a model of quantum computation in which all but one qubit starts in the maximally mixed state. One clean qubit computers are believed to be strictly weaker than standard quantum computers, but still capable of solving some classically intractable problems. I\'ll discuss my recent work in collaboration with Peter Shor which shows that evaluating a certain approximation to the Jones polynomial at a fifth root of unity for the trace closure of a braid is a complete problem for the one clean qubit complexity class.

The simplest algebraic curves of genus one are the nonsingular cubics in two-dimensional complex projective space. Interpreting CP^2 as the space of pure quantum states associated with a Hilbert space of dimension three, I will show how various properties of d=3 symmetric informationally complete positive operator valued measures can be understood in terms of the geometry of such curves. The resulting structure, although of considerable complexity, is very beautiful from a mathematical perspective.

We give a convenient representation for any map which is covariant with respect to an irreducible representation of SU(2), and use this representation to analyze the evolution of a quantum directional reference frame when it is exploited as a resource for performing quantum operations. We introduce the moments of a quantum reference frame, which serve as a complete description of its properties as a frame, and investigate how many times a quantum directional reference frame represented by a spin-j system can be used to perform a certain quantum operation with a given probability of success. We provide a considerable generalization of previous results on degradation of reference frame, from which follows a classification of the dynamics of spin-j system under the repeated action of any covariant map with respect to SU(2). Joint work with Lana Sheridan, Martin Laforest and Stephen Bartlett

The solution of many problems in quantum information is critically dependent on the geometry of the space of density matrices. For a Hilbert space of dimension 2 this geometry is very simple: it is simply a sphere. However for Hilbert spaces of dimension greater than 2 the geometry is much more interesting as the bounding hypersurface is both highly symmetric (it has a d^2 real parameter symmetry group, where d is the dimension) and highly convoluted. The problem of getting a better understanding of this hypersurface is difficult (it is hard even in the case of a single qutrit). It is also, we believe, both physically important and mathematically deep. In this talk we relate the problem to MUBs (mutually unbiased bases) and SIC-POVMs (symmetric informationally complete positive operator valued measures). These structures were originally introduced in connection with tomography. However, that by no means exhausts their importance. In particular their existence (non-existence???) in a given dimension is a source of significant insight into the state space geometry in that dimension. SIC-POVMs are especially important in this regard as they provide a a natural set of coordinates for state space. In this talk we give an overview of the problem. We then go on to describe some recent results obtained in collaboration with Chris Fuchs and Hoan Dang (also see recent work by Wootters and Sussman). In particular we describe the connection with minimum uncertainty states. These states, besides being interesting in themselves (they are a kind of discrete analogue of coherent states with important cryptographic applications), suggest a potentially fruitful line of attack on the still outstanding SIC existence problem.