https://arxiv.org/api/5cAOXs0eZEEs+bWTh9b3TpG4uBI 2026-04-07T08:32:40Z 3073 90 15 http://arxiv.org/abs/2602.04707v1 2026-02-04T16:19:07Z

We compute the volumes of convex bodies that are given by inequalities of concave polynomials. These volumes are found to arbitrary precision thanks to the representation of periods by linear differential equations. Our approach rests on work of Lairez, Mezzarobba, and Safey El Din. We present a novel method to identify the relevant critical values. Convexity allows us to reduce the required number of creative telescoping steps by an exponential factor. We provide an implementation based on the ore_algebra package in SageMath. This is applied to a problem in geometric statistics, where the convex body is an intersection of $\ell_p$-balls.

2026-02-04T16:19:07Z 8 pages, 3 figures Lakshmi Ramesh Nicolas Weiss 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 http://arxiv.org/abs/2602.00280v1 2026-01-30T20:04:09Z

The singularity theory of rational functions, i.e., the quotient of two polynomials, has been investigated in the past two decades. The Bernstein-Sato polynomial of a rational function has recently been introduced by Takeuchi. However, only trivial examples are known. We provide an algorithm for computing the Bernstein-Sato polynomial in this context. The strategy is to compute the annihilator of the rational function by using the annihilator of the pair consisting of the numerator and denominator of the quotient. In a natural way a non-vanishing condition on the Bernstein-Sato ideal of the pair appears. This method has been implemented in freely available computer algebra system SINGULAR. It relies on Gröbner bases in noncommutative PBW algebras. The algorithm allows us to exhibit some explicit non-trivial examples and to support some existing conjectures.

2026-01-30T20:04:09Z Manuel González-Villa Edwin León-Cardenal Viktor Levandovskyy Jorge Martín-Morales http://arxiv.org/abs/2601.23169v1 2026-01-30T16:53:01Z

Current neural architectures lack a principled way to handle interchangeable tokens, i.e., symbols that are semantically equivalent yet distinguishable, such as bound variables. As a result, models trained on fixed vocabularies often struggle to generalize to unseen symbols, even when the underlying semantics remain unchanged. We propose a novel Transformer-based mechanism that is provably invariant to the renaming of interchangeable tokens. Our approach employs parallel embedding streams to isolate the contribution of each interchangeable token in the input, combined with an aggregated attention mechanism that enables structured information sharing across streams. Experimental results confirm the theoretical guarantees of our method and demonstrate substantial performance gains on open-vocabulary tasks that require generalization to novel symbols.

2026-01-30T16:53:01Z İlker Işık Wenchao Li http://arxiv.org/abs/2601.23073v1 2026-01-30T15:20:39Z

We study the theoretical and practical aspects of computing braids described by approximate descriptions of paths in the plane. Exact algorithms rely on the lexicographic ordering of the points in the plane, which is unstable under numerical uncertainty. Instead, we formalize an input model for approximate data, based on a separation predicate. It applies, for example, to paths obtained by tracking the roots of a parametrized polynomial with complex coefficients, thereby connecting certified path tracking outputs to exact braid computation.

2026-01-30T15:20:39Z Alexandre Guillemot Pierre Lairez http://arxiv.org/abs/2511.05035v2 2026-01-27T22:56:53Z

Modular composition is the problem of computing the coefficient vector of the polynomial $f(g(x)) \bmod h(x)$, given as input the coefficient vectors of univariate polynomials $f$, $g$, and $h$ over an underlying field $\mathbb{F}$. While this problem is known to be solvable in nearly-linear time over finite fields due to work of Kedlaya & Umans, no such near-linear-time algorithms are known over infinite fields, with the fastest known algorithm being from a recent work of Neiger, Salvy, Schost & Villard that takes $O(n^{1.43})$ field operations on inputs of degree $n$. In this work, we show that for any infinite field $\mathbb{F}$, modular composition is in the border of algebraic circuits with division gates of nearly-linear size and polylogarithmic depth. Moreover, this circuit family can itself be constructed in near-linear time. Our techniques also extend to other algebraic problems, most notably to the problem of computing greatest common divisors of univariate polynomials. We show that over any infinite field $\mathbb{F}$, the GCD of two univariate polynomials can be computed (piecewise) in the border sense by nearly-linear-size and polylogarithmic-depth algebraic circuits with division gates, where the circuits themselves can be constructed in near-linear time. While univariate polynomial GCD is known to be computable in near-linear time by the Knuth--Schönhage algorithm, or by constant-depth algebraic circuits from a recent result of Andrews & Wigderson, obtaining a parallel algorithm that simultaneously achieves polylogarithmic depth and near-linear work remains an open problem of great interest. Our result shows such an upper bound in the setting of border complexity.

2025-11-07T07:18:03Z An anonymous referee pointed out a gap in the proofs of Theorems 6.2 and 6.4 Robert Andrews Mrinal Kumar Shanthanu S. Rai http://arxiv.org/abs/2506.00266v2 2026-01-27T21:07:21Z

We consider the computational problem of determining the unit group of a finite ring, by which we mean the computation of a finite presentation together with an algorithm to express units as words in the generators. We show that the problem is equivalent to the number theoretic problems of factoring integers and solving discrete logarithms in finite fields. A similar equivalence is shown for the problem of determining the abelianization of the unit group or the first $K$-group of finite rings.

2025-05-30T22:00:47Z J. Algebra 693 (2026) 510-530 Tommy Hofmann 10.1016/j.jalgebra.2026.01.019 http://arxiv.org/abs/2601.19982v1 2026-01-27T19:00:02Z

We present FORM 5, a major release of the symbolic-manipulation system FORM. Version 5 introduces an integrated diagram generator, based on the GRACE graph-generator, to produce Feynman diagrams directly from FORM scripts. This release also adds support for arbitrary precision floating point coefficients, together with statements for the numerical evaluation of common mathematical functions as well as multiple zeta values and Euler sums. In addition, FORM 5 provides an interface to the FLINT library, offering substantially faster polynomial arithmetic. Various further functions and commands have been added alongside these major features, as well as performance improvements for TFORM and improved compression of FORM's temporary files. Compatibility with the previous release, FORM 4.3.1, is retained except where prior behaviour contradicted the manual or was experimental.

2026-01-27T19:00:02Z 22 pages J. Davies T. Kaneko C. Marinissen T. Ueda J. A. M. Vermaseren http://arxiv.org/abs/2507.13550v2 2026-01-27T07:35:24Z

The development of large language models (LLMs) has successfully transformed knowledge-based systems such as open domain question nswering, which can automatically produce vast amounts of seemingly coherent information. Yet, those models have several disadvantages like hallucinations or confident generation of incorrect or unverifiable facts. In this paper, we introduce a new approach to the development of expert systems using LLMs in a controlled and transparent way. By limiting the domain and employing a well-structured prompt-based extraction approach, we produce a symbolic representation of knowledge in Prolog, which can be validated and corrected by human experts. This approach also guarantees interpretability, scalability and reliability of the developed expert systems. Via quantitative and qualitative experiments with Claude Sonnet 3.7 and GPT-4.1, we show strong adherence to facts and semantic coherence on our generated knowledge bases. We present a transparent hybrid solution that combines the recall capacity of LLMs with the precision of symbolic systems, thereby laying the foundation for dependable AI applications in sensitive domains.

2025-07-17T21:57:37Z Eduardo C. Garrido-Merchán Cristina Puente