Skip to content

Quasicircle

A planar Jordan curve with uniform bounded turning, equivalently the image of a circle under an ambient quasiconformal homeomorphism.

Version
v1 · 2026-10-17 · History
Domain-specific #
14270
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Quasiconformal Geometry, Complex Dynamics → Mathematics
Aliases
Quasi-circle

Core Idea

A quasicircle is a planar simple closed curve that is the image of a circle under a quasiconformal homeomorphism of the plane. Equivalently, one finite constant bounds the diameter of the smaller connecting subarc divided by the straight-line distance between every two distinct curve points. The test uses subarc diameter, not arclength: a quasicircle can have infinite length.[ref-509836c731bd][ref-9256228dee3d]

Scope of Application

  • Geometric function theory: classify quasiconformal images of circles and test a curve directly through bounded turning.[ref-37d6502c3e1a][ref-509836c731bd]
  • Complex dynamics: Brück proves that a Julia set of compositions of \(z^2+c_n\) is a quasicircle when every parameter obeys \(|c_n|\leq\delta<1/4\).[^ref-509836c731bd]
  • Fractal geometry: the classical outward Koch snowflake qualifies because its closed parametrization is injective and a bounded-turning theorem applies.[^ref-9256228dee3d]

These examples do not imply that every Julia set or every snowflake-like boundary is a quasicircle. Each proposed curve needs the Jordan and quantitative conditions.

Clarity

A Jordan curve is simple and closed, but that topology alone does not control how far a connecting subarc can detour between nearby endpoints. Brück reports that the Julia set for \(z^2+1/4\) is Jordan yet has cusps and is not a quasicircle. A curve without an established turning estimate is merely unverified; it is not thereby a proven negative.[^ref-509836c731bd]

Manages Complexity

The name replaces many construction-specific details with a whole-curve test. An analyst can prove membership by an ambient quasiconformal map or by one uniform estimate on the curve, then apply results stated for quasicircles. The label alone does not supply the best constant, finite length, smoothness, or a particular fractal dimension.[ref-509836c731bd][ref-9256228dee3d]

Abstract Reasoning

First verify that the boundary is a planar Jordan curve. Then prove either an ambient quasiconformal circle-image witness or a single finite bound on the smaller-subarc-diameter to chord ratio for all distinct endpoint pairs. Keep the hypotheses of a family theorem: Brück’s small-parameter restriction and the injectivity condition in the generalized snowflake result cannot be dropped.[ref-509836c731bd][ref-9256228dee3d]

Knowledge Transfer

The same membership test applies to Julia boundaries and Koch snowflakes even though their constructions differ. The intrinsic test presupposes Ratio, a comparison of subarc diameter with the nonzero chord from the same endpoints, and Boundedness, one finite upper limit for that ratio over all pairs. Moving, rotating, or uniformly rescaling the plane preserves the quotient. The broader primes travel beyond this geometry; the name Quasicircle stays with planar Jordan curves satisfying its full test.[ref-509836c731bd][ref-9256228dee3d]

Relationships to Other Abstractions

Local relationship map for QuasicircleParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.QuasicircleDOMAINPrime abstraction: Boundedness — presupposesBoundednessPRIMEPrime abstraction: Ratio — presupposesRatioPRIME

Current abstraction Quasicircle Domain-specific

Parents (2) — more general patterns this builds on

  • Quasicircle presupposes Boundedness Prime

    A quasicircle presupposes one finite upper bound on its smaller-subarc-diameter to chord ratio over every point pair.

  • Quasicircle presupposes Ratio Prime

    The uniform turning condition presupposes a same-endpoint ratio of smaller connecting-subarc diameter to nonzero chord length.

Hierarchy paths (2) — routes to 2 parentless roots

Neighborhood in Abstraction Space

Quasicircle sits in a sparse region of the domain-specific corpus (82nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Riemannian & Symplectic Geometry (17 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-17

References

[^ref-37d6502c3e1a]: Ahlfors, Lars V. “Quasiconformal Reflections.” Acta Mathematica 109 (1963): 291–301, Part I, Theorem 1 and proof, pp. 295–297. Original article full text: https://archive.ymsc.tsinghua.edu.cn/pacm_download/117/5956-11511_2006_Article_BF02391816.pdf. The scanned text extraction damages mathematical typography, so this entry does not reproduce its displayed inequality.

[^ref-509836c731bd]: Brück, Rainer. “Geometric Properties of Julia Sets of the Composition of Polynomials of the Form \(z^2+c_n\).” Pacific Journal of Mathematics 198, no. 2 (2001): 347–372. https://doi.org/10.2140/pjm.2001.198.347. Original publisher PDF: https://msp.org/pjm/2001/198-2/pjm-v198-n2-p06-s.pdf. Definition and smaller-diameter three-point condition, p. 351; Corollary 4.5 and reported \(c=1/4\) cusped counterexample, p. 357. The latter paragraph reports prior results and cites earlier books; it is not presented as Brück's new proof.

[^ref-9256228dee3d]: van Golden, Sven, Sabrina Kombrink, and Tony Samuel. “On the Geometry of Generalised Koch Snowflakes.” arXiv:2601.07371v1 (12 January 2026). Original 15-page preprint: https://arxiv.org/pdf/2601.07371. Infinite-length setting in the abstract and §2; bounded-turning definition, Proposition 3.2, Theorem 3.3, and the classical-versus-anti-snowflake contrast in §3, PDF pp. 7–9. Preprint status is retained; no later journal edition was consulted.