13 research outputs found
Efficient quantum processing of ideals in finite rings
Suppose we are given black-box access to a finite ring R, and a list of
generators for an ideal I in R. We show how to find an additive basis
representation for I in poly(log |R|) time. This generalizes a recent quantum
algorithm of Arvind et al. which finds a basis representation for R itself. We
then show that our algorithm is a useful primitive allowing quantum computers
to rapidly solve a wide variety of problems regarding finite rings. In
particular we show how to test whether two ideals are identical, find their
intersection, find their quotient, prove whether a given ring element belongs
to a given ideal, prove whether a given element is a unit, and if so find its
inverse, find the additive and multiplicative identities, compute the order of
an ideal, solve linear equations over rings, decide whether an ideal is
maximal, find annihilators, and test the injectivity and surjectivity of ring
homomorphisms. These problems appear to be hard classically.Comment: 5 page
Complexity of decoupling and time-reversal for n spins with pair-interactions: Arrow of time in quantum control
Well-known Nuclear Magnetic Resonance experiments show that the time
evolution according to (truncated) dipole-dipole interactions between n spins
can be inverted by simple pulse sequences. Independent of n, the reversed
evolution is only two times slower than the original one. Here we consider more
general spin-spin couplings with long range. We prove that some are
considerably more complex to invert since the number of required time steps and
the slow-down of the reversed evolutions are necessarily of the order n.
Furthermore, the spins have to be addressed separately. We show for which
values of the coupling parameters the phase transition between simple and
complex time-reversal schemes occurs.Comment: Completely rewritten, new lower bounds on the number of time steps,
applications and references adde
Speed-up via Quantum Sampling
The Markov Chain Monte Carlo method is at the heart of efficient
approximation schemes for a wide range of problems in combinatorial enumeration
and statistical physics. It is therefore very natural and important to
determine whether quantum computers can speed-up classical mixing processes
based on Markov chains. To this end, we present a new quantum algorithm, making
it possible to prepare a quantum sample, i.e., a coherent version of the
stationary distribution of a reversible Markov chain. Our algorithm has a
significantly better running time than that of a previous algorithm based on
adiabatic state generation. We also show that our methods provide a speed-up
over a recently proposed method for obtaining ground states of (classical)
Hamiltonians.Comment: 8 pages, fixed some minor typo
Simulating Hamiltonians in Quantum Networks: Efficient Schemes and Complexity Bounds
We address the problem of simulating pair-interaction Hamiltonians in n node
quantum networks where the subsystems have arbitrary, possibly different,
dimensions. We show that any pair-interaction can be used to simulate any other
by applying sequences of appropriate local control sequences. Efficient schemes
for decoupling and time reversal can be constructed from orthogonal arrays.
Conditions on time optimal simulation are formulated in terms of spectral
majorization of matrices characterizing the coupling parameters. Moreover, we
consider a specific system of n harmonic oscillators with bilinear interaction.
In this case, decoupling can efficiently be achieved using the combinatorial
concept of difference schemes. For this type of interactions we present optimal
schemes for inversion.Comment: 19 pages, LaTeX2
Quantum Speed-up for Approximating Partition Functions
We achieve a quantum speed-up of fully polynomial randomized approximation
schemes (FPRAS) for estimating partition functions that combine simulated
annealing with the Monte-Carlo Markov Chain method and use non-adaptive cooling
schedules. The improvement in time complexity is twofold: a quadratic reduction
with respect to the spectral gap of the underlying Markov chains and a
quadratic reduction with respect to the parameter characterizing the desired
accuracy of the estimate output by the FPRAS. Both reductions are intimately
related and cannot be achieved separately.
First, we use Grover's fixed point search, quantum walks and phase estimation
to efficiently prepare approximate coherent encodings of stationary
distributions of the Markov chains. The speed-up we obtain in this way is due
to the quadratic relation between the spectral and phase gaps of classical and
quantum walks. Second, we generalize the method of quantum counting, showing
how to estimate expected values of quantum observables. Using this method
instead of classical sampling, we obtain the speed-up with respect to accuracy.Comment: 17 pages; v3: corrected typos, added a reference about efficient
implementations of quantum walk
Hamiltonian Quantum Cellular Automata in 1D
We construct a simple translationally invariant, nearest-neighbor Hamiltonian
on a chain of 10-dimensional qudits that makes it possible to realize universal
quantum computing without any external control during the computational
process. We only require the ability to prepare an initial computational basis
state which encodes both the quantum circuit and its input. The computational
process is then carried out by the autonomous Hamiltonian time evolution. After
a time polynomially long in the size of the quantum circuit has passed, the
result of the computation is obtained with high probability by measuring a few
qudits in the computational basis. This result also implies that there cannot
exist efficient classical simulation methods for generic translationally
invariant nearest-neighbor Hamiltonians on qudit chains, unless quantum
computers can be efficiently simulated by classical computers (or, put in
complexity theoretic terms, unless BPP=BQP).Comment: explanation in Section II largely rewritten, 2 new figures, accepted
for publication in PR
On The Quantum Hardness Of Solving Isomorphism Problems As Nonabelian Hidden Shift Problems
We consider an approach to deciding isomorphism of rigid n-vertex graphs (and related isomorphism problems) by solving a nonabelian hidden shift problem on a quantum computer using the standard method. Such an approach is arguably more natural than viewing the problem as a hidden subgroup problem. We prove that the hidden shift approach to rigid graph isomorphism is hard in two senses. First, we prove that Ω(n) copies of the hidden shift states are necessary to solve the problem (whereas O(n log n) copies are sufficient). Second, we prove that if one is restricted to single-register measurements, an exponential number of hidden shift states are required. © Rinton Press
Weak Fourier-Schur Sampling, The Hidden Subgroup Problem, And The Quantum Collision Problem
Schur duality decomposes many copies of a quantum state into subspaces labeled by partitions, a decomposition with applications throughout quantum information theory. Here we consider applying Schur duality to the problem of distinguishing coset states in the standard approach to the hidden subgroup problem. We observe that simply measuring the partition (a procedure we call weak Schur sampling) provides very little information about the hidden subgroup. Furthermore, we show that under quite general assumptions, even a combination of weak Fourier sampling and weak Schur sampling fails to identify the hidden subgroup. We also prove tight bounds on how many coset states are required to solve the hidden subgroup problem by weak Schur sampling, and we relate this question to a quantum version of the collision problem. © Springer-Verlag Berlin Heidelberg 2007