Papers New

Global Synthesis of CNOT Circuits with Holes

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.

Local Inaccessibility of Random Classical Information : Conditional Nonlocality demands Entanglement

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.

A trace inequality for Euclidean gravitational path integrals (and a new positive action conjecture)

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.

Discreteness Unravels the Black Hole Information Puzzle: Insights from a Quantum Gravity Toy Model

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.

Null Raychaudhuri: Canonical Structure and the Dressing Time

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.

The Generative Programs Framework

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.

General gravitational charges on null hypersurfaces

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.

Disappearing Without a Trace: The Arrows of Time in Kent’s Solution to the Lorentzian Quantum Reality Problem

Most existing proposals to explain the temporal asymmetries we see around us are sited within an approach to physics based on time evolution, and thus they typically put the asymmetry in at the beginning of time in the form of a special initial state. But there may be other possibilities for explaining temporal asymmetries if we don’t presuppose the time evolution paradigm. In this article, we explore one such possibility, based on Kent’s `final-measurement’ interpretation of quantum mechanics. We argue that this approach potentially has the resources to explain the electromagnetic asymmetry, the thermodynamic asymmetry, the coarse-graining asymmetry, the fork asymmetry, the record asymmetry, and the cosmological asymmetry, and that the explanations it offers may potentially be better than explanations appealing to a special initial state. Our hope is that this example will encourage further exploration of novel approaches to temporal asymmetry outside of the time evolution paradigm.

A toy model provably featuring an arrow of time without past hypothesis

The laws of Physics are time-reversible, making no qualitative distinction between the past and the future — yet we can only go towards the future. This apparent contradiction is known as the `arrow of time problem’. Its resolution states that the future is the direction of increasing entropy. But entropy can only increase towards the future if it was low in the past, and past low entropy is a very strong assumption to make, because low entropy states are rather improbable, non-generic. Recent works, however, suggest we can do away with this so-called `past hypothesis’, in the presence of reversible dynamical laws featuring expansion. We prove that this is the case for a toy model, set in a 1+1 discrete spacetime. It consists in graphs upon which particles circulate and interact according to local reversible rules. Some rules locally shrink or expand the graph. Generic states always expand; entropy always increases — thereby providing a local explanation for the arrow of time.

Matrix Mechanics Mis-Prized: Max Born’s Belated Nobelization

We examine evaluations of the contributions of Matrix Mechanics and Max Born to the formulation of quantum mechanics from Heisenberg’s Helgoland paper of 1925 to Born’s Nobel Prize of 1954. We point out that the process of evaluation is continuing in the light of recent interpretations of the theory that deemphasize the importance of the wave function.