Search arXiv⌕ Search

arXiv · 2610.02773

Stratification of the space of density matrices via invariant theory and Uhlmann's connection

Abstract

The space of $n\times n$ density matrices is the full state space of an $n$-level quantum system. While it has been asserted in the literature on quantum information theory that decomposing this state space into equirank pieces yields a Whitney stratification, rigorous proofs have remained absent. Using methods from invariant theory, this work provides a proof that the rank decomposition of the matrix algebra constitutes a (b)-regular stratification in the sense of Whitney. Furthermore, we demonstrate how the Uhlmann connection - which describes the adiabatic holonomy of mixed states and reduces to the Berry connection on pure states - can be geometrically treated as a stratified connection on a stratified vector bundle. Finally, our appendix provides a self-contained exposition of stratified fiber bundles and the new concept of stratified connections, which may be of independent interest.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Howy Jordan, Markus J. Pflaum, Gerd Rudolph. 2026-10-02. Stratification of the space of density matrices via invariant theory and Uhlmann's connection. https://arxiv.org/abs/2610.02773

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Explicit Hamiltonian representations of meromorphic connections and duality from different perspectives: a case study

In this article, we present an explicit study of $\hbar$-deformed meromorphic connections in $\mathfrak{gl}_3(\mathbb{C})$ with an unramified irregular pole at infinity of order $r_\infty=3$ and their spectral dual corresponding to the $\mathfrak{gl}_2(\mathbb{C})$ Painlevé IV Lax pair. Using the apparent singularities and their dual partners on the spectral curves as Darboux coordinates, we obtain the Hamiltonian evolutions, the reduction of these evolutions to a single non-trivial direction, the Jimbo-Miwa-Ueno tau-functions, the fundamental symplectic two-forms and the associated Hermitian matrix models on both sides. We then prove that the spectral duality connecting both sides extends to all these aspects, providing an explicit illustration of the generalized Harnad duality. We finally propose a conjecture identifying the Jimbo-Miwa-Ueno differential with the $\hbar=0$ evaluation of the Hamiltonian differential in these Darboux coordinates that could provide insights into the geometric interpretation of the $\hbar$ formal parameter. As a byproduct we also obtain a rank $3$ Lax pair for the Painlevé IV equation.

math-ph↗

Gibbs state postulate from dynamical stability

Gibbs states play a central role in quantum statistical mechanics as the standard description of thermal equilibrium. Traditionally, their use is justified either by a heuristic, a posteriori reasoning, or by derivations based on notions of typicality or passivity. In this work, we show that Gibbs states are completely characterized by assuming dynamical stability of the system itself and of the system in weak contact with an arbitrary environment. This builds on and strengthens a result by Frigerio, Gorini, and Verri (1986), who derived Gibbs states from dynamical stability using an additional assumption that they referred to as the "zeroth law of thermodynamics", as it concerns a nested dynamical stability of a triple of systems. We prove that this "zeroth law" is redundant and that an environment consisting solely of harmonic oscillators is sufficient to single out Gibbs states as the only dynamically stable states.

math-ph↗

Discrete Unique Continuation on Simplex

For integers $N\ge0$ and $n\ge2$, let \[ Δ_N^{(n)} =\left\{α\in\mathbb Z_{\ge 0}^n: α_1+\cdots+α_n=N\right\}. \] We study discrete unique continuation for functions on this lattice simplex. For an integer $R\ge1$, let $g:Δ_{nR}^{(n)}\to\mathbb R$ satisfy \[ \sum_{i=1}^n g(β+e_i)=0, \qquad β\inΔ_{nR-1}^{(n)}, \] where $e_i$ is the $i$th standard basis vector. We prove that nonvanishing at the center implies \[ |\operatorname{supp} g|\ge c_n R^{\lceil n/2\rceil}. \] Here $\operatorname{supp} g$ is the set of points where $g$ is nonzero, and $c_n>0$ depends only on $n$. The exponent $\lceil n/2\rceil$ is optimal. The proof represents the values of $g$ as polynomial coefficients and uses a Pascal uncertainty principle, which bounds from below the total number of nonzero coefficients of a one-variable polynomial and its unit translate in terms of their degree.

math-ph↗