math.CO ↗ arXiv
7121 papers in this category
Exact SAT Solving for the Two-Dimensional Bandwidth Minimization Problem
The two-dimensional bandwidth minimization problem (2DBMP) seeks an injective embedding of a guest graph into a square grid that minimizes the maximum Manhattan distance over its edges. Heuristic methods can provide strong upper bounds, but these bounds do not by themselves certify optimality. We present an efficient exact SAT-based approach for 2DBMP that incrementally searches for the minimum feasible bandwidth and certifies optimality through satisfiability and unsatisfiability results. On the standard $\lceil\sqrt n\rceil \times \lceil\sqrt n\rceil$ host grid, under a 3600 s time limit, the proposed SAT approach certifies optimal bandwidths for 41 of 43 Regular instances and 42 of 93 Harwell--Boeing instances, achieving substantially broader optimality certification within the 3600 s time limit than a previous exact approach evaluated with a 72-hour time limit. In addition, it certifies three bandwidth values that improve all previously published comparison values considered in this study and establishes all three as optimal. We further evaluate the approach on alternative host geometries, namely $2\times\lceil n/2\rceil$ and $n\times n$ grids, to assess its effectiveness beyond the standard host. Overall, the results demonstrate that the proposed SAT approach provides an effective exact method for the small- and medium-sized benchmark instances considered in this study, with fewer than 400 vertices, while heuristic methods remain important for larger and more challenging instances.
The radial derivative on the graded Möbius algebra
Let $M$ be a simple matroid and let $B(M)$ be the graded Möbius algebra of its lattice of flats. The ordered-basis weights of flats define an inner product for which the adjoints of atom multiplication become ordinary coordinate derivatives under the basis-polynomial realization. From this, we construct a canonical global lowering operator $D_β$ which acts as ordinary differentiation on a canonical ``radial'' copy of a truncated polynomial algebra. Allowing both $D_β$ and the coordinate derivatives to act produces a graded cyclic module with Hilbert series \[ H_{β,M}(q)=\sum_{k=0}^r h_k^β(M)q^k. \] We give examples of matroids with the same Derksen $\mathcal G$-invariant and the same classical apolar Hilbert series but different $H_β$. Hence $H_β$ cannot be the restriction to simple matroids of a valuative matroid invariant.
We conjecture that $H_β$ is log-concave and top-heavy in differential degree. For the generalized theta family containing Larson's counterexample to Whitney log-concavity, we compute the first four coefficients and prove the critical log-concavity inequality. Exact computation verifies both conjectures for all $950$ simple matroids on eight elements.
Polytopes of Effective Boundary Expressions of Divisors on $\overline{M}_{0,n}$
For a divisor on $\overline{M}_{0,n}$, we introduce the polytope of its effective boundary expressions. We establish structural properties of these polytopes under the forgetful maps of $\overline{M}_{0,n}$ forgetting marked points, and give equivalent graph-theoretic descriptions. We compute these polytopes for several families of divisors. For psi-classes and their pullbacks by forgetful maps, we show that the polytopes are unimodular simplices. For the log-canonical class and its modifications by psi-classes, we prove that the nonnegative parts of the corresponding polytopes recover spanning forest polytopes and the subtour elimination (Held--Karp relaxation) polytope of the symmetric traveling salesman problem. As an application, we obtain a Minkowski-like decomposition of the subtour elimination polytope into simplices. Finally, for symmetric level-one $\mathfrak{sl}_p$ conformal block divisors, we show that the defining inequalities are local Turán bounds and the $0/1$-points are balanced Turán graphs. Moreover, for $p=2$ and $p=n/2$, these polytopes recover the perfect matching and fractional perfect matching polytopes.
Any $k$-graph with zero $\ell$-degree Turán density is layered
The codegree Turán density $π_{\mathrm{co}}(F)$ is the supremum over all $γ\in [0,1)$ such that, for arbitrarily large $n$, there exists an $n$-vertex $F$-free $k$-graph $H$ whose every $(k-1)$-subset of vertices lies in at least $γn$ edges. Ding, Lamaison, Liu, Wang, and Yang (JLMS, 2025) studied the problem of what 3-graphs $F$ satisfy $π_{\mathrm{co}}(F) = 0$. They introduced layered $3$-graphs and conjectured that a $3$-graph has zero codegree Turán density if and only if it is layered and has zero uniform Turán density. For $k\ge 3$, a $k$-graph is called layered if its vertices can be labelled so that every edge has a unique maximum label and two edges with the same maximum label have the same label multiset. In this paper, we show that every non-layered $k$-graph $F$ on $m$ vertices satisfies \[
π_{\mathrm{co}}(F)\ge q_{k,m}^{-q_{k,m}}>0,
\quad \text{where}\quad
q_{k,m}=\frac{(k-1)^{m+1}-1}{k-2}, \] which implies any $k$-graph with zero $\ell$-degree Turán density is layered, and the case $k=3$ confirms the conjecture of Ding, Lamaison, Liu, Wang, and Yang.
Minimizing the number of edges in $\mathcal{C}_{[4,6]}$-saturated graphs
Let $\mathcal{C}_{[4,r]}$ be the family of cycles $\{C_4, \dots, C_r\}$. A graph $G$ is said to be $\mathcal{C}_{[4,r]}$-saturated if $G$ does not contain a copy of cycle $C_i$ for $4\le i\le r$, but the addition of any edge $e\notin E(G)$ creates at least one copy of $C_i$ for $4\le i\le r.$ The saturation number $sat(n, \mathcal{C}_{[4,r]})$ is the minimum number of edges in an $n$-vertex $\mathcal{C}_{[4,r]}$-saturated graph. In 2025, Ma determined that $sat(n, \mathcal{C}_{[4,5]})=\lceil \frac{5n}{4} - \frac{3}{2} \rceil$, and conjectured that for any $r \ge 5$, $sat(n, \mathcal{C}_{[4,r]}) = \lceil\frac{5n}{4} - \frac{3}{2} \rceil$ holds for large $n$. In this paper we prove that $sat(n, \mathcal{C}_{[4,r]}) \le \lceil\frac{5n}{4} - \frac{r+1}{4}\rceil$ for $n \ge r+1$, which disproves Ma's conjecture for $r\ge 6.$ For $r=6,$ we determine that $sat(n, \mathcal{C}_{[4,6]})=\lceil\frac{5n}{4}-\frac{7}{4}\rceil.$
{\bf Keywords}: Saturation graphs; Saturation number; Cycles; Edge minimization
An Improved Degree Condition for Connectivity-Preserving Spanning $(u,v)$-Paths
Teng and Tian proved the following result. Let $k\ge 2$ and $t\ge 3$, and let $G$ be a $k$-connected graph of order $n$. If $n\ge 6k+1$ and $δ(G)\ge \lceil(n+6)/2\rceil$ when $t=3$, while $n\ge 6k+7t-17$ and $δ(G)\ge \lceil(n+t+2)/2\rceil$ when $t\ge 4$, then, for any two distinct vertices $u,v$ and every integer $s$ with $1\le s\le t$, there exist $s$ internally vertex-disjoint $(u,v)$-paths $P_1,\dots,P_s$ whose union spans $G$ and such that $G-E(P_1\cup\cdots\cup P_s)$ is $k$-connected. They asked whether the minimum-degree condition could be lowered to $δ(G)\ge \lceil(n+t)/2\rceil$ for every $t\ge 3$. We answer this question affirmatively and further reduce the required order to $n\ge \max\{6k+9-3t,\,2k+t+3\}$.
On a conjecture on the Kasami APN function: reductions, structure theorems, a proof for $k\bmod n\in\{1,2,n{-}2,n{-}1\}$, and exhaustive verification for $n\le 13$
We study a conjecture on the Kasami almost perfect nonlinear (APN) function $F(x)=x^{4^k-2^k+1}$ on $GF(2^n)$, $\gcd(k,n)=1$: for the $2^{n-1}$-element set $Δ=\{F(b)+F(b+1)+1: b\in GF(2^n)\}$ and all distinct nonzero $v_1,v_2\in GF(2^n)$, \[ \bigl|\{(x,y,z)\inΔ^3 : v_1x+v_2y+(v_1+v_2)z=0\}\bigr| \;=\; 2^{2n-3}. \] The conjecture was proposed at the NSUCRYPTO~2019 cryptographic olympiad (the proposer of the problem was not publicly disclosed).
We prove the conjecture for $k\bmod n\in\{1,2,n-2,n-1\}$, in particular a complete proof for $k=2$ ($d=13$) via a quadratic-form theory and an exact root-count reduction, and we verify it exhaustively by computer for every admissible $(n,k)$ with $n\le13$.
Characterization of Weak EKR Groups and Intersection Densities with Prescribed Point Stabilizers
A finite group has the weak Erdos-Ko-Rado property if all of its transitive permutation actions have the EKR property. We characterize this property in terms of normal subgroups and chief factors. More precisely, we introduce a local intersection density and establish a normal-extension criterion which reduces the weak EKR property to difference-set conditions on the elementary abelian chief factors and the linear groups induced on them. For chief factors of rank one the condition is automatically satisfied, and for chief factors of rank two, this condition is equivalent to the induced linear group being intransitive on the one-dimensional subspaces.
In the second part of the paper, we solve an open problem by determining the possible intersection densities of transitive permutation groups with a prescribed point stabilizer. We prove that, for every finite group $H$ of order $m\geq 4$ and every integer $n\geq m$, there exists a faithful transitive permutation group with point stabilizer isomorphic to $H$ and intersection density $n/m$.
Hardness of Forcing Unique Perfect Matchings in Bipartite Graphs of Maximum Degree 3
In a graph $G$, a set of edges $F$ is called a \emph{forcing set} if there exists a unique perfect matching $M$ such that $F \subseteq M$. Similarly, a set of edges $A$ is called an \emph{anti-forcing set} if the graph with edge set $ E(G)\setminus A$ has a unique perfect matching. It is known that, given a bipartite graph $G$ of maximum degree~$3$ and a perfect matching $M$, the problem of deciding whether there exists a forcing set of size at most $k$ for $M$ is NP-complete. Moreover, given a bipartite graph $G$ of maximum degree~$4$ and a perfect matching $M$, the problem of deciding whether there exists an anti-forcing set of size at most $k$ for $M$ is NP-complete. Furthermore, given a bipartite graph of maximum degree~$5$, the problem of deciding whether there exists a perfect matching $M$ that can be made unique by a forcing set of size at most $k$ is also NP-complete. In contrast, the computational complexity of deciding whether there exists a perfect matching $M$ that can be made unique by an anti-forcing set of size at most $k$ is not known, even for general graphs. In this paper, we show that all of these problems remain NP-complete even when restricted to bipartite graphs of maximum degree~$3$.
Superlinear separation between linear and centered colorings
A vertex-coloring of a graph is centered if every connected subgraph has a vertex with a unique color. A vertex-coloring of a graph is linear if every path in the graph has a vertex with a unique color. Let $χ_{\mathrm{cen}}(G)$ and $χ_{\mathrm{lin}}(G)$ be the minimum number of colors in a centered (resp. linear) coloring of $G$. We present a family of graphs witnessing that if $f$ is a nondecreasing function such that $χ_{\mathrm{cen}}(G) \leq f(χ_{\mathrm{lin}}(G))$ for every graph $G$, then $f(k) = Ω(k^2 / \log k)$. The construction was found by OpenAI's GPT-5.6 Sol Pro.
The induced-$P_4$-free process
We study the random induced-$P_4$-free graph process. Let $e_1,\ldots,e_N$, where $N=\binom{n}{2}$, be a uniformly random ordering of the edges of $K_n$. Starting from the empty graph $G_0$, we add $e_{m+1}$ whenever $G_m+e_{m+1}$ contains no induced $P_4$, and otherwise leave the graph unchanged. We show that the terminal graph is a trivially perfect graph and we describe the structure and distribution of the connected components of the terminal graph $G_N$. Consequently, we derive the limiting values of several natural graph parameters. In particular, the terminal graph $G_N$ has $Θ(n)$ edges.
A Uniform Proof for the Small Davenport Constant of the Exponent-$p$ Heisenberg Group
Let $p$ be an odd prime and let $H_{p^3}=\operatorname{UT}_3(\mathbb{F}_p)$ be the Heisenberg group of order $p^3$ and exponent $p$. We prove $\mathsf{d}(H_{p^3})=3p-3$. The main ingredient of the proof is an order-value growth theorem. If $B$ is a noncollinear zero-sum sequence of $n$ nonzero vectors in $\mathbb{F}_p^2$, then the alternating areas obtained by ordering $B$ assume at least $\min(p,n-1)$ distinct values. Its proof is a short contraction induction: contract a suitable independent pair, replace the contracted vector in both orders, and apply Cauchy--Davenport. A polynomial relative-subsum theorem and a sharp representation-rigidity lemma then turn this local growth into a uniform spread bound. Combined with the standard product-one criterion for $H_{p^3}$, the spread bound yields the upper bound; the usual sequence $x^{p-1}y^{p-1}v^{p-1}$ gives the lower bound.
A local clique density theorem in $H$-free graphs
In 2016, Reiher's clique density theorem determined the minimum number of copies of $K_t$ in a graph with a prescribed edge density. In this paper, we investigate its local version and prove a local clique density theorem in $H$-free graphs as follows. For integers $r$ and $t$ with $2\leq t\leq r-1$, any $r$-chromatic graph $H$, any real numbers $γ$ and $α$ with $\frac{t-2}{2(t-1)}\leqγ\leq \frac{r-2}{2(r-1)}$ and $0\leqα\leq 1$, we determine the maximum value $β:=β(r,t,α,γ)$ such that for every $n$-vertex $H$-free graph $G$ with at least $γn^2$ edges, every $\lceilαn\rceil$-vertex subset in $G$ contains at least $(β-o(1))n^{t}$ copies of $K_t$. In particular, when $H=K_r$, every $\lceilαn\rceil$-vertex subset contains at least $\lfloorβn^t\rfloor$ copies of $K_t$, which is an exact bound. For suitable choices of $α$ and $γ$, namely, those for which all part ratios in the corresponding extremal construction are rational, this bound is attained for infinitely many values of $n$.
A general method of deducing the determinantal expressions for polynomial and its derivative
In this paper, we present a general method of deducing the determinantal expressions for a polynomial and its derivative. As illustrations, we provide three determinantal expressions for the derivative of the Eulerian polynomial. Using a functional equation discovered by Gessel,we also establish the determinantal expressions for the second-order Eulerian polynomial and its derivative.
Characteristic adjacency matrix associated with a hypergraph
We define a new matrix associated with a hypergraph. A study of this matrix is carried out, in particular the study of its spectrum, which shows the relevance of the construction. We demon- strate that this adjacency matrix is characterisitic of the hypergraph, that is to say, two isomorphic hypergraphs have similar matrices. Furthermore, starting from this matrix, we can reconstruct the hypergraph. Starting from this matrix, we introduce new graphs associated with the hypergraph.
Binary Voltage Covers of $K(10,3)$: Cohomology, Symmetry Orbits, and a Locally $K(7,3)$ Graph
We construct a connected graph on 240 vertices in which every open neighborhood is isomorphic to $K(7,3)$. The graph arises as a binary voltage cover of $K(10,3)$. More generally, the gauge classes of local-neighborhood-preserving binary voltage covers over the fixed labeled base $K(10,3)$ are naturally identified with $H^1(M_3(10);\mathbb{F}_2)$, a vector space of dimension 42. Quotienting by the natural $S_{10}$ action gives 1,245,395 orbits, including 1,245,394 nonzero orbits, each consisting of connected covers. The cohomology class $[α]$ of the displayed 240-vertex graph has $S_{10}$-orbit size 126 and $\operatorname{Stab}_{S_{10}}([α])\cong S_5\wr C_2$. Thus fixed-base covers are classified cohomologically, while allowing base relabeling gives the stated $S_{10}$-orbit set.
A note on the reflexibility of regular maps with automorphism group PGL(2,q)
By a short adaptation of an argument of Singerman, we show that for every prime power $q$, every orientably regular map (or hypermap) whose orientation-preserving automorphism group is isomorphic to PGL(2,q) is reflexible.
Lonely Runners over Function Fields: Quantized Phase--Riesz product
Let $C_k(q)$ be the least cardinality of a family of nonzero polynomials over $\mathbb F_q$ whose associated codimension-$k$ partial-circulant kernels cover the full coefficient space. Chow and Rimani'c conjectured that $C_k(q)=1+q+\cdots+q^k$. We disprove the unrestricted conjecture by constructing thirteen monic polynomials over $\mathbb F_2$ whose $k=3$ kernels cover $\mathbb F_2^7$; in particular, $C_3(2)\le 13<15$. For a general covering family of size $N=q^k+S$ and $\mathbb F_q$-linear rank $d$, we prove $S\gg d^{2/3}\left(\frac{\log(2q)}{\log(eNq^k/S)}\right)^{2/3}$. Consequently, for every fixed $k\ge 2$ and all sufficiently large $q$, $C_k(q)\ge q^k+c_kq^{2/3}$. When $k=2$, an integer-multiplicity refinement of the second-moment covering argument yields $\liminf_{q\to\infty}(C_2(q)-q^2)/q\ge \widetilde c_2$, where $\widetilde c_2$ is an explicit one-variable variational constant with numerical value $\widetilde c_2=0.5829944375\ldots$. We also classify triples admitting two independent low-degree polynomial syzygies and prove a conditional packet-free lower bound of size $q^k+(1/2-o(1))q^{k-1}$.
Counterexample to the Bougard-Joret Conjecture
For admissible integers $n,α,k$, let $f(n,α,k)$ be the minimum number of edges in a $k$-connected graph of order $n$ and independence number $α$. A conjecture of Bougard and Joret predicts that $f(n,α,k)=\lceil nk/2\rceil$ when $n\leq kα$, under the assumptions $n\geq2α$, $n\geqα+k$, $α\geq2$, and $k\geq3$. We disprove this prediction, determine $f(n,α,k)$ throughout the boundary $n=α+k$, and characterize every extremal graph on that boundary. In particular, for every $k\geq4$, \[
f(2k-1,k-1,k)=k^2-1, \] whereas the conjectured value is $k^2-\lfloor k/2\rfloor$. The extremal graphs in this family are precisely $\overline K_{k-1}\join T$, where $T$ is an arbitrary tree of order $k$. The smallest-order failure has parameters $(n,α,k)=(7,3,4)$, and no admissible counterexample has smaller order.
Counting Schreier Sets Under Neighborhood Conditions
We count Schreier sets that satisfy a neighborhood condition, including $k$-clustered, $k$-consecutive-free, $k$-neighbored, $k$-isolated, and closed under integral $2$-averages. For the first four conditions, we determine the initial counts and prove linear recurrence relations. For the last condition, we prove a recurrence that involves the divisor counting function.