Pith. sign in

REVIEW 2 major objections 4 minor 31 references

Real $C$-, $G$-structures and sign-coherence of cluster algebras

T0 review · 2 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Pith's one-line read A connected real skew-symmetric exchange matrix has every mutation sign-coherent and every C-pattern finite exactly when its quiver is mutation-equivalent to a Coxeter quiver of type A_n, B_n=C_n, D_n, E_6, E_7, E_8, F_4, H_3, H_4, or I_2(m

desk verdict The quasi-integer and rank-2 classifications are solid and likely right, but the H3/H4 cases of the headline Theorem 10.2 are not actually proved by the shipped code, because the appendix only checks C-pattern sign-coherence and the bridge to G-patterns needs an unverified conjecture. read the letter →

arxiv 2509.06486 v3 pith:W3TBYA3N submitted 2025-09-08 math.RT math.COmath.RA

classification math.RTmath.COmath.RA MSC 13F6005E1020F55
keywords realclusteralgebrasC-matricesG-matricessign-coherencequasi-integertypeCoxeterdiagramsfiniteclassificationskew-symmetrizingmethod
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

The paper extends the C- and G-matrix machinery of cluster algebras to exchange matrices with real entries, and asks when these generalized matrices remain sign-coherent. It shows that the quasi-integer class—real matrices conjugate to integer skew-symmetrizable ones—inherits sign-coherence from the integer case, and it gives a complete combinatorial classification of this class in terms of quiver weights. The headline result classifies finite-type sign-coherence: a connected real skew-symmetric quiver has all mutations sign-coherent and all C-patterns finite precisely when it is mutation-equivalent to a Coxeter quiver of type A_n, B_n=C_n, D_n, E_6, E_7, E_8, F_4, H_3, H_4, or I_2(m). This extends the classical Dynkin finite-type list to non-crystallographic Coxeter types, and the paper computes that the number of g-vectors matches the number of almost positive roots in the corresponding Coxeter group.

What carries the argument

The load-bearing mechanism is the skew-symmetrizing map Sk(B)=D^(1/2)BD^(-1/2), which converts each skew-symmetrizable matrix into a canonical skew-symmetric one, independent of the chosen skew-symmetrizer, and transfers the C-, G-, and B-patterns by conjugation. Its companion classification criterion says a real quiver is quasi-integer—hence behaves like an integer matrix up to rescaling—if and only if every weight squares to an integer and the product of weights around every cordless cycle is an integer. The finite-type conclusion then runs through the mutation-finite quiver list, ending in a computer-verified check of H3 and H4.

What would settle it

Run the printed computer program in Appendix A with a larger depth, or an independent exhaustive mutation search, and find a mutation-equivalent H3 or H4 quiver whose C-pattern is not sign-coherent or does not terminate; alternatively, exhibit a mutation-finite real quiver outside the cited list whose weights are all 2cos(pi/m). For the rank-2 claim, take sqrt(ab) strictly between 2cos(pi/(m+1)) and 2cos(pi/m): the paper's formula then produces a C-matrix with mixed signs at distance 2m.

Watch

Extended reading notes

Core claim

The paper's central discovery is a real analogue of the Dynkin classification. Once exchange matrices are allowed real entries, the condition that every B-matrix in the pattern is sign-coherent and every C-pattern is finite is equivalent to the quiver being mutation-equivalent to an orientation of a Coxeter diagram of type A_n, B_n=C_n, D_n, E_6, E_7, E_8, F_4, H_3, H_4, or I_2(m), where edge weights are 2cos(pi/m). In rank 2 the same dichotomy appears: sign-coherence holds exactly when sqrt(ab)=2cos(pi/m) for some m>=2, or sqrt(ab)>=2. The proof route is to rescale any skew-symmetrizable matrix B to the canonical skew-symmetric matrix Sk(B)=D^(1/2)BD^(-1/2); to classify which real quivers a

Load-bearing premise

The classification's non-crystallographic cases H3 and H4 rest on a computer search at fixed depth (7 for H3, 11 for H4, plus the transposes) certifying that every mutation-equivalent quiver is sign-coherent and finite, and on a cited classification saying no other mutation-finite real-weighted quivers have all weights of the form 2cos(pi/m); if either fails, the finite-type classification loses those cases or its exclusion of other types.

Editorial extensions

If this is right

  • If the finite-type classification is correct, the sign-coherent finite-type real cluster patterns are completely listed, and the list is exactly the Coxeter diagram types rather than only the crystallographic Dynkin types.
  • In rank 2, sign-coherence holds exactly for the parameters sqrt(ab)=2cos(pi/m) and the regime sqrt(ab)>=2, and the C- and G-matrices have explicit closed forms in terms of Chebyshev and hyperbolic functions.
  • Every quasi-integer real skew-symmetrizable matrix is sign-coherent, so the combinatorial quiver conditions of Theorem 4.3 give a concrete way to detect sign-coherence for a broad real class.
  • Under the paper's two conjectures—total sign-coherence of the mutation class and the discreteness of parallel c-vectors—dual mutation, G-fan structure, and synchronicity of matrix patterns follow; for quasi-integer matrices these conjectures hold automatically.
  • For each type in the classification, the number of g-vectors equals the number of almost positive roots and the number of G-cones equals the number of chambers in the associated Coxeter arrangement, including H3 (18 g-vectors, 32 cones) and H4 (64 g-vectors, 280 cones).

Reading between the lines

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

  • If the finite-type classification is right, real cluster theory is a natural combinatorial home for non-crystallographic root systems: one could look for a full 'real cluster algebra' of type H3 and H4 whose cluster complex is governed by the non-crystallographic Coxeter group, paralleling the crystallographic Dynkin case.
  • The rank-2 threshold 'sqrt(ab)=2cos(pi/m) or sqrt(ab)>=2' suggests a countable boundary set accumulating at 2; a testable extension is to ask whether the same boundary appears in the growth rate of C-matrices or in spectral data of the associated Coxeter group.
  • The two conjectures remain open outside the classified classes; a natural next check is to test them on the remaining real mutation-finite quivers, especially rank-3 mutation-cyclic examples, where the authors' companion work already supports them.
  • The paper's Cone-Matrix Synchronicity shows that modifying C- and G-matrices by D^(-1/2) restores the coincidence of G-fan periodicity and matrix periodicity that breaks down for general real patterns; an inference is that classifying when the C-, G-, and G-fan exchange graphs coincide may be as meaningful as the finite-type classification itself.
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

2 major / 4 minor

Summary. The paper develops a real-valued generalization of C- and G-matrix theory in cluster algebras, introducing real B-, C-, G-patterns via mutation recursions. The main results are: (1) a skew-symmetrizing method (Theorem 3.5) reducing skew-symmetrizable patterns to skew-symmetric ones; (2) a combinatorial classification of quasi-integer type quivers (Theorem 4.3) and the consequent sign-coherence for that class (Theorem 5.6); (3) a rank-2 classification of sign-coherent matrices via Chebyshev polynomials (Theorem 9.1); (4) a finite-type classification, stating that a connected skew-symmetric matrix has every B-matrix sign-coherent and every C-pattern finite iff its quiver is mutation-equivalent to a Coxeter quiver of type A_n, B_n=C_n, D_n, E_6, E_7, E_8, F_4, H_3, H_4, or I_2(m) (Theorem 10.2). Under two conjectures (totally sign-coherence and discreteness), the paper proves dual mutation, third duality, G-fan structure, synchronicity theorems, and exchange graph isomorphisms. The proof of the H3/H4 part of the classification relies on a computer program in Appendix A.

Significance. If correct, the paper substantially extends sign-coherence theory from integer to real exchange matrices, gives a unified treatment of quasi-integer type via positive conjugation, and provides a Coxeter-diagram classification of finite sign-coherent patterns that includes non-crystallographic types H3 and H4. The rank-2 classification via Chebyshev polynomials is explicit and elegant. The skew-symmetrizing method in Sections 3–5 is a genuine transfer argument rather than a restatement, and Theorem 4.3 gives a clean combinatorial characterization. The paper ships machine-readable code for C-pattern computations, which is a concrete strength. However, the H3/H4 cases of the headline classification are not fully verified as shipped: the computer program checks only C-pattern sign-coherence, while Definition 5.2 requires both C- and G-pattern sign-coherence. The asserted verification of Conjecture 6.9 for all finite types is not reproducible from the artifact. These gaps affect the central classification and the scope of the synchronicity results.

major comments (2)
  1. [Appendix A, Lemma 10.8] The proof of Lemma 10.8 (and hence the H3/H4 cases of Theorem 10.2) is the program in Appendix A. That program only checks C-matrices: `check_col_sign_coherence` is applied to C-matrix columns in `explore_C_pattern`; no G-matrix is ever constructed. Definition 5.2 requires both C- and G-patterns to be sign-coherent. The only bridge in the paper from C-sign-coherence to G-sign-coherence is Proposition 7.1, which is conditional on Conjecture 6.9. Theorem 10.9 asserts Conjecture 6.9 for the finite types, but the appendix does not verify it for H3/H4 (no G-check, no discreteness check). Therefore the 'if' direction of Theorem 10.2 for H3/H4 is not established by the artifact as shipped. This is load-bearing: without H3/H4 the classification reduces to the crystallographic types.
  2. [Theorem 10.9] The statement that Conjectures 6.1, 6.3, and 6.9 hold for every quiver mutation-equivalent to a Coxeter diagram in Figure 9 is supported only by the sentence 'By calculating explicitly, the conjectures are true for every finite type.' No calculation is shown for Conjecture 6.3 (discreteness of c-vector lengths) or for G-pattern sign-coherence in H3/H4. Since Theorem 10.9 is used in Sections 11 and 12 to obtain the synchronicity theorems and exchange graph isomorphisms, the scope of those theorems is overstated unless a verifiable computation is provided.
minor comments (4)
  1. [Section 9.1, proof of Theorem 9.1] The 'if' direction for G-patterns invokes Proposition 7.2, whose hypothesis (Conjecture 6.3 for the full B-pattern) is only established later in Theorem 9.7. The explicit formulas in Example 9.5 make the argument repairable, but the order should be adjusted or the proof should directly verify G-pattern sign-coherence from G_t = (C_t^{-1})^T.
  2. [Section 10, Proposition 10.6(b)] The classification relies on reading [FT23, Table 1.1] to conclude that only F4, H3, H4, and ~F4 have all weights of the form r[m]. Please reproduce the relevant rows of that table or state the exact list used, since the reduction to H3/H4 depends on this external transcription.
  3. [Appendix A] The program header says 'Sage Math 9.3', but the code imports SymPy and uses `Permutations` from `sympy.combinatorics`. This is a minor presentation issue. More importantly, the printed code should be extended to compute G-matrices and check row sign-coherence if it is meant to support Theorem 10.2.
  4. [Throughout] Typos: 'skew-symmetriable' in Remark 4.4; 'nunmber' in Lemma 4.16; 'patricular' in the proof of Theorem 11.7. Also, equation (A.2) claims numbers of G-cones and g-vectors for H3/H4; please specify whether these are computer-verified and under which assumptions (Conjecture 6.9), since they are used in the discussion.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; the derivation is a self-contained transfer of external theorems and explicit computations rather than a restatement of its inputs.

full rationale

The central derivations are not circular. Theorem 3.5 is a conjugation/rescaling correspondence between skew-symmetrizable and skew-symmetric patterns, and Theorem 5.6 imports integer sign-coherence from the external GHKK18 theorem via that correspondence; it is a genuine transfer argument, not a definitional restatement. The quasi-integer classification (Theorem 4.3) is proved by an explicit construction of an integer skew-symmetrizable matrix, independent of the sign-coherence claim. The rank-2 classification (Theorem 9.1) uses explicit Chebyshev-polynomial recursions, with the non-sign-coherent region established by direct computation from the formulas. The finite-type classification (Theorem 10.2) reduces to the external mutation-finite classification of FT23 and to a computer enumeration of C-patterns; no fitted parameter is later renamed as a prediction. The only self-citation is [AC25] in Section 1.2, used as motivation, not as a load-bearing premise. One caveat is worth flagging for correctness, not circularity: Appendix A’s printed program checks only column sign-coherence of C-matrices, while Theorem 10.2 also requires G-pattern sign-coherence; the bridge through Conjecture 6.9/Theorem 10.9 is asserted rather than machine-checked in the artifact as shipped. This is an omitted verification or reproducibility gap, not a reduction of the conclusion to its own input, so it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

The central claims rest on three external results (GHKK18 sign-coherence for integer matrices; FT23 classification of real mutation-finite quivers; NZ12/Nak23 dualities and synchronicity), one standard lemma (FZ03a cycle condition for skew-symmetrizability), and an unformalized computer-assisted verification specific to this paper (the Sage program for H3/H4). No data are fitted: the Coxeter weights r[m] = 2 cos(pi/m) come from Coxeter theory, and the exhaustion depths l=7, l=11 are computational parameters, not fitted constants.

assumptions (6)
  • domain assumption Every integer skew-symmetrizable matrix satisfies sign-coherence (Theorem 5.3, [GHKK18]).
    External theorem, load-bearing for Theorem 5.6, which extends sign-coherence to quasi-integer type via conjugation.
  • domain assumption Classification of mutation-finite quivers with real weights ([FT23, Thm A]), including the claim in Prop 10.6(b) that the only quivers in [FT23, Table 1.1] whose weights are all r[m] = 2 cos(pi/m) are F4, H3, H4, and ~F4.
    External classification; reduces Theorem 10.2 to checking the H3 and H4 families by computer.
  • standard math Lemma 4.8 (cf. [FZ03a, Lem 7.4]): a sign-skew-symmetric matrix is skew-symmetrizable iff the product of entries in each cycle matches in absolute value in both directions.
    Used in the proof of Lemma 4.6, the only-if direction of the quasi-integer classification.
  • ad hoc to paper Correctness of the SageMath 9.3 program in Appendix A and sufficiency of the finite exhaustion depths l=7 for H3 and l=11 for H4 (Lemma 10.8).
    The finite-type classification hinges on this computer-assisted verification; the program is printed but not machine-distributed or formally verified.
  • domain assumption Second duality D^{-1} G_t^T D C_t = I and related dualities as proved in [NZ12, Nak23], with proofs deferred in this paper.
    Load-bearing for the geometric content (Prop 5.9) and for the synchronicity theorems; the authors state in Section 1.4 that these proofs are omitted and referred to [Nak23].
  • domain assumption Synchronicity for the integer case (Theorem 1.1, [Nak21, Nak23]).
    External baseline used to frame the real-case analogue and the exchange graph results in Section 12.
invented entities (2)
  • Quasi-integer type exchange matrices independent evidence
    purpose: A class of real skew-symmetrizable matrices that conjugate to integer matrices, allowing sign-coherence to be inherited from GHKK18 via the skew-symmetrizing method.
    Theorem 4.3 gives a checkable combinatorial characterization (weights squared integral, cordless-cycle products integral), and Theorem 5.6 proves sign-coherence; this is internal mathematical evidence, not empirical.
  • Modified C-, G-matrices (tilde C_t, tilde G_t) independent evidence
    purpose: Rescaled C-, G-matrices (multiplied by D^{-1/2}) introduced to restore synchronicity between matrix patterns and G-cones in the real case.
    Defined in Section 11.1 with a self-contained recursion (Prop 11.2); their synchronicity properties are proved (Theorems 11.6, 11.7) and used to compare exchange graphs (Theorem 12.7).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Real $C$-, $G$-structures and sign-coherence of cluster algebras." pith.science (2026). https://pith.science/paper/W3TBYA3N

@misc{pith2026250906486,
  author       = {Pith},
  title        = {Pith review of: Real $C$-, $G$-structures and sign-coherence of cluster algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W3TBYA3N}},
  note         = {Machine review of arXiv:2509.06486}
}
abstract

We generalize the theory of integer $C$-, $G$-matrices in cluster algebras to the real case. By a skew-symmetrizing method, we can reduce the problem of skew-symmetrizable patterns to skew-symmetric patterns. In this sense, the sign-coherence of a more general real class called of quasi-integer type can be inherited directly from that of integer $C$-, $G$-matrices proved by Gross-Hacking-Keel-Kontsevich. However, the sign-coherence of real $C$-, $G$-matrices does not always hold in general. For this purpose, we classify all the rank $2$ case and the finite type case via the Coxeter diagrams. We also give two conjectures about the real exchange matrices and $C$-, $G$-matrices. Under these conjectures, the dual mutation, $G$-fan structure and synchronicity property hold. As an application, the isomorphism of several kinds of exchange graphs is studied.

Figures

Figures reproduced from arXiv: 2509.06486 by the authors.

Figure 1
Figure 1. An R-valued quiver example We decompose this quiver into M “ ¨ ˚˚˚˚˚˝ 0 2 ´2 0 ´2 ´2 0 ´4 3 ´2 2 4 0 0 0 0 ´3 0 0 ´4 2 2 0 4 0 ˛ ‹ ‹ ‹ ‹ ‹‚ , A “ ¨ ˚˚˚˚˚˝ 0 ? 3 ? 6 0 ? 15 ? 3 0 ? 2 ? 5 ? 5 ? 6 ? 2 0 0 0 0 ? 5 0 0 1 ? 15 ? 5 0 1 0 ˛ ‹ ‹ ‹ ‹ ‹‚ . (4.10) We set A˜ 2 “ p 0 1 3 0 q and d1 “ 3, d2 “ 1. In this case, we have g1 “ gcdpd1, a13q “ gcdp3, 6q “ 3, g¯1 “ a13 g1 “ 2, g2 “ 1, and ¯g2 “ 2. Thus, we obtain A˜ 3 “ ¨… view at source ↗
Figure 2
Figure 2. C-pattern of B “ ´ 0 ´ 1 2 2 0 ¯ p 1 0 0 1 q ` ´1 0 0 1 ˘ ` ´1 0 0 ´1 ˘ ` 1 0 ´2 ´1 ˘ ´ 1 1 2 ´2 0 ¯ ´ 0 1 2 2 0 ´ ¯ 0 ´ 1 2 2 0 ´ ¯ 0 ´ 1 2 ´2 0 ´ ¯ 0 1 2 ´2 ´1 ´ ¯ 1 1 2 0 ´1 ¯ 1 2 1 2 1 1 2 1 2 2 [PITH_FULL_IMAGE:figures/full_fig_p030_2.png] view at source ↗
Figure 3
Figure 3. G-pattern of B “ ´ 0 ´ 1 2 2 0 ¯ For some class including all integer cases, this conjecture can be shown as follows. Proposition 6.6. Let B P SC with a skew-symmetrizer D “ diagpd1, d2, . . . , dnq. If the group of units pZBq ˆ of the ring ZB is trivial, that is pZBq ˆ “ t˘1u, (6.2) then ci;t “ αej implies that α “ ˘1 and di “ dj . In particular, Conjecture 6.3 holds [PITH_FULL_IMAGE:figures/full_fig_p030_3.png] view at source ↗
Figures from the paper (8 more)
Figure 4
Figure 4. Figure 4: G-pattern and G-fan associated with B “ ´ 0 ´ 1 2 2 0 ¯ 9. Classification of sign-coherent class of rank 2 In this section, we give a classification of sign-coherent class and G-fans of rank 2. In the ordinary cluster theory, a formula for c-, g-vectors is obtained by …
Figure 5
Figure 5. Figure 5: Type I2p7q [PITH_FULL_IMAGE:figures/full_fig_p042_5.png]
Figure 7
Figure 7. Figure 7: Type A p1q 1 [PITH_FULL_IMAGE:figures/full_fig_p043_7.png]
Figure 9
Figure 9. Figure 9: Coxeter quivers m of each edge of the Coxeter diagram to rms “ 2 cos π m , and giving the orientation as in the figure. In this procedure, we might consider another orientation, but it does not give an essential problem. As in [FZ03a, Thm. 8.6], for any quiver Q1 whose…
Figure 10
Figure 10. Figure 10: Type F˜ 4 Remark 10.7. The orbifold is a connected and bordered oriented 2-dimensional surface with a finite set of marked points and orbifold points with no intersection. Then, the compatible arcs can be defined according to certain conditions. A triangulation of the…
Figure 11
Figure 11. Figure 11: B-pattern of type H3 initial ˜ 0 ´p 0 0 p 0 ´1 0 0 1 0 ´1 0 0 1 0 ¸ r1s ˜ 0 p 0 0 ´p 0 ´1 0 0 1 0 ´1 0 0 1 0 ¸ r2s ˜ 0 p ´p 0 ´p 0 1 0 p ´1 0 ´1 0 0 1 0 ¸ r3s ˜ 0 ´p 0 0 p 0 1 ´1 0 ´1 0 1 0 1 ´1 0 ¸ r4s ˜ 0 ´p 0 0 p 0 ´1 0 0 1 0 1 0 0 ´1 0 ¸ r1, 2s ˜ 0 ´p 0 0 p 0 1 0 …
Figure 12
Figure 12. Figure 12: B-pattern of type H4 [PITH_FULL_IMAGE:figures/full_fig_p059_12.png]
Figure 13
Figure 13. Figure 13: C-pattern with the initial exchange matrix B0 “ ˆ 0 ´p p p 0 ´p ´p p 0 ˙ [PITH_FULL_IMAGE:figures/full_fig_p060_13.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 29 canonical work pages

  1. [1]

    Akagi, Z

    R. Akagi, Z. Chen Sign-coherence and tropical sign pattern for rank 3 real cluster-cyclic exchange matrices 2025 in preparation

  2. [2]

    Beineke, T

    A. Beineke, T. Br\"ustle and L. Hille Cluster-cyclic quivers with three vertices and the Markov equation Algebr. Represent. Theory 14 2011 , no. 1, 97 112 MR2763295

  3. [3]

    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

  4. [4]

    Br \"u stle, S

    T. Br \"u stle, S. Hermes, K. Igusa, G. Todorov Semi-invariant pictures and two conjectures on maximal green sequences J. Algebra 473 , 2017 , 80 109

  5. [5]

    D. D. Duffield and P. Tumarkin Categorifications of non-integer quivers: types H_4 , H_3 and I_2(2n+1) Represent. Theory 28 2024 , 275 327 ; MR4806405

  6. [6]

    D. D. Duffield and P. Tumarkin Categorifications of Non-Integer Quivers: Type I_2(2n) Algebr. Represent. Theory 28 2025 no. 3, 787 840 ; MR4927767

  7. [7]

    Derksen, J

    H. Derksen, J. Weyman, A. Zelevinsky Quivers with potentials and their representations II: applications to cluster algebras J. Amer. Math. Soc. 23(3) 2010 , 749 790

  8. [8]

    T. J. Ervin, B. Jackson, K. Lee, S. D. Nguyen Geometry of c -vectors and c -matrices for mutation-infinite quivers 2024 , arXiv:2410.08510

Show all 31 references
  1. [9]

    Gross, P

    M. Gross, P. Hacking, S. Keel, M. Kontsevich Canonical bases for cluster algebras J. Amer. Math. Soc. 31 , 2018 , 497 608

  2. [10]

    Fujiwara and Y

    S. Fujiwara and Y. Gyoda Duality between final-seed and initial-seed mutations in cluster algebras SIGMA Symmetry Integrability Geom. Methods Appl 15 2019 Paper No. 040, 24 MR3950163

  3. [11]

    Felikson, M

    A. Felikson, M. Shapiro, P. Tumarkin Cluster algebras and triangulated orbifolds Adv. Math. 231 2012 , 2953 3002

  4. [12]

    Felikson, P

    A. Felikson, P. Tumarkin Mutation-finite quivers with real weights Forum Math. Sigma 11 2023 , Paper No. e9, 22 pp.; MR4549712

  5. [13]

    Fomin, L

    S. Fomin, L. Williams, A. Zelevinsky Introduction to Cluster Algebras Chapters 4–5 arXiv preprint arXiv:1707.07190 2016

  6. [14]

    Fomin, A

    S. Fomin, A. Zelevinsky Cluster Algebra I: Foundations J. Amer. Math. Soc. 15 2002 , 497 529

  7. [15]

    Fomin, A

    S. Fomin, A. Zelevinsky Cluster algebras. II. Finite type classification Invent. Math 154 , 2003 , no. 1, 63 121

  8. [16]

    Fomin, A

    S. Fomin, A. Zelevinsky Cluster Algebra IV: Coefficients Comp. Math. 143 2007 , 63 121

  9. [17]

    M. I. Gekhtman and T. Nakanishi Asymptotic sign coherence conjecture Exp. Math. 31 2022 no. 2, 497 505 ; MR4458128

  10. [18]

    D. C. Handscomb and J. C. Mason Chebyshev polynomials Chapman & Hall CRC, Boca Raton, FL, 2003 ; MR1937591

  11. [19]

    J. E. Humphreys Reflection groups and Coxeter groups Cambridge Studies in Advanced Mathematics 29, Cambridge Univ. Press, Cambridge 1990 MR1066460

  12. [20]

    J. Lee, K. Lee An unexpected property of g -vectors for rank 3 mutation-cyclic quivers 2024 , arXiv:2409.00599

  13. [21]

    Lee and R

    K. Lee and R. Schiffler Positivity for cluster algebras Ann. of Math. (2) 182 2015 , no. 1, 73 125 ; MR3374957

  14. [22]

    Nagao Donaldson-Thomas theory and cluster algebras Duke Math

    K. Nagao Donaldson-Thomas theory and cluster algebras Duke Math. J. 7 , 2013 , 1313 1367

  15. [23]

    Nakanishi Synchronicity phenomenon in cluster patterns J

    T. Nakanishi Synchronicity phenomenon in cluster patterns J. London Math. Soc. 103 , 2021 , 1120 1152

  16. [24]

    Nakanishi Cluster algebras and scattering diagrams MSJ Mem

    T. Nakanishi Cluster algebras and scattering diagrams MSJ Mem. 41 2023 , 279 pp; ISBN: 978-4-86497-105-8

  17. [25]

    Nakanishi, A

    T. Nakanishi, A. Zelevinsky On tropical dualities in cluster algebras Contemp. Math. 565 2012 , 217 226

  18. [26]

    Plamondon Cluster algebras via cluster categories with infinite-dimensional morphism spaces Compos

    P. Plamondon Cluster algebras via cluster categories with infinite-dimensional morphism spaces Compos. Math. 147 2011 , 1921 1954

  19. [27]

    Reading Universal geometric cluster algebras Math

    N. Reading Universal geometric cluster algebras Math. Z. 277 2014 no. 1-2, 499 547 ; MR3205782

  20. [28]

    Seven Cluster algebras and semipositive symmetrizable matrices Trans

    A. Seven Cluster algebras and semipositive symmetrizable matrices Trans. Amer. Math. Soc. 363 2011 , 2733 2762

  21. [29]

    Seven Maximal green sequences of skew-symmetrizable 3 3 matrices Linear Algebra Appl

    A. Seven Maximal green sequences of skew-symmetrizable 3 3 matrices Linear Algebra Appl. 440 2014 , 125 130

  22. [30]

    Seven Cluster algebras and symmetric matrices Proc

    A. Seven Cluster algebras and symmetric matrices Proc. Amer. Math. Soc. 143 (2) 2015 , 469 478

  23. [31]

    Warkentin Exchange graphs via quiver mutation Dissertation 2014 , 103

    M. Warkentin Exchange graphs via quiver mutation Dissertation 2014 , 103

Pith tools

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