Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Lean-verified lower bounds for the Shannon capacity of odd cycles
We give new lower bounds for the Shannon capacities of small odd cycles: $Θ(C_7)\geq3.258805369885\ldots$, $Θ(C_{11})\geq5.294502522149\ldots$, $Θ(C_{13})\geq6.302455083464\ldots$, $Θ(C_{15})\geq7.301600534487\ldots$, $Θ(C_{19})\geq9.357192705918\ldots$, $Θ(C_{21})\geq10.342455853338\ldots$, and $Θ(C_{23})\geq11.328224257774\ldots$. The bounds are obtained by an iterative procedure due to Gao (2026) which is based on a method by Itty, Rosin, Carstensen and Reichman (2026). The bounds are fully formalised in Lean.
Mixed metric dimension of $2$-connected graphs
We show that for a $2$-connected graph $G$ which is not a cycle, the mixed metric dimension of $G$ is at most $2c(G)$, where $c(G)$ is cyclomatic number of $G$. As an immediate application, we prove a conjecture proposed by Sedlar and Škrekovski.
Optimal tree-decompositions with bags of bounded pathwidth
We show that every planar graph has a tree-decomposition with optimal width such that the subgraph induced by each bag has pathwidth at most 3. This bound is best possible, and for tree-decompositions that satisfy a certain minimality condition, we in fact give a precise description of the possible structures in each bag. Moreover, we show that the union of any $k$ bags has pathwidth $O(k)$. We also show that graphs excluding a fixed double-apex-forest minor have a tree-decomposition with optimal width such that the subgraph induced by each bag has bounded pathwidth. This includes graphs embeddable on any fixed surface. As a byproduct of our machinery, we give a new proof of the linear grid minor theorem for planar graphs.
Schur Eisenstein series and Schur MacMahon series
We introduce and study two partition-indexed families of quasimodular forms obtained from Schur functions: Schur Eisenstein series and Schur MacMahon series. An explicit transition between them can be interpreted as a convolution in a Faà di Bruno Hopf algebra of symmetric functions. We discuss the classical sl2-action and prove that Schur Eisenstein series for partitions with parts of size at most 3 give a basis for quasimodular forms. Further, we conjecture that the Schur MacMahon series span all quasimodular forms with integral coefficients.
Laplacian Bounds for the Dissociation Number of Regular Graphs of Matrix Rings
Let $Γ_n(q)$ be the graph whose vertices are the invertible matrices in $\Mat_n(\F_q)$, with two distinct matrices adjacent whenever their sum is singular. A dissociation set is a vertex set inducing a graph of maximum degree at most one. We study the dissociation number of $Γ_n(q)$ by embedding it as an induced subgraph of the total graph $T_n(q)$ on all of $\Mat_n(\F_q)$. A general Laplacian inequality for $k$-independent sets, together with an explicit character computation for the additive group of the matrix ring, gives parity-sensitive upper bounds. For fixed $n$, the resulting bound is of order at most $q^{n^2-n+1}$ for odd $q$ and at most $q^{n^2-2n+2}$ for even $q$. In particular, \[
\diss(Γ_n(q))\le q^{n^2-n+1}-1. \] In the other direction, the regular representation of the extension field $\F_{q^n}$ gives $\diss(Γ_n(q))\ge q^n-1$. We give complete proofs, including a self-contained derivation of the required matrix character sum, and determine the smallest case: $\diss(Γ_2(2))=3$.
Franklin's identity for $n$-color partitions and companion Beck-type identities
We show that some classical identities valid for ordinary partitions have precise analogues for $n$-color partitions, that is partitions in which a part of size $n\geq 1$ can occur in colors $1, 2, \ldots, n$. For $r \ge 2$ and $j \ge 0$, we write $\mathcal{O}_{j,r}(m)$ and $\mathcal{D}_{j,r}(m)$ for the sets of $n$-color partitions of $m$ with, respectively, exactly $j$ different parts whose size and color are divisible by $r$, and exactly $j$ different parts occurring at least $r$ times. We prove an $n$-color version of Franklin's theorem, $|\mathcal{O}_{j,r}(m)| = |\mathcal{D}_{j,r}(m)|$, along with two Beck-type identities. We give both analytic and combinatorial proofs for all theorems.
Short Cycles Decide P-versus-NPC Status ofHamiltonicity on Bisplit Graphs
A connected graph G is said to be a bisplit graph if the vertex set of G can be partitioned into a stable set and a complete bipartite graph. We establish the following dichotomy with chordality being the parameter; for chordal bisplit graphs, Hamiltonian cycle (HCYCLE) and Hamiltonian path (HPATH) problems are polynomial-time solvable, and for chordal bipartite bisplit graphs, HCYCLE (HPATH) is NP-complete. We further strengthen the result of [1] and show that HCYCLE (HPATH) is polynomial-time solvable on P5-free chordal bipartite graphs (bipartite chain graphs) and NP-complete on P10-free chordal bipartite graphs. By using our polynomial results on HCYCLE (HPATH) as a framework, we solve many variants and generalizations of HCYCLE (HPATH), which are also reported in this paper.
On the distinct maximal-clique sizes in $3$-uniform hypergraphs
Let $g(n,k)$ be the largest possible number of distinct sizes of maximal cliques in a $k$-uniform hypergraph on $n$ vertices, and let $f(n,k)=n-g(n,k)$. In the graph case, Spencer proved in 1971 that $f(n,2)=Θ(\log n)$. For $3$-uniform hypergraphs, Erdős constructed examples showing that $f(n,3)\le \log^* n+O(1)$, where $\log^* n$ is the number of iterated logarithms such that $\log\log \ldots \log n<1$. Recently, Gao (JCT-B, 2026) proved that $f(n,3)\ge\log \log^* n-O(1)$, thereby answering a question posed by Erdős. In the same paper, Gao defined the associated layered-tree threshold $c(n,3)$ and asked whether $f(n,k)=Θ(c(n,3))$. In this paper, we determine the correct order $$f(n,3)=Θ(\log^* n).$$ Since $c(n,3)=\log\log^* n+O(1)$, our result gives a negative answer to Gao's question in the case $k=3$. We conclude by proposing the following conjecture: $f(n,k)=Θ_k\!\left(2^{c(n,k)}\right)$ for every fixed $k\ge3$.
Optimal binding function for (cap,even hole)-free graphs with no short odd holes
A hole in a graph is an induced cycle of length at least $4$. A cap is a hole together with a vertex adjacent to exactly two consecutive vertices of it. Chen, Xu and Xu conjectured that if $q\ge2$ and $G$ is a $(\mathrm{cap},\mathrm{even\ hole})$-free graph with no odd hole of length at most $2q-1$, then $χ(G)\le \left\lceil \frac{2q+1}{2q}ω(G)\right\rceil.$
They confirmed the conjecture for $q \le 3$. In this paper, we prove the conjecture for all $q \ge 3$. As a corollary, we prove that for such a graph $G$, $χ_f(G)\le \frac{2q+1}{2q}ω(G).$
A Recursive Construction Improving the Lower Bound on the Shannon Capacity of $C_7$
We give a recursive reformulation and extension of the independent set of size $134753$ in $C_7^{10}$ constructed by N. Itty, C. D. Rosin, C. Carstensen, and D. Reichman (arXiv:2607.21517v1). We prove a product lemma that combines gadgets of different dimensions while preserving the required independence conditions. Starting from the size-$367$ independent set in $C_7^5$ of S. C. Polak and A. Schrijver (Information Processing Letters 143 (2019), 37-40), the construction gives an explicitly specified independent set in $C_7^{200}$. Consequently, \[ Θ(C_7)\geq 3.2587891539086910161967650155\ldots . \] An accompanying program verifies the finite assertions about the five-dimensional base gadget and performs the exact integer computations used in the recursion.
On the number of factorable induced subgraphs
Let $F$ be an $r$-vertex graph. In this paper, we study the $F$-factor problem in random induced subgraphs of dense graphs. We show that for any $r$-vertex graph $F$ and $γ>0$, if $H$ is an $n$-vertex graph with minimum degree at least $(1-1/χ_{cr}(F)+γ)n$, then for every fixed $p \in (0,1)$, the random induced subgraph $H[p]$ contains an $F$-factor with probability at least $1/(rq)-o_n(1)$, where $q\in \mathbb{N}$ is the order of certain coset group defined from $H$. The probability is asymptotically best possible for infinitely many $F$ and $H$ and yields that a $1/(rq)-o_n(1)$ proportion of the subsets of $H$ induce $F$-factors, interestingly, regardless of whether $H$ itself admits an $F$-factor. Similar results are obtained for perfect matchings in hypergraphs under minimum degree conditions. Our proof combines concentration inequalities, lattice point counting in $\mathbb{Z}^d$ and structural theorems for $F$-factors in dense (hyper)graphs.
The nucleus of a semisymmetric quasigroup
A binary operation $\cdot$ which satisfies the identity $(x \cdot y) \cdot x = y$ is called a semisymmetric quasigroup. We show that the nucleus of a semisymmetric quasigroup is either empty or an elementary abelian 2-group coinciding with the centre, and that a semisymmetric quasigroup with a non-empty nucleus is necessarily a Mendelsohn loop, i.e. the loop associated with a Mendelsohn triple system. We derive necessary and sufficient conditions for the existence of a semisymmetric quasigroup of order $n$ with nucleus of order $m$. Furthermore, we characterize the nuclear elements of a Mendelsohn loop in terms of a particular orientation of the Pasch configuration in the associated triple system.
The semi-inducibility of the blue--blue--red path on four vertices
For an $n$-vertex graph $G$, let $N(H_3,G)$ be the number of injective labeled copies of the red-blue path $H_3$ for which the two blue pairs are mapped to non-edges of $G$ and the red pair is mapped to an edge of $G$. We determine the maximum limiting value of $N(H_3,G)/n^4$ and give an extremal construction, which is the disjoint union of a clique and an asymptotically regular graph. The proof uses weighted vertex quotients and degree-square tie-breaking. We thereby resolve the exceptional four-vertex case left open in the recent classification of non-complete red-blue graphs.
Partizan Subtraction with Full and Truncated Support
We investigate {\sc Full Support (FS)}, a {\sc Partizan Subtraction} game in which the players can remove any number of pebbles from the heap up to certain bounds that are typically different for Left and Right. The player with the richer move set always wins for all but finitely many heap sizes. We confirm this advantage by finding the general canonical form and the atomic weights of this game. To restore fairness (and peace), we introduce {\sc Truncated Support (TS)}, which essentially trims the larger subtraction set from below. If the truncation is shallow, the unfairness persists above a certain heap size, and one player continues ruling. If the truncation is deep, another player starts ruling. Interestingly, there is one more balanced truncation level in the middle, for which a non-trivial periodicity emerges, and where it has infinitely many $\mathcal P$ and $\mathcal N$-positions. We also explore the atomic weights for the lightly trimmed scenarios.
Constructing linear codes from digraphs and groups
In 2012, Kaufman and Lubotzky constructed the first family of symmetric LDPC good codes. Their construction used Cayley codes, as originally defined by Kaufman and Wigderson (2016). In this paper we present two generalisations to the Cayley code construction, which we call graph codes and digraph codes. We investigate both the algebraic, and combinatorial properties of these constructions and show that they possess the same desirable attributes as Cayley codes, but with added freedom. We analyse the relationship between the expansion properties of the ingredient (di)graphs and the parameters of the constructed codes; our analysis offers an improvement to the results of Kaufman and Lubotzky. As an application, we construct an infinite family of good digraph codes, and we propose a series of open problems.
Random Turán Theorem for the Fano Plane
Let $F$ denote the Fano plane, the $3$-uniform hypergraph with $7$ vertices and $7$ edges. Frankl and Füredi, and independently Keevash and Sudakov, proved that the largest $F$-free subhypergraph of $K_n^{(3)}$ is bipartite. In this paper, we determine the sharp threshold for this property in the random setting. We show that for $\hat{p} = Θ_F \cdot n^{-2/3} \left(\log n\right)^{1/6}$, where $Θ_F$ is an explicit constant depending on $F$, we have: (i) if $(1+ε) \hat{p} \le p = o(1)$, then with high probability every largest $F$-free subhypergraph of $G_{n,p}^{(3)}$ is bipartite; and (ii) if $\frac{1}{n^2} \ll p \le (1-ε) \hat{p}$, then with high probability every largest $F$-free subhypergraph of $G_{n,p}^{(3)}$ is not bipartite. To the best of our knowledge, this work provides the first sharp threshold result obtained for a Turán-type problem in random hypergraphs.
Random linear configurations in dense sets and primes
We prove that every polylogarithmically dense subset of $[N]$ contains a nontrivial configuration $x+b_1m,\ldots,x+b_km$ for almost all choices of the coefficient vector $(b_1,\ldots, b_k)$ in a wide range of scales. We prove the same statement for polylogarithmically relatively dense subsets of the primes, in a shorter range of scales. The main ingredients are a new quantitative generalised von Neumann theorem, degree lowering to the $U^{1+}$ norm, and densification arguments that transfer the result to the primes.
Optimal Play in Hex on Finite and Infinite Boards
The game of Hex is one of the most celebrated connection games in combinatorics. Although it is known that the first player always has a winning strategy, very little is understood about the complexity of optimal play.
Following Campbell's introduction of the parameters $λ(n)$ and $δ(n)$, measuring respectively the length of the shortest guaranteed winning path and the minimum number of stones required by the first player to force a win, we establish new structural properties of these quantities.
Our main result determines the exact value \[ λ(5)=7, \] thereby confirming one of Campbell's conjectures.
We also show that the corresponding problem on the infinite strip $5\times\infty$ has a markedly different behavior. In this setting we prove that \[ λ(5\times\infty)=5, \] which is strictly smaller than $λ(5)$.
To the best of our knowledge, this paper provides the first solution to one of Campbell's 2004 conjectures and answers a question posed by Stromquist (2006) in the affirmative. Furthermore, it uncovers a fundamental distinction between finite and infinite boards, offering new insights into the nature of optimal winning strategies in Hex.
On small covers over Bier spheres
The Bier sphere of a simplicial complex $K$ is defined as the deleted join of $K$ and its combinatorial Alexander dual.
We focus on the class of Bier spheres of the skeleta of a simplex.
Since these Bier spheres are known to be polytopal, they give rise to small covers.
We classify small covers over these Bier spheres up to Davis--Januszkiewicz equivalence.
As applications, for all $m \geq 4$, we determine the homeomorphism types of small covers over the Bier spheres of the $0$-skeleton and the $(m-3)$-skeleton of an $(m-1)$-simplex.
For the remaining cases $0<r<m-3$, we compute their rational Betti numbers.
On the weight distribution bound for the negative eigenvalue of polar collinearity graphs
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.