arXiv++ Combinatorics

Let G be a nonempty finite simple graph of order n, and let m(G) be the upper median of its degree sequence. We prove that the 2-domination number satisfies gamma_2(G) <= n - m(G) + 1. This proves Graffiti.pc Conjecture 387. In fact, the argument establishes the inequality for every nonempty finite simple graph, so the connectedness hypothesis in the original formulation is unnecessary. The proof uses the complement graph and a minimally linearly dependent family of polynomials encoding selected nonneighborhoods.

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb F_q$, and let $\mathcal F\subsetneq\genfrac{[}{]}{0pt}{}{V}{k}$. The \emph{projective Ore-degree} of $\mathcal F$ is the minimum, over all $k$-subspaces $S\notin\mathcal F$, of the sum of the $\mathcal F$-degrees of the projective points contained in $S$. We prove sharp projective Ore analogues of the vector-space Erdős--Ko--Rado and Hilton--Milner theorems. The Ore--Erdős--Ko--Rado theorem holds for $n\ge2k+1$, with equality only for a full point-star. For nontrivial intersecting families, we determine the sharp Ore--Hilton--Milner threshold, together with the complete equality classification, when $q\ge3$ and $n\ge2k+1$, or when $q\ge2$ and $n\ge2k+2$. We further determine a sharp projective Ore-degree threshold forcing a direct-sum matching of size $s$ when $s\ge3$ and $n\ge(2s-1)k-s+4$, and derive a multicolour Ramsey consequence.

Neighboring seeds in a cluster algebra of affine type are seeds that are as close as possible to the boundary of the g-vector fan. This short note highlights the characterization of neighboring seeds given in a recent paper of Reading, Rupel, and Stella and applies that characterization in two ways. We prove a conjecture on the construction of universal geometric cluster algebras of affine type. We also characterize extended exchange matrices of affine type that are mutation-finite.

We construct two families of commutative Frobenius rings: discrete and continuous Frobenius quotients $K_f$, resp. $A_g$, which are defined as the quotients of shift, resp. differential operator algebras by the annihilator of a polynomial. These constructions model the numerical $K$-rings and Chow rings of smooth complete varieties. We show that there is a naturally defined isomorphism $\mathbb{Q} K_f \cong \mathbb{Q} A_g$ playing the role of the Chern character, precisely when the polynomials satisfy a combinatorial analogue of the Hirzebruch-Riemann-Roch theorem, which states that there exists an invertible element $\mathrm{td} \in \mathbb{Q} A_g^\times$, called the Todd class, such that $f = \mathrm{td} \cdot g$. In this case we show that $K_f$ carries all the structure needed to make it a suitable model for $K$-rings of complete smooth varieties: $K_f$ is a $λ$-ring, has well-defined Chern classes, determinants, and satisfies a combinatorial analogue of Serre duality. We further show that the construction is functorial and obtain a combinatorial analogue of the Grothendieck-Riemann-Roch theorem. Lastly, we investigate the existence of larger families of isomorphisms between Frobenius quotients defined by the action of a power series on a generating set, such as the truncated Chern character which yields an integral isomorphism $K_f \cong A_g$. We provide numerous examples and applications: we give a new formula for computing Snapper polynomials of matroids, show that the dualizing class of $K_f$ coincides with dualizing classes of matroids and linear families of polytopes, realize $K$-rings of toric variety bundles as Frobenius quotients, and study $K$-rings of Ehrhart fans as well as exceptional isomorphisms in this setting.

We show stability of persistent path homology of path complexes. As a consequence, we deduce the stability of persistent path homology of hypergraphs and of sequence hypergraphs, and recover the known stability result for digraphs, originally due to Chowdhury and Mémoli.

The problems of characterizing the graphs $G$ which are generically rigid in ${\mathbb R}^d$, or more generally, determining the rank function of the $d$-dimensional rigidity matroid ${\cal R}_d(G)$ of an arbitrary graph $G$, have been solved when $d\leq 2$ but are major open problems in discrete geometry when $d\geq 3$. In this paper we shall concentrate on the case when $d=3$. We first revisit a conjecture of Dress from 1987 that the rank of the ${\cal R}_3$-closure of a graph $G$ is determined by its maximal complete subgraphs of size at least five. We show that his conjectured value for the rank of the closure gives an upper bound on the actual value. We also deduce that the truth of this conjecture would imply a good characterization of the rank of ${\cal R}_3(G)$ for all graphs $G$. The rank formula in Dress's conjecture leads us to consider the family of $K_t$-covered graphs, i.e., graphs in which every edge belongs to a complete subgraph $K_t$, for some $t\geq 3$. This family contains several well-studied graph classes such as body-pin graphs, combinatorial zeolites, and molecular graphs. We introduce a new notion of rank contributions of vertices in an arbitrary matroid on the edge set of a graph $G$, and use it to obtain lower bounds on the rank contributions of vertices in ${\cal R}_3(G)$ and ${\cal C}^1_2(G)$ when $G$ is $K_t$-covered. We use these bounds to show that a conjectured min-max formula for the rank of body-pin graphs in ${\cal R}_3$ holds for the $C_2^1$-cofactor matroid (which is conjectured by Whiteley to be equal to ${\cal R}_3$), and to obtain new sufficient connectivity conditions for the (global) rigidity of $K_4$- and $K_5$-covered graphs in ${\mathbb R}^3$.

Martinsson and Steiner recently proved that the fractional chromatic number of any $d$-degenerate triangle-free graph $G$ satisfies $χ_f(G) = O\left(\frac{d}{\log d}\right)$. They further conjectured a sharp leading constant $1 + o(1)$. In this paper, we confirm their upper bound conjecture for graphs having girth at least $5$. Our proof is constructive: it gives an efficient randomized algorithm that, with high probability, computes a fractional coloring of weight at most $(1 + o(1))\frac{d}{\log d}$ in such graphs. Furthermore, we establish their conjectured lower bound in a stronger form: for any constant $g \ge 4$, there exist $d$-degenerate graphs having girth at least $g$ with $χ_f(G) \ge (1 - o(1))\frac{d}{\log d}$. This lower bound is achieved by analyzing a random graph based on the uniform attachment model. Notably, our results reveal that this model lacks the typical computational complexity barriers found in Erdős-Rényi graphs, where there is a conjectured factor-$2$ algorithmic gap for this problem.

Alon and Füredi proved that at least $n$ affine hyperplanes are required to cover $\{0,1\}^n\setminus\{\textbf{0}\}$ while avoiding the origin, and that this bound is sharp. We study how small the largest Boolean intersection among the hyperplanes can be in a cover attaining this minimum. Let $F(n)$ denote the minimum possible value of $\max_{H\in\mathcal H} |H\cap\{0,1\}^n|$ over all families $\mathcal{H}$ of $n$ affine hyperplanes covering $\{0,1\}^n\setminus{\mathbf{0}}$ and avoiding the origin. We give an explicit construction, proving that $F(n)=(1+o(1))\frac{2^n}{n},$ and hence asymptotically attain the averaging lower bound.

We extend the nice treatment of V. Bardenova, E. Insko, K. Johnson, and S. Sullivan of the combinatorics of two-lane mergings to the multi-lane case.

For a positive integer $d\geq 1$, we consider the sequences $(A_{n}^{(d)})_n$ and $(x_{n}^{(d)})_n$ given by $$ A_{n}^{(d)} =\sum_{n_1+\dots+n_d=n} \frac{(2n)!}{(n_1!)^2 (n_2!)^2 \dots (n_d!)^2} \quad \text{ and } \quad x_{n}^{(d)} = \frac{A_{n}^{(d)}}{\binom{2n}{n}}. $$ They have rich combinatorial interpretations, but we focus on the analytical properties of their generating functions $A_d$ and $F_d$. We use a modified Borel transform, and algebraic and combinatorial considerations to prove that $F_d$ is annihilated by an irreducible Fuchsian differentiable operator $L_{d-1,F}$ of order $d-1$. We determine the structure of $F_d$ as a global analytic function (analytic continuations from the original disk of definition, branches, finite singularities, and the structure of $F_d$ near the finite singularities). Additionally, we show that the sequence $(x_n^{(d)})_n$ satisfies a minimal recurrence of width $r=\lfloor (d+1)/2 \rfloor$ with polynomial coefficients $$ Q_r(n+r)\,x_{n+r}+\cdots + Q_0(n)\,x_n=0, \; n \ge 0. $$ These polynomials are shown to have very specific symmetries and we compute explicitly $Q_0$, $Q_1$, and $Q_r$. Similar results about the functions $A_d$ are obtained.

A dominating set in a graph $G$ is a subset $S$ of its vertices such that each vertex in $G$ is either in $S$ or adjacent to a vertex in $S$. Nordhaus-Gaddum inequalities relate the values of a graph parameter on a graph and its complement. In this setting, Keough and Shane conjecture that any graph $G$ on $n$ vertices satisfies $\partial(G) + \partial(\bar{G}) \leq 2(2^{\lfloor n/2 \rfloor} - 1)(2^{\lceil n/2 \rceil} - 1) + 2$, where $\partial(G)$ is the number of dominating sets in $G$. We partially resolve this conjecture for the bipartite case by proving the stronger bound: for a bipartite graph $G$ with nonempty bipartition $(A,B)$, it holds that $\partial(G) + \partial(\bar{G}) \leq 2(2^{|A|} - 1)(2^{|B|} - 1) + 2$. We also characterize the bipartite graphs for which equality holds.

A $(1, 1, 2, k)$-packing coloring of a graph $G$ is a partition of $V(G)$ into two independent sets, a 2-packing, and a $k$-packing. Recently, the question was posed in [A short proof that every claw-free cubic graph is (1, 1, 2, 2)-packing colorable, arXiv:2512.24001v1] as to whether every claw-free cubic graph is $(1, 1, 2, 3)$-packing colorable. We provide an answer in the affirmative in the case that $G$ is a diamond-free, claw-free cubic graph.

We study the triple-invariant algebra \[ \Bbbk[\Bbbk^3\otimes\Bbbk^2\otimes\Bbbk^2]^{U_3\times U_2\times U_2}. \] A quotient slice and the induced logarithmic top form determine a signed Markov chart, realized as the fiber $ζ=-1$ of an ordinary cluster family. We prove \[ \mathscr U_{\mathrm{gen}}=\mathcal M_u[u_Δ], \] where $\mathcal M_u$ is a specialized middle cluster algebra and $u_Δ$ is the discriminant of weight $(220;22;22)$. Its theta cone has a sixteen-element Hilbert basis. Pairing its positive- and negative-degree generators reduces each triple-weight space to a single discriminant level determined by the weight. Counting the resulting two-dimensional slice gives an explicit nonnegative finite-sum formula. Determinant reduction extends the formula to all $n\times2\times2$ Kronecker coefficients.

Recently, Samanta et al. introduced a unifying perspective to common graph-associated matrices through the matrix $B_α(G)=αA(G)+(1-α)L(G)$ where $α\in [0,1]$. We resolve an open problem regarding the positive semi-definiteness of $B_α$ and similar matrices. We also explore eigenvector properties of $B_α$ through edge and vertex removal. As a consequence, we provide a basis for results on the common graph-associated matrices.

In this paper, we consider the problem of updating the directed minimum spanning tree (DMST), when the given sample tree is subject to the weight changes, edge deletions and edge insertions. We present an implementation for updating the tree to a DMST using the weighted matroid intersection algorithm. Our algorithm focuses on maintaining a dynamic auxiliary graph, which plays a central role in the matroid intersection algorithm, and governs the iterations from the given tree to a DMST. Each iteration is guaranteed to yield an improved solution. We also provide an implementation of this algorithm and some experimental analysis.

In the proper variant of the classical hat-guessing game on a graph, an adversary properly colors the vertices from a palette of $q$ colors. Each vertex sees only the colors of its neighbors and simultaneously guesses its own color; the players win if at least one guess is correct. We study this game on the book graph $B_{k,n}=K_k\vee\overline{K_n}$, with $k$ mutually adjacent spine vertices and $n$ independent pages. We give a coverability characterization valid for every fixed spine size. Let $C_k$ be the minimum of $|P|+|\operatorname{supp}(P)|$ over all non-coverable finite configurations $P$ of proper $k$-tuples. We prove $\sup_{n\geq 1}\operatorname{HGP}(B_{k,n})=C_k$ and $\operatorname{HGP}(B_{k,n})=C_k$ for all sufficiently large $n$. Thus the asymptotic problem for fixed $k$ reduces to a finite extremal invariant. For two spines, coverability is equivalent to pseudoforestness, and we determine the associated extremal problem exactly: $C_2=11$, with precisely two types of extremal obstruction. Consequently, $\operatorname{HGP}(B_{2,n})\leq 11$ for every $n$, with equality for all sufficiently large $n$; an explicit probabilistic estimate gives a stabilization threshold of at most $4\times 10^8$. We also resolve the first two previously open finite cases. An explicit seven-color construction with affine symmetry proves $\operatorname{HGP}(B_{2,3})=7$. A counting-rigidity argument establishes $\operatorname{HGP}(B_{2,n})\leq n+3$ for all $n\geq 4$, which together with monotonicity yields $\operatorname{HGP}(B_{2,4})=7$. Finally, a general box obstruction gives explicit uniform bounds on $C_k$.

For integers $k\le n$, let $L_{k,n}$ be the set of words over $[n]$ of length at most $k$ in which no symbol is repeated. We present a nondeterministic finite automaton (NFA) of size $3.918^k n^{O(1)}$, improving on the $4^{k+o(k)}n^{O(1)}$ construction of Ben-Basat, Gabizon, and Zehavi. Our proof organizes several classical ingredients---product automata, hashing, and coefficient estimates---into a gadget-amplification framework: We take the product of many copies of a small local NFA gadget, whose language is a subset of $L_{r,c}$, and hash the $k$ input symbols to copies and local colors. The hash family guarantees that, for every repetition-free input, some hash sends at most $r$ symbols to each copy such that the resulting projection in every copy is accepted by the local gadget. Taking the nondeterministic union of the corresponding product NFAs yields a global NFA. Amplifying a $200$-state gadget for $L_{6,11}$ obtained from the small Witt design $S(4,5,11)$, this framework gives a $3.967^k n^{O(1)}$-size NFA. We then introduce the compose-and-compress technique, which deletes the expensive middle layers of these products and replaces paths across the deleted bands with sound one-symbol shortcut transitions. We apply it twice, once for enhancing the amplification framework and again for the local gadget, obtaining the stated result.

A \emph{hole} is an induced cycle of length at least four, and an \emph{even hole} is a hole of even length. A \emph{cap} is obtained from a hole by adding a vertex adjacent to exactly two consecutive vertices of the hole. Chen, Xu, and Xu proved that every $\{\mathrm{cap},\mathrm{even\ hole}\}$-free graph $G$ satisfies $χ(G)\leq \left\lceil\frac{5}{4}ω(G)\right\rceil$, and improved this bound to $χ(G)\leq \left\lceil\frac{7}{6}ω(G)\right\rceil$ when $5$-holes are also excluded. They asked whether, for every integer $q\geq3$, every $\{\mathrm{cap},\mathrm{even\ hole}\}$-free graph $G$ with no odd hole of length at most $2q-1$ satisfies $$ χ(G)\leq \left\lceil\frac{2q+1}{2q}ω(G)\right\rceil. $$ We answer this question affirmatively and show that the bound is sharp for every $q\geq3$.

The orientable genus polynomial of a graph counts its cellular embeddings by genus. For finite simple $2$-connected cubic graphs it is a cycle-matroid invariant: $M(G)\cong M(H)$ implies $Γ_G=Γ_H$. The adjacency spectrum and the genus polynomial are incomparable: neither determines the other. We exhibit connected cubic graphs on $16$ vertices sharing the adjacency spectrum, spanning-tree count, girth, diameter, vertex and edge connectivity, automorphism-group order, and cycle counts through length $10$, yet with pairwise distinct genus polynomials. Splitting the expected face count at twice the girth explains the difference: short faces are spectral, long faces are not. We construct an explicit infinite family of connected cospectral cubic pairs $(G_t,H_t)$ on $14+2t$ vertices whose minimum genera differ. We also compute the genus polynomials of all $7,875,918$ connected cubic graphs through $22$ vertices and derive from short-cycle counts a deterministic lower bound on the minimum genus.

We disprove Hoàng's conjecture that a minimally nonperfectly divisible graph cannot contain a bisimplicial vertex. Our counterexample has 93 vertices, 320 edges, clique number three, and a bisimplicial vertex of degree four. A perfect division of a graph $H$ is a partition $V(H)=A\mathbin{\dot\cup}B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$; a graph is perfectly divisible when each of its induced subgraphs with at least one edge has such a division. The constructed graph has no perfect division, whereas every proper induced subgraph is perfectly divisible. Its construction uses a forcing mechanism based on rooted graphs: six 15-vertex rooted graphs force their roots into $A$, and a nine-vertex auxiliary graph then forces a triangle into $B$. We isolate this mechanism in a rooted composition lemma, which proves symbolically that every proper induced subgraph is perfectly divisible. All finite assertions concerning the rooted and auxiliary graphs are verified by exact exhaustive computation, with an independent implementation providing a cross-check. The same construction gives a negative answer to a prescribed-vertex problem of Hu, Xu and Zhuang.

Flow polytopes of directed acyclic graphs form a central class of lattice polytopes in algebraic, geometric, and enumerative combinatorics. Order polytopes are one of the best understood families of lattice polytopes; their Ehrhart theory, triangulations, volumes, and face structures are closely controlled by the combinatorics of the underlying posets. Mészáros--Morales--Striker proved that the flow polytope of an $st$-planar directed acyclic graph is unimodularly equivalent to an order polytope. In this paper, we prove a converse after contracting idle edges. More precisely, for a directed acyclic graph $G$ with a unique source and a unique sink, let $\widetilde G$ be the graph obtained from $G$ by successively contracting idle edges until none remain. We prove that $\mathcal{F}(G)$ is unimodularly equivalent to an order polytope if and only if $\widetilde G$ is $st$-planar. In addition, under a local three-good-neighbor condition, we prove that for a directed acyclic graph with a unique source, a unique sink, and no idle edges, the graph is $st$-planar if and only if it avoids an explicit list of forbidden butterfly minors.

We prove that the local limit of the minimum spanning arborescence in the complete graph (which is an oriented cousin of the minimum spanning tree in the complete graph) is the same as that of the uniform random tree, oriented towards infinity. The latter is known to be the critical Poisson Galton--Watson tree conditioned to survive. This is in sharp contrast with the local limit of the minimum spanning tree, which is known to be different from that of the uniform spanning tree (due to results of Addario--Berry \cite{AddarioBerry2013} and Addario--Berry, Griffiths and Kang \cite{PWIT_local_minimum}). Thus we demonstrate that introducing orientations changes the local geometry of the minimum spanning tree in a non-trivial manner.

Let $d \geq 1$ be an integer, $G$ be an abelian group and $ν, w_1, \dots, w_{2d}: G \to [0, \infty)$ be functions with finite, non-empty supports. Define the generalised additive energy \[ E_{2d, ν}(w_1, \dots, w_{2d}) = \sum_{y,y' \in G}\sum_{a_1, \dots, a_{2d} \in G } w_1(a_1) \dots w_{2d}(a_{2d}) ν(y) ν(y') 1_{\sum_{i=1}^d (a_i - a_{i+d}) = y-y'} .\] Moreover, for every $1 \leq i \leq 2d$, let $E_{2d, ν}(w_i) = E_{2d, ν}(w_i, \dots, w_i)$. A standard Fourier analytic argument delivers the estimate \[ E_{2d,ν}(w_1, \dots, w_{2d}) \leq \prod_{1 \leq i \leq 2d} E_{2d, ν}(w_i)^{1/2d}.\] In this note, we present a purely combinatorial proof of the above inequality. In particular, our proof does not use any Fourier or spectral analysis and relies on repeated applications of Cauchy--Schwarz inequality combined with a discrete convexity extension type argument. We also record a variation of this upper bound in the non-abelian setting via spectral inequalities following work of Hatami on graph norms, as well as a relevant sumset analogue obtained via iterative applications of the Plünnecke--Ruzsa inequality.

We prove that the path $P_{11}$ does not admit uniform average mixing under any probability distribution on $\mathbb R$, answering a question of Baptista, Coutinho, and Marques in the negative. The proof is exact: we construct an explicit rational symmetric matrix $Y$ such that $\langle Y,M(t)\rangle_F=1$ for every $t\in\mathbb R$, whereas $\langle Y,J/11\rangle_F=12/11$.

The hypernatural numbers $\mathbb{N}$ of nonstandard analysis have recently proven to be an effective tool in arithmetic Ramsey theory. After introducing the fundamental ``nonstandard" notions, we present several examples to illustrate the use of this technique in practice. In particular, we provide brief nonstandard proofs of some recent results concerning the partition regularity of certain families of infinite configurations. We also present a new theorem about monochromatic sums and products.

For integers $n\ge s\ge2$, let $e(n,s)$ be the maximum size of a family $\mathcal F\subseteq2^{[n]}$ with no $s$ pairwise disjoint members. The problem of determining $e(n,s)$, now called the Erdős--Kleitman problem, is closely related to the well-known Erdős matching problem. Frankl and Kupavskii posed a meta-conjecture predicting that the maximum is always attained by a weighted family. Fix $m\ge3$, write $n=ms+c$ with $0\le c<s$, and set $\ell=s-c$. For $0\le k\le m$, let $a_k=ms-kc-1$. For $A\in\binom{[n]}{a_k}$, define \[ \mathcal H^k(m,s,\ell;A):= \{F\subseteq[n]: k|F|+|F\cap A|\ge m(k+1)\}. \] This defines a unified class of weighted families with matching number less than $s$. Among these families, $\mathcal H^0$, $\mathcal H^1$, and $\mathcal H^m$ were previously known to be extremal in different ranges of $c$. We show that for $1\le k\le m-1$, all families $\mathcal H^k$ are uniquely extremal in some ranges of $c$. More precisely, we prove that for every $m\ge3$ and every $1\le k\le m-1$, there exist constants $α=α(m,k)>0$, $β=β(m,k)>0$ and an integer $s_0=s_0(m,k)$ such that, for all integers $s\ge s_0$ and all integers $c$ with $0\le c<s$, the only extremal families for $e(n,s)$ are the families $\mathcal H^k(m,s,\ell;A)$ with $A\in\binom{[n]}{a_k}$ whenever $βs^{(k-1)/k}\le c\le αs^{k/(k+1)}$. In particular, this result determines an infinite number of new extremal families for the Erdős--Kleitman problem and verifies the Frankl--Kupavskii meta-conjecture in these ranges. This also provides a quantitative extension of the result of Kupavskii and Sokolov on the extremality of $\mathcal H^1$.

The edge-girth of an edge $e$ in a simple connected graph is the length of a shortest cycle containing $e$, with $g_e = \infty$ if no such cycle exists. The edge-girth sequence of a graph is the nondecreasing sequence of edge-girth values over all its edges. We prove that a sequence $S$ is realizable as the edge-girth sequence of a simple connected graph if and only if it satisfies a recursive criterion: writing $S = S_0 \uplus (g^{(m)})$ where $g$ is the maximum edge-girth value of $S$ with multiplicity $m$ and $S_0$ is the prefix subsequence, $S$ is realizable if and only if $S_0$ is realizable and the multiplicity $m$ lies in a set entirely determined by $g$ and the maximum diameter $d^*_{S_0}$ achievable by graphs realizing $S_0$. We further determine $d^*_S$ for any realizable sequence: for constant sequences $(g^{(m)})$, we obtain a closed-form formula when $g$ is even and a recursive formula when $g$ is odd. For general sequences, we provide a recursive algorithm computing $d^*_S$ together with explicit constructions of diameter-achieving graphs.

In this work, we introduce $t$-colorable $k$-plane drawings, that is, drawings of graphs with a $t$-edge-coloring where every edge is crossed by at most $k$ edges of each color. We give tight upper bounds on the edge- and crossing density for small values of $t$ and $k$ and show that the recognition of such drawings is NP-complete if $t\geq 2$ and $k\geq1$.

Characterizing when the symbolic and ordinary powers of an ideal coincide is a central problem in commutative algebra, and ideals satisfying this property are called Simis ideals. In this article, we investigate the Simis property of monomial ideals by studying the recent conjecture of Mendez, Pinto, and Villarreal on monomial ideals with minimal irreducible decomposition. Let $I$ be a monomial ideal, and let $\mathcal{F}(I)$ denote the collection of supports of the minimal generators of $I$. Assuming that $\mathcal{F}(I)=\mathcal{F}(\sqrt{I})$, we prove that if $I$ admits more than one minimal generator with a fixed support, then it is not Simis. Using this reduction, we establish the Mendez-Pinto-Villarreal conjecture for two broad classes of monomial ideals, namely support-$3$ monomial ideals and monomial ideals whose associated simplicial complexes are simplicial forests. Finally, we study the Cohen-Macaulay property of monomial ideals whose associated simplicial complexes are grafted and satisfy $\mathcal{F}(I)=\mathcal{F}(\sqrt{I})$.

We determine exactly which proper multiplicative subgroups of a prime field can be represented as a restricted sumset of the form $A\mathbin{\widehat{+}} A=\{a+a':a,a'\in A,\ a\ne a'\}$. We prove that a proper multiplicative subgroup $H\le\mathbb F_p^*$ cannot satisfy $H=A\mathbin{\widehat{+}} A$ whenever $|H|\ge7$, and that this threshold is sharp. In fact, such a decomposition exists precisely when $|H|\in\{1,3,6\}$, and we classify all decompositions in these exceptional cases. This gives a sharp, complete resolution of the restricted-sumset analogue of the generalized Sárközy conjecture over prime fields. This significantly extends and refines previous results of Shkredov and Yip.

For all $δ>0$ and infinitely many $n \in \mathbb N$, we show that there exists a set $L$ of $n$ lines in $\mathbb R^2$ such that there are no intersecting quadruples, but for every subset $L' \subset L$ such that $|L'| \geq n^{\frac{4}{5}+δ}$, there exist three lines from $L'$ with a common point of intersection. This gives an improved bound for a dual form of a theorem of Balogh and Solymosi. As a consequence, we derive an improved lower bound for the Hadwiger-Debrunner number $HD_2(p,3)$. We also give, for all $0 \leq s \leq 1$ and arbitrarily large $n \in \mathbb N$, a construction of a point set $S \subset [n]^3$ with cardinality $|S|\geq n^{3-s}$, such that $S$ contains $O(n^{6-4s})$ collinear triples. This shows that a supersaturation lemma of Balogh and Solymosi is optimal, up to logarithmic factors.

In this paper, we prove the existence of two completely independent spanning trees in the $n$-dimensional dual-cube $F_n$, a variant of the hypercube, for every $n \geq 5$. To this end, we use the hypercube structure of the clusters of $F_n$ to extend the construction of CIST from the $(n-1)$-dimensional hypercube to the dual-cube. In addition, we propose a recursive algorithm that builds the two trees while improving their diameters. Finally, we propose a conjecture concerning the existence of $k$ completely independent spanning trees in the dual-cube.

Given a subset $A \subseteq \mathbb F_2^n$, we can consider the distribution of the intersection size of $A$ with a uniformly random $d$-flat $F$. Motivated by the edge statistics problem and the hypercube statistics problem, the affine subspace statistics problem concerns the maximum of $\mathbb{P}[|F\cap A|=s]$ among $A \subseteq \mathbb F_2^n$ for any fixed $s\in\{1,\dots,2^d\}$ over a uniformly random $d$-flat $F$. We use $λ^*(d,s)$ to denote the limit of the maximum when $n$ goes to infinity. In this note, we prove tight bounds for $λ^*(d,s)$ in two different regimes. For $s=j2^k$ where $j$ is a positive odd integer, the best known lower bound construction achieving $λ^*(d,s)\ge 1-2^{-k}$ is due to taking $A$ as the union of $j$ parallel $(n-d+k)$-flats in $\mathbb F_2^n$. Our main result is a matching upper bound with an additive error term of $O(2^{-3k/2})$. We also study the case $s=1$, where we determine $λ^*(d,1)$ exactly. We show that the random construction where each point is included with probability $2^{-d}$ is optimal.

We prove that the size $\# \{ k(m-k) : 1\leq k\leq m/2\} \cap \{ l(n-l) : 1\leq l\leq n/2\}$ is $(mn)^{o(1)}$, but can be arbitrarily large. This resolves Erdős problem $\# 443$.

We have previously given a factorization of a symplectic column under the action of the parity involution which enabled to explicitly have written the inverse of the reduction map in the quantum Littlewood-Richardson bijection. Watanabe has written the reduction map as a composition of several maps, among them, combinatorial $R$-matrices on single columns and a reduction map on a shorter column with rank reduced by one. We now use this approach to write the inverse of the reduction map on a symplectic column by detecting the corresponding symplectic column of rank reduced by one and thus avoiding going through several map compositions.

This paper explores the theory of letter transducers, Mealy automata, and bireversible automata from a combinatorial perspective analogous to the theory of Latin squares. We view the sets of transitions of letter transducers as analogs of orthogonal arrays, and discuss two other combinatorial encodings of Mealy automata analogous to orthogonal pairs of Latin squares and to $(k,n)$-nets. We characterize various classes of automata (Mealy, reversible, invertible, bireversible) in terms of these combinatorial structures. In particular, we represent the inversion and dualization of transducers as parastrophisms. Further, similarly to the notion of the isotopisms of the quasigroups associated to Latin squares, we develop the notion of isotopisms of letter transducers generalizing transducer symmetry and preserving the class of bireversible automata.

A nonempty subfamily of a $k$-uniform hypergraph is an \emph{even cover} if every vertex lies in an even number of its hyperedges; for $k=2$ these are edge-disjoint unions of cycles, so the minimum size of an even cover is the natural hypergraph analogue of girth. We prove Feige's 2008 conjecture on the hypergraph Moore bound: there are absolute constants $A$ and $C$ (independent of $k$) such that for every $k\ge3$ and every $1\le\ell\le n$, any $k$-uniform hypergraph on $n$ vertices with more than $C\,n^{k/2}/\ell^{k/2-1}$ hyperedges contains an even cover of size at most $A\,\ell\log(en/\ell)$. Our proof is based on sharp spectral bounds for Kikuchi matrices, which we expect to be of independent interest; we apply them to the refutation of random constraint satisfaction problems in a companion paper.

For the algebra $\mathbb{R}[x^1,\ldots,x^d]$ of polynomials in $d\geqslant 1$ variables, regard the complete generalised Wronskian $W_d^k$ of differential order $k\geqslant 1$ over $\mathbb{R}^d$ as the $N=\tbinom{d+k}{d}$-ary Lie bracket. Take an $N$-tuple of polynomials, calculate their Wronskian, and keep re-using the newly-created polynomials to produce more of them. The problem is: how fast do their maximal total degrees grow with the number $n$ of iterations of the bracket? Here enter the $N$-bonacci numbers defined by the recurrence $F^{(N)}_n=F^{(N)}_{n-1}+\cdots+F^{(N)}_{n-N}\in \mathbb{N}$. We prove that for any choice of the initial arguments, the sequence of highest total degrees $d^{(N)}_n \geqslant 0$ grows (if at all) asymptotically no faster than the $n$th $N$-bonacci number: $\lim_{n\to+\infty} (d^{(N)}_n/F^{(N)}_n )<\infty$. We show that for $d=1$ and $k$ odd, the highest polynomial degrees do attain the $N$-bonacci bound.

Graph expansion has long been recognised as an important and desirable property with applications in a wide range of areas in computer science and mathematics. A particular form of expansion known as `sublinear expansion' has recently been used particularly effectively in extremal graph theory, leading to the resolution of many long-standing and notable problems over the last decade and an improved understanding of the structure of sparse graphs. This survey will cover these advances.