Qiss

We use a covariant formalism that is capable of describing the electric and magnetic versions of the Aharonov-Bohm effect, as well as the Aharonov-Casher effect, through local interactions of charges and currents with the quantum electromagnetic field. By considering that only local interactions of a quantum particle with the quantum field can affect its behavior, we show that the magnetic Aharonov-Bohm effect must be present even if the solenoid generating the magnetic field is shielded by a perfect conductor, as experimentally demonstrated.

We argue that the quantum-theoretical structures studied in several recent lines of research cannot be adequately described within the standard framework of quantum circuits. This is in particular the case whenever the combination of subsystems is described by a nontrivial blend of direct sums and tensor products of Hilbert spaces. We therefore propose an extension to the framework of quantum circuits, given by textit{routed linear maps} and textit{routed quantum circuits}. We prove that this new framework allows for a consistent and intuitive diagrammatic representation in terms of circuit diagrams, applicable to both pure and mixed quantum theory, and exemplify its use in several situations, including the superposition of quantum channels and the causal decompositions of unitaries. We show that our framework encompasses the `extended circuit diagrams’ of Lorenz and Barrett [arXiv:2001.07774 (2020)], which we derive as a special case, endowing them with a sound semantics.

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.

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.

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.

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.

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

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.

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.