arXiv:2004.05631

At the Interface of Algebra and Statistics

Tai-Danae Bradley

Published Apr 12, 2020• 7 citations

Abstract

This thesis takes inspiration from quantum physics to investigate mathematical structure that lies at the interface of algebra and statistics. The starting point is a passage from classical probability theory to quantum probability theory. The quantum version of a probability distribution is a density operator, the quantum version of marginalizing is an operation called the partial trace, and the quantum version of a marginal probability distribution is a reduced density operator. Every joint probability distribution on a finite set can be modeled as a rank one density operator. By applying the partial trace, we obtain reduced density operators whose diagonals recover classical marginal probabilities. In general, these reduced densities will have rank higher than one, and their eigenvalues and eigenvectors will contain extra information that encodes subsystem interactions governed by statistics. We decode this information, and show it is akin to conditional probability, and then investigate the extent to which the eigenvectors capture "concepts" inherent in the original joint distribution. The theory is then illustrated with an experiment that exploits these ideas. Turning to a more theoretical application, we also discuss a preliminary framework for modeling entailment and concept hierarchy in natural language, namely, by representing expressions in the language as densities. Finally, initial inspiration for this thesis comes from formal concept analysis, which finds many striking parallels with the linear algebra. The parallels are not coincidental, and a common blueprint is found in category theory. We close with an exposition on free (co)completions and how the free-forgetful adjunctions in which they arise strongly suggest that in certain categorical contexts, the "fixed points" of a morphism with its adjoint encode interesting information.

DOI: 10.48550/arxiv.2004.05631

Related papers

Emergence of the Partial Trace from Classical Probability Theory

Andrés Macho Ortiz, Francisco Javier Fraile Peláez, José Capmany

The partial trace is commonly introduced in quantum mechanics as an algebraic operation used to define reduced states of composite systems. However, the probabilistic origin of this operation goes systematically unnoticed in the literature. Here, we show that the partial trace emerges naturally from the requirement of consistency between the Born rule for measurement probabilities and the classical marginalization of probability mass functions. Starting from the classical marginalization rule relating joint and marginal probability distributions, we impose that the reduced density operator of a subsystem must reproduce the local measurement statistics derived from the global state. We show that this requirement directly leads to the standard expression of the partial trace. From this perspective, the reduced density operator appears not as an ad hoc algebraic construction, but as a natural consequence of the probabilistic structure of quantum mechanics.

quant-pharXiv:2603.24290Mar 26, 20260 citations

Language Modeling with Reduced Densities

Tai-Danae Bradley, Yiannis Vlassopoulos

This work originates from the observation that today's state-of-the-art statistical language models are impressive not only for their performance, but also---and quite crucially---because they are built entirely from correlations in unstructured text data. The latter observation prompts a fundamental question that lies at the heart of this paper: What mathematical structure exists in unstructured text data? We put forth enriched category theory as a natural answer. We show that sequences of symbols from a finite alphabet, such as those found in a corpus of text, form a category enriched over probabilities. We then address a second fundamental question: How can this information be stored and modeled in a way that preserves the categorical structure? We answer this by constructing a functor from our enriched category of text to a particular enriched category of reduced density operators. The latter leverages the Loewner order on positive semidefinite operators, which can further be interpreted as a toy example of entailment.

arXiv:2007.03834CompositionalityNov 30, 20216 citations

Operator algebra perspectives on interacting quantum systems

Yidong Chen

A central problem in modern mathematical physics is to study interacting systems beyond the reach of perturbation theory. This thesis studies interacting quantum systems using the mathematical theory of operator algebras. In the first part of this thesis, we consider how to construct quantum many-body systems from one-particle systems. This problem has a well-established solution - namely, the second quantization (or the Gaussian functor). However, it seems difficult for the second quantization to go beyond generalized free field constructions without the help of perturbation theory. The second quantization takes real Hilbert spaces as inputs. Using only information from one-particle Hilbert spaces, it is mathematically impossible for the second quantization to produce connected higher-point correlation functions. Moreover, from the perspectives of mathematical quantization and operator algebra theory, it is more natural to have a quantization procedure that takes an algebra along with a functional as the input. Such a pair of mathematical objects contains more information about the underlying one-particle system and includes the Hilbert space of states (via the GNS construction) as part of the data. Inspired by quantum probability theory, we introduce an alternative approach to construct quantum many-body systems. This approach is based on a noncommutative generalization of the classical Poisson random measure. We call this construction Poissonization. Mathematically, Poissonization is a functor from the category of von Neumann algebras with normal semi nite faithful weights to the category of von Neumann algebras with normal faithful states. It is a natural adaptation of the second quantization to the context of von Neumann algebras. This thesis discusses several properties of Poissonization, and uses Poissonization as a tool to construct various toy models of algebraic quantum field theories relevant to high energy physics. This collection of examples aims at demonstrating the versatility of Poissonization. In the second part of this thesis, we study the noisy interactions between an open quantum system and its environment. One of the challenges in quantum information science is to control open quantum systems with a large number of qubits. An important aspect of many-body systems is the emergence of collective phenomena. One collective noise model is an open atomic system in an electromagnetic environment. This model was considered by Dicke in the 50's. In this thesis, we study the entropic decay in Dicke's model and other related collective noise models. Specifically, we develop a general framework to estimate the spectral gap and modified logarithmic Sobolev constant of these collective noise models. In addition, we study the necessary mixing conditions a general Dicke's model must satisfy in order to have a unique equilibrium state.

Jun 22, 20230 citations

Geometry of Quantum States from Symmetric Informationally Complete Probabilities

Gelo Noel M. Tabia

It is usually taken for granted that the natural mathematical framework for quantum mechanics is the theory of Hilbert spaces, where pure states of a quantum system correspond to complex vectors of unit length. These vectors can be combined to create more general states expressed in terms of positive semidefinite matrices of unit trace called density operators. A density operator tells us everything we know about a quantum system. In particular, it specifies a unique probability for any measurement outcome. Thus, to fully appreciate quantum mechanics as a statistical model for physical phenomena, it is necessary to understand the basic properties of its set of states. Studying the convex geometry of quantum states provides important clues as to why the theory is expressed most naturally in terms of complex amplitudes. At the very least, it gives us a new perspective into thinking about structure of quantum mechanics. \n \n \nThis thesis is concerned with the structure of quantum state space obtained from the geometry of the convex set of probability distributions for a special class of measurements called symmetric informationally complete (SIC) measurements. In this context, quantum mechanics is seen as a particular restriction of a regular simplex, where the state space is postulated to carry a symmetric set of states called SICs, which are associated with equiangular lines in a complex vector space. The analysis applies specifically to 3-dimensional quantum systems or qutrits, which is the simplest nontrivial case to consider according to Gleason's theorem. It includes a full characterization of qutrit SICs and includes specific proposals for implementing them using linear optics. The infinitely many qutrit SICs are classified into inequivalent families according to the Clifford group, where equivalence is defined by geometrically invariant numbers called triple products. The multiplication of SIC projectors is also used to define structure coefficients, which are convenient for elucidating some additional structure possessed by SICs, such as the Lie algebra associated with the operator basis defined by SICs, and a linear dependency structure inherited from the Weyl-Heisenberg symmetry. After describing the general one-to-one correspondence between density operators and SIC probabilities, many interesting features of the set of qutrits are described, including an elegant formula for its pure states, which reveals a permutation symmetry related to the structure of a finite affine plane, the exact rotational equivalence of different SIC probability spaces, the shape of qutrit state space defined by the radial distance of the boundary from the maximally mixed state, and a comparison of the 2-dimensional cross-sections of SIC probabilities to known results. Towards the end, the representation of quantum states in terms of SICs is used to develop a method for reconstructing quantum theory from the postulate of maximal consistency, and a procedure for building up qutrit state space from a finite set of points corresponding to a Hesse configuration in Hilbert space is sketched briefly.

Aug 6, 20133 citations

Classical analogue of the statistical operator

Angelo Plastino, Angel Ricardo Plastino, Claudia Zander

Abstract We advance the notion of a classical density matrix, as a classical analogue of the quantum mechanical statistical operator, and investigate its main properties. In the case of composite systems a partial trace-like operation performed upon the global classical density matrix leads to a marginal density matrix describing a subsystem. In the case of dynamically independent subsystems (that is, non-interacting subsystems) this marginal density matrix evolves locally, its behavior being completely determined by the local phase-space flow associated with the subsystem under consideration. However, and in contrast with the case of ordinary marginal probability densities, the marginal classical density matrix contains information concerning the statistical correlations between a subsystem and the rest of the system.

Open PhysicsMar 1, 20140 citations

Canonical Emergence of the Density Operator from Normalized Probabilistic Structure

Oleg Nesen

We present a minimal, representation-invariant route from normalized probabilistic structure to operator state description. Starting from probability assignments to admissible effects, we show how simplex-type (context-fixed) descriptions embed into the convex set of density operators as the minimal basis-invariant closure. The key representation is the trace pairing p(E) = Tr(ρE), where ρ ⪰ 0 and Trρ = 1. We also formalize composition and marginalization: correlations are encoded by joint states ρAB, while locally accessible statistics are represented uniquely by reduced states ρA = TrB(ρAB). The paper is intentionally conservative: it establishes a logically closed front-end for later developments (modular generators, CPTP-compatible dynamics, and phase structure) without introducing them here as axioms.

Mar 6, 20260 citations