English
Related papers

Related papers: Algebraic integrability with bounded genus

200 papers

We compute the Galois group of the splitting field $F$ of any irreducible and separable polynomial $f(x)=x^6+ax^3+b$ with $a,b\in K$, a field with characteristic different from two. The proofs require to distinguish between two cases:…

Group Theory · Mathematics 2021-10-12 Alberto Cavallo

We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths of the generators of H and exponential in…

Group Theory · Mathematics 2008-08-01 Pedro Silva , Pascal Weil

We propose a polynomial time $f$-algorithm (a deterministic algorithm which uses an oracle for factoring univariate polynomials over $\mathbb{F}_q$) for computing an isomorphism (if there is any) of a finite dimensional…

Rings and Algebras · Mathematics 2017-01-03 Gábor Ivanyos , Péter Kutas , Lajos Rónyai

Let $F(z)$ be an arbitrary complex polynomial. We introduce the local root clustering problem, to compute a set of natural $\varepsilon$-clusters of roots of $F(z)$ in some box region $B_0$ in the complex plane. This may be viewed as an…

Symbolic Computation · Computer Science 2021-05-12 Ruben Becker , Michael Sagraloff , Vikram Sharma , Juan Xu , Chee Yap

We give a method of constructing polynomials of arbitrarily large degree irreducible over a global field F but reducible modulo every prime of F. The method consists of finding quadratic f in F[x] whose iterates have the desired property,…

Number Theory · Mathematics 2012-09-11 Rafe Jones

We consider the problem of approximating all real roots of a square-free polynomial $f$. Given isolating intervals, our algorithm refines each of them to a width of $2^{-L}$ or less, that is, each of the roots is approximated to $L$ bits…

Symbolic Computation · Computer Science 2015-03-19 Michael Kerber , Michael Sagraloff

This paper introduces a generic framework that provides sufficient conditions for guaranteeing polynomial-time decidability of fixed-negation fragments of first-order theories that adhere to certain fixed-parameter tractability…

Logic in Computer Science · Computer Science 2026-03-11 Christoph Haase , Alessio Mansutti , Amaury Pouly

As a partial answer to a question of Rao, a deterministic and customizable efficient algorithm is presented to test whether an arbitrary graphical degree sequence has a bipartite realization. The algorithm can be configured to run in…

Combinatorics · Mathematics 2019-08-20 Kai Wang

For every polynomial f of degree n with no double roots, there is an associated family C(f) of harmonic algebraic curves, fibred over the circle, with at most n-1 singular fibres. We study the combinatorial topology of C(f) in the generic…

Combinatorics · Mathematics 2007-09-27 David Savitt

Let $G$ be a reductive group. We prove that a family of polynomial actions of $G$ on $\mathbb{C}^2$, holomorphically parametrized by an open Riemann surface, is linearizable. As an application, we show that a particular class of reductive…

Algebraic Geometry · Mathematics 2022-01-05 Shigeru Kuroda , Frank Kutzschebauch , Tomasz Pełka

In this article we prove in a new way that a generic polynomial vector field in $\mathbb C^2$ possesses countably many homologically independent limit cycles. The new proof needs no estimates on integrals, provides thinner exceptional set…

Complex Variables · Mathematics 2018-04-13 Nataliya Goncharuk , Yury Kudryashov

Let $(G_n(x))_{n=0}^\infty$ be a $d$-th order linear recurrence sequence having polynomial characteristic roots, one of which has degree strictly greater than the others. Moreover, let $m\geq 2$ be a given integer. We ask for…

Number Theory · Mathematics 2018-10-30 Clemens Fuchs , Christina Karolus

Let $\mathcal{F}$ be a transversely orientable codimension one minimal foliation without vanishing cycles of a manifold $M$. We show that if the fundamental group of each leaf of $\mathcal{F}$ has polynomial growth of degree $k$ for some…

Geometric Topology · Mathematics 2017-07-19 Tomoo Yokoyama

Let $f, f_1, \ldots, f_\nV$ be polynomials with rational coefficients in the indeterminates $\bfX=X_1, \ldots, X_n$ of maximum degree $D$ and $V$ be the set of common complex solutions of $\F=(f_1,\ldots, f_\nV)$. We give an algorithm…

Symbolic Computation · Computer Science 2014-05-08 Aurélien Greuet , Mohab Safey El Din

Planarity Testing is the problem of determining whether a given graph is planar while planar embedding is the corresponding construction problem. The bounded space complexity of these problems has been determined to be exactly Logspace by…

Computational Complexity · Computer Science 2015-03-17 Samir Datta , Gautam Prakriya

Let $K$ be an algebraically closed field of characteristic $0$ and $G$ a finite abelian group. For a $G$-graded $K$-algebra $A$, we define the primeness property for graded central polynomials: for any graded polynomials $f$ and $g$ in…

Rings and Algebras · Mathematics 2026-01-28 Lucio Centrone , Claudemir Fideles , Plamen Koshlukov , Kauê Pereira

We design a recursive algorithm to compute the partition function of the Ising model, summed over cubic maps with fixed size and genus. The algorithm runs in polynomial time, which is much faster than methods based on a Tutte-like, or…

Combinatorics · Mathematics 2025-09-15 Mireille Bousquet-Mélou , Ariane Carrance , Baptiste Louf

We study the integrability of polynomial vector fields using Galois theory of linear differential equations when the associated foliations is reduced to a Riccati type foliation. In particular we obtain integrability results for some…

Motivated by the need for efficient isomorphism tests for finite groups, we present a polynomial-time method for deciding isomorphism within a class of groups that is well-suited to studying local properties of general finite groups. We…

Group Theory · Mathematics 2020-11-23 Peter A. Brooksbank , Joshua Maglione , James B. Wilson

Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…

Rings and Algebras · Mathematics 2007-05-23 A. P. Petravchuk , O. G. Iena