This series consists of talks in the area of Quantum Information Theory.
The minimal dimension of the Hilbert space that hosts states of an entangled pair of photons can be extremely high. The process of spontaneous parametric down-conversion (SPDC) is a possible way of producing highly entangled photon pairs, in both the spatial and temporal parts of the wave function. However, the most common approximations that are used in the analytical treatment of SPDC hinder the possibility of noticing further structures of the single joint modes.
Winter's measurement compression theorem stands as one of the most important, yet perhaps less well-known coding theorems in quantum information theory. Not only does it make an illuminative statement about measurement in quantum theory, but it also underlies several other general protocols used for entanglement distillation or local purity distillation.
We propose a framework to describe and simulate a class of many-body quantum states. We do so by considering joint eigenspaces of sets of monomial unitary matrices, called "M-spaces"; a unitary matrix is monomial if precisely one entry per row and column is nonzero. We show that M-spaces encompass various important state families, such as all Pauli stabilizer states and codes, the AKLT model, Kitaev's anyon models, W states and several others. We furthermore demonstrate how basic properties of M-spaces can transparently be understood by manipulating their monomial stabilizer groups.
Based on the joint work with Sergey Bravyi, IBM Watson. We show that any topologically ordered local stabilizer model of spins in three dimensional lattices that lacks string logical operators can be used as a reliable quantum memory against thermal noise. It is shown that any local process creating a topologically charged particle separated from other particles by distance $R$, must cross an energy barrier of height $c \log R$. This property makes the model glassy.
In this talk, I will briefly review the recent progress on quantum computation and simulation in the trapped ion system, with particular emphasis on the idea of scaling (how to scale up the number of qubits). I will discuss ideas towards large-scale quantum computation/simulation based on the network approach or the use of transverse phonon modes in anharmonic traps and then review the recent experimental progress along this direction. At the end of the talk, I will also briefly mention recent activities in Tsinghua-Michigan Joint Institute for quantum information.
Quantum field theory provides the framework for the Standard Model of particle physics and plays a key role in many areas of physics. However, calculations are generally computationally complex and limited to weak interaction strengths. I shall describe a polynomial-time algorithm for computing, on a quantum computer, relativistic scattering amplitudes in massive scalar quantum field theories. The quantum algorithm applies at both weak and strong coupling, achieving exponential speedup over known classical methods at high precision or strong coupling.
One of the major obstacles in quantum information processing is to prevent a quantum bit from decoherence. One powerful approach to protect quantum coherence is dynamical decoupling. I will present some recent progress of diamond-based quantum information processing using dynamical decoupling. The other promising approach is to use topological quantum systems, which are intrinsically insensitive to local perturbations. I will discuss some ideas to create and probe topological quantum systems.
Relativistic quantum information theory uses well-known tools coming from quantum information and quantum optics to study quantum effects provoked by gravity and to learn information about the spacetime. One can take advantage of our knowledge about quantum optics and quantum information theory to analyse from a new perspective the effects produced by the gravitational interaction.
We generalize the result of Bravyi et al. on the stability of the spectral gap for frustration-free, commuting Hamiltonians, by removing the assumption of commutativity and weakening the assumptions needed for stability.