Soluble State Tracking in Materialized Fixed-Point GDN+
Year: 2026
Type: preprint
Abstract: Every finite soluble monoid admits a fixed-width, fixed-depth GDN⁺ network that computes its nonempty prefix products in the materialized fixed-point model defined here, with constant gates α = β = 1, zero initial memory, and either of two specified centered normalizations. StateBench establishes aperiodic and rounded-parity lower bounds; our construction supplies all cyclic factors and their full-network soluble composition in this explicit operational model. Individually rounded matrix products implement bounded modular counters. Cyclically shifted copies expose constant-norm codes that survive normalization and residual addition, and bias-free ReLU selectors return reusable finite labels. A first-position marker replaces a beginning-of-sequence token, while a parity-driven buffer supplies the exclusive prefix required by wreath composition. Exact certificates exhaust complete modulo-three and ℤ₃ ≀ U₂ networks under both normalizations; the universal claim follows from an algebraic induction.
Author: Khanna, Tarang
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7225586152