Showing 1–50 of 220 results for author: Sturmfels, B

Spinor-Helicity Varieties

Authors: Yassine El Maazouz, Anaëlle Pfister, Bernd Sturmfels

Abstract: The spinor-helicity formalism in particle physics gives rise to natural subvarieties in the product of two Grassmannians. These include two-step flag varieties for subspaces of complementary dimension. Taking Hadamard products leads to Mandelstam varieties. We study these varieties through the lens of combinatorics and commutative algebra, and we explore their tropicalization, positive geometry, a… ▽ More The spinor-helicity formalism in particle physics gives rise to natural subvarieties in the product of two Grassmannians. These include two-step flag varieties for subspaces of complementary dimension. Taking Hadamard products leads to Mandelstam varieties. We study these varieties through the lens of combinatorics and commutative algebra, and we explore their tropicalization, positive geometry, and scattering correspondence. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Comments: 28 pages

Maximal Mumford Curves from Planar Graphs

Authors: Mario Kummer, Bernd Sturmfels, Raluca Vlad

Abstract: A curve of genus g is maximal Mumford (MM) if it has g+1 ovals and g tropical cycles. We construct full-dimensional families of MM curves in the Hilbert scheme of canonical curves. This rests on first-order deformations of graph curves whose graph is planar. A curve of genus g is maximal Mumford (MM) if it has g+1 ovals and g tropical cycles. We construct full-dimensional families of MM curves in the Hilbert scheme of canonical curves. This rests on first-order deformations of graph curves whose graph is planar. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: 22 pages

Minimal Kinematics on $\mathcal{M}_{0,n}$

Authors: Nick Early, Anaëlle Pfister, Bernd Sturmfels

Abstract: Minimal kinematics identifies likelihood degenerations where the critical points are given by rational formulas. These rest on the Horn uniformization of Kapranov-Huh. We characterize all choices of minimal kinematics on the moduli space $\mathcal{M}_{0,n}$. These choices are motivated by the CHY model in physics and they are represented combinatorially by 2-trees. We compute 2-tree amplitudes, an… ▽ More Minimal kinematics identifies likelihood degenerations where the critical points are given by rational formulas. These rest on the Horn uniformization of Kapranov-Huh. We characterize all choices of minimal kinematics on the moduli space $\mathcal{M}_{0,n}$. These choices are motivated by the CHY model in physics and they are represented combinatorially by 2-trees. We compute 2-tree amplitudes, and we explore extensions to non-planar on-shell diagrams, here identified with the hypertrees of Castravet-Tevelev. △ Less

Submitted 5 February, 2024; originally announced February 2024.

Comments: 18 pages

The Chow-Lam Form

Authors: Elizabeth Pratt, Bernd Sturmfels

Abstract: The classical Chow form encodes any projective variety by one equation. We here introduce the Chow-Lam form for subvarieties of a Grassmannian. By evaluating the Chow-Lam form at twistor coordinates, we obtain universal projection formulas. These were pioneered by Thomas Lam for positroid varieties in the study of amplituhedra, and we develop his approach further. Universal formulas for branch loc… ▽ More The classical Chow form encodes any projective variety by one equation. We here introduce the Chow-Lam form for subvarieties of a Grassmannian. By evaluating the Chow-Lam form at twistor coordinates, we obtain universal projection formulas. These were pioneered by Thomas Lam for positroid varieties in the study of amplituhedra, and we develop his approach further. Universal formulas for branch loci are obtained from Hurwitz-Lam forms. Our focus is on computations and applications in geometry. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: 20 pages

The Two Lives of the Grassmannian

Authors: Karel Devriendt, Hannah Friedman, Bernhard Reinke, Bernd Sturmfels

Abstract: The real Grassmannian is both a projective variety (via Plücker coordinates) and an affine variety (via orthogonal projections). We connect these two representations, and we develop the commutative algebra of the latter variety. We introduce the squared Grassmannian, and we study applications to determinantal point processes in statistics. The real Grassmannian is both a projective variety (via Plücker coordinates) and an affine variety (via orthogonal projections). We connect these two representations, and we develop the commutative algebra of the latter variety. We introduce the squared Grassmannian, and we study applications to determinantal point processes in statistics. △ Less

Submitted 4 July, 2024; v1 submitted 8 January, 2024; originally announced January 2024.

Comments: 19 pages. Theorem 3.8 and Remark 5.11 are new

Coupled Cluster Degree of the Grassmannian

Authors: Viktoriia Borovik, Bernd Sturmfels, Svala Sverrisdóttir

Abstract: We determine the number of complex solutions to a nonlinear eigenvalue problem on the Grassmannian in its Plücker embedding. This is motivated by quantum chemistry, where it represents the truncation to single electrons in coupled cluster theory. We prove the formula for the Grassmannian of lines which was conjectured in earlier work with Fabian Faulstich. This rests on the geometry of the graph o… ▽ More We determine the number of complex solutions to a nonlinear eigenvalue problem on the Grassmannian in its Plücker embedding. This is motivated by quantum chemistry, where it represents the truncation to single electrons in coupled cluster theory. We prove the formula for the Grassmannian of lines which was conjectured in earlier work with Fabian Faulstich. This rests on the geometry of the graph of a birational parametrization of the Grassmannian. We present a squarefree Gröbner basis for this graph, and we develop connections to toric degenerations from representation theory. △ Less

Submitted 8 April, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: 13 pages

Algebraic Varieties in Quantum Chemistry

Authors: Fabian Faulstich, Bernd Sturmfels, Svala Sverrisdóttir

Abstract: We develop algebraic geometry for coupled cluster (CC) theory of quantum many-body systems. The high-dimensional eigenvalue problems that encode the electronic Schrödinger equation are approximated by a hierarchy of polynomial systems at various levels of truncation. The exponential parametrization of the eigenstates gives rise to truncation varieties. These generalize Grassmannians in their Plück… ▽ More We develop algebraic geometry for coupled cluster (CC) theory of quantum many-body systems. The high-dimensional eigenvalue problems that encode the electronic Schrödinger equation are approximated by a hierarchy of polynomial systems at various levels of truncation. The exponential parametrization of the eigenstates gives rise to truncation varieties. These generalize Grassmannians in their Plücker embedding. We explain how to derive Hamiltonians, we offer a detailed study of truncation varieties and their CC degrees, and we present the state of the art in solving the CC equations. △ Less

Submitted 3 April, 2024; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: 25 pages, 6 figures

Likelihood Geometry of Determinantal Point Processes

Authors: Hannah Friedman, Bernd Sturmfels, Maksym Zubkov

Abstract: We study determinantal point processes (DPP) through the lens of algebraic statistics. We count the critical points of the log-likelihood function, and we compute them for small models, thereby disproving a conjecture of Brunel, Moitra, Rigollet and Urschel. We study determinantal point processes (DPP) through the lens of algebraic statistics. We count the critical points of the log-likelihood function, and we compute them for small models, thereby disproving a conjecture of Brunel, Moitra, Rigollet and Urschel. △ Less

Submitted 22 November, 2023; v1 submitted 25 July, 2023; originally announced July 2023.

Comments: 11 pages

Journal ref: Alg. Stat. 15 (2024) 15-25

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 23 June, 2023; originally announced June 2023.

Comments: 34 pages, 4 figures

Tropical Implicitization Revisited

Authors: Kemal Rose, Bernd Sturmfels, Simon Telen

Abstract: Tropical implicitization means computing the tropicalization of a unirational variety from its parametrization. In the case of a hypersurface, this amounts to finding the Newton polytope of the implicit equation, without computing its coefficients. We present a new implementation of this procedure in Oscar.jl. It solves challenging instances, and can be used for classical implicitization as well.… ▽ More Tropical implicitization means computing the tropicalization of a unirational variety from its parametrization. In the case of a hypersurface, this amounts to finding the Newton polytope of the implicit equation, without computing its coefficients. We present a new implementation of this procedure in Oscar.jl. It solves challenging instances, and can be used for classical implicitization as well. We also develop implicitization in higher codimension via Chow forms, and we pose several open questions. △ Less

Submitted 22 June, 2023; originally announced June 2023.

Comments: 18 pages, 3 figures

Taylor Polynomials of Rational Functions

Authors: Aldo Conca, Simone Naldi, Giorgio Ottaviani, Bernd Sturmfels

Abstract: A Taylor variety consists of all fixed order Taylor polynomials of rational functions, where the number of variables and degrees of numerators and denominators are fixed. In one variable, Taylor varieties are given by rank constraints on Hankel matrices. Inversion of the natural parametrization is known as Padé approximation. We study the dimension and defining ideals of Taylor varieties. Taylor h… ▽ More A Taylor variety consists of all fixed order Taylor polynomials of rational functions, where the number of variables and degrees of numerators and denominators are fixed. In one variable, Taylor varieties are given by rank constraints on Hankel matrices. Inversion of the natural parametrization is known as Padé approximation. We study the dimension and defining ideals of Taylor varieties. Taylor hypersurfaces are interesting for projective geometry, since their Hessians tend to vanish. In three and more variables, there exist defective Taylor varieties whose dimension is smaller than the number of parameters. We explain this with Fröberg's Conjecture in commutative algebra. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 20 pages

Moment Varieties for Mixtures of Products

Authors: Yulia Alexandr, Joe Kileel, Bernd Sturmfels

Abstract: The setting of this article is nonparametric algebraic statistics. We study moment varieties of conditionally independent mixture distributions on $\mathbb{R}^n$. These are the secant varieties of toric varieties that express independence in terms of univariate moments. Our results revolve around the dimensions and defining polynomials of these varieties. The setting of this article is nonparametric algebraic statistics. We study moment varieties of conditionally independent mixture distributions on $\mathbb{R}^n$. These are the secant varieties of toric varieties that express independence in terms of univariate moments. Our results revolve around the dimensions and defining polynomials of these varieties. △ Less

Submitted 29 May, 2023; v1 submitted 22 January, 2023; originally announced January 2023.

Comments: 8 pages

Self-dual matroids from canonical curves

Authors: Alheydis Geiger, Sachi Hashimoto, Bernd Sturmfels, Raluca Vlad

Abstract: Self-dual configurations of 2n points in a projective space of dimension n-1 were studied by Coble, Dolgachev-Ortland, and Eisenbud-Popescu. We examine the self-dual matroids and self-dual valuated matroids defined by such configurations, with a focus on those arising from hyperplane sections of canonical curves. These objects are parametrized by the self-dual Grassmannian and its tropicalization.… ▽ More Self-dual configurations of 2n points in a projective space of dimension n-1 were studied by Coble, Dolgachev-Ortland, and Eisenbud-Popescu. We examine the self-dual matroids and self-dual valuated matroids defined by such configurations, with a focus on those arising from hyperplane sections of canonical curves. These objects are parametrized by the self-dual Grassmannian and its tropicalization. We tabulate all self-dual matroids up to rank 5 and investigate their realization spaces. Following Bath, Mukai, and Petrakiev, we explore algorithms for recovering a curve from the configuration. A detailed analysis is given for self-dual matroids arising from graph curves. △ Less

Submitted 12 December, 2022; originally announced December 2022.

Comments: 33 pages

Gibbs Manifolds

Authors: Dmitrii Pavlov, Bernd Sturmfels, Simon Telen

Abstract: Gibbs manifolds are images of affine spaces of symmetric matrices under the exponential map. They arise in applications such as optimization, statistics and quantum~physics, where they extend the ubiquitous role of toric geometry. The Gibbs variety is the zero locus of all polynomials that vanish on the Gibbs manifold. We compute these polynomials and show that the Gibbs variety is low-dimensional… ▽ More Gibbs manifolds are images of affine spaces of symmetric matrices under the exponential map. They arise in applications such as optimization, statistics and quantum~physics, where they extend the ubiquitous role of toric geometry. The Gibbs variety is the zero locus of all polynomials that vanish on the Gibbs manifold. We compute these polynomials and show that the Gibbs variety is low-dimensional. Our theory is applied to a wide range of scenarios, including matrix pencils and quantum optimal transport. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Comments: 22 pages

Four-Dimensional Lie Algebras Revisited

Authors: Laurent Manivel, Bernd Sturmfels, Svala Sverrisdóttir

Abstract: The projective variety of Lie algebra structures on a 4-dimensional vector space has four irreducible components of dimension 11. We compute their prime ideals in the polynomial ring in 24 variables. By listing their degrees and Hilbert polynomials, we correct an earlier publication and we answer a 1987 question by Kirillov and Neretin. The projective variety of Lie algebra structures on a 4-dimensional vector space has four irreducible components of dimension 11. We compute their prime ideals in the polynomial ring in 24 variables. By listing their degrees and Hilbert polynomials, we correct an earlier publication and we answer a 1987 question by Kirillov and Neretin. △ Less

Submitted 31 August, 2022; originally announced August 2022.

Comments: 9 pages

Subspaces Fixed by a Nilpotent Matrix

Authors: Marvin Anas Hahn, Gabriele Nebe, Mima Stanojkovski, Bernd Sturmfels

Abstract: The linear spaces that are fixed by a given nilpotent $n \times n$ matrix form a subvariety of the Grassmannian. We classify these varieties for small $n$. Mutiah, Weekes and Yacobi conjectured that their radical ideals are generated by certain linear forms known as shuffle equations. We prove this conjecture for $n \leq 7$, and we disprove it for $n=8$. The question remains open for nilpotent mat… ▽ More The linear spaces that are fixed by a given nilpotent $n \times n$ matrix form a subvariety of the Grassmannian. We classify these varieties for small $n$. Mutiah, Weekes and Yacobi conjectured that their radical ideals are generated by certain linear forms known as shuffle equations. We prove this conjecture for $n \leq 7$, and we disprove it for $n=8$. The question remains open for nilpotent matrices arising from the affine Grassmannian. △ Less

Submitted 9 March, 2023; v1 submitted 2 July, 2022; originally announced July 2022.

Comments: 14 pages, some updates based on referee comments

Recovery of Plane Curves from Branch Points

Authors: Daniele Agostini, Hannah Markwig, Clemens Nollau, Victoria Schleis, Javier Sendra-Arranz, Bernd Sturmfels

Abstract: We recover plane curves from their branch points under projection onto a line. Our focus lies on cubics and quartics. These have 6 and 12 branch points respectively. The plane Hurwitz numbers 40 and 120 count the orbits of solutions. We determine the numbers of real solutions, and we present exact algorithms for recovery. Our approach relies on 150 years of beautiful algebraic geometry, from Clebs… ▽ More We recover plane curves from their branch points under projection onto a line. Our focus lies on cubics and quartics. These have 6 and 12 branch points respectively. The plane Hurwitz numbers 40 and 120 count the orbits of solutions. We determine the numbers of real solutions, and we present exact algorithms for recovery. Our approach relies on 150 years of beautiful algebraic geometry, from Clebsch to Vakil and beyond. △ Less

Submitted 13 April, 2023; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: Section 5 has been revised and expanded. 20 pages

Bayesian Integrals on Toric Varieties

Authors: Michael Borinsky, Anna-Laura Sattelberger, Bernd Sturmfels, Simon Telen

Abstract: We explore the positive geometry of statistical models in the setting of toric varieties. Our focus lies on models for discrete data that are parameterized in terms of Cox coordinates. We develop a geometric theory for computations in Bayesian statistics, such as evaluating marginal likelihood integrals and sampling from posterior distributions. These are based on a tropical sampling method for ev… ▽ More We explore the positive geometry of statistical models in the setting of toric varieties. Our focus lies on models for discrete data that are parameterized in terms of Cox coordinates. We develop a geometric theory for computations in Bayesian statistics, such as evaluating marginal likelihood integrals and sampling from posterior distributions. These are based on a tropical sampling method for evaluating Feynman integrals in physics. We here extend that method from projective spaces to arbitrary toric varieties. △ Less

Submitted 22 March, 2023; v1 submitted 13 April, 2022; originally announced April 2022.

Comments: 26 pages, 3 figures; v2: minor corrections and improvements, version equivalent to the one published in SIAGA

MSC Class: 14M25; 62F15 (primary); 65D30 (secondary)

Journal ref: SIAM Journal on Applied Algebra and Geometry 7 (2023) 77-103

Toric Geometry of Entropic Regularization

Authors: Bernd Sturmfels, Simon Telen, François-Xavier Vialard, Max von Renesse

Abstract: Entropic regularization is a method for large-scale linear programming. Geometrically, one traces intersections of the feasible polytope with scaled toric varieties, starting at the Birch point. We compare this to log-barrier methods, with reciprocal linear spaces, starting at the analytic center. We revisit entropic regularization for unbalanced optimal transport, and we develop the use of optima… ▽ More Entropic regularization is a method for large-scale linear programming. Geometrically, one traces intersections of the feasible polytope with scaled toric varieties, starting at the Birch point. We compare this to log-barrier methods, with reciprocal linear spaces, starting at the analytic center. We revisit entropic regularization for unbalanced optimal transport, and we develop the use of optimal conic couplings. We compute the degree of the associated toric variety, and we explore algorithms like iterative scaling. △ Less

Submitted 10 February, 2023; v1 submitted 3 February, 2022; originally announced February 2022.

Comments: 17 pages

Geometry of Dependency Equilibria

Authors: Irem Portakal, Bernd Sturmfels

Abstract: An $n$-person game is specified by $n$ tensors of the same format. We view its equilibria as points in that tensor space. Dependency equilibria are defined by linear constraints on conditional probabilities, and thus by determinantal quadrics in the tensor entries. These equations cut out the Spohn variety, named after the philosopher who introduced dependency equilibria. The Nash equilibria among… ▽ More An $n$-person game is specified by $n$ tensors of the same format. We view its equilibria as points in that tensor space. Dependency equilibria are defined by linear constraints on conditional probabilities, and thus by determinantal quadrics in the tensor entries. These equations cut out the Spohn variety, named after the philosopher who introduced dependency equilibria. The Nash equilibria among these are the tensors of rank one. We study the real algebraic geometry of the Spohn variety. This variety is rational, except for $2 \times 2$ games, when it is an elliptic curve. For $3 \times 2$ games, it is a del Pezzo surface of degree two. We characterize the payoff regions and their boundaries using oriented matroids, and we develop the connection to Bayesian networks in statistics. △ Less

Submitted 30 May, 2022; v1 submitted 14 January, 2022; originally announced January 2022.

Comments: 20 pages, to appear in Rendiconti dell'Istituto di Matematica dell'Università di Trieste

MSC Class: 14A10; 14Q30; 62R01; 91A06; 91A80

Marginal Independence Models

Authors: Tobias Boege, Sonja Petrović, Bernd Sturmfels

Abstract: We impose rank one constraints on marginalizations of a tensor, given by a simplicial complex. Following work of Kirkup and Sullivant, such marginal independence models can be made toric by a linear change of coordinates. We study their toric ideals, with emphasis on random graph models and independent set polytopes of matroids. We develop the numerical algebra of parameter estimation, using both… ▽ More We impose rank one constraints on marginalizations of a tensor, given by a simplicial complex. Following work of Kirkup and Sullivant, such marginal independence models can be made toric by a linear change of coordinates. We study their toric ideals, with emphasis on random graph models and independent set polytopes of matroids. We develop the numerical algebra of parameter estimation, using both Euclidean distance and maximum likelihood, and we present a comprehensive database of small models. △ Less

Submitted 10 May, 2022; v1 submitted 19 December, 2021; originally announced December 2021.

Comments: Revised to include more details in proof. Prepared for ISSAC '22

MSC Class: 62R01

Making Waves

Authors: Marc Härkönen, Jonas Hirsch, Bernd Sturmfels

Abstract: We study linear PDE constraints for vector-valued functions and distributions. Our focus lies on wave solutions. These give rise to distributions with low-dimensional support. Special waves from vector potentials are represented by syzygies. We parametrize all waves by projective varieties derived from the support of the PDE. These include determinantal varieties and Fano varieties, and they gener… ▽ More We study linear PDE constraints for vector-valued functions and distributions. Our focus lies on wave solutions. These give rise to distributions with low-dimensional support. Special waves from vector potentials are represented by syzygies. We parametrize all waves by projective varieties derived from the support of the PDE. These include determinantal varieties and Fano varieties, and they generalize wave cones in analysis. △ Less

Submitted 27 November, 2021; originally announced November 2021.

Comments: 19 pages

Quantum Correlations in the Minimal Scenario

Authors: Thinh P. Le, Chiara Meroni, Bernd Sturmfels, Reinhard F. Werner, Timo Ziegler

Abstract: In the minimal scenario of quantum correlations, two parties can choose from two observables with two possible outcomes each. Probabilities are specified by four marginals and four correlations. The resulting four-dimensional convex body of correlations, denoted $\mathcal{Q}$, is fundamental for quantum information theory. We review and systematize what is known about $\Qm$, and add many details,… ▽ More In the minimal scenario of quantum correlations, two parties can choose from two observables with two possible outcomes each. Probabilities are specified by four marginals and four correlations. The resulting four-dimensional convex body of correlations, denoted $\mathcal{Q}$, is fundamental for quantum information theory. We review and systematize what is known about $\Qm$, and add many details, visualizations, and complete proofs. In particular, we provide a detailed description of the boundary, which consists of three-dimensional faces isomorphic to elliptopes and sextic algebraic manifolds of exposed extreme points. These patches are separated by cubic surfaces of non-exposed extreme points. We provide a trigonometric parametrization of all extreme points, along with their exposing Tsirelson inequalities and quantum models. All non-classical extreme points (exposed or not) are self-testing, i.e., realized by an essentially unique quantum model. Two principles, which are specific to the minimal scenario, allow a quick and complete overview: The first is the pushout transformation, i.e., the application of the sine function to each coordinate. This transforms the classical correlation polytope exactly into the correlation body $\mathcal{Q}$, also identifying the boundary structures. The second principle, self-duality, is an isomorphism between $\Qm$ and its polar dual, i.e., the set of affine inequalities satisfied by all quantum correlations (``Tsirelson inequalities''). The same isomorphism links the polytope of classical correlations contained in $\Qm$ to the polytope of no-signalling correlations, which contains $\Qm$. We also discuss the sets of correlations achieved with fixed Hilbert space dimension, fixed state or fixed observables, and establish a new non-linear inequality for $\Qm$ involving the determinant of the correlation matrix. △ Less

Submitted 8 March, 2023; v1 submitted 11 November, 2021; originally announced November 2021.

Comments: published version, expanded proofs and corrected typos

Journal ref: Quantum 7, 947 (2023)

Beyond Linear Algebra

Authors: Bernd Sturmfels

Abstract: Our title challenges the reader to venture beyond linear algebra in designing models and in thinking about numerical algorithms for identifying solutions. This article accompanies the author's lecture at the International Congress of Mathematicians 2022. It covers recent advances in the study of critical point equations in optimization and statistics, and it explores the role of nonlinear algebra… ▽ More Our title challenges the reader to venture beyond linear algebra in designing models and in thinking about numerical algorithms for identifying solutions. This article accompanies the author's lecture at the International Congress of Mathematicians 2022. It covers recent advances in the study of critical point equations in optimization and statistics, and it explores the role of nonlinear algebra in the study of linear PDE with constant coefficients. △ Less

Submitted 21 August, 2021; originally announced August 2021.

Comments: 19 pages, 3 figures

Likelihood Degenerations

Authors: Daniele Agostini, Taylor Brysiewicz, Claudia Fevola, Lukas Kühne, Bernd Sturmfels, Simon Telen

Abstract: Computing all critical points of a monomial on a very affine variety is a fundamental task in algebraic statistics, particle physics and other fields. The number of critical points is known as the maximum likelihood (ML) degree. When the variety is smooth, it coincides with the Euler characteristic. We introduce degeneration techniques that are inspired by the soft limits in CEGM theory, and we an… ▽ More Computing all critical points of a monomial on a very affine variety is a fundamental task in algebraic statistics, particle physics and other fields. The number of critical points is known as the maximum likelihood (ML) degree. When the variety is smooth, it coincides with the Euler characteristic. We introduce degeneration techniques that are inspired by the soft limits in CEGM theory, and we answer several questions raised in the physics literature. These pertain to bounded regions in discriminantal arrangements and to moduli spaces of point configurations. We present theory and practise, connecting complex geometry, tropical combinatorics, and numerical nonlinear algebra. △ Less

Submitted 20 December, 2022; v1 submitted 22 July, 2021; originally announced July 2021.

Comments: 33 pages, updated to reflect reviewers' comments and added link to Zenodo to certify numerical results

Orders and Polytropes: Matrix Algebras from Valuations

Authors: Yassine El Maazouz, Marvin Anas Hahn, Gabriele Nebe, Mima Stanojkovski, Bernd Sturmfels

Abstract: We apply tropical geometry to study matrix algebras over a field with valuation. Using the shapes of min-max convexity, known as polytropes, we revisit the graduated orders introduced by Plesken and Zassenhaus. These are classified by the polytrope region. We advance the ideal theory of graduated orders by introducing their ideal class polytropes. This article emphasizes examples and computations.… ▽ More We apply tropical geometry to study matrix algebras over a field with valuation. Using the shapes of min-max convexity, known as polytropes, we revisit the graduated orders introduced by Plesken and Zassenhaus. These are classified by the polytrope region. We advance the ideal theory of graduated orders by introducing their ideal class polytropes. This article emphasizes examples and computations. It offers first steps in the geometric combinatorics of endomorphism rings of configurations in affine buildings. △ Less

Submitted 26 August, 2021; v1 submitted 1 July, 2021; originally announced July 2021.

Comments: 14 pages

Recovery from Power Sums

Authors: Hana Melánová, Bernd Sturmfels, Rosa Winter

Abstract: We study the problem of recovering a collection of $n$ numbers from the evaluation of $m$ power sums. This yields a system of polynomial equations, which can be underconstrained ($m < n$), square ($m = n$), or overconstrained ($m > n$). Fibers and images of power sum maps are explored in all three regimes, and in settings that range from complex and projective to real and positive. This involves s… ▽ More We study the problem of recovering a collection of $n$ numbers from the evaluation of $m$ power sums. This yields a system of polynomial equations, which can be underconstrained ($m < n$), square ($m = n$), or overconstrained ($m > n$). Fibers and images of power sum maps are explored in all three regimes, and in settings that range from complex and projective to real and positive. This involves surprising deviations from the Bézout bound, and the recovery of vectors from length measurements by $p$-norms. △ Less

Submitted 26 June, 2021; originally announced June 2021.

Comments: 15 pages

Linear PDE with Constant Coefficients

Authors: Rida Ait El Manssour, Marc Härkönen, Bernd Sturmfels

Abstract: We discuss practical methods for computing the space of solutions to an arbitrary homogeneous linear system of partial differential equations with constant coefficients. These rest on the Fundamental Principle of Ehrenpreis-Palamodov from the 1960s. We develop this further using recent advances in computational commutative algebra. We discuss practical methods for computing the space of solutions to an arbitrary homogeneous linear system of partial differential equations with constant coefficients. These rest on the Fundamental Principle of Ehrenpreis-Palamodov from the 1960s. We develop this further using recent advances in computational commutative algebra. △ Less

Submitted 12 October, 2021; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 31 pages, 1 figure

MSC Class: 13N10; 14-04; 14Q15; 35G35; 35C15

KP Solitons from Tropical Limits

Authors: Daniele Agostini, Claudia Fevola, Yelena Mandelshtam, Bernd Sturmfels

Abstract: We study solutions to the Kadomtsev-Petviashvili equation whose underlying algebraic curves undergo tropical degenerations. Riemann's theta function becomes a finite exponential sum that is supported on a Delaunay polytope. We introduce the Hirota variety which parametrizes all tau functions arising from such a sum. We compute tau functions from points on the Sato Grassmannian that represent Riema… ▽ More We study solutions to the Kadomtsev-Petviashvili equation whose underlying algebraic curves undergo tropical degenerations. Riemann's theta function becomes a finite exponential sum that is supported on a Delaunay polytope. We introduce the Hirota variety which parametrizes all tau functions arising from such a sum. We compute tau functions from points on the Sato Grassmannian that represent Riemann-Roch spaces and we present an algorithm that finds a soliton solution from a rational nodal curve. △ Less

Submitted 5 May, 2021; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: 21 pages, some edits based on referee comments

MSC Class: 14H70; 35C08; 14H42

Primary Decomposition with Differential Operators

Authors: Yairon Cid-Ruiz, Bernd Sturmfels

Abstract: We introduce differential primary decompositions for ideals in a commutative ring. Ideal membership is characterized by differential conditions. The minimal number of conditions needed is the arithmetic multiplicity. Minimal differential primary decompositions are unique up to change of bases. Our results generalize the construction of Noetherian operators for primary ideals in the analytic theory… ▽ More We introduce differential primary decompositions for ideals in a commutative ring. Ideal membership is characterized by differential conditions. The minimal number of conditions needed is the arithmetic multiplicity. Minimal differential primary decompositions are unique up to change of bases. Our results generalize the construction of Noetherian operators for primary ideals in the analytic theory of Ehrenpreis-Palamodov, and they offer a concise method for representing affine schemes. The case of modules is also addressed. We implemented an algorithm in Macaulay2 that computes the minimal decomposition for an ideal in a polynomial ring. △ Less

Submitted 7 June, 2022; v1 submitted 10 January, 2021; originally announced January 2021.

Comments: to appear in International Mathematics Research Notices

Likelihood Equations and Scattering Amplitudes

Authors: Bernd Sturmfels, Simon Telen

Abstract: We relate scattering amplitudes in particle physics to maximum likelihood estimation for discrete models in algebraic statistics. The scattering potential plays the role of the log-likelihood function, and its critical points are solutions to rational function equations. We study the ML degree of low-rank tensor models in statistics, and we revisit physical theories proposed by Arkani-Hamed, Cacha… ▽ More We relate scattering amplitudes in particle physics to maximum likelihood estimation for discrete models in algebraic statistics. The scattering potential plays the role of the log-likelihood function, and its critical points are solutions to rational function equations. We study the ML degree of low-rank tensor models in statistics, and we revisit physical theories proposed by Arkani-Hamed, Cachazo and their collaborators. Recent advances in numerical algebraic geometry are employed to compute and certify critical points. We also discuss positive models and how to compute their string amplitudes. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: 18 pages

Journal ref: Alg. Stat. 12 (2021) 167-186

Tangent Quadrics in Real 3-Space

Authors: Taylor Brysiewicz, Claudia Fevola, Bernd Sturmfels

Abstract: We examine quadratic surfaces in 3-space that are tangent to nine given figures. These figures can be points, lines, planes or quadrics. The numbers of tangent quadrics were determined by Hermann Schubert in 1879. We study the associated systems of polynomial equations, also in the space of complete quadrics, and we solve them using certified numerical methods. Our aim is to show that Schubert's p… ▽ More We examine quadratic surfaces in 3-space that are tangent to nine given figures. These figures can be points, lines, planes or quadrics. The numbers of tangent quadrics were determined by Hermann Schubert in 1879. We study the associated systems of polynomial equations, also in the space of complete quadrics, and we solve them using certified numerical methods. Our aim is to show that Schubert's problems are fully real. △ Less

Submitted 19 May, 2021; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 13 pages

Jordan Algebras of Symmetric Matrices

Authors: Arthur Bik, Henrik Eisenmann, Bernd Sturmfels

Abstract: We study linear spaces of symmetric matrices whose reciprocal is also a linear space. These are Jordan algebras. We classify such algebras in low dimensions, and we study the associated Jordan loci in the Grassmannian. We study linear spaces of symmetric matrices whose reciprocal is also a linear space. These are Jordan algebras. We classify such algebras in low dimensions, and we study the associated Jordan loci in the Grassmannian. △ Less

Submitted 17 May, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: 16 pages

MSC Class: 17C27; 14M15

Journal ref: Le Matematiche 76 (2021), no 2, pp. 337-353

Pencils of Quadrics: Old and New

Authors: Claudia Fevola, Yelena Mandelshtam, Bernd Sturmfels

Abstract: Two-dimensional linear spaces of symmetric matrices are classified by Segre symbols. After reviewing known facts from linear algebra and projective geometry, we address new questions motivated by algebraic statistics and optimization. We compute the reciprocal curve and the maximum likelihood degrees, and we study strata of pencils in the Grassmannian. Two-dimensional linear spaces of symmetric matrices are classified by Segre symbols. After reviewing known facts from linear algebra and projective geometry, we address new questions motivated by algebraic statistics and optimization. We compute the reciprocal curve and the maximum likelihood degrees, and we study strata of pencils in the Grassmannian. △ Less

Submitted 19 May, 2021; v1 submitted 9 September, 2020; originally announced September 2020.

Comments: 16 pages

Bad Projections of the PSD Cone

Authors: Yuhan Jiang, Bernd Sturmfels

Abstract: The image of the cone of positive semidefinite matrices under a linear map is a convex cone. Pataki characterized the set of linear maps for which that image is not closed. The Zariski closure of this set is a hypersurface in the Grassmannian. Its components are the coisotropic hypersurfaces of symmetric determinantal varieties. We develop the convex algebraic geometry of such bad projections, wit… ▽ More The image of the cone of positive semidefinite matrices under a linear map is a convex cone. Pataki characterized the set of linear maps for which that image is not closed. The Zariski closure of this set is a hypersurface in the Grassmannian. Its components are the coisotropic hypersurfaces of symmetric determinantal varieties. We develop the convex algebraic geometry of such bad projections, with focus on explicit computations. △ Less

Submitted 23 February, 2021; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 18 pages

The Dubrovin threefold of an algebraic curve

Authors: Daniele Agostini, Türkü Özlüm Çelik, Bernd Sturmfels

Abstract: The solutions to the Kadomtsev-Petviashvili equation that arise from a fixed complex algebraic curve are parametrized by a threefold in a weighted projective space, which we name after Boris Dubrovin. Current methods from nonlinear algebra are applied to study parametrizations and defining ideals of Dubrovin threefolds. We highlight the dichotomy between transcendental representations and exact al… ▽ More The solutions to the Kadomtsev-Petviashvili equation that arise from a fixed complex algebraic curve are parametrized by a threefold in a weighted projective space, which we name after Boris Dubrovin. Current methods from nonlinear algebra are applied to study parametrizations and defining ideals of Dubrovin threefolds. We highlight the dichotomy between transcendental representations and exact algebraic computations. Our main result on the algebraic side is a toric degeneration of the Dubrovin threefold into the product of the underlying canonical curve and a weighted projective plane. △ Less

Submitted 17 May, 2020; originally announced May 2020.

Comments: 28 pages

Wasserstein Distance to Independence Models

Authors: Türkü Özlüm Çelik, Asgar Jamneshan, Guido Montúfar, Bernd Sturmfels, Lorenzo Venturello

Abstract: An independence model for discrete random variables is a Segre-Veronese variety in a probability simplex. Any metric on the set of joint states of the random variables induces a Wasserstein metric on the probability simplex. The unit ball of this polyhedral norm is dual to the Lipschitz polytope. Given any data distribution, we seek to minimize its Wasserstein distance to a fixed independence mode… ▽ More An independence model for discrete random variables is a Segre-Veronese variety in a probability simplex. Any metric on the set of joint states of the random variables induces a Wasserstein metric on the probability simplex. The unit ball of this polyhedral norm is dual to the Lipschitz polytope. Given any data distribution, we seek to minimize its Wasserstein distance to a fixed independence model. The solution to this optimization problem is a piecewise algebraic function of the data. We compute this function explicitly in small instances, we examine its combinatorial structure and algebraic degrees in the general case, and we present some experimental case studies. △ Less

Submitted 15 October, 2020; v1 submitted 14 March, 2020; originally announced March 2020.

MSC Class: Polynomial Optimization; Algebraic Statistics; Computational Algebraic Geometry

Theta surfaces

Authors: Daniele Agostini, Türkü Özlüm Çelik, Julia Struwe, Bernd Sturmfels

Abstract: A theta surface in affine 3-space is the zero set of a Riemann theta function in genus 3. This includes surfaces arising from special plane quartics that are singular or reducible. Lie and Poincaré showed that theta surfaces are precisely the surfaces of double translation, i.e. obtained as the Minkowski sum of two space curves in two different ways. These curves are parametrized by abelian integr… ▽ More A theta surface in affine 3-space is the zero set of a Riemann theta function in genus 3. This includes surfaces arising from special plane quartics that are singular or reducible. Lie and Poincaré showed that theta surfaces are precisely the surfaces of double translation, i.e. obtained as the Minkowski sum of two space curves in two different ways. These curves are parametrized by abelian integrals, so they are usually not algebraic. This paper offers a new view on this classical topic through the lens of computation. We present practical tools for passing between quartic curves and their theta surfaces, and we develop the numerical algebraic geometry of degenerations of theta functions. △ Less

Submitted 6 June, 2020; v1 submitted 30 January, 2020; originally announced January 2020.

Comments: 28 pages, 8 figures. v2: exposition improved, new references added, better numerical experiments. To appear in Vietnam J. Math. for Jürgen Jost's 65th birthday

MSC Class: 14K20; 14K25; 14T05; 14Q99; 01A55

Primary ideals and their differential equations

Authors: Yairon Cid-Ruiz, Roser Homs, Bernd Sturmfels

Abstract: An ideal in a polynomial ring encodes a system of linear partial differential equations with constant coefficients. Primary decomposition organizes the solutions to the PDE. This paper develops a novel structure theory for primary ideals in a polynomial ring. We characterize primary ideals in terms of PDE, punctual Hilbert schemes, relative Weyl algebras, and the join construction. Solving the PDE… ▽ More An ideal in a polynomial ring encodes a system of linear partial differential equations with constant coefficients. Primary decomposition organizes the solutions to the PDE. This paper develops a novel structure theory for primary ideals in a polynomial ring. We characterize primary ideals in terms of PDE, punctual Hilbert schemes, relative Weyl algebras, and the join construction. Solving the PDE described by a primary ideal amounts to computing Noetherian operators in the sense of Ehrenpreis and Palamodov. We develop new algorithms for this task, and we present efficient implementations. △ Less

Submitted 19 November, 2020; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: 32 pages. To appear in Foundations of Computational Mathematics

Twenty-Seven Questions about the Cubic Surface

Authors: Kristian Ranestad, Bernd Sturmfels

Abstract: We present a collection of research questions on cubic surfaces in 3-space. These questions inspired a collection of papers to be published in a special issue of the journal Le Matematiche. This article serves as the introduction to that issue. The number of questions is meant to match the number of lines on a cubic surface. We end with a list of problems that are open. We present a collection of research questions on cubic surfaces in 3-space. These questions inspired a collection of papers to be published in a special issue of the journal Le Matematiche. This article serves as the introduction to that issue. The number of questions is meant to match the number of lines on a cubic surface. We end with a list of problems that are open. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: 13 pages

Algebraic Analysis of Rotation Data

Authors: Michael F. Adamer, András C. Lőrincz, Anna-Laura Sattelberger, Bernd Sturmfels

Abstract: We develop algebraic tools for statistical inference from samples of rotation matrices. This rests on the theory of D-modules in algebraic analysis. Noncommutative Gröbner bases are used to design numerical algorithms for maximum likelihood estimation, building on the holonomic gradient method of Sei, Shibata, Takemura, Ohara, and Takayama. We study the Fisher model for sampling from rotation matr… ▽ More We develop algebraic tools for statistical inference from samples of rotation matrices. This rests on the theory of D-modules in algebraic analysis. Noncommutative Gröbner bases are used to design numerical algorithms for maximum likelihood estimation, building on the holonomic gradient method of Sei, Shibata, Takemura, Ohara, and Takayama. We study the Fisher model for sampling from rotation matrices, and we apply our algorithms for data from the applied sciences. On the theoretical side, we generalize the underlying equivariant D-modules from SO(3) to arbitrary Lie groups. For compact groups, our D-ideals encode the normalizing constant of the Fisher model. △ Less

Submitted 1 December, 2019; originally announced December 2019.

Comments: 21 pages

Journal ref: Alg. Stat. 11 (2020) 189-211

D-Modules and Holonomic Functions

Authors: Anna-Laura Sattelberger, Bernd Sturmfels

Abstract: In algebraic geometry, one studies the solutions to polynomial equations, or, equivalently, to linear partial differential equations with constant coefficients. These lecture notes address the more general case when the coefficients are polynomials. The letter D stands for the Weyl algebra, and a D-module is a left module over D. We focus on left ideals, or D-ideals. We represent holonomic functio… ▽ More In algebraic geometry, one studies the solutions to polynomial equations, or, equivalently, to linear partial differential equations with constant coefficients. These lecture notes address the more general case when the coefficients are polynomials. The letter D stands for the Weyl algebra, and a D-module is a left module over D. We focus on left ideals, or D-ideals. We represent holonomic functions in several variables by the linear differential equations they satisfy. This encoding by a D-ideal is useful for many problems, e.g., in geometry, physics and statistics. We explain how to work with holonomic functions. Applications include volume computations and likelihood inference. △ Less

Submitted 17 December, 2019; v1 submitted 3 October, 2019; originally announced October 2019.

Comments: 36 pages; smaller corrections and improvements; adapted to the stylefile of the proceedings of the Thematic Einstein Semester on Algebraic Geometry; hints and solutions for solving the problems added

Optimal Transport to a Variety

Authors: T. Ö. Çelik, A. Jamneshan, G. Montúfar, B. Sturmfels, L. Venturello

Abstract: We study the problem of minimizing the Wasserstein distance between a probability distribution and an algebraic variety. We consider the setting of finite state spaces and describe the solution depending on the choice of the ground metric and the given distribution. The Wasserstein distance between the distribution and the variety is the minimum of a linear functional over a union of transportatio… ▽ More We study the problem of minimizing the Wasserstein distance between a probability distribution and an algebraic variety. We consider the setting of finite state spaces and describe the solution depending on the choice of the ground metric and the given distribution. The Wasserstein distance between the distribution and the variety is the minimum of a linear functional over a union of transportation polytopes. We obtain a description in terms of the solutions of a finite number of systems of polynomial equations. The case analysis is based on the ground metric. A detailed analysis is given for the two bit independence model. △ Less

Submitted 14 January, 2020; v1 submitted 25 September, 2019; originally announced September 2019.

Comments: 17 pages, 5 figures and 2 tables; v2: minor modifications following referee reports, corrected minor computational mistakes, improved presentation and added further explanations

MSC Class: Optimization Control; Metric Geometry; Statistics Theory

Journal ref: MACIS 2019

Estimating linear covariance models with numerical nonlinear algebra

Authors: Bernd Sturmfels, Sascha Timme, Piotr Zwiernik

Abstract: Numerical nonlinear algebra is applied to maximum likelihood estimation for Gaussian models defined by linear constraints on the covariance matrix. We examine the generic case as well as special models (e.g. Toeplitz, sparse, trees) that are of interest in statistics. We study the maximum likelihood degree and its dual analogue, and we introduce a new software package LinearCovarianceModels.jl for… ▽ More Numerical nonlinear algebra is applied to maximum likelihood estimation for Gaussian models defined by linear constraints on the covariance matrix. We examine the generic case as well as special models (e.g. Toeplitz, sparse, trees) that are of interest in statistics. We study the maximum likelihood degree and its dual analogue, and we introduce a new software package LinearCovarianceModels.jl for solving the score equations. All local maxima can thus be computed reliably. In addition we identify several scenarios for which the estimator is a rational function. △ Less

Submitted 2 September, 2019; originally announced September 2019.

Comments: 23 pages, 2 figures, 5 tables

Journal ref: Alg. Stat. 11 (2020) 31-52

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

Positivity Certificates via Integral Representations

Authors: Khazhgali Kozhasov, Mateusz Michałek, Bernd Sturmfels

Abstract: Complete monotonicity is a strong positivity property for real-valued functions on convex cones. It is certified by the kernel of the inverse Laplace transform. We study this for negative powers of hyperbolic polynomials. Here the certificate is the Riesz kernel in Garding's integral representation. The Riesz kernel is a hypergeometric function in the coefficients of the given polynomial. For mono… ▽ More Complete monotonicity is a strong positivity property for real-valued functions on convex cones. It is certified by the kernel of the inverse Laplace transform. We study this for negative powers of hyperbolic polynomials. Here the certificate is the Riesz kernel in Garding's integral representation. The Riesz kernel is a hypergeometric function in the coefficients of the given polynomial. For monomials in linear forms, it is a Gel'fand-Aomoto hypergeometric function, related to volumes of polytopes. We establish complete monotonicity for sufficiently negative powers of elementary symmetric functions. We also show that small negative powers of these polynomials are not completely monotone, proving one direction of a conjecture by Scott and Sokal. △ Less

Submitted 12 August, 2019; originally announced August 2019.

Comments: 22 pages

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

Discrete Statistical Models with Rational Maximum Likelihood Estimator

Authors: Eliana Duarte, Orlando Marigliano, Bernd Sturmfels

Abstract: A discrete statistical model is a subset of a probability simplex. Its maximum likelihood estimator (MLE) is a retraction from that simplex onto the model. We characterize all models for which this retraction is a rational function. This is a contribution via real algebraic geometry which rests on results due to Huh and Kapranov on Horn uniformization. We present an algorithm for constructing mode… ▽ More A discrete statistical model is a subset of a probability simplex. Its maximum likelihood estimator (MLE) is a retraction from that simplex onto the model. We characterize all models for which this retraction is a rational function. This is a contribution via real algebraic geometry which rests on results due to Huh and Kapranov on Horn uniformization. We present an algorithm for constructing models with rational MLE, and we demonstrate it on a range of instances. Our focus lies on models familiar to statisticians, like Bayesian networks, decomposable graphical models, and staged trees. △ Less

Submitted 15 June, 2020; v1 submitted 14 March, 2019; originally announced March 2019.

Comments: Accepted to Bernoulli

Brownian motion tree models are toric

Authors: Bernd Sturmfels, Caroline Uhler, Piotr Zwiernik

Abstract: Felsenstein's classical model for Gaussian distributions on a phylogenetic tree is shown to be a toric variety in the space of concentration matrices. We present an exact semialgebraic characterization of this model, and we demonstrate how the toric structure leads to exact methods for maximum likelihood estimation. Our results also give new insights into the geometry of ultrametric matrices. Felsenstein's classical model for Gaussian distributions on a phylogenetic tree is shown to be a toric variety in the space of concentration matrices. We present an exact semialgebraic characterization of this model, and we demonstrate how the toric structure leads to exact methods for maximum likelihood estimation. Our results also give new insights into the geometry of ultrametric matrices. △ Less

Submitted 26 February, 2019; originally announced February 2019.

Comments: 22 pages, 4 figures

3264 Conics in a Second

Authors: Paul Breiding, Bernd Sturmfels, Sascha Timme

Abstract: Enumerative algebraic geometry counts the solutions to certain geometric constraints. Numerical algebraic geometry determines these solutions for any given instance. This article illustrates how these two fields complement each other. Our focus lies on the 3264 conics that are tangent to five given conics in the plane. We present a web interface for computing them. It uses the software HomotopyCon… ▽ More Enumerative algebraic geometry counts the solutions to certain geometric constraints. Numerical algebraic geometry determines these solutions for any given instance. This article illustrates how these two fields complement each other. Our focus lies on the 3264 conics that are tangent to five given conics in the plane. We present a web interface for computing them. It uses the software HomotopyContinuation.jl, which makes this process fast and reliable. We discuss an instance where all 3264 solutions are real. △ Less

Submitted 5 September, 2019; v1 submitted 14 February, 2019; originally announced February 2019.