REVIEW 2 major objections 4 minor 9 references
2-periodic frieze patterns
T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read All 2-periodic positive real friezes of types A, D, E are classified: types $A_{\mathrm{odd}}$, $D_{\mathrm{odd}}$, and $E_7$ have one parameter, types $D_{\mathrm{even}}$ have two, and the rest are constant.
desk verdict Clean classification for A and D, but the E-type claims rest on an unproved 'initial analysis' and need the gap filled before Theorem 1.1 is established. 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
For type $A$, the engine is a pair of recursion sequences, the two-coloured quantum integers $p^x_n$ and $p^y_n$, defined by $p^x_{n+1}=xp^y_n-p^x_{n-1}$ and $p^y_{n+1}=yp^x_n-p^y_{n-1}$, together with the key identity $p^x_np^y_{n-2}=p^x_{n-1}p^y_{n-1}-1$ (Lemma 3.1), which is exactly the frieze relation and shows the sequences embed diagonally as the frieze's layers. For type $D$, the proof reduces the frieze equations to a recurrence $c_{2k-2}=c_{2k}-2$ on the even layers, forcing $c_{2k}=2k+1$ and leaving only the products at the two short legs free. For type $E$, the same style of reduction fixes the shape of the frieze and leaves consistency equations that are satisfied only by the constant frieze's values; for $E_7$ the solutions involve $\phi$, the golden ratio.
What would settle it
For type E6, write out the frieze equations in the pattern of Section 5 and search for a positive real solution with some entry different from the constant frieze; if such a solution exists, Theorem 1.1 (claiming all E6 friezes are constant) is false.
Extended reading notes
Core claim
The central theorem is that a 2-periodic $R_+$-frieze of finite type $A$, $D$, or $E$ is completely described by the number of free parameters in its entries: 0 for types $A_{\mathrm{even}}$, $E_6$, and $E_8$; 1 for types $A_{\mathrm{odd}}$, $D_{\mathrm{odd}}$, and $E_7$; and 2 for types $D_{\mathrm{even}}$. Each case is constructive. For type $A$, the entries are given by two-coloured quantum integers $p^x_n(x,y)$ and $p^y_n(x,y)$; when the width is odd the product $xy$ is fixed and the frieze is a one-parameter family, while an even width forces $x=y$ and constancy. For type $D$, the even layers are forced to be $1,3,5,\ldots$, and the two free parameters appear as the pairs $(x_+,y_+)$ and $(x_-,y_-)$ with $x_+y_+=x_-y_-=n$. For type $E_7$, the frieze equations force the non-constant orbits to satisfy $x_1y_1=2\phi^2$ and $x_7y_7=2\phi^4$, with all other entries expressed in terms of the golden ratio $\phi$; types $E_6$ and $E_8$ admit no free parameters at all.
Load-bearing premise
The classification of types E6, E7, and E8 rests on an unproved reduction in Section 5 that says a case analysis 'as in type D_n' forces the friezes of E6 and E8 to be constant and fixes the shape of E7 friezes.
Editorial extensions
If this is right
- For every odd width $w$, the 2-periodic friezes of type $A_w$ are exactly the one-parameter family in (3.6), parameterized by $x\in R_+$ with $y=[2]_h^2/x$ and $h=w+3$; even widths give only the constant frieze.
- For even $n$, every 2-periodic frieze of type $D_n$ is determined by two independent positive pairs $(x_+,y_+)$ and $(x_-,y_-)$ with both products equal to $n$; for odd $n$, only one such pair is free.
- Type $E_7$ has a one-parameter family described by (5.5)-(5.6), in which the non-constant entries satisfy $x_1y_1=2\phi^2$ and $x_7y_7=2\phi^4$; types $E_6$ and $E_8$ are constant.
- The number of parameters in each case matches the multiplicity of the eigenvalue $-1$ in the derivative of the translation map $\tau$ at the constant frieze, as noted by the paper and consistent with Theorem 3.12 of [4].
- The paper also gives a one-parameter family of 4-periodic friezes of type $E_8$ and conjectures that a two-parameter family should exist.
Reading between the lines
- A direct computation for type $E_6$ or $E_8$, following the $D_n$ pattern but written out, would test the unproved reduction in Section 5; any positive non-constant solution would overturn the paper's classification for the exceptional types.
- The eigenvalue connection suggests a broader principle: for any period $p$, the family of $p$-periodic friezes near the constant frieze should have dimension equal to the multiplicity of the eigenvalue $e^{2\pi i/p}$ in the derivative of $\tau$, a pattern the paper only applies to period 2 and hints at for period 4.
- One could extend the two-coloured quantum integer construction to other infinite families, such as affine type $A$, where the constant frieze is not unique, and ask whether the parameter count changes accordingly.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies 2-periodic positive real friezes of finite Dynkin types A, D and E. The main theorem (Theorem 1.1) states that all 2-periodic R_+-friezes are constant for types A_even, E6 and E8; that types A_odd, D_odd and E7 have one-parameter families; and that types D_even have two-parameter families. Sections 3 and 4 give explicit derivations for types A and D, using two-coloured quantum integers and a direct reduction of the frieze equations respectively. Section 5 treats type E, reducing to a system for E7 and asserting the E6/E8 cases; Section 6 gives a 4-periodic E8 example. The paper also relates the parameter counts to the -1 eigenspace of the linearized DT-transformation [4, Thm 3.12].
Significance. If the missing type E reduction is supplied, this is a clean and valuable classification with explicit, testable parametrizations. The type A and D sections are self-contained and appear correct, and the D argument independently reproves uniqueness of the constant frieze in type D. The E7 reduction after (5.1) and the 4-periodic E8 example are informative. The main weakness is that the entire E6/E8 classification and the reduction to (5.1) rest on an unproved assertion, so the paper is not yet complete as written.
major comments (2)
- [Section 5, first paragraph] The sentence 'Initial analysis, as in type D_n, shows...' carries the full weight of the E6/E8 classification and of the E7 reduction to the form (5.1), but no part of this analysis is displayed or proved. For E6 and E8 it asserts that every 2-periodic R_+-frieze is constant; for E7 it asserts which tau-orbits are constant and fixes the shape (5.1). This is a load-bearing step, and the citation to [4, Thm 3.12] is not a substitute: that theorem is a local linearization statement at the fixed point and cannot rule out additional global solution components. Please provide a full derivation, ideally as a stated lemma with equations, of the claimed reduction.
- [Section 5, after Eq. (5.4)] The conclusion that the E7 family has exactly one parameter requires proving that the two consistency equations in (5.4) have a unique positive solution (a,c). The text argues that setting x1=y1=sqrt(a+2) gives a constant frieze and that uniqueness of the constant frieze forces a=2phi and c=1+phi. That argument only identifies the constant subfamily; it does not rule out other positive solutions (a,c) with x1 and y1 distinct. The uniqueness of the constant frieze is insufficient to exclude additional branches of nonconstant solutions. Please add an explicit uniqueness proof for the positive solutions of (5.4), or show how it follows from the displayed equations.
minor comments (4)
- [Section 5, Eq. (5.4)] The expression 'c4 − 3c2 + 1' appears to mean c^4 - 3c^2 + 1; please fix the notation. Similarly, '√a + 2' later should be '√(a+2)'.
- [Theorem 1.1 and Section 3] The terms 'A_even' and 'A_odd' are used without explicitly relating them to the 'width w' notation introduced in Section 3; please state the correspondence between w and the Dynkin type subscript.
- [Section 6] The phrase 'its translate' should specify which of the translation symmetries is used, since the example is 4-periodic and there are two nontrivial translations.
- [Section 2] The constant frieze diagrams for E6/E7/E8 would be easier to check if the vertices were labelled consistently with Section 5; consider adding labels or a table.
Circularity Check
No circularity found: A/D classifications are derived from explicit equations, and the E-type gap in Section 5 is an unproved reduction, not a reduction-by-construction.
full rationale
The derivation chain does not collapse into its inputs. Type D is solved directly from the displayed frieze equations (4.1)-(4.5), with no fitted parameter later renamed as a prediction. Type A is reduced to the polynomial condition q_{w+1}(λ)=1; the identification of the unique λ uses the externally cited uniqueness of constant R_+-friezes ([7], [9], [4]), which is independent support rather than a self-citation. In Section 5, the sentence 'Initial analysis, as in type D_n, shows...' is indeed load-bearing and unproved for E6/E8 and for the E7 reduction to (5.1); however, this is an omitted derivation or completeness gap, not a circular step: the asserted reduction is not defined in terms of the classification being proved, and the subsequent use of constant-frieze uniqueness to pin a and c is again an external uniqueness theorem. No self-citation chain forces the result, and no equation is shown to be identical to an input by construction.
Assumptions & free parameters
assumptions (3)
- domain assumption There is a unique constant R_+-frieze for each finite Dynkin type A, D, E.
- domain assumption The constant frieze values for types A, D, E are as described in Section 2 (quantum integers for A, explicit square roots for D, polynomial expressions in phi and sqrt(2) for E).
- ad hoc to paper An 'initial analysis, as in type D_n' reduces the type E frieze equations to the forms asserted in Section 5.
Cite this review
Pith. "Pith review of 2-periodic frieze patterns." pith.science (2026). https://pith.science/paper/6LQPBXNW
@misc{pith2026250623959,
author = {Pith},
title = {Pith review of: 2-periodic frieze patterns},
year = {2026},
howpublished = {\url{https://pith.science/paper/6LQPBXNW}},
note = {Machine review of arXiv:2506.23959}
}
abstract
We classify 2-periodic mesh friezes of finite type $A$, $D$ or $E$ with positive real entries. There are families with 0,1, or 2 parameters, depending on type.
Figures
Reference graph
Works this paper leans on
-
[1]
K. Baur, E. Faber, S. Gratz, K. Serhiyenko, G. Todorov, Friezes satisying higherSLk determinants, Alg. Num. Thy 15 (2021) 29–68 (arXiv:1810.10562)
work page Pith review arXiv 2021
-
[2]
J.H. Conway, H.S.M. Coxeter, Triangulated polygons and frieze patterns, Math. Gaz 57 (1973) 87–94 & 175–183
work page 1973
-
[3]
Coxeter, Frieze patterns, Acta Arith
H.S.M. Coxeter, Frieze patterns, Acta Arith. 18 (1971) 297–310
work page 1971
-
[4]
Fixed points of DT transformations, cluster exponents and degrees of Weyl groups
A. de Saint Germain, J-H. Lu, Fixed points of DT transformations, cluster exponents and degrees of Weyl groups, preprint arXiv:2503.11391
-
[5]
E. Gunawan, G. Muller, Superunitary regions of cluster algebras, preprint arXiv:2208.14521
-
[6]
Existence and rotatability of the two-colored Jones-Wenzl projector
A. Hazi, Existence and rotatability of the two-colored Jones–Wenzl projector, Bull.L.M.S. 56 (2024) 1095–1113 (arXiv:2302.14476)
work page Pith review arXiv 2024
- [7]
-
[8]
S. Morier-Genoud, Coxeter’s frieze patterns at the crossroads of algebra, geometry and combinatorics, Bull. LMS 47 (2015) 895–938 (arXiv:1503.05049)
arXiv 2015
Show all 9 references
-
[9]
W. Nahm, S. Keegan, Integrable deformations of CFTs and the discrete Hirota equations, preprint arXiv:0905.3776v2 AK: Dept of Mathematical Sciences, University of Bath, Bath BA2 7AY, U.K. Email address: a.d.king@bath.ac.uk TP: Dept of Mathematics, King’s College London, Strand...
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.