arXiv++ Combinatorics

We investigate Conjecture 7.4 of Guo and Krattenthaler \cite{GK}, which predicts that for every positive integer $n$, the polynomial \[ P_n(q) = \frac{(1-q)^2}{(1-q^{10n-1})(1-q^{15n-1})}\qbin{30n}{5n} \] has non-negative coefficients, except for $q^1$ and $q^{125n^2-25n+3}$, which equal $-1$. We study this problem through three main perspectives: First, by linking the boundary coefficients to the second differences of the partition function, we settle the first and last $25n+1$ coefficients via a novel partition injection. Second, by introducing a ``defect'' generalization of Andrews' classical lemma, we reduce the conjecture to an almost-unimodality property and employ a uniform saddle-point analysis to prove it analytically for all large $n \ge 2\cdot 10^{29}$. Finally, we connect these quotients to graph binomial coefficients, providing a natural orbit-counting interpretation via Burnside's lemma on directed cycles and paths.

As its 40th anniversary nears, we present a history of the International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC), through interviews with figures from its past, present, and future.

We study orthogonal $(4,3)$-equipartitions of finite measures absolutely continuous with respect to Lebesgue measure: every three of four mutually orthogonal affine hyperplanes must divide each measure into eight equal parts. For every number $m$ of measures, we determine the exact dimension threshold of Musin's polynomial criterion and express it in terms of the binary expansion of $m$. The threshold coincides with the geometric lower bound precisely when $m=2^j-1$. Consequently, $Δ^*(2^j-1,4,3)=7\cdot2^{j-1}-2$ for every $j\geq1$.

Optimal Morse vector fields on closed surfaces, i.e.\ fields with the minimal possible number of critical points (a single source and a single sink), are classified up to topological trajectory equivalence by one-cycle signed chord diagrams in Kybalko, Prishlyak and Shchurko (2018). We recall this construction and the associated duality, which corresponds to reversing the direction of the flow, in a unified encoding in which both endpoints of a chord carry the same label, and we make it algorithmic. We give an explicit traversal procedure that detects one-cycle diagrams, a canonical form of an equivalence class under cyclic shifts, reversal and relabeling of chords, and a construction of the dual diagram. On this basis we describe an algorithm that enumerates all one-cycle signed chord diagrams with a given number of chords, both for orientable and for non-orientable surfaces, groups them into equivalence classes, pairs each class with its dual, and identifies the self-dual ones. The algorithm is implemented in Python and archived in Zenodo; its output is validated against the Harer--Zagier numbers in the orientable case and against orbit-size counts in both cases. We also note that, when a one-cycle diagram is read as a cellular embedding of a one-vertex graph, its dual diagram describes the embedding of the dual graph.

We construct an infinite family of solutions to the Mondrian art problem with absolute defect bounded above by $280$, of side lengths $n_0 = 315$, $n_1 = 106785$, and $n_{j+2} = 340n_{j+1} - n_j$, where $n_j$ is congruent to $315 \pmod{630}$. This absolute bound shows that the minimum defect does not necessarily increase with $n$, providing a counterexample to a conjecture which has been open since the problem's original proposal. Our design is derived from a well-known seven-rectangle dissection over the real quadratic field $\mathbb{Q}(\sqrt{19})$, with non-integer side lengths; we tailor the side lengths to be integers via an infinite Pell family. Using the same method, we devise a second family with defect $560$ that contains infinitely many side lengths which are divisible by any given positive integer, implying that for any $k$ there are infinitely many side lengths $n \equiv 0 \pmod{k}$ with defect bounded above by $560$. This constant bound offers a dramatic improvement on the previous quadratic bounds.

The Chan--Robbins--Yuen polytope $\mathrm{CRY}_{m+1}$ has normalized volume $\prod_{j=1}^{m-1}C_j$, a product of Catalan numbers. Zeilberger proved the formula using the Morris constant-term identity; finding a combinatorial proof remained an open problem. We give such a proof by counting nonnegative integer flows. We add an extra edge from each vertex to a common sink and count flows according to how many of these edges carry positive flow. A double count proves a special case of a recurrence of Morales and Shi and gives these counts in terms of Narayana numbers. Deleting the first vertex then yields the Catalan product. We also give an explicit bijection for the recurrence and prove the corresponding reduction formula posed by Postnikov.

A $u\hbox{-}v$ separator in $G$ is a set $S\subseteq V(G)\setminus\{u,v\}$ such that there is no $u\hbox{-}v$ path in $G\setminus S$. A minimal separator in $G$ is a set $S$ such that for some $u,v\in V(G)\setminus S$, $S$ is a $u\hbox{-}v$ separator in $G$ but no proper subset of $S$ is. A set $S$ is bisimplicial if it is the union of at most two cliques. Recognizing graphs in which every minimal separator is the union of at most $k$ cliques is polynomial-time solvable for $k=1$ and NP-hard for every fixed $k\geq 3$. We settle the remaining case $k=2$ by giving a polynomial-time algorithm to decide whether every minimal separator in a graph is bisimplicial. A set $S$ is triad-free if its independence number $α(S)$ is at most two. Given a graph $G$ and two vertices $u,v$, the problem of finding a $u\hbox{-}v$ separator $S$ with $α(S)\leq k$ had the same complexity gap: it was known to be polynomial-time solvable for $k=1$ and NP-hard for every fixed $k\geq 3$. We resolve the remaining case $k=2$ by giving a polynomial-time algorithm that finds a triad-free $u\hbox{-}v$ separator or determines that none exists.

An \emph{internal partition} of a graph is a partition of its vertex set into two nonempty parts such that every vertex has at least half of its neighbors in its own part. DeVos asked whether, for every fixed positive integer $r$, all but finitely many $r$-regular graphs admit an internal partition. This was previously known to hold only for $r\in\{3,4,6\}$. In this paper, we confirm this for $r\in\{5,8\}$ by proving that every $r$-regular graph on at least $10^7$ vertices has an internal partition.

For every fixed integer $r\ge3$, we prove that the Turán density of every $r$-uniform hypergraph $F$ with $m\ge1$ edges satisfies $π(F)\le1-c_rm^{-(r-1)/r}$, where $c_r>0$ depends only on $r$. This improves Sidorenko's general bound, whose gap from $1$ is of order $m^{-1}$. Complete $r$-uniform hypergraphs show that the exponent $(r-1)/r$ is optimal. The proof combines a potential argument for partial embeddings with the Lovász Local Lemma.

We prove that there exists an absolute constant $c > 0$ such that the following holds for every $k \ge 3$ and $p \ge n^{-c / \log \log k}$. Letting $δ> 0$ and $D \sim [n]_p$, with high probability every ${S \subset [n]}$ with $|S| \ge δn$ contains a $k$-term arithmetic progression whose common difference lies in $D$. This improves the best known bounds for the threshold of Szemerédi's theorem with random differences for all sufficiently large $k$, previously of the form ${p \ge n^{-2/k+o(1)}}$, due to Briët and Castro-Silva. We obtain our improvement via a small cover lemma, in the sense of Alon and Pham's work on random Cayley graphs, and its proof crucially relies on a construction of Green and Ruzsa in the context of the arithmetic Kakeya conjecture. The usage of the latter was suggested to us by GPT 6 Astra.

Let $V_i(n)$ denote the minimum worst-case number of comparisons needed to find the $i$-th smallest of $n$ distinct elements. We construct algorithms showing $V_7(16)\le28$ and $V_8(16)\le29$, improving the previously reported upper bounds of 30 and 31. Together with known lower bounds, these results establish $V_7(16)=28$ and leave $V_8(16)\in\{28,29\}$. For 17 elements, we establish $V_5(17)=27$ and improve the upper bounds for ranks 6 through 9 to 29, 30, 31, and 31, respectively. Every new upper bound has an explicit decision-graph certificate verified by a static checker developed independently of the search. We also derive a lower bound for selection from a partially ordered state by combining the Fussenegger-Gabow weight with its order-reversed counterpart. All new upper bounds and this lower bound are formally verified in Lean 4. For $V_8(16)$, we show that a lower bound based solely on the total number of decision-tree leaves cannot establish $V_8(16)\ge29$. The algorithms were found using fixed-budget search, information-guided comparison ordering, and proof-number search. Proof-number search was decisive in finding the 28-comparison algorithm; in our experiments, refuting a comparison budget remained substantially more expensive than finding an algorithm within it.

The rational exponents conjecture of Erdős and Simonovits asserts that for every rational $r\in [1,2]$ there exists a graph $H$ such that $\mathrm{ex}(n,H)=Θ(n^r)$. We present a proof of this conjecture claimed by Epoch AI, explaining how it builds upon ideas and methods developed by many researchers.

We construct an approximate sampler for finite doubly free-boundary Macdonald rail-yard processes with Macdonald, boundary, and edge parameters in $(0,1)$. The construction allows arbitrary finite sequences of additions and removals of horizontal or vertical strips and all four boundary types. It reverses a finite commutation--reflection history from a partition sequence whose entries are equal, with the common partition weighted by both boundaries. We derive local reconstruction kernels from the skew Cauchy, Littlewood, and branching identities. Bulk and boundary updates combine integer increments with conditional shape sampling at a prescribed size; same-sign swaps use finite conditional resampling. For $K$ reflection periods and an initial partition-size cutoff $M$, the algorithm terminates almost surely and samples the resulting approximating law exactly. We prove total variation convergence to the target process as $K,M\to\infty$ and give explicit bounds for both truncation errors, decaying geometrically in the cutoffs for fixed input parameters. Under fixed parameter bounds, we also bound the expected operation count of direct enumeration in a unit-cost model. We further construct an exact rejection sampler for the initial partition law without a size cutoff or evaluation of its normalizing constant. Using this sampler removes the size-truncation error, leaving only the error from the finite reflection history.

We prove four conjectures of Takigiku and Tsuchioka consisting of eight Rogers--Ramanujan type identities. Two conjectures involve triple sums and a third involves quadruple sums, and their product sides are certain level $2$ principal characters of $A_{13}^{(2)}$. The fourth conjecture gives multisum representations of certain level $2$ principal characters of $A_{2\ell-1}^{(2)}$. The proofs rely on the Bailey pair method, finite sum identities involving Gaussian polynomials, and the quintuple product identity.

We develop a new approach to the Joint Intersectivity Conjecture of Bergelson, Leibman, and Lesigne for commuting transformations. The conjecture asserts that the necessary divisibility condition is the only obstruction to polynomial multiple recurrence and, consequently, to the multidimensional polynomial Szemerédi theorem. We establish the conjecture for pairwise independent polynomials, obtaining the first general result for sequences of arbitrary length beyond the classical one-transformation setting. Our argument is inspired by the Furstenberg-Katznelson approach and its polynomial enhancement due to Bergelson-Leibman. Its main novelty, however, lies in the development of new techniques that allow us to bypass the use of the polynomial van der Waerden theorem, on which these methods traditionally rely, and for which no suitable analogue is currently available in our setting. In particular, we prove a Nil-Bohr returns theorem for compact extensions in systems with nilpotent structure, as well as a nil-plus-null decomposition for polynomial multicorrelation sequences that preserves joint intersectivity and positivity.

For a graph G of order n with adjacency eigenvalues lambda_1(G) >= ... >= lambda_n(G), the cospectrality of G within the set G of all graphs of order n is the smallest spectral distance from G to another graph of G. Abdollahi and Zakeri conjectured that for every n >= 4 the cospectrality of the complete tripartite graph K_{n,n,n}, both in the Manhattan and in the Euclidean spectral distance, is attained precisely at K_{n-1,n,n+1}. We show that both conjectures are false for every n >= 4, that is, in the whole range in which they are stated. The counterexample is the graph H_n obtained from K_{n-1,n,n} by adding a vertex adjacent to the part of cardinality n - 1, and it is the natural generalization of the graph which the authors themselves exhibited for n = 3 and considered to be exceptional. We determine the spectrum of H_n in a closed form, and we show that the two spectral distances tend to 1 and to 1/2 respectively, instead of to (2*sqrt(3))/3 and to 2/3 as conjectured. On the other hand, we show that in the Euclidean distance the conjecture becomes asymptotically true when the competing graphs are restricted to complete multipartite graphs, so that it fails because a graph of rank four beats the conjectured minimizer.

We consider a natural extension of the classical saturation problem to oriented graphs, defined as the minimum number of edges in an oriented graph $H$ on $n$ vertices that avoids a fixed oriented graph $G$, but adding any missing edge to $H$ creates a copy of $G$. Our main result shows that saturation functions of oriented graphs attain at least four distinct orders of magnitude. In particular, if $G$ is acyclic, then its saturation function is bounded if and only if $G$ contains an isolated edge; otherwise, it is linear. Certain tournaments together with an isolated edge give further infinite examples of bounded and linear saturation functions. Two additional orders of magnitude are $Θ(n \sqrt{\log n})$ and $Θ(n \log n)$. For these two, the lower bounds are obtained by adapting a recently developed approach for the saturation problem in edge-ordered graphs, while the matching upper bounds are constructive. Finally, we study the semisaturation problem, in which we require only that adding any missing edge to $H$ creates a copy of $G$. We completely characterize the possible orders of magnitude: the semisaturation function is either bounded, linear, or $Θ(n \log n)$.

Let $τ(G)$ denote the maximum number of pairwise edge-disjoint spanning trees contained in a graph $G$. Zhang and Fan [J. Graph Theory, 2026] posed the problem of determining the corresponding tight spectral-radius condition for every $s$-edge-connected graph with \[ k+1\leq s\leq2k-1, \] together with a characterization of the associated extremal graphs. In this paper, we completely resolve this problem.

We characterize several properties of higher-arity function classes, specifically finite $\VC_k$-dimension, slicewise finite $\VC$-dimension, and finite slicewise Littlestone dimension, in terms of generalizations of Rademacher complexity. These characterizations sets up simple new proofs of several results on finite $\VC_k$-dimension and slicewise finite $\VC$-dimension. These include the preservation of finite $\VC_k$-dimension under taking expectations and uniform law of large numbers statements for both properties. All of these results apply naturally to real-valued function classes as well as boolean-valued classes. We also prove a new adversarial uniform law of large numbers for classes with finite slicewise Littlestone dimension.

Let $\TP_k$ denote the triangular pyramid with $k$ layers. For a graph family $\mathcal F$, let $\ex(n,\mathcal F)$ be the maximum number of edges in an $n$-vertex graph containing no member of $\mathcal F$ as a subgraph. For a graph $H$, let $\cJ(H)$ be the family of subgraph-minimal graphs among all such graphs $H-I$, where $I\subseteq V(H)$ is an independent set. For every integer $k\ge4$ and all sufficiently large $n$, we prove that \[ \ex(n,\TP_k)=\max_{0\le m\le n}\{m(n-m)+\ex(m,\cJ(\TP_k))\}+O_k(n)=\left\lfloor n^2/4\right\rfloor+Θ_k(n^{4/3}). \] Moreover, for $k=4$, we characterize all extremal graphs and show that \[ \ex(n,\TP_4)=\max_{0\le m\le n}\bigl\{m(n-m)+\ex\big(m,\cJ(\TP_4)\big)\bigr\} \] for sufficiently large $n$.

We introduce the leap group of a graph, the subgroup of the symmetric group on the vertex set generated by graph derangements. We summarize historical results on graph derangements, which we call hops, and prove additional existence and complexity results. The leap groups of various canonical graphs are computed, and their behavior under basic graph operations is analyzed. We offer partial results on which groups can appear as leap groups, and study hops and leaps for infinite and directed graphs.

The $\mathbb{Z}_{p^s}$-additive codes are subgroups of $\mathbb{Z}_{p^s}^n$. A $\mathbb{Z}_{p^s}$-linear generalized Hadamard (GH) code is a GH code over $\mathbb{Z}_p$ which is the Gray map image of a $\mathbb{Z}_{p^s}$-additive code. A recursive construction gives such codes $H_p^{t_1,\dots,t_s}$, of type $(n;t_1,\dots,t_s)$ and length $p^t$, and a partial classification of them is known. In this paper, we complete the classification of these codes for every prime $p$. The main tool is the derived code, obtained by puncturing the code outside a block of coordinates determined by its kernel. For a nonlinear code $H_p^{t_1,\dots,t_s}$ with $t_1\geq2$, the derived code is a $\mathbb{Z}_{p^{s-1}}$-linear GH code of the same family, although the mechanism for odd $p$ differs from the binary one. As a consequence, for $t\geq3$, there are $\mathcal P(t+1)-\mathcal P(t)$ nonequivalent such codes of length $p^t$ if $p$ is odd, and $\mathcal P(t+1)-\mathcal P(t)-1$ if $p=2$, where $\mathcal P(n)$ is the number of partitions of $n$. In particular, this completes the classification of the $\mathbb{Z}_{2^s}$-linear Hadamard codes. We also prove a conjecture on the codes with $t_1\geq2$ and $t_s=0$.

Finite convexly ordered binary branching $C$-relations have been viewed as a notable exception to the broad applicability of the partite construction in structural Ramsey theory. The absence of a proof of their Ramsey property by the partite construction was noted by Bodirsky in his 2015 survey and pointed out again by Hubička and Konečný in their 2026 survey. We overcome this limitation by giving proofs based on the partite construction of the known Ramsey properties of the class $\mathcal{CT}$ of finite convexly ordered treeable meet semilattices and of the classes of finite convexly ordered $C$-relations with arbitrary branching and with binary branching. Our proofs do not rely on Milliken's tree theorem. The key is to expand $\mathcal{CT}$ by level predicates and a predecessor function so that the locally finite subclass method applies. We then transfer the resulting Ramsey witnesses to the corresponding reduct classes and to the classes of convexly ordered $C$-relations.

In 1994, Friedman, Joichi and Stanton conjectured that coefficients of the power-series $q+(1-q)\prod_{i=n}^{2n-1}\frac{1}{1-q^{i}}$ are nonnegative for $n\geq3$ and $n$ being odd. Let $\qbinom nm$ denote the Gaussian polynomial. In 2003, Prellberg and Stanton conjectured that coefficients of the power-series $(1-q)\qbinom nm\prod_{i=0}^{m-1}\frac{1}{1-q^{i+m}}$ are nonnegative for $0<m<n$, except when $n$ is even and $m\in\{2,n-2\}$. The latter conjecture implies the former. In this paper, we prove a stronger result concerning coefficientwise nonnegativity of another power series, which implies the conjecture of Prellberg and Stanton. The proof uses a Möbius correction from Gaussian polynomials, weight-preserving injections on partitions, explicit linearly independent vectors in the kernel of a derivation operator and the KOH identity.

In 1984, Bressoud and Subbarao established an interesting weighted partition identity connecting the partition function and the divisor function. Recently, the first author, jointly with Bhoria, Eyyunni, and Maji, extended the work of Bressoud and Subbarao and obtained the following analogous weighted partition identity. For any $n \in \mathbb{N}$, they obtained \begin{equation*} p^{(2)}(n) = \sum_{π\in \mathcal{D}(n)} (-1)^{ \# (π) }s(π) \left( \ell(π) - s(π) \right). \end{equation*} In the present paper, we provide a combinatorial proof of the above identity and extend the result for $p^{(k)}(n)$, where $p^{(k)}(n)$ denotes the number of partitions of $n$ into exactly $k$ distinct part sizes.

For a given graph $F$, a graph $G$ is $F$-irregular if all its vertices have pairwise distinct $F$-degrees, where the $F$-degree of a vertex $v$ is the number of subgraphs of $G$ containing $v$ and isomorphic to $F$. While the existence of $F$-irregular graphs has been actively studied for connected graphs $F$, the case where $F$ is disconnected remains entirely unexplored. In this paper, we provide a complete solution to this problem. We prove that for every disconnected graph $F$ with $|E(F)| \ge 2$, there exist infinitely many $F$-irregular graphs. Conversely, if $|E(F)| \le 1$, we show that no non-trivial $F$-irregular graph exists.

We construct trees with perfect matchings and independence sequences that fail log-concavity near the independence number $α$. For every integer $k\geq1$, one family fails at $α-k$ and has a witness of order $O(k^2\log(k+2))$. For every integer $t\geq2$, a single tree has simultaneous failures at $α-1,α-3,\ldots,α-(2t-1)$, with a witness of order $O(t^3)$. All these trees satisfy $α=N/2$, where $N$ is the number of vertices, and contradict Conjecture 4.2 of Ramos and Sun. A sufficient condition uses a fixed tree and the numbers of attached leaves. For fixed $k$ or $t$, explicit bounds give geometric decay of $a_j^2/(a_{j-1}a_{j+1})$ at these indices as the trees grow; $a_j$ counts independent $j$-sets. The proofs count independent sets by empty matching pairs. The Lean proof assistant checks formal proofs of the parameterized results and their quantitative bounds; exact 90- and 180-vertex examples illustrate the constructions.

In this paper, we study a partition function with parts separated by parity from a family of partition functions introduced by Andrews in 2019. We first show that its generating function admit representation in terms of mock modular forms of weight $3/2$. We then initiate a study of smallest-part partition function analogues of partitions with parts separated by parity, which, to the best of our knowledge, has not previously been investigated in the literature. We show that the generating functions of these smallest-part partition functions are likewise expressible in terms of mock modular forms, mock Maass theta functions and Zagier's $q$-series $H(q)$, which he describes as a ``half-derivative of the Dedekind eta-function". Our study also leads to new combinatorial interpretations of the coefficients of the aforementioned mock modular form, function $σ^*(q)$, and mock theta functions $ψ(q)$ and $A(q)$ in terms of odd Ferrers graphs. Moreover, we provide a quantum $q$-series identity involving Ramanujan's famous $σ(q)$ function. We also derive the leading asymptotic term of one of these partition functions, whose generating function we first express in terms of $σ^*(q)$.

Goodman proved a lower bound on triangle counts which, in graphon language, states that every graphon of edge density $p$ has triangle density at least $2p^2-p$. Bennett, Dudek, Lidický, and Pikhurko established the corresponding bound for $C_5$, determining its minimum density at every Turán density $p=1-1/k$ with an integer $k\ge3$. We extend this bound to every odd cycle in the dense regime: for every odd integer $m\ge3$ and every graphon $W$ with edge density $p\ge2/3$, $t(C_m, W) \ge p^m-p(1-p)^{m-1}.$ For $2/3\le p<1$, equality holds precisely for balanced complete $k$-partite graphons with an integer $k\ge3$, up to graphon equivalence, and we establish qualitative stability at these densities. In the same density range, we also strengthen Kim and Lee's density-sensitive commonality inequality for odd cycles by adding the nonnegative term $t(P_{m-1},1-W)-(1-p)^{m-1}$ to the lower bound, where $P_{m-1}$ is the path with $m-1$ edges. To prove the main results, we develop a spectral excursion expansion and use Dirichlet averaging to reduce the resulting polynomial inequalities in arbitrarily many spectral variables to a one-variable problem. We prove the one-variable inequality through a uniform inequality comparing odd and even moments of shifted Gamma random variables. We also formalise the odd-cycle lower-bound theorem in Lean 4.

We introduce river ribbon tableaux, where a river of non-trivial ribbons is placed between two banks of single boxes. Compared to other ribbon peelings, this reduces the geometric differences across diagrams of different shapes, and the maximal number of ribbon configurations. This allows us to prove a uniform character bound for symmetric groups which, specialized to balanced diagrams, proves the conjecture of Moore and Russell. As an application, we prove a conjecture of Dousse and Féray on the number of standard tableaux of skew shapes.

Let $P_{n,k}$ count permutations of $[n]=\{1,\ldots,n\}$ whose longest increasing subsequence has length $k$. Chen conjectured that $(P_{n,k})_{k=1}^n$ is log-concave for every positive integer $n$. In this paper, we prove that Chen's conjecture is true when $n\ge 10^{10^{65}}$. The proof combines Gessel's determinantal formula with quantitative coefficient extraction, Tracy--Widom density estimates, and exact inequalities for the extreme lengths.

A critical set in a Latin square is a set of entries that determines the square uniquely and is minimal with this property. We prove that every partial Latin square of order $n$ with fewer than $\lfloor n^2/4\rfloor$ filled cells has an even number of completions. Consequently every critical set in every Latin square of order $n$ has at least $\lfloor n^2/4\rfloor$ entries. Since the cyclic Latin square has a critical set of exactly this size, the minimum size of a critical set over all Latin squares of order $n$ is $\lfloor n^2/4\rfloor$. This confirms a conjecture attributed to Nelder (1979) and made independently by Mahmoodian and by Bate and van Rees. Hatami and Qian had shown that this minimum is at least $n^2/10^4$ for large $n$. The proof is a counting argument modulo two that uses only expansion of products, cancellation in pairs and the pigeonhole principle, and it is illustrated with partial Latin squares of orders three to seven. An appendix discloses the substantial use of AI in developing the proof and writing the exposition.

We study alternating Hamilton paths and cycles in the comparability graphs of finite posets. We prove that if a finite poset $P$ with at least two elements admits an alternating Hamilton path, then $P\times B_r$ admits an alternating Hamilton cycle for every $r\ge2$, where $B_r$ is the Boolean lattice. As a corollary, we settle a conjecture of Katona [Discrete Appl. Math., 2013]. Furthermore, we characterize the divisor lattices admitting alternating Hamilton paths and cycles.

We study non-additive rank-metric codes contained in the space of symmetric matrices over a finite field. Our main focus is on symmetric $2$-codes. For odd $q$, we introduce a quotient construction for $\mathrm{Sym}_3(q)$ in which rank-one differences are described by isotropic vectors of a nondegenerate quadratic form on $\mathbb F_q^4$. This leads to a correspondence with partial ovoids of the elliptic quadric $Q^-(5,q)$. Using a construction of Cossidente and Pavese, we obtain a non-additive symmetric $2$-code in $\mathrm{Sym}_3(q)$ of cardinality $q^4+2q^3$, improving the previously known general lower bound. We also give an explicit matrix description of this family. Lastly, we present a block-based construction for symmetric $2$-codes that extends the three-dimensional improvement to all odd dimensions. In particular, for every odd $n\geq3$ and every prime power $q>2$, we obtain \begin{equation*} A_q^{\rm sym}(n,2) \ge q^{(n^2-1)/2}+q^{(n^2-3)/2}+q^{(n^2-9)/2}, \end{equation*} which is strictly larger than the maximum cardinality of an additive symmetric $2$-code with the same parameters. This yields the first infinite family (as the matrix dimension $n$ varies) of non-additive symmetric $2$-codes whose size is larger than the largest achievable size of an additive code with the same parameters; before this, such a gap had only been established for $n=3$.

Classical Turán theory relates the asymptotic extremal problem for an ordinary forbidden graph to its chromatic number. This principle fails when a forbidden copy must respect prescribed vertex colors, as occurs naturally in multipartite extremal problems and in embeddings with prescribed clusters. We study properly vertex-colored graphs whose hosts have a prescribed density between every pair of color classes, with containment interpreted through color-preserving homomorphisms. Our main theorem gives a finite directed reduction: for every fixed $m$ and $\varepsilon>0$, every sufficiently many-colored $d$-dense host admits a colored homomorphism from an $m$-layer half-blowup $D[m]$ of a finite digraph $D$ with density at least $d-\varepsilon$, where $D$ may be chosen with $\lceil\varepsilon^{-1}\rceil$ vertices. Consequently, the colored Turán density of every non-empty finite forbidden family equals the homomorphism Turán density of its associated acyclic orientations. We then determine the complete finite value set: these densities are exactly the Lagrangians of finite loopless digraphs, and hence are rational. The main technical input is a low-resolution sampling method that preserves all pairwise bipartite degree profiles on a large subfamily of color classes while keeping the sample size independent of the number of retained classes.

We give two counterexamples to Stapledon's Effectiveness Conjecture. Each counterexample is a $6$-dimensional lattice polytope with an order-two symmetry whose equivariant $H^*$-series $φ[t]$ is a polynomial with one coefficient that is not effective. For polytopes with a symmetry of order two, the goal of this paper is to build up a picture of the landscape of results for when the Effectiveness Conjecture holds. Our main result is a criterion, in terms of the faces of $P$, that determines when the Ehrhart ring of $P$ admits an invariant linear system of parameters of the correct representation type. We use these results to reduce the space of possible counterexamples to one of two cases. A randomised computer search produced counterexamples in each case. We also give an example where the equivariant $H^*$-series is effective but admits no invariant linear system of parameters, neither for $P$ nor any invariant subdivision of it, answering a question of Stapledon in the case of groups of order two.

We prove that $r(4,t) \ge \frac{t^3}{(\log t)^{2+o(1)}}$. This improves the lower bound of Mattheus and Verstraëte (Ann. of Math., 2024) by a factor of $(\log t)^{2-o(1)}$.

Extending the notions of Kneser graphs and Schrijver graphs, we define the $G$-stable Kneser graph $KG(G,k)$ (where $k\geq 2$ and $G$ is a graph on $n\geq 2k$ vertices) as the graph whose vertices are the $k$-element independent sets in $G$ and whose edges join pairs of disjoint independent sets. The well-known result of Lovász on the chromatic number of Kneser graphs implies that $χ(KG(G,k)) \leq n-2k+2$ for any $G$. We call $G$ $k$-tight if equality holds, and we study the following question: Which graphs are $k$-tight? A result of Daneshpajouh et al.\ implies a characterization of $2$-tight graphs. We prove a necessary condition for a graph to be $k$-tight for $k\geq 3$ which extends this characterization, and we conjecture it to be sufficient. Another result gives a lower bound to the chromatic number of the $G$-stable Kneser graphs when $G$ is a disjoint union of cycles. We use this result to give a short proof of the fact that $4$-regular graphs on $3k$ vertices consisting of two vertex-disjoint cycles and $k$ cycles of length $3$ admit an independent set of size $k$.

For a graph $H$, the suspension $\widehat H$ of $H$ is a graph obtained from $H$ by joining a new vertex to every vertex of $H$. The generalized Turán number $\textrm{ex}(n,K_3,\widehat H)$ is the maximum number of triangles in an $n$-vertex $\widehat H$-free graph. For fixed $k \ge 4$, Mubayi and Mukherjee conjectured that \[ \textrm{ex}(n,K_3,\widehat P_k) =\left\lfloor\frac{k-2}{2}\right\rfloor\frac{n^2}{8}+o(n^2), \] as $n \to \infty$, where $P_k$ is the path on $k$ vertices. They verified the conjecture for $k=4,5,6$. In this paper, we determine the asymptotic value of $\textrm{ex}(n,K_3,\widehat P_k)$ for every $k\ge 4$ via a unified approach and thus prove the conjecture of Mubayi and Mukherjee.

For a Bruhat interval $[x,y]$ in an arbitrary Coxeter group which is a lattice, we give a type-uniform construction of a convex polytope whose complete face lattice realizes $[x,y]$. This gives a polytopal realization of the coincidence between classical Kazhdan--Lusztig polynomials for lattice Bruhat intervals and Stanley's toric $g$-polynomials. Consequently, the Kazhdan--Lusztig polynomial of a lattice Bruhat interval cannot have internal zeros, satisfies a multiplicative strengthening of monotonicity, and obeys the generalized upper bound theorem for polytopes. For lattice Bruhat intervals in finite Weyl groups, we explain the relation with the toric geometry of Richardson varieties and derive formulas for their local and global intersection cohomology, as well as a Boolean criterion for rational smoothness. We conjecture that the coefficients of these Kazhdan--Lusztig polynomials form an $M$-sequence.

We completely characterize the solvability profiles of tasks for two autonomous mobile robots in the plane under variable disorientation, chirality, and rigid movements. The four standard capability models and the schedulers considered here have a known quotient order Q of thirteen computational classes. A task's solvability profile is the set of classes in which it is solvable, and is necessarily an upset of Q. We prove that every upset is realizable and construct a minimum exact disjunctive basis of thirteen concrete tasks. The basis contains one task for each principal upset. For every antichain of Q, the disjunction of the corresponding tasks has profile exactly equal to the union of their profiles. This exactness is not implied by the individual profiles: an algorithm may satisfy different disjuncts in different executions. We establish it by constructing, for every algorithm in each maximal class outside the target union, a single admissible fair execution violating all selected predicates simultaneously. Consequently, the realizable profiles form the entire finite distributive lattice Up(Q): there are exactly 54 profiles, counted by the antichain polynomial 1 + 13z + 24z^2 + 16z^3, and each has a canonical disjunctive representation using at most three principal tasks. We also identify six tasks whose solvability signatures recover every inclusion and incomparability in Q, and prove that six is minimum even among arbitrary separating tasks. Their profiles are precisely the principal upsets generated by the join-irreducible elements of Q. In contrast, any task family generating every profile by exact disjunctions must contain all thirteen principal profiles. Thus our exact disjunctive basis has minimum size and is unique at the profile level.

A complete mapping of a finite group $G$ is a permutation $θ$ of $G$ such that $x\mapsto xθ(x)$ is also a permutation of $G$. Complete mappings have applications in cryptography, particularly in the design of round functions for cryptographic systems. The study of their parity has led to the question of which finite groups admit complete mappings of both parities. A useful approach to this question is to construct complete mappings stabilizing suitable subgroups, in particular Sylow $2$-subgroups. We show that, for every $n\geq2$, every prime power $q$, and every $Z\leq Z(\mathrm{SL}_n(q))$, the group $\mathrm{SL}_n(q)/Z$ admits a complete mapping stabilizing a Sylow $2$-subgroup if and only if $(n,q)\neq(2,2)$.

When characterizing graphs defined by forbidden induced subgraphs, it is often desirable to understand how a graph $G$ can be generated incrementally from a given induced subgraph $H$. In this paper, we study a number of problems within this framework. First, for several notions of connectivity, we determine all minimal induced subgraphs of $G$ that contain $H$ and attain the connectivity of $G$. Second, we establish how to grow $H$ inside $G$ while preserving twin-freeness and certain forms of connectivity. Third, we establish {\it finite test theorems} for various graph classes, proving that agreement with the recursively generated graphs for a few initial iterations forces agreement at all subsequent iterations. Consequently, such an infinite graph family can be completely determined by finitely many of its initial generations. As an application, we characterize $\{\mathbb L_1,\mathbb L_3\}$-free graphs, where $\mathbb L_1$ is the claw and $\mathbb L_3$ is another forbidden graph for line graphs. Our structural results reduce this problem to a finite verification, which is completed through computer-assisted computation.

Let $k>\ell\ge 1$ be integers. For a family $\mathcal{F}$ of $k$-uniform hypergraphs ($k$-graphs), its $\ell$-degree Turán density $γ^{(k)}_\ell(\mathcal{F})$ is the asymptotic maximum of the normalized minimum $\ell$-degree over all $\mathcal{F}$-free $k$-graphs. In this paper, we prove that for all integers $k>\ell>2$ and every $α\in[0,1)$, there exists an infinite family $\mathcal{F}$ of $k$-graphs such that $γ^{(k)}_\ell(\mathcal{F})=α$, while every finite subfamily $\mathcal{F}'\subset \mathcal{F}$ satisfies $γ^{(k)}_\ell(\mathcal{F}')>α$. This confirms the conjecture of Mubayi and Zhao on codegree Turán densities for every $k > 3$. As an immediate consequence, the set $Γ^{k,\ell}_{\infty}$ of $\ell$-degree Turán densities of nonempty $k$-graph families is $[0,1)$ whenever $k>\ell>2$, which answers a question of Lo and Markström from 2014.

A graph is called a chain graph if it is bipartite and the neighborhoods of the vertices in each color class are linearly ordered by inclusion. We study the generalized spectral determination of chain graphs of adjacency rank $4$. We first show that generalized cospectral chain graphs have the same number of isolated vertices, reducing the problem to the connected case. For connected rank-$4$ chain graphs, we derive four explicit equations in the cell parameters that are necessary and sufficient for generalized cospectrality. These equations reduce to a quadratic equation in a single parameter. As a consequence, every connected rank-$4$ chain graph has at most one generalized cospectral mate, and the possible mate can be reconstructed explicitly. We further obtain a simple sufficient condition for a rank-$4$ chain graph to be determined by its generalized spectrum (DGS) and, in particular, prove that every double star graph is DGS. Finally, we construct an explicit infinite family of non-double-star rank-$4$ chain graphs that are DGS but not determined by their adjacency spectra, with both the graphs and their complements being connected.

A tensor product is known for commutative Rota--Baxter algebras through a universal construction, but its underlying algebra need not be the ordinary tensor product $A\otimes B$ and can be substantially larger. We show that, after passing to augmented Rota--Baxter algebras, the ordinary tensor product itself carries a natural Rota--Baxter operator which makes the category monoidal with the usual associator and unit constraints. The resulting structure is intrinsically nonsymmetric: over a field of characteristic zero, this operator and its flip-conjugated counterpart are the only possibilities among linear combinations of five natural terms, while over any field the full category admits no braiding. Its comonoid objects are precisely Rota--Baxter cocycle bialgebras. Moreover, the free Rota--Baxter adjunction yields a bimonad and free cocycle bialgebras on ordinary bialgebras, with compatible Hopf structures for connected filtered inputs, in both the associative and commutative settings.

Let $G$ be a thrackle, where a thrackle is a graph drawing in which each edge meets every other edge exactly once, either at a vertex or at a crossing. It is conjectured that, for all thrackles, the number of edges is less than or equal to the number of vertices. Fulek and Pach created a program to determine whether or not a graph can be a thrackle. Through a reconstruction and improvement of their algorithm, we computationally prove a key dumbbell to be non-thrackleable. Using this exclusion, we improve Xu's 8-face half-edge bound from five to four. Finally, using this stronger restriction with Xu's framework, together with separate arguments for graphs containing triangles and disconnected graphs, we improve the known upper bound toward this conjecture to $m\le1.385(n-1)$ for $n\ge4$.

We study the list chromatic number of generalized Johnson graphs. Recall that the vertices of such graphs are all possible $r$-element subsets of $[n] = \{1, \dotsc, n\}$ and an edge is drawn between two vertices if and only if corresponding sets have exactly $s$ common elements. We prove that for any fixed $s \geq 1$ and $r \geq 2s + 2$ we have $χ_L(G(n,r,s)) = Θ(n^{s+1}\ln n)$. In case where $s = 0$ we prove that for all $4\ln n \leq r \leq n/20$ we have $χ_L(G(n,r,0)) \geq \frac{n}{120}\ln\left(\frac{en}{r}\right)$. Together with previous results of Bulankina, Inozemtsev and Kupavskii this proves that $χ_L(G(n,r,0)) = Θ\left(n\ln\left(\frac{en}{r}\right)\right)$ uniformly for $2 \leq r \leq (1/2-\varepsilon)n$.

In distributed storage systems, redundancy enables a single data object to be reconstructed using several disjoint groups of servers. The resulting service rate region (SRR) captures all combinations of object request rates that the system can support simultaneously without overloading any individual server. We analyze the SRR of binary codes obtained via the Plotkin-type construction. We demonstrate that each recovery set for an information object of the Plotkin-type code $\mathcal{C}_p$ induces a corresponding recovery set for the same data object characterized by the underlying code $\mathcal{C}$. Furthermore, by characterizing the recovery sets structure of $\mathcal{C}_p$ in terms of the recovery set structure of $\mathcal{C}$, we identify the additional recovery sets introduced by this construction. Using the associated recovery hypergraphs, we establish bounds on the SRRs of $\mathcal{C}_p$ and iterated code $\mathcal{C}_{p^m}$ in terms of the SRR of $\mathcal{C}$. We consider the family of first-order binary Reed-Muller codes and show how the recovery structure, and consequently, the service rates of R$(1,m)$ for arbitrary $m$ can be recursively derived from a generator matrix of R$(1,2)$ through our results for successive Plotkin-type constructions.

Jin, Milojević, Tomon and Zhang established a powerful recursive estimate relating the positive eigenvalues of a graph whose least eigenvalue is small in absolute value. We establish a refinement of this result, yielding improved estimates across spectral graph theory and discrepancy theory, and for Chowla's cosine problem. Recent results of Janzer, Tomon and Yip allow us to directly transfer least eigenvalue estimates to the corresponding surplus estimates. Using these tools, we fully resolve a conjecture of Räty, Sudakov and Tomon. We show that, for an $n$-vertex graph $G$ with least eigenvalue $λ_n$ and surplus $\operatorname{sp}(G)$, if $G$ is $ε$-far from all disjoint unions of cliques, then $|λ_n|\geq Ω_ε(n^{1/4})$ and $\operatorname{sp}(G)\geq Ω_ε(n^{5/4})$. Furthermore, we show that when $G$ is $n^{-o(1)}$-far from all disjoint unions of cliques, we have $|λ_n|\geq n^{1/4 - o(1)}$ and $\operatorname{sp}(G)\geq n^{5/4 - o(1)}$. Finally, we show that the surplus of a $K_t$-free graph with $m$ edges is at least $m^{0.614 - o(1)}$ as $m$ tends to infinity.

We prove a structure theorem for numerical semigroups H that are almost symmetric and almost complete intersections. We show that a row-factorization (RF) matrix of H must possess a highly regular structure, which we call a cascade matrix. Consequently, the defining ideal I_H of the semigroup ring k[H] also exhibits a highly regular structure, derived from this cascade matrix. Both the RF-matrix and the binomial minimal generating set of I_H are unique. Conversely, this structure completely characterizes almost symmetric almost complete intersection numerical semigroups: to every cascade matrix M we associate a monoid H and, whenever this is a numerical semigroup, we prove that H is pseudo-symmetric, almost complete intersection, and has M as RF-matrix. As a consequence of our study, we obtain several key results. 1) Rigidty: if an almost complete intersection semigroup is almost symmetric, then it is forced to have odd embedding dimension and to be pseudo-symmetric. This result is a ``next step'' after Kunz's theorem, which states that an almost complete intersection semigroup is never symmetric. 2) Huneke-Ulrich structure: the toric ideal can be realized as the ideal of entries of an alternating matrix multiplied by a vector of variables, and this yields the licci property. 3) Cascade polynomials: for each odd positive integer e, we construct a multivariate squarefree polynomial P_e with integer coefficients, arising from a cascade matrix of variables. We provide an enumerative interpretation of its coefficients, thereby proving their non-negativity. 4) Herzog--Watanabe question: we prove that every minimal relation of an arbitrary numerical semigroup H can be obtained by subtracting two rows in some RF-matrix of H, affirmatively answering a 2019 question by Herzog and Watanabe.

A web is a plane graph encoding an invariant vector in a tensor product of fundamental representations of a quantum group. A stranding of an $\mathfrak{sl}_n$ web is a system of colored oriented curves recording one monomial of the vector it encodes. This article focuses on identifying and constructing leading term strandings, those recording the leading term of a web's vector with respect to a lexicographic order on monomials. We show that every open strand of a leading term stranding is clockwise, so the boundary data of such a stranding is recorded by a row-strict tableau. From a row-strict tableau, we construct a web with a prescribed leading term, and the resulting webs form a web basis. This non recursive construction recovers Fontaine's bases and produces others. For $\mathfrak{sl}_3$ webs with no flat vertices, we identify a leading term stranding using the depths of the faces of the web. Finally, we ask whether any two strandings of a web are connected by a sequence of local moves called strand reversals. We answer this question affirmatively for $\mathfrak{sl}_3$, extending a known result for closed webs to webs with boundary; in particular, a leading term stranding of any $\mathfrak{sl}_3$ web is always reachable from an arbitrary stranding.

For a fixed tree $T$ on $t$ vertices, let $\ex(n,K_r,T)$ denote the maximum number of $r$-cliques in an $n$-vertex $T$-free graph. Write $n=α(t-1)+β$ with $0\leβ<t-1$. A conjecture proposed in extremal-graph form by Alon and Shikhelman~\cite{alon2016}, later stated explicitly as an exact clique-counting formula by Gerbner and Palmer~\cite{GP2026}, asserts that \[ \ex(n,K_r,T)=α\binom{t-1}{r}+\binomβr, \] with the extremal construction given by the vertex disjoint union of $α$ copies of $K_{t-1}$ and a graph with $β$ vertices. This paper proves this conjecture for every $n$ and for every tree $T$ whenever $C\log t\le r\le t-1$ and $t$ is sufficiently large, where $C$ is an absolute constant. This lowers the previously known general threshold $r\ge\lceil(2t-1)/3\rceil$, which is linear in $t$ to logarithmic order. The paper also proves the conjecture for every $3\le r\le t-1$ when at least $\lceil(t-3)/2\rceil$ leaves of $T$ have a common neighbor, and this extends the known results for stars and double stars.

We study unordered triples of order-$n$ floretion base vectors whose tile centroids form nondegenerate equilateral triangles. A scaled integer centroid map turns Euclidean completion into exact arithmetic on a triangular lattice, and a residue obstruction modulo $3$ shows that every equilateral centroid triangle uses three tiles of one orientation. Combined with finite triangular-lattice completion counts, this gives $|E_n|=4^n(4^n-1)/12$. Equilateral triangles containing the identity word $e_n$ as a vertex form an entirely nonlocal family of cardinality $(4^n+(-2)^n-2)/3$. For synchronized local $γ$-cycles, $|L_n|=(7^n-4^n)/3$ and $|L_n|/|E_n|\sim4(7/16)^n$, while on the no-$e$ support $S_n=\{i,j,k\}^n$ locality is exhaustive and $|E_n^S|=|L_n^S|=(2^n-1)3^{n-1}$. The union of the three main axes supports exactly $|E_n^{\rm ax}|=4^{n-1}+2^n-2$ equilateral triangles, split into the branches $x=y=z$ and $x+y+z=0$. For $T\in E_n$, the unsigned vertex product defines a product point $C_T$; a digitwise parity criterion characterizes $C_T=Q_T$ on local cycles and yields Fibonacci subfamilies. Multiplication-generation is equivalent to $p(T)=e_n$, hence $C_T=0$; locally this gives exactly the nontrivial global $γ$-orbits, and exact enumeration through order $6$ finds no nonlocal example. Retaining the signs discarded by the unsigned product gives a second classifier: a triangle has scalar vertex-sum square exactly when its three vertices pairwise anticommute. For local cycles this occurs exactly when $|S|$ is odd, giving $|\mathrm{AC}_n\cap L_n|=(7^n-1)/6$, while nonlocal pairwise-anticommuting examples already occur in order $3$.

Resolving Babai's minimal Cayley graph problem, we construct finite minimal Cayley graphs with arbitrarily large chromatic number.

The existence of Hamilton cycles in connected vertex-transitive graphs is a core open problem in algebraic graph theory, originating from Lovász's 1969 conjecture. All connected vertex-transitive graphs of order $pq$ are known to be Hamiltonian except the Petersen graph, and primitive graph of order $2pq$ are resolved except the Coxeter graph. This paper considers connected vertex-transitive graphs of order $2pq$ where every transitive automorphism subgroup admits a maximal intransitive normal subgroup inducing prime-length orbits. We prove that all such graphs contain a Hamilton cycle, with no new exceptions beyond the already characterized non-qualifying graphs. This result covers a large non-quasiprimitive graphs of order $2pq$, advancing the full resolution of the $2pq$.

A hypergraph is linear if every pair of vertices is contained in at most one hyperedge. We study linear Turán numbers of acyclic $r$-uniform hypergraphs, extending earlier work of Gyárfás, Ruszinkó, and Sárközy from uniformity $3$ to general $r$, with emphasis on hypertrees with four hyperedges. For the linear path $P_4^r$, we prove $\operatorname{ex}^{\mathrm{lin}}_r(n,P_4^r)\le (r+1)n/r$, with equality precisely for disjoint unions of Steiner systems $S(2,r,r^2)$, whenever such systems exist. We also give counterexamples to a structural claim used in a previously proposed proof for $r=4$. The same bound and equality characterization hold for the broom $B_4^r$. For the crown $E_4^r$, writing $B=\{v:d(v)\le r\}$ and $C=\{v:r+1\le d(v)\le2r-1\}$, we prove $|E(H)|\le r|B|/(r-1)+(2r-1)|C|/r$, and hence $\operatorname{ex}^{\mathrm{lin}}_r(n,E_4^r)\le(2r-1)n/r$. We also give a lower-bound construction and formulate a sharper conjecture. Finally, for the linear star $S_k^r$, we prove $\operatorname{ex}^{\mathrm{lin}}_r(n,S_k^r)\le n(k-1)/r$, with equality precisely for $(k-1)$-regular linear $r$-uniform hypergraphs, whenever such hypergraphs exist. Under suitable divisibility and existence assumptions, we also construct $T_k^r$-free examples with $n(k-1)/r$ edges for every linear $r$-uniform hypertree $T_k^r$ with $k$ hyperedges.

A set $A\subseteq\mathbb{N}$ is called $\textit{complete}$ if every sufficiently large integer can be written as a sum of distinct elements of $A$. It is $\textit{strongly complete}$ if it remains complete after one deletes finitely many elements from it. Building on recent work of Bergelson and Simmons and that of Griesmer, we establish a new strong-completeness criterion exploiting a three-component partition of a given set. As an application, we show that $A$ is strongly complete whenever \[ \big|A\cap(2^k,2^{k+1}]\big|\ge5 \] for every sufficiently large $k\in\mathbb{N}$, and \[ \sum_{a\in A}\|aθ\|=\infty, \quad\forallθ\in\mathbb{R}\setminus\mathbb{Z}. \] In particular, this resolves a 1961 conjecture of Erdős. The new strong-completeness criterion also enables us to make progress on a 1996 problem of Burr, Erdős, Graham, and Li concerning strong completeness of mixed power sets by refining a previous result of Bergelson and Simmons. Besides, we study the polynomially perturbed ray set \[ \{\lfloor tα^n\rfloor,\lfloor tα^n\rfloor+P(n):n\in\mathbb{N}\}, \] which combines the polynomial set $\{P(n):n\in\mathbb{N}\}$ and the single-ray set $\{\lfloor tα^n\rfloor:n\in\mathbb{N}\}$ both previously considered by Graham, and show that it is strongly complete for any $t>0$ and $α\in(0,2)$ and any primitive integer-valued polynomial $P$. The machinery developed for the proof of this result also yields other interesting applications.

A vertex $v$ of an oriented graph $D$ is a Seymour vertex if the number of outneighbors of $v$ is less than or equal to the number of second outneighbors of $v$ (vertices at directed distance exactly $2$ from $v$). Seymour's Second Neighborhood Conjecture claims that every oriented graph contains a Seymour vertex. We propose the following stronger conjecture (Conjecture 1.4): given any oriented graphs $D$, there exists a minimum outdegree vertex $s$, and a Seymour vertex $v^*$ such that the directed distance from $s$ to $v^*$ is at most $\lfloor\frac{δ^+(D)}{3} \rfloor$, where $δ^+(D)$ denotes the minimum outdegree of $D$. The main contribution of this article is to show that Conjecture 1.4 is true for all oriented graphs having minimum outdegree at most $7$. This, in particular, improves the results of Kaneko and Locke (2001) which (implicitly) proved Conjecture 1.4 for all oriented graphs having minimum outdegree at most $6$. In particular, this yields Seymour's Second Neighborhood Conjecture for this class of oriented graphs. We also construct a family of digraphs attaining the proposed distance bound, showing that it cannot be improved in general. Finally, by adapting existing arguments, we show that if Seymour's Second Neighborhood Conjecture is true then given any oriented graph $D$ and any vertex $v$, it is always possible to find a Seymour vertex $v^*$ such that the directed distance from $v$ to $v^*$ is at most the outdegree of $v$.

We show that the polar degrees of the coordinate-wise inverse of a linear subspace $L \subseteq \mathbb{P}^n$ are given by the coefficients of a substitution of the reduced characteristic polynomial of the associated matroid $\mathrm{M}(L)$. Our proof connects the geometry of conormal varieties of reciprocal linear spaces to the combinatorial conormal fan of $\mathrm{M}(L)$. As a corollary, we settle two open conjectures regarding matroid discriminants.

Let \(B_n\) denote the book graph consisting of \(n\) triangles sharing a common edge. Rousseau and Sheehan (1978) proved, using Paley graphs, that \(R(B_n,B_n)=4n+2\) whenever \(4n+1\) is a prime power. Since then, only a few additional exact values of \(R(B_n,B_n)\) have been obtained. In this paper, we obtain \(R(B_n,B_n)=4n+1\) for infinitely many \(n\) by constructing graphs from pseudo-cyclic strongly regular graphs (PC-graphs). To the best of our knowledge, this is the first new infinite family of exact diagonal book Ramsey numbers since 1978. We also prove that \(R(B_{n-2},B_n)\le 4n-3\) for every \(n\ge 3\) with \(n\ne 6\), removing the original condition \(n\equiv 2\pmod 3\) imposed by Rousseau and Sheehan. Moreover, equality \(R(B_{n-2},B_n)=4n-3\) holds if there exists a symmetric Hadamard matrix of order \(2n-2\) with all diagonal entries equal to \(1\). In particular, this equality holds for every \(n=2^{2\ell-1}+1\) with \(\ell\ge 1\).

The shortest path multiplicity, here denoted by $μ$, is an important metric of complex networks. For real networks $μ$ is high and it correlates with the network community structure. Since local network evolution induces network communities, it is possible that a high shortest path multiplicity is the natural expectation of local evolution rules. Here I demonstrate, by means of numerical simulations and exact results, that this is indeed the case. For random graphs with arbitrary degree distributions $p_k$, $\langleμ\rangle\sim \langle k(k-1)\rangle / (\langle k\rangle e)$, growing with the network size when $p_k\sim k^{-γ}$ and $γ\leq3$. For networks generated by stochastic local rules, $\langleμ\rangle$ increases with the network size and it does so faster than what is observed in their randomized versions. Furthermore, the number of communities increases with the network size and the correlation with $\langle μ\rangle$ follows.

We study the extreme local structure of plane binary trees through the limiting distribution of the number of leaves at maximum depth. For every $m\geq1$, we determine the limiting probability $κ^{[m]}$ that the deepest level contains $2m$ leaves. The resulting sequence is encoded by a generating function $K(y)$, obtained from a bivariate refinement of the Catalan iteration. We show that, at the critical point of this iteration, a parabolic recurrence governs the marked generating functions. Using continuous iteration theory and a Fatou coordinate, we transform this recurrence into the functional equation $K((1+y/4)^2)=K(y)+4$, which describes the limiting law. Its singular behavior yields the exponential tail $κ^{[m]}\sim4^{-m+1}$. Numerical evaluation gives, e.g., $κ^{[1]}\approx0.7009$, $κ^{[2]}\approx0.2226$ and an average number of deepest leaves equal to $\hatκ=4κ^{[1]}\approx2.8037$.

The immanant is a generalized matrix function associated with irreducible characters of the symmetric group. The immanantal polynomial of matrix $M$ is defined as the immanant of matrix $(xI - M)$, where $I$ is the identity matrix. The characteristic polynomials and permanental polynomials of graph matrices (adjacency matrix, Laplacian matrix, signless Laplacian matrix and $A_α(G)$ matrix) have been extensively studied, yielding fascinating results. As a unification of the characteristic polynomial and permanental polynomial, the immanantal polynomial has also attracted attention and led to several important findings. In this paper, we focus on the study of immanantal polynomials for linear combination matrices composed of the degree matrix and adjacency matrix of a graph. First, applying the concept of vertex orientation for general graphs, we provide a combinatorial interpretation of the coefficients of the immanantal polynomials for the linear combination matrices of graphs, and we also characterize the bounds of these coefficients. These bounds implicitly encompass the existing results of Chan and Lam on trees and bipartite graphs. Furthermore, we give a solution to the open problem posed by Merris. Second, we characterize the first six coefficients of the hook immanantal polynomial. And the necessary and sufficient condition under which the linear combination matrices of two regular graphs have the same hook immanantal polynomial is proved. Third, we generalize the Frobenius--König theorem and the Laplace expansion theorem to immanants. Using these two theorems, we show that the star degree of a graph is always a lower bound for the multiplicity of a certain root of the immanantal polynomial of its linear combination matrix. Finally, we derive formulas for the first six coefficients of the hook immanantal polynomial for several important graph matrices.

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. These are two of the three remaining cases from the results of Chen, Kohonen, and Yang (2026). Combined with their results, the thickness of $K_n \, \square \, P_2$ is completely determined.

In this paper, we derive new combinatorial formulas for symmetric Macdonald polynomials $P_λ(X;q,t)$ and non-symmetric Macdonald polynomials $E_γ(X;q,t)$, in terms of several new statistics and the major index, for a partition $λ$ and a weak composition $γ$. Compared to previous formulas, these new formulas contain the fewest terms and lead to explicit $(q,t)$-formulas for the coefficients in the monomial expansion of $P_λ(X;q,t)$. In particular, the combinatorial formula for $E_γ(X;q,t)$ extends the one for $E_λ(X;q,t)$ indexed by a partition $λ$, due to Corteel, Mandelshtam and Williams (2022). Three existing formulas for $P_λ(X;q,t)$ established by Corteel, Mandelshtam and Williams (2022), by Corteel, Haglund, Mandelshtam, Mason and Williams (2022), and by Mandelshtam (2025) are recovered. Our proof relies on two new statistics on super fillings, employing the superization formulas of Haglund--Haiman--Loehr (2005) and Ayyer--Mandelshtam--Martin (2023), together with our recent approach to modified Macdonald polynomials.

A flip of a graph is obtained by complementing the edge relation within a set of vertices. Flips are typically used to separate vertices in a graph, by increasing the distances between them. We show that in $K_{t,t}$-free graphs, every short sequence of flips can be simulated by a short sequence of vertex deletions that achieves a similar degree of separation: distances in the resulting graph are, up to a factor of three, at least as large as those obtained after the flips. This result provides a simple and uniform explanation of an emerging pattern in structural graph theory and finite model theory: the $K_{t,t}$-free fragment of a tameness notion for dense graphs often coincides with a tameness notion for sparse graphs. As immediate applications, we recover the following known equivalences. In the $K_{t,t}$-free setting, the dense notions (1) bounded shrub-depth, (2) bounded clique-width, (3) bounded flip-width, (4) monadic dependence, respectively, coincide with the sparse notions (1) bounded tree-depth, (2) bounded tree-width, (3) bounded expansion, and (4) no-where dense-ness. Furthermore, we reprove the result by Dreier and Toruńczyk (STOC 2025) stating that $K_{t,t}$-free classes of bounded merge-width have bounded expansion. Our proof provides explicit bounds and is direct, as it shows how to construct strong coloring orders (witnesses of bounded expansion) from merge sequences (witnesses of bounded merge-width). Along the way, we identify a new family of graph parameters, dubbed separation-width, that is sandwiched between the strong and weak coloring numbers, and is closely related to the merge-width parameters. We provide evidence that this family of graph parameters, apparently overlooked in the literature, may play a fundamental role in the study of sparse graphs.

We develop a fine-scale structural theory for balls of polynomial volume in finitely generated groups. Our main result shows that a polynomial-volume hypothesis on a single ball implies that every larger ball can, after quotienting by a certain canonical finite normal subgroup, be embedded in a lattice of a Lie group whose connected component is nilpotent with sharply bounded index and dimension. These Lie groups and lattices form chains of successive quotients that are essentially unique, giving a quantitative fine-scale analogue of Losert's strengthening of the Mal'cev completion. This describes the fine structure of the group with sharp algebraic and quantitative precision; for example, it leads to sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's polynomial-growth theorem. These results have a wide range of applications in various aspects of the theory of vertex-transitive graphs, including for instance random walks, percolation, and scaling limits. We obtain some of these applications in the present paper, and treat others in companion papers. Some are due to or joint with other authors.

We show that a finite coloring of an amenable group contains `many' monochromatic sets of the form $\{x,y,xy,yx\},$ and natural extensions with more variables. This gives the first combinatorial proof and extensions of Bergelson and McCutcheon's non-commutative Schur theorem. Our main new tool is the introduction of what we call `quasirandom colorings,' a condition that is automatically satisfied by colorings of quasirandom groups, and a reduction to this case.

In 1975 Bollobás, Erdős, and Szemerédi asked what minimum degree guarantees an octahedral subgraph $K_3(2)$ in any tripartite graph $G$ with $n$ vertices in each vertex class. We show that $δ(G)\geq n+2n^{\frac{5}{6}}$ suffices thus improving the bound $n+(1+o(1))n^{\frac{11}{12}}$ of Bhalkikar and Zhao obtained by following their approach. Bollobás, Erdős, and Szemerédi conjectured that $n+cn^{\frac{1}{2}}$ suffices and there are many $K_3(2)$-free tripartite graphs $G$ with $δ(G)\geq n+cn^{\frac{1}{2}}$. We confirm this conjecture under the additional assumption that every vertex in $G$ is adjacent to at least $(1/5+\varepsilon)n$ vertices in any other vertex class.

In 1975, Stein made a wide generalisation of the Ryser-Brualdi-Stein conjecture on transversals in Latin squares, conjecturing that every equi-$n$-square (an $n\times n$ array filled with $n$ symbols where each symbol appears exactly $n$ times) has a transversal of size $n-1$. That is, it should have a collection of $n-1$ entries that share no row, column, or symbol. In 2017, Aharoni, Berger, Kotlar, and Ziv showed that equi-$n$-squares always have a transversal with size at least $2n/3$. In 2019, Pokrovskiy and Sudakov disproved Stein's conjecture by constructing equi-$n$-squares without a transversal of size $n-\frac{\log n}{42}$, but asked whether Stein's conjecture is approximately true. I.e., does an equi-$n$-square always have a transversal with size $(1-o(1))n$? We answer this question in the positive. More specifically, we improve both known bounds, showing that there exist equi-$n$-squares with no transversal of size $n-Ω(\sqrt{n})$ and that every equi-$n$-square contains $n-n^{1-Ω(1)}$ disjoint transversals of size $n-n^{1-Ω(1)}$. Furthermore, we give results for the corresponding problem in globally-bounded colourings of complete graphs, as part of the wider framework of coloured complete directed graphs.

Given a graph $H$, let $χ_H(\mathbb{R}^n)$ be the smallest positive integer $r$ such that there exists an $r$-coloring of $\mathbb{R}^n$ with no monochromatic unit-copy of $H$, that is a set of $|V(H)|$ vertices of the same color such that any two vertices corresponding to an edge of $H$ are at distance one. This Ramsey-type function extends the famous Hadwiger--Nelson problem on the chromatic number $χ(\mathbb{R}^n)=χ_{K_2}(\mathbb{R}^n)$ of the space from a complete graph $K_2$ on two vertices to an arbitrary graph $H$. It also extends the classical Euclidean Ramsey problem for congruent monochromatic subsets to the family of those defined by a specific subset of unit distances. Among others, we show that $χ_H(\mathbb{R}^n)=χ(\mathbb{R}^n)$ for any even cycle $H$ of length $8$ or at least $12$ as well as for any forest and that $χ_H(\mathbb{R}^n)=\lceilχ(\mathbb{R}^n)/2\rceil$ for any sufficiently long odd cycle. Our main tools and results, which are of independent interest, establish that Cartesian powers enjoy Ramsey-type properties for graphs with favorable Turán-type characteristics, such as zero hypercube Turán density. In addition, we prove induced variants of these results, find bounds on $χ_H(\mathbb{R}^n)$ for growing dimensions $n$, and prove a canonical-type result. We conclude with many open problems. One of these is to determine $χ_{C_4}(\mathbb{R}^2)$, for a cycle $C_4$ on four vertices.

We obtain bivariate asymptotics for the number of (unicellular) combinatorial maps (a model of discrete surfaces) as both the size and the genus grow. This work is related to two research topics that have been very active recently: multivariate asymptotics and large genus geometry. Our method consists of studying a linear recurrence for these numbers, and can be applied to many other linear recurrences. In particular, we include a general theorem that yields asymptotics for such recurrences, provided that some assumptions are satisfied.

We develop a mutation theory for quivers with oriented 2-cycles using a structure called a homotopy, defined as a normal subgroupoid of the quiver's fundamental groupoid. This framework extends Fomin-Zelevinsky mutations of 2-acyclic quivers and yields involutive mutations that preserve the fundamental groupoid quotient by the homotopy. It generalizes orbit mutations arising from quiver coverings and allows for infinite mutation sequences even when orbit mutations are obstructed. We further construct quivers with homotopies from triangulations of marked surfaces with colored punctures, and prove that flips correspond to mutations, extending the Fomin-Shapiro-Thurston model to the setting with 2-cycles.