pith. sign in

arxiv: 2604.09872 · v1 · submitted 2026-04-10 · 🧮 math.DS

From Tangency to Fractals: Quadratic Dynamics in Nested Convex Geometry

Mohamed El Morsalani , Mohammed Barkatou This is my paper

Pith reviewed 2026-05-10 15:59 UTC · model grok-4.3

classification 🧮 math.DS
keywords nested convex setstangency conditionquadratic normal formreturn mapssuper-exponential convergencefractal limit setsiterated function systemsFord circles
0
0 comments X

The pith

A tangency condition between nested convex sets cancels the linear term in return maps, leaving quadratic dynamics that produce fractal limit sets.

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

The paper establishes a tangency condition for nested convex bodies that eliminates the linear term from the local expansion of their transition operators. Consequently, near the points of contact the dynamics is controlled by a quadratic normal form whose leading coefficient is fixed by curvature and second-order geometric quantities. This quadratic mechanism yields super-exponential convergence to the tangency set and, after a logarithmic change of coordinates, reduces to approximately affine maps that generate fractal limit sets through iterated function systems. The theory is demonstrated on Ford circles, nested ellipses, and mixed shapes such as stadia.

Core claim

Imposing tangency between consecutive convex sets cancels the linear term in the local expansion of the transition operators, so that dynamics near tangency points follows a quadratic normal form with coefficient from curvature and second-order data. This quadratic tangency law is the central mechanism, and the nonlinear contraction it induces produces super-exponential convergence to the tangency set. In logarithmic coordinates the dynamics is approximately affine, permitting an iterated-function-system interpretation that accounts for the fractal limit sets observed in examples such as Ford circles and nested ellipses.

What carries the argument

The quadratic normal form of the transition operators near tangency points, with explicit coefficient depending on curvature and second-order geometric data.

If this is right

  • The quadratic contraction produces super-exponential convergence toward the tangency set.
  • In logarithmic coordinates the maps become approximately affine and admit an iterated function system description.
  • Purely quadratic configurations with m branches have limit sets whose similarity dimension can be computed and whose Hausdorff dimension estimated.
  • Geometric examples such as Ford circles connect the dynamics to continued fractions while nested ellipses produce Cantor-type sets.
  • Stadia and rounded triangles exhibit coexistence of linear and quadratic regimes.

Where Pith is reading between the lines

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

  • If the quadratic dominance persists under small perturbations of the tangency condition, the mechanism could apply to a wider class of nearly tangent nested domains.
  • The logarithmic affine approximation suggests that the fractal dimension is insensitive to small changes in the quadratic coefficient, which could be tested numerically in the ellipse case.
  • The hinted link to hybrid classical-quantum frameworks might be explored by interpreting the quadratic maps as contraction operators on density matrices.

Load-bearing premise

The nested convex bodies satisfy the geometric normal property so that the return maps are well-defined, and the tangency condition exactly cancels the linear term without residual higher-order effects that would alter the quadratic dominance near contact points.

What would settle it

Direct computation of the first two Taylor coefficients of a return map at a tangency point in an explicit family of nested convex sets, such as a sequence of ellipses, to check whether the linear coefficient vanishes and the quadratic term is nonzero.

Figures

Figures reproduced from arXiv: 2604.09872 by Mohamed El Morsalani, Mohammed Barkatou.

Figure 1
Figure 1. Figure 1: Binary branching structure induced by the two tangency points at each level. [PITH_FULL_IMAGE:figures/full_fig_p039_1.png] view at source ↗
read the original abstract

We study the dynamics generated by return maps associated with nested convex bodies and growing domains satisfying the geometric normal property in the plane. These maps are defined by transporting boundary points along normal directions to the surrounding domain and projecting them back onto the boundary of a subsequent convex set. We introduce a tangency condition between consecutive convex sets and show that it cancels the linear term in the local expansion of the transition operators. As a result, the dynamics near tangency points is governed by a quadratic normal form with an explicit coefficient depending on curvature and second order geometric data. This quadratic tangency law constitutes the central mechanism of the system. We prove that this nonlinear contraction leads to super exponential convergence toward the tangency set. In logarithmic coordinates, the dynamics becomes approximately affine, which allows for an interpretation in terms of iterated function systems (IFS) and explains the emergence of fractal limit sets. The theory is illustrated by several geometric configurations. Ford circles reveal a connection with continued fractions, nested ellipses yield Cantor-type limit sets, and configurations such as stadia and rounded triangles demonstrate the coexistence of linear and quadratic regimes. In purely quadratic settings with m independent branches, the limit set has similarity dimension in logarithmic coordinates, and an estimation of its Hausdorff dimension. From a broader perspective, the combination of symbolic branching and nonlinear contraction suggests potential connections with geometry, in particular in hybrid classical quantum information processing frameworks.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper studies return maps on nested convex bodies in the plane satisfying the geometric normal property, defined via normal transport and projection. It introduces a tangency condition between consecutive sets that is claimed to cancel the linear term in the local expansion of the transition operators, yielding a quadratic normal form whose coefficient depends explicitly on curvature and second-order data. This quadratic mechanism is asserted to produce super-exponential convergence to the tangency set; in logarithmic coordinates the dynamics becomes approximately affine and is interpreted as an IFS, accounting for the emergence of fractal limit sets. Concrete illustrations include Ford circles (linked to continued fractions), nested ellipses (Cantor-type sets), stadia and rounded triangles (coexistence of linear/quadratic regimes), and a dimension estimate for purely quadratic m-branch cases.

Significance. If the central derivations hold, the work supplies a geometrically grounded mechanism that converts tangency data into explicit quadratic contractions, super-exponential convergence, and IFS attractors without free parameters. The explicit curvature dependence and the reduction to logarithmic affine maps are notable strengths, as is the concrete link to continued fractions and the dimension calculation for the quadratic regime. The framework could connect convex geometry, nonlinear dynamics, and fractal constructions in a deterministic setting.

major comments (2)
  1. [Proof of the quadratic tangency law / local expansion of transition operators] The central claim that the tangency condition cancels the linear term exactly (leaving a quadratic normal form) must be verified against possible first-order residuals introduced by the projection step onto the subsequent boundary. The geometric normal property is invoked to guarantee well-defined differentiable return maps, but it is not immediately clear from the local expansion whether normal alignment is sufficient to make all linear contributions vanish uniformly near the contact point; any o(x) remainder that is not controlled would undermine both the quadratic dominance and the subsequent super-exponential convergence argument.
  2. [Super-exponential convergence and logarithmic coordinate change] The super-exponential convergence statement and its translation into an affine IFS in logarithmic coordinates rest on the quadratic term being the leading contribution. If the cancellation is only approximate, the convergence rate may degrade to exponential and the IFS interpretation would require additional error estimates that are not supplied in the abstract or the sketched argument.
minor comments (2)
  1. [Definitions and setup] Notation for the transition operators and the geometric normal property should be introduced with explicit formulas before the tangency condition is imposed, to make the cancellation calculation self-contained.
  2. [Dimension calculation] The dimension estimate for the m-branch quadratic case would benefit from a short comparison with the classical similarity-dimension formula for the corresponding IFS, clarifying whether the estimate is exact or only an upper/lower bound.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The concerns about the exactness of the linear-term cancellation and the supporting estimates for super-exponential convergence and the IFS interpretation are important, and we address them point by point below. We will incorporate additional explicit expansions and error bounds in the revision.

read point-by-point responses

  1. Referee: [Proof of the quadratic tangency law / local expansion of transition operators] The central claim that the tangency condition cancels the linear term exactly (leaving a quadratic normal form) must be verified against possible first-order residuals introduced by the projection step onto the subsequent boundary. The geometric normal property is invoked to guarantee well-defined differentiable return maps, but it is not immediately clear from the local expansion whether normal alignment is sufficient to make all linear contributions vanish uniformly near the contact point; any o(x) remainder that is not controlled would undermine both the quadratic dominance and the subsequent super-exponential convergence argument.

    Authors: We thank the referee for this observation. The tangency condition is defined in Section 2 so that the first-order terms from normal transport and projection cancel identically at the contact point; the geometric normal property supplies the C^1 regularity needed for the expansion. The explicit Taylor computation in Section 3 shows that the linear coefficient is precisely zero when the normals align and the curvatures satisfy the tangency relation, leaving a quadratic term whose coefficient is expressed in terms of curvature and second-order data. We will add the full expansion with remainder term in the revised manuscript, proving that the error is O(x^2) uniformly in a neighborhood of the tangency point, thereby confirming exact cancellation of all linear contributions. revision: yes

  2. Referee: [Super-exponential convergence and logarithmic coordinate change] The super-exponential convergence statement and its translation into an affine IFS in logarithmic coordinates rest on the quadratic term being the leading contribution. If the cancellation is only approximate, the convergence rate may degrade to exponential and the IFS interpretation would require additional error estimates that are not supplied in the abstract or the sketched argument.

    Authors: With the exact quadratic normal form established by the strengthened expansion, the iteration argument in Theorem 4.2 yields super-exponential convergence (distance to the tangency set decays like exp(-c 2^n)). For the logarithmic coordinate change, we will insert a new subsection containing uniform error bounds: the transformed map differs from the affine IFS by a term that is O(|log r|) in the log-radius variable and vanishes as r approaches the limit set. These estimates ensure that the attractor remains a small C^0 perturbation of the affine IFS attractor, preserving the fractal structure and the dimension calculation for the m-branch quadratic case. The revised manuscript will contain these details. revision: yes

Circularity Check

0 steps flagged

No circularity: quadratic normal form derived from tangency assumption via explicit local expansion

full rationale

The paper introduces the tangency condition between consecutive convex sets as a geometric hypothesis and proves that it forces the linear term in the transition operator expansion to vanish, leaving a quadratic term whose coefficient is expressed in terms of curvature and second-order data. This is a direct calculation from the definitions of the return maps and the geometric normal property (an assumption ensuring differentiability), not a fit or self-definition. The super-exponential convergence follows from the resulting contraction estimate, and the IFS interpretation is obtained by applying a standard logarithmic coordinate change to the derived quadratic map. No central claim reduces to a fitted parameter renamed as prediction, a self-citation chain, or an ansatz smuggled from prior work by the same authors. The derivation chain is self-contained against the stated geometric inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on two background assumptions and one introduced condition; no free parameters or new entities are explicitly fitted or postulated in the abstract.

axioms (2)
  • domain assumption The domains satisfy the geometric normal property
    Required for the return maps to be defined by normal transport and projection.
  • ad hoc to paper A tangency condition holds between consecutive convex sets
    Introduced by the authors to cancel the linear term in the local expansion.

pith-pipeline@v0.9.0 · 5584 in / 1444 out tokens · 61483 ms · 2026-05-10T15:59:37.764510+00:00 · methodology

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

11 extracted references · 11 canonical work pages · 1 internal anchor

  1. [1]

    Barkatou,Some geometric properties for a class of non-Lipschitz domains, New York J

    M. Barkatou,Some geometric properties for a class of non-Lipschitz domains, New York J. Math., 8 (2002), 189-213

    work page 2002

  2. [2]

    Preprint, arXiv:2603.28445, 2026

    M. Barkatou, and M. El Morsalani,The Return Map in the ClassOC: Geometry, Dynamics, and Thickness Descent, Preprint, arXiv:2603.28445v1, (2026)

    work page internal anchor Pith review arXiv 2026

  3. [3]

    L. A. Bunimovich,On the ergodic properties of nowhere dispersing billiards, Comm. Math. Phys. 65 (1979), 295-312

    work page 1979

  4. [4]

    J. E. Hutchinson,Fractals and self similarity, Indiana Univ. Math. J. 30 (1981), 713-747

    work page 1981

  5. [5]

    Falconer,Fractal Geometry: Mathematical Foundations and Applications, Wiley, 2003

    K. Falconer,Fractal Geometry: Mathematical Foundations and Applications, Wiley, 2003

    work page 2003

  6. [6]

    Bowen,Hausdorff dimension of quasi-circles, Inst

    R. Bowen,Hausdorff dimension of quasi-circles, Inst. Hautes Études Sci. Publ. Math. 50 (1979), 11-25

    work page 1979

  7. [7]

    R. D. Mauldin and M. Urbanski,Dimensions and measures in infinite iterated func- tion systems, Proc. London Math. Soc. 73 (1996), 105-154

    work page 1996

  8. [8]

    A. Y. Khinchin,Continued Fractions, University of Chicago Press, 1964

    work page 1964

  9. [9]

    Series,The modular surface and continued fractions, J

    C. Series,The modular surface and continued fractions, J. London Math. Soc. Second Series 31 (1985), 69-80

    work page 1985

  10. [10]

    Douady and J

    A. Douady and J. H. Hubbard,On the dynamics of polynomial-like mappings, An- nales Scientifiques de l’École Normale Supérieure, 4e série, 18 (1985), 287–343

    work page 1985

  11. [11]

    Yoccoz, in: Topological Methods in Modern Mathematics (Stony Brook, 1991), Publish or Perish, 1993, pp

    J.H.Hubbard,Local Connectivity of Julia Sets and Bifurcation Loci: Three Theorems of J.-C. Yoccoz, in: Topological Methods in Modern Mathematics (Stony Brook, 1991), Publish or Perish, 1993, pp. 467–511. 43

    work page 1991