From 2e839369d98004736197da9a037fbc0a563e3c13 Mon Sep 17 00:00:00 2001 From: codex Date: Mon, 1 Jun 2026 22:01:11 +0000 Subject: [PATCH] fix: remove leaked latex macros from markdown paper 4 --- papers/project_paper_4_fbt/paper_4_fbt.md | 29 ++++++++--------------- 1 file changed, 10 insertions(+), 19 deletions(-) diff --git a/papers/project_paper_4_fbt/paper_4_fbt.md b/papers/project_paper_4_fbt/paper_4_fbt.md index ff82b13a..8a1bc025 100644 --- a/papers/project_paper_4_fbt/paper_4_fbt.md +++ b/papers/project_paper_4_fbt/paper_4_fbt.md @@ -7,28 +7,19 @@ tags: ["#research", "physics", "intellecton"] **Abstract:** Evolutionary epistemology, particularly the "Fitness Beats Truth" (FBT) theorem, asserts that biological perception is tuned strictly to utility rather than objective reality. In this Letter, we provide a formal, rigorous mathematical proof of FBT using the framework of Bounded Rational Decision Making and the Information Bottleneck method. We define the objective world as a Riemannian manifold $\mathcal{M}$ endowed with a prior probability measure $\mu(x)$. By defining biological distortion directly as the expected utility loss under an optimal action policy, we formulate perception as a joint optimization over the perceptual encoder $p(y|x)$ and the actor policy $a(y)$ subject to a strict Shannon channel capacity bound $I(X;Y) \le C$. We mathematically prove that for generic fitness landscapes where the level sets of fitness do not align with the distance balls of the metric $g$, the optimal perceptual channel must actively destroy structural isomorphism to minimize the Lagrangian cost. -\begin{frontmatter} -\title{Information Bottlenecks and Bounded Rational Decision Making: A Mathematical Proof of Fitness Beats Truth (Rapid Communication)} -\author[1]{Antigravity} -\address[1]{Institute for Advanced Cybernetic Physics} - -\begin{keyword} -Evolutionary Game Theory \sep Information Bottleneck \sep Perception \sep Bounded Rationality -\end{keyword} -\end{frontmatter} ## Introduction Standard Rate-Distortion theory assumes an objective distortion metric $D(x,y)$ independent of the perceptual channel. However, biological perception is a decision-theoretic problem. The true biological cost of a perception depends entirely on the action $a(y)$ the organism subsequently takes. Thus, subjective inference directly defines the biological cost. ## Formal Definitions and The Joint Optimization Model -\begin{definition}[State Space and Measure] +**Definition 1 (State Space and Measure):** Let $\mathcal{M}$ be a compact Riemannian manifold representing objective world states, endowed with metric $g$ and a prior probability measure $\mu(x)$ absolutely continuous with respect to the volume form. Let $\mathcal{Y}$ be a finite set of perceptual states. Let $\mathcal{A}$ be the space of actions. -\end{definition} -\begin{definition}[Fitness Landscape] + +**Definition 2 (Fitness Landscape):** Let $F: \mathcal{M} \times \mathcal{A} \to \mathbb{R}$ be a smooth fitness function mapping a world state and an action to a biological payoff. -\end{definition} + The organism possesses a bounded channel capacity $I(X;Y) \le C$. The optimal action policy maximizes expected fitness given the perceptual posterior: @@ -48,17 +39,17 @@ $$ ## Minimizing Distortion Destroys Isomorphism -\begin{lemma} +**Lemma 1:** For a generic smooth fitness landscape $F(x, a)$, the level sets of $F$ do not align with the distance balls defined by the Riemannian metric $g$. Therefore, there exist points $x_1, x_2 \in \mathcal{M}$ separated by a large geodesic distance such that $a^*(y_1) = a^*(y_2)$ maximizes fitness. -\end{lemma} -\begin{theorem} + +**Theorem 1:** Given a strict capacity bound $C \lt H(X)$ and a generic fitness landscape $F$, the encoder $p(y|x)$ minimizing $\mathcal{L}$ must violate structural isomorphism. -\end{theorem} -\begin{proof} + +*Proof:* Suppose $p(y|x)$ strictly preserves structural isomorphism. By Lemma 1, if distant points $x_1$ and $x_2$ share identical optimal actions $a^*$, distinguishing them requires allocating mutual information $\Delta I \gt 0$. Because the actions are identical, the expected fitness $\mathbb{E}[F]$ remains constant whether they are distinguished or clustered. However, distinguishing them strictly increases the channel cost $\frac{1}{\beta} I(X;Y)$. To minimize $\mathcal{L}$, the optimal encoder must actively collapse topologically distant points in $\mathcal{M}$ that share fitness level sets, obliterating structural isomorphism. -\end{proof} + ## References