Papers QISS1

Coarse-grained quantum cellular automata

One can think of some physical evolutions as being the emergent-effective result of a microscopic discrete model. Inspired by classical coarse-graining procedures, we provide a simple procedure to coarse-grain color-blind quantum cellular automata that follow Goldilocks rules. The procedure consists in (i) space-time grouping the quantum cellular automaton (QCA) in cells of size $N$; (ii) projecting the states of a cell onto its borders, connecting them with the fine dynamics; (iii) describing the overall dynamics by the border states, that we call signals; and (iv) constructing the coarse-grained dynamics for different sizes $N$ of the cells. A byproduct of this simple toy-model is a general discrete analog of the Stokes law. Moreover we prove that in the spacetime limit, the automaton converges to a Dirac free Hamiltonian. The QCA we introduce here can be implemented by present-day quantum platforms, such as Rydberg arrays, trapped ions, and superconducting qbits. We hope our study can pave the way to a richer understanding of those systems with limited resolution.

Post-processing of quantum instruments

Studying sequential measurements is of the utmost importance to both the foundational aspects of quantum theory and the practical implementations of quantum technologies, with both of these applications being abstractly described by the concatenation of quantum instruments into a sequence of certain length. In general, the choice of instrument at any given step in the sequence can be conditionally chosen based on the classical results of all preceding instruments. For two instruments in a sequence we consider the conditional second instrument as an effective way of post-processing the first instrument into a new one. This is similar to how a measurement described by a positive operator-valued measure (POVM) can be post-processed into another by way of classical randomization of its outcomes using a stochastic matrix. In this work we study the post-processing relation of instruments and the partial order it induces on their equivalence classes. We characterize the greatest and the least element of this order, give examples of post-processings between different types of instruments and draw connections between post-processings of some of these instruments and their induced POVMs.

Bosonic and fermionic Gaussian states from Kähler structures

We show that bosonic and fermionic Gaussian states (also known as “squeezed coherent states”) can be uniquely characterized by their linear complestructure $J$ which is a linear map on the classical phase space. This extends conventional Gaussian methods based on covariance matrices and provides a unified framework to treat bosons and fermions simultaneously. Pure Gaussian states can be identified with the triple $(G,Omega,J)$ of compatible K”ahler structures, consisting of a positive definite metric $G$, a symplectic form $Omega$ and a linear complestructure $J$ with $J^2=-1!!1$. Mixed Gaussian states can also be identified with such a triple, but with $J^2neq -1!!1$. We apply these methods to show how computations involving Gaussian states can be reduced to algebraic operations of these objects, leading to many known and some unknown identities. We apply these methods to the study of (A) entanglement and complexity, (B) dynamics of stable systems, (C) dynamics of driven systems. From this, we compile a comprehensive list of mathematical structures and formulas to compare bosonic and fermionic Gaussian states side-by-side.

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.

Effective Quantum Dust Collapse via Surface Matching

The fate of matter forming a black hole is still an open problem, although models of quantum gravity corrected black holes are available. In loop quantum gravity (LQG) models were presented, which resolve the classical singularity in the centre of the black hole by means of a black-to-white hole transition, but neglect the collapse process. The situation is similar in other quantum gravity approaches, where eternal non-singular models are available. In this paper, a strategy is presented to generalise these eternal models to dynamical collapse models by surface matching. Assuming 1) the validity of a static quantum black hole spacetime outside the collapsing matter, 2) homogeneity of the collapsing matter, and 3) differentiability at the surface of the matter fixes the dynamics of the spacetime uniquely. It is argued that these assumptions resemble a collapse of pressure-less dust and thus generalises the Oppenheimer-Snyder-Datt model, although no precise model of the matter has to be assumed. Hawking radiation is systematically neglected in this approach. The junction conditions and the spacetime dynamics are discussed generically for bouncing black hole spacetimes, as proposed by LQG, although the scheme is approach independent. Further, the equations are explicitly solved for the recent model [1] and a global spacetime picture of the collapse is achieved. The causal structure is discussed in detail and the Penrose diagram is constructed. The trajectory of the collapsing matter is completely constructed from an inside and outside observer point of view. The general analysis shows that the matter is collapsing and re-expanding and crosses the Penrose diagram diagonally. This way the infinite tower of Penrose diagrams, as proposed by several LQG models, is generically not cut out. Questions about different timescales of the collapse for in- and outside observers can be answered.

The arrow of time in operational formulations of quantum theory

The operational formulations of quantum theory are drastically time oriented. However, to the best of our knowledge, microscopic physics is time-symmetric. We address this tension by showing that the asymmetry of the operational formulations does not reflect a fundamental time-orientation of physics. Instead, it stems from built-in assumptions about the $users$ of the theory. In particular, these formalisms are designed for predicting the future based on information about the past, and the main mathematical objects contain implicit assumption about the past, but not about the future. The main asymmetry in quantum theory is the difference between knowns and unknowns.

Locality and General Vacua in Quantum Field Theory

We extend the framework of general boundary quantum field theory (GBQFT) to achieve a fully local description of realistic quantum field theories. This requires the quantization of non-K”ahler polarizations which occur generically on timelike hypersurfaces in Lorentzian spacetimes as has been shown recently. We achieve this in two ways: On the one hand we replace Hilbert space states by observables localized on hypersurfaces, in the spirit of algebraic quantum field theory. On the other hand we apply the GNS construction to twisted star-structures to obtain Hilbert spaces, motivated by the notion of reflection positivity of the Euclidean approach to quantum field theory. As one consequence, the well-known representation of a vacuum state in terms of a sea of particle pairs in the Hilbert space of another vacuum admits a vast generalization to non-K”ahler vacua, particularly relevant on timelike hypersurfaces.

The integrability of Virasoro charges for axisymmetric Killing horizons

Through the analysis of null symplectic structure, we derive the condition for integrable Virasoro generators on the covariant phase space of axisymmetric Killing horizons. A weak boundary condition selects a special relationship between the two temperatures for the putative CFT. When the integrability is satisfied for both future and past horizons, the two central charges are equal. At the end we discuss the physical implications.

Spacetime as a Tightly Bound Quantum Crystal

We review how reparametrization of space and time, namely the procedure where both are made to depend on yet another parameter, can be used to formulate quantum physics in a way that is naturally conducive to relativity. This leads us to a second quantised formulation of quantum dynamics in which different points of spacetime represent different modes. We speculate on the fact that our formulation can be used to model dynamics in spacetime the same way that one models propagation of an electron through a crystal lattice in solid state physics. We comment on the implications of this for the notion of mode entanglement as well as for the fully relativistic Page-Wootters formulation of the wavefunction of the Universe.

Quantum control using quantum memory

We propose a new quantum numerical scheme to control the dynamics of a quantum walker in a two dimensional space-time grid. More specifically, we show how, introducing a quantum memory for each of the spatial grid, this result can be achieved simply by acting on the initial state of the whole system, and therefore can be exactly controlled once for all. As example we prove analytically how to encode in the initial state any arbitrary walker’s mean trajectory and variance. This brings significantly closer the possibility of implementing dynamically interesting physics models on medium term quantum devices, and introduces a new direction in simulating aspects of quantum field theories (QFTs), notably on curved manifold.