Accessible hyperbolic components in anti-holomorphic dynamics
Pith reviewed 2026-05-24 12:26 UTC · model grok-4.3
The pith
The tricorn contains infinitely many hyperbolic components accessible from the complement.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Contrary to the expectation that every hyperbolic component of sufficiently large odd period would be inaccessible, the tricorn contains infinitely many hyperbolic components that are accessible from the complement.
What carries the argument
Inductive selection of odd-period hyperbolic components whose decorations avoid producing inaccessible arcs on the boundary.
If this is right
- Hyperbolic components of arbitrarily large odd periods can still be accessible.
- The tricorn's boundary admits accessible points from selected components despite overall non-local connectedness.
- Accessibility is not limited to small periods in the anti-holomorphic quadratic family.
Where Pith is reading between the lines
- The result may indicate that accessibility in the tricorn is determined by specific decoration choices rather than period size alone.
- Analogous selection methods could be tested in other anti-holomorphic families or higher-degree maps.
- The construction leaves open whether the set of accessible components is dense in some sense within the tricorn.
Load-bearing premise
The inductive selection of components can continue indefinitely for larger odd periods without decorations creating inaccessible arcs.
What would settle it
An explicit odd period p where every hyperbolic component of period p has only inaccessible boundary arcs from the complement would falsify the claim.
read the original abstract
The tricorn, the connectedness locus of the anti-holomorphic quadratic family, is known to be non-locally connected. The boundary of every hyperbolic component of odd period contains arcs that are inaccessible from the complement of the tricorn. As the period increases, the decorations become more and more complicated, and it seems natural to think that every hyperbolic component of sufficiently large and odd period is inaccessible. Contrary to this expectation, we show that the tricorn contains infinitely many hyperbolic components that are accessible from the complement.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that the tricorn (connectedness locus of the anti-holomorphic quadratic family) contains infinitely many hyperbolic components of odd period that remain accessible from the complement, contrary to the expectation that increasing period and decoration complexity would render all such components inaccessible. The proof proceeds by constructing an infinite sequence of odd-period hyperbolic components via an inductive selection process that preserves accessibility under subsequent decorations.
Significance. If the construction is valid, the result provides a counterexample to the intuition that accessibility fails for all sufficiently large odd periods in the tricorn, offering new information on the topological structure of a non-locally connected connectedness locus in anti-holomorphic dynamics. The existence proof is a positive contribution to the field.
major comments (1)
- [Proof of main theorem (inductive selection step)] The inductive construction (detailed in the proof of the main existence theorem): the selection criterion at each stage n must be shown to control the accumulation of all higher-period decorations so that no earlier component H_k (k < n) becomes inaccessible due to later arcs. The abstract and construction outline do not make explicit how the 'decorations do not produce inaccessible arcs' condition is maintained uniformly across the infinite sequence against arbitrarily complicated future decorations; without this uniform control, only finitely many components may remain accessible.
Simulated Author's Rebuttal
We thank the referee for the positive recommendation and the detailed comment on the inductive construction. We provide a point-by-point response below.
read point-by-point responses
-
Referee: The inductive construction (detailed in the proof of the main existence theorem): the selection criterion at each stage n must be shown to control the accumulation of all higher-period decorations so that no earlier component H_k (k < n) becomes inaccessible due to later arcs. The abstract and construction outline do not make explicit how the 'decorations do not produce inaccessible arcs' condition is maintained uniformly across the infinite sequence against arbitrarily complicated future decorations; without this uniform control, only finitely many components may remain accessible.
Authors: The detailed proof of the main theorem establishes the required uniform control by ensuring that at each inductive step, the selected hyperbolic component is chosen so that its period is sufficiently high and its location in the parameter plane is such that any subsequent decorations are attached in regions that do not intersect the accessible arcs leading to the previously selected components. This is achieved through a careful choice using the density of hyperbolic components and the fact that accessibility is preserved under the specific attachment rules used. The abstract focuses on the result, but the construction outline in the introduction summarizes the process; we acknowledge that a short additional sentence clarifying the preservation mechanism would improve clarity. We will revise the manuscript accordingly to make this explicit. revision: yes
Circularity Check
No circularity: independent existence construction
full rationale
The paper advances an existence proof that the tricorn contains infinitely many accessible hyperbolic components of odd period. The construction proceeds by inductive selection of components whose decorations preserve accessibility from the complement. No equations or definitions reduce a claimed prediction to a fitted input by construction, no load-bearing uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled via self-citation. The inductive step is a standard constructive argument in complex dynamics and does not collapse to the statement being proved. The result is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The tricorn is the connectedness locus of the anti-holomorphic quadratic family and is non-locally connected.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.