English
Related papers

Related papers: A Refined Denominator Bounding Algorithm for Multi…

200 papers

This paper is concerned with the factorization and equivalence problems of multivariate polynomial matrices. We present some new criteria for the existence of matrix factorizations for a class of multivariate polynomial matrices, and obtain…

Symbolic Computation · Computer Science 2020-10-15 Dong Lu , Dingkang Wang , Fanghui Xiao

We describe algorithms for computing various functors for algebraic D-modules, i.e. systems of linear partial differential equations with polynomial coefficients. We will give algorithms for restriction, tensor product, localization, and…

Algebraic Geometry · Mathematics 2007-05-23 Toshinori Oaku , Nobuki Takayama

We study the probability that a random polynomial with integer coefficients is reducible when factored over the rational numbers. Using computer-generated data, we investigate a number of different models, including both monic and non-monic…

We study the growth behaviour of rational linear recurrence sequences. We show that for low-order sequences, divergence is decidable in polynomial time. We also exhibit a polynomial-time algorithm which takes as input a divergent rational…

Computational Complexity · Computer Science 2021-11-22 Shaull Almagor , Brynmor Chapman , Mehran Hosseini , Joël Ouaknine , James Worrell

An algebraic approach for factorizing nonlinear partial differential equations (PDEs) and systems of PDEs is provided. In the particular case of second order linear and nonlinear PDEs and systems of PDEs, necessary and sufficient conditions…

Analysis of PDEs · Mathematics 2011-07-26 Mahouton Norbert Hounkonnou , Pascal Dkengne Sielenou

For every constant $d$, we design a subexponential time deterministic algorithm that takes as input a multivariate polynomial $f$ given as a constant depth algebraic circuit over the field of rational numbers, and outputs all irreducible…

Computational Complexity · Computer Science 2023-09-19 Mrinal Kumar , Varun Ramanathan , Ramprasad Saptharishi

The purpose of the paper is to introduce two new algorithms. The first one computes a linear recursion for proper hypergeometric multisums, by treating one summation variable at a time, and provides rational certificates along the way. A…

Combinatorics · Mathematics 2009-07-09 Stavros Garoufalidis , Xinyu Sun

We generalize the classical lifting and recombination scheme for rational and absolute factorization of bivariate polynomials to the case of a critical fiber. We explore different strategies for recombinations of the analytic factors,…

Algebraic Geometry · Mathematics 2015-01-14 Martin Weimann

There is a commutative algebra of differential-difference operators, with two parameters, associated to any dihedral group with an even number of reflections. The intertwining operator relates this algebra to the algebra of partial…

Classical Analysis and ODEs · Mathematics 2008-04-24 Charles F. Dunkl

Fewnomial theory began with explicit bounds -- solely in terms of the number of variables and monomial terms -- on the number of real roots of systems of polynomial equations. Here we take the next logical step of investigating the…

Algebraic Geometry · Mathematics 2007-05-23 Frederic Bihan , J. Maurice Rojas , Casey E. Stella

In this note we prove that the factorization theorem for dominated polynomials previously proved by the authors is equivalent to an alternative factorization scheme that uses classical linear techniques and a linearization process. However,…

Functional Analysis · Mathematics 2008-12-09 Geraldo Botelho , Daniel Pellegrino , Pilar Rueda

We introduce partial differential encodings of Boolean functions as a way of measuring the complexity of Boolean functions. These encodings enable us to derive from group actions non-trivial bounds on the Chow-Rank of polynomials used to…

Computational Complexity · Computer Science 2022-12-02 Edinah K. Gnang , Rongyu Xu

This work proposes a conformable fractional predictor-corrector algorithm for solving conformable fractional differential equations. Fractional calculus is finding applications in various scientific fields, but existing numerical methods…

Numerical Analysis · Mathematics 2024-06-25 Mohamed Echchehira , Youness Assebbane , Mustapha Atraoui , Mohamed Bouaouid

We introduce determinantal sieving, a new, remarkably powerful tool in the toolbox of algebraic FPT algorithms. Given a polynomial $P(X)$ on a set of variables $X=\{x_1,\ldots,x_n\}$ and a linear matroid $M=(X,\mathcal{I})$ of rank $k$,…

Data Structures and Algorithms · Computer Science 2025-10-08 Eduard Eiben , Tomohiro Koana , Magnus Wahlström

Starting from determinants at finite temperature obeying an intermediate boundary condition between the periodic (bosonic) and antiperiodic (fermionic) cases, we find results which can be mapped onto the ones obtained from anyons for the…

High Energy Physics - Theory · Physics 2009-10-31 P. F. Borges , H. Boschi-Filho , C. Farina

Our purpose in this paper is to study when a planar differential system polynomial in one variable linearizes in the sense that it has an inverse integrating factor which can be constructed by means of the solutions of linear differential…

Dynamical Systems · Mathematics 2007-10-29 Hector Giacomini , Jaume Gine , Maite Grau

We present a decomposition of the generalized binomial coefficients associated with Jack polynomials into two factors: a stem, which is described explicitly in terms of hooks of the indexing partitions, and a leaf, which inherits various…

Combinatorics · Mathematics 2018-07-30 Yusra Naqvi , Siddhartha Sahi

We show how machine learning methods can unveil the fractional and delayed nature of discrete dynamical systems. In particular, we study the case of the fractional delayed logistic map. We show that given a trajectory, we can detect if it…

Dynamical Systems · Mathematics 2023-09-08 J. Alberto Conejero , Òscar Garibo-i-Orts , Carlos Lizama

This paper proposes new derivations of three well-known sorting algorithms, in their functional formulation. The approach we use is based on three main ingredients: first, the algorithms are derived from a simpler algorithm, i.e. the…

Data Structures and Algorithms · Computer Science 2008-02-27 José Bacelar Almeida , Jorge Sousa Pinto

We give an optimal necessary and sufficient condition for the quotient polynomial and remainder in the division algorithm to have positive coefficients.

Classical Analysis and ODEs · Mathematics 2013-08-15 Mark B. Villarino