pith. sign in

arxiv: 2605.23011 · v1 · pith:LBSQGX37new · submitted 2026-05-21 · 🧮 math.CO

Star-Shaped Integral Cartan-Type Matrices and an Egyptian-Fraction Classification of Affine Weighted Trees

Emilio Torrente-Lujan This is my paper

Pith reviewed 2026-05-25 05:27 UTC · model grok-4.3

classification 🧮 math.CO
keywords affine Cartan matricesstar-shaped graphsEgyptian fractionsweighted treesintegral Z-matricesDynkin diagramsnull vectorsCoxeter labels
0
0 comments X

The pith

Star matrices are affine exactly when arm lengths satisfy the Egyptian-fraction equation sum 1/(r_i+1) = m-k.

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

The paper attaches symmetric integral Z-matrices to weighted star trees whose arms are ordinary A-type chains and whose central diagonal entry is an arbitrary positive integer k. It derives explicit formulas for the determinant and inertia and identifies the regimes where the matrix is positive definite or affine. The affine regime holds precisely when the arm lengths satisfy the unit-fraction equation summing to m minus k. This equivalence converts the classification of such affine weighted trees into a finite Egyptian-fraction enumeration problem for each fixed pair of m and k. The classical affine Dynkin stars appear as special cases within the solutions, while larger numbers of arms produce additional integral positive-semidefinite examples with explicit Coxeter labels.

Core claim

For a star with arm lengths r_1 to r_m and central entry k the associated integral matrix is affine if and only if the sum from i=1 to m of 1/(r_i+1) equals m-k; in that case the primitive positive null vector, the determinant, and the inertia are given by explicit formulas that hold for any positive integer k and any positive integer arm lengths.

What carries the argument

The star-shaped integral Z-matrix with central diagonal k, whose affine regime is fixed by the Egyptian-fraction condition on the arm lengths.

If this is right

  • Classification of affine weighted trees reduces to finite Egyptian-fraction enumeration for each fixed pair (m,k).
  • The classical affine diagrams D4(1), E6(1), E7(1) and E8(1) appear as small subfamilies of the solutions.
  • Higher-arm cases produce new integral positive-semidefinite star matrices with explicit Coxeter labels.
  • Determinant and inertia formulas hold for arbitrary positive integer k and arbitrary arm lengths.

Where Pith is reading between the lines

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

  • The reduction to Egyptian fractions opens the possibility of systematic computer-assisted enumeration for moderate m and k.
  • The same matrix construction could be applied to other simply-laced or non-simply-laced graph shapes beyond stars.
  • The explicit null-vector formula supplies Coxeter labels that may be used directly in further algebraic constructions.

Load-bearing premise

The positive null vector exists precisely when the Egyptian-fraction equation holds, and the inertia and determinant formulas remain valid for arbitrary positive integer k and arm lengths r_i.

What would settle it

An explicit star matrix whose arm lengths satisfy the sum equation but which possesses no positive null vector, or a matrix with a positive null vector whose arm lengths fail the equation.

Figures

Figures reproduced from arXiv: 2605.23011 by Emilio Torrente-Lujan.

Figure 1
Figure 1. Figure 1: Top: generic simply laced star-shaped weighted star graph. Bottom: symbolic form [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The fourteen affine weighted star graphs for [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
read the original abstract

We study a concrete family of symmetric integral $Z$-matrices attached to weighted star trees. The arms are ordinary type-$A$ chains and the central diagonal entry is an arbitrary positive integer $k$ rather than being fixed to the Cartan value $2$. This gives a matrix-theoretic and graph-theoretic version of the so called Berger construction: it extends the simply laced affine Dynkin stars while remaining accessible through elementary linear algebra. For a star with arm lengths $r_1,\ldots,r_m$ we compute the determinant, the inertia, the positive-definite and affine regimes, and the primitive positive null vector in the affine case. The affine condition is exactly the unit-fraction equation \[ \sum_{i=1}^m \frac{1}{r_i+1}=m-k, \] so the classification of these affine weighted trees reduces to a finite Egyptian-fraction enumeration for each fixed pair $(m,k)$. The classical affine diagrams $D_4^{(1)}$, $E_6^{(1)}$, $E_7^{(1)}$ and $E_8^{(1)}$ appear as small subfamilies, while higher-arm cases give new integral positive-semidefinite star matrices with explicit Coxeter labels.

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.

Referee Report

1 major / 1 minor

Summary. The manuscript examines symmetric integral Z-matrices corresponding to weighted star trees with arm lengths r_1 to r_m and central diagonal entry k. It provides explicit formulas for the determinant and inertia, identifies the affine (positive-semidefinite with 1-dimensional kernel) regime precisely when the sum of 1/(r_i+1) equals m-k, and derives the primitive positive null vector in that case. This reduces the classification of such affine matrices to enumerating Egyptian fraction solutions for fixed m and k, recovering the classical affine Dynkin stars as special cases and producing new examples.

Significance. Should the computations be verified, the paper offers a useful bridge between Cartan matrix theory, graph theory, and Egyptian fraction problems. The explicit reduction to a finite enumeration problem and the provision of new integral positive-semidefinite matrices with explicit Coxeter labels are notable strengths. This could facilitate further study of generalized affine diagrams beyond the simply-laced cases.

major comments (1)
  1. [Derivation of inertia and determinant formulas (referenced in abstract)] The central claim equates the affine regime to the Egyptian-fraction equation and asserts that the separately derived inertia formulas classify the signature correctly for arbitrary positive integer k. The recursive or inductive computations of principal minors on the arms may tacitly rely on the central entry equaling 2 (as in classical Cartan matrices), and no explicit verification is indicated that the quadratic form remains positive on the orthogonal complement to the null vector when k>2 and the sum condition holds. This is load-bearing for the positive-semidefiniteness assertion.
minor comments (1)
  1. The abstract refers to the 'Berger construction' without citation; adding a reference would aid readers unfamiliar with the term.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and valuable comments on our manuscript. We address the major comment point by point below.

read point-by-point responses

  1. Referee: [Derivation of inertia and determinant formulas (referenced in abstract)] The central claim equates the affine regime to the Egyptian-fraction equation and asserts that the separately derived inertia formulas classify the signature correctly for arbitrary positive integer k. The recursive or inductive computations of principal minors on the arms may tacitly rely on the central entry equaling 2 (as in classical Cartan matrices), and no explicit verification is indicated that the quadratic form remains positive on the orthogonal complement to the null vector when k>2 and the sum condition holds. This is load-bearing for the positive-semidefiniteness assertion.

    Authors: The determinant is obtained via cofactor expansion along the central row/column, with k appearing explicitly as a free parameter and the contributions from each arm given by the standard recursive formula for tridiagonal determinants (which depends only on the arm lengths r_i). The inertia is likewise obtained from the sequence of leading principal minors of the full matrix; the arm submatrices are independent of k, and the effect of k is tracked through the Schur complement at the central vertex. When the Egyptian-fraction condition holds, the explicit positive null vector is constructed and the inertia count shows exactly one zero eigenvalue with the remaining eigenvalues positive, without any specialization to k=2. We will add a brief clarifying paragraph and a numerical check for k=3 in the revision. revision: partial

Circularity Check

0 steps flagged

No circularity: affine condition derived by direct null-vector computation on defined matrices

full rationale

The paper defines star-shaped Z-matrices with central entry k and arm lengths r_i, then computes the determinant, inertia, and null vector explicitly via linear algebra. The statement that the affine regime occurs exactly when the Egyptian-fraction sum holds is presented as the outcome of that computation (the null vector exists precisely under the sum condition), not as a definitional equivalence or a fitted prediction. No self-citations, ansatzes smuggled via prior work, or renaming of known results are invoked in the provided text to justify the central claim. The derivation remains self-contained against the matrix definitions and does not reduce the target result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the definition of the star-shaped Z-matrices with type-A arms and arbitrary central k, together with the standard linear-algebra fact that a symmetric matrix is affine when it possesses a positive null vector; no free parameters are introduced beyond the discrete choices of m, k and the r_i.

axioms (2)
  • domain assumption The matrices are symmetric integral Z-matrices with the stated block structure (type-A chains on arms, central diagonal k).
    Invoked in the opening definition of the family under study.
  • domain assumption A symmetric matrix is affine precisely when it admits a positive null vector (and is positive semidefinite).
    Standard in the theory of Cartan matrices and affine Dynkin diagrams; used to equate the null-vector condition with the Egyptian-fraction equation.

pith-pipeline@v0.9.0 · 5748 in / 1374 out tokens · 22273 ms · 2026-05-25T05:27:04.835818+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages · 6 internal anchors

  1. [1]

    P. S. Aspinwall, K3 surfaces and string duality, inFields, Strings and Duality, TASI 1996, pp. 421–540, arXiv:hep-th/9611137

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  2. [2]

    V. V. Batyrev, Dual polyhedra and mirror symmetry for Calabi–Yau hypersurfaces in toric varieties,J. Algebraic Geom.3(1994), 493–535, arXiv:alg-geom/9310003. 12

    work page internal anchor Pith review Pith/arXiv arXiv 1994

  3. [3]

    A. A. Belavin, A. M. Polyakov and A. B. Zamolodchikov, Infinite conformal symmetry in two-dimensional quantum field theory,Nucl. Phys. B241(1984), 333–380

    work page 1984

  4. [4]

    Berger, Sur les groupes d’holonomie des variétés à connexion affine et des variétés riemanniennes,Bull

    M. Berger, Sur les groupes d’holonomie des variétés à connexion affine et des variétés riemanniennes,Bull. Soc. Math. France83(1955), 279–330

    work page 1955

  5. [5]

    Berman and R

    A. Berman and R. J. Plemmons,Nonnegative Matrices in the Mathematical Sciences, Classics in Applied Mathematics 9, SIAM, Philadelphia, 1994

    work page 1994

  6. [6]

    Geometric Singularities and Enhanced Gauge Symmetries

    M. Bershadsky, K. Intriligator, S. Kachru, D. R. Morrison, V. Sadov and C. Vafa, Geometric singularities and enhanced gauge symmetries,Nucl. Phys. B481(1996), 215–252, arXiv:hep-th/9605200

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  7. [7]

    T. F. Bloom, Egyptian fractions,Nieuw Archief voor Wiskunde5/23(2022), no. 4, 237–244, arXiv:2210.04496

    work page arXiv 2022

  8. [8]

    R. E. Borcherds, Generalized Kac–Moody algebras,J. Algebra115(1988), 501–512

    work page 1988

  9. [9]

    Brieskorn, Singular elements of semi-simple algebraic groups, inActes du Congrès International des Mathématiciens, Nice 1970, Vol

    E. Brieskorn, Singular elements of semi-simple algebraic groups, inActes du Congrès International des Mathématiciens, Nice 1970, Vol. 2, Gauthier-Villars, 1971, pp. 279–284

    work page 1970

  10. [10]

    A. E. Brouwer and W. H. Haemers,Spectra of Graphs, Universitext, Springer, New York, 2012

    work page 2012

  11. [11]

    Candelas, G

    P. Candelas, G. T. Horowitz, A. Strominger and E. Witten, Vacuum configurations for superstrings,Nucl. Phys. B258(1985), 46–74

    work page 1985

  12. [12]

    Cappelli, C

    A. Cappelli, C. Itzykson and J.-B. Zuber, The ADE classification of minimal andA(1) 1 conformal invariant theories,Commun. Math. Phys.113(1987), 1–26

    work page 1987

  13. [13]

    D. A. Cox, J. B. Little and H. K. Schenck,Toric Varieties, Graduate Studies in Mathe- matics 124, American Mathematical Society, 2011

    work page 2011

  14. [14]

    D. R. Curtiss, On Kellogg’s Diophantine problem,Amer. Math. Monthly29(1922), 380–387

    work page 1922

  15. [15]

    D. M. Cvetković, M. Doob and H. Sachs,Spectra of Graphs: Theory and Application, Pure and Applied Mathematics 87, Academic Press, New York, 1980

    work page 1980

  16. [16]

    Di Francesco and J.-B

    P. Di Francesco and J.-B. Zuber,SU (N )lattice integrable models associated with graphs, Nucl. Phys. B338(1990), 602–646

    work page 1990

  17. [17]

    Du Val,Homographies, Quaternions and Rotations, Oxford Mathematical Monographs, Clarendon Press, Oxford, 1964

    P. Du Val,Homographies, Quaternions and Rotations, Oxford Mathematical Monographs, Clarendon Press, Oxford, 1964

    work page 1964

  18. [18]

    Eisenbud and W

    D. Eisenbud and W. Neumann,Three-Dimensional Link Theory and Invariants of Plane Curve Singularities, Annals of Mathematics Studies 110, Princeton University Press, 1985

    work page 1985

  19. [19]

    Godsil and G

    C. Godsil and G. Royle,Algebraic Graph Theory, Graduate Texts in Mathematics 207, Springer, New York, 2001

    work page 2001

  20. [20]

    R. L. Graham, On finite sums of unit fractions,Proc. London Math. Soc.(3)14(1964), 193–207

    work page 1964

  21. [21]

    Hazewinkel, W

    M. Hazewinkel, W. Hesselink, D. Siersma and F. D. Veldkamp, The ubiquity of Coxeter– Dynkin diagrams: an introduction to the ADE problem,Nieuw Arch. Wisk.(3)25(1977), no. 3, 257–307. 13

    work page 1977

  22. [22]

    A. J. Hoffman, On limit points of spectral radii of non-negative symmetric integral matrices, inGraph Theory and Applications, Lecture Notes in Mathematics 303, Springer, Berlin, 1972, pp. 165–172

    work page 1972

  23. [23]

    A. J. Hoffman and J. H. Smith, On the spectral radii of topologically equivalent graphs, in M. Fiedler (ed.),Recent Advances in Graph Theory, Academia Praha, Prague, 1975, pp. 273–281

    work page 1975

  24. [24]

    Ebeling and A

    W. Ebeling and A. Takahashi, Strange duality of weighted homogeneous polynomials, Compos. Math.147(2011), no. 5, 1413–1433

    work page 2011

  25. [25]

    Galashin and P

    P. Galashin and P. Pylyavskyy, Quivers with additive labelings: classification and algebraic entropy,Doc. Math.24(2019), 2057–2135

    work page 2019

  26. [26]

    Galashin and P

    P. Galashin and P. Pylyavskyy, Quivers with subadditive labelings: classification and integrability,Math. Z.295(2020), 945–992

    work page 2020

  27. [27]

    Happel, U

    D. Happel, U. Preiser and C. M. Ringel, Vinberg’s characterization of Dynkin diagrams using subadditive functions with application toDTr-periodic modules, inRepresentation Theory II, Lecture Notes in Mathematics 832, Springer, Berlin, 1980, pp. 280–294

    work page 1980

  28. [28]

    R. A. Horn and C. R. Johnson,Matrix Analysis, 2nd ed., Cambridge University Press, Cambridge, 2013

    work page 2013

  29. [29]

    J. E. Humphreys,Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics 9, Springer, 1972

    work page 1972

  30. [30]

    V. G. Kac,Infinite-Dimensional Lie Algebras, 3rd ed., Cambridge University Press, 1990

    work page 1990

  31. [31]

    O. D. Kellogg, On a Diophantine problem,Amer. Math. Monthly28(1921), 300–303

    work page 1921

  32. [32]

    Kodaira, On compact analytic surfaces

    K. Kodaira, On compact analytic surfaces. II,Ann. of Math.77(1963), 563–626

    work page 1963

  33. [33]

    M.KreuzerandH.Skarke, Completeclassificationof reflexive polyhedrain fourdimensions, Adv. Theor. Math. Phys.4(2000), 1209–1230, arXiv:hep-th/0002240

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  34. [34]

    Lu and S

    L. Lu and S. Man, Connected hypergraphs with small spectral radius,Linear Algebra Appl.509(2016), 206–227

    work page 2016

  35. [35]

    J. McKay, Graphs, singularities, and finite groups, inThe Santa Cruz Conference on Finite Groups, Proceedings of Symposia in Pure Mathematics 37, American Mathematical Society, Providence, RI, 1980, pp. 183–186

    work page 1980

  36. [36]

    McKee and C

    J. McKee and C. Smyth, Integer symmetric matrices having all their eigenvalues in the interval[−2,2],J. Algebra317(2007), no. 1, 260–290

    work page 2007

  37. [37]

    McKee and C

    J. McKee and C. Smyth, Symmetrizable integer matrices having all their eigenvalues in the interval[−2,2],Algebraic Combinatorics3(2020), no. 3, 775–789

    work page 2020

  38. [38]

    R. V. Moody, A new class of Lie algebras,J. Algebra10(1968), 211–230

    work page 1968

  39. [39]

    R. A. Proctor, Two amusing Dynkin diagram graph classifications,Amer. Math. Monthly 100(1993), no. 10, 937–941

    work page 1993

  40. [40]

    Sándor, On the number of solutions of the Diophantine equation∑n i=1 1/xi = 1,Period

    C. Sándor, On the number of solutions of the Diophantine equation∑n i=1 1/xi = 1,Period. Math. Hungar.47(2003), no. 1–2, 215–219. 14

    work page 2003

  41. [41]

    J. H. Smith, Some properties of the spectrum of a graph, in R. Guy et al. (eds.), Combinatorial Structures and Their Applications, Gordon and Breach, New York, 1970, pp. 403–406

    work page 1970

  42. [42]

    Root systems from Toric Calabi-Yau Geometry. Towards new algebraic structures and symmetries in physics?

    E. Torrente-Lujan and G. G. Volkov, Root systems from toric Calabi–Yau geometry: towards new algebraic structures and symmetries in physics?, arXiv:hep-th/0406035

    work page internal anchor Pith review Pith/arXiv arXiv

  43. [43]

    Generalized Cartan-Kac Matrices inspired from Calabi-Yau spaces

    E. Torrente-Lujan, Generalized Cartan–Kac matrices inspired from Calabi–Yau spaces, arXiv:hep-th/0503151

    work page internal anchor Pith review Pith/arXiv arXiv

  44. [44]

    E. B. Vinberg, Discrete linear groups generated by reflections,Math. USSR-Izv.5(1971), 1083–1119

    work page 1971

  45. [45]

    G. G. Volkov, Hunting for the new symmetries in Calabi–Yau jungles, arXiv:hep- th/0402042

    work page arXiv

  46. [46]

    R. B. Bapat,Graphs and Matrices, Universitext, Springer, London, 2010

    work page 2010

  47. [47]

    Barot, C

    M. Barot, C. Geiss and A. Zelevinsky, Cluster algebras of finite type and positive symmetrizable matrices,J. London Math. Soc.73(2006), no. 3, 545–564

    work page 2006

  48. [48]

    R. A. Brualdi and D. M. Cvetković,A Combinatorial Approach to Matrix Theory and Its Applications, Chapman & Hall/CRC, Boca Raton, 2008

    work page 2008

  49. [49]

    Eppstein, Ten algorithms for Egyptian fractions,Mathematica in Education and Research4(1995), no

    D. Eppstein, Ten algorithms for Egyptian fractions,Mathematica in Education and Research4(1995), no. 2, 5–15

    work page 1995

  50. [50]

    Fomin and A

    S. Fomin and A. Zelevinsky, Cluster algebras II: finite type classification,Invent. Math. 154(2003), 63–121

    work page 2003

  51. [51]

    Gabriel, Unzerlegbare Darstellungen I,Manuscripta Math.6(1972), 71–104

    P. Gabriel, Unzerlegbare Darstellungen I,Manuscripta Math.6(1972), 71–104

    work page 1972

  52. [52]

    Geigle and H

    W. Geigle and H. Lenzing, A class of weighted projective curves arising in representation theory of finite dimensional algebras, inSingularities, Representation of Algebras, and Vector Bundles, Lecture Notes in Mathematics 1273, Springer, Berlin, 1987, pp. 265–297

    work page 1987

  53. [53]

    V. G. Kac, Infinite root systems, representations of graphs and invariant theory,Invent. Math.56(1980), 57–92

    work page 1980

  54. [54]

    C. M. Ringel,Tame Algebras and Integral Quadratic Forms, Lecture Notes in Mathematics 1099, Springer, Berlin, 1984. 15

    work page 1984