Reduced density matrices are a powerful tool in the analysis of entanglement structure, approximate or coarse-grained dynamics, decoherence, and the emergence of classicality. It is straightforward to produce a reduced density matrix with the partial-trace map by tracing out part of the quantum state, but in many natural situations this reduction may not be achievable. We investigate the general problem of identifying how the quantum state is reduced given a restriction on the observables. For example, in an experimental setting, the set of observables that can actually be measured is usually modest (compared to the set of all possible observables) and their resolution is limited. In such situations, the appropriate state-reduction map can be defined via a generalized bipartition, which is associated with the structure of irreducible representations of the algebra generated by the restricted set of observables. One of our main technical results is a general, not inherently numeric, algorithm for finding irreducible representations of matrix algebras. We demonstrate the viability of this approach with two examples of limited-resolution observables. The definition of quantum state reductions can also be extended beyond algebras of observables. To accomplish this task we introduce a more flexible notion of bipartition, the partial bipartition, which describes coarse grainings preserving information about a limited set (not necessarily algebra) of observables. We describe a variational method to choose the coarse grainings most compatible with a specified Hamiltonian, which exhibit emergent classicality in the reduced state space. We apply this construction to the concrete example of the one-dimensional Ising model. Our results have relevance for quantum information, bulk reconstruction in holography, and quantum gravity.
In this thesis, we lay out the goal, and a broad outline, for a program that takes quantum mechanics in its minimal form to be the fundamental ontology of the universe. Everything else, including features like space-time, matter and gravity associated with classical reality, are emergent from these minimal quantum elements. We argue that the Hilbert space of quantum gravity is locally finite-dimensional, in sharp contrast to that of conventional field theory, which could have observable consequences for gravity. We also treat time and space on an equal footing in Hilbert space in a reparametrization invariant setting and show how symmetry transformations, both global and local, can be treated as unitary basis changes. Motivated by the finite-dimensional context, we use Generalized Pauli Operators as finite-dimensional conjugate variables and define a purely Hilbert space notion of locality based on the spread induced by conjugate operators which we call "Operator Collimation." We study deviations in the spectrum of physical theories, particularly the quantum harmonic oscillator, induced by finite-dimensional effects, and show that by including a black hole-based bound in a lattice field theory, the quantum contribution to the vacuum energy can be suppressed by multiple orders of magnitude. We then show how one can recover subsystem structure in Hilbert space which exhibits emergent quasi-classical dynamics. We explicitly connect classical features (such as pointer states of the system being relatively robust to entanglement production under environmental monitoring and the existence of approximately classical trajectories) with features of the Hamiltonian. We develop an in-principle algorithm based on extremization of an entropic quantity that can sift through different factorizations of Hilbert space to pick out the one with manifest classical dynamics. This discussion is then extended to include direct sum decompositions and their compatibility with Hamiltonian evolution. Following this, we study quantum coarse-graining and state-reduction maps in a broad context. In addition to developing a first-principle quantum coarse-graining algorithm based on principle component analysis, we construct more general state-reduction maps specified by a restricted set of observables which do not span the full algebra (as could be the case of limited access in a laboratory or in various situations in quantum gravity). We also present a general, not inherently numeric, algorithm for finding irreducible representations of matrix algebras. Throughout the thesis, we discuss implications of our work in the broader goal of understanding quantum gravity from minimal elements in quantum mechanics.
The main objective of this dissertation is the study of the theory of Lie-Jordan Banach algebras, their role in the framework of classical and quantum mechanics, and their applications to different aspects of quantum systems.
One of the main results of this thesis is the novel proof of a theorem which characterizes the Jordan (-Banach) algebras that are in a unique correspondence with C*-algebras. The novelty lies in the introduction of a Lie structure on the algebra, which is required to be compatible with the Jordan one. The physical interpretation of this connection with the Lie structure reflects the dual role played by the observables: they are measurable quantities but also the generators of motions of the state space.
Whenever constraints are imposed on a quantum system or symmetries are present, both dynamical or gauge, some reduction on the state space must be considered either because not all states are physical and/or because families of states are equivalent. We address this problem in algebraic terms and obtain a reduction procedure which is free from the problems of gauge anomalies which is often encountered in a heuristic approach to the quantization of constraints.
Then we study the composition of physical systems and we prove, from algebraic considerations only, the uniqueness of the Planck's constant. This is a strong result, since he existence of multiple Planck's constants would lead to violations of basic space-time conservation laws, which are not observed experimentally.
Finally we address the problem of characterizing classical and quantum states, which has become particularly relevant for the field of quantum information and quantum computation, since a number of tasks in computation and communication can be performed only if quantum resources are available. By using the Jordan product we are able to provide a general definition of classical states and the associated quantumness witness which is suitable to infinite-dimensional systems. Then we propose a measure of nonclassicality based on the incompatibility of states relative to each other, rather than on correlations. Surprisingly, this new measure turns out to be experimentally suitable to a direct estimation by using a
quantun circuit based on an interference experiment. We finally describe this experiment which is realizable with current technology.
The algebraic approach to physical theories provides a general framework encompassing both classical and quantum mechanics. Accordingly, by looking at the behaviour of the relevant algebras of observables one can investigate structural and conceptual differences between the theories. Interesting foundational questions can be formulated algebraically and their answers are then given in a mathematically compelling way. My dissertation focuses on some philosophical issues concerning entanglement and quantum information as they arise in the algebraic. These two concepts are connected in that one can exploit the non-local character of quantum theory to construct protocols of information theory which are not realized in the classical world. I first introduce the basic concepts of the algebraic formalism, by reviewing von Neumann's work on the mathematical foundations of quantum theories. After presenting the reasons why von Neumann abandoned the standard Hilbert space formulation in favour of the algebraic approach, I show how his axiomatic program remained a mathematical "utopia" in mathematical physics. The Bayesian interpretation of quantum mechanics is grounded in information-theoretical considerations. I take on some specific problems concerning the extension of Bayesian statistical inference in infinite dimensional Hilbert space. I demonstrate that the failure of a stability condition, formulated as a rationality constraint for classical Bayesian conditional probabilities, does not undermine the Bayesian interpretation of quantum probabilities. I then provide a solution to the problem of Bayesian noncommutative statistical inference in general probability spaces. Furthermore, I propose a derivation of the a priori probability state in quantum mechanics from symmetry considerations. Finally, Algebraic Quantum Field Theory offers a rigorous axiomatization of quantum field theory, namely the synthesis of quantum mechanics and special relativity. In such a framework one can raise the question of whether or not quantum correlations are made stronger by adding relativistic constraints. I argue that entanglement is more robust in the relativistic context than in ordinary quantum theory. In particular, I show how to generalize the claim that entanglement across space-like separated regions of Minkowski spacetime would persist, no matter how one acts locally.
The common idea behind complexity reduction in physical systems is separation of information into ``physically meaningful'' and ``safely ignorable.'' Here we consider a generic notion of such separation---implemented by coarse-graining the state space---and address the question of what information is indeed safely ignorable if we want to reduce the complexity of dynamics. The general condition for reducibility of dynamics under coarse graining will be presented for stochastic and quantum systems. In the process we develop the quantum notion of state-space coarse graining that allows us to marginalize selected degrees of freedom. One of our main findings is that there is a broader class of symmetries, beyond those that are considered by Noether's theorem, that can play a role in the reduction of dynamics. Some examples of quantum coarse grainings and the reduction of dynamics with symmetries will be discussed.
This thesis addresses aspects of quantum phase and sets out to draw attention to a collection of new and extend some not so new techniques utilizing Weyl's correspondence rule and its inverse. The phase formulation of quantum mechanics is as old as quantum mechanics itself and evolved over a period of two decades due to the contributions of H. Weyl \cite{Weyl1950}, E. P. Wigner \cite{Wigner1932}, H. Groenewold \cite{Groenewold1946} and J. E. Moyal \cite{Moyal1949}. Over the ensuing years the phase picture has matured into a practical analytical tool, and has generated a multitude of technical papers, reports, reviews, and expositions from many authors and commentators. One reason for its success is that it offers an intuitive picture of quantum mechanics owing to its \it{classical look and feel}, and it has made an impression, in one way or another, in many fields such as mathematical physics, quantum optics, and physical chemistry.The thesis opens with a brief history of classical phase space, tracing the possible origin of the term ``phase space itself, and chronicles the events leading to the conceptualization (and generalization) of quantum phase space. In Chapter 2 the Weyl correspondence is recast in terms of von Neumann's integral kernel transform and a heuristic analysis is given from this perspective. A characteristic of Weyl's correspondence rule and its inverse is that there are two inherent representations of the same operator. These have been referred to as the Weyl representation and Wigner representation and are related by a symplectic Fourier transform. For an arbitrary outer dyadic operator it is shown that the Weyl representation leads to the \it{modified} Gabor transform (known to Signal Processing), while the Wigner representation specializes to the Bargmann transform and a representation in terms of analytic functions. Calculating Weyl-Wigner (WW) transforms of products of
n operators, from first principles, has proved to be a technically difficult problem. However, with the machinery developed in Chapter 2 the problem is reduced to a straightforward algebraic exercise. Finally, forming an
s-parametrized generalization of Weyl's correspondence rule and focusing on the Weyl representation it is shown to lead to an intimate relationship with the relative state formalism \cite{Ban1998}. Weyl's correspondence rule is only applicable to operators and consequently state vectors
∣ψ⟩ are not represented in the usual formulation of quantum phase space. This problem is circumvented in Chapter 3 by introducing the notion of a normalized fixed state (or window) vector
∣φ0⟩ to form an outer dyadic product $\wh{\Psi} = |\psi\rangle\langle\varphi_0|$. The WW transform of this product under the action of the Weyl's rule is a complex valued function of real variables called a phase amplitude and denoted by the symbol
Ψ. The phase amplitudes have many (and sometimes surprising) properties. For example they: \begin{itemize} \item form the building blocks of Wigner functions
W by admitting a generalized Born rule
W=Ψ⋆Ψˉ, and as such can be considered to be a more fundamental objects than Wigner functions; \item superpose and interfere like the state vectors they represent; \item specialize to the Bargmann and Gabor transforms when a Gaussian window is chosen; \end{itemize} \ni In Chapter 4 further aspects of phase amplitudes are explored and discussed. For example it is shown that they: \begin{itemize} \item define phase state vectors which form an over complete set and are elements of a reproducing kernel Hilbert space; \item allow unitary ray representations of the group symmetries of translation, rotation and time reversal; \item evolve in phase under the influence of a propagator
R which is intimately related to the Wigner propagator
P. \end{itemize} Chapter 5 considers an extension of phase amplitudes to include systems with finitely many degrees of freedom. These are called spin amplitudes and are obtained by first forming the outer dyadic product of a spin state vector with an arbitrary fixed spin state vector, and then applying a finite-dimensional analogue of the WW transform. The spin amplitude operator is represented as an
n×n matrix, whose elements are products of the spin components of the spin and fixed state vectors. Two kinds of spin amplitudes are considered, arising on the sphere
S2 or on a
(2j+1) dimensional lattice. In the special case of spin-$\half$ systems it is shown that the spin amplitudes transform as spinors under rotations on both the sphere and lattice. As a physical application the spin amplitudes for a spin-$\half$ magnetic dipole are found for a Nuclear Magnetic Resonance (NMR) environment. Chapter 6 considers Schwinger's abstract approach to quantum mechanics which takes into account the inability to indefinitely compensate for fluctuations in the measurement process. The resulting measurement algebra provides a symbolic representation of the physical laws as opposed to the mathematical abstraction (of von Neumann and Dirac) that was justified \it{\'a posteriori} by being in agreement with experiment. Despite Schwinger's prolific work on the subject of measurement algebra, its interpretation in quantum phase remained an open issue. It is shown that the key to formulating a quantum phase in terms of the measurement operators and transformation functions is the determination of a suitable set of basis operators for an arbitrary measurement operator. Many new results follow as a consequence of expanding an arbitrary measurement operator in this basis. In Chapter 7 the quantum-classical interface is explored by considering Hamilton's principal function or action
S(q,v,t). Starting from a purely heuristic classical argument, a phase function
U(p,q,t) is derived in terms of the classical action and is shown to be proportional to the WW transform of the quantum evolution operator. This association leads to the transform \be U(p,q,t) = A(t) \int e^{ipv/\hbar} e^{iS(q,v,t)/\hbar} \; \rm{d}v, \ee which enables one, in principle, to deduce the Wigner functions of a given system when only the classical action is known. Simple physical systems are used to provide examples illustrating this approach.