Qiss

Information-theoretic insights have proven fruitful in many areas of quantum physics. But can the fundamental dynamics of quantum systems be derived from purely information-theoretic principles, without resorting to Hilbert space structures such as unitary evolution and self-adjoint observables? Here we provide a model where the dynamics originates from a condition of informational non-equilibrium, the deviation of the system’s state from a reference state associated to a field of identically prepared systems. Combining this idea with three basic information-theoretic principles, we derive a notion of energy that captures the main features of energy in quantum theory: it is observable, bounded from below, invariant under time-evolution, in one-to-one correspondence with the generator of the dynamics, and quantitatively related to the speed of state changes. Our results provide an information-theoretic reconstruction of the Mandelstam-Tamm bound on the speed of quantum evolutions, establishing a bridge between dynamical and information-theoretic notions.

In this Letter, we introduce a notion of local fraction for experiments taking place against arbitrary static causal backgrounds—greatly generalising previous results on no-signalling scenarios—and we explicitly formulate a linear program to compute this quantity. We derive a free characterisation of causal functions which allows us to efficiently construct the matrices required to perform concrete calculations. We demonstrate our techniques by analysing the local fraction of a novel example involving two Bell tests in interleaved causal order.

What does it mean for a causal structure to be `unknown’? Can we even talk about `repetitions’ of an experiment without prior knowledge of causal relations? And under what conditions can we say that a set of processes with arbitrary, possibly indefinite, causal structure are independent and identically distributed? Similar questions for classical probabilities, quantum states, and quantum channels are beautifully answered by so-called “de Finetti theorems”, which connect a simple and easy-to-justify condition — symmetry under exchange — with a very particular multipartite structure: a mixture of identical states/channels. Here we extend the result to processes with arbitrary causal structure, including indefinite causal order and multi-time, non-Markovian processes applicable to noisy quantum devices. The result also implies a new class of de Finetti theorems for quantum states subject to a large class of linear constraints, which can be of independent interest.

The $mathrm{Caus}[-]$ construction takes a base category of “raw materials” and builds a category of higher order causal processes, that is a category whose types encode causal (a.k.a. signalling) constraints between collections of systems. Notable examples are categories of higher-order stochastic maps and higher-order quantum channels. Well-typedness in $mathrm{Caus}[-]$ corresponds to a composition of processes being causally consistent, in the sense that any choice of local processes of the prescribed types yields an overall process respecting causality constraints. It follows that closed processes always occur with probability 1, ruling out e.g. causal paradoxes arising from time loops. It has previously been shown that $mathrm{Caus}[mathcal{C}]$ gives a model of MLL+MIX and BV logic, hence these logics give sufficient conditions for causal consistency, but they fail to provide a complete characterisation. In this follow-on work, we introduce graph types as a tool to examine causal structures over graphs in this model. We explore their properties, standard forms, and equivalent definitions; in particular, a process obeys all signalling constraints of the graph iff it is expressible as an affine combination of factorisations into local causal processes connected according to the edges of the graph. The properties of graph types are then used to prove completeness for causal consistency of a new causal logic that conservatively extends pomset logic. The crucial extra ingredient is a notion of distinguished atoms that correspond to first-order states, which only admit a flow of information in one direction. Using the fact that causal logic conservatively extends pomset logic, we finish by giving a physically-meaningful interpretation to a separating statement between pomset and BV.

The ZX-calculus is an algebraic formalism that allows quantum computations to be simplified via a small number of simple graphical rewrite rules. Recently, it was shown that, when combined with a family of “sum-over-Cliffords” techniques, the ZX-calculus provides a powerful tool for classical simulation of quantum circuits. However, for several important classical simulation tasks, such as computing the probabilities associated with many measurement outcomes of a single quantum circuit, this technique results in reductions over many very similar diagrams, where much of the same computational work is repeated. In this paper, we show that the majority of this work can be shared across branches, by developing reduction strategies that can be run parametrically on diagrams with boolean free parameters. As parameters only need to be fixed after the bulk of the simplification work is already done, we show that it is possible to perform the final stage of classical simulation quickly utilising a high degree of GPU parallelism. Using these methods, we demonstrate speedups upwards of 100x for certain classical simulation tasks vs. the non-parametric approach.

An influential theorem by Satosi Wantabe convinced many that there can be no genuinely probabilistic theory with both non-trivial forward and backward transition probabilities. We show that this conclusion does not follow from the theorem. We point out the flaw in the argument, and we showcase examples of theories with well-defined backward and forward transition probabilities.

Quantum theory is in principle compatible with processes that violate causal inequalities, an analogue of Bell inequalities that constrain the correlations observed by a set of parties operating in a definite order. Since the introduction of causal inequalities, determining their maximum quantum violation, analogue to Tsirelson’s bound, has remained an open problem. Here we provide a general method for bounding the violation of causal inequalities by arbitrary quantum processes with indefinite causal order. We prove that the maximum violation is generally smaller than the algebraic maximum, and determine a Tsirelson-like bound for the paradigmatic example of the Oreshkov-Brukner-Costa causal inequality. Surprisingly, we find that the algebraic maximum of arbitrary causal inequalities can be achieved by a new type of processes that allow for information to flow in an indefinite direction within the parties’ laboratories. In the classification of the possible correlations, these processes play a similar role as the no-signalling processes in Bell scenarios.

Experimental proposals for testing quantum gravity-induced entanglement of masses (QGEM) typically involve two interacting masses which are each in a spatial superposition state. Here, we propose a QGEM experiment with two particles which are each in a superposition of rotational states, this amounts to a superposition of mass through mass-energy equivalence. Our proposal relies on the fact that rotational energy gravitates. This approach would test a feature unique to gravity since it amounts to sourcing a spacetime in superposition due to a superposition of ‘charge’. We propose and analyse a concrete experimental protocol and discuss challenges.

Null infinity (Scri) arises as a boundary of the Penrose conformal completion of an asymptotically flat physical space-time. We first note that Scri is a weakly isolated horizon (WIH), and then show that its familiar properties can be derived from the general WIH framework. This seems quite surprising because physics associated with black hole (and cosmological) WIHs is very different from that extracted at Scri. We show that these differences can be directly traced back to the fact that Scri is a WIH in the conformal completion rather than the physical space-time. In particular, the BMS group at Scri stems from the symmetry group of WIHs. We also introduce a unified procedure to arrive at fluxes and charges associated with the BMS symmetries at Scri and those associated with black hole (and cosmological) horizons. This procedure differs from those commonly used in the literature and its novel elements seem interesting in their own right. The fact that is there is a single mathematical framework underlying black hole (and cosmological) horizons and Scri paves the way to explore the relation between horizon dynamics in the strong field region and waveforms at infinity. It should also be useful in the analysis of black hole evaporation in quantum gravity.

A key challenge in realizing fault-tolerant quantum computers is circuit optimization. Focusing on the most expensive gates in fault-tolerant quantum computation (namely, the T gates), we address the problem of T-count optimization, i.e., minimizing the number of T gates that are needed to implement a given circuit. To achieve this, we develop AlphaTensor-Quantum, a method based on deep reinforcement learning that exploits the relationship between optimizing T-count and tensor decomposition. Unlike existing methods for T-count optimization, AlphaTensor-Quantum can incorporate domain-specific knowledge about quantum computation and leverage gadgets, which significantly reduces the T-count of the optimized circuits. AlphaTensor-Quantum outperforms the existing methods for T-count optimization on a set of arithmetic benchmarks (even when compared without making use of gadgets). Remarkably, it discovers an efficient algorithm akin to Karatsuba’s method for multiplication in finite fields. AlphaTensor-Quantum also finds the best human-designed solutions for relevant arithmetic computations used in Shor’s algorithm and for quantum chemistry simulation, thus demonstrating it can save hundreds of hours of research by optimizing relevant quantum circuits in a fully automated way.