Searcharxiv⌕ Search

arXiv subjects

Pablo Arrighi

Publications and source records attributed to Pablo Arrighi.

At least 37 records · Page 2Linked to original sources

On quantum superpositions of graphs, no-signalling and covariance

We provide a mathematically and conceptually robust notion of quantum superpositions of graphs. We argue that, crucially, quantum superpositions of graphs require node names for their correct alignment, which we demonstrate through a no-signalling argument. Nevertheless, node names are a fiducial construct, serving a similar purpose to the labelling of points through a choice of coordinates in continuous space. Graph renamings, aka isomorphisms, are understood as a change of coordinates on the graph and correspond to a natively discrete analogue of continuous diffeomorphisms. We postulate renaming invariance as a symmetry principle in discrete topology of similar weight to diffeomorphism invariance in the continuous. We explain how to impose renaming invariance at the level of quantum superpositions of graphs, in a way that still allows us to talk about an observable centred at a specific node.

gr-qc↗

Addressable quantum gates

We extend the circuit model of quantum computation so that the wiring between gates is soft-coded within registers inside the gates. The addresses in these registers can be manipulated and put into superpositions. This aims at capturing indefinite causal orders and making their geometrical layout explicit: we express the quantum switch and the polarizing beam-splitter within the model. In this context, our main contribution is a full characterization of the anonymity constraints. Indeed, the names used as addresses should not matter beyond the wiring they describe, i.e. quantum evolutions should commute with "renamings". We show that these quantum evolutions can still act non-trivially upon the names. We specify the structure of "nameblind" matrices.

quant-ph↗

Generalised tensors and traces

Tensors and traceouts are generalised, so that systems can be partitioned according to almost arbitrary logical predicates. One might have feared that the familiar interrelations between the notions of unitarity, complete positivity, trace-preservation, non-signalling causality, locality and localizability that are standard in quantum theory be jeopardized as the partitioning of systems becomes both logical and dynamical. Such interrelations in fact carry through, although a new notion, consistency, becomes instrumental.

quant-ph↗

Gauge-invariance in cellular automata

Gauge-invariance is a fundamental concept in Physics -- known to provide mathematical justification for the fundamental forces. In this paper, we provide discrete counterparts to the main gauge theoretical concepts directly in terms of Cellular Automata. More precisely, the notions of gauge-invariance and gauge-equivalence in Cellular Automata are formalized. A step-by-step gauging procedure to enforce this symmetry upon a given Cellular Automaton is developed, and three examples of gauge-invariant Cellular Automata are examined.

cs.FL↗

A discrete relativistic spacetime formalism for 1+1-QED with continuum limits

We build a quantum cellular automaton (QCA) which coincides with 1+1 QED on its known continuum limits. It consists in a circuit of unitary gates driving the evolution of particles on a one dimensional lattice, and having them interact with the gauge field on the links. The particles are massive fermions, and the evolution is exactly U(1) gauge-invariant. We show that, in the continuous-time discrete-space limit, the QCA converges to the Kogut-Susskind staggered version of 1+1 QED. We also show that, in the continuous spacetime limit and in the free one particle sector, it converges to the Dirac equation, a strong indication that the model remains accurate in the relativistic regime.

quant-ph↗

Proceedings 17th International Conference on Quantum Physics and Logic

This volume contains the proceedings of the 17th International Conference on Quantum Physics and Logic (QPL 2020), which was held June 2-6, 2020. Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behavior in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.

cs.LO↗

Universal gauge-invariant cellular automata

Gauge symmetries play a fundamental role in Physics, as they provide a mathematical justification for the fundamental forces. Usually, one starts from a non-interactive theory which governs `matter', and features a global symmetry. One then extends the theory so as make the global symmetry into a local one (a.k.a gauge-invariance). We formalise a discrete counterpart of this process, known as gauge extension, within the Computer Science framework of Cellular Automata (CA). We prove that the CA which admit a relative gauge extension are exactly the globally symmetric ones (a.k.a the colour-blind). We prove that any CA admits a non-relative gauge extension. Both constructions yield universal gauge-invariant CA, but the latter allows for a first example where the gauge extension mediates interactions within the initial CA.

nlin.CG↗

The Grover search as a naturally occurring phenomenon

We provide first evidence that under certain conditions, 1/2-spin fermions may naturally behave like a Grover search, looking for topological defects in a material. The theoretical framework is that of discrete-time quantum walks (QW), i.e. local unitary matrices that drive the evolution of a single particle on the lattice. Some QW are well-known to recover the $(2+1)$--dimensional Dirac equation in continuum limit, i.e. the free propagation of the 1/2-spin fermion. We study two such Dirac QW, one on the square grid and the other on a triangular grid reminiscent of graphene-like materials. The numerical simulations show that the walker localises around the defects in $O(\sqrt{N})$ steps with probability $O(1/\log{N})$, in line with previous QW search on the grid. The main advantage brought by those of this paper is that they could be implemented as `naturally occurring' freely propagating particles over a surface featuring topological---without the need for a specific oracle step. From a quantum computing perspective, however, this hints at novel applications of QW search : instead of using them to look for `good' solutions within the configuration space of a problem, we could use them to look for topological properties of the entire configuration space.

quant-ph↗

Quantum simulation of quantum relativistic diffusion via quantum walks

Two models are first presented, of one-dimensional discrete-time quantum walk (DTQW) with temporal noise on the internal degree of freedom (i.e., the coin): (i) a model with both a coin-flip and a phase-flip channel, and (ii) a model with random coin unitaries. It is then shown that both these models admit a common limit in the spacetime continuum, namely, a Lindblad equation with Dirac-fermion Hamiltonian part and, as Lindblad jumps, a chirality flip and a chirality-dependent phase flip, which are two of the three standard error channels for a two-level quantum system. This, as one may call it, Dirac Lindblad equation, provides a model of quantum relativistic spatial diffusion, which is evidenced both analytically and numerically. This model of spatial diffusion has the intriguing specificity of making sense only with original unitary models which are relativistic in the sense that they have chirality, on which the noise is introduced: The diffusion arises via the by-construction (quantum) coupling of chirality to the position. For a particle with vanishing mass, the model of quantum relativistic diffusion introduced in the present work, reduces to the well-known telegraph equation, which yields propagation at short times, diffusion at long times, and exhibits no quantumness. Finally, the results are extended to temporal noises which depend smoothly on position.

quant-ph↗

A quantum cellular automaton for one-dimensional QED

We propose a discrete spacetime formulation of quantum electrodynamics in one-dimension (a.k.a the Schwinger model) in terms of quantum cellular automata, i.e. translationally invariant circuits of local quantum gates. These have exact gauge covariance and a maximum speed of information propagation. In this picture, the interacting quantum field theory is defined as a "convergent" sequence of quantum cellular automata, parameterized by the spacetime lattice spacing---encompassing the notions of continuum limit and renormalization, and at the same time providing a quantum simulation algorithm for the dynamics.

quant-ph↗

A quantum walk with both a continuous-time and a continuous-spacetime limit

Nowadays, quantum simulation schemes come in two flavours. Either they are continuous-time discrete-space models (a.k.a Hamiltonian-based), pertaining to non-relativistic quantum mechanics. Or they are discrete-spacetime models (a.k.a Quantum Walks or Quantum Cellular Automata-based) enjoying a relativistic continuous spacetime limit. We provide a first example of a quantum simulation scheme that unifies both approaches. The proposed scheme supports both a continuous-time discrete-space limit, leading to lattice fermions, and a continuous-spacetime limit, leading to the Dirac equation. The transition between the two can be thought of as a general relativistic change of coordinates, pushed to an extreme. As an emergent by-product of this procedure, we obtain a Hamiltonian for lattice-fermions in curved spacetime with synchronous coordinates.

quant-ph↗

Non-Abelian Gauge-Invariant Cellular Automata

Gauge-invariance is a mathematical concept that has profound implications in Physics---as it provides the justification of the fundamental interactions. It was recently adapted to the Cellular Automaton (CA) framework, in a restricted case. In this paper, this treatment is generalized to non-abelian gauge-invariance, including the notions of gauge-equivalent theories and gauge-invariants of configurations

cs.FL↗

An overview of Quantum Cellular Automata

Quantum cellular automata consist in arrays of identical finite-dimensional quantum systems, evolving in discrete-time steps by iterating a unitary operator G. Moreover the global evolution G is required to be causal (it propagates information at a bounded speed) and translation-invariant (it acts everywhere the same). Quantum cellular automata provide a model/architecture for distributed quantum computation. More generally, they encompass most of discrete-space discrete-time quantum theory. We give an overview of their theory, with particular focus on structure results; computability and universality results; and quantum simulation results.

quant-ph↗

From curved spacetime to spacetime-dependent local unitaries over the honeycomb and triangular Quantum Walks

A discrete-time Quantum Walk (QW) is an operator driving the evolution of a single particle on the lattice, through local unitaries. Some QW admit, as their continuum limit, a well-known equation of Physics. In arXiv:1803.01015 the QW is over the honeycomb and triangular lattices, and simulates the Dirac equation. We apply a spacetime coordinate transformation upon the lattice of this QW, and show that it is equivalent to introducing spacetime-dependent local unitaries --- whilst keeping the lattice fixed. By exploiting this duality between changes in geometry, and changes in local unitaries, we show that the spacetime-dependent QW simulates the Dirac equation in $(2+1)$ - dimensional curved spacetime. Interestingly, the duality crucially relies on the non linear-independence of the three preferred directions of the honeycomb and triangular lattices: The same construction would fail for the square lattice. At the practical level, this result opens the possibility to simulate field theories on curved manifolds, via the quantum walk on different kinds of lattices.

quant-ph↗

Quantum walking in curved spacetime: discrete metric

A discrete-time quantum walk (QW) is essentially a unitary operator driving the evolution of a single particle on the lattice. Some QWs have familiar physics PDEs as their continuum limit. Some slight generalization of them (allowing for prior encoding and larger neighbourhoods) even have the curved spacetime Dirac equation, as their continuum limit. In the $(1+1)-$dimensional massless case, this equation decouples as scalar transport equations with tunable speeds. We characterise and construct all those QWs that lead to scalar transport with tunable speeds. The local coin operator dictates that speed; we provide concrete techniques to tune the speed of propagation, by making use only of a finite number of coin operators---differently from previous models, in which the speed of propagation depends upon a continuous parameter of the quantum coin. The interest of such a discretization is twofold : to allow for easier experimental implementations on the one hand, and to evaluate ways of quantizing the metric field, on the other.

quant-ph↗

Discrete-time quantum walks as fermions of lattice gauge theory

It is shown that discrete-time quantum walks can be used to digitize, i.e., to time discretize fermionic models of continuous-time lattice gauge theory. The resulting discrete-time dynamics is thus not only manifestly unitary, but also ultralocal, i.e. the particle's speed is upper bounded, as in standard relativistic quantum field theories. The lattice chiral symmetry of staggered fermions, which corresponds to a translational invariance, is lost after the requirement of ultralocality of the evolution; this fact is an instance of Meyer's 1996 no-go lemma stating that no non-trivial one-dimensional scalar quantum cellular automaton can be translationally invariant [1]. All results are presented in a single-particle framework and for a (1+1)-dimensional spacetime.

quant-ph↗

Causal dynamics of discrete manifolds

We extend Cellular Automata to time-varying discrete geometries. In other words we formalize, and prove theorems about, the intuitive idea of a discrete manifold which evolves in time, subject to two natural constraints: the evolution does not propagate information too fast; and it acts everywhere the same. For this purpose we develop a correspondence between complexes and labeled graphs. In particular we reformulate the properties that characterize discrete manifolds amongst complexes, solely in terms of graphs. In dimensions $n<4$, over bounded-star graphs, it is decidable whether a Cellular Automaton maps discrete manifolds into discrete manifolds.

cs.DM↗

The Dirac equation as a quantum walk over the honeycomb and triangular lattices

A discrete-time Quantum Walk (QW) is essentially an operator driving the evolution of a single particle on the lattice, through local unitaries. Some QWs admit a continuum limit, leading to well-known physics partial differential equations, such as the Dirac equation. We show that these simulation results need not rely on the grid: the Dirac equation in $(2+1)$--dimensions can also be simulated, through local unitaries, on the honeycomb or the triangular lattice. The former is of interest in the study of graphene-like materials. The latter, we argue, opens the door for a generalization of the Dirac equation to arbitrary discrete surfaces.

quant-ph↗