English
Related papers

Related papers: Effective bounds for polynomial systems defined ov…

200 papers

We develop new polynomial methods for studying systems of word equations. We use them to improve some earlier results and to analyze how sizes of systems of word equations satisfying certain independence properties depend on the lengths of…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Aleksi Saarela

We present counting methods for some special classes of multivariate polynomials over a finite field, namely the reducible ones, the s-powerful ones (divisible by the s-th power of a nonconstant polynomial), and the relatively irreducible…

Commutative Algebra · Mathematics 2013-11-12 Joachim von zur Gathen , Alfredo Viola , Konstantin Ziegler

We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose…

Logic in Computer Science · Computer Science 2018-05-03 Ehud Hrushovski , Joël Ouaknine , Amaury Pouly , James Worrell

We survey and unify recent results on the existence of accurate algorithms for evaluating multivariate polynomials, and more generally for accurate numerical linear algebra with structured matrices. By "accurate" we mean that the computed…

Numerical Analysis · Mathematics 2008-05-21 James Demmel , Ioana Dumitriu , Olga Holtz , Plamen Koev

In this paper, we study properties of polynomials over division rings. Moreover, we present formulas for finding roots of some polynomials

Rings and Algebras · Mathematics 2024-03-19 Alina G. Goutor , Sergey V. Tikhonov

Primarily this paper presents an expository report on alternatives to the traditional methods of classifying representations of finite dimensional algebras. Some new results illustrating such alternatives for algebras with only finitely…

Representation Theory · Mathematics 2014-07-10 Birge Huisgen-Zimmermann

We present an explicit basis for orders of arbitrary level N>1 in definite rational quaternion algebras. These orders have applications to computations of spaces of elliptic and quaternionic modular forms.

Number Theory · Mathematics 2018-10-15 Jordan Wiebe

Let $\mathcal{R}$ be a finite valuation ring of order $q^r$. In this paper we generalize and improve several well-known results, which were studied over finite fields $\mathbb{F}_q$ and finite cyclic rings $\mathbb{Z}/p^r\mathbb{Z}$, in the…

Combinatorics · Mathematics 2016-11-22 Pham Van Thang , Le Anh Vinh

We use the theory of resultants of polynomials to study the stability of an arbitrary polynomial over a finite field, that is, the property of having all its iterates irreducible. This result partially generalises the quadratic polynomial…

Number Theory · Mathematics 2012-06-22 Domingo Gomez-Perez , Alejandro P. Nicolas , Alina Ostafe , Daniel Sadornil

Previous research on exceptional units has primarily focused on the ring of rational integers or abstract finite rings, often restricted to linear or quadratic constraints. In this paper, we extend the concept of polynomial-type exceptional…

Number Theory · Mathematics 2026-01-07 Chen Lin , Kaihan Tang

We propose an improved algorithm for finding roots of polynomials over finite fields. This makes possible significant speedup of the decoding process of Bose-Chaudhuri-Hocquenghem, Reed-Solomon, and some other error-correcting codes.

Information Theory · Computer Science 2007-07-16 Sergei V. Fedorenko , Piter V. Trifonov

We will pursue a way of building up an algebraic structure that involves, in a mathematical abstract way, the well known Grassmann variables. The problem arises when we tried to understand the grassmannian polynomial expansion on the scope…

Mathematical Physics · Physics 2007-05-23 Ricardo M Bentin

For polynomials and rational maps of fixed degree over a finite field, we bound both the average number of connected components of their functional graphs as well as the average number of periodic points of their associated dynamical…

Dynamical Systems · Mathematics 2014-07-01 Ryan Flynn , Derek Garton

Positively graded algebras are fairly natural objects which are arduous to be studied. In this article we query quotients of non-standard graded polynomial rings with combinatorial and commutative algebra methods.

Commutative Algebra · Mathematics 2007-05-23 G. Dalzotto , E. Sbarra

We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where "varieties" carry a PGL_n-action, regular…

Rings and Algebras · Mathematics 2009-07-10 Zinovy Reichstein , Nikolaus Vonessen

We design and analyze an algorithm for computing solutions with coefficients in a finite field $\mathbb{F}_q$ of underdetermined systems defined over $\mathbb{F}_q$. The algorithm is based on reductions to zero-dimensional searches. The…

Algebraic Geometry · Mathematics 2022-07-22 Nardo Giménez , Guillermo Matera , Mariana Pérez , Melina Privitelli

Non-linear polynomial systems over finite fields are used to model functional behavior of cryptosystems, with applications in system security, computer cryptography, and post-quantum cryptography. Solving polynomial systems is also one of…

Logic in Computer Science · Computer Science 2023-10-20 Thomas Hader , Daniela Kaufmann , Laura Kovács

We introduce the notion of accurate foundation sets and the accurate refinement property for right LCM semigroups. For right LCM semigroups with this property, we derive a more explicit presentation of the boundary quotient. In the context…

Operator Algebras · Mathematics 2016-11-04 Nathan Brownlowe , Nicolai Stammeier

We give a complete conjectural formula for the number $e_r(d,m)$ of maximum possible ${\mathbb{F}}q$-rational points on a projective algebraic variety defined by $r$ linearly independent homogeneous polynomial equations of degree $d$ in…

Algebraic Geometry · Mathematics 2022-03-23 Peter Beelen , Mrinmoy Datta , Sudhir R. Ghorpade

We describe and implement an algorithm to find all post-critically finite (PCF) cubic polynomials defined over $\mathbb{Q}$, up to conjugacy over $\text{PGL}_2(\bar{\mathbb{Q}})$. We describe normal forms that classify equivalence classes…

Number Theory · Mathematics 2020-06-18 Jacqueline Anderson , Michelle Manes , Bella Tobin