arXiv++ Combinatorics

Applying machine learning techniques to solving long-standing mathematical conjectures can be particularly challenging due to their extreme reward sparsity. As an illustrative example, we consider Kalai's algebraic Hirsch conjecture and recast the construction of its counterexamples as a sparse-reward reinforcement learning problem on graphs. We propose a constrained options-based HRL framework with an equivariant graph neural network policy, which allows us to learn useful temporal abstractions for this task. We evaluate our approach over a wide range of degrees and demonstrate that it consistently outperforms classical RL algorithms as well as greedy search. By exploiting the hierarchical structure of the problem, we effectively provide a first-of-its-kind application of HRL to a problem in commutative algebra.

Piecewise quasipolynomial growth of Presburger counting functions combines with tame persistent homology module theory to conclude piecewise quasipolynomial behavior of constructible families of finely graded modules over constructible commutative semigroup rings. Functorial preservation of constructibility for families under local cohomology, $\operatorname{Tor}$, and $\operatorname{Ext}$ yield piecewise quasipolynomial, quasilinear, or quasiconstant growth statements for length of local cohomology, $a$-invariants, regularity, depth; length of $\operatorname{Tor}$ and Betti numbers; length of $\operatorname{Ext}$ and Bass numbers; associated primes via $v$-invariants; and extended degrees, including the usual degree, Hilbert-Samuel multiplicity, arithmetic degree, and homological degree.

Let $I,J$ be componentwise linear ideals in a polynomial ring $S$. We study necessary and sufficient conditions for $I+J$ to be componentwise linear. We provide a complete characterization when $\dim S=2$. As a consequence, any componentwise linear monomial ideal in $k[x,y]$ has linear quotients using generators in non-decreasing degrees. In any dimension, we show that under mild compatibility conditions, one can build a componentwise linear ideal from a given collection of componentwise linear monomial ideals using only sum and product with square-free monomials. We provide numerous examples to demonstrate the optimality of our results.

Suppose that each proper subset of a set $S$ of points in a vector space is contained in the union of planes of specified dimensions, but $S$ itself is not contained in any such union. How large can $|S|$ be? We prove a general upper bound on $|S|$, which is tight in some cases, for example when all of the planes have the same dimension. We produce an example showing that this upper bound does not hold for point sets whose proper subsets are covered by lines in $(\mathbb{Z}/p^k\mathbb{Z})^2$ with $k\geq 2$, and prove an upper bound in this case. We also investigate the analogous problem for general matroids.

We prove that for a finite set of points $X$ in the projective $n$-space over any field, the Betti number $β_{n,n+1}$ of the coordinate ring of $X$ is non-zero if and only if $X$ lies on the union of two planes whose sum of dimension is less than $n$. Our proof is direct and short, and the inductive step rests on a combinatorial statement that works over matroids.

We study monomial ideals with linear presentation or partially linear resolution. We give combinatorial characterizations of linear presentation for square-free ideals of degree 3, and for primary ideals whose resolutions are linear except for the last step (the "almost linear" case). We also give sharp bounds on Castelnuovo-Mumford regularity and numbers of generators in some cases. It is a basic observation that linearity properties are inherited by the restriction of an ideal to a subset of variables, and we study when the converse holds. We construct fractal examples of almost linear primary ideals with relatively few generators related to the Sierpiński triangle. Our results also lead to classes of highly connected simplicial complexes $Δ$ that can not be extended to the complete $\dim Δ$-skeleton of the simplex on the same variables by shelling.

Let $Δ$ be an (abstract) simplicial complex on $n$ vertices. One can define the Artinian monomial algebra $A(Δ) = \Bbbk[x_1, \ldots, x_n]/ \langle x_1^2, \ldots, x_n^2, I_Δ \rangle$, where $\Bbbk$ is a field of characteristic $0$ and $I_Δ$ is the Stanley-Reisner ideal associated to $Δ$. In this paper, we aim to characterize the Weak Lefschetz Property (WLP) of $A(Δ)$ in terms of the simplicial complex $Δ$. We are able to completely analyze when WLP holds in degree $1$, complementing work by Migliore, Nagel and Schenck in [MNS2020]. We give a complete characterization of all $2$-dimensional pseudomanifolds $Δ$ such that $A(Δ)$ satisfies WLP. We also construct Artinian Gorenstein algebras that fail WLP by combining our results and the standard technique of Nagata idealization.

We define and study the notion of a minimal Cohen-Macaulay simplicial complex. We prove that any Cohen-Macaulay complex is shelled over a minimal one in our sense, and we give sufficient conditions for a complex to be minimal Cohen-Macaulay. We show that many interesting examples of Cohen-Macaulay complexes in combinatorics are minimal, including Rudin's ball, Ziegler's ball, the dunce hat, and recently discovered non-partitionable Cohen-Macaulay complexes. We further provide various ways to construct such complexes.

We study ideal-theoretic conditions for a monomial ideal to be Golod. For ideals in a polynomial ring in three variables, our criteria give a complete characterization. Over such rings, we show that the product of two monomial ideals is Golod.

We investigate generalized notions of the nerve complex for the facets of a simplicial complex. We show that the homologies of these higher nerve complexes determine the depth of the Stanley-Reisner ring $k[Δ]$ as well as the $f$-vector and $h$-vector of $Δ$. We present, as an application, a formula for computing regularity of monomial ideals.

Fix a field $k$. When $Δ$ is a simplicial complex on $n$ vertices with Stanley-Reisner ideal $I_Δ$, we define and study an invariant called the $\textit{type defect}$ of $Δ$. Except when $Δ$ is of a single simplex, the type defect of $Δ$, $\textrm{td}(Δ)$, is the difference $ \dim_k \textrm{Tor}_c^S(S/ I_Δ,k) - c$, where $c$ is the codimension of $Δ$ and $S = k[x_1, \ldots x_n]$. We show that this invariant admits surprisingly nice properties. For example, it is well-behaved when one glues two complexes together along a face. Furthermore, $Δ$ is Cohen-Macaulay if $\textrm{td}(Δ) \leq 0$. On the other hand, if $Δ$ is a simple graph (viewed as a one-dimensional complex), then $\textrm{td}(Δ') \geq 0$ for every induced subgraph $Δ'$ of $Δ$ if and only if $Δ$ is chordal. Requiring connected induced subgraphs to have type defect zero allows us to define a class of graphs that we call $\textit{treeish}$, and which we generalize to simplicial complexes. We then extend some of our chordality results to higher dimensions, proving sharp lower bounds for most Betti numbers of ideals with linear resolution, and classifying when equalities occur. As an application, we prove sharp lower bounds for Betti numbers of graded ideals (not necessarily monomial) with linear resolution.

We construct several pairwise-incomparable bounds on the projective dimensions of edge ideals. Our bounds use combinatorial properties of the associated graphs; in particular we draw heavily from the topic of dominating sets. Through Hochster's Formula, these bounds recover and strengthen existing results on the homological connectivity of graph independence complexes.

In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.