Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Discrete Koenigs nets and finite Laplace sequences

T0 review · 3 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read For discrete Koenigs nets, a one-sided Laplace termination is impossible: it always forces a termination in the opposite direction, so any terminating Laplace sequence is finite.

desk verdict A genuinely new finiteness theorem for Laplace sequences of Koenigs nets, but it leans on a self-cited, unproved quadric theorem that a referee needs to pin down before the result can stand alone. read the letter →

arxiv 2508.02851 v1 pith:IQTMCCCZ submitted 2025-08-04 math.DG

Niklas Christoph Affolter , Alexander Yves Fairley This is my paper · ORCID
classification math.DG MSC 53A7051A05
keywords discreteKoenigsnetsQ-netsLaplacesequencestransformationsinvariantsdifferentialgeometryprojectivedegeneratequadrics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies Q-nets, maps from the square grid to projective space with planar faces, and their Laplace sequences, obtained by repeatedly applying Laplace transformations. For a generic Q-net this sequence is bi-infinite, but in special cases a transform collapses to a curve, and the sequence cannot be iterated further. The paper proves that for either of the two standard discrete notions of Koenigs net, such termination can never happen on only one side: if the sequence degenerates after m steps in one direction, it degenerates after m+1 steps (for Laplace degeneracy) or m+2 steps (for Goursat degeneracy) in the other direction, assuming that transform exists. This matters because it turns a local-looking collapse into a global structural fact, and it matches the behavior of smooth Koenigs nets while also exposing a discrete one-step delay. The proof works by lifting Koenigs nets into degenerate quadrics built from two hyperplanes and importing a conjugacy criterion for Q-nets inscribed in quadrics.

What carries the argument

The pivotal object is a degenerate quadric assembled from the two alternating hyperplanes U1 and U2 that contain an extensive BS-Koenigs net: Lemma 4.3 shows that such a net alternates between U1 and U2, so U1 ∪ U2 can be treated as a quadric whose singular locus is U1 ∩ U2. The argument then imports Theorem 6.2, a recalled criterion for Q-nets inscribed in a quadric: the final point of a patch lies on the quadric exactly when the forward and backward m-th Laplace transforms are conjugate with respect to it. Applying this to the degenerate quadric forces the lines whose intersection would define the next backward Laplace transform to meet in a singular point, collapsing P_{-(m+1)}. Laplace invariants and their recurrence, together with the symmetry between the invariants of P and its diagonal intersection net D, provide the algebraic backbone.

What would settle it

Take an extensive BS-Koenigs net on a patch of size (m+1) by (m+2) whose m-th forward Laplace transform P_m is a vertical curve. If its (m+1)-th backward Laplace transform P_{-(m+1)} exists and contains two distinct points with the same first coordinate and different second coordinates, the paper's Proposition 6.5 is false, since the theorem predicts those points must coincide.

Watch

Extended reading notes

Core claim

The central result is Theorem 3.13: if P is a BS-Koenigs net or a D-Koenigs net, then Laplace degeneracy of P_m forces Laplace degeneracy of P_{-(m+1)}, and Goursat degeneracy of P_m forces Laplace degeneracy of P_{-(m+2)}, in both cases assuming the relevant transform exists. Consequently, a Laplace sequence of a Koenigs net that terminates at all is finite, not merely one-sided. The paper also proves a diagonal-net duality: for a BS-Koenigs net P with diagonal intersection net D, P_m is Laplace degenerate exactly when D_{-m} is Laplace degenerate, so viewing the pair (P,D) restores a symmetry that is hidden when looking at P alone. In addition, the authors show constructively that BS-Koenigs nets exist for which both P_m and P_{-m} are Laplace degenerate, and that these symmetric terminations are determined uniquely by strip-like initial data.

Load-bearing premise

The main proof relies on a theorem, stated without proof from earlier work, about Q-nets inscribed in quadrics; if that theorem's hypotheses do not cover the degenerate two-hyperplane quadrics used here, the finiteness conclusion is not established.

Editorial extensions

If this is right

  • Any Laplace sequence of a BS- or D-Koenigs net that terminates at all must be finite; one-sided termination cannot occur.
  • The quantitative delay is rigid: Laplace degeneracy after m steps forces Laplace degeneracy after m+1 steps on the opposite side, while Goursat degeneracy forces it after m+2 steps.
  • For a BS-Koenigs net and its diagonal intersection net D, forward degeneracy of P at step m exactly matches backward degeneracy of D at step m, so the pair (P,D) exhibits the termination symmetrically.
  • Symmetric termination, with both P_m and P_{-m} Laplace degenerate, is exceptional but constructible, and the construction is uniquely determined by strip-shaped boundary data; generically the opposite-side collapse occurs one step later.
  • For discrete isothermic surfaces, which are circular BS-Koenigs nets, the result predicts earlier termination of the Laplace sequence than the quadric-based result alone, and in the spherical-curvature-line case it forces the associated spheres to lie in a 3-dimensional sphere pencil.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An implicit cluster-algebra reading suggests a testable dichotomy: since the Laplace invariants form a Y-system, Koenigs nets sit in the resistor subvariety and acquire a two-step reflection property for singularities, whereas the Ising/CKP subvariety, with its H_k = H_{-k} symmetry, should terminate exactly symmetrically rather than with a delay.
  • The boundary-data uniqueness results give a concrete computational recipe: starting from the strip data in the paper and fixing each new point by forced line intersections should produce a net with both P_m and P_{-m} degenerate; running this for a small value of m and checking the predicted coincidences would independently verify the mechanism.
  • The authors ask whether a single local failure of a Laplace transform can force a backwards singularity; a natural probe is to perturb one quad of a symmetrically terminating net and see whether the local failure stays local, which would show that the global collapse is a genuinely collective effect of the Koenigs condition.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. The paper studies Laplace sequences of discrete Q-nets and proves that for two discrete analogues of Koenigs nets (BS-Koenigs and D-Koenigs), a terminating Laplace sequence is finite, with explicit bounds: Laplace degeneracy at step m in one direction forces Laplace degeneracy at step m+1 in the other, while Goursat degeneracy at step m forces Laplace degeneracy at step m+2. The proof strategy is to lift a non-extensive Q-net to an extensive one (Lemma 4.2), observe that extensive BS-Koenigs nets alternate between two hyperplanes U1,U2 (Lemma 4.3), view U1∪U2 as a degenerate quadric, apply a theorem from [Fai23, BF25] on Q-nets in quadrics (Theorem 6.2), and handle D-Koenigs nets through the diagonal intersection net. A final section constructs BS-Koenigs nets for which both Pm and P−m are Laplace degenerate.

Significance. If the proof is completed, this is a worthwhile addition to discrete differential geometry: it resolves a natural finiteness question for both standard discretizations of Koenigs nets, quantifies the asymmetry between forward and backward termination, and draws a clear parallel with the smooth theory. The paper is well structured: the lift machinery in Section 4 is a useful tool, the proof of the Laplace invariant recurrence in Theorem 5.2 is explicit, and the construction and counting arguments in Section 7 (Lemmas 7.3 and 7.4, Theorem 7.5) give concrete meaning to the genericity assumptions in Theorem 3.13. The main caveat is that the central termination argument is not self-contained: it relies on Theorem 6.2, which is recalled without proof from a PhD thesis and a to-appear paper by one of the authors, and the degenerate-quadric case is asserted rather than verified.

major comments (3)
  1. [Section 6, Theorem 6.2 and Proposition 6.5] The termination proof rests entirely on Theorem 6.2, which is recalled without proof from [Fai23] and [BF25] (one a PhD thesis, the other listed as 'to appear'). The manuscript neither states the precise hypotheses under which Theorem 6.2 was established nor proves that the degenerate quadric U=U1∪U2 satisfies them; the sentence 'Note that it is permissible that the quadric Q in Theorem 6.2 is degenerate' is an assertion, not a verification. Since Lemma 4.3 identifies extensive BS-Koenigs nets exactly with Q-nets inscribed in this degenerate quadric, a gap or an extra hypothesis in Theorem 6.2 invalidates Lemmas 6.3 and 6.4 and Proposition 6.5, hence Theorem 3.13. The revision should include a complete proof of Theorem 6.2 (or a precise reference to a published version) and an explicit verification of its hypotheses for U=U1∪U2, including the singular-locus behavior used in Lemma 6.4.
  2. [Section 6, proof of Lemma 6.3] In the proof of Lemma 6.3, Theorem 6.2 is applied to the net O whose unique possibly-off-quadric point is O(0,0), whereas Theorem 6.2 is stated for a net P whose unique possibly-off-quadric point is P(m,m). The necessary grid reversal (for example, taking O'(i,j)=O(m-i,m-j)) and the corresponding interchange of the forward and backward Laplace transforms are not explained; without this step the invocation of Theorem 6.2 is unjustified. Please spell out the reversal and verify that the reversed net satisfies all hypotheses, including well-definedness of the relevant Laplace transforms and non-degeneracy.
  3. [Section 6, Proposition 6.8] Proposition 6.8 reduces the D-Koenigs case to the BS-Koenigs case by invoking [Ste18] for the existence of a BS-Koenigs net P having a given D-Koenigs net D as its diagonal intersection net. [Ste18] is a bachelor's thesis and no argument is reproduced in the present paper; this existence statement is load-bearing for half of Theorem 3.13. The revision should either prove this statement or cite a peer-reviewed source with a precise statement of the result.
minor comments (6)
  1. [Section 3, after Definition 3.5] The sentence 'For Q-nets that are not Laplace generate' should read 'not Laplace degenerate'.
  2. [Section 6, proof of Lemma 6.4] In the '⇒' direction, the text says 'due to Lemma 6.4, Pm(0,0) and Pm(0,1) are non-singular'; this should refer to Lemma 6.3. Similarly, 'the same contradiction as in the end of the proof of Lemma 6.4' should refer to Lemma 6.3.
  3. [Section 6, Lemma 6.4] The hypothesis 'the two points of Pm are distinct' is imprecise for a net defined on Σ_{m,m+1}; please specify which two points are meant (presumably Pm(0,0) and Pm(0,1)).
  4. [Section 5, Theorem 5.2] The displayed recurrence (5.3) and the surrounding text contain the confusing notation 'H−1−1(i,j)'; this appears to be a typesetting corruption of H_{-1}(i,j)^{-1} and should be corrected.
  5. [References] Several key references are unpublished or listed as 'in preparation' or 'to appear' ([BF25], [ADT25], [AF25], [Ste18]); please update these in the final version or explain their status.
  6. [Section 6, proof of Proposition 6.5] The notation 'Pm(0), Pm(1), Pm(2)' and 'P−m(0,j)' should be introduced explicitly; as written, the distinction between the point Pm(0,j) and the curve Pm(0) is not immediately clear.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction found; the central theorem is a new combination of independent invariant-theoretic arguments and a black-box quadric theorem, though the unproved recalled Theorem 6.2 is a load-bearing dependence on the authors' own prior work.

full rationale

The derivation chain does not reduce any claimed prediction to its own inputs by construction. Theorem 3.13 is proved from the Laplace-invariant recurrences of Doliwa (Theorem 5.2), the standard BS08 characterizations used in Lemmas 4.3 and 3.16, and the quadric conjugacy criterion of Theorem 6.2. The main theorem is not identical to Theorem 6.2: Theorem 6.2 is a local statement about arbitrary Q-nets in a (possibly degenerate) quadric, whereas Theorem 3.13 concerns BS- and D-Koenigs nets and requires the additional lifting argument via Lemma 4.3 and Lemma 5.11. No parameter is fitted and no known empirical pattern is merely renamed. The most significant concern is the paper's explicit statement that Theorem 6.2 is 'recalled without proof' from [Fai23] and [BF25], both authored or co-authored by A. Y. Fairley; this makes the termination argument conditional on a theorem whose proof is not included here. That is a proof-dependency and a correctness risk, not an equation-level circularity: the cited theorem does not itself assert the Koenigs termination result, and the present proof supplies the Koenigs-specific quadric-lift mechanism. Accordingly, the paper deserves a low but nonzero score because a load-bearing self-citation is present, but no step was found in which an output equals an input by definition or by fitted values.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

Pure mathematics with no fitted parameters and no invented entities. The claimed result is derived from recalled theorems (quadric conjugation, Ste18 existence), in-paper lemmas on lifts and two-hyperplane structure, and the classical Laplace-invariant recurrence. The only novel constructions are geometric (extensive lifts, the degenerate quadric U), not new physical or mathematical entities.

assumptions (5)
  • domain assumption Theorem 6.2 ('Q-net in a quadric'): for P: Σ_{m,m} -> RP^n with all points except possibly P(m,m) in a quadric Q, P(m,m) is in Q iff P_m(0,0) is conjugate to P_-m(0,0) with respect to Q.
    Quoted in Section 6 and recalled without proof from [Fai23] and [BF25]; it is the engine of Proposition 6.5 and thus of the main theorem. Both sources are authored by the second author of this paper.
  • domain assumption Lemma 4.3 (two hyperplanes): an extensive BS-Koenigs net alternates between two hyperplanes U1, U2 by checkerboard parity, and conversely; hence U = U1 ∪ U2 is used as a degenerate quadric with singular locus U1 ∩ U2 (Equation (6.1)).
    Proved in the paper via [BS08, Thm 2.27]; it is the bridge that lets quadric-inscribed results apply to Koenigs nets.
  • domain assumption Lifting (Lemma 4.2 and Lemma 5.11): every non-degenerate Q-net can be lifted to an extensive one in higher dimension without changing Laplace invariants, and Goursat degeneracy becomes Laplace degeneracy two steps later in the lift.
    Section 4 and Section 5; used to reduce every proof to the extensive case. The lift construction requires central projection and generic open-condition choices.
  • domain assumption Existence of a BS-Koenigs net P with given diagonal intersection net D (used in Proposition 6.8), cited to [Ste18], an unpublished bachelor's thesis.
    Proposition 6.8 converts the D-Koenigs case to the BS-Koenigs case through this existence result; the citation is not peer-reviewed.
  • standard math The Laplace-invariant recurrence (Theorem 5.2 and Corollary 5.4), proved in the paper via Menelaus' theorem and multi-ratio identities, with the formula attributed originally to Doliwa [Dol97].
    Algebraic backbone of Sections 5 and 6; the in-paper proof uses classical Menelaus identities on planar quads.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Discrete Koenigs nets and finite Laplace sequences." pith.science (2026). https://pith.science/paper/IQTMCCCZ

@misc{pith2026250802851,
  author       = {Pith},
  title        = {Pith review of: Discrete Koenigs nets and finite Laplace sequences},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IQTMCCCZ}},
  note         = {Machine review of arXiv:2508.02851}
}
read the original abstract

Q-nets are maps from the square grid to projective space that have planar faces. We consider the Laplace sequences of Q-nets, which are determined by iterating a discrete time dynamics called Laplace transformations. In general, the Laplace sequences are bi-infinite. However, there are special cases in which a Laplace transform degenerates to a curve. In these cases we say that the sequences terminates. In this paper, we consider two special cases of Q-nets which are both called (discrete) Koenigs nets. For these Koenigs nets we show that if the sequence terminates, then the sequence is finite. More specifically, we show that if the Laplace transform is Laplace degenerate (or Goursat degenerate) after m steps in one direction, then it is Laplace degenerate after m + 1 (or m + 2) steps in the other direction.

Figures

Figures reproduced from arXiv: 2508.02851 by the authors.

Figure 1
Figure 1. The Laplace transform L−P = P−1 (green) of a Q-net P (black). Note that the second condition implies the first condition unless the domain of P is Σa,0 or Σ0,b. Next, we are interested in a type of discrete-time dynamics for Q-nets, given by iterating Laplace transformations. Laplace transformations of Q-nets were introduced by Doliwa [Dol97] as follows. Definition 3.3. For a non-degenerate Q-net P : Σ → RP n , the … view at source ↗
Figure 2
Figure 2. Left: a Q-net P (black) such that P1 (blue point) is Laplace degenerate. Right: a Q-net P (black) such that P−1 (green point) is Goursat degenerate. Remark 3.4. Note that the non-degeneracy condition for a Q-net P guarantees that both L+P and L−P are well-defined. However, there are degenerate cases where L+P is well-defined but L−P is not (or vice versa). These cases may also be interesting, but we do not consider … view at source ↗
Figure 3
Figure 3. Combinatorial picture of the Laplace invariants [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figures from the paper (7 more)
Figure 4
Figure 4. Figure 4: If the product of the two H equals the product of the two K everywhere, the Q-net is a BS-Kœnigs net (left) or D-Kœnigs net (right) respectively. Both definitions of discrete Kœnigs nets involve the Laplace invariants of quadruples of edges, see also [PITH_FULL_IMAGE:…
Figure 5
Figure 5. Figure 5: A lift Q: Σ2,1 7→ RP 3 (blue) of a Q-net P : Σ2,1 7→ RP 2 (black) with 0-dimensional center C. Thus, if Pm is Laplace degenerate we conclude that (generically) all four maps Pm, Dm+1, P−m−1 and D−m are Laplace degenerate. In particular, this means that for (otherwise g…
Figure 6
Figure 6. Figure 6: The lift Pˆ (blue) of a Q-net P (black) with Goursat degenerate Laplace transform P1. The lift Pˆ 1 (green) is Laplace degenerate, with point of concurrency Pˆ 2 equal to the center of projection C (violet). Recall that by the definition of Goursat degeneracy we know t…
Figure 7
Figure 7. Figure 7: The two Laplace invariants associated to the emphasized edges coincide on the left, [PITH_FULL_IMAGE:figures/full_fig_p018_7.png]
Figure 8
Figure 8. Figure 8: A BS-Kœnigs net P : Σ2,3 → RP 3 (black) with Laplace degenerate P1 (red). By Theorem 6.1, D−1 and P−2 (blue point) are equal and Laplace degenerate. The four blue planes P ∨ − (j) are concurrent at P−2. in P ∨ − (j + 1). Thus, D−m(0) is contained in Tm+2 j=0 P ∨ − (j).…
Figure 9
Figure 9. Figure 9: A BS-Kœnigs net P (blue) with Laplace degenerate P1 (green) and Laplace degenerate P−1 (brown). We see that P is a BS-Kœnigs net because the diagonal intersection points are in a plane (white). By Lemma 7.1, the three triples of concurrent solid lines imply the concurr…
Figure 10
Figure 10. Figure 10: Left: boundary data to construct a BS-Kœnigs net [PITH_FULL_IMAGE:figures/full_fig_p025_10.png]

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Cross-polarized and Stable Second Harmonic Generation from Monocrystalline Copper

    physics.optics 2025-08 unverdicted novelty 6.0 of 10

    Atomically flat, oxidation-resistant monocrystalline copper flakes emit stable, cross-polarized second-harmonic light with C3v surface symmetry.

Reference graph

Works this paper leans on

8 extracted references · 5 canonical work pages · cited by 1 Pith paper

  1. [1]

    Adler, Alexander I

    [ABS12] Vsevolod E. Adler, Alexander I. Bobenko, and Yuri B. Suris. Classification of Inte- grable Discrete Equations of Octahedron Type. International Mathematics Research Notices, 2012(8):1822–1889, 01

    work page 2012

  2. [5]

    Bobenko and Ulrich Pinkall

    [BP96] Alexander I. Bobenko and Ulrich Pinkall. Discrete isothermic surfaces. Journal f¨ ur die reine und angewandte Mathematik , 1996(475):187–208,

    work page 1996

  3. [2008]

    Bobenko and Yuri B

    [BS09] Alexander I. Bobenko and Yuri B. Suris. Discrete Koenigs nets and discrete isother- mic surfaces. Int. Math. Res. Not. IMRN , 2009(11):1976–2012,

    work page 2009

  4. [2012]

    Affolter, Felix Dellinger, and Jan Techter

    [ADT25] Niklas C. Affolter, Felix Dellinger, and Jan Techter. Kœnigs binets, 2025+. In preparation. [AdTM23] Niklas Christoph Affolter, B´ eatrice de Tili` ere, and Paul Melotti. The Schwarzian Oc- tahedron Recurrence (dSKP Equation) I: explicit solutions. Combinatorial Theory, 3(2),

    work page 2025

  5. [2014]

    Preprint, arXiv:1410.7806. 29

    work page Pith review arXiv

  6. [2023]

    [AGPR23] Niklas C

    arXiv:2305.02212. [AGPR23] Niklas C. Affolter, Max Glick, Pavlo Pylyavskyy, and Sanjay Ramassamy. Vector- relation configurations and plabic graphs. Selecta Mathematica, 30(1):9, Dec

    arXiv

  7. [2024]

    [KMT23] Martin Kilian, Christian M¨ uller, and Jonas Tervooren

    arXiv:2403.13476. [KMT23] Martin Kilian, Christian M¨ uller, and Jonas Tervooren. Smooth and Discrete Cone- Nets. Results Math., 78(3):Paper No. 110,

    arXiv

  8. [2025]

    [BHSF23] Alexander I

    to appear. [BHSF23] Alexander I. Bobenko, Tim Hoffmann, and Andrew O. Sageman-Furnas. Isothermic tori with one family of planar curvature lines and area constrained hyperbolic elastica. arXiv:2312.14956,

    arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.