Related papers: The Ideal Generation Problem for Fat Points

Let $(S, \mathfrak n) $ be a regular local ring and let $I \subseteq \mathfrak n^2 $ be a perfect ideal of $S. $ Sharp upper bounds on the minimal number of generators of $I$ are known in terms of the Hilbert function of $R=S/I. $ Starting…

Given a number $q$, we construct a monomial ideal $I$ with the property that the function which describes the number of generators of $I^k$ has at least $q$ local maxima.

The rank of a finite semigroup is the smallest number of elements required to generate the semigroup. A formula is given for the rank of an arbitrary (non necessarily regular) Rees matrix semigroup over a group. The formula is expressed in…

Assume $R$ is a polynomial ring over a field and $I$ is a homogeneous Gorenstein ideal of codimension $g\ge3$ and initial degree $p\ge2$. We prove that the number of minimal generators $\nu(I_p)$ of $I$ that are in degree $p$ is bounded…

Motivated by the fact that as the number of generators of an ideal grows so does the complexity of calculating relations among the generators, this paper identifies collections of monomial ideals with a growing number of generators which…

We investigate the defining ideal of a set of points X in multi-projective space with a special emphasis on the case that X is in generic position, that is, X has the maximal Hilbert function. When X is in generic position, we determine the…

We classify the minimal number of generators of artinian equigenerated monomial ideals $I$ such that $\Bbbk[x_1,\ldots,x_n]/I$ is forced to have the weak Lefschetz property.

Let $R = k[x_1, \dotsc , x_n]$ denote the standard graded polynomial ring over a field $k$. We study certain classes of equigenerated monomial ideals with the property that the so-called complementary ideal has no linear relations on the…

Let $R$ be a Noetherian local ring and $m$ a positive integer. Let $I$ be the ideal of $R$ generated by the maximal minors of an $m \times (m + 1)$ matrix $M$ with entries in $R$. Assuming that the grade of the ideal generated by the…

Maximum likelihood estimation of energy-based models is a challenging problem due to the intractability of the log-likelihood gradient. In this work, we propose learning both the energy function and an amortized approximate sampling…

In this paper, we investigate three problems concerning the toric ideal associated to a matroid. Firstly, we list all matroids $\mathcal M$ such that its corresponding toric ideal $I_{\mathcal M}$ is a complete intersection. Secondly, we…

When $I$ is the radical homogeneous ideal of a finite set of points in projective $N$-space, ${\bf P}^N$, over a field $K$, it has been conjectured that $I^{(rN-N+1)}$ should be contained in $I^r$ for all $r\geq 1$. Recent counterexamples…

Let $I$ be a homogeneous ideal of $\Bbbk[x_0,\ldots,x_n]$. To compare $I^{(m)}$, the $m$-th symbolic power of $I$, with $I^m$, the regular $m$-th power, we introduce the $m$-th symbolic defect of $I$, denoted $\operatorname{sdefect}(I,m)$.…

Let $n \ge 2$ be an integer and consider the defining ideal of the Fermat configuration of points in $\mathbb{P}^2$: $I_n=(x(y^n-z^n),y(z^n-x^n),z(x^n-y^n)) \subset R=\mathbb{C}[x,y,z]$. In this paper, we compute explicitly the least degree…

This note aims at finding explicit and efficient generation of ideals in subalgebras $R$ of the polynomial ring $S=k[t]$ ($k$ a field) such that $t^{c_0}S \subseteq R$ for some integer $c_0 > 0$. The class of these subalgebras which we call…

In many machine learning applications, we are faced with incomplete datasets. In the literature, missing data imputation techniques have been mostly concerned with filling missing values. However, the existence of missing values is…

B. Harbourne and C. Huneke conjectured that for any ideal $I$ of fat points in $P^N$ its $r$-th symbolic power $I^{(r)}$ should be contained in $M^{(N-1)r}I^r$, where $M$ denotes the homogeneous maximal ideal in the ring of coordinates of…

Our results concern minimal graded free resolutions of fat point ideals for points in a hyperplane. Suppose, for example, that I(m,d) is the ideal defining r given points of multiplicity m in the projective space P^d. Assume that the given…

Let $\phi$ be a psh function on a bounded pseudoconvex open set $\Omega \subset \C^n$, and let ${\cal I}(\phi)$ be the associated multiplier ideal sheaf. Motivated by resolution of singularities issues, we establish an effective version of…

We study ideal-simple commutative semirings and summarize the results giving their classification, in particular when they are finitely generated. In the principal case of (para)semifields, we then consider their minimal number of…