arXiv++ Combinatorics

We prove the conjecture of Prellberg and Stanton (2003) that $\frac{1-q}{(q^n;q)_m}\genfrac{[}{]}{0pt}{}{n}{m}_{q}$ has nonnegative power-series coefficients for $0<m<n$, except when $n$ is even and $m\in\{2,n-2\}$. We obtain a polynomial version by bounding a Möbius correction by first differences of Gaussian coefficients. The proof uses partitions and quadratic and cubic semi-invariants of binary forms. An extension of this bound proves the Reiner--Stanton--White conjecture on positivity of orbit polynomials for flags of subspaces.

Using the spectral relation between irreducible cyclic codes (ICC) and generalized Paley (GP) graphs recently found by the authors, we study the weight distribution of irreducible cyclic codes of length $2^\ell$, $\ell \in \mathbb{N}$. These codes were previously studied by Sharma, Bakshi and Raka, who divided them into two families (each having two cases). First we characterize the GP-graphs spectrally related to these families of ICCs: they are complete, semiprimitive, Hamming, or Cartesian products of semiprimitive GP-graphs. We then compute the spectrum of these graphs and hence, by the mentioned spectral relation we finally obtain neat explicit expressions for the weight enumerators of all the irreducible cyclic codes of length $2^\ell$ with $\ell \in \mathbb{N}$.

We study a model of a random centrally symmetric polytope and ask about the existence of points in the polytope with non-zero, integer coordinates. Our main results are the location of a sharp threshold for the existence of these integer points, a characterization of the typical empirical distribution of their coordinates, and showing that near the feasibility threshold these integer points are almost always totally isolated --- at linear Hamming distance to the nearest other integer point in the polytope. The behavior of these random integer programs is related to that of the symmetric binary perceptron (the case when coordinates of points are $\pm 1$-valued). The lack of symmetry in the set of potential solutions leads to new questions and phenomena, such as the distribution of the coordinate sizes in typical solutions, and requires the development of new information-theoretic techniques to deal with higher-dimensional optimization problems arising in the method of moments.

Let p(n,k) denote the number of partitions of n into exactly k parts. In 1942 Auluck, Chowla and Gupta conjectured that for every n the sequence p(n,1), p(n,2), ..., p(n,n) is unimodal. Szekeres proved this for all sufficiently large n, but with a threshold that was never made explicit. We prove the conjecture for every n >= 1. For n >= 10^5 we give an analytic argument with fully explicit constants: an exact probabilistic representation of the ratio p(n,k+1)/p(n,k), a second-order saddle-point main term with a rigorous uniform error bound in the transition window, and separate elementary or saddle-point estimates in the two tails. Every numerical constant in this argument is certified in ball arithmetic. For n <= 2*10^5 the conjecture is verified exhaustively by two independent programs, one of them using exact integer arithmetic only. Since log-concavity of k -> p(n,k) fails for every n >= 4, the argument works with first differences and never uses log-concavity.

We propose constructions of spherical $5$- and $7$-designs in odd dimensions by lifting balanced halves of even-dimensional designs to several layers of suitable latitudes. For every odd dimension, we obtain an explicit spherical $5$-design with at most $60(d^2-1)$ points, attaining the optimal quadratic order in the dimension. Assuming Zauner's conjecture, this bound improves to $7.5(d-1)^2$. For every odd $d \geq 9$, we also construct a spherical $7$-design with $110M$ points from a complex projective $3$-design with $M$ points in $\mathbb{CP}^{(d-3)/2}$.

A stable matching in a bipartite preference system is a matching that has no unmatched pair whose endpoints both prefer each other to their current assignments. Rothblum gave a linear description of the stable marriage polytope, the convex hull of the incidence vectors of stable matchings. We prove that this polytope is box-totally dual integral. The proof uses the affine representation of the stable marriage polytope as an order polytope together with the matricial characterization of box-TDI polyhedra. Since Kiraly and Pap proved that Rothblum's description is totally dual integral, our result further implies that Rothblum's system is box-totally dual integral.

This paper studies an open network design problem of constructing graph topologies with maximum algebraic connectivity under fixed numbers of vertices and edges. A density-dependent approach is proposed that decomposes the design task into two stages: a high-quality, low-cost structural backbone construction and a reinforcement learning completion stage. The method selects the backbone based on density, using complete multipartite graphs in dense regimes and Cayley graphs in low-to-intermediate regimes, and then refines the remaining edges through a learning-based procedure. Numerical results show that the proposed method achieves high algebraic connectivity with favorable runtime scalability, outperforming existing methods. These results support a structural-family-first strategy for scalable network design.

We prove that every finite ordered set of width at most three and cardinality at least four is reconstructible from its deck. This settles the width-three part of an open problem posed by Schröder in Ordered Sets; the separate question concerning ordered sets of height one is not addressed here. The new ingredient is a criterion for recovering the marked maximal deck of an ordered set with exactly three maximal elements from its unmarked maximal deck and the isomorphism type of the suborder obtained by deleting all maximal elements. We express the criterion as an orbital balance condition on the attachment ideals in this common base. Necessity follows by double counting; sufficiency uses the structure of automorphism actions in width at most three. The full-deck theorem then follows from reconstruction results of Schröder concerning maximal cards and marked maximal cards. A local reattachment argument correcting one intermediate step in the two-maximal-element case is included in an appendix.

In characteristic zero, we prove that the Tor algebras of the generic, symmetric, and skew-symmetric determinantal rings are Koszul with respect to a natural regrading. In particular, their Eilenberg--Moore spectral sequence degenerates, which allows us to explicitly determine the Poincaré series of their residue fields and answers a problem raised by Avramov. To do this, we construct the universal hook algebra and prove that it has a quadratic Gröbner basis and thus is Koszul. This leads to a new standard monomial construction of the irreducible polynomial GL-representations, alongside the Schur and Weyl functors, which is of independent interest.

A proper coloring of vertices of a graph $G$ is called $t$-frugal if no color appears more than $t$ times in the neighborhood of any vertex of $G$. While $1$-frugal coloring coincides with $2$-distance coloring, we study $2$-frugal colorings of planar graphs with maximum degree $4$ and $5$, respectively. We prove that every planar graph with maximum degree $4$ admits a $2$-frugal coloring with $7$ colors, while a planar graph with maximum degree $5$ admits a $2$-frugal coloring with $10$ colors. The results present variations of parts of the famous Wegner's conjecture, which for planar graphs with maximum degree $Δ\in\{4,\ldots,7\}$ states that their $2$-distance chromatic number is at most $Δ+5$.

The Tu-Deng Conjecture, made in 2011, asserts that for $k\geq2$ and $1\leq t<2^k-1$, the set \[ S_{t,k}=\left\{(a,b)\in\{0,1,\ldots,2^k-2\}^2: a+b\equiv t\pmod{2^k-1},\quad \wt(a)+\wt(b)<k\right\} \] satisfies \[ |S_{t,k}|\leq 2^{k-1}. \] Proofs of the conjecture were given independently by the author and by Liu, Luo and Xie in arXiv in 2026. Let $r=\wt(t)$, and let $z=k-r$ be the number of zeros in the $k$-bit expansion of $t$. We prove that equality holds in the Tu-Deng Conjecture if and only if every cyclic distance between consecutive zeros is at least $z$. We give several other simple necessary and sufficient conditions, including a forbidden-pattern condition, a packing condition for the zero positions, a composition condition for the gaps, and equivalent conditions involving the coefficients of the polynomial $H_W(u,v)$ in the proof of the Tu-Deng conjecture. We also count the equality words having a prescribed number of zeros.

The linear arrangement of a simple graph $G = (V,E)$ is a bijective labeling $π$ of the vertices of $G$ to the set $\{1, \ldots, n\}$. The maximum linear arrangement ($\texttt{maxLA}$) problem is to determine whether $G$ has a labeling such that the sum of labels across $G$'s edges, $\sum_{uv \in E} |π(u) - π(v)|$, is at least a given value $k$. Minimum linear arrangement ($\texttt{minLA}$) is defined analogously. Both $\texttt{maxLA}$ and $\texttt{minLA}$ are known to be NP complete for general graphs. $\texttt{minLA}$ has shown to be NP complete for bipartite graphs by Evans and Shiloah in 1975. It has been an open problem whether the same holds for $\texttt{maxLA}$. In this paper we prove that $\texttt{maxLA}$ is NP complete for bipartite graphs.

We prove that every connected, locally finite, quasi-transitive graph which is quasi-isometric to a graph excluding a countable clique as a minor is quasi-isometric to a planar graph. Consequently, every finitely generated group with such a quasi-isometry is virtually planar, meaning that some finite-index subgroup admits a planar Cayley graph. We also show that a connected, locally finite, quasi-transitive graph admitting a regular map into a bounded-degree graph excluding some finite minor admits a regular map into a bounded-degree planar graph. If the source is accessible, the target need only exclude a countable clique. Combined with work of Mackay, Spriano, and the present author, this shows that a finitely presented group admits a regular map into a bounded-degree graph excluding a countable clique if and only if it is virtually planar.

We give a direct information-theoretic proof of the Plünnecke--Ruzsa inequalities for finite subsets of abelian groups. The argument rests on an elementary coupling inequality proved by maximizing joint entropy, without tensor powers or asymptotic constructions. It also yields Ruzsa's sumset triangle inequality and an extension to non-abelian groups.

We prove a longstanding conjecture of András Bezdek on the stability of plank covers of the planar disk $D$. If a sufficiently small disk $\varepsilon D$ is removed, then every finite family of planks covering the resulting annulus can be rearranged to cover the whole disk. For the proof, we establish a stronger dimension-independent stability theorem. If $K \subset {\mathbb R}^n$ is an origin-symmetric convex body for $n \geq 2$, and the uncovered region lies in $\varepsilon K$ and has volume $v$, then the excess overlap is at least $c v/\varepsilon$, where $c>0$ is an absolute constant. The proof introduces a pruning procedure and a flattening mechanism. Pruning peels away curvature through local removals whose cumulative effect is guaranteed to be substantial. Flattening trades straightness for bounded multiplicity and geometrically exposes the overlap that pays for each pruning step.

Rashidi, Shajareh Poursalavati, and Tavakkoli [J. Algebra Comb. Discrete Struct. Appl. 7 (2020), no.2, 183-193, Theorem 3.6] claim $Z(P(n,3)) = 8$ for all $n \geq 12$, but this fails at $n = 12$, where $Z(P(12,3)) = 7$. We give an explicit $7$-vertex zero forcing set for $P(12,3)$ and its forcing sequence, and verify by exhaustive search that no $6$-vertex set forces $P(12,3)$. We prove $Z(P(n,3)) \le 8$ for $n \ge 9$ using an explicit forcing set and rotational symmetry. Exhaustive search yields $Z(P(n,3))$ for $7 \le n \le 20$ and identifies the gap in the published proof: its case analysis fails to exclude $7$-vertex sets. We conjecture $Z(P(n,3)) = 8$ for $n \ge 13$, requiring a matching lower bound for all large $n$.

The Hilton-Milner theorem is a classical theorem in extremal set theory which determines the maximum size of a nontrivial $k$-uniform intersecting family. In this paper, we prove an exact version of the Hilton-Milner theorem in the $\ell_2$-norm. Our method also gives an asymptotic version of the Hilton-Milner theorem in the $(j, p)$-norm.

We prove co-RE-completeness, and thus undecidability, of the following problem: given a single (connected) polycube, decide whether it tiles 3D Euclidean space by translations. We reduce from Wang tiling using the decorated two-prime Sudoku construction of Greenfeld and Tao and a cyclic encoding adapted from OpenAI's 3D aperiodic tile, and apply a reduction of Kim to make the prototile connected (via faces). Dimension three is optimal: translational monotiling is known to be decidable in $\mathbb{Z}^2$ and for a single (possibly disconnected) polyomino in $\mathbb{R}^2$.

We study Gaussian regression under squared population $L_2$ loss in a known $m$-dimensional subspace of degree-at-most-$k$ functions on the $d$-dimensional Boolean cube. Random inputs can undersample regions essential for prediction, delaying the parametric rate even when the model is known. For fixed $q_0<1/2$, $1\le k\le q_0d$, and sufficiently large fixed $A$, the worst-subspace sample threshold for minimax error $Aσ^2(m+t)/n$ with confidence $1-e^{-t}$, $t\ge\log4$, is \[ N=(m+t)\exp\{E_{d,k}+O(k^{1/3})\}, \quad E_{d,k}=dΨ(k/d), \] where $Ψ(q)=\log2-\mathsf H(\tfrac12-\sqrt{q(1-q)})$ and $\mathsf H$ is binary entropy with natural logarithms. The upper bound holds for every feasible $m$; the matching lower bound holds when $m\le\binom d{\lfloor k^{1/3}\rfloor}$ or $t\ge m$. We sharpen the Polyanskiy--Samorodnitsky uncertainty principle in two respects. First, for fixed leakage $ρ\in(0,1)$, the smallest set carrying a fraction $1-ρ$ of a nonzero degree-at-most-$k$ polynomial's energy has probability $\exp\{-E_{d,k}+O_{ρ,q_0}(k^{1/3})\}$. An Airy-kernel construction proves that the remainder cannot be $o(k^{1/3})$ in general. Second, we construct a subspace of dimension $\binom d{\lfloor k^{1/3}\rfloor}$ such that every function in the subspace has at least a fraction $1-ρ$ of its energy on the same set, whose probability is at most $\exp\{-E_{d,k}+C_{ρ,q_0}k^{1/3}\}$. For sufficiently large $k$, this set is a Hamming ball. A striking consequence is an exponential cost of noise: the parametric rate can require $(m+t)4^k\exp\{-O(k^{1/3})\}$ samples, whereas $O((m+t)2^k)$ suffice for noiseless identification. As $k\to\infty$ with $k/d\to0$, the noisy threshold is $(m+t)\exp\{2k+o(k)\}$.

We study the Lax operator for Macdonald symmetric functions introduced by Nazarov and Sklyanin in 2015, extending the spectral theory developed by Mickler-Moll in the Jack case. We extend the NS operator to a Lax operator acting on symmetric functions with coefficients in polynomials in an auxiliary variable, and prove it has an orthogonal eigenbasis indexed by partitions and their addable corners, with the corner contents as eigenvalues, and leading terms given by Macdonald symmetric functions. We obtain the Macdonald analogue of the author's earlier Jack box-sum identity for Littlewood-Richardson coefficients. We then strengthen this box-sum identity to a two-parameter formula, proved using a finite-rank product formula of Warnaar. Its residues give explicit linear relations among Macdonald Littlewood-Richardson coefficients.

Due to the availability of powerful analytic techniques, vastly superior lower bounds are known for the measurable chromatic number of Euclidean spaces compared to their ordinary chromatic number. Indeed, even the breakthrough lower bound of 5 for the famous Hadwiger-Nelson problem lagged over 35 years behind that of the measurable setting. This raises the fundamental question of whether the measurable and ordinary chromatic number of Euclidean spaces differ as conjectured by Székely in 1984. Our main result is that $\overlineα(\mathbb{R}^4)=m_1(\mathbb{R}^4)$ and $χ(\mathbb{R}^4)=χ^{(m)}(\mathbb{R}^4)$, and for $d\ge5$ that \[ \overlineα(\mathbb{Q}^d) = \overlineα(\mathbb{R}^d)=m_1(\mathbb{R}^d) \qquad\text{and}\qquad χ(\mathbb{Q}^d) = χ(\mathbb{R}^d)=χ^{(m)}(\mathbb{R}^d). \] Our theorem also holds for multiple forbidden distances $D=\{d_1,\ldots,d_t\}$ provided that $d_1^2,\ldots,d_t^2 \in \mathbb{Q}$. As a consequence, we immediately lift numerous measurable chromatic number results into the ordinary setting. We also take the opportunity to further optimize the new bounds. For multiple distances, Erdős asked whether the chromatic number of $\mathbb{R}^d$ with up to $k$ forbidden distances $D$ grows exponentially in $k$. By a theorem of Bukh, we obtain for $d \ge 4$ that \[ \sup_{|D|=k}χ_D(\mathbb{R}^d) \ge m_1(\mathbb{R}^d)^{-k}. \] Making progress on another problem of Erdős, we prove that \[ (2+o(1))^d \le χ(\mathbb{R}^d) \le \left(\frac{3\sqrt{3}}{4}+o(1)\right)^d. \] We also vastly improve the lower bounds for $χ(\mathbb{R}^d)$ for small $d\ge4$. We expect that our techniques could be developed much further. This includes the possibility of extending our main theorem that $χ(\mathbb{R}^d)=χ^{(m)}(\mathbb{R}^d)$ for $d\ge 4$ to $d=3$ or possibly even to $d=2$ to tackle the Hadwiger-Nelson problem.

We establish a sufficient condition for infinite log-concavity and apply it to five families of combinatorial sequences. We give a new proof of infinite log-concavity for the Boros--Moll coefficient sequences $(d_k(n))_{k=0}^n$ for fixed $n$. For the transposed sequences $(d_\ell(\ell+k))_{k\ge0}$, we prove Zhao's conjecture on infinite log-concavity for every fixed integer $\ell\ge3$. For the normalized sequences in Euler's difference table, we confirm the infinite log-concavity conjecture of Chen, Gu, Ma and Wang under essential iteration, in which both endpoints are discarded after each step. We also confirm a conjecture of Medina, Moll and Rowland on the infinite log-concavity of the coefficient sequences of polynomials arising from iterated primitives of $\log(1+x)$. Finally, we answer a question of Brändén and Chasse by showing that, for positive integers $d$, the sequence $(k^d)_{k\ge0}$ is infinitely log-concave if and only if $d\ne2$. For every real $d\ge3$, all its iterates are positive at every index $k\ge1$. The proofs combine holomorphic estimates with finite computer-assisted verification.

We study arrangements of conics and lines in the complex projective plane from the viewpoint of 4-manifolds. We introduce combinatorial conic-line arrangements, the conic-line counterpart of rank-3 matroids, together with their topological and smooth realisations, and we ask which restrictions on a complex arrangement survive when its components are replaced by locally-flat spheres in the same homology classes with the same local singularity models. For an ADE combinatorial conic-line arrangement of even total degree admitting a topological realisation we prove a Hirzebruch-type inequality; the proof uses only branched covers and the local topology of rational double points. In the complex-algebraic category we show that equality holds exactly when the arrangement is a maximising curve, hence free with prescribed exponents. We then introduce divisible and odd combinatorial conic-line arrangements and obtain inequalities and congruences for the multiplicity sequence of their resolutions, via cyclic branched covers, the G-signature theorem, spin structures, and Furuta's 10/8-theorem.

Which pure states give uniform outcomes in several mutually unbiased measurements, and when can they form another measurement basis? We distinguish common unbiased states, their orthonormal completion, and further extension. For a displayed phase-deformed Fourier pair in dimension $2m$, a clock symmetry and skew antiunitary complete every prescribed common unbiased state to an explicit orthonormal basis. In dimension six, an amplitude-profile obstruction proves strong unextendibility of a given mutually unbiased triple when its original third-basis rays are invariant under the ternary clock. We give an exact nonproduct example and an application to a companion whose columns are localized at single Fourier frequencies. For every exact Hadamard matrix in a specified closed entrywise neighborhood of a fixed reference matrix, the coordinate and Hadamard bases have exactly 48 common unbiased rays but no third measurement basis, with a quantitative lower bound on the squared Gram defect of every six-column candidate. We also study auxiliary complex equations for common states, retaining algebraic multiplicities. For a flat unitary of order six with all $3\times3$ minors nonzero, the projective ray scheme is finite; each singular two-minor contributes two reduced isolated boundary points, and the affine coordinate algebra is finite-dimensional over $\mathbb{C}$. In every order, a critical-algebra identity preserves multiplicities; in dimension six it gives finiteness for a fixed phase fibre. Specialization over a discrete valuation ring controls complete reciprocal-orthogonal collections. A nonphysical Tao/Potts collection separates algebraic from physical solutions. These results do not determine the global maximum number of mutually unbiased bases or classify all triples.

We prove the lower bounds $\mathrm{R}(6,8)\ge 135$ and $\mathrm{R}(8,10)\ge 345$, improving the bounds 134 and 343 listed in the April 2026 revision of Radziszowski's dynamic survey. We give explicit red/blue colorings of $K_{134}$ with no red $K_6$ or blue $K_8$, and of $K_{344}$ with no red $K_8$ or blue $K_{10}$, and verify them with two independently written exhaustive clique checkers. Starting from published colorings, we find these witnesses by adding vertices and repairing the resulting monochromatic cliques through local search. The search uses exact conflict counts, preparation moves aimed at making remaining cliques cheaper to break, and mutations followed by repair. A loss based on the largest monochromatic clique containing each edge yielded a useful intermediate state for the $\mathrm{R}(6,8)$ construction. Guided by the author, an AI coding agent wrote and ran the search code; we describe the methods and document the ancestry of the resulting colorings.

For a graph $G$, let $e(G)$ denote the number of edges of $G$, and let $c(G)$ be the number of distinct cycles in $G$. Morrison, Roberts and Scott asked whether, for every fixed graph $H$ and all large $n$, some $n$-vertex $H$-free graph maximizes both $e(G)$ and $c(G)$. In this paper, we show that the answer is no for every possible chromatic number. Let $T_{n,r}$ be the complete $r$-partite Turán graph on $n$ vertices. We find a constant $γ_r>0$ such that if $n$ is sufficiently large and $\mathcal{H}$ is a finite family with $χ(\mathcal{H})=r+1$ satisfying \[ ex(n,\mathcal{H})<e(T_{n,r})+γ_r n, \] then every cycle-maximal $\mathcal{H}$-free graph is edge-extremal, and $γ_r$ is best possible.

We prove that for each $d \geq 2$, there exist infinitely many symmetric abstract $d$-rigidity matroids that are not the $d$-rigidity matroid, the $d$-hyperconnectivity matroid, or the $d$-cofactor matroid. When $d=2$, our constructed matroids are pathological, in the sense that they are not contained within any abstract 2-rigidity matroid family. Our construction additionally provides a counter-example to a conjecture of Tyomkyn.

We show that there exists $c > 0$ such that any subset of $\{1,\ldots,N\}$ having size $\gg N / \exp( (\log\log\log N)^c )$ contains a nontrivial pattern of the form $x,x+y,x+2y,x+y^3$. It is the first configuration of complexity strictly greater than $0$, other than refinements of arithmetic progressions, for which quantitative bounds over integers were obtained.

A set of vertices in a digraph is majority-stable if each of its vertices has at most half of its outneighbors in the set. A fractional majority coloring assigns nonnegative weights to such sets, covering each vertex to total weight at least one; its minimum total weight is the fractional majority coloring number. We prove that every finite loopless digraph has fractional majority coloring number at most \(523/140<3.736\), improving the bound \(3.9602\) of Anastos, Lamaison, Steiner and Szabó. Our construction uses exclusive sampling from pairs in random cycle matchings, followed by deletion and a correction on the acyclic remainder. The same approach yields bounds below \(3.430\) for digraphs with a directed cycle factor, \(3.287\) for those with an even cycle factor, and \(3.324\) for tournaments. As a consequence, for every fixed \(\varepsilon>0\), we obtain a randomized \((2.491+\varepsilon)\)-approximation algorithm producing an explicit fractional majority coloring in expected polynomial time. On the complexity side, we prove NP-completeness of deciding whether the fractional majority coloring number equals $3/2$, and establish a multiplicative inapproximability threshold of $72/71$ and an additive upper-estimation threshold of $3/142$. All three results hold for acyclic oriented digraphs with outdegrees zero or two in which every directed path has length at most two.

It is shown that, as $n\to\infty$, the logarithm of the number of decompositions into cycles of the $n$-dimensional Boolean cube $E^n$ is \[ 2^n(\ln n-1+o(1)), \] and the logarithm of the number of Hamiltonian cycles in $E^n$ is at least \[ 2^{n-1}(\ln n-1+o(1)). \] It is proved that, in $E^n$, every perfect matching whose edges belong to at most $k$ directions can be extended to a Hamiltonian cycle for every $n\geq n_0(k)$.

We introduce a generator-matrix-based geometric approach to the covering radius of $\mathbb F_{q^m}$-linear rank-metric codes. Starting from the $q$-system associated with the code, we define the notion of covering lift and show that the covering radius can be recovered from the hyperplane weights of such lifts. This yields an exact criterion, in terms of the length and effective length of the code, for the covering radius to attain its largest possible value, together with the upper bound $ρ(\mathcal{C})\le \min\{m,n\}-1$ in all remaining cases. We then specialize our approach to $1$-dimensional codes, for which the effective length coincides with the minimum rank distance. In this setting, codes attaining $ρ(\mathcal{C})= \min\{m,n\}-1$ are related to covering lifts that are clubs. More generally, we characterize this case through linear maps into suitable quotient spaces, obtaining equivalent interpretations in terms of generalised evasive subspaces and auxiliary matrix rank-metric codes. These results determine the covering radius for several boundary values of the minimum distance and for all $1$-dimensional codes with extension degree $m\in\{3,4,5\}$. For $m=6$ and every $q$ we provide constructions and, for $q\in\{2,3\}$, computational results showing that $1$-dimensional rank-metric codes with the same length and minimum distance can have different covering radii.

The computation of the vertices of a polyhedron described by a system of linear inequalities is a central problem in polyhedral computation. It is a fundamental step in the conversion between H-representations, by linear inequalities, and V-representations, by vertices and extreme rays. This operation plays an important role both in the study of polyhedra and their combinatorics in mathematics and in applications to software and system verification. We present a certificate-based approach for formally verifying the computation of the vertices of a polyhedron. Given an informally computed list of vertices, our method allows to certify in the proof assistant Rocq that the list is complete, or even exact. The cornerstone of the method is a new completeness criterion based on an abstract simplicial complex that generalizes a triangulation of the normal fan of the polyhedron. A significant advantage over previous approaches is that the usually expensive numerical computations are essentially reduced to membership tests to the polyhedron, while the other steps are cheap combinatorial tests. We implement the certification method and prove its correctness in the proof assistant Rocq. We experiment with it on a variety of polyhedra, including Birkhoff polytopes, cross-polytopes, cubes, permutahedra, hypersimplices, and high-dimensional polytopes involved in the disproof of the Hirsch conjecture. Our experiments show that certification with the Rocq-to-OCaml extracted checker is typically 1.5x to over 5x faster than vertex enumeration by the state-of-the-art informal C implementation lrslib of the reverse search method.

We construct a family of scalar-closed, non-additive maximum sum-rank distance codes (MSRD) by switching norm components of a $σ$-rational normal curve and lifting the resulting point set through a linearized Reed--Solomon syndrome map. We characterize the admissible switches by a multiplicative stability condition on the norm classes. In particular, for $1 \leq n_i \leq m$, $N=n_1+\ldots+n_{\ell}$ and $2\leqδ\leq N-1$, every partition of $\mathbb{F}_q^*$ satisfying a specific condition, referred to as Condition $(\diamond)$, yields a code in $\mathbb{F}_{q^m}^{N}$ of size $q^{m(N-δ+1)}$ and minimum sum-rank distance $δ$; the code is non-additive whenever a curve component is retained. For $\ell\geq2$ these appear to be the first non-additive MSRD codes in the literature, all previously known families with more than one block being $\mathbb{F}_q$-linear. Moreover, every code of the family has the same sum-rank weight distribution as an $\mathbb{F}_{q^m}$-linear MSRD code with the same parameters, although the geometry of the switched set distinguishes it from linearized Reed--Solomon codes. In the single-block case, an explicit rank isometry identifies the construction with the cone codes of Durante, Grimaldi and Longobardi.

We introduce an asymmetric variant of a classic problem by Roth about colourings of integers and midpoints. The new problem cannot be solved with the standard approach by Erdös-Sárközy-Sós which uses symmetry. We describe a Fourier Analytic approach which gives asymptotically tight bounds. In the $\mathbb{F}_3^n$ setting, the density increment we show is efficient and together with the Freiman-Ruzsa Theorem provides an affine subspace of near optimal codimension within the distinguished set. This approach adopted to the setting of the integers from $1$ to $N$ via Bohr sets and Bogolyubov-Ruzsa Lemma gives a progression of length being a power of $N$ which only depends on the number of colours. We then use Chang's Lemma and Balog-Szemerédi-Gowers Theorem to further improve the dependence on the number of colours.

In this article, we show that the Sidon subsets of $[N]^d$ are Fourier uniform, and we prove a dense model lemma for Sidon sets. Using these results and a higher-dimensional version of Rado's theorem, we prove that given any partition regular linear equation in $s \geq 5$ variables with nonzero coefficients, and any finite partition of a sufficiently dense Sidon subset $S$ of $[N]^d$, the number of monochromatic solutions to this equation is $\gg |S|^s N^{-d}$ for all large $N$. As a corollary of the Fourier uniformity result, we show that dense Sidon subsets of $[N]^d$ are equidistributed in certain arithmetic and Bohr structures. Our proofs are motivated by the arguments of Ortega and Prendiville.

We study the combinatorics of the intervals below quasi-Coxeter elements in the absolute order of finite Coxeter groups. In particular, we prove that these intervals are EL-shellable, except possibly for quasi-Coxeter elements of types $E_7$ and $E_8$, and we compute their zeta polynomials. We also show that a total order of the reflections yields an EL-labeling if it does so on all rank-two subintervals, which proves a conjecture of Williams for Coxeter elements. In order to obtain these results, we prove them for the infinite families, and we treat the exceptional types by computer. In addition, we study the related interval monoids, and we find a counterexample to cancellativity for every proper quasi-Coxeter element of type $D_n$ ($n\ge5$), $E_6$, $E_7$, $E_8$; in particular, these monoids do not embed in the corresponding interval groups. This gives a negative answer to a question posed by Baumeister, Holt, Neaime, and Rees.

Erdős and Sós conjectured that every $n$-vertex $3$-uniform hypergraph whose link graphs are all bipartite has at most $(1/4+o(1))\binom n3$ edges. We disprove this conjecture by constructing counterexamples with edge density at least $0.250000356>1/4$ for all sufficiently large $n$.

Linearized permutation polynomials over finite fields have important applications in coding theory, cryptography, and combinatorics. In this paper, we give an explicit description of the cycle structure of a general linearized permutation polynomial in terms of the Jordan blocks of its Dickson matrix, thereby providing a Dickson-matrix formulation of a question raised by Mullen and Vaughan in 1988. Building on the cycle structure, we establish a matrix-theoretic framework to characterize their parity. For finite fields of characteristic 2, we determine all odd linearized permutation polynomials explicitly. For fields of odd characteristic, we derive parity criteria in terms of the eigenvalue structure of the associated Dickson matrix. Based on the parity criteria, we then give an algorithm for deciding the parity of a given linearized permutation polynomial.

We prove that for every finite connected simple graph $G$ on $n$ vertices with minimum degree $k\geq 2$, there is a coupling of its uniform spanning tree and its random $1$-out subgraph under which the expected number of differing edges is $O(n\log (k)/\sqrt{k})$. More generally, we establish analogous couplings between a wide class of determinantal processes and their corresponding $1$-out processes, including Kalai's determinantal hypertrees, with expected symmetric difference negligible compared to the size of the determinantal set. While the graphical case admits a surprisingly short and elegant proof, the more general result requires establishing an asymptotic equipartition property for the determinantal measures in this class, from which we also derive exponential growth rates for the homology torsion of determinantal hyperforests in higher-dimensional regular high-degree complexes.

The Bermond--Thomassen Conjecture asserts that every digraph with minimum out-degree at least $2k-1$ contains $k$ disjoint directed cycles; it remains open in general. We asymptotically resolve it: there exist an absolute constant $K$ and a function $g(k)=o(k)$, independent of $n$, such that every $n$-vertex finite simple loopless digraph with minimum out-degree at least $2k+g(k)$ contains $k$ disjoint directed cycles for all integers $k\ge K$ and $n\ge1$. In fact we obtain the explicit error term $g(k)=O(k^{3/4}\sqrt{\log k})$.

We prove the sign-pattern and limiting-transition assertions of the Berkovich--Dhar conjecture modulo five, covering both the square and the cube of the finite Borwein product. In each power, the coefficients in residue class zero are strictly positive, while the sequences in residue classes three and four have exactly one positive-to-negative sign change after zero terms are omitted. We determine all four transition constants, correct the preliminary numerical estimates in the conjecture, and give their linear corrections with explicit bounded errors. A common four-arc expansion governs both powers. Near each vanishing amplitude, strict negativity of a weighted adjacent difference determines the transition. The cubic case also has two identically vanishing components in the infinite product; a shifted saddle expansion resolves the resulting finite-product boundary terms. Positive series identities, uniform remainder estimates, and an exact integer recurrence complete the proof for every positive integer.

The (global) average order of dominating sets of a graph is the average number of vertices of its dominating sets. Analogously, the local average order of dominating sets is the average number of vertices of its dominating sets containing a fixed vertex. In this paper, we show that the local average order of dominating sets of a graph with $n$ vertices is at least $\frac{n+1}{2}$, with equality if and only if the degree of the fixed vertex is $n-1$. Furthermore, for a graph on $n$ vertices without isolated vertices, we show that $\frac{5n-1}{6}$ is an upper bound for the local average order of dominating sets. Additionally, we give a proof of an exact formula for the local average order of dominating sets when the degree of the fixed vertex is $n-2$, and determine an upper bound for the local average order of dominating sets when the fixed vertex is an $l$-stem ($l \geq 2$).

The anti-Ramsey number $AR(n,F)$ is the maximum number of colors in an edge-coloring of the complete graph $K_n$ containing no rainbow copy of $F$. I prove that every spanning linear forest on an even number $n\ge6$ of vertices whose components have even orders and which has an isolated edge has the same anti-Ramsey number as a perfect matching on $n$ vertices. The orders of the longer path components may be different.

Addario-Berry, Reed, Scott, and Wood (JoCG 2026) proved that the $n$-dimensional associahedron has chromatic number at most $22500\cdot\log_3 n+O(1)$. We present a much simpler proof that the chromatic number of the $n-1$-dimensional associahedron is at most $6 \log_2 n + 18$. Since this paper's appearance as a preliminary abstract in the Japan Conference on Discrete and Computational Geometry, Graphs, and Games held from September 7-10, 2026, the bound has been improved to $O(\log \log n)$ by Oum and Wood (arXiv September 30, 2026). It is hoped that the simple method here could give insights to further improvements.

For a graph $F$ with at least one edge, a $k$-uniform hypergraph is Berge-$F$-saturated if it contains no Berge-$F$, but adding any missing hyperedge creates a Berge-$F$. The saturation number $\text{sat}_k(n,\text{Berge-}F)$ is the minimum number of edges in such a hypergraph on $n$ vertices. English, Gordon, Graber, Methuku and Sullivan conjectured a linear upper bound for every fixed finite family of forbidden graphs. We prove the single-graph case: $\text{sat}_k(n,\text{Berge-}F)=O_{F,k}(n)$ for every fixed integer $k\ge2$ and every fixed finite simple graph $F$ with at least one edge. The proof combines a sparse construction with degree and matching arguments.

For a graph $G$ and a set $B\subseteq V(G)$, the spread $\mathrm{sp}(B)$ of $B$ is the difference between the largest and the smallest degree in $G$ of a vertex of $B$, and for an integer $k\geq 0$ the parameter $\mathrm{sp}(G,k)$ is the largest cardinality of a set $B$ with $\mathrm{sp}(B)\leq k$. Caro, Lauri and Zarb asked for the minimum of $\mathrm{sp}(G,k)$ over the maximal planar graphs of order $n$; we write $\mathrm{MP}(n,δ,k)$ for this minimum over the maximal planar graphs of order $n$ and minimum degree $δ\in \{3,4,5\}$. This manuscript is intended as an exposition of the subject of spread in the degree sequence of a graph $G$, with emphasis on maximal planar graphs. We apply the general lower bound of the companion paper \cite{P1} to this class, together with further ideas, some based on Caro--West and Caro--Lauri--Zarb and some new. In particular we asymptotically determine the values of $\mathrm{MP}(n,δ,k)$ for every pair $(δ,k)$ with $δ\in \{3,4,5\}$ and $k\geq 0$. This solution recovers the case $\mathrm{MP}(n,δ,0)$, which is the repetition number $\mathrm{rep}(G)$ introduced by Caro and West.

Let $\mathcal{P}_n$ denote the set of distinct permutations of length $n$ that arise from the flattening process applied to the partitions of $[n]=\{1,\ldots,n\}$. In this paper, we consider the problem of avoidance of a single classical pattern of length four by members of $\mathcal{P}_n$. Let $p_n(τ)$ denote the number of members of $\mathcal{P}_n$ that avoid the pattern $τ$. We show that $p_n(τ)=C_{n-1}$ for all $n \geq 1$ for seven patterns of length four yielding new combinatorial interpretations of the Catalan number sequence. Further, we show that $p_n(τ)$ corresponds to the binomial transform of Catalan numbers for three other patterns. To establish our results, we suitably refine the counting sequence $p_n(τ)$ in each case so as to obtain a system of functional equations satisfied by the corresponding generating functions. These functional equations may then be solved explicitly leading to a determination of $p_n(τ)$ in each case.

We prove that the domination number of the $2$-token graph of the path $P_n$ is $γ(F_2(P_n))=d(n)$ for every $n\ge 13$, where $d(n)=\frac1{10}(n^2+5n+c)$ and $c$ is an explicit constant that depends on $n \bmod 5$. This settles a conjecture by Leaños and the authors, who previously proved the upper bound. The lower bound is computer-assisted and follows the method used by Gonçalves, Pinlou, Rao and Thomassé for grid graphs.

We establish a quantum super Schur--Weyl duality for the mirabolic Hecke algebra \(H_n^{\mathrm{mir}}(q)\) with \(q\) indeterminate and determine the corresponding bimodule decomposition. The centralizer of the mirabolic action is shown as a direct sum of homogeneous quantum Schur superalgebras. We describe the tensor-space annihilator and the resulting faithful quotient. When nonzero, the annihilator is generated by an explicit spectral idempotent attached to the smallest rectangle excluded by the hook condition. From the quantum super Schur--Weyl duality, we derive a super Frobenius formula for mirabolic Hecke algebras. This formula then yields a Murnaghan--Nakayama rule and Regev-type formulas for the irreducible characters. We also construct a super mirabolic RSK bijection from words in a super alphabet with an additional even letter to hook semistandard insertion tableaux together with recording pairs that distinguish the positions of the additional letter. This correspondence yields a Roichman formula for irreducible characters of \(H_n^{\mathrm{mir}}(q)\). Finally, we establish a parameter-inversion isomorphism between \(H_n^{\mathrm{mir}}(q^{-1})\) and the \(q\)-rook monoid algebra \(R_n(q)\) and use it to transport the duality, annihilators, and character formulas in both directions. The transported tensor decomposition provides a representation-theoretic interpretation of hook and two-row character sums for \(R_n(q)\).

Haemers' conjecture for the generalized spectrum asserts that almost all graphs are determined by their generalized spectrum, that is, for almost all graphs $G$, every graph with the same spectrum as $G$ whose complement has the same spectrum as the complement of $G$ is isomorphic to $G$. We prove this conjecture by showing that the random graph $G(n,1/2)$ is determined by its generalized spectrum with probability tending to one. The proof combines a local theory of the denominators of the rational orthogonal matrices that relate generalized cospectral graphs, Fourier analysis of random symmetric matrices over finite rings, Seidel switching, inverse Littlewood--Offord theory over finite fields, rank estimates for random symmetric matrices modulo primes, and a study of the rational factors of the characteristic polynomial of a random symmetric $\pm1$ matrix with zero diagonal.

Let $d=(n-1)^2+1$, the dimension of the real linear span of the $n\times n$ permutation matrices. We prove that $d$ independent uniformly random permutation matrices fail to form a basis with probability $(1+o(1))n^2(1-1/n)^d=(e^{3/2}+o(1))n^2e^{-n}$. The same asymptotic holds for a uniformly random $d$-element subset, confirming a conjecture of Kushwaha and Tripathi and identifying the leading obstruction: a matrix position avoided by every sample. More generally, for any fixed number of additional samples, we determine the first three exponential orders of the failure probability. To prove these results, we develop support estimates valid over arbitrary fields, derive Fourier bounds from permanental minors, and introduce a counting argument for concentrated assignment functionals over large prime fields. We also give a sparse lifting argument showing that real rank deficiency without an annihilating functional of small support has probability $o(e^{-Cn})$ for every fixed $C>0$.

The Worley-Sagan insertion and Haiman's mixed insertion are insertion algorithms for shifted Young tableaux, and each of them gives a Robinson-Schensted-type correspondence between the symmetric group of degree $n$ and a set consisting of certain pairs of same-shape shifted Young tableaux with $n$ cells. It is a known fact that these two insertions are dual to each other. Our purpose is to give an extension of these two insertions without losing the duality relationship. The extended ones will be insertions producing pairs of shifted tableaux from colored permutations. Our extension of the Worley-Sagan insertion is different from the restriction of Sagan's own "Knuth version" to colored permutations. In proving the duality between our extended insertions, we "embed" them into Shimozono and White's doubly mixed insertion for unshifted tableaux by "doubling" shifted tableaux and use the self-duality of the doubly mixed insertion shown by Shimozono and White.

The classical Descartes' rule of signs bounds the number of positive roots of a real polynomial in one variable by the number of sign changes of its coefficients. This bound only depends on the order of the exponents and on the signs of the coefficients, that is, on the oriented matroids of the exponent and coefficient matrices. We give a multivariate generalization of this rule to arbitrary fewnomial systems: for systems of $n$ real polynomial equations in $n$ variables with $n+k+1$ monomials, we obtain upper bounds for the number of nondegenerate positive solutions which only depend on sign conditions on the maximal minors of the coefficient matrix and of the exponent matrix and its liftings. For $k=1$ they are the Descartes rules of signs for circuits of Bihan-Dickenstein and Bihan-Dickenstein-Forsgård. Our approach starts from the Gale duality and the Khovanskii-Rolle argument of Bihan and Sottile, which reduce the problem to counting common zeros of iterated Jacobians in a polyhedron $Δ$. This polyhedron is a chamber of a hyperplane arrangement whose combinatorics is determined by the oriented matroid of the coefficient matrix. We bound the number of these zeros by the Bézout number minus the zeros forced in the other chambers by a topological degree, which we compute by a facet-count formula involving the signs of minors of a Gale dual matrix of the exponent matrix. This leads to a recursion over the flats of the arrangement, which ends on lines with the Descartes rules for circuits. In this way the coefficients enter the bounds through the combinatorics of the arrangement, and the exponents through sign conditions on minors.

Given an $n\times n$ matrix $A=(a_{i,j})$ and subsets $I,J$ of $[1,n]:=\{1,\dotsc,n\}$, let $A_{I,J}=(a_{i,j})_{i\in I,j\in J}$ denote the $(I,J)$-submatrix of $A$. We prove that, for every totally nonnegative matrix $A$ and every $h=1,\dotsc,n-1$, \begin{equation} \operatorname{perm}(A_{[1,h],[1,h]}) \operatorname{perm}(A_{[h+1,n],[h+1,n]}) \;\geq\; \operatorname{perm}(A_{[1,n]\cap 2\mathbb Z,[1,n]\cap 2\mathbb Z}) \operatorname{perm}(A_{[1,n]\smallsetminus 2\mathbb Z,[1,n]\smallsetminus 2\mathbb Z}). \label{eq:absmain} \end{equation} In particular, these inequalities hold for the $0$-$1$ totally nonnegative matrices arising as antiadjacency matrices of unit interval orders. Our proof is based on explicit Bruhat-order comparisons between two distinguished families of permutations. Let $\mathfrak{A}_n$ be the Young subgroup $\mathfrak{S}_{1,\ldots,\left\lfloor\frac{n}{2}\right\rfloor} \times \mathfrak{S}_{\left\lfloor\frac{n}{2}\right\rfloor+1,\ldots,n}$ and let $\mathfrak{B}_n$ be the set of parity-alternating permutations \begin{equation*} \{w=w_1\cdots w_n\in\mathfrak{S}_n \mid i \text{ and } w_i \text{ have the same parity}\}. \end{equation*} For the balanced case $h=\left\lfloor\frac{n}{2}\right\rfloor$, we construct a bijection $f_n:\mathfrak{A}_n\rightarrow\mathfrak{B}_n$ satisfying $w\leq f_n(w)$ in Bruhat order. We then extend this construction to arbitrary $h$ by means of maps $g_{n,h}$ satisfying the corresponding Bruhat-order comparison. These maps yield the inequalities for all totally nonnegative matrices.

We proved a log-star comparison between the expectation threshold $q(\mathcal F)$ and the fractional expectation threshold $q_f(\mathcal F)$ for any nontrivial increasing family $\mathcal F$ on a finite ground set $V$ of size $|V|=N$. Specifically, we show that $$q_f(\mathcal F)\le64\log_2^*(N+2)\,q(\mathcal F),$$ where $\log_2^* x$ is the iterated logarithm of base-2. Using similiar methods, one can extend this result to the following stronger form: there exists a universal constant $C>0$ such that \[ q_f(\mathcal F)\le Cq(\mathcal F)\log_2^*(l(\mathcal F)),\quad q_f(\mathcal F)\le Cq(\mathcal F)\log_2^*(\operatorname{VC}(\min\mathcal F)), \] where $l(\mathcal F):=\max\{2,\max_{S\in\min\mathcal F}|S|\}$ and $\operatorname{VC}(\min\mathcal F)$ denotes the VC-dimension of $\min\mathcal F$. On October 7, 2026, OpenAI released a result proving the equivalence of fractional and integral thresholds, which supersedes the findings in this note. The authors are keeping this note for historical reference.

The Erd\H os--Sós Conjecture was recently proved by GPT-6 Astra, using a very ingenious and surprising argument. In this note, we present a simplified version of this argument in an (arguably) more natural form. We also prove a related conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé, and give a substantially simplified proof of an analogous result for eulerian digraphs, again proved by GPT-6 Astra, and announced by Mubayi and Verstraete. In addition, we determine the extremal (di)graphs for all three problems.

We classify all smallest sets of edge deletions that destroy every nonnested perfect matching in a complete ordered graph. The vertices have a fixed linear order. A perfect matching selects edges that use each vertex exactly once; it is nonnested when no selected edge has both endpoints strictly between those of another. On $2k$ vertices, exactly $k$ deletions are necessary, and we describe all $2^k+k-2$ minimum deletion sets for every $k\ge2$. Allowing a matching to leave vertices unused changes the extremal problem. Barát, Freschi and Tóth proposed that an $n$-vertex ordered graph avoiding a nonnested $k$-edge matching can have at most $(k-1)n$ edges. We construct counterexamples for every $k\ge5$ and $n\ge2k+1$. For $n\ge3k$, our constructions exceed the proposed value by a number of edges proportional to $k^2$, matching the order of the known upper bound on this excess. The classification follows from cuts between consecutive intervals; the larger constructions coordinate deletions at the two ends of the vertex order. The exact extremal value remains open in general.

Shelburne and van Willigenburg (arXiv:2604.26158) characterize the Schur-positive complete multipartite graphs and leave open whether the graphs~$G=K_{(3,\,2^β)}$ are $e$-positive. We resolve this question and, together with their classification, characterize all $e$-positive complete multipartite graphs. Our main result is an explicit, manifestly nonnegative $e$-expansion of~$X_G$ whose coefficients are expressed in terms of the restricted-injection numbers. Our main idea is to derive a marker-variable coefficient-extraction formula for the $e$-coefficients of arbitrary complete multipartite graphs from the elementary--monomial Cauchy identity. For the particular graph~$G$, this formula reduces the proof to three coefficient families, which we evaluate using Dickson polynomials and recurrences for these numbers.

If a finite collection (with repetitions allowed) of unit fractions has sum larger than $K$, how close can a sum of some of them come to $1$ from below? Improving a bound of Erdős and Graham, we prove that the gap is at most $\exp(-c\sqrt{K\log K})$ for an absolute constant $c>0$ and all sufficiently large $K$. The proof combines equal fractions and applies a Fourier estimate to groups of denominators with comparable contributions. Elementary divisor counts then give the bound.

Let $f(N,k)$ be the minimum size of a subset of $\{0,\ldots,N-1\}$ meeting every $k$-term arithmetic progression of positive difference contained in that interval. Improving on a bound of Truss, we prove that \[ f(n^2,n)\ge n+n^{1-o(1)} \] as $n\to\infty$. Improving on a bound of Xu, for primes $p$ we prove that \[ f(p^2,p)\le2p-(\sqrt2-o(1))\sqrt{\frac p{\log p}}. \]

We use the connective formal group law to define a one-parameter ($β$-)deformation of the motivic Segre classes of Schubert cells in the $d$-step flag variety. This $β$-deformation specializes to the motivic Segre classes of Schubert cells when $β=1$ and to the Segre-Schwartz-MacPherson classes of Schubert cells when $β=0$ (though the $β$-deformations are not simply the $β$-homogenizations of the motivic Segre classes). We define rational function representatives for the $β$-deformed classes in the $d=1$ case in terms of a solvable lattice model, and we prove a combinatorial formula for the structure constants in the $β$-deformed basis in the $d=1$ case using Knutson-Tao puzzles. Unexpectedly, the structure constants are built out of entries of $R$-matrices for the multi-parameter quantum group of type $\widehat{a}_2$ (which suggests an action of multi-parameter quantum groups on equivariant connective $K$-rings of Nakajima quiver varieties, with their convolution algebra structures). We show that our $β$-deformations arise from canonical elements in a quotient of the torus-equivariant algebraic cobordism ring of the cotangent bundle of the flag variety by proving that the canonical elements satisfy a GKM type condition (in future work, we will show that these canonical elements also lie in the torus-equivariant connective $K$-ring, in the sense of Karpenko--Merkurjev, of this cotangent bundle).

We present a study of cubic surfaces from the novel perspective of positive geometry. Our positive geometries have dimension two (the surface minus its 27 lines), dimension three (its complement in 3-space), and dimension four (the moduli space). In each case we explore the positive arrangement, its combinatorial rank, and the canonical forms.

We study pairwise negative correlation for three families of uniform spanning-subgraph measures on the complete graph. In Part~I, we consider the uniform probability measure on connected spanning subgraphs and prove pairwise negative correlation for all sufficiently large complete graphs. In Part~II, we study the uniform measure on spanning forests with a prescribed number of connected components and prove pairwise negative correlation for every fixed number of components when the number of vertices is sufficiently large. In Part~III, we consider connected spanning subgraphs with prescribed excess and establish the analogous result for every fixed excess. The three parts are self-contained and are intended as separate manuscripts.

We study finite-index subgroups of the Hecke triangle group $H_q$ of signature $(2,q,\infty)$ through the finite-edge tessellation, special polygons, and the associated dessins. The quotient finite-edge graph is a connected bipartite ribbon graph in which even vertices have degree $1$ or $2$ and odd vertices may have any degree $d\mid q$; geometrically, degree $d$ records a $d$-cluster and an elliptic stabilizer of order $q/d$. We determine two finite ambiguities that arise when one passes from this quotient graph to a special polygon. First, all tree diagrams obtained from a fixed ribbon graph are classified by the possible spanning-tree cuts modulo graph automorphisms. Second, at a proper cluster one must record which cyclic gap contains the omitted branches of the universal $q$-star; every such choice develops to a special polygon. Combining the two gives an explicit finite description of all polygon orbits over a fixed dessin, together with a separate count of normalized realizations in the fixed tessellation. Concrete examples for $H_5$, $H_6$, and $H_7$ illustrate the geometry, and two arithmetic corollaries concern level-$2$ cusp labels and Galois orbits of principal congruence dessins.

In this paper we investigate the game chromatic number for complete multipartite graphs. Our results consist of two findings: (1) building on Dunn's strategies for equal-sized parts, we determine the closed-form formulas for the game chromatic number for all complete multipartite graphs without singletons, with respective optimal strategies for Alice and Bob, (2) for an explicit list of part sizes, we give an exact algorithm that computes the game chromatic number in polynomial time and allows for reconstructing an optimal strategy for both players. Additionally, we provide counterexamples to earlier, partial formulas for complete multipartite graphs with singletons and large equal-sized parts.

We define a new family of non-periodic tilings with square tiles that is mutually locally derivable with some family of tilings with isosceles right triangles. Both families are defined by simple local rules, and the proof of their non-periodicity is as simple as that of the non-periodicity of Robinson's tilings. We also relate the construction to the classical chair tiling: forgetting the decoration, our tilings map almost one-to-one onto the chair, our substitution is essentially a square root of the chair substitution, and our local rules are perfect, defining exactly the family of substitution tilings.

We study how many comparability subgraphs are needed to partition the edge set of a perfect graph. We show that many classes of perfect graphs can be partitioned into (at most) two comparability subgraphs and this holds for almost all perfect graphs. On the other hand, we prove that for interval graphs an arbitrarily large number of comparability subgraphs might be necessary.

We consider the problem of estimating graph limits, known as graphons, from observations of sequences of sparse finite graphs. In this paper we show a simple method that can shed light on a subset of sparse graphs. The method involves mapping the original graphs to their line graphs. We show that graphs satisfying a particular property, which we call the square-degree property are sparse, but give rise to dense line graphs. This enables the use of results on graph limits of dense graphs to derive convergence. In particular, star graphs satisfy the square-degree property resulting in dense line graphs and non-zero graphons of line graphs. We demonstrate empirically that we can distinguish different numbers of stars (which are sparse) by the graphons of their corresponding line graphs. Whereas in the original graphs, the different number of stars all converge to the zero graphon due to sparsity. Similarly, superlinear preferential attachment graphs give rise to dense line graphs almost surely. In contrast, dense graphs, including Erdos-Renyi graphs make the line graphs sparse, resulting in the zero graphon.

We improve the status of the problem of determining minimum-sized percolating sets in $a \times b \times c$ grids under the $3$-neighbour process. Using several new constructions, we show that optimal percolating sets exist whenever $\min(a,b,c) \ge 7$. As an important step toward this, we also show that all grids with $\min(a,b,c) \ge 4$ have a percolating set whose size exactly achieves the lower bound $(ab+ac+bc)/3$ whenever this value is an integer.

Given an additively written abelian group $G$ and a set $X\subseteq G$, we let $\mathsf{D}(X)$ denote the Davenport constant of $X$, namely the largest non-negative integer $n$ for which there exists a sequence $x_1, \dots, x_n$ of elements of $X$ such that $\sum_{i=1}^n x_i =0$ and $\sum_{i \in I} x_i \ne 0$ for each non-empty proper subset $I$ of $\{1, \ldots, n\}$. In this paper, we mainly investigate the case when $G$ is $\mathbb{Z}^2$ and $\mathbb{Z}^3$, and $X$ is a discrete Euclidean ball. An application to the classical problem of estimating the Davenport constant of a box - a product of intervals of integers - is then obtained.

Given a graph $H$, the Turán number ${\rm ex}(n,H)$ of $H$ is the maximum number of edges of an $n$-vertex simple graph containing no $H$ as a subgraph. Let $kK_p$ denote the disjoint union of $k$ copies of the complete graph $K_p$. In this paper, utilizing the idea of the proof of the Hajnal-Szemerédi Theorem and discharging, we determine the value ${\rm ex}(n,4K_p)$ for all $n$ and $p\ge 3$.

This paper studies the problem of counting homomorphisms from a bipartite source graph to a bipartite target graph. An exact formula is first derived for the number of homomorphisms from a complete bipartite graph to a general bipartite graph. Although exact, its evaluation is typically computationally intensive, and a computationally tractable combinatorial lower bound is derived. When the target graph contains no 4-cycles, the lower bound simplifies and becomes exact. Two additional lower bounds on the number of homomorphisms from a complete bipartite graph to an arbitrary bipartite graph are derived using properties of Shannon entropy. The first depends only on the sizes of the partite sets in the source and target graphs, together with the edge density of the target graph. The second further incorporates the degree profiles of the partite sets of the target graph, thereby strengthening the first bound. Both entropy-based bounds improve upon the inequality implied by the validity of Sidorenko's conjecture for complete bipartite source graphs. The lower bounds for complete bipartite source graphs are combined with new auxiliary results to derive general lower bounds on homomorphism counts between arbitrary bipartite graphs. Furthermore, a known reverse Sidorenko inequality is employed to derive a corresponding upper bound. This upper bound is attained when the source graph is a disjoint union of complete bipartite graphs, and admits a simple closed-form expression when the target graph contains no 4-cycles. Numerical results compare the new computationally tractable bounds with exact homomorphism counts in cases where exact computation is feasible.

An element of a group is called \emph{reversible} if it is conjugate to its inverse, and \emph{strongly reversible} if it can be expressed as a product of two involutions. We study strongly reversible elements in the Riordan group and its various important subgroups. We prove that not every reversible element in the Riordan group is strongly reversible, and we investigate products of reversible elements in the Riordan group.