arxiv: 2605.09605 · v1 · submitted 2026-05-10 · 🧮 math-ph · math.MP

Recognition: 2 theorem links

· Lean Theorem

Cocycle Actions on Hidden Quantum Markov Models: Symmetry Protection and Topological Order

Abdessatar Barhoumi, Abdessatar Souissi

Authors on Pith no claims yet

Pith reviewed 2026-05-12 03:41 UTC · model grok-4.3

classification 🧮 math-ph math.MP

keywords hidden quantum Markov modelssymmetry-protected topological ordergroup cohomology2-cocyclesAKLT chainprojective representationsquantum spin systemstensor networks

0 comments

The pith

Symmetry actions on hidden quantum Markov models are classified by group cohomology 2-cocycles, reproducing SPT order as in the AKLT chain.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a framework for symmetry actions in hidden quantum Markov models for one-dimensional quantum spin systems. A symmetry group G acts projectively on hidden virtual degrees of freedom and linearly on physical observations to produce globally invariant states. These actions are classified by 2-cocycles in H²(G, U(1)), directly analogous to the classification of bosonic SPT phases via projective edge representations. The authors apply the framework to the AKLT chain, where the hidden layer realizes a nontrivial cocycle class in H²(SO(3), U(1)) that encodes the SPT order. This supplies a stochastic Markovian description of the virtual dynamics while connecting quantum processes to tensor-network descriptions of topological order.

Core claim

What carries the argument

The group-cohomology 2-cocycle [ω] ∈ H²(G, U(1)) classifying the projective action on hidden virtual degrees of freedom, which combines with the linear physical action to produce a globally G-invariant HQMM state encoding SPT order.

If this is right

The HQMM construction produces G-invariant states for both conventional and causal (input-output) structures.
The AKLT example reproduces the known SPT properties through the hidden layer's nontrivial cocycle.
HQMMs supply a stochastic Markovian description of virtual dynamics in SPT phases.
This links quantum stochastic processes to tensor-network descriptions of many-body systems and topological order.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The cocycle framework could be used to build HQMMs that simulate other one-dimensional SPT phases by selecting appropriate hidden projective representations.
Statistical properties of the Markovian hidden process might provide new ways to extract topological invariants computationally.
Extending the linear physical action could connect HQMMs to protocols like measurement-based quantum computation that rely on SPT order.

Load-bearing premise

That a projective action on the hidden virtual degrees of freedom combined with a linear action on the physical observation space produces a globally G-invariant HQMM state that faithfully captures the SPT order without requiring additional constraints on the Markovian dynamics.

What would settle it

A computation of the hidden virtual process for the AKLT chain under SO(3) symmetry that fails to match the known nontrivial class in H²(SO(3), U(1)) would show the hidden layer does not encode the SPT order.

read the original abstract

We develop a symmetry action framework for hidden quantum Markov models (HQMMs) tailored to one-dimensional quantum spin systems and symmetry-protected topological (SPT) phases. In our setting, a symmetry group $G$ acts projectively on the hidden (virtual) degrees of freedom and linearly on the physical observation space, yielding a global HQMM state that is invariant under the combined action of $G$ for both conventional and causal (input--output) structures. We show that such symmetry actions are naturally classified by a group-cohomology $2$-cocycle $[\omega] \in H^{2}(G,\mathrm{U}(1))$, in direct analogy with the standard cohomological classification of one-dimensional bosonic SPT phases via projective edge representations. As an explicit example, we apply this construction to the Affleck--Kennedy--Lieb--Tasaki (AKLT) chain, where the hidden layer carries a nontrivial class $[\omega] \in H^{2}(\mathrm{SO}(3),\mathrm{U}(1))$ encoding its SPT order. In this case the HQMM formalism reproduces the known SPT properties of the AKLT state while providing a stochastic, Markovian description of the underlying virtual dynamics. Our results establish HQMMs as a natural bridge between quantum stochastic processes, tensor-network descriptions of many-body systems, and symmetry-protected topological order.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper sets up cocycle actions on hidden layers of quantum Markov models to encode 1D SPT order, with AKLT as example, but the global invariance step rests on unshown compatibility conditions rather than a direct derivation.

read the letter

The main takeaway is that this work equips hidden quantum Markov models with projective actions from a group G on the virtual states and linear actions on the physical observations, then classifies the resulting symmetries by the usual 2-cocycle in H²(G, U(1)). The AKLT chain is used to show that the hidden layer picks up the nontrivial SO(3) class and that the construction recovers the expected SPT features while giving a stochastic description of the virtual dynamics.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a symmetry-action framework for hidden quantum Markov models (HQMMs) in one-dimensional quantum spin systems and SPT phases. A group G is taken to act projectively on the hidden virtual degrees of freedom and linearly on the physical observation space, producing a globally G-invariant HQMM state for both conventional and causal (input-output) structures. The resulting symmetry actions are classified by a 2-cocycle class [ω] ∈ H²(G, U(1)), in direct analogy with the standard cohomological classification of 1D bosonic SPT phases via projective edge representations. The construction is illustrated on the AKLT chain, where the hidden layer is asserted to carry the nontrivial class [ω] ∈ H²(SO(3), U(1)) that encodes the known SPT order, thereby reproducing the SPT properties of the AKLT state within a stochastic, Markovian description.

Significance. If the central invariance claim and the AKLT reproduction are rigorously established, the work would usefully connect quantum stochastic processes, tensor-network descriptions, and symmetry-protected topological order. The cohomological classification and the explicit AKLT example are the primary strengths; they could open a stochastic perspective on virtual dynamics in SPT phases. At present the significance is limited by the absence of explicit derivations for the required commutation relations between symmetry operators and the hidden transition matrices.

major comments (2)

[§3] §3 (Symmetry classification): the assertion that a projective action on the hidden layer plus a linear action on the physical layer automatically yields a globally G-invariant HQMM state is load-bearing for the cohomological classification. The manuscript must derive the explicit commutation relations that the cocycle ω imposes on the Kraus operators (or transfer matrix) of the hidden Markov process; without this derivation it is unclear whether additional constraints on the Markovian dynamics are required, undermining the claim that the classification is purely cohomological.
[§4] §4 (AKLT example): the statement that the HQMM construction reproduces the known SPT properties of the AKLT state (including the nontrivial projective representation on the virtual edges) is asserted by analogy but lacks explicit derivations, error analysis, or independent verification. Concrete calculations showing how the cocycle [ω] ∈ H²(SO(3), U(1)) propagates through the Markov chain to enforce the edge SPT data are needed; the current presentation leaves the reproduction unverified.

minor comments (2)

[Abstract] The abstract refers to both “conventional and causal (input–output) structures” but the main text does not clarify whether the cocycle classification and invariance proof apply identically to both cases or whether additional technical conditions appear in the causal setting.
[Notation] Notation for the cocycle ω, the group action, and the hidden transition operators should be introduced once and used consistently; several passages mix operator and super-operator notation without explicit distinction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for greater rigor in the derivations. We address each major comment point by point below and will revise the manuscript to incorporate explicit calculations as requested.

read point-by-point responses

Referee: [§3] §3 (Symmetry classification): the assertion that a projective action on the hidden layer plus a linear action on the physical layer automatically yields a globally G-invariant HQMM state is load-bearing for the cohomological classification. The manuscript must derive the explicit commutation relations that the cocycle ω imposes on the Kraus operators (or transfer matrix) of the hidden Markov process; without this derivation it is unclear whether additional constraints on the Markovian dynamics are required, undermining the claim that the classification is purely cohomological.

Authors: We agree that the explicit commutation relations are required for a complete and rigorous justification. The manuscript presents the classification as following directly from the definition of the projective representation on the hidden layer (via the 2-cocycle) together with the linear action on the physical layer, but we acknowledge that the intermediate steps relating these to the Kraus operators of the HQMM were not written out in full detail. In the revised version we will insert a dedicated derivation showing that the cocycle condition on ω is both necessary and sufficient to guarantee global G-invariance of the HQMM state, without imposing further restrictions on the transition matrices beyond those already encoded in the cocycle. This will confirm that the classification remains purely cohomological. revision: yes
Referee: [§4] §4 (AKLT example): the statement that the HQMM construction reproduces the known SPT properties of the AKLT state (including the nontrivial projective representation on the virtual edges) is asserted by analogy but lacks explicit derivations, error analysis, or independent verification. Concrete calculations showing how the cocycle [ω] ∈ H²(SO(3), U(1)) propagates through the Markov chain to enforce the edge SPT data are needed; the current presentation leaves the reproduction unverified.

Authors: We accept that the AKLT illustration would be strengthened by explicit, step-by-step calculations rather than an outline by analogy. Although the manuscript identifies the hidden layer with the nontrivial class in H²(SO(3), U(1)) and states that the resulting HQMM reproduces the SPT edge data, we did not supply the intermediate operator-level verifications. In the revision we will add concrete computations that track the action of the cocycle through the hidden transition matrices, explicitly recover the projective representation on the virtual edges, and confirm consistency with the known AKLT SPT properties. We will also include a brief discussion of numerical stability for the relevant matrix representations. revision: yes

Circularity Check

0 steps flagged

No circularity: classification relies on external analogy to standard SPT group-cohomology result

full rationale

The paper constructs a symmetry-action framework for HQMMs in which a group G acts projectively on hidden virtual degrees of freedom and linearly on the physical observation space, producing a globally G-invariant state. It then states that such actions are 'naturally classified by a group-cohomology 2-cocycle [ω] ∈ H²(G,U(1)), in direct analogy with the standard cohomological classification of one-dimensional bosonic SPT phases via projective edge representations.' This is an identification with an established external mathematical fact rather than a derivation of the cohomology classification from the HQMM transition operators or Kraus maps. The AKLT example is presented as reproducing known SPT properties under this mapping. No equations or steps in the provided text reduce a claimed prediction or first-principles result to a fitted parameter, self-definition, or self-citation chain; the central claim is a correspondence that stands or falls on whether the projective-plus-linear action indeed yields the expected invariant state, but that correspondence is not tautological by construction. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction rests on the pre-existing cohomological classification of 1D bosonic SPT phases and the definition of HQMMs; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

domain assumption The standard classification of 1D bosonic SPT phases by projective representations classified by H²(G, U(1))
Invoked directly when stating that the symmetry actions are classified by the same 2-cocycle that classifies SPT order.

pith-pipeline@v0.9.0 · 5545 in / 1413 out tokens · 45092 ms · 2026-05-12T03:41:39.181354+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
such symmetry actions are naturally classified by a group-cohomology 2-cocycle [ω] ∈ H²(G,U(1)), in direct analogy with ... projective edge representations. ... AKLT chain, where the hidden layer carries a nontrivial class [ω] ∈ H²(SO(3),U(1))
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem 3.3 ... global HQMM states φ(conv) and φ(caus) ... invariant under the combined projective-linear action of G

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · 1 internal anchor

[1]

Infinite Dimensional Analysis, Quantum Probability and Related Topics28(04), 2450007 (2025)

Accardi, L., Soueidi, E.G., Lu, Y.G., Souissi, A.: Hidden quantum Markov processes. Infinite Dimensional Analysis, Quantum Probability and Related Topics28(04), 2450007 (2025)

work page 2025
[2]

Infinite Dimensional Analysis, Quantum Probability and Related Topics 29(01), 2450009 (2026)

Accardi, L., Soueidi, E.G., Lu, Y.G., Souissi, A.: Algebraic Hidden processes and hidden Markov processes. Infinite Dimensional Analysis, Quantum Probability and Related Topics 29(01), 2450009 (2026)

work page 2026
[3]

Physical Review Letters59(7), 799 (1987)

Affleck, I., Kennedy, T., Lieb, E.H., Tasaki, H.: Rigorous results on valence-bond ground states in antiferromagnets. Physical Review Letters59(7), 799 (1987)

work page 1987
[4]

Communications in Mathematical Physics115(3), 477–528 (1988)

Affleck, I., Kennedy, T., Lieb, E.H., Tasaki, H.: Valence bond ground states in isotropic quan- tum antiferromagnets. Communications in Mathematical Physics115(3), 477–528 (1988)

work page 1988
[5]

Springer, Berlin (1987)

Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics 1 and 2, 2nd edn. Springer, Berlin (1987)

work page 1987
[6]

Physical Review B83, 035107 (2011)

Chen, X., Gu, Z.-C., Wen, X.-G.: Classification of gapped symmetric phases in one- dimensional spin systems. Physical Review B83, 035107 (2011)

work page 2011
[7]

Physical Review B 84, 235128 (2011)

Chen, X., Gu, Z.-C., Wen, X.-G.: Complete classification of one-dimensional gapped quantum phases in interacting spin systems. Physical Review B 84, 235128 (2011)

work page 2011
[8]

Linear Algebra and Its Applications 10(3), 285–290 (1975)

Choi, M.-D.: Completely positive linear maps on complex matrices. Linear Algebra and Its Applications 10(3), 285–290 (1975)

work page 1975
[9]

T., Molnar, A., Schuch, N

De Groot, C., Stephen, D. T., Molnar, A., Schuch, N. Inaccessible entanglement in symmetry protected topological phases. Journal of Physics A: Mathematical and Theoretical, 53(33), 335302 (2020)

work page 2020
[10]

Communications in Mathematical Physics144, 443–490 (1992)

Fannes, M., Nachtergaele, B., Werner, R.F.: Finitely correlated states of quantum spin chains. Communications in Mathematical Physics144, 443–490 (1992)

work page 1992
[11]

Journal of Statistical Physics66, 939–973 (1992)

Fannes, M., Nachtergaele, B., Werner, R.F.: Ground states of VBS models on Cayley trees. Journal of Statistical Physics66, 939–973 (1992)

work page 1992
[12]

Physical Review Letters50(15), 1153 (1983)

Haldane, F.D.M.: Nonlinear field theory of large-spin Heisenberg antiferromagnets: semi- classically quantized solitons of the one-dimensional easy-axis N´ eel state. Physical Review Letters50(15), 1153 (1983)

work page 1983
[13]

Kallel, S., Sati, H., Schreiber, U. (2026). Higher-Dimensional Anyons via Higher Cohomotopy. arXiv preprint arXiv:2601.03150

work page arXiv 2026
[14]

Annals of Physics321(1), 2–111 (2006)

Kitaev, A.: Anyons in an exactly solved model and beyond. Annals of Physics321(1), 2–111 (2006)

work page 2006
[15]

Communications in Mathematical Physics374(2), 705–734 (2020)

Ogata, Y.: AZ 2-index of symmetry protected topological phases with time reversal symmetry for quantum spin chains. Communications in Mathematical Physics374(2), 705–734 (2020)

work page 2020
[16]

In: In- ternational Congress of Mathematicians, pp

Ogata, Y.: Classification of gapped ground state phases in quantum spin systems. In: In- ternational Congress of Mathematicians, pp. 4142–4161. European Mathematical Society, Helsinki (2023) 15

work page 2023
[17]

Physical Review B81, 064439 (2010)

Pollmann, F., Turner, A.M., Berg, E., Oshikawa, M.: Entanglement spectrum of a topological phase in one dimension. Physical Review B81, 064439 (2010)

work page 2010
[18]

Physical Review B85, 075125 (2012)

Pollmann, F., Berg, E., Turner, A.M., Oshikawa, M.: Symmetry protection of topological order in one-dimensional quantum spin systems. Physical Review B85, 075125 (2012)

work page 2012
[19]

Applied Physics Letters, 128(2) (2026)

Sati, H., Schreiber, U., Identifying anyonic topological order in fractional quantum anomalous Hall systems. Applied Physics Letters, 128(2) (2026)

work page 2026
[20]

Ragone, M.: SO(n) AKLT Chains as Symmetry Protected Topological Quantum Ground States. Ph.D. thesis, University of California, Davis (2024)

work page 2024
[21]

The European Physical Journal Plus, 141(4), 404 (2026)

Souissi, A., Andolsi, A., A hidden quantum Markov model framework for entanglement and topological order in the AKLT chain. The European Physical Journal Plus, 141(4), 404 (2026)

work page 2026
[22]

Causal Architecture in Hidden Quantum Markov Models

Souissi, A., Barhoumi, A.: Causal architecture in hidden quantum Markov models. Preprint at arXiv:2602.19120 (2026)

work page internal anchor Pith review Pith/arXiv arXiv 2026
[23]

Journal of Functional Analysis280, 108927 (2019)

Szab´ o, G.: On a categorical framework for classifying C∗-dynamics up to cocycle conjugacy. Journal of Functional Analysis280, 108927 (2019)

work page 2019
[24]

Journal of Mathematical Physics64, 041903 (2023)

Tasaki, H.: Rigorous index theory for one-dimensional interacting topological insulators. Journal of Mathematical Physics64, 041903 (2023)

work page 2023
[25]

Doctoral dissertation (2025)

Voigt, F.R.: Adapted unitary cocycles and quantum Markov processes: a cohomological approach. Doctoral dissertation (2025)

work page 2025
[26]

Z., Minimalist approach to the classification of symmetry protected topological phases

Xiong, C. Z., Minimalist approach to the classification of symmetry protected topological phases. Journal of Physics A: Mathematical and Theoretical, 51(44), 445001 (2018). 16

work page 2018