English
Related papers

Related papers: Algebraic Diagonals and Walks: Algorithms, Bounds,…

200 papers

We introduce a class of dynamical systems of algebraic origin, consisting of self-interacting irreducible polynomials over a field. A polynomial f is made to act on a polynomial g by mapping the roots of g. This action identifies a new…

Dynamical Systems · Mathematics 2007-09-11 F. Vivaldi

We design a deterministic subexponential time algorithm that takes as input a multivariate polynomial $f$ computed by a constant-depth circuit over rational numbers, and outputs a list $L$ of circuits (of unbounded depth and possibly with…

Computational Complexity · Computer Science 2024-03-05 Mrinal Kumar , Varun Ramanathan , Ramprasad Saptharishi , Ben Lee Volk

We study the following problem and its applications: given a homogeneous degree-$d$ polynomial $g$ as an arithmetic circuit, and a $d \times d$ matrix $X$ whose entries are homogeneous linear polynomials, compute $g(\partial/\partial x_1,…

Data Structures and Algorithms · Computer Science 2020-05-12 Cornelius Brand , Kevin Pratt

Let $S$ be a rational fraction and let $f$ be a polynomial over a finite field. Consider the transform $T(f)=\operatorname{numerator}(f(S))$. In certain cases, the polynomials $f$, $T(f)$, $T(T(f))\dots$ are all irreducible. For instance,…

Number Theory · Mathematics 2023-11-07 Alp Bassa , Gaetan Bisson , Roger Oyono

We present an algorithm to compute all factorizations into linear factors of univariate polynomials over the split quaternions, provided such a factorization exists. Failure of the algorithm is equivalent to non-factorizability for which we…

Rings and Algebras · Mathematics 2022-11-08 Daniel F. Scharler , Hans-Peter Schröcker

Motion polynomials (polynomials over the dual quaternions with nonzero real norm) describe rational motions. We present a necessary and sufficient condition for reduced bounded motion polynomials to admit factorizations into monic linear…

Rings and Algebras · Mathematics 2024-12-03 Zijia Li , Hans-Peter Schröcker , Mikhail Skopenkov , Daniel F. Scharler

For a subgroup of $PGL(2,q)$ we show how some irreducible polynomials over $\mathbb{F}_q$ arise from the field of invariant rational functions. The proofs rely on two actions of $PGL(2,F)$, one on the projective line over a field $F$ and…

Number Theory · Mathematics 2021-08-27 Rod Gow , Gary McGuire

The number of walks of $k$ steps from the node $\mathsf{0}$ to the node $\lambda$ on the representation graph (McKay quiver) determined by a finite group $\mathsf{G}$ and a $\mathsf{G}$-module $\mathsf{V}$ is the multiplicity of the…

Representation Theory · Mathematics 2017-08-31 Georgia Benkart , Dongho Moon

Given a polynomial $f$ and a semi-algebraic set $S$, we provide a symbolic algorithm to find the equations and inequalities defining a semi-algebraic set $Q$ which is identical to the closure of the image of $S$ under $f$, i.e.,…

Algebraic Geometry · Mathematics 2022-10-26 Ngoc Hoang Anh Mai

We consider the Rosenfeld-Groebner algorithm for computing a regular decomposition of a radical differential ideal generated by a set of ordinary differential polynomials in n indeterminates. For a set of ordinary differential polynomials…

Commutative Algebra · Mathematics 2009-02-25 Oleg Golubitsky , Marina Kondratieva , Marc Moreno Maza , Alexey Ovchinnikov

Endowing the set of functional graphs (FGs) with the sum (disjoint union of graphs) and product (standard direct product on graphs) operations induces on FGs a structure of a commutative semiring R. The operations on R can be naturally…

Discrete Mathematics · Computer Science 2025-11-26 Alberto Dennunzio , Enrico Formenti , Luciano Margara , Sara Riva

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

A power series being given as the solution of a linear differential equation with appropriate initial conditions, minimization consists in finding a non-trivial linear differential equation of minimal order having this power series as a…

Symbolic Computation · Computer Science 2023-07-19 Alin Bostan , Tanguy Rivoal , Bruno Salvy

We consider a certain left action by the monoid $SL_2(\mathbf{N}_0)$ on the set of divisor pairs $\mathcal{D}_f := \{ (m, n) \in \mathbf{N}_0 \times \mathbf{N}_0 : m \lvert f(n) \}$ where $f \in \mathbf{Z}[x]$ is a polynomial with integer…

Number Theory · Mathematics 2024-05-07 Anton Shakov

In this contribution we consider sequences of monic polynomials orthogonal with respect to a Sobolev-type inner product \[ \langle f,g \rangle _{S}:= \langle {\bf u}, f g\rangle +N (\mathscr D_q f)(\alpha) (\mathscr D _{q}g)(\alpha),\qquad…

Classical Analysis and ODEs · Mathematics 2018-09-25 Roberto S. Costas-Santos , A. Soria-Lorente

Let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a power of a prime. We discuss recursive methods for constructing irreducible polynomials over $\mathbb F_q$ of high degree using rational transformations. In particular,…

Number Theory · Mathematics 2019-05-21 Daniel Panario , Lucas Reis , Qiang Wang

The $N$th power of a polynomial matrix of fixed size and degree can be computed by binary powering as fast as multiplying two polynomials of linear degree in~$N$. When Fast Fourier Transform (FFT) is available, the resulting complexity is…

Symbolic Computation · Computer Science 2023-05-29 Alin Bostan , Vincent Neiger , Sergey Yurkevich

Consider the following computational problem: given a regular digraph $G=(V,E)$, two vertices $u,v \in V$, and a walk length $t\in \mathbb{N}$, estimate the probability that a random walk of length $t$ from $u$ ends at $v$ to within $\pm…

Computational Complexity · Computer Science 2021-11-04 Edward Pyne , Salil Vadhan

In two recent works \cite{BMM,BK}, it has been shown that the counting generating functions (CGF) for the 23 walks with small steps confined in a quadrant and associated with a finite group of birational transformations are holonomic, and…

Probability · Mathematics 2011-01-13 Guy Fayolle , Kilian Raschel

Consider the representations of an algebraic group G. In general, polynomial invariant functions may fail to separate orbits. The invariant subring may not be finitely generated, or the number and complexity of the generators may grow…

Representation Theory · Mathematics 2010-08-24 Harlan Kadish