Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.00024

Exact Minimum Field Partition for One-Step Prediction in a Finite Five-Agent ABCW Model

Takashi Inoue Shizusawa
View original source ↗Read source document ↗Export metadata ↓

Abstract

Which distinctions in a present state must be retained to predict a specified future exactly? We study this question on a finite reachable set of a deterministic five-agent ABCW model in which binary agent actions and strategies coevolve with a weighted directed influence field. The dataset is generated from four initial-field families and all 4,096 action-strategy initial conditions, yielding 56,536 transitions and 2,562 distinct current fields. We retain the current action and seek the coarsest field-only partition that uniquely determines the complete one-step-ahead field on every observed transition. Nine natural feature families and all 511 of their nonempty combinations provide strong approximate predictors but no exact nontrivial field compression. We therefore construct an incompatibility graph whose vertices are current fields and whose edges join fields that produce different next fields under a shared observed action. A proper 692-coloring gives a constructive upper bound. An independent anchor-action decomposition, followed by exact solution of the 50 nontrivial induced subgraphs, gives the matching lower bound. Hence the minimum number of field classes is exactly 692. This number applies only to the specified finite reachable set, field-only compression, retained current actions, one-step target, and exact-prediction requirement; it is not a universal macrostate count for ABCW systems.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Takashi Inoue Shizusawa. 2026-08-26. Exact Minimum Field Partition for One-Step Prediction in a Finite Five-Agent ABCW Model. https://arxiv.org/abs/2609.00024

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM↗
arXiv2026

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM↗