Showing 1–11 of 11 results for author: Soprunova, J

The volume polynomial of lattice polygons

Authors: Ivan Soprunov, Jenya Soprunova

Abstract: We prove that every indefinite quadratic form with non-negative integer coefficients is the volume polynomial of a pair of lattice polygons. This solves the discrete version of the Heine-Shephard problem for two bodies in the plane. As an application, we show how to construct a pair of planar tropical curves (or a pair of divisors on a toric surface) with given intersection number and self-interse… ▽ More We prove that every indefinite quadratic form with non-negative integer coefficients is the volume polynomial of a pair of lattice polygons. This solves the discrete version of the Heine-Shephard problem for two bodies in the plane. As an application, we show how to construct a pair of planar tropical curves (or a pair of divisors on a toric surface) with given intersection number and self-intersection numbers. △ Less

Submitted 14 October, 2024; v1 submitted 11 January, 2024; originally announced January 2024.

Comments: 12 pages, 5 figures, to appear in Proceedings of AMS

MSC Class: Primary 52B20; 52A39; Secondary 11H55; 14T10; 14M25

Lattice Size in Higher Dimension

Authors: Abdulrahman Alajmi, Sayok Chakravarty, Zachary Kaplan, Jenya Soprunova

Abstract: The lattice size of a lattice polytope is a geometric invariant which was formally introduced in the context of simplification of the defining equation of an algebraic curve, but appeared implicitly earlier in geometric combinatorics. Previous work on the lattice size was devoted to studying the lattice size in dimension 2 and 3. In this paper we establish explicit formulas for the lattice size of… ▽ More The lattice size of a lattice polytope is a geometric invariant which was formally introduced in the context of simplification of the defining equation of an algebraic curve, but appeared implicitly earlier in geometric combinatorics. Previous work on the lattice size was devoted to studying the lattice size in dimension 2 and 3. In this paper we establish explicit formulas for the lattice size of a family of lattice simplices in arbitrary dimension. △ Less

Submitted 1 September, 2022; originally announced September 2022.

Comments: 8 pages

MSC Class: 11H06; 52B20; 52C07

Journal ref: Involve 17 (2024) 153-162

Lattice Size of Width One Lattice Polytopes in $\mathbb{R}^3$

Authors: Abdulrahman Alajmi, Jenya Soprunova

Abstract: The lattice size $\operatorname{ls_Δ}(P)$ of a lattice polytope $P$ is a geometric invariant, which was formally introduced in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve, but appeared implicitly earlier in geometric combinatorics. In this paper, we show that for an empty lattice polytope $P\subset\mathbb{R}^3$ there exists… ▽ More The lattice size $\operatorname{ls_Δ}(P)$ of a lattice polytope $P$ is a geometric invariant, which was formally introduced in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve, but appeared implicitly earlier in geometric combinatorics. In this paper, we show that for an empty lattice polytope $P\subset\mathbb{R}^3$ there exists a reduced basis of $\mathbb{Z}^3$ which computes its lattice size $\operatorname{ls_Δ}(P)$. This leads to a fast algorithm for computing $\operatorname{ls_Δ}(P)$ for such $P$. We also extend this result to another class of lattice width one polytopes $P\subset\mathbb{R}^3$. We then provide a counterexample demonstrating that this result does not hold true for an arbitrary lattice polytope $P\subset\mathbb{R}^3$ of lattice width one. △ Less

Submitted 21 May, 2024; v1 submitted 26 July, 2022; originally announced July 2022.

Comments: 15 pages, 4 figures

MSC Class: 11H06; 52B20; 52C05

Bounds on Area Involving Lattice Size

Authors: Jenya Soprunova

Abstract: The lattice size of a lattice polygon $P$ was introduced and studied by Schicho, and by Castryck and Cools in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve. In this paper we establish sharp lower bounds on the area of plane convex bodies $P\subset\mathbb{R}^2$ that involve the lattice size of $P$. In particular, we improve bou… ▽ More The lattice size of a lattice polygon $P$ was introduced and studied by Schicho, and by Castryck and Cools in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve. In this paper we establish sharp lower bounds on the area of plane convex bodies $P\subset\mathbb{R}^2$ that involve the lattice size of $P$. In particular, we improve bounds established by Arnold, and Bárány and Pach. We also provide a classification of minimal lattice polygons $P\subset\mathbb{R}^2$ of fixed lattice size $\operatorname{ls_\square}(P)$. △ Less

Submitted 21 December, 2023; v1 submitted 30 December, 2021; originally announced December 2021.

Comments: 15 pages, 12 figures

MSC Class: 11H06; 52B20; 52C05

Journal ref: Electron. J. Combin., 30, No 4, Paper No. 4.45 (2023), 18 pp

$\mathbb{F}_q$-zeros of sparse trivariate polynomials and toric 3-fold codes

Authors: Kyle Meyer, Ivan Soprunov, Jenya Soprunova

Abstract: For a given lattice polytope $P$ in $\mathbb{R}^3$, consider the space $\mathcal{L}_P$ of trivariate polynomials over a finite field $\mathbb{F}_q$, whose Newton polytopes are contained in $P$. We give an upper bound for the maximum number of $\mathbb{F}_q$-zeros of polynomials in $\mathcal{L}_P$ in terms of the Minkowski length of $P$ and $q$, the size of the field. Consequently, this produces lo… ▽ More For a given lattice polytope $P$ in $\mathbb{R}^3$, consider the space $\mathcal{L}_P$ of trivariate polynomials over a finite field $\mathbb{F}_q$, whose Newton polytopes are contained in $P$. We give an upper bound for the maximum number of $\mathbb{F}_q$-zeros of polynomials in $\mathcal{L}_P$ in terms of the Minkowski length of $P$ and $q$, the size of the field. Consequently, this produces lower bounds for the minimum distance of toric codes defined by evaluating elements of $\mathcal{L}_P$ at the points of the algebraic torus $(\mathbb{F}_q^*)^3$. Our approach is based on understanding factorizations of polynomials in $\mathcal{L}_P$ with the largest possible number of non-unit factors. The related combinatorial result that we obtain is a description of Minkowski sums of lattice polytopes contained in $P$ with the largest possible number of non-trivial summands. △ Less

Submitted 28 January, 2022; v1 submitted 20 May, 2021; originally announced May 2021.

Comments: 31 pages; new section on 3-fold toric codes from width one polytopes; new examples of 3-fold toric codes whose parameters exceeds the Gilbert-Varshamov bound; 2 figures

MSC Class: 11T06; 52B10; 52B20 (Primary) 11T71; 14G50; 52B55 (Secondary)

Lattice Size of Plane Convex Bodies

Authors: Anthony Harrison, Jenya Soprunova, Patrick Tierney

Abstract: The lattice size $\operatorname{ls}_Δ(P)$ of a lattice polygon $P$ with respect to the standard simplex $Δ$ was introduced and studied by Castryck and Cools in the context of simplification of the defining equation of an algebraic curve. Earlier, Schicho provided an "onion skins" algorithm for mapping a lattice polygon $P$ into a small integer multiple of the standard simplex, based on passing suc… ▽ More The lattice size $\operatorname{ls}_Δ(P)$ of a lattice polygon $P$ with respect to the standard simplex $Δ$ was introduced and studied by Castryck and Cools in the context of simplification of the defining equation of an algebraic curve. Earlier, Schicho provided an "onion skins" algorithm for mapping a lattice polygon $P$ into a small integer multiple of the standard simplex, based on passing successively to the convex hull of the interior lattice points of $P$. Castryck and Cools showed that this algorithm computes the lattice size of $P$. In this paper we show that for a plane convex body $P$ a reduced basis of $\mathbb{Z}^2$ computes the lattice size. This provides a lattice reduction algorithm for computing the lattice size, which works for any convex body $P\subset\mathbb{R}^2$ and outperforms the "onion skins" algorithm in the case when $P$ is a lattice polygon. △ Less

Submitted 6 October, 2020; v1 submitted 11 September, 2017; originally announced September 2017.

Comments: The main result and the arguments have been reformulated in terms of lattice reduction. The results now apply to arbitrary convex bodies in $\mathbb{R}^2$, rather than lattice polygons as in the previous version

MSC Class: 11H06; 52B20; 52C05; 52C07

Lattice Size and Generalized Basis Reduction in Dimension 3

Authors: Anthony Harrison, Jenya Soprunova

Abstract: The lattice size of a lattice polytope $P$ was defined and studied by Schicho, and Castryck and Cools. They provided an "onion skins" algorithm for computing the lattice size of a lattice polygon $P$ in $\mathbb{R}^2$ based on passing successively to the convex hull of the interior lattice points of $P$. We explain the connection of the lattice size to the successive minima of… ▽ More The lattice size of a lattice polytope $P$ was defined and studied by Schicho, and Castryck and Cools. They provided an "onion skins" algorithm for computing the lattice size of a lattice polygon $P$ in $\mathbb{R}^2$ based on passing successively to the convex hull of the interior lattice points of $P$. We explain the connection of the lattice size to the successive minima of $K=\left(P+(-P)\right)^\ast$ and to the lattice reduction with respect to the general norm that corresponds to $K$. It follows that the generalized Gauss algorithm of Kaib and Schnorr (which is faster than the "onion skins" algorithm) computes the lattice size of any convex body in $\mathbb{R}^2$. We extend the work of Kaib and Schnorr to dimension 3, providing a fast algorithm for lattice reduction with respect to the general norm defined by a convex origin-symmetric body $K\subset\mathbb{R}^3$. We also explain how to recover the successive minima of $K$ and the lattice size of $P$ from the obtained reduced basis and therefore provide a fast algorithm for computing the lattice size of any convex body $P\subset\mathbb{R}^3$. △ Less

Submitted 15 October, 2020; v1 submitted 11 September, 2017; originally announced September 2017.

MSC Class: 52B20; 11H06; 52C05; 52C07

Eventual quasi-linearity of the Minkowski length

Authors: Ivan Soprunov, Jenya Soprunova

Abstract: The Minkowski length of a lattice polytope $P$ is a natural generalization of the lattice diameter of $P$. It can be defined as the largest number of lattice segments whose Minkowski sum is contained in $P$. The famous Ehrhart theorem states that the number of lattice points in the positive integer dilates $tP$ of a lattice polytope $P$ behaves polynomially in $t\in\mathbb{N}$. In this paper we pr… ▽ More The Minkowski length of a lattice polytope $P$ is a natural generalization of the lattice diameter of $P$. It can be defined as the largest number of lattice segments whose Minkowski sum is contained in $P$. The famous Ehrhart theorem states that the number of lattice points in the positive integer dilates $tP$ of a lattice polytope $P$ behaves polynomially in $t\in\mathbb{N}$. In this paper we prove that for any lattice polytope $P$, the Minkowski length of $tP$ for $t\in\mathbb{N}$ is eventually a quasi-polynomial with linear constituents. We also give a formula for the Minkowski length of coordinates boxes, degree one polytopes, and dilates of unimodular simplices. In addition, we give a new bound for the Minkowski length of lattice polygons and show that the Minkowski length of a lattice triangle coincides with its lattice diameter. △ Less

Submitted 23 May, 2016; v1 submitted 14 December, 2014; originally announced December 2014.

Comments: 13 pages, 1 figure; minor corrections, to appear in European Journal of Combinatorics

MSC Class: 52B20

Journal ref: European Journal of Combinatorics 58 (2016), pp. 107--117

Tropical determinant on transportation polytope

Authors: Sailaja Gajula, Ivan Soprunov, Jenya Soprunova

Abstract: Let ${\mathcal D}^{k,l}(m,n)$ be the set of all the integer points in the transportation polytope of $kn\times ln$ matrices with row sums $lm$ and column sums $km$. In this paper we find the sharp lower bound on the tropical determinant over the set ${\mathcal D}^{k,l}(m,n)$. This integer piecewise-linear programming problem in arbitrary dimension turns out to be equivalent to an integer non-linea… ▽ More Let ${\mathcal D}^{k,l}(m,n)$ be the set of all the integer points in the transportation polytope of $kn\times ln$ matrices with row sums $lm$ and column sums $km$. In this paper we find the sharp lower bound on the tropical determinant over the set ${\mathcal D}^{k,l}(m,n)$. This integer piecewise-linear programming problem in arbitrary dimension turns out to be equivalent to an integer non-linear (in fact, quadratic) optimization problem in dimension two. We also compute the sharp upper bound on a modification of the tropical determinant, where the maximum over all the transversals in a matrix is replaced with the minimum. △ Less

Submitted 13 October, 2014; originally announced October 2014.

Comments: 16 pages, 2 figures

MSC Class: 90C10; 52B12

Journal ref: Linear Algebra and its Applications 475 (2015) 28-44

Minkowski length of 3D lattice polytopes

Authors: Olivia Beckwith, Matthew Grimm, Jenya Soprunova, Bradley Weaver

Abstract: We study the Minkowski length L(P) of a lattice polytope P, which is defined to be the largest number of non-trivial primitive segments whose Minkowski sum lies in P. The Minkowski length represents the largest possible number of factors in a factorization of polynomials with exponent vectors in P, and shows up in lower bounds for the minimum distance of toric codes. In this paper we give a polyti… ▽ More We study the Minkowski length L(P) of a lattice polytope P, which is defined to be the largest number of non-trivial primitive segments whose Minkowski sum lies in P. The Minkowski length represents the largest possible number of factors in a factorization of polynomials with exponent vectors in P, and shows up in lower bounds for the minimum distance of toric codes. In this paper we give a polytime algorithm for computing L(P) where P is a 3D lattice polytope. We next study 3D lattice polytopes of Minkowski length 1. In particular, we show that if Q, a subpolytope of P, is the Minkowski sum of L = L(P) lattice polytopes Qi, each of Minkowski length 1, then the total number of interior lattice points of the polytopes Q1,..., QL is at most 4. Both results extend previously known results for lattice polygons. Our methods differ substantially from those used in the two-dimensional case. △ Less

Submitted 27 July, 2012; v1 submitted 2 February, 2012; originally announced February 2012.

Comments: 20 pages, 17 figures, to appear in Discrete and Computational Geometry

MSC Class: 52B20; 94B27; 14G50

Tropical Determinant of Integer Doubly-Stochastic Matrices

Authors: Thomas Dinitz, Matthew Hartman, Jenya Soprunova

Abstract: Let D(m,n) be the set of all the integer points in the m-dilate of the Birkhoff polytope of doubly-stochastic n by n matrices. In this paper we find the sharp upper bound on the tropical determinant over the set D(m,n). We define a version of the tropical determinant where the maximum over all the transversals in a matrix is replaced with the minimum and then find the sharp lower bound on thus def… ▽ More Let D(m,n) be the set of all the integer points in the m-dilate of the Birkhoff polytope of doubly-stochastic n by n matrices. In this paper we find the sharp upper bound on the tropical determinant over the set D(m,n). We define a version of the tropical determinant where the maximum over all the transversals in a matrix is replaced with the minimum and then find the sharp lower bound on thus defined tropical determinant over D(m,n). △ Less

Submitted 18 May, 2010; originally announced May 2010.

Comments: 18 pages

MSC Class: 90C10; 52B12

Journal ref: Linear Algebra and its Applications 436, Issue 5 (2012), 1212-1227