Showing 1–50 of 229 results for author: D'Ariano, G M

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.

Comments: 11 pages, revtex4; bibliography is now displayed correctly

Journal ref: J. Phys. A Math. Theor. 55 394006 (2022)

Quantum epistemology and falsification of random generators

Authors: Giacomo Mauro D'Ariano

Abstract: The operational axiomatization of quantum theory can be regarded as a set of six epistemological rules for falsifying propositions of the theory. In particular, the Purification postulate-the only one that is not shared with classical theory-allows falsification of random-sequences generators, a task unfeasible classically. The operational axiomatization of quantum theory can be regarded as a set of six epistemological rules for falsifying propositions of the theory. In particular, the Purification postulate-the only one that is not shared with classical theory-allows falsification of random-sequences generators, a task unfeasible classically. △ Less

Submitted 8 February, 2022; originally announced February 2022.

Comments: arXiv admin note: text overlap with arXiv:2012.06580

Journal ref: Entropy 2022, 24(4), 434

Quantum Holism

Authors: Giacomo Mauro D'Ariano

Abstract: A composite quantum system has properties that are incompatible with every property of its parts. The existence of such global properties incompatible with all local properties constitutes what I call "mereological holism"--the distinctive holism of Quantum Theory. Mereological holism has the dramatic conceptual consequence of making untenable the usual understanding of the "quantum system" as bei… ▽ More A composite quantum system has properties that are incompatible with every property of its parts. The existence of such global properties incompatible with all local properties constitutes what I call "mereological holism"--the distinctive holism of Quantum Theory. Mereological holism has the dramatic conceptual consequence of making untenable the usual understanding of the "quantum system" as being a "physical object", since composed objects have properties compatible with those of its parts. The notion of "property" can be extended in a unique way to the whole class of operational probabilistic theories (shortly OPTs), of which the most relevant cases are Quantum Theory and Classical Theory. Whereas Classical Theory is not mereologically holistic, we can now search for other OPTs that are so. Within the OPT framework the role of the "system" is that of an input-output connection between two objective events. In non holistic theories, such as Classical Theory, the system can still be regarded as an "object". On the contrary, in holistic theories interpreting "system" as "object" constitutes an hypostatization of a theoretical notion. △ Less

Submitted 2 February, 2021; originally announced February 2021.

Comments: To appear on "The Quantum-Like Revolution: A Festschrift for Andrei Khrennikov"

Hard Problem and Free Will: an information-theoretical approach

Authors: Giacomo Mauro D'Ariano, Federico Faggin

Abstract: We explore definite theoretical assertions about consciousness, starting from a non-reductive psycho-informational solution of David Chalmers's 'hard problem', based on the hypothesis that a fundamental property of 'information' is its experience by the supporting 'system'. The kind of information involved in consciousness needs to be quantum for multiple reasons, including its intrinsic privacy a… ▽ More We explore definite theoretical assertions about consciousness, starting from a non-reductive psycho-informational solution of David Chalmers's 'hard problem', based on the hypothesis that a fundamental property of 'information' is its experience by the supporting 'system'. The kind of information involved in consciousness needs to be quantum for multiple reasons, including its intrinsic privacy and its power of building up thoughts by entangling qualia states. As a result we reach a quantum-information-based panpsychism, with classical physics supervening on quantum physics, quantum physics supervening on quantum information, and quantum information supervening on consciousness. We then argue that the internally experienced quantum state, since it corresponds to a definite experience-not to a random choice-must be pure, and we call it ontic, in contrast with the state predictable from the outside (i.e. the state describing the knowledge of the experience from the point of view of an external observer) which we call epistemic and is generally mixed. Purity of the ontic state requires an evolution that is purity preserving, namely a so-called 'atomic' quantum operation. The latter is generally probabilistic, and its particular outcome is interpreted as the free will, which is unpredictable even in principle since quantum probability cannot be interpreted as lack of knowledge. The same purity of state and evolution allows solving the 'combination problem' of panpsychism. Quantum state evolution accounts for a short-term buffer of experience and contains itself quantum-to-classical and classical-to-quantum information transfers. Long term memory, on the other hand, is classical, and needs memorization and recall processes that are quantum-to-classical and classical-to-quantum, respectively... △ Less

Submitted 28 January, 2021; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: 32 pages, 11 figures. To be published in "Artificial Intelligence and Natural Consciousness", Ed. F. Scardigli, authors: R. Penrose, E. Severino, G. M. D'Ariano, F. Faggin, I. Testoni, G. Vitiello (Springer). A preliminary version is available on Youtube: https://www.youtube.com/watch?v=P-PjWrfpMy0 talk of G. M. D'Ariano at Oxford Conference: "Models of Consciousness"

No purification ontology, no quantum paradoxes

Authors: Giacomo Mauro D'Ariano

Abstract: It is almost universally believed that in quantum theory the two following statements hold: 1) all transformations are achieved by a unitary interaction followed by a von Neumann measurement; 2) all mixed states are marginals of pure entangled states. I name this doctrine the dogma of purification ontology. The source of the dogma is the original von Neumann axiomatisation of the theory, which lar… ▽ More It is almost universally believed that in quantum theory the two following statements hold: 1) all transformations are achieved by a unitary interaction followed by a von Neumann measurement; 2) all mixed states are marginals of pure entangled states. I name this doctrine the dogma of purification ontology. The source of the dogma is the original von Neumann axiomatisation of the theory, which largely relies on the Schroedinger equation as a postulate, which holds in a nonrelativistic context, and whose operator version holds only in free quantum field theory, but no longer in the interacting theory. In the present paper I prove that both ontologies of unitarity and state purity are unfalsifiable, even in principle, and therefore axiomatically spurious. I propose instead a minimal four-postulate axiomatisation: 1) associate a Hilbert space HA to each system A; 2) compose two systems by the tensor product rule HAB = HAxHB; 3) associate a transformation from system A to B to a quantum operation, i.e. to a completely positive trace-non-increasing map between the trace-class operators of A and B; 4) (Born rule) evaluate all joint probabilities through that of a special type of quantum operation: the state preparation. I then conclude that quantum paradoxes-such as the Schroedinger-cat's, and, most relevantly, the information paradox-are originated only by the dogma of purification ontology, and they are no longer paradoxes of the theory in the minimal formulation. For the same reason, most interpretations of the theory (e.g. many-world, relational, Darwinism, transactional, von Neumann-Wigner, time-symmetric, ...) interpret the same dogma, not the strict theory stripped of the spurious postulates. △ Less

Submitted 8 November, 2020; originally announced November 2020.

Comments: To be published on Foundations of Physics

Journal ref: Found Phys (2020) 50:1921-1933

Classicality without local discriminability: decoupling entanglement and complementarity

Authors: Giacomo Mauro D'Ariano, Marco Erba, Paolo Perinotti

Abstract: An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. The theory is endowed with a rule for composing an arbitrary number of systems, and with a nontrivial set of transformations. Hence, we demonstrate that the presence of entanglement is independent of the existence of incompatible measurements. We then study a… ▽ More An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. The theory is endowed with a rule for composing an arbitrary number of systems, and with a nontrivial set of transformations. Hence, we demonstrate that the presence of entanglement is independent of the existence of incompatible measurements. We then study a variety of phenomena occurring in the theory -- some of them contradicting both Classical and Quantum Theories -- including: cloning, entanglement swapping, dense coding, additivity of classical capacities, non-monogamous entanglement, hypersignaling. We also prove the existence, in the theory, of a universal processor. The theory is causal and satisfies the no-restriction hypothesis. At the same time, it violates a number of information-theoretic principles enjoyed by Quantum Theory, most notably: local discriminability, purity of parallel composition of states, and purification. Moreover, we introduce an exhaustive procedure to construct generic operational probabilistic theories, and a sufficient set of conditions to verify their consistency. In addition, we prove a characterisation theorem for the parallel composition rules of arbitrary theories, and specialise it to the case of bilocal-tomographic theories. We conclude pointing out some open problems. In particular, on the basis of the fact that every separable state of the theory is a statistical mixture of entangled states, we formulate a no-go conjecture for the existence of a local-realistic ontological model. △ Less

Submitted 21 January, 2022; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: 24+7 pages, 2 figures, 1 table, plenty of diagrams; section "Conceptual Preview" added in v2; differently from the published version, a table of contents is herein present

Journal ref: Phys. Rev. A 102, 052216 (2020)

Classical theories with entanglement

Authors: Giacomo Mauro D'Ariano, Marco Erba, Paolo Perinotti

Abstract: We investigate operational probabilistic theories where the pure states of every system are the vertices of a simplex. A special case of such theories is that of classical theories, i.e. simplicial theories whose pure states are jointly perfectly discriminable. The usual Classical Theory satisfies also local discriminability. However, simplicial theories---including the classical ones---can violat… ▽ More We investigate operational probabilistic theories where the pure states of every system are the vertices of a simplex. A special case of such theories is that of classical theories, i.e. simplicial theories whose pure states are jointly perfectly discriminable. The usual Classical Theory satisfies also local discriminability. However, simplicial theories---including the classical ones---can violate local discriminability, thus admitting of entangled states. First, we prove sufficient conditions for the presence of entangled states in arbitrary probabilistic theories. Then, we prove that simplicial theories are necessarily causal, and this represents a no-go theorem for conceiving non-causal classical theories. We then provide necessary and sufficient conditions for simplicial theories to exhibit entanglement, and classify their system-composition rules. We conclude proving that, in simplicial theories, an operational formulation of the superposition principle cannot be satisfied, and that---under the hypothesis of $n$-local discriminability---no mixed state admits of a purification. Our results hold also in the general case where the sets of states fail to be convex. △ Less

Submitted 11 October, 2020; v1 submitted 16 September, 2019; originally announced September 2019.

Comments: The definitions of simplicial and classical theories have been relaxed, in order to include the non-convex cases; the results hold also in the non-convex cases. Improved and extended presentation. Added results on superposition and purification. Enhanced the 'Discussion and Conclusions' section. Minor corrections. Layout fixed and mention to Ref. [13] corrected

Journal ref: Phys. Rev. A 101, 042118 (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.

Comments: 24 pages, 1 figure

Journal ref: Quantum 4, 363 (2020)

Chirality from quantum walks without quantum coin

Authors: Giacomo Mauro D'Ariano, Marco Erba, Paolo Perinotti

Abstract: Quantum walks (QWs) describe the evolution of quantum systems on graphs. An intrinsic degree of freedom---called the coin and represented by a finite-dimensional Hilbert space---is associated to each node. Scalar quantum walks are QWs with a one-dimensional coin. We propose a general strategy allowing one to construct scalar QWs on a broad variety of graphs, which admit embedding in Eulidean space… ▽ More Quantum walks (QWs) describe the evolution of quantum systems on graphs. An intrinsic degree of freedom---called the coin and represented by a finite-dimensional Hilbert space---is associated to each node. Scalar quantum walks are QWs with a one-dimensional coin. We propose a general strategy allowing one to construct scalar QWs on a broad variety of graphs, which admit embedding in Eulidean spaces, thus having a direct geometric interpretation. After reviewing the technique that allows one to regroup cells of nodes into new nodes, transforming finite spatial blocks into internal degrees of freedom, we prove that no QW with a two-dimensional coin can be derived from an isotropic scalar QW in this way. Finally we show that the Weyl and Dirac QWs can be derived from scalar QWs in spaces of dimension up to three, via our construction. △ Less

Submitted 29 May, 2019; v1 submitted 26 February, 2019; originally announced February 2019.

Comments: 22 pages, 2 figures

Journal ref: Phys. Rev. A 100, 012105 (2019)

Symmetries of the Dirac quantum walk and emergence of the de Sitter group

Authors: Luca Apadula, Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti

Abstract: A quantum walk describes the discrete unitary evolution of a quantum particle on a discrete graph. Some quantum walks, referred to as the Weyl and Dirac quantum walks, provide a description of the free evolution of relativistic quantum fields in a regime where the wave-vectors involved in the particle state are small. The clash between the intrinsic discreteness of quantum walks and the symmetries… ▽ More A quantum walk describes the discrete unitary evolution of a quantum particle on a discrete graph. Some quantum walks, referred to as the Weyl and Dirac quantum walks, provide a description of the free evolution of relativistic quantum fields in a regime where the wave-vectors involved in the particle state are small. The clash between the intrinsic discreteness of quantum walks and the symmetries of special relativity can be resolved by rethinking the notion of a change of inertial reference frame. We give here a definition of the latter that avoids a pre-defined space-time geometry, in terms of a change of values of the constants of motion that leaves the walk operator unchanged. Starting from the family of 1+1 dimensional Dirac quantum walks with all possible values of the mass parameter, we introduce a unique walk encompassing the latter as an extra degree of freedom, and we derive its group of changes of inertial frames. This symmetry group contains a non linear realization of $SO^+(2,1) \ltimes \mathbb{R}^3$; since one of the two space-like dimensions does not correspond to an actual spatial degree of freedom but rather the mass, we interpret it as a 2+1 dimensional de-Sitter group. This group group contains also a non-linear realisation of the proper orthochronous Poincaré group $SO^+(1,1) \ltimes \mathbb{R}^2$ in 1+1 dimension, as the ones considered within the framework of doubly special relativity, which recovers the usual relativistic symmetry of the Dirac Equation in the limit of small wave-vectors and masses. Surprisingly, if one considers the Dirac walk with a fixed value of the mass parameter, the group of allowed changes of reference frame does not have a consistent interpretation in the relativistic limit of small wave-vectors. △ Less

Submitted 28 March, 2019; v1 submitted 11 June, 2018; originally announced June 2018.

Comments: 9 pages, 4 figures

Journal ref: Journal of Mathematical Physics 61, 082202 (2020)

Causality re-established

Authors: Giacomo Mauro D'Ariano

Abstract: Causality never gained the status of a "law" or "principle" in physics. Some recent literature even popularized the false idea that causality is a notion that should be banned from theory. Such misconception relies on an alleged universality of reversibility of laws of physics, based either on determinism of classical theory, or on the multiverse interpretation of quantum theory, in both cases mot… ▽ More Causality never gained the status of a "law" or "principle" in physics. Some recent literature even popularized the false idea that causality is a notion that should be banned from theory. Such misconception relies on an alleged universality of reversibility of laws of physics, based either on determinism of classical theory, or on the multiverse interpretation of quantum theory, in both cases motivated by mere interpretational requirements for realism of the theory. Here, I will show that a properly defined unambiguous notion of causality is a theorem of quantum theory, which is also a falsifiable proposition of the theory. Such causality notion appeared in the literature within the framework of operational probabilistic theories. It is a genuinely theoretical notion, corresponding to establish a definite partial order among events, in the same way as we do by using the future causal cone on Minkowski space. The causality notion is logically completely independent of the misidentified concept of "determinism", and, being a consequence of quantum theory, is ubiquitous in physics. In addition, as classical theory can be regarded as a restriction of quantum theory, causality holds also in the classical case, although the determinism of the theory trivializes it. I then conclude arguing that causality naturally establishes an arrow of time. This implies that the scenario of the "Block Universe" and the connected "Past Hypothesis" are incompatible with causality, and thus with quantum theory: they both are doomed to remain mere interpretations and, as such, not falsifiable, similar to the hypothesis of "super-determinism". This article is part of a discussion meeting issue "Foundations of quantum mechanics and their impact on contemporary society". △ Less

Submitted 28 April, 2018; originally announced April 2018.

Comments: Presented at the Royal Society of London, on 11/12/ 2017, at the conference "Foundations of quantum mechanics and their impact on contemporary society". To appear on Philosophical Transactions of the Royal Society A

Journal ref: Phil. Trans. R. Soc. A 376: 20170313 (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.

Comments: 16 pages, 6 figures

Journal ref: Entropy 20, 435, (2018)

The solution of the Sixth Hilbert Problem: the Ultimate Galilean Revolution

Authors: Giacomo Mauro D'Ariano

Abstract: I argue for a full mathematisation of the physical theory, including its axioms, which must contain no physical primitives. In provocative words: "physics from no physics". Although this may seem an oxymoron, it is the royal road to keep complete logical coherence, hence falsifiability of the theory. For such a purely mathematical theory the physical connotation must pertain only the interpretatio… ▽ More I argue for a full mathematisation of the physical theory, including its axioms, which must contain no physical primitives. In provocative words: "physics from no physics". Although this may seem an oxymoron, it is the royal road to keep complete logical coherence, hence falsifiability of the theory. For such a purely mathematical theory the physical connotation must pertain only the interpretation of the mathematics, ranging from the axioms to the final theorems. On the contrary, the postulates of the two current major physical theories either don't have physical interpretation (as for von Neumann's axioms for quantum theory), or contain physical primitives as "clock", "rigid rod ", "force", "inertial mass" (as for special relativity and mechanics). A purely mathematical theory as proposed here, though with limited (but relentlessly growing) domain of applicability, will have the eternal validity of mathematical truth. It will be a theory on which natural sciences can firmly rely. Such kind of theory is what I consider to be the solution of the Sixth Hilbert's Problem. I argue that a prototype example of such a mathematical theory is provided by the novel algorithmic paradigm for physics, as in the recent information-theoretical derivation of quantum theory and free quantum field theory. △ Less

Submitted 29 January, 2018; originally announced January 2018.

Comments: Opinion paper. Special issue of Philosophical Transaction A, devoted to the VI Hilbert problem, after the Workshop "Hilbert's Sixth Problem", University of Leicester, May 02-04 2016

Journal ref: Phil. Trans. R. Soc. A 376: 20170224 (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.

Comments: 4 pages+references, Revtex style, 2 figures, supplemental material included as appendix

Journal ref: Phys. Rev. A 97, 032132 (2018)

Isotropic quantum walks on lattices and the Weyl equation

Authors: Giacomo Mauro D'Ariano, Marco Erba, Paolo Perinotti

Abstract: We present a thorough classification of the isotropic quantum walks on lattices of dimension $d=1,2,3$ for cell dimension $s=2$. For $d=3$ there exist two isotropic walks, namely the Weyl quantum walks presented in Ref. [G. M. D'Ariano and P. Perinotti, Phys. Rev. A 90, 062106 (2014)], resulting in the derivation of the Weyl equation from informational principles. The present analysis, via a cruci… ▽ More We present a thorough classification of the isotropic quantum walks on lattices of dimension $d=1,2,3$ for cell dimension $s=2$. For $d=3$ there exist two isotropic walks, namely the Weyl quantum walks presented in Ref. [G. M. D'Ariano and P. Perinotti, Phys. Rev. A 90, 062106 (2014)], resulting in the derivation of the Weyl equation from informational principles. The present analysis, via a crucial use of isotropy, is significantly shorter and avoids a superfluous technical assumption, making the result completely general. △ Less

Submitted 30 November, 2017; v1 submitted 2 August, 2017; originally announced August 2017.

Comments: 16 pages, 1 figure

Journal ref: Phys. Rev. A 96, 062101 (2017)

Quantum Walks, Weyl equation and the Lorentz group

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti

Abstract: Quantum cellular automata and quantum walks provide a framework for the foundations of quantum field theory, since the equations of motion of free relativistic quantum fields can be derived as the small wave-vector limit of quantum automata and walks starting from very general principles. The intrinsic discreteness of this framework is reconciled with the continuous Lorentz symmetry by reformulati… ▽ More Quantum cellular automata and quantum walks provide a framework for the foundations of quantum field theory, since the equations of motion of free relativistic quantum fields can be derived as the small wave-vector limit of quantum automata and walks starting from very general principles. The intrinsic discreteness of this framework is reconciled with the continuous Lorentz symmetry by reformulating the notion of inertial reference frame in terms of the constants of motion of the quantum walk dynamics. In particular, among the symmetries of the quantum walk which recovers the Weyl equation--the so called Weyl walk--one finds a non linear realisation of the Poincaré group, which recovers the usual linear representation in the small wave-vector limit. In this paper we characterise the full symmetry group of the Weyl walk which is shown to be a non linear realization of a group which is the semidirect product of the Poincaré group and the group of dilations. △ Less

Submitted 26 July, 2017; originally announced July 2017.

Comments: 9 pages, 2 figures

Journal ref: Foundations of Physics, Volume 47, Issue 8, pp 1065-1076 (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.

Comments: 13 pages

Journal ref: Phil. Trans. R. Soc. A 375: 20160394 (2017)

Optimal quantum tomography

Authors: Alessandro Bisio, Giulio Chiribella, Giacomo Mauro D'Ariano, Stefano Facchini, Paolo Perinotti

Abstract: The present short review article illustrates the latest theoretical developments on quantum tomography, regarding general optimization methods for both data-processing and setup. The basic theoretical tool is the informationally complete measurement. The optimization theory for the setup is based on the new theoretical approach of quantum combs. The present short review article illustrates the latest theoretical developments on quantum tomography, regarding general optimization methods for both data-processing and setup. The basic theoretical tool is the informationally complete measurement. The optimization theory for the setup is based on the new theoretical approach of quantum combs. △ Less

Submitted 28 February, 2017; originally announced February 2017.

Comments: 14 pages, 3 figures

Journal ref: IEEE Journal of Selected Topics in Quantum Electronics 15, 1646 (2009)

Physics Without Physics: The Power of Information-theoretical Principles

Authors: Giacomo Mauro D'Ariano

Abstract: David Finkelstein was very fond of the new information-theoretic paradigm of physics advocated by John Archibald Wheeler and Richard Feynman. Only recently, however, the paradigm has concretely shown its full power, with the derivation of quantum theory (Chiribella et al., Phys. Rev. A 84:012311, 2011; D'Ariano et al., 2017) and of free quantum field theory (D'Ariano and Perinotti, Phys. Rev. A 90… ▽ More David Finkelstein was very fond of the new information-theoretic paradigm of physics advocated by John Archibald Wheeler and Richard Feynman. Only recently, however, the paradigm has concretely shown its full power, with the derivation of quantum theory (Chiribella et al., Phys. Rev. A 84:012311, 2011; D'Ariano et al., 2017) and of free quantum field theory (D'Ariano and Perinotti, Phys. Rev. A 90:062106, 2014; Bisio et al., Phys. Rev. A 88:032301, 2013; Bisio et al., Ann. Phys. 354:244, 2015; Bisio et al., Ann. Phys. 368:177, 2016) from informational principles. The paradigm has opened for the first time the possibility of avoiding physical primitives in the axioms of the physical theory, allowing a refoundation of the whole physics over logically solid grounds. In addition to such methodological value, the new information-theoretic derivation of quantum field theory is particularly interesting for establishing a theoretical framework for quantum gravity, with the idea of obtaining gravity itself as emergent from the quantum information processing, as also suggested by the role played by information in the holographic principle (Susskind, J. Math. Phys. 36:6377, 1995; Bousso, Rev. Mod. Phys. 74:825, 2002). In this paper I review how free quantum field theory is derived without using mechanical primitives, including space-time, special relativity, Hamiltonians, and quantization rules. The theory is simply provided by the simplest quantum algorithm encompassing a countable set of quantum systems whose network of interactions satisfies the three following simple principles: homogeneity, locality, and isotropy. The inherent discrete nature of the informational derivation leads to an extension of quantum field theory in terms of a quantum cellular automata and quantum walks. A simple heuristic argument sets the scale to the Planck one, and the observed regime is that of small wavevectors ... △ Less

Submitted 23 January, 2017; originally announced January 2017.

Comments: 34 pages, 8 figures. Paper for in memoriam of David Finkelstein

Journal ref: International Journal Theoretical Physics (2017) vol. 56 issue 1, pag. 97, Special Issue in memoriam of David Finkelstein

Quantum cellular automata and free quantum field theory

Authors: Giacomo M. D'Ariano, Paolo Perinotti

Abstract: In a series of recent papers it has been shown how free quantum field theory can be derived without using mechanical primitives (including space-time, special relativity, quantization rules, etc.), but only considering the easiest quantum algorithm encompassing a countable set of quantum systems whose network of interactions satisfies the simple principles of unitarity, homogeneity, locality, and… ▽ More In a series of recent papers it has been shown how free quantum field theory can be derived without using mechanical primitives (including space-time, special relativity, quantization rules, etc.), but only considering the easiest quantum algorithm encompassing a countable set of quantum systems whose network of interactions satisfies the simple principles of unitarity, homogeneity, locality, and isotropy. This has opened the route to extending the axiomatic information-theoretic derivation of the quantum theory of abstract systems to include quantum field theory. The inherent discrete nature of the informational axiomatization leads to an extension of quantum field theory to a quantum cellular automata theory, where the usual field theory is recovered in a regime where the discrete structure of the automata cannot be probed. A simple heuristic argument sets the scale of discreteness to the Planck scale, and the customary physical regime where discreteness is not visible is the relativistic one of small wavevectors. In this paper we provide a thorough derivation from principles that in the most general case the graph of the quantum cellular automaton is the Cayley graph of a finitely presented group, and showing how for the case corresponding to Euclidean emergent space (where the group resorts to an Abelian one) the automata leads to Weyl, Dirac and Maxwell field dynamics in the relativistic limit. We conclude with some perspectives towards the more general scenario of non-linear automata for interacting quantum field theory. △ Less

Submitted 5 August, 2016; originally announced August 2016.

Comments: 10 pages, 2 figures, revtex style. arXiv admin note: substantial text overlap with arXiv:1601.04832

Journal ref: Front. Phys. 12(1), 120301 (2017)

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.

Comments: 8 pages, 4 figures

Journal ref: Phys. Rev. A 93, 062334 (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.

Comments: 17 pages, 13 figures. D'Ariano, G.M.; Mosco, N.; Perinotti, P.; Tosini, A. Discrete Time Dirac Quantum Walk in 3+1 Dimensions. Entropy 2016, 18, 228

Journal ref: Entropy 2016, 18, 228

Quantum Networks: general theory and applications

Authors: Alessandro Bisio, Giulio Chiribella, Giacomo Mauro D'Ariano, Paolo Perinotti

Abstract: In this work we present a general mathematical framework to deal with Quantum Networks, i.e. networks resulting from the interconnection of elementary quantum circuits. The cornerstone of our approach is a generalization of the Choi isomorphism that allows one to efficiently represent any given Quantum Network in terms of a single positive operator. Our formalism allows one to face and solve many… ▽ More In this work we present a general mathematical framework to deal with Quantum Networks, i.e. networks resulting from the interconnection of elementary quantum circuits. The cornerstone of our approach is a generalization of the Choi isomorphism that allows one to efficiently represent any given Quantum Network in terms of a single positive operator. Our formalism allows one to face and solve many quantum information processing problems that would be hardly manageable otherwise, the most relevant of which are reviewed in this work: quantum process tomography, quantum cloning and learning of transformations, inversion of a unitary gate, information-disturbance tradeoff in estimating a unitary transformation, cloning and learning of a measurement device. △ Less

Submitted 19 January, 2016; originally announced January 2016.

Comments: 118 pages, review article

Journal ref: Acta Physica Slovaca 61, No.3, 273-390 (2011)

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.

Comments: 13 pages, 5 figures

Journal ref: Foundations of Physics, Volume 45, Issue 10, pp 1203-1221 (2015)

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.

Comments: 10 pages

Journal ref: Foundations of Physics, Volume 45, Issue 10, pp 1137-1152 (2015)

Quantum walks, deformed relativity, and Hopf algebra symmetries

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti

Abstract: We show how the Weyl quantum walk derived from principles in Ref. [1], enjoying a nonlinear Lorentz symmetry of dynamics, allows one to introduce Hopf algebras for position and momentum of the emerging particle. We focus on two special models of Hopf algebras--the usual Poincaré and the k-Poincaré algebras. We show how the Weyl quantum walk derived from principles in Ref. [1], enjoying a nonlinear Lorentz symmetry of dynamics, allows one to introduce Hopf algebras for position and momentum of the emerging particle. We focus on two special models of Hopf algebras--the usual Poincaré and the k-Poincaré algebras. △ Less

Submitted 25 May, 2016; v1 submitted 18 January, 2016; originally announced January 2016.

Comments: 11 pages. Published version. The present article supersedes arXiv:1503.01017

Journal ref: Phil. Trans. R. Soc. A 2016 374 20150232

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.

Comments: 10 pages, 3 figures

Journal ref: J. Phys. A: Math. Theor. 50, 035301 (2017)

Quantum from principles

Authors: Giulio Chiribella, Giacomo Mauro D'Ariano, Paolo Perinotti

Abstract: Quantum theory was discovered in an adventurous way, under the urge to solve puzzles-like the spectrum of the blackbody radiation-that haunted the physics community at the beginning of the 20th century. It soon became clear, though, that quantum theory was not just a theory of specific physical systems, but rather a new language of universal applicability. Can this language be reconstructed from f… ▽ More Quantum theory was discovered in an adventurous way, under the urge to solve puzzles-like the spectrum of the blackbody radiation-that haunted the physics community at the beginning of the 20th century. It soon became clear, though, that quantum theory was not just a theory of specific physical systems, but rather a new language of universal applicability. Can this language be reconstructed from first principles? Can we arrive at it from logical reasoning, instead of ad hoc guesswork? A positive answer was provided in Refs. [1, 2], where we put forward six principles that identify quantum theory uniquely in a broad class of theories. We first defined a class of "theories of information", constructed as extensions of probability theory in which events can be connected into networks. In this framework, we formulated the six principles as rules governing the control and the accessibility of information. Directly from these rules, we reconstructed a number of quantum information features, and eventually, the whole Hilbert space framework. In short, our principles characterize quantum theory as the theory of information that allows for maximal control of randomness. △ Less

Submitted 13 March, 2016; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: 50 pages, no figures, published version. Summarizes the framework and the results of arXiv:0908.1583 and arXiv:1011.6451

Journal ref: book chapter in"Quantum Theory: Informational Foundations and Foils", G. Chiribella and R. Spekkens eds., Springer (2016)

Special Relativity in a Discrete Quantum Universe

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti

Abstract: The hypothesis of a discrete fabric of the universe--the "Planck scale"--is always on stage, since it solves mathematical and conceptual problems in the infinitely small. However, it clashes with special relativity, which is designed for the continuum. Here we show how the clash can be overcome within a discrete quantum theory where the evolution of fields is described by a quantum cellular automa… ▽ More The hypothesis of a discrete fabric of the universe--the "Planck scale"--is always on stage, since it solves mathematical and conceptual problems in the infinitely small. However, it clashes with special relativity, which is designed for the continuum. Here we show how the clash can be overcome within a discrete quantum theory where the evolution of fields is described by a quantum cellular automaton. The reconciliation is achieved by defining the change of observer as a change of representation of the dynamics, without any reference to space-time. We use the relativity principle, i.e. the invariance of dynamics under change of inertial observer, to identify a change of inertial frame with a symmetry of the dynamics. We consider the full group of such symmetries, and recover the usual Lorentz group in the relativistic regime of low energies, while at the Planck scale the covariance is nonlinearly distorted. △ Less

Submitted 25 July, 2016; v1 submitted 3 March, 2015; originally announced March 2015.

Comments: 5 pages, 3 figures + Supplemental Information (8 pages, 3 figures)

Journal ref: Phys. Rev. A 94, 042120 (2016)

Quantum Reading of Unitary Optical Devices

Authors: Michele Dall'Arno, Alessandro Bisio, Giacomo Mauro D'Ariano

Abstract: We address the problem of quantum reading of optical memories, namely the retrieving of classical information stored in the optical properties of a media with minimum energy. We present optimal strategies for ambiguous and unambiguous quantum reading of unitary optical memories, namely when one's task is to minimize the probability of errors in the retrieved information and when perfect retrieving… ▽ More We address the problem of quantum reading of optical memories, namely the retrieving of classical information stored in the optical properties of a media with minimum energy. We present optimal strategies for ambiguous and unambiguous quantum reading of unitary optical memories, namely when one's task is to minimize the probability of errors in the retrieved information and when perfect retrieving of information is achieved probabilistically, respectively. A comparison of the optimal strategy with coherent probes and homodyne detection shows that the former saves orders of magnitude of energy when achieving the same performances. Experimental proposals for quantum reading which are feasible with present quantum optical technology are reported. △ Less

Submitted 20 February, 2015; originally announced February 2015.

Comments: 3 pages, 2 figures, published in the proceedings of the 11th Quantum Communication, Measurement, and Computing (QCMC) conference, Vienna, Austria, 30 July-3 August, 2012

Journal ref: AIP Conf. Proc. 1633, 219 (2014)

How much a Quantum Measurement is Informative?

Authors: Michele Dall'Arno, Giacomo Mauro D'Ariano, Massimiliano F. Sacchi

Abstract: The informational power of a quantum measurement is the maximum amount of classical information that the measurement can extract from any ensemble of quantum states. We discuss its main properties. Informational power is an additive quantity, being equivalent to the classical capacity of a quantum-classical channel. The informational power of a quantum measurement is the maximum of the accessible… ▽ More The informational power of a quantum measurement is the maximum amount of classical information that the measurement can extract from any ensemble of quantum states. We discuss its main properties. Informational power is an additive quantity, being equivalent to the classical capacity of a quantum-classical channel. The informational power of a quantum measurement is the maximum of the accessible information of a quantum ensemble that depends on the measurement. We present some examples where the symmetry of the measurement allows to analytically derive its informational power. △ Less

Submitted 20 February, 2015; originally announced February 2015.

Comments: 3 pages, 2 figures, published in the proceedings of the 11th Quantum Communication, Measurement, and Computing (QCMC) conference, Vienna, Austria, 30 July-3 August, 2012

Journal ref: AIP Conf. Proc. 1633, 150 (2014)

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.

Comments: 5 pages

Journal ref: EPL 109, 40012 (2015)

Quantum Cellular Automaton Theory of Light

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti

Abstract: We present a quantum theory of light based on quantum cellular automata (QCA). This approach allows us to have a thorough quantum theory of free electrodynamics encompassing an hypothetical discrete Planck scale. The theory is particularly relevant because it provides predictions at the macroscopic scale that can be experimentally tested. We show how, in the limit of small wave-vector k, the free… ▽ More We present a quantum theory of light based on quantum cellular automata (QCA). This approach allows us to have a thorough quantum theory of free electrodynamics encompassing an hypothetical discrete Planck scale. The theory is particularly relevant because it provides predictions at the macroscopic scale that can be experimentally tested. We show how, in the limit of small wave-vector k, the free Maxwell's equations emerge from two Weyl QCAs derived from informational principles in Ref. [1]. Within this framework the photon is introduced as a composite particle made of a pair of correlated massless Fermions, and the usual Bosonic statistics is recovered in the low photon density limit. We derive the main phenomenological features of the theory, consisting in dispersive propagation in vacuum, the occurrence of a small longitudinal polarization, and a saturation effect originated by the Fermionic nature of the photon. We then discuss whether these effects can be experimentally tested, and observe that only the dispersive effects are accessible with current technology, from observations of arrival times of pulses originated at cosmological distances. △ Less

Submitted 25 July, 2014; originally announced July 2014.

Comments: 9 pages, 2 figures

Journal ref: Annals of Physics 368 (2016) 177-190

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.

Comments: 5 pages

Journal ref: Physics Letters A 378, Pag. 3165-3168 (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.

Comments: 46 pages, review about the "Feynman problem". Fixed many typos

Journal ref: Int. J. Mod. Phys. A, 29 (2014) 1430025

Repeatable two-mode phase measurement

Authors: G. M. D'Ariano, M. F. Sacchi

Abstract: A measurement scheme to perform a repeatable phase detection on a two-mode field is presented. The interaction with the probe state (the output state of a phase-insensitive high-gain amplifier) is described by a Hamiltonian which is physically realizable in the rotating wave approximation. Information on the system is obtained through unconventional heterodyne measurements performed on the probe f… ▽ More A measurement scheme to perform a repeatable phase detection on a two-mode field is presented. The interaction with the probe state (the output state of a phase-insensitive high-gain amplifier) is described by a Hamiltonian which is physically realizable in the rotating wave approximation. Information on the system is obtained through unconventional heterodyne measurements performed on the probe field after the interaction with the system. The expressions for the probability distribution and the state reduction are given. △ Less

Submitted 28 October, 2013; originally announced October 2013.

Comments: 7 pages, no figures

Journal ref: In "Quantum Interferometry", ed. by F. De Martini, G. Denardo, Y. Shih, (VCH Publishers, Weinheim, Germany, 1996), p. 307

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.

Comments: 5 pages, 5 figures

Journal ref: EPL (Europhysics Letters), Volume 109, 50003 (2015)

Optimal processing of reversible quantum channels

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti, Michal Sedlak

Abstract: We consider the general problem of the optimal transformation of N uses of (possibly different) unitary channels to a single use of another unitary channel in any finite dimension. We show how the optimal transformation can be fully parallelized, consisting in a preprocessing channel followed by a parallel action of all the N unitaries and a final postprocessing channel. Our techniques allow to ac… ▽ More We consider the general problem of the optimal transformation of N uses of (possibly different) unitary channels to a single use of another unitary channel in any finite dimension. We show how the optimal transformation can be fully parallelized, consisting in a preprocessing channel followed by a parallel action of all the N unitaries and a final postprocessing channel. Our techniques allow to achieve an exponential reduction in the number of the free parameters of the optimization problem making it amenable to an efficient numerical treatment. Finally, we apply our general results to find the analytical solution for special cases of interest like the cloning of qubit phase gates. △ Less

Submitted 14 August, 2013; originally announced August 2013.

Comments: 14 pages, 2 figures

Journal ref: Physics Letters A 378, p. 1797 (2014)

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.

Comments: 5 pages

Journal ref: EPL 107 (2014) 20009

Derivation of the Dirac Equation from Principles of Information Processing

Authors: G. M. D'Ariano, P. Perinotti

Abstract: We show how the Dirac equation in three space-dimensions emerges from the large-scale dynamics of the minimal nontrivial quantum cellular automaton satisfying unitariety, locality, homogeneity, and discrete isotropy, without using the relativity principle. The Dirac equation is recovered for small wave-vector and inertial mass, whereas Lorentz covariance is distorted in the ultra-relativistic limi… ▽ More We show how the Dirac equation in three space-dimensions emerges from the large-scale dynamics of the minimal nontrivial quantum cellular automaton satisfying unitariety, locality, homogeneity, and discrete isotropy, without using the relativity principle. The Dirac equation is recovered for small wave-vector and inertial mass, whereas Lorentz covariance is distorted in the ultra-relativistic limit. The automaton can thus be regarded as a theory unifying scales from Planck to Fermi. A simple asymptotic approach leads to a dispersive Schroedinger equation describing the evolution of narrow-band states at all scales. △ Less

Submitted 28 December, 2014; v1 submitted 8 June, 2013; originally announced June 2013.

Comments: 20 pages, 9 figures, revtex4, revised version

Journal ref: Phys. Rev. A 90, 062106 (2014)

Identification of a reversible quantum gate: assessing the resources

Authors: Giulio Chiribella, Giacomo Mauro D'Ariano, Martin Roetteler

Abstract: We assess the resources needed to identify a reversible quantum gate among a finite set of alternatives, including in our analysis both deterministic and probabilistic strategies. Among the probabilistic strategies we consider unambiguous gate discrimination, where errors are not tolerated but inconclusive outcomes are allowed, and we prove that parallel strategies are sufficient to unambiguously… ▽ More We assess the resources needed to identify a reversible quantum gate among a finite set of alternatives, including in our analysis both deterministic and probabilistic strategies. Among the probabilistic strategies we consider unambiguous gate discrimination, where errors are not tolerated but inconclusive outcomes are allowed, and we prove that parallel strategies are sufficient to unambiguously identify the unknown gate with minimum number of queries. This result is used to provide upper and lower bounds on the query complexity and on the minimum ancilla dimension. In addition, we introduce the notion of generalized t-designs, which includes unitary t-designs and group representations as special cases. For gates forming a generalized t-design we give an explicit expression for the maximum probability of correct gate identification and we prove that there is no gap between the performances of deterministic strategies an those of probabilistic strategies. Hence, evaluating of the query complexity of perfect deterministic discrimination is reduced to the easier problem of evaluating the query complexity of unambiguous discrimination. Finally, we consider discrimination strategies where the use of ancillas is forbidden, providing upper bounds on the number of additional queries needed to make up for the lack of entanglement with the ancillas. △ Less

Submitted 12 September, 2014; v1 submitted 4 June, 2013; originally announced June 2013.

Comments: 24 + 8 pages, published version

Journal ref: New J. Phys. 15 (2013) 103019

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.

Comments: 8 pages, 7 figures

Journal ref: Phys. Rev. A 88, 032301 (2013)

Determinism without causality

Authors: Giacomo M. D'Ariano, Franco Manessi, Paolo Perinotti

Abstract: Causality has been often confused with the notion of determinism. It is mandatory to separate the two notions in view of the debate about quantum foundations. Quantum theory provides an example of causal not-deterministic theory. Here we introduce a toy operational theory that is deterministic and non-causal, thus proving that the two notions of causality and determinism are totally independent. Causality has been often confused with the notion of determinism. It is mandatory to separate the two notions in view of the debate about quantum foundations. Quantum theory provides an example of causal not-deterministic theory. Here we introduce a toy operational theory that is deterministic and non-causal, thus proving that the two notions of causality and determinism are totally independent. △ Less

Submitted 16 May, 2013; v1 submitted 31 January, 2013; originally announced January 2013.

Comments: 6 pages + Appendix (4 pages), 1 figure

Journal ref: Phys. Scr. T163 (2014) 014013

Quantum Cloning by Cellular Automata

Authors: G. M. D'Ariano, C. Macchiavello, M. Rossi

Abstract: 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. 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. △ Less

Submitted 2 April, 2013; v1 submitted 19 December, 2012; originally announced December 2012.

Comments: 4 pages, 6 figures, 1 table, published version

Journal ref: Phys. Rev. A 87, 032337 (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.

Comments: 21 pages, 4 figures

Journal ref: Annals of Physics 354, 244 (2015)

Universality of Computation in Real Quantum Theory

Authors: Alessio Belenchia, Giacomo Mauro D'Ariano, Paolo Perinotti

Abstract: Recently de La Torre et al. [1] reconstructed Quantum Theory from its local structure on the basis of local discriminability and the existence of a one-parameter group of bipartite transformations containing an entangling gate. This result relies on universality of an entangling gate for quantum computation. Here we prove universality of C-NOT with local gates for Real Quantum Theory (RQT), showin… ▽ More Recently de La Torre et al. [1] reconstructed Quantum Theory from its local structure on the basis of local discriminability and the existence of a one-parameter group of bipartite transformations containing an entangling gate. This result relies on universality of an entangling gate for quantum computation. Here we prove universality of C-NOT with local gates for Real Quantum Theory (RQT), showing that such universality would not be sufficient for the result, whereas local discriminability and the qubit structure play a crucial role. For reversible computation, generally an extra rebit is needed for RQT. As a byproduct we also provide a short proof of universality of C-NOT for CQT. △ Less

Submitted 11 December, 2012; originally announced December 2012.

Journal ref: EPL 104, 20006 (2013)

The Dirac Quantum Automaton: a preview

Authors: Giacomo Mauro D'Ariano

Abstract: Quantum Information and the new informational paradigm are entering the domain of quantum field theory and gravity, suggesting the quantum automata framework. The quantum automaton is the minimal-assumption extension to the Planck and ultrarelativistic scales of quantum field theory. It can describe localized states and measurements, which are unmanageable by quantum field theory. The automaton th… ▽ More Quantum Information and the new informational paradigm are entering the domain of quantum field theory and gravity, suggesting the quantum automata framework. The quantum automaton is the minimal-assumption extension to the Planck and ultrarelativistic scales of quantum field theory. It can describe localized states and measurements, which are unmanageable by quantum field theory. The automaton theory is a very promising framework for quantum gravity, since it is quantum ab-initio, with relativistic covariance as emergent and not assumed a priori, it is free from all the problems arising from the continuum, it doesn't suffer violations of causality, and has no divergences. It is the natural scenario to accommodate the quantum holographic principle. Lorentz covariance and all other symmetries are violated in the ultrarelativistic Planckian regime, but are perfectly recovered at the Fermi-scale. In the present report, after briefly reviewing the fundamental principles at the basis of the quantum cellular automata extension of quantum field theory, I will present a preview of recent results on the Fermi scale limit [1] and on the Dirac automaton in two space-dimensions [2]. The automaton in three dimensions is under way. △ Less

Submitted 11 November, 2012; originally announced November 2012.

Comments: Work presented at the conference "Quantum Theory: Reconsideration of Foundations-6 on June 12th 2012 at Linnaeus University, Vaxjo, Sweden. [10 pages, 2 eps figures]

Functional Quantum Computing: An Optical Approach

Authors: Timothy Rambo, Joseph Altepeter, Giacomo Mauro D'Ariano, Prem Kumar

Abstract: A new model of quantum computing has recently been proposed which, in analogy with a classical lambda-calculus, exploits quantum processes which operate on other quantum processes. One such quantum meta-operator takes N unitary transformations as input, coherently permutes their ordering, and outputs a new composite operator which can be applied to a quantum state. Here we propose an optical devic… ▽ More A new model of quantum computing has recently been proposed which, in analogy with a classical lambda-calculus, exploits quantum processes which operate on other quantum processes. One such quantum meta-operator takes N unitary transformations as input, coherently permutes their ordering, and outputs a new composite operator which can be applied to a quantum state. Here we propose an optical device which implements this type of coherent operator permutation. This device requires only one physical implementation of each operator to be permuted. △ Less

Submitted 16 June, 2016; v1 submitted 6 November, 2012; originally announced November 2012.

Journal ref: Phys. Rev. A 93, 052321 (2016)

Quantum Theory, namely the pure and reversible theory of information

Authors: G. Chiribella, G. M. D'Ariano, P. Perinotti

Abstract: After more than a century since its birth, Quantum Theory still eludes our understanding. If asked to describe it, we have to resort to abstract and ad hoc principles about complex Hilbert spaces. How is it possible that a fundamental physical theory cannot be described using the ordinary language of Physics? Here we offer a contribution to the problem from the angle of Quantum Information, provid… ▽ More After more than a century since its birth, Quantum Theory still eludes our understanding. If asked to describe it, we have to resort to abstract and ad hoc principles about complex Hilbert spaces. How is it possible that a fundamental physical theory cannot be described using the ordinary language of Physics? Here we offer a contribution to the problem from the angle of Quantum Information, providing a short non-technical presentation of a recent derivation of Quantum Theory from information-theoretic principles. The broad picture emerging from the principles is that Quantum Theory is the only standard theory of information compatible with the purity and reversibility of physical processes. △ Less

Submitted 8 October, 2012; v1 submitted 25 September, 2012; originally announced September 2012.

Comments: 20 pages, 3 figures, contribution to the Special Issue: Selected Papers from Symposium on Natural/Unconventional Computing and Its Philosophical Significance. This paper is meant to be an introduction for non-specialists to the main results of arXiv:1011.6451 and arXiv:0908.1583

Journal ref: Entropy, 14(10), 1877-1893 (2012)

Memory cost of quantum protocols

Authors: Alessandro Bisio, Giacomo Mauro D'Ariano, Paolo Perinotti, Michal Sedlak

Abstract: In this paper we consider the problem of minimizing the ancillary systems required to realize an arbitrary strategy of a quantum protocol, with the assistance of classical memory. For this purpose we introduce the notion of memory cost of a strategy, which measures the resources required in terms of ancillary dimension. We provide a condition for the cost to be equal to a given value, and we use t… ▽ More In this paper we consider the problem of minimizing the ancillary systems required to realize an arbitrary strategy of a quantum protocol, with the assistance of classical memory. For this purpose we introduce the notion of memory cost of a strategy, which measures the resources required in terms of ancillary dimension. We provide a condition for the cost to be equal to a given value, and we use this result to evaluate the cost in some special cases. As an example we show that any covariant protocol for the cloning of a unitary transformation requires at most one ancillary qubit. We also prove that the memory cost has to be determined globally, and cannot be calculated by optimizing the resources independently at each step of the strategy. △ Less

Submitted 16 December, 2011; originally announced December 2011.

Comments: 9 pages

Journal ref: Phys. Rev. A 85, 032333 (2012)