Radon–Nikodym Cocycles in Dynamics

• Radon–Nikodym cocycles are multiplicative functions on measure spaces defined by the derivative of pushforward measures, satisfying a precise cocycle identity.
• They encode key ergodic, structural, and analytic properties in dynamics, enabling analysis of mixing behavior and type classifications in both non-singular and stationary group actions.
• They extend naturally to noncommutative settings in von Neumann algebras, formalizing Connes’ spatial derivative and facilitating the study of operator dynamics.

A Radon–Nikodym cocycle is a multiplicative function associated with non-singular measure-preserving or measure-class-preserving actions, endomorphisms, or group actions. These cocycles originate from the Radon–Nikodym derivatives for iterated or group-translated measures and satisfy a precise cocycle identity, serving as central objects in ergodic theory, stationary group actions, and noncommutative analysis. Their properties encode significant structural, ergodic, and analytic information about dynamical systems, representations, and group actions.

1. Fundamental Definitions and Cocycle Relations

Given a standard probability space $(X, \mu)$ and a Borel automorphism or a non-singular transformation $T: X \to X$, the pushforward measure $T_* \mu$ is equivalent to $\mu$. For each $n \in \mathbb{Z}$, the Radon–Nikodym derivative

$c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$

is defined for $\mu$-almost every $x$, and normalizes as $c_0 \equiv 1$ (Bell et al., 2024, Danilenko et al., 2020).

The multiplicative cocycle identity holds:

$$c_{m+n}(x) = c_m(x) \cdot c_n(T^m x), \quad \forall\, m,n \in \mathbb{Z},\ x \in X.$$

For measurable group actions $T: X \to X$0 with $T: X \to X$1, the two-variable version

$T: X \to X$2

characterizes these cocycles (Danilenko et al., 2020, Avraham-Re'em et al., 10 Apr 2026). The notion generalizes to group-theoretic and operator-algebraic contexts, with the same chain-rule structure.

2. Radon–Nikodym Cocycles in Ergodic Theory and Dynamics

In measurable dynamics, particularly for non-singular transformations, the Radon–Nikodym cocycle governs long-term measure-theoretic properties (Bell et al., 2024, Danilenko et al., 2020). Examples include non-singular endomorphisms on Cantor space under product measures, as in the least-deletion map $T: X \to X$3 which alters the first $T: X \to X$4 in a binary sequence. The explicit cocycle for the forward geodesic of such a system is

$T: X \to X$5

where $T: X \to X$6 are sequence-dependent marginal probabilities and $T: X \to X$7 are positions of the $T: X \to X$8’s in $T: X \to X$9 (Bell et al., 2024).

Radon–Nikodym cocycles in these contexts may demonstrate complex asymptotic behaviors:

• Oscillating Cocycle: For a period-3 biased product measure, the derived cocycle oscillates between arbitrarily large and small values almost surely. This behavior is analyzed via random walk theory and the Chung–Fuchs theorem (Bell et al., 2024).
• Nonsummable Vanishing Cocycle: For measures with sparse heavy bias at certain coordinates, cocycle values tend to zero almost surely, but the sum $T_* \mu$0 diverges, yielding a vanishing but nonsummable sequence (Bell et al., 2024).

These examples resolved previously open questions regarding possible nontrivial asymptotic behaviors—specifically, the existence of cocycles that both "explode" and "collapse" infinitely often, as well as cocycles tending to zero but not summable, for non-singular endomorphisms.

3. Cocycles in Stationary Group Actions and Harmonic Analysis

For a locally compact, second-countable group $T_* \mu$1 with an admissible probability measure $T_* \mu$2, a $T_* \mu$3-stationary $T_* \mu$4-space $T_* \mu$5 is one satisfying $T_* \mu$6 (Avraham-Re'em et al., 10 Apr 2026). Stationarity ensures $T_* \mu$7 is quasi-invariant and induces the Radon–Nikodym cocycle:

$T_* \mu$8

which satisfies the group cocycle identity.

Analytic and ergodic structure is encoded in cocycle properties:

• Conservativity: Every $T_* \mu$9-stationary action of a noncompact group is conservative; no such action is of Krieger type I (Avraham-Re'em et al., 10 Apr 2026).
• Type Classification: Existence of a type $\mu$0 stationary action implies the existence of type $\mu$1 actions for all $\mu$2, via Maharam extensions and cocycle flow constructions (Avraham-Re'em et al., 10 Apr 2026).
• Harnack-Type Bound: There exists a harmonic majorant function $\mu$3 bounding the cocycle: $\mu$4 $\mu$5-almost everywhere. When $\mu$6 has an $\mu$7-density with $\mu$8, $\mu$9 is finite and locally bounded, producing a universal compact Radon–Nikodym model for stationary actions (Avraham-Re'em et al., 10 Apr 2026).
• Obstruction Examples: On the affine group $n \in \mathbb{Z}$0, certain random walks give unbounded cocycles in every neighborhood of the group identity, violating Kaimanovich’s SAT$n \in \mathbb{Z}$1 property and precluding uniform compactification (Avraham-Re'em et al., 10 Apr 2026).

4. Noncommutative Radon–Nikodym Cocycles and Operator-Algebraic Theory

In the setting of von Neumann algebras, Radon–Nikodym cocycles arise as Connes's spatial derivatives between normal, semifinite, faithful (n.s.f.) weights $n \in \mathbb{Z}$2:

$n \in \mathbb{Z}$3

where $n \in \mathbb{Z}$4 is the relative modular operator (Gomez-Cubillo, 2020).

Key results include:

• Connes’ Noncommutative Radon–Nikodym Theorem: There exists a unique positive self-adjoint operator $n \in \mathbb{Z}$5 affiliated with the centralizer such that $n \in \mathbb{Z}$6 and $n \in \mathbb{Z}$7 (Gomez-Cubillo, 2020).
• Cocycles for Admissible Vectors in Group von Neumann Algebras: For the left group algebra $n \in \mathbb{Z}$8, admissible vectors $n \in \mathbb{Z}$9 correspond to n.s.f. weights with associated frame operators $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$0. Cocycles between two admissible vectors $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$1 take the explicit unitary form $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$2 (Gomez-Cubillo, 2020).
• Abelian Example: For $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$3, the cocycle becomes a unitary operator of multiplication by $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$4 on $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$5.
• Fourier Transform Intertwining: The noncommutative $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$6-Fourier transform intertwines cocycle derivatives: $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$7, with $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$8 the dual weights (Gomez-Cubillo, 2020).

5. Cocycles, Mixing Properties, and Ergodic Decomposition

Radon–Nikodym cocycles provide a framework for analyzing ergodicity and mixing in product-type and Gaussian actions (Danilenko et al., 2020):

• Maharam Extensions: For infinite direct product transformations (IDPFT), cocycle sequences that are asymptotically translation quasi-invariant (ATQI) yield conservative, ergodic, and sharply weak mixing Maharam extensions, classified as type $c_n(x) = \frac{d(\mu \circ T^n)}{d\mu}(x)$9. The “tail” behavior of cocycles is directly connected to the stable type and mixing strength of the extension (Danilenko et al., 2020).
• Gaussian Actions: For ergodic Gaussian transformations with associated cocycles, there is a strict dichotomy: every cocycle is either a Gaussian coboundary (bounded cocycle) or produces sharply weak mixing (type $\mu$0 in the Maharam extension). This dichotomy is proved via orthogonal decompositions and ATQI properties for the sequence of cocycle distributions (Danilenko et al., 2020).
• Essential Values and Ergodic Invariants: The essential value subgroup of a Radon–Nikodym cocycle governs the stable Krieger type and ergodicity. Techniques for verifying these involve dense-set criteria and detailed analysis of convolution/translation properties in cocycle distributions.

6. Explicit Constructions and Applications

Concrete constructions of cocycles clarify potential behaviors:

• Oscillating and Nonsummable Cocycles: For explicit product measures on the Cantor space, cocycles can be constructed to oscillate (period-3 bias) or to vanish non-summably (sparse heavy bias), answering open questions posed by Tserunyan and Tucker-Drob. The analysis associates cocycle growth to random walk behavior, and the limiting properties are deduced by appeal to the Chung–Fuchs recurrence theorem (Bell et al., 2024).
• Universal Models: For stationary actions, finiteness and local boundedness of the harmonic majorant enable the realization of cocycles in a universal compact G-space, extending the classical Mackey–Varadarajan model by incorporating cocycle continuity (Avraham-Re'em et al., 10 Apr 2026).
• Obstructions in Regularity: Counterexamples illustrate that certain affine group actions preclude uniform cocycle bounds, highlighting the sharpness of the assumptions required for universal compact models (Avraham-Re'em et al., 10 Apr 2026).

7. Summary Table of Contexts and Key Properties

Context	Cocycle Formula / Object	Key Property
Nonsingular Endomorphism (Bell et al., 2024)	$\mu$1	Satisfies $\mu$2
Stationary Group Action (Avraham-Re'em et al., 10 Apr 2026)	$\mu$3	$\mu$4
von Neumann Algebras (Gomez-Cubillo, 2020)	$\mu$5	Satisfies Connes’s cocycle relation
IDPFT / Gaussian (Danilenko et al., 2020)	$\mu$6	Type and mixing determined by cocycle tail behavior

The concept of Radon–Nikodym cocycle thus provides a unifying thread across measure-theoretic dynamics, stationary group actions, and noncommutative analysis, deeply connecting ergodic, type-theoretic, and analytic phenomena in diverse mathematical settings (Bell et al., 2024, Avraham-Re'em et al., 10 Apr 2026, Gomez-Cubillo, 2020, Danilenko et al., 2020).