Showing 1–16 of 16 results for author: Weimann, M

Fast computation of integral bases

Authors: Adrien Poteaux, Martin Weimann

Abstract: We obtain new complexity bounds for computing a triangular integral basis of a number field or a function field. We reach for function fields a softly linear cost with respect to the size of the output when the residual characteristic is zero or big enough. Analogous results are obtained for integral basis of fractional ideals, key ingredients towards fast computation of Riemann-Roch spaces. The p… ▽ More We obtain new complexity bounds for computing a triangular integral basis of a number field or a function field. We reach for function fields a softly linear cost with respect to the size of the output when the residual characteristic is zero or big enough. Analogous results are obtained for integral basis of fractional ideals, key ingredients towards fast computation of Riemann-Roch spaces. The proof is based on the recent fast OM algorithm of the authors and on the MaxMin algorithm of Stainsby, together with optimal truncation bounds and a precise complexity analysis. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 22 pages

MSC Class: 11Y40; 68W30; 12F05

Polynomial factorization over henselian fields

Authors: Maria Alberich-Carramiñana, Jordi Guàrdia, Enric Nart, Adrien Poteaux, Joaquim Roé, Martin Weimann

Abstract: Given a valued field $(K,v)$ and an irreducible polynomial $g\in K[x]$, we survey the ideas of Ore, Maclane, Okutsu, Montes, Vaquié and Herrera-Olalla-Mahboub-Spivakovsky, leading (under certain conditions) to an algorithm to find the factorization of $g$ over a henselization of $(K,v)$. Given a valued field $(K,v)$ and an irreducible polynomial $g\in K[x]$, we survey the ideas of Ore, Maclane, Okutsu, Montes, Vaquié and Herrera-Olalla-Mahboub-Spivakovsky, leading (under certain conditions) to an algorithm to find the factorization of $g$ over a henselization of $(K,v)$. △ Less

Submitted 5 July, 2022; originally announced July 2022.

Computing the equisingularity type of a pseudo-irreducible polynomial

Authors: Adrien Poteaux, Martin Weimann

Abstract: Germs of plane curve singularities can be classified accordingly to their equisingularity type. For singularities over C, this important data coincides with the topological class. In this paper, we characterise a family of singularities, containing irreducible ones, whose equisingularity type can be computed in quasi-linear time with respect to the discriminant valuation of a Weierstrass equation. Germs of plane curve singularities can be classified accordingly to their equisingularity type. For singularities over C, this important data coincides with the topological class. In this paper, we characterise a family of singularities, containing irreducible ones, whose equisingularity type can be computed in quasi-linear time with respect to the discriminant valuation of a Weierstrass equation. △ Less

Submitted 12 November, 2019; originally announced November 2019.

Comments: 26 pages. arXiv admin note: substantial text overlap with arXiv:1904.00286

MSC Class: 14Q20; 12Y05; 13P05; 68W30

A quasi-linear irreducibility test in K[[x]][y]

Authors: Adrien Poteaux, Martin Weimann

Abstract: We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the discriminant valuation, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater than deg(F). The algorithm uses the theory of approximate roots and may be seen as a generalisation of Abhyankhar's irreducibility criterion to the case of non algebra… ▽ More We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the discriminant valuation, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater than deg(F). The algorithm uses the theory of approximate roots and may be seen as a generalisation of Abhyankhar's irreducibility criterion to the case of non algebraically closed residue fields. △ Less

Submitted 4 November, 2019; originally announced November 2019.

Comments: 29 pages. arXiv admin note: substantial text overlap with arXiv:1904.00286

MSC Class: 14Q20; 12Y05; 13P05; 68W30

Using approximate roots for irreducibility and equi-singularity issues in K[[x]][y]

Authors: Adrien Poteaux, Martin Weimann

Abstract: We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater than deg(F). The algorithm uses the theory of approximate roots and may be seen as a generalization of Abhyankhar's irreducibility criterion to the case of non… ▽ More We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater than deg(F). The algorithm uses the theory of approximate roots and may be seen as a generalization of Abhyankhar's irreducibility criterion to the case of non algebraically closed residue fields. More generally, we show that we can test within the same complexity if a polynomial is pseudo-irreducible, a larger class of polynomials containing irreducible ones. If $F$ is pseudo-irreducible, the algorithm computes also the valuation of the discriminant and the equisingularity types of the germs of plane curve defined by F along the fiber x=0. △ Less

Submitted 4 November, 2019; v1 submitted 30 March, 2019; originally announced April 2019.

Comments: 51 pages. Title modified. Slight modifications in Definition 5 and Proposition 14

MSC Class: 14Q20; 12Y05; 13P05; 68W30

The geometry of the flex locus of a hypersurface

Authors: Laurent Busé, Carlos D'Andrea, Martin Sombra, Martin Weimann

Abstract: We give a formula in terms of multidimensional resultants for an equation for the flex locus of a projective hypersurface, generalizing a classical result of Salmon for surfaces. Using this formula, we compute the dimension of this flex locus, and an upper bound for the degree of its defining equations. We also show that, when the hypersurface is generic, this bound is reached, and that the generi… ▽ More We give a formula in terms of multidimensional resultants for an equation for the flex locus of a projective hypersurface, generalizing a classical result of Salmon for surfaces. Using this formula, we compute the dimension of this flex locus, and an upper bound for the degree of its defining equations. We also show that, when the hypersurface is generic, this bound is reached, and that the generic flex line is unique and has the expected order of contact with the hypersurface. △ Less

Submitted 28 August, 2019; v1 submitted 21 April, 2018; originally announced April 2018.

Comments: 16 pages. This paper has been accepted for publication in the Pacific Journal of Mathematics

MSC Class: 14J70; 13P15

Journal ref: Pacific J. Math. 304 (2020) 419-437

Computing Puiseux series : a fast divide and conquer algorithm

Authors: Adrien Poteaux, Martin Weimann

Abstract: Let $F\in \mathbb{K}[X, Y ]$ be a polynomial of total degree $D$ defined over a perfect field $\mathbb{K}$ of characteristic zero or greater than $D$. Assuming $F$ separable with respect to $Y$ , we provide an algorithm that computes the singular parts of all Puiseux series of $F$ above $X = 0$ in less than $\tilde{\mathcal{O}}(Dδ)$ operations in $\mathbb{K}$, where $δ$ is the valuation of the res… ▽ More Let $F\in \mathbb{K}[X, Y ]$ be a polynomial of total degree $D$ defined over a perfect field $\mathbb{K}$ of characteristic zero or greater than $D$. Assuming $F$ separable with respect to $Y$ , we provide an algorithm that computes the singular parts of all Puiseux series of $F$ above $X = 0$ in less than $\tilde{\mathcal{O}}(Dδ)$ operations in $\mathbb{K}$, where $δ$ is the valuation of the resultant of $F$ and its partial derivative with respect to $Y$. To this aim, we use a divide and conquer strategy and replace univariate factorization by dynamic evaluation. As a first main corollary, we compute the irreducible factors of $F$ in $\mathbb{K}[[X]][Y ]$ up to an arbitrary precision $X^N$ with $\tilde{\mathcal{O}}(D(δ+ N ))$ arithmetic operations. As a second main corollary, we compute the genus of the plane curve defined by $F$ with $\tilde{\mathcal{O}}(D^3)$ arithmetic operations and, if $\mathbb{K} = \mathbb{Q}$, with $\tilde{\mathcal{O}}((h+1)D^3)$ bit operations using a probabilistic algorithm, where $h$ is the logarithmic heigth of $F$. △ Less

Submitted 3 December, 2018; v1 submitted 29 August, 2017; originally announced August 2017.

Comments: 27 pages, 2 figures

MSC Class: 14Q20; 12Y05; 13P05; 68W30

Plane Curves With Minimal Discriminant

Authors: Denis Simon, Martin Weimann

Abstract: We give lower bounds for the degree of the discriminant with respect to y of separable polynomials f in K[x,y] over an algebraically closed field of characteristic zero. Depending on the invariants involved in the lower bound, we give a geometrical characterisation of those polynomials having minimal discriminant, and give an explicit construction of all such polynomials in many cases. In particul… ▽ More We give lower bounds for the degree of the discriminant with respect to y of separable polynomials f in K[x,y] over an algebraically closed field of characteristic zero. Depending on the invariants involved in the lower bound, we give a geometrical characterisation of those polynomials having minimal discriminant, and give an explicit construction of all such polynomials in many cases. In particular, we show that irreducible monic polynomials with minimal discriminant coincide with coordinate polynomials. We obtain analogous partial results for the case of nonmonic or reducible polynomials by studying their GL2(K[x])-orbit and by establishing some combinatorial constraints on their Newton polytope. Our results suggest some natural extensions of the embedding line theorem of Abhyankar-Moh and of the Nagata-Coolidge problem to the case of unicuspidal curves of P1 x P1. △ Less

Submitted 4 July, 2015; originally announced July 2015.

Comments: 28 pages, 1 figure

MSC Class: 14H50 (primary); 11R29; 13P15; 14E07; 14H20; 14H45

Bivariate factorization using a critical fiber

Authors: Martin Weimann

Abstract: 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, depending on the complexity of the ramification. We show that working along a critical fiber leads in some cases to a good theoretical complexity, due to the smaller… ▽ More 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, depending on the complexity of the ramification. We show that working along a critical fiber leads in some cases to a good theoretical complexity, due to the smaller number of analytic factors to recombine. We pay a particular attention to the case of polynomials that are non degenerate with respect to their P-adic Newton polytopes. △ Less

Submitted 13 January, 2015; originally announced January 2015.

Comments: 39 pages

MSC Class: 12Y05; 14H20; 14H50; 14Q05; 14Q20; 68W30

Computational aspects of gonal maps and radical parametrization of curves

Authors: Josef Schicho, Frank-Olaf Schreyer, Martin Weimann

Abstract: We develop in this article an algorithm that, given a projective curve $C$, computes a \textit{gonal map}, that is, a finite morphism from $C$ to the projective line of minimal degree. Our method is based on the computation of scrollar syzygies of canonical curves. We develop an improved version of our algorithm for curves with a unique gonal map and we discuss a characterization of such curves in… ▽ More We develop in this article an algorithm that, given a projective curve $C$, computes a \textit{gonal map}, that is, a finite morphism from $C$ to the projective line of minimal degree. Our method is based on the computation of scrollar syzygies of canonical curves. We develop an improved version of our algorithm for curves with a unique gonal map and we discuss a characterization of such curves in terms of Betti numbers. Finally, we derive an efficient algorithm for radical parametrization of curves of gonality $\le 4$. △ Less

Submitted 9 April, 2013; originally announced April 2013.

Factoring bivariate polynomials using adjoints

Authors: Martin Weimann

Abstract: One relates factorization of bivariate polynomials to singularities of projective plane curves. One proves that adjoint polynomials permit to solve the recombinations of the modular factors induced by the absolute and rational factorizations, and so without using Hensel's lifting. One establishes in such a way the relations between the algorithm of Duval-Ragot (locally constant functions) and of C… ▽ More One relates factorization of bivariate polynomials to singularities of projective plane curves. One proves that adjoint polynomials permit to solve the recombinations of the modular factors induced by the absolute and rational factorizations, and so without using Hensel's lifting. One establishes in such a way the relations between the algorithm of Duval-Ragot (locally constant functions) and of Chèze-Lecerf (lifting and recombinations), and one shows that a fast computation of adjoint polynomials leads to a fast factorization. The proof is based on cohomological sequences and residue theory. △ Less

Submitted 17 February, 2012; v1 submitted 27 January, 2012; originally announced January 2012.

Comments: 22 pages, 2 figures. Extended version of arXiv.1201.5787

MSC Class: 13P05; 14Q05; 68W30

A lifting and recombination algorithm for rational factorization of sparse polynomials

Authors: Martin Weimann

Abstract: We propose a new lifting and recombination scheme for rational bivariate polynomial factorization that takes advantage of the Newton polytope geometry. We obtain a deterministic algorithm that can be seen as a sparse version of an algorithm of Lecerf, with now a polynomial complexity in the volume of the Newton polytope. We adopt a geometrical point of view, the main tool being derived from some… ▽ More We propose a new lifting and recombination scheme for rational bivariate polynomial factorization that takes advantage of the Newton polytope geometry. We obtain a deterministic algorithm that can be seen as a sparse version of an algorithm of Lecerf, with now a polynomial complexity in the volume of the Newton polytope. We adopt a geometrical point of view, the main tool being derived from some algebraic osculation criterions in toric varieties. △ Less

Submitted 4 December, 2009; originally announced December 2009.

Comments: 22 pages

MSC Class: 14Q20

Algebraic osculation and factorization of sparse polynomials

Authors: Martin Weimann

Abstract: We prove a theorem on algebraic osculation and we apply our result to the Computer Algebra problem of polynomial factorization. We consider X a smooth completion of the complex plane and D an effective divisor supported on the boundary of X. Our main result gives explicit conditions equivalent to that a given Cartier divisor on D extends to X. These osculation criterions are expressed with resid… ▽ More We prove a theorem on algebraic osculation and we apply our result to the Computer Algebra problem of polynomial factorization. We consider X a smooth completion of the complex plane and D an effective divisor supported on the boundary of X. Our main result gives explicit conditions equivalent to that a given Cartier divisor on D extends to X. These osculation criterions are expressed with residues. We derive from this result a toric Hensel lifting which permits to compute the absolute factorization of a bivariate polynomial by taking in account the geometry of its Newton polytope. In particular, we reduce the number of possible recombinations when compared to the Galligo-Rupprecht algorithm. △ Less

Submitted 14 April, 2009; v1 submitted 1 April, 2009; originally announced April 2009.

Comments: 26 pages

MSC Class: 14Q05

Concavity, Abel-transform and the Abel-inverse theorem in smooth complete toric varieties

Authors: Martin Weimann

Abstract: We extend the usual projective Abel-Radon transform to the larger context of a smooth complete toric variety X. We define and study toric concavity attached to an algebraic splitting vector bundle on X and we prove a toric version of the Abel-inverse theorem. We extend the usual projective Abel-Radon transform to the larger context of a smooth complete toric variety X. We define and study toric concavity attached to an algebraic splitting vector bundle on X and we prove a toric version of the Abel-inverse theorem. △ Less

Submitted 27 March, 2009; v1 submitted 2 May, 2007; originally announced May 2007.

Comments: 27 pages. New version (modified introduction)

MSC Class: 32 XX; 14 XX

An interpolation theorem in toric varieties

Authors: Martin Weimann

Abstract: In the spirit of a theorem of Wood, we give necessary and sufficient conditions for a family of germs of analytic hypersurfaces in a smooth projective toric variety X to be interpolated by an algebraic hypersurface with a fixed class in the Picard group of X. In the spirit of a theorem of Wood, we give necessary and sufficient conditions for a family of germs of analytic hypersurfaces in a smooth projective toric variety X to be interpolated by an algebraic hypersurface with a fixed class in the Picard group of X. △ Less

Submitted 13 December, 2006; originally announced December 2006.

Comments: 9 pages

MSC Class: 32-XX (Primary) ; 14-XX (Secondary)

La trace via le calcul residuel: une nouvelle version du theoreme d'Abel-inverse, formes abeliennes

Authors: Martin Weimann

Abstract: We show here how residue calculus (residue currents, Grothendieck residues, duality theorem) can be used to obtain an algebraic characterization of the Abel-transform of a meromorphic form on germs of analytic sets. We prove by this way a stronger version of Abel-inverse theorem with an "algebraic" approach and we show the link with Wood's theorem. Furthermore, we obtain a new method to bound ea… ▽ More We show here how residue calculus (residue currents, Grothendieck residues, duality theorem) can be used to obtain an algebraic characterization of the Abel-transform of a meromorphic form on germs of analytic sets. We prove by this way a stronger version of Abel-inverse theorem with an "algebraic" approach and we show the link with Wood's theorem. Furthermore, we obtain a new method to bound easily the dimension of the vector space of abelian forms on an algebraic projective hypersurface. △ Less

Submitted 2 June, 2004; v1 submitted 26 May, 2004; originally announced May 2004.

Comments: 33 pages; minor grammatical changes; submitted to Annales de l'Institut Fourier

MSC Class: 32B10;32C30