math.CO ↗ arXiv
7121 papers in this category
Maximizing the number of cliques in $K_{r+1}$-free graphs with forbidden properties
Ferrero and Lesniak in 2018 found the maximum numbers of edges in $r$-partite non-Hamiltonian graphs. Recently we found the maximum numbers of edges and $t$-cliques in $K_{r+1}$-free graphs (1) that are not Hamiltonian or (2) that satisfy a condition on low-degree vertices related to Pósa's theorem. Applying theorem (2), here we extend theorem (1) from Hamiltonicity to other properties. We determine the maximum numbers of edges and $t$-cliques in $K_{r+1}$-free graphs that avoid one of the following properties: traceability, Hamiltonian-connectedness, $k$-path Hamiltonicity, $k$-Hamiltonicity, $k$-Hamiltonian-connectedness, and $k$-connectedness. We find all extremal graphs having the maximum numbers of edges. On the way, we prove upper bounds on the numbers of edges and $t$-cliques in $K_{r+1}$-free graphs that avoid an arbitrary stable property that holds for sufficiently large complete graphs.
On the Euler transform and the floor function
Let $(a_n)_{n\geq 0}$ be a sequence of numbers. We derive an expression for the Euler transform of a general binomial sum involving $a_n$ and weighted by the floor function. To demonstrate the usefulness of our approach, several examples are discussed. We rediscover some known identities and prove several new. In particular, we derive some new identities for weighted binomial sums involving harmonic numbers and central binomial coefficients. We also present new closed-forms for weighted series involving the Riemann zeta function.
On Smooth Combinatorial Products of Simplices
We show that every lattice weak Minkowski summand of a smooth polytope combinatorially isomorphic to a product of simplices has a quadratic triangulation. This is achieved by identifying this class of polytopes with the class of Nakajima polytopes. We combine these results to give a new proof that two lattice weak Minkowski summands of the same such smooth polytope are relatively IDP. Along the way, we prove a structure theorem for simple polytopes whose 2-faces are triangles and trapezoids.
Characterization of tree-child networks in terms of mu vectors
We characterize tree-child phylogenetic networks in terms of their mu-representations. First, we give a structural characterization of tree-child networks by means of ordered tree-path decompositions. We then translate this decomposition into a set of purely vectorial conditions on finite subsets M in N^n. We prove that such a set M is the mu-representation of a tree-child phylogenetic network if and only if it is tree-child mu-compatible. This provides a feasibility criterion for tree-child mu-representations which can be used as a basis for reconstruction and further algorithmic applications. Note that this paper presents results arising from ongoing research on tree-child networks and that the results will be further developed and placed into proper context in subsequent versions.
A geometric realization of socle-projective categories for posets of type $\mathbb{D}$
We introduce posets of type $\mathbb{D}$, a family of posets described by an admissible Dynkin quiver of type $D_n$ together with a compatible set of extra arrows (alien arrows), and show that their socle-projective representation category is of finite representation type. Continuing, in the same spirit, a program initiated for posets of type $\mathbb{A}$ [R. Schiffler, R-J. Serna, A geometric realization of socle-projective categories for posets of type $\mathbb{A}$, J. Pure Appl. Algebra 224 (2020), no. 12, 106436], we build on an existing geometric model for cluster-tilted algebras of type $D_n$, whose geometric combinatorics is more intricate than that of type $\mathbb{A}$. Our main result establishes a $\Bbbk$-linear categorical equivalence $Θ$ between a full subcategory $(\mathcal C/T)_F$ of the arc category of a punctured $(n+3)$-gon, whose objects are certain $sp$-arcs, and the category of finitely generated socle-projective $\Bbbk\mathscr{P}$-modules, for $\mathscr{P}$ a poset of type $\mathbb{D}$. As a consequence, when the set of alien arrows is empty, we conclude that the cluster subalgebra generated by the $sp$-arcs coincides with the full cluster algebra.
Moulds, Bimoulds, and some Lie algebras
The Lie algebra of multiple zeta values is realized as the space $\operatorname{ARI}^{\operatorname{pol}}_{\underline{al}\ast \underline{il}}$ of alternal moulds whose swap is alternil up to a constant mould, equipped with the $ari$ bracket. In this paper, we study the larger space $\operatorname{BARI}_{\underline{il},swap}^{\operatorname{pol}}$ of alternil, swap-invariant bimoulds, which is conjecturally the Lie algebra for multiple $q$-zeta values. We propose an explicit formula for a Lie bracket $uri$ on this space. Moreover, we prove that the Lie algebra $\operatorname{ARI}^{\operatorname{pol}}_{\underline{al}\ast \underline{il}}$ embeds into $\operatorname{BARI}_{\underline{il},swap}^{\operatorname{pol}}$, with the $ari$ bracket translating directly into the $uri$ bracket. Finally, we examine the associated-depth graded of $\operatorname{BARI}_{\underline{il},swap}^{\operatorname{pol}}$, extending the known depth-graded setup for $\operatorname{ARI}_{\underline{al}\ast \underline{il}}^{\operatorname{pol}}$.
Abstract regular polytopes of $G_2(q)$ in even characteristic
For every even prime power $q>2$, we explicitly construct a rank five string C-group representation of the Chevalley simple group $G_2(q)$ using its natural seven-dimensional matrix representation. We also give a census for the string C-group representations of $G_2(q)$ of ranks four and above for every prime power $3 \le q \le 11$; providing computational evidence that rank five string C-group representations of $G_2(q)$ are rare and that this construction is exceptional among the currently known examples.
Extremal subtrees of critical beta-splitting trees
We determine the most and least likely shapes for an instance of the critical beta-splitting tree via a connection to data compression and Huffman's minimum redundancy codes. This allows us to answer combinatorial questions about the distribution of clades posed by Aldous and Janson, stated as problem 7 in arXiv:2303.02529.
Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties
Skew-symmetric matrix Schubert varieties are determinantal varieties obtained by intersecting matrix Schubert varieties with the space of skew-symmetric matrices. They are closely related to the orbit closures of the symplectic group action on the flag variety, and their torus-equivariant K-classes are the symplectic Grothendieck polynomials. We compute the Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties by giving a combinatorial formula for the degree of symplectic Grothendieck polynomials. In addition, we characterize the highest-degree homogeneous component of a symplectic Grothendieck polynomial and compute the maximal Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties.
Magic positivity of Snapper polynomials for matroids
In 1959, Snapper showed that the Euler characteristic of the tensor powers of a line bundle on a normal projective scheme is a polynomial, later named the \emph{Snapper polynomial}. Positivity of coefficients of Snapper polynomials implies various notions of positivity of line bundles, which we study through the lens of magic positivity and real-rootedness. We introduce zonotopal classes in the Grothendieck $K$-ring of vector bundles of the toric variety for any loopless matroid, and prove that their Snapper polynomials are magic positive. Our proof realizes such a Snapper polynomial as a weighted independence polynomial of the Dilworth truncation along certain lines of the matroid. As a consequence, their coefficients are positive, and their $h^{\ast}$-polynomials are real-rooted. In the realizable case, this polynomial is the multigraded Hilbert polynomial of the wonderful variety embedded in a product of projective lines.
We introduce analogous line bundles on the Deligne--Mumford--Knudsen moduli space $\overline{\mathcal M}_{0,n}$ and prove that their Snapper polynomials are magic positive. For cotangent line bundles whose first Chern classes are distinct $ψ$-classes, which are not zonotopal, we nonetheless prove that their $h^{\ast}$-polynomials are real-rooted, whereas their Snapper polynomials are magic positive if and only if $n\leqslant7$. More generally, we introduce saturated and weakly saturated $K$-classes of matroids, which furnish a sufficient and a necessary condition for magic positivity of Snapper polynomials in terms of their dragon Hall--Rado polymatroids.
The structure of almost symmetric almost complete intersection numerical semigroups
We prove a structure theorem for numerical semigroups H that are almost symmetric and almost complete intersections. Specifically, we show that a row-factorization (RF) matrix of H must possess a highly regular structure, which we call a cascade matrix. Consequently, the defining ideal I_H of the associated semigroup ring k[H] also exhibits a highly regular structure, derived from this cascade matrix. Moreover, both the RF-matrix and the binomial minimal generating set of I_H are unique. Conversely, we show that this structure completely characterizes almost symmetric almost complete intersection numerical semigroups: to every cascade matrix M we associate a monoid H and, whenever this is a numerical semigroup, we prove that it is pseudo-symmetric, almost complete intersection, and has M as RF-matrix.
As a consequence of our study, we obtain several additional key results.
1) A rigidity theorem: if an almost complete intersection semigroup is almost symmetric, then it is forced to have odd embedding dimension and to be pseudo-symmetric. This result can be regarded as the ``next step'' after Kunz's theorem, which states that an almost complete intersection semigroup is never symmetric.
2) Cascade polynomials: for each odd positive integer e, we construct a multivariate squarefree polynomial P_e with integer coefficients, arising from a cascade matrix of variables. We provide an enumerative interpretation of its coefficients, thereby proving their non-negativity.
3) Herzog--Watanabe question: en route to proving the main theorem, we prove that every minimal relation of an arbitrary numerical semigroup H can be obtained by subtracting two rows in some RF-matrix of H, affirmatively answering a 2019 question by Herzog and Watanabe.
Equilibrium Numbers in Non-Square Bimatrix Games
Bimatrix games may have an exponential number of mixed Nash equilibria if both dimensions of the game are allowed to grow. Bounds on their maximal number give structural insights that have been used to construct hard-to-solve games. We show new sharp or asymptotically sharp bounds on the (polynomial) number of equilibria for generic games where one dimension of the game is fixed and the number of strategies of the other player grows. These results go beyond the hitherto studied square games. Our methods employ combinatorial properties of polytopes, and recent obstructions that relate to the graph of those polytopes. For $n\ge5$, we construct $3\times n$ games that have all $2n+1$ vertices of the best-response polytope as equilibrium strategies, proved using a simple case of the 4-color theorem for planar graphs. Generic $4\times 5$ games are shown to have at most 17 equilibria, using computer calculations with existing datasets for all combinatorial types of the relevant polytopes. For $d\times n$ games, we construct games where all but a fraction of $O(1/n)$ of the maximum number of vertices are equilibrium strategies.
Complete Reductions and Idempotent Representations for $RΠΣ^*$-towers
$RΠΣ^*$-extensions form a rich class of difference rings that provide a unified algebraic framework for modeling indefinite nested sums, transcendental products, and nested products over roots of unity structures that frequently appear in combinatorics, number theory, and particle physics. For a large subclass of these extensions whose ring of constants is a field, we introduce a complete reduction approach to resolve the telescoping problem without solving any difference equations. More precisely, we explicitly construct a complement to the subspace of differences over the constant field and develop an algorithm that decomposes any element of the extension into the sum of a difference and a component lying in this complement. Consequently, summability holds if and only if this complementary component is zero. This structural approach yields significant speed-ups for parameterized telescoping and, notably, creative telescoping for deriving linear recurrences of definite sums. Finally, we compute an explicit idempotent representation that extends existing telescoping algorithms and our complete reduction framework to the general class of $RΠΣ^*$-extensions, opening up previously untreatable classes of sums and products.
The $g$-theorem in smooth approximation
We show that a sequence of simplicial polytopes approximating a smooth convex body has primitive Betti numbers diverging from the upper bound given by the $g$-theorem. This complements a result of Adiprasito-Nevo-Samper, who proved the corresponding divergence from the lower bound. The proof uses a new lower bound for the size of the shadow of a set of monomials.
Notes on a strongly aperiodic monotile in $E^3$
We provide a clearer presentation of the Chair44 monotile, a new strongly aperiodic monotile in three-dimensional Euclidean space $E^3$.
Discrepancy theory, Tverberg's theorem, and regression depth
We prove new bounds for Tverberg's theorem with tolerance. We show that $N = rt+Θ_{d,r}(t^{1/2-1/(2d)})$, where $N$ is the smallest number such that any set of $N$ points in $\mathbb{R}^d$ has a partition into $r$ parts such that the convex hulls of the parts intersect even if we remove any $t$ of the points.
We extend Tverberg's theorem with tolerance to families of hyperplanes in $\mathbb{R}^d$, and show that for any set of $rt + O_{d,r}(t^{1/2-1/(2d)}\sqrt{\log (t+1)})$ hyperplanes in $\mathbb{R}^d$ there exists a partition of them into $r$ parts such that the regression hulls of the parts intersect even if any $t$ hyperplanes are removed.
Our bounds follow from establishing a connection between Tverberg-type results and discrepancy theory.
Three-Layer Intersecting Temperate Families
In response to a conjecture of Petr and Turek, we prove that every largest intersecting temperate collection of sets $\mathcal{A}\subseteq [2k]^{(k)}\cup [2k]^{(k+1)}\cup [2k]^{(k+2)}$ includes all $k$-sets containing some given $a\in[2k]$, all $(k+1)$-sets, and all $(k+2)$-sets not containing $a$.
The $\mathbb{Z}$-Divisor Graph on $\mathbb{Q} \cap [1,7]$ is Planar and 3-Colorable
We prove that a divisor graph on an interval of integers is a planar graph whenever the interval $[n,m]$ satisfies $m\leq 7n$, and that 7 is the greatest such real number for which we can guarantee that the graph is planar. We prove these graphs are 3-colorable.
On infinite families of $[P_n]$-irregular graphs
This paper presents the first systematic study of $[F]$-irregular graphs, a concept that parallels classical $F$-irregularity. For a fixed graph $F$, a graph $G$ is $[F]$-irregular if the numbers of its induced subgraphs isomorphic to $F$ containing a given vertex are pairwise distinct for all vertices of $G$. We prove that there exist infinitely many $[P_n]$-irregular graphs for any path $P_n$ of order $n \ge 3$. We establish that a non-trivial $[P_3]$-irregular graph of order $k$ exists if and only if $k \ge 7$. Finally, we propose the Strong Conjecture on $[F]$-irregular graphs.
Clique-dependent strongly sublinear treewidth and strongly sublinear tree-independence number
We establish a strongly sublinear counterpart of a recent result of Chudnovsky, E S, and Lokshtanov (arXiv 2025) on treewidth and tree-independence number. Namely, we prove that a hereditary graph class has strongly sublinear tree-independence number if and only if, for every fixed clique bound, its graphs of bounded clique number have strongly sublinear treewidth. In fact, this is part of a broader equivalence theorem. For hereditary classes, these conditions are also equivalent to having clique-dependent polynomial expansion, to admitting balanced separators whose size is bounded by $Kω(G)^s |V(G)|^{1-β}$ for fixed $K,s,β>0$, and to admitting balanced clique-based separators of strongly sublinear size (equivalently, weight). Thus, we show that all these properties, which arose independently in the study of subexponential-time exact algorithms and polynomial-time approximation schemes, in fact describe the same hereditary graph classes. As a consequence of our equivalence theorem, we also show that every hereditary class $\mathcal C$ with strongly sublinear tree-independence number admits a subexponential-time algorithm that, given $G\in\mathcal C$, computes a tree decomposition of $G$ with strongly sublinear independence number.