Searcharxiv⌕ Search

arXiv subjects

Abraham Martín del Campo

Publications and source records attributed to Abraham Martín del Campo.

3 recordsLinked to original sources

The Euler-Betti Algorithm to identify foliations in Hilbert Scheme

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.

math.AG↗

Numerical Schubert Calculus in Macaulay2

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.

math.AG↗

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

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.

math.ST↗