This series consists of weekly discussion sessions on foundations of quantum Theory and quantum information theory. The sessions start with an informal exposition of an interesting topic, research result or important question in the field. Everyone is strongly encouraged to participate with questions and comments.
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.
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.
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.
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.
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.
Entanglement plays a fundamental role in quantum information
processing and is regarded as a valuable, fungible resource,
The practical ability to transform (or manipulate) entanglement from one form to another is useful for many applications.
Usually one considers entanglement manipulation of states which are multiple copies of a given bipartite entangled state and requires that the fidelity of the transformation to (or from) multiple copies of
a maximally entangled state approaches unity asymptotically in the
It is known that finite fields with d elements exist only when d is a prime or a prime power.
When the dimension d of a finite dimensional Hilbert space is a prime power, we can associate to each basis state of the Hilbert space an element of a finite or Galois field, and construct a finite group of unitary transformations, the generalised Pauli group or discrete Heisenberg-Weyl group. Its elements can be expressed, in terms of the elements of a Galois field.
This group presents numerous
In this talk we discuss how large classes of classical spin models, such as the Ising and Potts models on arbitrary lattices, can be mapped to the graph state formalism. In particular, we show how the partition function of a spin model can be written as the overlap between a graph state and a complete product state. Here the graph state encodes the interaction pattern of the spin model---i.e., the lattice on which the model is defined---whereas the product state depends only on the couplings of the model, i.e., the interaction strengths.
In nearly every quantum algorithm which exponentially outperforms the best classical algorithm the quantum Fourier transform plays a central role. Recently, however, cracks in the quantum Fourier transform paradigm have begun to emerge. In this talk I will discuss one such development which arises in a new efficient quantum algorithm for the Heisenberg hidden subgroup problem.