Pith. sign in

REVIEW 3 major objections 5 minor 2 cited by

The geometry of the six quaternionic equiangular lines in $\mathbb{H}^2$

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The six quaternionic equiangular lines in the quaternionic plane form one orbit of a 720-element reflection group.

desk verdict A plausible and largely checkable orbit presentation of the six quaternionic equiangular lines, but the main theorem relies on unshown Magma computations and the abstract misnames the 12-line design. read the letter →

arxiv 2411.16766 v1 pith:4QC33EK3 submitted 2024-11-25 math.GT

Shayne Waldron This is my paper · ORCID
classification math.GT MSC 05B3015B3320C2520G2051M0551M2015B5751E99
keywords finitetightframesquaternionicequiangularlinesequi-isoclinicsubspacesreflectiongroupsrepresentationsoverthequaternionsFrobenius-Schurindicatorprojectivesphericalt-designsdoublecoverofA6
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 aims to show that the six quaternionic equiangular lines in the quaternionic plane, previously known only through explicit coordinate solutions, are actually a single group orbit. The group in question is a primitive quaternionic reflection group of order 720, isomorphic to the double cover of the alternating group $A_6$. The orbit consists of 720 distinct vectors, 120 on each of the six lines, and the stabilizer of a line acts faithfully on that line as the binary icosahedral group. Other orbits of the same group are shown to be optimal spherical designs with 10, 15, and 20 lines, and a union of the two six-line orbits gives a 12-line optimal design. A reader should care because this gives the first group-theoretic presentation of a maximal quaternionic equiangular line system and suggests a general way to build highly symmetric line systems from finite groups.

What carries the argument

The carrying object is the quaternionic reflection group $H_{720}$, generated by four explicit $2\times 2$ quaternionic matrices derived from one of the classical finite collineation groups in $\mathbb{C}^4$, conjugated so that the first two generators form the Shephard-Todd number 4 complex reflection group $H_{24}$. The mechanism is the orbit construction: choose a fiducial vector $w$ whose line is fixed by a reducible order-120 subgroup $H=\langle b_3,g_2\rangle$; then the 720 elements of $H_{720}$ push $w$ to 720 distinct vectors, 120 on each of six equiangular lines. The polynomial identities $p^{(1)}_{H_{24}}=0$, $p^{(2)}_{H_{720}}=0$, and $p^{(3)}_{H_{1440}}=0$, verified by computer algebra, certify that every nonzero vector orbit of these groups is a spherical $(1,1)$-, $(2,2)$-, or $(3,3)$-design respectively.

What would settle it

Recompute, with independent exact-arithmetic software, whether the four matrices $b_1,\dots,b_4$ from equation (3.10) generate a group of order 720, whether the orbit of the vector $w$ from (4.12) has exactly 720 distinct vectors lying on only six distinct quaternionic lines, and whether $p^{(1)}_{H_{24}}=0$, $p^{(2)}_{H_{720}}=0$, and $p^{(3)}_{H_{1440}}=0$ hold as polynomial identities; a failure in any of these checks would overturn the six-line orbit presentation and the new design optimality claims.

Watch

Extended reading notes

Core claim

The central claim is Theorem 5.1: for the primitive quaternionic reflection group $H_{720}=\langle b_1,b_2,b_3,b_4\rangle$ of order 720, isomorphic to $2\cdot A_6$, and the two orthogonal vectors $w$ and $w_\perp$ given explicitly in terms of quaternionic units, the orbits of $w$ and $w_\perp$ each contain 720 distinct vectors lying in six equiangular lines, with 120 vectors per line. The subgroup fixing the line through $w$ has order 120, is isomorphic to the binary icosahedral group $2\cdot A_5$, and acts faithfully and irreducibly on that line; the space decomposes into two non-isomorphic irreducible submodules spanned by $w$ and $w_\perp$. Thus the six equiangular lines are not root lines of the reflection group but arise from a fiducial vector fixed only projectively by a reflection-free subgroup, which is why they had not been recognized as a group orbit before.

Load-bearing premise

The construction rests on unshown computer algebra computations: that the given generators define a group of order 720 of type $2\cdot A_6$, that the fiducial vector's orbit splits into exactly six lines, and that the three polynomial design identities vanish; if any one of these computed facts is wrong, the central claim is not established as written.

Editorial extensions

If this is right

  • Every nonzero vector orbit of $H_{720}$ is a spherical $(2,2)$-design, so the six-line equiangular set sits inside a whole family of designs carrying the same symmetry.
  • The 15-line and 20-line orbits of maximal reducible subgroups meet the special bound and are new optimal spherical designs, adding to the previously known 10-line optimal design.
  • The union of the two six-line orbits is a 12-line spherical $(3,3)$-design with angle set $\{0, 2/5, 3/5\}$, and it is fixed by the larger group $H_{1440}\cong 2\cdot S_6$.
  • The stabilizer of each line acts faithfully on that line as the binary icosahedral group $2\cdot A_5$, so every one of the six lines is itself a small representation space with large symmetry.
  • The construction gives a general recipe: starting with a finite group with an irreducible action on $\mathbb{H}^2$ and a maximal reducible subgroup fixing a line, one obtains highly symmetric line systems; applied to $H_{720}$ and $H_{1440}$, this recovers the known optimal line systems in the quaternionic plane.

Reading between the lines

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

  • Because the paper's order-720 and design-optimality claims rest on unlisted computer algebra computations, an independent exact-arithmetic verification would convert these existence statements into certified ones; the same programs could test whether the algebraic variety of fixed lines for a nonmaximal subgroup ever contains points outside the varieties of its maximal supergroups, a question the
  • The orbit construction points toward other faithful irreducible quaternionic representations of double covers of simple groups: the paper records rank-2 and rank-3 quaternionic characters of the stabilizer $2\cdot A_5$, so analogous highly symmetric line systems may exist in higher-dimensional quaternionic spaces such as $\mathbb{H}^3$.
  • The contrast between root orbits and fiducial orbits may be a general phenomenon: maximal equiangular line sets can arise from vectors fixed only projectively by reflection-free subgroups, so other primitive quaternionic reflection groups deserve a search for non-root orbits that reach the equiangular bound.
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.

Referee Report

3 major / 5 minor

Summary. The paper gives an explicit orbit construction of the unique maximal set of six quaternionic equiangular lines in H^2. The main objects are explicit: generators b1,...,b4 in (3.10) are said to generate a quaternionic reflection group H720 of order 720 isomorphic to 2.A6; a fiducial vector w in (4.12) and its orthogonal partner w_perp in (5.21) are proposed, and Theorem 5.1 asserts that their H720-orbits each consist of 720 distinct vectors lying on six equiangular lines, with a faithful irreducible action of the order-120 stabilizer on each line. The paper also reports that other orbits of H720, H24, and H1440 give optimal quaternionic spherical designs with 6, 10, 12, 15, 20, and 30 lines, and it verifies the design conditions for the small orbits by explicit sums in Section 6. A substantial part of the group-theoretic and structural information is presented as Magma computations without code, logs, or certificates.

Significance. If the computational assertions are correct, the paper provides a conceptually simple presentation of the six quaternionic equiangular lines and identifies their symmetry as the quaternionic reflection group 2.A6, which is a valuable structural result for quaternionic line systems. It also produces several new quaternionic spherical designs that meet Hoggar's special bounds; the explicit design sums in Section 6 are concrete and checkable, and the construction is parameter-free and based on explicitly given matrices and vectors. The main weakness is that the central group-order, stabilizer-order, faithfulness, and polynomial-identity facts are asserted as computer calculations without the accompanying auditable code or outputs, so the proof of Theorem 5.1 and the 'every orbit is a design' claims are not independently verifiable from the paper as written.

major comments (3)
  1. [§2, §5, Theorem 5.1] The assertions that the matrices b1,...,b4 in (3.10) generate a group of order 720 with small-group identifier <720,409>, that this group is isomorphic to 2.A6, that the subgroup <b3,g2> with g2 as in (4.13) is the full stabilizer of the line through w and has order 120, and that its action on that line is faithful, are all reported as Magma computations described only in words. These facts are load-bearing: they are exactly what converts the explicit orbit of w into 720 distinct vectors on six equiangular lines. Please supply the Magma code and output logs, or equivalent auditable certificates (e.g., GAP scripts or computer-checkable proofs), or replace these assertions with self-contained arguments. Without this, the main theorem is not verifiable from the manuscript as it stands.
  2. [§7, Eq. (7.29)] The identities p(1)_H24 = 0, p(2)_H720 = 0, p(3)_H1440 = 0 are reported as the results of a Magma calculation with no code or output shown. These identities underwrite the blanket claims that every H720-orbit of a nonzero vector is a spherical (2,2)-design and every H1440-orbit is a spherical (3,3)-design, which are used for the optimality statements in Example 6.2 and Example 6.4. The design sums in Section 6 are explicit and checkable for the particular small orbits, but the 'every orbit' claims require the polynomial identities. Please provide the calculation (code and output, or a proof) for these identities.
  3. [§5, Example 5.1] The statement that the stabilizer Gv has order 120 and is isomorphic to 2.A5 is not justified in the text; it is a heavy computational input, not a consequence of the preceding discussion. Likewise, the verification that W = span_H{w} is an irreducible H-submodule and that W^⊥ is a non-isomorphic irreducible H-submodule is only sketched: the character comparison at g2 uses the upper and lower diagonal blocks in (5.20), but the text never presents the full character computation or the direct check that the block submodule is irreducible. Please either give the full computation or clearly state which computations are needed and make them auditable.
minor comments (5)
  1. [Abstract] There is a typo 'equian gular' in the first sentence of the abstract; it should read 'equiangular'.
  2. [§3] The notation 'O1, O2, O3' for Cohen's root systems is used without definition; please specify the exact location in [Coh80, Table II] so the reader can verify the quoted identification.
  3. [§4, §5] The expressions 'τ−1/2' are ambiguous: they could be read as τ − 1/2 or (τ−1)/2. Since τ = (1+√5)/2, the intended value is almost certainly (τ−1)/2 in several places; please write the fraction explicitly.
  4. [§5] The sentence 'Since α_{−I} = −1, it follows (or by direct computation) that H*_{G,v}, which is a quotient of Gv by a normal subgroup, is 2·A5' would benefit from an explicit statement that the kernel of the map Gv → H* has order 1 because the only normal subgroup of order 2 is the centre {±I} and −I is not in the kernel.
  5. [§7] The description of the algebraic variety V1(G) says the system has '|G| polynomial equations' but then says it is 'the system of |G| polynomial equations (7.33)' in a way that is inconsistent with using only a generating set in (7.33); please clarify that the equations are only needed for generators, with the number of equations depending on the generating set.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the orbit construction is explicit and checked against independent benchmarks; unshown Magma computations are a reproducibility gap, not a circular reduction.

full rationale

The derivation is not circular in the relevant sense. The six-line set (1.1) is taken from Et-Taoui's independent uniqueness result, while H720 is defined by explicit matrices in (3.10), not as 'the symmetry group of the six lines'. The identification of the orbit with the known lines is then proved by the explicit conjugation A in (4.15), which maps (1.1) to the displayed orbit of w, and by the listed permutation action of the generators. The fiducial vector w is admittedly reverse-engineered by solving for a line fixed by a reducible subgroup of order 120, but the paper discloses this choice and verifies the resulting orbit exactly, so the conclusion is not an input relabelled as a prediction. The equiangularity and design-optimality claims are checked by direct inner-product sums and explicit arithmetic comparisons with the special and absolute bounds, not by fitting a parameter. Several results are cited from the author's prior work, notably [Wal20a] for the matrices Ua,Ub and for the tight-frame irreducibility criterion, but the matrices are displayed in the text and the cited criterion is a general theorem whose assumptions do not include the target configuration; these are therefore not load-bearing self-citations that force the conclusion. The genuine weakness is computational reproducibility: the group order 720, the small-group identifier <720,409>, the order-120 stabilizer, and the identities p^(1)_H24=0, p^(2)_H720=0, p^(3)_H1440=0 are reported from Magma without scripts, logs, or certificates. That is an audit gap in the proof of the main theorem, not a circular reduction. Because the central orbit and design claims have independent external anchors (Et-Taoui uniqueness, Cohen's classification, Hoggar's bounds) and are verified by direct computation, the paper falls in the low, non-circular band of the scale.

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

The construction is exact and parameter-free: the generators b1..b4, the fiducial vectors, and the design angle sets are all given explicitly, and the design verifications are direct sums. The paper's reliance is on prior classification theorems and characterizations, several from the author's own earlier papers, rather than on fitted constants. Free parameters: none. The central claim rests on the listed standard background results and on unshown Magma computations, which are flagged in red_flags.

assumptions (7)
  • domain assumption The six lines (1.1) from Et-Taoui form a maximal equiangular set in H^2, unique up to projective unitary equivalence.
    The paper presents its orbit as this same set and uses uniqueness in Section 4 and the table in Section 6 to assert optimality; the statement is cited to [ET20].
  • standard math Cohen's classification of finite quaternionic reflection groups is correct, including the uniqueness of the primitive order-720 group and its identification with Blichfeldt's collineation group (C).
    Section 3 uses 'Cohen gives a list ... including a unique one of order 720. Therefore H is the unique primitive quaternionic reflection group of order 720.'
  • standard math Hoggar's special and absolute bounds for quaternionic line systems and t-designs are valid.
    Section 6 certifies optimality of the 6, 12, 15 and 20 line designs using these bounds, e.g., the table of nu(A) values.
  • domain assumption The variational characterization (6.22)-(6.23) of projective spherical t-designs over H is equivalent to the harmonic-polynomial definition.
    Section 6 says 'It is quite technical [Wal20b] to show that this definition is equivalent to the variational characterisation (6.23)'; the design claims depend on this equivalence.
  • domain assumption A finite group G contained in U_d(H) is irreducible if and only if every orbit of a nonzero vector is a tight frame, i.e., a spherical (1,1)-design.
    Section 7 uses this from [Wal20a] to justify the polynomial irreducibility test p(t)_G = 0 and the conclusions p(1)_H24=0, p(2)_H720=0, p(3)_H1440=0.
  • standard math The finite subgroups of H* are the cyclic, binary dihedral, binary tetrahedral, binary octahedral, and binary icosahedral groups (Stringham/Cohen classification).
    Lemma 5.1 uses this classification to identify the order-120 stabilizer action on a line as the binary icosahedral group.
  • standard math Frobenius-Schur indicator theory: irreducible complex representations corresponding to quaternionic representations are exactly those with FS indicator -1, and characters of complexifications satisfy chi(g) = 2 Re(trace(g)).
    Section 5 uses this to prove that W and W_perp are non-isomorphic H-submodules of H^2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The geometry of the six quaternionic equiangular lines in $\mathbb{H}^2$." pith.science (2026). https://pith.science/paper/4QC33EK3

@misc{pith2026241116766,
  author       = {Pith},
  title        = {Pith review of: The geometry of the six quaternionic equiangular lines in $\mathbbH^2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4QC33EK3}},
  note         = {Machine review of arXiv:2411.16766}
}
abstract

We give a simple presentation of the six quaternionic equiangular lines in $\mathbb{H}^2$ as an orbit of the primitive quaternionic reflection group of order 720 (which is isomorphic to 2.A_6 the double cover of $A_6)$. Other orbits of this group are also seen to give optimal spherical designs (packings) of 10, 15 and 20 lines in $\mathbb{H}^2$, with angles { 1/3, 2/3 }, { 1/4, 5/8 } and { 0, 1/3, 2/3 }, respectively. We consider the origins of this reflection group as one of Blichfeldt's "finite collineation groups" for lines in $\mathbb{C}^4$, and general methods for finding nice systems of quaternionic lines.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. An elementary classification of the quaternionic reflection groups of rank two

    math.GR 2025-09 conditional novelty 7.0 of 10

    Finite imprimitive quaternionic reflection groups of rank two are fully classified using reflection systems, fixing an incomplete 1980 classification and adding previously missing groups.

  2. The lattice of normal reflection subgroups of an irreducible reflection group

    math.GR 2026-07 conditional novelty 6.5 of 10

    Normal reflection subgroups of an irreducible reflection group form a lattice combinatorially indexed by conjugacy orbits of root-line reflection subgroups, and every complex reflection group is normal in a unique max...

Reference graph

Works this paper leans on

31 extracted references · 11 canonical work pages · cited by 2 Pith papers

  1. [1]

    Constructing exact symmetric informationally complete measurements from numerical solutions

    Marcus Appleby, Tuan-Yow Chien, Steven Flammia, and Shayne Waldron. Constructing exact symmetric informationally complete measurements from numerical solutions. J. Phys. A , 51(16):165302, 40, 2018

    2018

  2. [2]

    Quaternionic determinants

    Helmer Aslaksen. Quaternionic determinants. Math. Intelligencer , 18(3):57--65, 1996

    work page 1996

  3. [3]

    Finite collineation groups : with an introduction to the theory of operators and substitution groups

    Hans Frederik Blichfeldt. Finite collineation groups : with an introduction to the theory of operators and substitution groups. University of Chicago science series. University of Chicago Press, Chicago, 1917

    1917

  4. [4]

    Bannai, A

    E. Bannai, A. Munemasa, and B. Venkov. The nonexistence of certain tight spherical designs. Algebra i Analiz , 16(4):1--23, 2004

    work page 2004

  5. [5]

    On parabolic subgroups of symplectic reflection groups

    Gwyn Bellamy, Johannes Schmitt, and Ulrich Thiel. On parabolic subgroups of symplectic reflection groups. Glasg. Math. J. , 65(2):401--413, 2023

    2023

  6. [6]

    On the construction of highly symmetric tight frames and complex polytopes

    Helen Broome and Shayne Waldron. On the construction of highly symmetric tight frames and complex polytopes. Linear Algebra Appl. , 439(12):4135--4151, 2013

    2013

  7. [7]

    Optimal simplices and codes in projective spaces

    Henry Cohn, Abhinav Kumar, and Gregory Minton. Optimal simplices and codes in projective spaces. Geom. Topol. , 20(3):1289--1357, 2016

    2016

  8. [8]

    Arjeh M. Cohen. Finite quaternionic reflection groups. J. Algebra , 64(2):293--324, 1980

    1980

Show all 31 references
  1. [9]

    Conway and Derek A

    John H. Conway and Derek A. Smith. On quaternions and octonions: their geometry, arithmetic, and symmetry . A K Peters, Ltd., Natick, MA, 2003

    2003

  2. [10]

    The projective symmetry group of a finite frame

    Tuan-Yow Chien and Shayne Waldron. The projective symmetry group of a finite frame. New Zealand J. Math. , 48:55--81, 2018

    2018

  3. [11]

    Delsarte, J

    P. Delsarte, J. M. Goethals, and J. J. Seidel. Spherical codes and designs. Geometriae Dedicata , 6(3):363--388, 1977

    1977

  4. [12]

    Quaternionic equiangular lines

    Boumediene Et-Taoui. Quaternionic equiangular lines. Adv. Geom. , 20(2):273--284, 2020

    2020

  5. [13]

    Real and quaternionic representations of finite groups

    Iordan Ganev. Real and quaternionic representations of finite groups. 2011. https://ivganev.github.io/notes/files/RealQuatRepns.pdf

    2011

  6. [14]

    Highly symmetric lines, 2022

    Mikhail Ganzhinov. Highly symmetric lines, 2022

    2022

  7. [15]

    S. G. Hoggar. Bounds for quaternionic line systems and reflection groups. Math. Scand. , 43(2):241--249 (1979), 1978

    1979

  8. [16]

    S. G. Hoggar. t -designs in projective spaces. European J. Combin. , 3(3):233--254, 1982

    1982

  9. [17]

    S. G. Hoggar. Parameters of t -designs in F P^ d-1 . European J. Combin. , 5(1):29--36, 1984

    1984

  10. [18]

    Constructing high order spherical designs as a union of two of lower order, 2019

    Mozhgan Mohammadpour and Shayne Waldron. Constructing high order spherical designs as a union of two of lower order, 2019

    2019

  11. [19]

    Complex spherical designs and codes

    Aidan Roy and Sho Suda. Complex spherical designs and codes. J. Combin. Des. , 22(3):105--148, 2014

    2014

  12. [20]

    a lzische Technische Universit \

    Johannes Schmitt. On Q-factorial terminalizations of symplectic linear quotient singularities . doctoralthesis, Rheinland-Pf \"a lzische Technische Universit \"a t Kaiserslautern-Landau, 2023

    2023

  13. [21]

    Linear representations of finite groups

    Jean-Pierre Serre. Linear representations of finite groups . Graduate Texts in Mathematics, Vol. 42. Springer-Verlag, New York-Heidelberg, 1977. Translated from the second French edition by Leonard L. Scott

    1977

  14. [22]

    Scolarici and L

    G. Scolarici and L. Solombrino. Notes on quaternionic group representations. Internat. J. Theoret. Phys. , 34(12):2491--2500, 1995

    1995

  15. [23]

    Differential equations invariant under finite reflection groups

    Robert Steinberg. Differential equations invariant under finite reflection groups. Trans. Amer. Math. Soc. , 112:392--400, 1964

    1964

  16. [24]

    W. I. Stringham. Determination of the F inite Q uaternion G roups. Amer. J. Math. , 4(1-4):345--357, 1881

  17. [25]

    Quaternion algebras , volume 288 of Graduate Texts in Mathematics

    John Voight. Quaternion algebras , volume 288 of Graduate Texts in Mathematics . Springer, Cham, [2021] 2021

    2021

  18. [26]

    On the construction of equiangular frames from graphs

    Shayne Waldron. On the construction of equiangular frames from graphs. Linear Algebra Appl. , 431(11):2228--2242, 2009

    2009

  19. [27]

    Shayne F. D. Waldron. An introduction to finite tight frames . Applied and Numerical Harmonic Analysis. Birkh\" a user/Springer, New York, 2018

    2018

  20. [28]

    Tight frames over the quaternions and equiangular lines, 2020

    Shayne Waldron. Tight frames over the quaternions and equiangular lines, 2020

    2020

  21. [29]

    A variational characterisation of projective spherical designs over the quaternions, 2020

    Shayne Waldron. A variational characterisation of projective spherical designs over the quaternions, 2020

    2020

  22. [30]

    Quantum Designs: Foundations of a non-commutative Design Theory

    Gerhard Zauner. Quantum Designs: Foundations of a non-commutative Design Theory . PhD thesis, University of Vienna, University of Vienna, 1 2010. English translation of 1999 Doctorial thesis including a new preface

    2010

  23. [31]

    Quaternions and matrices of quaternions

    Fuzhen Zhang. Quaternions and matrices of quaternions. Linear Algebra Appl. , 251:21--57, 1997

    1997

Pith tools

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