Papers New

A common approach to quantum circuit transformation is to use the properties of a specific gate set to create an efficient representation of a given circuit’s unitary, such as a parity matrix or stabiliser tableau, and then resynthesise an improved circuit, e.g. with fewer gates or respecting connectivity constraints. Since these methods rely on a restricted gate set, generalisation to arbitrary circuits usually involves slicing the circuit into pieces that can be resynthesised and working with these separately. The choices made about what gates should go into each slice can have a major effect on the performance of the resynthesis. In this paper we propose an alternative approach to generalising these resynthesis algorithms to general quantum circuits. Instead of cutting the circuit into slices, we “cut out” the gates we can’t resynthesise leaving holes in our quantum circuit. The result is a second-order process called a quantum comb, which can be resynthesised directly. We apply this idea to the RowCol algorithm, which resynthesises CNOT circuits for topologically constrained hardware, explaining how we were able to extend it to work for quantum combs. We then compare the generalisation of RowCol using our method to the naive “slice and build” method empirically on a variety of circuit sizes and hardware topologies. Finally, we outline how quantum combs could be used to help generalise other resynthesis algorithms.

Discrimination of quantum states under local operations and classical communication (LOCC) is an intriguing question in the context of local retrieval of classical information, encoded in the multipartite quantum systems. All the local quantum state discrimination premises, considered so far, mimic a basic communication set-up, where the spatially separated decoding devices are independent of any additional input. Here, exploring a generalized communication scenario we introduce a framework for input-dependent local quantum state discrimination, which we call local random authentication (LRA). Referring to the term nonlocality, often used to indicate the impossibility of local state discrimination, we coin the term conditional nonlocality for the impossibility associated with the task LRA. We report that conditional nonlocality necessitates the presence of entangled states in the ensemble, a feature absent from erstwhile nonlocality arguments based on local state discrimination. Conversely, all the states in a complete basis set being entangled implies conditional nonlocality. However, the impossibility of LRA also exhibits more conditional nonlocality with less entanglement. The relation between the possibility of LRA and local state discrimination for sets of multipartite quantum states, both in the perfect and conclusive cases, has also been established. The results highlight a completely new aspect of the interplay between the security of information in a network and quantum entanglement under the LOCC paradigm.

The AdS/CFT correspondence states that certain conformal field theories are equivalent to string theories in a higher-dimensional anti-de Sitter space. One aspect of the correspondence is an equivalence of density matrices or, if one ignores normalizations, of positive operators. On the CFT side of the correspondence, any two positive operators $A,B$ will satisfy the trace inequality $operatorname{Tr}(AB) leq operatorname{Tr}(A) operatorname{Tr}(B)$. This relation holds on any Hilbert space ${cal H}$ and is deeply associated with the fact that the algebra $B({cal H})$ of bounded operators on ${cal H}$ is a type I von Neumann factor. Holographic bulk theories must thus satisfy a corresponding condition, which we investigate below. In particular, we argue that the Euclidean gravitational path integral respects this inequality at all orders in the semi-classical expansion and with arbitrary higher-derivative corrections. The argument relies on a conjectured property of the classical gravitational action, which in particular implies a positive action conjecture for quantum gravity wavefunctions. We prove this conjecture for Jackiw-Teitelboim gravity and we also motivate it for more general theories.

The black hole information puzzle can be resolved if two conditions are met. Firstly, if the information of what falls inside a black hole remains encoded in degrees of freedom that persist after the black hole completely evaporates. These degrees of freedom should be capable of purifying the information. Secondly, if these purifying degrees of freedom do not significantly contribute to the system’s energy, as the macroscopic mass of the initial black hole has been radiated away as Hawking radiation to infinity. The presence of microscopic degrees of freedom at the Planck scale provides a natural mechanism for achieving these two conditions without running into the problem of the large pair-creation probabilities of standard remnant scenarios. In the context of Hawking radiation, the first condition implies that correlations between the ‘in’ and ‘out’ Hawking partner particles need to be transferred to correlations between the microscopic degrees of freedom and the ‘out’ partners in the radiation. This transfer occurs dynamically when the ‘in’ partners reach the singularity inside the black hole, entering the UV regime of quantum gravity where the interaction with the microscopic degrees of freedom becomes strong. The second condition suggests that the conventional notion of the vacuum’s uniqueness in quantum field theory should fail when considering the full quantum gravity degrees of freedom. In this paper, we demonstrate both key aspects of this mechanism using a solvable toy model of a quantum black hole inspired by loop quantum gravity.

We initiate a study of gravity focusing on generic null hypersurfaces, non-perturbatively in the Newton coupling. We present an off-shell account of the extended phase space of the theory, which includes the expected spin-2 data as well as spin-0, spin-1 and arbitrary matter degrees of freedom. We construct the charges and the corresponding kinematic Poisson brackets, employing a Beltrami parameterization of the spin-2 modes. We explicitly show that the constraint algebra closes, the details of which depend on the non-perturbative mixing between spin-0 and spin-2 modes. Finally we show that the spin zero sector encodes a notion of a clock, called dressing time, which is dynamical and conjugate to the constraint. It is well-known that the null Raychaudhuri equation describes how the geometric data of a null hypersurface evolve in null time in response to gravitational radiation and external matter. Our analysis leads to three complementary viewpoints on this equation. First, it can be understood as a Carrollian stress tensor conservation equation. Second, we construct spin-$0$, spin-$2$ and matter stress tensors that act as generators of null time reparametrizations for each sector. This leads to the perspective that the null Raychaudhuri equation can be understood as imposing that the sum of CFT-like stress tensors vanishes. Third, we solve the Raychaudhuri constraint non-perturbatively. The solution relates the dressing time to the spin-$2$ and matter boost charge operators. Finally we establish that the corner charge corresponding to the boost operator in the dressing time frame is concave. These results show that the notion of an observer can be thought of as emerging from the gravitational degrees of freedom themselves. We briefly mention that the construction offers new insights into focusing conjectures.

Recently there has been significant interest in using causal modelling techniques to understand the structure of physical theories. However, the notion of `causation’ is limiting – insisting that a physical theory must involve causal structure already places significant constraints on the form that theory may take. Thus in this paper, we aim to set out a more general structural framework. We argue that any quantitative physical theory can be represented in the form of a generative program, i.e. a list of instructions showing how to generate the empirical data; the information-processing structure associated with this program can be represented by a directed acyclic graph (DAG). We suggest that these graphs can be interpreted as encoding relations of `ontological priority,’ and that ontological priority is a suitable generalisation of causation which applies even to theories that don’t have a natural causal structure. We discuss some applications of our framework to philosophical questions about realism, operationalism, free will, locality and fine-tuning.

We perform a detailed study of the covariance properties of the gravitational symplectic potential on a null hypersurface, and of the different polarizations that can be used to study conservative as well as leaky boundary conditions. We study the symmetry groups that arise with different %boundary conditions in the phase space prescriptions, and determine the fields that have anomalous transformations. This allows us to identify a one-parameter family of covariant symplectic potentials. Imposing stationarity as in the original Wald-Zoupas prescription, one recovers the unique symplectic potential of Chandrasekaran, Flanagan and Prabhu. The associated charges are all conserved on non-expanding horizons, but not on flat spacetime. We show that it is possible to demand a weaker notion of stationarity which selects another symplectic potential, again in a unique way, and whose charges are conserved on both non-expanding horizons and flat light-cones. Furthermore, the flux of future-pointing diffeomorphisms at leading-order around an outgoing flat light-cone is positive and reproduces the tidal heating term plus a memory-like term. Our results have applications for dynamical notions of entropy, and are useful to clarify the interplay between different boundary conditions, charge prescriptions, and symmetry groups that can be associated with a null boundary. We also study the conformal conservative boundary conditions suggested by the alternative polarization and identify under which conditions they define a non-ambiguous variational principle.

Compositionality is at the heart of computer science and several other areas of applied category theory such as computational linguistics, categorical quantum mechanics, interpretable AI, dynamical systems, compositional game theory, and Petri nets. However, the meaning of the term seems to vary across the many different applications. This work contributes to understanding, and in particular qualifying, different kinds of compositionality. Formally, we introduce invariants of categories that we call zeroth and first homotopy posets, generalising in a precise sense the $pi_0$ and $pi_1$ of a groupoid. These posets can be used to obtain a qualitative description of how far an object is from being terminal and a morphism is from being iso. In the context of applied category theory, this formal machinery gives us a way to qualitatively describe the “failures of compositionality”, seen as failures of certain (op)lax functors to be strong, by classifying obstructions to the (op)laxators being isomorphisms. Failure of compositionality, for example for the interpretation of a categorical syntax in a semantic universe, can both be a bad thing and a good thing, which we illustrate by respective examples in graph theory and quantum theory.

Recently there have emerged an assortment of theorems relating to the ‘absoluteness of emerged events,’ and these results have sometimes been used to argue that quantum mechanics may involve some kind of metaphysically radical non-absoluteness, such as relationalism or perspectivalism. However, in our view a close examination of these theorems fails to convincingly support such possibilities. In this paper we argue that the Wigner’s friend paradox, the theorem of Bong et al and the theorem of Lawrence et al are all best understood as demonstrating that if quantum mechanics is universal, and if certain auxiliary assumptions hold, then the world inevitably includes various forms of ‘disaccord,’ but this need not be interpreted in a metaphysically radical way; meanwhile, the theorem of Ormrod and Barrett is best understood either as an argument for an interpretation allowing multiple outcomes per observer, such as the Everett approach, or as a proof that quantum mechanics cannot be universal in the sense relevant for this theorem. We also argue that these theorems taken together suggest interesting possibilities for a different kind of relational approach in which dynamical states are relativized whilst observed events are absolute, and we show that although something like ‘retrocausality’ might be needed to make such an approach work, this would be a very special kind of retrocausality which would evade a number of common objections against retrocausality. We conclude that the non-absoluteness theorems may have a significant role to play in helping converge towards an acceptable solution to the measurement problem.

A recent publication by the NSA assessing the usability of quantum cryptography has generated significant attention, concluding that this technology is not recommended for use. Here, we reply to this criticism and argue that some of the points raised are unjustified, whereas others are problematic now but can be expected to be resolved in the foreseeable future.