arXiv++ Combinatorics

For $r \geq 2$ and graphs $H_1, \ldots, H_r, G$, we say that $G$ is $(H_1, \ldots, H_r)$ vertex-Ramsey, or $(H_1, \ldots, H_r)_v$-Ramsey, if whenever we colour the vertices of $G$ with colours from the set $[r]=\{1,2, \ldots, r\}$ there exists $j \in [r]$ such that some copy of $H_j$ in $G$ is monochromatic in colour $j$. Given any fixed collection of graphs $H_1, \ldots, H_r$, Luczak, Ruciński and Voigt and Kreuter determined in the 1990s the threshold edge probability $p$ at which the binomial random graph $G(n,p)$ becomes $(H_1, \ldots, H_r)_v$-Ramsey. More recently, Das, Morris and Treglown investigated the vertex-Ramsey property in the randomly perturbed setting. When $r=2$ they determined the number of random edges one must add to a dense graph to ensure that with probability $1-o(1)$ the resulting graph is $(H_1, H_2)_v$-Ramsey whenever one of $H_1$ or $H_2$ is a clique. They posed the problem of extending their results to all pairs of graphs $(H_1, H_2)$. In this paper we resolve a more general form of their problem and determine for any $r\geq 2$ and $r$-tuple of graphs $(H_1, \ldots, H_r)$ the number of random edges one must add to a dense graph to ensure that with probability $1-o(1)$ the resulting graph is $(H_1, \ldots, H_r)_v$-Ramsey.

We derive sparse analogs of several Roth-type results, showing that they hold in $B_h$ sets of near-maximum size. It is shown that if a $B_h$ set is free of pairwise distinct solutions to a linear equation with more than $2h$ variables then it must be a constant factor smaller than the best-known upper bound on the size of any $B_h$ set. As a key input, it is established that extremal $B_h$ sets are Fourier pseudorandom. If the forbidden equation has a certain subdivision structure, an asymptotic saving is obtained. The case of Sidon sets ($h=2$) was previously studied by Conlon, Fox, Sudakov, and Zhao as well as Prendiville. When forbidding a non-translation-invariant equation $E$ from a Sidon set, it is shown that if $E$ has a zero-sum subcollection of at least five coefficients then the Sidon set must either be very small or generate a Cayley graph with bounded chromatic number. On the other hand, large Sidon sets are constructed that generate Cayley graphs with unbounded chromatic number and are also free of multiple equations with zero-sum subcollections of four coefficients. This can be viewed as a sparse analog of a result of Liu, Wu, Yang, and Zhang characterizing linear equations with vanishing chromatic threshold.

This is a geometric retelling of Konyagin and Sevast'yanov's proof of Andrew's theorem, which is a tight upper bound on the number of vertices of a d-dimensional lattice polytope in terms of its volume.

We investigate matrices with entries in a number field such that some positive power has all its entries in the corresponding ring of integers. Our work generalizes previous results in several directions and we find applications to numerical semigroups.

Let $\mathbb{H}_{n+1}$ denote a computable copy of the $(n+1)$-clique free universal homogeneous Henson graph, $G$ denote a finite subgraph of $\mathbb{H}_{n+1}$, and $k(G,n)$ denote the big Ramsey degree of $G$ in $\mathbb{H}_{n+1}$. We prove that for any computable coloring $χ$ of the copies of $G$ in $\mathbb{H}_{n+1}$, there is a copy $\mathbb{H}'$ of $\mathbb{H}_{n+1}$ that is computable from $0^{(2δ(G,n)-1)}$ in which $χ$ takes no more than $k(G,n)$ colors, where $δ(G,n)$ denotes the maximum number of levels of a diary for $G$ in $\mathbb{H}_{n+1}$ (this is a finite number). It follows that the statement, ``Henson graphs have finite big Ramsey degrees," is provable in ACA$_0'$. Combining this with a recent result of Cholak, Dobrinen, and McCoy \cite{CDM} yields the equivalence of the statement with ACA$_0'$ over RCA$_0$.

Throttling is a graph optimization problem, where the throttling number of a graph is the minimum sum or minimum product of the number of vertices in an initial set and the time required to complete a certain graph operation. A Nordhaus-Gaddum bound refers to an upper or lower bound of the sum or product of a graph parameter together with that of its complement. In this paper, we study the Nordhaus-Gaddum sum and product bounds of the various throttling numbers (sum throttling and product throttling with or without initial cost). Graph operations considered are standard zero forcing, positive semidefinite forcing, power domination, and Cops and Robbers.

Let $Ω$ be the superspace ring of regular differential forms on the affine space $\mathbb{C}^n$. If $G \subseteq GL_n(\mathbb{C})$ is a complex reflection group, the {\em $G$-superspace coinvariant ring} is the quotient $SR_G := Ω_n/SI_G$ where $SI_G \subseteq Ω$ is the ideal generated by $G$-invariants with vanishing constant term. We study this ring when $G = \mathbb{Z}_r \wr \mathfrak{S}_n$ is the group of $r$-colored permutation matrices. We prove a conjecture of Sagan and Swanson on a monomial basis for $SR_G$ and give an Operator Theorem description of its inverse system. We also give a combinatorial model for the ungraded and exterior-graded structure of $SR_G$ as a $G$-module.

We investigate a variant of Nim called Halve Nim, which in addition to the standard moves of Nim, we allow replacing each pile of coins with half its amount. We determine the P-positions of all two-pile games of Halve Nim. Also, we determine the P-positions of all three-pile games of Halve Nim in which one pile has at most ten coins.

We study $H$-packings in plane triangulations for the three-vertex graphs $H\in\{P_3,K_3,P_2\cup P_1\}$. For a graph $H$, let $λ_H(G)$ denote the maximum size of an $H$-packing in $G$, with the convention that for $H=P_2\cup P_1$ the copies are required to be induced. For $P_3$-packings, we prove that every triangulation $G$ on $n$ vertices satisfies $λ_{P_3}(G)\ge \left\lfloor \frac n5\right\rfloor$, and show that this lower bound is asymptotically tight. We also study triangle packings in triangulations and provide lower bounds for $λ_{K_3}(G)$ in terms of the maximum degree and the degree sequence. We give a face-path characterization of triangle factors in $4$-connected plane triangulations using a hamiltonian cycle and the weak duals of the two associated maximal outerplanar graphs. Finally, for induced packings by $P_2\cup P_1$, we prove that every plane triangulation $T$ on $n$ vertices satisfies $λ_{P_2\cup P_1}(T)\ge \left\lfloor \frac n3\right\rfloor-2$, and show that such a packing can be found in polynomial time.

A simple undirected graph $M$ is called a discrete $d$-pseudomanifold if, for every vertex $v$, the induced subgraph $N_M(v)$ on the neighbors of $v$ is a discrete $(d-1)$-pseudomanifold, where a discrete $1$-pseudomanifold is defined to be an $n$-cycle with $n\geq 4$. These objects arise naturally as graph-theoretic analogues of simplicial pseudomanifolds and provide a purely combinatorial framework for studying manifold-like structures through local neighborhood conditions. Understanding discrete pseudomanifolds with a small number of vertices is therefore a fundamental problem in combinatorial topology and extremal graph theory. In this article, we first prove that every discrete $d$-pseudomanifold has at least $2(d+1)$ vertices. We then provide a complete classification of discrete $d$-pseudomanifolds with at most $2d+6$ vertices by determining all possible combinatorial types of such pseudomanifolds. Further, we establish an equivalence between discrete $d$-pseudomanifolds and edge graphs of flag normal $d$-pseudomanifolds. As a consequence, we derive a purely combinatorial characterization of flag normal $d$-pseudomanifolds with at most $2d+6$ vertices and prove that each such complex is a simplicial $d$-sphere. Finally, we show that this sphere characterization is optimal within the class of flag normal $d$-pseudomanifolds by constructing examples on $2d+7$ vertices that are not spheres. Specifically, we prove that, for $d\geq 3$, every flag normal $d$-pseudomanifold with at most $2d+7$ vertices is either a simplicial $d$-sphere or a flag triangulation of the $(d-2)$-fold suspension of $\mathbb{RP}^{2}$.

A classical theorem of Frucht states that every finite group occurs as the automorphism group of a finite graph. We prove an embedded analogue for regular graphs of arbitrary degree. In particular, we show that for every $d\geq 3$ and every finite group $G$, there exists a $d$-regular graph $Γ$ with a strong embedding $β$ such that $\mathrm{Aut}(Γ) \cong \mathrm{Aut}(β(Γ)) \cong G.$ Further, we prove that for every such $d$ and $G$ there exists a sequence of $d$-regular graphs with corresponding strong embeddings whose genera form an unbounded sequence and whose automorphism groups are isomorphic to $G$. Along the way, we identify an oversight in Sabidussi's classical construction of regular graphs with prescribed automorphism group. We give an alternative construction that corrects this issue and strengthens Sabidussi's result by producing an automorphism group-invariant proper $d$-edge-colouring.

The \textit{girth} of a graph $G$, denoted $\mathrm{g}(G)$, is the length of a shortest cycle in $G$. If $G$ contains no cycle, we define $\mathrm{g}(G)=\infty$. Sivaraman (2020) asked for the optimal $χ$-bounding function for the class of graphs whose complements have girth at least $6$. Let \(F(s) = \max\{χ(G): ω(G)\le s,\ \mathrm{g}(\overline{G})\ge 6\}\). We prove that there exists a constant \(c>0\) such that \[ c\left(\frac{s}{\log s}\right)^{4/3} \le F(s) \le (1+o(1))\frac{s^{3/2}}{\log s}. \] For small values, we establish the exact results \[ F(1)=1,\; F(2)=2,\; F(3)=4,\; F(4)=5,\; F(5)=6,\; F(6)=8, \] and each bound is sharp. A graph $G$ is \emph{almost perfect} if every induced subgraph $H$ of $G$ satisfies \(α(H)ω(H)+1\ge |V(H)|\). Gyárfás (2023) asked whether almost perfect graphs are $χ$-bounded by the function $g(x)=x+1$. We answer this question in the negative by showing that there is no constant $c$ such that every almost perfect graph $G$ satisfies $χ(G)\le ω(G)+c$.

We prove a stronger version of the log-convexity inequality for the Bell numbers $B_n$. In particular, for $n\ge 5$, we have \[ B_{n+1}B_{n-1} - (B_n)^2 \ge \sum_{i=1}^{n} F_i (B_{n-i})^2, \] where $F_i$ is the $i$-th Fibonacci number with $F_0=F_1=1$. The simple proof is mostly combinatorial with elementary inequalities.

We introduce a Delsarte linear programming approach to the finite field Erdős--Falconer distance problem. Let \(q\) be an odd prime power, let \(n\) be even, and let \(Q\) be a non-degenerate quadratic form on \(\mathbb{F}_q^n\). For \(E\subset \mathbb{F}_q^n\), define \[ Δ_Q(E)=\{Q(x-y):\ x,y\in E\}. \] We prove that, for every fixed \(0<α<\frac{1}{2}\), there exist constants \(C_α>0\) and \(q_α\) such that if \(q\ge q_α\) and $|E|\ge C_αq^{\frac n2+\frac13},$ then \[ |Δ_Q(E)|>1+α(q-1). \] In particular, \(Δ_Q(E)\) contains a positive proportion of the elements of \(\mathbb{F}_q\), and hence \(|Δ_Q(E)|\gg q\). Our result applies uniformly to all non-degenerate quadratic forms in even-dimensional finite field vector spaces. In the Euclidean case \[ Q(x)=x_1^2+\cdots+x_n^2, \] it improves, for every even \(n\ge 4\) over arbitrary finite fields, the general exponent \(\frac{n+1}{2}\) obtained by Iosevich and Rudnev to $\frac n2+\frac13.$ The proof is based on the association scheme arising from the level sets of \(Q\). By analyzing the corresponding eigenvalues through Gauss sums and Kloosterman sums, we construct a suitable feasible solution to the Delsarte linear program. This provides a new algebraic-combinatorial method for obtaining distance set estimates over finite fields.

The Kohayakawa--Nagle--Rödl--Schacht conjecture predicts that locally dense graphs contain, asymptotically, at least as many homomorphic copies of any fixed graph as the random graph of the same edge density. We prove that every graph with at least one edge satisfies a natural $L^p$ relaxation of this conjecture in the graphon setting. More precisely, let $F$ be a graph with $m>0$ edges, and let $n$ be the number of non-isolated vertices of $F$. If $$ p\ge \binom {n}{2}/m, $$ then for every $ρ$-locally dense graphon $W$, $$ t(F,W^{\circ p})\ge ρ^{pm}. $$ Equivalently, if $$ W_F(\mathbf x)=\prod_{ij\in E(F)}W(x_i,x_j), $$ then $$ \|W_F\|_{L^p}\ge ρ^{e(F)}. $$ The proof is based on a Hölder uniformization over vertex relabellings, in the spirit of Conlon--Lee. We also prove a more general comparison principle with edge-transitive KNRS supergraphs, yielding sharper exponents whenever $F$ embeds into an edge-transitive KNRS graph. Finally, positive-semidefinite methods give theta-subdivision results: Sidorenko-good graphs are closed under arbitrary uniform theta-subdivisions; the non-uniform theta theorem of Im--Li--Liu admits a Sidorenko-good lift, under the same divisibility assumptions, after removing the parity restriction; and uniform theta-subdivisions of KNRS graphs are regular-KNRS.

We first rewrite the Chmutov and Vignes-Tourneret's three-permutation formula as an explicit hyperedge-partial-duality formula in the two-permutation model, and show that in this model partial duality acts exactly by preserving the support and length of every hyperedge while reversing the $α$-cycles corresponding to the selected hyperedges. Next, using the Cori and Hetyei's construction of the medial map, we define for each hyperedge subset $E'\subseteq E(H)$ a black/white smoothing state $S_{E'}$, and prove rigorously that the state circles of $S_{E'}$ are in bijection with the vertices of the partial dual $H^{E'}$. Consequently, $H^{E'}$ is Eulerian if and only if every state circle has even length. On this basis we prove the following two main theorems: \[ \begin{aligned} H^{E'}\text{ is Eulerian} &\Longleftrightarrow \exists\text{ a crossing-total direction $Ω$ of }M(H) \\ &\hspace{3.35em}\text{such that } E'=D(Ω)\cup T',\quad T'\subseteq T(Ω), \end{aligned} \] \[ \begin{aligned} H^{E'}\text{ is bipartite} &\Longleftrightarrow \exists\text{ an all-crossing direction $Φ$ of }M(H) \\ &\hspace{3.35em}\text{such that } E'=C(Φ). \end{aligned} \] Here $D(Ω)$, $T(Ω)$ and $C(Φ)$ denote, respectively, the sets of all $d$-type, $t$-type and $c$-type hyperedges. Unlike the ribbon-graph case, the hypermap setting exhibits a genuine new obstruction: if some hyperedge-partial dual is bipartite, then every hyperedge of the original hypermap must have even length.

Settling a problem raised by Eccles in 2015, Narayanan in 2026 considers a two-player game in which two captains alternately select players while the opponent decides to which team each selected player is assigned. Moreover, the two teams are required to have equal cardinalities, and Narayanan proved that the second player has a non-losing strategy. In this paper, we study a natural variant in which the teams are allowed to have different cardinalities, and the winner is determined by comparing the average strengths of the two teams. We show that, in this setting, the parity of the total number of players completely determines which player has a non-losing strategy: the first player has a non-losing strategy when the number of players is even, while the second player has a non-losing strategy when it is odd.

We establish a criterion for Property $N_p$ for line bundles on a class of smooth projective toric varieties. More precisely, we prove that if a smooth projective toric variety $X$ of dimension $n\ge2$ satisfies the uniform unimodularity condition and the Thomsen stratification intersection-number condition, then any line bundle $L$ on $X$ with $L\cdot C\ge n-1+p$ for every $T$-invariant curve $C$ satisfies Property $N_p$. We also show that these two conditions hold for several families of toric varieties and are preserved under finite products.

A multiset of $n$ unordered points in $\mathbb{R}^r$ -- a point cloud, or, for $r=2$, a persistence barcode of birth-death pairs -- is a point of the orbit space $\mathbb{R}^{nr}/S_n$ for the symmetric group $S_n$ permuting the rows of an $n \times r$ matrix; a separating family of invariants on this space is exactly a complete set of permutation-independent coordinates. We provide one that is explicit, small, and stable, in the max-plus (tropical) setting: for all $n \geq 1$ and $r \geq 1$, the $\binom{n+r}{r}$ basic $r$-symmetric tropical polynomials, of degree at most $n$, separate the orbits of $S_n$ on $\mathbb{R}^{nr}$. This settles in full a problem left open in [Kubo, J. Pure Appl. Algebra 223 (2019) 72-85], where separation was known only for $r=2$ and special cases of $r \geq 3$, and yields a family far smaller and of lower degree than the general separating sets from Derksen's recent theory of tropical invariants for permutation actions ($nr + (nr)!/n!$ invariants of degree $O(n^2 r^2)$). The proof is elementary and constructive: the basic values are identified with a transportation problem, and the multiset is recovered from the dual by an explicit algorithm. We further show the coordinate map is a bi-Lipschitz embedding for all $n$ and $r$, being an injective max filter bank (via the bi-Lipschitz theory of max filtering), with an explicit Lipschitz constant for the forward bound and a fully explicit, dimension-free distortion when $r=1$. Finally we determine when the pairwise values suffice (exactly $n \leq 3$) and show that invariants on at least three columns and of degree less than $n$ are necessary in general, the obstruction being a standard non-uniqueness configuration from discrete tomography.

A classical extremal problem on progression free sets is to determine the maximum size of a $3$-term arithmetic progression free set in algebraic structures, for instance in intervals of integers or in finite vector spaces. To determine the minimum size of a complete $3$-term arithmetic progression free set is a lower-end analogue of this problem. It is also closely related to complete caps and saturating sets in finite geometry. A simple counting argument shows that the order of magnitude of the minimum size is at least the square root of the cardinality of the structure. Addressing two open problems, we show that this lower bound is essentially tight. First, for every cyclic group $\mathbb{Z}_m$, we give explicit constructions of complete $3$-AP-free sets whose size is less than $2\sqrt m$. For $m\ge81$ the constructed sets satisfy the stronger, so-called complete $(2,-1)$-avoiding property; the remaining cases $m<81$ are covered by a finite verification. Second, we resolve the vector space variant in a weaker sense by showing that for every fixed odd prime $p$ and $\varepsilon>0$, there is a constant $C_{p, \varepsilon}$ such that \[ a(3\text{-}\mathrm{AP},\mathbb{F}_p^n)\le C_{p, \varepsilon}\,n^{1+\varepsilon}\,p^{n/2} =p^{n/2+o(n)} \] holds for the minimum size $a(3\text{-}\mathrm{AP},\mathbb{F}_p^n)$ of a complete 3-AP-free subset of $\mathbb{F}_p^n$, for all $n\ge1$.

We study the two-color distinct-part series \(S_1(q)\), equivalently Andrews' generating function \(v_d(q)\) for strictly concave compositions, and its odd and even companions \(T_o(q)\) and \(T_e(q)\). We determine the coefficients of \(S_1(q)\) modulo \(4\) and obtain a complete criterion for the resulting Ramanujan-type progressions. For the even companion, we give a direct overpartition interpretation of its coefficients and show that two natural partition families are each counted by half of those coefficients. For the eta-normalized odd companion \(C(q)=(q;q)_\infty T_o(q)\), we prove a quintic self-similarity, derive exact vanishing relations and infinite sign changes for its coefficients, and show that \(c(n)\) can be nonzero only when \(24n+28\) is represented by \(x^2+3y^2\).

In this paper, we study the congruence $\binom{qn}{n} \equiv q^n \pmod n$ for a prime base $q$. Motivated by the OEIS sequence \seqnum{A080469} and the conjectural existence of infinitely many ternary solutions of the form $n=3^t p$, we analyze the more general family $n=q^t p$, where $p\neq q$ is prime. Our main result shows that, in this family, the congruence is equivalent to two independent conditions: a congruence modulo $p$ and an inequality in the sum of the digits. This reduces the search for such solutions to factoring an explicit integer and applying a base-$q$ digit-sum filter. We use this criterion to produce new large solutions for $q\in\{2,3,5,7,11\}$. We also prove that square solutions $n=p^2$ are exactly governed by Wieferich primes in base $q$.

A graph $G$ is $(t+1)K_{r+1}$-free if it contains no $t+1$ pairwise vertex-disjoint copies of $K_{r+1}$. Moon [Canad. J. Math. 20 (1968) 95-102] and Simonovits [Theory of Graphs (Proc. Colloq., Tihany, 1966)] independently determined that, for sufficiently large $n$, $K_{t}\vee T_{r}(n-t)$ is the unique $n$-vertex $(t+1)K_{r+1}$-free graph with the maximum number of edges. In 2023, Ni, Wang and Kang [Electron. J. Combin. 30 (2023) \#P1.20] showed that the graph $K_{t}\vee T_{r}(n-t)$ is also the unique adjacency spectral extremal graph over all $n$-vertex $(t+1)K_{r+1}$-free graphs for sufficiently large $n$. In this paper, for $r\geq 3$ and $t\geq 0$, we prove that $K_{t}\vee T_r(n-t)$ is the unique graph attaining the maximum signless Laplacian spectral radius among all $(t+1)K_{r+1}$-free graphs of sufficiently large order $n$.

We show that list $3$-coloring a~$C_4$-free graph of diameter-$2$ can be done in polynomial-time. Our algorithm is based on a structural characterization showing that many such graphs are not~$3$-colorable. In particular, we show that~$C_4$-free graphs of diameter-$2$ without universal vertices, where the maximum degree is at least~$17$, are not~$3$-colorable.

Let $w_1, \dots, w_m$ be positive real weights whose sum is $1$, and let $v_1, \dots, v_m$ be i.i.d. Bernoulli$(p)$ random variables. If we let $X=\sum_{i=1}^m w_i v_i$, then we conjecture that for all $0\leq p\leq 1/3$ we have \[\mathbb{P}\big[X\geq \mathbb{E}[X]\big]\geq p.\] In this short note, we observe a connection of this conjecture with a version of the Manickam-Miklós-Singhi conjecture, which allows one to prove it for sufficiently small values of $p$.

In this paper we prove a generalisation of the concentration-of-measure phenomenon in the discrete cube. In this setting, the concentration-of-measure phenomenon states that for every subset $\mathcal{A}$ of the discrete cube, its sum with a Hamming ball of suitably large radius $r$ -- or equivalently, its $r$-expansion -- results in a substantial increase in measure. We define a notion of `$(γ,C)$-well-spread' for subsets of the discrete cube $\{0,1\}^n$ for which the following holds: for all $ε$, there exist constants $γ$ and $C$ such that for every $\mathcal{A}$ with $|\mathcal{A}| \geq \epsilon2^n$ and every $(γ,C)$-well-spread $S$, $|\mathcal{A} + S|$ is at least $(1-ε)2^n$. We use this result to prove new non-trivial upper bounds to two intersection problems: how many subsets (or subgraphs) can one take from $[n]$ or $[\binom{n}{2}]$ such that every pair's intersection contains some given substructure? We prove non-trivial upper bounds for the $C_4$-intersection problem and the $4$-AP-intersection problem. We also give upper bounds that tend to $0$ for the $H$-intersection problem and $k$-AP-intersection problem as the number of edges and $k$ tend to infinity. Previously, non-trivial upper bounds were only known for non-bipartite $H$ and nothing was known for the $k$-AP-intersection problem.

Given a set $R$ of positive integers, an $R$-graph $H = (V, E)$ is a hypergraph where the cardinality of each hyperedge belongs to $R$. If $R = \{r\}$, we sometimes refer to the hypergraph as an $r$-graph rather than an $R$-graph. For a set $S \subseteq V$, let $d_H(S)$ denote the number of hyperedges of $H$ containing $S$. Given a nonnegative integer $s$, the minimum $s$-degree $δ_s(H)$ is the minimum of $d_H(S)$ over all $s$-vertex subsets $S$ of $V$. Let $r$ and $t$ be positive integers with $r < t$. We denote by $C_t^r$ the $t$-vertex $r$-uniform tight cycle, which is an $r$-graph with at least three hyperedges whose vertices admit a cyclic ordering such that every $r$ consecutive vertices form a hyperedge. In particular, $C_t^2$ is the classical cycle $C_t$ in $2$-graphs. For hypergraphs $F$ and $H$, we say that $H$ is a Berge-$F$ if there exist an injection $f \colon V(F) \to V(H)$ and a bijection $g \colon E(F) \to E(H)$ such that $\{f(v): v \in e\} \subseteq g(e)$ for all $e \in E(F)$. Lu and Wang [Discrete Math. 344 (2021), 112462] proved that every $[3]$-graph $H$ on $n \geq 6$ vertices with $δ_2(H) \geq 1$ contains a Berge-$C_t$ for all $3 \leq t \leq n$. In this paper, we prove that for any positive integer $r$ and any set $R \subseteq [k]$ with $k \geq 2$, there exists an integer $n_0 = n_0(k,r)$ such that every $R$-graph $H$ on $n \geq n_0$ vertices with $δ_r(H) \geq 1$ contains a Berge-$C_t^r$ for all $r+1 \leq t \leq n$. In particular, when $k = 4$ and $r = 3$, we show that every $[4]$-graph $H$ on $n \geq 9$ vertices with $δ_3(H) \geq 1$ contains a Berge-$C_t^3$ for all $4 \leq t \leq n$. We also characterize all the counterexamples when $4 \leq n \leq 8$.

We consider a random recursive DAG $G_n$ on the vertex set $[n]$ where every vertex $i\geq 2$ has out-degree $d$, with the targets chosen uniformly at random among the earlier $i-1$ vertices. For this model, we propose a novel way to investigate the descendants of $n$ (which have recently been studied in a paper by Janson) through what we call ancestry processes. The ancestor process $a_i(n)$ of a vertex $i$ is defined as the number of ancestors of $i$ in $G_n$, and is closely related to the evolutions of multi-draw Pólya urns. Results on the descendants can then be obtained via asymptotic results on functionals of the ancestry processes, generally leading to technical integral expressions. This method yields the answer to two questions posed by Janson, the first on the size of the joint descendants of vertices $n$ and $n+1$, and the other on the location of the earliest non-descendant. We further prove limit theorems for the ancestry processes $a_i(n)$ depending on $i$, determine the location of the earliest source node, and provide an alternative proof of a first-moment result contained in Janson's work.

Let $G=GL(n)$ be the $n\times n$ complex general linear group and let $\B_{n}$ be its flag variety. A Borel subgroup $B$ of $G$ acts on $\B_{n}\times \mathbb{P}^{n-1}$ diagonally with finitely many orbits. In this paper, we give an embedding of the $B$-orbits on $\B_{n}\times \mathbb{P}^{n-1}$ into the $B$-orbits on the flag variety $\B_{n+1}$ of $GL(n+1)$ and show that this correspondence respects closure relations and preserves monoid actions. As a consequence both closure relations and monoid actions on the set of all $B$-orbits on $\B_{n}\times\mathbb{P}^{n-1}$ can be understood via the Bruhat order on the symmetric group on $n+1$ letters by using our results in \cite{Shpairs}. This amplifies work of Magyar \cite{Magyar} by making the closure relation more transparent and allows us to compute the monoid action using Demazure products. If $S_i$ is the stabilizer in $B$ of the line through the ith standard basis vector, we give an embedding of the $S_i$-orbits on $\B_n$ into the $B$-orbits in a single $G$-orbit in $\B_{n+1},$ and this embedding plays an essential role in the above results. We extend results from our papers \cite{CE21I}, \cite{CE21II}, and \cite{Shpairs}, and in particular show that for $S_i$-orbits on $\B_n,$ the closure ordering is given by the Richardson-Springer standard order.

Let $P=\{x_1,\ldots,x_n\}$ be a multiset consisting of $n\ge 2$ real numbers such that $\sum_{i=1}^{n}x_i=0$ and $\sum_{i=1}^{n}|x_i|>0$, and let $k <n$ be a positive integer. We sample $k$ elements from $P$ without replacement and set $X_P$ be the sum of the elements in our sample. It is shown that the Shannon entropy of $X_P$ satisfies \[ \mathbf{H}(X_P) \ge \mathbf{H}(\text{Ber}(k/n)) \, , \] where $\text{Ber}(k/n)$ is a Bernoulli random variable of mean $k/n$. The result is sharp, and may be seen as an entropic analogue of the Manickam-Miklós-Singhi (MMS) conjecture.

Burr, Erd\H os, Graham, and Sós introduced the maximal anti-Ramsey function $χ_{\mathrm{S}}(n,e,L)$, the minimum number of colors required over all $n$-vertex graphs with at least $e$ edges such that every copy of $L$ is rainbow. In \cite{BEGS1989}, they posed the following two problems: (i) Is it true that there exists $C>0$, such that for all $u\ge 1$, $χ_{\mathrm{S}}\left(n,\lfloor un \rfloor,P_4 \right)<Cu$ holds for all sufficiently large $n$? (ii) Is it true that for all $ε>0$, there exists $c(ε)>0$ such that for all sufficiently large $n$, \\ $χ_{\mathrm{S}}\left(n,\binom{n}{2}-\lfloor n^{2-ε} \rfloor,P_4 \right)>c(ε)n^{2}$? In this note, we give an affirmative answer to the first problem and a negative answer to the second problem. For the first problem, our proof uses a local density inequality with strong edge-colorings of odd Kneser graphs. In particular, our proof uses the characterization by Lužar, Máčajová, Škoviera, and Soták of~$k$-regular graphs whose strong chromatic index equals~$2k-1$. For the second result, our main tool is the construction of Alon, Moitra, and Sudakov. We show that for every fixed~$0<ε<1/2$ there exist~$γ>0$ and arbitrarily large~$n$ such that~$χ_{\mathrm{S}}\bigl(n,\tbinom{n}{2}-\lfloor n^{2-ε}\rfloor,P_4\bigr)\;\le\; n^{2-γ}=o(n^{2}).$

Let $G$ be a finite group with $|G|=p^m$ where $p$ is a prime and $m$ is a positive integer. Let $k<p$. Let $a_1,\ldots,a_k\in G$ be pairwise distinct and let $b_1,\ldots,b_k\in G$. Then there exists a permutation $σ$ on $1,\ldots,k$ such that $a_1b_{σ(1)},\ldots,a_kb_{σ(k)}$ are pairwise distinct. This extends a theorem of Feng, Sun and Xiang, who proved that the conclusion holds in abelian $p$-groups.

We prove Seymour's second neighborhood conjecture on oriented graphs whose minimum out-degree is equal to $7$. This gives, to our knowledge, the first improvement of the minimum out-degree threshold in two decades, since the work of Kaneko and Locke in 2001, who resolved the conjecture for oriented graphs whose minimum out-degree is at most $6$. The proof is partially computer-assisted: after a sequence of local reductions, the remaining finite obstruction models are eliminated by reproducible OR-Tools CP-SAT infeasibility checks.

Naslund and Sawin used the slice-rank method for diagonal tensors to prove that $$|\mathcal{F}|=O\!\left(n^{1/2}\left(\frac{3}{2^{2/3}}\right)^n\right)$$ for any sunflower-free family $\mathcal{F}\subseteq 2^{[n]}$. We prove a lemma similar to the slice-rank lemma for the newly defined $i$-triangular tensors, and use it to achieve a polynomial-factor improvement of the bound of Naslund and Sawin by proving that $$|\mathcal{F}|=O\!\left(n^{1/6}\left(\frac{3}{2^{2/3}}\right)^n\right)$$ for any sunflower-free family $\mathcal{F}\subseteq 2^{[n]}$.

We show that, when $d=o(n)$, every $d$-regular $n$-vertex graph contains a spanning subgraph whose degree distribution is nearly uniform, i.e., for each $0\leq i\leq d$, there are $(1+o(1))n/(d+1)$ vertices with degree $i$. This proves a conjecture of Alon and Wei on irregular subgraphs and strengthens a previous result of Fox, Luo and Pham.