Log-Singular Circle Homeomorphism

• Log-singular circle homeomorphisms are orientation-preserving maps that collapse full-capacity subsets onto sets of zero logarithmic capacity, offering a measurable form of singular behavior.
• They are constructed via address trees and capacity estimates to decompose arbitrary circle homeomorphisms into two conformal weldings, bridging smooth and wild dynamics.
• These maps underpin rigidity theory and conformal welding by facilitating the analysis of piecewise-smooth circle maps where discontinuities in the derivative influence dynamic behavior.

A log-singular circle homeomorphism is an orientation-preserving homeomorphism of the unit circle that interacts with logarithmic capacity in a singular way: it maps a full-capacity subset onto a set of zero logarithmic capacity, or equivalently, its singular set (where the "collapse" occurs) and its image are both sets of zero capacity. These maps, introduced by Bishop and further developed by Rodriguez, play a fundamental role in both conformal welding theory and the structure of general circle homeomorphisms, providing the key mechanism for decomposing arbitrary homeomorphisms into compositions of two conformal weldings. Additionally, log-singular homeomorphisms arise naturally as conjugacies in the rigidity theory of piecewise-smooth circle maps with discontinuities in the derivative.

1. Logarithmic Capacity and Zero-Capacity Sets

Let $\mathbb{T} = \{z \in \mathbb{C} : |z| = 1\}$ denote the unit circle. The logarithmic capacity (Cap) of a compact set $E \subset \mathbb{C}$ is defined by

$$\gamma(E) = \inf \left\{ I(\mu): \mu \; \text{probability on} \; E, \; I(\mu) < \infty \right\}, \quad \operatorname{Cap}(E) = e^{-\gamma(E)},$$

where $$I(\mu) = \iint \log\frac{1}{|z-\zeta|} \, d\mu(\zeta) \, d\mu(z)$$. For Borel sets $E$, $\operatorname{Cap}(E)$ is the supremum over all compact subsets $K \subset E$.

Some key properties:

• Lipschitz images of sets satisfy $$\operatorname{Cap}(\phi(E)) \leq L \, \operatorname{Cap}(E)$$ if $\phi$ is $L$-Lipschitz.
• Countable unions of zero-capacity sets have zero capacity.
• Subadditivity and related estimates control the capacity under unions and partitions ((Rodriguez, 10 Jan 2025), Proposition 1.1).

Zero-capacity sets are sets for which $\operatorname{Cap}(E) = 0$. These play a central role in the definition and construction of log-singular homeomorphisms.

2. Definition and Construction of Log-Singular Homeomorphisms

A homeomorphism $h: I \to J \subset \mathbb{T}$ is called log-singular if there exists a Borel set $E \subset I$ with $\operatorname{Cap}(E) = 0$ and $\operatorname{Cap}(h(I \setminus E)) = 0$. Equivalently, $h$ collapses almost all of $I$ (in the capacity sense) onto a set of zero capacity.

A subset $E \subset \mathbb{T}$ is a log-singular set if $\operatorname{Cap}(E) = 0$ and there is a log-singular homeomorphism $h: \mathbb{T} \to \mathbb{T}$ such that $\operatorname{Cap}(h(\mathbb{T} \setminus E)) = 0$ ((Rodriguez, 10 Jan 2025), §1.b).

The principal construction involves subdividing arcs of the circle via a tree of addresses (indexed by finite words of increasing length) so that the resulting "odd-generation" Cantor-type set has zero capacity. Iteratively, homeomorphisms linear on each subarc are defined, converging uniformly to a log-singular homeomorphism that maps the full-capacity complement of this Cantor set to a zero-capacity set. For appropriate choices of subdivisions, the singular set is constructed so that both it and its image under $h$ have zero capacity ((Rodriguez, 10 Jan 2025), Lemma 3.1, Corollary 3.4).

3. Factorizations of Circle Homeomorphisms via Log-Singular Maps

The central theorem states that every orientation-preserving circle homeomorphism $\varphi: \mathbb{T} \to \mathbb{T}$ can be written as

$\varphi = \psi \circ h,$

where $h$ and $\psi$ are both conformal-welding homeomorphisms ((Rodriguez, 10 Jan 2025), Theorem 1.2). The composition process reveals that the set of circle weldings is not closed under composition, yet two such weldings suffice to generate any orientation-preserving homeomorphism.

This factorization depends crucially on log-singular homeomorphisms. Bishop proved that every log-singular homeomorphism of $\mathbb{T}$ is a conformal welding of a flexible Jordan curve. The main reduction is to show that for any $\varphi$, there exists a log-singular $h$ such that $\varphi \circ h^{-1}$ is again log-singular, hence both factors are conformal weldings ((Rodriguez, 10 Jan 2025), Theorem 1.3).

The construction proceeds by partitioning the circle into subarcs according to address trees and ensuring that both the singular set $E$ and its image $\varphi(E)$ are zero-capacity sets, leveraging the subadditivity of capacity to guarantee that $$\operatorname{Cap}(E) + \operatorname{Cap}(\varphi(E)) = 0$$. This approach underlies the universality of the two-welding decomposition ((Rodriguez, 10 Jan 2025), §§3–4).

4. Examples and Special Phenomena

The classical middle-third Cantor set, obtained via trisection and removal of the middle third at each level, provides a canonical example with zero logarithmic capacity. The associated log-singular homeomorphism collapses the complement of this Cantor set to another zero-capacity Cantor set.

Oikawa’s non-welding homeomorphisms, which are bi-Hölder but not weldings, also admit decompositions into two log-singular (and thus welding) homeomorphisms, since the bi-Hölder property preserves zero capacity ((Rodriguez, 10 Jan 2025), §4). This shows that although a homeomorphism may lack the regularity required to be a welding itself, it can nevertheless be expressed as a composition of two such maps.

Log-singular circle homeomorphisms also arise as conjugacies in the dynamics of piecewise-$C^1$ homeomorphisms with break points. In particular, when two such maps have the same rotation number and identical total jump but different individual jump ratios at the break points, the unique conjugacy between them is a singular function: it is continuous and strictly increasing, but its derivative vanishes almost everywhere ((Akhadkulov et al., 2013), Theorem, Discussion §10). This provides an explicit family of log-singular circle homeomorphisms with dynamical significance.

5. Relation to Weldings and Rigidity Theory

Bishop established that log-singular homeomorphisms correspond to conformal weldings of flexible curves, meaning that these homeomorphisms are exactly those arising as boundary identifications for planar domains bounded by Jordan curves with arbitrary zero-capacity spikes ((Rodriguez, 10 Jan 2025), Discussion; citing Bishop). Previous criteria for a circle homeomorphism to be a welding (e.g., quasisymmetry, Hölder regularity) required substantial regularity. The inclusion of log-singular maps in the decomposition shows that no such regularity is needed if two welding factors are allowed.

In rigidity theory for circle maps, the appearance of log-singular conjugacies signals a breakdown of smooth or absolutely continuous classification: for piecewise-$C^1$ maps with two breaks, singular conjugacies appear generically when individual jumps differ, even if the product (total jump) coincides. This highlights the delicate balance between arithmetic properties (bounded type rotation number), regularity, and break data in the classification of circle dynamics ((Akhadkulov et al., 2013), Discussion §10).

6. Systematic Construction and New Notions

The notion of a log-singular set and the systematic construction of log-singular homeomorphisms via address trees and capacity estimates are distinctive developments in the work of Rodriguez ((Rodriguez, 10 Jan 2025), §§3, 5). This construction enables the explicit realization of "wild" factors in the universal two-welding decomposition. The mapping properties, dependence on partitions, and explicit capacity control provide a combinatorial and measure-theoretic framework for generating log-singular phenomena and, thereby, all circle homeomorphisms via twofold composition of weldings.

7. Implications and Further Context

The characterization of all orientation-preserving circle homeomorphisms as twofold compositions of conformal weldings, with log-singular maps as essential intermediaries, represents a fundamental extension of classical welding and Teichmüller-type theory. Log-singular homeomorphisms act as universal "wild" factors, decoupling regularity constraints from the generation of circle homeomorphism groups.

In the context of rigidity, a plausible implication is that the presence of log-singular behavior is the generic case in the absence of fine-tuned break structure and regularity. This phenomenon complements earlier rigidity results and underscores the pervasiveness of singular homeomorphisms in the study of low-regularity dynamical systems and quasiconformal geometry. The methods and results provide a bridge between capacity theory, combinatorial constructions, and the theory of dynamical partitions, producing an overview that clarifies the structure of both "smooth" and "wild" circle homeomorphisms (Rodriguez, 10 Jan 2025, Akhadkulov et al., 2013).