Bernoulli Property for Skew Products

• The paper establishes precise criteria under which skew products exhibit the Bernoulli property, leveraging VWB techniques and mixing local limit theorems.
• Methodologies combine symbolic reduction, cocycle limit theorems, and matching constructions to synchronize hyperbolic bases with quasi-elliptic fiber dynamics.
• Implications include identifying sharp phase transitions in Kochergin flows and extending the framework to projective cocycles and random matrix products.

A dynamical system is said to have the Bernoulli property if it is measurably isomorphic to a Bernoulli shift, i.e., the canonical model of maximal randomness in ergodic theory. Skew products form a fundamental class of partially hyperbolic dynamical systems, where the dynamics on a total space $M \times N$ are defined by the evolution of a base system and a fiber flow, potentially coupled via a cocycle. The Bernoulli property for such skew products is central to understanding the interplay between hyperbolic and central (often zero-entropy or weakly mixing) directions, and provides a bridge between algebraic rigidity and rich stochasticity. Recent advances have given precise criteria under which skew products with nontrivial dynamics in the base and fiber exhibit the Bernoulli property, and established, in some cases, sharp thresholds for the recurrence of Bernoullicity versus simply the weaker $K$-property.

1. Formulation of Skew Products and Main Definitions

Consider a compact metric probability space $(M, \mu)$, a base transformation $T : M \to M$ that is $C^{1+\alpha}$ Anosov (or Axiom-A) with an associated Gibbs measure for a Hölder potential, and a fiber system $(K_t, N, \nu)$, where $(K_t)_{t \in \mathbb{R}}$ is an ergodic, zero-entropy flow on another compact metric probability space $(N, \nu, d)$. The skew product is given by

$$T_\phi : M \times N \to M \times N,\qquad T_\phi(x, y) = (T x, K_{\phi(x)} y),$$

where the cocycle $\phi : M \to \mathbb{R}$ is assumed to be Hölder continuous, zero mean ($\int_M \phi\, d\mu = 0$), and aperiodic (not cohomologous to a constant plus an integer-valued coboundary). In the symbolic setting, $T$ may be replaced by a transitive subshift of finite type $(\Sigma_A, \sigma, \mu)$ with a Gibbs measure, and the skew product is analogous: $T_\phi(x, y) = (\sigma x, K_{\phi(x)} y).$

A fiber flow is termed quasi-elliptic if it satisfies three properties: (A) equidistribution (for any pair $y, y' \in N_i$ there exists a time shift $\tau$ quickly approximating proximity in $N$), (B) almost continuity (uniform continuity in large-measure sets), and (C) slow divergence (trajectories remain close under long intervals modulo returns). These properties collectively generalize classical elliptic behavior but permit weak mixing in the fiber.

A partition $Q$ of $N$ is regular generating for an ergodic map $K_{t_0}$ if it generates the Borel $\sigma$-algebra under $K_{t_0}$, has small boundary neighborhoods of vanishing $\nu$-measure, and $K_{t_0}$ is ergodic.

2. Bernoulli Property: General Theorems and Methodology

The Bernoulli property for skew products hinges on establishing the so-called very weak Bernoulli (VWB) property for a suitable generating partition, which, through Ornstein–Weiss theory, implies measure-theoretic isomorphism to a Bernoulli shift. The general theorem can be summarized as follows:

Theorem (Dong–Kanigowski):

Let $(\Sigma_A, \sigma, \mu)$ be a transitive subshift of finite type with a Gibbs measure, let $\phi : \Sigma_A \to \mathbb{R}$ be Hölder, aperiodic and zero mean, and $(K_t, N, \nu, d)$ be a quasi-elliptic flow with a regular generating partition. Then the skew product $T_\phi : \Sigma_A \times N \to \Sigma_A \times N$ is a Bernoulli automorphism (Dong et al., 2019).

The proof strategy unfolds as:

1. Symbolic Reduction: Reduce to symbolic dynamics via Markov partitions.
2. Cocycle Limit Theorems: Use the mixing local limit theorem (MLLT) and conditional central limit theorem for the cocycle.
3. VWB for Partitions: Show that a product partition $R = P_m \times Q$ (where $P_m$ is a cylinder partition of the base and $Q$ is a regular generating partition of the fiber) is VWB, via explicit construction of measure-preserving matchings between local unstable atoms.
4. Matching Construction: Employ the MLLT and stable holonomy to achieve blockwise matching in the base, and use quasi-ellipticity to synchronize the fibers.
5. Ornstein Theory: Deduce that VWB and generating property yield Bernoullicity.

This methodology is robust and applies to both algebraic and certain non-algebraic settings, including cases where the fiber is weakly mixing.

3. Examples and Sharp Thresholds

Translation Flows and Smooth Reparametrizations

For translation flows on higher-genus surfaces (modeled via special flows over interval exchange transformations) and smooth reparametrizations of isometric flows on $\mathbb{T}^2$, rigidity results guarantee quasi-ellipticity, and thus the skew product is Bernoulli if the cocycle satisfies the required hypotheses (Dong et al., 2019).

Skew Products with Kochergin Flows

The threshold for Bernoullicity is prominently seen in the context of Kochergin flows in the fiber. For a base given by a mixing subshift of finite type with a Gibbs measure, an aperiodic, zero-mean Hölder cocycle, and a Kochergin flow over an irrational rotation with roof singularity exponent $0 < \gamma < \tfrac{1}{2}$, the skew product is Bernoulli for Lebesgue-almost every rotation: $$T(x,z) = (\sigma(x), K^{\gamma,\alpha}_{\varphi(x)}(z))$$ on $(\Sigma \times M, \mu \times \nu)$ (Nowak, 24 Jan 2026). For exponents $\gamma > \tfrac{1}{2}$, Bernoullicity fails and only the $K$-property holds (Kanigowski et al., 2016). This establishes a sharp phase transition at $\gamma = \tfrac{1}{2}$.

4. Techniques: Local Limit Theorems and Very Weak Bernoulli Property

A crucial technical step is verifying VWB for product partitions:

• In the base, the cocycle’s aperiodicity and zero mean guarantee that Birkhoff sums $S_n \phi$ satisfy precise local limit theorems, allowing partitioning of unstable atoms into level sets that can be matched via stable holonomy.
• In the fiber, the quasi-ellipticity or controlled shearing (polynomial estimates via Denjoy–Koksma theory) ensures that time-realignments can bring points close, managing the divergence introduced by singularities or nontrivial dynamics.

In the Kochergin case, a multiscale block matching apparatus is constructed, recursively aligning base and fiber orbits while controlling distortion. The “time-lag metric” is used to quantify proximity in the fiber, and error terms are managed via quantitative Denjoy–Koksma estimates and Diophantine properties of the rotation (Nowak, 24 Jan 2026). Good sets of trajectories are selected to avoid neighborhoods of singularities. In sum, the Bernoulli property is achieved through fine-scale synchronization in both base and fiber around matching of orbits, retaining control over divergence at all levels.

5. Bernoulli Property versus the $K$-Property

The $K$-property is strictly weaker than Bernoullicity. Kanigowski–Rodríguez Hertz–Vinhage (Kanigowski et al., 2016) build smooth, volume-preserving skew products in dimension four where the base is a hyperbolic toral automorphism and the fiber is a smooth area-preserving flow with a high-degeneracy fixed point (measurably isomorphic to a special flow with power singularity roof function $f \sim |y|^{-1+\eta}$, $\eta > 0$ small). For a natural class of cocycles (smooth, non-coboundary, nonzero mean) and for a full measure set of rotation parameters, the skew product is $K$ but not Bernoulli. The failure of Bernoullicity is shown via explicit failure of the VWB criterion, induced by the parabolic nature of the fiber, contrasting with the Bernoulli outcome for quasi-elliptic (elliptic or weakly mixing) fibers.

A plausible implication is that the nature of the fiber dynamics (elliptic versus parabolic) and the regularity of the roof function (governing the shearing estimates) fundamentally determines the recurrence of Bernoullicity in the skew product class.

6. Extensions and Related Directions

The frameworks developed for skew products with hyperbolic base and zero-entropy fibers have been extended to matrix cocycles and subadditive equilibrium states. In particular, for Hölder-continuous, fiber-bunched cocycles $A : X \to GL(d, \mathbb{R})$ over a topologically mixing subshift of finite type, the associated projective skew product

$$f_A : X \times \mathbb{RP}^{d-1} \to X \times \mathbb{RP}^{d-1},\quad f_A(x, [v]) = (f(x), [A(x)v])$$

is Bernoulli whenever the subadditive potential satisfies bounded distortion and quasi-multiplicativity. Here, a measurable local product structure and the Kolmogorov $K$-property are used to verify Bernoullicity (Call et al., 2021). This framework recovers classical results for random matrix products and extends Bernoulli properties to a broad spectrum of partially hyperbolic systems.

7. Significance, Technical Innovations, and Open Problems

The identification of sharp, checkable criteria for the Bernoulli property in smooth and symbolic skew products has led to the construction of the first non-algebraic, partially hyperbolic examples with weakly mixing centers that are nonetheless Bernoulli, a marked advance over earlier algebraic approaches. The technical innovations include the combination of mixing local limit theorems in the base, quasi-elliptic or shearing-controlled coupling in the fiber, and sophisticated VWB and matching techniques.

Ongoing questions concern the precise boundary between Bernouliicity and the $K$-property, particularly among skew products with parabolic or time-changed horocycle fibers, and finer invariants such as loose Bernoullicity and higher-order mixing rates (Kanigowski et al., 2016). The dependency on the nature of singularities and Diophantine obstructions in the fiber flow remains a rich area for further exploration.

Summary Table of Bernoulli Property in Skew Products

Fiber Flow Type	Roof Singularity Exponent	Bernoulli Property	Reference
Quasi-elliptic/elliptic	—	Yes (general criteria)	(Dong et al., 2019)
Kochergin flow	$0 < \gamma < \frac{1}{2}$	Yes for a.e. rotation	(Nowak, 24 Jan 2026)
Kochergin flow	$\gamma > \frac{1}{2}$	No; $K$-but-not-Bernoulli	(Kanigowski et al., 2016)
Projective cocycles	Fiber-bunched	Yes (Gibbs state Bernoulli)	(Call et al., 2021)

This synthesis highlights the structural influence of fiber recurrence and cocycle regularity on the Bernoulli property, providing a rigorous framework and point of reference for subsequent research in ergodic theory and smooth dynamics.