Showing 1–19 of 19 results for author: Del Campo, A M

The Euler-Betti Algorithm to identify foliations in Hilbert Scheme

Authors: P. Rubí Pantaleón-Mondragón, Abraham Martín del Campo

Abstract: Foliations in the complex projective plane are uniquely determined by their singular locus, which is in correspondence with a zero-dimensional ideal. However, this correspondence is not surjective. We give conditions to determine whether an ideal arises as the singular locus of a foliation or not. Furthermore, we give an effective method to construct the foliation in the positive case. Foliations in the complex projective plane are uniquely determined by their singular locus, which is in correspondence with a zero-dimensional ideal. However, this correspondence is not surjective. We give conditions to determine whether an ideal arises as the singular locus of a foliation or not. Furthermore, we give an effective method to construct the foliation in the positive case. △ Less

Submitted 30 March, 2023; originally announced March 2023.

Monodromy of the families of del Pezzo and $K3$ surfaces branching over smooth quartic curves

Authors: Adán Medrano Martín del Campo

Abstract: Two families of surfaces arise from considering cyclic branched covers of $\mathbb{P}^{2}$ over smooth quartic curves. These consist of degree 2 del Pezzo surfaces with a $\mathbb{Z}/2\mathbb{Z}$ action and $K3$ surfaces with a $\mathbb{Z}/4\mathbb{Z}$ action. We compute the monodromy groups of both families. In the first case, we obtain the Weyl group $W\left(E_{7}\right)$, corresponding to the a… ▽ More Two families of surfaces arise from considering cyclic branched covers of $\mathbb{P}^{2}$ over smooth quartic curves. These consist of degree 2 del Pezzo surfaces with a $\mathbb{Z}/2\mathbb{Z}$ action and $K3$ surfaces with a $\mathbb{Z}/4\mathbb{Z}$ action. We compute the monodromy groups of both families. In the first case, we obtain the Weyl group $W\left(E_{7}\right)$, corresponding to the automorphisms of the $56$ lines contained in a degree $2$ del Pezzo surface. In the second case we obtain an arithmetic lattice: the unitary group $U\left(h_{L_{-}}\right)$ of a type $\left(1, 6\right)$ quadratic form over $\mathbb{Z}\left[i\right]$ by building on results of Kondo and Allcock, Carlson, Toledo. △ Less

Submitted 13 February, 2022; v1 submitted 29 December, 2021; originally announced December 2021.

Comments: 16 pages

MSC Class: 14D05; 14J28

Numerical Schubert Calculus in Macaulay2

Authors: Anton Leykin, Abraham Martín del Campo, Frank Sottile, Ravi Vakil, Jan Verschelde

Abstract: The Macaulay2 package NumericalSchubertCalculus provides methods for the numerical computation of Schubert problems on Grassmannians. It implements both the Pieri homotopy algorithm and the Littlewood-Richardson homotopy algorithm. Each algorithm has two independent implementations in this package. One is in the scripting language of Macaulay2 using the package NumericalAlgebraicGeometry, and the… ▽ More The Macaulay2 package NumericalSchubertCalculus provides methods for the numerical computation of Schubert problems on Grassmannians. It implements both the Pieri homotopy algorithm and the Littlewood-Richardson homotopy algorithm. Each algorithm has two independent implementations in this package. One is in the scripting language of Macaulay2 using the package NumericalAlgebraicGeometry, and the other is in the compiled code of PHCpack. △ Less

Submitted 10 May, 2021; originally announced May 2021.

Comments: 9 pages, 1 figure, included in Macaulay2 version 1.18

MSC Class: 14N15; 65H10

Combinatorial and computational investigations of Neighbor-Joining bias

Authors: Ruth Davidson, Abraham Martin del Campo

Abstract: The Neighbor-Joining algorithm is a popular distance-based phylogenetic method that computes a tree metric from a dissimilarity map arising from biological data. Realizing dissimilarity maps as points in Euclidean space, the algorithm partitions the input space into polyhedral regions indexed by the combinatorial type of the trees returned. A full combinatorial description of these regions has not… ▽ More The Neighbor-Joining algorithm is a popular distance-based phylogenetic method that computes a tree metric from a dissimilarity map arising from biological data. Realizing dissimilarity maps as points in Euclidean space, the algorithm partitions the input space into polyhedral regions indexed by the combinatorial type of the trees returned. A full combinatorial description of these regions has not been found yet; different sequences of Neighbor-Joining agglomeration events can produce the same combinatorial tree, therefore associating multiple geometric regions to the same algorithmic output. We resolve this confusion by defining agglomeration orders on trees, leading to a bijection between distinct regions of the output space and weighted Motzkin paths. As a result, we give a formula for the number of polyhedral regions depending only on the number of taxa. We conclude with a computational comparison between these polyhedral regions, to unveil biases introduced in any implementation of the algorithm. △ Less

Submitted 16 September, 2020; v1 submitted 18 July, 2020; originally announced July 2020.

Comments: 18 pages, 11 figures

MSC Class: 92D15; 52B05

Monodromy of the family of cubic surfaces branching over smooth cubic curves

Authors: Adán Medrano Martín del Campo

Abstract: Consider the family of smooth cubic surfaces which can be realized as threefold-branched covers of $\mathbb{P}^{2}$, with branch locus equal to a smooth cubic curve. This family is parametrized by the space $\mathcal{U}_{3}$ of smooth cubic curves in $\mathbb{P}^{2}$ and each surface is equipped with a $\mathbb{Z}/3\mathbb{Z}$ deck group action. We compute the image of the monodromy map $ρ$ indu… ▽ More Consider the family of smooth cubic surfaces which can be realized as threefold-branched covers of $\mathbb{P}^{2}$, with branch locus equal to a smooth cubic curve. This family is parametrized by the space $\mathcal{U}_{3}$ of smooth cubic curves in $\mathbb{P}^{2}$ and each surface is equipped with a $\mathbb{Z}/3\mathbb{Z}$ deck group action. We compute the image of the monodromy map $ρ$ induced by the action of $π_{1}\left(\mathcal{U}_{3}\right)$ on the $27$ lines contained on the cubic surfaces of this family. Due to a classical result, this image is contained in the Weyl group $W\left(E_{6}\right)$. Our main result is that $ρ$ is surjective onto the centralizer of the image a of a generator of the deck group. Our proof is mainly computational, and relies on the relation between the $9$ inflection points in a cubic curve and the $27$ lines contained in the cubic surface branching over it. △ Less

Submitted 13 May, 2021; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: Final version, to appear in Annales de l'Institut Fourier. Link to computation repository included. 17 pages, 6 figures

Classification of Schubert Galois groups in Gr(4,9)

Authors: Abraham Martin del Campo, Frank Sottile, Robert Williams

Abstract: We classify Schubert problems in the Grassmannian of 4-planes in 9-dimensional space by their Galois groups. Of the 31,806 essential Schubert problems in this Grassmannian, there are only 149 whose Galois group does not contain the alternating group. We identify the Galois groups of these 149 -- each is an imprimitive permutation group. These 149 fall into two families according to their geometry.… ▽ More We classify Schubert problems in the Grassmannian of 4-planes in 9-dimensional space by their Galois groups. Of the 31,806 essential Schubert problems in this Grassmannian, there are only 149 whose Galois group does not contain the alternating group. We identify the Galois groups of these 149 -- each is an imprimitive permutation group. These 149 fall into two families according to their geometry. This study suggests a possible classification of Schubert problems whose Galois group is not the full symmetric group, and it begins to establish the inverse Galois problem for Schubert calculus. △ Less

Submitted 3 December, 2022; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 38 pages, Arnold Mathematical Journal, to appear

MSC Class: 14N15; 12F10; 12F12

Numerical Schubert Calculus via the Littlewood-Richardson Homotopy Algorithm

Authors: Anton Leykin, Abraham Martin del Campo, Frank Sottile, Ravi Vakil, Jan Verschelde

Abstract: We develop the Littlewood-Richardson homotopy algorithm, which uses numerical continuation to compute solutions to Schubert problems on Grassmannians and is based on the geometric Littlewood-Richardson rule. One key ingredient of this algorithm is our new optimal formulation of Schubert problems in local Stiefel coordinates as systems of equations. Our implementation can solve problem instances wi… ▽ More We develop the Littlewood-Richardson homotopy algorithm, which uses numerical continuation to compute solutions to Schubert problems on Grassmannians and is based on the geometric Littlewood-Richardson rule. One key ingredient of this algorithm is our new optimal formulation of Schubert problems in local Stiefel coordinates as systems of equations. Our implementation can solve problem instances with tens of thousands of solutions. △ Less

Submitted 3 July, 2020; v1 submitted 3 February, 2018; originally announced February 2018.

Comments: 27 pages, many figures

MSC Class: 14N15; 65H10

Tropical Embeddings of Metric Graphs

Authors: Adan Medrano Martin del Campo, Sylvain Carpentier

Abstract: Every graph $Γ$ can be embedded in the plane with a minimal number of edge intersections, called its classical crossing number $\text{cross}\left(Γ\right)$. In this paper, we prove that if $Γ$ is a metric graph it can be realized as a tropical curve in the plane with exactly $\text{cross}\left(Γ\right)$ crossings, where the tropical curve is equipped with the lattice length metric. Our result has… ▽ More Every graph $Γ$ can be embedded in the plane with a minimal number of edge intersections, called its classical crossing number $\text{cross}\left(Γ\right)$. In this paper, we prove that if $Γ$ is a metric graph it can be realized as a tropical curve in the plane with exactly $\text{cross}\left(Γ\right)$ crossings, where the tropical curve is equipped with the lattice length metric. Our result has an application in algebraic geometry, as it enables us to construct a rational map of non-Archimedean curves into the projective plane, whose tropicalization is almost faithful when restricted to their skeleton. △ Less

Submitted 21 April, 2016; originally announced April 2016.

Comments: 14 pages

Critical points via monodromy and local methods

Authors: Abraham Martin del Campo, Jose Israel Rodriguez

Abstract: In many areas of applied mathematics and statistics, it is a fundamental problem to find the best representative of a model by optimizing an objective function. This can be done by determining critical points of the objective function restricted to the model. We compile ideas arising from numerical algebraic geometry to compute the critical points of an objective function. Our method consists of… ▽ More In many areas of applied mathematics and statistics, it is a fundamental problem to find the best representative of a model by optimizing an objective function. This can be done by determining critical points of the objective function restricted to the model. We compile ideas arising from numerical algebraic geometry to compute the critical points of an objective function. Our method consists of using numerical homotopy continuation and a monodromy action on the total critical space to compute all of the complex critical points of an objective function. To illustrate the relevance of our method, we apply it to the Euclidean distance function to compute ED-degrees and the likelihood function to compute maximum likelihood degrees. △ Less

Submitted 5 March, 2015; originally announced March 2015.

Comments: 14 pages

MSC Class: 13P25

Exact goodness-of-fit testing for the Ising model

Authors: Abraham Martin del Campo, Sarah Cepeda, Caroline Uhler

Abstract: The Ising model is one of the simplest and most famous models of interacting systems. It was originally proposed to model ferromagnetic interactions in statistical physics and is now widely used to model spatial processes in many areas such as ecology, sociology, and genetics, usually without testing its goodness of fit. Here, we propose various test statistics and an exact goodness-of-fit test fo… ▽ More The Ising model is one of the simplest and most famous models of interacting systems. It was originally proposed to model ferromagnetic interactions in statistical physics and is now widely used to model spatial processes in many areas such as ecology, sociology, and genetics, usually without testing its goodness of fit. Here, we propose various test statistics and an exact goodness-of-fit test for the finite-lattice Ising model. The theory of Markov bases has been developed in algebraic statistics for exact goodness-of-fit testing using a Monte Carlo approach. However, finding a Markov basis is often computationally intractable. Thus, we develop a Monte Carlo method for exact goodness-of-fit testing for the Ising model which avoids computing a Markov basis and also leads to a better connectivity of the Markov chain and hence to a faster convergence. We show how this method can be applied to analyze the spatial organization of receptors on the cell membrane. △ Less

Submitted 10 February, 2016; v1 submitted 5 October, 2014; originally announced October 2014.

Comments: 20 pages

MSC Class: 62M02; 82B20; 78M31

Experimentation in the Schubert Calculus

Authors: Abraham Martin del Campo, Frank Sottile

Abstract: Many aspects of Schubert calculus are easily modeled on a computer. This enables large-scale experimentation to investigate subtle and ill-understood phenomena in the Schubert calculus. A well-known web of conjectures and results in the real Schubert calculus has been inspired by this continuing experimentation. A similarly rich story concerning intrinsic structure, or Galois groups, of Schubert p… ▽ More Many aspects of Schubert calculus are easily modeled on a computer. This enables large-scale experimentation to investigate subtle and ill-understood phenomena in the Schubert calculus. A well-known web of conjectures and results in the real Schubert calculus has been inspired by this continuing experimentation. A similarly rich story concerning intrinsic structure, or Galois groups, of Schubert problems is also beginning to emerge from experimentation. This showcases new possibilities for the use of computers in mathematical research. △ Less

Submitted 14 August, 2013; originally announced August 2013.

Comments: 30 pages. Based on Sottile's talks at 2012 MSJ-SI on Schubert Calculus

MSC Class: 14N15; 14P99

Galois groups of Schubert problems of lines are at least alternating

Authors: Christopher J. Brooks, Abraham Martin del Campo, Frank Sottile

Abstract: We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. This constitutes the largest family of enumerative problems whose Galois groups have been largely determined. Using a criterion of Vakil and a special position argument due to Schubert, our result follows from a particular inequality among Kostka numbers of two-rowed tableaux.… ▽ More We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. This constitutes the largest family of enumerative problems whose Galois groups have been largely determined. Using a criterion of Vakil and a special position argument due to Schubert, our result follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, a combinatorial injection proves the inequality. For the remaining cases, we use the Weyl integral formula to obtain an integral formula for these Kostka numbers. This rewrites the inequality as an integral, which we estimate to establish the inequality. △ Less

Submitted 14 May, 2013; v1 submitted 18 July, 2012; originally announced July 2012.

Comments: 25 pages

Report number: Mittag-Leffler-2011spring MSC Class: 14N15; 05E15

An inequality of Kostka numbers and Galois groups of Schubert problems

Authors: Christopher J. Brooks, Abraham Martin del Campo, Frank Sottile

Abstract: We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. Using a criterion of Vakil and a special position argument due to Schubert, this follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, an easy combinatorial injection proves the inequality. For the remaining cases, we use that these Kos… ▽ More We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. Using a criterion of Vakil and a special position argument due to Schubert, this follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, an easy combinatorial injection proves the inequality. For the remaining cases, we use that these Kostka numbers appear in tensor product decompositions of sl_2(C)-modules. Interpreting the tensor product as the action of certain commuting Toeplitz matrices and using a spectral analysis and Fourier series rewrites the inequality as the positivity of an integral. We establish the inequality by estimating this integral. △ Less

Submitted 27 May, 2012; originally announced May 2012.

Comments: Extended abstract for FPSAC 2012

MSC Class: 05E15; 14N15

Markov degree of the three-state toric homogeneous Markov chain model

Authors: David Haws, Abraham Martín del Campo, Akimichi Takemura, Ruriko Yoshida

Abstract: We consider the three-state toric homogeneous Markov chain model (THMC) without loops and initial parameters. At time $T$, the size of the design matrix is $6 \times 3\cdot 2^{T-1}$ and the convex hull of its columns is the model polytope. We study the behavior of this polytope for $T\geq 3$ and we show that it is defined by 24 facets for all $T\ge 5$. Moreover, we give a complete description of t… ▽ More We consider the three-state toric homogeneous Markov chain model (THMC) without loops and initial parameters. At time $T$, the size of the design matrix is $6 \times 3\cdot 2^{T-1}$ and the convex hull of its columns is the model polytope. We study the behavior of this polytope for $T\geq 3$ and we show that it is defined by 24 facets for all $T\ge 5$. Moreover, we give a complete description of these facets. From this, we deduce that the toric ideal associated with the design matrix is generated by binomials of degree at most 6. Our proof is based on a result due to Sturmfels, who gave a bound on the degree of the generators of a toric ideal, provided the normality of the corresponding toric variety. In our setting, we established the normality of the toric variety associated to the THMC model by studying the geometric properties of the model polytope. △ Less

Submitted 17 September, 2013; v1 submitted 13 April, 2012; originally announced April 2012.

Comments: 26 pages, 1 figure

Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals

Authors: Christopher J. Hillar, Abraham Martin del Campo

Abstract: We study chains of lattice ideals that are invariant under a symmetric group action. In our setting, the ambient rings for these ideals are polynomial rings which are increasing in (Krull) dimension. Thus, these chains will fail to stabilize in the traditional commutative algebra sense. However, we prove a theorem which says that "up to the action of the group", these chains locally stabilize. We… ▽ More We study chains of lattice ideals that are invariant under a symmetric group action. In our setting, the ambient rings for these ideals are polynomial rings which are increasing in (Krull) dimension. Thus, these chains will fail to stabilize in the traditional commutative algebra sense. However, we prove a theorem which says that "up to the action of the group", these chains locally stabilize. We also give an algorithm, which we have implemented in software, for explicitly constructing these stabilization generators for a family of Laurent toric ideals involved in applications to algebraic statistics. We close with several open problems and conjectures arising from our theoretical and computational investigations. △ Less

Submitted 25 June, 2012; v1 submitted 4 October, 2011; originally announced October 2011.

Comments: to appear in the Journal of Symbolic Computation

MSC Class: 13E05; 13E15; 13P99; 20B30; 06A07

The monotone secant conjecture in the real Schubert calculus

Authors: Nickolas Hein, Christopher J. Hillar, Abraham Martin del Campo, Frank Sottile, Zach Teitler

Abstract: The monotone secant conjecture posits a rich class of polynomial systems, all of whose solutions are real. These systems come from the Schubert calculus on flag manifolds, and the monotone secant conjecture is a compelling generalization of the Shapiro conjecture for Grassmannians (Theorem of Mukhin, Tarasov, and Varchenko). We present some theoretical evidence for this conjecture, as well as comp… ▽ More The monotone secant conjecture posits a rich class of polynomial systems, all of whose solutions are real. These systems come from the Schubert calculus on flag manifolds, and the monotone secant conjecture is a compelling generalization of the Shapiro conjecture for Grassmannians (Theorem of Mukhin, Tarasov, and Varchenko). We present some theoretical evidence for this conjecture, as well as computational evidence obtained by 1.9 teraHertz-years of computing, and we discuss some of the phenomena we observed in our data. △ Less

Submitted 18 October, 2014; v1 submitted 15 September, 2011; originally announced September 2011.

Comments: Final paper version of 2011 abstract for MEGA

MSC Class: 14M15; 14P99

Degree Bounds for a Minimal Markov Basis for the Three-State Toric Homogeneous Markov Chain Model

Authors: David Haws, Abraham Martin Del Campo, Ruriko Yoshida

Abstract: We study the three state toric homogeneous Markov chain model and three special cases of it, namely: (i) when the initial state parameters are constant, (ii) without self-loops, and (iii) when both cases are satisfied at the same time. Using as a key tool a directed multigraph associated to the model, the state-graph, we give a bound on the number of vertices of the polytope associated to the mode… ▽ More We study the three state toric homogeneous Markov chain model and three special cases of it, namely: (i) when the initial state parameters are constant, (ii) without self-loops, and (iii) when both cases are satisfied at the same time. Using as a key tool a directed multigraph associated to the model, the state-graph, we give a bound on the number of vertices of the polytope associated to the model which does not depend on the time. Based on our computations, we also conjecture the stabilization of the f-vector of the polytope, analyze the normality of the semigroup, give conjectural bounds on the degree of the Markov bases. △ Less

Submitted 3 August, 2011; v1 submitted 2 August, 2011; originally announced August 2011.

MSC Class: 05cxx; 60J10; 52B20

The Secant Conjecture in the real Schubert calculus

Authors: Luis Garcia-Puente, Nickolas Hein, Christopher J. Hillar, Abraham Martin del Campo, James Ruffo, Frank Sottile, Zach Teitler

Abstract: We formulate the Secant Conjecture, which is a generalization of the Shapiro Conjecture for Grassmannians. It asserts that an intersection of Schubert varieties in a Grassmannian is transverse with all points real, if the flags defining the Schubert varieties are secant along disjoint intervals of a rational normal curve. We present theoretical evidence for it as well as computational evidence obt… ▽ More We formulate the Secant Conjecture, which is a generalization of the Shapiro Conjecture for Grassmannians. It asserts that an intersection of Schubert varieties in a Grassmannian is transverse with all points real, if the flags defining the Schubert varieties are secant along disjoint intervals of a rational normal curve. We present theoretical evidence for it as well as computational evidence obtained in over one terahertz-year of computing, and we discuss some phenomena we observed in our data. △ Less

Submitted 24 January, 2012; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: 19 pages

MSC Class: 14M25; 14P99

Experimentation at the Frontiers of Reality in Schubert Calculus

Authors: Christopher Hillar, Luis Garcia-Puente, Abraham Martin del Campo, James Ruffo, Zach Teitler, Stephen L. Johnson, Frank Sottile

Abstract: We describe a general framework for large-scale computational experiments in mathematics using computer resources that are available in most mathematics departments. This framework was developed for an experiment that is helping to formulate and test conjectures in the real Schubert calculus. Largely using machines in instructional computer labs during off-hours and University breaks, it consume… ▽ More We describe a general framework for large-scale computational experiments in mathematics using computer resources that are available in most mathematics departments. This framework was developed for an experiment that is helping to formulate and test conjectures in the real Schubert calculus. Largely using machines in instructional computer labs during off-hours and University breaks, it consumed in excess of 350 GigaHertz-years of computing in its first six months of operation, solving over 1.1 billion polynomial systems. △ Less

Submitted 20 November, 2009; v1 submitted 13 June, 2009; originally announced June 2009.

Comments: 16 pages, 4 .eps figures

MSC Class: 14M15; 14P99