{"id":"4d36515a-f21b-462e-9442-90f64a8683c6","arxiv_id":"2512.02218","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In affine-type cluster algebras, dominance regions are points inside the g-vector fan and explicitly described line segments on the imaginary wall, with an integral version for lattice points.","lead":"This paper proves that, for a large family of affine-type cluster algebras, the dominance region of any vector is either a single point or an explicit line segment. It supplies the structural description needed to build pointed bases and theta functions in the affine case.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.1/4.56 hinge on the unpublished identification of the affine mutation fan with the cluster scattering fan; the proof does not independently establish this.","rationale":"The paper's real contribution is a detailed structural reduction: with the affine imaginary wall in hand, the neighboring-seed classification (Theorem 4.38) and finite-type C companions reduce dominance regions to finite type, where Theorem 3.2 gives singletons. I traced the proofs of Theorems 4.1, 4.26, 4.56 and found no internal inconsistency. The single place where the argument is most exposed is the importation of the mutation-fan/scattering-fan identification from the unpublished [35]; everything in §4 treats this as a black box. The reader's weakest_assumption names the same dependency, so I agree. I do not see a reason to move the verdict: the concern warrants CONDITIONAL but not REJECT, since [35] is a serious preprint by the same authors and no contradiction with known affine examples is apparent. The paper's own Remark 4.28 admits Probable Theorem 4.29 is unproved; that is a scope limitation on the abstract's 'determine dominance regions' but does not affect Theorems 4.1/4.56, the strongest claims. The absence of deposited code for the exceptional finite-type computer check is a lesser reproducibility gap. Overall the verdict remains CONDITIONAL.","tokens_in":56071,"tokens_out":10449,"duration_ms":109572,"concrete_test":"Independently verify [35, Thm. 2.10] for at least one representative of each affine mutation class, starting with A_2^(1) (c=s1 s2) and one higher-rank class such as D_4^(1): compute the cluster scattering fan of [30] and the mutation fan of [28] directly from definitions, and check (a) cone-by-cone equality of the two fans, and (b) that the complement of the g-vector fan is a single codim-1 cone whose only non-g-vector ray is −1/2 B0δ. If any representative fails, the imaginary-wall/ray construction in §4 is unsupported; if all pass, the dependency is corroborated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central dichotomy in §4 is only as secure as the imported structural identification of the affine mutation fan. The paper states in §1 that for acyclic affine B^T the mutation fan coincides with the cluster scattering fan ([35, Thm. 2.10]) and that the complement of the g-vector fan is a codimension-1 imaginary wall ([32, Cors. 1.3,4.9]). All of the affine machinery in §4—the imaginary wall d_B^∞, the imaginary ray, Lemma 4.15 (ν_c(δ) = −1/2 B0δ), Proposition 4.16 (η_{12⋯n} = ν_c τ_c ν_c^{-1} and fixes d^∞), Proposition 4.24 (well-defined δ_B and wall ⊆ (δ_B)^⊥), and the neighboring-seed reduction used in Theorem 4.1—rests on this identification. [35] is an arXiv preprint by two of the current authors and is not reproved here; if its main theorem failed for a single affine mutation class, the point/line-segment dichotomy and the explicit formulas for P^B_λ and P^{eB}_{λ~} would have no foundation. This is a correctness risk, not a claim of circularity. A secondary but lesser issue is that the exceptional finite-type singleton check (Theorem 3.2) is asserted to be computational with no code or certificates; Theorem 4.1 uses it through finite-type C companions.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper determines dominance regions for cluster algebras of affine type. The main theorem (Theorem 4.1) states that for an affine-type exchange matrix B and a point λ in the relative interior of the imaginary wall d_B^∞, the dominance region P^B_λ is the line segment {λ + a B δ_B : a ≥ 0} ∩ d_B^∞, parallel to the imaginary ray, with one endpoint at λ and the other on the relative boundary of the wall. This is extended to extended exchange matrices with linearly independent columns (Theorem 4.26, point regions in g-vector cones) and to arbitrary extensions with λ projecting into the imaginary wall (Theorem 4.56), plus an integral analogue (Theorem 4.58). The proof develops a detailed description of neighboring seeds of affine type, shows their companion matrices are of finite type C, and reduces the core computation to the finite-type singleton theorem (Theorem 3.2), which is proved by a combination of surface models, folding, and computational checks.","tokens_in":56336,"tokens_out":3615,"duration_ms":39520,"significance":"If correct, the result is significant: it gives the first complete description of dominance regions beyond rank 2 for affine cluster algebras, a key step toward pointed bases and theta functions in affine type. The paper introduces a genuinely new tool, the neighboring-seed structure, with an explicit finite-type-C companion that is used to linearize the dominance-region computation. The proofs are mostly detailed and well-structured, building on established results in a careful way. However, the central affine dichotomy rests on a structural identification imported from an unpublished preprint by two of the present authors, and the finite-type exceptional case is asserted to be computational with no code or certificates. These two points are load-bearing and prevent an unconditional acceptance at this stage.","major_comments":[{"comment":"The entire affine machinery — the imaginary wall d_B^∞, the imaginary ray, Lemma 4.15, Proposition 4.16, Proposition 4.24, and the line-segment dichotomy in Theorem 4.1 — depends on the statement that for acyclic affine B^T the mutation fan equals the cluster scattering fan and that the complement of the g-vector fan is a codimension-1 cone. This is imported from [35, Theorem 2.10] and [32, Corollaries 1.3, 4.9]. [35] is an arXiv preprint by two of the present authors and is not reproved here. If [35, Theorem 2.10] failed for a single affine mutation class, the main theorem would lose its foundation. This is a correctness risk, not a claim of circularity. The authors should either give a self-contained proof of the needed identification or update the reference to a peer-reviewed publication and explain exactly which statements are used.","section":"§1, §4.1 (after Eq. (4.1))"},{"comment":"Theorem 3.2 (finite-type singleton dominance region) is load-bearing: Theorem 3.1 uses it, and the proof of Theorem 4.1 uses Theorem 3.1 through the type-C companion reduction (Proposition 4.55 and the final paragraph of §4.5). The exceptional finite-type cases are dispatched as 'checked computationally' with no code, certificates, or a precise description of the computation: the reduction to one λ in the interior of each maximal cone is described, but no details are given of how the polyhedral intersections are computed, how many cones there are, or how the finite computation is certified. As written, this verification is not reproducible. Please provide the code or a rigorous finite-state certificate.","section":"§3.1, exceptional types paragraph"}],"minor_comments":[{"comment":"The type-D proof says the three remarkable properties are verified 'straightforwardly' and omits details. Given the pivotal role of these properties in the type-A argument, a short explanation or figure for the tagged/quasi-lamination case would improve verifiability.","section":"§3.1, Type D paragraph"},{"comment":"The remark states that Theorem 4.1 includes the 2×2 affine case but that the proof silently omits this case. It would be clearer to state explicitly that the 2×2 case is proved in [36, Theorem 1.2] and that the proof in this paper covers n ≥ 3.","section":"Remark 4.2"},{"comment":"Typo: 'he dashed lines in the left picture' should be 'The dashed lines in the left picture'.","section":"§4.4, proof of Proposition 4.42"},{"comment":"The symbol k is used both for the special index and for the sequence k = k(n−1)knk (and later η^{BT}_k). This is confusing; consider using a bold or underscored symbol for the sequence.","section":"§4.5, Proposition 4.53"},{"comment":"The label 'Probable Theorem' is unusual; it is an open problem rather than a theorem. Consider renaming it 'Conjecture' or 'Open problem' to avoid confusion with proved results.","section":"§4.2, 'Probable Theorem 4.29'"}],"recommendation":"major_revision","confidential_remarks":"The dependence on [35] is especially delicate because that preprint is by two of the present authors; the editor may wish to verify its status in the peer-reviewed literature before final acceptance. The computational check in §3.1 is also a reproducibility concern for a theorem that is used as a black box. If these two points are addressed — by a published reference or an appendix, and by making the computation available — the paper would be a strong contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is the real thing. Reading, Rupel, and Stella settle the affine case of dominance regions: points inside the g-vector fan, explicit line segments parallel to the imaginary ray on the imaginary wall, with matching integral and extended-exchange-matrix versions. The new structural tool — neighboring seeds and their type-C companions — is genuinely new and does real work in the proof. The paper is also honest about its own boundaries: it flags Probable Theorem 4.29 as unproved, and it gives no code or certificates for the finite-type exceptional computer checks.\n\nThe main line-segment theorem (4.1) is convincing. The strategy — reduce to neighboring seeds, project to a finite type-C companion, invoke the finite-type singleton theorem — is coherent and I don't see a circular step. Theorem 3.2 (finite type, coefficient-free, singleton) is stated as type-by-type with surfaces, folding, and computations; the computations are not deposited, which is a minor reproducibility blemish, not a correctness defect.\n\nThe soft spot that deserves attention is the foundational identification in §1: the mutation fan for B^T equals the cluster scattering fan in affine type, and the complement of the g-vector fan is the codimension-1 imaginary wall. That comes from [35, Thm 2.10] and [32, Cor 1.3,4.9]. [35] is an arXiv preprint by two of the present authors, not reproved here. Everything in §4 — the imaginary wall, the imaginary ray, the neighboring-seed machinery — rests on it. This is a genuine correctness risk, though not a sign of circularity: the authors treat [35] as a proved external result, and the paper's own lemmas are independent. A referee should pressure-test [35] specifically.\n\nThe gap around Probable Theorem 4.29 is real but proportionately small. The abstract says 'determine dominance regions' for affine type, but for arbitrary coefficient extensions with projections into the g-vector fan and linearly dependent columns, the answer is not proved. The paper says so explicitly, and the applications they cite (pointed bases via Qin, theta functions) mostly live in the cases they do cover. I'd still call the title slightly optimistic.\n\nWho this is for: cluster algebra people working on bases, theta functions, or Cambrian/scattering fans. The tools will be reused. It deserves a serious referee — send it out, ask the authors to state the status of [35] (is it published/submitted?) and to provide the exceptional-type computations. If [35] holds up, this is a strong paper.","headline":"A strong, honest paper that resolves the affine dominance-region problem in the cases that matter, with one load-bearing dependency on an unpublished companion preprint.","tokens_in":56866,"tokens_out":2458,"would_cite":true,"duration_ms":26078,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["13F60"],"pacs":[],"model":"deepseek-v4-flash","headline":"For affine cluster algebras, every dominance region is either a single point or a line segment, and the line segments are described explicitly.","keywords":["cluster algebras","affine type","dominance regions","imaginary wall","g-vector fan","mutation fan","pointed bases","neighboring seeds"],"falsifier":"Compute P^B_λ for an affine-type exchange matrix B with λ inside d^B_∞ and check whether the intersection of the ray {λ + a B δ_B : a ≥ 0} with the relative boundary of d^B_∞ coincides with the dominance region; any point of P^B_λ outside that segment would falsify Theorem 4.1.","tokens_in":55888,"feed_emoji":"📏","tokens_out":3344,"duration_ms":31317,"temperature":0.7,"pith_summary":"This paper determines the dominance regions for cluster algebras of affine type. It proves that a dominance region is either a single point or a line segment, and in the line-segment case it describes the segment explicitly: it runs parallel to the imaginary ray, starts at the chosen parameter, and ends on the relative boundary of the imaginary wall. The same dichotomy holds for extended exchange matrices, with a parallel statement for the integral dominance regions. These results matter because dominance regions encode, via existing theorems, the pointed bases and theta functions of affine cluster algebras; knowing them explicitly is a concrete step toward writing those bases down.","feed_headline":"Affine cluster algebras: dominance regions are points or line segments","feed_subtitle":"Explicit line segments open the way to pointed bases and theta functions in affine type.","key_machinery":"The proof rests on the structure of the mutation fan of an affine exchange matrix, whose complement of the g-vector fan is a codimension-one cone called the imaginary wall d^B_∞, containing a unique imaginary ray spanned by -½ B δ_B. The new tool is a description of neighboring seeds—seeds with n−2 g-vectors on the imaginary wall—showing that, from such a seed, the imaginary wall is a half-hyperplane and the mutation fan restricts (metrically) to a product of an imaginary ray with finite-type C mutation fans. This reduces the affine problem to the finite-type singleton theorem, which is proved separately via the marked-surfaces model, folding, and a type-by-type check.","core_discovery":"The central claim is Theorem 4.1: if B is an exchange matrix of affine type and λ lies in the relative interior of the imaginary wall d^B_∞, then the dominance region P^B_λ is the line segment {λ + a B δ_B : a ≥ 0} ∩ d^B_∞, where the direction B δ_B is parallel to the unique imaginary ray of the mutation fan and the second endpoint lies on the relative boundary of the wall. For extended matrices the same line-segment answer holds whenever the projection of the parameter lands in the imaginary wall (Theorem 4.56), while parameters lying in a g-vector cone give singleton dominance regions (Theorem 4.26); the integral version is Theorem 4.58. A necessary preliminary, proved here, is that in fin","pith_inferences":["The same line-segment description is likely to extend to the missing case in the paper—arbitrary extended matrices with a parameter projecting to a g-vector cone—where the authors state the singleton result as 'Probable Theorem 4.29' but do not prove it.","The metric (not just combinatorial) product structure of the imaginary wall suggests that the affine dominance region can be seen as the orbit of a single point under a one-parameter family of mutations, which might give a dynamical interpretation of the line segments.","One could test the neighboring-seed model in higher-rank affine types beyond A, C, G by checking whether the type-C companion construction remains valid for all mutation sequences that stay near the imaginary wall.","The finite-type proof via marked surfaces suggests that other tame classes (e.g., orbifold surfaces) may admit analogous singleton theorems by the same folding argument."],"forward_implications":["For any affine-type cluster algebra, every dominance region is completely understood: singletons on g-vector cones and explicitly described line segments elsewhere.","Together with Qin's pointed-basis theorem, the result yields a concrete description of all pointed bases of affine cluster algebras when the extended exchange matrix has linearly independent columns.","The integral dominance regions, described in Theorem 4.58, give the integer points that appear in theta functions for affine cluster scattering diagrams.","The finite-type singleton theorem strengthens existing results: no coefficients or linear-independence assumptions are needed for finite-type dominance regions to be points.","The neighboring-seed structure (finite type C products) gives a new, explicit model for the mutation fan near the imaginary wall in affine type."],"fun_headline_variants":["Affine cluster algebras: dominance regions are line segments","Dominance regions in affine type: points or explicit segments","Line segments solve dominance in affine cluster algebras","Affine case: dominance regions pinpointed as line segments"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The argument inherits, without proof in this paper, the identification that in affine type the mutation fan for B^T equals the cluster scattering fan and that the complement of the g-vector fan is exactly the codimension-one imaginary wall.","fun_headline_variants_meta":{"raw":{"variants":["Affine cluster algebras: dominance regions are line segments","Dominance regions in affine type: points or explicit segments","Line segments solve dominance in affine cluster algebras","Affine case: dominance regions pinpointed as line segments"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000477,"raw_usage":{"total_tokens":2150,"prompt_tokens":640,"completion_tokens":1510,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":384,"completion_tokens_details":{"reasoning_tokens":1459}},"tokens_in":384,"tokens_out":1510,"duration_ms":11096,"temperature":1.0,"reasoning_tokens":1459,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T19:01:32.478901+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute P^B_λ for an affine-type exchange matrix B with λ inside d^B_∞ and check whether the intersection of the ray {λ + a B δ_B : a ≥ 0} with the relative boundary of d^B_∞ coincides with the dominance region; any point of P^B_λ outside that segment would falsify Theorem 4.1.","supporting_citations":[],"review_version":1}