Gardado en:
Detalles Bibliográficos
Autor Principal: Li, Y.Y.N.
Formato: Recurso digital
Idioma:
Publicado: Zenodo 2025
Acceso en liña:https://doi.org/10.5281/zenodo.17658705
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Table of Contents:
  • <p>We propose a quantitative law of intelligent computation, the<br>\emph{Principle of Least Structural Action} (PLSA).<br>Given a reasoning trajectory $\psi(t)$ produced by a solver, algorithm, or<br>large language model (LLM), we define a structural Lagrangian<br>\[<br>L(\psi,\dot\psi)<br>= \alpha K(\psi) + \beta S(\psi) + \gamma C(\psi),<br>\]<br>where $K$ is a compression-based incompressibility index, $S$ is structural<br>curvature along the trajectory, and $C$ is a correctness potential that<br>penalizes constraint violations.</p> <p>PLSA asserts that physically realized intelligent systems approximate<br>trajectories that minimize the structural action<br>\[<br>\mathcal A[\psi] = \int_0^T L(\psi,\dot\psi)\,dt.<br>\]</p> <p>On top of this microscopic principle we identify a computable, Kolmogorov-style<br>\emph{order parameter} for reasoning,<br>\[<br>\phi(x) := \log\bigl(1+\lambda_K(x)\bigr), \qquad<br>\lambda_K(x)<br>=\frac{K_{\mathrm{solution}}(x)-K_{\mathrm{problem}}(x)}<br>       {K_{\mathrm{problem}}(x)},<br>\]<br>where $K_{\mathrm{problem}}$ and $K_{\mathrm{solution}}$ are gzip-compressed<br>lengths of the problem encoding and the joint<br>problem--trace encoding, respectively.<br>Here $\log$ denotes the natural logarithm.<br>The quantity $\lambda_K(x)$ measures normalized structural overhead of the<br>reasoning trace relative to the bare problem, and $\phi(x)$ is a smoothed,<br>monotone transform that behaves well across many orders of magnitude.</p> <p>We instantiate PLSA empirically on random 3-SAT using a CDCL solver and<br>LLM chain-of-thought (CoT).<br>On a mixed dataset of $60$ CDCL traces (for $n\in\{20,50,100\}$ and<br>$\alpha\in\{3.5,4.0,4.26,4.5\}$) and $8$ CoT traces (for $n=10$), a simple<br>global Structure--Time Law<br>\[<br>\log_2 T(x)\approx \alpha_T\,\phi(x) + \gamma_T<br>\]<br>explains a large fraction of the variance in wall-clock runtime.<br>A least-squares fit yields<br>\[<br>\log_2 T(x)\approx 9.741\,\phi(x) - 12.196,<br>\qquad<br>R^2\approx 0.785.<br>\]<br>Thus a \emph{single} Kolmogorov order parameter $\phi(x)$ accounts for<br>approximately $79\%$ of the log-runtime variance across reasoning systems<br>ranging from an efficient CDCL solver to a token-level LLM CoT engine.</p> <p>We further show that classical 3-SAT hardness phenomena---the phase transition<br>near clause--variable ratio $\alpha\approx 4.26$---admit a clean structural<br>interpretation: the CDCL order parameter $\phi(x)$ exhibits a systematic shift<br>with $\alpha$, decreasing from about $0.16$ at $\alpha=3.5$ to about $0.09$<br>at $\alpha=4.5$, while the runtime $\log_2T$ increases (becomes less<br>negative), consistent with harder formulas inducing denser, more<br>information-efficient traces.</p> <p>Finally, in a toy bounded-curvature model we prove an explicit exponential<br>lower bound<br>\[<br>T \;\ge\; 2\sqrt{D}\,e^{K^\*/2},<br>\]<br>where $K^\*$ is an effective structural hardness and $D$ is a structural<br>distance to the solution manifold.<br>This provides a rigorous example of how structural incompressibility forces<br>exponential time scaling.</p> <p>We conjecture that PLSA and the Kolmogorov order parameter $\phi(x)$<br>constitute a universal framework for describing reasoning cost, phase<br>transitions, and the emergence of general intelligence across algorithms,<br>LLMs, and biological systems.</p>