arXiv++ Combinatorics

We study the analogue of the permutohedron for the dihedral group, which we call the dihedral permutohedron. We determine the facet structure of the dihedral permutohedron, use the facet structure to construct a triangulation, and determine a nice combinatorial formula for the volume of the dihedral permutohedron. Lastly, we find a family of interesting unimodular affine symmetries of the odd dihedral permutohedron.

For sequences of $n$ nonnegative integer vectors in $\mathbb Z^k$ with distinct subset sums, we prove, for fixed $k$, the uniform lower bound $M\ge (C_k-o(1))2^{n/k}/\sqrt n$ for the largest coordinate, where \[ C_k=\sqrt{\frac{2k}π}\, \frac{(k+1)^{(k-1)/(2k)}}{\sqrt{\lfloor (k+1)^2/4\rfloor}}. \] The proof compares a Gaussian-kernel expectation with a sum over a translated lattice, uniformly over the vector sequence. We optimise the resulting quadratic-form constant using a vertex second-moment certificate. We show that $C_k$ also exceeds the variance constant obtained by optimising an ellipsoidal geometry.

We give a computer-assisted proof that eight congruent infinite circular cylinders in $\mathbb{R}^3$ cannot touch pairwise. Since seven such cylinders exist, the maximum number of congruent mutually touching infinite cylinders is seven. This answers a question of Littlewood from 1968.

We give classical proofs of the generalizations of the $\mathbb{G}_0$ dichotomy to $κ$-Souslin digraphs and uniformly analytic sequences of digraphs indexed by $κ^{\mathbb{N}}$.

In general, it is interesting to investigate the complexity of simplicial maps under various topological constraints. In this paper, we consider maps between (triangulated oriented rational homology) manifolds with non-zero Hopf invariant and establish bounds on the simplicial complexity of the fiber of a regular point. The lower bound, which is cubic in the dimension, is proved via a refinement of a theorem of S. Eilenberg. The upper bound is notable in that it is uniform with respect to the Hopf invariant.

We show that the index of a uniformly random seaweed meander satisfies a central limit theorem and is asymptotically equidistributed with respect to any modulus. We also extend work by Archer, Geary, and Laudone on the enumeration of seaweed meanders whose compositions have restricted parts. Finally, we give a connection to billiards in triangular shapes, which is related to a result of Eu, Fu, and Hsu.

We extend the recent work of Caster--Guyer--Samper (2026+) to establish a combinatorial interpretation of the $\textbf{cd}$-index for all $S$-partitionable posets, which includes all polytopes and $S$-shellable spheres. This interpretation is inductive on rank, but does not require passing to the order complex of the poset. We also provide topological interpretations of each $\textbf{cd}$-monomial. Furthermore, we establish a recurrence on the $\textbf{cd}$-indices of shelling components of the $d$-simplex that does not require the use of André permutations, a unimodality result for $\textbf{cd}$-words ending in $\textbf{d}$ for shelling components of the $d$-simplex and the $d$-cube, and provide two families of subdivisions of the boundary of the $d$-simplex whose sequence of $\textbf{cd}$-indices is unbounded on all but the monomial $\textbf{c}^{d+1}$ and all but the two monomials $\textbf{c}^{d+1}$ and $\textbf{d}\textbf{c}^{d-1}$.

A graph is called $1$-planar if it can be drawn in the plane so that every edge is crossed by at most one other edge. It is known that the maximum number of edges of $1$-planar graphs is $4n-8$. We prove the following generalization. A graph is $1$-odd-planar if it can be drawn in the plane so that every edge is crossed {\em an odd number of times} by at most one other edge. We show that the maximum number of edges of $1$-odd-planar graphs is also $4n-8$. As a consequence, we improve the constant coefficient in the Crossing Lemma for the odd-crossing number.

We study an integer-coordinate encoding of boundary incidences for finite subsets of the regular hexagonal tiling. Each selected cell contributes six ordered records with endpoints in two role-distinguished classes, point and tail. Identical records from neighboring cells cancel, and the surviving records form a disjoint union of cycles, including the exterior boundaries of disconnected components and the boundaries of holes. We derive the actual even- and odd-row record formulas from the A--B--C transforms used in Hexagones 2.0, prove exact shared-edge identities and the global role-qualified incidence structure, and thereby obtain an unconditional correctness theorem for the abstract coordinate construction. We compare the encoding with an independent exact cube-coordinate half-edge hashing implementation, proving an incidence isomorphism and checking 504 finite regions. We give an expected-linear-time indexed algorithm and distinguish it from the historical fixed-capacity C traversal, whose sentinel and closure conventions do not inherit the theorem automatically. The claim is a compact coordinate realization of a known planar boundary principle, not historical priority or a new three-axis lattice.

Let $G=(V(G),E(G))$ be a finite connected simple graph. The edge-connectivity $λ(G)$ of $G$ is the minimum number of edges that must be removed to make $G$ disconnected. We call $G$ maximally edge-connected when $λ(G)=δ(G)$, where $δ(G)$ is the minimum degree of $G$. The square graph $G^2$ of $G$ is the graph with vertex set $V(G)$, where two distinct vertices $u$ and $v$ are adjacent in $G^2$ precisely when their distance in $G$ is at most two. In this paper, first we prove that if $λ(G)\geq4$ and $λ(G^2)<δ(G^2)$, then $λ(G^2)>λ(G)^{3/2}-\frac54λ(G)$, which extends the result in \cite{ChenXu} from the edge-connectivity range $4\leqλ(G)\leq7$ to $λ(G)\geq4$. Then we show that $G^2$ is maximally edge-connected if one of the following conditions hold: (i) $δ(G)\geq\lfloor(n+2)/4\rfloor$, or $δ(G)\leq\lfloor(n+2)/4\rfloor-1$ and $\sum_{i=1}^{2k}d_{n+1-i}\geq k(n-4)-2δ(G)+3$, where $k$ is an integer satisfying $2\leq k\leqδ(G)+2$ and $d_1\geq d_2\geq\cdots\geq d_n$ are the degrees of $G$; (ii) $d_{n-δ(G)}+d_n\geq(3n-9)/4$.

Let $d_i(m)$ denote the coefficient of $x^i$ in the Boros--Moll polynomial $P_m(x)$. We prove that the sequence $\{d_{i-1}(m)d_{i+1}(m)/d_i(m)^2\}_{i=1}^{m-1}$ is strictly log-concave for every $m\ge4$, settling a conjecture of Chen and Gu. For every $m\ge 3$, we show that the consecutive ratios $d_i(m)/d_{i-1}(m)$ form a strictly log-convex sequence for $1\le i\le\lfloor m/2\rfloor+1$ and a strictly log-concave sequence for $\lfloor m/2\rfloor\le i\le m$, as conjectured by Zhao. For each fixed $i\ge 1$, we establish $(-1)^{r-1}Δ_m^r\log d_i(m)>0$ for $r\ge 2$ and $m\ge i$, where $Δ_m$ denotes the forward difference with respect to $m$. For $i=0$, we obtain the opposite inequalities. We thereby prove a conjecture of Jiang and Wang and two further conjectures of Zhao. For every integer $i\ge 0$, we prove strict infinite log-monotonicity of the sequence $\{d_i(m-1)d_i(m+1)/(\binom{m}{i+1}d_i(m)^2)\}_{m\ge i+1}$, strengthening another conjecture of Zhao. We further show that every positive real power of the binomially normalized ratio sequence is a Hausdorff moment sequence with a strictly totally positive Hankel matrix. We also obtain asymptotic formulas for forward differences of arbitrary fixed order, resolving a conjecture of Jiang and Wang. For integers $i\ge 1$, we prove that the sequence $\{2^n d_i(i)/d_i(i+n)\}_{n\ge 0}$ is an infinitely divisible Hausdorff moment sequence and that the Hankel matrix $[1/d_i(i+j+k)^τ]_{j,k\ge 0}$ is strictly totally positive for every $τ>0$. For the integral interpolation, we show that the Hausdorff moment property of the normalized reciprocals holds precisely when the positive real coefficient index is at least $1/4$.

Most of the traditional third-order mock theta functions occur naturally as specialized values of partition-rank generating functions. The same finite rank kernels also occur in the ordinary and odd unimodal-rank series studied previously in the literature. We organize a parallel collection of corner series by retaining these kernels and replacing their quadratic core weights by linear peak weights. Their root-of-unity specializations are governed by partial and false theta identities recorded in Ramanujan's Lost Notebook; in one exceptional case the corner companion is itself a mock theta function. The classical rank series and Ramanujan identities are used as inputs. Our new results include exact two- and three-color partition identities with sparse theta discrepancies and an oriented three-dimensional corner with a distinct tower. In both color cases, positive decompositions separate the colored companion into copies of the relevant odd-corner series and a corresponding decorated even-corner series. Thus both sparse discrepancies become signed differences between natural corner families. Burson's boxed modular involution provides a common rank-refined model for the two corrections, whose surviving fixed points produce the exceptional quadratic sequences. For the side rank of the three-dimensional corners we obtain an exact formula at $z=-1$, a strict parity bias, quartic and cubic root-of-unity rank-difference identities, and exact equidistribution modulo $3$ on the progression $6n+5$. The cubic identity also gives exact congruence formulas on the progressions $6n+2$ and $6n+3$. We further classify the associated binary triangular support modulo every integer and derive general congruence families.

For a finite group $G$ and a subset $S\subseteq G$, the bi-Cayley graph $\operatorname{BCay}(G,S)$ has vertex set $G\times\{0,1\}$ and edges $\{(x,0),(sx,1)\}$ for $x\in G$ and $s\in S$. The group $G$ is called an $m$-BCI-group if, for all subsets $S,T\subseteq G$ with $|S|\leq m$, the isomorphism $\operatorname{BCay}(G,S)\cong\operatorname{BCay}(G,T)$ implies that $T=gS^α$ for some $g\in G$ and $α\in\operatorname{Aut} G$. We prove that, for every prime $p$, the generalized quaternion group $Q_{4p}$ is a $4$-BCI-group. For $p\geq5$, the proof uses regular coverings and voltage assignments: we pass to quotient graphs modulo the Sylow $p$-subgroup and lift isomorphisms between them.

The Bellaterra automaton gives three involutions of every set of binary words of a fixed length. We identify their Schreier graph at level $n$ with a cubic arithmetic graph over $\Q(\sqrt{17})$, and prove that every nonconstant adjacency eigenvalue satisfies the Ramanujan bound. In particular, this proves Malyshev-Pak's Conjecture that the Bellaterra graphs form a family of two-sided expanders.

We study connected planar maps with a fixed number of numbered faces, whose vertices carry integer labels such that the minimum label along the boundary of each face is one. Each face has its own positive weight, and an edge shared by two faces receives the geometric mean of their weights. For any fixed number $k\ge3$ of faces, we prove that the suitably rescaled generating function converges locally uniformly as the face weights approach the critical value $1/12$, possibly at different positive rates. The limit is a finite, continuous sum of integrals over cubic schemes. Each scheme edge carries a Green kernel for a singular differential operator on the positive half-line, and each face contributes one insertion of the derivative of the tree scaling profile. The main difficulty is obtaining uniform estimates for small vertex labels, where the minimum-label constraints of different faces can interact. A positive corner-marking expansion reduces this problem to establishing uniform bounds on the contributions of marked configurations, both for small and large vertex labels. These estimates prove integrability of the surviving diagrams and show that coincident marks and noncubic schemes contribute only lower-order terms.

Let G be a simple connected graph with the vertex set V (G) and the edge set E(G) such that |V (G)| = n and |E(G)| = q. The common neighborhood graph con(G) of G has the same set of vertices as that of G and uv is an edge in con(G) if u and v have at least one common neighbor in G. By a signed graph S, we mean a graph G whose edges has been assigned sign plus or minus. In this paper, the concept of common neighborhood graph has been initiated in the realm of signed graphs, that is, we define a common neighborhood signed graph of a signed graph.

Let $C_n^r$ denote the direct sum of $r$ cyclic groups of order $n$, where $n\ge2$ and $r\ge1$. Properties C and D predict a uniform multiplicity structure for extremal zero-sum problems over $C_n^r$: every sequence of maximum length avoiding nonempty zero-sum subsequences of length at most $n$, or of length exactly $n$, respectively, should have the form $T^{n-1}$. We give negative answers to the general Property C problem posed by Gao, Hou, Schmid and Thangadurai \cite[Open Problems 1.2]{GHST07} in 2007, and disprove the Property D conjecture proposed by Gao and Geroldinger \cite[Conjecture 7.2]{GG06} in 2006.

Let $P$ be a finite poset, let $x\in P$, and let $N_k$ count its linear extensions in which $x$ occupies position $k$. We prove Chan and Pak's conjecture that, for all integers $a,h\ge1$, \[ (a+h-1)N_{a+h-1}N_a\ \ge\ (a-1)N_{a-1}N_{a+h}+hN_aN_{a+h}. \] The key result is an inclusion coupling of the laws of the set of elements preceding $x$, conditional on consecutive positions of $x$. We construct reversible exchange chains on the corresponding layers of order ideals and couple their generators so that the two prefix sets remain nested. Fishburn's correlation inequality gives monotonicity of endpoint probabilities; their unit total masses provide the rate bounds needed for the coupling. A stationary distribution of the coupled chain then has the required marginals. Normalized cover observables yield a four-term nonnegative certificate for the case $h=1$, and the general case follows by telescoping. The argument applies at every width and gives a proof of Stanley's log-concavity inequality with Fishburn's inequality as its sole external inequality.

Zarankiewicz's long standing conjecture states that the crossing number $cr(K_{m,n})$ of the complete bipartite graph is \[ Z(m,n):=\bigg\lfloor{\frac{m}{2}}\bigg\rfloor \bigg\lfloor{\frac{m-1}{2}}\bigg\rfloor \bigg\lfloor{\frac{n}{2}}\bigg\rfloor \bigg\lfloor{\frac{n-1}{2}}\bigg\rfloor. \] Using flag algebras, we show that $cr(K_{n,n}) \geq 0.96936 \cdot Z(n,n) + o(n^4)$. We also show that the rectilinear crossing number $\overline{cr}(K_{n,n})$ of $K_{n,n}$ is at least $0.987\cdot Z(n,n) + o(n^4)$. Additionally, we prove the following for complete bipartite graphs: if a drawing of $K_{n,n}$ contains no induced subdrawing of $K_{3,4}$ with exactly two crossings whose endpoints intersect in exactly one vertex, then it has at least $Z(n,n)+o(n^4)$ crossings. This is a local restriction inspired by Turán-type problems that gives an asymptotically tight result. A closely related conjecture is Hill's conjecture stating that the crossing number $cr(K_{n})$ of the complete graph $K_n$ is \[ H(n):= \frac14 \left\lfloor \frac{n}{2} \right\rfloor \left\lfloor \frac{n-1}{2} \right\rfloor \left\lfloor \frac{n-2}{2} \right\rfloor \left\lfloor \frac{n-3}{2} \right\rfloor \] for all $n \geq 3$. By an averaging argument, the asymptotic Zarankiewicz conjecture implies the asymptotic Hill conjecture. We improve the lower bound on $cr(K_{n})$ from $(0.985+o(1)) H(n)$ to $(0.9899+o(1)) H(n)$. Both conjectures were claimed to be true in manuscripts by OpenAI dated Sep 23, 2026 and made public on Oct 6, 2026. This paper represents the state of knowledge before those publications and shows how far we can push the flag algebra method.

For a partition $\boldsymbolλ = (λ_1,\ldots,λ_r)$ and $n\ge r$, the monomial symmetric polynomial is defined as $$m_{\boldsymbolλ}(x_1,\ldots,x_n) := \sum x_{i_1}^{λ_1} x_{i_2}^{λ_2} \cdots x_{i_r}^{λ_r},$$ where the sum ranges over all distinct monomials obtained by assigning the parts of $\boldsymbolλ$ to pairwise distinct variables. We establish an almost-complete dichotomy for the complexity of the monomial symmetric polynomials $m_{\boldsymbolλ}$: If a family of partitions contains polynomially many distinct parts, then the corresponding monomial symmetric polynomials (on sufficiently many variables) are VNP-complete. If the number of distinct parts is constant, the family admits polynomial-size circuits. Thus the only remaining gap concerns the intermediate regime where the number of distinct parts grows subpolynomially. As part of our proof, we use combinatorial properties of matching polynomials to establish VNP-hardness of the perfect matching polynomial for blow-up graphs; these are graphs with non-generic edge-weights that are obtained by "blowing up" a smaller graph. We reduce these matching polynomials to monomial-symmetric polynomials by combining classical techniques from algebraic complexity theory with structural properties of Sidon sets.

We give a computer-assisted proof that every finite simplicial triangulation of real projective five-space has at least twenty-four vertices. Together with the construction of Guyer, Steinerberger, and Yang, this determines the minimum. A cup-product argument produces an induced subcomplex on sixteen or seventeen vertices. Transfer to the spherical double cover then imposes a covering condition on its lifted faces. In the sixteen-vertex case, a direct capacity bound excludes twenty-two vertices. For twenty-three vertices, a cochain extension argument reduces every relevant completion to one of 115 critical signed complexes; integer weights and exact covering certificates exclude all of them. The argument requires no assumption that the triangulation is combinatorial.

Let $m(n,p,q)$ be the largest size of a family of subsets of $[n]$ whose members pairwise intersect in at least $p$ vertices and omit at least $q$ common vertices. We prove that a product on disjoint sets attains this maximum whenever $p,q\ge2$ and $n\ge2^{15}(p+q-2)^3$. Together with the second author's result for $p=1$ or $q=1$, this establishes Frankl's Intersection--Union Product Conjecture in a wide range.

We give a deterministic quasi-polynomial time algorithm for approximating the largest independent set in a graph. We show that if an $N$-vertex graph contains an independent set of size $2^{-t} N$, then we can find an independent set of size $2^t$ in quasi-polynomial time, for all $t$ up to a constant factor of $(\log N)^{1/3}$. This gives an approximation factor of $N / \exp((\log N)^{1/3})$, which has the same shape as known hardness results for quasi-polynomial time algorithms, up to a different exponent of the logarithm. The algorithm builds on a structural principle: a graph containing a large independent set must also contain a large sparse structured set, and such a set can be found efficiently. A greedy algorithm then extracts an independent set from it. Our proof draws on tools in additive combinatorics, in particular spreadness and sifting, to obtain the combinatorial structural results. We then convert these to efficient algorithms using pseudo-marginals obtained by semidefinite programming.

For a polynomial $F(t) = 1 + a_1 t + a_2 t^2 +\dots + a_d t^d$ with coefficients in a $\mathbb{Q}$-algebra $\mathcal{R}$, we consider Schur-positivity of the symmetric function $Ω_F(\mathbf{x}) = \prod_{i \geq 1} F(x_i)$. Using work of Lindström and Gessel--Viennot, we give sufficient conditions for Schur-positivity in terms of directed networks. In the case when $F(t)$ is the multivariate independence polynomial of the incomparability graph $inc(P)$ of a natural unit interval order, we apply these ideas to give a new proof of Schur-positivity of the chromatic symmetric function $X_{inc(P)}(\mathbf{x})$. Additionally, we prove Schur-positivity of certain sums of chromatic symmetric functions, refining recent work of Amdeberhan--Shareshian--Stanley. In the case when $\mathcal{R} = \mathbb{Q}[z_1,z_2,\dots,z_n]$, we prove necessary and sufficient conditions for Schur-positivity in terms of symmetric function evaluations. In particular, we show for $\mathbf{u}, \mathbf{v} \in \mathbb{R}_{\geq 0}^n$, $s_λ(\mathbf{u}) \geq s_λ(\mathbf{v})$ for all partitions $λ$ if and only if $m_λ(\mathbf{u}) \geq m_λ(\mathbf{v})$ for all partitions $λ$, and these inequalities are equivalent to $\mathbf{u}$ log-majorizing $\mathbf{v}$. Using representation theory of $GL(\mathbb{C}^n)$, we prove Schur-positivity of $Ω_F(\mathbf{x})$ when $F(t) = \det(I + t\sum_{i = 1}^m z_i \mathbf{v}_i \mathbf{v}_i^*)$ for a collection of vectors $\mathbf{v}_1,\mathbf{v}_2,\dots, \mathbf{v}_m \in \mathbb{C}^n$. As an application for this result, we introduce the Kirchhoff symmetric function $K_G(\mathbf{x})$ of a loopless graph $G$ and show that it it always Schur-positive.

Finite quasihamiltonian groups - that is, finite groups in which every pair of subgroups commutes - admit several characterizations. In this work, after introducing the notion of sectional contractibility graph, we provide a new characterization in terms of (a suitable subgroup of) magnitude homology. Our approach especially focuses on the subgroup lattices of finite groups and on the related notion of modularity. We present a detailed study for finite 2-groups, and, in particular, in the case of extraspecial 2-groups and Pauli groups. These groups, of interest because of their diverse applications in both mathematics and physics, already describe the wealth of information that one can obtain in restricting the study to the case of 2-groups.

The reduced power graph $Γ_{RP}(G)$ of a group $G$ is a simple graph with vertex set $G$, where two distinct vertices $u$ and $v$ are adjacent if and only if $\langle u \rangle \subset \langle v \rangle$ or $\langle v \rangle \subset \langle u \rangle$. An $L(2,1)$-labeling of a graph $Γ$ is a mapping from the vertex set of $Γ$ to the set of non-negative integers such that the labels of adjacent vertices differ by at least $2$ and the labels of vertices at distance two are distinct. The lambda number of $Γ$, denoted by $λ(Γ)$, is defined as the minimum possible span of labels among all $L(2,1)$-labelings of $Γ$. In this paper, we establish upper and lower bounds for $λ(Γ_{RP}(G))$ and characterize the conditions under which these bounds are achieved. As an application, we determine the exact value of $λ(Γ_{RP}(G))$ for certain classes of finite groups.

A group $G$ is a $B$-group if every primitive permutation group containing a regular subgroup isomorphic to $G$ is doubly transitive. We prove that the locally quaternion group $\mathrm{Dic}(C_{2^\infty},c)$, the extension of the Prüfer $2$-group by an element squaring to its involution and inverting it, is a $B$-group. This gives an example of a countably infinite $B$-group. This answers Problem 13.30 of the Kourovka Notebook. The proof analyses the automorphism group of an orbital Cayley graph through the central involution. In the main case two half-flip automorphisms generate, with their conjugates, an elementary abelian normal subgroup whose orbits form a nontrivial block system; in the remaining case, where the pointwise stabilizers of the two cosets of the Prüfer group have order two, the conjugates of the central translation generate an elementary abelian normal subgroup, which would be regular if the automorphism group were primitive; an affine lemma for the Prüfer group excludes this. The proof does not depend on computer verification: its two finite case analyses are written out in full, and programs that re-check them are provided as ancillary files.

In convex geometry, a number of inequalities for the volume of coordinate projections of convex bodies share a common structural property. We formalize them as inequalities of log-submodularity type, providing a definition that stems from the notion of a submodular function. The Loomis-Whitney inequality and some of its generalizations are the most prominent examples. Some inequalities of log-submodularity type are valid for zonoids but not for general convex bodies. They have a natural meaning in statistics and information theory. We propose a new inequality of log-submodularity type for zonoids. In dimension 3, our inequality is equivalent to the log-submodularity conjecture for zonoids formulated by Fradelizi, Madiman, Meyer, and Zvavitch, which is true in dimension $3$ and false in higher dimensions. In contrast, our inequality is true in every dimension. We reduce our inequality to copositivity of a special polynomial, which we call the hypercube polynomial. For 4-dimensional zonoids, we verify the copositivity of the respective hypercube polynomial algebraically by providing a sum-of-squares certificate. In every dimension, a proof of copositivity of the hypercube polynomial that uses probability theory and well-known matrix inequalities has been produced by LLMs and brought to our attention. We present a detailed and easy-to-read version of this proof.

Let \(b(M)\), \(d(M)\), and \(r(M)\) denote the number of bases, the number of circuits, and the rank of a matroid \(M\), respectively. We prove that every nonempty simple binary matroid with no coloops satisfies \[ 2b(M)\ge(r(M)+1)d(M), \] with equality if and only if \(M\) is isomorphic to the Fano matroid. This confirms a conjecture recorded by Oxley in 1983. For the same class, we prove that deleting any element leaves at least as many bases as there are circuits in the original matroid: \(b(M\backslash e)\ge d(M)\) for every \(e\in E(M)\). We determine all equality cases and deduce a sharp linear lower bound for basis growth under successive series extensions. We also give a circuit-size exclusion condition guaranteeing distinct bases containing \(C-e\) for circuit-element pairs \((C,e)\) with prescribed circuit sizes.

We reduce the leading redundancy coefficient for binary codes correcting any fixed number $t\ge2$ of deletions from $2t$ to $2t-1$. This is the first improvement to that coefficient since Levenshtein's 1965 bound. More generally, over every fixed alphabet of size $q\ge2$, codes of length $n$ correcting any combination of at most $t$ insertions, deletions and substitutions exist with redundancy $(2t-1)\log_q n+O_t(\log_q\log_q n)$. For two deletions, the upper-bound coefficient drops from $4$ to $3$, halving the gap to the lower-bound coefficient $2$. The leading coefficient $2t-1$ also holds for $t$ bounded substring edits, where both the removed and inserted strings have bounded length. The proof combines random binary linear hashing of substring counts with a two-colouring argument. A linear dependence among differences of substring-count vectors forces their local changes to overlap, and this overlap lowers the redundancy coefficient from $2t$ to $2t-1$. The result provides an edit-distance analogue of Varshamov's 1957 bound in the Hamming metric, both in the leading redundancy coefficient and in the role of linear independence in the proof.

We study bootstrap percolation with independent vertex thresholds taking values one and two, with threshold-one probability $(1-c/d)/d$ for fixed $c>0$. The seed set is chosen uniformly among sets of a prescribed deterministic size, independently of the graph and thresholds. We prove threshold statements at fixed relative margins. For uniform simple graphs with prescribed nonnegative integer degrees of even sum and exact mean $d$, assume $\max_i|d_i-d|\le C\sqrt d$ and $c+1-v_n\geκ>0$, where $v_n=\operatorname{Var}(D)/d$ and $C,κ$ are fixed. When $d\to\infty$ and $d=o(n^{1/7})$, the leading seed scale is $n(c+1-v_n)^2/(2d^4)$, without requiring a limit of $v_n$. At fixed relative margins below and above this scale, the final active set has size $O(n/d^3)$ and $n-o(n)$, respectively, with high probability. For regular graphs, the supercritical conclusion strengthens to full activation. For $G(n,d/n)$, the same $O(n/d^3)$ and $n-o(n)$ conclusions hold when $d\to\infty$ and $d^5/n\to0$, with seed scale $nc^2/(2d^4)$. Thus regular and independent-edge graphs have different coefficients at the same asymptotic mean degree. Local exploration estimates yield explicit inactive remainders and survive conditioning on simplicity in the prescribed model. We also quantify the precision obstruction to static inclusion transfer and compute deterministic response-barrier corrections, without identifying a shrinking random critical window.

Christoph, Müyesser and Wigderson recently asked whether an approximate form of the Erdős-Sós conjecture is robust under random edge deletions. We establish a density-sensitive transference theorem that converts global resilience for bounded-degree trees in sparse random graphs into resilient forest universality in arbitrary dense host graphs. More precisely, if $F$ is an $N$-vertex graph of edge density $λ$ bounded away from zero and $p\in[K/N,1]$, then, with probability $1-o(1)$ uniformly over the host and the percolation parameter, every subgraph obtained from $F_p$ by deleting at most an $α$-fraction of its edges contains every bounded-degree forest on at most $((1-α)λ-ξ)N$ vertices. Consequently, for every $c>0$, $L\ge1$, fixed $D$ and $α<c$, every graph $F$ on at most $Ld$ vertices with average degree at least $d$ has the property that, after percolation at any rate $p\in[K/d,1]$ and any subsequent deletion of at most an $α$-fraction of the surviving edges, the remaining graph is universal for all forests on at most $(1-c)d$ vertices and maximum degree at most $D$. This includes vertex-disjoint packings of any prescribed collection of bounded-degree trees of that total order. We further obtain forest-universality results for graphs whose connected components have vertex-cover number at most $Cd$, and for graphs that can be brought into this form by deleting sufficiently few edges on the $dn$-scale.

For positive integers $n,r,t$, let $δ(n,r,t)$ denote the maximum possible minimum degree of a balanced $r$-partite graph with parts of size $n$ and chromatic number at most $t$. Lo, Treglown and Zhao established a general upper bound for this parameter and used it, together with explicit constructions, to determine the corresponding multipartite clique threshold up to an additive constant in a broad parameter range. I determine the chromatic parameter throughout the range $r=mt-a$, $m\ge2$, $t\ge3$, $2\le a\le \min\{m,t-1\}$. The answer differs from the Lo--Treglown--Zhao upper bound by at most one. I give an explicit arithmetic criterion deciding when this one-unit correction occurs. The proof reduces the problem to an integer matrix extremum. In the boundary case, equality forces the supports of all mixed rows to form a spanning star, after which the only remaining obstruction is a divisibility condition. Combining this formula with the Andrasfai--Erdos--Sos theorem sharpens the known equality range for $f(n,r,t+1)=δ(n,r,t)$. In particular, for $t=3$ it removes the remaining size restrictions at $r=10$ and $r=13$. Together with the $r=7$ result in arXiv:2609.19177, the classical $r=4$ case, and the known congruence classes, this gives a formula for the multipartite $K_4$-free problem for every admissible $r\ge4$ and every $n\ge1$.

We study frieze patterns over the integers that are allowed to have wild entries. We introduce the quiddity number as a new invariant. The quiddity number is then used to classify strongly connected components of the directed graph $Γ_{2,n}(\mathbb{Z})$. Furthermore, we show that every finite simple directed graph arises as an induced subgraph of a directed graph $Γ_{2,n}(\mathbb{Z})$ for $n$ sufficiently large.

For a set $V$ of $n-1$ distinct positive integers let $\mathrm{LR}(V)=\max_{t}\min_{v\in V}\|vt\|$, where $\|x\|$ is the distance from $x$ to the nearest integer. The Lonely Runner Conjecture asserts $\mathrm{LR}(V)\ge 1/n$, and $V$ is called tight if equality holds. Goddyn and Wong determined which of the sets obtained from $[n-1]=\{1,\dots,n-1\}$ by multiplying a single entry by an integer are tight. We complete the classification of arbitrary one-entry modifications $([n-1]\setminus\{r\})\cup\{w\}$, $w\ge n$: for $n\ge4$ such a set is tight if and only if it is of Goddyn--Wong type or is one of the two sporadic sets $\{1,3,4,7\}$ and $\{1,3,4,5,9\}$ found by Wills. The proof is elementary and rests on an exact description of the region left uncovered by the retained speeds. We then show that the largest speed $M(n)$ occurring in a tight one-entry modification satisfies $M(n)<0.60\,n\log n+52\,n$ and $\limsup_{n\to\infty}M(n)/(n\log n)=1/2$; in particular, tight sets are not confined to speeds $O(n)$. Along the way we give a short proof of Liu's closed formula for $\mathrm{LR}([n-1]\setminus\{2\})$ and show that $\mathrm{LR}([n-1]\setminus\{r\})>1/(n-1)$ for every $r\le n-2-2\sqrt n$, extending the range $r\le(n-1)/2$ covered by Liu's theorem. For two-entry modifications we show that no tight instance removes a speed $q$ with $2\le q\le n/10$ once $n\ge\max(40,10q)$, whatever the second removed speed and the inserted speeds are; an exact-arithmetic census for $8\le n\le140$ with inserted speeds at most $8n$ finds only two tight two-entry modifications, both already listed by Goddyn and Wong.

We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graphical algebras and defined by deletion and loopy contraction, in which the contracted edge is retained as a loop. It determines the Tutte polynomial and admits a spanning-forest expansion recording external activity componentwise. It also determines Stanley's chromatic symmetric function for every graph; the degree sequence, induced edge count profile, and independence polynomial for loopless graphs; and the clique and matching polynomials for simple graphs. Separating component size from external activity gives a refinement that is equivalent to the extended U-polynomial and the extended polychromate. The ordinary U-polynomial, Tutte's universal $V$-function, and Stanley's Tutte symmetric function are specializations of this refinement. We conjecture that L_G and U_G have the same distinguishing power on simple graphs, and verify this through eleven vertices. We exhibit five-vertex loopless multigraphs with equal U-polynomials but distinct loopy and extended U-polynomials, solving a problem of Merino and Noble. We also disprove Loebl's conjecture for chordal graphs and its restriction to split graphs, with counterexamples on eleven and fourteen vertices, respectively. For the score polytope P_G of the external bizonotopal algebra, we give a geometric realization of loopy deletion-contraction. The resulting forest-indexed geometric parking complexes partition the lattice points of P_G and are piecewise integral-affinely parametrized by boxes whose interval lengths are the component indices in the forest expansion.

We introduce $L$-functions associated with characters of the Jacobian of a finite graph, as a graph-theoretic analogue of the $L$-functions arising from unramified coverings of algebraic curves. These $L$-functions are defined using the Riemann--Roch structure on the graph and extend Lorenzini's two-variable zeta function. We show that if two connected graphs without bridges have isomorphic Jacobians and their $L$-functions agree under the induced correspondence of characters, then their Laplacian lattices coincide. We also show that these $L$-functions satisfy a functional equation. Finally, we give examples showing that neither the Jacobian nor the Lorenzini zeta function alone determines the Laplacian lattice.

We study online discrepancy minimization for independent random vectors in $\mathbb{R}^n$ with independent coordinates. Our deterministic algorithms require no knowledge of the horizon, and their guarantees hold at every prescribed deterministic terminal time $T$. For unit-variance sub-exponential coordinates with $ψ_1$-norms at most $σ$, we obtain terminal discrepancy $O(σ^4\sqrt n)$ with failure probability $\exp(-Ω(σ^3\sqrt n))$. Independently masking centered unit-variance marks from the same class with retention probability $k/n$ gives $O(σ^4\sqrt k)$ discrepancy with failure probability $\exp(-Ω(σ^3\sqrt k))$ when $k\gtrsim\log^2(2n)$. The fourth-power dependence on $σ$ is necessary for these sub-exponential classes at the stated confidence levels. For standard Gaussian marks, we obtain $O(\sqrt k+\sqrt{\log(2n)})$ discrepancy with failure probability $\exp(-Ω(\sqrt k+\sqrt{\log(2n)}))$. Both terms are necessary up to absolute constants for $T\ge n$. In particular, $k\gtrsim\log n$ is the optimal sparsity threshold for $O(\sqrt k)$ discrepancy. For centered unit-variance sub-Gaussian marks with any fixed $ψ_2$-norm bound $σ$, logarithmic sparsity suffices for $O(σ\sqrt{k\log(e+σ)})$ discrepancy with probability tending to one as $n\to\infty$. For a dimension-dependent family of unit-variance laws with rare activations, matching bounds determine the fixed-confidence online discrepancy order $Θ(\sqrt n\log\log n)$ at sufficiently long prescribed horizons. Our dense result generalizes the Rademacher-input theorem of Bansal and Spencer (2020) and establishes the horizon-independent $O(\sqrt n)$ Gaussian terminal discrepancy scale anticipated by Gamarnik et al. (2022). The proofs combine regularization, global Fenchel estimates, coupled Lyapunov functions, and terminal moment recursions.

The weight distribution bound gives a lower bound on the weight of eigenvectors for eigenvalues of distance-regular graphs. In this note, we study when the weight distribution bound is tight for the negative eigenvalue of collinearity graphs of finite embedded polar spaces, and elliptic and hyperbolic affine polar graphs. We give a complete classification of eigenvectors meeting the weight distribution bound.

The $r$-neighbor bootstrap percolation process on a graph $G$ is a vertex-activation process that begins with a set of initially active vertices. In each subsequent round, every inactive vertex having at least $r$ active neighbors becomes active. Denote by $m(G,r)$ the minimum number of initially active vertices whose activation eventually spreads to all vertices of $G$. Let \(\mathbbmsl{O}_k\) and \(\mathbbmsl{B}_k\) be the odd graph and the bipartite odd graph, respectively, both defined on a ground set of size \(2k+1\). In this article, among other results, we prove that $m(\mathbbmsl{O}_k, 2)=\lceil(k^2+3k+2)/4\rceil$ and $m(\mathbbmsl{B}_k, 2)=\lceil(k^2+2k+3)/2\rceil$. The former result confirms a conjecture posed in 2021 by Grippo, Pastine, Torres, Valencia-Pabon, and Vera.

We study length-filtered BFACF graphs of self-avoiding polygons in the simple cubic lattice, with merge heights recording the least length cap needed to connect configurations. We determine the complete minimal-layer merge trees for $4_1$ (four components at length 30 merging at 32) and $6_3$ (twelve components at length 40, two at 42, and one at 44). For one trefoil chirality, we certify six selected nonminimal components born at length 26 and merging with the minimal branch by length 28 or 30; these do not exhaust the full filtration. We characterize eventual connectivity of capped graphs by bounded birth levels of strong local-minimum components. A 64-edge Hamiltonian lattice unknot with no nonincreasing BFACF moves has exact merge height 66 with the elementary square, verified by an explicit move certificate. Repeated two-edge splicing produces frozen unknots of length $64m$ for every $m\ge1$. We also construct an 88-edge frozen trefoil by splicing the 64-edge unknot with a minimal 24-edge trefoil; iteration and reflection yield frozen trefoils of both chiralities with $64m+24$ edges. Hence the unknot and both trefoil chiralities have infinitely many nonminimal strong local-minimum births, and their capped BFACF graphs are not eventually connected. These results concern standard discrete BFACF moves, not continuous ropelength barriers; exact excess heights for the longer families and extensions to arbitrary knot types remain open.

Recently Watanabe has given an algorithm to compute a bijection, that he calls (quantum) Littlewood-Richardson (LR) map of type AII, between semi-standard Young tableaux of shape a partition with at most $2n$ parts and pairs of tableaux consisting of a symplectic tableau with shape a partition with at most $n$ parts, and a recording tableau of skew-shape given by the two previous shapes. The recording tableaux in that algorithm are shown to be equinumerous to LR-Sundaram tableaux whose injectivity is shown combinatorially while the surjectivity is concluded via representation theory of a quantum symmetric pair of type AII$_{2n-1}$. The algorithm to compute the quantum LR map provides a new branching model for the branching multiplicities from $GL_{2n}(\C)$ to $Sp_{2n}(\C)$. Here, as morally suggested by Watanabe, one provides a combinatorial proof for the surjectivity of the quantum LR map which in turn exhibits the restriction of the LR orthogonal transpose symmetry map to LR-Sundaram tableaux. The surjectivity is exhibited via the iteration of the reverse Schensted column insertion, initialized on a symplectic tableau, ruled by the slack data of a quantum recording tableau, and followed with the inverse reduction map on the bumped symplectic column in each iteration. The explicit inverse reduction map has been recently computed by the author in arXiv:2606.24840v2 for any symplectic column. The inverse of the quantum LR map is used to compute and characterize a family of $\k$- highest weight semi-standard tableaux in the recent proof of the Naito-Sagaki conjecture using the Watanabe's branching rule based on the crystal basis theory for $\imath$quantum groups of type AII$_{2n-1}$. That family of tableaux is generated by quantum recording tableaux with $1$-$0$-slack sequence and shape length $2n$ or $2n-1$ is characterized by certain linear inequalities.

Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $\operatorname{QSym}$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equivalently of its combinatorial homotopy model, the James reduced product $J\mathbb{C}\mathbb{P}^\infty$. In recent work, we used this viewpoint to develop topologically-motivated bases of $\operatorname{QSym}$ and initiate a Schubert calculus for $J\mathbb{C}\mathbb{P}^\infty$ in both cohomology and $K$-theory. Here, we study the torus-equivariant cohomology of $J\mathbb{C}\mathbb{P}^\infty$. We identify a cellular basis and introduce double monomial quasisymmetric functions as combinatorial representatives, analogous to the factorial Schur functions and double Schubert polynomials of classical Schubert calculus. We also provide a combinatorial Littlewood--Richardson-type rule for the structure coefficients of this basis. Furthermore, we introduce an algebro-geometric analogue of the James reduced product construction. In particular, we prove that the James reduced product of a complex (quasi-)projective variety also carries the structure of a (quasi-)projective variety.

Multipoint semidefinite programming bounds for spherical codes use polynomials in several variables. We show how to obtain bounds for the distance distribution using a polynomial of one variable on a prescribed interval. The multivariate SDP supplies the required positivity; the sign and size of the univariate polynomial reveal the geometric consequences. We prove three- and four-point reductions and explain how to choose the polynomial to bound the number of pairs in a prescribed interval. Three-point experiments in dimension four illustrate this procedure, including nearly antipodal pairs, intervals near inner product $1/2$, and a local approach to the kissing number bound. As a further application, we extract a degree-six polynomial from the exact four-point construction of de Laat, Leijenhorst, and de Muinck Keizer. Its sign and four zeros give a direct description of the distance restriction underlying uniqueness of the $24$-cell.

The order of the smallest $k$-regular graph of girth at least $g$ is denoted by the well-studied function $n(k,g)$. We introduce an analogous function $n(H,g)$, defined as the smallest order of a graph of girth at least $g$ that is a lift (or cover) of the, possibly non-regular, graph $H$. We prove that the two main combinatorial bounds on $n(k,g)$, the Moore lower bound and the Erdős-Sachs upper bound, carry over to the new lift setting. We also consider two other functions: i) The smallest order of a graph of girth at least $g$ sharing a universal cover with $H$. We prove that it is the same as $n(H,g)$ up to a multiplicative constant. ii) The smallest order of a graph of girth at least $g$ with a prescribed degree distribution. We discuss this known generalization and argue that the new suggested definitions are superior. We conclude with the best-known upper and lower bounds for covers of the diamond graph ($K_4 - e$) for girth up to $30$, obtained via a computerized search, and offer conjectures and open problems for future research.

Let $M$ be a left $R$-module. We define the \emph{homomorphism submodule graph} $Γ_{\mathrm{Hom}}(M)$ as the simple graph whose vertices are the proper submodules of $M$, with an edge between distinct vertices $N_1$ and $N_2$ if and only if $\mathrm{Hom}_R(N_1, M/N_2) \ne 0$ or $\mathrm{Hom}_R(N_2, M/N_1) \ne 0$. This graph encodes homological information about $M$ and reflects its internal structure. We compute $Γ_{\mathrm{Hom}}(M)$ for semisimple and uniserial modules, establish precise correspondences between graph-theoretic and algebraic properties, and prove that for modules over Artinian local rings, the isomorphism type of $M$ is determined by $Γ_{\mathrm{Hom}}(M)$. We also show that over commutative rings with identity, the graph is always chordal, and we relate its spectral radius to composition length in natural families.

One of the possible cryptomorphic definitions of a partially ordered set (= a poset) $P$ on a non-empty finite ground set $N$ is in terms of the set ${\cal L}(P)$ of all its linear extensions, that is, in terms of the set of total orders on $N$ consistent with $P$. Any total order on $N$ can be interpreted as a node of a particular graph, called the permutohedral graph (over $N$), because it is indeed the graph of a certain polytope in $\mathbb{R}^{N}$, known as the permutohedron. It is shown in the paper that a non-empty set of total orders on $N$ equals to ${\cal L}(P)$ for some poset $P$ on $N$ if and only if it is a geodetically convex set in the permutohedral graph. This result means that a purely graphical concept of geodetical convexity in this graph is a cryptomorphic definition of a finite poset. In particular, the lattice of geodetically convex sets in this graph is graded and its height function is described in graphical terms. A counter-example, however, shows that the height function does not correspond to the usual graphical diameter, relating this matter to a combinatorial concept of the dimension of a poset. Two alternative cryptomorphic views on a poset $P$ on $N$ are also discussed. The geometric counterpart is its full-dimensional braid cone in $\mathbb{R}^{N}$, while a combinatorial alternative is a topology on $N$ distinguishing points, often referred as a (finite) distributive lattice.

We prove that the canonical orientation of the generalized Kneser graph $KG(n,k,s)$ contains a directed Hamiltonian cycle for all integers $s \geq 3$ and $n>sk$. Furthermore, we establish that the dichromatic number of this oriented graph is exactly $k$. As a special case, our results apply to the $s$-stable Kneser graphs $K_{s\text{-stab}}(n,k)$, resolving their directed Hamiltonicity and dichromatic number. Our proof adapts the class graph framework of Ledezma and Pastine to the directed setting, leveraging cyclic rotations and friend class adjacencies to construct a single directed cycle spanning all vertices. This work provides a unified and strengthened perspective on the Hamiltonian properties of Kneser-type graphs.

The partition function $p(n)$ has historically been constrained by recursive series and asymptotic approximations, coupling evaluation to sequential memory bottlenecks. Here we derive three exact, non-recursive closed-form identities for $p(n)$ and $p_k(n)$. Via the Stratified Simplicial Decomposition (SSD) of the Ehrhart partition polytope in the affine $A_{k-1}$ Weyl group, we establish the Rational Structure Theorem and cross-convolution operator $\mathcal{B}_k$, proving $p_k(n)$ is computable in strictly $\mathcal{O}_k(1)$ time. First, the Macroscopic Bernoulli Formula and Absolute Closed-Form Theorem prove that the continuous boundary defect collapses into the topological singularity $+1$, yielding an exact algebraic evaluation of $p(n)$ via generalized Bernoulli polynomials without nearest-integer rounding. Second, the Simplicial-Ehrhart (Kaleidoscopic) Formula and Kaleidoscopic Filter Theorem show that applying $k$-dimensional Weyl reflection coefficients to $p(n)$ annihilates lower-dimensional boundary noise, yielding the exact number of partitions into parts strictly greater than $k$. Third, at $k=n$ around the Weyl barycenter $M = \frac{n(n+5)}{4}$, the Barycentric Pascal Product condenses into a multiplicative closed form, folding via symmetric roots into $\lfloor(n-1)/2\rfloor$ non-geometric biquadratic factors: $$p(n) = \frac{1}{n!(n-1)!} M^{δ_n} \prod_{r=1}^{\lfloor(n-1)/2\rfloor} (M^2 - Ω_{n,r}(n)) + \mathcal{D}_n(n).$$ Cancelling $n!(n-1)!$ via Legendre's formula enables division-free random-access evaluation in $\mathcal{O}(n \log n)$ operations. Finally, we resolve the continuum via Sylvester-Ramanujan waves, establish a Durfee-Ehrhart formulation, reveal the mock modular origin of the cyclotomic tail, and construct a non-recursive Toeplitz-Hessenberg determinant for the prime-counting function $π(x)$.