Self-Composition Deviation in Self-Affine Sets

• Self-Composition Deviation (SCD) is a phenomenon describing the asymptotic behavior of ergodic integrals in self-affine Delone sets, governed by a hierarchy of cohomological eigenexponents.
• The method uses expansive linear maps and pattern-equivariant cohomology to derive detailed expansions of ergodic averages with subleading corrections beyond classical boundary terms.
• Illustrative examples such as the Penrose, Chair, and Ammann–Beenker tilings demonstrate SCD's significance in linking dynamical fluctuations with topological and spectral invariants.

Self-Composition Deviation (SCD) refers to asymptotic phenomena in the growth of ergodic integrals for translation actions on pattern spaces arising from self-affine Delone sets. Under iteration by an expansive linear map, the rate of deviation of ergodic averages is governed by the spectrum of the induced action on the pattern-equivariant cohomology of the tiling/delone set. The deviation is characterized by a hierarchy of exponents determined by the eigenvalues of this cohomological action, leading to a detailed expansion of ergodic integrals with subleading cohomological corrections beyond classical boundary terms. This phenomenon was rigorously developed in the context of self-affine Delone set dynamics by Schmieding–Treviño (Schmieding et al., 2015).

1. Ergodic Integrals and Renormalization for Self-Affine Pattern Spaces

Let $\Lambda \subset \mathbb{R}^d$ be a repetitive, finite local complexity (FLC) Delone set, whose pattern space $\Omega = \Omega_\Lambda$ supports a unique translation-invariant probability measure $\mu$. For any bounded averaging set $B \subset \mathbb{R}^d$, and any $f \in C^0(\Omega)$, the ergodic integral is defined as

$$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$

where $\varphi_s$ denotes translation by $s$ in $\mathbb{R}^d$. If $\Lambda$ is self-affine, there exists an expanding $\Omega = \Omega_\Lambda$0 and a measure-preserving homeomorphism $\Omega = \Omega_\Lambda$1 such that $\Omega = \Omega_\Lambda$2.

A renormalized family of averaging sets is chosen as $\Omega = \Omega_\Lambda$3, with $\Omega = \Omega_\Lambda$4, $\Omega = \Omega_\Lambda$5, and $\Omega = \Omega_\Lambda$6, ensuring $\Omega = \Omega_\Lambda$7. Under iteration, $\Omega = \Omega_\Lambda$8 “magnifies” averaging, enabling comparison of ergodic integrals at scales $\Omega = \Omega_\Lambda$9 and $\mu$0 under the induced homeomorphism.

2. Deviation Hierarchy and Main Theorem

For a Delone set with “RFT” property (pattern-equivariant cohomology in top degree is finite-dimensional), the automorphism $\mu$1 induces a linear map $\mu$2 on $\mu$3 with eigenvalues $\mu$4 and $\mu$5. Writing any $\mu$6 as a $\mu$7-form using $\mu$8, a Jordan basis decomposition yields

$\mu$9

where $B \subset \mathbb{R}^d$0 are dual basis functions. The coefficients $B \subset \mathbb{R}^d$1 are determined by the cohomology class of $B \subset \mathbb{R}^d$2.

The rapidly-expanding subspace $B \subset \mathbb{R}^d$3 is defined as the sum of generalized eigenspaces $B \subset \mathbb{R}^d$4 for those $B \subset \mathbb{R}^d$5 with

$B \subset \mathbb{R}^d$6

where $B \subset \mathbb{R}^d$7 is the smallest-modulus eigenvalue of $B \subset \mathbb{R}^d$8. The main SCD theorem states there are exactly $B \subset \mathbb{R}^d$9 distributions $f \in C^0(\Omega)$0 such that:

• If $f \in C^0(\Omega)$1 for all $f \in C^0(\Omega)$2 but $f \in C^0(\Omega)$3, then for $f \in C^0(\Omega)$4

$f \in C^0(\Omega)$5

where $f \in C^0(\Omega)$6 or $f \in C^0(\Omega)$7 depending on boundary-exponent equality, and $f \in C^0(\Omega)$8 depends only on $f \in C^0(\Omega)$9 and $$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$0.

• If all $$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$1, the boundary term dominates:

$$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$2

In the pure-dilation case $$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$3, the deviation reduces to classical estimates of the form

$$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$4

with $$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$5.

3. Cohomological Structure and Interpretation

The leading constant $$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$6 is interpreted topologically and dynamically using the asymptotic-cycle current $$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$7, defined by

$$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$8

Via the Hodge star, $$I(B, f; \Lambda_0) = \int_B f(\varphi_s(\Lambda_0))\,ds,$$9 corresponds to a transverse invariant measure on the canonical transversal. The pure-point part of the diffraction spectrum is the evaluation of $\varphi_s$0 on classes $\varphi_s$1, $\varphi_s$2, supported on $\varphi_s$3, reproducing known spectral measures via Dworkin’s argument.

Diagonalizing $\varphi_s$4 on $\varphi_s$5, the eigenvector in the unstable line $\varphi_s$6 with eigenvalue $\varphi_s$7 is $\varphi_s$8. The dual distribution $\varphi_s$9 recovers the density term:

$s$0

4. Explicit Examples

Several notable self-affine tilings and Delone sets exhibit the SCD phenomenon:

• Penrose tiling (inflation $s$1): Substitution spectrum $s$2, with leading cohomological deviation $s$3, boundary exponent $s$4, and subleading terms at boundary order $s$5.
• Chair tiling ($s$6Id): Top cohomology eigenvalues $s$7; only the $s$8 term is non-boundary.
• Ammann–Beenker tiling (octagonal): $s$9 with spectrum $\mathbb{R}^d$0; two eigenvalues in $\mathbb{R}^d$1, the leading strictly and another at equality, yielding log corrections.
• Self-affine codim-1 cut-and-project sets: Top $\mathbb{R}^d$2 splits into a torus-factor and a singularity-part; products $\mathbb{R}^d$3 lie strictly in $\mathbb{R}^d$4.

5. Structural Propositions and Asymptotic Expansions

Key results summarizing SCD include:

• Rapidly-expanding subspace:

$\mathbb{R}^d$5

• Boundary estimate: If $\mathbb{R}^d$6 is a coboundary,

$\mathbb{R}^d$7

• Cohomological decomposition: For $\mathbb{R}^d$8,

$\mathbb{R}^d$9

• Induced-action estimate:

$\Lambda$0

Combining these elements, the full expansion of ergodic integrals is:

$\Lambda$1

In the dilation (self-similar) case, this specializes to

$\Lambda$2

with $\Lambda$3 representing pairing with the unstable top class.

6. Broader Implications and Context

Self-Composition Deviation provides a generalization of classical deviation theorems and establishes a bridge between dynamical renormalization, cohomological invariants, and statistical properties of self-affine aperiodic structures. The SCD theorem extends beyond leading-order density terms by predicting intermediate orders of fluctuation (“Zorich–Forni” type exponents) directly from the induced cohomological dynamics and Jordan decomposition. It unifies understanding of deviation phenomena in substitution tilings, cut-and-project sets, and more general Delone sets, linking spectral, cohomological, and dynamical characteristics in a precise quantitative framework (Schmieding et al., 2015).