arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.06699

A Cohomological Characterization of the Clifford Hierarchy

Junaid Aftab
View original source ↗Read source document ↗Export metadata ↓

Abstract

The Clifford hierarchy plays a central role in fault-tolerant quantum computation, but its higher levels remain only partially understood. Recent work on quantum higher order Fourier analysis characterizes membership in the Clifford hierarchy using quantum derivatives, but does not provide an explicit description of the individual levels. In this work, we address this problem by showing that the collection of quantum derivatives of a unitary operator forms a non-abelian \(1\)-cocycle, and conversely that every such \(1\)-cocycle arises from a unitary operator. This yields a recursive cohomological characterization of the Clifford hierarchy. We then specialize this framework to the third level and decompose the cocycle data into symplectic, affine, and phase components, each admitting a cohomological interpretation. As applications, we give a new proof that every two-qudit gate in the third level of the Clifford hierarchy is semi-Clifford, and prove for the first time that every three-qudit gate in the third level is semi-Clifford.

Explore related subjects

math-phmath.GRmath.MPquant-ph

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Junaid Aftab. 2026-10-05. A Cohomological Characterization of the Clifford Hierarchy. https://arxiv.org/abs/2610.06699

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗