REVIEW 4 major objections 4 minor 12 references
Knobbly but nice
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For exponential maps with Julia set the whole plane, every piecewise-smooth Jordan curve contains a point whose forward orbit is dense in the entire complex plane.
desk verdict A genuinely new result about dense orbits on Jordan curves for exponential maps, but the key proposition is a sketch that needs real work before the proof can be trusted. 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
The central object is $T$, the set of points whose forward orbits stay inside $S$, the union of two horizontal strips in the right half-plane. $T$ splits into uncountably many smooth, nearly horizontal curves $T_a$, indexed by binary sequences; each is called a hair and admits a $C^\infty$ parametrisation. The load-bearing mechanism is Proposition 2.6: for a $C^1$ curve $\gamma$ that enters $S$ and meets $T$ only at its endpoint, the angles at which the iterates $f^n\circ\gamma$ cross $T$ are dense in $[0,\pi]$. That angular spreading is then used to make an iterate of a subarc $C^1$-close to a circle of any desired radius, and four such subarcs close up into a small Jordan curve surrounding any prescribed point.
What would settle it
Exhibit a $C^1$ curve $\gamma$ in $S$ for which $\{0\}$ is a connected component of $\gamma^{-1}(T)$ but the union of the angle sets $A_n(\gamma)$ is not dense in $[0,\pi]$; Proposition 2.6 would fail, and with it the construction of small Jordan curves and Theorem 1. A direct numerical test is to take a horizontal segment in the right half-plane whose left endpoint lies on $T$, iterate it many times, record the angles at which the iterated curve crosses $T$, and look for a fixed angular gap that survives as the segment length and number of iterates grow.
Extended reading notes
Core claim
Theorem 1 is established by showing that any sufficiently regular closed curve can be used as a kind of template: from a small arc of the curve one can manufacture, through finitely many iterates, a tiny Jordan curve around any prescribed non-zero point. Choosing a dense sequence of target points and shrinking the Jordan curves to zero, an intersection argument places a point on the original curve whose orbit visits every neighbourhood of every point of the plane. The core geometric engine is Proposition 2.6, which asserts that a $C^1$ arc entering the right half-plane and touching the invariant set $T$ only at its endpoint will, under iteration, hit $T$ at angles that fill the entire interval $[0,\pi]$. From that angle-density statement the paper derives the ability to approximate circles by iterated arcs, which is exactly what is needed to surround arbitrary points.
Load-bearing premise
The whole construction rests on Proposition 2.6, the sketched claim that a $C^1$ curve entering $S$ and meeting $T$ only at its endpoint produces iterated intersections with $T$ at every angle in $[0,\pi]$, together with the unproved 'elementary' Lemma 2.4 that controls the arguments of the iterates.
Editorial extensions
If this is right
- Every piecewise-smooth Jordan curve in the plane contains a point whose forward orbit under the exponential map is dense, whenever the Julia set is the whole plane.
- A Jordan curve whose interior meets the Julia set either has a dense orbit as a set or has uncountably many non-smooth points.
- No bounded nice set with piecewise-smooth boundary can intersect the Julia set of such an exponential map.
- The known result that the third iterate of an oblique line is dense is extended from straight lines to arbitrary piecewise-smooth Jordan curves.
Reading between the lines
- Going beyond the paper, if the Proposition 2.6 sketch is completed, the construction appears local enough to yield a dense-orbit point on any $C^1$ curve that enters the right half-plane with a single tangency to $T$, not only on closed Jordan curves.
- The same angle-density mechanism may extend to other transcendental entire functions whose Julia set is the whole plane and which admit an invariant family of smooth horizontal hairs; the exponential family is the cleanest case.
- One could probe the theorem numerically on a large circle: record how many iterates are needed before the constructed point enters every grid cell, and watch how that time grows as the grid is refined, to test the quantitative strength behind the qualitative density statement.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies exponential maps f(z)=λe^z and claims that when the Julia set is the whole complex plane, every piecewise-smooth Jordan curve contains at least one point whose forward orbit is dense in C. The main theorem is proved by a sequence of lemmas: constructing small Jordan curves around arbitrary nonzero points by iterating a curve that meets the invariant set T, then using Montel's theorem and density of repelling periodic points to reduce the problem to a local curve-alignment argument. The paper also derives a corollary that bounded nice sets with piecewise-smooth boundary cannot intersect the Julia set in this setting.
Significance. If correct, the main theorem is a striking and elegant dynamical-density result: it says that the exponential map, when its Julia set is the whole plane, has dense orbits on every sufficiently regular closed curve. This would strengthen the author's earlier results on dense orbits of lines and would have concrete consequences for the regularity of boundaries of nice sets used in inducing and thermodynamic-formalism arguments. The argument is purely dynamical and does not fit parameters to data; it is a genuine theorem attempt with a clearly stated falsifiable conclusion. The paper is short but engages with a substantive open problem, and the claimed corollary about bounded nice sets is a useful contribution to the area.
major comments (4)
- [§2, Lemma 2.2] The proof of Lemma 2.2 is given as 'Evident', but the lemma is load-bearing: it provides the four circular arcs whose images under f^2 form a small Jordan curve around an arbitrary nonzero z, and this construction is used in Lemma 2.3 and Proposition 2.8. The condition that C1 and C2 do not meet, while the union of C1, C2, and the 2πi-translate of C3 and C4 forms a Jordan curve surrounding y, is not self-evident and deserves a derivation or a figure-free argument.
- [§2, Lemma 2.4] Lemma 2.4 is stated with proof 'Elementary', but equation (2.1) is essential: it bounds the argument of Df^n(z) by a sum of arguments of the forward orbit, and this bound is what makes the curves Ta quasi-horizontal and gives the tangent-angle estimates used in Proposition 2.6 and Lemma 2.7. Without a proof, the reader cannot verify the key estimate |arg(Df^n(z))| < 1/50, which is quantitatively important for the density claims. The proof should be written out.
- [§2, Proposition 2.6] Proposition 2.6 is the core of the paper, but its proof is a sketch. The step 'f^{k+1}∘γ|[0,ε] crosses each 2jπi-translate of T' is asserted without justification: T has a Cantor structure with open gaps, and a C^1 curve starting on a hair of T can run through a gap to ∂S without meeting other hairs, so the claimed crossing property does not follow from the preceding lemmas alone. The assertion that the angles of intersection are 3/C-dense in a full interval of length π/2 is also not proved. Since Lemma 2.7, Proposition 2.8, and Corollaries 2.13–2.14 all depend on this proposition, this gap is load-bearing and must be filled by a complete argument.
- [§2, Lemma 2.7] Lemma 2.7 applies Proposition 2.6 by saying 'we may assume that γ intersects T transversally at γ(0)', which tacitly replaces γ by an iterate f^n∘γ. The new curve is not shown to satisfy the hypothesis of Lemma 2.4 on the relevant subinterval, namely that f^j(γ([0,δ]))⊂S for j=1,...,n. Without this domain condition, the expansion estimates from Lemma 2.4 cannot be invoked, and the subsequent derivative bounds and length estimates lack a valid basis. The phrases 'one can check' and 'for large n' also hide several nontrivial uniformity assertions that should be made explicit.
minor comments (4)
- [§1, Definition 1.1 and Corollary] The corollary following Definition 1.1 is stated without a number; for cross-referencing convenience it should be numbered, for instance as Corollary 1.5.
- [§2, Lemma 2.5] The proof of Lemma 2.5 refers to curves W^±_{k,a} accumulating on Ta from above and below; a brief explanation of why γ, with {0} a connected component of γ^{-1}(T), must leave S within a chosen translate of a hair would make the argument easier to follow, especially because the choice of the shift σ^k is not explicitly connected to γ.
- [§2, Proposition 2.6] The notation An(γ) is defined as a subset of [0,π) but the proposition concludes equality to [0,π]; the endpoint discrepancy (π is excluded in the definition) is harmless but should be clarified.
- [References] Reference [1] is dated 1988 and is cited for C∞ parametrization of hairs; the author may wish to cite Viana's original paper with full bibliographic details, and to indicate whether the C∞ regularity applies uniformly to the parametrizations used in the proof.
Circularity Check
No circularity: the main theorem is derived from forward dynamical lemmas, with self-citations only as motivation.
full rationale
The paper proves Theorem 1 by constructing, for a piecewise-smooth Jordan curve H, iterated images of subarcs that approximate small Jordan curves around arbitrary points (Corollary 2.13), then uses nested compactness. The load-bearing ingredients are Lemma 2.4 (quasi-horizontal expansion), Proposition 2.6 (angle density), Lemma 2.7 (circle approximation), and Lemma 2.9 (Montel/pigeonhole). None of these is defined in terms of the conclusion, and none fits a parameter to the target curve or orbit. The cited works [4,5] appear only as motivation (“From [4, 5], the third iterate of an oblique line is dense…”), not as proof ingredients. Viana’s C∞ hair parametrization, Montel’s theorem, and density of repelling periodic points are independent external results. The proof has admitted gaps: Lemma 2.4 is only called “Elementary,” and Proposition 2.6’s intersection/density claim is asserted rather than fully justified. Those are rigor/correctness concerns, not circularity, because the conclusion is not an input by construction. Thus the derivation is self-contained with respect to circularity.
Assumptions & free parameters
assumptions (4)
- standard math Montel's theorem applies to show that for an open set V intersecting the Julia set, some iterate f^N(V) covers any prescribed compact set avoiding the omitted value 0.
- standard math Repelling periodic points are dense in the Julia set for f(z)=λe^z.
- domain assumption The hairs T_a are C∞ curves (Viana [1]) with the derivative bound from Lemma 2.4.
- standard math The exponential map is a local diffeomorphism (derivative never zero), used throughout for pullbacks and local coordinates.
Cite this review
Pith. "Pith review of Knobbly but nice." pith.science (2026). https://pith.science/paper/CCVCU4DW
@misc{pith2026190805088,
author = {Pith},
title = {Pith review of: Knobbly but nice},
year = {2026},
howpublished = {\url{https://pith.science/paper/CCVCU4DW}},
note = {Machine review of arXiv:1908.05088}
}
read the original abstract
Our main result states that, under an exponential map whose Julia set is the whole complex plane, on each piecewise smooth Jordan curve there is a point whose orbit is dense. This has consequences for the boundaries of nice sets, used in induction methods to study ergodic and geometric properties of the dynamics.
Reference graph
Works this paper leans on
-
[1]
M. Viana da Silva. The differentiability of the hairs of ex p(Z). Proc. Amer. Math. Soc. , 103(4):1179–1184, 1988
work page 1988
-
[2]
Nice sets and invariant densities in complex dynamics
Neil Dobbs. Nice sets and invariant densities in complex dynamics. Math. Proc. Cambridge Philos. Soc. , 150(1):157–165, 2011
work page 2011
-
[3]
Measures with positive Lyapunov exponent an d conformal measures in rational dynamics
Neil Dobbs. Measures with positive Lyapunov exponent an d conformal measures in rational dynamics. Trans. Amer. Math. Soc. , 364(6):2803–2824, 2012
work page 2012
-
[4]
Neil Dobbs. Line, spiral, dense. Enseign. Math. , 62(1-2):91–107, 2016
work page 2016
-
[5]
Neil Dobbs. Dense yet elementary. Math. Intelligencer , 39(2):55–58, 2017
work page 2017
-
[6]
J. H. Hubbard. Local connectivity of Julia sets and bifur cation loci: three theorems of J.- C. Yoccoz. In Topological methods in modern mathematics (Stony Brook, NY , 1991) , pages 467–511. Publish or Perish, Houston, TX, 1993
work page 1991
-
[7]
Local connectivity of Julia sets: exposito ry lectures
John Milnor. Local connectivity of Julia sets: exposito ry lectures. In The Mandelbrot set, theme and variations , volume 274 of London Math. Soc. Lecture Note Ser. , pages 67–116. Cambridge Univ. Press, Cambridge, 2000
work page 2000
-
[8]
Statistica l properties of topological Collet- Eckmann maps
Feliks Przytycki and Juan Rivera-Letelier. Statistica l properties of topological Collet- Eckmann maps. Ann. Sci. ´Ecole Norm. Sup. (4) , 40(1):135–178, 2007. KNOBBLY BUT NICE 7
work page 2007
Show all 12 references
-
[9]
Nice induci ng schemes and the thermodynamics of rational maps
Feliks Przytycki and Juan Rivera-Letelier. Nice induci ng schemes and the thermodynamics of rational maps. Comm. Math. Phys. , 301(3):661–707, 2011
2011
-
[10]
A connecting lemma for rational maps satisfying a no-growth condition
Juan Rivera-Letelier. A connecting lemma for rational maps satisfying a no-growth condition. Ergodic Theory Dynam. Systems , 27(2):595–636, 2007
2007
-
[11]
Statistical pr operties of one-dimensional maps under weak hyperbolicity assumptions
Juan Rivera-Letelier and W eixiao Shen. Statistical pr operties of one-dimensional maps under weak hyperbolicity assumptions. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 47(6):1027–1083, 2014
2014
-
[12]
P. Roesch. On local connectivity for the Julia set of rat ional maps: Newton’s famous example. Ann. of Math. (2) , 168(1):127–174, 2008. School of Mathematics and Statistics, UCD, Belfield, Dublin 14, Ireland. E-mail address : neil.dobbs@ucd.ie
2008
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.