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 show that a generic many-body Hamiltonian can be uniquely reconstructed from a single pair of initial-final states under the unitary time evolution. Interesting it is, this method is not practical due to its high complexity. We then propose a practical method for Hamiltonian reconstruction from multiple pairs of initial-final states. The stability of this method is mathematically proved and numerically verified.
This work is joint with Liujun Zou and Timothy Hsieh.
In quantum spin systems, the existence of a spectral gap above the ground state has strong implications for the low-energy physics. We survey recent results establishing spectral gaps in various frustration-free spin systems by verifying finite-size criteria. The talk is based on collaborations with Abdul-Rahman, Lucia, Mozgunov, Nachtergaele, Sandvik, Yang, Young, and Wang.
Connections between 2D gapped quantum phases and the anyon fusion theory have been proven in various ways under different settings. In this work, we introduce a new framework connecting them by only assuming a conjectured form of entanglement area law for 2D gapped systems. We show that one can systematically define topological charges and fusion rules from the area law alone, in a well-defined way. We then derive the fusion rules of charges satisfy all the axioms required in the algebraic theory of anyons.
Holographic quantum error correcting codes (HQECC) have been proposed as toy models for the AdS/CFT correspondence, and exhibit many of the features of the duality. HQECC give a mapping of states and observables. However, they do not map local bulk Hamiltonians to local Hamiltonians on the boundary. In this work, we combine HQECC with Hamiltonian simulation theory to construct a bulk-boundary mapping between local Hamiltonians, whilst retaining all the features of the HQECC duality.
We give a quantum speedup for solving the canonical semidefinite programming relaxation for binary quadratic optimization. The class of relaxations for combinatorial optimization has so far eluded quantum speedups. Our methods combine ideas from quantum Gibbs sampling and matrix exponent updates. A de-quantization of the algorithm also leads to a faster classical solver. For generic instances, our quantum solver gives a nearly quadratic speedup over state-of-the-art algorithms.
This is joint work with Fernando Brandao (Caltech) and Daniel Stilck Franca (QMATH, Copenhagen).
The mixing time of Markovian dissipative evolutions of open quantum many-body systems can be bounded using optimal constants of certain quantum functional inequalities, such as the logarithmic Sobolev constant. For classical spin systems, the positivity of such constants follows from a mixing condition for the Gibbs measure, via quasi-factorization results for the entropy.
Quantum complexity is a notion characterizing the universality of the entanglement arising from a quantum evolution. A universal evolution will result in a complex entanglement. At the same time, this also corresponds to small fluctuations and to unlearnability from the point of view of machine learning. All these aspects are connected to the different features of k-designs, which are under-samplings of the Hilbert space.
I will describe some connections between the Eigenstate Thermalization Hypothesis (ETH), the entanglement structure of generic excited eigenstates of chaotic quantum systems ("EE", arXiv:1906.04295), and the "bound on chaos" limiting the growth rate of the out-of-time-order four-point correlator in such systems ("OTOC", arXiv:1906.10808).
In quantum error correcting codes, there is a distinction
between coherent and incoherent noise. Coherent noise can cause the
average infidelity to accumulate quadratically when a fixed channel is
applied many times in succession, rather than linearly as in the case
of incoherent noise. I will present a proof that unitary single qubit
noise in the 2D toric code with minimum weight decoding is mapped to
less coherent logical noise, and as the code size grows, the coherence
of the logical noise channel is suppressed. In the process, I will