arXiv++ Combinatorics

Given graphs $H$ and $F$, the generalized Turán number $\mathrm{ex}(n,H,F)$ is the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs. The friendship graph $F_k$ consists of $k$ triangles sharing a common vertex. In this paper, we determine the value of $\mathrm{ex}(n,K_3,(t+1)F_k)$, where $K_3$ is a triangle, $t\geq 1$ is an integer, and $(t+1)F_k$ denotes a union of $(t+1)$ pairwise vertex-disjoint copies of $F_k$. Moreover, we characterize the extremal structure. Our result can be viewed as a generalization of the result of Zhu, Chen, Gerbner, Győri, and Hama Karim, as well as of the remaining case left open by Wang, Ni, Liu, and Kang. In contrast to the extremal graphs of $F_k$, the extremal graphs of $(t+1)F_k$ undergo a fundamental change. This structure is also different from those of previous similar problems.

Multilinear varieties, defined as the sets of rational points of varieties cut out by multilinear functions, were first introduced and studied by Gowers and Milićević[Proc. Edinb. Math. Soc., 2021] for finite $\mathbb{K}$. In this paper, we investigate multilinear varieties over infinite fields from a geometric perspective. We establish two fundamental results: a codimension formula for the Zariski closure of a multilinear variety, and the existence of a high-dimensional irreducible subvariety passing through any given $\mathbb{K}$-rational point. These results serve as a geometric foundation for analyzing various ranks of tensors and homogeneous polynomials, including partition rank, analytic rank, geometric rank, (collective) strength and (collective) Birch rank. As applications, we resolve the Adiprasito-Kazhdan-Ziegler conjecture [arXiv:2102.03659, 2021] on the stability of partition rank for perfect infinite fields. We thereby settle the stability conjecture for collective strength [Selecta Math., 2024], as well as the conjecture on the linear equivalence between strength and Birch rank [arXiv:2410.00248, 2024] for such fields. Moreover, our results immediately yield a strengthening of the theorems of Bik-Draisma-Snowden [arXiv:2401.02067, 2024] and Lampert-Snowden [arXiv:2406.18498, 2024], for multilinear varieties over infinite fields.

We propose a local transformation on bicolored graphs, which we call local homophily, inspired by adaptive networks and based on majority dynamics and homophily. In this transformation, a vertex updates its color to match the majority of its neighbors, while neighbors of the same color become connected and neighbors of the opposite color become disconnected. We show how to simulate Boolean circuits using local homophily and establish that determining whether a given pair of vertices becomes connected under iterative applications of local homophily is $\mathbf{P}$-complete under logspace reductions.

Suppose one has a party of $m$ people, whose expertise collectively covers $n$ topics. Given a subset $T$ of the topics, one wishes to form a panel of $|T|$ people from the party such that $T$ can be covered by assigning a distinct topic to each panel member with the expertise. We show that the numbers of such panels, as $T$ varies, form a Lorentzian polynomial. We achieve this by showing that a certain linear operator on polynomials, which we call the ``inducing operator'' for its connection to induced (poly)matroids, preserves Lorentzian polynomials and realizable volume polynomials.

We show that every $K_4$-free graph on $n$ vertices can be made balanced bipartite by removing at most $\frac{n^2}{9}$ edges. This proves a conjecture of Balogh, Clemen, and Lidický, and generalizes both Sudakov's result on the bipartite distance of $K_4$-free graphs and Reiher's result on the sparse half of $K_4$-free graphs.

We introduce an affine version of Tic-Tac-Toe played on the space $\mathbb{F}_q^m$. Two players alternately claim points, and the first player to occupy all points of an affine subspace of dimension $n$ wins. We refer to such game as an $(m,n)_q$-game. For fixed $n$ and $q$ we study, as a function of $m$, whether the first player has a winning strategy or whether the game is a draw. Using strategy-stealing and a blocking-set interpretation, we show that for each choice of $(m,n,q)$ the game is either winning for the first player or drawing, and we prove that the property of being winning is monotone in the ambient dimension $m$. This leads to the definition of a threshold $T(n,q)$ for which, when it exists, $(m,n)_q$ is drawing for $m<T(n,q)$ and winning for $m\ge T(n,q)$. We obtain general upper bounds on $T(n,q)$ from the multidimensional Ramsey theorem of Graham and Rothschild, and general lower bounds from the Erdős-Selfridge criterion for Maker-Breaker games. For $q=2$ we combine Fourier analysis on $\mathbb{F}_2^m$ with an inductive lifting argument to show that $T(n,2)\le 2^{n+1}$, and we determine several small values explicitly, including, including $T(1,q)=2$ for $q\in\{2,3,4\}$ and $T(2,2)=4$. We also obtain geometric lower bounds from explicit pairing strategies, including $T(n,q)\ge n+2$ for every $n\ge 2$, and we discuss a number of small cases and open problems.

In this paper, we investigate the spectrum of the unit-graph of the ring of $3 \times 3$ matrices over a finite field $\mathbb{F}_q$, which is equivalently the Cayley digraph $ \mathrm{Cay}\!\left((\mathrm{Mat}_3(\mathbb{F}_q),+), \mathrm{GL}_3(\mathbb{F}_q)\right)$. This unit-graph has a vertex set $\mathrm{Mat}_3(\mathbb{F}_q)$ with a directed edge from $A$ to $B$ whenever $B - A \in \mathrm{GL}_3(\mathbb{F}_q)$. Then, two vertices are adjacent precisely when their difference is invertible. With relevant character theory, we consequently demonstrate that the adjacency spectrum of $ \mathrm{Cay}\!\left((\mathrm{Mat}_3(\mathbb{F}_q),+), \mathrm{GL}_3(\mathbb{F}_q)\right) $ consists of four distinct eigenvalues together with their multiplicities. Using the Spectral Gap Theorem for Cayley digraphs, we show that if two subsets of vertices in $\mathrm{Mat}_3(\mathbb{F}_q)$ are sufficiently large, then there are matrices in the two subsets whose difference lies in $\mathrm{GL}_3(\mathbb{F}_q)$. In particular, any sufficiently large subset of $\mathrm{Mat}_3(\mathbb{F}_q)$ contains two distinct matrices whose difference has nonzero determinant. This spectral gap implies that large vertex sets cannot avoid each other and must be connected by at least one edge.

It is a classical fact that every $n$-element set of positive reals has at least $\binom{n+1}{2}+1$ distinct subset sums, with equality exactly for homogeneous arithmetic progressions (when $n\geq 4$). We establish stability versions of this inverse theorem in two regimes. First, for any parameter $M \leq n-4$, we precisely characterize the $n$-element sets of positive reals with at most $\binom{n+1}{2}+1+M$ subset sums. Second, for any constant $C$, we provide a characterization, sharp up to constants, of the $n$-element sets of positive reals with at most $Cn^2$ distinct subset sums. Along the way, we constrain (for any fixed $d \geq 2$) the structure of $n$-element subsets of $\mathbb{R}^d$ with $o(n^{d+1})$ subset sums.

For the OEIS sequence A176677, defined by the quadratic convolution recurrence $a(0) = a(1) = 1$ and $a(n+1) = \sum_{p=0}^n a(p) a(n-p) - 1$ for $n \ge 1$, R.~J.~Mathar contributed in March 2016 the conjectured order-4 P-recursive recurrence \[ (n+1)\,a(n) + 2(-3n+1)\,a(n-1) + (9n-13)\,a(n-2) - 4\,a(n-3) + 4(-n+4)\,a(n-4) = 0. \] We give a short proof. The convolution recurrence translates directly into the algebraic equation $z(1-z) G(z)^2 - (1-z) G(z) + (1 - z - z^2) = 0$ for the ordinary generating function $G(z)$, and Mathar's recurrence then drops out as the coefficient form of a 1st-order linear inhomogeneous ODE $q_0(z) G(z) + q_1(z) G'(z) = R(z)$ that we verify by polynomial division modulo the algebraic equation. The polynomial $q_1(z)$ admits the factorization $q_1(z) = -z(z-1)(2z-1)(2z^2 + 3z - 1)$, whose roots are exactly the singularities of $G$. Deutsch's combinatorial interpretation (Motzkin paths of length $n-1$ with two-coloured level-zero horizontal steps) is preserved.

Let $e(n,s)$ denote the maximum size of a family $\mathcal{F}$ of subsets of an $n$-element set that contains no $s$ pairwise disjoint members. In 1968, answering a question of Erdős, Kleitman determined $e(sm-1,s)$ and $e(sm,s)$ for all integers $m,s\ge 1$. Half a century later, Frankl and Kupavskii determined $e(s(m+1)-\ell, s)$ for $\ell \leq \frac{s-3}{m+3}$. They showed that the corresponding extremal example is closely connected with the extremal example for the Erdős Matching Conjecture, and conjectured that the same remains true for all $\ell \leq s/2$. In this paper, we prove an approximate version of their conjecture for $s\ge s_0(m)$.

This paper studies uniform mixing in continuous-time quantum walks. We show that for some unitary signing $σ$ the complete graph $K^σ_n$ has probabilistic uniform mixing. In contrast, it is known {\em no} complete graph has uniform mixing except for $K_2$, $K_3$, and $K_4$. Our technique is based on a stopping rule for quantum walks which reduces global to local uniform mixing. As a special case, we found an orientation of $H(n,4)$ that mixes to uniform faster than any other Hamming graphs. We also show that there are infinite families of oriented circulants with {\em average} uniform mixing. This is a chiral violation of Godsil's {\em No-Go} theorem which states that no graph has average uniform mixing except for $K_2$.

A graph $G$ is $[a,b]$-covered if for each edge $e$ of $G$ there is an $[a,b]$-factor containing it. For $a=b=1$, an $[a,b]$-covered graph is a matching covered graph. The structural theory of matching covered graphs constitutes a cornerstone of modern matching theory. Determining whether a given graph is matching covered is a fundamental problem in structural graph theory. Lucchesi et al. [SIAM J. Discrete Math., 2018] showed that a connected graph $G$ is matching covered if and only if every barrier of $G$ is a stable set. In this paper, we completely characterize the extremal graphs that maximize the size or the spectral radius among all non-matching-covered graphs. For $a \leq b$ and $b \geq 2,$ Hao and Li [Electron. J. Combin., 2024] investigated the extremal problems on $[a,b]$-factor graphs: If $G$ contains no $[a,b]$-factors, then $e(G)\leq \binom{n-1}{2}+a-1$ with equality if and only if $G\cong H_{n,a},$ where $H_{n,a} = K_{a-1} \vee (K_{n-a} \cup K_1).$ Moreover, if $G$ contains no $[a,b]$-factors, then $ρ(G)\leq ρ(H_{n,a})$ with equality if and only if $G \cong H_{n,a}.$ Judging from the structral characterization, non-$[a,b]$-covered graphs exhibit highly complex structures, making the associated extremal problems significantly challenging. To overcome this, we develop a novel minimum-degree forcing technique. Combining this technique and spectral-structural analysis, we in this paper provide complete characterizations of the extremal graphs that maximize the size or the spectral radius within the set of non-$[a,b]$-covered graphs. An intriguing phenomenon revealed by our results is that $H_{n,a}$ remains both the size-extremal graph and the spectral extremal graph for this larger set of non-$[a,b]$-covered graphs. Consequently, our results strengthen the results of Hao-Li.

Let $G$ be a finite graph on $[n]:=\{1, \ldots, n\}$ and $κ(G)$ its vertex connectivity. Let $S=K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I(G^c)$ the edge ideal of the complementary graph $G^c$ of $G$. It is a classical result that ${\rm depth} S/I(G^c) \leq κ(G) + 1$. We give a sharp lower bound of ${\rm depth} S/I(G^c)$ in terms of $n$ and $κ(G)$. Furthermore, a sharp lower bound of ${\rm depth} S/I(G^c)^2$ as well as that of ${\rm depth} S/I(G^c)^{(2)}$ in terms of $n$ and $κ(G)$ is given.

The proper commuting graph $\mathcal{C}^{**}(G)$ of a finite group $G$ is the simple graph whose vertices are the noncentral elements of $G$ and two distinct vertices are adjacent if they commute. In this paper, we study the domination number and total domination number of proper commuting graphs of finite groups. We first obtain general bounds for the domination number of proper commuting graphs. For finite nilpotent groups, we exploit a strong product decomposition of commuting graphs to derive exact formulas for the domination number. We further determine the exact domination number and total domination number for proper commuting graphs of several well-known families of finite groups, connecting with the centralizers of those groups.

A whirling knight's tour is a Hamiltonian cycle in the digraph of counter-clockwise knight steps about the centre of an $n \times n$ board; its coil count $c$ is the winding number around the centre. We prove that no such tour with $c = n/2$ exists when $n \equiv 4 \pmod 8$ ($n \ge 4$) or $n \equiv 6 \pmod 8$ ($n \ge 6$), settling a conjecture of Beluhov. For each residue class we exhibit a closed-form Farkas certificate for infeasibility of a cycle-cover LP relaxation; the two certificates are structurally distinct.

Ilse Fischer and the second author introduced in [Algebr. Comb. 7 (2024), no. 5, 1319-1345] a two parameter family of polynomials defined as sums over totally symmetric plane partitions and connected to alternating sign matrices and cyclically symmetric lozenge tilings of a hexagon with a triangular hole. In this paper we present several determinantal formulae leading to new lattice path models and a novel family of tableaux. The later illustrates that the polynomials of our interest can be thought of as generalisations of the three dual Littlewood identities.

We present CombOL (Combinatorial Objects Library), an open-source library for the enumeration and Boltzmann sampling of combinatorial classes. Classes can be specified by a concise string syntax, and may depend on an arbitrary number of parameters. CombOL automatically derives the associated generating functions, enabling the generation of counting sequences and the compilation of Boltzmann samplers. The library supports exact and approximate-size Boltzmann rejection sampling with automatic parameter tuning to target specific sizes. In addition to implementing established methods, CombOL contributes a novel early-rejection scheme, as well as guaranteed statistical correctness by dynamically increasing the numerical precision, eliminating bias due to floating-point rounding errors. Through the Python interface, sampled structures can be mapped to application-specific objects, enabling direct sampling of domain objects such as graphs, chemical structure representations, or other complex data types. CombOL is available from PyPI as 'combol' (pypi.org/project/combol). The source code is available at gitlab.com/casbjorn/combol.

Coset geometries are incidence geometries constructed from a group $G$ and a system of subgroups $(G_i)_{i \in I}$ of subgroups of $G$. For any algebraic group operation, it is then natural to wonder whether it can be extended to the framework of coset geometries. This has been achieved in the case of the halving (\cite{halving}) and in the case of free (amalgamated) products, HNN-extensions, and semi-direct products (\cite{piedade2025group}). In this article, we explore more deeply two operations related to semi-direct products: the twisting and the wreath product. We show that these operations extend to coset geometries in such a way that they preserve key properties, such as flag-transitivity, residual-connectedness and being thin. In particular, we can apply twistings and wreath products to polytopes and hypertopes. Doing so, we show that there exists regular polytopes and hypertopes for almost-simple group with socle a sporadic simple group.

We construct sequences $\{a_n\}_{n\in\mathbb{N}}\in\{-1,1\}^{\mathbb{N}}$ with small values of signed harmonic sums \[ \sum_{n\in\mathcal{A}\cap[1,N]}\frac{a_n}{n}, \] for any reasonably dense subsets $\mathcal{A}\subset\mathbb{N}.$ We apply these methods to further construct completely multiplicative functions $f:\mathbb{N}\to\{-1,1\}$ with unusually small logarithmic partial sums, that is, \[ \sum_{n \leq N}\frac{f(n)}{n} \ll \exp\left(-c_0 \frac{N^{1/3}}{(\log N)^{1/3}} \right) \] holds for infinitely many $N\to\infty$. The proofs combine careful analysis of the small-scale distribution of random harmonic sums over subsets of $\mathbb{N}$, together with deterministic inductive arguments inspired by the ``anatomy" of integers.

Motivated by Wegner's conjecture on squares of planar graphs, Thomassen conjectured that every 3-connected cubic graph on at least eight vertices admits a red-blue vertex coloring in which the blue subgraph has maximum degree at most 1, while the red subgraph has minimum degree at least 1 and contains no $P_4$. Such colorings are now called crumby colorings. Although this conjecture was disproved in general by Bellitto, Klimošová, Merker, Witkowski and Yuditsky, positive results of Barát, Blázsik and Damásdi led them, in the same subcubic setting, to conjecture that every $K_4$-minor-free graph admits a crumby coloring. We disprove this conjecture with a connected subcubic partial 2-tree on 18 vertices. We also disprove its natural 2-connected version with a 2-connected subcubic partial 2-tree on 40 vertices with no crumby coloring. Consequently, the obstruction to crumby colorability already occurs within treewidth two, even under 2-connectivity.

We study Keisler measures in strongly n-distal NIP theories, generalizing some results of Simon and Chernikov-Starchenko for distal theories and addressing some questions of Walker. In particular, we establish a hypergraph version of the distal regularity lemma, compact domination for definable fsg groups, and demonstrate that the strong n-distality hierarchy is strict among stable theories using a connection to Poizat's total triviality of forking. We also show that infinite strongly n-distal NIP fields have characteristic 0 using a discrepancy result of Babai-Hayes-Kimmel from multiparty communication complexity.

Let $G$ be a connected graph with vertex set $V(G)$, and denote by $d_G(u,v)$ the distance from $u$ to $v$ in $G$, for any $u,v \in V(G)$. The average distance of an $n$-vertex connected graph $G$, denoted by $μ(G)$, is defined to be the average of all distances between all pairs of vertices in $G$, i.e., $μ(G) = \binom{n}{2}^{-1} \sum_{\{u,v\} \subset V(G)}d_G(u,v)$. The problem of finding a spanning tree of minimum average distance is known to be NP-hard, so establishing an upper bound for the minimum average distance among all spanning trees is of particular interest. Mukwembi (J. Graph Theory, 2014) showed that if $G$ is a connected graph of order $n$ with independence number $α$, where $n > 2 α- 1$, then $G$ has a spanning tree $T$ such that $μ(T) \le α+ 2$. In this paper, we first improve the upper bound to $μ(T) < α+ 1$ for $α\ge 1$, and then we find the bound could be further improved when $α$ becomes larger, so a better upper bound \[ μ(T) < \left\{ \begin{array}{ll} α+1 & \hbox{if } 1\leα\le 6,\\ α+\frac12+\frac{4(α-1)}{α^2} & \hbox{if } α\ge 7, \end{array} \right. \] is established later. In the end, we give a remark to indicate our new upper bound is best possible in the sense of asymptotics (when $n$ and $α$ are large enough).

Let $D_d(m) = \operatorname{Cay}((\mathbb{Z}/m\mathbb{Z})^d, \{e_0, \ldots, e_{d-1}\})$ be the directed Cartesian product of $d$ directed $m$-cycles. We prove that $D_d(m)$ admits a directed Hamilton decomposition for every dimension $d \geq 2$ and every odd modulus $m \geq 3$. The proof combines two new closure mechanisms with a small set of base dimensions. The high-modulus count branch handles every odd $d \geq 5$ and every odd $m \geq d$ via triangular prefix coordinates and a primitivity criterion controlled by gcd conditions on symbol counts. The base-tail modular-trade branch handles the complementary range $m < d$ by decomposing a base multigraph into cylinders and scheduling active tail residues by local symbol trades; it yields the successor closure $b \mapsto 2b+1$ for $b \geq 5$. Together with multiplicative product closure, these reduce the all-dimensions theorem to the four base dimensions $d \in \{2, 3, 5, 7\}$. Dimensions $2$ and $3$ are proved here; dimensions $5$ and $7$ are imported from companion arXiv preprints. A Lean 4 formalization records the same all-dimensions endpoint. As an independent consequence, the dimensions $2$ and $3$ alone solve every odd $d \geq 29$, by a dyadic-triadic interval-hitting argument.

For a finite group $G$, $N_\infty$ operads encode collections of norm maps, and by work of Blumberg--Hill and Rubin their homotopy category is equivalent to the poset of $G$--transfer systems on the subgroup lattice of $G$. In \cite{ABB+25} the authors defined the \emph{width} $w(G)$ as the minimal size of a generating set for the complete $G$--transfer system and identified it with the number of conjugacy classes of proper meet irreducible subgroups of $G$, and the \emph{complexity} $c(G)$ as the maximum, over all transfer systems $T$, of the size of a minimal generating set for $T$. We compute $w(G)$ for the semidihedral groups $\SD_{2^n}$ ($n\ge 4$) and the affine Frobenius groups $\AGL(1,p^n)\cong \mathbb{F}_{p^n}\rtimes \mathbb{F}_{p^n}^\times$, extending existing calculations and highlighting how subgroup lattice structure governs equivariant multiplicative complexity. We also compute $c(D_{p^n})$ for dihedral groups of order $2p^n$ with $p$ an odd prime, establishing $c(D_{p^n})=\lfloor 3n/2\rfloor+1$, and derive the lower bound $c(\SD_{2^n})\ge\lfloor 5(n-1)/2\rfloor$.

We consider an Erdős-Ko-Rado type sum that weights each member of a uniform family according to its smallest intersection with the rest of the family. We prove that once the ground set is sufficiently large this sum is at most one, with equality exactly for stars. This simultaneously generalizes the usual Erdős-Ko-Rado theorem for every intersection threshold $t$ and $n$ sufficiently large. As a consequence we also obtain an extension of Hilton's theorem on cross-intersecting families.

We show that the class of all finite regular tournaments is cofinal in the class of finite tournaments. In addition, we establish cofinality results for certain special subclasses of regular tournaments. We also provide an algorithm for constructing these regular tournaments.

This paper investigates the energy and vertex energy of the modified divisor prime graph $G^*_{Dp}(n)$, which is distinguished from the standard divisor prime graph by the inclusion of a self-loop at the vertex $1$. To facilitate this analysis, we introduce a generalized definition of vertex energy for graphs with self-loops and demonstrate its mathematical consistency.

We study the class of edge-coloured graphs arising from the graph-theoretic representation of quantum photonic experiments that generate multipartite W-states. Abstracting away physical amplitudes and phases, we introduce W-state graphs: matching-covered graphs equipped with a half-edge 2-colouring such that every perfect matching contains exactly one bichromatic edge and every vertex is incident with a red half-edge. Our main contribution is a complete structural characterization of W-state graphs. We show that a graph is a W-state graph if and only if each of its 3-connected components is a W-cone, a simple and rigid building block defined by a universal vertex and a factor-critical base. This characterization implies that no W-state graph is simple and yields a recognition algorithm running as fast as verifying whether a graph is matching-covered. We also show that the natural generalization to Dicke states encounters a complexity barrier: verifying one of the two Dicke state conditions is itself coNP-complete, resolving an open problem of Vardi and Zhang [IJCAI 2023]. Our results place W-state graphs firmly within classical matching theory and precisely delineate the combinatorial structures capable of realizing idealized W-states in the experiment-graph framework.

A $k$-matching of a graph $G$ is a function $f:E(G)\rightarrow\{0,1,2,\ldots,k\}$ with $\sum\limits_{e\in E_G(v)}f(e)\leq k$ for each vertex $v$ of $G$, where $E_G(v)$ is the set of edges incident with $v$ in $G$. A perfect $k$-matching of a graph $G$ is a $k$-matching $f$ satisfying $\sum\limits_{e\in E_G(v)}f(e)=k$ for any vertex $v$ of $G$. A fractional perfect matching of a graph $G$ is a function $f:E(G)\rightarrow [0,1]$ satisfying $\sum\limits_{e\in E_G(v)}f(e)=1$ for any $v\in V(G)$. We denote by $ρ(G)$ the spectral radius of $G$. In this paper, we put forward a tight spectral radius condition for a $t$-connected graph to possess a perfect $k$-matching and a tight spectral radius condition for the existence of a perfect $k$-matching in a $t$-connected graph with a fractional perfect matching.

Andrews investigated parity conditions in the Rogers-Ramanujan-Gordon theorem. Under the conditions that even parts or odd parts appear an even number of times, Andrews discovered two Rogers-Ramanujan-Gordon type partition theorems and derived corresponding generating functions. In the Rogers-Ramanujan-Gordon theorem, there are two parameters $k$ and $a$, where $k-1$ is the maximum number of consecutive parts $l$ and $l+1$, and $a-1$ is the maximum number of parts equal to $1$. Andrews' first theorem deals with the case $k\equiv a \;(\rm{mod}\;2)$, while the second theorem concerns the case where $k$ is even and $a$ is odd. These two partition identities have different infinite product forms on the right-hand side. In this paper, we consider the case $k\not\equiv a \;(\rm{mod}\;2)$ and use Bailey's lemma to obtain an Andrews-Gordon type identity whose right-hand side coincides with that of Andrews' identity for the case $k\equiv a \;(\rm{mod}\;2)$. We were unable to find a suitable combinatorial interpretation of the infinite sum form of this expression in terms of partitions, but with the help of lattice paths, we provide an appropriate combinatorial interpretation.

We prove that for every $t \in \mathbb{N}$, prime-length cycles do not have the $\frac{1}{t}$-integral Erdős-Pósa property, even when restricted to planar graphs. We in fact prove a more general density result. For every $t \in \mathbb{N}$ and every subset $L \subseteq \mathbb{N}$ with lower density zero, the set of cycles whose length is in $L$ do not have the $\frac{1}{t}$-integral Erdős-Pósa property, even when restricted to planar graphs. We also consider a less restrictive density condition on $L$, called porous, where the complement of $L$ contains arbitrarily long sequences of consecutive integers. We prove that for every porous set $L \subseteq \mathbb{N}$, the set of cycles whose length is in $L$ do not have the Erdős-Pósa property, even when restricted to projective planar graphs. Our results partially answer a question of Gollin, Hendrey, Kwon, Oum, and Yoo [Math. Ann., 393(2):2507-2559, 2025].

We develop a homotopy theory of directed graphs based on cubical homotopy groups, also referred to as A-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups yields an $\infty$-category, which we denote by ${\sf DGra}_\infty$. Our main result shows that ${\sf DGra}_\infty$ is equivalent to the $\infty$-category of spaces.

We provide multiple combinatorial expansion formulas - in terms of snake graphs, labelled posets, matrices, and $T$-walks - for elements in generalized cluster algebras associated to arcs on punctured orbifolds and illustrate their equivalence. This work generalizes and unifies existing work on combinatorial expansion formulas from surfaces and unpunctured orbifolds.

We say that two permutations $[n]\to [n]$ intersect if they map some element $x$ to the same element $y$. A matching in a family of permutations is a collection of pairwise disjoint permutations. In this paper, we study families of permutations with no matchings of size $s$. In particular, we obtain a characterization of the largest $s$-matching-free families and a Hilton--Milner type result. We also obtain results for the families of derangements.

Let $G$ be an $n$-vertex graph, and let $λ(G)$ and $λ_n(G)$ denote the largest and smallest eigenvalues of its adjacency matrix. Write $e(G)$ for the number of edges of $G$, $d(G)=2e(G)/n$ for its average degree, and $T_r(n)$ for the $r$-partite Turán graph on $n$ vertices. We prove four sharp results in spectral Turán theory. First, we confirm Guiduli's spectral dense-neighborhood conjecture (1996) in a stronger form: if $λ(G)\ge λ(T_r(n))$, then either $G\cong T_r(n)$, or there exists a vertex $v$ such that $λ(G[N(v)]) > λ(T_{r-1}(d(v)))$. Moreover, when $λ(G)>λ(T_r(n))$, every vertex attaining the maximum entry in any nonnegative Perron eigenvector of $G$ has this property. Second, we answer a problem of Nikiforov (2009) by showing that the exact Turán edge threshold is detected by the exact spectral threshold: for every $r\ge 2$ and every $n$, $λ(G)<λ(T_r(n))$, implying $e(G)<e(T_r(n)).$ Our proof also determines the equality cases. Third, we answer another question of Nikiforov (2009) by showing that his least-eigenvalue clique bound \[ ω(G)\ge 1+\frac{2e(G)}{(n-d(G))(d(G)-λ_n(G))} \] does imply the concise form of Turán's theorem. Finally, we discuss an open problem proposed by Ai et al. (2026) in \cite{ALNS26+}.

The purpose of this paper is twofold. First, we introduce a family of generalized Markov-Hurwitz equations, extending classical Markov-Hurwitz equations with additional degree n-1 interaction terms, Gyoda and Matsushita's generalized Markov equations from 3 variables to n variables. Second, we prove a logarithmic asymptotic phenomenon for the positive integer solutions of these equations.

We establish new transformation formulas involving theta functions for certain bilateral basic hypergeometric series. From these, we construct companion $q$-series for a class of $q$-series such that the asymptotic expansion of their quotient admits a simple closed form. This allows us to prove some conjectures of McIntosh on asymptotic transformations of $q$-series.

Let $G$ be a finite abelian group of order $n$ and let $\mathcal M_G=(x_{a+b})_{a,b\in G}$ be the Cayley table of $G$. Let $\text{imm}_λ(\mathcal M_G)$ be the immanant of $\mathcal M_G$ with respect to a partition $λ$ and $\mathcal I_λ(G)$ be the number of formally different monomials occurring in $\text{imm}_λ(\mathcal M_G)$ (in particular, we denote by $\mathcal P(G)$ (resp. $\mathcal D(G)$) for the corresponding quantity for $\text{per}(\mathcal M_G)$ (resp. $\text{det}(\mathcal M_G)$) for simplicity). The study of $\mathcal P(G)$ and $\mathcal D(G)$ lies at the intersection of algebraic combinatorics and additive combinatorics. In this paper, we prove the following results. (1) If $|G|$ is a prime power, then $$\mathcal P(G)=\mathcal D(G).$$ (2) If $|G|$ is odd, then $$\mathcal I_{(n-1,1)}(G)= \mathcal I_{(2,1^{n-2})}(G)=0,$$ and if $|G|\equiv 2\pmod 4$, then $$\mathcal I_{(n-1,1)}(G)=\mathcal P(G)\quad \text{and}\quad \mathcal I_{(2,1^{n-2})}(G)=\mathcal D(G).$$ (3) If $|G|$ is odd and $|G|\ge 7$, then $$ \text{imm}_{(4,1^{n-4})}(\mathcal M_G)=\text{imm}_{(2,2,2,1^{n-6})}(\mathcal M_G).$$

We present new degree-sequence lower bounds on the expected size of an independent set from the hard-core model. For arbitrary graphs, we establish a multivariate lower bound inspired by a conjecture of the first author and Kang and a recent bound on the multivariate partition function due to Lee and the third author. By applying a novel spectral analysis to the local occupancy linear program, our method successfully bypasses the convergence radius limitations of the cluster expansion and avoids induction. For graphs with bounded local maximum average degree, including triangle-free graphs, we prove a univariate bound extending prior work by a subset of the authors. In both cases our bounds require the fugacities to be upper bounded by $c/Δ$ where $Δ$ is the maximum degree of the graph and $c$ is an absolute constant depending on the setting.

Let $(Γ,+)$ be an Abelian group of order $n^2$. A $Γ$-magic square of order $n$ is an $n\times n$ array whose entries are pairwise distinct elements of $Γ$ such that all row sums, column sums, and the two main diagonal sums are equal to the same element $μ\in Γ$, called the magic constant. A combinatorial design is called $Γ$-additive if its point set is a subset of an Abelian group $Γ$ and every block has sum zero. If the point set coincides with $Γ$, the design is said to be strictly $Γ$-additive. Motivated by this notion, we construct $Γ$-magic squares with magic constant $μ=0$ whose rows, columns, and two main diagonals can be used as blocks of a strictly $Γ$-additive design. We call such a square zero-sum $Γ$-magic square. In this paper, we establish necessary and sufficient conditions for the existence of zero-sum $Γ$-magic squares.

Carbery proposed the following sharpened form of triangle inequality for many functions: for any $p\ge 2$ and any finite sequence $(f_j)_j\subset L^p$ we have \[ \Big\|\sum_j f_j\Big\|_p \ \le\ \left(\sup_{j} \sum_{k} α_{jk}^{\,c}\right)^{1/p'} \Big(\sum_j \|f_j\|_p^p\Big)^{1/p}, \] where $c=2$, $1/p+1/p'=1$, and $α_{jk}=\sqrt{\frac{\|f_{j}f_{k}\|_{p/2}}{\|f_{j}\|_{p}\|f_{k}\|_{p}}}$. In the first part of this paper we construct a counterexample showing that this inequality fails for every $p>2$. We then prove that if an estimate of the above form holds, the exponent must satisfy $c\le p'$. Finally, at the critical exponent $c=p'$, we establish the inequality for all integer values $p\ge 2$. In the second part of the paper we obtain a sharp three-function bound \[ \Big\|\sum_{j=1}^{3} f_j\Big\|_p \ \le\ \left(1+2Γ^{c(p)}\right)^{1/p'} \Big(\sum_{j=1}^{3} \|f_j\|_p^p\Big)^{1/p}, \] where $p \geq 3$, $c(p) = \frac{2\ln(2)}{(p-2)\ln(3)+2\ln(2)}$ and $Γ=Γ(f_1,f_2,f_3)\in[0,1]$ quantifies the degree of orthogonality among $f_1,f_2,f_3$. The exponent $c(p)$ is optimal, and improves upon the power $r(p) = \frac{6}{5p-4}$ obtained previously by Carlen, Frank, and Lieb. Some intermediate lemmas and inequalities appearing in this work were explored with the assistance of the large language model Grok.