Pith. sign in

REVIEW 2 minor 19 references

Explicit constructions on affine cluster varieties produce Dynkin friezes of types B_n and D_n with largest entries F_{n+1}F_{n+2}-1 and F_n F_{n+1}-1.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-28 13:25 UTC pith:STH7NTVE

load-bearing objection Zhang supplies explicit constructions for the missing B_n and D_n maximal Dynkin friezes but leaves the maximality claim as a conjecture.

arxiv 2606.02870 v1 pith:STH7NTVE submitted 2026-06-01 math.CO math.NTmath.RT

On maximal Dynkin friezes

Robin Zhang This is my paper
classification math.CO math.NTmath.RT
keywords Dynkin friezescluster varietiesFibonacci numberstypes B_n D_npositive integersmaximal entriesaffine cluster varieties
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper supplies the last two missing cases in the determination of maximal entries for Dynkin friezes over the positive integers. It does so by exhibiting explicit points on the affine cluster varieties of types B_n and D_n whose associated arrays obey the frieze relations, consist entirely of positive integers, and reach the stated Fibonacci-product bounds. A reader would care because the maximal sizes were already known for the other finite Dynkin types; these constructions therefore complete the list of candidate maxima and support a precise conjecture for the upper bound.

Core claim

We explicitly construct large positive integral points on affine cluster varieties of type B_n (resp. D_n), giving rise to friezes of types B_n (resp. D_n) over the positive integers with largest entries F_{n+1} F_{n+2} - 1 (resp. F_n F_{n+1} - 1) where F_k is the k-th Fibonacci number. We conjecture that these are the maximal possible entries for their respective Dynkin types.

What carries the argument

Explicitly constructed positive integral points on the affine cluster varieties of types B_n and D_n, which generate the arrays satisfying the frieze relations.

Load-bearing premise

The arrays obtained from the constructed points on the cluster varieties are valid Dynkin friezes consisting only of positive integers.

What would settle it

Discovery of a valid positive-integer frieze of type B_n whose largest entry exceeds F_{n+1} F_{n+2} - 1, or proof that one of the constructed arrays violates a frieze relation.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • These points supply concrete lower bounds on the maximal entry size for each type.
  • If the conjecture holds, the listed Fibonacci expressions are the exact maxima for B_n and D_n.
  • The same point-construction technique yields friezes attaining the bound for every n.

Where Pith is reading between the lines

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

  • The conjecture, if confirmed, would finish the classification of maximal entries across all finite Dynkin types.
  • The constructed points may correspond to distinguished positive loci inside the cluster variety whose coordinates encode the Fibonacci products.
  • Small-n cases of the construction can be checked directly by enumerating solutions to the frieze equations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The manuscript explicitly constructs large positive integral points on the affine cluster varieties of types B_n and D_n. These points are asserted to yield Dynkin friezes of the corresponding types consisting entirely of positive integers, with largest entries equal to F_{n+1}F_{n+2}-1 (type B_n) and F_n F_{n+1}-1 (type D_n), where F_k is the k-th Fibonacci number. The authors conjecture that these values are maximal among all positive-integer friezes of the given types.

Significance. If the constructions are correct, the work supplies the missing explicit examples for the two Dynkin types whose maximal entries had not yet been determined, thereby completing the list of maximal entries for all finite Dynkin types. The explicit, parameter-free constructions on previously studied affine cluster varieties constitute a verifiable contribution.

minor comments (2)
  1. The precise correspondence between the constructed cluster variables and the entries of the resulting frieze array is stated but would benefit from an explicit small-n example (e.g., n=3) showing the array entries and verifying positivity and the claimed maximum.
  2. A brief recall of the definition of a Dynkin frieze (or a reference to the standard definition used) in the introduction would improve self-containedness for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

Explicit constructions with conjectural maximality; no circularity

full rationale

The paper's core contribution is an explicit construction of positive integral points on the affine cluster varieties of types B_n and D_n. These constructions are stated to directly yield the friezes with the claimed Fibonacci-based maximal entries. Maximality itself is presented only as a conjecture, not a derived theorem. No equations, parameters, or premises in the provided text reduce by definition or self-citation to the target quantities; the result is self-contained as an explicit construction rather than a renaming or fit of prior inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard properties of affine cluster varieties and the correspondence between their positive integral points and Dynkin friezes; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Affine cluster varieties of types B_n and D_n admit positive integral points that correspond to Dynkin friezes over the positive integers.
    Invoked to justify that the constructed points give rise to the claimed friezes.

pith-pipeline@v0.9.1-grok · 5643 in / 1329 out tokens · 31901 ms · 2026-06-28T13:25:19.887456+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of On maximal Dynkin friezes." pith.science (2026). https://pith.science/paper/STH7NTVE

@misc{pith2026260602870,
  author       = {Pith},
  title        = {Pith review of: On maximal Dynkin friezes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/STH7NTVE}},
  note         = {Machine review of arXiv:2606.02870}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

The maximal entries of Dynkin friezes over the positive integers have recently been determined for all finite Dynkin types except $B_n$ and $D_n$. In this note, we explicitly construct large positive integral points on affine cluster varieties of type $B_n$ (resp. $D_n$), giving rise to friezes of types $B_n$ (resp. $D_n$) over the positive integers with largest entries $F_{n+1} F_{n+2} - 1$ (resp. $F_n F_{n+1} - 1$) where $F_k$ is the $k$-th Fibonacci number. We conjecture that these are the maximal possible entries for their respective Dynkin types.

Figures

Figures reproduced from arXiv: 2606.02870 by Robin Zhang.

Figure 1
Figure 1. Figure 1: Enumeration of Dynkin friezes, d(m) := #{divisors of m} In this paper, we study the set of values attained by Dynkin friezes. Our first result is rather simple and concerns the “universality” of frieze values. While individual friezes are constrained by local relations, we show that the union of all friezes covers the natural numbers in Section 3. Theorem 1. For every integer m ≥ 2 and every integer n ≥ m,… view at source ↗
Figure 2
Figure 2. Figure 2: Explicit bounds on maximal frieze entries from [CdSG25] and [Zha25, Proposition 4.1] Our second main contribution is the construction of explicit families of friezes for types Bn and Dn that exhibit rapid growth. For a fixed Dynkin type ∆n, define u∆n,N := max{xi,j ∈ F | F ∈ Frieze(∆n, N)} to be the largest positive integer that can appear as an entry of a positive integral frieze of type ∆n. Our new expli… view at source ↗

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

19 extracted references · 3 canonical work pages

  1. [1]

    Ibrahim Assem, Christophe Reutenauer, and David Smith. Friezes. Adv. Math. , 225(6):3134--3165, 2010

    2010

  2. [2]

    Friezes satisfying higher SL _k -determinants

    Karin Baur, Eleonore Faber, Sira Gratz, Khrystyna Serhiyenko, and Gordana Todorov. Friezes satisfying higher SL _k -determinants. Algebra Number Theory , 15(1):29--68, 2021. With an appendix by Michael Cuntz and Pierre-Guy Plamondon

    2021

  3. [3]

    Cluster algebras

    Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky. Cluster algebras. III . U pper bounds and double B ruhat cells. Duke Math. J. , 126(1):1--52, 2005

    2005

  4. [4]

    On F ibonacci numbers with few prime divisors

    Yann Bugeaud, Florian Luca, Maurice Mignotte, and Samir Siksek. On F ibonacci numbers with few prime divisors. Proc. Japan Acad. Ser. A Math. Sci. , 81(2):17--20, 2005

    2005

  5. [5]

    Perfect numbers and F ibonacci sequences

    Tianxin Cai. Perfect numbers and F ibonacci sequences . World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, [2022] 2022. Translated by Tyler Ross

    2022

  6. [6]

    J. H. Conway and H. S. M. Coxeter. Triangulated polygons and frieze patterns. Math. Gaz. , 57(401):175--183, 1973

    1973

  7. [7]

    Cluster algebras as H all algebras of quiver representations

    Philippe Caldero and Fr\'ed\'eric Chapoton. Cluster algebras as H all algebras of quiver representations. Comment. Math. Helv. , 81(3):595--616, 2006

    2006

  8. [8]

    On upper bounds of frieze patterns

    Jon Cheah and Antoine de Saint Germain. On upper bounds of frieze patterns. Fibonacci Quart. , 63(1):98--106, 2025

    2025

  9. [9]

    H. S. M. Coxeter. Frieze patterns. Acta Arith. , 18:297--310, 1971

    1971

  10. [10]

    Frieze patterns

    Antoine de Saint Germain. Frieze patterns. https://visualca.net/acyclic.html, 2026. Part of the Visual Cluster Algebra project

    2026

  11. [11]

    Friezes of cluster algebras of geometric type, 2023

    Antoine de Saint Germain, Min Huang, and Jiang-Hua Lu. Friezes of cluster algebras of geometric type, 2023. arXiv:2309.00906

    work page arXiv 2023

  12. [12]

    Counting friezes in type D_n

    Bruce Fontaine and Pierre-Guy Plamondon. Counting friezes in type D_n . J. Algebraic Combin. , 44(2):433--445, 2016

    2016

  13. [13]

    Cluster algebras

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras. II . F inite type classification. Invent. Math. , 154(1):63--121, 2003

    2003

  14. [14]

    Werke , volume III

    Carl Friedrich Gauss. Werke , volume III. 1876

  15. [15]

    Fibonacci primes, primes of the form 2^n-k and beyond

    Jon Grantham and Andrew Granville. Fibonacci primes, primes of the form 2^n-k and beyond. J. Number Theory , 261:190--219, 2024

    2024

  16. [16]

    Superunitary regions of cluster algebras, 2022

    Emily Gunawan and Greg Muller. Superunitary regions of cluster algebras, 2022. arXiv:2208.14521

    work page arXiv 2022

  17. [17]

    Arithmetics of 2-friezes

    Sophie Morier-Genoud. Arithmetics of 2-friezes. J. Algebraic Combin. , 36(4):515--539, 2012

    2012

  18. [18]

    2-frieze patterns and the cluster structure of the space of polygons

    Sophie Morier-Genoud, Valentin Ovsienko, and Serge Tabachnikov. 2-frieze patterns and the cluster structure of the space of polygons. Ann. Inst. Fourier (Grenoble) , 62(3):937--987, 2012

    2012

  19. [19]

    An effective S iegel theorem for positive integral points on acyclic cluster varieties, 2025

    Robin Zhang. An effective S iegel theorem for positive integral points on acyclic cluster varieties, 2025. arXiv:2503.08800

    work page arXiv 2025