1,720,978 research outputs found
Cellular automata in operational probabilistic theories
Full text linkThe theory of cellular automata in operational probabilistic theories is developed. We start introducing the composition of infinitely many elementary systems, and then use this notion to define update rules for such infinite composite systems. The notion of causal influence is introduced, and its relation with the usual property of signalling is discussed. We then introduce homogeneity, namely the property of an update rule to evolve every system in the same way, and prove that systems evolving by a homogeneous rule always correspond to vertices of a Cayley graph. Next, we define the notion of locality for update rules. Cellular automata are then defined as homogeneous and local update rules. Finally, we prove a general version of the wrapping lemma, that connects CA on different Cayley graphs sharing some small-scale structure of neighbourhoods
Theoretical framework for higher-order quantum theory
Full text linkHigher-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
Scattering and Perturbation Theory for Discrete-Time Dynamics
No full textWe 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 quasienergy 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 analyze the scattering properties of a one-dimensional cellular automaton with locally interacting fermions
Classical theories with entanglement
No full textWe 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 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 noncausal classical theories. We then provide necessary and sufficient conditions for simplicial theories to exhibit entanglement and classify their system-composition rules. We conclude by 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 a purification. Our results hold also in the general case where the sets of states fail to be convex
Unambiguous discrimination of fermionic states through local operations and classical communication
No full textThe paper studies unambiguous discrimination of fermionic states through local operations and classical communication (LOCC). In the task of unambiguous discrimination, no error is tolerated but an inconclusive result is allowed. We show that contrary to the quantum case, it is not always possible to distinguish two fermionic states through LOCC unambiguously with the same success probability as if global measurements were allowed. Furthermore, we prove that we can overcome such a limit through an ancillary system made of two fermionic modes, independently of the dimension of the system, prepared in a maximally entangled state: in this case, LOCC protocols achieve the optimal success probability
Fermionic State Discrimination by Local Operations and Classical Communication
No full textWe consider the problem of local operations and classical communication (LOCC) discrimination between two bipartite pure states of fermionic systems. We show that, contrary to the case of quantum systems, for fermionic systems it is generally not possible to achieve the ideal state discrimination performances through LOCC measurements. On the other hand, we show that an ancillary system made of two fermionic modes in a maximally entangled state is a sufficient additional resource to attain the ideal performances via LOCC measurements. The stability of the ideal results is studied when the probability of preparation of the two states is perturbed, and a tight bound on the discrimination error is derived
Chirality from quantum walks without a quantum coin
No full textQuantum 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 with 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
Symmetries of the Dirac quantum walk and emergence of the de Sitter group
No full textA 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 walks, provide a description of the free evolution of relativistic quantum fields in the small wave-vector regime. The clash between the intrinsic discreteness of quantum walks and the continuous symmetries of special relativity is resolved by giving a definition of change of inertial frame in terms of a change of values of the constants of motion, which leaves the walk operator unchanged. Starting from the family of 1 + 1 dimensional Dirac 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)⋉R3; 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 also contains a non-linear realization of the proper orthochronous Poincaré group SO+(1,1)⋉R2 in 1 + 1 dimension, as the ones considered within the framework of doubly special relativity, which recovers the usual relativistic symmetry in the limit of small wave-vectors and masses. Surprisingly, for 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 limit of small wave-vectors
Quantum Information and Foundations
Full text linkQuantum information has dramatically changed information science and technology, looking at the quantum nature of the information carrier as a resource for building new information protocols, designing radically new communication and computation algorithms, and ultra-sensitive measurements in metrology, with a wealth of applications. From a fundamental perspective, this new discipline has led us to regard quantum theory itself as a special theory of information, and has opened routes for exploring solutions to the tension with general relativity, based, for example, on the holographic principle, on non-causal variations of the theory, or else on the powerful algorithm of the quantum cellular automaton, which has revealed new routes for exploring quantum fields theory, both as a new microscopic mechanism on the fundamental side, and as a tool for efficient physical quantum simulations for practical purposes. In this golden age of foundations, an astonishing number of new ideas, frameworks, and results, spawned by the quantum information theory experience, have revolutionized the way we think about the subject, with a new research community emerging worldwide, including scientists from computer science and mathematics
Quantum from Principles
No full textQuantum 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 Phys Rev A, 81:062348, 2010 [34], Phys Rev A, 84:012311, 2011 [26], 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
- …
