arXiv++ Combinatorics

The study of three-vertex subgraph densities has developed along two complementary lines: exact finite realization in large graphs of a given order, and asymptotic approximate realization by sequences of graphs. We bridge these viewpoints for the edge density and the four induced three-vertex subgraph densities. By analyzing local modifications of finite samples from graphons, we show that, for any nonempty subset of these densities, every asymptotically feasible target vector lying a fixed positive distance from the boundary of the corresponding feasible region is realized exactly by a graph of every sufficiently large order, subject only to the natural arithmetic constraints. Thus, in the interior of these feasible regions, asymptotic feasibility implies exact finite realizability up to the unavoidable arithmetic obstructions.

A classical theorem states that the independence number of any connected graph is at least its radius. In 2007, DeLaViña, Pepper, and Waller proved that every connected graph with equal independence number and radius is traceable. We first give a new short proof of this theorem and then prove two results for graphs of higher connectivity. (1) Every 2-connected graph with equal independence number and radius is Hamiltonian. (2) Every 3-connected graph with equal independence number and radius is Hamiltonian-connected and pancyclic. Several lemmas used in the proofs are of independent interest.

Zeckendorf proved that every positive integer has a unique decomposition as a sum of non-adjacent Fibonacci numbers. Among its extensions, we focus on Positive Linear Recurrence Sequences (PLRS): fixed depth recurrences with non-negative integral coefficients whose first and last terms are positive: $G_{n+1} = c_1 G_n + \dots + c_L G_{n-L+1}$ with $c_i$ non-negative integers and $c_1 c_L \ge 1$. We again find every integer can be written uniquely as an appropriate sum of terms of the sequence, and we can study the distribution of gaps between summands in decompositions. Bower et al. (2015) proved that if each $c_i \ge 1$ then the distribution of gaps in the generalized Zeckendorf decompositions of integers in $[G_n, G_{n+1})$ converges to a geometric decay for gaps at least two. What if some of the $c_i$'s are allowed to be zero? To date only the Kangaroo case, where there is a fixed $g$ such that $c_i = 1$ if $i \equiv 1 \bmod g$ and 0 otherwise, has been done and again geometric behavior emerges. Ben-Ari and Miller (2016) developed a probabilistic framework that also produce similar results, but their approach requires more advanced machinery. One of the goals of this paper is to show that the elementary methods used by Bower et al. (2015) can be adapted to this setting as well. We analyze the case $H_{n+1} = H_n + H_{n-p} + H_{n-p-q}$. For gaps at least $\max(p,q)$ we again prove geometric decay, with parameter the largest root of the characteristic polynomial associated with the recurrence. For the finitely many smaller gaps, under the restriction $p<q+2$, we prove that the limiting probabilities exist and can be computed using a transfer-matrix method, yielding results that depend on $p,q,$ and the gap size $g$. The case $p \ge q+2$ is not addressed by our small-gap argument.

We construct simple plane triangulations whose chromatic polynomials have real roots accumulating at every noninteger Beraha number $B_\ell=4\cos^2(π/\ell)$; the integer values $0,1,2,3$ are roots of $K_4$. The construction rests on the observation that a triangulated disk with four boundary vertices acts, inside a larger triangulation, as a transfer operator lying in a commutative three-parameter algebra. Rotating such disks by a quarter turn and composing them in series moves their eigenvalue triples around this algebra in a controllable way, and for every fixed $q\in(B_{10},4)$ one can manufacture a finite disk whose two competing local eigenvalues are strictly dominated by the third -- a physical filter. Closing a grid of such disks between two poles produces a sphere triangulation, and a fused Temperley-Lieb trace identity accounts for its chromatic polynomial completely, sector by sector, with no appeal to semisimplicity at the root of unity itself -- generic semisimplicity enters only through polynomial identities continued from $δ>2$ -- and no singular higher Jones-Wenzl projectors. In the one-cap sector a Krein-type argument shows that every sweep word has exactly one expanding eigenvalue; Gram-form inertia controls every other sector uniformly in the width. At odd Beraha indices the trace coefficient of the expanding eigenvalue vanishes; at even indices two copies of that eigenvalue cancel between adjacent sectors, and a short real-variable lemma converts either situation into genuine real roots converging to the target. Indices below eleven are treated by elementary families, exact outward-rounded integer certificates, and one explicit disk at $B_{10}$ combined with Tutte's golden identity. All graphs are ordinary, simple, unweighted plane triangulations.

Two players alternately claim cells of an $n \times n$ grid; the first to hold all four corners of an axis-parallel square wins, and a full board without one is a draw. The first player has a winning strategy if and only if $n \ge 5$, which answers a question of Erickson. For $n \ge 6$ one strategy serves every board: a rule with no lookup table whose moves after the second reply are all forcing, built around the plus, a stone with the four cells at a common distance from it along the axes, a shape proposed for this game by Sirgedas in 2010. The rule is checked on the boards of size $6$ to $17$, and a simulation theorem carries one checked run on the $23 \times 23$ board to every larger board. The proofs are formalized in Lean 4, and the theorem for the rule states that the tree of its own moves is winning.

This paper studies crossing numbers of $d$-dimensional simplicial complexes drawn in $\mathbb R^{2d}$ or $\mathbb S^{2d}$. We clarify and generalize a number of known results and conjectures from the graph case to higher dimensions: the crossing lemma (including the exceptional case of two-dimensional complexes drawn in dimension $4$), a generalized Harary-Hill conjecture (and evidence for it), existence of a midrange crossing constant (in a weak sense), and upper bound constructions based on stochastic geometry (related to Sylvester's problem) and the cyclic polytope. Some of our results are new even in the case of graphs: we give a simple proof of the Harary-Hill conjecture for antipodal drawings, and sharpen the threshold above which the rectilinear and spherical crossing numbers of the Erdős-Rényi random graph behave like those of the complete graph.

In this paper we extend results concerning a kind of covering space for finite posets that bears some analogy to the topological theory of covering spaces. Previous work focused on ranked, locally-finite posets with a unique minimal element. In this previous work the notion of a covering space based on preservation of path weights was defined, and it was shown that, given a poset, there is a unique universal covering space which has an explicit description. Numerous examples of combinatorially significant posets and their universal covers were explored. In this paper we consider finite posets that have a unique minimal element, but that need not be ranked. We give a combinatorial description of these covering spaces, which we call path covers. We then show these covers naturally form a supersolvable lattice and deduce some of its properties. Finally, we investigate an analogue of deck transformations and give some results relating these transformations, poset automorphisms, and the automorphisms of the lattice of path covers.

We run continuous-time quantum walks with perfect and peak state transfer on a present-day superconducting quantum processor, IBM Quantum's $156$-qubit Heron device ibm_kingston, deliberately without error correction or error mitigation. Perfect state transfer and its relaxations have been studied extensively in algebraic graph theory, where one can prove exactly which graphs move a quantum state from one vertex to another with probability one (or with the largest probability the graph allows, in the case of peak state transfer), and at what time. Our experiments cover perfect state transfer on the hypercubes $Q_2 = C_4$ and $Q_3$, and on the Hamming-weighted paths $\mathrm{HP}_n$, the equitable-partition quotients of the hypercubes $Q_n$, for $n$ up to $20$; peak state transfer on the $X_n$ family for $n$ up to $11$; and, for comparison, moving the state along a path of qubits by a sequence of SWAP gates.

For ordered sets $X$ and $Y$, let $Y^X$ denote the ordered set of order-preserving maps from $X$ to $Y$, ordered pointwise. In 1984, D. Duffus asked whether $A^A\cong B^B$ forces $A\cong B$ when $A$ and $B$ are finite ordered sets. We prove that it does. The proof combines direct decompositions with an auxiliary ordering of connected ordered sets and a careful choice of intervals of maximum height. We then extend the reconstruction result to several forms of repeated exponentiation.

In 1984, D.~Duffus asked whether $A^A\cong B^B$ implies $A\cong B$ for finite, nonempty ordered sets $A$ and~$B$. J.\,D. Farley and the author proved that it does. In this paper, we give two short proofs using all intervals of maximum height and the elements with exactly one lower cover. The first proof averages over these intervals; the second takes their disjoint sum and constructs three invariants. Both avoid the auxiliary ordering, direct factorization, and canonical coordinates of the earlier proof.

Li and Zuiddam's entanglement-assisted asymptotic spectrum of graphs consists of the normalized graph parameters that are additive under disjoint unions, multiplicative under strong products and monotone under entanglement-assisted cohomomorphisms; the entanglement-assisted Shannon capacity is their pointwise minimum. To our knowledge, the Lovász number $\vartheta$ was its only known element. We find a continuum of others. Three quantities of Duan and Winter, $\log_2\vartheta$, the minimal Holevo capacity $C_{\min}$ and the logarithm of the no-signalling simulation cost $Σ$, are the smallest information radii of classical-quantum channels compatible with a graph, measured with Petz-Rényi divergences of orders $0$, $1$ and $2$. At order zero this is due to Schrijver (as credited by Dalai) and to Duan and Winter; at order one it is the min-max formula for the Holevo capacity. Interpolating in the order gives a family $\vartheta_α$, $0\leα\le2$, and we prove that every member lies in the spectrum. The main step, multiplicativity under strong products for channels that need not factor, follows from an exact nesting identity for compressions. Sandwiched Rényi radii of order $β\in[1/2,\infty]$ give the same family, at $α=2-1/β$. On the five-cycle the family takes every value in $[\sqrt5,5/2]$. A Hilbert-Schmidt inequality for the pentagon gives $C_{\min}(C_5)=\log_2(5/2)$, proving a conjecture of Duan and Winter. We also settle the two open links of their inequality chain: the graph-level no-signalling simulation rate always equals its single-letter value $\log_2Σ(G)$, and a 32-vertex graph from the Mermin-Peres magic square has $C_{\min}<\log_2Σ$, certified in exact rational arithmetic. Finally, $Σ$ never exceeds the projective rank of the complement; a rank inequality for the same square makes this strict on a 1440-vertex graph.

The Eccentricity Shortest Path problem asks, given a connected graph and a nonnegative integer $R$, whether some shortest path is within distance $R$ of every vertex. We study its structural parameterized complexity. We give fixed-parameter algorithms for vertex-deletion distance to cographs, vertex-deletion distance to interval graphs, and bandwidth. The interval-deletion result answers a question of Bhyravarapu et al. (IWOCA 2023). We obtain XP algorithms for vertex-deletion distance to chordal graphs, clique-width, and rank-width, without requiring expressions or decompositions for the latter two. Consequently, the problem is polynomial-time solvable for every fixed treewidth, answering a question of Chakraborty et al. (2026). We also derive fixed-parameter tractability for treedepth and XP membership for diameter from earlier algorithms. We prove $\mathsf{W}[3]$-hardness for cutwidth, and hence pathwidth and treewidth, even on graphs of maximum degree at most five; $\mathsf{W}[2]$-hardness for vertex clique-cover number; and NP-hardness on graphs of tree-independence number at most two. For maximum leaf number $\ell$, we obtain an $O(\ell^4)$-bit compression and a polynomial kernel. Finally, unless $\mathsf{NP}\subseteq\mathrm{coNP}/\mathrm{poly}$, we exclude polynomial kernels for bandwidth, feedback edge number, vertex-deletion distance to a clique, and vertex cover number. The last bound also excludes polynomial kernels for vertex-deletion distance to proper interval graphs.

We classify all periodic tilings with a monotile known as $\mathbf{R1}$ and called here the undertile, which underlies several aperiodic monotiles such as the Taylor-Socolar one. The classification is done using deflation, through a study of fracture lines between zones where deflation can be performed. A full classification of fracture patterns is given, that also applies to non-periodic tilings with the undertile. This can be used to reprove non-periodicity of some existing monotiles based on the undertile.

Zhang [Zha26] recently posted a manuscript announcing that the list-replicability number of every class of $M\ge 2$ binary concepts on $N\ge 2$ domain points is $O(\log^2 M\log N)$, which would be the first polylogarithmic upper bound on this quantity. In this note, we present a short, self-contained proof of this bound, following the high-level approach of the manuscript but with considerably simpler arguments.

Given a sequence $\mathbf{a}=(a_i)_{i\geq 1}$ of positive real numbers, we say that a colouring $c:E(K_n)\to \mathbb{N}$ is $\mathbf{a}$-bounded if the proportion of edges coloured $i$ is at most $a_i$, for all $i$. We write \[ \mathbf{a}\, \to\, K_k \] if, for all sufficiently large $n$, all $\mathbf{a}$-bounded colourings $c:E(K_n)\to \mathbb{N}$ contain a monochromatic $K_k$. We say that the sequence $\mathbf{a}$ is \emph{Decay-Ramsey} if $\mathbf{a}\to K_k$ for all $k\ge 2$. In this short paper we introduce the question of determining which sequences are Decay-Ramsey and present some initial results.

We introduce invariants we call $k$-divisibility and $d$-dominance, which are combinatorial constraints on the minimal generators of monomial ideals. We then prove that $k$ (respectively, $d$) is an upper bound (respectively, lower bound) for the projective dimension of a $k$-divisible (respectively, $d$-dominant) monomial ideal. This leads us to an explicit minimal resolution of $k$-divisible, $d$-dominant ideals when $d=k-1$ via a Lyubeznik resolution. This framework allows us to prove a conjecture made by Alesandroni. Using these invariants, we also provide a characterization of monomial ideals whose minimal free resolution is attainable from the Taylor resolution by performing exactly one consecutive cancellation. We also prove that for all $q,k,d$ in the range $1\leq d<k \leq q-1$, there exist monomial ideals that are $k$-divisible and $d$-dominant with $q$ minimal generators.

For $H$ a hypergraph, the Hall ratio $ρ(H)=\text{max}_{X\subseteq V(H)}\frac{\lvert{X}\rvert}{α(H[X])}$ is a natural lower bound for its chromatic number, and among non-empty $k$-uniform hypergraphs the smallest possible Hall ratio is $k/(k-1)$. For graphs ($k = 2$), having minimum Hall ratio $2$ forces chromatic number $2$. Nešetřil, Rödl, and Sales asked whether a similar phenomenon holds at higher uniformities. We answer this question negatively in a strong form, showing that for every $k \geqslant 3$ there are $k$-uniform hypergraphs with Hall ratio exactly $k/(k-1)$ and arbitrarily large fractional chromatic number.

The $k$-color Ramsey number of a poset $P$ is the smallest dimension $d$ such that any $k$-coloring of the $d$-dimensional Boolean lattice contains a monochromatic induced copy of $P$. For $ j\ge 2$ the $j$-diamond is the poset that consists of a maximum element, a minimum element and an antichain of size $j$. We prove that the $k$-color Ramsey number of the $j$-diamond is at most $jk$. Colorings of the Boolean lattice that assign sets of the same size the same color provide matching lower bounds for $j \in \{2,3,4\}$.

Edge deletion problems ask for the fewest edges whose deletion gives a graph with a specified property. We study two such problems on block graphs. First making the graph claw-free, and second making it a line graph. Since every line graph is claw-free, the second problem is at least as difficult as the first. We show that on block graphs the two optimum values are always equal, and both are attained by the line graph of a forest. The main step is a completion argument, in which starting from any claw-free solution, we put back edges to get some nice structure inside each block still maintaining the claw-free property. This reduces both edge-deletion problems to the same problem of selecting vertices within the blocks of the input graph. We solve it by dynamic programming in $O(n+m)$ time, which also produces an optimal deletion set and a forest whose line graph is what remains after the completion argument. We also extend the method to $K_{1,r+1}$-free edge deletion for every fixed $r$.

We establish topological recursion for the spin enumeration of hypermaps, or, in the dual language, spin dessins d'enfants. This problem has remarkable features distinguishing it from other applications of topological recursion to enumerative combinatorics. First, the spectral curve is elliptic rather than rational, as in most cases studied before. Second, it contains degenerate ramification points, and one has to apply a version of degenerate topological recursion. Finally, the meromorphic correlator differentials have "moving" poles on the antidiagonals between pairs of distinct arguments, and one has to adjust the loop equations to this kind of degeneracy as well. The computations involve concepts of different kinds, such as BKP integrability, Gaussian integrals, the x-y swap, and symplectic duality.

A loose hypertree is a hypergraph whose incidence graph is a tree. Let $b\ge3$, $n\equiv1\pmod{b-1}$, and $s:=(n-1)/(b-1)$. We determine the largest $t$-intersecting families of loose spanning $b$-uniform hypertrees on $[n]$, simultaneously for every $1\le t\le s$, provided $n$ exceeds an explicit constant depending only on $b$. The extremal families consist of all such hypertrees containing a fixed $t$-edge loose forest whose component sizes are as equal as the divisibility condition permits. In particular, when $bt\le n$, the extremal forests are matchings. We also prove a Hilton--Milner-type bound: if $n\ge C_b(t+1)$, where $C_b$ depends only on $b$, every nontrivial $t$-intersecting family has at most $(s+1)r_{t+1}(n)$ members. Here $r_j(n)$ is the maximum possible number of loose spanning $b$-uniform hypertrees containing a fixed $j$-edge loose forest. For fixed constants $b,t$, this bound is asymptotically sharp and is $O_{b,t}(n^{2-b})r_t(n)$. The proofs combine exact forest enumeration with the intersection theorems of Kupavskii for spread families.

Let $G$ be the terminal graph of the random triangle-removal process started from $K_n$. We prove that $e(G)/n^{3/2}\to1/(2\sqrt2)$ in $L^2$. More generally, we obtain the analogous result for any fixed strictly $k$-balanced $k$-graph. Our main tool is a more general theorem on random greedy matchings in nearly regular uniform hypergraphs with few short cycles under a stability assumption on the survival equations.

A perfect 1-factorization of the complete graph $K_{2t}$ is a partition of its edges into perfect matchings such that the union of any two of them is a Hamilton cycle. Kotzig conjectured in 1963 that $K_{2t}$ has a perfect 1-factorization for every $t \ge 2$, but apart from some infinite families and a list of sporadic orders the conjecture is open, and $92$ was one of the nine orders up to $100$ for which no perfect 1-factorization was known. In this paper we construct two non-isomorphic perfect 1-factorizations of $K_{92}$.

For a graph $G$, let $\mathrm{tw}(G)$, $\mathrm{tree}\text{-}α(G)$, and $\mathrm{tree}\text{-}χ(G)$ denote its treewidth, tree-independence number, and tree-chromatic number, respectively. We prove that every nonempty graph $G$ satisfies $\mathrm{tw}(G)+1\leq\mathrm{tree}\text{-}α(G)\mathrm{tree}\text{-}χ(G)(1+\lfloor\log_2(\mathrm{tree}\text{-}α(G))\rfloor)$. This improves the quadratic bound of Koutsoutis, Krause, Liu, Redzic, and Ueckerdt. For every pair of integers $n,k\geq2$, we construct a graph $G$ with $\mathrm{tree}\text{-}α(G)=n$, $\mathrm{tree}\text{-}χ(G)=k$, and $\mathrm{tw}(G)=Ω(nk\log_2 n)$. Thus the upper bound is best possible up to a constant factor.

The first major step in the theory of graph minors of Robertson and Seymour was the grid theorem, a fundamental duality result describing that any graph of sufficiently high treewidth must contain a large grid as a minor. Since this pioneering work, multiple grid theorems have been established in structural graph theory, linking various width parameters of combinatorial objects with the non-existence of grid-like obstructions. In particular, Kawarabayashi and Kreutzer [STOC'15] proved a variant of the grid theorem for directed graphs that links directed treewidth with the non-existence of topological minors of large cylindrical walls. On the other hand, to study immersions of undirected graphs $-$ another containment relation that focuses on edge-disjointness, rather than vertex-disjointness $-$ Wollan [JCTB'15] introduced a parameter, tree-cutwidth, and proved that it is dual to immersions of large walls. In this work, we present a version of Wollan's parameter for directed graphs, the directed tree-cutwidth. The main result is a grid theorem for directed tree-cutwidth, establishing that it is dual to directed immersions of large cylindrical walls.

Kemp and Ramgoolam proposed a basis of monomials for a commutative semisimple algebra with generators \(C_1,\ldots, C_L\), constructed from a degeneracy graph which records how the eigenspaces of \( C_1\) are successively split by \( C_2,\ldots, C_L\). They showed that the basis property is equivalent to the non-vanishing of the determinant of the matrix of values of these monomials on the projector basis, and conjectured a factorised formula for this determinant, as a product of powers of eigenvalue differences. We prove this formula for any number of generators. The proof uses graph analogues of Newton polynomials. Their evaluation matrix is not triangular in general, but expanding the rows of the children of each node of the penultimate layer in a Newton basis of their eigenvalues makes it block triangular, with diagonal blocks given by smaller degeneracy graphs in which the final layer is removed. The formula then follows by induction on the number of layers. We show that the exponents in the determinant are overlap volumes of higher-dimensional Young diagrams attached to the nodes of the graph: intervals, ordinary Young diagrams, plane partitions and their higher analogues. Finally, the block triangular structure gives an explicit recursive inversion of the evaluation matrix, expressing the projectors in the monomial basis.

The problem of maximizing vertex-degree-based topological indices over trees with a prescribed order and maximum degree $Δ$ has traditionally relied on ad-hoc combinatorial arguments. In this paper, we establish a unified linear programming approach that systematically resolves these extremal problems. By formulating the optimization over degree-pair multiplicities, the search for an extremal tree reduces to minimizing a discrete dual penalty. Treating vertex degrees as continuous variables yields an analytical single-variable test condition that guarantees global optimality. We apply this framework across a diverse collection of invariants. We prove that the standard basic feasible solution is optimal for the Tangent Sombor, $SO_1$, $SO_2$, Albertson, and $σ$-irregularity indices for all $Δ\ge 3$. However, the dual optimality conditions establish exact analytical thresholds at which the standard basis loses optimality, necessitating a transition to alternative basic feasible solutions. For the Arithmetic-Geometric ($AG$) index, the standard basis is optimal strictly for $Δ\ge 9$; for smaller maximum degrees ($3 \le Δ\le 8$), optimization shifts to an alternative edge basis, allowing us to explicitly construct and characterize all extremal trees across congruence classes, including chemical trees ($Δ\in \{3, 4\}$). Conversely, for the Triangle Volume index ($SO_{11}$), the standard basis is optimal exclusively for $Δ\le 8$, while for $Δ\ge 9$ we analytically derive a novel, degree-dependent optimal basis to explicitly construct its extremal configurations.

In this paper we describe the quotients of several plactic-like monoids by the least congruences containing the relations $a^{σ(a)} = a$ for $σ(a) \geq 2$ for every generator $a$. The starting point of this paper is the recent paper of Reutenauer and the first author about the stylic monoid. This monoid is the quotient of the plactic monoid by the relations $a^2 = a$ for every generator $a$. The plactic-like monoids considered here are the plactic monoid itself, the Chinese monoid, the hypoplactic monoid, the sylvester monoid, the metasylvester and hyposylvester monoids. In each case we describe a set of normal forms and the idempotents. We obtain formulae for their cardinalities and we describe their isomorphism types.

For each positive integer $N$, let $p_i$ be the $i$-th prime for $i\in\{1,\ldots,N\}$, and set $$ Φ_N=\left\{\prod_{i=1}^{N}p_i^{a_i}:a_i\in\{0,1,\ldots,N-1\}\right\}. $$ Write $f(N)$ for the largest cardinality of a subset of $Φ_N$ containing no two distinct legs of an integral right triangle. We prove $$ N^{N-1}(\log\log\log N)\ll f(N). $$

We introduce a new model of parking functions, called $ρ$-Naples parking functions, in which each car has a certain number of spots to check preceding its preferred one before looking for available spots by moving forward. This notion, where each car has its own number of previous spots to check, generalizes that of Naples parking function, where this number is the same for all cars. We start by showing that, for a given sequence of preferences for each car, a successful parking strategy (that is, an assignment of how many backward spots each car is allowed to check) remains successful if we increase the number of backwards spots to check for some of the cars. This means that the set of successful strategies for a given parking preference is an up-set in the lattice of parking strategies, which raises the intriguing question of characterizing such up-sets. Though we are not able to completely solve this problem, we provide a characterization of those successful strategies which minimize the total number of allowed backward steps for a given parking preference, and we determine a lower bound for the number of cars which are allowed to move backwards (also showing that it can be attained). To conclude, we analyze the specific situation in which each car can take at most one backward step, and we completely characterize the set of successful parking preferences in this case.

This paper develops a natural extension of the multipoint spherical semidefinite method of Liao and Yu~\cite{LY}, studying the interaction between semidefinite programming and strongly regular graph counting. Starting from the positive semidefinite kernels furnished by Gegenbauer polynomials, we express weighted kernel sums and counting identities in the same labelled induced-subgraph counts. Eliminating the counting equations gives a semidefinite feasibility problem. Numerical dual solutions guide the construction of rational certificates, whose contradiction identities are verified exactly. Our aim is a systematic method that treats many parameter sets through the same construction. For least eigenvalue $-3$, it gives new counting certificates for $(351,140,73,44)$, $(550,162,75,36)$, $(703,182,81,35)$ and $(1344,221,88,26)$, previously excluded by Liao and Yu~\cite[Theorem~1]{LY}, and for six additional parameter sets: \[ \begin{array}{@{}lll@{}} (375,102,45,21), & (405,132,63,33), & (441,88,35,13),\\ (476,133,60,28), & (540,147,66,30), & (575,112,45,16). \end{array} \] Seven certificates use Gegenbauer positivity and counting information alone at the displayed orders. The cases $v=375,441,575$ additionally use proved short-vector restrictions, unique vertex extensions, and integer common-neighbour inequalities. The proofs end in displayed inequalities with incompatible signs. Their justification is given by the dual identities and the proved positivity and counting relations; accompanying code automates the longer rational arithmetic.

We introduce the parity module of a matroid with coefficients in a field $\mathbb{k}$. When $\mathbb{k}$ has characteristic zero, we show that the parity module of a matroid is isomorphic to its intersection cohomology module, yielding a new intrinsic characterization of the latter. The structure and dimension of the parity module can vary depending on the characteristic, giving rise to characteristic-dependent generalizations of the Kazhdan-Lusztig and Z-polynomials of matroids. When the matroid is realizable over the complex numbers, the parity module is isomorphic to the hypercohomology of the parity sheaf supported on the arrangement Schubert variety of any such realization. We also introduce the notion of pure modules over any field $\mathbb{k}$ and show that they satisfy a matroid analogue of the Beilinson-Bernstein-Deligne-Gabber decomposition theorem: Every pure module over the graded Möbius algebra decomposes as a direct sum of shifts of the parity modules of matroids obtained by restricting to flats.

A recent graph-theoretic criterion for a Hamiltonian to exhibit a free-parafermion spectrum is that its frustration graph be an indifference graph. We show that an arbitrary finite indifference graph can be realized as a frustration graph of the quantized six-vertex model at odd roots of unity, by a suitable choice of the defining wiring diagram and parameters. This provides a concrete realization of the criterion through the quantum Frobenius property of the quantized six-vertex model, recently established from its three-dimensional integrable structure.

A graph $H$ is called common if the number of monochromatic copies of $H$ in a $2$-edge-coloring of a large complete graph is asymptotically minimized by the random coloring with an equal proportion of each color. The house graph and $K_4$ with one edge subdivided once are known to be common by the flag algebra method. Grzesik, Lee, Lidický, and Volec asked for ``human-friendly'' proofs of the commonality of these two graphs. In this short note, we give flag-algebra-free proofs that both graphs are common.

In 2019, Liu proved that the cop number of any $(P_k, claw)$-free graph is at most $k-3$. In 2026, Clow and Meger improved and generalized the result of Liu by showing that every connected $(P_k, E)$-free graph has cop number at most $\lceil \frac{k-1}{2} \rceil + 3$, where the graph $E$ is obtained by subdividing two edges of a claw. In this paper, we show that every $(P_k, claw)$-free graph $G$ has cop number at most $\lceil \frac{k-1}{2} \rceil$. This improves the result of Clow and Meger on claw-free graphs. We further show that this bound can be improved to $\lceil \frac{k}{3}\rceil$, when $G$ contains a hole of length at least $k-1$. We show that the cop number of any $(P_k, fork)$-free graph is at most $\lceil \frac{2(k-1)}{3} \rceil$. This also improves the result of Clow and Meger on fork-free graphs for some values of $k$. We further show that every $(P_7, fork)$-free graph has cop number at most $3$, and this bound is tight.

Motivated by Mader's conjecture on connectivity keeping trees, we study the corresponding problem in triangle-free graphs. For positive integers $k,m$, we first prove that every $k$-connected triangle-free graph $G$ with $δ(G)\geq k+\left \lceil \frac{m}{2} \right \rceil $ contains a path $P$ of order $m$ such that $G-V(P)$ remains $k$-connected. Moreover, if $κ(G)=k$, then for every end $F$ of $G$ and every vertex $v\in F$, the path $P$ can be chosen in $G[F]$ with $v$ as an endvertex. If $κ(G)\geq k+1$, then any vertex of $G$ can be chosen as an endvertex of $P$. This result confirms the conjecture of Luo, Tian and Wu on connectivity keeping trees in bipartite graphs for all paths, and it also sharpens Fujita's path theorem to the optimal minimum degree bound. For an integer $i$ with $1\leq i\leq m-1$, let $P_m^+(i)$ denote the tree obtained from a path of order $m-1$ by adding one pendant vertex adjacent to its $i$th vertex. Let $(X,Y)$ be the bipartition of $P_m^+(i)$. We further prove that every $k$-connected triangle-free graph $G$ with $δ(G)\geq k+\max\{|X|,|Y|\}$ contains a subgraph $T\cong P_m^+(i)$ such that $G-V(T)$ remains $k$-connected. The minimum degree bound is sharp, and the result confirms the bipartite conjecture for all pendant extensions of paths.

Define $\nabla(n)$ as the least possible number of cells that must be removed from the $n\times n$ square board in order to leave no cycles. Put $L_n=\left\lceil\left((n-1)^2+1\right)/3\right\rceil$. The results of Luccio, Madelaine-Stewart, and Lien-Fu-Shih imply that $\nabla(n)=L_n$ in case $n\equiv 1\pmod 6$ and $n\equiv 4\pmod 6$, while for the remaining $4$ residue classes $\nabla(n)=L_n$ or $\nabla(n)=L_n+1$. In this paper, we provide optimal constructions in the odd residue classes $n\equiv3,5\pmod6$, (proving $\nabla(n)=L_n$) and a geometric obstruction showing that equality in lower bound is impossible when $n\equiv0,2\pmod6$ (yielding $\nabla(n)=L_n+1$). Starting with $n=3$, the resulting sequence is thus given by \[ \nabla(n)=\bigg{\lceil}\frac{n^2}{3}-\frac{n}{6}+\frac{4}{3}\bigg{\rceil}-\bigg{\lceil}\frac{n}{2}\bigg{\rceil}. \]

A finite Gödel chain generates not one integer sequence but a large family of them. The combinatorial mechanism is developed in a companion paper; here the sequences themselves are the primary objects. For $V_m=\{v_0<\cdots<v_{m-1}\}$, let $g_{j,n}^{(m)}$ count outputs equal to $v_j$, aggregated over all full bracketings on $n$ variables and all $m^n$ valuations. The root-pair refinement produces $N_{i,j}^{(m)}(n)=\sum_{r=1}^{n-1}g_{i,r}^{(m)}g_{j,n-r}^{(m)}$, with generating functions $N_{i,j}^{(m)}(x)=G_i^{(m)}(x)G_j^{(m)}(x)$. We prove that the initial coefficients of these products uniquely identify the unordered root-value pair. Consequently, for each fixed $m$, there are exactly $\binom{m+1}{2}$ distinct root-pair generating functions. We catalogue the factories for $m=4,5,\ldots,10$, giving the first ten terms of every base sequence and every symmetric root-pair sequence. This range contains 49 base sequences and 210 symmetric pair classes, yielding 259 indexed sequence families before additional aggregates. The catalogue provides reproducible data for integer-sequence analysis and comparison with the On-Line Encyclopedia of Integer Sequences (OEIS).

For all sufficiently large $n$, we prove that every Latin square of order $n$ can be made to avoid any prescribed partial Latin square of order $n$ by permuting only its rows and columns. The proof combines Hall's theorem with elementary estimates for a random permutation.

Extremal constructions play a central role in the design and analysis of algorithms. Integrality-gap instances expose the limitations of relaxations, while hard configurations reveal structural sources of computational difficulty. Such constructions, however, are still typically discovered through a slow, manual process. This paper investigates how machine learning can accelerate their discovery to support algorithm design and analysis. We build on PatternBoost, a framework alternating local search with generation from a trained transformer, using its Axplorer implementation to investigate three problems: integrality gaps for maximum independent set of rectangles, integrality gaps for stabbing unit squares with axis-parallel lines, and hard instances for recursive guillotine cutting. By exploring candidate representations, local search operations, and surrogate models used to rank candidates before exact verification, we carefully adapt the framework to these combinatorial geometry problems.While naive representations and search strategies fail to find non-trivial instances, our tailored adaptation discovers numerous non-trivial constructions. For stabbing unit squares, the method reaches a gap of $20/13\approx 1.54$, improving on the literature's best known lower bound of $3/2$. Purely automated search converges rapidly and then plateaus, prompting the question of what is required to push the bound higher still. We find that initial instance diversity plays an important role: with modest expert input via a structured staircase construction, the system reaches an improved integrality gap of $14/9\approx 1.555$. These results demonstrate that machine learning and domain expertise can be combined to discover new extremal constructions that advance algorithmic lower bounds.

Association schemes induced on the shells of the Grassmann scheme $Gr_q(N,a)$ form an important family in the study of multivariate $P$- and $Q$-polynomial structures. For $a<N/2$, the scheme induced on the furthest shell $X_a$ is the known bivariate $P$- and $Q$-polynomial scheme arising from attenuated spaces. In this paper, we prove that, for every $1\leq i\leq a-1$, the association scheme induced on the interior shell $X_i$ is both trivariate $P$-polynomial and trivariate $Q$-polynomial. The two structures share a common index set consisting of the lattice points of a bounded non-simplicial polyhedron. We establish the $P$-polynomial property through combinatorial interpretations of the intersection numbers. Using Dunkl's coordinate description of $X_i$ and the addition theorem, together with recurrence relations for the $q$-Hahn and $q$-Krawtchouk polynomials, we obtain the required vanishing and nonvanishing conditions for the Krein parameters, and hence the $Q$-polynomial structure. Motivated by this index set, we extend the notion of an $A_M$-Leonard pair from simplicial to polyhedral domains and show that every interior shell carries a polyhedral $A_3$-Leonard pair.

For integers $r\ge1$ and $n\ge2$, let $s_r(n)$ be the least $N$ such that every sequence of $N$ vectors in $\Z^r$, each nonzero modulo $n$, contains $n$ terms whose sum is zero modulo $n$ but nonzero modulo $n^2$. Let $w_r(n)$ be the corresponding least $N$ when any nonempty subsequence is allowed. These constants were introduced as zero-sum problems of new types by Z.-W. Sun. We prove $s_r(n)\ge(2^{r+1}-2)(n-1)+1$ by constructing an explicit sequence from a lattice polytope, \emph{disproving} his conjecture $s_2(n)=4n+1$ for $n\ge4$. We obtain $w_r(2)=2r+1$ by classifying all sequences avoiding such nonempty subsequences modulo $4$. We also \emph{prove} Sun's conjecture $w_2(n)=4n-3$ for $n=2^k3^\ell p$, where $p$ is a prime and $k,\ell\ge0$ are integers, by classifying the extremal sequences of length $4p-4$ modulo $p^2$ when $n=p$. For every fixed $n\ge2$, we prove $w_r(n)/s(\Z_n^r)=O_n(r^2/2^r)\to0$ as $r\to\infty$, where $s(\Z_n^r)$ is the classical Erdős-Ginzburg-Ziv constant, with an explicit threshold on $r$ for strict inequality. Thus, for every fixed modulus $n\ge2$, Sun's proposed equality fails for sufficiently large $r$.

Let $A_q(n,d)$ denote the largest size of a code of length $n$ and minimum Hamming distance $d$ over an alphabet of $q$ symbols. For fixed $q\ge2$ and $d\ge4$ we construct codes with redundancy $n-\log_q A_q(n,d)\le(d-3)\log_q n+O(\sqrt{\log n})$ for all large $n$. No algebraic structure is imposed on the alphabet, and the codes are not linear. For $d=4$ and $d=5$ the coefficient of $\log_q n$ matches the Hamming bound, so the redundancy is determined up to lower-order terms. At distance four the codes are provably better than every linear code: by the polynomial-method bound for cap sets, $\mathbb{F}_q$-linear codes with $q>2$ require a strictly larger coefficient in front of $\log_q n$. The construction imposes moment checksums over an auxiliary finite field, as BCH codes do, but one fewer than the distance would normally require. The affine-line theorem from prior work describes the dependencies left by these checks. We exclude them by placing the code positions inside a specially structured subset of the field, built from Behrend's sphere construction with the help of algebraic number theory.

In this paper, we evaluate two companion $q$-series recently suggested for investigation by Andrews and El Bachraoui in the concluding remarks of their work. From these evaluations, we derive the corresponding partition identities and give combinatorial proofs.

Judicious partition problems ask for vertex partitions of graphs or hypergraphs that optimize several quantities simultaneously. In this paper, we investigate judicious partitions of graphs and hypergraphs in which each class meets many edges and establish the following results. (1) Every hypergraph with nonnegative edge weights and all edges of size at most $2$ has a bipartition in which each vertex class meets edges of total weight at least $(w_1-Δ_1)/2+2w_2/3$, where $w_i$ is the total weight of the edges of size $i$, and $Δ_1$ is the maximum weight of an edge of size $1$. (2) Every hypergraph with all edges of size at most $3$ has a bipartition in which each vertex class meets at least $m_1/2+3m_2/4+7m_3/8+o(m_1+m_2+m_3)$ edges, where $m_i$ is the number of edges of size $i$. (3) For any integer $k\ge4$, every graph with $m\ge2(k-1)(k-2)$ edges has a partition into $k$ classes, each meeting at least $2m/(2k-1)$ edges. Both the coefficient of $m$ and the edge threshold are best possible. (4) For all sufficiently large $m$, every $4$-uniform hypergraph with $m$ edges has a partition into four classes, each meeting at least $4m/7$ edges. The first three statements are conjectures of Bollobás and Scott, and the last is a conjecture of Bollobás and Thomason on 4-uniform hypergraphs. All of the above results are best possible.

More than 50 years ago, Golomb and Welch conjectured that no tilings of $\mathbb{Z}^n$ by Lee balls of radius $r$ exist for $n \geq 3$ and $r \geq 2$. This conjecture remains open even under the additional assumption that the tiling is a lattice tiling. In general, there are two known effective approaches to the lattice case which are based on symmetric polynomials and on the arithmetic of group-ring equations, respectively. In this paper, we develop both approaches. First, we determine all coefficients of the Q-polynomials associated with Lee balls; previously, only leading coefficients and certain special cases were known. Second, for arbitrary radii, we give necessary and sufficient conditions for the existence of lattice tilings by Lee balls in terms of group-ring equations, extending earlier results for radii $r=2$ and $3$. We then derive new necessary conditions for such tilings. For every radius $3\le r\le 50$, we prove that the set of dimensions for which no lattice tiling exists has positive density in \(\mathbb{Z}^+\). We also give an algorithm that combines the available necessary conditions and apply it to all pairs $(n,r)$ for which the corresponding Lee ball of radius $r$ and dimension $n$ has size less than $2^{30}$. Among these $1{,}358$ pairs, the combined method excludes $1{,}356$, leaving only $(n,r)=(35,3)$ and $(805,3)$.

Let $G$ be a connected graph. The eccentric subgraph number $ε(v)$ of a vertex $v$ of $G$ is defined as $ε(v)=\min\{f_G(v,u): u\in V(G)\}$, where $f_G(v,u)$ is the number of connected subgraphs of $G$ containing both $v$ and $u$. The eccentric subgraph index $ES(G)$ of $G$ is defined as $ES(G)=\displaystyle\sum_{v\in V(G)}ε(v).$ In this paper, we obtain the unicyclic graph that maximizes the eccentric subgraph index among all unicyclic graphs on $n$ vertices with a fixed girth. The graph that maximizes the eccentric subgraph index among all unicyclic graphs on $n$ vertices is also obtained. We then characterize the trees that maximize the eccentric subgraph index over trees on $n$ vertices with fixed diameter. Among all connected graphs on $n$ vertices with a fixed number of pendant vertices, the graph which maximizes the eccentric subgraph index is also characterized.

The maximum likelihood degree of a Gaussian graphical model measures the algebraic complexity of its likelihood equations. This paper studies maximum likelihood degrees of Gaussian graphical models through chordal completion. When a graph becomes chordal after one missing edge is added, its maximum likelihood degree is determined by the maximal cliques and clique-tree separators containing that edge. This recovers Uhler's formula for complete bipartite graphs with one part of size two, and extends it to deleted-spine clique books, whose degree is unchanged when a page is thickened to a clique. For several fill edges, the same method gives a product formula when no clique or separator bag contains two fill edges. We also determine four classes of vertices at which clique blow-up preserves the degree. Two follow from known results, and two are established here.

Poset games form a fundamental class of combinatorial games that includes classical games such as Nim and Chomp. Determining the outcome of a poset game is known to be PSPACE-complete even for posets of height at most three. However, the exact computational complexity of Two-Level Poset Game, played on posets of height at most two, has remained an open problem for over a decade. We resolve this problem by proving that Two-Level Poset Game is PSPACE-complete via a polynomial-time reduction from Avoid True on positive CNF formulas.

A set $A$ of integers is an $h$-basis for $n$ if every integer in $[0,n] = \{0,1,2,\ldots,n\}$ belongs to the sumset $hA$, that is, can be represented as the sum of exactly $h$ not necessarily distinct elements of $A$. The classical postage stamp problem asks for the largest integer $n_h(k)$ such that $[0,n_h(k)] \subseteq hA$ for some set $A$ of nonnegative integers of size $k+1$. We consider the effect of allowing negative elements. Let $n^{\flat}_h(k)$ be the largest integer such that $[0,n^{\flat}_h(k)] \subseteq hA$ for some set $A$ of integers of size $k+1$ containing at least one negative integer. For $k=2$, we have $n^{\flat}_h(2) < n_h(2)$ if $h$ is odd or $h=4$ and $n^{\flat}_h(2) = n_h(2)$ if $h$ is even and $h \neq 4$. Proofs of these comparison results were autonomously discovered and formally verified in Lean by https://aristotle.harmonic.fun/}{Aristotle}, a formal reasoning agent developed by https://www.harmonic.fun/}{Harmonic}. In this paper we give new proofs of these results.

In 2018, Goddard and Henning conjectured that every cubic graph has four total dominating sets covering each vertex at most twice, and asked the analogous question for transversals of $3$-uniform $3$-regular hypergraphs. We prove the conjecture, which also answers the question in the affirmative.

Let $p$ be an odd prime, and let $ρ\colon G\to \GSp_{2n}(\Z_p)$ be an irreducible symplectic residually multiplicity free representation. We define the symplectic extension graph $Γ_ρ^\GSp$ associated with $ρ$ to be the directed graph whose vertices are the residual factors of $ρ$ and a directed edge between two vertices corresponds to a nonsplit extension between the vertices realized by $ρ$. Using the Euclidean Bruhat--Tits building associated with $\GSp_{2n}(\Q_p)$, under some assumptions, we prove the existence of certain paths in $Γ_ρ^\GSp$ and show that $Γ_ρ^\GSp$ is a disjoint union of nonempty strongly connected subgraphs. Moreover, we provide examples to show that the result we obtain is optimal.

We study symmetric 2-(v, k, λ) designs admitting a flag-transitive point-primitive subgroup G of automorphisms, where gcd(k, λ) = p and p is a prime. In this paper, we show that G is of affine or almost simple type.

We introduce a $q$-analogue of the bicolored Eulerian quasisymmetric functions by incorporating an additional grading arising from affine length, obtained by interpreting bicolored permutations as affine permutations. We also provide an intrinsic description of this refinement in terms of bicolored permutations by introducing notions of alignments and crossings, together with an explicit bijection identifying these statistics with the alignments and crossings in the existing literature. Finally, we prove that our refinement is symmetric by expressing it in terms of the Theta operators appearing in the Theta coinvariant Conjecture and the modified Macdonald symmetric functions. Assuming the Theta coinvariant conjecture implies the Schur-positivity of our refinement.

In this work, we study the symmetric hit problem in four variables by analyzing the relative cohit space, defined as the kernel of the inclusion-induced map from symmetric to ordinary cohits. Theoretically, we establish that this relative space is isomorphic to a kernel in the first group cohomology of the permutation group and, equivalently, to an $\operatorname{Ext}^1$ kernel for the general linear group, equipped with a canonical action of the normalizer quotient. Furthermore, bypassing conditional descent hypotheses, we utilize explicit Lucas--Cartan identities to construct unconditional fixed Steenrod preimages for nontrivial stabilizers, resolving infinite families of monomials strictly above the minimal-spike weight. Using the ordinary and symmetric Kameko isomorphisms, we reduce the determination of complete bases in two generic degree families to exact calculations in degrees one, three, six, ten, and sixteen. We discover that universal relative vanishing fails: the relative space is non-trivially one-dimensional in degree fifteen and forms an indecomposable two-dimensional normalizer module in degree eighteen. In the family $5\cdot2^t-4$, the symmetric cohit dimension stabilizes at six and the relative dimension at one for $t\geq2$; in the family $7\cdot2^t-4$, they are four and zero for $t\geq1$. We give complete bases by explicit exponent formulas and prove Janfada's monomial implication in every degree of both families. A general numerical threshold determines the finite initial degree from which Kameko isomorphisms apply, and a direct-sum formula transports the entire symmetric hit basis.

Motivated by recent work on $λ$-fold near-factorizations by Kreher, Li, and Stinson (Designs, Codes and Cryptography, 2026), we introduce and systematically investigate $(λ,μ)$-fold factorizations as combinatorial structures with prescribed representation multiplicities. Such a factorization consists of two subsets of a finite group whose products represent each nonidentity element exactly $λ$ times and the identity exactly $μ$ times. These structures generalize $λ$-fold near-factorizations and provide a common framework for several families arising in combinatorial design theory, including strong external difference families with two equal-sized subsets, as well as binary sequence pairs with two-level correlation. Their associated $\{0,1\}$-matrices satisfy the Bridges-Ryser equation $XY=λ(J-I)+μI$, linking the factorization problem to a classical matrix framework for combinatorial designs. We establish the foundational theory of $(λ,μ)$-fold factorizations, provide two general constructions, and prove several nonexistence results for finite abelian groups.

We consider spin-coupled Grover walks on hypercubes within the framework of quantum Bernoulli noises (QBN). We identify parity-dependent harmonic subspaces generated by the central Hamming layers: in even dimension they give a fixed-point subspace, whereas in odd dimension the walk reduces on the harmonic subspace to an explicit eight-dimensional reduced dynamics. Using symmetric-group representation theory, we characterize the corresponding isotypic structure and determine the reduced spectrum. The harmonic reduction also yields explicit long-time probability behavior and shows that the resulting states may occupy an asymptotically vanishing fraction of the hypercube while still spanning its full Hamming diameter.

A geometric $(n_4)$ configuration is a set of $n$ points and $n$ lines in the real projective plane such that every point lies on exactly four of the lines and every line contains exactly four of the points. The question of which $n$ admit such a configuration was posed by Grünbaum in 2000, and successive work of Bokowski, Grünbaum, Schewe, Pilaud and Cuntz settled every case but $n=23$. We settle this last case by bounding the symmetry of such configurations and classifying the most symmetric ones exactly. We prove that for every prime $n\equiv3\pmod4$ the group of projective symmetries of a geometric $(n_4)$ configuration has order at most four, explaining why symmetric constructions failed at $n=23$, and the same argument bounds the symmetry of $(n_5)$ configurations for primes $n\not\equiv1\pmod5$. Reducing the Klein four-group case to 4021 bilinear polynomial systems and solving all of them exactly with Gröbner bases, we show that exactly two $(23_4)$ configurations reach this bound up to projective equivalence and that there are no others even over $\mathbb{C}$. Both are self-polar; the first has integer coordinates and the second is defined over $\mathbb{Q}(\sqrt{17})$ but not over $\mathbb{Q}$. Consequently geometric $(n_4)$ configurations exist if and only if $n\ge18$ and $n\ne19$. The same classification recovers Cuntz's $(22_4)$ and $(26_4)$ configurations and finds three new combinatorial types at $n=22$ and $94$ at $n=26$. Among self-polar $(23_4)$ configurations with a single involution we find $50$ more, defined over number fields of degree at most $7$. Four of them deform in one-parameter families, and computing three of these exactly, one birational to the modular curve $X_1(11)$, we prove that there are infinitely many geometric $(23_4)$ configurations, among them infinitely many with rational coordinates that are self-polar and have no projective symmetry.

A unit ball is surrounded with a ring of $n$ equal infinite circular cylinders. Each cylinder touches the ball and its two neighbors. Can one more cylinder of the same radius be added if the configuration may be rearranged? Can the $n$ cylinders instead be enlarged, and by how much? We prove that insertion is impossible for $3\le n\le7$ and possible for $n\ge9$. The case $n=8$ remains open. The case $n=6$ is Kuperberg's problem from 1990, which was resolved recently. We prove that the ring of four cylinders cannot be expanded. This settles a conjecture of Ogievetsky and Shlosman from 2018. For $n\ge5$ the largest possible expansion radius remains unknown.

In this note we prove $\mathrm{forb}(n,\mathbf{1}_{r-2}\times C_4)=Θ(n^{r-1/2})$, thus providing a series of counterexamples of a 2005 conjecture of the first two authors. Here $\mathbf{1}_{r-2}\times C_4$ is the $r$-extension of the 4-cycle, that is the $r$-uniform hypergraph of four edges obtained by joining a set of $r-2$ vertices to each edge of $C_4$. $\mathrm{forb}(n,F)$ is the largest number of edges of a simple hypergraph $G$ on $n$ vertices without \emph{trace} (induced subhypergraph) $F$.

Let $p_i$ be the $i$th prime, and let $f(N)$ be the largest cardinality of a subset of \[ \left\{\prod_{i=1}^N p_i^{a_i}:0\le a_i<N,\ a_i\in\mathbb{Z}\right\} \] containing no two distinct legs of an integer right triangle. We prove \[ f(N) \ll N^N (\log\log N)^{-1/1296}. \]

We prove that for every prime power $q$ and every integer $r\geq 3$ there exists a maximum $2$-scattered $\mathbb{F}_q$-subspace of $V(r,q^6)$, that is, a $2r$-dimensional $\mathbb{F}_q$-subspace meeting every $2$-dimensional $\mathbb{F}_{q^6}$-subspace in dimension at most $2$. Since an example in dimension three is known and direct sums preserve the property, it suffices to treat $r=4$ and $r=5$. For $r=4$ we study the subspaces $U_b=\{(x,x^q+bx^{q^5}):\mathrm{Tr}_{q^{12}/q^4}(x)=0\}$ of $\mathbb{F}_{q^{12}}^2$, $b\in\mathbb{F}_{q^{12}}$. We describe the parameters $b$ for which $U_b$ is not maximum $2$-scattered in terms of trace conditions and Dickson determinants, and deduce that at least $\frac{1}{2}q^{12}-q^{11}+O(q^{10})$ parameters work; this number is positive for $q\geq 3$, and a computer search settles $q=2$. For every $r\geq 5$ coprime to $6$ we show that $U_s=\{x+\varepsilon s\,x^{q^r}:x\in\mathbb{F}_{q^{2r}}\}\subseteq\mathbb{F}_{q^{6r}}$ is maximum $2$-scattered for all $\varepsilon\in\mathbb{F}_{q^6}\setminus\mathbb{F}_{q^2}$ and $s\in\mathbb{F}_{q^r}\setminus\mathbb{F}_q$. Consequently, $\mathbb{F}_{q^6}$-linear $[2r,r,4]_{q^6/q}$ MRD codes exist for every $r\geq 3$; for $r$ coprime to $6$, the codes obtained from $U_s$ are equivalent to their duals.

Let $h_n$ denote the complete homogeneous symmetric function of degree $n$, $s_ν$ the Schur function indexed by a partition $ν$, and $\langle\cdot,\cdot\rangle$ the Hall inner product. The plethysm coefficient $\langle h_n[h_m], s_ν\rangle$ is the multiplicity of the Weyl module $W_ν(\mathbb{C}^N)$ in $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ whenever $ν$ has at most $N$ parts. For a partition $λ$, let $λ[mn]=(mn-|λ|,λ_1,λ_2,\dots)$. Bowman and Paget proved that $\langle h_n[h_m], s_{λ[mn]}\rangle$ is independent of $m$ and $n$ once $m,n\ge|λ|$. We prove that this coefficient is already constant for $m\geλ_1$ and $n\ge\lfloor(|λ|+λ_1)/2\rfloor$, and that its stable value equals $\langle s_λ, H[H-1-h_1]\rangle$, where $H=\sum_{i\ge0}h_i$; the proof uses the skewing operators adjoint to multiplication by complete homogeneous symmetric functions. We give a short new proof of the Bowman-Paget theorem based on stability of vector-partition functions, which count the ways of writing a vector of non-negative integers as an unordered sum of non-zero such vectors (its parts). Using a Vandermonde-type determinantal identity, we deduce that the stable value is a signed sum of numbers of vector partitions all of whose parts have entries summing to at least 2. The same method gives a short proof of Brion's stability theorem. We show that the stable value equals the multiplicity of $W_λ(\mathbb{C}^k)$, where $k=\lfloor|λ|/2\rfloor$, in an explicit representation of $GL_k(\mathbb{C})$ independent of $m$ and $n$, obtained by modifying the polynomial induction of Narayanan, Paul, Prasad and Srivastava. Finally, we prove an explicit positive formula for the stable value, which counts the number of lattice points in a polytope, when $λ_1\le 4$.

Let $λ_1(n,Δ)$ be the maximum adjacency spectral radius among connected nonregular simple graphs of order $n$ and maximum degree $Δ$. Using effective resistance bounds, explicit comparison graphs and a one-dimensional Wirtinger inequality, we prove that, for every fixed integer $Δ\ge3$, $λ_1(n,Δ)=Δ-c_Δπ^2/(4n^2)+O_Δ(n^{-5/2})$ as $n\to\infty$, where $c_Δ=Δ-1$ for odd $Δ$ and $c_Δ=2(Δ-2)$ for even $Δ$. This proves the asymptotic conjecture posed by Liu [J. Combin. Theory Ser. B 169 (2024), Conjecture 7.1].

For a family $\mathcal{F}$ of $k$-graphs, $ex_k(n,\mathcal{F})$ denotes the maximum number of edges in an $n$-vertex $\mathcal{F}$-free $k$-graph. Let $M_{s+1}^k$ denote a matching of size $s+1$ in $k$-uniform hypergraphs. Recently, Alon and Frankl (JCTB, 2024) determined $ex_2(n,\{M_{s+1}^2,K_{\ell+1}\})$ for all $n\geq 2s+1$ and $\ell\geq 2$. For every non-bipartite graph $F$, Gerbner (JGT, 2024) determined $ex_2(n,\{M_{s+1}^2,F\})$ for sufficiently large $n$. In this paper, we investigate this problem for different ranges of the matching parameter. First we prove that for every graph $F$ with $χ(F)>3$, there exist constants $β>0$ and $s_0$ such that $ex_2(n,\{M^2_{s+1}, F\})=ex_2(2s+1,F)$ for $\max\{s_0,n/2-βn\}<s<n/2$. For integers $\ell\ge k\ge3$, let $\mathcal{K}_{\ell+1}^k$ be the family of all $k$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges for which there is an $(\ell+1)$-set $L$ such that every pair of vertices of $L$ is covered by an edge of $F$, and let $H_{\ell+1}^k$ be the $k$-uniform hypergraph obtained from the complete graph $K_{\ell+1}$ by enlarging each edge with a set of $k-2$ new vertices, which is a member of $\mathcal{K}_{\ell+1}^k$. We determine $ex_k\bigl(n,\mathcal{K}_{\ell+1}^k\cup\{M_{s+1}^k\}\bigr)$ for $s< \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$. For sufficiently large $s$, we also determine $ex_k\bigl(n,\{M_{s+1}^k,H_{\ell+1}^k\}\bigr)$ for $\frac{n}{k}-βn<s\leq \frac{n-k}{k}$ and $s< \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$.

In his pioneering work from 1973, Delsarte conjectured that the Johnson scheme J$(n,w)$ admits no nontrivial perfect codes. Although related existence problems have been resolved in several other association schemes, the problem in the Johnson scheme remained open. We prove Delsarte's conjecture: no nontrivial e-perfect code exists in any Johnson scheme. The proof combines divisibility properties of balls in the scheme, bounds on the strength of designs associated with perfect codes, the roots of Lloyd polynomials, and explicit results on primes and linear forms in logarithms.

Bilu and Linial conjectured that every finite $d$-regular graph with $d \geq 2$ admits an edge signing $σ$ whose signed adjacency matrix $A_σ$ has spectral radius at most $2\sqrt{d-1}$. We prove that every signing meeting the mixed-root condition $r_{A_σ}\leq\sqrt{2(d-1)}$ satisfies \[ ρ(A_σ) < \frac{3+\sqrt5}{2}\sqrt{d-1}, \] where $r_{A_σ}$ is the largest root of the mixed determinantal polynomial $χ[A_σ,-A_σ]$. The interlacing theorem of Ravichandran and Srivastava guarantees a signing satisfying the mixed-root condition, so our result improves the coefficient $2\sqrt2$ in their two-sided spectral bound. In the proof, we construct a positive matrix-valued probability measure supported on the roots of $χ[A_σ,-A_σ]$. The second moment gives a simple matrix inequality $A_σ^2 + dI \preceq 4r_{A_σ}^2I$, which yields a preliminary coefficient $\sqrt{7}$. Estimates for the fourth moment use information about short walks to obtain the coefficient $(3+\sqrt{5})/2$. For triangle-free graphs, the coefficient improves to $\sqrt6$, and for graphs with girth at least five, it improves to $\sqrt{35/6}$. As a result of independent interest, we extend the construction to $χ[A_1,\ldots,A_k]$ for Hermitian matrices $A_1,\ldots,A_k$ with zero diagonal, and compute the first two moments explicitly. Finally, an explicit signing of $K_8$ shows that the mixed-root condition alone cannot guarantee a coefficient below $(4+\sqrt5)/\sqrt6$.

Motivated by a log-convexity question of Bennett and Tao, we consider Gowers-type functionals defined by $L^p$ norms of multiple autocorrelations. We prove sharp bounds in terms of $L^q$ norms and characterise the near-extremisers on Euclidean spaces as well as locally compact abelian groups. We also establish two families of degree-lowering inequalities and study their near-extremisers. As a byproduct of this broader theory, we show that the constant in the log-convexity estimate for Gowers norms is strictly less than unity, confirming the aforementioned conjecture of Bennett and Tao. Finally, we characterise the $p$ for which the Gowers-type functionals necessarily satisfy the triangle inequality on nonnegative measurable functions.

The theory of combinatorial Hopf algebras (CHA) is a powerful framework for studying algebraic invariants of combinatorial objects. For instance, Stanley's chromatic symmetric function and the chromatic polynomial arise naturally from the CHA of graphs. In this paper, we define a CHA of signed graphs in order to study, in the same spirit, invariants of signed graphs such as the signed chromatic polynomial. The key ingredient of our construction is a well-chosen character, from which the signed chromatic invariants are obtained. Via the antipode, we obtain new proofs of combinatorial reciprocity results for these invariants. Moreover, by deforming the character with an additional parameter, we incorporate bivariate invariants into this framework, both for classical and signed graphs. In the classical case, this technique recovers the Tutte polynomial.

Razborov's flag algebra method is one of the most successful tools for proving asymptotic density inequalities in extremal graph theory. It reduces an inequality about all large graphs avoiding a forbidden pattern to finitely many algebraic conditions, and a certificate satisfying them can be found by semidefinite programming. We formalize the method for finite simple graphs in Lean 4, building on Mathlib. The formalization covers flags and their densities, the flag algebra as a quotient vector space, positive homomorphisms as limits of graph sequences, Razborov's random extensions, and the downward operator that averages out labels. On top of this theory, we build verified computation of flag densities and a tactic that turns certificates found by semidefinite programming into Lean proofs. The certificate serves only as candidate data; Lean checks every fact the proof uses. With this development we verify seven Turán-type upper bounds. Adding lower-bound constructions proved in Lean yields the asymptotic form of Mantel's theorem and the asymptotic Erdős pentagon theorem $π(C_5;K_3)=24/625$; to our knowledge, the latter has not previously been formalized in a proof assistant. We also prove two inequalities of Goodman. All density theorems reported here depend only on the standard axioms of Lean's logic. Formalization also led us to treat forbidden subgraphs with a different semantics. Instead of building a separate flag algebra for each forbidden family, we keep a single algebra of all graphs and impose the constraint only when interpreting an inequality, through randomly labeled limits of graphs satisfying it. We prove that this ensemble semantics yields the intended density bounds, and that a condition we call root-plantability characterizes when it agrees with the standard semantics.

We show that given completely multiplicative functions $f_1,\dots,f_d$ taking values in the unit circle, there exist Pythagorean triples (i.e., integer solutions to $x^2+y^2=z^2$) with $f_i(x),f_i(y),f_i(z)$ all arbitrarily close to $1$ for all $i$. This is a new special case of the conjecture that any finite colouring of $\mathbb{N}$ has a monochromatic Pythagorean triple. Our proof combines vanishing averages for aperiodic functions with concentration estimates for pretentious functions. A similar proof is applied to obtain the analogous statement for more general equations of the form $ax^2+by^2=cz^2$ whenever $a,b,c$ are perfect squares satisfying the Rado's condition.

A biclique decomposition of a graph is a partition of its edges into complete bipartite subgraphs. We consider graphs whose vertices can be ordered such that the neighborhood of every vertex is the union of a sublinear number of intervals. We observe that these graphs admit compact representations in the form of biclique decompositions of small size. Here, the size of a decomposition is measured as the sum of the number of vertices of its bicliques. Combining this result with the existence of suitable vertex orderings for graphs of low neighborhood complexity, as proven by Welzl in 1988, we recover and extend several known results up to logarithmic factors. These results include upper bounds on the Zarankiewicz problem, matrix multiplication, quantum circuit complexity, and shortest path algorithms in "well-structured" instances.

We determine which connected sets of $N$ vertices in the square lattice support the most spanning trees, using all lattice edges between the chosen vertices. Every maximizer minimizes the number of edges joining the set to the rest of the lattice. Its shape is a rectangle with at most two straight strips of vertices removed at opposite corners. For $N\ge18$, the maximizer is unique up to translation, rotation, and reflection: an explicitly determined rectangle with one possibly empty corner strip removed along its longer side. The proof combines comparisons of Laplacian determinants with geometric comparisons of corner deletions. For $N=n^2$, we prove a sharp stability inequality that bounds the symmetric difference from a translated $n\times n$ square in terms of the loss in logarithmic tree count. Thus, nearly optimal tree counts force the vertex set to be close to a square. We also derive an exact product formula and a recurrence for the number of spanning trees in rectangles with a single corner strip removed.

We describe a way to explore the numerical semigroup tree to find all Eliahou semigroups of conductor up to 200 (and conjecturally up to 400) thanks to a new way of representing the semigroups and pruning off unwanted branches. This proves that Wilf's conjecture holds for conductor up to 200. Based on this list, we describe new classes of numerical semigroups, with a Farey interval as a crucial parameter. We show that these semigroups probably all satisfy Wilf's conjecture. We explicitly construct many families of Eliahou semigroups belonging to these classes, encompassing families described by Delgado, Eliahou and Fromentin, and Bras-Amorós.

An association scheme is called amorphic if every possible fusion of relations gives rise to another association scheme. In earlier work, we showed that if an association scheme has at most one relation that is neither strongly regular of Latin square type nor strongly regular of negative Latin square type, then it must be amorphic. We now construct non-amorphic $d$-class association schemes in which precisely two relations are not strongly regular of Latin square type or strongly regular of negative Latin square type, for any $d \geq 4$. We also raise the question whether different types of strongly regular graphs can coexist in an association scheme. Among some other results, we show that if one of the relations is a lattice graph, then any other strongly regular relation in the scheme must be of Latin square type.

Let $p$ be a prime, let $q=p^n$, and let $D\subseteq \mathbb{F}_q^\ast$. A celebrated result of Carlitz and McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^\ast$, and $f:\mathbb{F}_q\to\mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y)\in D$ for all $x\neq y$, then $f$ must be of the form $f(x)=ax^{p^j}+b$. In this paper, we extend their result to the setting where $D$ is a union of cosets of a fixed subgroup of $\mathbb{F}_q^\ast$, under a mild assumption. In a similar spirit, we also investigate maximum cliques in related Cayley graphs over finite fields, strengthening several results of Blokhuis, Sziklai, and Asgarli and Yip.

We investigate Hindman- and Owings-type Ramsey-theoretic statements in Zermelo-Fraenkel set theory without the Axiom of Choice, with some occasional extra assumptions (such as the Axiom of Dependent Choice and/or the Axiom of Determinacy). We study several variations of Hindman's theorem on $\mathbb Q$-vector spaces; notably, we show that the uncountable analog of Hindman's theorem fails for the additive group of $\mathbb R$ (under ZF), and for $\mathbb Q$-vector spaces of uncountable dimension (under DC if such dimension is not well-orderable), among other results. In contrast, for Owings-type configurations, we obtain several positive results, especially when assuming AD. These results highlight the interaction between determinacy, algebraic structure, and dimension in the study of infinite Ramsey theory without the Axiom of Choice.

In this paper, an effort is made to classify which prime character degree graphs having eight vertices occur for some finite solvable group. To approach this, we compile known results and constructions from the literature which are used to develop a general algorithm to begin classifying graphs of any order. We then apply the algorithm to the graphs of order eight. Of the 12,346 non-isomorphic graphs with eight vertices, 1,229 are disconnected and are fully classified. Meanwhile, thirty-seven of the 11,117 non-isomorphic connected graphs are shown to occur; thirty-four of which are constructed via joins of smaller graphs and three of which have diameter three. Fifty-eight graphs are shown not to occur, several of which fall into previously studied families, while the classification of 204 graphs is still unknown.

Each complex hyperplane arrangement $\mathcal{A}$ gives rise to a Milnor fibration of its complement. Building on work of Zuber, we give a combinatorial sufficient condition for the Milnor fiber $F(\mathcal{A})$ to be non-$1$-formal, expressed in terms of the multinet structure on $\mathcal{A}$, and use it to produce an infinite family of monomial arrangements $\mathcal{A}(3k,3k,3)$ with non-formal Milnor fibers. We also review the relevant background on cohomology jump loci, formality, and the topology of Milnor fibers of arrangements.

The main aim of the present paper is to introduce new methods for the study of combinatorial designs related to bent functions. They are based on interpretations of convolution on finite abelian groups as multiplication by a multidimensional matrix and designs as perfect colorings of subspace hypergraphs of $\mathbb{F}_2^n$. We establish a correspondence between eigenfunctions of convolution matrices and perfect colorings of subspace hypergraphs, show that perfect colorings of subspace hypergraphs admit a characterization in terms of convolution and that two-valued eigenfunctions of subspace hypergraphs correspond to perfect colorings. As applications, we represent partial difference sets, bent and plateaued Boolean functions, spreads, and strong bent partitions of $\mathbb{F}_2^n$ as eigenfunctions of convolution matrices and as perfect colorings of subspace hypergraphs. We also find some eigenvalues of convolution matrices over $\mathbb{F}_2^n$ and $\mathbb{F}_3^n$.

We show that for every integer $n\geq 1$ there exists a graph $G_n$ with $(1+o(1))n$ vertices and $n^{1 + o(1)}$ edges such that every $n$-vertex planar graph is isomorphic to a subgraph of $G_n$. The best previous bound on the number of edges was $O(n^{3/2})$, proved by Babai, Chung, Erdős, Graham, and Spencer in 1982. We then show that for every integer $n\geq 1$ there is a graph $U_n$ with $n^{1 + o(1)}$ vertices and edges that contains induced copies of every $n$-vertex planar graph. This significantly reduces the number of edges in a recent construction of the authors with Dujmović, Gavoille, and Micek.

In this paper, we study the ideas of composition and decomposition in the context of vector spaces, graphs and matroids. For vector spaces $\V_{AB},$ treated as collection of row vectors, with specified column set $A\uplus B,$ we define $\V_{SP}\lrarv \V_{PQ}, S\cap Q= \emptyset, $ to be the collection of all vectors $(f_S,f_Q)$ such that $(f_S,f_P)\in \V_{SP}, (f_P,f_Q)\in \V_{PQ}$. An analogous operation $\G_{SP}\lrarg \G_{PQ}\equivd \G_{PQ}$ can be defined in relation to graphs $\G_{SP}, \G_{PQ},$ on edge sets $S\uplus P, P\uplus Q,$ respectively in terms of an overlapping subgraph $\G_P$ which gets deleted in the right side graph (see for instance the notion of $k-sum$ \cite{oxley}). For matroids we define the `linking' $\M_{SP}\lrarm \M_{PQ} \equivd (\M_{SP}\vee \M_{PQ})\times (S\uplus Q)$, denoting the contraction operation by '$\times$'. In each case, we examine how to minimize the size of the `overlap' set $P,$ without affecting the right side entity. In the case of vector spaces, there is a polynomial time algorithm for achieving the minimum, which we present. Similar ideas work for graphs and for matroids under appropriate conditions. Next we consider the problem of decomposition. Here, in the case of vector spaces, the problem is to decompose $\V_{SQ}$ as $\V_{SP}\lrarv \V_{PQ},$ with minimum size $P.$ We give a polynomial time algorithm for this purpose. In the case of graphs and matroids we give a solution to this problem under certain restrictions.

We present monotonicity inequalities for certain functions involving eigenvalues of $p$-Laplacians on signed graphs with respect to $p$. Inspired by such monotonicity, we propose new spectrum-based graph invariants, called (variational) cut-off adjacency eigenvalues, that are relevant to certain eigenvector-dependent nonlinear eigenvalue problem. Using these invariants, we obtain new lower bounds for the $p$-Laplacian variational eigenvalues, essentially giving the state-of-the-art spectral asymptotics for these eigenvalues. Moreover, based on such invariants, we establish two inertia bounds regarding the cardinalities of a maximum independent set and a minimum edge cover, respectively. The first inertia bound enhances the classical Cvetković bound, and the second one implies that the $k$-th $p$-Laplacian variational eigenvalue is of the order $2^p$ as $p$ tends to infinity whenever $k$ is larger than the cardinality of a minimum edge cover of the underlying graph. We further discover an interesting connection between graph $p$-Laplacian eigenvalues and tensor eigenvalues and discuss applications of our invariants to spectral problems of tensors.

The random walk $d$-ary cuckoo hashing algorithm was defined by Fotakis, Pagh, Sanders, and Spirakis to generalize and improve upon the standard cuckoo hashing algorithm of Pagh and Rodler. Random walk $d$-ary cuckoo hashing has low space overhead, guaranteed fast access, and fast in practice insertion time. In this paper, we give a theoretical insertion time bound for this algorithm. More precisely, for every $d\ge 3$ random hashes, let $c_d^*$ be the sharp threshold for the load factor at which a valid assignment of $cm$ objects to a hash table of size $m$ exists with high probability. We show that for any $d\ge 3$ hashes and load factor $c<c_d^*$, the expectation of the random walk insertion time is $O(1)$, that is, a constant depending only on $d$ and $c$ but not $m$.

Let $1<t<n$ be integers, where $t$ is a divisor of $n$. An R-$q^t$-partially scattered polynomial is a $\mathbb F_q$-linearized polynomial $f$ in $\mathbb F_{q^n}[X]$ that satisfies the condition that for all $x,y\in\mathbb F_{q^n}^*$ such that $x/y\in\mathbb F_{q^t}$, if $f(x)/x=f(y)/y$, then $x/y\in\mathbb F_q$; $f$ is called scattered if this implication holds for all $x,y\in\mathbb F_{q^n}^*$. Two polynomials in $\mathbb F_{q^n}[X]$ are said to be equivalent if their graphs are in the same orbit under the action of the group $ΓL(2,q^n)$. For $n>8$ only three families of scattered polynomials in $\mathbb F_{q^n}[X]$ are known: $(i)$~monomials of pseudoregulus type, $(ii)$~binomials of Lunardon-Polverino type, and $(iii)$~a family of quadrinomials defined in [1,10] and extended in [8,13]. In this paper we prove that the polynomial $φ_{m,q^J}=X^{q^{J(t-1)}}+X^{q^{J(2t-1)}}+m(X^{q^J}-X^{q^{J(t+1)}})\in\mathbb F_{q^{2t}}[X]$, $q$ odd, $t\ge3$ is R-$q^t$-partially scattered for every value of $m\in\mathbb F_{q^t}^*$ and $J$ coprime with $2t$. Moreover, for every $t>4$ and $q>5$ there exist values of $m$ for which $φ_{m,q}$ is scattered and new with respect to the polynomials mentioned in $(i)$, $(ii)$ and $(iii)$ above. The related linear sets are of $ΓL$-class at least two.

A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex in $V(G) \setminus S$ is adjacent to a vertex in $S$. A restrained dominating set of $G$ is a dominating set $S$ with the additional restraint that the graph $G - S$ obtained by removing all vertices in $S$ is isolate-free. The domination number $γ(G)$ and the restrained domination number $γ_{r}(G)$ are the minimum cardinalities of a dominating set and restrained dominating set, respectively, of $G$. Let $G$ be a cubic graph of order~$n$. A classical result of Reed [Combin. Probab. Comput. 5 (1996), 277--295] states that $γ(G) \le \frac{3}{8}n$, and this bound is best possible. To determine a best possible upper bound on the restrained domination number of $G$ is more challenging, and we prove that $γ_{r}(G) \le \frac{2}{5}n$.

Hyperuniformity, which is a type of order that is characterized by the suppression of long-range density fluctuations in comparison to the fluctuations in standard disordered systems, has emerged as a powerful concept in many natural and engineered phenomena. In this paper, we harness hyperuniform point patterns to generate disordered, spatially-embedded networks that are distinct from both perfectly ordered lattices and uniformly random spatial networks. We refer to this class of disordered networks as \emph{hyperuniform-point-pattern-induced (HuPPI) networks}, and we compare them to counterpart \emph{Poisson-point-pattern-induced (PoPPI) networks} and networks that we generate from random-sequential-adsorption (RSA) packings (which have local order but are not hyperuniform). We examine HuPPI, PoPPI, and RSA networks that we generate using Gabriel, Delaunay, Delaunay-centroidal, and Voronoi network-generation methods. We show that HuPPI networks have smaller mean normalized total effective resistances (TERs) than PoPPI networks in Gabriel, Delaunay-centroidal, and Voronoi networks and have shorter mean random-walk mixing times than PoPPI networks in Gabriel, Delaunay, and Delaunay-centroidal networks. For all four network-generation methods and for both HuPPI and PoPPI networks, we find that the Ollivier--Ricci curvature (ORC) of an edge is negatively correlated with its TER edge contribution (i.e., the increase in TER that results from removing that edge). Collectively, our results (1) illustrate how the local network geometry that ORC measures is related to transport and network connectivity and (2) demonstrate that the network-generation method provides an additional design lever for spatial networks beyond the choice of their underlying point pattern. [This abstract is abridged significantly from the full abstract.]

Let $α_1,\ldots,α_d$ be real numbers, fix $δ>0$, and let $S$ be the set of positive integers $s$ such that $\|α_i s\|_{\R/\Z}>δ$ for some $1\le i\le d$. We prove that $S$ is not \enquote{$2$-large}, i.e. there is a $2$-coloring of $\N$ that avoids arbitrarily long monochromatic arithmetic progressions with common differences in $S$. The case $d=1$ was previously known; here we prove the result in every finite dimension.

We bound the number of permutations with a fixed number $r$ of $321 \ominus p_0$ patterns by a constant times the number of permutations which avoid $321 \ominus p_0$. We use this new upper bound to show that the ordinary generating function for permutations with $r$ copies of $k(k-1)...1$ is not rational for odd $k \geq 3$ and not algebraic for even $k \geq 3$.

We present a new algorithm for exploring or counting the numerical semigroups of a given genus that uses the unleaved version of the tree of numerical semigroups. In the unleaved tree there are no leaves rather than the ones at depth equal to the genus in consideration. For exploring the unleaved tree we present a new encoding system of a numerical semigroup given by the gcd of its left elements and its shrinking, that is, the semigroup generated by its left elements divided by their gcd. We show a method to determine the right generators and strong generators of a semigroup by means of the gcd and the shrinking encoding, as well as a method to encode a semigroup from the encoding of its parent or of its preceding sibling. With the new algorithm, we obtained $n_{76}=29028294421710227$ and $n_{77}=47008818196495180$.

For a polynomial $f(t) = 1+f_0t+\cdots +f_{d-1}t^d$ with positive integer coefficients Bell and Skandera ask if real rootedness of f(t) implies that there is a simplicial complex with f-vector $(1,f_0 \ldots,f_{d-1})$. In this paper we discover properties implied by the real rootedness of f(t) in terms of the binomial representation $f_i = \binom{x_{i+1}}{i+1}, i \geq 0$. We use these to provide a sufficient criterion for a positive answer to the question by Bell and Skandera. We also describe two further approaches to the conjecture and use one to verify that some well studied real rooted classical polynomials are f-polynomials. Finally, we provide a series of results showing that the set of f-vectors of simplicial complexes is closed under constructions also preserving real rootedness of their generating polynomials.

Let $(X_1,d_1),\dots,(X_N,d_N)$ be metric spaces with $d_i:X_i\times X_i\to[0,1]$ and let $X=\prod_{i=1}^N X_i$. Let $G$ be a directed graph with vertex set $[N]=\{1,\dots,N\}$ and edge set $E(G)$. Given edge weights $P=\{p_{ij}\in(0,1]:(i,j)\in E(G)\}$, define the closed in-neighborhood $B_j(G):=\{j\}\cup\{i:(i,j)\in E(G)\}$ and put $p_{jj}=1$. Define, for $g,h\in X$, \[ d_{X,G,P}(g,h)\;:=\;1-\frac{1}{N}\sum_{j=1}^N\ \prod_{i\in B_j(G)}\bigl(1-d_i(g_i,h_i)\bigr)^{1/p_{ij}}. \] We prove that $d_{X,G,P}$ is a metric and analyze its behavior under graph operations (disjoint unions, Cartesian products). Two quantitative principles govern this family: (i) \emph{edge densification} (adding edges) increases the distance pointwise and in expectation, with an exact single-edge increment formula and a uniform $1/N$ sensitivity bound; and (ii) \emph{weight monotonicity}: increasing an edge weight $p_{ij}$ decreases the metric. When the coordinate pairs are independent across coordinates, we obtain a closed-form factorization of the mean distance.} In the discrete specialization $X=\mathbb{F}_q^N$ with $d_i\in\{0,1\}$ and $G$ acyclic, after replacing $G$ by the oriented reflexive transitive closure $G^{\preceq}$ of Corollary~1.4, the unnormalized distance $D_{X,G^{\preceq},P}:=N d_{X,G^{\preceq},P}$ coincides with the size of the hereditary closure of the support, yielding a poset/digraph \emph{sphere-packing bound} via the counting of lower ideals. Finally, we give a continuous analog of the construction, yielding a metric on $C([0,1],\mathbb C)$ through an explicit integral formula. These results unify and generalize several graph-based metrics used in coding theory while providing new design levers for mean-distance control.

In this paper, we develop the metric geometry of ranking statistics, proving that the two major permutation distances in the statistics literature -- Kendall tau and Spearman footrule -- extend naturally to incomplete rankings with both coordinate embeddings and graph realizations. This gives us a unifying framework that allows us to connect popular topics in computational social choice: metric preferences (and metric distortion), polarization, and proportionality. As an important application, the metric structure enables efficient identification of blocs of voters and slates of their preferred candidates. Since the definitions work for partial ballots, we can execute the methods not only on synthetic elections, but on a suite of real-world elections. This gives us robust clustering methods that often produce an identical grouping of voters -- even though one family of methods is based on a Condorcet-consistent ranking rule while the other is not.

There are two objectives to this work: to classify all tame integer tilings and to classify all tame integer hypertilings. Motivation for the first objective comes from Conway and Coxeter's modelling of positive integer friezes using triangulated polygons, which has received significant attention since the discovery of cluster algebras by Fomin and Zelevinsky in 2002. Assem, Reutenauer, and Smith introduced $\text{SL}_2$-tilings as generalisations of friezes, and Bessenrodt, Holm, and Jørgensen classified positive integer $\text{SL}_2$-tilings using infinite triangulated polygons. Here we consider $N$-tilings, of which $\text{SL}_2$-tilings are the case $N=1$. We provide a geometric model for all tame integer $N$-tilings using a generalisation of the Farey graph in the hyperbolic plane. Highlights of this model include classifications of all positive integer $N$-tilings and of all positive rational friezes, with entries encoded by lambda lengths or weight data of triangulated polygons. The second objective is motivated by Bhargava's celebrated study of binary quadratic forms using integer cubes and by an observation of Demonet et al. that there is essentially only one three-dimensional positive integer tiling with $\text{SL}_2$ cross sections. We consider a richer class of three-dimensional tilings, which we call hypertilings, using the Cayley hyperdeterminant. We classify all tame integer hypertilings using generalised Farey graphs; remarkably, those with Cayley hyperdeterminant 1 prove to have a simple description in terms of triple Hadamard products of integer pairs.