Likelihood Geometry of Moving Average and Autoregressive Processes

2026-07-04T22:18:34Z

We study the problem of maximum likelihood estimation for moving average (MA) time series models from the perspective of algebraic statistics, with a focus on the structure and number of solutions of their likelihood equations. Of particular interest is to classify the critical points that lead to non-invertible models. We consider the composite likelihood as an alternative estimation method and analyze its critical points. We extend our algebraic analysis to autoregressive processes (AR). We provide algebraic closed form formulas for the parameters when possible. We also explore in simulations how methods from numerical algebraic geometry perform against traditional optimization for these models.

Linearized Polynomial Chinese remainder codes

2026-07-04T12:27:47Z

In this paper, we introduce a new family of codes relevent for rank and sum-rank metrics. These codes are based on an effective Chinese remainders theorem for linearized polynomials over finite fields. We propose a decoding algorithm for some instances of these codes.

On Factoring Quantum-Plane Skew Polynomials over $\mathbb{Q}(ω)(t)$

2026-07-02T20:35:23Z

We study algorithms for factorization in the quantum plane of (dilation) skew polynomials over a function field of a cyclotomic field: \[ \mathsf{R}=\mathsf{K}(t)[x;σ], \qquad \mathsf{K}=\mathbb{Q}(ω), \qquad σ(t)=ωt, \] where $ω\in\mathbb{C}$ is a primitive $m$-th root of unity. We start with the established approach through central elements and factor the central left multiples, staying in characteristic zero, to obtain a partial decomposition. A two-level modular approach is proposed: specialize a central parameter to good algebraic values, study the resulting cyclic algebras over number fields, and then reduce further at good inert primes so that fast finite-field skew-factorization algorithms apply. A prototype SageMath implementation is provided to experiment with the algorithms. We then look at the effect of extending the field of constants from $\mathbb{Q}(ω)$ to $\bar{\mathbb{Q}}$, an algebraic closure of $\mathbb{Q}$, and factoring over ${\bar{\mathbb{Q}}}(t)[x;σ]$. In this case we show factorization is decidable in the exact algebraic model based on finite extensions.

Local polynomial factorisation: improving the Montes algorithm

2026-07-02T13:27:04Z

We improve significantly the Nart-Montes algorithm for factoring polynomials over a complete discrete valuation ring $\mathbb{A}$. Our first contribution is to extend the Hensel lemma in the context of generalised Newton polygons, from which we derive a new divide and conquer strategy. Also, if $\mathbb{A}$ has residual characteristic zero or high enough, we prove that approximate roots are convenient representatives of types, leading finally to an almost optimal complexity both for irreducibility and factorisation issues, plus the cost of factorisations above the residue field. For instance, to compute an OM-factorisation of $F\in\mathbb{A}[x]$, we improve the complexity by a factor $δ$, the discriminant valuation of $F$.

VaSST: Variational Inference for Symbolic Regression using Soft Symbolic Trees

2026-07-02T06:37:23Z

Symbolic regression (SR) has gained recent traction in AI-driven scientific discovery for learning closed-form physical laws. Yet existing methods are dominated by heuristic search or data-intensive approaches that often assume low-noise regimes and lack principled uncertainty quantification, while fully probabilistic SR formulations remain scarce. We introduce a scalable probabilistic framework for SR, VaSST, based on variational inference. VaSST uses soft symbolic trees, a continuous relaxation of symbolic expression trees in which discrete operator and feature assignments are replaced by probability distributions over allowable components. This transforms combinatorial symbolic search through an astronomically large expression space into efficient gradient-based optimization while preserving a coherent probabilistic interpretation. The learned soft representations induce posterior distributions over symbolic structures, enabling uncertainty quantification across plausible symbolic forms through posterior-aware symbolic model selection. On simulated experiments and the Feynman Symbolic Regression Database, VaSST achieves strong structural recovery and predictive accuracy compared to state-of-the-art competing SR methods.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study

2026-07-02T05:28:36Z

We present an experimental evaluation of automatically generated polynomial symmetry breaking constraints for integer linear programs. Starting from the method that we introduced at the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2026, we compare solver native quadratic handling, solver-internal reformulation, and explicit linearization on near half-capacity bin-packing benchmarks. Experiments with several mathematical programming solvers and satisfiability modulo theory solvers show that the effectiveness of polynomial symmetry breaking is strongly solver-dependent. Compact quadratic breaker families can improve performance, whereas linearization, large breaker sets, or solver reformulations may offset these gains through increased model size or less favorable search behavior. These results suggest that automatically generated symmetry breakers should be evaluated in a solver-aware manner rather than treated as solver-independent additions to a model.

Complexity of Low-Degree Skew Polynomial Multiplication over Finite Fields

2026-07-01T05:50:36Z

In this note, we study the complexity of multiplication in skew polynomial rings over finite fields. We prove that the product of two elements in $\mathbb{F}_{q^n}[x;σ]$ of degree at most $d < n$ can be computed using $\widetilde O(d^{ω_K-1}n)$ arithmetic operations over $\mathbb{F}_q$, where $σ$ is the $q$-Frobenius automorphism. This matches the conjectural upper bound of Caruso--Le Borgne~[ISSAC'17] and is quasi-optimal in view of the lower bound of Chen--Ye [ISSAC'24]. The proof reduces the finite-field case to the split algebra case using the equivariant multiplication theory of Couveignes--Ezome~[J.~Algebra, 2023], and then applies existing fast algorithms.

Fast Deterministic Normal Bases and Circulant Polynomial Determinants

2026-07-01T01:29:49Z

Let $\mathsf{E}=\mathbb F_q[x]/(Γ)$ be an algebraic extension of degree $n$ over the finite field $\mathbb F_q$, given by a $Γ\in\mathbb F_q[x]$ monic and irreducible. It is classical that any such $\mathsf{E}$ contains an element $β\in\mathsf{E}$ that is normal over $\mathbb F_q$, i.e., the conjugates $β,β^q,\ldots,β^{q^{n-1}}$ form an $\mathbb F_q$-basis of $\mathsf{E}$. In this paper we give a deterministic algorithm which finds such a normal element using $O_ε((n^2\log q)^{1+ε})+O\,\tilde{}\,(n\log^2 q)$ bit operations, for any $ε>0$. The algorithm works by showing that, for a parameter $t\in\mathbb F_q$, the element $β_t=(θ-t)^{-1}$ is normal except for at most $n(n-1)$ values of $t$. This is established by constructing a "cleared Moore" circulant matrix over $\mathbb F_{q^n}[\mathcal T]$, whose determinant degree at most $n(n-1)$, such that $β_t$ is normal if and only the determinant is non-zero at $t\in\mathbb F_q$. For faster computation over the base field, we replace this by an equivalent trace Gram circulant matrix over $\mathbb F_q[\mathcal T]$. A main algorithmic contribution is a fast determinant algorithm for circulant matrices of polynomials, which uses triangular set projection and modular composition techniques to achieve a near-linear cost. Given an $n\times n$ circulant matrix over $\mathbb F_q[t]$ whose entries have degree at most $m>0$, we show how to compute its determinant deterministically with $O_ε((nm\log q)^{1+ε})$ bit operations. We complete the solution by showing how to extend this to finite fields of size less than $n(n-1)$, through an embedding in a low-degree extension field, at poly-logarithmic additional cost.

PolicyGuard: From Organizational Policies to Neuro-SymbolicCompliance Review Engines

2026-06-30T17:37:57Z

Policy-grounded document review requires determining whether a target document complies with organization-specific policies, guidelines, or playbooks. While large language models can assist with policy interpretation and document analysis, end-to-end prompting leaves the applied policy logic implicit, making compliance decisions difficult to inspect, update, and test. We present PolicyGuard, a neuro-symbolic framework for policy-grounded document compliance review. PolicyGuard converts organizational policy guidance into an executable review engine consisting of typed relational logic rules and atom-level extraction questions. During review, LLMs answer these local questions using retrieved document evidence, and a symbolic evaluator applies the formal rules to detect non-compliance. We instantiate and evaluate PolicyGuard on company-specific NDA compliance review, where contract clauses must be checked against organization-specific negotiation policies. By separating policy formalization, local document interpretation, and symbolic compliance evaluation, PolicyGuard makes document review more explicit, maintainable, and systematically testable.

Deterministic and Efficient Ideal Arithmetic via Two-Element Representations

2026-06-30T08:55:40Z

Given an ideal in a number field, it is desirable in many situations to find two elements that generate the ideal over the ring of the integers of the field. Existing algorithms are either randomized, or impractical at cryptographic sizes. In the paper, we present a deterministic polynomial time algorithm to find the two-element representation of an ideal. For a monic irreducible integral polynomial $ f(x) $, let $ K=\Q[x]/(f) $ be the number field, and $ O_K $ be the integral closure. Our algorithm works when the norm of the input ideal is co-prime to the index $ [O_K:\Z[x]/f] $. In particular, it handles all ideals for monogenic $ f(x) $, a class that includes the cyclotomic polynomials widely used in lattice based cryptography. A key technical ingredient in our result is a generalized version of Dedekind criterion.

Rapid Prototyping of Event-Driven Contextual Memory in the ACT-Up Cognitive Architecture

2026-06-26T12:48:30Z

The present paper describes an implementation of contextual memory and a basic event-handler for the ACT-Up cognitive architecture which maintains its scalability and appropriateness for rapid-prototyping while adding essential features and lowering the barrier to entry for new users. This includes describing a theory-neutral implementation of working memory and spreading activation, in addition to a basic associative learning mechanism. An example of rapid prototyping for algorithm development is presented using the serial memory task described in Klein, Addis, and Kahana (2005). This study describes how contiguity effects change across sequential list presentations across three serial and free recall conditions. We further describe how to use generative AI and the event handler to automatically create cognitive experiments directly from the Methods section of research papers.

Algebraic power series and their automatic complexity modulo prime powers

2026-06-25T17:28:57Z

Christol and, independently, Denef and Lipshitz showed that an algebraic sequence of $p$-adic integers (or integers) is $p$-automatic when reduced modulo $p^α$. Previously, the best known bound on the minimal automaton size for such a sequence was doubly exponential in $α$. Under mild conditions, we improve this to a bound whose dominant factor is $p^{α^3 h d / 3}$, where $h$ and $d$ are the height and degree of the minimal annihilating polynomial modulo $p$. We achieve this bound by showing that all states in the automaton are naturally represented in a new numeration system. This significantly restricts the set of possible states. Since our approach embeds algebraic sequences as diagonals of rational functions, we also obtain bounds more generally for diagonals of multivariate rational functions.

SignatureTensors.jl: A Package for Signature Tensors in Julia

2026-06-25T12:20:47Z

We introduce SignatureTensors.jl, a new package for computing signature tensors of paths in julia. We present its core functionality and demonstrate its use through illustrative examples. The package is compatible with the computer algebra system OSCAR, enabling both exact and numerical computations with signatures.

Every Nonnegative Integer Is a Sum of a Triangular, a Pentagonal, and a Heptagonal Number

2026-06-24T17:11:12Z

In this paper, it is proved that any nonnegative integer can be written in the following form $$ x(x+1)/2 + y(3y+1)/2 + z(5z+1)/2, \qquad x,y,z \in \mathbb{N}. $$ This settles the conjecture recorded as OEIS A287616. All parts of the proof have been formalized in Lean 4, with the exception of two results: one externally cited theorem and one statement verified by symbolic computation. Both the natural-language proof and the Lean formalization were generated by the MechMath Agent Team developed by the authors.

Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition

2026-06-23T12:46:08Z

We present a method for computing the exact output distribution of small programs with random inputs. Specifically, we are interested in inline programs manipulating sensor data such as \eg GPS or inertial measurement sensors whose inputs have a known or well-modelled distribution. These programs typically only include relatively few variables, arithmetic operations, square roots and if-else statements. This small syntax allows us to recast the problem of computing the exact output distribution as a cylindrical algebraic decomposition problem followed by symbolic and/or numerical integration. We present this method in detail and show with two prototypes that it can successfully be applied to benchmarks from the literature on floating-point arithmetic and small programs from open-source sensor libraries.