English
Related papers

Related papers: Ideal Membership in Polynomial Rings over the Inte…

200 papers

We consider hyper- and superelliptic equations $f(x)=by^m$ with unknowns x,y from the ring of S-integers of a given number field K. Here, f is a polynomial with S-integral coefficients of degree n with non-zero discriminant and b is a…

Number Theory · Mathematics 2023-09-19 Attila Bérczes , Jan-Hendrik Evertse , Kálmán Györy

Let $F$ be a finitely generated free group, and let $H\le F$ be a finitely generated subgroup. An equation for an element $g\in F$ with coefficients in $H$ is an element $w(x)\in H*\langle x \rangle$ such that $w(g)=1$ in $F$; the degree of…

Group Theory · Mathematics 2024-03-26 Dario Ascari

In this paper, we present an isomorphism between the ring of general polynomials over a division ring of degree $p$ over its center $F$ and the group ring of the free monoid with $p^2$ variables. Using this isomorphism, we define the…

Rings and Algebras · Mathematics 2011-12-07 Adam Chapman

Let $P_1,...,P_n$ be generic homogeneous polynomials in $n$ variables of degrees $d_1,...,d_n$ respectively. We prove that if $\nu$ is an integer satisfying ${\sum_{i=1}^n d_i}-n+1-\min\{d_i\}<\nu,$ then all multivariate subresultants…

Algebraic Geometry · Mathematics 2007-05-23 Laurent Busé , Carlos D'Andrea

We study the non-linear extension of integer programming with greatest common divisor constraints of the form $\gcd(f,g) \sim d$, where $f$ and $g$ are linear polynomials, $d$ is a positive integer, and $\sim$ is a relation among $\leq, =,…

Logic in Computer Science · Computer Science 2023-08-29 Rémy Defossez , Christoph Haase , Alessio Mansutti , Guillermo A. Perez

We describe an algorithm which finds binomials in a given ideal $I\subset\mathbb{Q}[x_1,\dots,x_n]$ and in particular decides whether binomials exist in $I$ at all. Binomials in polynomial ideals can be well hidden. For example, the lowest…

Commutative Algebra · Mathematics 2017-04-19 Anders Jensen , Thomas Kahle , Lukas Katthän

Up to linear transformations, we obtain a classification of permutation polynomials (PPs) of degree $8$ over $\mathbb{F}_{2^r}$ with $r>3$. By [J. Number Theory 176 (2017) 466-66], a polynomial $f$ of degree $8$ over $\mathbb{F}_{2^r}$ is…

Number Theory · Mathematics 2020-03-17 Xiang Fan

We study representation of square-free polynomials in the polynomial ring F[t] over a finite field F by polynomials in F[t][x]. This is a function field version of the well-studied problem of representing squarefree integers by integer…

Number Theory · Mathematics 2013-07-16 Zeev Rudnick

Let S=K[x_1,...,x_n] be a polynomial ring and R=S/I be a graded K-algebra where I is a graded ideal in S. Herzog, Huneke and Srinivasan have conjectured that the multiplicity of R is bounded above by a function of the maximal shifts in the…

Commutative Algebra · Mathematics 2021-05-18 Tim Roemer

The main result of this paper is the decidability of the membership problem for $2\times 2$ nonsingular integer matrices. Namely, we will construct the first algorithm that for any nonsingular $2\times 2$ integer matrices $M_1,\dots,M_n$…

Discrete Mathematics · Computer Science 2016-04-11 Igor Potapov , Pavel Semukhin

In this paper we obtain some statements concerning ideals of polynomials and apply these results in a number of different situations. Among other results, we present new characterizations of $\mathcal{L}_{\infty}$-spaces, Coincidence…

Functional Analysis · Mathematics 2007-05-23 Daniel M. Pellegrino

Consider real bivariate polynomials f and g, respectively having 3 and m monomial terms. We prove that for all m>=3, there are systems of the form (f,g) having exactly 2m-1 roots in the positive quadrant. Even examples with m=4 having 7…

Algebraic Geometry · Mathematics 2007-09-18 Joel Gomez , Andrew Niles , J. Maurice Rojas

This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We…

Optimization and Control · Mathematics 2024-03-08 Marcel Celaya , Stefan Kuhlmann , Robert Weismantel

We prove that the ideal membership problem and the subalgebra membership problem are algorithmically undecidable for differential polynomial algebras with at least two basic derivation operators.

Rings and Algebras · Mathematics 2020-01-03 Ualbai Umirbaev

In previous work we computed the number $C_n(q)$ of ideals of codimension $n$ of the algebra ${\mathbb{F}}_q[x,y,x^{-1}, y^{-1}]$ of two-variable Laurent polynomials over a finite field: it turned out that $C_n(q)$ is a palindromic…

Number Theory · Mathematics 2025-09-11 Christian Kassel , Christophe Reutenauer

Let $k\ge 1$ be an integer, and let $P= (f_1(x), \ldots, f_k(x) )$ be $k$ admissible linear polynomials over the integers, or \textit{the pattern}. We present two algorithms that find all integers $x$ where $\max{ \{f_i(x) \} } \le n$ and…

Number Theory · Mathematics 2021-05-31 Jonathan P. Sorenson , Jonathan Webster

Many lattice-based crypstosystems employ ideal lattices for high efficiency. However, the additional algebraic structure of ideal lattices usually makes us worry about the security, and it is widely believed that the algebraic structure…

Cryptography and Security · Computer Science 2024-02-21 Yihang Cheng , Yansong Feng , Yanbin Pan

In this paper, we obtain several new factorization results for certain classes of polynomials having integer coefficients. In doing so, we use the information about prime factorization of the value taken up by such polynomials and their…

Number Theory · Mathematics 2025-12-24 Rishu Garg , Jitender Singh

Let $F_1,\ldots,F_R$ be homogeneous polynomials of degree $d\ge 2$ with integer coefficients in $n$ variables, and let $\mathbf{F}=(F_1,\ldots,F_R)$. Suppose that $F_1,\ldots,F_R$ is a non-singular system and $n\ge 4^{d+2}d^2R^5$. We prove…

Number Theory · Mathematics 2021-05-28 Jianya Liu , Lilu Zhao

It follows from the Garloff-Wagner Theorem that the set of stable polynomials of degree $n$, denoted by $\mathcal{H}_n$, i.e., those whose zeros all lie in the open left complex half-plane, with the Hadamard product $*$, forms an abelian…

Complex Variables · Mathematics 2026-05-11 Michał Kudra