-
Fermionic cellular automata in one dimension
Authors:
Lorenzo S. Trezzini,
Matteo Lugli,
Paolo Meda,
Alessandro Bisio,
Paolo Perinotti,
Alessandro Tosini
Abstract:
We consider quantum cellular automata for one-dimensional chains of Fermionic modes and study their implementability as finite depth quantum circuits. Fermionic automata have been classified in terms of an index modulo circuits and the addition of ancillary systems. We strengthen this result removing the ancilla degrees of freedom in defining the equivalence classes. A complete characterization of…
▽ More
We consider quantum cellular automata for one-dimensional chains of Fermionic modes and study their implementability as finite depth quantum circuits. Fermionic automata have been classified in terms of an index modulo circuits and the addition of ancillary systems. We strengthen this result removing the ancilla degrees of freedom in defining the equivalence classes. A complete characterization of nearest-neighbours automata is given. A class of Fermionic automata is found which cannot be expressed in terms of single mode and controlled-phase gates composed with shifts, as is the case for qubit cellular automata.
△ Less
Submitted 9 January, 2025;
originally announced January 2025.
-
Effective dynamics from minimising dissipation
Authors:
Antonio F. Rotundo,
Paolo Perinotti,
Alessandro Bisio
Abstract:
It is known that the same physical system can be described by different effective theories depending on the scale at which it is observed. In this work, we formulate a prescription for finding the unitary that best approximates the large scale dynamics of a quantum system evolving discretely in time, as it is the case for digital quantum simulators. We consider the situation in which the degrees o…
▽ More
It is known that the same physical system can be described by different effective theories depending on the scale at which it is observed. In this work, we formulate a prescription for finding the unitary that best approximates the large scale dynamics of a quantum system evolving discretely in time, as it is the case for digital quantum simulators. We consider the situation in which the degrees of freedom of the system can be divided between an IR part that we can observe, and a UV part that we cannot observe. Following a principle of minimal dissipation, our goal is to find the unitary dynamics that best approximates the (generally non unitary) time evolution of the IR degrees of freedom. We first prove that when the IR and UV degrees of freedom are weakly coupled, the unitary that maximises the fidelity is given by a mean-field dynamics and the error is given by a sum of energy variances. We then apply our results to a one dimensional quantum walk, which is known to reproduce the Dirac equation in the small mass and momenta limit. We find that in this limit the effective IR dynamics is obtained by a mass redefinition.
△ Less
Submitted 13 December, 2024;
originally announced December 2024.
-
Storage and retrieval of two unknown unitary channels
Authors:
Michal Sedlák,
Robert Stárek,
Nikola Horová,
Michal Mičuda,
Jaromir Fiurášek,
Alessandro Bisio
Abstract:
We address the fundamental task of converting $n$ uses of an unknown unitary transformation into a quantum state (i.e., storage) and later retrieval of the transformation. Specifically, we consider the case where the unknown unitary is selected with equal prior probability from two options. First, we prove that the optimal storage strategy involves the sequential application of the $n$ uses of the…
▽ More
We address the fundamental task of converting $n$ uses of an unknown unitary transformation into a quantum state (i.e., storage) and later retrieval of the transformation. Specifically, we consider the case where the unknown unitary is selected with equal prior probability from two options. First, we prove that the optimal storage strategy involves the sequential application of the $n$ uses of the unknown unitary, and it produces the optimal state for discrimination between the two possible unitaries. Next, we show that incoherent "measure-and-prepare" retrieval achieves the maximum fidelity between the retrieved operation and the original (qubit) unitary. We then identify the retrieval strategy that maximizes the probability of successfully and perfectly retrieving the unknown transformation. In the regime in which the fidelity between the two possible unitaries is large the probability of success scales as $ P_{succ} = 1 - \mathcal{O}(n^{-2} ) $, which is a quadratic improvement with respect to the case in which the unitaries are drawn from the entire unitary group $U(d)$ with uniform prior probability. Finally, we present an optical experiment for this approach and assess the storage and retrieval quality using quantum tomography of states and processes. The results are discussed in relation to non-optimal measure-and-prepare strategy, highlighting the advantages of our protocol.
△ Less
Submitted 30 October, 2024;
originally announced October 2024.
-
Classification of qubit cellular automata on hypercubic lattices
Authors:
Andrea Pizzamiglio,
Alessandro Bisio,
Paolo Perinotti
Abstract:
We classify qubit QCAs on lattices $\mathbb Z^s$ with von Neumann neighbourhood scheme, in terms of feasibility as finite depth quantum circuits. We show the most general structure of such quantum circuit and use its characterisation to simulate a few steps of evolution and evaluate the rate of entanglement production between one cell and its surroundings.
We classify qubit QCAs on lattices $\mathbb Z^s$ with von Neumann neighbourhood scheme, in terms of feasibility as finite depth quantum circuits. We show the most general structure of such quantum circuit and use its characterisation to simulate a few steps of evolution and evaluate the rate of entanglement production between one cell and its surroundings.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Renormalisation of Quantum Cellular Automata
Authors:
Lorenzo Siro Trezzini,
Alessandro Bisio,
Paolo Perinotti
Abstract:
We study a coarse-graining procedure for quantum cellular automata on hypercubic lattices that consists in grouping neighboring cells into tiles and selecting a subspace within each tile. This is done in such a way that multiple evolution steps applied to this subspace can be viewed as a single evolution step of a new quantum cellular automaton, whose cells are the subspaces themselves. We derive…
▽ More
We study a coarse-graining procedure for quantum cellular automata on hypercubic lattices that consists in grouping neighboring cells into tiles and selecting a subspace within each tile. This is done in such a way that multiple evolution steps applied to this subspace can be viewed as a single evolution step of a new quantum cellular automaton, whose cells are the subspaces themselves. We derive a necessary and sufficient condition for renormalizability and use it to investigate the renormalization flow of cellular automata on a line, where the cells are qubits and the tiles are composed of two neighboring cells. The problem is exhaustively solved, and the fixed points of the renormalization flow are highlighted.
△ Less
Submitted 22 May, 2025; v1 submitted 17 July, 2024;
originally announced July 2024.
-
A perturbative approach to the solution of the Thirring quantum cellular automaton
Authors:
Alessandro Bisio,
Paolo Perinotti,
Andrea Pizzamiglio,
Saverio Rota
Abstract:
The Thirring Quantum Cellular Automaton (QCA) describes the discrete time dynamics of local fermionic modes that evolve according to one step of the Dirac cellular automaton followed by the most general on-site number-preserving interaction, and serves as the QCA counterpart of the Thirring model in quantum field theory. In this work, we develop perturbative techniques for the QCA path-sum approac…
▽ More
The Thirring Quantum Cellular Automaton (QCA) describes the discrete time dynamics of local fermionic modes that evolve according to one step of the Dirac cellular automaton followed by the most general on-site number-preserving interaction, and serves as the QCA counterpart of the Thirring model in quantum field theory. In this work, we develop perturbative techniques for the QCA path-sum approach, expanding both the number of interaction vertices and the mass parameter of the Thirring QCA. By classifying paths within the regimes of very light and very heavy particles, we computed the transition matrices in the two- and three-particle sectors to the first few orders. Our investigation into the properties of the Thirring QCA, addressing the combinatorial complexity of the problem, yielded some useful results applicable to the many-particle sector of any on-site number-preserving interactions in one spatial dimension.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Photonic cellular automaton simulation of relativistic quantum fields: observation of Zitterbewegung
Authors:
Alessia Suprano,
Danilo Zia,
Emanuele Polino,
Davide Poderini,
Gonzalo Carvacho,
Fabio Sciarrino,
Matteo Lugli,
Alessandro Bisio,
Paolo Perinotti
Abstract:
Quantum Cellular Automaton (QCA) is a model for universal quantum computation and a natural candidate for digital quantum simulation of relativistic quantum fields. Here we introduce the first photonic platform for implementing QCA-simulation of a free relativistic Dirac quantum field in 1+1 dimension, through a Dirac Quantum Cellular Automaton (DQCA). Encoding the field position degree of freedom…
▽ More
Quantum Cellular Automaton (QCA) is a model for universal quantum computation and a natural candidate for digital quantum simulation of relativistic quantum fields. Here we introduce the first photonic platform for implementing QCA-simulation of a free relativistic Dirac quantum field in 1+1 dimension, through a Dirac Quantum Cellular Automaton (DQCA). Encoding the field position degree of freedom in the Orbital Angular Momentum (OAM) of single photons, our state-of-the-art setup experimentally realizes 8 steps of a DQCA, with the possibility of having complete control over the input OAM state preparation and the output measurement making use of two spatial light modulators. Therefore, studying the distribution in the OAM space at each step, we were able to reproduce the time evolution of the free Dirac field observing, the Zitterbewegung, an oscillatory movement extremely difficult to see in real case experimental scenario that is a signature of the interference of particle and antiparticle states. The accordance between the expected and measured Zitterbewegung oscillations certifies the simulator performances, paving the way towards the application of photonic platforms to the simulation of more complex relativistic effects.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
A massless interacting Fermionic Cellular Automaton exhibiting bound states
Authors:
Edoardo Centofanti,
Alessandro Bisio,
Paolo Perinotti
Abstract:
We present a Fermionic Cellular Automaton model which describes massless Dirac fermion in 1+1 dimension coupled with local, number preserving interaction. The diagonalization of the two particle sector shows that specific values of the total momentum and of the coupling constant allows for the formation of bound states. Furthermore, we present a classification of the local number-preserving intera…
▽ More
We present a Fermionic Cellular Automaton model which describes massless Dirac fermion in 1+1 dimension coupled with local, number preserving interaction. The diagonalization of the two particle sector shows that specific values of the total momentum and of the coupling constant allows for the formation of bound states. Furthermore, we present a classification of the local number-preserving interactions that are invariant under the isotropy group of the cellular automaton which simulates the Weyl equation.
△ Less
Submitted 16 March, 2024; v1 submitted 28 April, 2023;
originally announced April 2023.
-
No-signalling constrains quantum computation with indefinite causal structure
Authors:
Luca Apadula,
Alessandro Bisio,
Paolo Perinotti
Abstract:
Quantum processes with indefinite causal structure emerge when we wonder which are the most general evolutions, allowed by quantum theory, of a set of local systems which are not assumed to be in any particular causal order. These processes can be described within the framework of higher-order quantum theory which, starting from considering maps from quantum transformations to quantum transformati…
▽ More
Quantum processes with indefinite causal structure emerge when we wonder which are the most general evolutions, allowed by quantum theory, of a set of local systems which are not assumed to be in any particular causal order. These processes can be described within the framework of higher-order quantum theory which, starting from considering maps from quantum transformations to quantum transformations, recursively constructs a hierarchy of quantum maps of increasingly higher order. In this work, we develop a formalism for quantum computation with indefinite causal structures; namely, we characterize the computational structure of higher order quantum maps. Taking an axiomatic approach, the rules of this computation are identified as the most general compositions of higher order maps which are compatible with the mathematical structure of quantum theory. We provide a mathematical characterization of the admissible composition for arbitrary higher order quantum maps. We prove that these rules, which have a computational and information-theoretic nature, are determined by the more physical notion of the signalling relations between the quantum systems of the higher order quantum maps.
△ Less
Submitted 25 January, 2024; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Scattering and perturbation theory for discrete-time dynamics
Authors:
Alessandro Bisio,
Nicola Mosco,
Paolo Perinotti
Abstract:
We present a systematic treatment of scattering processes for quantum systems whose time evolution is discrete. We define and show some general properties of the scattering operator, in particular the conservation of quasi-energy which is defined only modulo $2 π$. Then we develop two perturbative techniques for the power series expansion of the scattering operator, the first one analogous to the…
▽ More
We present a systematic treatment of scattering processes for quantum systems whose time evolution is discrete. We define and show some general properties of the scattering operator, in particular the conservation of quasi-energy which is defined only modulo $2 π$. Then we develop two perturbative techniques for the power series expansion of the scattering operator, the first one analogous to the iterative solution of the Lippmann-Schwinger equation, the second one to the Dyson series of perturbative Quantum Field Theory. We use this formalism to compare the scattering amplitudes of a continuous-time model and of the corresponding discretized one. We give a rigorous assessment of the comparison for the case of bounded free Hamiltonian, as in a lattice theory with a bounded number of particles. Our framework can be applied to a wide class of quantum simulators, like quantum walks and quantum cellular automata. As a case study, we analyse the scattering properties of a one-dimensional cellular automaton with locally interacting fermions.
△ Less
Submitted 25 June, 2021; v1 submitted 20 December, 2019;
originally announced December 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.
-
Optimal probabilistic storage and retrieval of unitary channels
Authors:
Michal Sedlák,
Alessandro Bisio,
Mário Ziman
Abstract:
We address the question of a quantum memory storage of quantum dynamics. In particular, we design an optimal protocol for $N\to 1$ probabilistic storage-and-retrieval of unitary channels on $d$-dimensional quantum systems. If we may access the unknown unitary gate only $N$-times, the optimal success probability of perfect retrieval of its single use is $N/(N-1+d^2)$. The derived size of the memory…
▽ More
We address the question of a quantum memory storage of quantum dynamics. In particular, we design an optimal protocol for $N\to 1$ probabilistic storage-and-retrieval of unitary channels on $d$-dimensional quantum systems. If we may access the unknown unitary gate only $N$-times, the optimal success probability of perfect retrieval of its single use is $N/(N-1+d^2)$. The derived size of the memory system exponentially improves the known upper bound on the size of the program register needed for probabilistic programmable quantum processors. Our results are closely related to probabilistic perfect alignment of reference frames and probabilistic port-based teleportation.
△ Less
Submitted 12 September, 2018;
originally announced September 2018.
-
Theoretical framework for Higher-Order Quantum Theory
Authors:
Alessandro Bisio,
Paolo Perinotti
Abstract:
Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes recursively, with the construction of a full hierarchy of maps of increasingly higher order. The analysis of special cases already showed that higher-order quantum…
▽ More
Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes recursively, with the construction of a full hierarchy of maps of increasingly higher order. The analysis of special cases already showed that higher-order quantum functions exhibit features that cannot be tracked down to the usual circuits, such as indefinite causal structures, providing provable advantages over circuital maps. The present treatment provides a general framework where this kind of analysis can be carried out in full generality. The hierarchy of higher-order quantum maps is introduced axiomatically with a formulation based on the language of types of transformations. Complete positivity of higher-order maps is derived from the general admissibility conditions instead of being postulated as in previous approaches. The recursive characterization of convex sets of maps of a given type is used to prove equivalence relations between different types. The axioms of the framework do not refer to the specific mathematical structure of quantum theory, and can therefore be exported in the context of any operational probabilistic theory.
△ Less
Submitted 27 May, 2019; v1 submitted 25 June, 2018;
originally announced June 2018.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Quantum conditional operations
Authors:
Alessandro Bisio,
Michele Dall'Arno,
Paolo Perinotti
Abstract:
An essential element of classical computation is the "if-then" construct, that accepts a control bit and an arbitrary gate, and provides conditional execution of the gate depending on the value of the controlling bit. On the other hand, quantum theory prevents the existence of an analogous universal construct accepting a control qubit and an arbitrary quantum gate as its input. Nevertheless, there…
▽ More
An essential element of classical computation is the "if-then" construct, that accepts a control bit and an arbitrary gate, and provides conditional execution of the gate depending on the value of the controlling bit. On the other hand, quantum theory prevents the existence of an analogous universal construct accepting a control qubit and an arbitrary quantum gate as its input. Nevertheless, there are controllable sets of quantum gates for which such a construct exists. Here we provide a necessary and sufficient condition for a set of unitary transformations to be controllable, and we give a complete characterization of controllable sets in the two dimensional case. This result reveals an interesting connection between the problem of controllability and the problem of extracting information from an unknown quantum gate while using it.
△ Less
Submitted 1 September, 2016; v1 submitted 3 September, 2015;
originally announced September 2015.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Experimental implementation of unambiguous quantum reading
Authors:
Michele Dall'Arno,
Alessandro Bisio,
Giacomo Mauro D'Ariano,
Martina Mikova,
Miroslav Jezek,
Miloslav Dusek
Abstract:
We provide the optimal strategy for unambiguous quantum reading of optical memories, namely when perfect retrieving of information is achieved probabilistically, for the case where noise and loss are negligible. We describe the experimental quantum optical implementations, and provide experimental results for the single photon case.
We provide the optimal strategy for unambiguous quantum reading of optical memories, namely when perfect retrieving of information is achieved probabilistically, for the case where noise and loss are negligible. We describe the experimental quantum optical implementations, and provide experimental results for the single photon case.
△ Less
Submitted 9 January, 2012; v1 submitted 25 November, 2011;
originally announced November 2011.
-
Tradeoff between energy and error in the discrimination of quantum-optical devices
Authors:
Alessandro Bisio,
Michele Dall'Arno,
Giacomo Mauro D'Ariano
Abstract:
We address the problem of energy-error tradeoff in the discrimination between two linear passive quantum optical devices with a single use. We provide an analytical derivation of the optimal strategy for beamsplitters and an iterative algorithm converging to the optimum in the general case. We then compare the optimal strategy with a simpler strategy using coherent input states and homodyne detect…
▽ More
We address the problem of energy-error tradeoff in the discrimination between two linear passive quantum optical devices with a single use. We provide an analytical derivation of the optimal strategy for beamsplitters and an iterative algorithm converging to the optimum in the general case. We then compare the optimal strategy with a simpler strategy using coherent input states and homodyne detection. It turns out that the former requires much less energy in order to achieve the same performances.
△ Less
Submitted 11 July, 2011; v1 submitted 21 April, 2011;
originally announced April 2011.
-
Cloning of a quantum measurement
Authors:
Alessandro Bisio,
Giacomo Mauro D'Ariano,
Paolo Perinotti,
Michal Sedlak
Abstract:
We analyze quantum algorithms for cloning of a quantum measurement. Our aim is to mimic two uses of a device performing an unknown von Neumann measurement with a single use of the device. When the unknown device has to be used before the bipartite state to be measured is available we talk about 1 -> 2 learning of the measurement, otherwise the task is called 1 -> 2 cloning of a measurement. We per…
▽ More
We analyze quantum algorithms for cloning of a quantum measurement. Our aim is to mimic two uses of a device performing an unknown von Neumann measurement with a single use of the device. When the unknown device has to be used before the bipartite state to be measured is available we talk about 1 -> 2 learning of the measurement, otherwise the task is called 1 -> 2 cloning of a measurement. We perform the optimization for both learning and cloning for arbitrary dimension of the Hilbert space. For 1 -> 2 cloning we also propose a simple quantum network that realizes the optimal strategy.
△ Less
Submitted 30 March, 2011; v1 submitted 29 March, 2011;
originally announced March 2011.
-
Quantum learning algorithms for quantum measurements
Authors:
Alessandro Bisio,
Giacomo Mauro D'Ariano,
Paolo Perinotti,
Michal Sedlak
Abstract:
We study quantum learning algorithms for quantum measurements. The optimal learning algorithm is derived for arbitrary von Neumann measurements in the case of training with one or two examples. The analysis of the case of three examples reveals that, differently from the learning of unitary gates, the optimal algorithm for learning of quantum measurements cannot be parallelized, and requires quant…
▽ More
We study quantum learning algorithms for quantum measurements. The optimal learning algorithm is derived for arbitrary von Neumann measurements in the case of training with one or two examples. The analysis of the case of three examples reveals that, differently from the learning of unitary gates, the optimal algorithm for learning of quantum measurements cannot be parallelized, and requires quantum memories for the storage of information.
△ Less
Submitted 30 August, 2011; v1 submitted 2 March, 2011;
originally announced March 2011.
-
Information - Disturbance Tradeoff in the Estimation of a Unitary Transformation
Authors:
Alessandro Bisio,
Giulio Chiribella,
Giacomo Mauro D'Ariano,
Paolo Perinotti
Abstract:
We address the problem of the information-disturbance trade-off associated to the estimation of a quantum transformation, and show how the extraction of information about the a black box causes a perturbation of the corresponding input-output evolution. In the case of a black box performing a unitary transformation, randomly distributed according to the invariant measure, we give a complete soluti…
▽ More
We address the problem of the information-disturbance trade-off associated to the estimation of a quantum transformation, and show how the extraction of information about the a black box causes a perturbation of the corresponding input-output evolution. In the case of a black box performing a unitary transformation, randomly distributed according to the invariant measure, we give a complete solution of the problem, deriving the optimal trade-off curve and presenting an explicit construction of the optimal quantum network.
△ Less
Submitted 10 November, 2010; v1 submitted 29 June, 2010;
originally announced June 2010.
-
Minimal computational-space implementation of multi-round quantum protocols
Authors:
A. Bisio,
G. Chiribella,
G. M. D'Ariano,
P. Perinotti
Abstract:
A single-party strategy in a multi-round quantum protocol can be implemented by sequential networks of quantum operations connected by internal memories. Here provide the most efficient realization in terms of computational-space resources.
A single-party strategy in a multi-round quantum protocol can be implemented by sequential networks of quantum operations connected by internal memories. Here provide the most efficient realization in terms of computational-space resources.
△ Less
Submitted 9 June, 2010;
originally announced June 2010.
-
Optimal quantum learning of a unitary transformation
Authors:
A. Bisio,
G. Chiribella,
G. M. D'Ariano,
S. Facchini,
P. Perinotti
Abstract:
We address the problem of learning an unknown unitary transformation from a finite number of examples. The problem consists in finding the learning machine that optimally emulates the examples, thus reproducing the unknown unitary maximum fidelity. Learning a unitary is equivalent to storing it in the state of a quantum memory (the memory of the learning machine), and subsequently retrieving it.…
▽ More
We address the problem of learning an unknown unitary transformation from a finite number of examples. The problem consists in finding the learning machine that optimally emulates the examples, thus reproducing the unknown unitary maximum fidelity. Learning a unitary is equivalent to storing it in the state of a quantum memory (the memory of the learning machine), and subsequently retrieving it. We prove that, whenever the unknown unitary is drawn from a group, the optimal strategy consists in a parallel call of the available uses followed by a "measure-and-rotate" retrieving. Differing from the case of quantum cloning, where the incoherent "measure-and-prepare" strategies are typically suboptimal, in the case of learning the "measure-and-rotate" strategy is optimal even when the learning machine is asked to reproduce a single copy of the unknown unitary. We finally address the problem of the optimal inversion of an unknown unitary evolution, showing also in this case the optimality of the "measure-and-rotate" strategies and applying our result to the optimal approximate realignment of reference frames for quantum communication.
△ Less
Submitted 25 March, 2010; v1 submitted 3 March, 2009;
originally announced March 2009.
-
Optimal quantum tomography for states, measurements, and transformations
Authors:
A. Bisio,
G. Chiribella,
G. M. D'Ariano,
S. Facchini,
P. Perinotti
Abstract:
We present the first complete optimization of quantum tomography, for states, POVMs, and various classes of transformations, for arbitrary prior ensemble and arbitrary representation, giving corresponding feasible experimental schemes.
We present the first complete optimization of quantum tomography, for states, POVMs, and various classes of transformations, for arbitrary prior ensemble and arbitrary representation, giving corresponding feasible experimental schemes.
△ Less
Submitted 6 June, 2008;
originally announced June 2008.
