Pith. sign in

REVIEW 2 major objections 3 minor 38 references

On complex algebraic caustics in planar and projective billiards

T0 review · 2 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read A real planar curve that admits a complex caustic must be a conic, and the caustic is a confocal conic or a finite union of confocal conics.

desk verdict The complex-caustic idea is good and the proof strategy is sound for non-degenerate caustics, but the main theorem as stated is false because the definition admits a vacuous complex caustic (the line at infinity) for every affine curve. read the letter →

arxiv 2509.11257 v1 pith:TIGLB4ZA submitted 2025-09-14 math.DS

Alexey Glutsyuk This is my paper · ORCID
classification math.DS MSC 37C8337J3514H5051A05
keywords complexcausticbilliardsconicsconfocalprojectiverationalintegrabilityconstantcurvaturesurfacespolynomial
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

This paper introduces complex caustics: complex algebraic curves whose complex tangent lines are permuted by the complexified reflection law of a billiard. It proves that if any nonlinear smooth connected curve in the plane has such a complex caustic, then the curve must be a conic, and the caustic must be a confocal conic or a finite union of confocal conics. The same rigidity holds for billiards on the sphere and hyperbolic plane (with the ambient absolute excluded), and for projective billiards equipped with two distinct complex caustics. The proof passes through projective duality: the caustic's dual curve becomes an invariant algebraic curve for an angular billiard, from which the author constructs a rational first integral; rational integrability then forces polynomial integrability, and the solved polynomial integrability conjecture for billiards forces the conic. A reader should care because this is a strong algebraic rigidity result in the spirit of the classical conjecture that only elliptic tables are caustic-integrable, and it shows that a single complexified caustic already imposes the conic structure.

What carries the argument

The key object is the complex caustic: a complex algebraic curve whose complex tangent lines are permuted by the complexified reflection at each point of the real curve. The proof's engine is projective duality (orthogonal polarity), which turns the billiard into an angular billiard on the dual curve and the caustic into an invariant algebraic curve there. From that invariant curve the author builds a rational first integral R = H^2/(M1^2+M2^2)^d, whose zero and pole divisors are exactly the invariant curve and the absolute conic; invariance under the angular symmetries makes R an integral. Rational integrability of the angular billiard gives rational integrability of the original billiard,

What would settle it

Take any non-conic smooth curve in the affine plane, for example a cubic, and set alpha to be the line at infinity. Through any finite point of the curve there are no complex tangent lines to alpha, so the complex-caustic condition is satisfied vacuously, contradicting Theorem 1.3 as stated. For the amended version that excludes this case, a falsifier would be a non-conic curve admitting a non-vacuous complex caustic; the proof shows that none exists.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.3: a nonlinear C^2-smooth connected embedded curve in the Euclidean plane that admits a complex caustic is necessarily a conic, and the complex caustic is either a confocal conic or a finite union of confocal conics. A complex caustic is a complex algebraic curve alpha such that, at every point of the real curve, the complexified reflection map sends every complex tangent line to alpha through that point to another complex tangent line to alpha. The paper shows that the existence of such an object makes the billiard rationally 0-homogeneously integrable; by the solution of the polynomial integrability conjecture, the curve must then be a conic. The caustic is t

Load-bearing premise

The proof assumes the complex caustic is not the line at infinity (equivalently, its projective dual is not the absolute conic); without that exclusion, the line at infinity is a vacuous complex caustic for every affine curve and the theorem as stated is false.

Editorial extensions

If this is right

  • A non-elliptic pair of nested algebraic ovals cannot have the inner one as a complexified caustic for the outer one; the only complexifiable caustics are confocal ellipses.
  • If an algebraic billiard is Birkhoff integrable and at least one rational caustic complexifies, then the boundary is an ellipse; this would close the algebraic-oval case of the classical conjecture.
  • Projective billiards with two distinct complex caustics are exactly the rationally integrable ones on conics, so they all appear in the known classification list.
  • Dual pencil type projective billiards—the standard integrable projective billiards—are, up to projective transformations and arc restrictions, the same as billiards on constant-curvature surfaces.

Reading between the lines

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

  • Because a single complex caustic already forces rational integrability, the paper's mechanism suggests that the classical conjecture for algebraic ovals could be attacked by proving that some rational caustic of an integrable algebraic billiard always complexifies.
  • The same duality-plus-rational-integral construction may extend to higher-dimensional billiards, where one would predict that a hypersurface with a complex algebraic caustic must be a quadric; the absolute conic would be replaced by the corresponding absolute quadric.
  • The line at infinity is vacuously a complex caustic for every affine curve, so the theorem as printed requires the non-degeneracy exclusion; a reader should interpret the statement as applying to caustics other than the line at infinity.
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

2 major / 3 minor

Summary. The paper introduces the notion of a complex caustic for planar, constant-curvature, and projective billiards: a complex algebraic curve whose complex tangent lines through every point of the billiard boundary are permuted by the complexified reflection. The main theorems claim that the existence of a complex caustic forces the boundary to be a conic, and that the caustic itself must be a (finite union of) confocal conics. The proof strategy is projective duality: a complex caustic dualizes to an invariant curve of the corresponding dual billiard, from which the paper constructs a rational first integral; rational integrability plus the known solution of Bolotin's conjecture then yields the conic conclusion. A separate proposition shows that dual-pencil-type projective billiards are, up to projective transformation and restriction to arcs, billiards on surfaces of constant curvature.

Significance. If corrected, the reduction is elegant and the results are strong: they give a complex-algebraic analogue of the Birkhoff conjecture and extend it to projective billiards. The paper is explicit about its reliance on the author's earlier joint work ([18]–[20]) for the classification and integrability steps; I see no circularity, since those are independent theorems and do not assume the target result. The proof of the rational first integral from a caustic is a clean mechanism. However, the central statements as written are false because Definition 1.2 admits vacuous caustics. The advertised 'if and only if' is therefore not correct. With a natural non-degeneracy hypothesis, the contribution would be significant and publishable.

major comments (2)
  1. [§1.1, Definition 1.2; Theorem 1.3] Definition 1.2 admits vacuous caustics. If α is any projective line disjoint from C (e.g. the line at infinity), then for every Q∈C there are no complex lines through Q tangent to α, because the tangent to a projective line at every point is the line itself. Hence L∞ is a complex caustic for every affine curve. This contradicts Theorem 1.3 for every non-conic; it also contradicts the conclusion for conics, since L∞ is not a finite union of confocal conics. The same vacuity affects Theorem 1.15 (any line disjoint from π(C), not just the absolute) and Theorem 1.25 (two disjoint lines give two 'caustics'). The proofs break at Proposition 2.3: α* is then a point, not a curve, so no nonconstant H has zero locus exactly α*, and R in (2.1) is undefined or constant. A non-degeneracy hypothesis is required, e.g. that α has no line components, equivalently that α* is an algebraic curve.
  2. [§2.1, Proposition 2.3] The proposition as stated silently assumes that α* is a curve. This is exactly the load-bearing point: the proof needs a homogeneous polynomial H whose zero locus is precisely α*, and it needs R to be a nonconstant rational function. If α is a line, α* is a point and the construction collapses. The proposition and the main theorems should state the non-degeneracy condition explicitly, and the proof should show that under that condition α* is indeed an algebraic curve and that the zero and pole divisors of R do not share components.
minor comments (3)
  1. [§2.1] After Proposition 1.23, the text says the billiard is 'polynomially integrable, by Proposition 2.3'; the correct reference is Proposition 2.1.
  2. [§2.2] The existence of a rational function R with poles on I and zeros on α* requires the total degrees of the zero and pole divisors to balance. This is easy to arrange (e.g. take H^{deg I} / I^{deg α*}), but the paper should state the degree-balance condition explicitly.
  3. [Abstract and §1.1] The phrasing 'has a complex caustic if and only if γ is a conic' is too strong as stated; it should be qualified to non-degenerate complex caustics. Otherwise the abstract overstates the corrected theorem.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central theorem is derived from independent prior results, and the heavy self-citation is load-bearing but not circular.

full rationale

The paper's central claim, Theorem 1.3, is not obtained by re-importing its own conclusion. Given a complex caustic α, the proof forms the dual invariant curve α* and the rational function R = H^2/(M1^2+M2^2)^d (Prop. 2.3). The proof that R is an integral of the dual billiard is a direct argument from the defining invariance of α. Rational integrability is then transferred to the original billiard and upgraded to polynomial integrability via Proposition 2.1, a cited theorem whose assumptions do not include the target result. The decisive step "Polynomial integrability implies that C is a conic" invokes the solution of Bolotin's polynomial integrability conjecture [7,8,18]; that theorem concerns polynomial integrability alone and does not assume the existence of a complex caustic. The final assertion that α is a finite union of confocal conics uses [20, Prop. 2.7] to force α* into the relevant conic pencil; this is again a parameter-free external classification, not a restatement of the theorem under proof. Thus the self-citations, while numerous and load-bearing, are citations to independent prior mathematical results rather than a circular dependence on the present claim. A separate, non-circularity concern: Definition 1.2 appears to allow any projective line disjoint from C (e.g. the line at infinity) as a vacuous complex caustic, which would make Theorem 1.3 false as stated; the proof's Proposition 2.3 also implicitly assumes α* is a curve and that a defining homogeneous polynomial H exists. This is a mathematical gap about hypotheses, not a circular derivation, so under the stated rules it does not raise the circularity score.

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

The paper has no free parameters in the empirical sense; it is a pure mathematical proof. The load-bearing assumptions are the cited integrability classifications, many from the author's own prior work, plus the new definition of complex caustic, which is not equipped with an explicit non-degeneracy condition.

assumptions (5)
  • domain assumption Solution of Bolotin's polynomial integrability conjecture: polynomial integrability of a billiard on a C^2 curve on a constant curvature surface implies the curve is a conic.
    Invoked in the proof of Theorem 1.3 to conclude C is a conic, citing [7, 8, 18].
  • domain assumption Classification of rationally 0-homogeneously integrable projective billiards: such billiards exist only on conics and are classified up to projective equivalence.
    Used in Theorem 1.25 to identify the projective billiard with a list from Theorem 1.19, citing [19].
  • domain assumption Duality between projective billiards and dual billiards preserves rational integrability and conjugates caustics to invariant curves.
    Proposition 1.23, cited from [19], is the bridge used in every proof.
  • domain assumption For billiards on surfaces of constant curvature, rational 0-homogeneous integrability is equivalent to polynomial integrability.
    Proposition 2.1, cited from [20, proposition 1.8], used to move from rational to polynomial integrability.
  • domain assumption Two rational integrals of a dual billiard share level sets: one is constant on irreducible components of level curves of the other.
    Proposition 2.7 from [20], used to conclude alpha* is a union of conics in the pencil.
invented entities (1)
  • complex caustic
    purpose: A new definition used to formulate the main theorems: a complex algebraic curve whose complex tangent lines are permuted by complexified reflection.
    This is a mathematical definition introduced by the paper, not an entity with independent falsifiable consequences. The definition allows vacuous satisfaction by degenerate curves, which is the source of the gap.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On complex algebraic caustics in planar and projective billiards." pith.science (2026). https://pith.science/paper/TIGLB4ZA

@misc{pith2026250911257,
  author       = {Pith},
  title        = {Pith review of: On complex algebraic caustics in planar and projective billiards},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TIGLB4ZA}},
  note         = {Machine review of arXiv:2509.11257}
}
abstract

A caustic of a billiard is a curve whose tangent lines are reflected to its own tangent lines. A billiard is called Birkhoff caustic-integrable, if there exists a topological annulus adjacent to its boundary from inside that is foliated by closed caustics. The famous Birkhoff Conjecture, studied by many mathematicians, states that the only Birkhoff caustic-integrable billiards are ellipses. The conjecture is open even for billiards whose boundaries are ovals of algebraic curves. In this case the billiard is known to have a dense family of so-called rational caustics that are also ovals of algebraic curves. We introduce the notion of a complex caustic: a complex algebraic curve whose complex tangent lines are sent by complexified reflection to its own complex tangent lines. We show that the usual billiard on a real planar curve $\gamma$ has a complex caustic, if and only if $\gamma$ is a conic. We prove analogous result for billiards on all the surfaces of constant curvature. These results are corollaries of the solution of S.Bolotin's polynomial integrability conjecture: a joint result by M.Bialy, A.Mironov and the author. We extend them to the projective billiards introduced by S.Tabachnikov, which are a common generalization of billiards on surfaces of constant curvature. We also deal with a well-known class of projective billiards on conics that are defined to have caustics forming a dual conical pencil. We show that up to restriction to a finite union of arcs, each of them is equivalent to a billiard on appropriate surface of constant curvature.

Figures

Figures reproduced from arXiv: 2509.11257 by the authors.

Figure 1
Figure 1. The projective billiard reflection. A usual planar billiard with reflections from a curve C is a particular case of projective billiard, with N being the normal line field. For representation of billiards on other surfaces of constant curvature as projective billiards see Subsection 1.3 In Subsection 1.5 we state Theorem 1.25, which extends Theorems 1.3 and 1.15 to projective billiards with two complex caustics. It … view at source ↗
Figure 2
Figure 2. Projective billiard flow Definition 1.16 [19]. A planar projective billiard is rationally 0-homogeneously integrable, if its flow admits a non-constant first integral I of the type I(Q, v) = I1,Q(v) I2,Q(v) ; I1,Q(v), I2,Q(v) are homogeneous polynomials, deg I1,Q = deg I2,Q, the degrees deg Ij,Q are uniformly bounded in Q. It is called a rational 0-homogeneous integral: I(Q, λv) ≡ I(Q, v) for λ ∈ R. The notion of a … view at source ↗
Figure 3
Figure 3. The projective billiard reflection involution [PITH_FULL_IMAGE:figures/full_fig_p014_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Euclidean billiard and its dual: Bialy – Mironov angular billiard. [PITH_FULL_IMAGE:figures/full_fig_p014_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 2 linked inside Pith

  1. [18]

    Glutsyuk, A.On polynomially integrable Birkhoff billiards on surfaces of constant curvature.J. Eur. Math. Soc.23(2021), 995–1049

    2021

  2. [19]

    Preprint https://arxiv.org/abs/2112.07056 26

    Glutsyuk, A.On rationally integrable planar dual and projective bil- liards. Preprint https://arxiv.org/abs/2112.07056 26

    arXiv

  3. [20]

    Glutsyuk, A.On rationally integrable planar dual multibilliards and piecewise smooth projective billiards.Nonlinearity,37(2024), 065002

    2024

  4. [1]

    Amiran, E.Caustics and evolutes for convex planar domains.J. Diff. Geometry,28(1988), 345–357

    1988

  5. [2]

    Avila, A.; De Simoi, J.; Kaloshin, V.An integrable deformation of an ellipse of small eccentricity is an ellipse.Ann. of Math. (2)184(2016), no. 2, 527–558

    2016

  6. [3]

    Translated from the French by M

    Berger, M.Geometry, I.Universitext, Springer, Berlin, 1987. Translated from the French by M. Cole and S. Levy

    1987

  7. [4]

    Hopf.Math

    Bialy, M.Convex billiards and a theorem by E. Hopf.Math. Z.,214(1) (1993), 147–154

    1993

  8. [5]

    Bialy, M.On totally integrable magnetic billiards on constant curvature surface.Electron. Res. Announc. Math. Sci.19(2012), 112–119. 25

    2012

Show all 38 references
  1. [6]

    Bialy, M.Hopf rigidity for convex billiards on the hemisphere and hyper- bolic plane.Discrete Contin. Dyn. Syst.33(2013), No. 9, 3903–3913

    2013

  2. [7]

    Bialy, M.; Mironov, A.Angular billiard and algebraic Birkhoff conjecture. Adv. in Math.313(2017), 102–126

    2017

  3. [8]

    Bialy, M.; Mironov, A.E.Algebraic Birkhoff conjecture for billiards on Sphere and Hyperbolic plane.J. Geom. Phys.,115(2017), 150–156

    2017

  4. [9]

    Bialy, M.; Mironov, A.E.A survey on polynomial in momenta integrals for billiard problems,Phil. Trans. R. Soc. A.,336(2018), Issue 2131, https://doi.org/10.1098/rsta.2017.0418

    2018

  5. [10]

    of Math.(2) 196 (1)(2022), 389–413

    Bialy, M.; Mironov, A.E.The Birkhoff-Poritsky conjecture for centrally- symmetric billiard tables.Ann. of Math.(2) 196 (1)(2022), 389–413

    2022

  6. [11]

    Bolotin, S.V.Integrable Birkhoff billiards.Mosc. Univ. Mech. Bull.45:2 (1990), 10–13

    1990

  7. [12]

    Bolotin, S.V.Integrable billiards on surfaces of constant curvature. Math. Notes51(1992), No. 1–2, 117–123

    1992

  8. [13]

    S.; Miranda, E.; Tabachnikov, S.Open problems, questions and challenges in finite-dimensional integrable sys- tems.Philos

    Bolsinov, A.V.; Matveev, V. S.; Miranda, E.; Tabachnikov, S.Open problems, questions and challenges in finite-dimensional integrable sys- tems.Philos. Trans. Royal Soc. A: Mathematical, Physical and Engineer- ing Sciences,376 (2131)(2018), [20170430]

    2018

  9. [14]

    Chang, S.J.; Crespi, B.; Shi, K.J.Elliptical billiard systems and the full Poncelet’s theorem inndimensions.J. Math. Phys.34,2242 (1993)

    1993

  10. [15]

    Preprint https://tel.archives- ouvertes.fr/tel-03267693

    Fierobe, C.Projective and complex billiards, periodic orbits and Pfaffian systems.PhD thesis, ENS de Lyon, 2021. Preprint https://tel.archives- ouvertes.fr/tel-03267693

    2021

  11. [16]

    J.,14(2014), No

    Glutsyuk, A.On quadrilateral orbits in complex algebraic planar bil- liards.Moscow Math. J.,14(2014), No. 2, 239–289

    2014

  12. [17]

    Math.,305(2020), No

    Glutsyuk, A.On commuting billiards in higher-dimensional spaces of constant curvature.Pacific J. Math.,305(2020), No. 2, 577–595

    2020

  13. [21]

    Glutsyuk, A.On infinitely many foliations by caustics in strictly convex non-closed billiards.Erg. Th. Dyn. Sys.44(2024), 1418–1467

    2024

  14. [22]

    Annalen372(2018), 1481–1501

    Glutsyuk, A.; Shustin, E.On polynomially integrable planar outer bil- liards and curves with symmetry property.Math. Annalen372(2018), 1481–1501

    2018

  15. [23]

    of Math.,188(2018), No

    Kaloshin, V.; Sorrentino, A.On local Birkhoff Conjecture for convex billiards.Ann. of Math.,188(2018), No. 1, 315–380

    2018

  16. [24]

    Kaloshin, V.; Sorrentino, A.On the integrability of Birkhoff billiards. Philos. Trans. Roy. Soc. A376(2018), No. 2131, 20170419, 16 pp

    2018

  17. [25]

    Koval, I.Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse.Preprint https://arxiv.org/abs/2111.12171

    arXiv

  18. [26]

    A genetic introduction to the dynamics of systems with impacts.Translated from Russian by J.R.Schulenberger

    Kozlov, V.V.; Treshchev, D.V.Billiards. A genetic introduction to the dynamics of systems with impacts.Translated from Russian by J.R.Schulenberger. Translations of Mathematical Monographs,89, Amer- ical Mathematical Society, Providence, RI, 1991

    1991

  19. [27]

    USSR Izvestija7(1973), 185–214

    Lazutkin, V.F.The existence of caustics for a billiard problem in a convex domain.Math. USSR Izvestija7(1973), 185–214

    1973

  20. [28]

    Math.,37 (1976), 165–192

    Melrose, R.Equivalence of glancing hypersurfaces.Invent. Math.,37 (1976), 165–192

    1976

  21. [29]

    of Math.51(1950), No

    Poritsky, H.The billiard ball problem on a table with a convex boundary – an illustrative dynamical problem.Ann. of Math.51(1950), No. 2, 446– 470

    1950

  22. [30]

    Tabachnikov, S.Introducing projective billiards.Ergod. Th. Dynam. Sys.17(1997), 957–976

    1997

  23. [31]

    Tabachnikov, S.Geometry and billiards.Student Mathematical Library, 30, American Mathematical Society, Providence, RI; Mathematics Ad- vanced Study Semesters, University Park, PA (2005)

    2005

  24. [32]

    of Math.235(2008), no

    Tabachnikov, S.On algebraically integrable outer billiards.Pacific J. of Math.235(2008), no. 1, 101–104. 27

    2008

  25. [33]

    D.,255(2013), 31–34

    Treschev, D.Billiard map and rigid rotation.Phys. D.,255(2013), 31–34

    2013

  26. [34]

    Steklov Inst

    Treschev, D.On a Conjugacy Problem in Billiard Dynamics.Proc. Steklov Inst. Math.,289(2015), No. 1, 291–299

    2015

  27. [35]

    Treschev, D.A locally integrable multi-dimensional billiard system.Dis- crete Contin. Dyn. Syst.37(2017), No. 10, 5271–5284

    2017

  28. [36]

    P.Integrable systems with discrete time, and difference op- erators.Funct

    Veselov, A. P.Integrable systems with discrete time, and difference op- erators.Funct. Anal. Appl.22(1988), No. 2, 83–93

    1988

  29. [37]

    Veselov, A.P.Confocal surfaces and integrable billiards on the sphere and in the Lobachevsky space.J. Geom. Phys.,7(1990), Issue 1, 81–107

    1990

  30. [38]

    Differential Geom.40 (1)(1994), 155–164

    Wojtkowski, M.P.Two applications of Jacobi fields to the billiard ball problem.J. Differential Geom.40 (1)(1994), 155–164. 28

    1994

Pith tools

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