301 research outputs found
Quantum query complexity of entropy estimation
Estimation of Shannon and R\'enyi entropies of unknown discrete distributions
is a fundamental problem in statistical property testing and an active research
topic in both theoretical computer science and information theory. Tight bounds
on the number of samples to estimate these entropies have been established in
the classical setting, while little is known about their quantum counterparts.
In this paper, we give the first quantum algorithms for estimating
-R\'enyi entropies (Shannon entropy being 1-Renyi entropy). In
particular, we demonstrate a quadratic quantum speedup for Shannon entropy
estimation and a generic quantum speedup for -R\'enyi entropy
estimation for all , including a tight bound for the
collision-entropy (2-R\'enyi entropy). We also provide quantum upper bounds for
extreme cases such as the Hartley entropy (i.e., the logarithm of the support
size of a distribution, corresponding to ) and the min-entropy case
(i.e., ), as well as the Kullback-Leibler divergence between
two distributions. Moreover, we complement our results with quantum lower
bounds on -R\'enyi entropy estimation for all .Comment: 43 pages, 1 figur
Limitations of semidefinite programs for separable states and entangled games
Semidefinite programs (SDPs) are a framework for exact or approximate
optimization that have widespread application in quantum information theory. We
introduce a new method for using reductions to construct integrality gaps for
SDPs. These are based on new limitations on the sum-of-squares (SoS) hierarchy
in approximating two particularly important sets in quantum information theory,
where previously no -round integrality gaps were known: the set of
separable (i.e. unentangled) states, or equivalently, the
norm of a matrix, and the set of quantum correlations; i.e. conditional
probability distributions achievable with local measurements on a shared
entangled state. In both cases no-go theorems were previously known based on
computational assumptions such as the Exponential Time Hypothesis (ETH) which
asserts that 3-SAT requires exponential time to solve. Our unconditional
results achieve the same parameters as all of these previous results (for
separable states) or as some of the previous results (for quantum
correlations). In some cases we can make use of the framework of
Lee-Raghavendra-Steurer (LRS) to establish integrality gaps for any SDP, not
only the SoS hierarchy. Our hardness result on separable states also yields a
dimension lower bound of approximate disentanglers, answering a question of
Watrous and Aaronson et al. These results can be viewed as limitations on the
monogamy principle, the PPT test, the ability of Tsirelson-type bounds to
restrict quantum correlations, as well as the SDP hierarchies of
Doherty-Parrilo-Spedalieri, Navascues-Pironio-Acin and Berta-Fawzi-Scholz.Comment: 47 pages. v2. small changes, fixes and clarifications. published
versio
Parallel repetition for entangled k-player games via fast quantum search
We present two parallel repetition theorems for the entangled value of
multi-player, one-round free games (games where the inputs come from a product
distribution). Our first theorem shows that for a -player free game with
entangled value , the -fold repetition of
has entangled value at most , where is the answer length of any
player. In contrast, the best known parallel repetition theorem for the
classical value of two-player free games is , due to Barak, et al. (RANDOM 2009). This
suggests the possibility of a separation between the behavior of entangled and
classical free games under parallel repetition.
Our second theorem handles the broader class of free games where the
players can output (possibly entangled) quantum states. For such games, the
repeated entangled value is upper bounded by . We also show that the dependence of the exponent
on is necessary: we exhibit a -player free game and such
that .
Our analysis exploits the novel connection between communication protocols
and quantum parallel repetition, first explored by Chailloux and Scarpa (ICALP
2014). We demonstrate that better communication protocols yield better parallel
repetition theorems: our first theorem crucially uses a quantum search protocol
by Aaronson and Ambainis, which gives a quadratic speed-up for distributed
search problems. Finally, our results apply to a broader class of games than
were previously considered before; in particular, we obtain the first parallel
repetition theorem for entangled games involving more than two players, and for
games involving quantum outputs.Comment: This paper is a significantly revised version of arXiv:1411.1397,
which erroneously claimed strong parallel repetition for free entangled
games. Fixed author order to alphabetica
Simulating Large Quantum Circuits on a Small Quantum Computer
Limited quantum memory is one of the most important constraints for near-term
quantum devices. Understanding whether a small quantum computer can simulate a
larger quantum system, or execute an algorithm requiring more qubits than
available, is both of theoretical and practical importance. In this Letter, we
introduce cluster parameters and of a quantum circuit. The tensor
network of such a circuit can be decomposed into clusters of size at most
with at most qubits of inter-cluster quantum communication. We propose a
cluster simulation scheme that can simulate any -clustered quantum
circuit on a -qubit machine in time roughly , with further
speedups possible when taking more fine-grained circuit structure into account.
We show how our scheme can be used to simulate clustered quantum systems --
such as large molecules -- that can be partitioned into multiple significantly
smaller clusters with weak interactions among them. By using a suitable
clustered ansatz, we also experimentally demonstrate that a quantum variational
eigensolver can still achieve the desired performance for estimating the energy
of the BeH molecule while running on a physical quantum device with half
the number of required qubits.Comment: Codes are available at https://github.com/TianyiPeng/Partiton_VQ
Physical Randomness Extractors: Generating Random Numbers with Minimal Assumptions
How to generate provably true randomness with minimal assumptions? This
question is important not only for the efficiency and the security of
information processing, but also for understanding how extremely unpredictable
events are possible in Nature. All current solutions require special structures
in the initial source of randomness, or a certain independence relation among
two or more sources. Both types of assumptions are impossible to test and
difficult to guarantee in practice. Here we show how this fundamental limit can
be circumvented by extractors that base security on the validity of physical
laws and extract randomness from untrusted quantum devices. In conjunction with
the recent work of Miller and Shi (arXiv:1402:0489), our physical randomness
extractor uses just a single and general weak source, produces an arbitrarily
long and near-uniform output, with a close-to-optimal error, secure against
all-powerful quantum adversaries, and tolerating a constant level of
implementation imprecision. The source necessarily needs to be unpredictable to
the devices, but otherwise can even be known to the adversary.
Our central technical contribution, the Equivalence Lemma, provides a general
principle for proving composition security of untrusted-device protocols. It
implies that unbounded randomness expansion can be achieved simply by
cross-feeding any two expansion protocols. In particular, such an unbounded
expansion can be made robust, which is known for the first time. Another
significant implication is, it enables the secure randomness generation and key
distribution using public randomness, such as that broadcast by NIST's
Randomness Beacon. Our protocol also provides a method for refuting local
hidden variable theories under a weak assumption on the available randomness
for choosing the measurement settings.Comment: A substantial re-writing of V2, especially on model definitions. An
abstract model of robustness is added and the robustness claim in V2 is made
rigorous. Focuses on quantum-security. A future update is planned to address
non-signaling securit
- …