
Given a quantum gate $U$ acting on a bipartite quantum system, its maximum
(average, minimum) entangling power is the maximum (average, minimum)
entanglement generation with respect to certain entanglement measure when the
inputs are restricted to be product states. In this paper, we mainly focus on
the 'weakest' one, i.e., the minimum entangling power, among all these
entangling powers. We show that, by choosing von Neumann entropy of reduced
density operator or Schmidt rank as entanglement measure, even the 'weakest'
entangling power is generically very close to its maximal possible entanglement
generation. In other words, maximum, average and minimum entangling powers are
generically close. We then study minimum entangling power with respect to other
Lipschitizcontinuous entanglement measures and generalize our results to
multipartite quantum systems.
As a straightforward application, a random quantum gate will almost surely be
an intrinsically faulttolerant entangling device that will always transform
every lowentangled state to nearmaximally entangled state.

We introduce a threeplayer nonlocal game, with a finite number of classical
questions and answers, such that the optimal success probability of $1$ in the
game can only be achieved in the limit of strategies using arbitrarily
highdimensional entangled states. Precisely, there exists a constant $0 <c\leq
1$ such that to succeed with probability $1\varepsilon$ in the game it is
necessary to use an entangled state of at least $\Omega(\varepsilon^{c})$
qubits, and it is sufficient to use a state of at most $O(\varepsilon^{1})$
qubits.
The game is based on the coherent state exchange game of Leung et al. (CJTCS
2013). In our game, the task of the quantum verifier is delegated to a third
player by a classical referee. Our results complement those of Slofstra
(arXiv:1703.08618) and Dykema et al. (arXiv:1709.05032), who obtained
twoplayer games with similar (though quantitatively weaker) properties based
on the representation theory of finitely presented groups and $C^*$algebras
respectively.

The problem of determining whether a given quantum state is entangled lies at
the heart of quantum information processing, which is known to be an NPhard
problem in general. Despite the proposed many methods such as the positive
partial transpose (PPT) criterion and the ksymmetric extendibility criterion
to tackle this problem in practice, none of them enables a general, effective
solution to the problem even for small dimensions. Explicitly, separable states
form a highdimensional convex set, which exhibits a vastly complicated
structure. In this work, we build a new separabilityentanglement classifier
underpinned by machine learning techniques. Our method outperforms the existing
methods in generic cases in terms of both speed and accuracy, opening up the
avenues to explore quantum entanglement via the machine learning approach.

It is a fundamental problem to decide how many copies of an unknown mixed
quantum state are necessary and sufficient to determine the state. Previously,
it was known only that estimating states to error $\epsilon$ in trace distance
required $O(dr^2/\epsilon^2)$ copies for a $d$dimensional density matrix of
rank $r$. Here, we give a theoretical measurement scheme (POVM) that requires
$O (dr/ \delta ) \ln (d/\delta) $ copies of $\rho$ to error $\delta$ in
infidelity, and a matching lower bound up to logarithmic factors. This implies
$O( (dr / \epsilon^2) \ln (d/\epsilon) )$ copies suffice to achieve error
$\epsilon$ in trace distance. We also prove that for independent (product)
measurements, $\Omega(dr^2/\delta^2) / \ln(1/\delta)$ copies are necessary in
order to achieve error $\delta$ in infidelity. For fixed $d$, our measurement
can be implemented on a quantum computer in time polynomial in $n$.

We present a protocol that transforms any quantum multiprover interactive
proof into a nonlocal game in which questions consist of logarithmic number of
bits and answers of constant number of bits. As a corollary, this proves that
the promise problem corresponding to the approximation of the nonlocal value to
inverse polynomial accuracy is complete for QMIP*, and therefore NEXPhard.
This establishes that nonlocal games are provably harder than classical games
without any complexity theory assumptions. Our result also indicates that gap
amplification for nonlocal games may be impossible in general and provides a
negative evidence for the possibility of the gap amplification approach to the
multiprover variant of the quantum PCP conjecture.

The reduced density matrices of a manybody quantum system form a convex set,
whose threedimensional projection $\Theta$ is convex in $\mathbb{R}^3$. The
boundary $\partial\Theta$ of $\Theta$ may exhibit nontrivial geometry, in
particular ruled surfaces. Two physical mechanisms are known for the origins of
ruled surfaces: symmetry breaking and gapless. In this work, we study the
emergence of ruled surfaces for systems with local Hamiltonians in infinite
spatial dimension, where the reduced density matrices are known to be separable
as a consequence of the quantum de Finetti's theorem. This allows us to
identify the reduced density matrix geometry with joint product numerical range
$\Pi$ of the Hamiltonian interaction terms. We focus on the case where the
interaction terms have certain structures, such that ruled surface emerge
naturally when taking a convex hull of $\Pi$. We show that, a ruled surface on
$\partial\Theta$ sitting in $\Pi$ has a gapless origin, otherwise it has a
symmetry breaking origin. As an example, we demonstrate that a famous ruled
surface, known as the oloid, is a possible shape of $\Theta$, with two boundary
pieces of symmetry breaking origin separated by two gapless lines.

The reduced density matrices (RDMs) of manybody quantum states form a convex
set. The boundary of low dimensional projections of this convex set may exhibit
nontrivial geometry such as ruled surfaces. In this paper, we study the
physical origins of these ruled surfaces for bosonic systems. The emergence of
ruled surfaces was recently proposed as signatures of symmetrybreaking phase.
We show that, apart from being signatures of symmetrybreaking, ruled surfaces
can also be the consequence of gapless quantum systems by demonstrating an
explicit example in terms of a twomode Ising model. Our analysis was largely
simplified by the quantum de Finetti's theoremin the limit of large system
size, these RDMs are the convex set of all the symmetric separable states. To
distinguish ruled surfaces originated from gapless systems from those caused by
symmetrybreaking, we propose to use the finite size scaling method for the
corresponding geometry. This method is then applied to the twomode XY model,
successfully identifying a ruled surface as the consequence of gapless systems.

We investigate quantum state tomography (QST) for pure states and quantum
process tomography (QPT) for unitary channels via $adaptive$ measurements. For
a quantum system with a $d$dimensional Hilbert space, we first propose an
adaptive protocol where only $2d1$ measurement outcomes are used to accomplish
the QST for $all$ pure states. This idea is then extended to study QPT for
unitary channels, where an adaptive unitary process tomography (AUPT) protocol
of $d^2+d1$ measurement outcomes is constructed for any unitary channel. We
experimentally implement the AUPT protocol in a 2qubit nuclear magnetic
resonance system. We examine the performance of the AUPT protocol when applied
to Hadamard gate, $T$ gate ($\pi/8$ phase gate), and controlledNOT gate,
respectively, as these gates form the universal gate set for quantum
information processing purpose. As a comparison, standard QPT is also
implemented for each gate. Our experimental results show that the AUPT protocol
that reconstructing unitary channels via adaptive measurements significantly
reduce the number of experiments required by standard QPT without considerable
loss of fidelity.

Entanglement depth characterizes the minimal number of particles in a system
that are mutually entangled. For symmetric states, we show that there is a
dichotomy for entanglement depth: an $N$particle symmetric state is either
fully separable, or fully entangledthe entanglement depth is either $1$ or
$N$. This property is even stable under nonsymmetric noise. We propose an
experimentally accessible method to detect entanglement depth in atomic
ensembles based on a bound on the particle number population of Dicke states,
and demonstrate that the entanglement depth of some Dicke states, for example
the twin Fock state, is very stable even under a large arbitrary noise. Our
observation can be applied to atomic BoseEinstein condensates to infer that
these systems can be highly entangled with the entanglement depth that is of
the order of the system size (i.e. several thousands of atoms).

Prior work has established that all problems in NP admit classical
zeroknowledge proof systems, and under reasonable hardness assumptions for
quantum computations, these proof systems can be made secure against quantum
attacks. We prove a result representing a further quantum generalization of
this fact, which is that every problem in the complexity class QMA has a
quantum zeroknowledge proof system. More specifically, assuming the existence
of an unconditionally binding and quantum computationally concealing commitment
scheme, we prove that every problem in the complexity class QMA has a quantum
interactive proof system that is zeroknowledge with respect to efficient
quantum computations.
Our QMA proof system is sound against arbitrary quantum provers, but only
requires an honest prover to perform polynomialtime quantum computations,
provided that it holds a quantum witness for a given instance of the QMA
problem under consideration. The proof system relies on a new variant of the
QMAcomplete local Hamiltonian problem in which the local terms are described
by Clifford operations and standard basis measurements. We believe that the
QMAcompleteness of this problem may have other uses in quantum complexity.

Quantum state tomography via local measurements is an efficient tool for
characterizing quantum states. However it requires that the original global
state be uniquely determined (UD) by its local reduced density matrices (RDMs).
In this work we demonstrate for the first time a class of states that are UD by
their RDMs under the assumption that the global state is pure, but fail to be
UD in the absence of that assumption. This discovery allows us to classify
quantum states according to their UD properties, with the requirement that each
class be treated distinctly in the practice of simplifying quantum state
tomography. Additionally we experimentally test the feasibility and stability
of performing quantum state tomography via the measurement of local RDMs for
each class. These theoretical and experimental results advance the project of
performing efficient and accurate quantum state tomography in practice.

We discuss quantum capacities for two types of entanglement networks:
$\mathcal{Q}$ for the quantum repeater network with free classical
communication, and $\mathcal{R}$ for the tensor network as the rank of the
linear operation represented by the tensor network. We find that $\mathcal{Q}$
always equals $\mathcal{R}$ in the regularized case for the samenetwork graph.
However, the relationships between the corresponding oneshot capacities
$\mathcal{Q}_1$ and $\mathcal{R}_1$ are more complicated, and the mincut upper
bound is in general not achievable. We show that the tensor network can be
viewed as a stochastic protocol with the quantum repeater network, such that
$\mathcal{R}_1$ is a natural upper bound of $\mathcal{Q}_1$. We analyze the
possible gap between $\mathcal{R}_1$ and $\mathcal{Q}_1$ for certain networks,
and compare them with the oneshot classical capacity of the corresponding
classical network.

We examine the problem of finding the minimum number of Pauli measurements
needed to uniquely determine an arbitrary $n$qubit pure state among all
quantum states. We show that only $11$ Pauli measurements are needed to
determine an arbitrary twoqubit pure state compared to the full quantum state
tomography with $16$ measurements, and only $31$ Pauli measurements are needed
to determine an arbitrary threequbit pure state compared to the full quantum
state tomography with $64$ measurements. We demonstrate that our protocol is
robust under depolarizing error with simulated random pure states. We
experimentally test the protocol on two and threequbit systems with nuclear
magnetic resonance techniques. We show that the pure state tomography protocol
saves us a number of measurements without considerable loss of fidelity. We
compare our protocol with samesize sets of randomly selected Pauli operators
and find that our selected set of Pauli measurements significantly outperforms
those random sampling sets. As a direct application, our scheme can also be
used to reduce the number of settings needed for purestate tomography in
quantum optical systems.

In this paper, we study the geometry of reduced density matrices for states
with symmetryprotected topological (SPT) order. We observe ruled surface
structures on the boundary of the convex set of low dimension projections of
the reduced density matrices. In order to signal the SPT order using ruled
surfaces, it is important that we add a symmetrybreaking term to the boundary
of the systemno ruled surface emerges in systems without boundary or when we
add a symmetrybreaking term representing a thermodynamic quantity. Although
the ruled surfaces only appear in the thermodynamic limit where the
groundstate degeneracy is exact, we analyze the precision of our numerical
algorithm and show that a finite system calculation suffices to reveal the
ruled surface structures.

Entanglement, one of the central mysteries of quantum mechanics, plays an
essential role in numerous applications of quantum information theory. A
natural question of both theoretical and experimental importance is whether
universal entanglement detection is possible without full state tomography. In
this work, we prove a nogo theorem that rules out this possibility for any
nonadaptive schemes that employ singlecopy measurements only. We also examine
in detail a previously implemented experiment, which claimed to detect
entanglement of twoqubit states via adaptive singlecopy measurements without
full state tomography. By performing the experiment and analyzing the data, we
demonstrate that the information gathered is indeed sufficient to reconstruct
the state. These results reveal a fundamental limit for singlecopy
measurements in entanglement detection, and provides a general framework to
study the detection of other interesting properties of quantum states, such as
the positivity of partial transpose and the $k$symmetric extendibility.

The quantum marginal problem asks whether a set of given density matrices are
consistent, i.e., whether they can be the reduced density matrices of a global
quantum state. Not many nontrivial analytic necessary (or sufficient)
conditions are known for the problem in general. We propose a method to detect
consistency of overlapping quantum marginals by considering the separability of
some derived states. Our method works well for the $k$symmetric extension
problem in general, and for the general overlapping marginal problems in some
cases. Our work is, in some sense, the converse to the wellknown $k$symmetric
extension criterion for separability.

We present a classical interactive protocol that verifies the validity of a
quantum witness state for the local Hamiltonian problem. It follows from this
protocol that approximating the nonlocal value of a multiplayer oneround
game to inverse polynomial precision is QMAhard. Our work makes an interesting
connection between the theory of QMAcompleteness and Hamiltonian complexity on
one hand and the study of nonlocal games and Bell inequalities on the other.

In this paper, we discuss the connection between two genuinely quantum
phenomena  the discontinuity of quantum maximum entropy inference and
quantum phase transitions at zero temperature. It is shown that the
discontinuity of the maximum entropy inference of local observable measurements
signals the nonlocal type of transitions, where local density matrices of the
ground state change smoothly at the transition point. We then propose to use
the quantum conditional mutual information of the ground state as an indicator
to detect the discontinuity and the nonlocal type of quantum phase transitions
in the thermodynamic limit.

Quantum key distribution uses public discussion protocols to establish shared
secret keys. In the exploration of ultimate limits to such protocols, the
property of symmetric extendibility of underlying bipartite states $\rho_{AB}$
plays an important role. A bipartite state $\rho_{AB}$ is symmetric extendible
if there exits a tripartite state $\rho_{ABB'}$, such that the $AB$ marginal
state is identical to the $AB'$ marginal state, i.e. $\rho_{AB'}=\rho_{AB}$.
For a symmetric extendible state $\rho_{AB}$, the first task of the public
discussion protocol is to break this symmetric extendibility. Therefore to
characterize all bipartite quantum states that possess symmetric extensions is
of vital importance. We prove a simple analytical formula that a twoqubit
state $\rho_{AB}$ admits a symmetric extension if and only if
$\tr(\rho_B^2)\geq \tr(\rho_{AB}^2)4\sqrt{\det{\rho_{AB}}}$. Given the
intimate relationship between the symmetric extension problem and the quantum
marginal problem, our result also provides the first analytical necessary and
sufficient condition for the quantum marginal problem with overlapping
marginals.

Modeling and reasoning about concurrent quantum systems is very important
both for distributed quantum computing and for quantum protocol verification.
As a consequence, a general framework describing formally the communication and
concurrency in complex quantum systems is necessary. For this purpose, we
propose a model qCCS which is a natural quantum extension of classical
valuepassing CCS with the input and output of quantum states, and unitary
transformations and measurements on quantum systems. The operational semantics
of qCCS is given based on probabilistic labeled transition system. This
semantics has many different features compared with the proposals in literature
in order to describe input and output of quantum systems which are possibly
correlated with other components. Based on this operational semantics, we
introduce the notions of strong probabilistic bisimilarity and weak
probabilistic bisimilarity between quantum processes and discuss some
properties of them, such as congruence under various combinators.

A binary constraint system game is a twoplayer oneround nonlocal game
defined by a system of Boolean constraints. The game has a perfect quantum
strategy if and only if the constraint system has a quantum satisfying
assignment [R. Cleve and R. Mittal, arXiv:1209.2729]. We show that several
concepts including the quantum chromatic number and the KochenSpecker sets
that arose from different contexts fit naturally in the binary constraint
system framework. The structure and complexity of the quantum satisfiability
problems for these constraint systems are investigated. Combined with a new
construct called the commutativity gadget for each problem, several classic
NPhardness reductions are lifted to their corresponding quantum versions. We
also provide a simple parity constraint game that requires $\Omega(\sqrt{n})$
EPR pairs in perfect strategies where $n$ is the number of variables in the
constraint system.

Symmetry is at the heart of coding theory. Codes with symmetry, especially
cyclic codes, play an essential role in both theory and practical applications
of classical errorcorrecting codes. Here we examine symmetry properties for
codeword stabilized (CWS) quantum codes, which is the most general framework
for constructing quantum errorcorrecting codes known to date. A CWS code Q can
be represented by a selfdual additive code S and a classical code C, i.,e.,
Q=(S,C), however this representation is in general not unique. We show that for
any CWS code Q with certain permutation symmetry, one can always find a
selfdual additive code S with the same permutation symmetry as Q such that
Q=(S,C). As many good CWS codes have been found by starting from a chosen S,
this ensures that when trying to find CWS codes with certain permutation
symmetry, the choice of S with the same symmetry will suffice. A key step for
this result is a new canonical representation for CWS codes, which is given in
terms of a unique decomposition as union stabilizer codes. For CWS codes, so
far mainly the standard form (G,C) has been considered, where G is a graph
state. We analyze the symmetry of the corresponding graph of G, which in
general cannot possess the same permutation symmetry as Q. We show that it is
indeed the case for the toric code on a square lattice with translational
symmetry, even if its encoding graph can be chosen to be translational
invariant.

We discuss the uniqueness of quantum states compatible with given results for
measuring a set of observables. For a given pure state, we consider two
different types of uniqueness: (1) no other pure state is compatible with the
same measurement results and (2) no other state, pure or mixed, is compatible
with the same measurement results. For case (1), it is known that for a
ddimensional Hilbert space, there exists a set of 4d5 observables that
uniquely determines any pure state. We show that for case (2), 5d7 observables
suffice to uniquely determine any pure state. Thus there is a gap between the
results for (1) and (2), and we give some examples to illustrate this. The case
of observables corresponding to reduced density matrices (RDMs) of a
multipartite system is also discussed, where we improve known bounds on local
dimensions for case (2) in which almost all pure states are uniquely determined
by their RDMs. We further discuss circumstances where (1) can imply (2). We use
convexity of the numerical range of operators to show that when only two
observables are measured, (1) always implies (2). More generally, if there is a
compact group of symmetries of the state space which has the span of the
observables measured as the set of fixed points, then (1) implies (2). We
analyze the possible dimensions for the span of such observables. Our results
extend naturally to the case of low rank quantum states.

Traditional quantum physics solves ground states for a given Hamiltonian,
while quantum information science asks for the existence and construction of
certain Hamiltonians for given ground states. In practical situations, one
would be mainly interested in local Hamiltonians with certain interaction
patterns, such as nearest neighbour interactions on some type of lattices. A
necessary condition for a space $V$ to be the groundstate space of some local
Hamiltonian with a given interaction pattern, is that the maximally mixed state
supported on $V$ is uniquely determined by its reduced density matrices
associated with the given pattern, based on the principle of maximum entropy.
However, it is unclear whether this condition is in general also sufficient. We
examine the situations for the existence of such a local Hamiltonian to have
$V$ satisfying the necessary condition mentioned above as its groundstate
space, by linking to faces of the convex body of the local reduced states. We
further discuss some methods for constructing the corresponding local
Hamiltonians with given interaction patterns, mainly from physical points of
view, including constructions related to perturbation methods, local
frustrationfree Hamiltonians, as well as thermodynamical ensembles.

The structure of the ground spaces of quantum systems consisting of local
interactions is of fundamental importance to different areas of physics. In
this Letter, we present a necessary and sufficient condition for a subspace to
be the ground space of a klocal Hamiltonian. Our analysis are motivated by the
concept of irreducible correlations studied by [Linden et al., PRL 89, 277906]
and [Zhou, PRL 101, 180505], which is in turn based on the principle of maximum
entropy. It establishes a better understanding of the ground spaces of local
Hamiltonians and builds an intimate link of ground spaces to the correlations
of quantum states.