arXiv++ Combinatorics

Bass-Serre theory provides a powerful framework for studying group actions on trees. While extremely effective for structural questions in group theory, it is less suited to the systematic construction of group actions with prescribed local behaviour. Motivated by local-to-global constructions such as the Burger-Mozes universal groups and local action diagrams, we develop an analogue of Bass-Serre theory for group actions. The central object of study in our are graphs of group actions, combinatorial structures similar to graphs of groups from Bass-Serre theory, encoding compatible local permutation actions on a base graph. From these we can construct groups which act on tree-like graphs called scaffoldings and hence also on trees. We prove uniqueness and universality results for the resulting groups and show that our framework unifies and generalises (among other known constructions) both graphs of groups and local action diagrams. Remarkably, we are able to encapsulate the full generality of the former while still allowing for efficient construction of groups with certain local properties like in the latter.

We introduce the priority lattice, a structure arising from the priority search algorithm on rooted trees and forests. We prove bijectively that its maximal chains are labeled by parking functions, and that the maximal chains of its principal ideals are labeled by partial parking functions. We establish that it is a graded lattice and compute its Möbius function and characteristic polynomials.

Given two functions $\mathbf{a}\!:\! [n] \rightarrow [n]$ and $\mathbf{b}\!:\! [n] \rightarrow [n]$ chosen uniformly at random, any word $w=w_1w_2\dots w_k\in \{a,b\}^k$ induces a random function $\mathbf{w}\!:\! [n] \rightarrow [n]$ by composition, i.e. $\mathbf{w}=φ_{w_k}\circ \dots \circ φ_{w_1}$ with $φ_a=\mathbf{a}$ and $φ_b=\mathbf{b}$. We study the following question: assuming $w$ is fixed but unknown, and $n$ goes to infinity, does one sample of $\mathbf{w}$ carry enough information to (partially) recover the word $w$ with good enough probability? We show that the length of $w$, and its exponent (largest $d$ such that $w={u}^d$ for some word ${u}$) can be recovered with high probability. We also prove that the random functions stemming from two different words are separated in total variation distance, provided that certain ``auto-correlation'' word-depending constant $c(w)$ is different for each of them. We give an explicit expression for $c(w)$ and conjecture that non-isomorphic words have different constants. We prove that this is the case assuming a major conjecture in transcendental number theory, Schanuel's conjecture.

We introduce an ${\rm S}_d$-analogue of the hypergeometric Bernoulli polynomials and study their properties. To achieve this goal, we introduce a calculus defined on the simplicial $d$-polytopic numbers. Two definitions of the ${\rm S}_d$-derivatives are given. These two definitions allow us to derive an identity relating Kummer confluent hypergeometric function and Touchard polynomials. This calculus is closely related to the $d$-Hoggatt binomial coefficients. ${\rm S}_d$-analogs of the exponential function and the hypergeometric functions are given.

In a cluster algebra, a subset of initial cluster variables can be specialised in such a way that all elements of the resulting algebra become polynomial in the remaining variables.

We determine the thickness of the Cartesian product $K_{6p+4} \square P_2$ for $p \ge 0$ and of the Cartesian product $K_8 \square P_m$ for $m \ge 1$, where $K_n$ and $P_m$ denote the complete graph on $n$ vertices and the path on $m$ vertices, respectively.

A complete structural characterization of graphs with no $K_{3,4}$ minor is obtained, and the following consequences are established. Every $4$-connected non-planar graph with at least seven vertices and minimum degree at least five contains both $K_{3,4}$ and $K_6^-$ as minors, thereby proving a conjecture of Kawarabayashi and Maharry in a strengthened form. Moreover, every $4$-connected graph with no $K_{3,4}$ minor is hamiltonian-connected, extending a theorem of Thomassen, and admits an embedding on the torus.

In 1976, Burr and Erdős conjectured that if $k\mathbb{Z} + \ell$ contains an even integer, there exists a constant $c$ such that every graph with at least $cn$ edges contains a cycle of length $\ell \pmod k$. This conjecture was settled for odd $k$ by Bollobás, while Thomassen completed the proof for all $k$ by resolving the case for even residues. Let $c_{\ell,k}$ denote the smallest constant such that every $n$-vertex graph with at least $c_{\ell,k}n$ edges contains a cycle of length $\ell \pmod{k}$. $k$ cycles are said to be admissible if they form an arithmetic progression of length $k$ with common difference one or two. The exact value of $c_{\ell,k}$ remains unknown for most $(\ell,k)$. Recently, Gao, Huo, Liu, and Ma showed that every graph with minimum degree at least $k+1$ contains $k$ admissible cycles. In this paper, we provide a sharp size version of their result. As a corollary, we show that $c_{2,k}=k$ for all odd $k$. In 2016, Verstraëte conjectured that every $n$-vertex graph $G$ containing no $k$ cycles of consecutive even lengths has at most $(2k+1)(n-1)/2$ edges, with equality only if every block of $G$ is a clique of order $2k+1$. We prove this conjecture for $2k+2\leq n\leq 4k+1$, and in fact obtain a stronger result in this range.

We provide an explicit construction and a closed dimension formula in terms of hook lengths for the irreducible representations for the symmetric groups $\mathfrak{S}_p$ and the Sergeev superalgebras $\mathcal{Y}_p$ over an algebraically closed field $\mathbb{F}$ of characteristic $p>0$.

In this paper, by the technique of inverse relations and comparing coefficients, we establish some generalized forms of Andrews' q-series identity and two new Bailey pairs and q-identities closely related to Andrews-Warnaar's sum identity for partial theta functions.

For each positive integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with edges given by elementary transfers of one unit between parts, followed by reordering. We study the local simplex dimension in the clique complex $K_n=\Cl(G_n)$ as a geometric thickness invariant of $G_n$. For a partition $λ\vdash n$, let $τ_n(λ):=\dim_{\mathrm{loc}}(λ)$ be its simplicial thickness. This gives threshold thick zones $T_{\ge r}(n)=\{λ: τ_n(λ)\ge r\}$ and, relative to the boundary framework of $G_n$, a shell/core decomposition into outer shells $Sh_r(n)$ and inner cores $Core_r(n)$. Using local-morphology results established earlier in the series, we work with simplicial thickness as a local invariant. We prove that it is preserved by conjugation, that the induced thick zones, shells, and cores are conjugation-invariant, and that the antennas remain strictly one-dimensional in the simplicial sense and are excluded from all nontrivial thick zones. The first shell order at which a nontrivial shell can occur is therefore $2$, and the corresponding shell $Sh_2(n)$ is the triangular skin, while higher simplicial regimes form nested higher-order shells inside the triangular regime. We also develop a complete finite computational atlas for $1\le n\le 30$, giving first-occurrence tables for the regimes $T_{\ge r}(n)$ and supporting a finite-range rear-central thickening pattern.

We prove that every $3$-graph $H$ on $n$ vertices with minimum codegree $δ_2(H) \geq 7n/9 + o(n)$ contains the square of a tight Hamilton cycle. This strengthens a theorem of Bedenknecht and Reiher that $δ_2(H) \geq 4n/5 + o(n)$ is sufficient. The central novelty of our arguments is an improved understanding of the connectivity structure of $3$-graphs with large minimum codegree.

This paper investigates the Fréchet mean of the Erdős-Rényi random graph $G_{n,p}$ with respect to the Frobenius distance on graph Laplacians, a metric that captures global structural information beyond local edge flips. We first characterize the Fréchet mean set as consisting of quasi-regular graphs (i.e., graphs where all vertex degrees differ by at most one). We then analyze the asymptotic behavior of the Frobenius distance $F_n=d_{\mathrm{F}}(G_{n,p},R)$ as $n\to\infty$, where $R$ is any Fréchet mean. Closed-form expressions for the mean and variance of $F_n^2$ are derived, which are invariant to the choice of $R$. Leveraging these results, we establish several weak convergence laws for the Frobenius distance over all regimes of $p \in (0,1)$ as $n \to \infty$. Finally, under the scaling condition $n^2 p(1-p) \to \infty$ we prove the asymptotic normality of this distance, which exhibits a phase transition governed by the growth rate of $np(1-p)$. Our results reveal how metric selection fundamentally shapes Fréchet mean geometry in random graphs.

The study of Ramsey-type problems for linear equations originated with Schur's theorem and was later placed in a systematic framework by Richard Rado. In the off-diagonal setting, one fixes a pair of distinct linear equations $(\mathcal{E}_1, \mathcal{E}_2)$ and asks for the least integer $N$ such that every red--blue coloring of $\{1, 2, \dots, N\}$ must yield either a red solution to $\mathcal{E}_1$ or a blue solution to $\mathcal{E}_2$. This threshold integer is referred to as the off-diagonal Rado number of the system $(\mathcal{E}_1, \mathcal{E}_2)$. In this work, we study the discrete and continuous off-diagonal Rado number for non-homogeneous linear system of equations $x+y+c=z$ and $x+y+k=z$ where $c\le k$. We determine the exact two-color discrete and continuous off-diagonal Rado number $R_2(c,k)$ associated with this system of equations.

The cyclic sieving phenomenon was introduced by Reiner, Stanton and White in 2004 as a generalization of Stembridge's $q=-1$ phenomenon. In a paper from 2008, Eu and Fu studied many occurrences of this phenomenon on the faces of the generalized cluster complex with the action of the Fomin-Reading rotation in the classical types $A_n$, $B_n$, $D_n$ and $I_2(k)$. There was yet no known uniform $q$-analogue of the $k$-face numbers of these complexes. In a more recent paper from 2023, Douvropoulos and Josuat-Vergès provided a refinement of the enumeration of the faces of the generalized cluster complex using a uniform formula. For a parabolic subgroup $W_X \subset W$ of the associated Coxeter group $W$, their formula factorises nicely under the assumption that $N_W(W_X)/W_X$ acts as a reflection group on $X$, which is very often the case. Using this condition, we provide a uniform refinement of these cyclic sieving phenomena using a $q$-analogue of their main formula with a type by type proof based on the classification of finite irreducible Coxeter groups.

In this work, we investigate the connections between dominating sets, private neighbors, and perfect codes in graphs, and their relationships with commutative algebra. In particular, we estimate the $\vt$-number of closed neighborhood ideals in terms of minimal dominating sets and private neighbors. We show how the $\vt$-number is related to other graph invariants, such as the cover number, domination number, and matching number. Moreover, we explore the relation with the Castelnuovo-Mumford regularity, proving that the $\vt$-number is a lower bound for the regularity of bipartite and well-covered graphs. Finally, drawing from the relation between efficient dominating set and perfect codes, we use the redundancy of Hamming codes to present lower and upper bounds for the $\vt$-number of some special family of graphs.

$k$th-order sum-free functions are a natural generalization of APN functions using the concept of (non)vanishing flats. In this paper, we introduce a new combinatorial technique to study the nonvanishing flats of Boolean functions. This approach allows us to determine the number of nonvanishing flats for an infinite family of Boolean functions. We moreover use it to show that any $k$th-order sum-free $(n,n)$-function of algebraic degree $k$ gives rise to an $(n-k)$th-order sum-free $(n,n)$-function of algebraic degree $n-k$. This implies the existence of millions of $(n-2)$th-order sum-free functions.

Aromatic Butcher series were successfully introduced for the study and design of numerical integrators that preserve volume while solving differential equations in Euclidean spaces. They are naturally associated to pre-Lie-Rinehart algebras and pre-Hopf algebroids structures, and aromatic trees were shown to form the free tracial pre-Lie-Rinehart algebra. In this paper, we present the generalisation of aromatic trees for the study of divergence-free integrators on manifolds. We introduce planar aromatic trees, show that they span the free tracial post-Lie-Rinehart algebra, and apply them for deriving new Lie-group methods that preserve geometric divergence-free features up to a high order of accuracy.

We study generalizations of two classical primary constructions of Boolean bent functions, namely the Maiorana-McFarland ($MM$) class and the (Desarguesian) partial spread ($\mathcal{PS}_{ap}$) class. The construction of bent functions lying outside the completed $MM$ class has attracted considerable attention in recent years. In this direction, we construct families of generalized Maiorana--McFarland bent functions that are not equivalent to any function in the classical $MM$ or $\mathcal{PS}_{ap}$ classes, and hence lie outside their completed classes. As a second contribution, we investigate the decomposition of generalized $\mathcal{PS}_{ap}$ functions. We prove that when the degree is sufficiently small relative to the size of the underlying finite field, such functions do not, in general, admit a decomposition into bent or semibent functions. Consequently, they cannot be obtained from known secondary constructions based on concatenation. Finally, we present a secondary construction of Boolean bent functions arising from the concatenation of components of vectorial generalized $\mathcal{PS}_{ap}$ functions. Our constructions and proofs rely on classical results concerning second-order derivatives of bent functions and their duals. In addition, we employ methods from the theory of algebraic curves and their function fields.

Computations of Miller and Scheinerman suggest that the vast majority of the zeros appearing in the character table of the symmetric group are of a certain special type. While we cannot prove this, we resolve a conjecture arising in their paper concerning these zeros, and address a related question of Stanley.

In this paper, we extend the enumerative study of planar hypermaps with an alternating boundary introduced in an earlier work of Bouttier and the second author. In that article, an explicit rational parametrization was obtained for the associated generating function in the case of m-constellations, using a variant of the kernel method. We develop here a new strategy to obtain an algebraic equation in the general case, which includes maps decorated by the Ising model, through a classical many-to-one correspondence. One of the main steps of our strategy is the simultaneous elimination of two catalytic variables. We then apply this strategy to the case of Ising quadrangulations, where we obtain an explicit rational parametrization. As a consequence, we show that some notable properties of the constellations case are no longer satisfied in general.

We consider the following question of Knuth: given a directed graph $G$ and a root $r$, can the arborescences of $G$ rooted in $r$ be listed such that any two consecutive arborescences differ by only one arc? Such an ordering is called a pivot Gray code and can be formulated as a Hamiltonian path in the reconfiguration graph of the arborescences of $G$ under arc flips, also called flip graph of $G$. We give a positive answer for tournaments and explore several conditions showing that the flip graph of a directed graph may contain no Hamiltonian cycles.

Let $f(m)$ be the largest integer such that for every set $A = \{a_1 < \cdots < a_m\}$ of $m$ positive integers and every open interval $I$ of length $2a_m$, there exist at least $f(m)$ disjoint pairs $(a, b)$ with $a \in A$ dividing $b \in I$. Solving a problem of Erdős, we determine $f(m)$ exactly, and show $$ f(m)=\min\bigl(m,\lceil 2\sqrt{m}\,\rceil\bigr) $$ for all $m$. The proof was obtained through an AI-assisted workflow: the proof strategy was first proposed by ChatGPT, and the detailed argument was subsequently made fully rigorous and formally verified in Lean by Aristotle. The exposition and final proofs presented here are entirely human-written. [This paper solves Problem #650 on Bloom's website "Erdős problems".]

We prove a general upper bound on the $k$-th adjacency eigenvalue of a graph. For $k\ge 2$, we show that \[ λ_k(G)\le \frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1 \] for every graph $G$ on $n$ vertices. We build on a recent approach that addresses the case $k=3$ and generalize the upper bound for all $k \geq 3$ by using the positivity of Gegenbauer polynomials. The upper bound is tight for $k \in \{2,3,4,8,24\}$. We also highlight the close relation of $λ_k(G)$ to questions about equiangular lines.

The Odd Hadwiger number of a graph $G$ is the largest integer $r$ such that $G$ has a clique of size $r$ as an odd minor. In this paper, we investigate how large is the Odd Hadwiger number of the product of two graphs, when considering any of the four standard graph products: Cartesian, direct, lexicographic, strong. We provide an optimal lower bound in the cases of the strong and lexicographic products.