Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2610.20166

Quantized six-vertex realizations of frustration graphs

Atsuo Kuniba, Souta Oikawa

math-phmath.COnlin.SIquant-phSubmitted Oct 14, 2026• Announced Oct 15, 2026• 0 citations
arXivHTMLPDF

Abstract

A recent graph-theoretic criterion for a Hamiltonian to exhibit a free-parafermion spectrum is that its frustration graph be an indifference graph. We show that an arbitrary finite indifference graph can be realized as a frustration graph of the quantized six-vertex model at odd roots of unity, by a suitable choice of the defining wiring diagram and parameters. This provides a concrete realization of the criterion through the quantum Frobenius property of the quantized six-vertex model, recently established from its three-dimensional integrable structure.

Comments
16 pages, 11 figures

Related papers

Quantized six-vertex model at roots of unity: Frobenius property and free-parafermion spectra

Rei Inoue, Atsuo Kuniba, Yuji Terashima +1 more

We study the quantized six-vertex (Q6V) model on arbitrary admissible diagrams at $q=\varepsilon$, where $\varepsilon$ is a primitive $N$th root of unity with $N$ odd. For the commuting layer transfer matrices $\mathbb{T}(y)$ with mixed boundary conditions, we establish the quantum Frobenius property \[ \mathbb{T}(y)\mathbb{T}(\varepsilon y)\cdots \mathbb{T}(\varepsilon^{N-1}y) = \mathscr{P}_N(y^N)\mathbb{I}, \] where $\mathscr{P}_N$ is a scalar Laurent polynomial obtained directly from the monomial expansion of $\mathbb{T}(y)$. Our proof exploits the underlying three-dimensional integrability, in particular the tetrahedron equations and their consequences. The quantum Frobenius relation essentially determines the joint eigenvalues of the associated Hamiltonians up to multiplicities and shows that they take a free-parafermion form, thereby extending such structures from previously known one-dimensional examples to a broad class of genuinely two-dimensional quantized six-vertex models. The construction also admits independent local gauge choices and recovers the long-range-interacting $τ_{\; 2}$ model, which includes the original free-parafermion model as a special case. We also apply the same framework to the relativistic quantum Toda chain at odd roots of unity and obtain the free-parafermion spectra for the relevant Q6V transfer matrices with fixed boundary states.

arXiv:2609.27740•Sep 23, 2026•0 citations

A graph-theoretic framework for free-parafermion solvability

Ryan L. Mann, Samuel J. Elman, David R. Wood +1 more

We present a graph-theoretic characterization of when a quantum spin model admits an exact solution via a mapping to free parafermions. Our characterization is based on the concept of a frustration graph, which represents the commutation relations between Weyl operators of a Hamiltonian. We show that a quantum spin system has an exact free-parafermion solution if its frustration graph is an oriented indifference graph. Furthermore, we show that if the frustration graph of a model can be dipath oriented via switching operations, then the model is integrable in the sense that there is a family of commuting independent set charges. Additionally, we establish an efficient algorithm for deciding whether this is possible. Our characterization extends that given for free-fermion solvability. Finally, we apply our results to solve three qudit spin models.

arXiv:2408.09684•Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences•Apr 1, 2025•5 citations

Quantized six-vertex model on a torus

Rei Inoue, Atsuo Kuniba, Yuji Terashima +1 more

We study the integrability of the quantized six-vertex model with four parameters on a torus. It is a three-dimensional integrable lattice model in which a layer transfer matrix, depending on two spectral parameters associated with the homology cycles of the torus, can be defined not only on the square lattice but also on more general graphs. For a class of graphs that we call admissible, we establish the commutativity of the layer transfer matrices by introducing four types of tetrahedron equations and two types of inversion relations. Expanding in the spectral parameters yields a family of commuting quantum Hamiltonians. The quantized six-vertex model can also be reformulated in terms of (quantized) dimer models, and encompasses known integrable systems as special cases, including the free parafermion model and the relativistic Toda chain.

arXiv:2505.08924•May 13, 2025•0 citations

Solving Baxter's TQ-equation via representation theory

Christian Korff

Baxter's TQ-equation is solved for the six-vertex model using the representation theory of quantum groups at roots of unity. A novel simplified construction of the Q-operator is given depending on a new free parameter. Specializing this general construction to even roots of unity and lattices with an odd number of columns two linearly independent operator solutions of Baxter's TQ equation are obtained as special limits.

arXiv:math-ph/0411034•Nov 9, 2004•7 citations

Representation Theory and Baxter's TQ equation for the six-vertex model. A pedagogical overview

Christian Korff

A summary of the construction procedure of generalized versions of Baxter's Q-operator is given. Illustrated by several figures and diagrams the use of representation theory is explained step-by-step avoiding technical details. The relation with the infinite-dimensional non-abelian symmetries of the six-vertex model at roots of unity is discussed and parallels with the eight-vertex case outlined.

arXiv:cond-mat/0411758•ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)•Nov 30, 2004•3 citations

A newQ-matrix in the eight-vertex model

K. Fabricius

We construct a $Q$-matrix for the eight-vertex model at roots of unity for crossing parameter $η=2mK/L$ with odd $L$, a case for which the existing constructions do not work. The new $Q$-matrix $\Q$ depends as usual on the spectral parameter and also on a free parameter $t$. For $t=0$ $\Q$ has the standard properties. For $t\neq 0$, however, it does not commute with the operator $S$ and not with itself for different values of the spectral parameter. We show that the six-vertex limit of $\Q(v,t=iK'/2)$ exists.

arXiv:cond-mat/0610481•Journal of Physics A Mathematical and Theoretical•Mar 23, 2007•26 citations
A recent graph-theoretic criterion for a Hamiltonian to exhibit a free-parafermion spectrum is that its frustration graph be an indifference graph. We show that an arbitrary finite indifference graph can be realized as a frustration graph of the quantized six-vertex model at odd roots of unity, by a suitable choice of the defining wiring diagram and parameters. This provides a concrete realization of the criterion through the quantum Frobenius property of the quantized six-vertex model, recently established from its three-dimensional integrable structure.
We study the quantized six-vertex (Q6V) model on arbitrary admissible diagrams at q=εq=\varepsilonq=ε, where ε\varepsilonε is a primitive NNNth root of unity with NNN odd. For the commuting layer transfer matrices T(y)\mathbb{T}(y)T(y) with mixed boundary conditions, we establish the quantum Frobenius property T(y)T(εy)⋯T(εN−1y)=PN(yN)I, \mathbb{T}(y)\mathbb{T}(\varepsilon y)\cdots \mathbb{T}(\varepsilon^{N-1}y) = \mathscr{P}_N(y^N)\mathbb{I}, T(y)T(εy)⋯T(εN−1y)=PN​(yN)I, where PN\mathscr{P}_NPN​ is a scalar Laurent polynomial obtained directly from the monomial expansion of T(y)\mathbb{T}(y)T(y). Our proof exploits the underlying three-dimensional integrability, in particular the tetrahedron equations and their consequences. The quantum Frobenius relation essentially determines the joint eigenvalues of the associated Hamiltonians up to multiplicities and shows that they take a free-parafermion form, thereby extending such structures from previously known one-dimensional examples to a broad class of genuinely two-dimensional quantized six-vertex models. The construction also admits independent local gauge choices and recovers the long-range-interacting τ  2τ_{\; 2}τ2​ model, which includes the original free-parafermion model as a special case. We also apply the same framework to the relativistic quantum Toda chain at odd roots of unity and obtain the free-parafermion spectra for the relevant Q6V transfer matrices with fixed boundary states.
We present a graph-theoretic characterization of when a quantum spin model admits an exact solution via a mapping to free parafermions. Our characterization is based on the concept of a frustration graph, which represents the commutation relations between Weyl operators of a Hamiltonian. We show that a quantum spin system has an exact free-parafermion solution if its frustration graph is an oriented indifference graph. Furthermore, we show that if the frustration graph of a model can be dipath oriented via switching operations, then the model is integrable in the sense that there is a family of commuting independent set charges. Additionally, we establish an efficient algorithm for deciding whether this is possible. Our characterization extends that given for free-fermion solvability. Finally, we apply our results to solve three qudit spin models.
We study the integrability of the quantized six-vertex model with four parameters on a torus. It is a three-dimensional integrable lattice model in which a layer transfer matrix, depending on two spectral parameters associated with the homology cycles of the torus, can be defined not only on the square lattice but also on more general graphs. For a class of graphs that we call admissible, we establish the commutativity of the layer transfer matrices by introducing four types of tetrahedron equations and two types of inversion relations. Expanding in the spectral parameters yields a family of commuting quantum Hamiltonians. The quantized six-vertex model can also be reformulated in terms of (quantized) dimer models, and encompasses known integrable systems as special cases, including the free parafermion model and the relativistic Toda chain.
We construct a QQQ-matrix for the eight-vertex model at roots of unity for crossing parameter η=2mK/Lη=2mK/Lη=2mK/L with odd LLL, a case for which the existing constructions do not work. The new QQQ-matrix $\Q$ depends as usual on the spectral parameter and also on a free parameter ttt. For t=0t=0t=0 $\Q$ has the standard properties. For t≠0t\neq 0t=0, however, it does not commute with the operator SSS and not with itself for different values of the spectral parameter. We show that the six-vertex limit of $\Q(v,t=iK'/2)$ exists.