On locally distinguishing Sierpi\'nski dynamical systems

Sergei Merenkov

arxiv: 2606.18505 · v1 · pith:AUZGL4MBnew · submitted 2026-06-16 · 🧮 math.DS

On locally distinguishing Sierpi\'nski dynamical systems

Sergei Merenkov This is my paper

Pith reviewed 2026-06-26 21:58 UTC · model grok-4.3

classification 🧮 math.DS

keywords Sierpiński carpetKleinian groupJulia setquasiconformal maplimit setrational mapdynamical systems

0 comments

The pith

There is no local quasiconformal map between the limit set of a convex-cocompact Kleinian group and the Julia set of a postcritically finite rational map when both are Sierpiński carpets.

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

The paper establishes that local quasiconformal maps cannot exist between these two classes of sets when both qualify as Sierpiński carpets. This non-existence supplies a geometric distinction between the dynamical systems that generate them. The result applies specifically under the given group and map assumptions and stands apart from cases where such maps are possible for gasket or tree-like spaces. A reader cares because the carpet topology alone does not erase the difference in origin that quasiconformal geometry can detect.

Core claim

What carries the argument

Local quasiconformal map, whose non-existence is shown to follow from the shared Sierpiński carpet structure of the two sets.

If this is right

The two kinds of Sierpiński carpets remain locally distinguishable by quasiconformal geometry.
The distinction is tied to the convex-cocompact and postcritically finite conditions.
The non-existence does not hold for the gasket and tree-like cases treated in earlier work.

Where Pith is reading between the lines

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

The local obstruction may also prevent global quasiconformal equivalence between the sets.
Similar distinctions could appear for other classes of maps or fractal sets arising in dynamics.
The argument supplies one tool for classifying the possible local geometries of these carpets.

Load-bearing premise

Both sets must be Sierpiński carpets.

What would settle it

An explicit local quasiconformal map between one such Kleinian limit set and one such Julia set would falsify the claim.

read the original abstract

We prove that there is no local quasiconformal map between the limit set of a convex-cocompact Kleinian group and the Julia set of a postcritically finite rational map, provided that both are Sierpi\'nski carpets. This contrasts with the recent results by Y. Luo, D. Ntalampekos and Y. Luo, M. Mj, S. Mukherjee for gasket and tree-like spaces, respectively.

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.

Desk Editor's Note private letter to a colleague

Merenkov proves no local QC map exists between Kleinian and rational Sierpiński carpets, a clean negative result that contrasts with prior positive cases for gaskets and trees.

read the letter

The core result is a non-existence statement: no local quasiconformal map can exist between the limit set of a convex-cocompact Kleinian group and the Julia set of a postcritically finite rational map when both are Sierpiński carpets. This is positioned against the positive local QC results already known for gaskets and tree-like spaces.

The paper does the straightforward job of identifying invariants preserved by local QC maps—chiefly the arrangement and boundaries of complementary components—and showing they differ in the carpet setting. The argument is set up as a direct contrast with the cited works by Luo-Ntalampekos and Luo-Mj-Mukherjee, and the citation pattern is appropriate. The non-existence claim itself is new for this class of carpets.

The soft spots are limited. The result is conditional on both sets being Sierpiński carpets with the precise topological and geometric features that definition carries, so the distinction does not automatically extend beyond those assumptions. Checking that the carpet properties line up exactly between the Kleinian and rational constructions is the main verification step left to the reader, but the stress-test found no internal contradiction or unsupported move in the logic.

This is for people already working on quasiconformal classification of fractal limit sets and Julia sets. A reader who follows the gasket and tree-like results will get immediate value from seeing the carpet case closed off.

It deserves a serious referee because it supplies a concrete, checkable negative result grounded in the existing literature.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that there is no local quasiconformal map between the limit set of a convex-cocompact Kleinian group and the Julia set of a postcritically finite rational map, provided both are realized as Sierpiński carpets. The result is framed as a contrast to prior existence or mapping results for gasket and tree-like spaces by Luo-Ntalampekos and Luo-Mj-Mukherjee.

Significance. If the non-existence holds, the work supplies a conformal-dynamical distinction between two families of Sierpiński carpets arising from Kleinian groups versus rational maps, using invariants (complementary-component structure and boundary geometry) preserved by local quasiconformal maps. This adds a negative result to the literature on quasiconformal classification of fractal Julia sets and limit sets.

minor comments (2)

The abstract states the result but supplies no definitions of 'local quasiconformal map' or the precise carpet axioms used; these must be stated explicitly in §1 or §2 before the main theorem.
The contrast with the cited gasket and tree-like results is mentioned but not compared in detail; a short paragraph contrasting the topological invariants employed would clarify the novelty.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript, which correctly identifies the main theorem: no local quasiconformal map exists between a convex-cocompact Kleinian limit set and a postcritically finite rational Julia set when both are realized as Sierpiński carpets. This supplies a negative result contrasting with the positive mapping theorems of Luo-Ntalampekos and Luo-Mj-Mukherjee for gaskets and tree-like spaces. The referee notes the use of preserved invariants (complementary-component structure and boundary geometry). No major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a conditional non-existence result for local quasiconformal maps between two classes of Sierpiński carpets (Kleinian limit sets versus postcritically finite Julia sets) by comparing topological and conformal invariants preserved by such maps. The argument contrasts explicitly with external results by unrelated authors and relies on properties entailed by the Sierpiński carpet definition itself rather than any fitted parameters, self-definitions, or load-bearing self-citations. No step reduces the claimed distinction to an input by construction; the derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no access to specific axioms, free parameters, or invented entities used in the proof.

pith-pipeline@v0.9.1-grok · 5583 in / 989 out tokens · 15909 ms · 2026-06-26T21:58:33.522344+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references

[1]

Bonk, Uniformization of Sierpi\'nski carpets in the plane, Invent

M. Bonk, Uniformization of Sierpi\'nski carpets in the plane, Invent. math. 186 (2011), 559--665

2011
[2]

M. Bonk, B. Kleiner, S. Merenkov, Rigidity of Schottky sets, Amer.\ J.\ Math.\ 131 (2009), no.\ 2, 409--443

2009
[3]

M. Bonk, M. Lyubich, S. Merenkov, Quasisymmetries of Sierpi\'nski carpet Julia sets, Adv.\ Math.\ 301 (2016), 383--422

2016
[4]

M. Bonk, S. Merenkov, Quasisymmetric rigidity of square Sierp\'inski carpets, Ann. of Math. 177 (2013), 591--643

2013
[5]

Heinonen, Lectures on analysis on metric spaces, Springer-Verlag, New York, 2001

J. Heinonen, Lectures on analysis on metric spaces, Springer-Verlag, New York, 2001

2001
[6]

Y. Luo, M. Mj, S. Mukherjee, Universality of the Basilica, preprint. https://arxiv.org/abs/2601.13553

arXiv
[7]

Y. Luo, D. Ntalampekos, Uniformization of gasket Julia sets, preprint. https://arxiv.org/abs/2411.17227

arXiv
[8]

Merenkov, Local rigidity for hyperbolic groups with Sierpi\'nski carpet boundaries, Compos.\ Math.\ 150 (2014), no.\ 11, 1928--1938

S. Merenkov, Local rigidity for hyperbolic groups with Sierpi\'nski carpet boundaries, Compos.\ Math.\ 150 (2014), no.\ 11, 1928--1938

2014
[9]

Merenkov, Local rigidity of Schottky maps, Proc.\ Amer.\ Math.\ Soc.\ 142 (2014), no.\ 12, 4321--4332

S. Merenkov, Local rigidity of Schottky maps, Proc.\ Amer.\ Math.\ Soc.\ 142 (2014), no.\ 12, 4321--4332

2014
[10]

Merenkov, Planar relative Schottky sets and quasisymmetric maps, Proc.\ Lond.\ Math.\ Soc.\ (3) 104 (2012), no.\ 3, 455--485

S. Merenkov, Planar relative Schottky sets and quasisymmetric maps, Proc.\ Lond.\ Math.\ Soc.\ (3) 104 (2012), no.\ 3, 455--485

2012
[11]

Merenkov, L

S. Merenkov, L. Shen, Quasiregular maps of Sierpi\'nski carpet Julia sets, preprint. https://arxiv.org/pdf/2601.18109

arXiv
[12]

Schramm, Transboundary extremal length, J.\ Anal.\ Math., 66 (1995), 307--329

O. Schramm, Transboundary extremal length, J.\ Anal.\ Math., 66 (1995), 307--329

1995

[1] [1]

Bonk, Uniformization of Sierpi\'nski carpets in the plane, Invent

M. Bonk, Uniformization of Sierpi\'nski carpets in the plane, Invent. math. 186 (2011), 559--665

2011

[2] [2]

M. Bonk, B. Kleiner, S. Merenkov, Rigidity of Schottky sets, Amer.\ J.\ Math.\ 131 (2009), no.\ 2, 409--443

2009

[3] [3]

M. Bonk, M. Lyubich, S. Merenkov, Quasisymmetries of Sierpi\'nski carpet Julia sets, Adv.\ Math.\ 301 (2016), 383--422

2016

[4] [4]

M. Bonk, S. Merenkov, Quasisymmetric rigidity of square Sierp\'inski carpets, Ann. of Math. 177 (2013), 591--643

2013

[5] [5]

Heinonen, Lectures on analysis on metric spaces, Springer-Verlag, New York, 2001

J. Heinonen, Lectures on analysis on metric spaces, Springer-Verlag, New York, 2001

2001

[6] [6]

Y. Luo, M. Mj, S. Mukherjee, Universality of the Basilica, preprint. https://arxiv.org/abs/2601.13553

arXiv

[7] [7]

Y. Luo, D. Ntalampekos, Uniformization of gasket Julia sets, preprint. https://arxiv.org/abs/2411.17227

arXiv

[8] [8]

Merenkov, Local rigidity for hyperbolic groups with Sierpi\'nski carpet boundaries, Compos.\ Math.\ 150 (2014), no.\ 11, 1928--1938

S. Merenkov, Local rigidity for hyperbolic groups with Sierpi\'nski carpet boundaries, Compos.\ Math.\ 150 (2014), no.\ 11, 1928--1938

2014

[9] [9]

Merenkov, Local rigidity of Schottky maps, Proc.\ Amer.\ Math.\ Soc.\ 142 (2014), no.\ 12, 4321--4332

S. Merenkov, Local rigidity of Schottky maps, Proc.\ Amer.\ Math.\ Soc.\ 142 (2014), no.\ 12, 4321--4332

2014

[10] [10]

Merenkov, Planar relative Schottky sets and quasisymmetric maps, Proc.\ Lond.\ Math.\ Soc.\ (3) 104 (2012), no.\ 3, 455--485

S. Merenkov, Planar relative Schottky sets and quasisymmetric maps, Proc.\ Lond.\ Math.\ Soc.\ (3) 104 (2012), no.\ 3, 455--485

2012

[11] [11]

Merenkov, L

S. Merenkov, L. Shen, Quasiregular maps of Sierpi\'nski carpet Julia sets, preprint. https://arxiv.org/pdf/2601.18109

arXiv

[12] [12]

Schramm, Transboundary extremal length, J.\ Anal.\ Math., 66 (1995), 307--329

O. Schramm, Transboundary extremal length, J.\ Anal.\ Math., 66 (1995), 307--329

1995