---
title: Weakly Equilibrium Cantor Sets
url: https://www.emergentmind.com/topics/weakly-equilibrium-cantor-sets
type: topic
---

# Weakly Equilibrium Cantor Sets

Searching arXiv for direct sources on “weakly equilibrium Cantor sets” and closely related follow-up work.
Weakly equilibrium Cantor sets are a family of Cantor-type compact sets \(K(\gamma)\) determined by a parameter sequence \(\gamma=(\gamma_s)_{s=1}^\infty\), and distinguished by the fact that their logarithmic equilibrium measure is recovered as the weak-* limit of natural levelwise measures on the basic intervals of the construction. In the arXiv literature represented here, the term is attached specifically to this recursively defined family rather than to Cantor sets in general. Their study combines logarithmic potential theory, orthogonal polynomials, Hausdorff gauge measures, and dyadic recursion, and yields an unusually explicit equilibrium theory on a non-homogeneous Cantor support [1506.05734, 1404.6571].

## 1. Construction of the sets \(K(\gamma)\)

The basic data are a sequence
\[
\gamma=(\gamma_s)_{s=1}^\infty,\qquad 0<\gamma_s\le \frac14,
\]
together with the recursion
\[
r_0=1,\qquad r_s=\gamma_s r_{s-1}^2 \quad (s\ge 1).
\]
The associated polynomials are defined by
\[
P_2(x)=x(x-1),\qquad P_{2^{s+1}}(x)=P_{2^s}(x)\bigl(P_{2^s}(x)+r_s\bigr),
\]
and one obtains a nested family of compact sets \(E_s\), each a union of \(2^s\) disjoint closed basic intervals \(I_{j,s}\), with
\[
K(\gamma)=\bigcap_{s=0}^\infty E_s.
\]
This yields a Cantor-type compact set with a rigid dyadic interval structure [1404.6571].

The geometry varies sharply with \(\gamma\). If \(\gamma_k=1/4\) for all \(k\), then \(K(\gamma)=[0,1]\). If \(\gamma_k\le 1/32\), then the basic interval lengths satisfy
\[
\delta_s<l_{i,s}< \exp\!\Bigl(16\sum_{k=1}^s \gamma_k\Bigr)\delta_s,
\qquad \delta_s:=\gamma_1\cdots \gamma_s,
\]
and \(K(\gamma)\) has Lebesgue measure zero. If the parameters are sufficiently close to \(1/4\), positive Lebesgue measure can occur [1506.05734].

A central potential-theoretic invariant is the logarithmic capacity. For this family,
\[
\operatorname{Cap}(K(\gamma))=\exp\!\left(\sum_{k=1}^\infty 2^{-k}\log \gamma_k\right),
\]
and the non-polar regime is characterized equivalently by
\[
\sum_{s=1}^\infty 2^{-s}\log\frac1{\gamma_s}<\infty.
\]
Different results impose different hypotheses on \(\gamma\); in particular, the measure-comparison results discussed below assume the stronger summability condition
\[
\sum_{s=1}^\infty \gamma_s<\infty
\]
[1506.05734, 1404.6571].

## 2. The weak equilibrium property

The defining weak-equilibrium feature is the convergence of natural level measures to the equilibrium measure. For each level \(s\), let \(\lambda_s\) be the probability measure obtained by placing mass \(2^{-s}\) uniformly on each level-\(s\) basic interval \(I_{j,s}\). If \(K(\gamma)\) is nonpolar, then
\[
\lambda_s \overset{*}{\rightharpoonup} \mu_{K(\gamma)},
\]
where \(\mu_{K(\gamma)}\) is the logarithmic equilibrium measure of \(K(\gamma)\) [1404.6571].

This weak-* convergence is the precise sense in which the set is called weakly equilibrium. The equilibrium measure is not introduced abstractly and then studied independently of the construction; rather, it emerges as the limit of the canonical finite-level distributions determined by the dyadic geometry. A direct consequence is the exact cylinder-mass formula
\[
\mu_{K(\gamma)}(I_{j,s})=2^{-s}
\qquad
(1\le j\le 2^s),
\]
so every level-\(s\) basic interval carries the same equilibrium mass [1404.6571].

This synchronization between combinatorics and potential theory is the distinctive structural feature of the class. In more general Cantor settings, equilibrium or harmonic measure need not distribute so uniformly across the natural construction pieces. Here the dyadic decomposition, the recursive geometry, and the equilibrium measure are aligned at every level.

## 3. Orthogonal polynomials and dyadic recursion

Let \(Q_n\) denote the monic orthogonal polynomial of degree \(n\) with respect to \(\mu_{K(\gamma)}\). The main theorem of the orthogonal-polynomial theory is that the dyadic subsequence coincides with the Chebyshev polynomials of the set:
\[
Q_{2^s}(x)=P_{2^s}(x)+\frac{r_s}{2},
\qquad s\in\mathbb N_0.
\]
Thus the degree-\(2^s\) monic orthogonal polynomial is exactly the degree-\(2^s\) monic Chebyshev polynomial of \(K(\gamma)\) [1506.05734].

These dyadic polynomials satisfy the nonlinear recurrence
\[
Q_{2^{s+1}}=Q_{2^s}^2-(1-2\gamma_{s+1})\frac{r_s^2}{4},
\]
equivalently
\[
Q_{2^{s+1}}=Q_{2^s}^2-\|Q_{2^s}\|^2.
\]
The corresponding norm identity is
\[
\|Q_{2^s}\|^2=(1-2\gamma_{s+1})\frac{r_s^2}{4}.
\]
These formulas turn the dyadic subsequence into the backbone of the entire orthogonal-polynomial system [1506.05734].

Arbitrary degrees are organized by binary expansion. If
\[
n=i_m2^m+i_{m-1}2^{m-1}+\cdots+i_0,
\qquad i_k\in\{0,1\},
\]
the associated monic product
\[
B_n=(Q_{2^m})^{i_m}(Q_{2^{m-1}})^{i_{m-1}}\cdots(Q_1)^{i_0}
\]
provides an adapted basis. For
\[
n=2^s(2k+1),
\]
the polynomial \(Q_n\) lies in the span of
\[
B_{2^s},\ B_{3\cdot 2^s},\ \dots,\ B_{(2k+1)\cdot 2^s}.
\]
The first nontrivial example is
\[
Q_{3\cdot 2^s}
=
Q_{2^s}Q_{2^{s+1}}
-
\frac{\|Q_{2^{s+1}}\|^2}{\|Q_{2^s}\|^2}Q_{2^s}.
\]
This yields a recursive, explicitly dyadic algebra for all orthogonal polynomials, not only for powers of two [1506.05734].

## 4. Hausdorff gauge measure and equilibrium measure

A second major theorem identifies the equilibrium measure with a Hausdorff measure built from a gauge adapted to the construction. Assume
\[
0<\gamma_s\le \frac1{32}
\quad\text{and}\quad
\sum_{s=1}^\infty \gamma_s<\infty.
\]
Define
\[
\delta_s=\gamma_1\cdots\gamma_s,
\qquad
M:=1+\exp\!\Bigl(16\sum_{s=1}^\infty \gamma_s\Bigr).
\]
The level lengths satisfy
\[
\delta_s<l_{j,s}<M\delta_s.
\]
Now define a decreasing function \(\eta\) by \(\eta(\delta_s)=s\), with logarithmic interpolation between successive \(\delta_s\), and then set
\[
h(t)=2^{-\eta(t)} \quad (0<t\le 1).
\]
This gives a tailored Hausdorff gauge with
\[
h(\delta_s)=2^{-s}
\]
[1404.6571].

The resulting \(h\)-Hausdorff measure satisfies
\[
\frac18 \le \Lambda_h(K(\gamma)) \le \frac M2,
\]
so \(K(\gamma)\) is an \(h\)-set:
\[
0<\Lambda_h(K(\gamma))<\infty.
\]
More importantly, under the same hypotheses and nonpolarity,
\[
\mu_{K(\gamma)} \ll \Lambda_h
\qquad\text{and}\qquad
\Lambda_h \ll \mu_{K(\gamma)}.
\]
The proof yields quantitative two-sided domination:
\[
\mu_{K(\gamma)}(E)\le 8\,\Lambda_h(E),
\qquad
\Lambda_h(E)\le b(1)\,2M\,\mu_{K(\gamma)}(E)
\]
for Borel \(E\subset K(\gamma)\) [1404.6571].

This result is specific to the adapted gauge \(h\), not to a fixed power gauge \(r^\alpha\). The geometry is non-homogeneous, so the relevant Hausdorff measure is not generally \(H^{\dim_H K}\). The conceptual point is that the weak-equilibrium mass rule
\[
\mu_{K(\gamma)}(I_{j,s})=2^{-s}
\]
matches the gauge normalization
\[
h(\delta_s)=2^{-s},
\]
and the length estimates \(l_{j,s}\asymp \delta_s\) transfer that levelwise agreement into global measure equivalence [1404.6571].

The same paper proves that both \(\mu_{K(\gamma)}\) and \(\Lambda_h\) are regular in the Stahl–Totik sense. If \(p_n(\mu;z)=a_nz^n+\cdots\) are the orthonormal polynomials for a compactly supported measure \(\mu\), regularity means
\[
\lim_{n\to\infty} a_n^{-1/n}=\operatorname{Cap}(S_\mu).
\]
For the present family, both the equilibrium measure and the adapted Hausdorff measure belong to \(\mathrm{Reg}\) [1404.6571].

## 5. Jacobi parameters, asymptotics, and Widom factors

Since \(\mu_{K(\gamma)}\) is supported on \(\mathbb R\), the monic orthogonal polynomials satisfy the three-term recurrence
\[
Q_{n+1}(x)=(x-b_{n+1})Q_n(x)-a_n^2Q_{n-1}(x),
\]
with \(Q_{-1}=0\), \(Q_0=1\). By symmetry of \(\mu_{K(\gamma)}\) about \(x=\tfrac12\), the diagonal coefficients are constant:
\[
b_n=\frac12
\qquad\text{for all }n.
\]
Also,
\[
\|Q_n\|=a_1a_2\cdots a_n.
\]
The off-diagonal Jacobi parameters \((a_n)\) are recursively computable from the dyadic norms \(\|Q_{2^s}\|\) via explicit relations derived from the binary structure of the polynomials [1506.05734].

In the thin regime
\[
\gamma_s\le \frac16 \qquad\text{for all }s,
\]
the Jacobi parameters exhibit a \(2\)-adic asymptotic self-similarity:
\[
\lim_{s\to\infty} a_{j\cdot 2^s+n}=a_n,
\qquad j\in\mathbb N,\ n\in\mathbb N_0,
\]
with \(a_0:=0\). In particular,
\[
\liminf_{n\to\infty} a_n=0.
\]
By the cited theorem of Dombrowski, this implies that \(K(\gamma)\) has zero Lebesgue measure in that regime [1506.05734].

The associated Widom factors are
\[
W_n:=\frac{\|Q_n\|}{\operatorname{Cap}(K(\gamma))^n}.
\]
For dyadic degrees,
\[
W_{2^s}
=
\frac{\sqrt{1-2\gamma_{s+1}}}
{2\exp\!\left(\sum_{k=s+1}^\infty 2^{\,s-k}\log\gamma_k\right)}.
\]
Hence
\[
W_{2^s}\ge \sqrt2,
\]
and if \(\gamma_s\le 1/6\) for all \(s\), then
\[
W_{2^s}\ge \sqrt6.
\]
Moreover,
\[
\liminf_{s\to\infty} W_{2^s}=\liminf_{n\to\infty} W_n,
\qquad
\limsup_{n\to\infty} W_n=\infty.
\]
Thus the Widom factors are bounded below but unbounded above in the thin weakly equilibrium regime [1506.05734].

These asymptotics place weakly equilibrium Cantor sets outside the standard finite-gap setting while retaining a nontrivial Widom-type lower-bound phenomenon. The papers explicitly frame this as evidence toward broader questions about equilibrium measures and Szegő-type conditions on singular Cantor supports [1506.05734].

## 6. Broader context and related notions

Weakly equilibrium Cantor sets sit inside a broader equilibrium-theoretic literature on Cantor supports, but they are not synonymous with every Cantor set carrying a natural measure. A complementary framework studies a general Cantor attractor \(E\) of an iterated function system via finite-gap approximants
\[
E_n=\Phi^n(E_0),
\]
their equilibrium measures \(\nu_n\), and discrete approximants \(\nu_n^G\), with
\[
\nu_n^G \xrightarrow[\text{weak}*]{} \nu_n
\qquad\text{and}\qquad
\nu_n \xrightarrow[\text{weak}*]{} \nu_E.
\]
That approach provides numerical and spectral access to equilibrium measures on Cantor IFS attractors, but it does not define the term weakly equilibrium; rather, it supplies a more general weak-approximation paradigm for equilibrium measures on fractal supports [1311.4819].

Several nearby Cantor-set topics use the adjective “weak” in unrelated senses. The translation-nesting theory of “Nested Cantor sets” studies when \(K+t\subset \widetilde K\) for a positive-measure set of \(t\), controlled by the threshold \(d+p<1\), but does not use the weak-equilibrium terminology [1303.0971]. “Twofold Cantor sets in \(\mathbb R\)” concerns failure of the weak separation property and canonical coding of overlapping self-similar sets, again without any equilibrium-state content [1802.03872]. “Almost-nowhere intersection of Cantor sets, and sufficient sampling of their cumulative distribution functions” studies deleted-digit Cantor sets with their canonical Hutchinson invariant measures and CDFs, not weakly equilibrium sets in Goncharov’s sense [1912.05498].

This suggests a useful terminological distinction. Weakly equilibrium Cantor sets are not simply Cantor sets with weak separation, weak nesting stability, or a canonical self-similar invariant measure. In the literature represented here, they are a specific recursive family \(K(\gamma)\) for which the equilibrium measure is levelwise approximable, dyadically distributed on the basic intervals, compatible with an adapted Hausdorff gauge, and sufficiently rigid to support an explicit orthogonal-polynomial theory [1506.05734, 1404.6571].

Source: https://www.emergentmind.com/topics/weakly-equilibrium-cantor-sets