Qiss

We present a numerical analysis of an Hartle-Hawking state for the early universe, in the deep quantum regime, computed using the covariant Loop Quantum Gravity formalism, in a truncation defined by 16-cell and in a simplified case where the dynamics is defined by SU(2) BF theory. We compute mean geometry, fluctuations and correlations. The results are consistent with the hypothesis that refining the triangulation does not affect the global physical picture substantially.

There is a significant disconnect between linguistic theory and modern NLP practice, which relies heavily on inscrutable black-box architectures. DisCoCirc is a newly proposed model for meaning that aims to bridge this divide, by providing neuro-symbolic models that incorporate linguistic structure. DisCoCirc represents natural language text as a `circuit’ that captures the core semantic information of the text. These circuits can then be interpreted as modular machine learning models. Additionally, DisCoCirc fulfils another major aim of providing an NLP model that can be implemented on near-term quantum computers. In this paper we describe a software pipeline that converts English text to its DisCoCirc representation. The pipeline achieves coverage over a large fragment of the English language. It relies on Combinatory Categorial Grammar (CCG) parses of the input text as well as coreference resolution information. This semantic and syntactic information is used in several steps to convert the text into a simply-typed $lambda$-calculus term, and then into a circuit diagram. This pipeline will enable the application of the DisCoCirc framework to NLP tasks, using both classical and quantum approaches.

This volume contains the proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022), which was held June 27-July 1, 2022 at Wolfson College, University of Oxford, UK. QPL is an annual conference that brings together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.

A black hole evaporates by Hawking radiation. Each mode of that radiation is thermal. If the total state is nevertheless to be pure, modes must be entangled. Estimating the minimum size of this entanglement has been an important outstanding issue. We develop a new theory of constrained random symplectic transformations, based on that the total state is pure, Gaussian and random, and every mode thermal as in Hawking theory. From this theory we compute the distribution of mode-mode correlations, from which we bound mode-mode entanglement. We find that correlations between thinly populated modes (early-time high-frequency modes and/or late modes of any frequency) are strongly suppressed. Such modes are hence very weakly entangled. Highly populated modes (early-time low-frequency modes) can on the other hand be strongly correlated, but a detailed analysis reveals that they are nevertheless also weakly entangled. Our analysis hence establishes that restoring unitarity after a complete evaporation of a black hole does not require strong quantum entanglement between any pair of Hawking modes. Our analysis further gives exact general expressions for the distribution of mode-mode correlations in random, pure, Gaussian states with given marginals, which may have applications beyond black hole physics.

Though the topic of causal inference is typically considered in the context of classical statistical models, recent years have seen great interest in extending causal inference techniques to quantum and generalized theories. Causal identification is a type of causal inference problem concerned with recovering from observational data and qualitative assumptions the causal mechanisms generating the data, and hence the effects of hypothetical interventions. A major obstacle to a theory of causal identification in the quantum setting is the question of what should play the role of “observational data,” as any means of extracting data at a certain locus will almost certainly disturb the system. Hence, one might think a priori that quantum measurements are already too much like interventions, so that the problem of causal identification trivializes. This is not the case. Fixing a limited class of quantum instruments (namely the class of all projective measurements) to play the role of “observations,” we note that as in the classical setting, there exist scenarios for which causal identification is not possible. We then present sufficient conditions for quantum causal identification, starting with a quantum analogue of the well-known “front-door criterion” and finishing with a broader class of scenarios for which the effect of a single intervention is identifiable. These results emerge from generalizing the process-theoretic account of classical causal inference due to Jacobs, Kissinger, and Zanasi beyond the setting of Markov categories, and thereby treating the classical and quantum problems uniformly.

A universal framework for quantum-classical dynamics based on information-theoretic approaches is presented. Based on this, we analyze the interaction between quantum matter and a classical gravitational field. We point out that, under the assumption of conservation of momentum or energy, the classical gravitational field cannot cause the change of the momentum or energy of the quantum system, which is not consistent with the observation of existing experiments (e.g. the free fall experiment), while on the contrary the quantum gravitational field can do so. Our analysis exposes the fundamental relationship between conservation laws and the quantum properties of objects, offering new perspectives for the study of quantum gravity.

Quantum superposition of high-dimensional states enables both computational speed-up and security in cryptographic protocols. However, the exponential complexity of tomographic processes makes certification of these properties a challenging task. In this work, we experimentally certify coherence witnesses tailored for quantum systems of increasing dimension, using pairwise overlap measurements enabled by a six-mode universal photonic processor fabricated with a femtosecond laser writing technology. In particular, we show the effectiveness of the proposed coherence and dimension witnesses for qudits of dimensions up to 5. We also demonstrate advantage in a quantum interrogation task, and show it is fueled by quantum contextuality. Our experimental results testify to the efficiency of this novel approach for the certification of quantum properties in programmable integrated photonic platforms

Weak values of quantum observables are a powerful tool for investigating a broad spectrum of quantum phenomena. For this reason, several methods to measure them in the laboratory have been proposed. Some of these methods require weak interactions and postselection, while others are deterministic, but require statistics over a number of experiments growing exponentially with the number of measured particles. Here we propose a deterministic dimension-independent scheme for estimating weak values of arbitrary observables. The scheme, based on coherently controlled SWAP operations, does not require prior knowledge of the initial and final states, nor of the measured observables, and therefore can work with uncharacterized preparation and measurement devices. As a byproduct, our scheme provides an alternative expression for two-time states, that is, states describing quantum systems subject to pre and post-selections. Using this expression, we show that the controlled-SWAP scheme can be used to estimate weak values for a class of two-time states associated to bipartite quantum states with positive partial transpose.

We calculate the typical bipartite entanglement entropy $langle S_Arangle_N$ in systems containing indistinguishable particles of any kind as a function of the total particle number $N$, the volume $V$, and the subsystem fraction $f=V_A/V$, where $V_A$ is the volume of the subsystem. We expand our result as a power series $langle S_Arangle_N=a f V+bsqrt{V}+c+o(1)$, and find that $c$ is universal (i.e., independent of the system type), while $a$ and $b$ can be obtained from a generating function characterizing the local Hilbert space dimension. We illustrate the generality of our findings by studying a wide range of different systems, e.g., bosons, fermions, spins, and mixtures thereof. We provide evidence that our analytical results describe the entanglement entropy of highly excited eigenstates of quantum-chaotic spin and boson systems, which is distinct from that of integrable counterparts.

Spinfoams provide a framework for the dynamics of loop quantum gravity that is manifestly covariant under the full four-dimensional diffeomorphism symmetry group of general relativity. In this way they complete the ideal of three-dimensional diffeomorphism covariance that consistently motivates loop quantum gravity at every step. Specifically, spinfoam models aim to provide a projector onto, and a physical inner product on, the simultaneous kernel of all of the constraints of loop quantum gravity by means of a discretization of the gravitational path integral. In the limit of small Planck constant, they are closely related to the path integral for Regge calculus, while at the same time retaining all of the tools of a canonical quantum theory of gravity. They may also be understood as generalizations of well-understood state sum models for topological quantum field theories. In this chapter, we review all of these aspects of spinfoams, as well as review in detail the derivation of the currently most used spinfoam model, the EPRL model, calculational tools for it, and the various extensions of it in the literature. We additionally summarize some of the successes and open problems in the field.