---
title: 'Kamae: Theoretical and Applied Perspectives'
url: https://www.emergentmind.com/topics/kamae
type: topic
---

# Kamae: Theoretical and Applied Perspectives

Kamae denotes a cluster of research concepts rather than a single object. In mathematics, it refers primarily to the work of Teturo Kamae on subsequences of normal numbers, entropy-theoretic determinism, symbolic complexity, recurrence, and ergodic theory; in astroparticle physics, it names the widely used \(pp\to\gamma\) production parameterization of Kamae et al. (2006); and in machine-learning systems, it names an open-source Python library that translates Spark preprocessing pipelines into Keras models [1205.5504; 1904.12264; 2507.06021].

## 1. Kamae and deterministic subsequences of normal numbers

A central Kamae theme is the study of coordinate-selection maps on infinite binary sequences. For \(x=x_1x_2\cdots\) and \(y=y_1y_2\cdots\), if \(\tau\) enumerates the positions where \(y_i=1\), then the selected subsequence is
\[
x/y := x_{\tau(1)}x_{\tau(2)}\cdots.
\]
In the classical setting, \(x\) is normal if every finite binary block appears with the correct limiting frequency, and the problem is to characterize those selectors \(y\) for which normality is preserved under \(x\mapsto x/y\) [1205.5504; 1106.3153].

The theorem presented in later work as the Kamae–Weiss theorem states that, under the density condition
\[
\liminf_{n\to\infty}\frac1n\sum_{i=1}^n y_i>0,
\]
the following are equivalent: \(h(y)=0\), where \(h(y)\) is Kamae entropy, and
\[
\forall x\;\bigl(x\in N \Rightarrow x/y\in N\bigr),
\]
where \(N\) is the set of binary normal numbers [1205.5504]. Here \(h(y)\) is defined through cluster points of empirical block frequencies; when \(h(y)=0\), the sequence is called completely deterministic [1205.5504; 1106.3153].

Subsequent work emphasizes that this theorem is foundational because it characterizes exactly which selection sequences preserve normality of every normal input. A deterministic selector, in Kamae’s sense, is “good” precisely when its empirical symbolic statistics have zero entropy [1205.5504]. The 2020 amenable-semigroup generalization preserves this logic: for subsets \(A\) of a countable cancellative amenable semigroup with positive lower \(\mathcal F\)-density, normality preservation, \(\mathcal F\)-determinism, and subexponential complexity are equivalent [2004.02811].

A common misconception is that the Kamae–Weiss preservation phenomenon extends unchanged to all positive-entropy systems. Later work shows a sharper picture. For i.i.d. measures, deterministic sets of positive lower density preserve \(\mu\)-normality, but for non-i.i.d. measures with completely positive entropy, deterministic sets—except superficial ones—destroy \(\mu\)-normality [2202.02662]. The same paper also clarifies a remark attributed to Kamae: disjointness from zero-entropy systems preserves a weaker property, simple \(\mu\)-normality, meaning preservation of symbol frequencies rather than full block statistics [2202.02662].

## 2. Algorithmic-randomness reformulations of Kamae’s theorem

A second Kamae line concerns algorithmic analogies to the subsequence-selection theorem. Takahashi’s work reformulates the classical entropy-theoretic criterion in terms of Martin-Löf randomness and Kolmogorov-complexity rate, explicitly presenting these results as algorithmic versions of Kamae–Weiss [1205.5504; 1102.3242].

In one formulation, if \(y\) is Martin-Löf random with respect to some computable probability \(P\) and
\[
\sum_{i=1}^\infty y_i=\infty,
\]
then the following are equivalent:
1. \(y\) is computable;
2.
\[
\forall x\quad x\in R \Rightarrow x/y\in R_y,
\]
where \(R\) is the set of Martin-Löf random sequences for the fair-coin measure and \(R_y\) denotes randomness relative to oracle \(y\) [1205.5504].

A second, closer analogue uses maximal complexity rate. If \(y\) has maximal complexity rate with respect to a computable probability and
\[
\lim_{n\to\infty}\frac1n\sum_{i=1}^n y_i>0,
\]
then the following are equivalent:
\[
\lim_{n\to\infty}\frac1nK(y_1^n)=0,
\]
and
\[
\forall x\quad
\left(
\lim_{n\to\infty}\frac1n K(x_1^n)=1
\Rightarrow
\lim_{n\to\infty}\frac{1}{|x_1^n/y_1^n|}K(x_1^n/y_1^n\mid y_1^n)=1
\right).
\]
This replaces zero Kamae entropy by zero asymptotic information density in the selector [1205.5504].

These papers are explicit that the algorithmic statements are analogies, not literal restatements. They “neither prove nor disprove the conjecture of van Lambalgen,” which proposed a direct equivalence between zero prefix-complexity rate of \(y\) and preservation of Martin-Löf randomness under selection [1205.5504]. The distinction is mathematically significant: the Champernowne sequence satisfies the complexity-rate condition
\[
\lim_{n\to\infty}\frac1nK(y_1^n)=0
\]
but its Kamae entropy is not zero [1205.5504]. This suggests that zero algorithmic information rate and zero Kamae entropy are related but nonidentical notions of determinism.

## 3. Complexity invariants in symbolic dynamics

Kamae’s name is also attached to several symbolic-complexity invariants. The most prominent is maximal pattern complexity, introduced by Kamae and Zamboni. For a window \(\tau\subset\mathbb N_0\) of cardinality \(n\), the \(\tau\)-language \(L_x(\tau)\) consists of all patterns seen by translating \(\tau\) along a sequence \(x\), and the maximal pattern complexity is
\[
p_x^*(n)=\max_{|\tau|=n}|L_x(\tau)|.
\]
Kamae and Zamboni proved the analogue of Morse–Hedlund: if \(x\) is not eventually periodic, then
\[
p_x^*(n)\ge 2n
\quad\text{for all }n
\]
[2508.13420].

They also defined a binary sequence to be pattern Sturmian if
\[
p_x^*(n)=2n
\quad\text{for all }n.
\]
Recent work resolves the question they posed about recurrent pattern Sturmian sequences: a recurrent binary sequence is pattern Sturmian if and only if it is either a recurrent simple circle rotation coding sequence or a sequence in a nearly simple Toeplitz subshift [2508.13420]. The same paper shows that nonrecurrent pattern Sturmian sequences are either almost constant or nonrecurrent simple circle rotation coding sequences [2508.13420]. A parallel 2025 result over larger alphabets proves that the minimal maximal pattern complexity of an aperiodic sequence using all \(\ell\) letters is
\[
p_\alpha^*(k)=2k+\ell-2,
\]
and classifies extremal examples as decompositions with one binary pattern Sturmian residue and constant residues elsewhere [2505.05627].

A different Kamae-associated invariant is the Kamae–Xue complexity function
\[
\Sigma(x_1x_2\cdots x_n)=\sum_{\xi\in\{0,1\}^+}|x_1x_2\cdots x_n|_\xi^2,
\]
the sum of squares of factor-occurrence counts. The 2014 characterization of eventual periodicity shows that an infinite binary word is eventually periodic if and only if
\[
\lim_{n\to\infty}\frac{\Sigma(x_1\cdots x_n)}{n^3}
\]
exists and is positive [1404.4416]. More precisely, if the minimal period is \(k\), then
\[
\lim_{n\to\infty}\frac{\Sigma(x_1\cdots x_n)}{n^3}=\frac{1}{3k}
\]
[1404.4416]. This places the Kamae–Xue function at the opposite pole from its original “criterion of randomness”: small \(\Sigma\) signals balanced block counts, while a positive cubic-order limit signals eventual periodicity [1404.4416].

Taken together, these developments show that Kamae-associated complexity invariants operate at both ends of the order–randomness spectrum: maximal pattern complexity isolates low-complexity nonperiodic structure, while \(\Sigma\)-asymptotics separate random-like quadratic growth from periodic cubic growth [2508.13420; 1404.4416].

## 4. Generic points, joinings, and nonstandard ergodic theory

A further Kamae contribution concerns generic points and ergodic theorems. Downarowicz and Weiss generalize a theorem of T. Kamae from 1973. In Kamae’s original full-shift setting, if \(\xi\) is a joining of invariant measures \(\mu\) and \(\nu\), and \(y\) is quasi-generic for \(\nu\), then there exists \(x\) such that \((x,y)\) generates \(\xi\); if \(\mu\) is ergodic, \(x\) can be chosen generic for \(\mu\) [2308.04540]. The generalization replaces full shifts by topological systems \((X,T)\) with the weak specification property: if \((X,T)\) has weak specification, \(\mu\) is ergodic, and \(y\) is quasi-generic for \(\nu\), then there exists \(x\in X\), generic for \(\mu\), such that \((x,y)\) is quasi-generic for \(\xi\) [2308.04540].

The same paper makes clear what is gained and lost relative to Kamae’s original theorem. The gain is that \(X\) need not be symbolic and \(x\) is produced inside the prescribed system \(X\); the loss is that \((x,y)\) is generally only quasi-generic, even when \(y\) is generic along all of \(\mathbb N\) [2308.04540]. The proof is explicitly described as following “the framework of the original proof,” with weak specification replacing exact symbolic concatenation [2308.04540].

Kamae’s name also appears in nonstandard proofs of the ergodic theorem. De Piro’s paper follows Teturo Kamae’s 1982 “A Simple Proof of the Ergodic Theorem Using Nonstandard Analysis” and gives a rigorous proof via Loeb measure, internal approximation, and hyperfinite models [1502.06441]. A related 2011 paper explains that the proof of the Birkhoff Ergodic Theorem for hyperfinite Loeb spaces, suggested by T. Kamae, “works, actually, for arbitrary probability spaces,” as shown by Katznelson and Weiss, and develops the notion of a hyperfinite approximation of a dynamical system [1104.0237]. In that framework, every Lebesgue dynamical system is a homomorphic image of an appropriate transitive Loeb dynamical system [1104.0237].

These strands suggest a coherent Kamae program in ergodic theory: symbolic constructions of generic points, entropy-based determinism, and nonstandard models are all used to convert asymptotic statistical properties into structurally rigid dynamical statements [2308.04540; 1502.06441].

## 5. Intersective polynomials and the Furstenberg–Sárközy phenomenon

In number-theoretic recurrence, the paper on polynomial actions of rings of integers of global fields identifies the modern Furstenberg–Sárközy theorem with Kamae and Mendès France. In that formulation, if \(E\subset\mathbb Z\) has positive density and \(P(x)\in\mathbb Z[x]\) is intersective—meaning it has a root mod \(N\) for every \(N\in\mathbb N\)—then there exist distinct \(x,y\in E\) such that
\[
x-y=P(n)
\]
for some \(n\in\mathbb Z\) [2509.17868]. The same paper states that the key observation due to Kamae and Mendès France is that the value set of an intersective polynomial is a van der Corput set [2509.17868].

The global-field extension replaces congruence solvability modulo every integer by solvability modulo every nonzero ideal. For a global field \(K\) with ring of integers \(O_K\), the following are equivalent for \(P(x)\in O_K[x]\): for every nonzero ideal \(\{0\}\ne I\le O_K\), there exists \(n\in O_K\) with \(P(n)\in I\); recurrence in every \(O_K\)-measure-preserving system; a syndetic near-optimal recurrence set; and a density-difference statement for every \(E\subseteq O_K\) with \(d^*(E)>0\) [2509.17868]. This is presented as an extension of the result of Kamae and Mendès France [2509.17868].

A complementary refinement appears in \(\mathbb Z^k\). The 2013 paper on prime powers, recurrence, and van der Corput sets explicitly says that it refines and unifies results of Sárkőzy, Furstenberg, Kamae and Mendes France, and Bergelson–Lesigne [1304.4641]. Its central arithmetic sets are
\[
D_1=
\left\{
\big((p-1)^{\alpha_1},\dots,(p-1)^{\alpha_k},[(p-1)^{\beta_1}],\dots,[(p-1)^{\beta_\ell}]\big):p\in\mathcal P
\right\},
\]
and
\[
D_2=
\left\{
\big((p+1)^{\alpha_1},\dots,(p+1)^{\alpha_k},[(p+1)^{\beta_1}],\dots,[(p+1)^{\beta_\ell}]\big):p\in\mathcal P
\right\},
\]
where the \(\alpha_i\) are positive integers and the \(\beta_j\) are positive non-integers. These are proved to be nice \(FC^+\) sets in \(\mathbb Z^{k+\ell}\), hence van der Corput sets and sets of nice recurrence [1304.4641]. The paper also remarks that Kamae and Mendes France showed \(P-h\) is a vdC set if and only if \(h=\pm1\), which explains the special role of prime shifts \(p\pm1\) [1304.4641].

This branch of the literature fixes a second major Kamae legacy: local solvability, expressed as intersectivity, is the exact criterion connecting difference theorems, recurrence, and uniform distribution [2509.17868; 1304.4641].

## 6. Later technical uses of the name

Outside pure mathematics, “Kamae” labels two unrelated technical objects.

In astroparticle physics, the “Kamae et al. (2006)” cross-section model is one of the standard analytic parameterizations for secondary production in proton–proton interactions. A 2019 Fermi-LAT study of a mid-latitude region in the third Galactic quadrant uses interstellar \(\gamma\)-ray emissivity to infer the local cosmic-ray proton spectrum and compares two hadronic prescriptions: the Kamae et al. (2006) model and Kafexhiu et al. (2014). In that analysis, the Kamae implementation is the “KK06 model,” using the \(pp\to\gamma\) cross section plus a constant nuclear enhancement factor of \(1.78\); it yields
\[
\chi^2/\mathrm{dof}=18.3/15,
\]
with best-fit proton-spectrum parameters
\[
A=(6.9\pm2.0)\times10^2,\quad
\alpha_1=0.9\pm1.0,\quad
\alpha_2=2.85\pm0.07,\quad
p_{\rm br}=4\pm1~\mathrm{GeV}\,c^{-1},
\]
and a spectrum within \(\lesssim 20\%\) of AMS-02 above \(15~\mathrm{GeV}\) [1904.12264]. The same paper stresses that both Kamae and Kafexhiu fit the emissivity well but imply rather different proton spectra, so cross-section uncertainty remains a dominant bottleneck [1904.12264]. A 2021 comparison with AAfrag identifies the Kamae et al. parameterization as a pre-LHC model based on Pythia 6.2, with photon-spectrum normalization differences reaching \(20\)–\(50\%\) at intermediate transferred energy fraction \(x\) and up to a factor of two as \(x\to1\), while still noting its usefulness as a low-energy complement below \(4~\mathrm{GeV}\) in the public package aafragpy [2110.00496].

In machine-learning systems, “Kamae” is the name of an open-source Python library for bridging Apache Spark preprocessing pipelines and Keras/TensorFlow inference models. The library defines Spark transformers and estimators, maps each to an equivalent Keras layer, extends Spark’s pipeline API for one-to-one conversion into a Keras model, and currently supports only the TensorFlow backend [2507.06021]. Its stated workflow is: build preprocessing in Spark, fit the pipeline, apply it to distributed training data, export the fitted pipeline to Keras, optionally fuse the preprocessing model with the trained neural model, and serve the resulting Keras model [2507.06021]. Supported transformation families include mathematical, string, date, geographical, logical, array, list, and conditional operations, as well as estimators for string indexing, hash indexing, bloom encoding/indexing, shared indexing, standard scaling, and imputation [2507.06021]. In Expedia’s learning-to-rank search-filters pipeline, the fitted preprocessing model was fused with the model and deployed in production inside a Java chassis serving at an average rate of 200 requests per second; after switching from MLeap to a Keras model plus TensorFlow Java, the reported operational changes were a \(61\%\) decrease in service latency and a \(58\%\) reduction in service costs [2507.06021].

These later usages are historically unrelated to Teturo Kamae’s mathematical program. Their coexistence under the same name is terminological rather than conceptual.

Source: https://www.emergentmind.com/topics/kamae