This article is an attempt to generalize the classical theory of reversible computing, principally developed by Bennet [IBM J. Res. Develop., 17(1973)] and by Fredkin and Toffoli [Internat. J. Theoret. Phys., 21(1982)], to the quantum case. This is a fundamental step towards the construction of a quantum computer because a time efficient quantum computation is a reversible physical process. The paper is organized as follows. The first section reviews the classical theory of reversible computing. In the second section it is showed that the designs used in the classical framework to decrease the consumption of space cannot be generalized to the quantum case; it is also suggested that quantum computing is generally more demanding of space than classical computing. In the last section a new model of fully quantum and reversible automaton is proposed. The computational power of this automaton is at least equal to that of classical automata. Some conclusion are drawn in the last section.
We consider a class of noisy, one-dimensional quantum cellular automata that allow one to shift from unitary dynamics to completely positive maps, and investigate the notion of reversibility in such a setting. To this aim, we associate an approximate reverse automaton to each noisy automaton, and assess its effect, and we define an irreversibility time based on the distance from the maximally mixed state, which is shown to be the only attractor of the automaton map in the presence of dephasing.
Several kinds of quantum pushdown automaton models have been proposed, and their computational power is investigated intensively. However, for some quantum pushdown automaton models, it is not known whether quantum models are at least as powerful as classical counterparts or not. This is due to the reversibility restriction. In this paper, we introduce a new quantum pushdown automaton model that has a garbage tape. This model can overcome the reversibility restriction by exploiting the garbage tape to store popped symbols. We show that the proposed model can simulate any quantum pushdown autom…
A quantum measurement is logically reversible if the premeasurement density operator of the measured system can be calculated from the postmeasurement density operator and from the outcome of the measurement. This paper analyzes why many quantum measurements are logically irreversible, shows how to make them logically reversible, and discusses reversing measurement that returns the postmeasurement state to the premeasurement state by another measurement (physical reversibility). Reversing measurement and unitarily reversible quantum operation are compared from the viewpoint of error correction…
Quantum secret sharing schemes encrypting a quantum state into a multipartite entangled state are treated. The lower bound on the dimension of each share given by Gottesman [Phys. Rev. A \textbf{61}, 042311 (2000)] is revisited based on a relation between the reversibility of quantum operations and the Holevo information. We also propose a threshold ramp quantum secret sharing scheme and evaluate its coding efficiency.
We present the amounts of information, fidelity, and reversibility obtained by arbitrary quantum measurements on completely unknown states. These quantities are expressed as functions of the singular values of a measurement operator corresponding to the obtained outcome. As an example, we consider a class of quantum measurements with highly degenerate singular values to discuss tradeoffs among information, fidelity, and reversibility. The tradeoffs are at the level of a single outcome, in the sense that the quantities pertain to each single outcome rather than the average over all possible out…
There is a constraining relation between the reliability of a quantum measurement and the extent to which the measurement process is, in principle, reversible. The greater the information that is gained, the less reversible the measurement dynamics become. To illustrate this relation, we develop a simple physical model for quantum measurement, as well as a hypothetical scheme by which the experimenters can determine the reliability and reversibility. We derive an "uncertainty" (constraining) relation between reliability and reversibility, which holds even when there is no interaction with any …
We give a list of equivalent conditions for reversibility of the adjoint of a unital Schwarz map with respect to a set of quantum states. A large class of such conditions is given by preservation of distinguishability measures: f-divergences, L_1 -distance, quantum Chernoff and Hoeffding distances; here we summarize and extend the known results. Moreover, we prove a number of conditions in terms of the properties of a quantum Radon-Nikodym derivative and factorization of states in the given set. Finally, we show that reversibility is equivalent with preservation of a large class of quantum Fis…
Four types of photon counters are discussed in terms of information, fidelity, and physical reversibility: conventional photon counter, quantum counter, and their quantum nondemolition (QND) versions. It is shown that when a photon field to be measured is in an arbitrary superposition of vacuum and one-photon states, the quantum counter is the most reversible, the QND version of conventional photon counter provides the most information, and the QND version of quantum counter causes the smallest state change. Our results suggest that the physical reversibility of a counter tends to decrease the…
The principle of microscopic reversibility lies at the core of fluctuation theorems, which have extended our understanding of the second law of thermodynamics to the statistical level. In the quantum regime, however, this elementary principle should be amended as the system energy cannot be sharply determined at a given quantum phase space point. In this Letter, we propose and experimentally test a quantum generalization of the microscopic reversibility when a quantum system interacts with a heat bath through energy-preserving unitary dynamics. Quantum effects can be identified by noting that …
This paper outlines a mathematical framework of quantum probability in which the time asymmetry in describing measuring processes is avoided. The main objects of the framework are hyperfinite operations, which are constructed by using nonstandard analysis and the operational approach by Davies and Lewis. Then the notions of Bayesian conditional probability are defined, and Bayes-type theorems in terms of the probability are showed.
It has been recently proved that a quantum jump may be reversed by a unitary process provided the initial state is restricted by some conditions. The application of such processes for preventing decoherence, for example in quantum computers, was suggested. We shall show that in the situation when the quantum jump is reversible it supplies no information about the initial state additional to the information known beforehand. Therefore the reversibility of this type does not contradict the general statement of quantum measurement theory: a measurement cannot be reversed. As a consequence of this…
We investigate the class of physical theories with the same local structure as quantum theory, but a potentially different global structure. It has previously been shown that any bipartite correlations generated by such a theory must be simulatable in quantum theory, but that this does not hold for tripartite correlations. Here we explore whether imposing an additional constraint on this space of theories - that of dynamical reversibility - will allow us to recover the global quantum structure. In the particular case in which the local systems are identical qubits, we show that any theory admi…
We study the power of dephasing-covariant operations in the resource theories of coherence and entanglement. These are quantum operations whose actions commute with a projective measurement. In the resource theory of coherence, we find that any two states are asymptotically interconvertible under dephasing-covariant operations. This provides a rare example of a resource theory in which asymptotic reversibility can be attained without needing the maximal set of resource non-generating operations. When extended to the resource theory of entanglement, the resultant operations share similarities w…
We analyze a reversibility of optimal Gaussian $1\to 2$ quantum cloning of a coherent state using only local operations on the clones and classical communication between them and propose a feasible experimental test of this feature. Performing Bell-type homodyne measurement on one clone and anti-clone, an arbitrary unknown input state (not only a coherent state) can be restored in the other clone by applying appropriate local unitary displacement operation. We generalize this concept to a partial LOCC reversal of the cloning and we show that this procedure converts the symmetric cloner to an a…
I describe a quantum cellular automaton capable of performing universal quantum computation. The automaton has an elementary transition function that acts on Margolus cells of $2\times 2$ qubits, and both the ``quantum input'' and the program are encoded in the initial state of the system.
Similarly to quantum states, quantum operations can also be transformed by means of quantum superchannels, also known as process matrices. Quantum superchannels with multiple slots are deterministic transformations whichtake independent quantum operations as inputs. While they are enforced to respect the laws of quantum mechanics, the use of input operations may lack a definite causal order, and characterizations of general superchannels in terms of quantum objects with a physical implementation have been missing. In this paper, we provide a mathematical characterization for pure superchannels…
I compare the role of the information in the classical and quantum dynamics by examining the relation between information flows in measurements and the ability of observers to reverse evolutions. I show that in the Newtonian dynamics reversibility is unaffected by the observer's retention of the information about the measurement outcome. By contrast -- even though quantum dynamics is unitary, hence, reversible -- reversing quantum evolution that led to a measurement becomes in principle impossible for an observer who keeps the record of its outcome. Thus, quantum irreversibility can result fro…
We derive a tight bound between the quality of estimating a quantum state by measurement and the success probability of undoing the measurement in arbitrary dimensional systems, which completely describes the tradeoff relation between the information gain and reversibility. In this formulation, it is clearly shown that the information extracted from a weak measurement is erased through the reversing process. Our result broadens the information-theoretic perspective on quantum measurement as well as provides a standard tool to characterize weak measurements and reversals.
It is argued using a Gedankenexperiment that a scalable quantum memory could be used as a perpetuum mobile of the second kind and hence cannot be realized in Nature. The reasoning is based on the assumption that the Landauer's principle for measurements is a consequence of the second law of thermodynamics and not an independent postulate. This implies a modification of the Landauer's principle when applied for discrimination of equilibrium (metastable) states. While identification of the metastable state can be done at the infinitesimally low cost, a change of such a state involves dissipation…
The discussion on time-reversal in quantum mechanics exists at least since Wigner's ``Uber die Operation der Zeitumkehr in der Quantenmechanik'' paper in 1932. If and how the dynamics of the quantum world is time-reversible has been the subject of many controversies. Some have seen quantum mechanics as fundamentally time-irreversible, see for example von Neumann, and some have seen in that the ultimate cause of time's arrow and second law behavior. In his best-selling book ``The Emperor's New Mind'', Roger Penrose argues similarly and concludes that ``our sought-for quantum gravity must be a t…
We discuss the role of classical control in the context of reversible quantum cellular automata. Employing the structure theorem for quantum cellular automata, we give a general construction scheme to turn an arbitrary cellular automaton with external classical control into an autonomous one, thereby proving the computational equivalence of these two models. We use this technique to construct a universally programmable cellular automaton on a one-dimensional lattice with single cell dimension 12.
In a recent paper we have described an optical implementation of a measure-once one-way quantum finite automaton recognizing a well-known family of unary periodic languages, accepting words not in the language with a given error probability. To process input words, the automaton exploits the degree of polarization of single photons and, to reduce the acceptance error probability, a technique of confidence amplification using the photon counts is implemented. In this paper, we show that the performance of this automaton may be further improved by using strategies that suitably consider both the…
We investigate the robustness of the microscopic reversibility in open quantum systems which is discussed by Monnai [arXiv:1106.1982 (2011)]. We derive an exact relation between the forward transition probability and the reversed transition probability in the case of a general measurement basis. We show that the microscopic reversibility acquires some corrections in general and discuss the physical meaning of the corrections. Under certain processes, some of the correction terms vanish and we numerically confirmed that the remaining correction term becomes negligible; the microscopic reversibi…
We present a quantitative analysis of the reversibility properties of classically chaotic quantum motion. We analyze the connection between reversibility and the rate at which a quantum state acquires a more and more complicated structure in its time evolution. This complexity is characterized by the number ${\cal M}(t)$ of harmonics of the (initially isotropic, i.e. ${\cal M}(0)=0$) Wigner function, which are generated during quantum evolution for the time $t$. We show that, in contrast to the classical exponential increase, this number can grow not faster than linearly and then relate this f…
A new model of a Quantum Automaton (QA), working with qubits is proposed. The quantum states of the automaton can be pure or mixed and are represented by density operators. This is the appropriated approach to deal with measurements and dechorence. The linearity of a QA and of the partial trace super-operator, combined with the properties of invariant subspaces under unitary transformations, are used to minimize the dimension of the automaton and, consequently, the number of its working qubits. The results here developed are valid wether the state set of the QA is finite or not. There are two …
Collective behavior where a set of elements interact and generate effects that are beyond the reach of the individual non interacting elements, are always of great interest in physics. Quantum collective effects that have no classical analogue are even more intriguing. In this work we show how to construct collective quantum heat machines and explore their performance boosts with respect to regular machines. Without interactions between the machines the individual units operate in a stochastic, non-quantum manner. The construction of the collective machine becomes possible by introducing two s…
We study 1-way quantum finite automata (QFAs) and compare them with their classical counterparts. We show that 1-way QFAs can be very space efficient. We construct a 1-way QFAs that are quadratically smaller than any equivalent deterministic finite automata and give the correct answer with a large probability by recognizing the languages in a two letter alphabet "the number of the letters a and the number of the letters b are divisible by n".
We show that the Dirac quantum cellular automaton [Ann. Phys. 354 (2015) 244] shares many properties in common with the discrete-time quantum walk. These similarities can be exploited to study the automaton as a unitary process that takes place at regular time steps on a one-dimensional lattice, in the spirit of general quantum cellular automata. In this way, it becomes an alternative to the quantum walk, with a dispersion relation that can be controlled by a parameter, which plays a similar role to the coin angle in the quantum walk. The Dirac Hamiltonian is recovered under a suitable limit. …
We argue that if, in order to reverse an object's dynamics, we need to be able to keep track of it with enough precision, then there is an upper bound on the size of the object whose dynamics we can reverse - even using all the available resources of the universe. Using a bound from the holographic principle and treating the universe as the ultimate quantum computer, we show that if we want to reverse the dynamics of an object which has evolved since the beginning of time, its radius cannot exceed ten microns. If this computation is performed irreversibly, the object must be much smaller. This…
We study a quantum cellular automaton (QCA) whose time-evolution is defined from global transition function of classical cellular automata (CA). In order to investigate natural transformations from CA to QCA, the present QCA includes CA with Wolfram's rule 150 and 105 as special cases. We firstly compute the time-evolution of the QCA and examine its statistical properties. As a basic statistical value, the probability of finding an active cell averaged over a spatial-temporal space is introduced, and the difference between CA and QCA is considered. In addition, it is shown that statistical pro…
In spin systems, the decay of the Loschmidt echo in the time-reversal experiment (evolution, perturbation, time-reversed evolution) is linked to the generation of multiple-quantum coherences. The approach is extended to other systems, and the general problem of reversibility of quantum dynamics is analyzed.
We describe a simple n-dimensional quantum cellular automaton (QCA) capable of simulating all others, in that the initial configuration and the forward evolution of any n-dimensional QCA can be encoded within the initial configuration of the intrinsically universal QCA. Several steps of the intrinsically universal QCA then correspond to one step of the simulated QCA. The simulation preserves the topology in the sense that each cell of the simulated QCA is encoded as a group of adjacent cells in the universal QCA.
We introduce a quantum cellular automaton that achieves approximate phase-covariant cloning of qubits. The automaton is optimized for 1-to-2N economical cloning. The use of the automaton for cloning allows us to exploit different foliations for improving the performance with given resources.
It has been shown that certain quantum walks give rise to relativistic wave equations, such as the Dirac and Weyl equations, in their long-wavelength limits. This intriguing result raises the question of whether something similar can happen in the multi-particle case. We construct a one-dimensional quantum cellular automaton (QCA) model which matches the quantum walk in the single particle case, and which approaches the quantum field theory of free fermions in the long-wavelength limit. However, we show that this class of constructions does not generalize to higher spatial dimensions in any st…
We present a language $L_n$ which is recognizable by a probabilistic finite automaton (PFA) with probability $1 - ε$ for all $ε> 0$ with $O(log^2n)$ states, with a deterministic finite automaton (DFA) with O(n) states, but a quantum finite automaton (QFA) needs at least $2^{Ω(n/ \log n)}$ states.
Quantum measurement is a basic tool to manifest intrinsic quantum effects from fundamental tests to quantum information applications. While a measurement is typically performed to gain information on a quantum state, its role in quantum technology is indeed manifold. For instance, quantum measurement is a crucial process element in measurement-based quantum computation. It is also used to detect and correct errors thereby protecting quantum information in error-correcting frameworks. It is therefore important to fully characterize the roles of quantum measurement encompassing information gain,…
We propose an error correction procedure based on a cellular automaton, the sweep rule, which is applicable to a broad range of codes beyond topological quantum codes. For simplicity, however, we focus on the three-dimensional (3D) toric code on the rhombic dodecahedral lattice with boundaries and prove that the resulting local decoder has a non-zero error threshold. We also numerically benchmark the performance of the decoder in the setting with measurement errors using various noise models. We find that this error correction procedure is remarkably robust against measurement errors and is al…
According to the second law, the efficiency of cyclic heat engines is limited by the Carnot bound that is attained by engines that operate between two thermal baths under the reversibility condition whereby the total entropy does not increase. Quantum engines operating between a thermal and a squeezed-thermal bath have been shown to surpass this bound. Yet, their maximum efficiency cannot be determined by the reversibility condition, which may yield an unachievable efficiency bound above unity. Here we identify the fraction of the exchanged energy between a quantum system and a bath that neces…
The entropic uncertainty relation with quantum side information (EUR-QSI) from [Berta et al., Nat. Phys. 6, 659 (2010)] is a unifying principle relating two distinctive features of quantum mechanics: quantum uncertainty due to measurement incompatibility, and entanglement. In these relations, quantum uncertainty takes the form of preparation uncertainty where one of two incompatible measurements is applied. In particular, the "uncertainty witness" lower bound in the EUR-QSI is not a function of a post-measurement state. An insightful proof of the EUR-QSI from [Coles et al., Phys. Rev. Lett. 10…
Three extensions and reinterpretations of nonclassical probabilities are reviewed. (i) We propose to generalize the probability axiom of quantum mechanics to self-adjoint positive operators of trace one. Furthermore, we discuss the Cartesian and polar decomposition of arbitrary normal operators and the possibility to operationalize the corresponding observables. Thereby we review and emphasize the use of observables which maximally represent the context. (ii) In the second part, we discuss Pitowsky polytopes for automaton logic as well as for generalized urn models and evaluate methods to find…
In quantum information theory, it is widely believed that entanglement concentration for bipartite pure states is asymptotically reversible. In order to examine this, we give a precise formulation of the problem, and show a trade-off relation between performance and reversibility, which implies the irreversibility of entanglement concentration. Then, we regard entanglement concentration as entangled state compression in an entanglement storage with lower dimension. Because of the irreversibility of entanglement concentration, an initial state can not be completely recovered after the compressi…
The Loschmidt Echo M(t) (defined as the squared overlap of wave packets evolving with two slightly different Hamiltonians) is a measure of quantum reversibility. We investigate its behavior for classically quasi-integrable systems. A dominant regime emerges where M(t) ~ t^{-alpha} with alpha=3d/2 depending solely on the dimension d of the system. This power law decay is faster than the result ~ t^{-d} for the decay of classical phase space densities.
A necessary condition for reversibility (sufficiency) of a quantum channel with respect to complete families of states with bounded rank is obtained. A full description (up to isometrical equivalence) of all quantum channels reversible with respect to orthogonal and nonorthogonal complete families of pure states is given. Some applications in quantum information theory are considered. The main results can be formulated in terms of the operator algebras theory (as conditions for reversibility of channels between algebras of all bounded operators).
The 2-way quantum finite automaton introduced by Kondacs and Watrous can accept non-regular languages with bounded error in polynomial time. If we restrict the head of the automaton to moving classically and to moving only in one direction, the acceptance power of this 1-way quantum finite automaton is reduced to a proper subset of the regular languages. In this paper we study two different models of 1-way quantum finite automata. The first model, termed measure-once quantum finite automata, was introduced by Moore and Crutchfield, and the second model, termed measure-many quantum finite autom…
When applied on some particular quantum entangled states, measurements are universal for quantum computing. In particular, despite the fondamental probabilistic evolution of quantum measurements, any unitary evolution can be simulated by a measurement-based quantum computer (MBQC). We consider the extended version of the MBQC where each measurement can occur not only in the (X,Y)-plane of the Bloch sphere but also in the (X,Z)- and (Y,Z)-planes. The existence of a gflow in the underlying graph of the computation is a necessary and sufficient condition for a certain kind of determinism. We exte…
We describe a physical implementation of a quantum finite automaton recognizing a well known family of periodic languages. The realization exploits the polarization degree of freedom of single photons and their manipulation through linear optical elements. We use techniques of confidence amplification to reduce the acceptance error probability of the automaton. It is worth remarking that the quantum finite automaton we physically realize is not only interesting per se, but it turns out to be a crucial building block in many quantum finite automaton design frameworks theoretically settled in th…
We investigate the statistical arrow of time for a quantum system being monitored by a sequence of measurements. For a continuous qubit measurement example, we demonstrate that time-reversed evolution is always physically possible, provided that the measurement record is also negated. Despite this restoration of dynamical reversibility, a statistical arrow of time emerges, and may be quantified by the log-likelihood difference between forward and backward propagation hypotheses. We then show that such reversibility is a universal feature of non-projective measurements, with forward or backward…
We define quantum cellular automata as infinite quantum lattice systems with discrete time dynamics, such that the time step commutes with lattice translations and has strictly finite propagation speed. In contrast to earlier definitions this allows us to give an explicit characterization of all local rules generating such automata. The same local rules also generate the global time step for automata with periodic boundary conditions. Our main structure theorem asserts that any quantum cellular automaton is structurally reversible, i.e., that it can be obtained by applying two blockwise unitar…
There are several inequalities in physics which limit how well we can process physical systems to achieve some intended goal, including the second law of thermodynamics, entropy bounds in quantum information theory, and the uncertainty principle of quantum mechanics. Recent results provide physically meaningful enhancements of these limiting statements, determining how well one can attempt to reverse an irreversible process. In this paper, we apply and extend these results to give strong enhancements to several entropy inequalities, having to do with entropy gain, information gain, entropic di…
Using semiclassical methods, it is possible to construct very accurate approximations in the short wavelength limit of quantum dynamics that rely exclusively on classical dynamical input. For systems whose classical realization is strongly chaotic, there is an exceedingly short logarithmic Ehrenfest time scale, beyond which the quantum and classical dynamics of a system necessarily diverge, and yet the semiclassical construction remains valid far beyond that time. This fact leads to a paradox if one ponders the reversibility and predictability properties of quantum and classical mechanics. The…
