arXiv subjects

Søren Riis

Publications and source records attributed to Søren Riis.

3 recordsLinked to original sources

arXiv2026

Term Coding and Dispersion: Exact and Asymptotic Decision Problems

Let t be a tuple of r terms that, under an interpretation on an n-element alphabet A, defines a map from k-tuples over A to r-tuples over A. We study the decision theory of its maximum image size, separating exact perfect dispersion from asymptotic rate. Building on the term-cut theorem of Riis and Gadouleau, we prove that every eventual threshold strictly between consecutive integer powers is decidable in polynomial time. More precisely, if a threshold is eventually greater than n to the power d and grows strictly more slowly than n to the power d plus one, then the maximum image size eventually meets that threshold exactly when the term-cut exponent is at least d plus one. For the exact problem, we introduce the perfect-alphabet spectrum and prove that it is multiplicatively closed, that a nonempty spectrum forces full rate, and that the converse fails. We completely characterize the one-output case. On square instances, perfect dispersion is precisely finite square term bijectivity. We give explicit linear-size padding reductions from three-dimensional square bijectivity to perfect dispersion for every fixed output dimension of at least three. We also characterize scalar-linear witnesses by a determinant polynomial, obtaining decidability over fixed finite fields, over extensions of a fixed characteristic, and over arbitrary finite fields. General square bijectivity remains open. The principal mathematical results have been machine-checked in Lean.

cs.IT↗

arXiv2026

Term Coding: An Entropic Framework for Extremal Combinatorics and the Guessing--Number Sandwich Theorem

Classical existence problems in extremal combinatorics ask whether finite operations can satisfy prescribed identities universally. Term Coding replaces this yes-or-no question by a graded one: for a finite system $Γ$, the maximum code size $S_n(Γ)$ is the largest number of satisfying assignments attainable on an $n$-element alphabet. We prove that normalisation and diversification associate $Γ$ with a labelled guessing game of guessing number $α$ and give finite-alphabet sandwich bounds. Consequently, $\log_n S_n(Γ)=α+o(1)$. Entropy and polymatroid inequalities provide systematic upper bounds. Examples include a five-cycle with exponent $5/2$, self-orthogonal Latin squares, and presentation-dependent exponents for universally equivalent identity systems. All theorems, lemmas and propositions in this paper have been machine-checked in the Lean 4 proof assistant; the development is available at https://github.com/SR123/term-coding-lean.

cs.IT↗

arXiv2026

Impartial Games: A Challenge for Reinforcement Learning

AlphaZero-style reinforcement learning (RL) algorithms have achieved superhuman performance in many complex board games such as Chess, Shogi, and Go. However, we showcase that these algorithms encounter significant and fundamental challenges when applied to impartial games, a class where players share game pieces and optimal strategy often relies on abstract mathematical principles. Specifically, we utilise the game of Nim as a concrete and illustrative case study to reveal critical limitations of AlphaZero-style and similar self-play RL algorithms. We introduce a novel conceptual framework distinguishing between champion and expert mastery to evaluate RL agent performance. Our findings reveal that while AlphaZero-style agents can achieve champion-level play on very small Nim boards, their learning progression severely degrades as the board size increases. This difficulty stems not merely from complex data distributions or noisy labels, but from a deeper representational bottleneck: the inherent struggle of generic neural networks to implicitly learn abstract, non-associative functions like parity, which are crucial for optimal play in impartial games. This limitation causes a critical breakdown in the positive feedback loop essential for self-play RL, preventing effective learning beyond rote memorisation of frequently observed states. These results align with broader concerns regarding AlphaZero-style algorithms' vulnerability to adversarial attacks, highlighting their inability to truly master all legal game states. Our work underscores that simple hyperparameter adjustments are insufficient to overcome these challenges, establishing a crucial foundation for the development of fundamentally novel algorithmic approaches, potentially involving neuro-symbolic or meta-learning paradigms, to bridge the gap towards true expert-level AI in combinatorial games.

cs.LG↗