arXiv++ Combinatorics

An additive coloring assigns positive integer labels to the vertices of a graph so that adjacent vertices have different sums of their neighbors' labels. The additive chromatic number $η(G)$ is the least $k$ for which labels from $[k]$ suffice. We give an elementary orientation argument proving that every finite simple graph $G$ satisfies $η(G) \leq Δ(G) + 1$. This argument yields a $(Δ(G) + 1)$-additive-coloring in polynomial time and improves upon the current best bound of $η(G) \leq Δ(G)^{2} - Δ(G) + 1$, valid for $Δ(G) \geq 2$, from Akbari, Ghanbari, Manaviyat, and Zare.

We prove that the four-pentachoron homotopy \(4\)-sphere \(Q\) singled out in the census of Burke, Burton and Spreer is PL homeomorphic to the standard \(4\)-sphere. The key construction identifies the compact exterior of an explicit locally flat \(2\)-sphere in an auxiliary 39-vertex model of \(Q\) with the exterior of Budney, Burton and Hillman, then certifies its fibration by a normal cut followed by a relative collapse. The exterior identification uses finite checked moves, an exact regular-neighbourhood construction and a PL lemma controlling the passage through an ideal triangulation. Cutting the compact exterior along the specified normal hypersurface gives a manifold that collapses onto one boundary copy of the punctured \(3\)-torus in 209,144 elementary pairs; a marked product lemma identifies the cut as a product. The resulting integral monodromy realizes \(Q\) as a Cappell--Shaneson filling whose two surgery framings are standard by Gompf's results. The fibration certificate is independent of Issa's earlier PL-compatible constructions. Combined with the published census, the result establishes standardness for every homotopy \(4\)-sphere triangulated with at most four pentachora.

Let $H_d(n,M)$ be a $d$-uniform hypergraph with $n$ vertices and $M$ hyperedges. In the critical window $M=\frac{n}{d(d-1)}(1+λn^{-1/3})+O(1)$, its largest component $L_n$ satisfies $$n^{-2/3}L_n\xrightarrow{\mathcal L} \mathcal{F}_{\mathrm{Pit}}\bigl((d-1)^{1/3}a,λ(d-1)^{-2/3}\bigr).$$ (Here $\mathcal{F}_{\mathrm{Pit}}(x,μ)$ denotes the limiting law of the largest component of the critical random graph established by Pittel (2001).) The proof rests on two pillars. First, a bivariate exponential formula gives the exact finite-size law of $L_n$. Subsequently, cancellation of the orders $n,n^{2/3},n^{1/3}$ in the tree normalization determines the series of rooted hypertrees, then that of unicyclic components and its singular expansions at the radius of convergence $ρ_d$. These calculations are exact; they serve the fixed-excess identities and the cancellation mechanism, and nothing more: no unproved uniformity in the excess enters the proof of the limit law. Next, by exploration and martingale approximation, the ordered sizes converge unconditionally to the excursion lengths of a Brownian motion with parabolic drift. A monotone coupling transfers the law to $H_d(n,M)$. The limit law is then identified with Pittel's law by a Brownian rescaling: if $h=d-1$, it suffices to multiply lengths by $h^{-1/3}$ and evaluate at parameter $λh^{-2/3}$. The exact Poisson representation dispenses with any separate deconditioning. We also formulate a two-regime $d$-uniform Bollobas bound (Wright for fixed $\ell$, global combinatorial beyond that), and explicitly indicate why neither regime alone suffices to close the analytic route.

The total $\{k\}$-domination problem ($T\{k\}DP$) seeks a minimum-weight function such that the sum of weights in every open neighborhood is at least $k$. While this problem is known to be NP-hard for general graphs, we demonstrate that for the family of caterpillars, it simplifies to the classical total domination number ($k=1$) via the identity $γ^{\{k\}}_t(G) = kγ_t(G)$. This reduction is supported by a general upper bound established for all graphs, which we prove to be tight specifically for caterpillars. The central tool for our analysis is the introduction of a $(T,R)$-representation, a one-to-one mapping that abstracts caterpillar structure into discrete vectors based on support vertex distribution and central path segment lengths. By characterizing these segments through congruence modulo 4, we derive an exact closed-form expression for the total $\{k\}$-domination number of any caterpillar graph.

A Hadamard matrix is a square matrix with entries $\pm 1$ whose rows are mutually orthogonal. Hadamard matrices are conjectured to exist at every order divisible by $4$; for approximately the last twenty years, the smallest open case of this conjecture was order 668. In August 2026, Alpöge, Voinov and Reynolds-Haertle announced Hadamard matrices at the twelve orders below $2000$ at which none was known. In this paper we verify and analyse the claimed matrices. We survey results on the existence of Hadamard matrices and list the $95$ orders up to $10\,000$ at which no Hadamard matrix is currently known. In pursuing this work we constructed Hadamard matrices at sixteen orders that were open in the published literature. We conclude with a list of open problems.

We characterize central limit theorems for polynomial linear statistics of continuous $N$-particle systems on $\mathbb R$, in both the fixed-temperature regime $θ=β/2>0$ and the high-temperature regime $Nθ\toγ>0$. In each regime, we give necessary and sufficient conditions in terms of the coefficients of the logarithmic Bessel generating function, together with an explicit combinatorial formula for the limiting covariance. At fixed temperature, this formula recovers the classical second-order free moment--cumulant relation, up to the factor $1/θ$; at high temperature, it yields new second-order free $γ$-cumulants and their covariance relations. The proof combines moment extraction through Dunkl operators with a topological expansion of the logarithmic multivariate Bessel function indexed by ribbon graphs on surfaces. This expansion gives a topological interpretation of the free-cumulants: only genus zero contributes at fixed temperature, whereas arbitrarily high genera contribute at high temperature. As applications, we prove that $β$-addition preserves the CLT in both regimes and determine its limiting covariance from the input free cumulants, and establish a suitably rescaled transition from the high-temperature covariance to its fixed-temperature counterpart as $γ\to\infty$.

We study the bipanchromatic number $χ_B$, introduced by Lalou et al. (Discrete Appl. Math. 391 (2026), 511-522) as the maximum number of colors in a panchromatic hypergraph coloring where every color appears at least twice. They show that merging uniquely occurring colors in a maximum panchromatic coloring gives the lower bound $β=χ_P-\lceilα/2\rceil \leq χ_B$, where $χ_P$ is the panchromatic number and $α$ is the minimum number of such colors among maximum panchromatic colorings. They conjectured that $χ_B=β$ and subsequently disproved it (arXiv:2610.08042). We identify the smallest counterexample, with six vertices and three hyperedges, both minimum possible. We show that the ratio bound $χ_B/β<2$ is asymptotically sharp and prove minimality results for the order and hyperedge count. For $3\leα<χ_P$ we show that every integer from $β$ to $χ_P-1$ occurs as $χ_B$ while $χ_P$ and $α$ are held fixed. Furthermore, we discover that the values $|V|,χ_P,α$ directly decide whether the conjectured equality holds except when $α=4$, where a matching reduction resolves the ambiguity. We derive the optimal universal lower bound $L$ depending only on $|V|,χ_P,α$ in the nontrivial regime $0<2α<|V|$. Finally, we prove $χ_B/L\le5/4$ and $χ_B/L\le6/5+1/(5L)$, with $5/4$ sharp and $6/5$ asymptotically sharp as $L\to\infty$.

Let $X^{(r)}_n$ denote the number of copies of a complete graph $K_r$ in the random intersection graph model on $n$ vertices. We derive upper bounds on the distance between the standardized version of $X^{(r)}_n$ and the standard normal distribution, measured in both the Kolmogorov and Wasserstein metrics. We complement these results with necessary and sufficient conditions for asymptotic normality. As a byproduct, we provide precise estimates for the variance of $X^{(r)}_n$. In the process, we develop new general techniques for analysing so--called clique covers, which play a crucial role in the study of subgraph probabilities in random intersection graphs.

We give a short-description decomposition of bounded-width CNFs. For every fixed $\varepsilon>0$, every width-$b$ CNF on $m$ variables is an exact disjoint union of at most $2^{\varepsilon m}$ width-$b$ CNFs, each determined by $2^{O_\varepsilon(b)}\log(m+1)$ satisfying assignments. For every fixed $d\ge3$, we prove a worst-case size lower bound of $2^{Ω_d((n\log n)^{1/(d-1)})}$ against depth-at-most-$d$ unbounded-fan-in AND/OR circuits with input negations for three polynomial-time Boolean families: inverse trace over binary fields, the Goldreich--Tal trilinear function, and OpenAI's polynomial evaluator with its original parameters. All parameter bits count as inputs. For inverse trace, every such circuit of size at most $S$, where $n\le S\le2^{c_dn^{1/(d-1)}}$, has uniform sign correlation at most $2^{-η_dn\log\log S/(\log S)^{d-1}}$. Here $c_d,η_d>0$ depend only on $d$. This improves on the classical parity correlation bound. The lower bounds combine the decomposition with restriction arguments; the correlation bound additionally uses common partial decision trees. We also construct exact nonuniform AND/OR circuits for inverse trace of size $2^{O(n^{2/3})}$ at depth eight and $2^{O(\sqrt n\log n)}$ at depth nine. For every fixed integer $h\ge2$, the construction gives depth-$(4h+1)$ circuits of size $2^{O_h(n^{1/h}\log n)}$. The upper bounds implement finite-field evaluation and interpolation using circuits that enumerate intermediate states.

Since their introduction by Karoński, Scheinerman, and Singer-Cohen in 90's, random intersection graphs have attracted much attention, mostly due to their various applications. In this article, we establish a general result for the probability that a given small subgraph is present in a random intersection graph. Our theorem applies to a broad range of parameters, including regimes that have not previously been considered in the literature. Moreover, it extends known results and situates them within a broader framework, making this approach a convenient tool for comparing the probabilities of graphs in the random intersection graph model. To prove our main result, we develop new proof techniques that, to the best of our knowledge, have not previously been employed in the study of small subgraphs in random intersection graphs. Many special cases and examples are presented as well.

A tree with integer weights on its vertices presents an integral lattice called a tree lattice. We prove that if a tree lattice is positive definite, then one of the vertex elements is irreducible, i.e. determines a facet of its Voronoi polyhedron. As a corollary, we settle a 1985 conjecture of Neumann and Zagier: if a tree lattice is isometric to the lattice of integer points in Euclidean space, then the tree contains a vertex of weight one.

We show that the problem of deciding whether a simplicial complex is partitionable is NP-complete in dimensions two and higher, answering a 1995 question of Kleinschmidt and Onn.

There are many types of path between nodes of a Directed acyclic graph (DAG), including the shortest and longest paths. Here, we ask whether the choice of path used in any analysis reflects the geometry of the latent space in which the DAG is embedded. To do this we define L_p-cube spacetimes, a family of continuous ordered spaces in which a single parameter p determines whether the ordered distance satisfies the ordered triangle identity when p>1, or the reverse ordered triangle identity when 0<p<1 or p<0, both of which are rarely studied. The forward connection kernel in the p<0 case has infinite hyper-volume, yet it is a well defined model. We then construct random geometric DAGs embedded in our L_p-cube spacetime and study their geometry. For p>1, where the ordered triangle identity holds, the shortest paths provide the closest approximation to the continuum ordered geodesic while for 0<p<1 and p<0, where the reverse ordered triangle identity holds, this role is instead taken by the longest weighted path. We also test the robustness of this relationship in a geometric citation model in which the random geometric DAG is supplemented by a preferential-attachment-type mechanism allowing connections beyond the strict geometric cut-off. The same broad correspondence between latent geometry and ordered geodesic path type is recovered. Our results show that the preference for shortest or longest paths in a DAG is closely connected to the geometry assumed for its latent space, and suggest that path structure can provide information about latent geometry, even when that geometry is not directly observed.

We give a simplified, self-contained proof of OpenAI's FPRAS for counting perfect matchings in general graphs. As in the original proof, we use a restricted Poincaré inequality for two matchings to sample weighted perfect matchings and estimate their total weight. We simplify the proof of this inequality by isolating parts of alternating cycles directly on the original vertex set and controlling the resulting error terms. This avoids the auxiliary vertices and tree constructions used in the original proof. The argument preserves the required parameter bounds and yields the same FPRAS guarantee.

The Knizhnik--Zamolodchikov (KZ) connection is defined on the constant bundle determined by $n$ finite-dimensional irreducible representations of a simple Lie algebra $\mathfrak{g}$ and a nonzero complex parameter $κ$, over the configuration space of $n$ distinct points on the affine line. Work of Schechtman--Varchenko and Looijenga shows that, when $κ$ is rational, the resulting local systems admit natural motivic realizations, called KZ motives. The Kazhdan--Lusztig equivalence identifies the local systems underlying these motivic variations with certain representations of the pure braid group arising from the corresponding Lusztig quantum group at a root of unity. We formulate conjectures relating the weight filtrations of KZ motives to structures in quantum-group representation theory, particularly tilting modules and the Jantzen and Andersen filtrations, and provide evidence for these conjectures. Our methods use a new deformation of the representation ring that records the first moments of the weight filtration, together with Schmid's theorem on limiting mixed Hodge structures and results on the Hodge filtration obtained in earlier joint work with S. Mukhopadhyay.

In 1991, Erdős, Faudree, Rousseau and Schelp asked to estimate the smallest $u=u(n,d,s)$ such that every $n$-vertex graph with average degree at least $d$ has a subgraph on at most $u$ vertices with minimum degree at least $s$. We resolve this problem up to polylogarithmic factors for all even values of $s$. More precisely, we prove that every $n$-vertex graph with minimum degree $d\geq s$ has a subgraph on $O_s\left(\max\left\{\frac{n}{d^{s/(s-2)}}(\log n)^{180},\log n\right\}\right)$ vertices with minimum degree at least $s$, whenever $s\ge 4$ is even. This improves a result of Janzer, Sudakov and Tomon, who obtained a similar conclusion for subgraphs of average degree at least $s$. We also prove that for every positive integer $s$ and every $\varepsilon>0$, there exists a finite family $\mathcal{H}$ of graphs with minimum degree $s$ such that $\operatorname{ex}(n,\mathcal{H})=O(n^{2-2/s+\varepsilon})$. This is tight and is the first result of similar kind that applies to odd values of $s$ greater than 3.

We study fixed-field analogues of the lattice product construction recently used by Bloom, Sawin, Schildkraut, and Zhelezov to disprove the sum-product conjecture over the real numbers. These sets are of the form $A_n = P_nG_n \subset F$, where $F$ is a fixed number field, $P_n$ can be rescaled to a set of algebraic integers whose conjugates are polynomially bounded in $|P_n \setminus \{0\}|$, and $G_n$ occupies a positive proportion of a bounded box of scale $Y_n$ in a fixed positive-rank multiplicative lattice. We prove that these fixed-field constructions satisfy the sum-product conjecture, $\max\{|A_n+A_n|, |A_nA_n|\} \ge |A_n|^{2-o(1)}$ as $|A_n| \to \infty$, with no restriction on the relative growth of the two factors. More strongly, any fixed power saving in the product set forces an asymptotically maximal sumset: there exists $C > 0$ such that, for each fixed $δ\in (0,1]$, if $|A_nA_n| \le |A_n|^{2-δ}$ for all sufficiently large $n$, then $Y_n \to \infty$ and $|A_n+A_n|/|A_n|^2 = 1/2 + O_δ((\log Y_n)^C/Y_n)$. In particular, the additive-box times unit-box construction of Bloom, Sawin, Schildkraut, and Zhelezov cannot produce sum-product counterexamples in any fixed totally real number field, at any relative scales. The proof combines a bound for factorizations of algebraic integers with a more general maximal-sumset theorem for coefficient sets whose nonzero-element ratios have small Weil height. The latter controls multiplication fibers and combines a lattice strip estimate with logarithmic separation derived from the theorems of Yu and Matveev.

A permuton is a probability measure on the unit square with uniform marginals, the limit shape of a sequence of permutations. The sticky product of permutons is a continuous analogue of the Demazure product in the $0$-Hecke monoid; on copulas, the distribution functions of permutons, it is given by the tropical $(\min,+)$ product $\odot$. We show that every absolutely continuous rotation-invariant probability measure $ρ$ on the plane, which we call the profile, generates a one-parameter family of copulas $C^ρ=\{C^ρ_β\}_{β\in[0,π]}$. A copula in this family is defined by a pair of projections of a $ρ$-distributed random vector onto directions at angle $π-β$. Along this family, the sticky product adds angles: $$C^ρ_{β_1}\odot C^ρ_{β_2}=C^ρ_{\min(β_1+β_2,π)}.$$ Hence every non-identity element of such a family is a sticky product of two others and has roots of every natural degree. The normalized inversion number of the copula $C^ρ_β$ equals $β/π$. For the Archimedean measure $\mathfrak{Arch}$ the family $C^{\mathfrak{Arch}}$ consists of the limit shapes of the permutations of the uniformly random sorting network, found by Angel et al. and Dauvergne. For the Gaussian measure $\mathcal{N}$ the family $C^{\mathcal{N}}$ consists of Gaussian copulas and contains $\mathit{Unif}$, the uniform measure on the square (the limit shape of the uniformly random permutation); its square root within this family is the Gaussian copula with correlation $-1/\sqrt2$. By the Herschel-Maxwell theorem the Gaussian measure is the only profile whose family contains $\mathit{Unif}$; nevertheless, $\mathit{Unif}$ has another, singular, sticky square root. A discrete analogue of the Gaussian family is the geometric sorting network generated by rotating independent Gaussian points: after rotation by $π/2$ its permutation is exactly uniform.

In the 1970s, Erdős and Szemerédi conjectured that for any $n \ge k-1\ge 2$, any collection of subsets of $[n]$ not containing a $k$-sunflower has size at most $c_k^n$ for some $c_k<2$. In the $k=3$ case, this follows from the work of Croot, Lev, and Pach and Ellenberg and Gijswijt on the cap-set problem, through a reduction due to Alon, Shpilka, and Umans. We prove the conjecture for every $k \ge 3$.

Let $\eps=(\eps_i)_{i\ge1}$ be a sequence with $\eps_i\in\{-1,1\}$, and let $v_n(\eps)$ be the positive denominator of $\sum_{i=1}^n\eps_i/i$ in lowest terms. We prove that $|\{1\le n\le x:v_n(\eps)\ne v_{n+1}(\eps)\}|=o(x)$ uniformly in $\eps$. In particular, the set of positive integers $n$ with $v_n(\eps)=v_{n+1}(\eps)$ has asymptotic density one for every sequence of signs. This answers a problem of Wu and Chen, \emph{J. Number Theory} \textbf{200} (2019), 397--406.

In this paper we obtain the critical probability $p_c(Q_{n},r)$ for bootstrap percolation with the infection threshold $r=f(n)n^a$ on the $n$-dimensional hypercube $Q_{n}$, where $0<a<1$ and $f(n)=n^{o(1)}$. More precisely, we obtain the exact first-order and second-order terms of $p_c(Q_{n},r)$ by extending the main theorem of Balogh, Bollob{á}s, and Morris (2009).

Let $m\geq1$ be an integer and let $W=(m\mathbb N_0+X)\cup U\cup V\subseteq\mathbb Z$ be bounded below, where $X\ne\varnothing$, $[U]_m\subseteq[X]_m$, $[X]_m\cap[V]_m=\varnothing$, and $V$ contains no infinite arithmetic progression with common difference $m$. Here $[S]_m$ denotes the set of residue classes modulo $m$ represented by $S$. Suppose that $W$ satisfies the $\mathcal C$-condition modulo $m$. For $0\leq r<m$, let $V_r=V\cap(r+m\mathbb Z)$, and put $V'=\bigcup_{|V_r|=\infty}V_r$, where the union is over $0\leq r<m$. We prove that $W$ has a minimal additive complement if $V'$ satisfies the big-hole property modulo $m$. This answers a problem posed by Ma and Chen.

For walks with jumps +p and -q, where p,q are coprime positive integers, we express the weak and strict rational Dyck excursion counts as finite weighted sums of generalized Fuss-Catalan products. Both sums run over the same partitions of q for every path size. Reversing the order of the steps and changing their signs transforms a returning walk with jumps +p and -q into one with jumps +q and -p, with the same heights in reverse order. This preserves both weak and strict excursions. Applying the formulas with p and q exchanged therefore gives sums over partitions of p, so we can choose the smaller of the two jump magnitudes. The indices of the Fuss-Catalan factors satisfy certain divisibility conditions that are determined by the jump magnitudes and the partition parts. The weak formula alternates in sign with the number of parts, whereas every term in the strict formula is positive. We prove both formulas by cutting unrestricted walks at their first and last visits to their lowest height. Expanding the resulting factors produces the partitions of q and the different signs. We also give equivalent binomial convolutions. Multiplying each Fuss-Catalan factor by q in the weak formula or p in the strict formula gives a positive integer. For q=1, the weak and strict counts reduce to Fuss-Catalan and shifted Raney numbers, respectively; for q=2 and q=3, the formulas yield explicit convolution identities.

In this paper, we determine the asymptotic number of $F$-decompositions in typical hypergraphs. More precisely, let $F$ be a non-trivial $f$-vertex $k$-graph. We show that, for all sufficiently large $n$, every $n$-vertex $F$-divisible $(n^{-ζ},h,p)$-typical $k$-graph $G$ has $n^{\frac{f-k+o_n(1)}{|F|}|G|}$ $F$-decompositions. As an application, we asymptotically enumerate universal cycles for $k$-subsets of $[n]$, or equivalently, tight Euler tours of the complete $k$-graph $K_n^k$. For every $k\ge2$ and all sufficiently large $n$ satisfying $k\mid {n-1 \choose k-1}$, the number of such universal cycles is $n^{(1-γ(n)){n \choose k}}$, where $0<γ(n)=o_n(1)$. More generally, for $\ell\in[k-1]$, we show that a sufficiently typical $n$-vertex $k$-graph $G$ satisfying the corresponding divisibility condition has $n^{(k-\ell-γ'(n))|G|}$ Euler $\ell$-tours, where $0<γ'(n)=o_n(1)$.

We study the random Euclidean Maximum Traveling Salesman Problem: finding a Hamiltonian cycle of maximal total cost through any set of $N$ cities on a line, where each edge cost is a function of its Euclidean length. We characterize the maximizing cycles for convex increasing, concave increasing, and convex decreasing cost functions. For points sampled independently and uniformly from the unit interval, we derive explicit expressions for the average maximal cost for arbitrary $N$ and asymptotic expansions with power-law edge costs.

Generalizing a recent theorem by Higashitani et al. (Comb. Theory 2025), it is shown that a convex body $K$ is uniquely described up to integer translation by the function $\mathrm{t}_K(v) = |(K-v)\cap\mathbb{Z}^n|$, $v\in\mathbb{R}^n$. For a lattice polytope $P$ the function $\mathrm{t}_P$ is decomposed into homogeneous components $\mathrm{t}_{P,i}$, similar to the Ehrhart polynomial. It is shown that the functions $\mathrm{t}_{P,i}$ are simultaneous eigenfunctions of a family of linear operators introduced by Kubert and Lang in (Math. Z. 1976) and that, conversely, the linear spaces of piecewise constant eigenfunctions are generated by the respective coefficients $\mathrm{t}_{P,i}$. A structure theorem for the simultaneous eigenspace corresponding to the $(n-1)$st coefficient in the decomposition of $\mathrm{t}_P$ is obtained. This leads to an explicit description of the set of functions $\mathrm{t}_P$, where $P$ ranges over all lattice polygons, as well as to inequalities for the number of lattice points in dilated and translated lattice polytopes.

Let $Γ$ be a distance-regular graph with diameter $D \geq 3$, and let $θ$ be a nonzero eigenvalue of $Γ$ distinct from its valency. Motivated by the geometric parameter sequences of geometric distance-regular graphs, we introduce analogous sequences defined recursively from the intersection numbers of $Γ$ and $θ$, without assuming a geometric structure. We show that the recursion is well defined if and only if all terms of the standard sequence corresponding to $θ$ are nonzero and consecutive terms are distinct. In particular, the geometric parameter sequences associated with the smallest eigenvalue always exist. Suppose that $Γ$ is $Q$-polynomial with respect to an eigenvalue ordering $θ_0,θ_1, \ldots,θ_D$. Let $\{φ_i\}_{i=1}^{D}$ and $\{ϕ_i\}_{i=1}^{D}$ be the first and second split sequences of the primary Leonard system, respectively, and let $β$ denote its fundamental parameter. We prove that the geometric parameter sequences associated with $θ_D$ exist if and only if $φ_i\neqϕ_i$ for every $1\leq i\leq D$, and if and only if $β\neq-2$ or $D$ is even. When the sequences exist, we obtain closed formulas in terms of the primary parameter array. We introduce the split ratio sequence $ρ_i=φ_i/ϕ_i$. Using this sequence, we obtain a bidiagonal factorization of $B-θ_D I$, where $B$ is the intersection matrix of $Γ$. This factorization remains valid even when the geometric parameter sequences associated with $θ_D$ do not exist. If $Γ$ is geometric and $θ_D$ is its smallest eigenvalue, then the geometric parameter sequences associated with $θ_D$ coincide with those of $Γ$.

Heckman and Krakovski proved that every 3-connected cubic planar graph contains a cycle of length 2^m for some 2 $\le$ m $\le$ 7. We extend this to 3-connected cubic graphs embedded in the real projective plane with face-width at least three and edge-width at least 48; the cycle may moreover be taken contractible. The argument passes to the spherical double cover, where the planar theorem provides the cycle inside a subgraph of diameter at most 47, and the condition on the edge-width guarantees that this subgraph projects injectively.

We study Macdonald operators associated to classical root systems of types $B_N$, $C_N$, and $D_N$. We provide explicit formulas for decomposing the cumulative action of these operators as the sum of the actions of lower-rank operators and auxiliary operators. We also discuss the same idea in the elliptic case, also known as Ruijsenaars operators, and show that under the trigonometric limit, the identity reduces to type-$A_N$ decomposition.

The random $k$-XORSAT matrix is an $m\times n$ random matrix $\mathbf A$ over $\mathbb F_2$ that represents a random instance of the $k$-XORSAT problem. Each row of $\mathbf A$ contains precisely $k\geq3$ non-zero entries in random positions. The rows are drawn independently. The matrix $\mathbf A$ is known to have full row rank for $m/n$ below the random $k$-XORSAT satisfiability threshold, which is known explicitly [Dubois, Mandler~2002; Pittel, Sorkin~2016]. Motivated by a problem from quantum game theory and refining a result of Cooper, Frieze and Pegden (2019), we determine the limiting distribution of the rank of $\mathbf A$ beyond the satisfiability threshold.

After the substitution $q\mapsto q+1$, vertical-strip LLT polynomials are weighted sums of strict $P$-partition generating functions indexed by orientations of decorated unit-interval graphs, with weight $q^{\mathrm{asc}(θ)}$. A flip moves an ascending edge across a triangle while keeping its long edge. We show that the sum over every flip class is elementary-positive: it equals the sum of the elementary symmetric functions given by the highest reachable vertices of its orientations. This answers Hwang's question on the Schur positivity of LLT flip-class sums, and it holds for circular unit-interval graphs as well. Summing over classes gives a new proof of the elementary expansion of Alexandersson and Sulzgruber, and its circular analog, which was open. We also obtain a flip-class refinement of the elementary expansion of LLT cumulants.

A set $D\subseteq V(G)$ is a $1$-limited dominating set of a graph $G$ if every vertex outside $D$ has a neighbor in $D$ and every vertex of $D$ has at most one neighbor outside $D$. The minimum cardinality among all $1$-limited dominating sets of $G$ is denoted by $γ_1^{\mathrm L}(G)$. For every cubic graph $G$ of order $n$, there exists a nonnegative integer $t$ such that $γ_1^{\mathrm L}(G)=\frac n2+t$. We establish structural properties of $1$-limited dominating sets in terms of $t$ and use them to study the induced cycles vertex number, that is, the maximum number of vertices inducing a $2$-regular subgraph. As applications, we determine the exact $1$-limited domination numbers of generalized Blanuša snarks and flower snarks.

For $n\in\mathbb N$, let $μ_n$ be the uniform measure on $2^{[n]}$. A family $\mathcal F \subseteq2^{[n]}$ is called $k$-AP-intersecting if $F_1\cap F_2$ contains a nonconstant $k$-term arithmetic progression for every $F_1, F_2\in\mathcal F$. Writing $m_k$ for the supremum of $μ_n(\mathcal F)$ over all $n$ and all such families $\mathcal F$, we prove \[ 2^{-k}\le m_k\le32\cdot 2^{-k}\qquad(k\ge3). \] This greatly improves a recent result of Gillott, who proved that $m_k \leq k^{-1/3}$ for all sufficiently large $k$, and answers his question on $m_k$'s exponential decay. We also prove a similar bound for the corresponding cross-intersection problem.

Let $S\subseteq \mathbb R^+$ be a subset of positive reals. We say that a metric space is an $S$-metric space if the range of the metric is a subset of $S\cup \{0\}$. In 2007, Delhommé, Laflamme, Pouzet, and Sauer characterized those sets $S$ for which the class of all finite $S$-metric spaces has the amalgamation property. Given an amalgamation class, a natural question is what its Ramsey expansion is. Ramsey expansions are known for classes of $S$-metric spaces for which $S\cup\{0\}$ carries a natural distance monoid structure, for example for $S=\mathbb Q^+$ or when $S$ is topologically closed. In this paper, we extend this result to all amalgamation classes of finite $S$-metric spaces, thereby completing the Ramsey-theoretic classification of amalgamation classes of finite $S$-metric spaces.

Let $P$ be a smooth reflexive polytope and let $Q=P^{*}$ be the dual of smooth Fano polytope. Ewald's conjecture (1988) predicts that the lattice points of $P\cap (-P)$ contain a lattice basis. In general it is not even known whether $P\cap (-P)$ contains a nonzero lattice point; we call this weakest form of the conjecture the antipodal condition. We define the unimodular defect of a finite set of lattice vectors as the least number of vectors that must be removed to leave a unimodular set, and the unimodular defect of $Q$ as that of its vertex set. Defect zero gives the unimodular smooth Fano polytopes, for which Ewald's conjecture is known. Our main result is that every smooth Fano polytope of unimodular defect at most two has a \emph{flat ridge}, a ridge $W$ with $|\det(v,W)|\leq 1$ for all vertices $v$; consequently its dual satisfies the antipodal condition. We also consider removed sets of pairwise non-adjacent vertices. Using results of Nill on independent vertices, we show that every such set has at most two elements unless $Q$ is unimodular, so the antipodal condition holds whenever such a set exists.

Let $G$ be a finite group, and let $p$ be the smallest prime divisor of $|G|$. The Gao constant $\mathsf{E}(G)$ is the least integer $\ell$ such that every sequence over $G$ of length $\ell$ contains a subsequence of length $|G|$ whose terms can be ordered to have product equal to the identity. In 1961, Erdős, Ginzburg and Ziv proved that every sequence of $2n-1$ integers has an $n$-term subsequence whose sum is divisible by $n$; equivalently, $\mathsf{E}(C_n)\leq 2n-1$, where $C_n$ denotes the cyclic group of order $n$. In this paper, we prove that $\mathsf{E}(G)\leq |G|+|G|/p-1$ whenever $G$ contains no cyclic subgroup of index $p$. Consequently, every finite non-cyclic group satisfies $\mathsf{E}(G)\leq |G|+|G|/p+p-2$, with equality if and only if $G$ contains a cyclic subgroup of index $p$. This establishes the conjectured upper bound for the Gao constant and provides a complete characterization of the equality case.

Let $F_t$ be the graph consisting of $t$ triangles with a common vertex and otherwise disjoint vertices. We prove that $R(F_3,F_4)=17$ using an $8+9$ gluing computation. Neighbourhood matching arguments give degree and clique restrictions that reduce the search on seventeen vertices to $88,294,674$ ordered seed pairs. The verified main computation excludes $88,294,634$ pairs. A cross-edge counting argument excludes thirty-four of the forty exceptional pairs, and independently checked finite-domain certificates exclude the remaining six. Together with the construction whose red graph is the complete bipartite graph $K_{8,8}$, these results establish $R(F_3,F_4)=17$.

For every rational number $γ>1$, we construct a fixed bipartite graph $H_γ$ such that $r_k(H_γ;K_N)=Θ_{γ,k}((N/\log N)^γ)$ for every fixed $k\ge 3$. Here $r_k(H;K_N)=r(H,\ldots,H,K_N)$, with $k$ copies of $H$. The lower bound uses a symmetric random algebraic graph which avoids a fixed rooted power and has sufficiently strong local density for the Alon-Rodl method. The main algebraic step establishes a nonzero obstruction within the full symmetric coefficient space; the upper bound uses the rooted graphs from the proof of the rational exponents conjecture. We also obtain induced even-cycle asymptotics in the same construction.

Maximum rank-distance codes were introduced independently by Delsarte (1978) and Gabidulin (1985) for unrestricted matrix spaces, and their study was subsequently extended to the classical form spaces of alternating, symmetric, and Hermitian matrices. For Hermitian $d$-codes, Schmidt (2018) established the upper bound and constructed optimal additive codes for all admissible parameters except when $n$ and $d$ are both even and $4\le d\le n-2$. We settle this final open existence case, more generally, construct additive maximum Hermitian rank-metric codes for every admissible length and minimum distance. Rather than working directly in the space of Hermitian matrices, we construct our objects within central simple algebras with unitary involution arising from quotients of skew polynomial rings. We also introduce scalar-field and Lyapunov operators in these algebras, leading to new invariants for the equivalence of additive Hermitian codes. Explicitly determining these invariants yields strong necessary conditions for Hermitian equivalence and demonstrates that our construction contains a large number of pairwise inequivalent codes.

We determine the size Ramsey number of a two-component star forest versus an arbitrary star forest. Let $q,a,b,n_1,\ldots,n_q$ be positive integers with $a\ge b$ and $n_1\ge\cdots\ge n_q$. We prove that \[ \begin{split} \rhat\left(K_{1,a}\sq K_{1,b}, \bigsqcup_{i=1}^{q}K_{1,n_i}\right) ={}&(a+n_1-1) +\sum_{i=1}^{q-1}\max\{a+n_{i+1}-1,b+n_i-1\}\\ &+(b+n_q-1). \end{split} \] This proves the conjecture of Burr, Erdős, Faudree, Rousseau and Schelp (Erdős Problem~\#561) in the case where one of the two star forests has exactly two components. The formula holds without any restriction on the parity of the star sizes. The proof combines vertex deletion, iterated matching deletion, and Lovász's factor theorem.

We use spectral methods to determine Turán coefficients of signed graphs under containment that preserves negative edges and allows positive edges to be realized by either sign. For a fixed forbidden signed graph $\sF$ with at least one edge, the coefficient $\tht(\sF)$ is the supremum of the weights $ρ\ge1$ for which every $\sF$-free signed graph $\sG$ of order $n$ satisfies $e^+(\sG)+ρe^-(\sG)\le\binom n2+o(n^2)$. We prove a variational characterization of the weighted extremal density and show that $\tht(\sF)=1+1/L(\sF)$, where $L(\sF)$ is the supremum of the adjacency spectral radii of $\sF$-admissible graphs. The coefficient is infinite exactly when the underlying graph $F$ is bipartite, and equals one exactly when $F$ has no independent set meeting every negative edge. When $χ(F)=3$, the possible coefficients are exactly $1$, $3/2$, $1+1/\sqrt3$, $(1+\sqrt5)/2$, $1+1/\sqrt2$, and $2$, each of which is realized by a signed graph. In this case, if $\tht(\sF)>1$, then $L(\sF)$ is attained by an admissible graph on at most five vertices, and the order bound is sharp. More generally, when some path is inadmissible, we obtain explicit order bounds for connected admissible graphs with bounded maximum degree. We also derive restrictions on the algebraic degree and rational values of $\tht(\sF)$.

A Steiner quadruple system of order $v$, denoted by $\operatorname{SQS}(v)$, is called cyclic if it admits $\mathbb Z_v$ as a group of automorphisms acting regularly on its point set. A cyclic system is called symmetric cyclic, or S-cyclic, if the multiplier $-1$ preserves each block orbit individually. Grannell and Griggs conjectured in 1983 that such a system of order $v$ exists if and only if $v\equiv2,4,10,20\pmod{24}$ and every odd prime divisor $p$ of $v$ satisfies $p\equiv1$ or $5\pmod{12}$. This paper proves the conjecture. The main step is to construct an $S$-cyclic Steiner quadruple system of order $2p$ for every prime $p\equiv1\pmod4$. Together with existing reduction theorems, these constructions determine which finite abelian groups admit a symmetric group-invariant Steiner quadruple system.

An annotated graph is a pair $(G,S)$, where $G$ is a graph and $S$ is a subset of vertices of $G$. We present a unified approach for definitions of annotated versions of classical graph parameters such as treewidth, pathwidth, treedepth, etc. A generic way to incorporate a distinguished set of vertices into a graph parameter is via torsos. Given a graph $G$ and a subset $S'\subseteq V(G)$, we define $\mathrm{torso}_G(S')$ to be the graph with vertex set $S'$ in which distinct vertices $u,v\in S'$ are adjacent if and only if there exists a $u$-$v$ path in $G$ whose internal vertices lie outside $S'$. Now let $\mathrm{p}$ be any graph parameter. For an annotated graph $(G,S)$, we define the torso $\mathrm{p}$ of $(G,S)$ by \[\mathrm{p}(G,S) = \min\{\mathrm{p}(\mathrm{torso}_G(S')) \mid S \subset S' \subset V(G)\}.\] For a minor-closed class of annotated graphs $\mathcal{C}$, we discuss equivalent conditions for $\mathrm{p}(G,S)$ bounded for all $(G,S)\in\mathcal{C}$ in terms of annotated graphs excluded in $\mathcal{C}$. In many cases, we collect known results from the literature. We include two new arguments for $\mathrm{p}$ being the $2$-treedepth and the feedback vertex number. Among other statements, we also include a variant of the Erdős-Pósa property for annotated cycles. We propose some new research directions.

Balogh, Clemen and Lidický asked how large the minimum $\ell_p$-norm of the internal-edge counts over balanced partitions of an $n$-vertex triangle-free graph can be. For each fixed $2<p<\infty$ and all sufficiently large even $n$, we determine this value exactly for bisections and characterize all extremal graphs. They are precisely the complete bipartite graphs $K_{a,n-a}$ for which $a\le n/2$ maximizes an explicit integer objective. All maximizing values of $a$ lie in an interval of length bounded in terms of $p$ alone. We also prove quantitative stability for the same range of $p$ and $n$: for sufficiently small $δ\ge 0$, every $n$-vertex triangle-free graph with bisection value at least the asymptotic optimum minus $δn^2$ is within $O_p(δn^2+n)$ edge edits of a complete bipartite graph with the optimal limiting class ratio.

In this paper, we study the extremal number of arborescences over orientations of a fixed graph. We prove that every alternating orientation of a plane Eulerian multigraph minimizes the rooted arborescence count among its Eulerian orientations. We also prove that every tournament of odd order maximizing the total number of arborescences is regular, and hence Eulerian. These results resolve Conjectures 5.1 and 5.4 of Bandekar et al. We further establish upper bounds for arborescence counts in orientations of complete bipartite graphs and characterize the orientations attaining them.

We prove that Terao's freeness conjecture holds for arrangements of 15 and of 16 lines in the complex projective plane. Together with the theorem of Barakat and Kühne for at most 14 hyperplanes, this shows that freeness of a central arrangement of at most 16 planes in $\mathbb{C}^3$ is determined by its intersection lattice. The proof has a theoretical and a computational part. Combining published combinatorial criteria for freeness (due to Abe, Dimca, Dimca-Kühne-Pokora and Yoshinaga) with Bojanowski's Hirzebruch-type inequality and an elementary counting identity, we show that a counterexample would have exponents $(6,8)$ or $(7,7)$ for 15 lines and $(7,8)$ for 16 lines, and an intersection lattice subject to strong numerical constraints. We then enumerate all 22,544,280 simple rank 3 matroids satisfying these constraints, up to isomorphism, and determine the complex realization space of each of them exactly over $\mathbb{Q}$. Exactly eleven of them are realizable over $\mathbb{C}$, and on each of these the freeness of the realizations is constant. As a by-product we classify the free arrangements of 15 and 16 lines that are not divisionally free, have maximal multiplicity smaller than the smaller nontrivial exponent, and have at least four intersection points on every line.

We propose and study a multi-labeling generalization of the $k$-radio labeling problem of graphs: given a graph $G$ and integers $k$ and $m$, assign to each vertex of $G$ a set of $m$ integer labels such that distinct labels assigned to a vertex differ by at least $k+1$, and the labels of any two distinct vertices $x$ and $y$ pairwise differ by at least $k+1-d(x,y)$, with $d(x,y)$ being the distance between vertices $x$ and $y$. We prove general bounds on the minimum span of such a labeling and more refined results for the case $k=1$. For paths and cycles, we derive sharp bounds on the minimum span when $k$ is small. We finally propose a conjecture for the minimum span on the path and for an almost-tight bound on the cycle.

In this paper, we provide a complete description of the preperiods, periodic lengths, and the Grundy-value sequences of two-element subtraction games with a single pass option.

Motzkin, Grünbaum, and Erdős and Purdy asked how many noncollinear blue points can coexist with $t$ red points in the real plane if every blue-spanned line contains a red point. We prove that there are at most $2.35t-3$ blue points, even over the complex numbers. For the complex higher-dimensional problem of Campbell, Kroeker, and Lund, we prove $b_k(t)\le1.40k^2t$. Colorings of cyclic Dowling geometries give a matching lower bound in order of magnitude for all $k\ge2$ and $t\ge3$. The planar proof uses frame normalization and a second-moment estimate; the higher-dimensional proof combines the degree bound of Kroeker and Lund with principal truncation.

For a connected graph $G$, let $τ(G)$, $α(G)$ and $α^*(G)$ denote its numbers of spanning trees, acyclic orientations and totally cyclic orientations, respectively. We prove that $α(G)α^*(G)\geqτ(G)^2$ for every connected bridgeless chordal graph.

For a connected simple regular graph $G$, let $τ(G)$ be the maximum commute time for simple random walk, and let $t_n$ be the maximum of $τ(G)$ over all such graphs of order $n$. Aldous and Fill conjectured that $t_n\sim3n^2/2$. We determine $t_n$ exactly and classify all maximizers for every even $n\geq10$ and every odd $n\geq15$; both thresholds are best possible. The maximizers are cubic block chains joined by bridges at even orders and quartic block chains joined at cut vertices at odd orders. The exact formulas specify the linear corrections according to the order modulo four and five, respectively, and imply $ t_n\sim \begin{cases} \dfrac32 n^2, & n\text{ even},\\[1mm] n^2, & n\text{ odd}, \end{cases} \qquad n\to\infty. $ Thus the conjectured asymptotic formula holds along even orders but fails along odd orders. The proof combines unit-current potential orderings, cut-current inequalities, and sharp block resistance bounds, supplemented by finite computations in exact rational arithmetic.

This paper develops convex analysis on tropical varieties and investigates the properties of the tropical Monge-Ampère equations. We start by introducing notions of plurisubharmonic functions and Kähler forms on arbitrary tropical varieties. We show that many classical results of pluripotential theory extend to this setting, including an analogue of Demailly's regularization theorem. Next, we study the solutions to the tropical Monge-Ampère equations. While we establish their uniqueness, we show that the existence is not guaranteed in general. More precisely, we prove that the tropical analogue of the Calabi-Yau theorem fails for any pair $(X, θ)$ consisting of a compact tropical variety $X$ of dimension at least two satisfying a mild genericity assumption, and a tropical Kähler form $θ$ on $X$. In particular, there exist measures compactly supported in the open part of $X$ that admit no solution. In contrast, for tropical varieties that are regular in codimension one, we show the existence of solutions. Finally, via strongly faithful tropicalizations whose existence is established in this paper, we relate the tropical solutions, when they exist, to the solutions of non-Archimedean Monge-Ampère equations on Berkovich spaces.

We use results from extremal graph theory and analysis to compare word probabilities in finite groups. In particular, we show that the probability of satisfying the 2-Engel word admits a positive lower bound in terms of the probability that an element has order dividing 3. More generally, using a group removal lemma, we obtain analogous bounds for $x^m$-good words.

In this paper we show that for each small permutation class $\mathcal{F}$ there exists a regular language $L_\mathcal{F}$ such that the monadic second-order TOTO logic on $\mathcal{F}$ is isomorphic to classical monadic second-order logic on $L_\mathcal{F}$. Thanks to the fact that regular languages are closed under monadic second-order restrictions this shows that many subsets of $\mathcal{F}$ have a well-behaved structure. In particular, this allows us to show that random permutations from any small permutation class satisfies convergence laws for both first-order logic and monadic second-order logic. In the latter case, the law is modular. Our proofs introduce a way of using the automaton description of regular languages to prove properties of generating functions which may be of independent interest. Potential applications include first-order limit laws for random words in some regular languages.

For a graph $F$, its extremal number ${\rm ex}(n,F)$ and extremal graphs denote the maximum number of edges in $F$-free graphs and the graphs attaining this maximum, respectively. Let $h_F(n,q)$ be the minimum number of copies of $F$ in an $n$-vertex graph with ${\rm ex}(n,F)+q$ edges, and let $t_F(n,q)$ denote the corresponding minimum obtained by adding $q$ edges to an extremal graph. Mubayi (2013) conjectured that for every non-$r$-partite stable $r$-uniform hypergraph $F$ with $r\ge 2$, $h_F(n,q)\ge q\cdot t_F(n,1)$ holds for all sufficiently large $n$ and all integers $q\ge 1$. In this paper, we prove that Mubayi's conjecture fails in a stronger sense. For every integer $d\ge 2$, we construct a family of non-$d$-partite stable graphs $F$ such that $h_F(n,q)< q\cdot t_F(n,1)$ for all $1\le q\le O\bigl(n^{4/ 3}\bigr)$. In particular, these examplesis completely refute Mubayi's conjecture. \noindent\emph{Key words}: extremal graph; supersaturation; chromatic number.

Let $\NT(m,n)$ be the total number of parts in the partitions of $n$ with rank $m$, and let $\MW(m,n)$ be the total number of ones in the partitions of $n$ with crank $m$. Using the uniform generalized-rank estimate of Liu and Zhou, we establish asymptotic formulas for $NT(m,n)$ and $\MW(m,n)$. Put $β_n=π/\sqrt{6n}$ and $L_n=\log(1/β_n)$. For every fixed $A>0$, uniformly for $|m|\le A\sqrt n$, we prove \begin{align*} \NT(m,n)&=\frac{p(n)L_n}{4}\sech^2\!\left(\frac{β_nm}{2}\right) +O_A\!\bigl(p(n)\log L_n\bigr) \intertext{ and} \MW(m,n)&=\frac{p(n)}4\log(1+e^{-β_nm}) \sech^2\!\left(\frac{β_nm}{2}\right) +O_A\!\bigl(p(n)\sqrt{β_nL_n}\bigr). \end{align*}

For a $k$-uniform hypergraph $L$, let $h_L(n,q)$ be the minimum number of copies of $L$ in an $n$-vertex $k$-graph with $\mathrm{ex}(n,L)+q$ edges. Let $t_L(n,q)$ be the minimum number of copies obtained by adding $q$ edges to an extremal $L$-free $k$-graph. A graph is color-critical if deleting a suitable edge decreases its chromatic number. Let $\mathcal K_k(F)$ be the expanded graph obtained by adding $k-2$ new vertices to each edge of $F$, with disjoint sets of new vertices for distinct edges. Mubayi proved that, for every clique $K_r$ with $r\ge4$ and fixed $ q>0$, $ h_{\mathcal K_3(K_r)}(n,q)\ge qt_{\mathcal K_3(K_r)}(n,1)$ for every sufficiently large $n$. Pikhurko and Yilma later proved that, for every color-critical graph $F$, there is a constant $ε_F>0$ such that $h_{F}(n,q)=t_{F}(n,q)$ for every sufficiently large $n$ and $1\le q\leε_F n$. We extend this equality to expanded color-critical graphs. Let $d>k\ge3$. For every color-critical graph $F$ with $χ(F)=d+1$, there is a constant $ε>0$ such that $ h_{\mathcal K_k(F)}(n,q)=t_{\mathcal K_k(F)}(n,q)$ for every sufficiently large $n$ and $1\le q\leεn^{k-1}$. Let $q_L(n)$ be the largest integer $q$ such that $h_L(n,s)=t_L(n,s)$ for every integer $1\le s\le q$. We give a sufficient condition for $q_L(n)=Θ_L(n^{k-1})$ and an explicit family satisfying it. We also give a different sufficient condition under which $q_L(n)=Ω_L(n^{k-1/2})$ and an explicit family satisfying it. \noindent \emph{Keywords.} Supersaturation; extremal graph; color-critical graph; chromatic number; expanded graph; hypergraph.

Over the past few decades, several notions of graph curvature have been introduced. Among them, Ollivier curvature, defined through optimal transport, and its Lin--Lu--Yau variant provide notions of curvature for graphs which retain several features of their counterpart in Riemannian geometry. A classical problem in this context is to understand the global structure of positively curved spaces. Lu and Wang proved that there are only finitely many positively curved planar graphs of minimum degree at least 3. In this paper, we study two directions motivated by this result. We first show that for fixed $2\leq s\leq t$, there are only finitely many positively curved $K_{s,t}$-minor-free graphs with minimum degree at least $s$. In particular, this generalizes the result of Lu and Wang to graphs embeddable on any fixed surface. We then give a complete classification of positively curved 5-connected plane triangulations. In particular, we show that there are only five examples, on 12, 14, 15, 16, and 17 vertices.

We prove that at every infinite cardinality, every group which is neither abelian of exponent greater than two nor generalized dicyclic admits a graphical regular representation, settling the infinite-group part of Watkins's conjecture. We also determine the Cayley index of every infinite group: it is $1$, $2$, or $8$, according to its algebraic type, and in every case the index is attained by a connected Cayley graph. For every infinite group $G$ of cardinality $κ$, we construct $2^κ$ pairwise nonisomorphic Cayley graphs with exactly the unavoidable inverse-pair symmetries, diameter two, and $κ$ common neighbors at every distinct pair. The principal tool recovers a continuous ordinal hierarchy from an alternating adjacency baseline with bounded-degree errors: robust finite patterns identify the initial classes, successive twin quotients recover the layers, and their finite exception packets determine the translation action. The reconstruction applies without a group action and is stable under additional layerwise bounded-degree edits. Further results give closed Cantor-cube families with prescribed finite data in the regular cases, sharp cofinality-dependent graph properties, and optimal three-valued shortest-path metrics.

We develop a Hopf-algebraic theory of graph coefficients arising in the quantum Magnus expansion. At the classical level, the expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and several types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these diagrams and closed under contraction. On this algebra we define a character $e$ from normalized linear-extension data, directed-tadpole factors, and a prescription for undirected edges, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite mixed quiver, expressed as a finite sum over ordered set partitions of the vertices. We also construct a weighted vertex-splitting Hopf structure on the unlocalized mixed-quiver algebra, with convolution $\star_V$ and canonical edge-weight character $ζ_V$, such that $ω_c=\log_{\star_V}ζ_V$. Compatibility of the two coproducts and an explicit identity between their characters explain this equality. We further prove that the two-vertex contraction identity, tadpole factorization, vanishing on disconnected graphs, and boundary data uniquely determine $ω_c$. For acyclic quivers, the formula reduces to a permutation formula with coefficients depending only on descent numbers. We derive this formula independently from the quantum Magnus expansion using operator products and Wick contractions, showing that the physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. Further consequences include a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.

Let $B^d$ denote the $d$-dimensional Euclidean ball of unit radius. What is the largest constant $f(B^d) \in [0,1]$ with the property that every finite collection $\mathcal{C}$ of unit balls in $\mathbb{R}^d$ admits a disjoint sub-collection $\mathcal{S}$ occupying at least a fraction $f(B^d)$ of the volume of $\mathcal{C}$? This problem was first raised by T. Radó in 1928, for axis-parallel squares in the plane; the author was motivated by a classical covering lemma in real analysis due to Vitali. The case of Euclidean balls was first considered by R. Rado in 1949. Until last year the best known estimates on $f(B^d)$ for unit balls where very far apart: \[ (1+ε_d) 3^{-d} \leq f(B^d) \leq 2^{-d}, \] where $0<ε_d=o_{d\rightarrow \infty}(1)$. Recently, the authors of this note observed that an exponential improvement on the upper bound follows from the Kabatiansky--Levenshtein spherical code bound, while the lower bound was improved by a linear factor by C.~Xie and G.~Ge (see arxiv:2608.09744). The current best estimates for large $d$ are \[ c \cdot d \cdot 3^{-d} \leq f(B^d) \leq 2.447^{-d}, \] where $c>0$ is an absolute constant. Here we offer the first exponential improvement of the lower bound in almost 80 years, which narrows the gap to: \[ 2.910^{-d} \leq f(B^d) \leq 2.447^{-d}. \] Our method is constructive and yields a polynomial time algorithm for finding a disjoint sub-collection realizing the estimate. Moreover the same technique gives similar exponentially improved lower bounds for all symmetric convex bodies satisfying a uniform convexity assumption, e.g., $\ell^p$-balls for all $p\in (1,\infty)$.

We establish independence of $q$ as a necessary condition for coefficientwise nonnegativity of normalized principal specialization ratios of monic Macdonald polynomials. For arbitrary pairs of partitions, we characterize independence of $q$. For denominator partitions with largest and smallest parts differing by at least two, every ratio independent of $q$ is a power of $t$. We classify the nonnegative ratios under addition of maximal rows and columns of fixed height. For rows of length at least two, the classification is equivalent to rectangular complementation. For arbitrary initial partitions, the generating polynomials of successive row ratios at the smallest number of variables admissible for all stages have simple negative real zeros with lower bounds for the ratios of consecutive absolute zeros. We derive a reciprocity criterion, bounds for gamma coefficients, and the corresponding Jack limit. For generalized staircases, we determine shortest horizontal and conjugate vertical strip sequences and obtain terminating basic hypergeometric representations.

We prove that the integral Chow groups $CH_i$ and mixed Hodge degree $H^{2i, (i, i)}$ cohomology groups of a really full rank (RFR) sink-recurrent cluster variety vanish for $i > 0$. In particular this applies to braid varieties and open projected Richardson varieties in any Lie type. Our main technical tool is the construction of a stratification of any RFR sink-recurrent cluster variety $\mathcal{A}(Σ)$ over any field $k$ into (affine space times) RFR sink-recurrent cluster varieties of seeds with fewer mutable vertices than $Σ$, with which we show that RFR sink-recurrent cluster varieties are linear in the sense of Totaro. We also show that cycle class maps are isomorphisms onto the lowest-weight part of rational Borel-Moore homology for any mixed Tate variety over a number field. Finally, we use our results to deduce vanishing theorems for the Khovanov-Rozansky homology groups of closures of positive braids and generation properties for the Chow groups of flag Richardson, projected Richardson, and brick varieties: namely, that these groups are generated integrally by the fundamental classes of their closed Richardson, positroid, and braid strata, respectively.

A peeling sequence of a finite planar point set is an ordering of its points, such that when the points get removed in this order, each removed point is a vertex of the current convex hull of the set. Write $g(S)$ for the number of such sequences, and $g(n)$ for the minimum of $g(S)$ over $n$-point sets in general position. We present a method which can be used to prove better upper bounds on the previously analysed recursive 3-block constructions $S_n$. In fact, we prove $g(n)\leq g(S_n)=O(6.57^n)$, using directional restrictions and a weighted prefix-tree form of the Kraft--McMillan inequality. From the other direction, we show that the same construction cannot attain the current best known lower bound of $c\cdot3^n$. In fact, $g(S_n)\geq 5.22^n$ when $n$ is a large enough power of $3$. Improving the general lower bound on $g(n)$ is still an open question.

We disprove the Polycirculant Conjecture, which states that every transitive 2-closed permutation group is non-elusive, i.e. contains a derangement of prime order. In fact, we prove a stronger result, answering a long-standing question of Marušič and Jordan: there exists a vertex-transitive graph admitting no semiregular automorphism. To do so, we employ recently developed methods of Chen et al. for constructing elusive groups via non-split extensions, allowing us to construct an elusive group $7^6.\mathrm{PSU}_3(3)$ of degree 16,464. We show that this group is the full automorphism group of seven of its orbital graphs and hence is 2-closed. Our example extends to infinitely many counterexamples of the Polycirculant Conjecture, and infinitely many vertex-transitive graphs admitting no semiregular automorphism.

A graph is called resistance nonnegative (RN), respectively resistance positive (RP), if it admits positive edge weights such that all vertex resistance curvatures are nonnegative, respectively positive. In this paper, we study the structure of RN and RP graphs in relation to toughness, traceability, and Cartesian products. First, we disprove a conjecture of Fiedler and answer a question of Devriendt in the negative by constructing, for every $n\ge 11$, an $n$-vertex $1$-tough graph that is not RN. Second, we show that RP graphs need not be traceable by proving that the Thomassen $34$-graph is RP but not traceable. Finally, we resolve a conjecture of Devriendt on grid graphs by proving that all Cartesian products of paths are RN.

In this paper, we compute the Möbius function on the poset of pseudo-Levi subgroups containing a fixed maximal torus of two families of finite groups, $GL_n(q)$ and $Sp_{2n}(q)$, for some natural number $n$ and a prime power $q$, where $q>2n+1$. For the general linear group, we consider arbitrary tori, but for symplectic groups, we restrict to tori corresponding to the bipartitions of $n$ into odd integers. Also, we assume $q$ is even for the case of symplectic groups. The Möbius function for the set of pseudo-Levi subgroups of a finite group $G$ is important for an explicit evaluation of the formula expressing the decomposition of tensor products of characters, as proved in Theorem 2 of the paper ''Multiplicity of characters of finite reductive groups and Drinfeld doubles'' [arXiv:2512.01432].

We study tropical circuits with scalar multiplication gates, that is, algebraic circuits whose gates implement $\max$, $+$, or multiplication with a positive constant. For such circuits, we prove exponential size lower bounds for computing maximum weight directed spanning trees and maximum weight bipartite perfect matchings. As a corollary, we obtain an exponential size separation between monotone and non-monotone maxout neural networks, which generalize the popularly used ReLU neural networks. One conclusion from this is that neural network models with enforced convexity constraints, such as input-convex neural networks (ICNNs), sometimes need to be exponentially larger than their unrestricted counterparts in order to express the same functions.

The Permutation Equivalence Problem (PEP) for linear complementary dual (LCD) codes reduces to Graph Isomorphism (GI) through the orthogonal projector onto the code, but this requires a trivial hull. We ask whether the reduction extends when the standard inner product is replaced by a nondegenerate symmetric bilinear form \(M\). We make precise what it means for \(M\) to yield a valid reduction to GI and prove that, for length \(n \geq 3\) and every field size, this holds if and only if \(M\) is permutation-invariant. The reduction then reaches, beyond LCD codes, a class of codes with one-dimensional hull: exactly those whose hull is spanned by a vector with nonzero coordinate sum. We count these codes exactly; for odd \(q\), asymptotically the method covers a fraction \(\prod_{i \geq 2}(1+q^{-i})^{-1}\) of all codes, \(1 + q^{-1}\) times the fraction of LCD codes. A polynomial-time reduction algorithm is given.

Cyclic equalizability is a notion introduced by Shinagawa and Nuida in 2025, in the study of card-based cryptography. Informally, a collection of words is cyclically equalizable if, by inserting the same letters at the same positions in all words, they can be transformed into words that are cyclic shifts of one another. Shinagawa and Nuida showed that two binary words of equal length are cyclically equalizable if and only if they have the same Hamming weight. They also posed the problem of characterizing cyclic equalizability over larger alphabets. In this paper, we completely characterize cyclic equalizability for two words over an arbitrary finite alphabet by proving that two words are cyclically equalizable if and only if they have the same Parikh vector.

Ascent sequences form a central class of combinatorial objects, as they are in bijection with several important families such as (2+2)-free posets, Stoimenow matchings, and other Fishburn objects, and are enumerated by the Fishburn numbers. We study pattern avoidance in ascent sequences for the five patterns of length 4: $0101$, $0102$, $0112$, $0120$, and $0121$. These patterns arise naturally from recent work on pattern avoidance in related families of Fishburn objects, including Stoimenow matchings and (2+2)-free posets. We enumerate ascent sequences avoiding any subset of these patterns, with the exception of the sets $\{0120\}$, $\{0121\}$, and $\{0120,0121\}$, for which the enumeration remains open. Our results reveal that the corresponding avoidance classes fall into $16$ Wilf equivalence classes and exhibit a wide range of enumerative behaviour, including connections to classical sequences such as the Catalan and Fibonacci numbers, as well as polynomial formulas and rational generating functions; several of the sequences we obtain appear to be new. Our methods combine structural decompositions with generating-tree techniques and, in several cases, rely on reductions to shorter patterns via restricted growth functions. This work contributes to the broader study of pattern avoidance across Fishburn families and highlights further connections between ascent sequences and other combinatorial structures.

It is known that the set of square free monomials on the Chern classes of the tautological line bundles over the Peterson variety forms an additive basis of its cohomology ring. We study the expansion formula for their products. In particular, we give a square free expansion of the products multiplying degree 2 classes in terms of elementary symmetric polynomials and binomial coefficients.

The sign-coherence about $c$-vectors was conjectured by Fomin-Zelevinsky and proved by Gross-Hacking-Keel-Kontsevich for integer skew-symmetrizable case. We prove this conjecture associated with $c$-vectors for rank 3 real cluster-cyclic skew-symmetrizable case. Simultaneously, we establish their self-contained recursion and monotonicity. Then, these $c$-vectors are proved to be roots of certain quadratic equations. Based on these results, we prove that the corresponding exchange graphs of $C$-pattern and $G$-pattern are $3$-regular trees. We also study the structure of tropical signs and equip the dihedral group $\mathrm{D}_6$ with a cluster realization via certain mutations.

We consider independent long-range percolation models on locally finite vertex-transitive graphs. Using coupling ideas we prove strict monotonicity of the critical points with respect to local perturbations in the connection function, thereby improving upon previous results obtained via the classical essential enhancement method of Aizenman and Grimmett in several ways. In particular, our approach allows us to work under minimal assumptions, namely shift-invariance and summability of the connection function, and it applies to both undirected and directed bond percolation models.

Let $R_q(n)$ denote the number of rich words of length $n$ over a fixed alphabet of size $q\geq2$. It is known that $R_q(n)^{1/n}\to1$. We establish a nonrecursive subexponential upper bound on the number of rich words, with its asymptotic growth quantified in terms of an iterated logarithm. For every $λ\in(1/2,1)$ and $γ>1$, there exists $c>0$ such that, for every positive function $ϕ$ satisfying $ϕ(n)\to\infty$ and $n/ϕ(n)\to\infty$, the functions \[ f(n)=\left[c\ln^{*}\!\left(\frac{n}{ϕ(n)}\ln q\right)\right]^{1/γ}, \qquad B(n)=q^{\frac{n}{ϕ(n)}+\frac{n}{(2λ)^{f(n)-1}}} \] satisfy $R_q(n)\leq B(n)$ for all sufficiently large $n$ and $B(n)^{1/n}\to1$. Here $\ln^{*}$ is the iterated natural logarithm, with value zero on $(0,1]$. The proof iterates a counting inequality based on palindromic factorization and controls the resulting multiplicative constants using the iterated logarithm.

A temporal graph $G$ is a sequence $(G_t)_{t \in I}$ of graphs on the same vertex set of size $n$. The \emph{temporal exploration problem} asks for the length of the shortest sequence of vertices that starts at a given vertex, visits every vertex, and at each time step $t$ either stays at the current vertex or moves to an adjacent vertex in $G_t$. When each $G_t$ is connected and has bounded maximum degree, Erlebach, Kammer, Luo, Sajenko, and Spooner [ICALP 2019] showed that an exploration exists in $\mathcal{O}(n^{7/4})$ time steps. We significantly improve this bound by showing that $\mathcal{O}(n^{3/2}\sqrt{\log n})$ time steps suffice. In fact, we prove a more general statement unifying this setting with many others. Let the \emph{average temporal maximum degree} $D$ of $G$ be the average of $\max_{t \in I}d_{G_t}(v)$ over all vertices $v \in V(G)$, where $d_{G_t}(v)$ denotes the degree of $v$ in $G_t$. We show that if each $G_t$ is connected, then an exploration exists in $\mathcal{O}(n^{3/2}\sqrt{D\log n})$ time steps. This gives the first subquadratic upper bound when the underlying graph has bounded average degree, improving the previous best bounds when it is planar or has bounded treewidth. Our bound is subquadratic already when $D=o(n/\log n)$. In addition, we make progress on a recent conjecture of Baguley, Göbel, Klodt, Skretas, Sylvester, and Zamaraev [SODA 2025]. They conjectured that if $μ$ is a probability distribution on trees with maximum degree at most $Δ$ and each $G_t$ is sampled independently from $μ$, then an exploration exists in $\mathcal{O}(\sqrtΔn)$ time steps with high probability. We show that there is a temporal exploration of length $\mathcal{O}(Δn\log^3 n)$ with high probability. This improves the previous best bound of $\mathcal{O}(n^{3/2})$ and extends to the more general setup of average temporal maximum degree.

Networks can have various types of mesoscale structures. One such structure is core--periphery structure, which consists of sets of densely-connected core nodes and sets of sparsely-connected peripheral nodes. Core nodes are connected densely to other core nodes and are potentially connected densely to peripheral nodes, which are connected sparsely to other nodes. There has been much research on core--periphery structure in time-independent networks, but few core--periphery detection methods have been developed for time-dependent (i.e., ``temporal") networks. Using a multilayer-network representation of temporal networks and an inference approach that employs stochastic block models, we generalize a recent method for detecting hierarchical core--periphery structure \cite{Polanco23} from time-independent networks to temporal networks. In contrast to ``onion-like'' nested core--periphery structures (where each node is assigned to a group according to how deeply it is nested in a network's core), hierarchical core--periphery structures encompass networks with nested structures, tree-like structures (where any two groups must either be disjoint or have one group as a strict subset of the other group), and general non-nested mesoscale structures (where the group assignments of nodes do not have to be nested in any way). To perform statistical inference and thereby identify hierarchical core--periphery structure, we use a Markov-chain Monte Carlo (MCMC) approach. We illustrate our method for detecting hierarchical core--periphery structure in one synthetic temporal network and two real-world temporal networks, and we discuss the structures that we identify in these networks.

We study oriented graphs whose Hermitian adjacency matrices of the second kind have few eigenvalues. We give a complete characterization of the oriented graphs with two distinct eigenvalues, showing that there are only four such graphs. We extend this result to mixed graphs. We show that there are infinitely many regular tournaments with three distinct eigenvalues. We extend our main results to Hermitian adjacency matrices defined over other roots of unity.

We study the connection between local complexity and periodicity of Delone sets using an algebraic approach based on annihilators, that is, finite linear relations between translations of a configuration. We model colored Delone sets (Delone multisets) as $\mathbb{R}^d$-configurations, that is, functions on $\mathbb{R}^d$ with finite range, and extend the notions of annihilators and periodizers from $\mathbb{Z}^d$-configurations to the geometric setting of Delone sets. Our main results describe the structure imposed by the existence of non-trivial annihilators. We show that any $\mathbb{R}^d$-configuration admitting non-trivial annihilators has an annihilator of a particularly simple form, namely a product of finitely many difference operators corresponding to translations in pairwise rationally independent directions. We further improve this result and prove that for configurations supported on Delone sets of finite local complexity (FLC), the corresponding directions can be chosen pairwise linearly independent over $\mathbb{R}$. As a consequence of the existence of the special annihilator, we show that $\mathbb{R}^d$-configurations with annihilators admit a decomposition into finitely many components that are periodic in pairwise rationally independent directions. Moreover, we connect local complexity with algebraic structure by proving that Meyer sets with sufficiently slow patch complexity growth have low pattern complexity and hence admit non-trivial annihilators. Finally, we establish a sufficient and necessary condition under which the existence of suitable annihilators forces periodicity of $\mathbb{R}^d$-configurations supported on FLC Delone sets.

An established measure of the expressive power of a given ReLU neural network is the number of linear regions into which it partitions the input space. There exist many different, non-equivalent definitions of what a linear region actually is. We systematically assess which papers use which definitions and discuss how they relate to each other. We then analyze the computational complexity of counting the number of such regions for the various definitions. Generally, this turns out to be an intractable problem. We prove NP- and #P-hardness results already for networks with one hidden layer and strong hardness of approximation results for two or more hidden layers. Finally, on the algorithmic side, we demonstrate that counting linear regions can at least be achieved in polynomial space for some common definitions.

We investigate divisibility questions for the sum-of-divisors function $σ(C_n)$ of the Catalan numbers $C_n=(n+1)^{-1}\binom{2n}{n}$. Using the prime factors occurring to exponent one in $C_n$, we give explicit divisors of $σ(C_n)$ and obtain, for each fixed integer $m\geq 2$, a power $m^{R_m(n)}$ dividing $σ(C_n)$, with $R_m(n)\sim\frac{2\log 2}{φ(m)}\frac{n}{\log n}$. We further prove uniform divisibility for all moduli up to fixed powers of $\log n$ and, with the same leading constant $2\log 2$, for almost all moduli up to $\sqrt{n}$ apart from logarithmic factors. We also establish a complete classification of the integers $m\geq 2$ for which $m\midσ(mk-1)$ for every $k\geq 1$, identify precisely the exceptional coprimality relations among the associated linear forms, and record a twin-prime product divisor of $σ(C_n)$. The arguments use standard prime-distribution results and do not assume any conjecture concerning twin primes.

It is an important fact that extremal discrete structures -- that is, discrete structures of maximal size among those that avoid certain configurations -- exhibit strong pseudorandom behavior. We present instances of this phenomenon in the context of \emph{graph-codes}, a notion put forth recently by Alon, as well as on problems related to the density polynomial Hales--Jewett conjecture.

We show that every graph $G$ excluding an apex-forest $H$ as a minor has layered pathwidth at most $|V(H)|-2$, and that every graph $G$ excluding an apex-linear forest (such as a fan) $H$ as a minor has layered treedepth at most $|V(H)|-2$. We further show that both bounds are optimal. These results improve on recent results of Hodor, La, Micek, and Rambaud (2025): The first result improves the previous best-known bound by a multiplicative factor of $2$, while the second strengthens a previous quadratic bound. In addition, we reduce from quadratic to linear the bound on the $S$-focused treedepth $\mathrm{td}(G,S)$ for graphs $G$ with a prescribed set of vertices $S$ excluding models of paths in which every branch set intersects $S$.