Papers New

Device-Independent Randomness Amplification

Successful realization of Bell tests has settled an 80-year-long debate, proving the existence of correlations which cannot be explained by a local realistic model. Recent experimental progress allowed to rule out any possible loopholes in these tests, and opened up the possibility of applications in cryptography envisaged more than three decades ago. A prominent example of such an application is device-independent quantum key distribution, which has recently been demonstrated. One remaining gap in all existing experiments, however, is that access to perfect randomness is assumed. To tackle this problem, the concept of randomness amplification has been introduced, allowing to generate such randomness from a weak source — a task impossible in classical physics. In this work, we demonstrate the amplification of imperfect randomness coming from a physical source. It is achieved by building on two recent developments: The first is a theoretical protocol implementing the concept of randomness amplification within an experimentally realistic setup, which however requires a combination of the degree of Bell inequality violation (S-value) and the amount of data not attained previously. The second is experimental progress enabling the execution of a loophole-free Bell test with superconducting circuits, which offers a platform to reach the necessary combination. Our experiment marks an important step in achieving the theoretical physical limits of privacy and randomness generation.

Generalizing Bell nonlocality without global causal assumptions

Bell scenarios are multipartite scenarios that exclude any communication between parties. This constraint leads to a strict hierarchy of correlation sets in such scenarios, namely, classical, quantum, and nonsignaling. However, without any constraints on communication between the parties, they can realize arbitrary correlations by exchanging only classical systems. Here we consider a multipartite scenario where the parties can engage in at most a single round of communication, i.e., each party is allowed to receive a system once, implement any local intervention on it, and send out the resulting system once. While no global assumption about causal relations between parties is assumed in this scenario, we do make a causal assumption local to each party, i.e., the input received by it causally precedes the output it sends out. We then introduce antinomicity, a notion of nonclassicality for correlations in such scenarios, and prove the existence of a strict hierarchy of correlation sets classified by their antinomicity. Antinomicity serves as a generalization of Bell nonlocality: when all the parties discard their output systems (i.e., in a nonsignaling scenario), it is mathematically equivalent to Bell nonlocality. Like Bell nonlocality, it can be understood as an instance of fine-tuning, one that is necessary in any classical model of cyclic causation that avoids time-travel antinomies but allows antinomic correlations. Furthermore, antinomicity resolves a long-standing puzzle, i.e., the failure of causal inequality violations as device-independent witnesses of nonclassicality. Antinomicity implies causal inequality violations, but not conversely.

Quantum Reference Frames on Homogeneous Spaces

This paper initiates a systematic study of operators arising as integrals of operator-valued functions with respect to positive operator-valued measures and utilizes these tools to provide relativization maps (Yen) for quantum reference frames (QRFs) defined on general homogeneous spaces. Properties of operator-valued integration are first studied and then employed to define general relativization maps and show their properties. The relativization maps presented here are defined for QRFs (systems of covariance) based on arbitrary homogeneous spaces of locally compact second countable topological groups and are shown to be contracting quantum channels, injective for localizable (norm-1 property) frames and multiplicative for the sharp ones (PVMs), extending the existing results.

Quantum Gravity, Hydrodynamics and Emergent Cosmology: A Collection of Perspectives

This collection of perspective pieces captures recent advancements and reflections from a dynamic research community dedicated to bridging quantum gravity, hydrodynamics, and emergent cosmology. It explores four key research areas: (a) the interplay between hydrodynamics and cosmology, including analog gravity systems; (b) phase transitions, continuum limits and emergent geometry in quantum gravity; (c) relational perspectives in gravity and quantum gravity; and (d) the emergence of cosmological models rooted in quantum gravity frameworks. Each contribution presents the distinct perspectives of its respective authors. Additionally, the introduction by the editors proposes an integrative view, suggesting how these thematic units could serve as foundational pillars for a novel theoretical cosmology framework termed “hydrodynamics on superspace”.

Linearization (in)stabilities and crossed products

Modular crossed product algebras have recently assumed an important role in perturbative quantum gravity as they lead to an intrinsic regularization of entanglement entropies by introducing quantum reference frames (QRFs) in place of explicit regulators. This is achieved by imposing certain boost constraints on gravitons, QRFs and other fields. Here, we revisit the question of how these constraints should be understood through the lens of perturbation theory and particularly the study of linearization (in)stabilities, exploring when linearized solutions can be integrated to exact ones. Our aim is to provide some clarity about the status of justification, under various conditions, for imposing such constraints on the linearized theory in the $G_Nto0$ limit as they turn out to be of second-order. While for spatially compact spacetimes there is an essentially unambiguous justification, in the presence of boundaries or the absence of isometries this depends on whether one is also interested in second-order observables. Linearization (in)stabilities occur in any gauge-covariant field theory with non-linear equations and to address this in a unified framework, we translate the subject from the usual canonical formulation into a systematic covariant phase space language. This overcomes theory-specific arguments, exhibiting the universal structure behind (in)stabilities, and permits us to cover arbitrary generally covariant theories. We comment on the relation to modular flow and illustrate our findings in several gravity and gauge theory examples.

Subsystem decompositions of quantum evolutions and transformations between causal perspectives

One can theoretically conceive of processes where the causal order between quantum operations is no longer well-defined. Certain such causally indefinite processes have an operational interpretation in terms of quantum operations on time-delocalised subsystems — that is, they can take place as part of standard quantum mechanical evolutions on quantum systems that are delocalised in time. In this paper, we formalise the underlying idea that quantum evolutions can be represented with respect to different subsystem decompositions in a general way. We introduce a description of quantum circuits, including cyclic ones, in terms of an operator acting on the global Hilbert space of all systems in the circuit. This allows us to express in a concise form how a given circuit transforms under arbitrary changes of subsystem decompositions. We then explore the link between this framework and the concept of causal perspectives, which has been introduced to describe causally indefinite processes from the point of view of the different parties involved. Surprisingly, we show that the causal perspectives that one can associate to the different parties in the quantum switch, a paradigmatic example of a causally indefinite process, cannot be related by a change of subsystem decomposition, i.e., they cannot be seen as two equivalent descriptions of the same process.

Contraction of ZX diagrams with triangles via stabiliser decompositions

Recent advances in classical simulation of Clifford+T circuits make use of the ZX calculus to iteratively decompose and simplify magic states into stabiliser terms. We improve on this method by studying stabiliser decompositions of ZX diagrams involving the triangle operation. We show that this technique greatly speeds up the simulation of quantum circuits involving multi-controlled gates which can be naturally represented using triangles. We implement our approach in the QuiZX library and demonstrate a significant simulation speed-up (up to multiple orders of magnitude) for random circuits and a variation of previously used benchmarking circuits. Furthermore, we use our software to contract diagrams representing the gradient variance of parametrised quantum circuits, which yields a tool for the automatic numerical detection of the barren plateau phenomenon in ans”atze used for quantum machine learning. Compared to traditional statistical approaches, our method yields exact values for gradient variances and only requires contracting a single diagram. The performance of this tool is competitive with tensor network approaches, as demonstrated with benchmarks against the quimb library.

Generalised second law beyond the semiclassical regime

We prove that the generalised second law (GSL), with an appropriate modification, holds in perturbative gravity to all orders beyond the semiclassical limit and without a UV cutoff imposed on the fields. Our proof uses algebraic techniques and builds on the recent work of Faulkner and Speranza, which combined Wall’s proof of the GSL with the identification of generalised entropy as the von Neumann entropy of a boost-invariant crossed product algebra. The key additional step in our approach is to further impose invariance under null translations. Doing so requires one to describe horizon exterior regions in a relational manner, so we introduce `dynamical cuts’: quantum reference frames which give the location of a cut of the horizon. We use idealised dynamical cuts, but expect that our methods can be generalised to more realistic models. The modified GSL that we prove says that the difference in generalised entropies of the regions outside two dynamical cuts is bounded below by the free energy of the degrees of freedom giving the location of the later cut. If one takes a semiclassical limit, imposes a UV cutoff, and requires the cuts to obey certain energy conditions, then our result reduces to the standard GSL.

Euclidean and complex geometries from real-time computations of gravitational Rényi entropies

Gravitational R’enyi computations have traditionally been described in the language of Euclidean path integrals. In the semiclassical limit, such calculations are governed by Euclidean (or, more generally, complex) saddle-point geometries. We emphasize here that, at least in simple contexts, the Euclidean approach suggests an alternative formulation in terms of the bulk quantum wavefunction. Since this alternate formulation can be directly applied to the real-time quantum theory, it is insensitive to subtleties involved in defining the Euclidean path integral. In particular, it can be consistent with many different choices of integration contour. Despite the fact that self-adjoint operators in the associated real-time quantum theory have real eigenvalues, we note that the bulk wavefunction encodes the Euclidean (or complex) R’enyi geometries that would arise in any Euclidean path integral. As a result, for any given quantum state, the appropriate real-time path integral yields both R’enyi entropies and associated complex saddle-point geometries that agree with Euclidean methods. After brief explanations of these general points, we use JT gravity to illustrate the associated real-time computations in detail.

Quantum-information methods for quantum gravity laboratory-based tests

Quantum theory and general relativity are about one century old. At present, they are considered the best available explanations of physical reality, and they have been so far corroborated by all experiments realised so far. Nonetheless, the quest to unify them is still ongoing, with several yet untested proposals for a theory of quantum gravity. Here we review the nascent field of information-theoretic methods applied to designing tests of quantum gravity in the laboratory. This field emerges from the fruitful extension of quantum information theory methodologies beyond the domain of applicability of quantum theory itself, to cover gravity. We shall focus mainly on the detection of gravitational entanglement between two quantum probes, comparing this method with single-probe schemes. We shall review the experimental proposal that has originated this field, as well as its variants, their applications, and discuss their potential implications for the quantum theory of gravity. We shall also highlight the role of general information-theoretic principles in illuminating the search for quantum effects in gravity.