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

Solving Equations Using Khovanskii Bases

Authors: Barbara Betti, Marta Panizzut, Simon Telen

Abstract: We develop a new eigenvalue method for solving structured polynomial equations over any field. The equations are defined on a projective algebraic variety which admits a rational parameterization by a Khovanskii basis, e.g., a Grassmannian in its Plücker embedding. This generalizes established algorithms for toric varieties, and introduces the effective use of Khovanskii bases in computer algebra.… ▽ More We develop a new eigenvalue method for solving structured polynomial equations over any field. The equations are defined on a projective algebraic variety which admits a rational parameterization by a Khovanskii basis, e.g., a Grassmannian in its Plücker embedding. This generalizes established algorithms for toric varieties, and introduces the effective use of Khovanskii bases in computer algebra. We investigate regularity questions and discuss several applications. △ Less

Submitted 22 August, 2023; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 25 pages, 1 figure, 2 tables

Positive del Pezzo Geometry

Authors: Nick Early, Alheydis Geiger, Marta Panizzut, Bernd Sturmfels, Claudia He Yun

Abstract: Real, complex, and tropical algebraic geometry join forces in a new branch of mathematical physics called positive geometry. We develop the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties. Their connected components are derived from polyhedral spaces with Weyl group symmetries. We study their canonical forms and scattering amplitudes, and we solve t… ▽ More Real, complex, and tropical algebraic geometry join forces in a new branch of mathematical physics called positive geometry. We develop the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties. Their connected components are derived from polyhedral spaces with Weyl group symmetries. We study their canonical forms and scattering amplitudes, and we solve the likelihood equations. △ Less

Submitted 6 January, 2025; v1 submitted 23 June, 2023; originally announced June 2023.

Comments: 37 pages, 4 figures

Discrete geometry of Cox rings of blow-ups of $\mathbb{P}^3$

Authors: Mara Belotti, Marta Panizzut

Abstract: We prove quadratic generation for the ideal of the Cox ring of the blow-up of $\mathbb{P}^3$ at $7$ points, solving a conjecture of Lesieutre and Park. To do this we compute Khovanskii bases, implementing techniques which proved successful in the case of Del Pezzo surfaces. Such bases give us degenerations to toric varieties whose associated polytopes encode toric degenerations with respect to all… ▽ More We prove quadratic generation for the ideal of the Cox ring of the blow-up of $\mathbb{P}^3$ at $7$ points, solving a conjecture of Lesieutre and Park. To do this we compute Khovanskii bases, implementing techniques which proved successful in the case of Del Pezzo surfaces. Such bases give us degenerations to toric varieties whose associated polytopes encode toric degenerations with respect to all projective embeddings. We study the edge-graphs of these polytopes and we introduce the Mukai edge graph. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: 19 pages

MSC Class: 14M25; 14Q15; 14D06; 52B05

Computing tropical bitangents to smooth quartic curves in polymake

Authors: Alheydis Geiger, Marta Panizzut

Abstract: In this article we introduce the recently developed polymake extension TropicalQuarticCurves and its associated database entry in polyDB dealing with smooth tropical quartic curves. We report on algorithms implemented to analyze tropical bitangents and their lifting conditions over real closed valued fields. The new functions and data were used by the authors to provide a tropical proof of Plücker… ▽ More In this article we introduce the recently developed polymake extension TropicalQuarticCurves and its associated database entry in polyDB dealing with smooth tropical quartic curves. We report on algorithms implemented to analyze tropical bitangents and their lifting conditions over real closed valued fields. The new functions and data were used by the authors to provide a tropical proof of Plücker and Zeuthen's count of real bitangents to smooth quartic curves. △ Less

Submitted 8 December, 2021; originally announced December 2021.

Comments: 19 pages, 5 figures

MSC Class: 52B55; 14T15; 14T20

A tropical count of real bitangents to plane quartic curves

Authors: Alheydis Geiger, Marta Panizzut

Abstract: A smooth tropical quartic curve has seven tropical bitangent classes. Their shapes can vary within the same combinatorial type of curve. We study deformations of these shapes and we show that the conditions determined by Cueto and Markwig for lifting them to real bitangent lines are independent of the deformations. From this we deduce a tropical proof of Plücker and Zeuthen's count of the number o… ▽ More A smooth tropical quartic curve has seven tropical bitangent classes. Their shapes can vary within the same combinatorial type of curve. We study deformations of these shapes and we show that the conditions determined by Cueto and Markwig for lifting them to real bitangent lines are independent of the deformations. From this we deduce a tropical proof of Plücker and Zeuthen's count of the number of real bitangents to smooth plane quartic curves. △ Less

Submitted 8 December, 2021; originally announced December 2021.

Comments: 29 pages, various figures

MSC Class: 14T15; 14T20

Algebraic Degrees of 3-Dimensional Polytopes

Authors: Mara Belotti, Michael Joswig, Marta Panizzut

Abstract: Results of Koebe (1936), Schramm (1992), and Springborn (2005) yield realizations of $3$-polytopes with edges tangent to the unit sphere. Here we study the algebraic degrees of such realizations. This initiates the research on constrained realization spaces of polytopes. Results of Koebe (1936), Schramm (1992), and Springborn (2005) yield realizations of $3$-polytopes with edges tangent to the unit sphere. Here we study the algebraic degrees of such realizations. This initiates the research on constrained realization spaces of polytopes. △ Less

Submitted 24 March, 2022; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: 16 pages, 3 figures; minor additions

MSC Class: 52B10 (Primary) 14P10 (Secondary)

Hyperplane arrangements in polymake

Authors: Lars Kastner, Marta Panizzut

Abstract: Hyperplane arrangements form the latest addition to the zoo of combinatorial objects dealt with by polymake. We report on their implementation and on a algorithm to compute the associated cell decomposition. The implemented algorithm performs significantly better than brute force alternatives, as it requires less convex hulls computations. Hyperplane arrangements form the latest addition to the zoo of combinatorial objects dealt with by polymake. We report on their implementation and on a algorithm to compute the associated cell decomposition. The implemented algorithm performs significantly better than brute force alternatives, as it requires less convex hulls computations. △ Less

Submitted 30 March, 2020; originally announced March 2020.

Comments: 9 pages, 2 figures, 1 table

MSC Class: 52C35 (52B55)

An Octanomial Model for Cubic Surfaces

Authors: Marta Panizzut, Emre Can Sertöz, Bernd Sturmfels

Abstract: We present a new normal form for cubic surfaces that is well suited for p-adic geometry, as it reveals the intrinsic del Pezzo combinatorics of the 27 trees in the tropicalization. The new normal form is a polynomial with eight terms, written in moduli from the E6 hyperplane arrangement. If such a surface is tropically smooth then its 27 tropical lines are distinct. We focus on explicit computatio… ▽ More We present a new normal form for cubic surfaces that is well suited for p-adic geometry, as it reveals the intrinsic del Pezzo combinatorics of the 27 trees in the tropicalization. The new normal form is a polynomial with eight terms, written in moduli from the E6 hyperplane arrangement. If such a surface is tropically smooth then its 27 tropical lines are distinct. We focus on explicit computations, both symbolic and p-adic numerical. △ Less

Submitted 19 December, 2019; v1 submitted 16 August, 2019; originally announced August 2019.

Comments: 20 pages; clarified exposition at key points; final version

The Schläfli Fan

Authors: Michael Joswig, Marta Panizzut, Bernd Sturmfels

Abstract: Smooth tropical cubic surfaces are parametrized by maximal cones in the unimodular secondary fan of the triple tetrahedron. There are $344\, 843 \,867$ such cones, organized into a database of $14\,373\,645$ symmetry classes. The Schläfli fan gives a further refinement of these cones. It reveals all possible patterns of lines on tropical cubic surfaces, thus serving as a combinatorial base space f… ▽ More Smooth tropical cubic surfaces are parametrized by maximal cones in the unimodular secondary fan of the triple tetrahedron. There are $344\, 843 \,867$ such cones, organized into a database of $14\,373\,645$ symmetry classes. The Schläfli fan gives a further refinement of these cones. It reveals all possible patterns of lines on tropical cubic surfaces, thus serving as a combinatorial base space for the universal Fano variety. This article develops the relevant theory and offers a blueprint for the analysis of big data in tropical geometry. △ Less

Submitted 5 April, 2020; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: Major revision: improved presentation and Section 7 deleted

MSC Class: 52B55; 14T05

Journal ref: Discrete Comput. Geom. 64 (2020), 355-381

On local Dressians of matroids

Authors: Jorge Alberto Olarte, Marta Panizzut, Benjamin Schröter

Abstract: We study the fan structure of Dressians $\Dr(d,n)$ and local Dressians $\Dr(\cM)$ for a given matroid $\cM$. In particular we show that the fan structure on $\Dr(\cM)$ given by the three term Plücker relations coincides with the structure as a subfan of the secondary fan of the matroid polytope $P(\cM)$. As a corollary, we have that a matroid subdivision is determined by its 3-dimensional skeleton… ▽ More We study the fan structure of Dressians $\Dr(d,n)$ and local Dressians $\Dr(\cM)$ for a given matroid $\cM$. In particular we show that the fan structure on $\Dr(\cM)$ given by the three term Plücker relations coincides with the structure as a subfan of the secondary fan of the matroid polytope $P(\cM)$. As a corollary, we have that a matroid subdivision is determined by its 3-dimensional skeleton. We also prove that the Dressian of the sum of two matroids is isomorphic to the product of the Dressians of the matroids. Finally we focus on indecomposable matroids. We show that binary matroids are indecomposable, and we provide a non-binary indecomposable matroid as a counterexample for the converse. △ Less

Submitted 24 September, 2018; originally announced September 2018.

Comments: To appear in to proceedings of the 2018 Summer Workshop on Lattice Polytopes at Osaka University

K3 Polytopes and their Quartic Surfaces

Authors: Gabriele Balletti, Marta Panizzut, Bernd Sturmfels

Abstract: K3 polytopes appear in complements of tropical quartic surfaces. They are dual to regular unimodular central triangulations of reflexive polytopes in the fourth dilation of the standard tetrahedron. Exploring these combinatorial objects, we classify K3 polytopes with up to $30$ vertices. Their number is $36\,297\,333$. We study the singular loci of quartic surfaces that tropicalize to K3 polytopes… ▽ More K3 polytopes appear in complements of tropical quartic surfaces. They are dual to regular unimodular central triangulations of reflexive polytopes in the fourth dilation of the standard tetrahedron. Exploring these combinatorial objects, we classify K3 polytopes with up to $30$ vertices. Their number is $36\,297\,333$. We study the singular loci of quartic surfaces that tropicalize to K3 polytopes. These surfaces are stable in the sense of Geometric Invariant Theory. △ Less

Submitted 16 July, 2019; v1 submitted 6 June, 2018; originally announced June 2018.

Brill-Noether theory of curves on $\mathbb{P}^1 \times \mathbb{P}^1$: tropical and classical approach

Authors: Filip Cools, Michele D'Adderio, David Jensen, Marta Panizzut

Abstract: The gonality sequence $(d_r)_{r\geq1}$ of a smooth algebraic curve comprises the minimal degrees $d_r$ of linear systems of rank $r$. We explain two approaches to compute the gonality sequence of smooth curves in $\mathbb{P}^1 \times \mathbb{P}^1$: a tropical and a classical approach. The tropical approach uses the recently developed Brill--Noether theory on tropical curves and Baker's specializat… ▽ More The gonality sequence $(d_r)_{r\geq1}$ of a smooth algebraic curve comprises the minimal degrees $d_r$ of linear systems of rank $r$. We explain two approaches to compute the gonality sequence of smooth curves in $\mathbb{P}^1 \times \mathbb{P}^1$: a tropical and a classical approach. The tropical approach uses the recently developed Brill--Noether theory on tropical curves and Baker's specialization of linear systems from curves to metric graphs. The classical one extends the work of Hartshorne on plane curves to curves on $\mathbb{P}^1 \times \mathbb{P}^1$. △ Less

Submitted 21 September, 2017; originally announced September 2017.

The gonality sequence of complete graphs

Authors: Filip Cools, Marta Panizzut

Abstract: The gonality sequence $(γ_r)_{r\geq1}$ of a finite graph / metric graph / algebraic curve comprises the minimal degrees $γ_r$ of linear systems of rank $r$. For the complete graph $K_d$, we show that $γ_r = kd - h$ if $r<g=\frac{(d-1)(d-2)}{2}$, where $k$ and $h$ are the uniquely determined integers such that $r = \frac{k(k+3)}{2} - h$ with $1\leq k\leq d-3$ and $0 \leq h \leq k $. This shows that… ▽ More The gonality sequence $(γ_r)_{r\geq1}$ of a finite graph / metric graph / algebraic curve comprises the minimal degrees $γ_r$ of linear systems of rank $r$. For the complete graph $K_d$, we show that $γ_r = kd - h$ if $r<g=\frac{(d-1)(d-2)}{2}$, where $k$ and $h$ are the uniquely determined integers such that $r = \frac{k(k+3)}{2} - h$ with $1\leq k\leq d-3$ and $0 \leq h \leq k $. This shows that the graph $K_d$ has the gonality sequence of a smooth plane curve of degree $d$. The same result holds for the corresponding metric graphs. △ Less

Submitted 7 March, 2017; v1 submitted 12 May, 2016; originally announced May 2016.

Theta characteristics of hyperelliptic graphs

Authors: Marta Panizzut

Abstract: We study theta characteristics of hyperelliptic metric graphs of genus $g$ with no bridge edges. These graphs have a harmonic morphism of degree two to a metric tree that can be lifted to morphism of degree two of a hyperelliptic curve $X$ over $K$ to the projective line, with $K$ an algebraically closed field of char$(K) \not =2$, complete with respect to a non-Archimedean valuation, with residue… ▽ More We study theta characteristics of hyperelliptic metric graphs of genus $g$ with no bridge edges. These graphs have a harmonic morphism of degree two to a metric tree that can be lifted to morphism of degree two of a hyperelliptic curve $X$ over $K$ to the projective line, with $K$ an algebraically closed field of char$(K) \not =2$, complete with respect to a non-Archimedean valuation, with residue field $k$ of char$(k)\not=2$. The hyperelliptic curve has $2^{2g}$ theta characteristics. We show that for each effective theta characteristics on the graph, $2^{g-1}$ even and $2^{g-1}$ odd theta characteristics on the curve specialize to it; and $2^g$ even theta characteristics on the curve specialize to the unique not effective theta characteristics on the graph. △ Less

Submitted 22 February, 2016; v1 submitted 23 November, 2015; originally announced November 2015.

Comments: 10 pages. Revised version: proof of Theorem 17 corrected (many thanks to the reviewer)

MSC Class: 14T05; 14H51; 14H45

Gonality of complete graphs with a small number of omitted edges

Authors: Marta Panizzut

Abstract: Let $K_d$ be the complete metric graph on $d$ vertices. We compute the gonality of graphs obtained from $K_d$ by omitting edges forming a $K_h$, or general configurations of at most $d-2$ edges. We also investigate if these graphs can be lifted to curves with the same gonality. We lift the former graphs and the ones obtained by removing up to $d-2$ edges not forming a $K_3$ using models of plane c… ▽ More Let $K_d$ be the complete metric graph on $d$ vertices. We compute the gonality of graphs obtained from $K_d$ by omitting edges forming a $K_h$, or general configurations of at most $d-2$ edges. We also investigate if these graphs can be lifted to curves with the same gonality. We lift the former graphs and the ones obtained by removing up to $d-2$ edges not forming a $K_3$ using models of plane curves with certain singularities. We also study the gonality when removing $d-1$ edges not forming a $K_3$. We use harmonic morphism to lift these graphs to curves with the same gonality because in this case plane singular models can no be longer used due to a result of Coppens and Kato. △ Less

Submitted 22 February, 2016; v1 submitted 4 March, 2015; originally announced March 2015.

Comments: 30 pages, 8 figures

MSC Class: 14T05; 14H51; 05C99

Tropical Lines on Cubic Surfaces

Authors: Marta Panizzut, Magnus Dehli Vigeland

Abstract: Given a tropical line $L$ and a smooth tropical surface $X$, we look at the position of $L$ on $X$. We introduce its primal and dual motif which are respectively a decorated graph and a subcomplex of the dual triangulation of $X$. They encode the combinatorial position of $L$ on $X$. We classify all possible motifs of tropical lines on general smooth tropical surfaces. This classification allows t… ▽ More Given a tropical line $L$ and a smooth tropical surface $X$, we look at the position of $L$ on $X$. We introduce its primal and dual motif which are respectively a decorated graph and a subcomplex of the dual triangulation of $X$. They encode the combinatorial position of $L$ on $X$. We classify all possible motifs of tropical lines on general smooth tropical surfaces. This classification allows to give an upper bound for the number of tropical lines on a general smooth tropical surface with a given subdivision. We focus in particular on surfaces of degree three. As a concrete example, we look at tropical cubic surfaces dual to a fixed honeycomb triangulation, showing that a general surface contains exactly $27$ tropical lines. △ Less

Submitted 16 April, 2019; v1 submitted 28 August, 2007; originally announced August 2007.

Comments: Major updates of the previous version: Completed the classification, changed the title and added co-author. See Introduction for further details