pith. sign in

arxiv: 2204.03148 · v3 · submitted 2022-04-07 · 🧮 math.CO

A strong Gram classification of non-negative unit forms of Dynkin type A

J. A. Jimenez Gonzalez This is my paper

Pith reviewed 2026-05-24 11:39 UTC · model grok-4.3

classification 🧮 math.CO
keywords quadratic formsGram congruenceDynkin type ACoxeter polynomialunit formscombinatorial classificationintegral quadratic forms
0
0 comments X

The pith

For connected non-negative unit quadratic forms of Dynkin type A, weak Gram congruence together with the Coxeter polynomial is equivalent to strong Gram congruence.

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

The paper proves that among connected non-negative unit quadratic forms of Dynkin type A_r with arbitrary corank, two forms are strongly Gram congruent exactly when they are weakly Gram congruent and share the same Coxeter polynomial. This equivalence completes a combinatorial classification of the forms that was started in prior work. A sympathetic reader would care because the result converts an abstract distinction between two congruence notions into a concrete criterion that finishes the enumeration of all such forms up to equivalence.

Core claim

Two strongly Gram congruent quadratic unit forms are weakly Gram congruent and have the same Coxeter polynomial. The converse of this statement holds for the connected non-negative case of Dynkin type A_r and arbitrary corank, and this characterization completes a combinatorial classification of such quadratic forms.

What carries the argument

The upper-triangular unimodular bilinear form that identifies each unit quadratic form, whose equivalence classes define strong Gram congruence while symmetrizations define weak Gram congruence, together with the associated Coxeter polynomial.

If this is right

  • The combinatorial classification of connected non-negative unit forms of Dynkin type A_r is now complete.
  • Strong Gram congruence classes coincide with the intersections of weak Gram congruence classes and level sets of the Coxeter polynomial.
  • Any two such forms with matching weak Gram congruence and identical Coxeter polynomial must be strongly Gram congruent.

Where Pith is reading between the lines

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

  • The equivalence may serve as a template for proving similar converses in other Dynkin types.
  • Enumeration algorithms can now generate weak classes and filter by Coxeter polynomial without separate strong-congruence checks.
  • The classification may clarify how these quadratic forms relate to path algebras or representations of type-A quivers.

Load-bearing premise

The quadratic forms under consideration are connected, non-negative, and of exact Dynkin type A_r with the identification to upper-triangular unimodular bilinear forms already fixed.

What would settle it

A pair of connected non-negative unit forms of Dynkin type A_r that are weakly Gram congruent, share the same Coxeter polynomial, yet belong to different strong Gram congruence classes would disprove the claimed equivalence.

Figures

Figures reproduced from arXiv: 2204.03148 by J. A. Jimenez Gonzalez.

Figure 1
Figure 1. Figure 1: For a partition π “ pπ1, π2, . . . , πℓq of m ě 2, and a non-negative integer d, depiction of the standard pπ, dq-extension quiver A~ d rπs with m vertices, cycle type π and degree of degeneracy d (see Defini￾tion 1.6). It has n “ m`ℓ`2pd´1q arrows: m´1 arrows in the upper row (going from left to right, numbered from 1 to m ´ 1), ℓ ´ 1 arrows in the second row (going from right to left, numbered from m to … view at source ↗
read the original abstract

An integral quadratic form q is usually identified with a bilinear form b such that its Gram matrix with respect to the canonical basis is upper triangular. Two integral quadratic forms are called strongly (resp. weakly) Gram congruent if their corresponding upper triangular bilinear forms (resp. their symmetrizations) are equivalent. If q is unitary, such upper triangular bilinear form is unimodular, and one considers the associated Coxeter transformation and its characteristic polynomial, the so-called Coxeter polynomial of q with this identification. Two strongly Gram congruent quadratic unit forms are weakly Gram congruent and have the same Coxeter polynomial. Here we show that the converse of this statement holds for the connected non-negative case of Dynkin type A_r and arbitrary corank, and use this characterization to complete a combinatorial classification of such quadratic forms started in [Fundamenta Informaticae 184(1):49-82, 2021] and [Fundamenta Informaticae 185(3):221-246, 2022].

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

0 major / 2 minor

Summary. The manuscript proves that, for connected non-negative unit quadratic forms of Dynkin type A_r with arbitrary corank, two such forms are strongly Gram congruent if and only if they are weakly Gram congruent and possess identical Coxeter polynomials. The characterization is then applied to finish the combinatorial classification of these forms begun in the two cited prior papers.

Significance. If the stated equivalence holds, the result supplies a concrete, checkable criterion (weak congruence plus Coxeter polynomial) that separates strong classes inside the already-enumerated weak classes for type A. This completes the classification without requiring direct verification of upper-triangular unimodular bilinear equivalence for each pair, and the reduction to the prior combinatorial lists plus the separating property of the Coxeter polynomial constitutes a clear methodological advance.

minor comments (2)
  1. [Abstract] The abstract states the main result but does not indicate the theorem or section number in which the proof appears; adding an explicit forward reference would improve readability.
  2. The two cited Fundamenta Informaticae papers are referred to only by journal, volume, and year; including their titles or arXiv identifiers would make the reduction step easier to trace.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive recommendation to accept.

Circularity Check

0 steps flagged

Minor self-citation for prior classification list; central characterization proven independently

full rationale

The paper states and proves the converse (weak congruence + equal Coxeter polynomial implies strong congruence) directly for connected non-negative unit forms of Dynkin type A_r. It then applies this new characterization to finish a combinatorial classification whose initial list comes from two prior papers by the same author. The self-citation supplies only the enumerated list of forms; the separation property and the if-and-only-if statement are established in the present work without reducing to a fit, a definition, or an unverified self-citation chain. This is a normal, non-load-bearing self-citation and yields only a score-2 finding.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, ad-hoc axioms, or invented entities are identifiable from the given text. Standard background facts about integral quadratic forms and Dynkin diagrams are presupposed but not listed as paper-specific.

pith-pipeline@v0.9.0 · 5701 in / 1112 out tokens · 23762 ms · 2026-05-24T11:39:38.984398+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

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

  1. [2]

    A characterization of positive unit forms , Bol

    Barot M. A characterization of positive unit forms , Bol. Soc. Mat. Mexicana (3), 1999. V ol.5, pp. 87–93

    work page 1999

  2. [3]

    A characterization of positive unit forms, II , Bol

    Barot M. A characterization of positive unit forms, II , Bol. Soc. Mat. Mexicana (3), 2001. V ol. 7, pp. 13–22

    work page 2001

  3. [4]

    Cluster algebras of finite type and positive symmetrizable m atrices

    Barot M, Geiss C, and Zelevinsky A. Cluster algebras of finite type and positive symmetrizable m atrices. J. London Math. Soc., 2006. 73:545–564. doi:10.1112/S0024610706022769

    work page doi:10.1112/s0024610706022769 2006

  4. [5]

    Scalable Funding of Bitcoin Micropayment Channel Networks

    Barot M, Jiménez González JA, and de la Peña JA. Quadratic F orms: Combinatorics and Numerical Results, Algebra and Applications, V ol. 25 Springer Nature Switzerland AG 2018. doi:10.1007/978-3- 030-05627-8

    work page doi:10.1007/978-3- 2018

  5. [6]

    The Dynkin type of a non-negative unit form, Expo

    Barot M, and de la Peña JA. The Dynkin type of a non-negative unit form, Expo. Math. 1999. 17:339–348

    work page 1999

  6. [7]

    Algebras whose Euler form is non-negative , Colloquium Mathe- maticum 1999

    Barot M, and de la Peña JA. Algebras whose Euler form is non-negative , Colloquium Mathe- maticum 1999. 79:119–131. doi:10.4064/cm-79-1-119-131

    work page doi:10.4064/cm-79-1-119-131 1999

  7. [8]

    Root-induced integral quadratic forms, Linear Algebra Appl

    Barot M, and de la Peña JA. Root-induced integral quadratic forms, Linear Algebra Appl. 2006. 412:291–

    work page 2006

  8. [9]

    doi:10.1016/j.laa.2005.06.030. J.A. Jiménez González / A Strong Gram Classification of Non-negative Unit F orms of Dynkin Type Ar 63

    work page doi:10.1016/j.laa.2005.06.030 2005

  9. [10]

    Coxeter functors and Gabriel’s theorem , Russian Math

    Bernstein IN, and Gelfand IM, and Ponomarev V A. Coxeter functors and Gabriel’s theorem , Russian Math. Surveys 1973. 28:17–32

    work page 1973

  10. [11]

    Bocian R, Felisiak M, and Simson D. On Coxeter Type Classification of Loop-Free Edge-Bipartite Graphs and Matrix Morsifications, 2013 15th International Symposium on Symbolic and Numeric A l- gorithms for Scientific Computing, 2013. pp. 115–118. doi:1 0.1109/SYNASC.2013.22

    work page 2013

  11. [12]

    Numeric and mesh algorithms for the Coxeter spectral study o f positive edge-bipartite graphs and their isotropy groups

    Bocian R, Felisiak M, and Simson D. Numeric and mesh algorithms for the Coxeter spectral study o f positive edge-bipartite graphs and their isotropy groups . Journal of Computational and Applied Mathe- matics 2014. 259:815–827. doi:10.1016/j.cam.2013.07.013

    work page doi:10.1016/j.cam.2013.07.013 2014

  12. [13]

    Algebras and quadratic forms

    Bongartz K. Algebras and quadratic forms . J. London Math. Soc. (2), 1983. 28(3):461–469

    work page 1983

  13. [14]

    Quadratic forms and finite representation type

    Bongartz K. Quadratic forms and finite representation type. In: Malliavin MP . (eds) Séminaire d’Algébre Paul Dubreil et Marie-Paule Malliavin. Lecture Notes in Mat hematics, 2006. vol. 1146. Springer, Berlin, Heidelberg. doi:10.1007/BFb0074545

    work page doi:10.1007/bfb0074545 2006

  14. [15]

    T ame algebras and Tits quadratic forms , Advances in Mathematics 2011

    Brüstle T, de la Peña JA, and Skowro ´nski A. T ame algebras and Tits quadratic forms , Advances in Mathematics 2011. 226:887–951. doi:10.1016/j.aim.2010.07.007

    work page doi:10.1016/j.aim.2010.07.007 2011

  15. [16]

    Line graphs, Root Systems, and Elliptic Geometry , J

    Cameron PJ, Goethals JM, Seidel JJ, and Shult EE. Line graphs, Root Systems, and Elliptic Geometry , J. Algebra 1976. 43:305–327. doi:10.1016/0021-8693(76)90162-9

    work page doi:10.1016/0021-8693(76)90162-9 1976

  16. [17]

    Algorithms for weakly nonnegative quadratic forms , Linear Algebra Appl

    Dean A, and de la Peña JA. Algorithms for weakly nonnegative quadratic forms , Linear Algebra Appl. 1996. 235:35–46. doi:10.1016/0024-3795(94)00109-X

    work page doi:10.1016/0024-3795(94)00109-x 1996

  17. [18]

    Indecomposable representations of graphs and algebras

    Dlab V , and Ringel CM. Indecomposable representations of graphs and algebras . Memoirs AMS 1976. V ol. 6,173. doi:10.1090/memo/0173

    work page doi:10.1090/memo/0173 1976

  18. [19]

    A module theoretical interpretation of properties of the root systems

    Dlab V , and Ringel CM. A module theoretical interpretation of properties of the root systems. Proc. Conf. on Ring Theory (Antwerp, 1978), Marcel Dekker (1979)

    work page 1978

  19. [20]

    The homological quadratic form of a biextension algebra

    Dräxler P , and de la Peña JA. The homological quadratic form of a biextension algebra . Archiv der Mathematik 1999. 72:9–21. doi:10.1007/s000130050297

    work page doi:10.1007/s000130050297 1999

  20. [21]

    Tree algebras with non-negative Tits form

    Dräxler P , and de la Peña JA. Tree algebras with non-negative Tits form . Communications in Algebra

    work page

  21. [22]

    doi:10.1080/00927870008827071

    28(8):3993–4012. doi:10.1080/00927870008827071

    work page doi:10.1080/00927870008827071

  22. [23]

    T owards the classifica- tion of sincere weakly positive unit forms

    Dräxler, Drozd Y A, Golovachtshuc NS, Ovsienko SA, and Z eldych MM. T owards the classifica- tion of sincere weakly positive unit forms . European Journal of Combinatorics 1995. 16(1):1–16. doi:10.1016/0195-6698(95)90084-5

    work page doi:10.1016/0195-6698(95)90084-5 1995

  23. [24]

    Applications of matrix morsifications to Coxeter spectral s tudy of loop-free edge-bipartite graphs , Discrete Applied Mathematics 10 September 2015

    Felisiak M, and Simson D. Applications of matrix morsifications to Coxeter spectral s tudy of loop-free edge-bipartite graphs , Discrete Applied Mathematics 10 September 2015. 192:49–64. doi:10.1016/j.dam.2014.05.002

    work page doi:10.1016/j.dam.2014.05.002 2015

  24. [25]

    Unzerlegbare Darstellungen I, Man

    Gabriel P . Unzerlegbare Darstellungen I, Man. Math., 1972. 6:71–103. doi:10.1007/BF01298413

    work page doi:10.1007/bf01298413 1972

  25. [26]

    The Theory of Matrices , V ols.1 and 2, Chelsea Publishing Company, New Y ork, N.Y

    Gantmacher FR. The Theory of Matrices , V ols.1 and 2, Chelsea Publishing Company, New Y ork, N.Y

    work page

  26. [27]

    ISBN:978-0-8218-1376-8, 10:0821813935, 13:978-08 21813935

    work page

  27. [28]

    Algorithmic computation of principal posets using Maple an d Python

    G ˛ asiorek M, Simson D, and Zaj ˛ ac K. Algorithmic computation of principal posets using Maple an d Python. Algebra and Discrete Math. 2014. 17:33–69. URL. http://dspace.nbuv.gov.ua/handle/ 123456789/152339

    work page 2014

  28. [29]

    Linear Algebra Appl

    G ˛ asiorek M, Simson D, and Zaj ˛ ac K.A Gram classification of non-negative corank-two loop-free edge- bipartite graphs. Linear Algebra Appl. 2016. 500:88–118. doi:10.1016/j.laa.2016.03.007. 64 J.A. Jiménez González / A Strong Gram Classification of Non-negative Unit F orms of Dynkin Type Ar

    work page doi:10.1016/j.laa.2016.03.007 2016

  29. [30]

    The converse of Drozd’s theorem on quadratic forms , Communications in Algebra 1995

    Happel D. The converse of Drozd’s theorem on quadratic forms , Communications in Algebra 1995. 23(2):737–738. doi:10.1080/00927879508825243

    work page doi:10.1080/00927879508825243 1995

  30. [31]

    On weakly positive unit forms , Comment

    von Höhne H-J. On weakly positive unit forms , Comment. Math. Helvetici 1988. 63:312–336. doi:10.1007/BF02566771

    work page doi:10.1007/bf02566771 1988

  31. [32]

    Edge reduction for unit forms , Archiv der Mathematik, V ol

    von Höhne H-J. Edge reduction for unit forms , Archiv der Mathematik, V ol. 1995. 65:300–302. doi:10.1007/BF01195540

    work page doi:10.1007/bf01195540 1995

  32. [33]

    On weakly non-negative unit forms and tame algebras , Proc

    von Höhne H-J. On weakly non-negative unit forms and tame algebras , Proc. London Math. Soc. (3)

    work page

  33. [34]

    doi:10.1112/plms/s3-73.1.47

    73:47–67. doi:10.1112/plms/s3-73.1.47

    work page doi:10.1112/plms/s3-73.1.47

  34. [35]

    Congruences of a square matrix and its transpose , Linear Algebra Appl

    Horn RA, and Sergeichuk VV . Congruences of a square matrix and its transpose , Linear Algebra Appl. 2004. 389:347–353. doi:10.1016/j.laa.2004.03.010

    work page doi:10.1016/j.laa.2004.03.010 2004

  35. [36]

    Incidence graphs and non-negative integral quadratic form s

    Jiménez González JA. Incidence graphs and non-negative integral quadratic form s. Journal of Algebra

    work page

  36. [37]

    doi:10.1016/j.jalgebra.2018.07.020

    513:208–245. doi:10.1016/j.jalgebra.2018.07.020

    work page doi:10.1016/j.jalgebra.2018.07.020 2018

  37. [38]

    A graph theoretical framework for the strong Gram classifica tion of non-negative unit forms of Dynkin type An

    Jiménez González JA. A graph theoretical framework for the strong Gram classifica tion of non-negative unit forms of Dynkin type An. Fundamenta Informaticae 2012. 184(1):49–82. doi:10.3233/FI-2021-2092

    work page doi:10.3233/fi-2021-2092 2012

  38. [39]

    Coxeter invariants for non-negative unit forms of Dynkin ty pe Ar

    Jiménez González JA. Coxeter invariants for non-negative unit forms of Dynkin ty pe Ar. Fundamenta Informaticae 2022. 185(3):221–246. doi:10.3233/FI-222109

    work page doi:10.3233/fi-222109 2022

  39. [40]

    Mesh algorithms for Coxeter spectral classification of Cox- regular edge- bipartite graphs with loops, I

    Kasjan S, and Simson D. Mesh algorithms for Coxeter spectral classification of Cox- regular edge- bipartite graphs with loops, I. Mesh root systems. Fundamenta Informaticae 2015. 139(2):153–184. doi:10.3233/FI-2015-1230

    work page doi:10.3233/fi-2015-1230 2015

  40. [41]

    Mesh algorithms for Coxeter spectral classification of Cox- regular edge- bipartite graphs with loops, II

    Kasjan S, and Simson D. Mesh algorithms for Coxeter spectral classification of Cox- regular edge- bipartite graphs with loops, II. Application to Coxeter spe ctral analysis. Fundamenta Informaticae 2015. 139:185–209. doi:10.3233/FI-2015-1231

    work page doi:10.3233/fi-2015-1231 2015

  41. [42]

    Inflation algorithms for positive and principal edge-bipar tite graphs and unit quadratic forms, Fundamenta Informaticae 2012

    Kosakowska J. Inflation algorithms for positive and principal edge-bipar tite graphs and unit quadratic forms, Fundamenta Informaticae 2012. 119(2):149–162. doi:10.3233/FI-2012-731

    work page doi:10.3233/fi-2012-731 2012

  42. [43]

    A K-theoretical study of canonical algebras

    Lenzing H. A K-theoretical study of canonical algebras. In: R. Bautista, et al. (Eds.), Representations of Algebras, Seventh International Conference, Cocoyoc, Mex ico, 1994, in: CMS Conf. Proc., American Mathematical Society, Providence, RI. 1996. vol. 18, pp. 433–454

    work page 1994

  43. [44]

    Hereditary noetherian categories of positive Euler charac teristic

    Lenzing H, and Reiten I. Hereditary noetherian categories of positive Euler charac teristic. Math. Z. 2006. 254:133–171. doi:10.1007/s00209-006-0938-6

    work page doi:10.1007/s00209-006-0938-6 2006

  44. [45]

    Makuracki, A

    Makuracki B, and Mróz A. Root systems and inflations of non-negative quasi-Cartan ma trices, Linear Algebra Appl. 2019. 580:128–165. doi:10.1016/j.laa.2019.06.006

    work page doi:10.1016/j.laa.2019.06.006 2019

  45. [46]

    Coefficients of non-negative quasi-Cartan matrices, their symmetrizers and Gram matrices, Discrete Applied Mathematics 2021

    Makuracki B, and Mróz, A. Coefficients of non-negative quasi-Cartan matrices, their symmetrizers and Gram matrices, Discrete Applied Mathematics 2021. 303:108–121. doi:10.1016/j.dam.2020.05.022

    work page doi:10.1016/j.dam.2020.05.022 2021

  46. [47]

    A Gram classification of principal Cox-regular edge-bipart ite graphs via inflation algorithm, Discrete Applied Mathematics 253, 25–36 (2019)

    Makuracki B, and Simson, D. A Gram classification of principal Cox-regular edge-bipart ite graphs via inflation algorithm, Discrete Applied Mathematics 253, 25–36 (2019)

    work page 2019

  47. [48]

    Inflation algorithm for Cox-regular positive edge-biparti te graphs with loops, Fundamenta Informaticae 2017

    Makuracki B, Simson D, and Zyglarski B. Inflation algorithm for Cox-regular positive edge-biparti te graphs with loops, Fundamenta Informaticae 2017. 153(4):367–398. doi:10.3233/FI-2017-1545

    work page doi:10.3233/fi-2017-1545 2017

  48. [49]

    Congruences of edge-bipartite graphs with applications to Grothendieck group recognition I

    Mróz A. Congruences of edge-bipartite graphs with applications to Grothendieck group recognition I. Inflation algorithm revisited , Fundamenta Informaticae 2016. 146(2):121–144. doi:10.3233/FI-2016- 1377. J.A. Jiménez González / A Strong Gram Classification of Non-negative Unit F orms of Dynkin Type Ar 65

    work page doi:10.3233/fi-2016- 2016

  49. [50]

    Congruences of edge-bipartite graphs with applications to Grothendieck group recognition II

    Mróz A. Congruences of edge-bipartite graphs with applications to Grothendieck group recognition II. Coxeter type study , Fundamenta Informaticae 2016. 146(2):145–177. doi:10.3233/FI-2016-1378

    work page doi:10.3233/fi-2016-1378 2016

  50. [51]

    Tubes in derived categories and cyclotomic factors of the Coxeter polynomial of an algebra , Journal of Algebra 2014

    Mróz A, and de la Peña JA. Tubes in derived categories and cyclotomic factors of the Coxeter polynomial of an algebra , Journal of Algebra 2014. 420:242–260. doi:10.1016/j.jalgebra.2014.08.017

    work page doi:10.1016/j.jalgebra.2014.08.017 2014

  51. [52]

    Periodicity in bilinear lattices and the Coxeter formalism , Linear Algebra Appl

    Mróz A, and de la Peña JA. Periodicity in bilinear lattices and the Coxeter formalism , Linear Algebra Appl. 2016. 493:227–260. doi:10.1016/j.laa.2015.11.021

    work page doi:10.1016/j.laa.2015.11.021 2016

  52. [53]

    Integral matrices, Academic Press 1972

    Newman M. Integral matrices, Academic Press 1972. ISBN:0080873588, 9780080873589

    work page 1972

  53. [54]

    Integral weakly positive forms , in Schur matrix problems and quadratic forms, Inst

    Ovsienko SA. Integral weakly positive forms , in Schur matrix problems and quadratic forms, Inst. Mat. Akad. Nauk. Ukr. S.S.R., Inst. Mat. Kiev (in Russian), 1979. pp. 106–126

    work page 1979

  54. [55]

    Algebras with hypercritical Tits form

    de la Peña JA. Algebras with hypercritical Tits form . Topics in Algebra, Banach Center Publications, PWN-Polish Scientific Publishers, Warsaw, 1990. 26(1):353–369

    work page 1990

  55. [56]

    Quadratic forms and the representation type of an algebra

    de la Peña JA. Quadratic forms and the representation type of an algebra. Engänzungsreihe 90–103. Bielefeld 1990

    work page 1990

  56. [57]

    Cubic algorithm to compute the Dynkin type of positive defini te quasi- Cartan matrices, Fundamenta Informaticae 2018

    Perez C, Abarca M, and Rivera D. Cubic algorithm to compute the Dynkin type of positive defini te quasi- Cartan matrices, Fundamenta Informaticae 2018. 158(4):369–384. doi:10.3233/FI-2018-1653

    work page doi:10.3233/fi-2018-1653 2018

  57. [58]

    T ame algebras and integral quadratic forms , Springer LNM, 1984

    Ringel CM. T ame algebras and integral quadratic forms , Springer LNM, 1984. vol. 1099. doi:10.1007/BFb0072870

    work page doi:10.1007/bfb0072870 1984

  58. [59]

    A first course in abstract algebra with applications , 3rd Ed., Upper Saddle River, New Jersey 07458, Pearson Prentice Hall 2006

    Rotman JJ. A first course in abstract algebra with applications , 3rd Ed., Upper Saddle River, New Jersey 07458, Pearson Prentice Hall 2006. ISBN-10:0201763907, 13 :978-0201763904

    work page 2006

  59. [60]

    Periodic Coxeter matrices and their associated quadratic f orms

    Sato M. Periodic Coxeter matrices and their associated quadratic f orms. Linear Algebra Appl. 2005. 406:99–108. doi:10.1016/j.laa.2005.03.036

    work page doi:10.1016/j.laa.2005.03.036 2005

  60. [61]

    Mesh algorithms for solving principal Diophantine equatio ns, sand-glass tubes and tori of roots

    Simson D. Mesh algorithms for solving principal Diophantine equatio ns, sand-glass tubes and tori of roots. Fundamenta Informaticae 2011. 109(4):425–462. doi:10.3233/FI-2011-520

    work page doi:10.3233/fi-2011-520 2011

  61. [62]

    Mesh geometries of root orbits of integral quadratic forms , J

    Simson D. Mesh geometries of root orbits of integral quadratic forms , J. Pure Appl. Algebras 2011. 215(1):13–34. doi:10.1016/j.jpaa.2010.02.029

    work page doi:10.1016/j.jpaa.2010.02.029 2011

  62. [63]

    Algorithms determining matrix morsifications, W eyl orbits, Coxeter polynomials and mesh ge- ometries of roots for Dynkin diagrams, Fundamenta Informaticae 2013

    Simson D. Algorithms determining matrix morsifications, W eyl orbits, Coxeter polynomials and mesh ge- ometries of roots for Dynkin diagrams, Fundamenta Informaticae 2013. 123(4):447–490. doi:10.3233/FI- 2013-820

    work page doi:10.3233/fi- 2013

  63. [64]

    A framework for Coxeter spectral analysis of edge-bipartit e graphs, their rational mor- sifications and mesh geometries of root orbits , Fundamenta Informaticae 2013

    Simson D. A framework for Coxeter spectral analysis of edge-bipartit e graphs, their rational mor- sifications and mesh geometries of root orbits , Fundamenta Informaticae 2013. 124(3):309–338. doi:10.3233/FI-2013-836

    work page doi:10.3233/fi-2013-836 2013

  64. [65]

    T oroidal algorithms for mesh geometries for Root orbits of t he Dynkin diagram D4, Funda- menta Informaticae 2013

    Simson, D. T oroidal algorithms for mesh geometries for Root orbits of t he Dynkin diagram D4, Funda- menta Informaticae 2013. 124(3):339–364. doi:10.3233/FI-2013-837

    work page doi:10.3233/fi-2013-837 2013

  65. [66]

    A Coxeter Gram classification of positive simply laced edge- bipartite graphs

    Simson D. A Coxeter Gram classification of positive simply laced edge- bipartite graphs. SIAM J. Dis- crete Math., 2013. 27:827–854. doi:10.1137/110843721

    work page doi:10.1137/110843721 2013

  66. [67]

    Symbolic algorithms computing Gram congruences in the Coxe ter spectral classifica- tion of edge-bipartite graphs I

    Simson D. Symbolic algorithms computing Gram congruences in the Coxe ter spectral classifica- tion of edge-bipartite graphs I. A Gram classification . Fundamenta Informaticae 2016. 145(1):19–48. doi:10.3233/FI-2016-1345. 66 J.A. Jiménez González / A Strong Gram Classification of Non-negative Unit F orms of Dynkin Type Ar

    work page doi:10.3233/fi-2016-1345 2016

  67. [68]

    Symbolic algorithms computing Gram congruences in the Coxe ter spectral classifica- tion of edge-bipartite graphs II

    Simson D. Symbolic algorithms computing Gram congruences in the Coxe ter spectral classifica- tion of edge-bipartite graphs II. Isotropy mini-groups . Fundamenta Informaticae 2016. 145(1):49–80. doi:10.3233/FI-2016-1346

    work page doi:10.3233/fi-2016-1346 2016

  68. [69]

    A Coxeter spectral classification of positive edge-biparti te graphs I

    Simson D. A Coxeter spectral classification of positive edge-biparti te graphs I. Dynkin types Bn, Cn, F4, G2, E6, E7, E8. Linear Algebra Appl. 2018. 557:105–133. doi:0.1016/j.laa.2018.07.013

    work page 2018

  69. [70]

    Symbolic computations of strong Gram congruences for posit ive Cox-regular edge-bipartite graphs with loops, Linear Algebra Appl., 2019

    Simson D. Symbolic computations of strong Gram congruences for posit ive Cox-regular edge-bipartite graphs with loops, Linear Algebra Appl., 2019. 557:90–143. doi:10.1016/j.laa.2019.02.023

    work page doi:10.1016/j.laa.2019.02.023 2019

  70. [71]

    A computational technique in Coxeter spectral study of symm etrizable integer Cartan matri- ces

    Simson D. A computational technique in Coxeter spectral study of symm etrizable integer Cartan matri- ces. Linear Algebra Appl., 2020. 586:190–238. doi:10.1016/j.laa.2019.10.015

    work page doi:10.1016/j.laa.2019.10.015 2020

  71. [72]

    A Coxeter spectral classification of positive edge-biparti te graphs II

    Simson D. A Coxeter spectral classification of positive edge-biparti te graphs II. Dynkin type Dn. Linear Algebra Appl. 2021. 612:223–272. doi:10.1016/j.laa.2020.11.001

    work page doi:10.1016/j.laa.2020.11.001 2021

  72. [73]

    W eyl orbits of matrix morsifications and a Coxeter spectral c lassification of positive signed graphs and quasi-Cartan matrices of Dynkin type An

    Simson D. W eyl orbits of matrix morsifications and a Coxeter spectral c lassification of positive signed graphs and quasi-Cartan matrices of Dynkin type An. Advances in Mathematics 404, 108389 (2022)

    work page 2022

  73. [74]

    Simson D, and Zaj ˛ ac K. A Framework for Coxeter Spectral Classification of Finite Po sets and Their Mesh Geometries of Roots , Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences V ol. 2013, Article ID: 743734, 22 pages

    work page 2013

  74. [75]

    Inflation algorithm for loop-free non-negative edge-bipar tite graphs of corank at least two , Linear Algebra Appl

    Simson D, and Zaj ˛ ac K. Inflation algorithm for loop-free non-negative edge-bipar tite graphs of corank at least two , Linear Algebra Appl. 2017. 524, 109–152. doi:10.1016/j.laa.2017.02.021

    work page doi:10.1016/j.laa.2017.02.021 2017

  75. [76]

    The On-Line Encyclopedia of Integer Sequences , (2009)

    Sloane NJA. The On-Line Encyclopedia of Integer Sequences , (2009). URL: http://oeis.org/classic/?blank=1

    work page 2009

  76. [77]

    On matrices whose elements are integers

    V eblen O, and Franklin P . On matrices whose elements are integers . Annals of Mathematics, Second Series, 1921. 23:(1):1–15. doi:10.2307/1967777

    work page doi:10.2307/1967777 1921

  77. [78]

    The geometry of root systems and signed graphs, Amer

    Zaslavsky T. The geometry of root systems and signed graphs, Amer. Math. Monthly 1981. 88(2):88–105. doi:10.2307/2321133

    work page doi:10.2307/2321133 1981

  78. [79]

    Matrices in the Theory of Signed Simple Graphs

    Zaslavsky T. Matrices in the theory of signed simple graphs , in: Advances in Discrete Mathematics and Applications: Mysore, 2008, in Ramanujan Math. Soc. Lect. N otes Ser., V ol.13, Ramanujan Math. Soc., Mysore, 2010, pp. 207–229. doi:10.48550/arXiv.1303.3083

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1303.3083 2008