-
Minimal operational theories: classical theories with quantum features
Authors:
Davide Rolino,
Marco Erba,
Alessandro Tosini,
Paolo Perinotti
Abstract:
We introduce a class of probabilistic theories where the dynamics of each system is limited to the minimal set of operations consistent with the set of states and allowing for conditional tests. We show that almost all minimal theories with conditioning satisfy two quantum no-go theorems: no-information without disturbance and no-broadcasting. As a relevant example, we construct a minimal toy-theo…
▽ More
We introduce a class of probabilistic theories where the dynamics of each system is limited to the minimal set of operations consistent with the set of states and allowing for conditional tests. We show that almost all minimal theories with conditioning satisfy two quantum no-go theorems: no-information without disturbance and no-broadcasting. As a relevant example, we construct a minimal toy-theory with conditioning where all systems are classical. The theory does not have incompatible measurements nor preparation uncertainty relations, and it is Kochen-Specker noncontextual, and at the same time it exhibits irreversibility of measurement disturbance, no-information without disturbance and no-broadcasting. This proves that the latter three properties cannot be understood $per se$ as signatures of non-classicality.
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
The signaling dimension in generalized probabilistic theories
Authors:
Michele Dall'Arno,
Alessandro Tosini,
Francesco Buscemi
Abstract:
The signaling dimension of a given physical system quantifies the minimum dimension of a classical system required to reproduce all input/output correlations of the given system. Thus, unlike other dimension measures - such as the dimension of the linear space or the maximum number of (jointly or pairwise) perfectly discriminable states - which examine the correlation space only along a single dir…
▽ More
The signaling dimension of a given physical system quantifies the minimum dimension of a classical system required to reproduce all input/output correlations of the given system. Thus, unlike other dimension measures - such as the dimension of the linear space or the maximum number of (jointly or pairwise) perfectly discriminable states - which examine the correlation space only along a single direction, the signaling dimension does not depend on the arbitrary choice of a specific operational task. In this sense, the signaling dimension summarizes the structure of the entire set of input/output correlations consistent with a given system in a single scalar quantity. For quantum theory, it was recently proved by Frenkel and Weiner in a seminal result that the signaling dimension coincides with the Hilbert space dimension. Here, we derive analytical and algorithmic techniques to compute the signaling dimension for any given system of any given generalized probabilistic theory. We prove that it suffices to consider extremal measurements with ray-extremal effects, and we bound the number of elements of any such measurement in terms of the linear dimension. For systems with a finite number of extremal effects, we recast the problem of characterizing the extremal measurements with ray-extremal effects as the problem of deriving the vertex description of a polytope given its face description, which can be conveniently solved by standard techniques. For each such measurement, we recast the computation of the signaling dimension as a linear program, and we propose a combinatorial branch and bound algorithm to reduce its size. We apply our results to derive the extremal measurements with ray-extremal effects of a composition of two square bits (or squits) and prove that their signaling dimension is five, even though each squit has a signaling dimension equal to two.
△ Less
Submitted 1 July, 2024; v1 submitted 21 November, 2023;
originally announced November 2023.
-
Causal influence versus signalling for interacting quantum channels
Authors:
Kathleen Barsse,
Paolo Perinotti,
Alessandro Tosini,
Leonardo Vaglini
Abstract:
A causal relation between quantum agents, say Alice and Bob, is necessarily mediated by an interaction. Modelling the last one as a reversible quantum channel, an intervention of Alice can have causal influence on Bob's system, modifying correlations between Alice and Bob's systems. Causal influence between quantum systems necessarily allows for signalling. Here we prove a mismatch between causal…
▽ More
A causal relation between quantum agents, say Alice and Bob, is necessarily mediated by an interaction. Modelling the last one as a reversible quantum channel, an intervention of Alice can have causal influence on Bob's system, modifying correlations between Alice and Bob's systems. Causal influence between quantum systems necessarily allows for signalling. Here we prove a mismatch between causal influence and signalling via direct computation of the two quantities for the Cnot gate. Finally we show a continuity theorem for causal effects of unitary channels: a channel has small causal influence iff it allows for small signalling.
△ Less
Submitted 20 February, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Measurement incompatibility is strictly stronger than disturbance
Authors:
Marco Erba,
Paolo Perinotti,
Davide Rolino,
Alessandro Tosini
Abstract:
The core of Heisenberg's heuristic argument for the uncertainty principle, involving the famous $γ$-ray microscope $\textit{Gedankenexperiment}$, hinges upon the existence of measurements that irreversibly alter the state of the system on which they are acting, causing an irreducible disturbance on subsequent measurements. The argument was put forward to justify measurement incompatibility in quan…
▽ More
The core of Heisenberg's heuristic argument for the uncertainty principle, involving the famous $γ$-ray microscope $\textit{Gedankenexperiment}$, hinges upon the existence of measurements that irreversibly alter the state of the system on which they are acting, causing an irreducible disturbance on subsequent measurements. The argument was put forward to justify measurement incompatibility in quantum theory, namely, the existence of measurements that cannot be performed jointly$-$a feature that is now understood to be different from irreversibility of measurement disturbance, though related to it. In this article, on the one hand, we provide a compelling argument showing that measurement incompatibility is indeed a sufficient condition for irreversibility of measurement disturbance; while, on the other hand, we exhibit a toy theory, termed the minimal classical theory (MCT), that is a counterexample for the converse implication. This theory is classical, hence it does not have complementarity nor preparation uncertainty relations, and it is both Kochen-Specker and generalised noncontextual. However, MCT satisfies not only irreversibility of measurement disturbance, but also the properties of no-information without disturbance and no-broadcasting, implying that these cannot be understood $\textit{per se}$ as signatures of nonclassicality.
△ Less
Submitted 27 February, 2024; v1 submitted 26 May, 2023;
originally announced May 2023.
-
Which entropy for general physical theories?
Authors:
Paolo Perinotti,
Alessandro Tosini,
Leonardo Vaglini
Abstract:
We address the problem of quantifying the information content of a source for an arbitrary information theory, where the information content is defined in terms of the asymptotic achievable compression rate. The functions that solve this problem in classical and quantum theory are Shannon's and von Neumann's entropy, respectively. However, in a general information theory there are three different…
▽ More
We address the problem of quantifying the information content of a source for an arbitrary information theory, where the information content is defined in terms of the asymptotic achievable compression rate. The functions that solve this problem in classical and quantum theory are Shannon's and von Neumann's entropy, respectively. However, in a general information theory there are three different functions that extend the notion of entropy, and this opens the question as to whether any of them can universally play the role of the quantifier for the information content. Here we answer the question in the negative, by evaluating the information content as well as the various entropic functions in a toy theory called Bilocal Classical Theory.
△ Less
Submitted 23 May, 2024; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Unifying different notions of quantum incompatibility into a strict hierarchy of resource theories of communication
Authors:
Francesco Buscemi,
Kodai Kobayashi,
Shintaro Minagawa,
Paolo Perinotti,
Alessandro Tosini
Abstract:
While there is general consensus on the definition of incompatible POVMs, moving up to the level of instruments one finds a much less clear situation, with mathematically different and logically independent definitions of incompatibility. Here we close this gap by introducing the notion of q-compatibility, which unifies different notions of POVMs, channels, and instruments incompatibility into one…
▽ More
While there is general consensus on the definition of incompatible POVMs, moving up to the level of instruments one finds a much less clear situation, with mathematically different and logically independent definitions of incompatibility. Here we close this gap by introducing the notion of q-compatibility, which unifies different notions of POVMs, channels, and instruments incompatibility into one hierarchy of resource theories of communication between separated parties. The resource theories that we obtain are complete, in the sense that they contain complete families of free operations and monotones providing necessary and sufficient conditions for the existence of a transformation. Furthermore, our framework is fully operational, in the sense that free transformations are characterized explicitly, in terms of local operations aided by causally-constrained directed classical communication, and all monotones possess a game-theoretic interpretation making them experimentally measurable in principle. We are thus able to pinpoint exactly what each notion of incompatibility consists of, in terms of information-theoretic resources.
△ Less
Submitted 5 June, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Incompatibility of observables, channels and instruments in information theories
Authors:
Giacomo M. D'Ariano,
Paolo Perinotti,
Alessandro Tosini
Abstract:
Every theory of information, including classical and quantum, can be studied in the framework of operational probabilistic theories--where the notion of test generalizes that of quantum instrument, namely a collection of quantum operations summing to a channel, and simple rules are given for the composition of tests in parallel and in sequence. Here we study the notion of compatibility for tests o…
▽ More
Every theory of information, including classical and quantum, can be studied in the framework of operational probabilistic theories--where the notion of test generalizes that of quantum instrument, namely a collection of quantum operations summing to a channel, and simple rules are given for the composition of tests in parallel and in sequence. Here we study the notion of compatibility for tests of an operational probabilistic theory. Following the quantum literature, we first introduce the notion of strong compatibility, and then we illustrate its ultimate relaxation, that we deem weak compatibility. It is shown that the two notions coincide in the case of observation tests--which are the counterpart of quantum POVMs--while there exist weakly compatible channels that are not strongly compatible. We prove necessary and sufficient conditions for a theory to exhibit incompatible tests. We show that a theory admits of incompatible tests if and only if some information cannot be extracted without disturbance.
△ Less
Submitted 23 April, 2022; v1 submitted 17 April, 2022;
originally announced April 2022.
-
Shannon theory beyond quantum: information content of a source
Authors:
Paolo Perinotti,
Alessandro Tosini,
Leonardo Vaglini
Abstract:
The information content of a source is defined in terms of the minimum number of bits needed to store the output of the source in a perfectly recoverable way. A similar definition can be given in the case of quantum sources, with qubits replacing bits. In the mentioned cases the information content can be quantified through Shannon's and von Neumann's entropy, respectively. Here we extend the defi…
▽ More
The information content of a source is defined in terms of the minimum number of bits needed to store the output of the source in a perfectly recoverable way. A similar definition can be given in the case of quantum sources, with qubits replacing bits. In the mentioned cases the information content can be quantified through Shannon's and von Neumann's entropy, respectively. Here we extend the definition of information content to operational probabilistic theories, and prove relevant properties as the subadditivity, and the relation between purity and information content of a state. We prove the consistency of the present notion of information content when applied to the classical and the quantum case. Finally, the relation with one of the notions of entropy that can be introduced in general probabilistic theories, the maximum accessible information, is given in terms of a lower bound.
△ Less
Submitted 5 April, 2022; v1 submitted 23 December, 2021;
originally announced December 2021.
-
Shannon theory for quantum systems and beyond: information compression for fermions
Authors:
Paolo Perinotti,
Alessandro Tosini,
Leonardo Vaglini
Abstract:
We address the task of compression of fermionic quantum information. Due to the parity superselection rule, differently from the case of encoding of quantum information in qubit states, part of the information carried by fermionic systems is encoded in their delocalised correlations. As a consequence, reliability of a compression protocol must be assessed in a way that necessarily accounts also fo…
▽ More
We address the task of compression of fermionic quantum information. Due to the parity superselection rule, differently from the case of encoding of quantum information in qubit states, part of the information carried by fermionic systems is encoded in their delocalised correlations. As a consequence, reliability of a compression protocol must be assessed in a way that necessarily accounts also for the preservation of correlations. This implies that input/output fidelity is not a satisfactory figure of merit for fermionic compression schemes. We then discuss various aspects regarding the assessment of reliability of an encoding scheme, and show that entanglement fidelity in the fermionic case is capable of evaluating the preservation of correlations, thus revealing itself strictly stronger than input/output fidelity, unlike the qubit case. We then introduce a fermionic version of the source coding theorem showing that, as in the quantum case, the von Neumann entropy is the minimal rate for which a fermionic compression scheme exists, that is reliable according to the entanglement fidelity criterion.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
Unambiguous discrimination of Fermionic states through local operations and classical communication
Authors:
Matteo Lugli,
Paolo Perinotti,
Alessandro Tosini
Abstract:
The paper studies unambiguous discrimination of Fermionic states through local operations and classical communication (LOCC). In the task of unambiguous discrimination, no error is tolerated but an inconclusive result is allowed. We show that contrary to the quantum case, it is not always possible to distinguish two Fermionic states through LOCC unambiguously with the same success probability as i…
▽ More
The paper studies unambiguous discrimination of Fermionic states through local operations and classical communication (LOCC). In the task of unambiguous discrimination, no error is tolerated but an inconclusive result is allowed. We show that contrary to the quantum case, it is not always possible to distinguish two Fermionic states through LOCC unambiguously with the same success probability as if global measurements were allowed. Furthermore, we prove that we can overcome such a limit through an ancillary system made of two Fermionic modes, independently of the dimension of the system, prepared in a maximally entangled state: in this case, LOCC protocols achieve the optimal success probability.
△ Less
Submitted 21 January, 2021; v1 submitted 11 September, 2020;
originally announced September 2020.
-
Fermionic state discrimination by local operations and classical communication
Authors:
Matteo Lugli,
Paolo Perinotti,
Alessandro Tosini
Abstract:
We consider the problem of local operations and classical communication (LOCC) discrimination between two bipartite pure states of fermionic systems. We show that, contrary to the case of quantum systems, for fermionic systems it is generally not possible to achieve the ideal state discrimination performances through LOCC measurements. On the other hand, we show that an ancillary system made of tw…
▽ More
We consider the problem of local operations and classical communication (LOCC) discrimination between two bipartite pure states of fermionic systems. We show that, contrary to the case of quantum systems, for fermionic systems it is generally not possible to achieve the ideal state discrimination performances through LOCC measurements. On the other hand, we show that an ancillary system made of two fermionic modes in a maximally entangled state is a sufficient additional resource to attain the ideal performances via LOCC measurements. The stability of the ideal results is studied when the probability of preparation of the two states is perturbed, and a tight bound on the discrimination error is derived.
△ Less
Submitted 10 September, 2020; v1 submitted 24 February, 2020;
originally announced February 2020.
-
Information and disturbance in operational probabilistic theories
Authors:
Giacomo Mauro D'Ariano,
Paolo Perinotti,
Alessandro Tosini
Abstract:
Any measurement is intended to provide information on a system, namely knowledge about its state. However, we learn from quantum theory that it is generally impossible to extract information without disturbing the state of the system or its correlations with other systems. In this paper we address the issue of the interplay between information and disturbance for a general operational probabilisti…
▽ More
Any measurement is intended to provide information on a system, namely knowledge about its state. However, we learn from quantum theory that it is generally impossible to extract information without disturbing the state of the system or its correlations with other systems. In this paper we address the issue of the interplay between information and disturbance for a general operational probabilistic theory. The traditional notion of disturbance considers the fate of the system state after the measurement. However, the fact that the system state is left untouched ensures that also correlations are preserved only in the presence of local discriminability. Here we provide the definition of disturbance that is appropriate for a general theory. Moreover, since in a theory without causality information can be gathered also on the effect, we generalise the notion of no-information test. We then prove an equivalent condition for no-information without disturbance-atomicity of the identity-namely the impossibility of achieving the trivial evolution-the identity-as the coarse-graining of a set of non trivial ones. We prove a general theorem showing that information that can be retrieved without disturbance corresponds to perfectly repeatable and discriminating tests. Based on this, we prove a structure theorem for operational probabilistic theories, showing that the set of states of any system decomposes as a direct sum of perfectly discriminable sets, and such decomposition is preserved under system composition. As a consequence, a theory is such that any information can be extracted without disturbance only if all its systems are classical. Finally, we show via concrete examples that no-information without disturbance is independent of both local discriminability and purification.
△ Less
Submitted 12 November, 2020; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Data-Driven Inference, Reconstruction, and Observational Completeness of Quantum Devices
Authors:
Michele Dall'Arno,
Francesco Buscemi,
Alessandro Bisio,
Alessandro Tosini
Abstract:
The range of a quantum measurement is the set of outcome probability distributions that can be produced by varying the input state. We introduce data-driven inference as a protocol that, given a set of experimental data as a collection of outcome distributions, infers the quantum measurement which is, i) consistent with the data, in the sense that its range contains all the distributions observed,…
▽ More
The range of a quantum measurement is the set of outcome probability distributions that can be produced by varying the input state. We introduce data-driven inference as a protocol that, given a set of experimental data as a collection of outcome distributions, infers the quantum measurement which is, i) consistent with the data, in the sense that its range contains all the distributions observed, and, ii) maximally noncommittal, in the sense that its range is of minimum volume in the space of outcome distributions. We show that data-driven inference is able to return a unique measurement for any data set if and only if the inference adopts a (hyper)-spherical state space (for example, the classical or the quantum bit).
In analogy to informational completeness for quantum tomography, we define observational completeness as the property of any set of states that, when fed into any given measurement, produces a set of outcome distributions allowing for the correct reconstruction of the measurement via data-driven inference. We show that observational completeness is strictly stronger than informational completeness, in the sense that not all informationally complete sets are also observationally complete. Moreover, we show that for systems with a (hyper)-spherical state space, the only observationally complete simplex is the regular one, namely, the symmetric informationally complete set.
△ Less
Submitted 11 December, 2020; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Solutions of a two-particle interacting quantum walk
Authors:
Alessandro Bisio,
Giacomo Mauro D'Ariano,
Nicola Mosco,
Paolo Perinotti,
Alessandro Tosini
Abstract:
We study the solutions of the interacting Fermionic cellular automaton introduced in Ref. [Phys Rev A 97, 032132 (2018)]. The automaton is the analogue of the Thirring model with both space and time discrete. We present a derivation of the two-particles solutions of the automaton, which exploits the symmetries of the evolution operator. In the two-particles sector, the evolution operator is given…
▽ More
We study the solutions of the interacting Fermionic cellular automaton introduced in Ref. [Phys Rev A 97, 032132 (2018)]. The automaton is the analogue of the Thirring model with both space and time discrete. We present a derivation of the two-particles solutions of the automaton, which exploits the symmetries of the evolution operator. In the two-particles sector, the evolution operator is given by the sequence of two steps, the first one corresponding to a unitary interaction activated by two-particle excitation at the same site, and the second one to two independent one-dimensional Dirac quantum walks. The interaction step can be regarded as the discrete-time version of the interacting term of some Hamiltonian integrable system, such as the Hubbard or the Thirring model. The present automaton exhibits scattering solutions with nontrivial momentum transfer, jumping between different regions of the Brillouin zone that can be interpreted as Fermion-doubled particles, in stark contrast with the customary momentum-exchange of the one dimensional Hamiltonian systems. A further difference compared to the Hamiltonian model is that there exist bound states for every value of the total momentum, and even for vanishing coupling constant. As a complement to the analytical derivations we show numerical simulations of the interacting evolution.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
The Thirring quantum cellular automaton
Authors:
A. Bisio,
G. M. D'Ariano,
P. Perinotti,
A. Tosini
Abstract:
We analytically diagonalize a discrete-time on-site interacting fermionic cellular automaton in the two-particle sector. Important features of the solutions sensibly differ from those of analogous Hamiltonian models. In particular, we found a wider variety of scattering processes, we have bound states for every value of the total momentum, and there exist bound states also in the free case, where…
▽ More
We analytically diagonalize a discrete-time on-site interacting fermionic cellular automaton in the two-particle sector. Important features of the solutions sensibly differ from those of analogous Hamiltonian models. In particular, we found a wider variety of scattering processes, we have bound states for every value of the total momentum, and there exist bound states also in the free case, where the coupling constant is null.
△ Less
Submitted 10 November, 2017;
originally announced November 2017.
-
Path-sum solution of the Weyl Quantum Walk in 3+1 dimensions
Authors:
Giacomo Mauro D'Ariano,
Nicola Mosco,
Paolo Perinotti,
Alessandro Tosini
Abstract:
We consider the Weyl quantum walk in 3+1 dimensions, that is a discrete-time walk describing a particle with two internal degrees of freedom moving on a Cayley graph of the group $\mathbb Z^3$, that in an appropriate regime evolves according to Weyl's equation. The Weyl quantum walk was recently derived as the unique unitary evolution on a Cayley graph of $\mathbb Z^3$ that is homogeneous and isot…
▽ More
We consider the Weyl quantum walk in 3+1 dimensions, that is a discrete-time walk describing a particle with two internal degrees of freedom moving on a Cayley graph of the group $\mathbb Z^3$, that in an appropriate regime evolves according to Weyl's equation. The Weyl quantum walk was recently derived as the unique unitary evolution on a Cayley graph of $\mathbb Z^3$ that is homogeneous and isotropic. The general solution of the quantum walk evolution is provided here in the position representation, by the analytical expression of the propagator, i.e. transition amplitude from a node of the graph to another node in a finite number of steps. The quantum nature of the walk manifests itself in the interference of the paths on the graph joining the given nodes. The solution is based on the binary encoding of the admissible paths on the graph and on the semigroup structure of the walk transition matrices.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
No-hypersignaling principle
Authors:
Michele Dall'Arno,
Sarah Brandsen,
Alessandro Tosini,
Francesco Buscemi,
Vlatko Vedral
Abstract:
A paramount topic in quantum foundations, rooted in the study of the EPR paradox and Bell inequalities, is that of characterizing quantum theory in terms of the space-like correlations it allows. Here we show that to focus only on space-like correlations is not enough: we explicitly construct a toy model theory that, while not contradicting classical and quantum theories at the level of space-like…
▽ More
A paramount topic in quantum foundations, rooted in the study of the EPR paradox and Bell inequalities, is that of characterizing quantum theory in terms of the space-like correlations it allows. Here we show that to focus only on space-like correlations is not enough: we explicitly construct a toy model theory that, while not contradicting classical and quantum theories at the level of space-like correlations, still displays an anomalous behavior in its time-like correlations. We call this anomaly, quantified in terms of a specific communication game, the "hypersignaling" phenomena. We hence conclude that the "principle of quantumness," if it exists, cannot be found in space-like correlations alone: nontrivial constraints need to be imposed also on time-like correlations, in order to exclude hypersignaling theories.
△ Less
Submitted 12 June, 2018; v1 submitted 29 September, 2016;
originally announced September 2016.
-
Quantum walks with a one-dimensional coin
Authors:
Alessandro Bisio,
Giacomo Mauro D'Ariano,
Marco Erba,
Paolo Perinotti,
Alessandro Tosini
Abstract:
Quantum walks (QWs) describe particles evolving coherently on a lattice. The internal degree of freedom corresponds to a Hilbert space, called coin system. We consider QWs on Cayley graphs of some group $G$. In the literature, investigations concerning infinite $G$ have been focused on graphs corresponding to $G=\mathbb{Z}^d$ with coin system of dimension 2, whereas for one-dimensional coin (so ca…
▽ More
Quantum walks (QWs) describe particles evolving coherently on a lattice. The internal degree of freedom corresponds to a Hilbert space, called coin system. We consider QWs on Cayley graphs of some group $G$. In the literature, investigations concerning infinite $G$ have been focused on graphs corresponding to $G=\mathbb{Z}^d$ with coin system of dimension 2, whereas for one-dimensional coin (so called scalar QWs) only the case of finite $G$ has been studied. Here we prove that the evolution of a scalar QW with $G$ infinite Abelian is trivial, providing a thorough classification of this kind of walks. Then we consider the infinite dihedral group $D_\infty$, that is the unique non-Abelian group $G$ containing a subgroup $H\cong\mathbb{Z}$ with two cosets. We characterize the class of QWs on the Cayley graphs of $D_\infty$ and, via a coarse-graining technique, we show that it coincides with the class of spinorial walks on $\mathbb{Z}$ which satisfies parity symmetry. This class of QWs includes the Weyl and the Dirac QWs. Remarkably, there exist also spinorial walks that are not coarse-graining of a scalar QW, such as the Hadamard walk.
△ Less
Submitted 13 November, 2016; v1 submitted 24 March, 2016;
originally announced March 2016.
-
Discrete time Dirac quantum walk in 3+1 dimensions
Authors:
Giacomo Mauro D'Ariano,
Nicola Mosco,
Paolo Perinotti,
Alessandro Tosini
Abstract:
In this paper we consider quantum walks whose evolution converges to the Dirac equation one in the limit of small wave-vectors. We show exact Fast Fourier implementation of the Dirac quantum walks in one, two and three space dimensions. The behaviour of particle states, defined as states smoothly peaked in some wave-vector eigenstate of the walk, is described by an approximated dispersive differen…
▽ More
In this paper we consider quantum walks whose evolution converges to the Dirac equation one in the limit of small wave-vectors. We show exact Fast Fourier implementation of the Dirac quantum walks in one, two and three space dimensions. The behaviour of particle states, defined as states smoothly peaked in some wave-vector eigenstate of the walk, is described by an approximated dispersive differential equation that for small wave-vectors gives the usual Dirac particle and antiparticle kinematics. The accuracy of the approximation is provided in terms of a lower bound on the fidelity between the exactly evolved state and the approximated one. The jittering of the position operator expectation value for states having both a particle and an antiparticle component is analytically derived and observed in the numerical implementations.
△ Less
Submitted 14 June, 2016; v1 submitted 21 March, 2016;
originally announced March 2016.
-
Weyl, Dirac and Maxwell Quantum Cellular Automata: analitical solutions and phenomenological predictions of the Quantum Cellular Automata Theory of Free Fields
Authors:
Alessandro Bisio,
Giacomo Mauro D'Ariano,
Paolo Perinotti,
Alessandro Tosini
Abstract:
Recent advances on quantum foundations achieved the derivation of free quantum field theory from general principles, without referring to mechanical notions and relativistic invariance. From the aforementioned principles a quantum cellular automata (QCA) theory follows, whose relativistic limit of small wave-vector provides the free dynamics of quantum field theory. The QCA theory can be regarded…
▽ More
Recent advances on quantum foundations achieved the derivation of free quantum field theory from general principles, without referring to mechanical notions and relativistic invariance. From the aforementioned principles a quantum cellular automata (QCA) theory follows, whose relativistic limit of small wave-vector provides the free dynamics of quantum field theory. The QCA theory can be regarded as an extended quantum field theory that describes in a unified way all scales ranging from an hypothetical discrete Planck scale up to the usual Fermi scale. The present paper reviews the elementary automaton theory for the Weyl field, and the composite automata for Dirac and Maxwell fields. We then give a simple analysis of the dynamics in the momentum space in terms of a dispersive differential equation for narrowband wave-packets, and some account on the position space description in terms of a discrete path-integral approach. We then review the phenomenology of the free-field automaton and consider possible visible effects arising from the discreteness of the framework. We conclude introducing the consequences of the automaton distorted dispersion relation, leading to a deformed Lorentz covariance and to possible effects on the thermodynamics of ideal gases.
△ Less
Submitted 19 January, 2016;
originally announced January 2016.
-
Free quantum field theory from quantum cellular automata: derivation of Weyl, Dirac and Maxwell quantum cellular automata
Authors:
Alessandro Bisio,
Giacomo Mauro D'Ariano,
Paolo Perinotti,
Alessandro Tosini
Abstract:
After leading to a new axiomatic derivation of quantum theory, the new informational paradigm is entering the domain of quantum field theory, suggesting a quantum automata framework that can be regarded as an extension of quantum field theory to including an hypothetical Planck scale, and with the usual quantum field theory recovered in the relativistic limit of small wave-vectors. Being derived f…
▽ More
After leading to a new axiomatic derivation of quantum theory, the new informational paradigm is entering the domain of quantum field theory, suggesting a quantum automata framework that can be regarded as an extension of quantum field theory to including an hypothetical Planck scale, and with the usual quantum field theory recovered in the relativistic limit of small wave-vectors. Being derived from simple principles (linearity, unitarity, locality, homogeneity, isotropy, and minimality of dimension), the automata theory is quantum ab-initio, and does not assume Lorentz covariance and mechanical notions. Being discrete it can describe localized states and measurements (unmanageable by quantum field theory), solving all the issues plaguing field theory originated from the continuum. These features make the theory an ideal framework for quantum gravity, with relativistic covariance and space-time emergent solely from the interactions, and not assumed a priori. The paper presents a synthetic derivation of the automata theory, showing how from the principles lead to a description in terms of a quantum automaton over a Cayley graph of a group. Restricting to Abelian groups we show how the automata recover the Weyl, Dirac and Maxwell dynamics in the relativistic limit. We conclude with some new routes about the more general scenario of non-Abelian Cayley graphs.
△ Less
Submitted 19 January, 2016;
originally announced January 2016.
-
Virtually Abelian Quantum Walks
Authors:
Giacomo Mauro D'Ariano,
Marco Erba,
Paolo Perinotti,
Alessandro Tosini
Abstract:
We introduce quantum walks on Cayley graphs of non-Abelian groups. We focus on the easiest case of virtually Abelian groups, and introduce a technique to reduce the quantum walk to an equivalent one on an Abelian group with coin system having larger dimension. We apply the technique in the case of two quantum walks on virtually Abelian groups with planar Cayley graphs, finding the exact solution.
We introduce quantum walks on Cayley graphs of non-Abelian groups. We focus on the easiest case of virtually Abelian groups, and introduce a technique to reduce the quantum walk to an equivalent one on an Abelian group with coin system having larger dimension. We apply the technique in the case of two quantum walks on virtually Abelian groups with planar Cayley graphs, finding the exact solution.
△ Less
Submitted 13 November, 2016; v1 submitted 12 November, 2015;
originally announced November 2015.
-
Discrete Feynman propagator for the Weyl quantum walk in 2+1 dimensions
Authors:
G. M. D'Ariano,
N. Mosco,
P. Perinotti,
A. Tosini
Abstract:
Recently quantum walks have been considered as a possible fundamental description of the dynamics of relativistic quantum fields. Within this scenario we derive the analytical solution of the Weyl walk in 2+1 dimensions. We present a discrete path-integral formulation of the Feynman propagator based on the binary encoding of paths on the lattice. The derivation exploits a special feature of the We…
▽ More
Recently quantum walks have been considered as a possible fundamental description of the dynamics of relativistic quantum fields. Within this scenario we derive the analytical solution of the Weyl walk in 2+1 dimensions. We present a discrete path-integral formulation of the Feynman propagator based on the binary encoding of paths on the lattice. The derivation exploits a special feature of the Weyl walk, that occurs also in other dimensions, that is closure under multiplication of the set of the walk transition matrices. This result opens the perspective of a similar solution in the 3+1 case.
△ Less
Submitted 22 October, 2014;
originally announced October 2014.
-
Path-integral solution of the one-dimensional Dirac quantum cellular automaton
Authors:
Giacomo Mauro D'Ariano,
Nicola Mosco,
Paolo Perinotti,
Alessandro Tosini
Abstract:
Quantum cellular automata have been recently considered as a fundamental approach to quantum field theory, resorting to a precise automaton, linear in the field, for the Dirac equation in one dimension. In such linear case a quantum automaton is isomorphic to a quantum walk, and a convenient formulation can be given in terms of transition matrices, leading to a new kind of discrete path integral t…
▽ More
Quantum cellular automata have been recently considered as a fundamental approach to quantum field theory, resorting to a precise automaton, linear in the field, for the Dirac equation in one dimension. In such linear case a quantum automaton is isomorphic to a quantum walk, and a convenient formulation can be given in terms of transition matrices, leading to a new kind of discrete path integral that we solve analytically in terms of Jacobi polynomials versus the arbitrary mass parameter.
△ Less
Submitted 4 June, 2014;
originally announced June 2014.
-
The Feynman problem and Fermionic entanglement: Fermionic theory versus qubit theory
Authors:
Giacomo Mauro D'Ariano,
Franco Manessi,
Paolo Perinotti,
Alessandro Tosini
Abstract:
The present paper is both a review on the Feynman problem, and an original research presentation on the relations between Fermionic theories and qubits theories, both regarded in the novel framework of operational probabilistic theories. The most relevant results about the Feynman problem of simulating Fermions with qubits are reviewed, and in the light of the new original results the problem is s…
▽ More
The present paper is both a review on the Feynman problem, and an original research presentation on the relations between Fermionic theories and qubits theories, both regarded in the novel framework of operational probabilistic theories. The most relevant results about the Feynman problem of simulating Fermions with qubits are reviewed, and in the light of the new original results the problem is solved. The answer is twofold. On the computational side the two theories are equivalent, as shown by Bravyi and Kitaev (Ann. Phys. 298.1 (2002): 210-226). On the operational side the quantum theory of qubits and the quantum theory of Fermions are different, mostly in the notion of locality, with striking consequences on entanglement. Thus the emulation does not respect locality, as it was suspected by Feynman (Int. J. Theor. Phys. 21.6 (1982): 467-488).
△ Less
Submitted 10 June, 2014; v1 submitted 11 March, 2014;
originally announced March 2014.
-
Doubly-Special Relativity from Quantum Cellular Automata
Authors:
A. Bibeau-Delisle,
A. Bisio,
G. M. D'Ariano,
P. Perinotti,
A. Tosini
Abstract:
It is shown how a Doubly-Special Relativity model can emerge from a quantum cellular automaton description of the evolution of countably many interacting quantum systems. We consider a one-dimensional automaton that spawns the Dirac evolution in the relativistic limit of small wave-vectors and masses (in Planck units). The assumption of invariance of dispersion relations for boosted observers lead…
▽ More
It is shown how a Doubly-Special Relativity model can emerge from a quantum cellular automaton description of the evolution of countably many interacting quantum systems. We consider a one-dimensional automaton that spawns the Dirac evolution in the relativistic limit of small wave-vectors and masses (in Planck units). The assumption of invariance of dispersion relations for boosted observers leads to a non-linear representation of the Lorentz group on the $(ω,k)$ space, with an additional invariant given by the wave-vector $k=π/2$. The space-time reconstructed from the $(ω,k)$ space is intrinsically quantum, and exhibits the phenomenon of relative locality.
△ Less
Submitted 24 October, 2013;
originally announced October 2013.
-
Fermionic computation is non-local tomographic and violates monogamy of entanglement
Authors:
Giacomo Mauro D'Ariano,
Franco Manessi,
Paolo Perinotti,
Alessandro Tosini
Abstract:
We show that the computational model based on local Fermionic modes in place of qubits does not satisfy local tomography and monogamy of entanglement, and has mixed states with maximal entanglement of formation. These features directly follow from the parity conservation corresponding to the parity superselection rule. We generalize quantum superselection rules to general probabilistic theories as…
▽ More
We show that the computational model based on local Fermionic modes in place of qubits does not satisfy local tomography and monogamy of entanglement, and has mixed states with maximal entanglement of formation. These features directly follow from the parity conservation corresponding to the parity superselection rule. We generalize quantum superselection rules to general probabilistic theories as sets of linear constraints on the convex set of states. We then provide a link between the cardinality of the superselection rule and the degree of holism of the resulting theory.
△ Less
Submitted 25 July, 2014; v1 submitted 30 July, 2013;
originally announced July 2013.
-
The Dirac Quantum Cellular Automaton in one dimension: Zitterbewegung and scattering from potential
Authors:
Alessandro Bisio,
Giacomo Mauro D'Ariano,
Alessandro Tosini
Abstract:
We study the dynamical behaviour of the quantum cellular automaton of Refs. [1, 2], which reproduces the Dirac dynamics in the limit of small wavevectors and masses. We present analytical evaluations along with computer simulations, showing how the automaton exhibits typical Dirac dynamical features, as the Zitterbewegung and the scattering behaviour from potential that gives rise to the so-called…
▽ More
We study the dynamical behaviour of the quantum cellular automaton of Refs. [1, 2], which reproduces the Dirac dynamics in the limit of small wavevectors and masses. We present analytical evaluations along with computer simulations, showing how the automaton exhibits typical Dirac dynamical features, as the Zitterbewegung and the scattering behaviour from potential that gives rise to the so-called Klein paradox. The motivation is to show concretely how pure processing of quantum information can lead to particle mechanics as an emergent feature, an issue that has been the focus of solid-state, optical and atomic-physics quantum simulator.
△ Less
Submitted 6 May, 2013; v1 submitted 2 May, 2013;
originally announced May 2013.
-
Quantum Field as a quantum cellular automaton: the Dirac free evolution in one dimension
Authors:
Alessandro Bisio,
Giacomo Mauro D'Ariano,
Alessandro Tosini
Abstract:
We present a quantum cellular automaton model in one space-dimension which has the Dirac equation as emergent. This model, a discrete-time and causal unitary evolution of a lattice of quantum systems, is derived from the assumptions of homogeneity, parity and time-reversal invariance. The comparison between the automaton and the Dirac evolutions is rigorously set as a discrimination problem betwee…
▽ More
We present a quantum cellular automaton model in one space-dimension which has the Dirac equation as emergent. This model, a discrete-time and causal unitary evolution of a lattice of quantum systems, is derived from the assumptions of homogeneity, parity and time-reversal invariance. The comparison between the automaton and the Dirac evolutions is rigorously set as a discrimination problem between unitary channels. We derive an exact lower bound for the probability of error in the discrimination as an explicit function of the mass, the number and the momentum of the particles, and the duration of the evolution. Computing this bound with experimentally achievable values, we see that in that regime the QCA model cannot be discriminated from the usual Dirac evolution. Finally, we show that the evolution of one-particle states with narrow-band in momentum can be effi- ciently simulated by a dispersive differential equation for any regime. This analysis allows for a comparison with the dynamics of wave-packets as it is described by the usual Dirac equation. This paper is a first step in exploring the idea that quantum field theory could be grounded on a more fundamental quantum cellular automaton model and that physical dynamics could emerge from quantum information processing. In this framework, the discretization is a central ingredient and not only a tool for performing non-perturbative calculation as in lattice gauge theory. The automaton model, endowed with a precise notion of local observables and a full probabilistic interpretation, could lead to a coherent unification of an hypothetical discrete Planck scale with the usual Fermi scale of high-energy physics.
△ Less
Submitted 11 February, 2015; v1 submitted 12 December, 2012;
originally announced December 2012.
-
Emergence of Space-Time from Topologically Homogeneous Causal Networks
Authors:
Giacomo Mauro D'Ariano,
Alessandro Tosini
Abstract:
We study the emergence of Minkowski space-time from a causal network. Differently from previous approaches, we require the network to be topologically homogeneous, so that the metric is derived from pure event-counting. Emergence from events has an operational motivation in requiring that every physical quantity---including space-time---be defined through precise measurement procedures. Topologica…
▽ More
We study the emergence of Minkowski space-time from a causal network. Differently from previous approaches, we require the network to be topologically homogeneous, so that the metric is derived from pure event-counting. Emergence from events has an operational motivation in requiring that every physical quantity---including space-time---be defined through precise measurement procedures. Topological homogeneity is a requirement for having space-time metric emergent from the pure topology of causal connections, whereas physically homogeneity corresponds to the universality of the physical law. We analyze in detail the case of 1+1 dimensions. If we consider the causal connections as an exchange of classical information, we can establish coordinate systems via an Einsteinian protocol, and this leads to a digital version of the Lorentz transformations. In a computational analogy, the foliation construction can be regarded as the synchronization with a global clock of the calls to independent subroutines (corresponding to the causally independent events) in a parallel distributed computation. Thus the Lorentz time-dilation emerges as an increased density of leaves within a single tic-tac of a clock, whereas space-contraction results from the corresponding decrease of density of events per leaf. The operational procedure of building up the coordinate system introduces an in-principle indistinguishability between neighboring events, resulting in a network that is coarse-grained, the thickness of the event being a function of the observer's clock.
△ Less
Submitted 27 July, 2012; v1 submitted 1 September, 2011;
originally announced September 2011.
-
Space-time and special relativity from causal networks
Authors:
Giacomo Mauro D'Ariano,
Alessandro Tosini
Abstract:
We show how the Minkowskian space-time emerges from a topologically homogeneous causal network, presenting a simple analytical derivation of the Lorentz transformations, with metric as pure event-counting. The derivation holds generally for d=1 space dimension, however, it can be extended to d>1 for special causal networks.
We show how the Minkowskian space-time emerges from a topologically homogeneous causal network, presenting a simple analytical derivation of the Lorentz transformations, with metric as pure event-counting. The derivation holds generally for d=1 space dimension, however, it can be extended to d>1 for special causal networks.
△ Less
Submitted 24 September, 2010; v1 submitted 27 August, 2010;
originally announced August 2010.
-
Testing axioms for Quantum Mechanics on Probabilistic toy-theories
Authors:
Giacomo Mauro D'Ariano,
Alessandro Tosini
Abstract:
In Ref. [1] one of the authors proposed postulates for axiomatizing Quantum Mechanics as a "fair operational framework", namely regarding the theory as a set of rules that allow the experimenter to predict future events on the basis of suitable tests, having local control and low experimental complexity. In addition to causality, the following postulates have been considered: PFAITH (existence o…
▽ More
In Ref. [1] one of the authors proposed postulates for axiomatizing Quantum Mechanics as a "fair operational framework", namely regarding the theory as a set of rules that allow the experimenter to predict future events on the basis of suitable tests, having local control and low experimental complexity. In addition to causality, the following postulates have been considered: PFAITH (existence of a pure preparationally faithful state), and FAITHE (existence of a faithful effect). These postulates have exhibited an unexpected theoretical power, excluding all known nonquantum probabilistic theories. Later in Ref. [2] in addition to causality and PFAITH, postulate LDISCR (local discriminability) and PURIFY (purifiability of all states) have been considered, narrowing the probabilistic theory to something very close to Quantum Mechanics. In the present paper we test the above postulates on some nonquantum probabilistic models. The first model, "the two-box world" is an extension of the Popescu-Rohrlich model, which achieves the greatest violation of the CHSH inequality compatible with the no-signaling principle. The second model "the two-clock world" is actually a full class of models, all having a disk as convex set of states for the local system. One of them corresponds to the "the two-rebit world", namely qubits with real Hilbert space. The third model--"the spin-factor"--is a sort of n-dimensional generalization of the clock. Finally the last model is "the classical probabilistic theory". We see how each model violates some of the proposed postulates, when and how teleportation can be achieved, and we analyze other interesting connections between these postulate violations, along with deep relations between the local and the non-local structures of the probabilistic theory.
△ Less
Submitted 1 December, 2009; v1 submitted 29 November, 2009;
originally announced November 2009.