https://arxiv.org/api/93aaFGlP9M14ZA01Yiw5PtyPAvA 2026-06-13T23:03:29Z 3138 165 15 http://arxiv.org/abs/2602.07718v1 2026-02-07T21:48:23Z

We propose an algorithm to construct a certified approximation of a surface by generalizing the Krawczyk test. The Krawczyk test is based on interval arithmetic, and confirms the existence and uniqueness of a solution to a square system of analytic equations in a region. By generalizing this test, we extend the reach of this technique to non-square systems and higher-dimensional varieties. We provide a prototype implementation and illustrate its use on several examples.

2026-02-07T21:48:23Z 15 pages, 5 figures Michael Burr Jonathan D. Hauenstein Kisun Lee http://arxiv.org/abs/2602.07576v1 2026-02-07T14:51:27Z

Given an algebraically closed field $K$, a dynamical sequence over $K$ is a $K$-valued sequence of the form $a(n):= f(φ^n(x_0))$, where $φ\colon X\to X$ and $f\colon X\to\mathbb{A}^1$ are rational maps defined over $K$, and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $\varphi$ and $f$. Many classical sequences from number theory and algebraic combinatorics fall under this dynamical framework, and we show that the class of dynamical sequences enjoys numerous closure properties and encompasses all elliptic divisibility sequences, all Somos sequences, and all $C^n$- and $D^n$-finite sequences for all $n\ge 1$, as defined by Jiménez-Pastor, Nuspl, and Pillwein. We also give an algorithm for proving that two dynamical sequences are identical and illustrate how to use this algorithm by showing how to prove several classical combinatorial identities via this method.

2026-02-07T14:51:27Z 21 pages Jason P. Bell Yuxuan Sun http://arxiv.org/abs/2602.07237v1 2026-02-06T22:31:44Z

We present an algorithm to compute $\mathrm{LCLM}$-decompositions for linear differentials operators with coefficients in the rational function field of characteristic $p$, $\mathbb{F}_{p^n}(t)$. We show that for an operator $L$ of order $r$ with coefficients of degree $d$, it finishes in polynomial time in $r$, $d$ and $p$. This algorithm proceeds in three steps. We begin by showing that the ''shape'' of the factorisation of $L$ can be easily obtained from the Frobenius normal form of its $p$-curvature, which can be efficiently computed an algorithm from Bostan, Caruso and Schost. Using results from the thesis of the author, we are then able to construct an operator $L^*$ in the same equivalence class as $L$ for which an $\mathrm{LCLM}$-decomposition is known. Finally, by computing an isomorphism between the quotient modules $\mathbb{F}_q(t)\langle\partial\rangle/\mathbb{F}_q(t)\langle\partial\rangle L^*$ and $\mathbb{F}_q(t)\langle\partial\rangle/\mathbb{F}_q(t)\langle\partial\rangle L$, we find a corresponding $\mathrm{LCLM}$-decomposition of $L$.

2026-02-06T22:31:44Z Raphaël Pagès http://arxiv.org/abs/2602.06873v1 2026-02-06T16:57:19Z

This paper studies the integration problem in differential fields that may involve quantities reminiscent of the Weierstrass $\wp$ function, which are defined by a first-order nonlinear differential equation. We extend the classical notion of special polynomials to elements of Weierstrass-like extensions and present algorithms for reduction in such extensions. As an application of these results, we derive some new formulae for integrals of powers of $\wp$.

2026-02-06T16:57:19Z 23 pages Shaoshi Chen Manuel Kauers Wenqiao Li Xiuyun Li David Masser http://arxiv.org/abs/2602.06817v1 2026-02-06T16:03:50Z

In this paper, we present a generic parametrization of generically zero-dimensional parametric polynomial systems. More specifically, we study the specialization properties of the Rational Univariate Representation and derive bounds on the degrees and heights of its elements. In addition to that, we propose two algorithms to effectively compute this parametrization.

2026-02-06T16:03:50Z Florent Corniquel SU, UPCité, IMJ-PRG, OURAGAN http://arxiv.org/abs/2602.06490v1 2026-02-06T08:35:46Z

Given a standard graded algebra over a field, we consider the relationship between G-quadraticity and the existence of a Koszul filtration. We show that having a quadratic Gröbner basis implies the existence of a Koszul filtration for toric algebras equipped with the degree reverse lexicographic term order and for algebras defined by binomial edge ideals. We also resolve a conjecture of Ene, Herzog, and Hibi by constructing an example where this implication fails. These results are underpinned by algorithms we develop for constructing Koszul filtrations. We also demonstrate the utility of these algorithms on the pinched Veronese algebra.

2026-02-06T08:35:46Z 24 pages; comments welcome! Emily Berghofer Lisa Nicklasson Peder Thompson Thomas Westerbäck http://arxiv.org/abs/2601.16105v2 2026-02-05T16:21:12Z

We discuss algorithms for arithmetic properties of hypergeometric functions. Most notably, we are able to compute the p-adic valuation of a hypergeometric function on any disk of radius smaller than the p-adic radius of convergence. This we use, building on work of Christol, to determine the set of prime numbers modulo which it can be reduced. Moreover, we describe an algorithm to find an annihilating polynomial of the reduction of a hypergeometric function modulo p.

2026-01-22T16:53:29Z 9 pages Xavier Caruso Florian Fürnsinn http://arxiv.org/abs/2505.00878v3 2026-02-04T22:11:57Z

Machine-assisted methods for discovering physical laws from background theory and data have recently emerged, promising to advance our understanding of the physical world. However, training and benchmarking these systems remains challenging: real physical theories are limited in number. To address this need, we introduce SynPAT, a system for generating synthetic physical theories with accompanying data. SynPAT produces: (i) a consistent set of axioms forming a synthetic theory, (ii) a symbolic consequence of these axioms representing the discovery target, and (iii) noisy data approximating this consequence. Crucially, to mirror historically incorrect theories (e.g., Newtonian mechanics before Special Relativity), SynPAT can also generate theories whose axioms do not strictly entail, and in fact conflict with, the observed consequence, requiring a correction to the assumed axioms to bridge the gap. We detail SynPAT's methodology and benchmark several open-source symbolic regression systems on our generated theories and data.

2025-05-01T21:39:55Z 28 pages, 2 figures Jonathan Lenchner Karan Srivastava Joao Goncalves Mark Squillante Lior Horesh http://arxiv.org/abs/2602.04531v1 2026-02-04T13:20:18Z

We report on implementations for algorithms treating algebraic and arithmetic properties of hypergeometric functions in the computer algebra system SageMath. We treat hypergeometric series over the rational numbers, over finite fields, and over the p-adics. Among other things, we provide implementations deciding algebraicity, computing valuations, and computing minimal polynomials in positive characteristic.

2026-02-04T13:20:18Z 4 pages Xavier Caruso Florian Fürnsinn http://arxiv.org/abs/2602.03592v1 2026-02-03T14:43:48Z

Transcendental Liouvillian extensions are differential fields, in which one can model poly-logarithmic, hyperexponential, and trigonometric functions, logarithmic integrals, and their (nested) rational expressions. For such an extension $(F, \, ^\prime)$ with the subfield $C$ of constants, we construct a complementary subspace $W$ for the $C$-subspace of derivatives in $F$, and develop an algorithm that, for every $f \in F$, computes a pair $(g,r) \in F \times W$ such that $f = g^\prime + r$. Moreover, $f$ is a derivative in $F$ if and only if $r=0$. The algorithm enables us to determine elementary integrability over $F$ by computing parametric logarithmic parts, and leads to a reduction-based approach to constructing telescopers for functions that can be represented by elements in $F$.

2026-02-03T14:43:48Z 42pages Shaoshi Chen Hao Du Yiman Gao Hui huang Wenqiao Li Ziming Li http://arxiv.org/abs/2602.03289v1 2026-02-03T09:14:12Z

Continuing previous work, this paper focuses on the summability problem of multivariate rational functions in the mixed case in which both shift and $q$-shift operators can appear. Our summability criteria rely on three ingredients including orbital decompositions, Sato's isotropy groups, and difference transformations. This work settles the rational case of the long-term project aimed at developing algorithms for symbolic summation of multivariate functions.

2026-02-03T09:14:12Z Shaoshi Chen Lixin Du Hanqian Fang Yisen Wang http://arxiv.org/abs/2602.02972v1 2026-02-03T01:17:18Z

The efficiency of Gröbner basis computation, the standard engine for solving systems of polynomial equations, depends on the choice of monomial ordering. Despite a near-continuum of possible monomial orders, most implementations rely on static heuristics such as GrevLex, guided primarily by expert intuition. We address this gap by casting the selection of monomial orderings as a reinforcement learning problem over the space of admissible orderings. Our approach leverages domain-informed reward signals that accurately reflect the computational cost of Gröbner basis computations and admits efficient Monte Carlo estimation. Experiments on benchmark problems from systems biology and computer vision show that the resulting learned policies consistently outperform standard heuristics, yielding substantial reductions in computational cost. Moreover, we find that these policies resist distillation into simple interpretable models, providing empirical evidence that deep reinforcement learning allows the agents to exploit non-linear geometric structure beyond the scope of traditional heuristics.

2026-02-03T01:17:18Z R. Caleb Bunch Alperen A. Ergür Melika Golestani Jessie Tong Malia Walewski Yunus E. Zeytuncu http://arxiv.org/abs/2602.01188v1 2026-02-01T12:23:03Z

Consider formal power series $f_1,\ldots, f_k\in\mathbb{Q}[[z]]$ that are defined as the solutions of a system of polynomial differential equations together with a sufficient number of initial conditions. Given $P\in \mathbb{Q}[F_1,\ldots,F_k]$, several algorithms have been proposed in order to test whether $P(f_1,\ldots,f_k)=0$. In this paper, we present such an algorithm for the case where $f_1,\ldots,f_k$ are so-called transseries instead of power series.

2026-02-01T12:23:03Z Shaoshi Chen Hanqian Fang Joris van der Hoeven http://arxiv.org/abs/2505.06091v2 2026-02-01T10:45:55Z

Symbolic Regression (SR) is a powerful technique for automatically discovering mathematical expressions from input data. Mainstream SR algorithms search for the optimal symbolic tree in a vast function space, but the increasing complexity of the tree structure limits their performance. Inspired by neural networks, symbolic networks have emerged as a promising new paradigm. However, most existing symbolic networks still face certain challenges: binary nonlinear operators $\{\times, ÷\}$ cannot be naturally extended to multivariate operators, and training with fixed architecture often leads to higher complexity and overfitting. In this work, we propose a Unified Symbolic Network that unifies nonlinear binary operators into nested unary operators and define the conditions under which UniSymNet can reduce complexity. Moreover, we pre-train a Transformer model with a novel label encoding method to guide structural selection, and adopt objective-specific optimization strategies to learn the parameters of the symbolic network. UniSymNet shows high fitting accuracy, excellent symbolic solution rate, and relatively low expression complexity, achieving competitive performance on low-dimensional Standard Benchmarks and high-dimensional SRBench.

2025-05-09T14:38:25Z Neural Networks 199C (2026) 108615 Xinxin Li Juan Zhang Da Li Xingyu Liu Jin Xu Junping Yin 10.1016/j.neunet.2026.108615 http://arxiv.org/abs/2504.01847v3 2026-01-31T19:58:23Z

Sets of equations E play an important computational role in rewriting-based systems R by defining an equivalence relation =E inducing a partition of terms into E-equivalence classes on which rewriting computations, denoted ->R/E and called *rewriting modulo E*, are issued. This paper investigates *confluence of ->R/E*, usually called *E-confluence*, for *conditional* rewriting-based systems, where rewriting steps are determined by conditional rules. We rely on Jouannaud and Kirchner's framework to investigate confluence of an abstract relation R modulo an abstract equivalence relation E on a set A. We show how to particularize the framework to be used with conditional systems. Then, we show how to define appropriate finite sets of *conditional pairs* to prove and disprove E-confluence. In particular, we introduce *Logic-based Conditional Critical Pairs* which do not require the use of (often infinitely many) E-unifiers to provide a finite representation of the *local peaks* considered in the abstract framework. We also introduce *parametric Conditional Variable Pairs* which are essential to deal with conditional rules in the analysis of E-confluence. Our results apply to well-known classes of rewriting-based systems. In particular, to *Equational (Conditional) Term Rewriting Systems*. In this realm, our E-confluence results strictly subsume previous approaches by Huet and Jouannaud and Kirchner.

2025-04-02T15:55:06Z 83 pages. 17 figures. 8 tables Salvador Lucas