448 research outputs found
Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy
We introduce a simple sub-universal quantum computing model, which we call
the Hadamard-classical circuit with one-qubit (HC1Q) model. It consists of a
classical reversible circuit sandwiched by two layers of Hadamard gates, and
therefore it is in the second level of the Fourier hierarchy. We show that
output probability distributions of the HC1Q model cannot be classically
efficiently sampled within a multiplicative error unless the polynomial-time
hierarchy collapses to the second level. The proof technique is different from
those used for previous sub-universal models, such as IQP, Boson Sampling, and
DQC1, and therefore the technique itself might be useful for finding other
sub-universal models that are hard to classically simulate. We also study the
classical verification of quantum computing in the second level of the Fourier
hierarchy. To this end, we define a promise problem, which we call the
probability distribution distinguishability with maximum norm (PDD-Max). It is
a promise problem to decide whether output probability distributions of two
quantum circuits are far apart or close. We show that PDD-Max is BQP-complete,
but if the two circuits are restricted to some types in the second level of the
Fourier hierarchy, such as the HC1Q model or the IQP model, PDD-Max has a
Merlin-Arthur system with quantum polynomial-time Merlin and classical
probabilistic polynomial-time Arthur.Comment: 30 pages, 4 figure
Computation with narrow CTCs
We examine some variants of computation with closed timelike curves (CTCs),
where various restrictions are imposed on the memory of the computer, and the
information carrying capacity and range of the CTC. We give full
characterizations of the classes of languages recognized by polynomial time
probabilistic and quantum computers that can send a single classical bit to
their own past. Such narrow CTCs are demonstrated to add the power of limited
nondeterminism to deterministic computers, and lead to exponential speedup in
constant-space probabilistic and quantum computation. We show that, given a
time machine with constant negative delay, one can implement CTC-based
computations without the need to know about the runtime beforehand.Comment: 16 pages. A few typo was correcte
Rational approximations and quantum algorithms with postselection
We study the close connection between rational functions that approximate a
given Boolean function, and quantum algorithms that compute the same function
using postselection. We show that the minimal degree of the former equals (up
to a factor of 2) the minimal query complexity of the latter. We give optimal
(up to constant factors) quantum algorithms with postselection for the Majority
function, slightly improving upon an earlier algorithm of Aaronson. Finally we
show how Newman's classic theorem about low-degree rational approximation of
the absolute-value function follows from these algorithms.Comment: v2: 12 pages LaTeX, to appear in Quantum Information and Computation.
Compared to version 1, the writing has been improved but the results are
unchange
Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable
We study the classical simulatability of commuting quantum circuits with n
input qubits and O(log n) output qubits, where a quantum circuit is classically
simulatable if its output probability distribution can be sampled up to an
exponentially small additive error in classical polynomial time. First, we show
that there exists a commuting quantum circuit that is not classically
simulatable unless the polynomial hierarchy collapses to the third level. This
is the first formal evidence that a commuting quantum circuit is not
classically simulatable even when the number of output qubits is exponentially
small. Then, we consider a generalized version of the circuit and clarify the
condition under which it is classically simulatable. Lastly, we apply the
argument for the above evidence to Clifford circuits in a similar setting and
provide evidence that such a circuit augmented by a depth-1 non-Clifford layer
is not classically simulatable. These results reveal subtle differences between
quantum and classical computation.Comment: 19 pages, 6 figures; v2: Theorems 1 and 3 improved, proofs modifie
Quantum Commuting Circuits and Complexity of Ising Partition Functions
Instantaneous quantum polynomial-time (IQP) computation is a class of quantum
computation consisting only of commuting two-qubit gates and is not universal
in the sense of standard quantum computation. Nevertheless, it has been shown
that if there is a classical algorithm that can simulate IQP efficiently, the
polynomial hierarchy (PH) collapses at the third level, which is highly
implausible. However, the origin of the classical intractability is still less
understood. Here we establish a relationship between IQP and computational
complexity of the partition functions of Ising models. We apply the established
relationship in two opposite directions. One direction is to find subclasses of
IQP that are classically efficiently simulatable in the strong sense, by using
exact solvability of certain types of Ising models. Another direction is
applying quantum computational complexity of IQP to investigate (im)possibility
of efficient classical approximations of Ising models with imaginary coupling
constants. Specifically, we show that there is no fully polynomial randomized
approximation scheme (FPRAS) for Ising models with almost all imaginary
coupling constants even on a planar graph of a bounded degree, unless the PH
collapses at the third level. Furthermore, we also show a multiplicative
approximation of such a class of Ising partition functions is at least as hard
as a multiplicative approximation for the output distribution of an arbitrary
quantum circuit.Comment: 36 pages, 5 figure
- …