Efficient classical simulation of the approximate quantum Fourier transform

We present a method for classically simulating quantum circuits based on the tensor contraction model of Markov and Shi (quant-ph/0511069). Using this method we are able to classically simulate the approximate quantum Fourier transform in polynomial time. Moreover, our approach allows us to formulate a condition for the composability of simulable quantum circuits. We use this condition to show that any circuit composed of a constant number of approximate quantum Fourier transform circuits and log-depth circuits with limited interaction range can also be efficiently simulated.Comment: 5 pages, 3 figure

Classical simulation of limited-width cluster-state quantum computation

We present a classical protocol, using the matrix product state representation, to simulate cluster-state quantum computation at a cost polynomial in the number of qubits in the cluster and exponential in d -- the width of the cluster. We use this result to show that any log-depth quantum computation in the gate array model, with gates linking only nearby qubits, can be simulated efficiently on a classical computer.Comment: 4 pages, 1 figur

No purification for two copies of a noisy entangled state

We consider whether two copies of a noisy entangled state can be transformed into a single copy of greater purity using local operations and classical communication. We show that it is never possible to achieve such a purification with certainty when the family of noisy states is twirlable (i.e. when there exists a local transformation that maps all states into the family, yet leaves the family itself invariant). This implies that two copies of a Werner state cannot be deterministically purified. Furthermore, due to the construction of the proof, it will hold not only in quantum theory, but in any generalised probabilistic theory. We use this to show that two copies of a noisy PR-box (a hypothetical device more non-local than is allowed by quantum theory) cannot be purified.Comment: 4 pages, 2 figure

Discrete Spacetime and Relativistic Quantum Particles

We study a single quantum particle in discrete spacetime evolving in a causal way. We see that in the continuum limit any massless particle with a two dimensional internal degree of freedom obeys the Weyl equation, provided that we perform a simple relabeling of the coordinate axes or demand rotational symmetry in the continuum limit. It is surprising that this occurs regardless of the specific details of the evolution: it would be natural to assume that discrete evolutions giving rise to relativistic dynamics in the continuum limit would be very special cases. We also see that the same is not true for particles with larger internal degrees of freedom, by looking at an example with a three dimensional internal degree of freedom that is not relativistic in the continuum limit. In the process we give a formula for the Hamiltonian arising from the continuum limit of massless and massive particles in discrete spacetime.Comment: 6 page

Causal Fermions in Discrete Spacetime

In this paper, we consider fermionic systems in discrete spacetime evolving with a strict notion of causality, meaning they evolve unitarily and with a bounded propagation speed. First, we show that the evolution of these systems has a natural decomposition into a product of local unitaries, which also holds if we include bosons. Next, we show that causal evolution of fermions in discrete spacetime can also be viewed as the causal evolution of a lattice of qubits, meaning these systems can be viewed as quantum cellular automata. Following this, we discuss some examples of causal fermionic models in discrete spacetime that become interesting physical systems in the continuum limit: Dirac fermions in one and three spatial dimensions, Dirac fields and briefly the Thirring model. Finally, we show that the dynamics of causal fermions in discrete spacetime can be efficiently simulated on a quantum computer.Comment: 16 pages, 1 figur

Reversible Dynamics in Strongly Non-Local Boxworld Systems

In order to better understand the structure of quantum theory, or speculate about theories that may supercede it, it can be helpful to consider alternative physical theories. ``Boxworld'' describes one such theory, in which all non-signaling correlations are achievable. In a limited class of multipartite Boxworld systems - wherein all subsystems are identical and all measurements have the same number of outcomes - it has been demonstrated that the set of reversible dynamics is `trivial', generated solely by local relabellings and permutations of subsystems. We develop the convex formalism of Boxworld to give an alternative proof of this result, then extend this proof to all multipartite Boxworld systems, and discuss the potential relevance to other theories. These results lend further support to the idea that the rich reversible dynamics in quantum theory may be the key to understanding its structure and its informational capabilities.Comment: 5 pages + appendice

Information causality from an entropic and a probabilistic perspective

The information causality principle is a generalisation of the no-signalling principle which implies some of the known restrictions on quantum correlations. But despite its clear physical motivation, information causality is formulated in terms of a rather specialised game and figure of merit. We explore different perspectives on information causality, discussing the probability of success as the figure of merit, a relation between information causality and the non-local `inner-product game', and the derivation of a quadratic bound for these games. We then examine an entropic formulation of information causality with which one can obtain the same results, arguably in a simpler fashion.Comment: 7 pages, v2: some references added and minor improvement

Work extraction and thermodynamics for individual quantum systems

Thermodynamics is traditionally concerned with systems comprised of a large number of particles. Here we present a framework for extending thermodynamics to individual quantum systems, including explicitly a thermal bath and work-storage device (essentially a `weight' that can be raised or lowered). We prove that the second law of thermodynamics holds in our framework, and give a simple protocol to extract the optimal amount of work from the system, equal to its change in free energy. Our results apply to any quantum system in an arbitrary initial state, in particular including non-equilibrium situations. The optimal protocol is essentially reversible, similar to classical Carnot cycles, and indeed, we show that it can be used it to construct a quantum Carnot engine.Comment: 11 pages, no figures. v2: published version. arXiv admin note: substantial text overlap with arXiv:1302.281