Matched pairs of actions on the Kac-Paljutkin algebra $H_8$

Yongyue Xiao; Yunnan Li

REVIEW 3 major objections 4 minor 1 cited by

Matched pairs of actions on the Kac-Paljutkin algebra $H_8$

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read There are exactly six matched pairs of actions on the Kac-Paljutkin Hopf algebra $H_8$, and exactly the two not derived from coquasitriangular structures produce involutive Yang-Baxter operators.

desk verdict First classification of matched pairs on H8, plausible but completeness rests on 14 unshown case eliminations. read the letter →

arxiv 2501.13747 v1 pith:NNNVVYNI submitted 2025-01-23 math.QA math.RA

Yongyue Xiao , Yunnan Li This is my paper · ORCID

classification math.QAmath.RA MSC 16T0516T25

keywords matchedpairofactionsKac-PaljutkinHopfalgebraYang-BaxteroperatorcoquasitriangularstructurebraidequationH8classificationinvolutivesolution

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper classifies all matched pairs of actions on the Kac-Paljutkin Hopf algebra $H_8$, the unique eight-dimensional noncommutative and noncocommutative semisimple Hopf algebra. It finds exactly six such structures, presented as multiplication tables for the left action. Four of the six arise from the coquasitriangular structures of $H_8$ through a standard construction; the remaining two are not obtainable from any such structure. The Yang-Baxter operators generated by the six matched pairs are then analyzed, and exactly the two non-coquasitriangular pairs are shown to be involutive. This matters because matched pairs of actions are a practical source of explicit solutions to the Yang-Baxter equation.

What carries the argument

The central object is a matched pair of actions on a Hopf algebra: a pair of compatible module coalgebra actions $\rightharpoonup$ and $\leftharpoonup$ satisfying the matching conditions (1)–(5) together with the factorization condition $xy=(x_1\rightharpoonup y_1)(x_2\leftharpoonup y_2)$. The classification strategy determines the left action first on the group-like elements $1,g,h,gh$, then on the non-group-like elements $z,gz,hz,ghz$, and reduces the hardest step to solving for six undetermined coefficients in $z\rightharpoonup z$. The Yang-Baxter operator attached to a matched pair is $r(x\otimes y)=(x_1\rightharpoonup y_1)\otimes(x_2\leftharpoonup y_2)$, and the involutivity test is the condition $x\leftharpoonup y=S(x_1\rightharpoonup y)\rightharpoonup x_2$.

What would settle it

A direct check of the 14 unlisted situations from Remark 2.2 would settle completeness: if any one of them admits coefficients $(a_1,\dots,a_8)$ for $z\rightharpoonup z$ satisfying the corresponding system of coefficient equations together with the coalgebra-action condition, then a seventh matched pair exists and Theorem 2.3 is false. Such a check can be done by a short computer search, since each situation reduces to quadratic equations in eight unknowns.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central claim is the complete classification stated as Theorem 2.3: there are six matched pairs of actions on $H_8$, listed in Tables 1 through 6. Using the full set of coquasitriangular structures on $H_8$, the paper shows in Theorem 3.1 that exactly the pairs in Tables 5 and 6 cannot be obtained by the standard formulas that turn a coquasitriangular structure into a matched pair. Theorem 4.2 then states that the Yang-Baxter operators associated to these two distinguished pairs are involutive, meaning $r^2=\mathrm{id}$, while the operators for Tables 1 through 4 fail the equivalent condition (24). The discovery, in short, is that the exceptional matched pairs—not the ones coming from familiar quantum-group symmetries—are exactly the ones producing time-reversible solutions of the braid equation.

Load-bearing premise

The list of six matched pairs is complete only if the unshown assertion of Remark 2.2 is true: in 14 of the 16 situations, solving the undetermined-coefficient equations for $z\rightharpoonup z$ yields no solution, and the paper demonstrates only one of those contradictions explicitly.

Editorial extensions

If this is right

The six listed tables give a complete catalogue of matched pairs of actions on $H_8$, so no further such actions exist on this Hopf algebra if the case check of Remark 2.2 is correct.
Four of the six actions are realizable from coquasitriangular structures, meaning they correspond to ordinary quantum-group R-matrix constructions; the other two are outside that source.
The two exceptional matched pairs produce involutive Yang-Baxter operators, giving explicit solutions of the braid equation with $r^2=\mathrm{id}$ on an eight-dimensional noncommutative and noncocommutative Hopf algebra.
The classification, together with the characterization theorem, yields a checkable condition that identifies which of the associated Yang-Baxter operators are involutive table by table.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the unlisted-case check in Remark 2.2 is confirmed by an independent computation, the six-pair classification is complete, and any future construction claiming a matched pair on $H_8$ must reduce to one of these tables.
The two non-coquasitriangular matched pairs are the most promising candidates for building exotic braided structures or bicrossed products on $H_8$, since they do not come from the familiar coquasitriangular R-form.
One could test whether the involutive operators from Tables 5 and 6 restrict to set-theoretic solutions on the group-like elements, or whether they induce new solutions on other eight-dimensional Hopf algebras by the same method.
The same three-step strategy—group-likes first, then the $z$-type elements, then undetermined coefficients on $z\rightharpoonup z$—could be applied to the other eight-dimensional Hopf algebras mentioned in the introduction to produce a small atlas of Yang-Baxter operators.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: this is a workmanlike classification paper for the Kac-Paljutkin algebra H8, and it is the first one for this algebra. The authors solve the two productive situations in detail, produce six left actions, and show that exactly two of them survive the coquasitriangular test and give involutive Yang-Baxter operators. The computations shown are consistent and I did not find an internal contradiction. The identification of the Suzuki presentation with the g,h,z presentation is explicit enough to follow.

The soft spot is exactly where the reader put it: Theorem 2.3 (the six matched pairs are all of them) depends on eliminating 14 of the 16 situations in Remark 2.2, and for those we are told 'can be discussed similarly' with a single worked contradiction. The derivation of the four right-action choices that produce the 16-way branch is also compressed. For a classification theorem this is a load-bearing gap, though not one that looks fatal: the pattern in Situations 1 and 2 suggests the remaining cases genuinely die, but the reader cannot verify without redoing all of them. A computer file or a full table of the 14 cases would close it.

Section 3 is condensed. The authors map two coquasitriangular families to four of their six actions and show the remaining two are new. The computation of z in terms of the xij is spelled out, and the key row is plausibly correct. Section 4 uses Theorem 4.1 from the author's own recent paper [9] as a black box; that is a citation, not a circular derivation, and the check for Tables 5 and 6 is shown. I would like the authors to verify (23) rather than just assert it, but the listed right actions in Tables 11 and 12 give the reader something to check.

Bottom line: this paper is for people working with matched pairs and Yang-Baxter operators on low-dimensional Hopf algebras. It is a natural next example after H4 and the Taft algebras, and the two involutive operators are a concrete result. It deserves a serious referee, but the referee should insist on closing the 14-case gap before publication.

Referee Report

3 major / 4 minor

Summary. The paper classifies all matched pairs of actions on the Kac–Paljutkin Hopf algebra H8, the unique 8-dimensional noncommutative noncocommutative semisimple Hopf algebra. It uses Theorem 2.1, quoted from [6] and [9], to reduce the problem to finding left H8-module coalgebra actions for which the right action defined by Eq. (8) is a right H8-module coalgebra action. After a preliminary analysis of actions on the group-like elements, the paper enumerates 16 situations and solves two of them in detail, obtaining six left actions displayed in Tables 1–6 (Theorem 2.3). It then compares these with the four left actions induced by the two families of coquasitriangular structures on H8 classified by Suzuki, concluding that exactly four of the six come from coquasitriangular structures and that the two in Tables 5 and 6 do not (Theorem 3.1). Finally, using the involutivity criterion from [9], it shows that the Yang–Baxter operators associated with exactly those two exceptional matched pairs are involutive (Theorem 4.2).

Significance. If fully established, this would be a useful and nontrivial classification: H8 is the unique 8-dimensional noncommutative noncocommutative semisimple Hopf algebra, and the paper connects its matched pairs to coquasitriangular structures and to involutive Yang–Baxter operators. The computations for Situations 1 and 2 are detailed, the coefficient equations are written out, and the six tables are internally consistent. The use of Suzuki's classification of coquasitriangular structures and the cited involutivity criterion is appropriate. However, the paper is not accompanied by machine-checked proofs or a computational record, so the exhaustive part of the classification currently rests on several unshown assertions.

major comments (3)

[§2.2, Remark 2.2] Theorem 2.3 claims there are exactly six matched pairs, but the exhaustive part of the classification is not demonstrated. Remark 2.2 states that the remaining 14 of the 16 situations can be discussed similarly and yield no solution, but only one representative contradiction is shown. A classification theorem requires either a complete case-by-case elimination for all 14 situations or a reproducible computer-algebra transcript (for example, Gröbner-basis computations for the polynomial systems in the undetermined coefficients). Without this, a missed solution in any unshown situation would enlarge the list in Theorem 2.3 and propagate to Theorems 3.1 and 4.2.
[§2.2, cases (b)–(d)] The elimination of cases (b)–(d) is incomplete as written. For case (b), the displayed difference of the two sides of Eq. (5) is claimed to equal 1/2(g−1)(h⇀z)⊗(1−g)(h↼z). From the two displayed expressions immediately above, the difference is actually 1/2[(g−1)(h⇀z)⊗h↼z+(1−g)(h⇀z)⊗gh↼z] = 1/2(g−1)(h⇀z)⊗(h↼z−gh↼z). The printed simplification is therefore valid only under the additional unstated relation gh↼z = g(h↼z). Moreover, nonvanishing of the tensor product requires knowing, for instance, that h↼z and gh↼z are distinct group-like elements and that h⇀z is not fixed by left multiplication by g; these facts are not proved before cases (b)–(d) are dismissed. Cases (c) and (d) are dismissed with no calculation at all.
[§4, proof of Theorem 4.2] The claim that exactly the two exceptional matched pairs yield involutive Yang–Baxter operators is not fully supported. The paper verifies that Eq. (24) fails for the pair in Table 1 and then states that the pairs in Tables 2–4 fail similarly; for the pairs in Tables 5 and 6 it states that Eq. (23) can be verified, without displaying the verification. Since Theorem 4.2 asserts an exact characterization, the four negative checks and the two positive checks should be recorded, or an explicit symmetry argument reducing the checks to the one displayed case should be provided.

minor comments (4)

[§2.2] The four choices for the right action of z on {g,h,gh} are obtained by the similar method with no derivation shown. Because these four choices are the basis of the 16-situation enumeration, a sentence indicating the equations that force exactly these four possibilities would help the reader verify the branching.
[§3] Tables 7–10 are said to arise from the two families of coquasitriangular structures (18) and (19), but the parameter values (α,β) and (γ,ξ) used for each table are not specified. Please state which parameter values produce each of the four actions.
[§2.2 and §4] The right actions for the matched pairs in Tables 1–4 are never listed. Since they are determined by Eq. (8), this is acceptable, but a sentence saying so explicitly would make the checks in Section 4 easier to follow.
[Throughout] There are numerous typographical and formatting issues, including inconsistent capitalization such as TABLEs and T ABLEs, and spacing errors in the abstract; a careful proofread is needed.

Circularity Check

0 steps flagged · score 0.0 of 10

The matched-pair classification and the involutivity results are derived by direct coefficient comparison and explicit verification; no step reduces to its own input.

full rationale

The paper's derivation is self-contained. The classification in Section 2 solves the matched-pair equations for H8 by first determining actions on group-likes, then reducing the remaining unknown to z⇀z, and solving the resulting polynomial systems (10), (12), and (15) by undetermined coefficients. The two contributing situations are worked out explicitly, and the right action ↼ is then obtained from Eq. (8) and checked to be a right module coalgebra action before Theorem 2.3 is invoked. The cited Theorem 2.1 (from [9] and [6]) and Theorem 4.1 (from [9]) are general characterizations of matched pairs and involutive Yang-Baxter operators; they do not presuppose the six tables. Theorem 4.1 is applied by directly verifying Eq. (23) for Tables 5 and 6 and Eq. (24) for Tables 1–4, so the involutivity conclusion is not imported from the citation. The assertion in Remark 2.2 that the remaining 14 situations have no solution is compressed and is a completeness concern, not a circular one; it does not make the output equivalent to an input. No fitted parameter is renamed as a prediction, and no result is defined in terms of the conclusion.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The classification solves a system of polynomial equations for the coefficients of z⇀z; no constants are fitted to data. The paper imports background results from the literature, most importantly Theorem 2.1 (from [6] and [9]) and Suzuki's classification of coquasitriangular structures, plus Theorem 4.1 from the companion paper [9]. These are stated as hypotheses rather than derived here.

assumptions (5)

standard math H8 is the unique 8-dimensional non-commutative and non-cocommutative semisimple Hopf algebra, generated by g, h, z with the relations given in Section 2, and has basis {1, g, h, gh, z, gz, hz, ghz}.
This presentation is taken from prior literature and defines the object studied.
domain assumption The ground field k is algebraically closed of characteristic 0 (Convention).
This is needed for the polynomial equations to have the claimed solutions involving sqrt(-1).
standard math Theorem 2.1: if a left H-module coalgebra action ⇀ on H is given and ↼ defined by Eq. (8) is a right H-module coalgebra action, then (H, ⇀, ↼) is a matched pair of actions.
The paper uses this theorem without proof to reduce the classification to left actions; it is cited from [6] and [9].
standard math Suzuki's classification of all coquasitriangular structures on H8 = A^{+-}_{12}, namely the two families σ_{α,β} and τ_{γ,ξ} with the stated constraints.
Used in Theorem 3.1 to decide which matched pairs are derived from coquasitriangular structures; the classification is cited from [21].
standard math Theorem 4.1 from [9]: the Yang-Baxter operator r associated to a matched pair of actions is involutive iff Eq. (23) holds (equivalently, iff Eq. (24) holds).
Used to conclude Theorem 4.2; this theorem is from the companion paper [9] by one of the present authors.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Matched pairs of actions on the Kac-Paljutkin algebra $H_8$." pith.science (2026). https://pith.science/paper/NNNVVYNI

@misc{pith2026250113747,
  author       = {Pith},
  title        = {Pith review of: Matched pairs of actions on the Kac-Paljutkin algebra $H_8$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NNNVVYNI}},
  note         = {Machine review of arXiv:2501.13747}
}

abstract

The notion of matched pair of actions on a Hopf algebra generalizes the braided group construction of Lu, Yan and Zhu, and efficiently provides Yang-Baxter operators. In this paper, we classify matched pairs of actions on the Kac-Paljutkin Hopf algebra $H_8$. Through calculations, we obtain 6 matched pairs of actions on $H_8$. Based on such a classification result, we find that four of them can be derived from the coquasitriangular structures of $H_8$, while the other two can not. Furthermore, we discover that the Yang-Baxter operators associated to exactly these two distinguished matched pairs of actions are involutive.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Matched pairs and Yang-Baxter operators
math.QA 2025-01 accept novelty 7.0 of 10

A matched pair of actions on a Hopf algebra gives an involutive Yang-Baxter operator exactly when its intrinsic Hopf algebra is braided commutative.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · cited by 1 Pith paper

[9]

Matched pairs and Yang-Baxter operators

Y . Li, Matched pairs and Y ang-Baxter operators, arXiv:2501.11975. 2, 3, 4, 17

work page Pith review arXiv
[6]

J. A. Guccione, J. J. Guccione and C. V alqui, Set-theoreti c type solutions of the braid equation, arXiv:2008.13494 (v5); with the original version already p ublished in J. Algebra 2, 4, 17

work page Pith review arXiv 2008
[1]

A. L. Agore, Classifying bicrossed products of two Taft al gebras, J. Pure Appl. Algebra 222 (2018), 914–930. 2

work page 2018
[2]

A. L. Agore, C. G. Bontea and G. Militaru, Classifying bicr ossed products of Hopf algebras, Algebr . Represent. Theory 17 (2014), 227–264. 2

work page 2014
[3]

Angiono, C

I. Angiono, C. Galindo and L. V endramin, Hopf braces and Y a ng-Baxter operators, Proc. Amer . Math. Soc. 145 (2017), 1981–1995. 2

work page 2017
[4]

C. G. Bontea, Classifying bicrossed products of two Sweed ler’s Hopf algebras, Czech. Math. J. 64 (2014), 419–431. 2, 4

work page 2014
[5]

Matched pairs and Yetter-Drinfeld braces

D. Ferri and A. Sciandra, Matched pairs and Y etter-Drinfe ld braces, arXiv:2406.10009. 2, 14

work page Pith review arXiv
[7]

Hu and Y

J. Hu and Y . Zhang, The β-character algebra and a commuting pair in Hopf algebras, Algebr . Represent. Theory 10 (2007), 497–516. 3

work page 2007

Show all 24 references

[8]

G. I. Kac and V . G. Paljutkin, Finite ring groups, Trudy Moskov. Mat. Ob ˇsˇc 15 (1966), 224–261. 2

1966
[10]

D. Lu, Y . Ning and D. Wang, The bicrossed products of H4 and H8, Czech. Math. J. 70 (2020), 959–977. 2, 4

2020
[11]

J. Lu, M. Y an and Y . Zhu, On the set-theoretical Y ang-Baxter equation, Duke Math. J. 104 (2000), 1–18. 2

2000
[12]

Majid, Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossprod- uct construction, J

S. Majid, Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossprod- uct construction, J. Algebra 130 (1990), 17–64. 1

1990
[13]

Majid, Foundations of quantum group theory, Cambridg e University Press, 1995

S. Majid, Foundations of quantum group theory, Cambridg e University Press, 1995. 1, 14

1995
[14]

Masuoka, Semisimple Hopf algebras of dimension 6 , 8, Israel J

A. Masuoka, Semisimple Hopf algebras of dimension 6 , 8, Israel J. Math. 92 (1995), 361–373. 2

1995
[15]

Montgomery, Hopf algebras and Their Actions on Rings, Amer

S. Montgomery, Hopf algebras and Their Actions on Rings, Amer. Math. Soc., Regional Conf. Ser. in Math., 82, 1993. 2 MA TCHED PAIRS OF ACTIONS ON THE KAC-PALJUTKIN ALGEBRA H8 19

1993
[16]

Pansera, A class of semisimple Hopf algebras acting on quantum polynomial algebras, in: Rings, modules and codes, 303–316, Contemp

D. Pansera, A class of semisimple Hopf algebras acting on quantum polynomial algebras, in: Rings, modules and codes, 303–316, Contemp. Math., 727., 2019. 3

2019
[17]

D. S. Sage and M. D. V ega, Twisted Frobenius-Schur indica tors for Hopf algebras, J. Algebra 354 (2012), 136–147. 3

2012
[18]

Shi, Finite dimensional Hopf algebras over the Kac-Pa ljutkin algebra H8, Rev

Y . Shi, Finite dimensional Hopf algebras over the Kac-Pa ljutkin algebra H8, Rev. Un. Mat. Argentina 60 (2019), 265–298. 3

2019
[19]

W . M. Singer, Extension theory for connected Hopf algebr as. J. Algebra 21 (1972), 1–16. 1

1972
[20]

Stefan, Hopf algebras of low dimension, J

D. Stefan, Hopf algebras of low dimension, J. Algebra 211 (1999), 343–361. 2

1999
[21]

Suzuki, A family of braided cosemisimple Hopf algebra s of ﬁnite dimension, Tsukuba J

S. Suzuki, A family of braided cosemisimple Hopf algebra s of ﬁnite dimension, Tsukuba J. Math. 22 (1998), 1–29. 3, 14

1998
[22]

Takeuchi, Matched pairs of groups and bismash product s of Hopf algebras, Comm

M. Takeuchi, Matched pairs of groups and bismash product s of Hopf algebras, Comm. Algebra 9 (1981), 841–882. 1

1981
[23]

Wakui, Polynomial invariants for a semisimple and cos emisimple Hopf algebra of ﬁnite dimension, J

M. Wakui, Polynomial invariants for a semisimple and cos emisimple Hopf algebra of ﬁnite dimension, J. Pure Appl. Algebra 214 (2010), 701–728 3, 14

2010
[24]

K. Zhou, G. Liu, On the quasitriangular structures of abe lian extensions of Z2, Comm. Algebra 49 (2021), 4755–4762. 3 School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China Email address: 2112315047@e.gzhu.edu.cn School of Mathematics and...

2021

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [9]

Matched pairs and Yang-Baxter operators

Y . Li, Matched pairs and Y ang-Baxter operators, arXiv:2501.11975. 2, 3, 4, 17

work page Pith review arXiv

[2] [6]

J. A. Guccione, J. J. Guccione and C. V alqui, Set-theoreti c type solutions of the braid equation, arXiv:2008.13494 (v5); with the original version already p ublished in J. Algebra 2, 4, 17

work page Pith review arXiv 2008

[3] [1]

A. L. Agore, Classifying bicrossed products of two Taft al gebras, J. Pure Appl. Algebra 222 (2018), 914–930. 2

work page 2018

[4] [2]

A. L. Agore, C. G. Bontea and G. Militaru, Classifying bicr ossed products of Hopf algebras, Algebr . Represent. Theory 17 (2014), 227–264. 2

work page 2014

[5] [3]

Angiono, C

I. Angiono, C. Galindo and L. V endramin, Hopf braces and Y a ng-Baxter operators, Proc. Amer . Math. Soc. 145 (2017), 1981–1995. 2

work page 2017

[6] [4]

C. G. Bontea, Classifying bicrossed products of two Sweed ler’s Hopf algebras, Czech. Math. J. 64 (2014), 419–431. 2, 4

work page 2014

[7] [5]

Matched pairs and Yetter-Drinfeld braces

D. Ferri and A. Sciandra, Matched pairs and Y etter-Drinfe ld braces, arXiv:2406.10009. 2, 14

work page Pith review arXiv

[8] [7]

Hu and Y

J. Hu and Y . Zhang, The β-character algebra and a commuting pair in Hopf algebras, Algebr . Represent. Theory 10 (2007), 497–516. 3

work page 2007