Showing 1–20 of 20 results for author: Forsgård, J

Sparse systems with high local multiplicity

Authors: Frédéric Bihan, Alicia Dickenstein, Jens Forsgård

Abstract: Consider a sparse system of n Laurent polynomials in n variables with complex coefficients and support in a finite lattice set A. The maximal number of isolated roots of the system in the complex n-torus is known to be the normalized volume of the convex hull of A (the BKK bound). We explore the following question: if the cardinality of A equals n+m+1, what is the maximum local intersection multip… ▽ More Consider a sparse system of n Laurent polynomials in n variables with complex coefficients and support in a finite lattice set A. The maximal number of isolated roots of the system in the complex n-torus is known to be the normalized volume of the convex hull of A (the BKK bound). We explore the following question: if the cardinality of A equals n+m+1, what is the maximum local intersection multiplicity at one point in the torus in terms of n and m? This study was initiated by Gabrielov in the multivariate case. We give an upper bound that is always sharp when m=1 and, under a generic technical hypothesis, it is considerably smaller for any dimension n and codimension m. We also present, for any value of n and m, a particular sparse system with high local multiplicity with exponents in the vertices of a cyclic polytope and we explain the rationale of our choice. Our work raises several interesting questions. △ Less

Submitted 8 February, 2025; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 44 pages, 3 figures. Many improvements throughout the text. We added Proposition 7.3, and Examples 2.8 and 5.4

Optimal Descartes' Rule of Signs for Circuits

Authors: Frédéric Bihan, Alicia Dickenstein, Jens Forsgård

Abstract: We present an optimal version of Descartes' rule of signs to bound the number of positive real roots of a sparse system of polynomial equations in n variables with n+2 monomials. This sharp upper bound is given in terms of the sign variation of a sequence associated to the exponents and the coefficients of the system. We present an optimal version of Descartes' rule of signs to bound the number of positive real roots of a sparse system of polynomial equations in n variables with n+2 monomials. This sharp upper bound is given in terms of the sign variation of a sequence associated to the exponents and the coefficients of the system. △ Less

Submitted 25 May, 2022; v1 submitted 18 October, 2020; originally announced October 2020.

Comments: 21 pages, 5 figures. We improved the proof of Theorem 2.4 by adding Proposition 2.7

A Zariski theorem for monodromy of $A$-hypergeometric systems

Authors: Jens Forsgård, Laura Felicia Matusevich

Abstract: We give conditions under which the monodromy group of an $A$-hypergeometric system is invariant under modifications of the collection of characters $A$. The key ingredient is a Zariski--Lefschetz type theorem for principal $A$-determinants. We give conditions under which the monodromy group of an $A$-hypergeometric system is invariant under modifications of the collection of characters $A$. The key ingredient is a Zariski--Lefschetz type theorem for principal $A$-determinants. △ Less

Submitted 1 May, 2020; originally announced May 2020.

Comments: 16 pages, 2 figures

$Γ$-evaluations of hypergeometric series

Authors: Frits Beukers, Jens Forsgård

Abstract: In this paper we explore special values of Gaussian hypergeometric functions in terms of products of Euler $Γ$-functions and exponential functions of linear functions of the hypergeometric parameters. They include some classical evaluations, but the main inspiration is from the contiguity method recently applied by Akihito Ebisu. In this paper we explore special values of Gaussian hypergeometric functions in terms of products of Euler $Γ$-functions and exponential functions of linear functions of the hypergeometric parameters. They include some classical evaluations, but the main inspiration is from the contiguity method recently applied by Akihito Ebisu. △ Less

Submitted 22 June, 2021; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: 18 pages, 2 figures, this is a corrected version

MSC Class: 33C05

The algebraic boundary of the sonc cone

Authors: Jens Forsgård, Timo de Wolff

Abstract: In this article, we explore the connections between nonnegativity, the theory of $A$-discriminants, and tropical geometry. For an integral support set $A \subset \mathbb{Z}^n$, we cover the boundary of the sonc-cone by semi-algebraic sets that are parametrized by families of tropical hypersurfaces. As an application, we characterization generic support sets for which the sonc-cone is equal to the… ▽ More In this article, we explore the connections between nonnegativity, the theory of $A$-discriminants, and tropical geometry. For an integral support set $A \subset \mathbb{Z}^n$, we cover the boundary of the sonc-cone by semi-algebraic sets that are parametrized by families of tropical hypersurfaces. As an application, we characterization generic support sets for which the sonc-cone is equal to the sparse nonnegativity cone, and we describe a semi-algebraic stratification of the boundary of the sonc-cone in the univariate case. △ Less

Submitted 20 August, 2021; v1 submitted 12 May, 2019; originally announced May 2019.

Comments: 33 pages

The Lattice of Amoebas

Authors: Jens Forsgård, Timo de Wolff

Abstract: We study amoebas of exponential sums as functions of the support set $A$. To any amoeba, we associate a set of approximating sections of amoebas, which we call caissons. We show that a bounded modular lattice of subspaces of a certain vector space induces a lattice structure on the set of caissons. Our results unifies the theories of lopsided amoebas and amoebas of exponential sums. As an applicat… ▽ More We study amoebas of exponential sums as functions of the support set $A$. To any amoeba, we associate a set of approximating sections of amoebas, which we call caissons. We show that a bounded modular lattice of subspaces of a certain vector space induces a lattice structure on the set of caissons. Our results unifies the theories of lopsided amoebas and amoebas of exponential sums. As an application, we show that our theory of caissons yields improved certificates for existence of certain components of the complement of an amoeba. △ Less

Submitted 10 November, 2018; v1 submitted 7 November, 2017; originally announced November 2017.

Comments: 15 pages, 2 figures

Defective dual varieties for real spectra

Authors: Jens Forsgård

Abstract: We introduce an invariant of a finite point configuration $A \subset \mathbb{R}^{1+n}$ which we denote the cuspidal form of $A$. We use this invariant to extend Esterov's characterization of dual defective point configurations to exponential sums; the dual variety associated to $A$ has codimension at least $2$ if and only if $A$ does not contain any iterated circuit. We introduce an invariant of a finite point configuration $A \subset \mathbb{R}^{1+n}$ which we denote the cuspidal form of $A$. We use this invariant to extend Esterov's characterization of dual defective point configurations to exponential sums; the dual variety associated to $A$ has codimension at least $2$ if and only if $A$ does not contain any iterated circuit. △ Less

Submitted 6 October, 2017; originally announced October 2017.

Comments: 19 pages

New Subexponential Fewnomial Hypersurface Bounds

Authors: Jens Forsgård, Mounir Nisse, J. Maurice Rojas

Abstract: Suppose $c_1,\ldots,c_{n+k}$ are real numbers, $\{a_1,\ldots,a_{n+k}\}\!\subset\!\mathbb{R}^n$ is a set of points not all lying in the same affine hyperplane, $y\!\in\!\mathbb{R}^n$, $a_j\cdot y$ denotes the standard real inner product of $a_j$ and $y$, and we set $g(y)\!:=\!\sum^{n+k}_{j=1} c_j e^{a_j\cdot y}$. We prove that, for generic $c_j$, the number of connected components of the real zero… ▽ More Suppose $c_1,\ldots,c_{n+k}$ are real numbers, $\{a_1,\ldots,a_{n+k}\}\!\subset\!\mathbb{R}^n$ is a set of points not all lying in the same affine hyperplane, $y\!\in\!\mathbb{R}^n$, $a_j\cdot y$ denotes the standard real inner product of $a_j$ and $y$, and we set $g(y)\!:=\!\sum^{n+k}_{j=1} c_j e^{a_j\cdot y}$. We prove that, for generic $c_j$, the number of connected components of the real zero set of $g$ is $O\!\left(n^2+\sqrt{2}^{k^2}(n+2)^{k-2}\right)$. The best previous upper bounds, when restricted to the special case $k\!=\!3$ and counting just the non-compact components, were already exponential in $n$. △ Less

Submitted 3 October, 2017; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: 10 pages, 9 figures, submitted for publication. Comments and questions welcome! arXiv admin note: text overlap with arXiv:1612.03458

On transformations of A-hypergeometric functions

Authors: Jens Forsgård, Laura Felicia Matusevich, Aleksandra Sobieska

Abstract: We propose a systematic study of transformations of $A$-hypergeometric functions. Our approach is to apply changes of variables corresponding to automorphisms of toric rings, to Euler-type integral representations of $A$-hypergeometric functions. We show that all linear $A$-hypergeometric transformations arise from symmetries of the corresponding polytope. As an application of the techniques devel… ▽ More We propose a systematic study of transformations of $A$-hypergeometric functions. Our approach is to apply changes of variables corresponding to automorphisms of toric rings, to Euler-type integral representations of $A$-hypergeometric functions. We show that all linear $A$-hypergeometric transformations arise from symmetries of the corresponding polytope. As an application of the techniques developed here, we show that the Appell function $F_4$ does not admit a certain kind of Euler-type integral representation. △ Less

Submitted 8 March, 2017; originally announced March 2017.

MSC Class: Primary: 33C70; 32A17; Secondary: 14M25

On the multivariate Fujiwara bound for exponential sums

Authors: Jens Forsgård

Abstract: We prove the multivariate Fujiwara bound for exponential sums: for a $d$-variate exponential sum $f$ with scaling parameter $μ$, if $x$ is contained in the amoeba $\mathscr{A}(f)$, then the distance from $x$ to the Archimedean tropical variety associated to $f$ is at most $d \sqrt{d}\, 2\log(2 + \sqrt{3})/ μ$. If $f$ is polynomial, then the bound can be improved to $d \log(2 + \sqrt{3})$. We prove the multivariate Fujiwara bound for exponential sums: for a $d$-variate exponential sum $f$ with scaling parameter $μ$, if $x$ is contained in the amoeba $\mathscr{A}(f)$, then the distance from $x$ to the Archimedean tropical variety associated to $f$ is at most $d \sqrt{d}\, 2\log(2 + \sqrt{3})/ μ$. If $f$ is polynomial, then the bound can be improved to $d \log(2 + \sqrt{3})$. △ Less

Submitted 12 December, 2016; originally announced December 2016.

Comments: 8 pages

MSC Class: 14T05; 11L03

Lopsided Approximation of Amoebas

Authors: Jens Forsgård, Laura Felicia Matusevich, Nathan Mehlhop, Timo de Wolff

Abstract: The amoeba of a Laurent polynomial is the image of the corresponding hypersurface under the coordinatewise log absolute value map. In this article, we demonstrate that a theoretical amoeba approximation method due to Purbhoo can be used efficiently in practice. To do this, we resolve the main bottleneck in Purbhoo's method by exploiting relations between cyclic resultants. We use the same approach… ▽ More The amoeba of a Laurent polynomial is the image of the corresponding hypersurface under the coordinatewise log absolute value map. In this article, we demonstrate that a theoretical amoeba approximation method due to Purbhoo can be used efficiently in practice. To do this, we resolve the main bottleneck in Purbhoo's method by exploiting relations between cyclic resultants. We use the same approach to give an approximation of the Log preimage of the amoeba of a Laurent polynomial using semi-algebraic sets. We also provide a SINGULAR/SAGE implementation of these algorithms, which shows a significant speedup when our specialized cyclic resultant computation is used, versus a general purpose resultant algorithm. △ Less

Submitted 9 September, 2017; v1 submitted 30 August, 2016; originally announced August 2016.

Comments: Minor revision; final version; 15 pages, 2 figures, 2 tables

MSC Class: 13P15; 14Q20; 14T05 (Primary); 90C59; 90C90 (Secondary)

On the parametric behavior of A-hypergeometric series

Authors: Christine Berkesch Zamaere, Jens Forsgård, Laura Felicia Matusevich

Abstract: We describe the parametric behavior of the series solutions of an A-hypergeometric system. More precisely, we construct explicit stratifications of the parameter space such that, on each stratum, the series solutions of the system are holomorphic. We describe the parametric behavior of the series solutions of an A-hypergeometric system. More precisely, we construct explicit stratifications of the parameter space such that, on each stratum, the series solutions of the system are holomorphic. △ Less

Submitted 20 May, 2016; v1 submitted 29 March, 2016; originally announced March 2016.

Comments: 20 pages; minor revisions

MSC Class: Primary: 33C70; Secondary: 14M25; 32A10; 52B20

On dimer models and coamoebas

Authors: Jens Forsgård

Abstract: We describe the relationship between dimer models on the real two-torus and coamoebas of curves in (\CC^\times)^2. We show, inter alia, that the dimer model obtained from the shell of the coamoeba is a deformation retract of the closed coaomeba if and only if the number of connected components of the complement of the closed coamoeba is maximal. Furthermore, we show that in general the closed coam… ▽ More We describe the relationship between dimer models on the real two-torus and coamoebas of curves in (\CC^\times)^2. We show, inter alia, that the dimer model obtained from the shell of the coamoeba is a deformation retract of the closed coaomeba if and only if the number of connected components of the complement of the closed coamoeba is maximal. Furthermore, we show that in general the closed coamoeba of the characteristic polynomial of a dimer model does not have the maximal number of components of its complement. △ Less

Submitted 19 December, 2016; v1 submitted 4 February, 2016; originally announced February 2016.

Comments: 16 pages, 5 figures

Coamoebas of polynomials supported on circuits

Authors: Jens Forsgård

Abstract: We study coamoebas of polynomials supported on circuits. Our results include an explicit description of the space of coamoebas, a relation between connected components of the coamoeba complement and critical points of the polynomial, an upper bound on the area of a planar coamoeba, and a recovered bound on the number of positive solutions of a fewnomial system. We study coamoebas of polynomials supported on circuits. Our results include an explicit description of the space of coamoebas, a relation between connected components of the coamoeba complement and critical points of the polynomial, an upper bound on the area of a planar coamoeba, and a recovered bound on the number of positive solutions of a fewnomial system. △ Less

Submitted 20 January, 2016; originally announced January 2016.

Comments: To appear in the memorial volume of Mikael Passare

A tropical analog of Descartes' rule of signs

Authors: J. Forsgård, D. Novikov, B. Shapiro

Abstract: We prove that for any degree d, there exist (families of) finite sequences a_0, a_1,..., a_d of positive numbers such that, for any real polynomial P of degree d, the number of its real roots is less than or equal to the number of the so-called essential tropical roots of the polynomial obtained from P by multiplication of its coefficients by a_0, a_1,... a_d respectively. In particular, for any r… ▽ More We prove that for any degree d, there exist (families of) finite sequences a_0, a_1,..., a_d of positive numbers such that, for any real polynomial P of degree d, the number of its real roots is less than or equal to the number of the so-called essential tropical roots of the polynomial obtained from P by multiplication of its coefficients by a_0, a_1,... a_d respectively. In particular, for any real univariate polynomial P of degree d with non-vanishing constant term, we conjecture that one can take a_k = e^{-k^2}, k = 0, ... , d. The latter claim can be thought of as a tropical generalization of Descartes's rule of signs. We settle this conjecture up to degree 4 as well as a weaker statement for arbitrary real polynomials. Additionally we describe an application of the latter conjecture to the classical Karlin problem on zero-diminishing sequences. △ Less

Submitted 12 October, 2015; originally announced October 2015.

Comments: 16 pages, no figures

MSC Class: 26C10

Tropical multiplier sequences

Authors: Jens Forsgård

Abstract: We prove that the diagonal operator defined by a positive sequence preserves tropical and central indices if and only if the sequence is log-concave. In particular we obtain an elementary proof of that such an operator preserves the set of sign-independently real-rooted polynomials if and only if the sequence is log-concave. We prove that the diagonal operator defined by a positive sequence preserves tropical and central indices if and only if the sequence is log-concave. In particular we obtain an elementary proof of that such an operator preserves the set of sign-independently real-rooted polynomials if and only if the sequence is log-concave. △ Less

Submitted 23 May, 2015; originally announced May 2015.

Could René Descartes have known this?

Authors: Jens Forsgard, Vladimir P. Kostov, Boris Shapiro

Abstract: Below we discuss the partition of the space of real univariate polynomials according to the number of positive and negative roots and signs of the coefficients. We present several series of non-realizable combinations of signs together with the numbers of positive and negative roots. We provide a detailed information about possible non-realizable combinations as above up to degree 8 as well as a g… ▽ More Below we discuss the partition of the space of real univariate polynomials according to the number of positive and negative roots and signs of the coefficients. We present several series of non-realizable combinations of signs together with the numbers of positive and negative roots. We provide a detailed information about possible non-realizable combinations as above up to degree 8 as well as a general conjecture about such combinations. △ Less

Submitted 5 January, 2015; originally announced January 2015.

Comments: 15 pages, no figures

MSC Class: Primary 26C10; Secondary 30C15

Hypergeometric Functions for Projective Toric Curves

Authors: Christine Berkesch Zamaere, Jens Forsgård, Laura Felicia Matusevich

Abstract: We produce a decomposition of the parameter space of the $A$-hypergeometric system associated to a projective monomial curve as a union of an arrangement of lines and its complement, in such a way that the analytic behavior of the solutions of the system is explicitly controlled within each term of the union. We produce a decomposition of the parameter space of the $A$-hypergeometric system associated to a projective monomial curve as a union of an arrangement of lines and its complement, in such a way that the analytic behavior of the solutions of the system is explicitly controlled within each term of the union. △ Less

Submitted 2 December, 2015; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: 27 pages and 3 figures. Expanded introduction. Proof of Theorem 2.1 removed, Section 2 merged with the section on resonant parameters. Theorem 3.3 generalized to a space of arbitrary dimension. New Theorem 3.4 and Corollary 3.5. Proposition 4.2 and Corollary 4.3 from version 1 are false, and have been removed. Proposition 4.4 now combines what used to be Corollary 5.3 and Proposition 5.4

MSC Class: 32A17; 33C70

On the order map for hypersurface coamoebas

Authors: Jens Forsgård, Petter Johansson

Abstract: Given a hypersurface coamoeba of a Laurent polynomial f, it is an open problem to describe the structure of its set of connected complement components. In this paper we approach this problem by introducing the lopsided coamoeba. We show that the closed lopsided coamoeba comes naturally equipped with an order map, i.e. a map v from its set of connected complement components to a translated lattice… ▽ More Given a hypersurface coamoeba of a Laurent polynomial f, it is an open problem to describe the structure of its set of connected complement components. In this paper we approach this problem by introducing the lopsided coamoeba. We show that the closed lopsided coamoeba comes naturally equipped with an order map, i.e. a map v from its set of connected complement components to a translated lattice inside the zonotope of a Gale dual of the point configuration supp(f). Under a natural assumption, the map v is a bijection. Finally we use this map to obtain new results concerning coamoebas of polynomials of small codimension. △ Less

Submitted 20 January, 2014; v1 submitted 9 May, 2012; originally announced May 2012.

Comments: 5 figures, 20 pages. Final version, to appear in Arkiv för matematik

Euler--Mellin integrals and A-hypergeometric functions

Authors: Christine Berkesch, Jens Forsgård, Mikael Passare

Abstract: We consider integrals that generalize both the Mellin transforms of rational functions of the form 1/f and the classical Euler integrals. The domains of integration of our so-called Euler--Mellin integrals are naturally related to the coamoeba of f, and the components of the complement of the closure of the coamoeba give rise to a family of these integrals. After performing an explicit meromorphic… ▽ More We consider integrals that generalize both the Mellin transforms of rational functions of the form 1/f and the classical Euler integrals. The domains of integration of our so-called Euler--Mellin integrals are naturally related to the coamoeba of f, and the components of the complement of the closure of the coamoeba give rise to a family of these integrals. After performing an explicit meromorphic continuation of Euler--Mellin integrals, we interpret them as A-hypergeometric functions and discuss their linear independence and relation to Mellin--Barnes integrals. △ Less

Submitted 1 February, 2013; v1 submitted 31 March, 2011; originally announced March 2011.

Comments: 19 pages, 3 figures; Contains additional results on linear independence and relation to Mellin--Barnes integrals of Euler--Mellin integrals; Introduction revised

Report number: Mittag-Leffler-2011spring