arXiv ScienceSearch

arXiv · 2509.06958

Stratified Cohomological Quantum Codes via Colimits in Ch(R)

Abstract

We introduce \emph{stratified colimit codes}: stabiliser codes obtained by taking the degree-wise colimit $\mathcal C_\bullet(X):=\operatorname*{colim}_{σ\in X}F(σ)$ of a functor $F\colon X\to\mathbf{Ch}(R)$ from a finite poset into the category of chain complexes over a commutative ring~$R$. Axioms requiring only transitivity and boundary-compatibility of the morphisms in $F$ ensure that $\partial^2=0$, so the homology $H_\bullet$ and cohomology $H^\bullet$ furnish the usual CSS $Z$- and $X$-type logical sectors; torsion in $H_\bullet$ classifies qudit charges via the universal coefficient sequence. Varying $F$ recovers classical surface and color codes, $\mathbb{RP}^2$ torsion codes, twisted toric families with rate $k\sim d$, and X-cube style fracton models, all without referencing an ambient cell complex. Matrix Smith normal form (PID case) and sparse Gaussian elimination (field case) compute $H_\bullet$ directly, giving LDPC parameters that inherit the sparsity of $F$. Because the construction is ring agnostic and functorial, it extends naturally to code surgery (push-outs) and, at the next categorical level, to bicomplex domain walls. Stratified colimit codes therefore supply a concise algebraic chassis for designing, classifying, and decoding topological and fractal quantum codes without ever drawing a lattice.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

William Boone Samuels. 2025-06-03. Stratified Cohomological Quantum Codes via Colimits in Ch(R). https://arxiv.org/abs/2509.06958

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

KEEP EXPLORING

Related papers

Interactive proofs for verifying (quantum) learning and testing

We consider the problem of testing and learning from data in the presence of resource constraints, such as limited memory or weak data access, which place limitations on the efficiency and feasibility of testing or learning. In particular, we ask the following question: Could a resource-constrained learner/tester use interaction with a resource-unconstrained but untrusted party to solve a learning or testing problem more efficiently than they could without such an interaction? In this work, we answer this question both abstractly and for concrete problems, in two complementary ways: For a wide variety of scenarios, we prove that a resource-constrained learner cannot gain any advantage through classical interaction with an untrusted prover. As a special case, we show that for the vast majority of testing and learning problems in which quantum memory is a meaningful resource, a memory-constrained quantum algorithm cannot overcome its limitations via classical communication with a memory-unconstrained quantum prover. In contrast, when quantum communication is allowed, we construct a variety of interactive proof protocols, for specific learning and testing problems, which allow memory-constrained quantum verifiers to gain significant advantages through delegation to untrusted provers. These results highlight both the limitations and potential of delegating learning and testing problems to resource-rich but untrusted third parties.

quant-ph

Physics-Informed Support Vector Kernels via Green-Function Analogies and Jackson-Chebyshev Spectral Design

Kernel selection for regression of physical observables is often heuristic. We investigate a physics-informed strategy in which functional forms and spectral structures associated with Green's functions motivate kernel selection without requiring an exact identification between a machine-learning kernel and a physical propagator. The principal construction is a Jackson-damped Chebyshev kernel inspired by the kernel polynomial method (KPM); its explicit feature map yields a positive-semidefinite Gram matrix by construction and provides an inspectable spectral prior for structured observables. We evaluate standard and custom SVR models on copper-conductivity proxies, local Dirac-like band dispersion, quartic-oscillator energy levels, photonic-crystal transmission, and Fibonacci-chain transmission using repeated nested validation, learning curves, random-forest and multilayer-perceptron baselines, and low-rank Nyström tests where relevant. The framework is intended for finite-data regression of precomputed observables while boundary conditions remain part of the physical model that generates those observables.

quant-ph

Optimal observables for (non-)equilibrium quantum metrology from the master equation

We demonstrate how observables with optimal sensitivity to environmental properties can be constructed explicitly from the master equation of an open quantum system. Our approach does not rely on the explicit solution of the master equation and instead expresses the symmetric logarithmic derivative (SLD), the operator of optimal sensitivity and key quantity in quantum metrology, solely in terms of expectation values. This makes the SLD available to a large class of systems of interest, both in and out of equilibrium. We validate our approach by reproducing the SLD for temperature in quantum Brownian motion and demonstrate its versatility by constructing the optimal observable for the non-equilibrium relaxation rate.

quant-ph