On the sunflower property and the galah property

2026-06-11T17:54:08Z

Sunflowerability, or the infinite sunflower property, was introduced and studied by Ackerman, Karker and Mirabi as a structural generalization of the well-known Δ-system lemma for sets. It turns out that for relational Fra\''issé limits with strong amalgamation, this property is equivalent to the so-called galah property, which was introduced by Sullivan and Winkel as an asymmetric variation of indivisibility. This paper is about these two properties and is divided into three parts. In the first part, we show that the conjecture proposed by Ackerman, Karker and Mirabi about the infinite sunflower property in higher dimensions is far from being true by proving that no infinite structure has the infinite n-sunflower property in dimension k for any n, k \geq 2. In the second part, we give a complete characterization of the galah property for Henson directed graphs, homogeneous metric spaces and homogeneous ultrametric spaces, thereby answering the second question asked by Sullivan and Winkel. The third part contains several additional results about the finite sunflower property, including a strengthening of recent results about indivisibility for some classes of undirected graphs obtained by Guingona et al..

A local bijection between alternating sign matrices and descending plane partitions and a Striker--Fulmek-type $q$-statistic

2026-06-11T17:53:29Z

We prove a local bijection between alternating sign matrices (ASMs) and descending plane partitions (DPPs) in the refined fibres of Behrend--Di Francesco--Zinn-Justin. The map is constructed by moving a boundary line through the ASM and DPP pictures. At each step only a bounded neighbourhood of that boundary is changed. In growth-diagram language, the boundary states are ordinary ASM row frontiers and shifted DPP path frontiers, and the elementary moves are reversible Fomin-type square rules. The proof checks that overlapping local moves are confluent, that every square is invertible, and that the completed boundary again satisfies the ordinary ASM and DPP coordinate inequalities. The only terminal choice is resolved by a radius-two fan rule on the visible height contour. The same local framework gives a statistic on refined ASMs whose generating function is the DPP degree enumerator. The statistic has a Striker--Fulmek quadratic core \[ Q_{\rm SF}(A)= \sum_{1\le r

Nearly tight exponents for off-diagonal Ramsey numbers

2026-06-11T17:50:39Z

We construct a new family of $K_s$-free graphs that leads to improved lower bounds for Ramsey numbers across a wide range of parameters. For any fixed $s \ge 4$, we show that the off-diagonal Ramsey numbers satisfy $r(s, k) \ge k^{s-2 + o(1)}.$ For $s \ge 6,$ this improves the best known lower bound of the form $r(s, k) \ge k^{\frac{s+1}{2} + o(1)}$ which was first established by Spencer in 1977 and has since only seen logarithmic improvements. This nearly matches the best known upper bound which is of the form $r(s, k) \le k^{s-1 + o(1)}$ and which is widely believed to give the correct exponent. More generally, we show that if $s, k/s \rightarrow \infty$, then $r(s, k) = \left(\frac{k}{s}\right)^{(1+o(1)) s},$ where the upper follows from the seminal work of Erdős and Szekeres in 1935. We also obtain improved lower bounds for Ramsey numbers extremely close to the diagonal as well as for diagonal multicolor Ramsey numbers.

A kernel for the maximum agreement forest problem on multiple binary phylogenetic trees

2026-06-11T17:47:18Z

The maximum agreement forest (MAF) problem in phylogenetics takes as input a set t >= 2 of binary phylogenetic trees T on the same set of taxa X. It asks for a partition of X into the smallest number of blocks such that the subtrees induced by these blocks are disjoint and have common topology across all the trees in T. We produce a modified version of the well-known chain reduction rule in order to prove that after exhaustive application of reduction rules each tree has O( t * r * k ) leaves, where k is the natural parameter (the number of blocks) and r=min{max{k,3},t+1}}. We prove this bound for both the unrooted and rooted version of the problem, and demonstrate that the bound r, the length to which common chains are truncated, is tight. Our results constitute the first kernels for MAF in the t>2 regime.

Mixing times of one-sided $k$-transposition shuffles

2026-06-11T17:43:03Z

We study mixing times of the one-sided $k$-transposition shuffle. We prove that this shuffle mixes relatively slowly, even for $k$ big. Using the recent ``lifting eigenvectors'' technique of Dieker and Saliola and applying the $\ell^2$ bound, we prove different mixing behaviors and explore the occurrence of cutoff depending on $k$.

Growth of Approximate Groups in Hyperbolic Groups

2026-06-11T17:42:31Z

We prove a growth dichotomy for infinite approximate groups, and more generally approximate semigroups, in hyperbolic groups. If $G$ is a finitely generated hyperbolic group and $A\subseteq G$ is infinite with \[ A^2\subseteq AX \] for some finite $X\subseteq G$, then either $\langle A\rangle$ is virtually cyclic, or $A$ has positive exponential growth in the ambient word metric. We also introduce a product-growth criterion for the existence of growth rates of approximate semigroups. The criterion applies to hyperbolic groups: if $G$ is hyperbolic with finite generating set $S$, then there is a constant $c_{G,S}>0$ such that \[ |UV| \geq c_{G,S}\,\frac{|U||V|}{n+k+1}, \qquad U\subseteq B_n,\; V\subseteq B_k. \] The linear loss is optimal in order whenever $G$ contains an element of infinite order. In the free group with its standard generating set one may take $c_{G,S}=1/4$. We also prove that, in a free group, if $U\subseteq S_n$ and $V\subseteq S_k$, then \[ |UV|\geq \left(\frac{2}{3}+\frac{1}{3\cdot 4^{\min\{n,k\}}}\right)|U||V|, \] and this constant is sharp for all $n,k$.

Split primes and the Elekes-Rónyai problem

2026-06-11T17:31:36Z

There exist an absolute constant $c>0$ and arbitrarily large finite sets $A\subset \mathbb{R}$ with $$\left| \left\{x+y+(x-y)^2:\ x, y \in A\right\}\right| \le|A|^{2-c}.$$ Since $x+y+(x-y)^2 \in \mathbb{R}[x,y]$ is a polynomial which is neither additive nor multiplicative, this provides a counterexample for the Elekes-Rónyai problem.

Some new modular Nahm sums of ranks 3 and 4

2026-06-11T17:12:03Z

We discover six new families of modular Nahm sums in ranks 3 and 4. Two of them are rank three sums obtained by modifying two of Zagier's rank three examples. Three rank four families are derived by applying the lift-dual operation to the rank three tadpole Nahm sums studied by Milas and Wang, while the other rank four family is found by the constant term method. To prove modularity, we establish Rogers-Ramanujan type identities that express these Nahm sums as infinite products which are modular.

Optimal Proximity Bound and Product Function Estimates in Integer Linear Programming

2026-06-11T17:04:01Z

We obtain an optimal proximity bound for integer linear programs in standard form max{cx: Ax=b, x nonnegative integer}, where A is an integer mxn matrix of rank m

Revisiting the Hales--Jewett Theorem

2026-06-11T16:45:20Z

This short note establishes an abstract Hales--Jewett theorem for semigroups equipped with a finite family of retractions. The proof relies on the interplay between retractions and tensor products of ultrafilters.

On the non-existence of skew-Hadamard difference sets in certain non-abelian groups

2026-06-11T16:22:43Z

A skew-Hadamard difference set (SHDS) in a finite group $G$ is a classical combinatorial object with deep connections to design theory, coding theory, group theory, and the construction of Hadamard matrices. Even though the abelian case has been extensively studied -- with strong structural constraints known, such as the necessity of $G$ being a $p$-group for some prime $p \equiv 3 \pmod{4}$ -- there are still some open questions regarding existence of SHDSs for the abelian case. The non-abelian case remains largely unexplored, despite the known existence of non-abelian SHDSs. In this paper, we establish new necessary conditions on the order and structure of a finite group $G$ that admits an SHDS. These results provide the first general structural restrictions for SHDSs in non-abelian groups. In particular, we prove that if a group $G$ is nilpotent and admits an SHDS, then $G$ is a $p$-group. Our method makes use of the structure of the rational group algebra, and completely avoids the use of the group characters.

Weak order: Alternating sign matrices, monotone triangles, and bumpless pipe dreams

2026-06-11T16:09:05Z

In 2018, Hamaker and Reiner introduced weak order for monotone triangles, which extended the usual notion of weak order on the symmetric group. Monotone triangles on $\{1, \ldots, n\}$ are well-known to be in bijection with the set ASM$(n)$ of $n \times n$ alternating sign matrices. Hamaker and Reiner defined weak order on ASM$(n)$ to be induced from weak order on monotone triangles via the standard bijection. Recently, the present authors used an a priori different definition of weak order on ASM$(n)$ to give a combinatorial characterization of the codimension of ASM varieties and to show that the natural K-theoretic representatives of these varieties satisfy a divided difference recurrence. In the present work, we establish compatibility of these definitions of weak order on ASM$(n)$. Additionally, we give three different explicit means of computing weak order covering relations on ASM$(n)$: on ASMs themselves, on monotone triangles in a manner different from that given by Hamaker and Reiner, and on bumpless pipe dreams, which are a newer family of combinatorial objects also in correspondence with ASMs. Finally, using the language of bumpless pipe dreams, we characterize the fibers of the weak order operators, each of which forms a sublattice of the strong Bruhat order on ASM$(n)$.

Growing Binary Trees

2026-06-11T15:58:54Z

This paper introduces a new combinatorial framework for modeling the growth of binary trees through a discrete evolution process that incorporates a growing rule and an extinction rule. Building upon the theory of increasingly labeled structures and the analysis of polynomial iterates, we extend previous models of increasing trees with label repetitions by allowing growth branches to terminate. This mechanism enables a direct connection between dynamic evolutionary processes and classical unlabeled binary trees. We provide a combinatorial outlook for this model, linking our new approach to essential but traditionally complex parameters such as tree height, the maximum number of leaves at the deepest level (for a given tree size), and the overall tree profile. Our approach reveals structural links with Mandelbrot polynomials and coding theory. Furthermore, we leverage these structural insights to develop an efficient, iterative uniform random sampler for binary trees with a prescribed profile, achieving optimal complexity in both time and space and in random bit consumption.

Wang-Qiu-Hu switching and isomorphism

2026-06-11T15:56:41Z

Cospectral graphs (graphs that share the same eigenvalues) expose the limitations of using the graph spectrum to uniquely identify graphs, and they also help to understand what structural properties a graph spectrum cannot capture. Switching methods, which are standard tools for constructing cospectral graphs, require specific structural and algebraic conditions to hold for the operation to preserve the graph's spectrum. However, there is no guarantee that the obtained cospectral switched graph is non-isomorphic. In this paper we study this isomorphism problem for a recent and prolific switching method to produce cospectral graphs with respect to the adjacency spectra: Wang-Qiu-Hu (WQH) switching. We do so by using common-neighbour multisets associated with a WQH partition, which allows us to derive an external common-neighbour criterion for certifying non-isomorphism after WQH-switching. Then, we apply the new criterion to clique extensions and to weak tensor products, with coclique extensions as a special case. As an application we obtain infinite families of cospectral non-isomorphic graphs, including some known constructions. Finally we extend the conditions of WQH-switching to generalized adjacency matrices and, under an additional degree condition, to Laplacian and signless Laplacian matrices.

Covering half-grids with lines and planes

2026-06-11T15:43:42Z

We study hyperplane covering problems for finite grid-like structures in $\mathbb{R}^d$. We call a set $\mathcal{C}$ of points in $\mathbb{R}^2$ a conical grid if the line $y = a_i$ intersects $\mathcal{C}$ in exactly $i$ points, for some $a_1 > \cdots > a_n \in \mathbb{R}$. We prove that the number of lines required to cover every point of such a grid at least $k$ times is at least $nk\left(1-\frac{1}{e}-O(\frac{1}{n}) \right)$. If the grid $\mathcal{C}$ is obtained by cutting an $m \times n$ grid of points in half along one of the diagonals, then we prove the lower bound of $mk\left(1-e^{-\frac{n}{m}}-O(\frac{n}{m^2})\right)$. In general, we call a grid obtained by cutting a grid in $\mathbb{R}^d$ along one of the diagonals a half-grid. Motivated by the Alon-Füredi theorem on hyperplane coverings of grids that miss a point and its multiplicity variations, we study the problem of finding the minimum number of hyperplanes required to cover every point of an $n \times \cdots \times n$ half-grid in $\mathbb{R}^d$ at least $k$ times while missing a point $P$. For almost all such half-grids, with $P$ being the corner point, we prove asymptotically sharp upper and lower bounds for the covering number in dimensions $2$ and $3$. For $k = 1$, $d = 2$, and an arbitrary $P$, we determine this number exactly by using the polynomial method bound for grids.