arXiv++ Combinatorics

Set-valued standard Young tableaux are a generalization of standard Young tableaux due to Buch (2002) with applications in algebraic geometry. The enumeration of set-valued SYT is significantly more complicated than in the ordinary case, although product formulas are known in certain special cases. In this work we study the case of two-rowed set-valued SYT with a fixed number of entries. These tableaux are a new combinatorial model for the Catalan, Narayana, and Kreweras numbers, and can be shown to be in correspondence with both 321-avoiding permutations and a certain class of bicolored Motzkin paths. We also introduce a generalization of the set-valued comajor index studied by Hopkins, Lazar, and Linusson (2023), and use this statistic to find seemingly new q-analogs of the Catalan and Narayana numbers.

We study scattering equations of hyperplane arrangements from the perspective of combinatorial commutative algebra and numerical algebraic geometry. We formulate the problem as linear equations on a reciprocal linear space and develop a degeneration-based homotopy algorithm for solving them. We investigate the Hilbert regularity of the corresponding homogeneous ideal and apply our methods to CHY scattering equations.

One of the most common and effective methods of obtaining structural information on simplicial complexes is to use tools from algebraic geometry/commutative algebra (often motivated by properties of toric varieties). However, there is no general algebro-geometric description of components of the gamma vector holding for arbitary flag simplicial spheres. This invariant occurs in many different contexts including permutation statistics, signatures of toric varieties, and Euler characteristics of nonpositively curved piecewise Euclidean manifolds. Combinatorial methods resulting from an explicit inverted Chebyshev expansion give rise to new positivity properties and cell complex structures that are of interest in their own right. Note that the focus is on the $f$-vector rather than the $h$-vector in ``algebraic'' settings. For flag simplicial spheres $Δ$, the fact that $h(Δ) = f(Γ)$ and compatibility between Chebyshev expansions and a modification of the $f$-polynomial by work of Hetyei are the key inputs. In the main formula implying new positivity results, local structures of $CAT(0)$ complexes and cubical analogues of barycentric subdivisions give deeper connections with cubical complex structures complementing earlier work related to the top gamma vector component. Afterwards, we return to the motivating example of barycentric subdivisions and consider how $f$-vectors of Cohen--Macaulay and vertex decomposable flag complexes in geometric settings decompose and interact with geometric transformations. This includes subdivisions of simplicial complexes and recursive properties they share with vertex decomposable flag complexes.

The critical group of a connected graph is closely related to the graph Laplacian, and is of high research value in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. In this paper, we study the k-partite graphs and introduce an algorithm to get the structure of their critical groups by calculating the Smith normal forms of their graph Laplacians. When k is from 2 to 6, we characterize the structure of the critical groups completely, which can generalize the results of the complete bipartite graphs.

We use spectral theory and algebraic geometry to establish a higher-degree analogue of a Szemerédi--Trotter-type theorem over finite fields, with an application to polynomial expansion.

In recent times, a wide variety of combinatorics has been introduced in order to solve problems from algebraic geometry. Newton-Okounkov bodies and tropical geometry are two such combinatorial theories. As shown by Kaveh and Manon, there is a certain correspondence between these two. Building on this correspondence, and exploiting the link of both theories to toric degenerations, Harada and Escobar obtained their wall-crossing result for prime cones. This result states that moving between two adjacent prime maximal cones in a tropical variety corresponds to a mutation between the associated Newton-Okounkov bodies of these cones. In this thesis, we provide a method for applying the wall-crossing result to non-prime cones. Our approach uses a procedure developed by Bossinger, Lamboglia, Mincheva and Mohammadi in order to compute an embedding which changes a tropical variety in such a way that a non-prime cone becomes prime. Assuming that adjacent cones stay adjacent, the wall-crossing result can then be applied in this new embedding. Building on computations by Clarke, Mohammadi and Zaffalon, we show that for Gr(3,6), this approach works. We compute the new embedding and its tropicalization in this case, and study the relation between cones in the new embedding and the original embedding.

This article addresses a combinatorial problem with applications to algebraic geometry. To a convex lattice polytope $P$ and each of its integer dilations $kP$ one may associate the barycenter of its lattice points. This sequence of $k$-quantized barycenters converge to the (classical) barycenter of the polytope considered as a convex body. A basic question arises: is there a complete asymptotic expansion for this sequence? If so, what are its terms? This article initiates the study of this question. First, we establish the existence of such an expansion as well as determine the first two terms. Second, for Delzant lattice polytopes we use toric algebra to determine all terms using mixed volumes of virtual rooftop polytopes, or alternatively in terms of higher Donaldson--Futaki invariants. Third, for reflexive polytopes we show the quantized barycenters are colinear to first order, and actually colinear in the case of polygons. The proofs use Ehrhart theory, convexity arguments, and toric algebra. As applications we derive the complete asymptotic expansion of the Fujita--Odaka stability thresholds $δ_k$ on arbitrary polarizations on (possibly singular) toric varieties. In fact, we show they are rational functions of $k$ for sufficiently large $k$. This gives the first general result on Tian's stabilization problem for $δ_k$-invariants for (possibly singular) toric Fanos: $δ_k$ stabilize in $k$ if and only if they are all equal to $1$, and when smooth if and only if asymptotically Chow semistable. We also relate the asymptotic expansions to higher Donaldson--Futaki invariants of test configurations motivated by Ehrhart theory, and unify in passing previous results of Donaldson, Ono, Futaki, and Rubinstein--Tian--Zhang.

The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to special mappings of plane to projective spaces of higher dimensions. In this work, viewed as a signed graph, first we present a number of equivalent definitions each of which leads to a different development. In particular, the new notion of common product of signed graphs is introduced which captures both Cartesian and tensor products of graphs. We then have a look at some of their homomorphism properties. We first introduce an inverse technique for the basic no-homomorphism lemma, using which we show that every signed projective cube is of circular chromatic number 4. Then observing that the 4-color theorem is about mapping planar graphs into signed projective cube of dimension 2, we study some conjectures in extension of 4CT. Toward a better understanding of these conjectures we present the notion of extended double cover as a key operation in formulating the conjectures. With a deeper look into connection between some of these graphs and algebraic geometry, we discover that projective cube of dimension 4, widely known as the Clebsh graph, but also known as Greenwood-Gleason graph, is the intersection graph of the 16 straight lines of an algebraic surface known as Segre surface, which is a Del Pezzo surface of degree 4. We note that an algebraic surface known as the Clebsch surface is one of the most symmetric presentations of a cubic surface. Recall that each smooth cubic surface contains 27 lines. Hence, from hereafter, we believe, a proper name for this graph should be Segre graph.

Every simple finite graph $G$ has an associated Lovász-Saks-Schrijver ring $R_G(d)$ that is related to the $d$-dimensional orthogonal representations of $G$. The study of $R_G(d)$ lies at the intersection between algebraic geometry, commutative algebra and combinatorics. We find a link between algebraic properties such as normality, factoriality and strong $F$-regularity of $R_G(d)$ and combinatorial invariants of the graph $G$. In particular we prove that if $d \geq \text{pmd}(G)+k(G)$ then $R_G(d)$ is $F$-regular in finite characteristic and rational singularity in characteristic $0$ and furthermore if $d \geq \text{pmd}(G)+k(G)+1$ then $R_G(d)$ is UFD. Here $\text{pmd}(G)$ is the positive matching decomposition number of $G$ and $k(G)$ is its degeneracy number.

Orthogonal arrays are a type of combinatorial design that were developed in the 1940s in the design of statistical experiments. In 1947, Rao proved a lower bound on the size of any orthogonal array, and raised the problem of constructing arrays of minimum size. Kuperberg, Lovett and Peled (2017) gave a non-constructive existence proof of orthogonal arrays whose size is near-optimal (i.e., within a polynomial of Rao's lower bound), leaving open the question of an algorithmic construction. We give the first explicit, deterministic, algorithmic construction of orthogonal arrays achieving near-optimal size for all parameters. Our construction uses algebraic geometry codes. In pseudorandomness, the notions of $t$-independent generators or $t$-independent hash functions are equivalent to orthogonal arrays. Classical constructions of $t$-independent hash functions are known when the size of the codomain is a prime power, but very few constructions are known for an arbitrary codomain. Our construction yields algorithmically efficient $t$-independent hash functions for arbitrary domain and codomain.

The Schubert problem asks for combinatorial models to compute structure constants of the cohomology ring with respect to Schubert classes and has been an important open problem in algebraic geometry and combinatorics that guided fruitful research for decades. In this paper, we provide an explicit formula for the (equivariant) Schubert structure constants $c_{uv}^w$ across all Lie types when the elements $u,v,w$ are boolean. In particular, in type $A$, all Schubert structure constants on boolean elements are either $0$ or $1$.

We prove that the proper amalgam of matroids $M_1$ and $M_2$ along their common restriction $N$ exists if and only if the tropical fibre product of Bergman fans ${B(M_1) \times_{B(N)} B(M_2)}$ is positive. We introduce tropical correspondences between Bergman fans as tropical subcycles in their product, similar to correspondences in algebraic geometry, and define a "graph correspondence" of the map of lattices. We prove that graph construction is a functor for the "covering" maps of lattices, exploiting a generalization of Bergman fan which we call a "Flag fan".

Curve singularities are classical objects of study in algebraic geometry. The key player in their combinatorial structure is the {\it value semigroup}, or its compactification, the {\it value semiring}. One natural problem is to explicitly determine the value semirings of distinguished infinite classes of singularities, with a view to understanding their asymptotic properties. In this paper, we establish a matroidal framework for resolving this problem for singularities determined by arrangements of toric branches; and we obtain precise quantitative results in the case of line arrangements. Our results have implications for the topology of Severi varieties of unisingular rational curves in projective space.

For any positive integer $q\geq 2$ and any real number $δ\in(0,1)$, let $α_q(n,δn)$ denote the maximum size of a subset of $\mathbb{Z}_q^n$ with minimum Hamming distance at least $δn$, where $\mathbb{Z}_q=\{0,1,\dotsc,q-1\}$ and $n\in\mathbb{N}$. The asymptotic rate function is defined by $ R_q(δ) = \limsup_{n\rightarrow\infty}\frac{1}{n}\log_qα_q(n,δn).$ The famous $q$-ary asymptotic Gilbert-Varshamov bound, obtained in the 1950s, states that \[ R_q(δ) \geq 1 - δ\log_q(q-1)-δ\log_q\frac{1}δ-(1-δ)\log_q\frac{1}{1-δ} \stackrel{\mathrm{def}}{=}R_\mathrm{GV}(δ,q) \] for all positive integers $q\geq 2$ and $0<δ<1-q^{-1}$. In the case that $q$ is an even power of a prime with $q\geq 49$, the $q$-ary Gilbert-Varshamov bound was firstly improved by using algebraic geometry codes in the works of Tsfasman, Vladut, and Zink and of Ihara in the 1980s. These algebraic geometry codes have been modified to improve the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(δ,q)$ at a specific tangent point $δ=δ_0\in (0,1)$ of the curve $R_\mathrm{GV}(δ,q)$ for each given integer $q\geq 46$. However, the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(δ,q)$ at $δ=1/2$, i.e., $R_\mathrm{GV}(1/2,q)$, remains the largest known lower bound of $R_q(1/2)$ for infinitely many positive integers $q$ which is a generic prime and which is a generic non-prime-power integer. In this paper, by using codes from geometry of numbers introduced by Lenstra in the 1980s, we prove that the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(δ,q)$ with $δ\in(0,1)$ can be improved for all but finitely many positive integers $q$. It is shown that the growth defined by $η(δ)= \liminf_{q\rightarrow\infty}\frac{1}{\log q}\log[1-δ-R_q(δ)]^{-1}$ for every $δ\in(0,1)$ has actually a nontrivial lower bound.

Two formulas for the classical number $C_n$ of lines on a generic hypersurface of degree $2n-3$ in $\mathbb{CP}^n$ are obtained which differ from the formulas by Dominici, Harris, Libgober, and van der Waerden-Zagier. We review the splitting principle computation by Harris obtaining a similar general closed-form formula in terms of the Catalan numbers and elementary symmetric polynomials. This in turn yields $C_n$ as a linear difference recursion relation of unbounded order. Thus, for the sequence of certain linear combinations of $C_n$, a simple generating function is found. Then, a result from random algebraic geometry by Basu, Lerario, Lundberg, and Peterson, that expresses these classical enumerative invariants as proportional to the Bombieri norm of particular polynomial determinants, yields another combinatorial expansion in terms of certain set compositions and block labeling counting. As an example, we compute this combinatorial interpretation for the cases of 27 lines on a cubic surface and 2875 lines on a quintic threefold. As an application, we reobtain the parity and asymptotic upper bound of the sequence. In an appendix, we generalize the splitting principle calculation to obtain a formula for the number of lines on a generic complete intersection.

Let $\mathbb{F}_q$ be the finite field of $q$ elements, for a given subset $D\subset \mathbb{F}_q$, $m\in \mathbb{N}$, an integer $k\leq |D|$ and $\boldsymbol{b}\in \mathbb{F}_q^m$ we are interested in determining the existence of a subset $S\subset D$ of cardinality $k$ such that $\sum_{a\in S}a^i=b_i$ for $i=1,\ldots, m$. This problem is known as the moment subset sum problem and it is $NP$-complete for a general $D$. We make a novel approach of this problem trough algebraic geometry tools analyzing the underlying variety and employing combinatorial techniques to estimate the number of $\mathbb{F}_q$-rational points on certain varieties. We managed to give estimates on the number of $\mathbb{F}_q$-rational points on certain diagonal equations and use this results to give estimations and existence results for the subset sum problem.

Let $F(t),G(t)\in \mathbb{Q}(t)$ be rational functions such that $F(t),G(t)$ and the constant function $1$ are linearly independent over $\mathbb{Q}$, we prove an asymptotic formula for the number of the three term rational function progressions of the form $x,x+F(y),x+G(y)$ in subsets of $\mathbb{F}_p$. The main new ingredient is an algebraic geometry version of PET induction that bypasses Weyl's differencing. This answers a question of Bourgain and Chang.

As in algebraic geometry, an effective divisor class on a vertex-weighted graph is called special if also its residual class is effective. We study the question, when this is true already on the level of divisors; that is, when there exists an effective divisor in the class whose residual is effective as well, so called uniform divisors. We show that uniform divisors exist in any special class on graphs with all vertex weights non-zero; we show that in general a representative can be chosen, whose value is off by at most one on vertices of weight zero. To prove this, we generalize the notion of divisors that are reduced with respect to a vertex to divisors that are reduced with respect to a set of vertices. We compare this notion to a previous generalization due to Luo. As an application, we obtain a new algorithm to determine whether a divisor class is effective.

OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Here, we present parts of the module handeling matroids in OSCAR, which will appear as a chapter of the upcoming OSCAR book. A matroid is a fundamental and actively studied object in combinatorics. Matroids generalize linear dependency in vector spaces as well as many aspects of graph theory. Moreover, matroids form a cornerstone of tropical geometry and a deep link between algebraic geometry and combinatorics. Our focus lies in particular on computing the realization space and the Chow ring of a matroid.

We introduce a new class of matroids, called graph curve matroids. A graph curve matroid is associated to a graph and defined on the vertices of the graph as a ground set. We prove that these matroids provide a combinatorial description of hyperplane sections of degenerate canonical curves in algebraic geometry. Our focus lies on graphs that are 2-connected and trivalent, which define identically self-dual graph curve matroids, but we also develop generalizations. Finally, we provide an algorithm to compute the graph curve matroid associated to a given graph, as well as an implementation and data of examples that can be used in Macaulay2.