---
title: Log-Singular Circle Homeomorphism
url: https://www.emergentmind.com/topics/log-singular-circle-homeomorphism
type: topic
---

# Log-Singular Circle Homeomorphism

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 ([2501.06347], 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$ ([2501.06347], §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 ([2501.06347], 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 ([2501.06347], 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 ([2501.06347], 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 ([2501.06347], §§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 ([2501.06347], §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 ([1302.6691], 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 ([2501.06347], 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 ([1302.6691], 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 ([2501.06347], §§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 a synthesis that clarifies the structure of both "smooth" and "wild" circle homeomorphisms ([2501.06347], [1302.6691]).

Source: https://www.emergentmind.com/topics/log-singular-circle-homeomorphism