math.CO ↗ arXiv
7121 papers in this category
Identifying domatic partitions via graph dynamical systems
For a graph $G=(V,E),$ a set of vertices $D\subseteq V $ is called a dominating set if every vertex in $V\backslash D$ is adjacent to a vertex in $D.$ A domatic-$2$-partition of $G$ is a partition of its vertices into two disjoint dominating sets. In this paper, for a finite simple connected graph $G,$ we construct a graph dynamical system $F$ and show that the set of dominating sets of $G$ are in one-to-one correspondence with the image of the action map of $F$. Moreover, we obtain the set of all domatic-$2$-partitions of $G$ from the set of all periodic orbits of $F.$ Finally, we extended actions of two dynamical systems to an action of a free semigroup on two letters, and determine independent dominating sets and idomatic partitions using its maximal invariant subset with a reversible action.
On Edge Coloring of Multigraphs
Let $Δ(G)$ and $χ'(G)$ be the maximum degree and chromatic index of a graph $G$, respectively.
Gupta\,(1967), Goldberg\,(1973), Andersen\,(1977), and Seymour\,(1979) made the following conjecture: Every multigraph $G$ satisfies $χ'(G) \le \max\{ Δ(G) + 1, Γ(G) \}$, where $Γ(G) = \max_{H \subseteq G, |V(H)|\geq 2} \left\lceil \frac{ |E(H)| }{ \lfloor \tfrac{1}{2} |V(H)| \rfloor} \right\rceil$ is the density of $G$. In this paper, we present a polynomial-time algorithm for coloring any multigraph with $\max\{ Δ(G) + 1, Γ(G) \}$ colors, confirming the conjecture algorithmically. Since $χ'(G)\geq \max\{ Δ(G), Γ(G) \}$, this algorithm gives a proper edge coloring that uses at most one more color than the optimum. As determining the chromatic index of an arbitrary graph is $NP$-hard, the $\max\{ Δ(G) + 1, Γ(G) \}$ bound is best possible for efficient proper edge coloring algorithms on general multigraphs, unless $P=NP$. Chen, Hao, Yu, and Zang have also presented an algorithm using similar high-level ideas; the present approach establishes a complete proof.
The proofs of Theorems 3.2 and 3.3 were also verified by an AI-assisted audit using OpenAI's GPT-6 Pro model in ChatGPT; all resulting comments and revisions were independently evaluated by
Loops in surfaces, chord diagrams, interlace graphs: operad factorisations and generating grammars
A filoop is a generic immersion of a circle in a closed oriented surface, whose complement is a disjoint union of discs, considered up to orientation preserving diffeomorphisms. It gives rise to a chord diagram C which has an interlace graph G, called a chordiagraph. For a graph G with even degrees, we compute a quantity mg(G) which yields, for every chord diagram $C$ with interlace graph G, the minimal genus of filoops with chord diagram C. If mg(G)=0 then C admits exactly two framings of genus 0, corresponding to spheriloops. After recalling the Cunningham factorisation of connected graphs, we describe a canonical factorisation of filoops into spheric sums followed by toric sums, for which the genus is additive. This is analogous to the factorisation of compact connected 3-manifolds along spheres and tori. We describe unambiguous context-sensitive grammars generating the set of all graphs and with mg(G)=0 and deduce stability properties with respect to spheric and toric factorisations. Similar results hold for chordiagraphs with mg(G) = 0 and their corresponding spheriloops.
On Kleitman's Conjecture
Chvátal conjectured that amongst the largest intersecting subfamilies of a finite subset-closed family of sets is a star. Kleitman later strengthened Chvátal's conjecture, defining a partial ordering on the vector space freely generated by $2^{[n]}$ and suggesting that the vector of every maximal intersecting subfamily of $2^{[n]}$ is bigger than a convex combination of stars. We restate Kleitman's conjecture in terms of the cochain complex of the discrete cube, describing it as the optimization of a convex objective. We examine the pseudoinverse of the codifferential, along with its relation to monotonicity, through which we recover the Harris-Kleitman inequality and give a generalization of a theorem of Frankl and Kupavskii on perfect matchings in superset-closed families. We show level families to satisfy Kleitman's conjecture, providing explicit cochains. We further show maximal intersecting families in the union of two stars and nonnegative threshold families to satisfy Kleitman's conjecture. We close with several strengthenings of the conjecture and related open problems.
Canon Permutation Posets
A permutation of the multiset $\{1^m,2^m,\dots,n^m\}$ is a canon permutation if the subsequence formed by the $j$th copy of each element of $[n]:=\{1,2,\dots,n\}$ is identical for all $j\in[m]$. Canon permutations were introduced by Elizalde and are motivated by pattern-avoiding concepts such as (quasi-)Stirling permutations. He proved that the descent polynomial of canon permutations exhibits a surprising product structure; as a further consequence, it is palindromic. Our goal is to understand canon permutations from the viewpoint of Stanley's $(P,ω)$-partitions, along the way generalizing Elizalde's definition and results. We start with a labeled poset $P$ and extend it in a natural way to canon labelings of the product poset $P \times [n]$. The resulting descent polynomial has a product structure which arises naturally from the theory of $(P,ω)$-partitions and simplifies existing proofs. When $P$ is graded, this theory also implies palindromicity. We include results on weak descent polynomials, an amphibian construction between canon permutations and multiset permutations, giving rise to dissonant canon permutations, as well as $γ$-positivity and interpretations of descent polynomials of canon permutations.
Characterizing unimodular laminar hypergraphs via forbidden subhypergraphs
The incidence matrix of a graph is totally unimodular if and only if the graph is bipartite, i.e., it contains no odd cycles. We extend the characterization of total unimodularity to hypergraphs whose hyperedges of size at least four form a laminar family. Such hypergraphs have been used to model problems with fairness constraints that ensure balanced representation, among other applications. Our main result shows that total unimodularity for laminar hypergraphs is equivalent to forbidding odd cycles and structures that we call avocados and tree houses. As a corollary, we resolve a special case of a conjecture on almost totally unimodular matrices, originally posed by Padberg and later modified by Cornuéjols and Zuluaga. We discuss applications of laminar hypergraphs and connect our results to integer programming with bounded subdeterminants.
Generalized Zykov's Theorem
For a simple graph $G$, let $n$ denote its number of vertices, and let $N(G,K_t)$ denote the number of copies of $K_t$ in $G$. Zykov's theorem (1949) asserts that for any $K_{r+1}$-free graph and $t \geq 2$, \[ N(G,K_t) \leq \binom{r}{t}\left(\frac{n}{r}\right)^t. \] We generalize Zykov's bound within a vertex-based localization framework.
For each vertex $v \in V(G)$, let $c(v)$ denote the order of the largest clique containing $v$. Then \[ N(G,K_t) \leq n^{t-1} \sum_{v \in V(G)} \frac{1}{c(v)^t}\binom{c(v)}{t}. \] Moreover, when $G$ contains a copy of $K_t$, equality holds if and only if $G$ is a regular complete multipartite graph. Note that if we impose the condition that $G$ is $K_{r+1}$-free, then $c(v) \leq r$ for all $v \in V(G)$, and the monotonicity of $s \mapsto \binom{s}{t}/s^t$ gives Zykov's bound.
The maximum number of edges of bipartite 1-planar graphs with 1-disk drawings
Published in AKCE International Journal of Graphs and Combinatorics, 2025
• View Publication
• BIB
A graph is 1-planar if it admits a drawing in the plane such that each edge is crossed at most once. Let G be a bipartite 1-planar graph with bipartition sets X and Y . A 1-disk OX drawing of G is a 1-planar drawing such that all vertices of X lie on the boundary of O and all vertices of Y and all edges of G locate in the interior of O, where O is a disk on the plane. The concept was first proposed by Huang, Ouyang and Dong when they solved a conjecture about the edge density of bipartite 1-planar graphs. Additionally, they presented a problem of determining the maximum number of edges in a bipartite graph with a 1-disk OX drawing. In this paper, we solve this problem and prove that every bipartite graph G which has a 1-disk OX drawing has at most 2|V(G)|+|X|-6 edges. Moreover, we demonstrate that this upper bound is tight, in the sense that there are infinitely many graphs for which this bound is attained exactly.
Descent generating polynomials for ($n-3$)- and ($n-4$)-stack-sortable (pattern-avoiding) permutations
In this paper, we find distribution of descents over $(n-3)$- and $(n-4)$-stack-sortable permutations in terms of Eulerian polynomials. Our results generalize the enumeration results by Claesson, Dukes, and Steingr\'ımsson on $(n-3)$- and $(n-4)$-stack-sortable permutations. Moreover, we find distribution of descents on $(n-2)$-, $(n-3)$- and $(n-4)$-stack-sortable permutations that avoid any given pattern of length 3, which extends known results in the literature on distribution of descents over pattern-avoiding 1- and 2-stack-sortable permutations. Our distribution results also give enumeration of $(n-2)$-, $(n-3)$- and $(n-4)$-stack-sortable permutations avoiding any pattern of length 3. One of our conjectures links our work to stack-sorting with restricted stacks, and the other conjecture states that 213-avoiding permutations sortable with $t$ stacks are equinumerous with 321-avoiding permutations sortable with $t$ stacks for any $t$.
Complementary vectors of simplicial complexes
We classify the complementary vectors of doubly Cohen-Macaulay complexes. This proves a conjecture of Swartz, negatively answers a question of Athanasiadis and Tzanaki, and gives new bounds on the number of independent sets in a matroid. Our technique works more generally for certain level quotients of Stanley-Reisner rings, giving new bounds on the face numbers of Buchsbaum* complexes.
Derandomizing Matrix Concentration Inequalities from Free Probability
Recently, sharp matrix concentration inequalities~\cite{BBvH23,BvH24} were developed using the theory of free probability. In this work, we design polynomial time deterministic algorithms to construct outcomes that satisfy the guarantees of these inequalities. As direct consequences, we obtain polynomial time deterministic algorithms for the matrix Spencer problem~\cite{BJM23} and for constructing near-Ramanujan graphs. Our proofs show that the concepts and techniques in free probability are useful not only for mathematical analyses but also for efficient computations.
An endpoint exception to a conjectured equality characterization for Laplacian eigenvalue products
We give eight-vertex counterexamples to the equality characterization in Conjecture 20 of Chen, Guo, Li and Wang, Electron. J. Combin. 32(4) (2025), P4.37. The examples occur at the included endpoint $k=3n/4$ and extend to infinite families, including a family for which both the graph and its complement are connected. These examples do not contradict the numerical inequality in that conjecture.
Asymmetric Weighted Earliness-Tardiness: Scheduling with a Nonrestrictive Common Due Date
Single-machine asymmetric weighted earliness--tardiness (AWET) scheduling asks how to sequence jobs around a common synchronization date when early and late completion incur unrelated job-dependent penalties. At the boundary nonrestrictive date $d=\sum_jp_j$, a compact V-shaped schedule reduces the continuous-time problem to a quadratic choice of a nonempty early set. We establish four complementary results for this model. First, the positive-integer problem is strongly NP-complete by a unary-polynomial reduction from Restricted Exact Cover by 3-Sets. Second, unrestricted AWET admits a polynomial-time $(3+2\sqrt2+\varepsilon)$-approximation based on an anchored semidefinite relaxation and deterministic marginal thresholding. Third, when the earliness and tardiness ratio orders are strict reversals, the problem is weakly NP-complete but has an exact two-resource pseudopolynomial dynamic program. Fourth, for fixed total refinements whose ratio permutation is separable, an exact separating-tree recurrence and coordinated geometric trimming yield an FPTAS. The proofs use different manifestations of the same canonical objective: scale-separated prefix penalties, positive-semidefinite minimum-kernel covariance, a dominant completed load square, and a bounded four-coordinate decomposition interface. Together, the results show that the decisive issue is not merely whether the two ratio orders agree, but whether their interaction can be controlled by a global certificate or compressed into a bounded constructive interface.
Linear Programming Bounds for Locally Recovery Codes II
We give a polynomial-size linear programming bound for $q$-ary all-symbol locally recoverable codes with locality parameters $(r,δ)$, without assuming linearity. The key idea is to keep, for every ordered pair of codewords and every selected recovery view, the joint Hamming weight on the helper set, the recovered coordinate, and the rest of the code -- rather than collapsing this triple into a single distance, as earlier formulations do. Averaging this three-block distribution over recovery views of the same length yields exact identities linking it to the global distance distribution, together with nonnegative product-Krawtchouk constraints that encode locality and spectral positivity simultaneously. The resulting LP has polynomially many variables, its optimum dominates the ordinary Delsarte bound, and an earlier outside-distance formulation, the convex-hull bound of Li--Wei--Xiong, and the dual-based bound of Gruica--Jany--Ravagnani all arise from it as coarser marginals. Exact rational certificates over $q=2,3,4$ show the bound is strictly stronger than the best of these prior LPs in thirteen of fifteen tested cases, pinning down seven exact maximum code sizes and twelve exact maximum linear dimensions.
On the Number of Distinct Topological Bases of a Finite Set of Size $N$
For a finite set $S$ with $\lvert S\rvert = N$, the number of families $\mathcal{B} \subseteq \mathcal{P}(S)$ that are topological bases is $\#(N) = \sum_{\mathcal{T} \in \operatorname{Top}(S)} 2^{\lvert\mathcal{T}\rvert - \lvert\mathcal{M}_{\mathcal{T}}\rvert}$, where $\mathcal{M}_{\mathcal{T}}$ is the canonical minimal basis of minimal open neighborhoods. The identity is proved in Lean 4 / Mathlib (`CARDB.lean`): bases generating $\mathcal{T}$ are exactly the sets with $\mathcal{M}_{\mathcal{T}} \subseteq \mathcal{B} \subseteq \mathcal{T}$. The small-$N$ table and the discrete-dominance sandwich are proved in `CARDB/SmallN.lean` and `CARDB/Asymptotics.lean`.
A Rigidity Property of the Deformed q-Exponential Function
The deformed \(q\)-exponential function \[ e_q(z,u) = \sum_{n=0}^{\infty} u^{\binom{n}{2}} \frac{z^n}{(q;q)_n} \] provides a common framework containing several classical \(q\)-exponential functions as particular cases, including the Jackson \(q\)-exponentials \(e_q(z)\) and \(E_q(z)\). In this paper we investigate the multiplicative inversion problem \[ e_q(z,u)e_q(-z,v)=1, \] and determine all pairs of deformation parameters \((u,v)\) for which this identity holds. To this end, we introduce a family of coefficient polynomials whose common zeros characterize the inversion property. A geometric analysis of the first nontrivial coefficients reduces the problem to two parameter branches. The symmetric branch is excluded through a parity phenomenon, while the nonsymmetric branch is completely determined by the first two coefficient constraints. As a consequence, we prove a rigidity theorem showing that \[ e_q(z,u)e_q(-z,v)=1 \] if and only if \[ (u,v)=(1,q) \qquad\text{or}\qquad (u,v)=(q,1). \] Thus the classical Jackson inversion identity is rigid within the deformed family and no new multiplicative inversion identities arise from the deformation parameter.
Simplicial Complexes of Antichains in Root Posets and Related Combinatorics of Dyck Paths
For a crystallographic root system ${\mathfrak D}$ we consider the simplicial complex $Δ_{\mathfrak D}$ of all antichains in the root poset of ${\mathfrak D}$. We show that $Δ_{\mathfrak D}$ is shellable if and only if ${\mathfrak D}$ is $A_n$, $B_n$, $D_3$ or $G_2$. Since antichains in types $A_n$ and $B_n$ can be identified with Dyck paths and symmetric Dyck paths, respectively, this yields a simplicial complex on Dyck paths. Indeed, in type $A_n$, shellability can be extended to rational Dyck paths. The $f$- and $h$-triangles then yield statistics on (symmetric/rational) Dyck paths. We determine these statistics for $A_n$ and $B_n$ and leave the case of rational Dyck paths as an open problem.
Reduction of integer tiles via CRT and base-p digits
Coven and Meyerowitz gave two cyclotomic conditions, (T1) and (T2), which characterize integer tiles whose cardinalities have at most two distinct prime factors. We prove that the same characterization holds without this restriction. The proof uses a reduction in Chinese remainder coordinates: slicing by the lowest base-p digit produces sets with a common tiling complement in a group of order smaller by a factor of p. This reduction preserves the cyclotomic data needed for an induction on the exponents in (T2).
Large solution-free sets via combinatorial degenerations
Consider the linear form $L(x,y,z,w) = 3x+y-2z-2w$. For a positive integer $N$, denote by $r_L(N)$ the largest size of a subset of $\{1,2,\dots,N\}$ that avoids nontrivial solutions to $L = 0$. We show that $r_L(N) = Ω(N^{0.5608687})$, improving the lower bound for Problem 16 in Green's list of open problems. Our proof uses the method of combinatorial degenerations to turn a finite certificate into large solution-free sets. In fact, we can improve Ruzsa's lower bound of $N^{1/2-o(1)}$ for many four-variable equations. Consider $L(x,y,z,w) = ax+by-cz-dw$ with $a,b,c,d\in \mathbb Z_{>0}$, $a+b=c+d$, $\{a,b\} \neq \{c,d\}$ and $abcd$ not a square. We show that there is $\varepsilon_L > 0$ such that $r_L(N) = Ω_L(N^{1/2 + \varepsilon_L})$. Furthermore, we show that for primitive translation-invariant linear forms $L$ in $s$ variables, the lower bound $Ω_s(N^{1/(s-1)})$ coming from a greedy construction is never optimal.
A Novel Approach to Counterexamples of the Polujan-Pott Conjecture via Set-Partition Permutations
In this paper, we settle a conjecture of Polujan and Pott by constructing an explicit, infinite family of Maiorana--McFarland bent functions $f_t$ in $2(2^t-1)$ variables with algebraic degree $°(f_t) = t + 1$ for any integer $t \ge 2$. Our construction builds upon a minimal commutative algebra $I_t$, which naturally induces a triangular set-partition polynomial permutation $P_t$. By identifying an elementary abelian subgroup within the direct sum $ I_t \oplus I_t^*$, we establish an explicit nonlinear coordinate transformation that pulls $f_t$ back to a canonical quadratic form. This linearizes the translation development $\operatorname{Dev}(D_{f_t})$ under an exotic group structure and proves that it is isomorphic to the classical symplectic design $S^\pm(2(2^t-1))$, thereby fully resolving the conjecture.