Related papers: Picturing general quantum subsystems
Drawing inspiration from Emmy Noether'set-theoretic foundations for algebra and Charles Ehresmann's topology without points, we adopt a new order-theoretic approach to ideal theory. For this we emphasize the order of divisibility in…
A subfactor is an inclusion $N \subset M$ of von Neumann algebras with trivial centers. The simplest example comes from the fixed points of a group action $M^G \subset M$, and subfactors can be thought of as fixed points of more general…
It has been proposed that random wide neural networks near Gaussian process are quantum field theories around Gaussian fixed points. In this paper, we provide a novel map with which a wide class of quantum mechanical systems can be cast…
Recent developments in quantum chemistry, perturbative quantum field theory, statistical physics or stochastic differential equations require the introduction of new families of Feynman-type diagrams. These new families arise in various…
We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical probabilistic processes as well as quantum theory. Unlike prior constructions within…
The causal dynamical triangulations (CDT) program has for the first time allowed for path-integral computation of correlation functions in full general relativity without symmetry reductions and taking into account Lorentzian signature. One…
Dirichlet-to-Neumann maps enable the coupling of multiphysics simulations across computational subdomains by ensuring continuity of state variables and fluxes at artificial interfaces. We present a novel method for learning…
The split property expresses the way in which local regions of spacetime define subsystems of a quantum field theory. It is known to hold for general theories in Minkowski space under the hypothesis of nuclearity. Here, the split property…
We present a quantum algorithm that additively approximates the value of a tensor network to a certain scale. When combined with existing results, this provides a complete problem for quantum computation. The result is a simple new way of…
In this paper we suggest a new general formalism for studying the invariants of polyhedra and manifolds comming from the theory of von Neumann algebras. First, we examine generality in which one may apply the construction of the extended…
We review recent developments in the use of von Neumann algebras to analyze the entanglement structure of quantum gravity and the emergence of spacetime in the semi-classical limit. Von Neumann algebras provide a natural framework for…
We prove that every separable tracial von Neumann algebra embeds into a II$_1$ factor with property (T) which can be taken to have trivial outer automorphism and fundamental groups. We also establish an analogous result for the trivial…
Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary "propositional" logic should in general be the logic of subsets of a given universe set. Partitions on…
We study different techniques that allow us to gain complete knowledge about an unknown quantum state, e.g. to perform full tomography of this state. We focus on two apparently simple cases, full tomography of one and two qubit systems. We…
A theorem is derived which (i) provides a new class of subfactors which may be interpreted as generalized asymptotic subfactors, and which (ii) ensures the existence of two-dimensional local quantum field theories associated with certain…
We introduce a general scheme for sequential one-way quantum computation where static systems with long-living quantum coherence (memories) interact with moving systems that may possess very short coherence times. Both the generation of the…
We define a canonical relative commutant planar algebra from a strongly Markov inclusion of finite von Neumann algebras. In the case of a connected unital inclusion of finite dimensional C*-algebras with the Markov trace, we show this…
Because of a formal equivalence with the partition function of an Ising chain, the semiclassical traces of the quantum baker map can be calculated using the transfer-matrix method. We analyze the transfer matrices associated with the baker…
We put forward a reconstruction scheme prompted by the relation between a von Neumann measurement and the corresponding informationally complete measurement induced in a relevant reconstruction subspace. This method is specially suited for…
Various reconstructions of finite-dimensional quantum mechanics result in a formally real Jordan algebra A and a last step remains to conclude that A is the self-adjoint part of a C*-algebra. Using a quantum logical setting, it is shown…