REVIEW 1 major objections 5 minor 22 references
Local and global patterns of rank 3 $G$-fans of totally-infinite type
T0 review · 1 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read Every cluster pattern of infinite type has an incomplete G-fan, and rank-3 local patterns predict its global geometry.
desk verdict Worth refereeing despite a genuine gap in the N=0 cases of Proposition 3.1; the local classification is solid. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the $G$-fan: the fan in $\mathbb{R}^n$ whose cones are spanned by the $g$-vectors attached to each seed of a cluster pattern. The argument is carried by the alternating-mutation sequences for two indices of infinite type, along which the $g$-vectors are expressed through Chebyshev polynomials of the second kind evaluated at $\kappa/2=\sqrt{ab}/2$. The sign pattern of the evolving third-row entries $(c_t,d_t)$ -- classified into six types (1, 2, 3, 4-1, 4-2, 4-3) -- decides whether the third component of the $g$-vectors is zero, a linear function of the rank-2 components, or a combination that cancels after finitely many steps; this is what makes the limits $\tilde v$ and $\tilde v'$ finite and computable.
What would settle it
Compute, for the paper's own Type 4-2 example with $(a,b,c_0,d_0)=(3,2,-100,159)$, the complete mutation sequence for $g$-vectors and check whether the third component stays identically zero for every $m\ge 5$ as claimed; any later nonzero third component before the normalization limit, or any divergence of the normalized sequence, would falsify Proposition 3.1 and hence Theorem 4.2.
Extended reading notes
Core claim
The paper's main theorem (Theorem 4.2) states: if the cluster pattern $\Sigma(B)$ is of infinite type, the $G$-fan $\Delta(B)$ is incomplete. The proof reduces to rank 3, where the initial exchange matrix has an infinite-type pair and two further entries $c_0,d_0$. Under alternating mutations in that pair, the normalized forward and backward $g$-vectors converge to vectors $\tilde v$ and $\tilde v'$ (Proposition 3.1), and the cones $\sigma(\tilde v,e_3,\ldots,e_n)$, $\sigma(\tilde v',e_3,\ldots,e_n)$ form a boundary that no full-dimensional $G$-cone crosses: in the affine case ($ab=4$) the two boundary vectors coincide, leaving a codimension-one crack, and in the non-affine case ($ab\ge5$) they enclose an unfilled region because their normal vectors are irrational. Thus the $G$-fan cannot be complete.
Load-bearing premise
Everything rests on the correctness of the listed sign patterns for the evolving off-diagonal coefficients along the alternating mutation path -- the paper itself notes the $N=0$ cases were missing from the earlier version of that list -- and if any of those sign patterns is wrong, the finite limiting vectors that create the uncovered boundary need not exist.
Editorial extensions
If this is right
- Theorems 4.1 and 4.2 together give a dichotomy: a cluster pattern is of finite type if and only if its $G$-fan is complete.
- In rank 3, the local type of each elementary vertex (1, 2, 3, 4-1, 4-2, 4-3) together with the Markov constant predicts the global pattern, yielding the named prototypes: the wing, the pinwheel, the tunnel, the outside and inside gates, and the dual gates.
- For totally-infinite cyclic matrices with Markov constant at most 4, all elementary vertices are of Type 4-1 and the global pattern is the pinwheel; for larger Markov constant the tunnel appears.
- The proof gives a direct route to incompleteness that uses only mutation formulas and sign-coherence, without invoking the uniqueness of consistent scattering diagrams.
Reading between the lines
- If the proposed local-to-global dictionary is complete, the Markov constant acts as a phase parameter for the global shape: at or below 4 the fan stays in the pinwheel class, while above 4 it opens a tunnel or gates; this is testable by enumerating all rank-3 totally-infinite matrices with a small bound on entries.
- The reduction to rank 3 suggests the six-type classification is the universal building block for the asymptotic behavior of any infinite-type pair in higher rank; one could seek higher-rank analogues of the crack and Badlands by tracking the third-row signs along the same alternating paths.
- The equality cases in the Type 4-2 and Type 4-3 inequalities, which the paper calls finite degenerations, are natural candidates for a complete description of all degenerations; verifying that no other degenerations occur would strengthen the proposed exhaustion of global patterns.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies G-fans (g-vector fans) of cluster patterns whose initial exchange matrices are of infinite type. In the first part, it reduces the study of alternating mutations for two indices (i,j) with |b_ij b_ji| ≥ 4 to the rank 3 case, classifies the asymptotic behavior of g-vectors into six types (Types 1, 2, 3, 4-1, 4-2, 4-3) with subcases, and then proves as an application that the G-fan of an infinite-type cluster pattern is incomplete (Theorem 4.2). The second part presents experimental observations on rank 3 G-fans of totally-infinite type, assigning to each vertex a local type and proposing prototypical global patterns (the wing, pinwheel, tunnel, gates, and their degenerations), many of which are explicitly computed. The paper is clearly written, contains extensive worked examples, and explicitly labels the global-pattern census as experimental.
Significance. If the proof of Proposition 3.1 is completed, Theorem 4.2 is a natural and valuable counterpart to the known completeness theorem for finite type, and the rank 3 local classification is a useful quantitative contribution. The paper should be credited for making the central derivation explicit (Section 3), for including hand-checked examples for each type, and for honestly marking the global-pattern classification as experimental rather than as a theorem. The explicit examples of global patterns (e.g., the tunnel, the outside/inside gates) are likely to be useful to the cluster-algebra community. However, the main theorem is load-bearing on Proposition 3.1, and that proposition has a proof gap in the N=0 subcases, which is discussed below.
major comments (1)
- [Section 3.4.2, Type 4-2-2 and Section 3.4.3, Type 4-3-2] The proof of Proposition 3.1 does not cover the N=0 subcases in Type 4-2-2 and Type 4-3-2. In Type 4-2-2, the sign-pattern table (3.51) lists t-values -2,-1,0,1,N,N+1,N+2,N+3; for N=0 these values overlap (0 and 1 appear twice), so no sign pattern is actually asserted. Moreover, the recursion used to derive \tilde{g}_{N+2} just before (3.56) involves \tilde{g}_N and \tilde{g}_{N+1}; for N=0, \tilde{g}_0 is undefined because the sequences g_m and \tilde{g}_m in (2.26) and (3.36) start at m=1. The same defect occurs in Type 4-3-2 at (3.68) and (3.73), where \tilde{g}'_{N+2} requires \tilde{g}'_0. These N=0 cases are not vacuous: for example, (c0,d0)=(-1,b) satisfies the Type 4-2 condition (3.41) with N=0. Since Proposition 3.1 is the entire basis for Theorem 4.2 (and for the affine crack argument when ab=4), this gap leaves the incompleteness theorem unproved for these families. The author explicitly notes that N=0 was excluded in [GN22] and should have been included, but the present manuscript does not supply the missing argument. A dedicated treatment of N=0 (by direct computation or by a careful limiting argument) is required.
minor comments (5)
- [Section 6.3, Lemma 6.4(2)] In the proof of Lemma 6.4(2), the subscripts in (6.14) and the following inequality appear to be misprinted: 'p1p'_2' should likely be 'p1p'_1' (the second inequality in (6.14) involves the pair (1,2) for vertex v3, so the product is p1p'_1, not p1p'_2).
- [Table 1] In the (C-4) row, 'the wide intside gate' is a typo for 'the wide inside gate'.
- [Figure 14 caption] The phrase 'by the mutation sequence (3,1,2) in in (6.19)' contains a duplicated 'in'.
- [Section 2.4 and Section 5(4)] The term 'the Badlands' is used without definition; a parenthetical explanation (the uncovered two-dimensional region between the limiting rays v and v') would improve readability.
- [Equations (3.41) and (3.59)] For N=0, the right-hand side of (3.41) and the left-hand side of (3.59) involve division by U_{-1}=0. The text says to ignore the second inequality for N=0, but the phrasing could be expanded to clarify that the undefined ratio is simply not used in that case.
Circularity Check
The central theorem is not circular: Proposition 3.1 computes finite limits from prior sign-pattern data, and Theorem 4.2 follows by a geometric argument, though the proof depends on same-author results and has an admitted N=0 gap.
full rationale
I find no step in the manuscript where a claimed prediction or derivation is equivalent to its input by construction. Proposition 3.1's proof takes the sign-pattern classification of (c_t, d_t) from [GN22] as data and then computes the third components of the lifted g-vector sequences explicitly (e.g., equations (3.14), (3.22), (3.36), (3.48), (3.56), (3.65), (3.73)). The finite-limit conclusion is a derived consequence of those computations together with the rank-2 asymptotics (2.29) and (2.33), not a restatement of the input. Theorem 4.2 then uses the finite limits to produce boundary cones with irrational or codimension-one normals, again a geometric consequence rather than a circular restatement. The dependence on [GN22] (coauthored by the present author) is load-bearing in the sense that the sign patterns are imported as black boxes, but [GN22] is a published, parameter-free classification whose assumptions do not include incompleteness of G-fans; it is therefore real evidence rather than a self-referential premise. The paper also explicitly flags the insufficiency of its earlier proof in [Nak23, II.Prop. 2.18] and replaces it with more quantitative details, which reduces rather than increases circularity concern. The manuscript's own parenthetical that [GN22] excluded N=0 and 'should have been included' points to a possible proof gap for the N=0 subcases in Types 4-2 and 4-3, since the recursions used there are written for N>=2 and the sign-pattern tables have overlapping entries when N=0; this is a correctness risk to be weighed by referees, but it is not a circularity, because the argument does not assume the conclusion it is proving. Overall score 1: one self-citation, not circular.
Assumptions & free parameters
assumptions (7)
- domain assumption Sign-coherence of c-vectors, proved by the scattering diagram method in [GHKK18].
- domain assumption Rank 2 formulas for C- and G-matrices in terms of Chebyshev polynomials, from [Rea14, GN22].
- domain assumption [FZ03, Thm. 1.8]: any infinite-type exchange matrix is mutation-equivalent to one with |b_ij b_ji| >= 4 for some pair.
- domain assumption Sign-pattern classification of (c_t, d_t) from [GN22, Props. 3.1-3.4] for the six types.
- domain assumption Theorem 4.1 from [Rea14, Rea20a]: finite-type cluster patterns have complete G-fans.
- domain assumption Theorem 6.2 from [BBH11, Aka24]: a cyclic matrix B is cluster-cyclic iff B is of totally-infinite type and C(B) <= 4.
- domain assumption Proposition 6.3 from [Mul16]: for cluster-acyclic skew-symmetric B, the negative orthant is a G-cone.
Cite this review
Pith. "Pith review of Local and global patterns of rank 3 $G$-fans of totally-infinite type." pith.science (2026). https://pith.science/paper/ESTFE22C
@misc{pith2026241116283,
author = {Pith},
title = {Pith review of: Local and global patterns of rank 3 $G$-fans of totally-infinite type},
year = {2026},
howpublished = {\url{https://pith.science/paper/ESTFE22C}},
note = {Machine review of arXiv:2411.16283}
}
abstract
We focus on the $G$-fans associated with cluster patterns whose initial exchange matrices are of infinite type. We study the asymptotic behavior of the $g$-vectors around the initial $G$-cone under the alternating mutations for two indices of infinite type. In the rank 3 case, we classify them into several patterns. As an application, the incompleteness of the $G$-fans of infinite type is proved. We observed that the local pattern of a rank 3 $G$-fan of totally-infinite type classified by the above types correlates with its global pattern. Following the classification of the local patterns (together with the Markov constant), we present several prototypical examples of the global patterns of the rank 3 $G$-fans of totally-infinite type, many of which are new in the literature.
Figures
Figures from the paper (14 more)
Reference graph
Works this paper leans on
-
[1]
R. Akagi, Cluster-cyclic condition of skew-symmetrizable matrices of rank 3 via M arkov constant , 2024, arXiv:2411.07083 [math.CO]
arXiv 2024
-
[2]
Cluster-Cyclic Quivers with three Vertices and the Markov Equation
A. Beineke, T. Br\"ustle, and L. Hille, Cluster-cyclic quivers with three vertices and the M arkov equation , Algebr. Represent. Theory 14 (2011), 97--112; arXiv:math/0612213 [math.RA]
work page Pith review arXiv 2011
-
[3]
T. Br\"ustle, G. Dupont, and M. P\'erotin, On maximal green sequences, Int. Math. Res. Not. 2014 (2014), 4547--4586; arXiv:1205.2050 [math.RT]
arXiv 2014
-
[4]
The greedy basis equals the theta basis
M.-W. Cheung, M. Gross, G. Muller, G. Musiker, D. Rupel, S. Stella, and H. Williams, The greedy basis equals the theta basis: A rank two haiku , J. Combin. Theory, Ser. A 145 (2017), 150--171; arXiv:1508.01404 [math.QA]
work page Pith review arXiv 2017
-
[5]
Cluster X-varieties at infinity
V. Fock and A. Goncharov, Cluster poisson varieties at infinity, Selecta Math. (N.S.) 22 (2016), 2569--2589; arXiv:1104.0407 [math.AG]
work page Pith review arXiv 2016
-
[6]
S. Fomin and A. Zelevinsky, Cluster algebras I . F oundations , J. Amer. Math. Soc. 15 (2002), 497--529 (electronic); arXiv:math/0104151 [math.RT]
arXiv 2002
-
[7]
F inite type classification , Invent
, Cluster algebras II . F inite type classification , Invent. Math. 154 (2003), 63--121; arXiv:math/0208229 [math.RA]
arXiv 2003
-
[8]
C oefficients , Compositio Mathematica 143 (2007), 112--164; arXiv:math/0602259 [math.RT]
, Cluster algebras IV . C oefficients , Compositio Mathematica 143 (2007), 112--164; arXiv:math/0602259 [math.RT]
arXiv 2007
Show all 22 references
-
[9]
Gross, P
M. Gross, P. Hacking, S. Keel, and M. Kontsevich, Canonical bases for cluster algebras, J. Amer. Math. Soc. 31 (2018), 497--608; arXiv:1411.1394 [math.AG]
2018 arXiv
-
[10]
Gekhtman and T
M. Gekhtman and T. Nakanishi, Asymptotic sign coherence conjecture, Experimental Mathematics 31 (2022), 497--505; arXiv:1904.00971 [math.CO]
2022 arXiv
-
[11]
Keller, Quiver M utation in J ava , https://webusers.imj-prg.fr/\
B. Keller, Quiver M utation in J ava , https://webusers.imj-prg.fr/\
-
[12]
Muller, The existence of a maximal green sequence is not invariant under quiver mutation, Electron
G. Muller, The existence of a maximal green sequence is not invariant under quiver mutation, Electron. J. Combin. 23 (2016), \# P2.47, 23 pages; arXiv:1503.04675
2016 arXiv
-
[13]
Nakanishi, Cluster algebras and scattering diagrams, MSJ Mem., vol
T. Nakanishi, Cluster algebras and scattering diagrams, MSJ Mem., vol. 41, Mathematical Society of Japan, 2023, Part I. arXiv:2201.11371 [math.CO], Part II. arXiv:2103.16309 [math.CO], Part III. arXiv:2111.00800 [math.CO]
2023 arXiv
-
[14]
Nakanishi and A
T. Nakanishi and A. Zelevinsky, On tropical dualities in cluster algebras, Contemp. Math. 565 (2012), 217--226, arXiv:1101.3736 [math.RA]
2012 arXiv
-
[15]
Reading, Universal geometric cluster algebras, Mathematische Zeitschrift 277 (2014), 499--547; arXiv:1209.3987 [math.RA]
N. Reading, Universal geometric cluster algebras, Mathematische Zeitschrift 277 (2014), 499--547; arXiv:1209.3987 [math.RA]
2014 arXiv
-
[16]
, A combinatorial approach to scattering diagrams, Algebraic Combinatorics 3 (2020), 603--636; arXiv:1806.05094 [math.CO]
2020 arXiv
-
[17]
, Scattering fans, Int. Math. Res. Notices 23 (2020), 9640--9673; arXiv:1712.06968 [math.CO]
2020 arXiv
-
[18]
, Dominance phenomena: mutation, scattering, and cluster algebras, Trans. Amer. Math. Soc. 376 (2023), 773--835; arXiv:1802.10107 [math.CO]
2023 arXiv
-
[19]
Reading and D
N. Reading and D. Speyer, Combinatorial frameworks for cluster algebras, Int. Math. Res. Notices 2016 (2016), 109--173; arXiv:1111.2652 [math.CO]
2016 arXiv
-
[20]
, Cambrian frameworks for cluster algebras of affine type, Trans. Amer. Math. Soc. 370 (2018), 1429--1468; arXiv:1504.00260 [math.CO]
2018 arXiv
-
[21]
Reading and S
N. Reading and S. Stella, Cluster scattering diagrams of acyclic affine type, 2022, arXiv:2205.05125 [math.CO]
2022 arXiv
-
[22]
Yurikusa, Density of g -vector cones from triangulated surfaces, Int
T. Yurikusa, Density of g -vector cones from triangulated surfaces, Int. Math. Res. Not. 2020 (2020), 8081--8119; arXiv:1904.12479 [math.RT]
2020 arXiv
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.