arXiv++ Combinatorics

This paper contributes to the long line of research on the distribution of mesh patterns in permutations. We extend these studies to separable permutations and carry out a comprehensive analysis of mesh patterns of length at most~2. For mesh patterns of length~1, we determine the distributions for all six equivalence classes. In addition, we obtain the joint distribution for the patterns in the class containing the well-known permutation statistic known as the strict fixed point. Furthermore, computer experiments suggest that at most 124 pairs of mesh patterns of type 12 and 21 with identical shading are equidistributed. Using symmetry operations, we partition these pairs into 38 equivalence classes with respect to distribution. By explicitly determining 24 of these distributions (in many cases, in fact, joint equidistributions of the respective pairs), we reduce the number of equivalence classes to~31, which turns out to be the true number of equivalence classes. Enumerating 14 of these classes is left as an open problem.

Let $m,n\geq2$ be integers. We study the least exponent $t_{m,n}$ such that the $m$-fold additive energy of any subset $A$ of the discrete cube $\{0,1,\cdots,n-1\}^d$ in any dimension $d$ satisfies $E_m(A)\leq |A|^{t_{m,n}}$. For every fixed $m$, we obtain the asymptotic formula $$ t_{m,n}=2m-1-(1+o(1))\log_n \frac{(2m-1)^{m-1/2}}{(2m)^{m-1}} \qquad(n\to\infty). $$ For $m=2$, this gives $$ t_{2,n} = 3 - (1+o(1)) \log_n\frac{3\sqrt{3}}{4}, $$ proving a conjecture of the first author.

A family of paths in a graph $G$ strongly separates the edges of $G$ if for every ordered pair of distinct edges $(e,f)$ some path in the family contains $e$ and avoids $f$; the minimum size of such a family is denoted by $\operatorname{ssp}(G)$. Bonamy, Botler, Dross, Naia, and Skokan proved, for every $n$-vertex graph $G$, that $\operatorname{ssp}(G)\le 19n$; Liu, Xu, and Yang recently improved this to $\operatorname{ssp}(G)\le 10n-o(n)$. We prove, for every $n$-vertex graph $G$, that $\operatorname{ssp}(G)\le 7.75n$.

We formulate a version of Schur--Weyl duality for the current Lie algebra $\mathfrak{gl}_V[x,y]=\mathfrak{gl}_V\otimes\mathbb{C}[x,y]$. Under this duality, the Garsia--Haiman modules of the $N!$-conjecture become cyclic and cocyclic $\mathfrak{gl}_V[x,y]$-modules, and we describe them as iterated fusion and cofusion products of tautological $\mathfrak{gl}_V$-modules. We show that Haiman's $N!$-theorem for a diagram is equivalent to the coincidence of the fusion and the cofusion filtrations on the tensor product of the local Weyl modules attached to its rows, and that the fusion and cofusion products of Garsia--Haiman modules are associative. Let $λ$ and $μ$ be Young diagrams obtained by removing two different corners from the same diagram. We construct an iterated fusion product of $S^2V$ with local Weyl modules, which is a quotient of the common quotient of the Garsia--Haiman modules of $λ$ and $μ$, fits into short exact sequences with each of them, and has Butler's intersection polynomial as its character. This gives a representation-theoretic proof of Butler's conjecture. The same construction gives lower bounds for the dimensions in the $N!/k$-conjecture.

The hypersimplex $Δ_{k,n}$ is the convex hull of all 0/1-vectors of length $ n $ with coordinate sum $ k $. Early conjectured, and Kim proved, a combinatorial formula for the $ h^* $-polynomial of $Δ_{k,n}$ in terms of hypersimplicial decorated ordered set partitions. In this paper, we refine the Early--Kim formula to the flag $h$-numbers of the alcove triangulation of $\hyp$. We also give a representation-theoretic interpretation of its flag $f$-numbers in terms of Young permutation modules.

We introduce extendable pattern avoidance for alternating sign rectangles (ASRs), the natural rectangular generalization of alternating sign matrices (ASMs). An ASR extendably avoids a pattern $π$ if it is the upper left corner of an ASM avoiding $π$. For each of the four length-three patterns in the equivalence class $\{312, 132, 213, 231\}$ we establish a complete system of recurrence relations enumerating extendably $π$-avoiding ASRs of size $r \times k$ with a prescribed number $d$ of nonempty rows. For $π= 312$ we further conjecture a closed-form expression and prove it on several diagonal slices via bijections involving Schröder ballot numbers, refined Schröder numbers and Delannoy paths that do not cross the main diagonal vertically. For ASRs of size $(r-1) \times (r+1)$ extendably avoiding $213$ we give a bijection to little Schröder paths of length $r$. The remaining patterns of length three, $123$ and $321$, are more elusive, mirroring the situation of ASMs.

For a finite poset, we partition the edges of the order polytope and of the chain polytope into classes indexed by the connected convex subsets of the poset, and we establish that corresponding classes have the same cardinality. This yields a closed formula for the common number of edges, and it identifies the bijection of Hibi, Li, Sahara and Shikama, given by them through an explicit formula, as a disjoint union of simple bijections between corresponding classes, which explains why it is a bijection and how it acts on edge directions and lengths. As consequences, the two polytopes have equally many edge directions, with matching multiplicities; the chain polytope has at least as many edges parallel to each coordinate subspace as the order polytope; and the edge lengths of the chain polytope are dominated by those of the order polytope. Strict inequality occurs in the last two comparisons exactly when the poset contains a three-element chain. We discuss implications for linear and convex combinatorial optimization over ideals and antichains. We also express the number of edges in terms of the comparability graph, in a form that extends to stable-set polytopes of arbitrary graphs, give a recursion for series-parallel posets and closed formulas for layered, zigzag and crown posets, characterize the distributive lattices for which the two polytopes are unimodularly equivalent, and demonstrate that, although the two polytopes have the same number of edges, either one can have the larger diameter, by an arbitrary amount; on the other hand, both diameters are bounded by the width of the poset, and they coincide for ordinal sums, series-parallel posets, and zigzag and crown posets.

We formally initiate the study of $λ$-fold $(s,t)$ near-factorizations in association schemes. Namely, given an association $(X, \mathcal{A})$, we consider the existence of a factorization of $λ(J-I)$ into 01-matrices $S$ and $T$ with the constraint that $S$ and $T$ must belong to the adjacency algebra of $(X, \mathcal{A})$. We establish basic properties of $λ$-fold $(s,t)$ near-factorizations in association schemes and calculate bounds for $λ$, $s$, and $t$ relative to the order of the association scheme. We completely determine all near-factorizations in symmetric and asymmetric 2-class association schemes. Furthermore, we construct near-factorizations in certain Hamming schemes, cyclotomic association schemes, Schurian schemes on small primitive groups, and the folded cube and halved cube association schemes. Finally, we establish that certain Hamming schemes, Johnson schemes, and Grassmann schemes do not admit a $λ$-fold near-factorization.

We show that, in random hypergraphs with several permitted edge sizes, non-uniformity affects existential and algorithmic bounds for 2-colorability (Property B) in fundamentally different ways. Assigning weight $2^{-k}$ to each $k$-edge, we obtain upper and lower bounds in terms of the total edge weight that asymptotically match the uniform bounds as the minimum permitted edge size grows, regardless of how edges are distributed among sizes. We also extend the best-known algorithm for 2-coloring random uniform hypergraphs to the non-uniform setting. With weight $\frac{k}{2^k}$ assigned to each $k$-edge, we construct non-uniform instances whose expected total edge weight per vertex is arbitrarily large, yet the algorithm finds a proper coloring asymptotically almost surely. In the uniform setting, the algorithm fails with high probability once this quantity exceeds a constant. Our construction uses sufficiently separated edge sizes, so that edges of different sizes become relevant at well-separated stages of the execution and their effects are essentially independent.

We study list coloring of common independent sets of two matroids. We construct a graphic matroid $M_1$ and a partition matroid $M_2$ with common chromatic number two and common list chromatic number three, showing that the two parameters need not be equal. This resolves a question raised by Király, later stated as a conjecture by Aharoni, Berger, Guo, and Kotlar. We also show that if two strongly base-orderable matroids are each $2$-colorable, then their intersection is $2$-list-colorable.

The complex of injective words is a cell complex that arises in a number of different areas. It has applications to proving homological stability and to the study of group cohomology, and it is closely related to the random-to-random Markov chain. This complex was first studied by Farmer, who proved it has the homology of a wedge of top-dimensional spheres. Later, Björner and Wachs established its shellability, and Reiner and Webb uncovered its $S_n$-module structure, observing in the process that the rank of its top homology group is the $n$th derangement number. We introduce natural subcomplexes of the complex of injective words by fixing a permutation pattern $σ$ and considering only those injective words in the alphabet $\{1,2,\dots,n\} $ that avoid $σ$. We prove that such pattern-avoiding complexes are shellable if $σ$ begins or ends with its largest or smallest letter, and we construct homology bases for the complexes avoiding such patterns. For patterns of length 3, all of which have this property, we show that the rank of the top homology of the resulting complex is a Riordan number. All but four patterns of length 4 also have this property, and for two of the remaining four patterns, we establish shellability using a different method. We also introduce a technique to use enumerative combinatorics to prove shellability, and we apply it to the complex of separable injective words, thereby deducing shellability in this case. Along the way, we give a combinatorial formula for all of the $h$-numbers in the full complex of injective words as well as for each of the subcomplexes which we prove are shellable. Going in the other direction, we use shellability of complexes of pattern-avoiding injective words to deduce new refined counting formulas for pattern-avoiding permutations.

We study embeddings of factorizations of the $λ$-fold complete $h$-uniform hypergraph $λK_m^h$ in factorizations of $λK_n^h$, where $m<n$ and both the source and target degrees may vary by color. From every embedding one can obtain another that minimizes the number of components in every target color without increasing its multiplicity spread. This change also does not increase the sum of any convex function of the edge multiplicities, simultaneously in all colors. For $h=2,3$ we give exact existence criteria for every $m<n$. For $h\ge4$, the necessary divisibility and degree-sum conditions are sufficient once $n\ge(h-1)m$, improving the previously known threshold $n\ge hm$ for color-dependent degrees. In this range we also give exact criteria for connected, simple, and equimultiple target factors. The proofs use a system of integer counts recording the number of added edges of each type. Every system satisfying these equations gives an embedding with the minimum multiplicity spread allowed by

In this paper, we study the behavior of biquandle-based invariants of virtual knotoids under their connected sum. We first show that the fundamental biquandle of the connected sum of two virtual knotoids is the pushout of a span in the category of biquandles. By applying the Hom functor to this pushout description, we obtain the correspondence between biquandle colorings of $K_1\# K_2$ and compatible pairs of colorings of summands. This provides a categorical explanation of a known matrix product formula for biquandle counting matrices under connected sum. We then study the behavior of biquandle virtual bracket invariants under connected sum. We show that, for each coloring of the connected sum $K_1\#K_2$ corresponding to a compatible pair of colorings of the summands $K_1$ and $K_2$, the normalized biquandle virtual bracket value factors as the product of the normalized values of the summands. Building on this, we obtain connected-sum formulas for the normalized multiset invariants defined by utilizing biquandle virtual brackets. When the coefficient ring is a number ring, the normalized bracket multisets can be encoded by polynomials and matrices with polynomial entries. We introduce a product $\star$ on monomials and an induced matrix product $\odot$. We then show that the normalized biquandle virtual bracket matrices satisfy \[ \widetilde{\mathcal{M}}_X^β(K_1\#K_2) = \widetilde{\mathcal{M}}_X^β(K_1) \odot \widetilde{\mathcal{M}}_X^β(K_2). \]

Kelly's conjecture asks whether every regular tournament admits a Hamilton cycle decomposition. Motivated by its symmetry-preserving extension, we study cyclic Hamilton decompositions of carousel tournaments. For an odd integer $n$, let \[ T_n=\Cay\left( \mathbb Z_n,\left\{1,2,\ldots,\frac{n-1}{2}\right\} \right) \] be the carousel tournament. We ask whether $T_n$ has a Hamilton decomposition invariant under translation by $1$. Although the answer is immediate when $n$ is prime, composite orders introduce a genuine obstruction: nonunit differences generate short cycles rather than Hamilton cycles. We resolve a general composite-order family by proving that, whenever $n=pq$ for primes $7\le p<q$, the tournament $T_n$ admits a cyclic Hamilton cycle decomposition. The proof combines Hamiltonian difference sequences over prime fields with a matching argument that constructs two base paths with disjoint difference sets in $\mathbb Z_{pq}$. Thus our result gives an infinite family supporting the cyclic, symmetry-preserving extension of the Hamilton decomposition problem for regular tournaments.

We prove that every nonconstant Kazhdan--Lusztig polynomial of a sparse paving matroid has only simple negative zeros. For each rank $d\ge5$, the Kazhdan--Lusztig polynomial of the uniform matroid of rank $d-2$ on $d$ elements strictly interlaces those of all sparse paving matroids of rank $d$ and corank at least two.

Motivated by parallel developments in ordinary and $\ell$-degree Turán problems, we study the set of $(r-2)$-uniform Turán densities of possibly infinite families of $r$-uniform hypergraphs. We prove that, for all sufficiently large $r$, these densities exhibit a phase transition at $4r^{-r}$, from a countable set of algebraic values below this threshold to the full interval $[4r^{-r},1]$. For every $r\ge3$, the densities below the threshold are exactly the finite-palette Lagrangians in that range, and each is realized by a finite forbidden family. Adapting a method of Pikhurko, we show that, for every $r\ge3$, the set of uniform densities omits continuum many of its limit points below the threshold and is therefore not closed.

We give a self-contained pair-automaton proof of the exact compress-with-another threshold of the corrected Figure 3 family from a recent survey of open problems in synchronizing automata. For every $p \geq 3$, the automaton has $n = 3p$ states and $μ(q_0) = 4p = 4n/3$. The word $(ba)^p(ab)^p$ attains this value. Two entrance potentials and an excluded region yield the lower bound, with the endpoint exception at $p = 3$ treated explicitly. A separate reset construction proves $\operatorname{rt}(A_p) \leq 3p^2 + 4p - 1$ for every parameter. Reproducible computations verify the transition and entrance identities; the all-parameter results follow from the explicit proofs.

Golomb's sequence $(G(n))$ is the unique nondecreasing sequence of positive integers in which each $n$ appears exactly $G(n)$ times. It satisfies the global self-referential rule $G(G(n)+G(n-1)+\cdots+G(1))=n$, grows smoothly like a power of $n$ governed by the golden ratio, and is not $k$-regular for any $k\ge 2$. We introduce almost Golomb sequences, obtained by truncating the cumulative sum to a fixed size sliding window $r$: $a(a(n)+a(n-1)+\cdots+a(n-r+1))=n$. This finite-memory truncation completely changes the nature of the sequence. The smooth power law gives way to oscillatory linear growth, and the sequence becomes $r$-regular for every $r\ge 2$. For small values of $r$ we establish explicit denesting formulas, prove that $a(n)/n$ does not converge, and reveal the combinatorial structure including a cellular automaton and a palindromic substitution. When one varies $r$, the Golomb sequence itself reappears. We prove that the first $r$ terms of the order-$r$ sequence form a shifted copy of Golomb's sequence, and that this initial segment controls the maximum multiplicity across the whole family. For $r\ge 5$ in particular, the maximal multiplicity is exactly $G(r-1)$. The sequence that was truncated returns as the law governing the family it generated.

Let $1\le k\le n$ and let $A$ be the adjacency matrix of a uniformly random $d$-regular directed graph on $n$ vertices. Suppose that $λn\le d \le (1-λ)n$ for a fixed $0<λ\le 1/2$. We show that there exists $c_λ>0$ depending only on $λ$ such that $$ \mathbb{P}[\operatorname{rank}(A)\le n-k]\le 2e^{-c_λ kn}. $$ This gives a large corank extension of the exponential singularity bound of Jain, Sah, and Sawhney.

We study the dimension defect of finitely many subspaces over an arbitrary field. We derive a symmetric, nonrecursive Grassmann-type formula for the dimension of their sum. The formula expresses the total dimension loss through intersections of a distinguished subspace with partial sums of the remaining subspaces, with coefficients determined by the number of subspaces involved. We also show that the formula admits a Shapley-value interpretation for the associated representable polymatroid. Grouping the correction terms by the number of participating subspaces yields a nonnegative dimension-defect profile. We prove that this profile is monotone and identify its successive gaps with the discrete curvatures of the average-rank profile. These gaps give exact remainders in two-sided defect bounds. Equality in either bound holds precisely when the images of the subspaces in the quotient by their common intersection form an internal direct sum. We also give an exact geometric decomposition of the Kinser slack into nonnegative quotient dimensions and characterize equality. Averaging these slacks over permutations and contractions recovers every defect curvature except the final one; additional representability constraints remain in the individual ordered slacks. Weighted and dual formulas accompany the expansion, and entropy analogues express the defect levels and curvatures as averages of mutual and conditional mutual information, respectively.

For any Galois field $\mathbb{F}_q$ with $q$ elements and any positive integers $m$ and $n$, the directed graph $D(q;m,n)$ has vertex set $\mathbb{F}_q\times\mathbb{F}_q$, and there is an arc from vertex $(x_1,x_2)$ to vertex $(y_1,y_2)$ if and only if $x_2+y_2=x_1^my_1^n$. It was conjectured in earlier work that two digraphs $D(q;m_1,n_1)$ and $D(q;m_2,n_2)$ are isomorphic if and only if there exists an integer $k$ relatively prime to $q-1$ such that $m_2\equiv km_1$ and $n_2 \equiv kn_1$, where both congruences are modulo $q-1$. We prove this conjecture over prime fields and construct an infinite family of counterexamples over extension fields.

In this note, we prove a stronger version of the Kővári-Sós-Turán theorem for partition-wise $k$-stable $r$-hypergraphs. More precisely, we show that for every $k,r\in\mathbb{N}_{\geq 2}$ there is $η=η(r,k)>0$ such that if $H=(V;E)$ is a partition-wise $k$-stable $r$-uniform $K^{(r)}_{t,\ldots,t}$-free hypergraph with $|V|=n$, then $|E| = O_{r,k,t}(n^{r-η})$. Crucially, $η$ is independent of $t$. The proof follows the pseudofinite regime used by Chernikov and Starchenko to prove an analogous version of Erdős-Hajnal for stable hypergraphs.

We prove that the resonance of any hyperplane arrangement is separable. Using the main result from arXiv:2512.10160 this proves Suciu's conjecture on the fundamental group of every hyperplane arrangement, in its most effective form.

We prove counting formulae for the number of directed Hamiltonian paths and directed Hamiltonian cycles in any complete multipartite graph. The method is based on a collapsing technique relating general path graphs with coloured vertices to legally coloured path graphs.

We count maximal cylinders on zero holonomy $\mathbb{Z}$-covers of genus $2$ square-tiled surfaces, up to $\mathbb{Z}$-action, obtaining quadratic asymptotics. We also show that the leading term of the asymptotic, called the Siegel-Veech constant, can be recovered via a large-genus approximation by intermediate finite covers. Our work applies to the infinite staircases introduced by P. Hubert and G. Weitze-Schmithüsen. For many members of this family, we explicitly compute the associated Siegel-Veech constants. In particular, we exhibit the first infinite family of examples of zero holonomy $\mathbb{Z}$-cover in which the number of cylinders grows sub-quadratically.

On the set $\mathbb{YF}_n$ of words in $1$ and $2$ with digit sum $n$, we consider the probability distribution $μ_P$, corresponding to the Plancherel measure on paths in the Young--Fibonacci graph. We study the asymptotics as $n$ grows of the entropy of the distribution $μ_P$ and of the minimum number of words on which $μ_P$ is almost entirely concentrated.

The classical Murnaghan-Nakayama rule is a recursive formula for computing the values of complex irreducible characters of the symmetric group $S_n$. Alun Morris proved a recursive formula for evaluating the values of irreducible spin characters of $\widetilde{S}_n$, where $\widetilde{S}_n$ is one of the Schur covers of $S_n$ defined by $\widetilde{S}_n:=\langle t_1,t_2,\cdots,t_{n-1},z\ |\ z^2=1,\ t_i^2=z,\ (t_it_{i+1})^3=z, \ t_it_j=zt_jt_i\ \text{if}\ |i-j|>1\rangle$. A recursive formula for evaluating the values of complex irreducible characters of the wreath product $G\wr S_n$, where $G$ is a finite group, was proved by J. Stembridge. In this article, we state and prove a recursive formula to compute the values of the irreducible spin characters of the wreath product $G\wr \widetilde{S}_n$. For the convenience of implementing these recursive formulas, we extend the notion of 0-1 boundary sequence of a Young diagram to shifted Young diagrams.

Given a finite poset $\mathcal P$, its induced saturation number, $\text{sat}^*(n,\mathcal P)$ is the smallest size a family of subsets of $[n]$ can have such that it does not contain an induced copy of $\mathcal P$, but adding any other set to it creates one. The saturation numbers already show a sharp dichotomy -- Freschi, Piga, Sharifzadeh and Treglown showed that for any given poset its saturation number is either bounded or at least $2\sqrt n$. The dominant conjecture is that in fact, the saturation numbers are either bounded, or exactly linear. In this paper we show that this dichotomy is true for all posets on at most 4 points. Most of these posets, most notably the butterfly and the diamond, had individually long resisted analysis, and the missing piece which this paper tackles is the poset comprised of a $\mathcal V$ and an isolated point, denoted by $\widehat{\mathcal V}$, for which we show linear saturation. The architecture of the proof uncovers the structure of an arbitrary $\widehat{\mathcal V}$- saturated family, namely an antichain with at most two chains above it, and an upside-down forest below it. Moreover, we anticipate that, at least partially, this structure is relevant to the wider class of posets that contain an isolated point.

We study probability distributions on independent sets of uniform hypergraphs with local constraints. For a positive vertex-weight function $w$ on an $(r+1)$-uniform hypergraph, define the weighted degree of vertex $v$ by \[ d_w(v):= \sum_{e\ni v} \left( \prod_{u\in e\setminus\{v\}}\dfrac{w(u)}{w(v)} \right)^{1/r}. \] For each fixed $r\geq1$, our first result gives, in every triangle-free $(r+1)$-uniform hypergraph (without a linearity assumption), a random independent set $I$ satisfying \[ \mathbb P(v\in I)\geq \left( \frac{r}{r+1}(r(r+1))^{-1/r}+o_r(1) \right) \left(\frac{\log d_w(v)}{d_w(v)}\right)^{1/r}, \qquad d_w(v)\to+\infty. \] The same result also implies that every $d$-degenerate triangle-free $(r+1)$-uniform hypergraph satisfies \[ χ_f(G)\leq \left( \dfrac{r+1}{r}(r(r+1))^{1/r}+o_r(1) \right) \left(\dfrac{d}{\log d}\right)^{1/r}, \qquad d\to+\infty. \] Our second result concerns linear Berge-$C_4$-free hypergraphs which allow Berge triangles. In this setting, for every sufficiently large threshold $D$, there exists a random independent set $I$ such that, uniformly over all vertices with $d_w(v)\geq D$, \[ \mathbb P(v\in I)\geq (1-o_r(1)) \left(\frac{\log d_w(v)}{r\,d_w(v)}\right)^{1/r}, \qquad D\to+\infty. \] It also yields \[ χ_f(G)\leq (1+o_r(1)) \left(\frac{rd}{\log d}\right)^{1/r} \] for $d$-degenerate linear Berge-$C_4$-free $(r+1)$-uniform hypergraphs. Both results are based on the ordered random pick process originated from Martinsson and Steiner. By choosing different selection functions and iteration, we prove the output of the random process gives the required random independent set.

We prove that deciding whether a graph has lettericity at most k is NP-complete, even for four-colorable comparability graphs. Our reduction maps a bipartite graph G to the graph obtained from its incidence graph by inflating each vertex by a clique or an independent set of three vertices. The lettericity of this graph is determined by the numbers of vertices and edges of G and the greatest number of edge-disjoint paths on four vertices in G. Teypaz and Rapine showed that deciding whether the edges of a bipartite graph can be partitioned into paths on four vertices is NP-complete.

Let $q=2^n$ with $n\ge6$, and let $\mathbb{F}_q$ be the finite field with $q$ elements. For a subspace $E$ of $\mathbb{F}_q$, define \[ S(E)=\sum_{x\in E\setminus\{0\}}x^{-1}.\] Let $N_{n,k}$ denote the number of $k$-dimensional $\mathbb{F}_2$-subspaces $E$ for which $S(E)=0$. We prove that, if $k\ge3$ and $n\ge2k+1$, then \[ \left|\frac{2^nN_{n,k}}{\genfrac{[}{]}{0pt}{}{n}{k}_{2}}-1\right|<2^{r^2+r}2^{n(1-r/2)},\] where $r=\lfloor\frac{k-1}{2}\rfloor$, and $\genfrac{[}{]}{0pt}{}{n}{k}_{2}$ is the Gaussian binomial coefficient. In particular, \[ N_{n,k}\sim2^{-n}\genfrac{[}{]}{0pt}{}{n}{k}_{2}\quad (n\to\infty)\] uniformly for $n/3<k\le(n-1)/2$. Combined with the known low-dimensional cases and the symmetry between dimensions $k$ and $n-k$, and the elementary middle-dimensional subfield construction, this proves a conjecture of Carlet: for every $3\le k\le n-3$, there exists a $k$-dimensional $\mathbb{F}_2$-subspace $E$ such that $S(E)=0$.

We consider systems of $n$ real polynomial equations in $n$ variables with $n+k+1$ monomials. By the Gale duality of Bihan and Sottile, their positive solutions correspond to the solutions of a system of $k$ equations $\prod_ip_i^{B_{ij}}=1$ in a polyhedron $Δ\subset\mathbb{R}^k$, where the $p_i$ are affine functions, and a Khovanskii--Rolle argument bounds their number by the number of common zeros in $Δ$ of iterated Jacobians $Γ_k,\dots,Γ_1$ plus the number of noncompact branches of certain curves. We bound the first term by the Bézout number minus the numbers of zeros in the other chambers of the arrangement $\{p_i=0\}$, which we bound from below by boundary degrees given by a facet-count formula. The branches of the curves end at zeros of the Jacobians on faces of $Δ$, which we count on the flats of the arrangement through explicit reduced systems. The resulting recursion over all flats and chambers starts on lines with Descartes' rule of signs for circuits. We obtain upper bounds for the number of positive solutions which only depend on the oriented matroid of the coefficient matrix and on the oriented matroids of the exponent matrix and of its liftings.

Motivated by Gal's conjecture, Ferroni and Higashitani conjectured that the $h^*$-polynomial of any Gorenstein lattice polytope admitting a quadratic triangulation is $γ$-positive. Together with conjectures predicting quadratic properties of toric ideals of smooth lattice polytopes, this suggests that smooth Gorenstein lattice polytopes should have $γ$-positive $h^*$-polynomials. In this paper, we prove that the Ehrhart polynomial of the polar dual of every pseudo-symmetric simplicial reflexive polytope is magic positive. For pseudo-symmetric smooth Fano polytopes, we prove the stronger statement that all magic coefficients are strictly positive. Consequently, for every pseudo-symmetric simplicial reflexive polytope, its polar dual is Ehrhart positive and has a real-rooted and $γ$-positive $h^*$-polynomial. We also prove that the Ehrhart polynomial of the polar dual of the symmetric edge polytope of every cycle is magic positive. This gives an affirmative answer to a question of Konoike, who had previously proved partial positivity results for this family.

We study the problem of constructing highly nonlinear vectorial maps $F: \mathbb F_2^n \to \mathbb F_2^m$. Concretely, we want an $F$ and an $A = A(m,n)> 0$ as small as possible, so that for every affine map $L: \mathbb F_2^n \to \mathbb F_2^m$ (of the form $L(x) = M x + b $) we have: $$\mathrm{agree}(F, L) := |\{ x \in \mathbb F_2^n \mid F(x) = L(x) \}| \leq A.$$ Such questions have been studied by Nyberg (1991,1993), Carlet and Ding (2004,2007), Liu, Mesnager and Chen (2017), Nagy (2025), and Biryukov, Turecek, and Udovenko (2026). There is a classical method of constructing such functions from bent-functions and Fourier analytic ideas; the best bound achievable by this method is: $$ A(m,n) = Θ(2^{n-m} + 2^{n/2}),$$ and in particular, is never smaller than $2^{n/2}$. In this work, we show how to construct highly nonlinear functions beyond this Fourier bound. Concretely, we show how to construct for every $γ>0$, a function $F: \mathbb F_2^n \to \mathbb F_2^m$ with $m = O_γ(n)$, achieving $$ A(m,n) \leq (1 + γ)^n.$$ Surprisingly, we even achieve the same quantitative behavior for the much harder question of having low agreement with $m$-tuples of degree $d$ polynomials $Q: \mathbb F_2^n \to \mathbb F_2^m$, with $m = O_{γ, d}(n)$. Here the previously best bounds were of the form $A(m,n) = O( 2^{-\frac{n}{2^{d+1}}} \cdot 2^n )$ of Ben-Sasson and Kopparty (2010), based on Gowers-norm-type arguments. All our results generalize to all finite fields $\mathbb F_q$ in place of $\mathbb F_2$. Our methods are based on a new connection to classical results on counting solutions to systems of polynomial equations via algebraic methods. This connection brings us to basic questions in combinatorics, about graphs and hypergraphs with simultaneously a small number of edges and independent sets.

In this paper we construct new examples of diameter graphs and Reuleaux polyhedra in $\mathbb{R}^3$, obtaining a full characterization of their combinatorial structure. For a finite set of points $X\subset\mathbb{R}^d$, its diameter graph is the graph on vertex set $X$ where pairs forming a diameter pair are connected by an edge. Grünbaum, Heppes and Straszewicz independently proved that the diameter graph of $X\subset \mathbb{R}^3$ has at most $2|X|-2$ edges, answering a question of Vázsonyi. Their proof relied on ball polytopes. The ball polytope $\mathcal{B}(X)$ is the intersection of the unit balls centered at the points of $X$. We call a ball polytope a Reuleaux polyhedron if the centers form a family with $2|X|-2$ diameter pairs. Kupitz, Martini and Perles showed that the skeleton of a Reuleaux polyhedron must be a 2-connected strongly involutive self-dual graph. They conjectured that in the simple 3-connected case this is also sufficient. We not only confirm this conjecture, but we show that any 2-connected (not necessarily simple) strongly involutive self-dual graph arises as the skeleton of a Reuleaux polyhedron. To construct the new Reuleaux polyhedra we construct new diameter graphs. It was known that any 3-dimensional diameter graph is a subgraph of a non-bipartite quadrangulation of the projective plane. We show that the reverse holds. That is, for any such graph we construct a diameter realization. This also confirms and strengthens a conjecture of Montejano, Pauli, Raggi, Roldán-Pensado on metric embeddings of strongly involutive self-dual graphs. The construction relies on ideas from rigidity theory. We also discuss a number of applications of these results, such as the construction of bodies of constant width and connections to Steinitz's theorem and Borsuk's conjecture.

This paper investigates the preservation of three classes of Ehrhart properties under various operations on lattice polytopes. These operations include Cartesian products, lattice joins, lattice pyramids, free sums, Minkowski sums, Cayley sums, reflexive polarity, and integral dilations. Specifically, we consider the following properties frequently studied in Ehrhart theory: (i): Positivity of Ehrhart coefficients, including Ehrhart positivity and magic positivity. In particular, we present lattice point counting formulas for the polytopes generated by these operations. (ii): Coefficient properties of the $h^*$-polynomial, including symmetry, unimodality, log-concavity, ultra log-concavity, real-rootedness, and $γ$-positivity. (iii): Geometric properties, including the spanning property, the integer decomposition property, very ampleness, and the existence of unimodular triangulation, regular unimodular triangulation, and quadratic triangulation. We determine which properties are preserved under these eight operations, establishing preservation theorems or constructing explicit counterexamples. Furthermore, when a property is not preserved in general, we investigate sufficient or equivalent conditions for its preservation.

In this series of articles, we study two graph classes and their various geometric representations. The first class consists of strongly involutive self-dual graphs (SISD graphs); the second consists of non-bipartite quadrangulations of the projective plane (NBQP graphs). These classes naturally arise in many geometric problems. For example, NBQP graphs are connected to diameter graphs in $\mathbb{R}^3$, tangency graphs of families of pairwise intersecting circles and pseudocircles, generalized thrackles, and graphs formed by the main diagonals of negatively self-polar polytopes. On the other hand, SISD graphs correspond to the skeletons of negatively self-polar polytopes, self-dual cones, and extremal ball-polytopes. In Part I we show a natural one-to-one correspondence between non-bipartite quadrangulations of the projective plane and 2-connected strongly involutive self-dual maps. In particular, we show that the reduced vertex-face incidence structure of a 2-connected strongly involutive self-dual map is a non-bipartite quadrangulation of the projective plane, and every non-bipartite quadrangulation of the projective plane arises that way. This allows us to translate natural properties from one class to the other. These results lay the foundation for later parts of the series.

Let \(\mathbb{F}_q\) be a finite field with \(q>7\). Zhi-Wei Sun conjectured that for every \(a_0\in\mathbb{F}_q\), there is a circular permutation \((a_1,\dots,a_{q-1})\) of non-zero elements of \(\mathbb{F}_q\) such that \(a_0+a_i a_{i+1}\) is primitive for \(1\le i\le q-1\), where \(a_q=a_1\). In this paper, we confirm this conjecture for \(q>18\,888\,871\). For \(a_0=0\), the conclusion holds for all \(q>4\). For \(a_0\ne0\), we apply the Chvátal--Erdős theorem to obtain a Hamilton cycle.

We provide in this text a new framework for a family of combinatorial Hopf algebras. We adopt for this the language of species and twisted bialgebras (also known as Hopf monoids). We define the category of combinatorial twisted bialgebras (briefly, CTBs), a class of twisted bialgebras satisfying strong combinatorial conditions of compatibilities of the product and the coproduct with the underlying combinatorial structure. The considered morphisms also have to respect the combinatorial structure, in some sense. Many classical examples fit into this framework, including Hopf algebras of graphs, rooted trees, posets, hypergraphs, symmetric functions, boolean maps, etc. Most of known combinatorial Hopf algebras can be obtained from a CTB by application of a Fock functor, or by duality. A central result is the introduction of a universal CTB denoted by $\mathbf{Exch}$, built from collections of compositions satisfying a certain exchange condition. It has a special character $ε$, such that the pair $(\mathbf{Exch},ε)$ plays a role analogous to that of quasi-symmetric functions for graded and connected Hopf algebras: it is the terminal object in the category of CTBs equipped with combinatorial characters. This leads to universal morphisms that encode important information about the combinatorial structure of coproducts. The natural order on the set of compositions on a fixed set is used to define three important sub-objects $\mathbf{Exch}\_-$, $\mathbf{Exch}\_+$ and $\mathbf{Exch}\_{+\hspace{-2mm}+}$ of $\mathbf{Exch}$. We also studies polynomial invariants associated with CTBs. It establishes a correspondence between characters and polynomial invariants. Well-known invariants such as the chromatic polynomial of graphs and the Ehrhart polynomials of posets arise naturally within this framework. We show that, for a given degree, only finitely many polynomial invariants can occur. We show that these universal polynomial invariants can be used to give cancellation-free formulas for the antipode or the Eulerian idempotent, under conditions on the CTB, and use this for an example based on rooted trees, coming from a Hopf algebra used in linguistics. Results are also obtained for families of polynomial invariants with the alternating sign condition, or satisfying a reciprocity principle. We also extend the theory to combinatorial twisted double bialgebras (briefly, CTDBs), which involve two interacting coproduct structures. These generalize previously known examples arising from graphs, posets, hypergraphs, and rooted trees. The twisted approach preserves the combinatorial richness of these structures while providing a unified algebraic framework. We show that not any CTB can be made a CTDB, leading to the introduction of the notion of quasi-cocommutativity. In particular, we show that $\mathbf{Exch}\_+$ is not a CTDB, and construct a sub-object which is, in a unique way, and maximal for the inclusion. In the cocommutative case, simplifications naturally occur, and we show that in this case, a CTB of hypergraphs plays a central role, especially two sub-objects based on connectedness systems and antichain covers. We also show that, in the cocommutative case, the universal polynomial invariants are always chromatic polynomials of hypergraphs, no matter which CTB is considered. Finally, forgetting the combinatorial underlying structure, we study the algebraic structure of $\mathrm{Exch}$, with the help of a twisted version of Loday and Ronco's rigidity theorem for infinitesimal bialgebras.

A unit-distance graph is a graph which admits a realisation in Euclidean space in which every edge has unit length. Imposing further geometric conditions on the non-edges gives a family of natural subclasses. Requiring that no two vertices lie at distance less than one gives penny and marble graphs: the contact graphs of collections of equal radii $d$-dimensional spheres with non-overlapping interiors for $d=2,3$. Requiring instead that the straight-line drawing in the plane be non-crossing gives matchstick graphs. Since any motion of a realisation must preserve these extra conditions, the rigidity and flexibility properties of the resulting frameworks differ from those of classical bar-joint rigidity theory. In this note we analyse various rigidity problems for penny and marble graphs, matchstick graphs and unit-distance graphs. In particular we answer a recent open problem on penny and marble graph rigidity and establish a link between penny graphs and the concept of NAC-colourings.

We obtain improved Fourier restriction and Kakeya maximal estimates in $\mathbb R^4$. More precisely, by proving the two-ends incidence estimates $\mathbf{TE}\left(\frac{133}{44},\frac{177}{88},\frac34\right)$ and $\mathbf{TE}\left(\frac{386453}{125988},\frac{386453}{125988},\frac{358951}{377964}\right)$, we extend the restriction range to $p>2+ \frac{176}{221}$ and the Kakeya maximal estimate up to dimension $3.06737$. The implications to the known lower-bounds for the Hausdorff dimension of Kakeya sets in $\mathbb{R}^4$ and the Bochner--Riesz conjecture are also studied.

Let $w \colon (0,1) \to \mathbb{R}_{+}$ be a weight. We prove that for an arbitrary Schauder basis $\{e^{i λ_n t}\}_{n \in \mathbb{Z}}$ in $L^2(0,1)$ and an arbitrary lacunary defect set $A \subset \mathbb{Z}$ the system $\{w(t) r_n(t)\}_{n \in \mathbb{Z} \setminus A}$ is always complete and never minimal for any weight $w$ satisfying a natural decay condition, which is sharp on the exponential scale. Moreover, we establish a simple combinatorial criterion for systems of the form $ \{ w(t) e^{2πi n t} \}_{n \in \mathbb{Z} \setminus A} $ to be complete and minimal in $L^2(0,1)$ for an arbitrary weight $w$ and a finite defect set $A \subset \mathbb{Z}$.

We investigate derivation modules of hyperplane arrangements associated with the monomial groups $G(r,p,\ell)$. Motivated by Mühlherr's separator-based construction for graphic arrangements, we extend this approach by combining separators with integral expressions. For a subarrangement $\mathcal{A}_G$ defined by a graph $G$, we show that, when $p<r$, the derivation module $\mathcal{D}(\mathcal{A}_G)$ is generated by the standard derivations $η_0,\dots,η_{κ(G)}$ together with a finite set of separator-based derivations. This result generalizes the complete graph case and provides new evidence toward the broader applicability of separator methods in the study of hyperplane arrangements.

We construct explicit off-diagonal Ramsey graphs from polynomial families of incident point--hyperplane flags. Universal interpolation translates the exact dimension of ordered clique configurations into a bound on their coefficient--label incidence. At the critical dimension, a polynomial separates the forbidden-pair image from its diagonal; deleting the corresponding edges preserves a triangular rank certificate. Restriction of scalars realizes the rational endpoint without rounding loss. The resulting fixed-$s$ exponent has leading scale $s/(2\log_2s)$, and short Frobenius relations give the explicit example $R(16,t)\geΩ(t^{2.0539221767\ldots})$. A finite-fiber construction gives the range $s^2(\log s)^2=o(\log t)$. For fixed parameters, algebraic preprocessing terminates and field initialization, vertex decoding and adjacency take deterministic time polynomial in the extension degree. We also retain an elimination-free variant and formulate the filtering argument for general forbidden configurations with a distinguished edge.

Let $Y_{n,r,q}$ be the graph obtained from the Turán graph $T_{n,r}$ by adding $q$ pairwise disjoint edges inside a largest part, and let $c(n,F)$ be the minimum number of copies of $F$ created by adding a single edge to $T_{n,r}$. Fang, Li, Lin and Ma proved that for every color-critical graph $F$ with $χ(F)=r+1$, there exists a constant $δ_F>0$ such that for all sufficiently large $n$ and all $1\le q\le δ_F \sqrt{n}$, the condition $λ(G)\geλ(Y_{n,r,q})$ forces at least $q\, c(n,F)$ copies of $F$. The bound $q=O(\sqrt{n}\,)$ is tight up to a constant factor, in contrast to the linear order $n$ of the edge setting of Mubayi, Pikhurko and Yilma, but the exact constant $δ_F$ remained unknown for any $F$. In this paper, building on a structural result of Fang, Li, Lin and Ma, we determine the threshold $δ_F$ when $F$ is a clique and an odd cycle. For every $r\ge2$, we denote $δ_r :=(1-\tfrac1r)\sqrt2$ and prove that for every $\varepsilon>0$, if $n$ is sufficiently large and $1\le q\le(δ_r-\varepsilon)\sqrt n$, then every $n$-vertex graph $G$ with $λ(G)\geλ(Y_{n,r,q})$ contains at least $q\,c(n,K_{r+1})$ copies of $K_{r+1}$, and $δ_r$ is best possible. For odd cycles, the threshold is $1/\sqrt2$. For every $k\ge1$ and $\varepsilon>0$, if $n$ is sufficiently large and $1\le q\le(1/\sqrt2-\varepsilon)\sqrt n$, then every $n$-vertex graph $G$ with $λ(G)\geλ(Y_{n,2,q})$ contains at least $q\,c(n,C_{2k+1})$ copies of $C_{2k+1}$, and $1/\sqrt2$ is best possible. Our results determine both the exact count of copies and the optimal range of $q$. The behavior in the spectral setting differs from the classical edge setting, in which the range of $q$ is of order $n$ and the threshold is $1/r$ for cliques by Lovász and Simonovits, and $1/2$ for odd cycles by Pikhurko and Yilma.

Oxley conjectured that a matroid with a circuit-cocircuit intersection of size $k\geq 4$ has one of size $k-2$. Using the standard polynomial representation of the classical extended binary Golay code, we construct an identically self-dual binary matroid of rank $12$ on $24$ elements. Its circuit-cocircuit intersection sizes are exactly $0,2,4,6,8$, and $12$, disproving the conjecture for $k=12$. The proof is self-contained and does not rely on the full weight distribution of the code or on an enumeration of all circuits.

Let $A$ be the (non-symmetric) adjacency matrix of a uniformly random $d$-regular directed graph on $n$ vertices, and let $Ξ$ be independent of $A$ with i.i.d. Rademacher entries. Suppose that $\min(d,n-d)\geλn$ for some fixed $λ\in(0,1/2]$. We show that there exists $c > 0$, depending only on $λ$, such that \[ \mathbf P_{A,Ξ}\{\operatorname{rank}(A\circΞ)\le n-k\}\le e^{-c nk},\qquad 1\le k\le n. \] As an ingredient in the proof of the rank bound, we use the case $κ=0$ of the following quantitative smallest singular value estimate: \[ \mathbf P_{A,Ξ}\{s_n(A\circΞ)\leκ\} \le Cκ\sqrt n+e^{-c' n}, \qquad κ\ge0, \] where $C,c'>0$ depend only on $λ$.

A $k$-bend path is a non-self-intersecting polyline that lies on a grid and consists of at most $k+1$ axis-parallel line segments. A $B_k$-CPG graph is a graph whose vertices can be represented by pairwise interiorly disjoint $k$-bend paths on a grid such that two vertices are adjacent if and only if the corresponding grid paths touch at a grid point. We prove that recognizing planar $B_0$-CPG graphs of maximum degree 8 is NP-complete, and that recognizing planar $B_1$-CPG graphs of maximum degree 11 is NP-complete. These results settle two of the three planar recognition problems left open by Champseix, Galby, Munaro, and Ries.

Let $φ$ be the golden ratio and let $R_n=\{\lfloor kφ^n\rfloor : k\ge 1\}$ be the $n$-th row of the array $T(n,k)=\lfloor kφ^n\rfloor$ (OEIS A128440). In 2022 Kimberling conjectured that the rows $R_{2n-1}$ and $R_{2n}$ are disjoint, and that after the two rows are merged and each entry is replaced by its rank, they become the lower and upper Wythoff sequences. He also conjectured (OEIS A358359) that if $a(N)$ is the number of rows containing $N$, then every positive integer occurs infinitely often among the values of $a$. We show that the first two conjectures follow quickly from the Skolem-Bang theorem, which also yields the exact rule for when two rows are disjoint: $R_i\cap R_j=\emptyset$ ($i<j$) if and only if $j-i$ is odd and divides $i$. We then prove the third conjecture. The main tools are an explicit determination of the rows containing an odd-indexed Lucas number, which extends a result of Noppakaew, Kanwarunyu and Wanitchatchawan, and a "Lucas shift" lemma: if $N+1$ is not of the form $L_{2e}$ with $e\ge1$, then adding a sufficiently large even-indexed Lucas number to $N$ does not change the set of rows containing it. We also show that each value of $a$ is taken on a set of positive natural density, and we report computations up to $10^8$ suggesting that the least $N$ lying in exactly $v\ge 2$ rows is the Lucas number $L_{4v-5}$.

We construct arbitrarily large finite sets $A$ of real algebraic integers such that both $|A+A|$ and $|AA|$ are at most $|A|^{1.95835}$. The construction combines truncated ideal-smooth $S$-unit fibres with a coprime additive factor. A tensor-product rank argument, using a two-dimensional local feature at each selected prime ideal, controls the loss in the additive factor, while a direct estimate for an outer parallel body improves the sumset packing bound. The arithmetic input is an unramified pro-$2$ tower over a known degree-ten field, with simultaneous Frobenius cuts controlling the small prime ideals. We use unconditional Tsfasman--Vlăduţ inequalities for the joint class-number--regulator cost. All finite numerical comparisons entering the exponent are certified by outward rational interval arithmetic. No unproved hypothesis is used.

Let $G$ be a simple graph on $n$ vertices, and let $F(G)$ denote the number of its spanning forests. Bencs and Csikvári [Upper bound for the number of spanning forests of regular graphs, European J. Combin. 110 (2023) 103677] proved that every $r$-regular graph $G$ with $r\geq 2$ satisfies $F(G) \leq r^{n}$. They further conjectured that for $r \geq 3$, \[ F(G)^{1/n} \leq \frac{(r - 1)^{r-1}}{(r^2 - 2r - 1)^{r/2-1}}. \] In this paper, we resolve this conjecture in the affirmative.

We study $W$-free planar graphs for $W\in\{W_{2,4},W_{2,5},W_{3,4}\}$, where the quasi-double star $W_{h,k}$ is obtained from a three-vertex path by attaching $h$ leaves to one endpoint and $k$ leaves to the other. We prove that every $W_{2,4}$-free planar graph on $n$ vertices has at most $9n/4$ edges, and the bound is attained whenever $8\mid n$. This determines the planar Turán density of $W_{2,4}$ as $9/4$. We also establish the sharp upper bound $5n/2$ for $W_{2,5}$. Combined with known constructions of planar graphs of maximum degree five, it yields $\ex_{\PP}(n,W_{2,5})=\lfloor5n/2\rfloor$ for every $n\ge15$. These results close the two corresponding coefficient gaps in the bounds of Liu et~al. Our proofs use structural restrictions on high-degree vertices, local deletions, and degree deficits in neighborhoods of radius two. For $W_{3,4}$, we characterize the planar graphs with a dominating vertex that avoid this tree and determine their exact extremal number, $\lfloor(5n-7)/2\rfloor$, for every $n\ge10$. Finally, $W$-free planar triangulations have at most eight, twelve, and eleven vertices for $W=W_{2,4},W_{2,5},W_{3,4}$, respectively; the first two bounds are sharp.

Partly motivated by enumeration of parking functions and their variants, there is a long-standing interest in lattice paths refined by several statistics, including the notable $\mathsf{run}$ and $\mathsf{return}$. We consider bounded lattice paths, which are bounded by a given lattice path and are related to vector parking functions, for which we generalize $\mathsf{run}$ to composition runs, parameterized by a composition. By constructing involutions on these paths, we establish symmetries relating composition runs to some generalized return statistics. As an application, we settle an open problem of Dai, Fu, and Qiu on rational Dyck paths. The symmetries between generalized $\mathsf{run}$ and $\mathsf{return}$ are then transferred to vector parking functions, which suggest a new notion of prime decomposition. In the special case of $(a, b)$-parking functions, we compute the generating function refined by $\mathsf{run}$ and $\mathsf{pri}$, which is new even for classical parking functions.

We study the hitting time index, a graph invariant defined in terms of expected hitting times of simple random walks on finite connected graphs, through its relation with the Kirchhoff index. Using the commute time identity and Tetali's formula, we decompose the hitting time index into a Kirchhoff-index term and a nonnegative asymmetry term expressed by degree-weighted effective resistance sums. We derive lower and upper bounds for the asymmetry term, together with their equality conditions, and obtain a lower bound for the hitting time index in terms of the range of the degree-weighted resistance sums. For trees, we obtain lower and upper bounds for the asymmetry term, with the upper bound expressed in terms of the Wiener index, and characterize the equality case in the lower bound. In particular, we show that among all trees of fixed order, the hitting time index is minimized uniquely by the star graph. Finally, we apply the decomposition to complete bipartite graphs, paths, and graphs obtained by conjoining complete graphs, and recover several known hitting-time formulas.

We study the average sizes of ideals and antichains in several families of posets arising from rooted unlabeled trees. For ideals, we encode order ideals by coloring vertices red, with the condition that every descendant of a red vertex is also red. Using generating functions and singularity analysis, we show that for every family governed by a quadratic root decomposition, the average number of red vertices in a tree of size $n$ is asymptotic to $n/3$. This includes binary plane trees, plane 1-2 trees, plane 2-trees, and 0-1-trees, while unrestricted rooted plane trees instead have average ideal size asymptotic to $2n/5$. For antichains, represented by pairwise incomparable blue vertices, the corresponding asymptotic constants depend on the particular branching function; for example, binary plane trees have average antichain size asymptotic to $n/6$. We also consider plane trees in which every vertex has at most $k$ children and prove that the asymptotic proportion of red vertices increases strictly with $k$, from $1/3$ when $k=2$ to the limiting value $2/5$ for unrestricted rooted plane trees. The asymptotic proportion of blue vertices also increases strictly with $k$, tending to $3/10$. The proofs are based on bivariate generating functions together with the analytic implicit-function and smooth implicit-function methods of analytic combinatorics.

A prime labeling of a graph labels its vertices bijectively with the integers from one to the number of vertices, so that adjacent vertices receive coprime labels. I prove the Entringer-Tout conjecture that every tree admits a prime labeling, extending the result of Haxell, Pikhurko, and Taraz from sufficiently large trees to all orders. My proof combines structural decompositions of trees, arithmetic organization of the labels, and matching arguments. I reduce the labeling problem to a structured bipartite matching problem by separating a small part of the tree, distributing labels according to their divisibility properties, and applying Hall's theorem to complete the labeling. I handle the finite and intermediate ranges using exact computer-assisted certificates whose validity is justified mathematically, while the remaining range is covered by analytic estimates. Together, these ingredients yield a proof for trees of every order.

Let $p$ be an odd prime, let $m\geq1$ be an integer, and let $Q$ be a nondegenerate quadratic form on $\mathbb F_p^{2m}$. For a nonempty set $E\subseteq\mathbb F_p^{2m}$, write $Δ_Q(E)=\{Q(x-y):x,y\in E\}$. We prove that, whenever $|E|>p^m$, \[ |Δ_Q(E)|\gg \min\left\{\frac{p}{L_E},\, \frac{|E|}{p^{m-1}L_E^2}\right\}, \qquad L_E=\log\left(2+\frac{p^{m+1}}{|E|}\right), \] with an absolute implied constant independent of $p$, $m$ and $Q$. This confirms the Erdős--Falconer distance conjecture up to a logarithmic factor. In the anisotropic planar case $m=1$, for small sets, we also prove that \[ |Δ_Q(E)|\gg\frac{|E|}{\log(2|E|)}, \qquad (1\leq |E|\leq p), \] which is also optimal up to a logarithmic factor.

Let $λ_k(G)$ be the $k$th eigenvalue of the normalized Laplacian of a finite undirected weighted graph $G$ with positive degrees, where $k$ is an integer satisfying $1\le k\le |V(G)|$. Let $φ_k(G)$ be the minimum possible maximum conductance of $k$ disjoint nonempty vertex sets. We prove $φ_k(G)\le C\sqrt{λ_k(G)\log(k+1)}$ for an absolute constant $C$. The number of sets and the spectral index are both $k$, and conductance is measured in the original graph. The logarithmic dependence is optimal up to an absolute constant. The proof combines geometric partitioning of the spectral embedding with minimum-cut improvement and adaptive projections in coefficient space. A single conductance threshold is used throughout the construction. The resulting maps have disjoint supports, and the sum of their Gram matrices is bounded below by an absolute positive multiple of the identity. A dyadic maximal estimate bounds the sum of their internal energies uniformly over unit coefficient vectors. A dimension argument using local eigenvalues then yields exactly $k$ disjoint sparse cuts.

A square is a word $xx$, where $x$ is nonempty. We show that a circular word of length $n$ contains at most $\lfloor 3n/2 \rfloor$ distinct squares of length at most $n$. The proof combines known results relating squares to circuits in Rauzy graphs. The coefficient $3/2$ agrees with the known lower bound.

Place a queen in each successive column of an infinite $\mathbb{N}\times\mathbb{N}$ chessboard, always choosing the lowest row such that no two queens may attack one another. We prove that the row $q_n$ occupied by the queen in the $n$th column satisfies $q_n=nϕ+O(1)$ or $q_n=n/ϕ+O(1)$, where $ϕ=(1+\sqrt5)/2$ is the golden ratio.

In 1984, Frank Harary introduced the first convexity games in graphs, all of them based on the geodesic convexity, which is the graph convexity related to shortest paths. In 2024, Araújo et al. obtained the first PSPACE-hardness proofs on some of these geodesic games and generalized them to any graph convexity. In this paper, we investigate convexity games on several known induced path convexities: the monophonic $\mathrm{m}$-convexity and the $\ell_k$-convexities, based on induced paths and on induced paths of size at most $k$. We prove that the hull games $\mathrm{CHG}_{\mathrm{m}}$, $\mathrm{CHG}_{\ell_k}$ and their misère variants are PSPACE-complete for every $k\ge2$ even in graphs with diameter at most 3. We also use the Sprague-Grundy Theory to obtain a polynomial time algorithm to decide the winner of the games $\mathrm{CHG}_{\mathrm{m}}$ and $\mathrm{CHG}_{\ell_k}$ for any $k\ge2$ in disjoint unions of paths and cycles. For $k\ge3$ odd, we prove that Alice (1st player) wins $\mathrm{CHG}_{\ell_k}$ in the path $P_n$ if and only if $n$ is odd and she wins in the cycle $C_n$ if and only if $n=3$ or $n=α\cdot (k+1)-1$ with $α\ge2$. For $k\ge2$ even, the only periodic nimber sequences of $\mathrm{CHG}_{\ell_k}$ obtained through extensive computational testing occurred for $k=2^h-4$ with $h\ge3$, e.g, $k\in\{4,12,28,60,\ldots\}$. In this case ($k=2^h-4$ with $h\ge3$), we prove that the nimber sequences of $\mathrm{CHG}_{\ell_k}$ in $P_n$ and in $C_n$ are periodic and Alice loses (resp. wins) in $P_n$ (resp. $C_n$) with $n>k$ only when $n=3k+4$ (resp. $n\in\{2k+1,5k+3\}$). Finally, we show that, for $k=2$, the game $\mathrm{CHG}_{\ell_2}$ in paths $P_n$ is closely related to the classical game \emph{Couples-are-Forever} of J. H. Conway: it is still an open problem if the nimber sequence is periodic or not and Alice loses only for 12 values of $n$ up to $50$ million.

Let $G= C_{n_1}\oplus\cdots\oplus C_{n_r}$ be a finite abelian group with $1<n_1\mid\cdots\mid n_r$, and let $\rr(G)=r$ denote its rank. The Davenport constant $\DD(G)$ is the least integer $\ell$ such that every sequence of $\ell$ elements of $G$ contains a nonempty zero-sum subsequence, and $\DD^*(G)=1+\sum_{i=1}^r(n_i-1)$ is its classical lower bound. A long-standing conjecture \cite[Conjecture 3.7]{GG06} asserts that $\DD(G)\le\DD^*(G)+\rr(G)-1$. In this paper, we disprove this conjecture. More strongly, we prove that $\sup_{\rr(G)=r}\bigl(\DD(G)-\DD^*(G)\bigr)=\infty$ for every fixed $r\ge8$. Thus the classical lower bound does not approximate the Davenport constant within an additive error depending only on the rank. Our result also disproves the Narkiewicz--Śliwa conjecture of 1982 \cite{NS82} on the Narkiewicz constant, arising in algebraic number theory from the quantitative study of algebraic integers with unique factorization. The same amplification of the Davenport excess yields counterexamples to Girard's conjecture \cite[Conjecture 1.2]{Girard08} on the cross numbers of long zero-sum-free sequences. As a further main result, we establish the uniform upper bound $$\DD(G)\le\frac{16}{5}\rr(G)\exp(G)$$ for every nontrivial finite abelian group $G$. The classical estimate of van Emde Boas and Kruyswijk \cite{vEBK69} gives $\DD(G)\le\exp(G)\left(1+\log\frac{|G|}{\exp(G)}\right) \le\exp(G)\bigl(1+(\rr(G)-1)\log\exp(G)\bigr)$. Our bound removes the logarithmic factor $\log\exp(G)$ from this classical estimate, and replaces it with the absolute constant $16/5$.

Let $λ_1(G) \geq \dots \geq λ_n(G)$ be the adjacency spectrum of a graph $G$ on $n$ vertices. The spectral distance $σ(G,H)$ between $n$-vertex graphs $G$ and $H$ is the Manhattan distance between their spectra, i.e. $σ(G,H) = \sum_{i=1}^n |λ_i(G) - λ_i(H)|$. Given a set $\mathcal{G}$ of pairwise non-isomorphic graphs of order $n$, the spectral diameter of $\mathcal{G}$ is defined as $\mathrm{sdiam}(\mathcal{G}) = \max\{\mathrm{secc}_{\mathcal{G}}(G) : G \in \mathcal{G}\}$, where $\mathrm{secc}_{\mathcal{G}}(G) = \max\{σ(G,H) : H \in \mathcal{G}\}$ is the spectral eccentricity of $G \in \mathcal{G}$. Among six conjectures on spectral distances posed by Z. Stanić in 2012, two conjectures related to the spectral diameter of certain graph classes remained open. One of them concerns the spectral diameter of the set $\mathcal{B}_n$ of all connected bipartite graphs of order $n$, while the other, of the set $\mathcal{T}_n$ of all trees of order $n$. More precisely, Stanić conjectured that $\mathrm{sdiam}(\mathcal{T}_n) = σ(P_n, K_{1,n-1})$, where $P_n$ is the path graph, while $K_{1,n-1}$ is the star, and that $\mathrm{sdiam}(\mathcal{B}_n) = \mathrm{secc}_{\mathcal{B}_n}(K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor})$, where $K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor}$ is the complete bipartite graph. In this paper, both of these conjectures are disproved.

Chvátal conjectured that every downset has a maximum-size intersecting family which is a star, that is, consists of all members of the downset containing a fixed element. Recently, Chang, Liu and Liu gave a proof of this conjecture, which follows as a corollary of more general results such as Kleitman's conjecture and a version of Kahn's conjecture (which they also prove). We give a short, direct (spectral) proof of Chvátal's conjecture, and a proof of Kleitman's conjecture along the same lines. We also prove a strengthening of Chvátal's conjecture concerning the projection packing number. Finally, we propose two spectral Chvátal conjectures which are motivated by extensive numerical experiments.

We construct an explicit involution on Dyck paths satisfying $\defc\le\min(\area,\dinv)$ that interchanges area and dinv, where $\defc=\binom n2-\area-\dinv$ and $n$ is the semilength. In addition, we give an involution on Dyck paths with $\defc \le 2n-8$ that interchanges area and dinv. Finally, we give an explicit partition formula for the portion of the $q,t$-Catalan polynomial of total degree at least $\binom n2-2n+8$, thereby proving a conjecture of Lee and Li~\cite[Conjecture~4]{LeeLi11}. Altogether our results give a combinatorial explanation of $q,t$-Catalan symmetry in the region $\defc\le\max(2n-8,\min(\area,\dinv))$. Our constructions rely on a number of new combinatorial objects developed here and three main external tools: the dual Dyck insertion of \cite{Hawkes26}, the Garsia--Milne involution principle~\cite{GarsiaMilne81},~\cite{Doyle19}, and the partition bijection of ~\cite{LoehrWarrington09}.

We give negative answers to Kolmogorov's rearrangement problem and Garsia's conjecture. We construct a complete uniformly bounded orthonormal system for which every rearrangement admits a square-summable series divergent almost everywhere. The finite construction uses two copies of the trigonometric system in different orderings. The main ingredient is a combinatorial lemma which guarantees a prescribed ordering along an arithmetic progression in at least one of two related permutations. Its proof uses Szemerédi's theorem and a counting argument. A Walsh variant gives $N$-term $\{\pm1\}$-valued systems with $L^2$ maximal norm at least $c\log\log N$ in every ordering, matching Bourgain's upper bound.

We study the structure of random $d$-regular triangle-free graphs and show that a sharp phase transition occurs at $d=\frac{\sqrt 3}{2}\sqrt{n \log n}$. For smaller $d$, asymptotically almost surely the graph is non-bipartite, whereas for greater $d$, asymptotically almost surely the graph is bipartite.

Given a graph $F$, a family $\mathcal F$ of graphs on $[n]$ is \emph{$F$-intersecting} if $G\cap H$ contains a copy of $F$ for every $G,H\in\mathcal F$. We prove that there exists an absolute constant $\varepsilon>0$ such that every $P_4$-intersecting family $\mathcal F$ satisfies $|\mathcal F|\le\left(\frac12-\varepsilon\right)2^{\binom n2}$, which resolves a conjecture of Alon. Combined with Alon's reduction, this proves that a graph $F$ admits $F$-intersecting families of asymptotic density $1/2$ if and only if $F$ is a star forest. Multi-colored versions are also considered.

All nine known conjecturally optimal non-lattice kissing configurations in dimensions 5, 6, and 7 are the vertex sets of polytopes with only unit edges. Eight of these polytopes are non-convex, and the contact polytopes, the convex hulls of the same points, have longer edges. The edges of the unit-edge polytopes are exactly the contacts of the configuration. All but two of the nine are constructed from the lattice contact polytope in the same dimension by splitting some of its facets and reassembling the pieces. This describes the configurations by the facets of a polytope rather than by layers. The facets that fold when split are consecutive members of the Gosset series $k_{21}$, and a split in dimension $n$ folds to the inner product $1/(10-n)$: $1/5$, $1/4$, or $1/3$. These are the inner products by which the contact polytopes differ from the lattice one. In dimensions 5 and 6 each unit-edge polytope is the only one on its vertex set. In dimension 7 uniqueness is proved within a class we define, the creased polytopes, which extends convexity by letting a facet lie on a hyperplane that cuts through the configuration, provided the facet contains every vertex on that hyperplane on its side of one of its ridges. Every statement is certified in exact arithmetic.

We prove the three symmetric Kanade-Russell identities modulo nine.

In this note, we show that the Hilbert scheme $\text{Hilb}_{P_{d,4}(t)}(E_6/P_6)$ associated with the Hilbert polynomial $P_{d,4}(t)$ is disconnected by determining that it has exactly two connected components. This result adapts Seong's methods, successfully extending the disconnectedness of Grassmannians to the exceptional type $E_6$.

The weakly zero-divisor graph $WΓ(R)$ of a commutative ring $R$ is the simple undirected graph whose vertices are nonzero zero-divisors of $R$, and two distinct vertices $x$, $y$ are adjacent if and only if there exists $w\in {\rm ann}(x)$ and $ z\in {\rm ann}(y)$ such that $wz =0$. In this paper, first we prove that the vertex connectivity of $WΓ(R)$ is equal to its minimum degree, where $R$ is either an Artinian ring or reduced ring. For any finite ring $R$, we obtain the vertex connectivity of $WΓ(R)$. Moreover, this paper characterizes all the vertices that attain the minimum degree of $WΓ(R)$.

We study integer-interval deformations of Coxeter arrangements of types $A$, $B$, and $D$, assigning an integer interval to each root direction through an integer-valued root function. We introduce a local compatibility condition on this root function. For compatible root functions, subject to additional local bounds in types $B$ and $D$, we derive characteristic-polynomial formulas as binomial sums over cyclic orders in type $A$ and signed permutations in types $B$ and $D$. The proofs use the finite-field method and reduce hyperplane avoidance to consecutive-gap inequalities. These formulas recover, in particular, the classical Catalan and Shi characteristic polynomials.

The refined Diophantine exponent, recently introduced by the author, is a quantity that measures the periodicity of an infinite word. In this article, we study this exponent from combinatorial and topological viewpoints. First, we show that, over a ternary alphabet, the spectrum of the refined Diophantine exponent is $[1,\infty]$. Second, we show that this exponent has topological properties similar to those of the set of Liouville numbers. Finally, we provide concrete examples with the Champernowne, Rudin--Shapiro, and Thue--Morse words, words coming from coding a rotation by intervals, and bracket words.

Classical Ehrhart theory measures the discrete capacity of a convex rational (or integral) polytope $P$ by counting the number of lattice points in the $t$-th dilate $tP$ of $P$. In this paper, we extend this paradigm by replacing a lattice point with a geometric object $Q$ of dimension at most $\dim P$. We show that the counting function $\mathrm{ehr}(P,Q;t)$ of such valid translations of $Q$ into $tP$ inherits eventual quasi-polynomiality (or eventual polynomiality) with leading term $\mathrm{vol}(P)t^d$, where $d = \dim P$. This result is naturally derived by induction on the dimension, based on the classical quasi-polynomiality (or polynomiality) of Ehrhart functions. Similarly, replacing $P$ with its relative interior $P^\circ$ defines $\mathrm{ehr}^\circ(P,Q;t)$, which is also shown to be an eventual quasi-polynomial (or eventual polynomial). Furthermore, we prove several formulas for relative Ehrhart functions under the condition that $P = kP_0$ and $Q = lQ_0$ for some integers $k$, $l > 0$, and polytopes $P_0$ and $Q_0$ with $\dim Q_0 > 0$ such that $Q_0$ is inscribed in $P_0$. In particular, we prove that under this condition, $\mathrm{ehr}(P,Q;-t) = (-1)^{d}\mathrm{ehr}^\circ (P,Q;t+ρ)$ $(t \gg 0)$ holds for some integer $ρ> 0$ if and only if $k \mid 2l$ via the classical Ehrhart--Macdonald reciprocity law. In addition, we also prove that under the same condition, $\mathrm{ehr}(P,Q;t) = \mathrm{ehr}^\circ (P,Q;t+σ)$ $(t \gg 0)$ holds for some integer $σ> 0$ if and only if $\mathrm{ehr}^\circ (P_0;\mathrm{codeg}\,P_0) = 1$ and $k \mid \mathrm{codeg}\,P_0$.

Collective decisions in agent networks emerge from repeated local interactions, as agents update their opinions (colors) based on their neighbors, potentially leading to consensus. In sparse communication graphs, repeated interactions can amplify both the initial majority preference and the random fluctuations caused by individual agents. Understanding when the initial majority determines the final preference and how quickly an agreement emerges is, therefore, a basic question in collective decision-making. We study binary majority dynamics as an idealized model of this process. At each round, the interaction graph is independently resampled from the Erdős--Rényi model $\mathbb{G}(N,p)$, with $p=b\log N/N$ and fixed $b>1$. Each agent adopts the majority opinion among its neighbors, retaining its current opinion if there is a tie. For a fixed initial configuration, let $Δ_0$ denote the initial difference between the number of blue agents and the number of red agents. We identify three regimes for the consensus time, determined by $|Δ_0|$. First, when $Δ_0\sqrt p=O(1)$, the probability of blue unanimity is $$ Φ\left(Δ_0\sqrt{2p/π}\right) + o(1), $$ where $Φ$ is the cumulative distribution function of a standard Gaussian. Moreover, consensus is reached after $(1+o(1))\log N/\log\log N$ rounds with high probability. Second, in the intermediate regime $1\llΔ_0 \sqrt{p}\lesssim \sqrt{N}$, we establish explicit high probability upper and lower bounds on the time to blue-unanimity. Lastly, when the initial blue advantage is above an explicit constant multiple of $N/\sqrt{\log N}$, blue unanimity is guaranteed within two rounds with high probability. Our findings provide a complete description of how the initial advantage influences winner selection and the speed of consensus in this type of majority dynamics with sparse interactions.

We show that, up to isometry, there is exactly one compact hyperbolic Coxeter 6-polytope with 10 facets, the polytope $P_{6,10}$ attributed to Bugaenko. Together with results of Felikson-Tumarkin ($d \ge 7$) and of Burcroff and Ma-Zheng ($d = 4, 5$), this completes the classification of compact hyperbolic Coxeter $d$-polytopes with $d+4$ facets. The proof is computer assisted. Affine Gale duality applied to the complete database of order types on 10 points yields 387 combinatorial types, of which Lannér's classification excludes 83. For the remaining 304, an exhaustive search over Coxeter labellings, with no a priori bound on the dihedral angles, leaves a single realizable Gram matrix. Every rejection is certified in exact arithmetic, and completeness of the search is certified independently by DRAT proofs checked by drat-trim. The same code reproduces the known censuses in dimensions 4 and 5. Code, data and certificates are publicly available.

Regularity and depth of binomial ideals generated by adjacent $2$-minors together with those arising from finite lattices are studied.

We prove Sabidussi's compatibility conjecture. Let $G$ be a finite connected multigraph in which every vertex has even degree and the minimum degree is at least four, and let $T$ be an Euler tour of $G$. The edges of $G$ can be partitioned into circuits (connected $2$-regular subgraphs) so that no circuit contains two edges used consecutively anywhere in $T$. In fact, the edges can be four-coloured so that every such pair receives different colours and every colour class has even degree at every vertex. We use a counting argument based on the Chevalley-Warning theorem to show that a four-colouring with the required properties exists. Splitting each colour class into circuits then gives the desired compatible decomposition. Formalization in Lean 4 is also available in the author's github.

Toric arrangements of maximal rank have been studied by the author in a paper that shows how the complement manifold of these arrangements is diffeomorphic to that of centered ones. In this work we turn our attention to toric arrangements of rank one, namely parallel toric arrangements. Our aim is to prove, by means of basic arguments of cohomology theory, that the Euler-Poincaré characteristic of the complement manifold of parallel toric arrangements can be computed in terms of those of the complement manifolds of the singular subtori that compose the arrangement.

Jackson and Tanigawa conjectured that the rigidity matroid $\mathcal{R}^d_n$ and the hyperconnectivity matroid $\mathcal{H}^d_n$ are the unique maximal matroids in the posets of $\{K_{d+2}, K_{d+2,d+2}\}$-matroids and $\{K_{d+2},K_{d+1,d+1}\}$-matroids, respectively. We disprove these conjectures by showing the existence of maximal matroids that are distinct from the proposed candidates.

Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the three-day workshop Benchmarks in Leipzig with 35 participants at the Max Planck Institute for Mathematics in the Sciences in Leipzig, Germany. We present the resulting collection of 100~questions. We evaluated these questions in three stages: a single attempt by five state-of-the-art LLMs and their predecessors, followed by a 20-runs-per-model evaluation with three of these models, and finally a 3-run attempt with two heavy-thinking models. After Stage 1, 41 questions remained completely unsolved; after Stage 2, this count dropped to 16; and we concluded Stage 3 with only 2 unsolved questions. This demonstrates that the mathematical reasoning capabilities of LLMs are becoming impressive. In September 2026, we added a fourth stage in which the next generation of models attempted all 100 questions once more, after which only 1 question remains unsolved.

We study signed generalized Stirling polynomials $P_k(m,x)$ arising in closed forms for Malmsten-type hyperbolic secant integrals. Their product structure is used to prove recurrences, gamma--polygamma formulas for $P_{m-s}(m,x)$, a central vanishing identity, a finite approximation to $\cosh πx$, and a limit formula for $π$. We identify these polynomials as signed residues of the equal-period Barnes multiple zeta function, derive their reflection formula, and obtain finite parity-cancellation and Stirling cycle-number identities. We also compare the centered polynomials with a classical Meixner--Pollaczek orthogonal family. We evaluate finite nested sums built from the sequence $χ_n$. Fixing the lower bounds turns these sums into coefficient-counting problems: common lower bounds give binomial coefficients and staircase bounds give Catalan numbers. Combining these counts with known formulas for $χ_j$ yields explicit hyperbolic-secant integral evaluations involving Catalan's constant, zeta values, and polygamma values. A Wolfram Language package accompanies the formulas.

We establish discorrelation estimates between the Piatetski-Shapiro prime set \[ \mathcal{P}_γ := \{p \text{ is prime and } p = \lfloor n^{1/γ} \rfloor \text{ for some } n \in \mathbb{N}\} \] and arbitrary nilsequences when $γ\in (0,1)$ is sufficiently close to $1$. This extends earlier works which treated linear or polynomial exponential phase functions. As an application, we establish an asymptotic formula for the number of solutions in $\mathcal{P}_γ$ to any ``finite-complexity" system of linear equations, including for the number of $k$-term arithmetic progressions in $\mathcal{P}_γ$ up to a threshold $N$ for any given $k \geq 3$. Furthermore, we show that there exists an absolute constant $C>0$ such that if \[ 1 - 2^{-Ck} < γ< 1, \] then the Piatetski-Shapiro primes $\mathcal{P}_γ$ contain infinitely many non-trivial $k$-term arithmetic progressions. This significantly improves upon the previous range of $γ$ obtained by Li and Pan, which is of triple exponential type.

Defant and Kravitz introduced generalizations of West's stack-sorting map $s$ from permutations to finite words. This raises questions as to how such generalizations could be applied in the field of combinatorics on words. The Defant-Kravitz generalizations of $s$ depend on how repeated occurrences of the same character within a word may be repositioned, according to their $\textsf{tortoise}$ and $\textsf{hare}$ operations. As demonstrated in this paper, these operations provide a natural way of extending abelian complexity functions for infinite sequences, in a way that gives light to structural properties associated with infinite words. We apply these new ideas to two famous infinite words: the paperfolding word and the Thue-Morse word. In the case of the Thue-Morse word, we discover an interesting connection to the previous work of several authors, such as de Luca and Varricchio, on the ``special'' factors of the Thue-Morse word. This may be seen as providing a basis for a new and interdisciplinary area linking the combinatorics about the stack-sorting of permutations with the field of combinatorics on words.

Networks are inherently vulnerable to vertex failures, making the analysis of their structural robustness a fundamental problem in graph theory. In this study, we investigate the closeness and vertex residual closeness of graphs, with a particular focus on the middle graph representations of certain special graph classes, which provide a richer structural framework for analysis. We derive exact expressions for the closeness values of these middle graphs and determine their residual closeness under vertex failures. By utilizing results obtained from specific graph families, we establish several general bounds for broader graph classes. Furthermore, by exploiting the relationship between the closeness of a graph, its line graphs and middle graphs, we obtain new results that relate these three structures. In addition, we present a computational procedure for evaluating closeness and vertex residual closeness in middle graphs, together with numerical verification of selected theoretical results and an analysis of its computational complexity.

We prove that every connected Cayley digraph on a generalized dihedral group of order at least $4$ has a directed Hamilton cycle. In particular, this confirms a conjecture of Holsztyński and Strube from 1978 for dihedral groups. The key new ingredient is a three-fold sumset covering theorem for the terminal coordinates of Hamilton paths in cubic Haar graphs over abelian groups of odd order, with connection sets minimal subject to connectivity.

We study random Peano paths on planar square grids that arise from fair random spanning trees. These are trees that are sampled in such a way as to have the same (if possible) edge probabilities. In particular, we are interested in identifying the scaling limit as the mesh-size of the grid tends to zero. It is known \cite{lawler-schramm-werner2002} that if the trees are sampled uniformly, then the scaling limit exists and equals ${\rm SLE}_8$. We show that if we simply follow the same steps as in \cite{lawler-schramm-werner2002}, then fair Peano paths have a deterministic scaling limit.

We analyze a family of graphs known as banana graphs, with two marked vertices, through the lens of Hurwitz-Brill-Noether theory. As an application, we construct explicit new examples of finite graphs which are Brill-Noether general. These are the first such examples since the analysis of chains of loops by Cools, Draisma, Payne and Robeva. The graphs constructed are chains of loops and "theta graphs," which are banana graphs of genus 2. We also demonstrate that almost all banana graphs of genus at least 3 cannot be used for this purpose, due either to failure of a submodularity condition or to the presence of far too many inversions, in certain permutations associated to divisors called transmission permutations.

With the help of the contour integral method, we derive a parametric reduction formula that transforms a double series into a single series. This formula recovers two results of Uncu and Zudilin as well as two results of Cao and Wang, and it is also connected with an identity due to Berkovich and Warnaar. In addition, we obtain several triple-sum generalizations of Cao and Wang's formulas. As applications, we present a number of multidimensional Rogers--Ramanujan type identities, both with and without parameters.

For the jump graph on the subgraph of the Young--Fibonacci graph formed by words with at most $K$ twos, formulas for the number of paths between vertices are obtained and the Martin boundary of the path space is described.

The Bellman-Ford algorithm for single-source shortest paths repeatedly updates tentative distances in an operation called {relaxing an edge}. In several important applications a {non-adaptive} (oblivious) implementation is preferred, which means fixing the entire sequence of relaxations upfront, independently of the edge-weights. The original implementation of the algorithm performs, in a dense graph on $n$ vertices, $(1+o(1))n^3 $ relaxations. An improvement by Yen from 1970 reduces the number of relaxations by a factor of two. We show that no further constant-factor improvements are possible, and every {non-adaptive deterministic} algorithm based on relaxations must perform $(\frac{1}{2} - o(1))n^3$ steps. This improves an earlier lower bound of Eppstein of $(\frac{1}{6} - o(1))n^3$. Given that a {non-adaptive randomized} variant of Bellman-Ford with at most $(\frac{1}{3} + o(1))n^3$ relaxations (with high probability) is known, our result implies a strict separation between deterministic and randomized strategies, answering an open question of Eppstein. We also address the complexity of finding {short} relaxation sequences for a given input graph on $n$ vertices, answering a question of Eppstein. We show that the problem is co-NP-hard, and moreover essentially inapproximable: While an $n$-approximation is easily obtained, for every $ε> 0$, no polynomial-time $n^{1-ε}$-approximation exists, unless P = NP. We further show that {deciding} whether a given relaxation sequence is valid is co-NP-complete, even when the input is the complete graph.

For the $r$-differential version of the Young--Fibonacci graph, formulas for the number of paths between vertices are obtained; the Martin boundary of the path space is described; and the ergodicity of the corresponding measures is proved.

We treat success runs of independent identically distributed Bernoulli trials (with success parameter $p$) distributed according to the Type II binomial distribution of order $k$. However, the success runs are separated by a gap $g\ge1$ (a failure followed by $g-1$ arbitrary outcomes). Most of the literature treats the case $g=1$ only. Our main results are expressions for the probability mass function (we present two derivations) and the distribution of the longest success run. We also present more concise expressions for previously published results for the factorial moments. We present results for the mean, variance, probability mass function and factorial moments for $\textrm{NB}_{\rm II}(k,g,r)$, the Type II negative binomial distribution of order $k$, where the number of success runs $r$ is fixed and the number of trials $n$ is variable. Let $L$ denote the length of the longest success run. We present a recurrence and generating function for the distribution of $L$ and derive expressions for the mean, variance and factorial moments of $L$.

Skew-representable matroids form a fundamental class in matroid theory, bridging combinatorics and linear algebra. They play an important role in areas such as coding theory, optimization, and combinatorial geometry, where linear structure is crucial for both theoretical insights and algorithmic applications. Since skew-representability is undecidable even for rank-3 matroids, structural characterizations and explicit certificates of non-skew-representability are particularly interesting. In this paper, we introduce an approach to studying skew-representability and structural properties of matroids and polymatroid functions via tensor products. We characterize skew-representable matroids, as well as matroids representable over skew fields of a prescribed characteristic, in terms of iterated tensor products. In particular, a connected matroid is non-skew-representable if and only if, for some positive integer $k$, no $k$-fold iterated tensor product with $U_{2,3}$ exists. Thus, non-skew-representability admits a finite, computably verifiable matroid-theoretic obstruction; an analogous statement holds when the characteristic is prescribed. We also prove that every rank-3 matroid admits a tensor product with every uniform matroid and give a construction yielding the unique freest tensor product in this setting. Finally, as an application of the tensor product framework, we give a new proof of Ingleton's inequality and, more importantly, derive the first known linear rank inequality for folded skew-representable matroids that does not follow from the common information property.

Computing the embedding distribution of a given graph is a fundamental question in topological graph theory. In this article, we extend our viewpoint to a sequence of graphs and consider their asymptotic embedding distributions, which are often the normal distribution. We establish the asymptotic normality of several families of graphs by using tools from analytic combinatorics and probability theory. We expect that these tools can be used on other families of graphs to establish the asymptotic normality of their embedding distributions. Several open questions and conjectures are also raised in our investigation.

The algebraic connectivity of a graph, defined as the second smallest eigenvalue of its Laplacian matrix, admits a well-known variational characterization involving the $\ell_2$-norm. Motivated by the recent introduction of its $\ell_\infty$-analog by Andrade and Dahl, we investigate the graph parameter $γ(G)$, obtained by replacing the $\ell_2$-norm with the $\ell_\infty$-norm in the corresponding optimization problem. We establish a simple and explicit combinatorial formula expressing $γ(G)$ as the ratio of the order of the graph to its maximum transmission, thereby providing a direct graph-theoretic interpretation of the parameter. We prove that $γ(G)$ characterizes graph connectivity and completely characterize all $\ell_\infty$-Fiedler vectors as the vectors \[ \left\{\pm\left(1-γ(G)d(u,\cdot)\right):u\in \mathcal{M}(G) \right\}, \] where $\mathcal{M}(G)$ denotes the set of vertices of maximum transmission. We also establish a product formula for $γ(G)$ under Cartesian products, yielding explicit expressions for hypercubes, Hamming graphs, and torus grid graphs. Furthermore, we establish comparisons involving $γ(G)$, the distance spectral radius, the $\ell_1$-smoothing parameter, and the algebraic connectivity, and investigate equality in these bounds. For connected non-complete strongly regular graphs, equality in our algebraic-connectivity bound holds precisely when the least adjacency eigenvalue is $-2$. Finally, we extend the transmission formula and the characterization of optimal vectors to weighted graphs.

We prove several negative results about first-order transducibility for classes of sparse graphs: - for every $t \in \mathbb{N}$, the class of graphs of treewidth at most $t+1$ is not transducible from the class of graphs of treewidth at most $t$; - for every $t \in \mathbb{N}$, the class of graphs with Hadwiger number at most $t+2$ is not transducible from the class of graphs with Hadwiger number at most $t$; and - the class of graphs of treewidth at most $4$ is not transducible from the class of planar graphs. These results are obtained by combining the known upper and lower bounds on the weak coloring numbers of the considered graph classes with the following two new observations: - If a weakly sparse graph class $\mathscr D$ is transducible from a class $\mathscr C$ of bounded expansion, then for some $k \in \mathbb{N}$, every graph $G \in \mathscr D$ is a $k$-congested depth-$k$ minor of a graph $H^\circ$ obtained from some $H\in \mathscr C$ by adding a universal vertex. - The operations of adding a universal vertex and of taking $k$-congested depth-$k$ minors, for a fixed $k$, preserve the degree of the distance-$d$ weak coloring number of a graph class, understood as a polynomial in $d$.

We study the well-quasi-order (wqo) consisting of the set of finite trees with leaf labels coming from an arbitrary wqo $Q$, ordered by tree homomorphisms which respect the order on the labels. This is a variant of the usual Kruskal tree ordering without infima preservation. We calculate the precise maximal order types of this class of wqos as a function of the maximal order type of the labels $Q$. In the process, we sharpen some recent results of Friedman and Weiermann. Furthermore, we show a correspondence with indecomposable transfinite sequences with finite range, over elements of the wqo $Q$, of length less than $ω^ω$. Nash-Williams proved that arbitrary transfinite sequences with finite range are also well-quasi-ordered, but there are no known methods to extract bounds on the maximal order type from the proof. More concrete proofs for sequences of length less than $α$ for some $α< ω^ω$ were given by Erdős and Rado. Using the correspondence, we obtain precise bounds for the entire collection of transfinite sequences with finite range of length less than $ω^ω$.