Source author record

Paolo Perinotti

Paolo Perinotti appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

29works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2022arXiv

Classicality without local discriminability: decoupling entanglement and complementarity

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.

preprint2021arXiv

Unambiguous discrimination of Fermionic states through local operations and classical communication

The paper studies unambiguous discrimination of Fermionic states through local operations and classical communication (LOCC). In the task of unambiguous discrimination, no error is tolerated but an inconclusive result is allowed. We show that contrary to the quantum case, it is not always possible to distinguish two Fermionic states through LOCC unambiguously with the same success probability as if global measurements were allowed. Furthermore, we prove that we can overcome such a limit through an ancillary system made of two Fermionic modes, independently of the dimension of the system, prepared in a maximally entangled state: in this case, LOCC protocols achieve the optimal success probability.

preprint2020arXiv

Fermionic state discrimination by local operations and classical communication

We consider the problem of local operations and classical communication (LOCC) discrimination between two bipartite pure states of fermionic systems. We show that, contrary to the case of quantum systems, for fermionic systems it is generally not possible to achieve the ideal state discrimination performances through LOCC measurements. On the other hand, we show that an ancillary system made of two fermionic modes in a maximally entangled state is a sufficient additional resource to attain the ideal performances via LOCC measurements. The stability of the ideal results is studied when the probability of preparation of the two states is perturbed, and a tight bound on the discrimination error is derived.

preprint2019arXiv

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

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.

preprint2016arXiv

Discrete time Dirac quantum walk in 3+1 dimensions

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.

preprint2016arXiv

Free quantum field theory from quantum cellular automata: derivation of Weyl, Dirac and Maxwell quantum cellular automata

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.

preprint2016arXiv

Quantum conditional operations

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.

preprint2016arXiv

Quantum Networks: general theory and applications

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.

preprint2016arXiv

Quantum walks with a one-dimensional coin

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.

preprint2016arXiv

Special Relativity in a Discrete Quantum Universe

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.

preprint2016arXiv

Weyl, Dirac and Maxwell Quantum Cellular Automata: analitical solutions and phenomenological predictions of the Quantum Cellular Automata Theory of Free Fields

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.

preprint2014arXiv

Fermionic computation is non-local tomographic and violates monogamy of entanglement

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.

preprint2014arXiv

Path-integral solution of the one-dimensional Dirac quantum cellular automaton

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.

preprint2014arXiv

Quantum Cellular Automaton Theory of Light

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.

preprint2014arXiv

The Feynman problem and Fermionic entanglement: Fermionic theory versus qubit theory

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).

preprint2013arXiv

Ergodic and Mixing Quantum Channels in Finite Dimensions

The paper provides a systematic characterization of quantum ergodic and mixing channels in finite dimensions and a discussion of their structural properties. In particular, we discuss ergodicity in the general case where the fixed point of the channel is not a full-rank (faithful) density matrix. Notably, we show that ergodicity is stable under randomizations, namely that every random mixture of an ergodic channel with a generic channel is still ergodic. In addition, we prove several conditions under which ergodicity can be promoted to the stronger property of mixing. Finally, exploiting a suitable correspondence between quantum channels and generators of quantum dynamical semigroups, we extend our results to the realm of continuous-time quantum evolutions, providing a characterization of ergodic Lindblad generators and showing that they are dense in the set of all possible generators.

preprint2013arXiv

Optimal processing of reversible quantum channels

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.

preprint2012arXiv

Quantum computation with programmable connections between gates

A new model of quantum computation is considered, in which the connections between gates are programmed by the state of a quantum register. This new model of computation is shown to be more powerful than the usual quantum computation, e. g. in achieving the programmability of permutations of N different unitary channels with 1 use instead of N uses per channel. For this task, a new elemental resource is needed, the "quantum switch", which can be programmed to switch the order of two channels with a single use of each one.

preprint2012arXiv

Spooky action at a distance in general probabilistic theories

We call a probabilistic theory "complete" if it cannot be further refined by no-signaling hidden-variable models, and name a theory "spooky" if every equivalent hidden-variable model violates Shimony's Outcome Independence. We prove that a complete theory is spooky if and only if it admits a pure steering state in the sense of Schrödinger. Finally we show that steering of complementary states leads to a Schrödinger's cat-like paradox.

preprint2012arXiv

Universality of Computation in Real Quantum Theory

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.

preprint2011arXiv

Cloning of a quantum measurement

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.

preprint2011arXiv

Discord and non-classicality in probabilistic theories

Quantum discord quantifies non-classical correlations in quantum states. We introduce discord for states in causal probabilistic theories, inspired by the original definition proposed in Ref. [17]. We show that the only probabilistic theory in which all states have null discord is classical probability theory. Non-null discord is then not just a quantum feature, but a generic signature of non-classicality.

preprint2011arXiv

Extremal quantum protocols

Generalized quantum instruments correspond to measurements where the input and output are either states or more generally quantum circuits. These measurements describe any quantum protocol including games, communications, and algorithms. The set of generalized quantum instruments with a given input and output structure is a convex set. Here we investigate the extremal points of this set for the case of finite dimensional quantum systems and generalized instruments with finitely many outcomes. We derive algebraic necessary and sufficient conditions for extremality.

preprint2011arXiv

Memory cost of quantum protocols

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.

preprint2011arXiv

Quantum learning algorithms for quantum measurements

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.

preprint2010arXiv

Information - Disturbance Tradeoff in the Estimation of a Unitary Transformation

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.

preprint2010arXiv

No-signaling, entanglement-breaking, and localizability in bipartite channels

A bipartite quantum channel represents the interaction between systems, generally allowing for exchange of information. A special class of bipartite channels are the no-signaling ones, which do not allow communication. In Ref. [1] it has been conjectured that all no-signaling channels are mixtures of entanglement-breaking and localizable channels, which require only local operations and entanglement. Here we provide the general realization scheme, giving a counterexample to the conjecture.