Pith. sign in

REVIEW 4 minor 17 references

Quasi-periodic discrete conformal maps have completely integrable Cauchy problems; Schramm circle patterns sit on real symplectic leaves of the same system.

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.5

2026-07-13 05:55 UTC pith:BNVWBHR2

load-bearing objection Clean algebraic proof that the zigzag Cauchy problem for the cross-ratio equation (and its Schramm multikite restriction) is Arnold–Liouville integrable; fills a known gap between 3D consistency and Liouville structure.

arxiv 2607.08901 v1 pith:BNVWBHR2 submitted 2026-07-09 math.DS nlin.SI

Integrability of Cauchy problems for discrete conformal maps and circle patterns

Maxim Arnold , Anton Izosimov This is my paper
classification math.DS nlin.SI MSC 37J3553A3039A1452C26
keywords discrete conformal mapscross-ratio equationLiouville integrabilitySchramm circle patternszero-curvature representationPoisson structureCoxeter foldingsquasi-periodic polygons
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.

Discrete conformal maps send every lattice square to a harmonic quadrilateral and are governed by the cross-ratio equation. For quasi-periodic initial data on a zigzag, the Cauchy problem is solved by iterating a birational solution map S on the space of n-gons modulo affine transformations. The paper shows that this map preserves a natural Poisson structure and admits a complete set of Poisson-commuting first integrals, so the dynamics are Arnold–Liouville integrable. The same integrals and Poisson structure restrict to the real locus corresponding to Schramm’s orthogonal square-grid circle patterns, proving that their Cauchy problem is likewise completely integrable. The result turns a classically multidimensionally consistent equation into a concrete integrable dynamical system on a finite-dimensional phase space of initial data.

Core claim

For every period T the birational solution map S on the space of quasi-periodic n-gons modulo affine transformations preserves a Poisson structure of rank n-1 or n-2 and admits a complete set of floor(n/2) algebraically independent Poisson-commuting first integrals given by the coefficients of the holonomy trace; the multikite locus of Schramm patterns is the real part of a symplectic leaf, so the restricted Cauchy problem is likewise completely integrable.

What carries the argument

The flat periodic connection Z(t) whose holonomy trace supplies the first integrals I_k, together with the identification of the solution map S with a Coxeter element of foldings that preserves the cyclic log-canonical Poisson bracket on the edge-ratio coordinates.

Load-bearing premise

The Poisson bracket is introduced by hand as the cyclic log-canonical bracket on edge ratios and is shown to be preserved by each folding only by direct coordinate calculation rather than by a structural reason that would guarantee the property automatically.

What would settle it

For small n (e.g., n=4 or 5) compute the Poisson brackets of the explicit coefficient functions I_j with respect to the proposed log-canonical structure; if any {I_j,I_k} fails to vanish identically, or if the differentials of the I_j become linearly dependent on a Zariski-open set, the completeness claim fails.

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

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 / 4 minor

Summary. The paper proves Arnold–Liouville integrability of the Cauchy problem for quasi-periodic discrete conformal maps (cross-ratio equation with value −1) on T-periodic zigzags. The solution map S on the space Pn/Aff(C) of quasi-periodic n-gons (n = T1 + T2) is realized as a Coxeter element of foldings, admits a periodic zero-curvature representation Z(t), and preserves a log-canonical Poisson structure on the edge-ratio coordinates yi. The coefficients Ij of tr Z(t) (or equivalently tr Y(t)) form a complete set of algebraically independent Poisson-commuting first integrals (Theorem 1.1). The same structures restrict to the real locus of a symplectic leaf consisting of right multikites, which is identified with the initial-data space for quasi-periodic Schramm orthogonal square-grid circle patterns, yielding integrability of the corresponding Cauchy problem (Theorem 1.5).

Significance. The work supplies a complete Liouville-integrable picture for one of the fundamental multidimensionally consistent quad-equations, converting the well-known zero-curvature representation into a Poisson structure, algebraic independence, and a dimension count that match the rank of the bracket. The identification of Schramm multikites as the real part of a symplectic leaf is clean and immediately yields the circle-pattern theorem. The proofs are fully algebraic (degree bounds, inductive factorization of the monodromy matrix, r-matrix realization of the bracket) and contain no free parameters. This is a solid contribution to discrete differential geometry and integrable systems on lattices.

minor comments (4)
  1. Section 2.7, equations (13)–(14): the Poisson bracket is introduced ad hoc and its invariance under each folding is verified by direct computation. While the verification is elementary and finite, a short remark that the same bracket arises from the trigonometric r-matrix (already used later for involutivity) would make the construction feel less ad hoc.
  2. Proposition 2.19 and the subsequent degree bounds: the max-plus argument with the matrix Q is correct but terse; a one-line inductive verification of the entries of Q⊗n would help readers who are not familiar with tropical matrix powers.
  3. Section 3.3, real structure τ: the anti-regular involution is well-defined, but it would be useful to record explicitly that it is independent of the choice of staircase orientation (or to note that the opposite staircase yields an isomorphic real structure).
  4. Open problems section: Problem 4.4 (purely periodic case) correctly notes the obstruction coming from the lack of Möbius equivariance of the multikite embedding; a sentence indicating whether the Poisson structure itself descends under the residual Möbius action would be helpful for future work.

Circularity Check

0 steps flagged

No circularity: integrals arise from independent zero-curvature holonomy, independence from open factorizable locus in matrix space, and Poisson involutivity from verified log-canonical bracket plus r-matrix, none of which reduce to the target claims by construction.

full rationale

The derivation of Theorems 1.1 and 1.5 is self-contained algebraic geometry and Poisson-Lie theory. Discrete conformality is shown equivalent to flatness of the connections π/Π/Z by direct matrix identities (Props. 2.12, 2.15) without presupposing integrability. The I_j are coefficients of tr Z(t) (or tr Y(t)); S-invariance follows because adjacent zigzags are homotopic on the cylinder, so holonomies are conjugate in GL_2 (Prop. 2.17). Algebraic independence is proved by dominance of the product map (C^ imes)^n o Z_n through a nonempty Zariski-open factorizable locus (Lemmas 2.25–2.28, Prop. 2.23) and likewise on the leaf for the multikite case (Prop. 3.19); these are pure dimension/count arguments on matrix polynomials and do not assume the integrals are independent. The Poisson bracket is introduced ad hoc as the cyclic log-canonical structure (13), shown preserved by each folding via the explicit local formulae (14) (Prop. 2.29), then identified with the trigonometric r-matrix bracket on Mat_2 so that spectral invariants (the I_j) automatically commute (Prop. 2.32). Completeness is a rank count. The real-structure restriction to the multikite leaf (Props. 3.12–3.13) is likewise algebraic. No quantity is defined in terms of the result it proves, no parameters are fitted, and background citations (3D consistency, prior zero-curvature) supply only the known existence of the invariants, not their independence or involutivity. The chain therefore contains no circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 2 invented entities

The work rests on standard facts of discrete differential geometry (cross-ratio equation, 3D consistency, zero-curvature) and classical Poisson–Lie theory (trigonometric r-matrix). No free parameters are fitted; the only ‘invented’ objects are the concrete Poisson structure and the real involution, both constructed explicitly from the geometry.

axioms (3)
  • domain assumption The cross-ratio equation is 3D-consistent and therefore admits a zero-curvature representation (used to build the monodromy integrals).
    Cited from Bobenko–Suris; taken as background (Section 2.3).
  • standard math The trigonometric r-matrix induces a multiplicative Poisson structure on Mat2(C[λ,λ^{-1}]) whose spectral invariants commute.
    Standard Poisson–Lie theory; used in Section 2.7 to prove commutativity after the ad-hoc bracket is identified with it.
  • domain assumption Quasi-periodic n-gons modulo Aff(C) are identified with the hypersurface y1\cdots yn=1 in (C×)n.
    Elementary coordinate change (Section 2.1); used throughout.
invented entities (2)
  • Log-canonical cyclic Poisson bracket on the edge-ratio coordinates yi no independent evidence
    purpose: Provides the invariant Poisson structure that makes S a Poisson map and the spectral integrals commute.
    Defined ad hoc in (13) and later matched to the r-matrix; no independent prior existence claimed.
  • Anti-holomorphic involution τ that realises multikites as the real locus of a symplectic leaf no independent evidence
    purpose: Transfers the complex integrability to the circle-pattern subspace.
    Constructed explicitly in Section 3.3; its fixed-point set is verified to be exactly K2m/Aff(C).

pith-pipeline@v1.1.0-grok45 · 30818 in / 2355 out tokens · 25347 ms · 2026-07-13T05:55:28.503228+00:00 · methodology

0 comments
read the original abstract

A map from a square lattice to the Riemann sphere is called discrete conformal if the image of every elementary square is a harmonic quadrilateral. We prove that the initial value problem for discrete conformal maps with quasi-periodic boundary conditions is Liouville integrable. We also show that the image of the embedding of Schramm's orthogonal square grid circle patterns into the space of discrete conformal maps is the real part of a symplectic leaf. As a consequence, we obtain the integrability of the corresponding Cauchy problem for circle patterns.

Figures

Figures reproduced from arXiv: 2607.08901 by Anton Izosimov, Maxim Arnold.

Figure 1
Figure 1. Figure 1: A (3, 2)-periodic zigzag. for every lattice point (i, j) ∈ ζ(Z). Since the cross-ratio equation is translation invari￾ant, every discrete conformal map with quasi-periodic initial data is itself quasi-periodic, in the sense that (3) holds for all (i, j) ∈ Z 2 . Quasi-periodic discrete conformal maps with period T = (T1, T2) and monodromy ∆ may be viewed as discrete conformal maps Z 2 /ZT −→ C/Z∆, from the … view at source ↗
Figure 2
Figure 2. Figure 2: Adjacent parallel zigzags. Theorem 1.1. For every T = (T1, T2) ∈ Z 2 >0 , the Cauchy problem for quasi-periodic discrete conformal maps with period T is Arnold–Liouville integrable. Equivalently, letting n = T1 + T2, the corresponding initial data space Pn/Aff(C) carries a Poisson structure invariant under the solution map S, together with a maximal collection of functionally independent Poisson-commuting … view at source ↗
Figure 3
Figure 3. Figure 3: Schramm’s circle pattern. 4 [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: A lattice formed by circle centers and intersection points of adjacent circles in a Schramm circle pattern. Each quadrilateral of the lattice is a right kite and hence harmonic. In the quasi-periodic setting, this construction identifies the space of initial data for Schramm circle patterns with a distinguished subspace of the space P2n of initial data for quasi-periodic discrete conformal maps, namely the… view at source ↗
Figure 6
Figure 6. Figure 6: Circle-pattern initial data viewed as a special class of initial data [PITH_FULL_IMAGE:figures/full_fig_p005_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: An elementary move on a (3, 2)-periodic zigzag. The move is performed simultaneously in all squares related by the period. as an ideal polygon in H3 , that is, a polygon whose vertices lie at infinity. Given a quasi-periodic polygon (pi), its folding at the jth vertex is defined by reflecting the vertex pj in the hyperbolic geodesic joining pj−1 and pj+1; see [PITH_FULL_IMAGE:figures/full_fig_p008_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Folding at pi for an ideal polygon in H3 . Definition 2.4. The folding of a quasi-periodic n-gon (pi) at the jth vertex is the polygon (p ′ i ) defined by p ′ k = pk for k ̸≡ j (mod n), and, for all k ≡ j (mod n), by the condition [pk−1, pk, pk+1, p′ k ] = −1, where [·, ·, ·, ·] denotes the cross-ratio (2). The resulting polygon is again quasi-periodic with the same monodromy. Thus, folding at the jth vert… view at source ↗
Figure 10
Figure 10. Figure 10: An interpretation of the condition [a, b, c, d] = −1. Now we prove equivalence of (2) and (3). Flatness of Π around the same elementary square is equivalent to (1 − tPb a )(1 + tPc b ) = (1 + tPd a )(1 − tPc d ). Since P b aP c b = 0, Pd a P c d = 0, this is equivalent to P c b − P b a = P d a − P c d . Using P d a + P a d = 1, Pc d + P d c = 1, we rewrite this as P b a − P c b + P d c − P a d = 0, which … view at source ↗
Figure 11
Figure 11. Figure 11: A right kite. 1. For every v ∈ Z 2 0 , if w1, w2, w3, w4 ∈ Z 2 1 are the four nearest neighbors of v, then |fv − fw1 | = |fv − fw2 | = |fv − fw3 | = |fv − fw4 |. 2. For every w ∈ Z 2 1 , let v1, v2, v3, v4 ∈ Z 2 0 be the four nearest neighbors of w, listed in cyclic order around w. Then (fvi − fw) ⊥ (fvi+1 − fw), i = 1, . . . , 4, where the indices are understood modulo 4. The geometric interpretation of … view at source ↗
Figure 12
Figure 12. Figure 12: Equivalence of two definitions of orthogonal square grid circle [PITH_FULL_IMAGE:figures/full_fig_p027_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: A staircase. Vertices of Z 2 0 are shown in black and vertices of Z 2 1 in white. Let ζ be a staircase zigzag, and set pi := fζi , zi := pi+1 − pi . If f is an orthogonal square grid circle pattern, then z2k−1 ⊥ z2k, |z2k| = |z2k+1|, (17) for every k. Definition 3.3. A polygon (pi) whose edge vectors satisfy (17) is called a right multi￾kite; see [PITH_FULL_IMAGE:figures/full_fig_p029_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: A right multikite. Remark 3.4. Right multikites admit a simple description in terms of circle configu￾rations. For each odd vertex pi , let Ci denote the circle centered at pi and passing through the adjacent vertices pi−1 and pi+1, as illustrated in [PITH_FULL_IMAGE:figures/full_fig_p029_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Propagation of intial data to next staircase. [PITH_FULL_IMAGE:figures/full_fig_p030_15.png] 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

17 extracted references · 2 linked inside Pith

  1. [1]

    Adler, A

    V. Adler, A. Bobenko, and Y. Suris. Classification of integrable equations on quad- graphs. the consistency approach.Comm. Math. Phys., 233(3):513–543, 2003

    2003

  2. [2]

    Adler and A

    V. Adler and A. Veselov. Cauchy problem for integrable discrete equations on quad-graphs.Acta Appl. Math., 84:237–262, 2004

    2004

  3. [3]

    Arnold, D

    M. Arnold, D. Fuchs, I. Izmestiev, and S. Tabachnikov. Cross-ratio dynamics on ideal polygons.Int. Math. Res. Not., 2022(9):6770–6853, 2022

    2022

  4. [4]

    A. Bobenko. Discrete conformal maps and surfaces. In P.A. Clarkson and F.W. Nijhoff, editors,Symmetries and Integrability of Difference equations (Canterbury, 1996), volume 255 ofLondon Mathematical Society Lecture Note Series, pages 97–108. Cambridge University Press, 1999. 39

    1996

  5. [5]

    Bobenko, C

    A. Bobenko, C. Mercat, and Y. Suris. Linear and nonlinear theories of discrete analytic functions. Integrable structure and isomonodromic Green’s function.J. Reine Angew. Math., 583:117–161, 2005

    2005

  6. [6]

    Bobenko and U

    A. Bobenko and U. Pinkall. Discrete isothermic surfaces.J. Reine Angew. Math., 475:187–208, 1996

    1996

  7. [7]

    Bobenko and Y

    A. Bobenko and Y. Suris. Integrable systems on quad-graphs.Int. Mat. Res. Not., 2002(11):573–611, 2002

    2002

  8. [8]

    Bobenko and Y

    A. Bobenko and Y. Suris.Discrete Differential Geometry: Integrable Structure, volume 98 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2008

    2008

  9. [9]

    Dragovi´ c and M

    V. Dragovi´ c and M. Radnovi´ c. Finite groups of random walks in the quarter plane and periodic 4-bar links, 2025. Preprint, arXiv:2512.21976

    Pith/arXiv arXiv 2025

  10. [10]

    Hetrich-Jeromin, I

    U. Hetrich-Jeromin, I. McIntosh, P. Norman, and F. Pedit. Periodic discrete conformal maps.J. Reine Angew. Math., 534:129–153, 2001

    2001

  11. [11]

    Izmestiev

    I. Izmestiev. Deformation of quadrilaterals and addition on elliptic curves.Mosc. Math. J., 23:205–242, 2023

    2023

  12. [12]

    Izosimov

    A. Izosimov. Pentagram maps and refactorization in poisson-lie groups.Adv. Math., 404:108476, 2022

    2022

  13. [13]

    W. Y. Lam. Space of circle patterns on tori and its symplectic form, 2024. Preprint, arXiv:2406.06733

    Pith/arXiv arXiv 2024

  14. [14]

    Mangolte.Real algebraic varieties

    F. Mangolte.Real algebraic varieties. Springer, 2020

    2020

  15. [15]

    Nijhoff and H

    F. Nijhoff and H. Capel. The discrete Korteweg-de Vries equation.Acta Appl. Math., 39:133–158, 1995

    1995

  16. [16]

    O. Schramm. Circle patterns with the combinatorics of the square grid.Duke Math. J., 86(2):347–389, 1997

    1997

  17. [17]

    H. Thomas. Coxeter groups and quiver representations. InSurveys in represen- tation theory of algebras, volume 716 ofContemp. Math., pages 173–186. Amer. Math. Soc, 2018. 40

    2018