Papers New

The definition of a quantum system requires a Hilbert space, a way to define the dynamics, and an algebra of observables. The structure of the observable algebra is related to a tensor product decomposition of the Hilbert space and represents the composition of the system by subsystems. It has been remarked that the Hamiltonian may determine this tensor product structure. Here we observe that this fact may lead to questionable consequences in some cases, and does extend to the more general background-independent case, where the Hamiltonian is replaced by a Hamiltonian constraint. These observations reinforces the idea that specifying the observables and the way they interplay with the dynamics, is essential to define a quantum theory. We also reflect on the general role that system decomposition has in the quantum theory.

A standard approach to quantifying resources is to determine which operations on the resources are freely available, and to deduce the partial order over resources that is induced by the relation of convertibility under the free operations. If the resource of interest is the nonclassicality of the correlations embodied in a quantum state, i.e., entanglement, then the common assumption is that the appropriate choice of free operations is Local Operations and Classical Communication (LOCC). We here advocate for the study of a different choice of free operations, namely, Local Operations and Shared Randomness (LOSR), and demonstrate its utility in understanding the interplay between the entanglement of states and the nonlocality of the correlations in Bell experiments. Specifically, we show that the LOSR paradigm (i) provides a resolution of the anomalies of nonlocality, wherein partially entangled states exhibit more nonlocality than maximally entangled states, (ii) entails new notions of genuine multipartite entanglement and nonlocality that are free of the pathological features of the conventional notions, and (iii) makes possible a resource-theoretic account of the self-testing of entangled states which generalizes and simplifies prior results. Along the way, we derive some fundamental results concerning the necessary and sufficient conditions for convertibility between pure entangled states under LOSR and highlight some of their consequences, such as the impossibility of catalysis for bipartite pure states. The resource-theoretic perspective also clarifies why it is neither surprising nor problematic that there are mixed entangled states which do not violate any Bell inequality. Our results motivate the study of LOSR-entanglement as a new branch of entanglement theory.

A fully local quantum account of the interactions experienced between charges requires us to use all the four modes of the electromagnetic vector potential, in the Lorenz gauge. However, it is frequently stated that only the two transverse modes of the vector potential are “real” in that they contain photons that can actually be detected. The photons present in the other two modes, the scalar and the longitudinal, are considered unobservable, and are referred to as “virtual particles” or “ghosts”. Here we argue that this view is erroneous and that even these modes can, in fact, be observed. We present an experiment which is designed to measure the entanglement generated between a charge and the scalar modes. This entanglement is a direct function of the number of photons present in the scalar field. Our conclusion therefore is that the scalar quantum variables are as “real” as the transverse ones, where reality is defined by their ability to affect the charge. A striking consequence of this is that we cannot detect by local means a superposition of a charge bigger than that containing 137 electrons.

We propose an experiment based on a Bose-Einstein condensate interferometer for strongly constraining fifth-force models. Additional scalar fields from modified gravity or higher dimensional theories may account for dark energy and the accelerating expansion of the Universe. These theories have led to proposed screening mechanisms to fit within the tight experimental bounds on fifth-force searches. We show that our proposed experiment would greatly improve the existing constraints on these screening models by many orders of magnitude, entirely eliminating the remaining parameter space of the simplest of these models.

We study covariant models for vacuum spherical gravity within a canonical setting. Starting from a general ansatz, we derive the most general family of Hamiltonian constraints that are quadratic in first-order and linear in second-order spatial derivatives of the triad variables, and obey certain specific covariance conditions. These conditions ensure that the dynamics generated by such family univocally defines a spacetime geometry, independently of gauge or coordinates choices. This analysis generalizes the Hamiltonian constraint of general relativity, though keeping intact the covariance of the theory, and leads to a rich variety of new geometries. We find that the resulting geometries depend on seven free functions of one scalar variable, and we study their generic features. By construction, there are no propagating degrees of freedom in the theory. However, we also show that it is possible to add matter to the system by simply following the usual minimal-coupling prescription, which leads to novel models to describe dynamical scenarios.

The Page-Wootters formalism is a proposal for reconciling the background-dependent, quantum-mechanical notion of time with the background independence of general relativity. However, there has been much discussion regarding the physical meaning of the framework. In this work, we compare two consistent approaches to the Page-Wootters formalism to clarify the operational meaning of evolution and measurements with respect to a quantum temporal reference frame. The so-called “twirled observable” approach implements measurements as operators that are invariant with respect to the Hamiltonian constraint. The “purified measurement” approach instead models measurements dynamically by modifying the constraint itself. While both approaches agree in the limit of ideal clocks, a natural generalization of the purified measurement approach to the case of non-ideal, finite-resource clocks yields a radically different picture. We discuss the physical origin of this discrepancy and argue that they describe operationally distinct situations. Moreover, we show that, for non-ideal clocks, the purified measurement approach yields time non-local, non-unitary evolution and implies a fundamental limitation to the operational definition of the temporal order of events. Nevertheless, unitarity and definite temporal order can be restored if we assume that time is discrete.

We provide a covariant framework to study singularity-free Lema^itre-Tolman-Bondi spacetimes with effective corrections motivated by loop quantum gravity. We show that, as in general relativity, physically reasonable energy distributions lead to a contraction of the dust shells. However, quantum-gravity effects eventually stop the collapse, the dust smoothly bounces back, and no gravitational singularity is generated. This model is constructed by deforming the Hamiltonian constraint of general relativity with the condition that the hypersurface deformation algebra is closed. In addition, under the gauge transformations generated by the deformed constraints, the structure function of the algebra changes adequately, so that it can be interpreted as the inverse spatial metric. Therefore, the model is completely covariant in the sense that gauge transformations in phase space simply correspond to coordinate changes in spacetime. However, in the construction of the metric, we point out a specific freedom of considering a conformal factor, which we use to obtain a family of singularity-free spacetimes associated to the modified model.

This work provides a relativistic, digital quantum simulation scheme for both $2+1$ and $3+1$ dimensional quantum electrodynamics (QED), based on a discrete spacetime formulation of theory. It takes the form of a quantum circuit, infinitely repeating across space and time, parametrised by the discretization step $Delta_t=Delta_x$. Strict causality at each step is ensured as circuit wires coincide with the lightlike worldlines of QED; simulation time under decoherence is optimized. The construction replays the logic that leads to the QED Lagrangian. Namely, it starts from the Dirac quantum walk, well-known to converge towards free relativistic fermions. It then extends the quantum walk into a multi-particle sector quantum cellular automata in a way which respects the fermionic anti-commutation relations and the discrete gauge invariance symmetry. Both requirements can only be achieved at cost of introducing the gauge field. Lastly the gauge field is given its own electromagnetic dynamics, which can be formulated as a quantum walk at each plaquette.

Finite-dimensional quantum theory serves as the theoretical foundation for quantum information and computation based on 2-dimensional qubits, d-dimensional qudits, and their interactions. The qufinite ZX calculus has been used as a framework for mixed-dimensional quantum computing; however, it lacked the crucial property of completeness, which ensures that the calculus incorporates a set of rules rich enough to prove any equation. The ZXW calculus is a complete language for qudit quantum computing with applications previously unreachable solely with the ZX or ZW calculus. In this paper, we introduce the qufinite ZXW calculus, a unification of all qudit ZXW calculi in a single framework for mixed-dimensional quantum computing. We provide a set of rewrite rules and a unique normal form that make the calculus complete for finite-dimensional quantum theory. This work paves the way for the optimization of mixed dimensional circuits and tensor networks appearing in different areas of quantum computing including quantum chemistry, compilation, and quantum many-body systems.

I derive a smooth and global Kruskal-Szekeres coordinate chart for the maximal extension of the non-extremal Reissner-Nordstr”om geometry that provides a generalization to the standard inner and outer Kruskal-Szekeres coordinates. The Kruskal-Szekeres diagram associated to this coordinate chart, whose existence is an interesting fact in and on itself, provides a simple alternative with a transparent physical interpretation to the conformal diagram of the spacetime.