https://arxiv.org/api/cIl2SnTsET5y8Xz84nM1rio7Ug8 2026-04-12T15:04:47Z 3074 360 15 http://arxiv.org/abs/2401.05131v2 2025-05-06T11:27:33Z

We provide an algorithm for computing an effective basis of homology of elliptic surfaces over the complex projective line on which integration of periods can be carried out. This allows the heuristic recovery of several algebraic invariants of the surface, notably the Néron-Severi lattice, the transcendental lattice, the Mordell-Weil group and the Mordell-Weil lattice. This algorithm comes with a SageMath implementation.

2024-01-10T12:54:03Z 18 pages, 4 figures Math. Comp. 93 (2024), 2985-3025 Eric Pichon-Pharabod 10.1090/mcom/3947 http://arxiv.org/abs/2403.13382v2 2025-05-06T09:42:06Z

Polyhedral affinoid algebras have been introduced by Einsiedler, Kapranov and Lind to connect rigid analytic geometry (analytic geometry over non-archimedean fields) and tropical geometry. In this article, we present a theory of Gr{ö}bner bases for polytopal affinoid algebras that extends both Caruso et al.'s theory of Gr{ö}bner bases on Tate algebras and Pauer et al.'s theory of Gr{ö}bner bases on Laurent polynomials. We provide effective algorithms to compute Gr{ö}bner bases for both ideals of Laurent polynomials and ideals in polytopal affinoid algebras. Experiments with a Sagemath implementation are provided.

2024-03-20T08:24:35Z Extended version Moulay A. Barkatou XLIM-MATHIS, XLIM Lucas Legrand XLIM-MATHIS, XLIM Tristan Vaccon XLIM, XLIM-MATHIS http://arxiv.org/abs/2505.03130v1 2025-05-06T03:04:03Z

Symbolic regression (SR) -- which learns symbolic equations to describe the underlying relation from input-output pairs -- is widely used for scientific discovery. However, a rich set of scientific data from the real world (e.g., particle trajectories and astrophysics) are typically unsupervised, devoid of explicit input-output pairs. In this paper, we focus on symbolic implicit equation discovery, which aims to discover the mathematical relation from unsupervised data that follows an implicit equation $f(\mathbf{x}) =0$. However, due to the dense distribution of degenerate solutions (e.g., $f(\mathbf{x})=x_i-x_i$) in the discrete search space, most existing SR approaches customized for this task fail to achieve satisfactory performance. To tackle this problem, we introduce a novel pre-training framework -- namely, Pre-trained neural symbolic model for Implicit Equation (PIE) -- to discover implicit equations from unsupervised data. The core idea is that, we formulate the implicit equation discovery on unsupervised scientific data as a translation task and utilize the prior learned from the pre-training dataset to infer non-degenerate skeletons of the underlying relation end-to-end. Extensive experiments shows that, leveraging the prior from a pre-trained language model, PIE effectively tackles the problem of degenerate solutions and significantly outperforms all the existing SR approaches. PIE shows an encouraging step towards general scientific discovery on unsupervised data.

2025-05-06T03:04:03Z Kuang Yufei Wang Jie Huang Haotong Ye Mingxuan Zhu Fangzhou Li Xijun Hao Jianye Wu Feng http://arxiv.org/abs/2202.06115v2 2025-05-05T21:58:46Z

We detail an algorithm that -- for all but a $\frac{1}{Ω(\log(dH))}$ fraction of $f\in\mathbb{Z}[x]$ with exactly $3$ monomial terms, degree $d$, and all coefficients in $\{-H,\ldots, H\}$ -- produces an approximate root (in the sense of Smale) for each real root of $f$ in deterministic time $\log^{4+o(1)}(dH)$ in the classical Turing model. (Each approximate root is a rational with logarithmic height $O(\log(dH))$.) The best previous deterministic bit complexity bounds were exponential in $\log d$. We then relate this to Koiran's Trinomial Sign Problem (2017): Decide the sign of a degree $d$ trinomial $f\in\mathbb{Z}[x]$ with coefficients in $\{-H,\ldots,H\}$, at a point $r\!\in\!\mathbb{Q}$ of logarithmic height $\log H$, in (deterministic) time $\log^{O(1)}(dH)$. We show that Koiran's Trinomial Sign Problem admits a positive solution, at least for a fraction $1-\frac{1}{Ω(\log(dH))}$ of the inputs $(f,r)$.

2022-02-12T18:07:51Z 17 pages Emma Boniface Weixun Deng J. Maurice Rojas http://arxiv.org/abs/2505.02509v1 2025-05-05T09:41:39Z

The reason why Cooley-Tukey Fast Fourier Transform (FFT) over $\mathbb{Q}$ can be efficiently implemented using complex roots of unity is that the cyclotomic extensions of the completion $\mathbb{R}$ of $\mathbb{Q}$ are at most quadratic, and that roots of unity in $\mathbb{C}$ can be evaluated quickly. In this paper, we investigate a $p$-adic analogue of this efficient FFT. A naive application of this idea--such as invoking well-known algorithms like the Cantor-Zassenhaus algorithm or Hensel's lemma for polynomials to compute roots of unity--would incur a cost quadratic in the degree of the input polynomial. This would eliminate the computational advantage of using FFT in the first place. We present a method for computing roots of unity with lower complexity than the FFT computation itself. This suggests the possibility of designing new FFT algorithms for rational numbers. As a simple application, we construct an $O(N^{1+o(1)})$-time FFT algorithm over $\mathbb{Q}_p$ for fixed $p$.

2025-05-05T09:41:39Z Hiromasa Kondo http://arxiv.org/abs/2503.03337v2 2025-05-02T09:54:34Z

We identify a common scheme in several existing algorithms addressing computational problems on linear differential equations with polynomial coefficients. These algorithms reduce to computing a linear relation between vectors obtained as iterates of a simple differential operator known as pseudo-linear map. We focus on establishing precise degree bounds on the output of this class of algorithms. It turns out that in all known instances (least common left multiple, symmetric product,. . . ), the bounds that are derived from the linear algebra step using Cramer's rule are pessimistic. The gap with the behaviour observed in practice is often of one order of magnitude, and better bounds are sometimes known and derived from ad hoc methods and independent arguments. We propose a unified approach for proving output degree bounds for all instances of the class at once. The main technical tools come from the theory of realisations of matrices of rational functions and their determinantal denominators.

2025-03-05T10:11:44Z 9 pages Louis Gaillard http://arxiv.org/abs/2505.00620v1 2025-05-01T15:56:34Z

Ensuring software correctness remains a fundamental challenge in formal program verification. One promising approach relies on finding polynomial invariants for loops. Polynomial invariants are properties of a program loop that hold before and after each iteration. Generating polynomial invariants is a crucial task for loops, but it is an undecidable problem in the general case. Recently, an alternative approach to this problem has emerged, focusing on synthesizing loops from invariants. However, existing methods only synthesize affine loops without guard conditions from polynomial invariants. In this paper, we address a more general problem, allowing loops to have polynomial update maps with a given structure, inequations in the guard condition, and polynomial invariants of arbitrary form. In this paper, we use algebraic geometry tools to design and implement an algorithm that computes a finite set of polynomial equations whose solutions correspond to all loops satisfying the given polynomial invariants. In other words, we reduce the problem of synthesizing loops to finding solutions of polynomial systems within a specified subset of the complex numbers. The latter is handled in our software using an SMT solver.

2025-05-01T15:56:34Z Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet http://arxiv.org/abs/2502.03757v3 2025-05-01T03:34:28Z

Elaborating on an approach recently proposed by Mark van Hoeij, we continue to investigate why creative telescoping occasionally fails to find the minimal-order annihilating operator of a given definite sum or integral. We offer an explanation based on the consideration of residues.

2025-02-06T03:40:29Z 21 pages Shaoshi Chen Manuel Kauers Christoph Koutschan Xiuyun Li Rong-Hua Wang Yisen Wang http://arxiv.org/abs/2504.21708v1 2025-04-30T14:52:31Z

Let $\mathcal{R} = \mathbb{K}[x_1, \dots, x_n]$ be a multivariate polynomial ring over a field $\mathbb{K}$ of characteristic 0. Consider $n$ algebraically independent elements $g_1, \dots, g_n$ in $\mathcal{R}$. Let $\mathcal{S}$ denote the subring of $\mathcal{R}$ generated by $g_1, \dots, g_n$, and let $h$ be an element of $\mathcal{S}$. Then, there exists a unique element ${f} \in \mathbb{K}[u_1, \dots, u_n]$ such that $h = f(g_1, \dots, g_n)$. In this paper, we provide an algorithm for computing ${f}$, given $h$ and $g_1, \dots, g_n$. The complexity of our algorithm is linear in the size of the input, $h$ and $g_1, \dots, g_n$, and polynomial in $n$ when the degree of $f$ is fixed. Previous works are mostly known when $f$ is a symmetric polynomial and $g_1, \dots, g_n$ are elementary symmetric, homogeneous symmetric, or power symmetric polynomials.

2025-04-30T14:52:31Z Thi Xuan Vu http://arxiv.org/abs/2502.11787v2 2025-04-30T06:39:15Z

We propose a version of the classical shape lemma for zero-dimensional ideals of a commutative multivariate polynomial ring to the noncommutative setting of zero-dimensional ideals in an algebra of differential operators.

2025-02-17T13:26:16Z Manuel Kauers Christoph Koutschan Thibaut Verron http://arxiv.org/abs/2407.05777v2 2025-04-30T06:23:54Z

The article provides the theoretical framework of Probabilistic Shoenfield Machines (PSMs), an extension of the classical Shoenfield Machine that models randomness in the computation process. PSMs are introduced in contexts where deterministic computation is insufficient, such as randomized algorithms. By allowing transitions to multiple possible states with certain probabilities, PSMs can solve problems and make decisions based on probabilistic outcomes, thus expanding the variety of possible computations. We provide an overview of PSMs, detailing their formal definitions, the computation mechanism, and their equivalence with Non-deterministic Shoenfield Machines (NSMs)

2024-07-08T09:36:11Z 10 pages, 4 figures Maksymilian Bujok Adam Mata http://arxiv.org/abs/2505.00730v1 2025-04-28T17:46:57Z

This paper presents a novel primality test based on the eigenvalue structure of circulant matrices constructed from roots of unity. We prove that an integer $n > 2$ is prime if and only if the minimal polynomial of the circulant matrix $C_n = W_n + W_n^2$ has exactly two irreducible factors over $\mathbb{Q}$. This characterization connects cyclotomic field theory with matrix algebra, providing both theoretical insights and practical applications. We demonstrate that the eigenvalue patterns of these matrices reveal fundamental distinctions between prime and composite numbers, leading to a deterministic primality test. Our approach leverages the relationship between primitive roots of unity, Galois theory, and the factorization of cyclotomic polynomials. We provide comprehensive experimental validation across various ranges of integers, discuss practical implementation considerations, and analyze the computational complexity of our method in comparison with established primality tests. The visual interpretation of our mathematical framework provides intuitive understanding of the algebraic structures that distinguish prime numbers. Our experimental validation demonstrates that our approach offers a deterministic alternative to existing methods, with performance characteristics reflecting its algebraic foundations.

2025-04-28T17:46:57Z 27 pages, 5 figures, 2 tables; This paper was created with AI assistance using Symbia Engine from SymbolicAI Framework [Dinu et al.]; Repository: https://github.com/ExtensityAI/primality_test Marius-Constantin Dinu http://arxiv.org/abs/2504.20003v1 2025-04-28T17:24:02Z

In difference algebra, summability arises as a basic problem upon which rests the effective solution of other more elaborate problems, such as creative telescoping problems and the computation of Galois groups of difference equations. In 2012 Chen and Singer introduced discrete residues as a theoretical obstruction to summability for rational functions with respect to the shift and $q$-dilation difference operators. Since then analogous notions of discrete residues have been defined in other difference settings relevant for applications, such as for Mahler and elliptic shift difference operators. Very recently there have been some advances in making these theoretical obstructions computable in practice.

2025-04-28T17:24:02Z Extended abstract for 6th International Conference "Computer Algebra", Moscow, June 23-25, 2025 Carlos E. Arreche http://arxiv.org/abs/2012.07903v4 2025-04-28T15:56:37Z

The second-order cone (SOC) is a class of simple convex cones and optimizing over them can be done more efficiently than with semidefinite programming. It is interesting both in theory and in practice to investigate which convex cones admit a representation using SOCs, given that they have a strong expressive ability. In this paper, we prove constructively that the cone of sums of nonnegative circuits (SONC) admits a SOC representation. Based on this, we give a new algorithm for unconstrained polynomial optimization via SOC programming. We also provide a hybrid numeric-symbolic scheme which combines the numerical procedure with a rounding-projection algorithm to obtain exact nonnegativity certificates. Numerical experiments demonstrate the efficiency of our algorithm for polynomials with fairly large degree and number of variables.

2020-12-14T19:32:45Z 29 pages, 7 tables, 6 figures, extended version of the article published in the proceedings of ISSAC 2020. arXiv admin note: text overlap with arXiv:1906.06179 Victor Magron Jie Wang http://arxiv.org/abs/2504.19243v1 2025-04-27T13:57:31Z

This paper introduces an algorithmic approach to the analysis of Jacobi stability of systems of second order ordinary differential equations (ODEs) via the Kosambi--Cartan--Chern (KCC) theory. We develop an efficient symbolic program using Maple for computing the second KCC invariant for systems of second order ODEs in arbitrary dimension. The program allows us to systematically analyze Jacobi stability of a system of second order ODEs by means of real solving and solution classification using symbolic computation. The effectiveness of the proposed approach is illustrated by a model of wound strings, a two-dimensional airfoil model with cubic nonlinearity in supersonic flow and a 3-DOF tractor seat-operator model. The computational results on Jacobi stability of these models are further verified by numerical simulations. Moreover, our algorithmic approach allows us to detect hand-guided computation errors in published papers.

2025-04-27T13:57:31Z 25 pages, 16 figures, to appear in Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation (ISSAC 2025) Christian G. Böhmer Bo Huang Dongming Wang Xinyu Wang