==== TABLE OF CONTENTS ====
A-finite-entropy-system-without-a-smooth-positive-volume-model//01-introduction.tex
A-finite-entropy-system-without-a-smooth-positive-volume-model//02-stationary.tex
A-finite-entropy-system-without-a-smooth-positive-volume-model//03-linear.tex
A-finite-entropy-system-without-a-smooth-positive-volume-model//04-switching.tex
A-finite-entropy-system-without-a-smooth-positive-volume-model//05-words.tex
A-finite-entropy-system-without-a-smooth-positive-volume-model//06-process.tex
A-finite-entropy-system-without-a-smooth-positive-volume-model//07-obstruction.tex
A-finite-entropy-system-without-a-smooth-positive-volume-model//main.tex
A-finite-entropy-system-without-a-smooth-positive-volume-model//preamble.tex
A-finite-entropy-system-without-a-smooth-positive-volume-model//references.bib
===========================
==== BEGIN A-finite-entropy-system-without-a-smooth-positive-volume-model//01-introduction.tex ====
\section{Introduction}\label{sec:introduction}
The smooth realization problem asks which measure-preserving systems can
be represented by smooth dynamics on a compact manifold.
Here a \emph{smooth positive-volume model} of an invertible
probability-preserving transformation $(X,\mu,T)$ consists of a compact
smooth manifold $M$ of finite dimension, a smooth positive probability
volume $\nu$, and a $C^\infty$ diffeomorphism $S$ preserving $\nu$,
together with a measure-preserving isomorphism
\[
F:X_0\longrightarrow M_0,\qquad F\circ T=S\circ F,
\]
on invariant conull measurable sets. Both $F$ and $F^{-1}$ are measurable;
no continuity is required. Here smooth positive volume means a probability
measure with strictly positive smooth local densities,
$d\nu=f(x)|dx_1\cdots dx_d|$, where $f>0$ is smooth.
The manifold may have a smooth boundary, with these densities smooth up
to the boundary. No orientation of $M$ or orientation preservation by
$S$ is required. The manifold and its dimension may depend on the
original system.
A standard nonatomic probability space means a probability space
isomorphic, modulo null sets, to the unit interval with Lebesgue
probability.
Finite entropy is a necessary restriction in the smooth realization
problem. For example, Ruelle's differentiable entropy inequality
\cite[Theorem~2]{Ruelle1978} gives finite entropy from compact derivative
bounds. The question addressed here is
whether this entropy restriction suffices when the invariant measure
must be a smooth positive density.
For invertible ergodic transformations of standard nonatomic
probability spaces, two positive realization results help locate this
restriction.
Lind and Thouvenot realized finite-entropy ergodic transformations by
Lebesgue-preserving homeomorphisms of the two-torus
\cite{LindThouvenot1977}. They also proved that a hyperbolic
two-torus automorphism represents every such system with measure entropy
below the automorphism's topological entropy, using a suitable invariant
Borel probability of full support; Quas and Soo recall this earlier result in
\cite[\S1]{QuasSoo2016}. Quas and Soo's Theorem~2 extends the result to
toral automorphisms with no root-of-unity eigenvalue.
Choosing a sufficiently high iterate of a hyperbolic automorphism
therefore gives a smooth model for any prescribed finite-entropy
system, with an invariant Borel probability of full support.
Full support does not require a smooth positive density.
The requirement on the invariant measure is essential. A realization
with an arbitrary invariant Borel probability, which may be singular,
does not by itself give a smooth positive-volume model. This distinction is part of the
classical formulation discussed by Katok and Thouvenot
\cite[pp.~324--326]{KatokThouvenot1997}. They developed slow entropy
invariants and constructed ergodic $\Z^2$ actions having no Lipschitz
realization on a compact space of finite box dimension, even when the
model may carry an arbitrary invariant Borel probability
\cite[Proposition~4 and Corollary~2]{KatokThouvenot1997}.
The commuting generators must be realized together in that problem;
its obstruction does not by itself answer the question for one
transformation. Foreman and Weiss
\cite[p.~2607]{ForemanWeiss2022} also discuss finite-entropy realization,
in a formulation allowing an invariant measure merely equivalent to
volume. Our conclusion concerns the smooth positive-density version;
we do not assert an obstruction for every equivalent-to-volume
invariant measure. Their anti-classification theorems concern the complexity of the
measure-isomorphism relation among smooth transformations, including
an ergodic area-preserving torus subclass
\cite[Theorems~1--2 and Corollary~4]{ForemanWeiss2022}.
They do not assert that a particular abstract finite-entropy system
lacks such a model. Subsequent anti-classification results treat
weakly mixing smooth transformations \cite[Theorem~B]{Kunde2024} and mixing
zero-entropy smooth transformations \cite[Theorem~2]{GerberKunde2025Mixing};
these too study equivalence inside families of smooth models.
We give a negative answer to the smooth-volume realization question,
already among systems of zero entropy.
For a finite probability vector $p$, its Shannon entropy is
\[
H(p)=-\sum_a p(a)\log_2 p(a),\qquad 0\log_2 0=0.
\]
The entropy $H_\mu(\mathcal P)$ of a finite measurable partition is
the entropy of its atom probabilities; the entropy of a finite random
variable is likewise the entropy of its law.
The Kolmogorov--Sinai entropy of $T$ is
\[
h_\mu(T)=\sup_{\mathcal P}\lim_{n\to\infty}
\frac1n H_\mu\!\left(\bigvee_{j=0}^{n-1}T^{-j}\mathcal P\right),
\]
where $\mathcal P$ ranges over finite measurable partitions.
\begin{theorem}\label{thm:main}
There exists an ergodic invertible measure-preserving transformation
$(X,\mu,T)$ of a standard nonatomic probability space such that
$h_\mu(T)=0$ and $(X,\mu,T)$ is not measurably conjugate, on invariant conull sets, to
any $C^\infty$ diffeomorphism of a compact finite-dimensional manifold
preserving a strictly positive smooth probability density. The manifold
may have smooth boundary and need not be orientable.
\end{theorem}
The proof isolates a property of smooth positive volume that remains
useful after an arbitrary measurable change of coordinates.
At a dyadic time $n=2^k$, partition the manifold into small cells,
choose a cell with its volume as probability, and choose two independent
points $x,y$ from its normalized volume. On most such pairs, one can
find a point $z$ whose future shadows that of $x$ and whose past shadows
that of $y$. More than the existence of this point is needed:
the law of $z$ on the retained pairs is bounded by twice the original
volume. The number of cells is at most $\exp(CB_kn)$ for a sequence
with $\sum_k B_k^{16}<\infty$.
The precise statement is \Cref{thm:switching}.
This switch estimate is the main analytic ingredient. Its proof begins
with a square-summable dyadic estimate for stationary diagonal
derivative logs, rather than an assumed rate in an ergodic theorem.
Finite-interval triangular changes of basis give the linear
estimates needed to solve a boundary problem joining the two orbit
halves. A relative exterior-power estimate controls the change in
small endpoint minors, and a determinant identity and global
injectivity control the law of the switch.
The quantitative summability and the bound on the output measure are
the features that will obstruct realization.
We construct the opposing symbolic system from finite sets
$\mathcal W_i$ of words of lengths $m_i$. Each word at the next level is
a concatenation of words at the preceding level, and the system
records their compatible alignment phases. Word labels are nonzero
vectors over $\F_2$. Certain pairs of labels separated by a power-of-two
number of blocks must be orthogonal for a fixed alternating form.
These constraints coexist with high entropy of short label lists and
with a positive symbol-distance separation between distinct or
misaligned words.
The entropy of the label lists makes two independent lists unlikely
to satisfy most of the orthogonality tests. A smooth switch would
force their phases and most of their labels to agree with the
corresponding past and future lists of a single legal symbolic point.
Those lists do satisfy the tests. Summability of the smooth partition
cost, together with the growth of the word scales, supplies times at
which conditioning on a cell loses too little entropy to reconcile
the two conclusions.
The order of choices is important: the symbolic system is fixed first.
Only then is a hypothetical smooth model, with any one finite
dimension, considered. The scale argument absorbs all constants
depending on that model. Thus the construction does not select a
different counterexample for each dimension.
\paragraph{Organization.}
\Cref{sec:stationary,sec:linear,sec:switching} prove the switching
estimate. \Cref{sec:words} constructs the finite word families.
\Cref{sec:process} supplies an ergodic probability on their phase
extension and establishes the window entropy and graph constraints.
\Cref{sec:obstruction} compares the two laws of one graph-passing
statistic and proves \Cref{thm:main}.
\paragraph{Conventions.}
Logarithms in entropies and combinatorial estimates are to base $2$;
natural logarithms are written $\ln$, and derivative growth is written
with $\exp$ or $e$. Total variation distance between finite laws $p,q$
is $\TV(p,q)=\tfrac12\sum_a|p(a)-q(a)|$.
For finite random variables, conditional entropy means
\[
H(Y\mid Z)=\sum_{z:\Pr(Z=z)>0}\Pr(Z=z)\,
H\bigl(\mathcal L(Y\mid Z=z)\bigr).
\]
Conditional partition entropy uses the same definition for atom labels.
We write $H_{\mathrm{bin}}(s)=-s\log_2 s-(1-s)\log_2(1-s)$
for binary entropy, with the same zero-mass convention at the endpoints.
Constants denoted by $C$ may change from line to line.
In the smooth part they depend only on the fixed smooth data,
dimension, and a fixed exceptional-mass tolerance, unless otherwise
specified. All asymptotic estimates there are uniform over the
points, bins, and finite-interval frames satisfying the displayed
hypotheses. The empty determinant and empty product equal one.
==== END A-finite-entropy-system-without-a-smooth-positive-volume-model//01-introduction.tex ====
==== BEGIN A-finite-entropy-system-without-a-smooth-positive-volume-model//02-stationary.tex ====
\section{Stationary estimates for derivative growth}\label{sec:stationary}
The switching construction requires control of derivatives on a long finite
orbit segment. The accuracy may depend on the length of the segment, but
the squared errors must be summable over dyadic lengths. We first obtain
this summability for an arbitrary bounded stationary process. Applying
the result to a triangular representation of the derivative then gives
large sets of orbit segments with the required control.
\subsection{Deviation from a dyadic chord}
Let $(Y_t)_{t\in\Z}$ be a real stationary process with
$\E Y_0^2<\infty$. Stationarity means that translating all indices in
any finite list does not change its joint distribution. For $h\geq 0$
define the block average and normalized maximal chord deviation by
\[
A_h=2^{-h}\sum_{t=0}^{2^h-1}Y_t,
\qquad
Z_h=2^{-h}\max_{0\leq u\leq 2^h}
\left|\sum_{t=0}^{u-1}Y_t-uA_h\right|.
\]
The maximum is over integer $u$, and an empty sum is zero.
In particular $Z_0=0$. The chord here uses the average on the
particular block under consideration; it is not a line whose slope is
the mean of the stationary process.
\begin{lemma}[Dyadic chord estimate]\label{lem:dyadic}
For the process above, put
\[
v_l=\E A_{l-1}^2-\E A_l^2,\qquad l\geq 1.
\]
Then $v_l\geq 0$, $\sum_{l\geq 1}v_l\leq\E Y_0^2$, and
\begin{equation}\label{eq:dyadic-convolution}
\|Z_h\|_{L^2}
\leq \frac12\sum_{a=0}^{h-1}2^{-a/2}\sqrt{v_{h-a}}
\qquad(h\geq 1).
\end{equation}
Consequently
\begin{equation}\label{eq:dyadic-square-sum}
\sum_{h\geq 1}\|Z_h\|_{L^2}^2
\leq C\,\E Y_0^2
\end{equation}
for an absolute constant $C$. The same estimates hold for a block
beginning at any deterministic integer time.
\end{lemma}
\begin{proof}
Consider a block of length $2^l$, and let $U$ and $V$ be the averages on
its left and right halves. Its own average is $W=(U+V)/2$. The identity
\[
\frac{(U-W)^2+(V-W)^2}{2}
=\frac{U^2+V^2}{2}-W^2
\]
and stationarity give
\[
v_l
=\E\frac{(U-W)^2+(V-W)^2}{2}
=\E(U-W)^2.
\]
The last equality also follows pointwise from $V-W=-(U-W)$.
Thus $v_l\geq0$, and telescoping the differences of second moments proves
the asserted bound on their sum. No independence of the two halves is
used.
We next compare the cumulative-sum polygon on $[0,2^h]$ with its chord.
For $a=0,\ldots,h$, let $F_a$ be the piecewise-linear interpolant that
agrees with the cumulative sum at the multiples of $2^{h-a}$.
Then $F_0$ is the chord and $F_h$ agrees with every integer-time
cumulative sum. Passing from $F_a$ to $F_{a+1}$ inserts the midpoint
of each of $2^a$ intervals of length $2^{h-a}$.
If $U_j,W_j$ are respectively the left-child and parent averages on
the $j$th such interval, the displacement at its midpoint is
$2^{h-a-1}(U_j-W_j)$.
The difference of the interpolants is linear between the old and new
vertices, so
\[
2^{-h}\|F_{a+1}-F_a\|_\infty
\leq 2^{-a-1}\max_{1\leq j\leq 2^a}|U_j-W_j|.
\]
Bounding a squared maximum by the sum of squares and using stationarity
of each interval gives
\[
\left\|2^{-h}\|F_{a+1}-F_a\|_\infty\right\|_{L^2}
\leq 2^{-a-1}\bigl(2^a v_{h-a}\bigr)^{1/2}.
\]
The triangle inequality, first for the polygonal sup norm and then in
$L^2$, proves \eqref{eq:dyadic-convolution}.
Extend the sequence $(\sqrt{v_l})_{l\geq1}$ by zero to nonpositive
indices. Its squared $\ell^2$ norm is at most $\E Y_0^2$.
The right side of \eqref{eq:dyadic-convolution} is its convolution
with the summable sequence $(2^{-a/2-1})_{a\geq0}$.
The triangle inequality for the $\ell^2$ norms of its translates
therefore proves \eqref{eq:dyadic-square-sum}.
Finally, stationarity identifies the distribution of each translated
block with that of the block just considered.
\end{proof}
\subsection{A stationary triangular derivative representation}
Fix a compact smooth manifold $M$ of dimension $d\geq1$, a smooth
Riemannian metric, a smooth diffeomorphism $S:M\to M$, and an
$S$-invariant probability measure $\nu$. In the switching argument
$\nu$ will have a smooth positive density. That extra assumption is
not needed in this section. The constructions also apply to a compact
manifold with smooth boundary.
The compact frame extension and triangular cocycle have a classical
precedent in Oseledets's proof of the multiplicative ergodic theorem
\cite[\S4, pp.~208--209, equations~(6)--(10)]{Oseledets1968}.
We use the full orthogonal frame bundle and a positive-diagonal upper
triangular convention. The finite-time estimates below follow from the
stationary chord lemma; we do not invoke a limiting Lyapunov splitting
or a convergence rate in the multiplicative ergodic theorem.
The orthonormal frame bundle $\mathcal F M$ consists of the linear
isometries $e:\R^d\to T_xM$, with bundle projection $\pi(e)=x$.
For each frame there is a unique positive-diagonal QR factorization
\begin{equation}\label{eq:frame-qr}
D S_x\circ e=\widetilde S(e)\,R(e),
\end{equation}
where $\widetilde S(e)$ is an orthonormal frame at $Sx$ and $R(e)$
is upper triangular with positive diagonal.
This is ordinary Gram--Schmidt in the indicated order, with the length
of each new perpendicular component chosen positive.
It depends continuously, indeed smoothly, on the frame and the base
point.
The map $\widetilde S$ is invertible. If
$DS_x e=e'R$, then
$(DS_x)^{-1}e'=D(S^{-1})_{Sx}e'=eR^{-1}$, where the inverse
linear map has domain $T_{Sx}M$ and codomain $T_xM$.
The matrix $R^{-1}$ is again upper triangular with
positive diagonal. Taking positive-diagonal QR after applying the
inverse derivative therefore recovers $e$. This also proves
continuity of the inverse. The construction uses the full orthonormal
frame bundle and does not require a global frame or an orientation.
There is a $\widetilde S$-invariant probability $\widetilde\nu$ whose
projection is $\nu$. To see this, first put the normalized
orthogonal-group Haar measure on every fiber over $\nu$.
Orthogonal changes of local trivialization preserve this fiber
measure, so the resulting probability is defined without choosing a
global section. Each of its iterates under $\widetilde S$ projects
to $\nu$. Cesaro averages have a weakly convergent subsequence,
because $\mathcal F M$ is compact. The difference between the
pushforward of an average and the average itself tends to zero
against every continuous function, so its limit is invariant.
Continuity of $\pi$ preserves the marginal $\nu$ in the limit.
Compactness and invertibility provide a constant $A_*>1$ such that
\begin{equation}\label{eq:qr-uniform-bounds}
\|R(e)\|,\ \|R(e)^{-1}\|\leq A_*
\qquad(e\in\mathcal F M).
\end{equation}
In particular $A_*^{-1}\leq R(e)_{jj}\leq A_*$.
The functions
\[
g_j(e)=\ln R(e)_{jj},\qquad 1\leq j\leq d,
\]
are continuous and bounded, and
$(g_j(\widetilde S^t e))_{t\in\Z}$ is stationary under
$\widetilde\nu$.
\begin{proposition}[Good finite orbit segments]\label{prop:good-frames}
For each $\eta>0$ there is a positive sequence $(b_k)_{k\geq1}$ with
\begin{equation}\label{eq:b-summability}
b_k\geq 2^{-k/10},
\qquad
\sum_{k\geq1}b_k^2<\infty,
\end{equation}
and compact sets $\widetilde{\mathcal G}_k\subset\mathcal F M$ and
$\mathcal G_k=\pi(\widetilde{\mathcal G}_k)\subset M$ such that
\[
\widetilde\nu(\widetilde{\mathcal G}_k)\geq1-\eta/100,
\qquad \nu(\mathcal G_k)\geq1-\eta/100.
\]
For $n=2^k$, $b=b_k$, and $e\in\widetilde{\mathcal G}_k$, define
\[
A_t=R(\widetilde S^t e)\quad(-n\leq tb_kn
\right)
\leq \frac{4\alpha_{k+1}^2}{b_k^2}
\leq\frac{\eta}{400}.
\]
Define $\widetilde{\mathcal G}_k$ by the complementary non-strict
inequalities. These are finitely many continuous inequalities on a
compact bundle, so this set and its projection are compact.
Moreover
\[
\pi^{-1}(M\setminus\mathcal G_k)
\subset\mathcal F M\setminus\widetilde{\mathcal G}_k.
\]
The pushforward identity $\pi_*\widetilde\nu=\nu$ gives the asserted
base-measure estimate. No measurable choice of a frame over each
point of $\mathcal G_k$ is needed.
Finally, subtracting the chord error at $u$ from the chord error at $v$
gives \eqref{eq:good-subinterval}, with the same rates $\lambda_j$.
\end{proof}
We call a frame in $\widetilde{\mathcal G}_k$ good at scale $k$,
and a base point in $\mathcal G_k$ good at that scale.
Every good base point has a good witness frame. The estimates below
hold for every such witness; witnesses at different points or scales
need not be chosen coherently. We do not require an individual point
to be good at all sufficiently large scales.
The stationary argument has now supplied the summable quantity that
will control the cost of switching. Fix $\eta$ and its sequence
$(b_k)$, and use the following parameters at scale $n=2^k$:
\begin{equation}\label{eq:smooth-scales}
\begin{aligned}
b&=b_k,& B&=b^{1/8},& g&=b^{1/2},\\
L&=\lceil b^{1/4}n\rceil,&
h_0&=e^{-Bn},&r&=e^{-2Bn},&\delta&=e^{-3Bn/2}.
\end{aligned}
\end{equation}
The parameter $b$ controls the diagonal chord error $bn$;
$g$ will be the separation margin for the finite-interval rates,
$L$ is the short comparison time, and $B$ sets the spatial scales
and the upper bound $CBn$ for the logarithm of the number of
partition cells. Here $h_0$ and $r$ will be spatial lengths; $\delta$ will be a
neighborhood radius for an orbit construction.
Since $b_k\to0$ and $bn\geq n^{9/10}$,
\begin{equation}\label{eq:smooth-hierarchy}
\ln n=o(bn),\quad bn=o(gL),\quad gL=o(gn),\quad
gn=o(L),\quad L=o(Bn).
\end{equation}
The ceiling in $L$ has no effect on these comparisons.
We also have
\[
\sum_k B_k^{16}=\sum_k b_k^2<\infty,
\qquad Bn\geq n^{79/80}.
\]
All subsequent asymptotic estimates are for $k\to\infty$.
Constants may depend on the fixed smooth data, dimension, and $\eta$,
but not on the point, its good witness, or the scale.
==== END A-finite-entropy-system-without-a-smooth-positive-volume-model//02-stationary.tex ====
==== BEGIN A-finite-entropy-system-without-a-smooth-positive-volume-model//03-linear.tex ====
\section{Linear estimates on finite orbit segments}\label{sec:linear}
We now turn the diagonal control of
\Cref{prop:good-frames} into estimates for the full derivative.
There are three steps. A finite-interval change of basis separates
groups of diagonal rates, short derivatives identify nearly the same
spaces at nearby base points, and a product-expansion estimate controls
small perturbations relative to the possibly small exterior volumes.
These statements will supply the linear data for switching orbit
segments.
\subsection{Triangular products and separation of rates}
For invertible matrices $A_t$ indexed by $-n\leq ts),\qquad
A(s,s)=\Id,\qquad A(s,t)=A(t,s)^{-1}.
\]
All vector norms and exterior-power norms in the next proposition are
Euclidean operator norms. If $E$ is a $q$-dimensional subspace and
$A$ is injective, let
\[
J_q(A|E)=\|(\mathord{\bigwedge}^q A)\xi\|,
\]
where $\xi$ is either unit simple $q$-vector spanning $E$.
This is the intrinsic $q$-dimensional volume expansion. We set
$J_0=1$, and the zeroth exterior power is the identity on $\R$.
\begin{proposition}[Finite-interval splitting]\label{prop:finite-splitting}
Fix $d\geq1$ and $A_*>1$. There is a constant $C$, depending only on
these two quantities, with the following properties.
Let $n\geq2$, $b>0$, and $\ln(2n+1)\leq bn$.
Suppose that $A_t$, $-n\leq t0$ separate all the rates:
each $\lambda_j$ is at most $\gamma-g$ or at least $\gamma+g$.
Let $F$ be the set of indices in the second group, let
$p=|F|$, and put
\[
\Lambda=\sum_{j\in F}\lambda_j,\qquad
\Omega=-\sum_{j\notin F}\lambda_j.
\]
There are decompositions
$\R^d=E_t^s\oplus E_t^f$, $-n\leq t\leq n$, invariant under each
$A_t$, with $\dim E_t^f=p$, whose two projections have norm at most
$e^{Cbn}$. For $s\leq t$ and $l=t-s$ they satisfy
\begin{align}
\|A(t,s)|E_s^s\|&\leq e^{(\gamma-g)l+Cbn},
&
\|A(s,t)|E_t^f\|&\leq e^{-(\gamma+g)l+Cbn},
\label{eq:split-propagation}\\
\|\mathord{\bigwedge}^p A(t,s)\|&\leq e^{\Lambda l+Cbn},
&
e^{\Lambda l-Cbn}\leq
J_p(A(t,s)|E_s^f)&\leq e^{\Lambda l+Cbn},
\label{eq:fast-volume}\\
\|\mathord{\bigwedge}^{d-p} A(s,t)\|&\leq e^{\Omega l+Cbn},
&
e^{\Omega l-Cbn}\leq
J_{d-p}(A(s,t)|E_t^s)&\leq e^{\Omega l+Cbn}.
\label{eq:slow-backward-volume}
\end{align}
If $01$, prescribe $u_n=0$ and solve backward:
\[
u_t=-\sum_{a=t}^{n-1}q^{\,t-1-a}f_a.
\]
In each formula the coefficients have modulus at most one, so
$|u_t|\leq2n\max_a|f_a|$.
Different groups cannot have $q=1$.
This bound avoids dividing by the possibly small separation of rates.
Right multiplication by $Q_t$ changes column $j$ by a multiple of
column $i$, and left multiplication by $Q_{t+1}^{-1}$ changes row
$i$ by a multiple of row $j$.
Upper triangularity shows that every affected off-diagonal position
has distance at least $j-i$; at that distance only $(i,j)$ changes.
The possible quadratic cross term is zero because
$E_{ij}\widehat A_tE_{ij}=(\widehat A_t)_{ji}E_{ij}=0$.
Thus a later operation cannot restore an entry on an earlier
superdiagonal.
There are at most $d(d-1)/2$ operations.
At each operation the bound above, the current entry bounds, and
\eqref{eq:bounded-rates} bound the shear and its inverse by
$e^{Cbn}$. Multiplying or adding a fixed number of such quantities
only changes $C$; the factor $2n$ is absorbed by $\ln(2n+1)\leq bn$.
Induction over this fixed number of operations therefore gives
matrices $C_t$ with
\begin{equation}\label{eq:finite-gauge}
\|C_t\|,\ \|C_t^{-1}\|\leq e^{Cbn},
\qquad
B_t=C_{t+1}^{-1}A_tC_t,
\end{equation}
where $B_t$ is upper triangular, has diagonal $e^{\lambda_j}$,
and has no entries between the two groups. Its entries and those of
$B_t^{-1}$ are bounded by $e^{Cbn}$.
All constants are independent of the length of the interval.
Let $\R^F$ be the coordinate span with indices in $F$ and
$\R^{F^c}$ its coordinate complement. Set
\[
E_t^f=C_t\R^F,\qquad E_t^s=C_t\R^{F^c}.
\]
These spaces are invariant under the original matrices.
Their projections are conjugates by $C_t$ of coordinate projections,
and hence have norm at most $e^{Cbn}$ after changing $C$.
The two groups may be interlaced in the original coordinate order.
Each induced block is nevertheless upper triangular in its inherited
order; a fixed permutation makes the two blocks consecutive if desired.
The triangular-product estimate within these blocks proves
\eqref{eq:split-propagation}.
\emph{Exterior volumes and mixed factors.}
The fast rates are exactly the $p$ largest rates. The general exterior
bound already proves the first inequality of \eqref{eq:fast-volume}.
The normalized fast block has determinant $e^{\Lambda l}$ on an
interval of length $l$.
To account explicitly for its possibly oblique basis, define
\[
V_F(t)=
\sqrt{\det\bigl((C_t|_{\R^F})^*(C_t|_{\R^F})\bigr)}.
\]
For $p=0$ this Gram determinant is one. The endpoint bounds in
\eqref{eq:finite-gauge} imply
$e^{-Cbn}\leq V_F(t)\leq e^{Cbn}$.
The intrinsic volume expansion is exactly
\[
J_p(A(t,s)|E_s^f)
=e^{\Lambda l}\frac{V_F(t)}{V_F(s)}.
\]
This proves both volume bounds in \eqref{eq:fast-volume}.
Applying the same argument to the inverse slow block gives
\eqref{eq:slow-backward-volume}, including either sign of $\Omega$.
The normalized block decomposition induces an invariant decomposition
of each exterior power according to the number of fast and slow
factors. In degree $p$, every sector with a slow factor has diagonal
rate sum at most $\Lambda-2g$: at least one fast rate has been
replaced by a slow rate.
The triangular-product estimate therefore bounds this entire sector
by $e^{(\Lambda-2g)l+Cbn}$.
If one original vector is slow, split each of the other vectors into
its fast and slow parts. There are only a fixed number of terms, each
still having a slow factor. The projection norms and endpoint gauges
are absorbed into $e^{Cbn}$, proving \eqref{eq:mixed-exterior}.
Reversing time and exchanging the groups gives the backward statement.
The empty-group cases require none of these mixed-factor assertions
and follow from the stated conventions.
\end{proof}
The estimates concern every subinterval of one good finite trajectory.
The change of basis is made once on that trajectory; only its values
at the two ends of a subinterval enter a product estimate.
In particular, a gauge loss is not multiplied once for each time step.
For a good frame in \Cref{prop:good-frames}, the matrices of the
derivative in the moving orthonormal frames satisfy the hypotheses
above for all sufficiently large $k$.
The proposition therefore gives tangent spaces
$E_t^s,E_t^f\subset T_{S^t x}M$ and the corresponding derivative
estimates. We use this notation also after expressing the spaces in
chart coordinates. Coordinate maps from a fixed uniformly regular
finite atlas conjugate every product only at its endpoints, so their
bounded norms and inverse norms change the constants in the estimates,
but not their form.
\subsection{Spaces that can be chosen uniformly in a spatial bin}
We need spaces at nearby starting points to agree much more accurately
than their possible small angle. The comparison uses short derivative
products and the parameters in \eqref{eq:smooth-scales}.
Fix a finite family of coordinate charts with smaller relatively
compact subcharts covering $M$.
Their coordinate maps, inverse maps, and the local expressions of
$S$ and $S^{-1}$ have uniform bounds through order two on the relevant
compact sets. Each spatial bin below is contained in one of the
smaller subcharts, has coordinate diameter at most $C h_0$, and
uses that specified chart to identify its tangent spaces with $\R^d$.
At a boundary of $M$ use nested half-box charts.
For equal-dimensional subspaces $E,F\subset\R^d$, measure their
distance by $\|\Pi_E-\Pi_F\|$, where $\Pi_E,\Pi_F$ are Euclidean
orthogonal projections. This distance concerns the subspaces and
does not require a choice of bases in them.
\begin{lemma}[Common spaces in a bin]\label{lem:bin-spaces}
For all sufficiently large $k$, each spatial bin $U$ meeting
$\mathcal G_k$ has a number
\[
\gamma_U\in[g,(8d+1)g]
\]
such that every good witness frame over $U$ has all its rates at most
$\gamma_U-g$ or at least $\gamma_U+g$, with the same number $p_U$
in the second group.
Apply \Cref{prop:finite-splitting} using this threshold.
There is $c>0$, independent of the bin and the witnesses, such that:
\begin{enumerate}[label=\textup{(\roman*)}]
\item The spaces $E_0^s$ from any two good witnesses over $U$ are
within $e^{-c gL}$ of one another in its coordinate chart.
The same holds for the spaces $E_0^f$.
\item For good paths starting in $U$ whose time-$n$ endpoints lie
in a common endpoint bin $V$, their spaces $E_n^f$ are within
$e^{-c gL}$ of one another in the chart of $V$.
For paths whose time-$(-n)$ endpoints lie in a common bin,
the same assertion holds for $E_{-n}^s$.
\end{enumerate}
In particular, fix one representative space for each nonempty
combination of bins in \textup{(ii)}. Orthogonal projection onto it,
restricted to any corresponding actual endpoint space, is an
isomorphism with inverse norm at most $2$.
If $p_U=0$ or $p_U=d$, the relevant zero or full spaces agree exactly.
\end{lemma}
\begin{proof}
\emph{Short products in common charts.}
Choose one reference point in a starting bin.
Uniform Lipschitz bounds for $S$ and $S^{-1}$ give, for another point
in that bin,
\[
d_M(S^t x,S^t y)\leq C A_0^{|t|}h_0
\qquad(|t|\leq L)
\]
with a fixed $A_0>1$.
Since $L=o(Bn)$, this tends to zero uniformly.
At each time on either short reference orbit choose a chart whose
smaller subchart contains the reference point.
All nearby orbits then remain in the same larger chart at that time.
Use the prescribed bin chart at the initial time.
The one-step coordinate derivatives and their inverses are bounded by
a fixed constant, and their differences are at most
$C A_0^{|t|}h_0$.
The telescoping product identity consequently gives
\begin{equation}\label{eq:short-product-comparison}
\|P_x^\pm-P_y^\pm\|\leq e^{-Bn+CL}=:\zeta_k,\qquad
\sigma_{\min}(P_x^\pm)\geq e^{-CL}=:m_k.
\end{equation}
Here $P_x^+$ and $P_x^-$ denote $DS^L_x$ and $DS^{-L}_x$,
respectively, in these common initial and terminal charts.
For example, summing the $L$ terms in the product difference bounds
it by $C L A_1^{2L}h_0$, which has the stated form.
The inverse product bound gives the minimum stretch.
On a manifold with boundary the same proof uses the nested half-box
charts and uniform one-sided smooth bounds; equivalently the finitely
many local expressions may be extended to their surrounding boxes.
The singular values are Lipschitz with respect to operator norm.
Since $\zeta_k/m_k\to0$, \eqref{eq:short-product-comparison} implies,
after increasing the constants if necessary,
\begin{equation}\label{eq:short-log-singular}
|\ln\sigma_j(P_x^+)-\ln\sigma_j(P_y^+)|
\leq 2\zeta_k/m_k .
\end{equation}
For completeness, the singular-value Lipschitz bound follows from
the min--max characterization, because $\|Pv\|$ and $\|Qv\|$
differ by at most $\|P-Q\|$ on unit vectors.
The logarithmic inequality then follows from the lower bound $m_k$.
\emph{A threshold for every witness.}
Let $\lambda_{(j)}(e)$ be the sorted rates of a good witness $e$.
Subtracting \eqref{eq:exterior-rate-comparison} for exterior degrees
$j$ and $j-1$ gives
\begin{equation}\label{eq:singular-rate}
\left|L^{-1}\ln\sigma_j(P_{\pi(e)}^+)
-\lambda_{(j)}(e)\right|
\leq Cbn/L.
\end{equation}
This argument uses the no-gap part of
\Cref{prop:finite-splitting}; a threshold has not yet been chosen.
Fix one good witness $e_*$ in $U$.
Equations \eqref{eq:short-log-singular} and \eqref{eq:singular-rate}
show that every good witness in $U$, including every other witness
over the same point, satisfies
\[
\max_j|\lambda_{(j)}(e)-\lambda_{(j)}(e_*)|
\leq Cbn/L+2\zeta_k/(m_kL)=o(g).
\]
Consider the $d+1$ candidate thresholds $(1+8j)g$, $0\leq j\leq d$.
A real number lies within distance $3g$ of at most one candidate.
The $d$ representative rates therefore leave a candidate whose
distance from all of them is greater than $3g$.
For large $k$, all the other sorted rate lists differ by less than
$g$, so this candidate separates every list with a margin greater
than $2g$. It has the weaker required margin $g$, and the number of
rates above it is constant. Fix this candidate as $\gamma_U$.
\emph{Comparison of subspaces using one short map.}
Assume first that $00$ and large $k$.
To pass from this directed estimate to a subspace estimate, observe
that if $\|\Pi_{W^\perp}|E\|\leq\epsilon<1$ and
$\dim E=\dim W$, then $\Pi_W|E$ is an isomorphism.
The space $E$ is a graph over $W$ of norm at most
$\epsilon/\sqrt{1-\epsilon^2}$.
The corresponding orthogonal projectors differ by at most a fixed
multiple of $\epsilon$ when $\epsilon\leq1/2$.
Thus every slow space is within $C e^{-c_1gL}$ of this same $W$;
the triangle inequality compares any two slow spaces.
No continuity assertion about singular vectors or chosen good frames
has been used.
For fast spaces use the single backward short map
$P_{\pi(e_*)}^-$.
Its bottom $p_U$ right-singular space is the comparison space.
The top $q$ singular values are at least
$\exp(-(\gamma_U-g)L-Cbn)$, whereas a unit fast vector has backward
stretch at most $\exp(-(\gamma_U+g)L+Cbn)$.
The identical calculation gives the error bound
\[
e^{-2gL+Cbn}
+\zeta_k e^{(\gamma_U-g)L+Cbn}
\leq e^{-2gL+Cbn}+e^{-Bn+CL}.
\]
This proves \textup{(i)} after reducing $c$ to absorb fixed factors.
In particular, the error is $o(e^{-C_0bn})$ for every fixed $C_0$,
by $bn=o(gL)$.
\emph{Endpoint comparisons.}
Keep the threshold of $U$.
For paths starting in $U$ and ending at time $n$ in a common bin $V$,
choose one representative path for this pair of bins.
Apply the preceding short-product comparison from their time-$n$
points backward for length $L$.
Their initial closeness for this comparison is supplied by $V$,
not by propagating the starting-bin closeness for $n$ steps.
All intervals $[n-L,n]$ lie inside the good interval, and all paths
use the same group dimension and threshold.
In particular, \eqref{eq:exterior-rate-comparison} applies on each
$[n-L,n]$ with the same full-segment rates, so the singular-value
comparison and the backward argument just proved compare their fast
spaces at $n$. At $-n$, the identical all-subinterval estimate for
forward short maps on $[-n,-n+L]$ gives the slow-space assertion.
Finally, if $E$ and its chosen representative $F$ have equal dimension
and $\|\Pi_E-\Pi_F\|\leq\epsilon$, then for $v\in E$,
\[
\|\Pi_F v\|\geq\sqrt{1-\epsilon^2}\,\|v\|.
\]
The restriction is onto $F$ by equality of dimensions, and its inverse
has norm at most $(1-\epsilon^2)^{-1/2}\leq2$ for large $k$.
If one group is empty, the associated spaces are identically zero or
the full coordinate space, so all comparisons and projection
conclusions follow directly.
\end{proof}
For later use, choose one good witness in each nonempty starting bin
and orthonormal bases within each of its two spaces at time zero.
The matrix having these two bases as columns has norm bounded by a
dimension-only constant and inverse norm at most $e^{Cbn}$, by the
projection bounds of \Cref{prop:finite-splitting}.
It gives fixed product coordinates for that bin.
Likewise \Cref{lem:bin-spaces} supplies fixed endpoint projections
for each relevant pair of bins.
All these choices are finite at a fixed scale. Their constancy within
the indicated bins, rather than any continuity of choices between
bins, is what the switching construction will use.
\subsection{Relative stability of exterior products}
The bounds on every unperturbed subinterval also control a perturbed
long product. This must be a relative estimate: a leading volume can
be exponentially small, so continuity with an absolute error alone is
insufficient.
\begin{lemma}[Exterior-product perturbation]\label{lem:relative-exterior}
Fix $d\geq1$ and $K\geq1$. Let $0\leq p\leq d$, let $m\geq1$,
and let $A_0,\ldots,A_{m-1}$ and
$\widehat A_0,\ldots,\widehat A_{m-1}$ be real $d$-by-$d$ matrices
such that
\[
\|A_t\|\leq K,\qquad
\|\widehat A_t-A_t\|\leq\epsilon\leq1.
\]
Use the same product notation as above for nonnegative indices.
Suppose $a\geq0$, $\sigma\in\R$, and
\[
\|\mathord{\bigwedge}^p A(t,s)\|
\leq e^{\sigma(t-s)+a}
\qquad(0\leq s\leq t\leq m).
\]
There is $C=C(d,K)$ such that
\begin{equation}\label{eq:exterior-perturbation}
\left\|\mathord{\bigwedge}^p\widehat A(m,0)
-\mathord{\bigwedge}^p A(m,0)\right\|
\leq e^{\sigma m+a}
\left[(1+C\epsilon e^{a+|\sigma|})^m-1\right].
\end{equation}
For $p=0$ the left side is zero.
In particular, use the scales \eqref{eq:smooth-scales}, take
$m\leq2n$, $a\leq C_1bn$, $|\sigma|\leq C_2$, and
$\epsilon\leq C_3e^{-3Bn/2}$, with fixed constants.
Then for every fixed $C_0>0$ the left side of
\eqref{eq:exterior-perturbation} is
\begin{equation}\label{eq:relative-exterior-small}
o\!\left(e^{\sigma m-C_0bn}\right),
\end{equation}
uniformly for all matrices satisfying these hypotheses.
\end{lemma}
\begin{proof}
The exterior power is multiplicative. Multilinearity in its $p$
columns, together with the one-step bound $K+1$ for the perturbed
matrices, gives
\[
E_t:=\mathord{\bigwedge}^p\widehat A_t
-\mathord{\bigwedge}^p A_t,
\qquad \|E_t\|\leq C\epsilon.
\]
Expand the product using either the unperturbed exterior matrix or
$E_t$ at each time. A term with $q\geq1$ insertions has $q+1$
unperturbed intervals whose total length is $m-q$.
Allowing empty intervals, the hypothesis bounds that term by
\[
e^{\sigma(m-q)+(q+1)a}(C\epsilon)^q
=e^{\sigma m+a}(C\epsilon e^{a-\sigma})^q.
\]
There are $\binom mq$ choices of the inserted positions.
Sum over $q=1,\ldots,m$ and use $-\sigma\leq|\sigma|$ to prove
\eqref{eq:exterior-perturbation}. This calculation explains why
negative $\sigma$, as may occur for backward exterior volumes, is
harmless: each removed time step contributes only the displayed
factor $e^{-\sigma}$.
For the final assertion put
$u=C\epsilon e^{a+|\sigma|}$ and use
$(1+u)^m-1\leq mu e^{mu}$.
After division by $e^{\sigma m-C_0bn}$ the bound is at most
\[
C m\epsilon e^{(2C_1+C_0)bn+C_2}
\exp\!\bigl(Cm\epsilon e^{C_1bn+C_2}\bigr).
\]
The logarithm of its decisive first factor is at most
$-3Bn/2+O(bn)+\ln(2n)$, which tends to $-\infty$ by
\eqref{eq:smooth-hierarchy}. The quantity in the second exponential
tends to zero for the same reason.
All constants are fixed, proving the uniform little-oh assertion.
For exterior degree zero the two products are both the identity, so
the result holds without an expansion.
\end{proof}
The lemma applies to forward degree-$p$ products with
$\sigma=\Lambda$ and to backward degree-$(d-p)$ products with
$\sigma=\Omega$ from \Cref{prop:finite-splitting}.
Together with \Cref{lem:bin-spaces}, it supplies uniform linear
and relative-volume estimates for orbit segments whose starting
points occupy one small spatial bin.
==== END A-finite-entropy-system-without-a-smooth-positive-volume-model//03-linear.tex ====
==== BEGIN A-finite-entropy-system-without-a-smooth-positive-volume-model//04-switching.tex ====
\section{Switching a past and a future with controlled volume}
\label{sec:switching}
The finite-interval estimates now give a geometric operation on pairs of
nearby points. It joins the future of one point to the past of the other.
We must control the distribution of the resulting point as well as its
orbit: this requires constructing both complementary joins and estimating
their joint Jacobian.
The joining geometry is related to the canonical local-product
coordinates of hyperbolic dynamics \cite[\S I.7]{Smale1967}.
Solving a linear difference equation and then a nonlinear contraction
also has a standard shadowing precedent
\cite[Lemma~3.2 and Proposition~4.1]{ChowLinPalmer1989}.
Here the slow group may include zero or positive rates; we prove the
finite-interval boundary inverse directly. The measure inequality
requires the further determinant and injectivity arguments below.
\begin{theorem}[Smooth switching]\label{thm:switching}
Let $M$ be a compact smooth manifold of positive finite dimension, let
$\nu$ be a smooth positive probability volume in the density sense of
\Cref{sec:introduction}, and let $S:M\to M$
be a smooth diffeomorphism preserving $\nu$. Fix a Riemannian distance
$d_M$ and $\eta>0$. There exist positive numbers $B_k$ with
$\sum_k B_k^{16}<\infty$ and a constant $C$ such that the following
holds for all sufficiently large $k$, with $n=2^k$.
There is a finite measurable partition $\mathcal D_k$ of $M$ with
$\#\mathcal D_k\le \exp(CB_kn)$. Define the probability measure
\begin{equation}\label{eq:pair-law}
\rho_k=\sum_{\substack{Q\in\mathcal D_k\\\nu(Q)>0}}
\frac{(\nu|_Q)\otimes(\nu|_Q)}{\nu(Q)}.
\end{equation}
Thus one first samples a cell with its $\nu$-weight and then samples
two independent points in that cell. There are a measurable set
$G_k\subset M\times M$, with $\rho_k(G_k)\ge1-\eta$, and a measurable
map $z_k:G_k\to M$ such that
\begin{equation}\label{eq:switch-law}
(z_k)_*(\rho_k|_{G_k})\le 2\nu
\end{equation}
and
\begin{equation}\label{eq:switch-shadow}
\sup_{(x,y)\in G_k}\left[
\max_{0\le t\le n}d_M(S^t z_k(x,y),S^t x)
+\max_{-n\le t\le0}d_M(S^t z_k(x,y),S^t y)
\right]\longrightarrow0.
\end{equation}
The measure on the left of \eqref{eq:switch-law} is not normalized
after restriction to $G_k$. The same conclusions hold if $M$ has a
smooth boundary.
\end{theorem}
The proof occupies the rest of this section. Its first two steps produce
two complementary switches $(z,w)$. The last two steps show that their
pair map is injective and has volume Jacobian $1+o(1)$. This is what
will give \eqref{eq:switch-law}.
\subsection{Grids, retained pairs, and fixed endpoint projections}
We may assume $0<\eta<1$. Apply \Cref{prop:good-frames} with parameter
$\eta/2$. It supplies $b=b_k\ge n^{-1/10}$,
$\sum_k b_k^2<\infty$, and a compact set of good base points,
denoted here by $\mathcal A_k$ to distinguish it from the retained pair set,
with suitable frame paths on $[-n,n]$, such that
$\nu(M\setminus\mathcal A_k)<\eta/100$. Set
\begin{equation}\label{eq:switch-scales}
B=b^{1/8},\quad h_0=e^{-Bn},\quad r=e^{-2Bn},\quad
L=\lceil b^{1/4}n\rceil,\quad g=b^{1/2},\quad
\delta=e^{-3Bn/2}.
\end{equation}
Here and below constants depend only on the fixed smooth data, dimension,
and $\eta$. They never depend on a point, bin, frame witness, or $k$.
In particular,
\begin{equation}\label{eq:switch-scale-order}
\log n=o(bn),\quad bn=o(gL),\quad gL=o(gn),\quad
gn=o(L),\quad L=o(Bn).
\end{equation}
These relations absorb every fixed power of a quantity bounded by
$e^{Cbn}$ or $e^{Cgn}$ at the places where it is used below.
Choose a finite system of coordinate patches with smaller coordinate
boxes covering $M$, each smaller box having closure in its patch.
Assign points to the first smaller box containing them. This gives
disjoint chart regions whose boundaries lie in finitely many smooth
coordinate faces. The coordinate maps, their inverses, and the chart
density of $\nu$ have uniform bounds on slightly larger compact patches;
the density has a uniform positive lower bound. Within each region
use the grid of coordinate cubes of side $h_0$, keeping only cubes whose
closures lie in that region. We call these cubes \emph{coarse bins}.
The discarded part has volume $O(h_0)$: it is contained in a fixed
multiple of the $h_0$-neighborhood of the finitely many region boundaries.
All comparisons at a common starting or endpoint bin use its one fixed
coordinate map.
For a starting bin $Q$ meeting $\mathcal A_k$, \Cref{lem:bin-spaces}
gives a common threshold $\gamma_Q\in[g,Cg]$, a fast dimension $p_Q$,
and reference spaces $E_Q^s,E_Q^f$ at time zero. The spaces of every
good frame path beginning in $Q$ are within $e^{-cgL}$ of these spaces.
Their complementary projections and the inverse of a basis orthonormal
within each space have norm at most $e^{Cbn}$. The threshold and the
reference spaces are chosen once for this bin. This involves finitely
many choices at each scale, not a choice of a frame as a measurable
function on $\mathcal A_k$.
In the starting chart let $E_Q:\R^{d-p_Q}\times\R^{p_Q}\to\R^d$
be the matrix with these orthonormal slow and fast columns, respectively.
Tile the chart by the parallelepipeds $E_Q([0,r)^d+rj)$, $j\in\Z^d$,
and keep the ones whose closures lie in $Q$. Translations of the grid
are immaterial. These are the \emph{product cells}. Although
$\|E_Q^{-1}\|\le e^{Cbn}$, the forward norm satisfies
$\|E_Q\|\le\sqrt2$: for $(a,b)$,
$|E_Q(a,b)|\le |a|+|b|$. Thus every cell has physical diameter at
most $C_dr$ and volume at least $e^{-Cbn}r^d$ up to a fixed factor.
The total number of full cells is consequently at most
\begin{equation}\label{eq:cell-count}
C e^{Cbn}r^{-d}\le e^{CBn}.
\end{equation}
Every point of a coarse bin at distance greater than $C_dr$ from its
walls belongs to a full product cell. Hence the partial-cell loss,
summed over all coarse bins, is $O(r/h_0)=o(1)$.
Use one additional cell for all omitted points and for bins not meeting
$\mathcal A_k$. Assign grid boundaries arbitrarily; they are null.
This completes the partition $\mathcal D_k$ without changing
\eqref{eq:cell-count}.
For two points $x=(x_s,x_f)$ and $y=(y_s,y_f)$ in the product
coordinates of one cell, the ideal exchange
\[
z_0=(y_s,x_f),\qquad w_0=(x_s,y_f)
\]
stays in that cell. These points combine the slow coordinate of one
input with the fast coordinate of the other. For the pairs retained
below, we will construct actual orbit joins $z,w$ whose product
coordinates differ from $z_0,w_0$ by $o(r)$.
Removing thin coordinate strips will therefore keep those
joins in their original cell. This is why the cells follow the two
reference spaces, which need not be orthogonal; see
\Cref{fig:ideal-cell-exchange}.
\begin{figure}[htbp]
\centering
\begin{tikzpicture}[x=.9cm,y=.9cm,>=Stealth,
point/.style={circle,fill,inner sep=1.6pt}]
\draw[thick] (0,0)--(4.8,0)--(6.3,2.8)--(1.5,2.8)--cycle;
\draw[dashed,gray] (1.104,0)--(2.604,2.8);
\draw[dashed,gray] (3.504,0)--(5.004,2.8);
\draw[dashed,gray] (.39,.728)--(5.19,.728);
\draw[dashed,gray] (1.05,1.96)--(5.85,1.96);
\node[point,label=above left:{$x$}] at (2.154,1.96) {};
\node[point,label=below right:{$y$}] at (3.894,.728) {};
\node[point,label=above right:{$z_0$}] at (4.554,1.96) {};
\node[point,label=below left:{$w_0$}] at (1.494,.728) {};
\draw[->] (0,-.4)--(1.5,-.4) node[midway,below] {slow};
\draw[->] (-.45,0)--(.05,.933) node[midway,above left] {fast};
\end{tikzpicture}
\caption{A two-dimensional schematic of the ideal exchange in a
product cell. Dashed lines hold one product coordinate fixed.
The two coordinate directions may be oblique. For retained pairs, the
actual joins are proved to differ from $z_0,w_0$ by $o(r)$ in
\Cref{lem:switch-orbits}.}
\label{fig:ideal-cell-exchange}
\end{figure}
Fix a small number $\tau>0$, independent of $k$. The interior of a
product cell retained at this stage consists of points whose every
product coordinate is at least $\tau r$ from its two cell faces.
The discarded coordinate strips have at most $2d\tau$ of its Euclidean
volume. The constant determinant of $E_Q$ cancels in this fraction.
Moreover, the ratio between the largest and smallest smooth density on
the physical cell is $1+O(r)$, uniformly in $Q$. Thus the total smooth
volume of these strips is at most $2d\tau+o(1)$. The corresponding
strips of width $\tau h_0$ in coarse bins have the same bound. These
are estimates for the original measure $\nu$, without conditioning on
membership in $\mathcal A_k$.
If $M$ has boundary, also exclude points having any iterate at an integer
time in $[-n,n]$ at distance at most $c_0h_0$ from $\partial M$, where
$c_0>0$ is fixed. A smooth boundary collar has volume $O(h_0)$, so
invariance bounds this loss by $O(nh_0)=o(1)$. The latter limit follows
from $Bn\ge n^{79/80}$. Local coordinate extensions across the boundary
may be used for uniform derivative bounds; all orbit tubes constructed
below lie in the original manifold.
Let $R_k$ be the Borel set of points in $\mathcal A_k$ that lie in the
retained interiors of full product cells, whose two endpoints $S^{\pm n}u$
lie in coarse bins at coordinate distance at least $\tau h_0$ from
their faces, and that satisfy the boundary provision when needed.
Bins not meeting $\mathcal A_k$ contain no such point. The preceding
estimates and invariance give
\begin{equation}\label{eq:retained-point-loss}
\nu(M\setminus R_k)\le \eta/100+C_d\tau+o(1).
\end{equation}
Choose $\tau$ so that $C_d\tau<\eta/100$, and then increase $k$ so
that the right-hand side is less than $\eta/4$.
Both marginals of \eqref{eq:pair-law} are exactly $\nu$. Consequently,
for
\begin{equation}\label{eq:retained-pairs}
G_k=(R_k\times R_k)\cap
\bigcup_{Q'\text{ a full product cell}}(Q'\times Q'),
\qquad \rho_k(G_k)\ge1-\eta/2\ge1-\eta.
\end{equation}
The measure $\rho_k$ is supported on pairs in the same partition cell,
and $R_k$ meets only full product cells. Hence
$\rho_k(G_k)=\rho_k(R_k\times R_k)$, and the two marginal bounds give
the displayed estimate. No uniform distribution of good points inside
individual cells is required.
We next fix the maps that will specify the switch. For each starting
bin $Q$ and endpoint bin $U$ reached at time $n$ by a point of
$\mathcal A_k\cap Q$, choose a representative endpoint fast space.
Let $P^+_{Q,U}:\R^d\to\R^{p_Q}$ be its orthogonal projection, followed
by a fixed orthonormal identification with $\R^{p_Q}$. Similarly, for
an endpoint bin $V$ reached at time $-n$, define
$P^-_{Q,V}:\R^d\to\R^{d-p_Q}$ from a representative slow space.
By the endpoint conclusion of \Cref{lem:bin-spaces}, these projections
restrict to isomorphisms on the actual fast and slow endpoint spaces
of every corresponding good path, with inverse norm at most $2$ for
large $k$. The maps depend only on the displayed bins and the starting
threshold. They do not depend on a later choice of input in those bins.
Zero-dimensional projections and determinants have their usual empty
space meanings.
For a retained pair $(x,y)$, write $Q$ for its coarse starting bin and
$U_x,V_x,U_y,V_y$ for the coarse bins of
$S^nx,S^{-n}x,S^ny,S^{-n}y$, respectively. If $\chi_U$ denotes the
coordinate map attached to a bin, define the following smooth maps on
the open sets where the coordinates make sense:
\begin{equation}\label{eq:endpoint-maps}
\begin{aligned}
F_x(u)&=P^+_{Q,U_x}\chi_{U_x}(S^nu),&
P_x(u)&=P^-_{Q,V_x}\chi_{V_x}(S^{-n}u),\\
F_y(u)&=P^+_{Q,U_y}\chi_{U_y}(S^nu),&
P_y(u)&=P^-_{Q,V_y}\chi_{V_y}(S^{-n}u).
\end{aligned}
\end{equation}
The subscripts denote fixed bin labels. We seek $z,w$ satisfying
\begin{equation}\label{eq:four-switch-equations}
F_x(z)=F_x(x),\quad P_y(z)=P_y(y),\qquad
F_y(w)=F_y(y),\quad P_x(w)=P_x(x).
\end{equation}
The next step both solves these equations near the prescribed halves
and gives a larger neighborhood in which each solution is unique.
\Cref{fig:switch-data} displays the required exchange of endpoint data.
\begin{figure}[htbp]
\centering
\begin{tikzpicture}[>=Stealth,
point/.style={circle,draw,minimum size=7mm,inner sep=1pt},
future/.style={->,thick,blue!65!black},
past/.style={->,thick,dashed,orange!75!black}]
\node[point] (x) at (-3,0.85) {$x$};
\node[point] (y) at (-3,-0.85) {$y$};
\node[point] (z) at (3,0.85) {$z$};
\node[point] (w) at (3,-0.85) {$w$};
\draw[future] (x) -- node[above] {$F_x$} (z);
\draw[future] (y) -- node[below] {$F_y$} (w);
\draw[past] (x) -- node[pos=0.27,above,sloped] {$P_x$} (w);
\draw[past] (y) -- node[pos=0.27,below,sloped] {$P_y$} (z);
\end{tikzpicture}
\caption{The endpoint equations for the complementary switches.
Solid arrows copy projected future coordinates; dashed arrows copy
projected past coordinates. The arrows represent endpoint data,
not trajectories in the manifold.}
\label{fig:switch-data}
\end{figure}
\subsection{A boundary inverse and a nonlinear orbit}
\begin{lemma}\label{lem:switch-orbits}
For every sufficiently large $k$ and every $(x,y)\in G_k$, the first
two equations of \eqref{eq:four-switch-equations} have a solution $z$
with
\begin{equation}\label{eq:sharp-shadow}
\max_{0\le t\le n}d_M(S^tz,S^tx)
+\max_{-n\le t\le0}d_M(S^tz,S^ty)
\le e^{Cgn}r.
\end{equation}
In fixed regular coordinates along these halves the solution is unique
among displacement arrays of sup norm at most $\delta$.
The complementary solution $w$ has the analogous properties with $x,y$
exchanged. In the product coordinates of the common cell, if
$x=(x_s,x_f)$ and $y=(y_s,y_f)$, then
\begin{equation}\label{eq:ideal-switch}
z=(y_s,x_f)+o(r),\qquad w=(x_s,y_f)+o(r),
\end{equation}
uniformly over all retained pairs. Both outputs remain in the original
product cell, and their relevant endpoints remain in the respective
four original endpoint bins.
\end{lemma}
\begin{proof}
\emph{Uniform coordinates.}
At each reference location choose one of finitely many slightly larger
regular patches containing a fixed-radius neighborhood of that location.
At time zero both strings use $\chi_Q$; at the terminal times they use
the endpoint charts already specified. Shrinking the fixed radius once,
the one-step coordinate maps
$\chi_{t+1}\circ S\circ\chi_t^{-1}$ and their first two derivatives
are uniformly bounded wherever they will be used. The inverse
one-step maps also have uniform first and second derivative bounds.
For example, differentiating the inverse identity bounds their second
derivatives by a fixed multiple of the forward second-derivative bound
and the cube of the inverse first-derivative bound. This
follows from a finite atlas with nested compact patches and smoothness
on compact $M$; it does not depend on the number of steps. A patch
can be chosen separately at each internal time. No iterate $S^n$
is assigned a uniform second derivative bound.
Use displacement variables $v_t^+$ about $S^tx$, $0\le t\le n$,
and $v_t^-$ about $S^ty$, $-n\le t\le0$. Write $A_t^+,A_t^-$
for the derivative steps in these charts. Matching the two locations
at zero and imposing the terminal equations gives the linear system
\begin{equation}\label{eq:linear-boundary-system}
\begin{aligned}
v_{t+1}^{\pm}-A_t^{\pm}v_t^{\pm}&=f_t^{\pm},\\
v_0^+-v_0^-&=m,\\
P^+_{Q,U_x}v_n^+&=h_+,\qquad
P^-_{Q,V_y}v_{-n}^-=h_-.
\end{aligned}
\end{equation}
The matching datum for the actual problem is
$m=\chi_Q(y)-\chi_Q(x)$; its norm is $O(r)$.
The actual terminal data are zero.
\emph{The inverse in weighted coordinates.}
Let $\gamma=\gamma_Q$ and put $\widetilde v_t=e^{-\gamma t}v_t$.
Use the same weighting on equation data, with the step datum at its
output time $t+1$. By \Cref{prop:finite-splitting}, the weighted
propagators on slow spaces forward and fast spaces backward have norm
at most $e^{Cbn}e^{-g|t-s|}$. The associated projections have norm
at most $e^{Cbn}$. Geometric sums cost at most
$C/g\le e^{Cbn}$, by \eqref{eq:switch-scale-order} and the floor on $b$.
On the future half, prescribe a slow vector $a\in E_0^s(x)$.
Variation of constants gives its slow part at every time by propagating
$a$ forward and adding the projected step data. If $s_n$ is the
resulting slow value at time $n$, the fast value there is uniquely
\[
c_n=(P^+_{Q,U_x}|_{E_n^f(x)})^{-1}
(\widetilde h_+-P^+_{Q,U_x}s_n).
\]
Propagate $c_n$ and the fast step data backward. All forced terms have
norm at most $e^{Cbn}$ times the sup norm of the weighted data.
The dependence of the resulting fast value at zero on $a$ is the map
\begin{equation}\label{eq:future-kernel-graph}
K_+=-\widetilde A_x(0,n)|_{E_n^f(x)}
(P^+_{Q,U_x}|_{E_n^f(x)})^{-1}
P^+_{Q,U_x}\widetilde A_x(n,0)|_{E_0^s(x)},
\qquad \|K_+\|\le e^{-2gn+Cbn}.
\end{equation}
Here $\widetilde A(t,s)=e^{-\gamma(t-s)}A(t,s)$.
Both decaying factors are present in \eqref{eq:future-kernel-graph};
there is no assumption that the endpoint projection annihilates the
slow space. Thus $\widetilde v_0^+=a+K_+a+q_+$, with $q_+$ bounded
by the weighted data as above.
On the past half prescribe $b'\in E_0^f(y)$, propagate fast backward,
use the slow endpoint projection to fix the slow value at $-n$, and
then propagate slow forward. This gives
$\widetilde v_0^-=b'+K_-b'+q_-$, where
\begin{equation}\label{eq:past-kernel-graph}
\|K_-\|\le e^{-2gn+Cbn},\qquad
\|q_-\|\le e^{Cbn}\|\text{weighted data}\|_{\infty}.
\end{equation}
The map $(a,b')\mapsto a-b'$ from $E_0^s(x)\oplus E_0^f(y)$ to
the starting coordinate space has inverse norm at most $e^{Cbn}$.
Indeed the corresponding reference spaces are complementary with this
bound, and their perturbation is $e^{-cgL}$; multiplication by the
reference inverse still gives a perturbation tending to zero.
The terms $K_+a-K_-b'$ are smaller still. A Neumann series therefore
solves the matching equation with inverse cost $e^{Cbn}$.
This proves an $e^{Cbn}$ inverse bound for the full weighted system.
Removing the weights costs at most $e^{2\gamma(n+1)}$, so its
unweighted inverse $\mathcal L^{-1}$ satisfies
\begin{equation}\label{eq:boundary-inverse}
\|\mathcal L^{-1}\|_{\infty\to\infty}\le Q_k,
\qquad Q_k=e^{Cgn}.
\end{equation}
If a group is empty, omit its variables, propagation formula, and
terminal datum. The matching map on the remaining spaces and the
same bounds apply, including the cases $p_Q=0,d$.
\emph{Contraction with a larger uniqueness radius.}
Taylor expansion of each one-step map gives a residual
$\mathcal R(v)$ with
\begin{equation}\label{eq:one-step-remainder}
\|\mathcal R(v)\|_\infty\le C\|v\|_\infty^2,
\qquad
\|\mathcal R(v)-\mathcal R(u)\|_\infty
\le C\delta\|v-u\|_\infty
\end{equation}
on the sup norm ball of radius $\delta$. Every residual coordinate
depends on just its one step, so the constant has no factor $n$.
The matching and terminal equations are affine and have zero nonlinear
residual. The nonlinear problem is
$v=\mathcal L^{-1}(a_0+\mathcal R(v))$, where
$\|a_0\|_\infty\le Cr$.
The scale relations give
\[
CQ_k\delta\longrightarrow0,\qquad Q_kr/\delta\longrightarrow0.
\]
For large $k$ the displayed map sends the $\delta$-ball into its
$\delta/2$-ball and has Lipschitz constant at most $1/4$.
It has a unique fixed point in the larger ball, with
$\|v\|_\infty\le 2CQ_kr$. The exact one-step equations and the
matching equation make this array one genuine orbit; call its point
at zero $z$. Chart bounds give \eqref{eq:sharp-shadow}.
In the boundary case its distance from each reference orbit is
$o(h_0)$, so it stays inside $M$.
\emph{Time-zero coordinates and wall margins.}
For the linear solution with zero step and terminal data, the two
initial displacement spaces are the graphs in
\eqref{eq:future-kernel-graph} and \eqref{eq:past-kernel-graph}.
In the reference product coordinates they differ from the slow and
fast coordinate spaces by at most
$e^{Cbn}(e^{-cgL}+e^{-2gn+Cbn})$. Solving their matching equation
therefore differs from ideal exchange of the fast and slow coordinates
by at most
\begin{equation}\label{eq:linear-switch-error}
e^{Cbn}\bigl(e^{-cgL}+e^{-2gn+Cbn}\bigr)r=o(r).
\end{equation}
All basis conversion and matching inverse factors are included in the
constant $C$. The nonlinear solution differs from the linear one by
at most $CQ_k(2CQ_kr)^2=e^{Cgn}r^2$ in ordinary coordinates, and still
by $e^{Cgn}r^2=o(r)$ in product coordinates. This proves
\eqref{eq:ideal-switch}. The proof for $w$ is identical with the
two inputs exchanged.
Increase $k$ so that the error in each product coordinate is less than
$\tau r/4$. The ideal exchanged point has distance at least $\tau r$
from every product face because both inputs do. Thus $z,w$ have
coordinate margins at least $3\tau r/4$ in their original cell.
Similarly, \eqref{eq:sharp-shadow} in the fixed endpoint charts is
less than $\tau h_0/4$, so each corresponding endpoint retains margin
at least $3\tau h_0/4$ in its original coarse bin. These strict
margins will recover all labels from the outputs.
The point obtained does not depend on the auxiliary internal charts or
on the frame witnesses used to justify the estimates. Two such
constructions have the same endpoint equations and sharp radius
$e^{Cgn}r=o(\delta)$. In either one's charts both are therefore in
its uniqueness ball, and hence coincide.
\end{proof}
\subsection{Relative minors and the joint determinant}
We have constructed complementary orbit joins. A single join need not
have a convenient Jacobian, so we now keep both of them. Their endpoint
coordinates are permuted, which will cancel the large expansion and
contraction factors.
For the fixed labels of a retained pair define
\begin{equation}\label{eq:joint-endpoint-map}
H_{ab}(u)=(F_a(u),P_b(u)),\qquad a,b\in\{x,y\}.
\end{equation}
Each target has dimension $p_Q+(d-p_Q)=d$ and uses the fixed
orthonormal coordinates in the projection ranges.
\begin{lemma}\label{lem:switch-jacobian}
All four derivatives $DH_{xx}(x)$, $DH_{yy}(y)$,
$DH_{xy}(z)$, and $DH_{yx}(w)$ are nonsingular. Locally the equations
\eqref{eq:four-switch-equations} define a smooth pair map
$\Phi(x,y)=(z,w)$ with
\begin{equation}\label{eq:pair-jacobian}
J_{\nu\otimes\nu}\Phi(x,y)=1+o(1),
\end{equation}
uniformly on the retained pairs. The conclusion includes empty slow
or fast groups.
\end{lemma}
\begin{proof}
Put $p=p_Q$. For the future map at $x$, use the actual fast and slow
spaces first, with orthonormal bases within each. The fast $p$-minor
has absolute value at least $e^{\Lambda_x n-Cbn}$, where
$\Lambda_x$ is the sum of its fast rates. This follows from the
fast volume lower bound in \Cref{prop:finite-splitting} and from the
uniformly invertible restriction of the endpoint projection.
Every other maximal minor contains a slow starting vector and is at
most $e^{(\Lambda_x-2g)n+Cbn}$ when both groups occur.
Replacing the actual bases with the common reference basis changes
their spaces by $e^{-cgL}$. After a change of orthonormal basis within
each space, multilinearity and the full exterior norm bound show that
the leading minor stays nonzero and that all other maximal minors
are $o(1)$ times its absolute value. Factors from the inverse of the
possibly oblique starting basis are at most $e^{Cbn}$. Call the
resulting leading absolute minor $A_x$. More explicitly, when
$00.
\]
Distinct $v,w\in\mathcal W_i$ satisfy
\[
d_{\mathrm H}(v,w)\ge d_i m_i\ge d_*m_i.
\]
For all $v,w,z\in\mathcal W_i$ and every $1\le t0$.
At level one, distinct one-symbol words have distance one and the
offset assertion is vacuous.
Suppose both assertions hold at level $i$.
Distinct level-$(i+1)$ words differ in at least
$(1-\varepsilon_i)N_i$ constituent labels by
\Cref{prop:words}, Property~(\ref{word:distance}).
Each unequal constituent pair contributes at least $d_i m_i$
symbol mismatches, giving the bound $d_{i+1}m_{i+1}$.
Now consider a nonzero offset $t0$, then for each $i$ it would be contained, modulo null
sets, in one of these level sets. Hence $c\le1/m_i$ for every $i$,
which is impossible since $m_i\to\infty$.
The space $X$ is a compact metrizable subspace of a countable product
of finite discrete sets. For completeness, its nonatomic
probability is standard in the precise sense needed here. Encode the
finite coordinates into successive disjoint blocks of ternary
digits $0,2$; this gives a continuous injective map of $X$ into a
compact subset of $[0,1]$. Let $\lambda$ be the image law and
$F(t)=\lambda([0,t])$ its continuous distribution function. Define
the measurable quantile
\[
Q(u)=\inf\{t:F(t)\ge u\},\qquad 0.996.
\]
This proves the uniform assertion.
\end{proof}
Only the two indicated levels of the construction enter this
argument. There is no accumulation of total variation errors
over all ancestors, and no independence assumption on the
sequence of adjacent words.
\subsection{The graph relation across two windows}
Two level-$i$ labels $u,v\in\mathcal W_i$ pass the graph test
when $[u,v]_i=0$, using their fixed vector identification.
The same alignment law gives a quantitative bound on the one
exception to the graph test: crossing a group boundary.
\begin{lemma}\label{lem:graph-windows}
Let $2\le D\le D_i^*$ be a power of two and set $n=m_iD$.
For all sufficiently large $i$, with $\mu$-probability at least
\[
1-\alpha_{i,D},\qquad
\alpha_{i,D}=\frac{2D-2}{H_i},
\]
all corresponding entries of
$\mathcal L_{i,D}(x,-n)$ and
$\mathcal L_{i,D}(x,0)$ pass the level-$i$ graph test simultaneously.
In particular $\sup_{D\le D_i^*}\alpha_{i,D}\to0$.
\end{lemma}
\begin{proof}
Because $n$ is a multiple of $m_i$, the advance to alignment
is the same in the two windows. Denote it by $q_0$.
The entry starts are
\begin{equation}\label{eq:two-list-starts}
-n+q_0+jm_i
\quad\hbox{and}\quad
q_0+jm_i,\qquad 0\le j\le D-2.
\end{equation}
Corresponding entries are separated by exactly $D$ level-$i$
positions. The first start through the last start span
$2D-1$ such positions, including the unused intervening position.
\Cref{fig:lists} illustrates these positions and their common lag
when $D=4$.
By \Cref{lem:aligned-law}, the first boundary has the
boundary-start law. Its position modulo $H_i$ is uniform:
its position in a $\mathcal W_{i+1}$ parent is uniform modulo
$N_i$, and $H_i$ divides $N_i$. Once $2D-1\le H_i$, exactly
$2D-2$ residues have a span that crosses an $H_i$-group boundary.
All parent boundaries are already group boundaries.
On every other residue all the labels in \eqref{eq:two-list-starts}
belong to one of the prescribed groups.
\Cref{prop:words}, Property~(\ref{word:graph}), applies because $D$ is an
allowed power-of-two lag.
Finally $2D_i^*/H_i\to0$ by the definitions.
\end{proof}
\begin{figure}[tb]
\centering
\begin{tikzpicture}[x=.92cm,y=1cm,>=Stealth]
\foreach \j in {0,1,2,3,4,5,6}{
\draw (\j,0) rectangle ++(1,.55);
}
\foreach \j in {0,1,2}{
\node at (\j+.5,.275) {$U_{\j}$};
\pgfmathtruncatemacro{\v}{\j+4}
\node at (\v+.5,.275) {$V_{\j}$};
\draw[->] (\j+.5,.65) to[bend left=22] (\v+.5,.65);
}
\node at (3.5,.275) {$-$};
\draw[decorate,decoration={brace,mirror,amplitude=4pt}]
(0,-.12)--(3,-.12) node[midway,below=6pt] {past list};
\draw[decorate,decoration={brace,mirror,amplitude=4pt}]
(4,-.12)--(7,-.12) node[midway,below=6pt] {future list};
\node at (3.5,1.55) {each arrow has lag $D=4$};
\end{tikzpicture}
\caption{The two aligned lists of one legal symbolic point when $D=4$,
writing $U_j,V_j$ for
their corresponding past and future entries. Each has $D-1$ entries.
The single unused block between them does not alter the lag between
corresponding entries. Their span has $2D-1$ block positions, which
explains the group-boundary error in \Cref{lem:graph-windows}.}
\label{fig:lists}
\end{figure}
We now have a fixed ergodic system with zero entropy, uniformly
large list entropy, and a graph relation across adjacent windows.
These properties are compatible: the information per symbol in a
level-$i$ list is of order $R_i$, which tends to zero. The many
available test scales will compensate for this decreasing rate.
The remaining task is to compare that relation with the
conditional independence in a smooth switch.
==== END A-finite-entropy-system-without-a-smooth-positive-volume-model//06-process.tex ====
==== BEGIN A-finite-entropy-system-without-a-smooth-positive-volume-model//07-obstruction.tex ====
\section{The obstruction to a smooth volume model}\label{sec:obstruction}
Fix the ergodic system constructed in \Cref{sec:process}.
The final argument concerns a single statistic of a pair of points:
the fraction of corresponding past and future labels that pass the
graph test. We define that statistic before restricting the pair
experiment. Its upper and lower bounds will therefore refer to the
same probability law.
\subsection*{The quantitative interface}
The smooth and symbolic constructions meet through the quantities in
\Cref{tab:interfaces}. At $n=2^k$, write $\mathcal D_k$ for the smooth
partition, $\rho$ for its cell-weighted pair law, $G$ for the retained
pairs, and $z$ for the switch. The exceptional-mass tolerance $\eta>0$
is fixed before these objects are chosen. On the symbolic side, $L_i=\#\mathcal W_i$,
$R_i=(\log L_i)/m_i$, and $K_i=\lfloor\sqrt{\log L_i}\rfloor$.
Every $m_i$ is a power of two. The symbolic tests have length $n=m_iD$,
where $D$ is a power of two
and $2^{\lceil K_i/16\rceil}\le D\le2^{\lfloor K_i/8\rfloor}$.
In a window of $Dm_i$ symbols we use the $D-1$ full words beginning
at the first level-$i$ boundary. Each input initially uses its own
alignment. The compact system recording the symbol sequence and all
compatible alignment phases has zero entropy for every invariant
probability, by \Cref{prop:system}.
\begin{table}[htbp]
\centering\small
\renewcommand{\arraystretch}{1.18}
\begin{tabular}{@{}>{\raggedright\arraybackslash}p{.19\textwidth}>{\raggedright\arraybackslash}p{.37\textwidth}>{\raggedright\arraybackslash}p{.37\textwidth}@{}}
\toprule
Interface & Smooth conclusion & Symbolic use \\
\midrule
Dyadic cost &
$\sum_k B_k^{16}<\infty$ and
$\#\mathcal D_k\le\exp(CB_k2^k)$ at every sufficiently large scale &
$\sum_i K_iR_i^{16}=\infty$ gives tests at which cell conditioning
costs $o((D-1)\log L_i)$ bits. \\
Original pair law &
Choose a cell with its volume weight, then two independent normalized
volume points; retain mass at least $1-\eta$ &
Window entropy holds for the chosen invariant measure, with arbitrary
parent-word weights. Independence is used only for the two inputs
conditional on the cell and a fixed entry. \\
Shadowing &
The switch follows one input for $0\le t\le n$ and the other for
$-n\le t\le0$, with error tending uniformly to zero &
Positive symbol-distance recognition recovers the common phase and
most labels, preserving the original entry pairing. \\
Output measure &
$z_*(\rho|_G)\le2\nu$, without normalizing the retained law &
Compact symbol cores and the simultaneous graph-window law transfer
to the switched point with controlled exceptional mass. \\
\bottomrule
\end{tabular}
\caption{The exact internal interface between
\Cref{thm:switching} and the fixed symbolic system.
All smooth constants are chosen only after a model is proposed.
The final comparison retains the original pair law $\rho$.}
\label{tab:interfaces}
\end{table}
\subsection{Choosing times with a negligible partition cost}
\begin{lemma}\label{lem:cheap-scales}
Let $(B_k)_{k\ge1}$ be any positive sequence with
$\sum_k B_k^{16}<\infty$. There exist levels $i\to\infty$ and
powers of two $D$ satisfying
\[
2^{\lceil K_i/16\rceil}\le D\le2^{\lfloor K_i/8\rfloor}
\]
such that, for $n=m_iD$,
\begin{equation}\label{eq:relative-cost}
\frac{B_{\log n}}{R_i}\longrightarrow0,
\qquad R_i=\frac{\ell_i}{m_i}.
\end{equation}
In particular any partitions with
$\log\#\mathcal D_k\le C B_k2^k$ obey
\begin{equation}\label{eq:cheap-partition}
\log\#\mathcal D_{\log n}=o((D-1)\ell_i)
\end{equation}
on this sequence, for every fixed $C$.
\end{lemma}
\begin{proof}
The lengths $m_i$ are powers of two. Put $b_i'=\log m_i$,
so $b_{i+1}'=b_i'+K_i$. The integer sets
\[
J_i=\{b_i'+j:\lceil K_i/16\rceil\le j\le
\lfloor K_i/8\rfloor\}
\]
are disjoint and, for large $i$, contain at least $K_i/32$
integers. If the ratios in \eqref{eq:relative-cost} were bounded
below by some $c>0$ on all sufficiently late tests, then
\[
\sum_kB_k^{16}
\ge c^{16}\sum_{i\ {\rm large}}|J_i|R_i^{16}
\ge \frac{c^{16}}{32}
\sum_{i\ {\rm large}}K_iR_i^{16}=\infty,
\]
contrary to the hypothesis and \Cref{lem:rates}.
Thus one can select successively later tests with ratio tending
to zero. Since
$B_{\log n}n=(B_{\log n}/R_i)D\ell_i$
and $D/(D-1)\le2$, \eqref{eq:cheap-partition} follows.
\end{proof}
Suppose for a contradiction that a smooth volume model
$(M,\nu,S)$ exists. Its dimension is positive because a
zero-dimensional compact manifold is finite and cannot carry a
nonatomic probability. Apply \Cref{thm:switching} with
$\eta=.01$. The model is now fixed, so all its constants and
its sequence $(B_k)$ are fixed.
Use \Cref{lem:cheap-scales} for this sequence. In what follows,
$i,D,n$ run through the selected tests and are taken sufficiently
large for every stated eventual estimate.
We use the measurable isomorphism to regard every finite symbolic
observation as a measurable observation on $M$. The original domain
can be replaced by the intersection of all its integer translates,
so all orbit identities hold on an invariant conull set.
Extend the observations arbitrarily on its null complement.
For each test let $C$ be the cell sampled in the switching
experiment, and let $\rho$ be the original law of $(x,y)$.
Its two marginals are exactly $\nu$, and its conditional law
given $C$ is the product of normalized volume on that cell.
\subsection{The independent upper bound}
Let
\[
U=\mathcal L_{i,D}(y,-n),\qquad
V=\mathcal L_{i,D}(x,0),\qquad q=D-1.
\]
Each list uses its own input's alignment advance. Both are defined
on every pair before a switch is selected.
Under the identification of $\mathcal W_i$ with the nonzero
vectors of $\F_2^{2s_i}$, write $[\,\cdot\,,\,\cdot\,]_i$ for
the alternating form from the word construction, and set
\begin{equation}\label{eq:passing-statistic}
Z(x,y)=\frac1q\sum_{j=0}^{q-1}
\one_{\{[U_j,V_j]_i=0\}}.
\end{equation}
For each fixed cell and each fixed $j$, the laws of $U_j$ and
$V_j$ are independent.
Apart from the diagonal pairs, the orthogonality relation gives the
classical binary symplectic graph; see \cite[Definition~3.3 and Theorem~3.4]{Seidel1973} for its
finite-geometric description and spectral scale. We include the
character calculation, keeping the diagonal pairs, and pass from
average Shannon entropy to the required graph bound by a heavy--light
split of each law.
\begin{lemma}\label{lem:graph-independent}
Let $L=2^{2s}-1$ and equip the nonzero vectors of
$\F_2^{2s}$ with a nondegenerate alternating form.
Suppose a family of pairs of laws $(p_\xi,q_\xi)$ on these
vectors is indexed by a probability space, and
\[
\E_\xi H(p_\xi)\ge .99\log L,\qquad
\E_\xi H(q_\xi)\ge .99\log L.
\]
For all sufficiently large $L$, independent samples from the
two laws, followed by averaging over $\xi$, pass the test
$[u,v]=0$ with probability at most $.62$.
\end{lemma}
\begin{proof}
For a law $p$, put
$A_p=\{u:p(u)>L^{-.8}\}$ and $\theta_p=p(A_p)$.
The set $A_p$ has at most $L^{.8}$ elements. Splitting entropy
according to this set gives
\begin{equation}\label{eq:heavy-entropy}
H(p)\le1+.8\theta_p\log L+(1-\theta_p)\log L
=1+(1-.2\theta_p)\log L.
\end{equation}
The same formula, with the usual zero-mass conventions, covers
empty sets. The entropy hypotheses imply
\[
\E_\xi\theta_{p_\xi},\ \E_\xi\theta_{q_\xi}
\le .05+\frac5{\log L}\le .055
\]
once $\log L\ge1000$.
Let $A$ be the matrix $A_{uv}=(-1)^{[u,v]}$ on nonzero
vectors. On the full vector space, the rows of the same matrix
are orthogonal: for $u\ne w$, nondegeneracy makes
$v\mapsto[u+w,v]$ a nonzero linear functional, so
$\sum_v(-1)^{[u+w,v]}=0$. Every row has squared norm $L+1$.
The full operator norm is therefore $\sqrt{L+1}$, and restriction
to the nonzero rows and columns has no larger norm.
The light subprobability $p^{\rm l}=p\,\one_{A_p^c}$
satisfies
\[
\|p^{\rm l}\|_2^2
\le L^{-.8}\sum_u p^{\rm l}(u)\le L^{-.8}.
\]
Hence
\[
\left|\sum_{u,v}p^{\rm l}(u)A_{uv}q^{\rm l}(v)\right|
\le\sqrt{L+1}\,L^{-.8}=:\beta_L.
\]
The passing mass of the light product is at most
$(1+\beta_L)/2$. All pairs with at least one heavy coordinate
have total mass at most $\theta_p+\theta_q$.
After averaging, and taking $L$ large enough that
$\beta_L\le .02$, the passing probability is at most
\[
.055+.055+\frac{1+.02}{2}=.62.
\]
The matrix includes its diagonal entries, so the automatic
relations $[u,u]=0$ require no separate exclusion.
\end{proof}
By the two original marginals and \Cref{prop:window-entropy},
\[
H_\rho(U),H_\rho(V)\ge .996q\ell_i.
\]
Conditioning each vector on the sampled cell loses at most
$H(C)\le\log\#\mathcal D_{\log n}=o(q\ell_i)$. Conditional
subadditivity consequently gives
\begin{equation}\label{eq:entry-entropies}
\frac1q\sum_{j=0}^{q-1}H(U_j\mid C)\ge .99\ell_i,
\qquad
\frac1q\sum_{j=0}^{q-1}H(V_j\mid C)\ge .99\ell_i
\end{equation}
for late tests. Apply \Cref{lem:graph-independent} with index
$\xi=(C,j)$, assigning $j$ uniform weight independently of the
cell. Independence is used conditional on this full index:
equivalently, first fix $j$, use the product law conditional
on $C$, and then average. No product assertion conditional only
on $C$ after mixing over a shared random $j$ is needed.
We obtain
\begin{equation}\label{eq:passing-upper}
\E_\rho Z\le .62.
\end{equation}
\subsection{From geometric shadowing to symbol agreement}
Let $d_*>0$ be the symbol-distance constant in
\Cref{lem:recognition}. It is fixed by the word construction.
Let $f:M\to\mathcal A$ be the transported symbol at time zero.
We first choose compact cores for this one fixed finite
partition, rather than for the growing level-$i$ label sets.
\begin{lemma}\label{lem:symbol-matching}
For all sufficiently large dyadic times in the smooth switching
estimate, the retained pairs for which
\begin{align}
\#\{0\le t