31 research outputs found
A single-shot measurement of the energy of product states in a translation invariant spin chain can replace any quantum computation
In measurement-based quantum computation, quantum algorithms are implemented
via sequences of measurements. We describe a translationally invariant
finite-range interaction on a one-dimensional qudit chain and prove that a
single-shot measurement of the energy of an appropriate computational basis
state with respect to this Hamiltonian provides the output of any quantum
circuit. The required measurement accuracy scales inverse polynomially with the
size of the simulated quantum circuit. This shows that the implementation of
energy measurements on generic qudit chains is as hard as the realization of
quantum computation. Here a ''measurement'' is any procedure that samples from
the spectral measure induced by the observable and the state under
consideration. As opposed to measurement-based quantum computation, the
post-measurement state is irrelevant.Comment: 19 pages, transition rules for the CA correcte
Ergodic quantum computing
We propose a (theoretical ;-) model for quantum computation where the result
can be read out from the time average of the Hamiltonian dynamics of a
2-dimensional crystal on a cylinder. The Hamiltonian is a spatially local
interaction among Wigner-Seitz cells containing 6 qubits. The quantum circuit
that is simulated is specified by the initialization of program qubits. As in
Margolus' Hamiltonian cellular automaton (implementing classical circuits), a
propagating wave in a clock register controls asynchronously the application of
the gates. However, in our approach all required initializations are basis
states. After a while the synchronizing wave is essentially spread around the
whole crystal. The circuit is designed such that the result is available with
probability about 1/4 despite of the completely undefined computation step.
This model reduces quantum computing to preparing basis states for some qubits,
waiting, and measuring in the computational basis. Even though it may be
unlikely to find our specific Hamiltonian in real solids, it is possible that
also more natural interactions allow ergodic quantum computing.Comment: latex, 25 pages, 10 figures (colored
Entanglement, intractability and no-signaling
We consider the problem of deriving the no-signaling condition from the
assumption that, as seen from a complexity theoretic perspective, the universe
is not an exponential place. A fact that disallows such a derivation is the
existence of {\em polynomial superluminal} gates, hypothetical primitive
operations that enable superluminal signaling but not the efficient solution of
intractable problems. It therefore follows, if this assumption is a basic
principle of physics, either that it must be supplemented with additional
assumptions to prohibit such gates, or, improbably, that no-signaling is not a
universal condition. Yet, a gate of this kind is possibly implicit, though not
recognized as such, in a decade-old quantum optical experiment involving
position-momentum entangled photons. Here we describe a feasible modified
version of the experiment that appears to explicitly demonstrate the action of
this gate. Some obvious counter-claims are shown to be invalid. We believe that
the unexpected possibility of polynomial superluminal operations arises because
some practically measured quantum optical quantities are not describable as
standard quantum mechanical observables.Comment: 17 pages, 2 figures (REVTeX 4
Is there a physically universal cellular automaton or Hamiltonian?
It is known that both quantum and classical cellular automata (CA) exist that
are computationally universal in the sense that they can simulate, after
appropriate initialization, any quantum or classical computation, respectively.
Here we introduce a different notion of universality: a CA is called physically
universal if every transformation on any finite region can be (approximately)
implemented by the autonomous time evolution of the system after the complement
of the region has been initialized in an appropriate way. We pose the question
of whether physically universal CAs exist. Such CAs would provide a model of
the world where the boundary between a physical system and its controller can
be consistently shifted, in analogy to the Heisenberg cut for the quantum
measurement problem. We propose to study the thermodynamic cost of computation
and control within such a model because implementing a cyclic process on a
microsystem may require a non-cyclic process for its controller, whereas
implementing a cyclic process on system and controller may require the
implementation of a non-cyclic process on a "meta"-controller, and so on.
Physically universal CAs avoid this infinite hierarchy of controllers and the
cost of implementing cycles on a subsystem can be described by mixing
properties of the CA dynamics. We define a physical prior on the CA
configurations by applying the dynamics to an initial state where half of the
CA is in the maximum entropy state and half of it is in the all-zero state
(thus reflecting the fact that life requires non-equilibrium states like the
boundary between a hold and a cold reservoir). As opposed to Solomonoff's
prior, our prior does not only account for the Kolmogorov complexity but also
for the cost of isolating the system during the state preparation if the
preparation process is not robust.Comment: 27 pages, 1 figur
Quantum Computing: Lecture Notes
This is a set of lecture notes suitable for a Master's course on quantum
computation and information from the perspective of theoretical computer
science. The first version was written in 2011, with many extensions and
improvements in subsequent years. The first 10 chapters cover the circuit model
and the main quantum algorithms (Deutsch-Jozsa, Simon, Shor, Hidden Subgroup
Problem, Grover, quantum walks, Hamiltonian simulation and HHL). They are
followed by 3 chapters about complexity, 4 chapters about distributed ("Alice
and Bob") settings, and a final chapter about quantum error correction.
Appendices A and B give a brief introduction to the required linear algebra and
some other mathematical and computer science background. All chapters come with
exercises, with some hints provided in Appendix C.Comment: 184 pages. Version 2: added a new chapter about QMA and local
Hamiltonian, more exercises in several chapters, and some small
corrections/clarification
Quantum Computing: Lecture Notes
This is a set of lecture notes suitable for a Master's course on quantum computation and information from the perspective of theoretical computer science. The first version was written in 2011, with many extensions and improvements in subsequent years. The first 10 chapters cover the circuit model and the main quantum algorithms (Deutsch-Jozsa, Simon, Shor, Hidden Subgroup Problem, Grover, quantum walks, Hamiltonian simulation and HHL). They are followed by 2 chapters about complexity, 4 chapters about distributed ("Alice and Bob") settings, and a final chapter about quantum error correction. Appendices A and B give a brief introduction to the required linear algebra and some other mathematical and computer science background. All chapters come with exercises, with some hints provided in Appendix C