matching
3314 papers tagged with this keyword
Pfaffian Positivity for Convex Kernels and Optimal Matching Bounds
We show that for all positive, nonincreasing, convex functions $f : (0, \infty) \to (0,\infty)$ and for any collection of $n$ points $x_i \in \mathbb{R}$ with $x_1 < x_2 < \ldots < x_n$ and $n$ even, the Pfaffian of the skew matrix defined by $f(x_j - x_i)$ above the diagonal is positive. More generally, we establish coefficientwise nonnegativity for Pfaffians arising from interval decompositions, which also yields quantitative lower bounds for singly and doubly bordered Pfaffians. Choosing $f(r) = r^{-2}$ proves the three nonvanishing assertions in the conjecture of Albouy and Moeckel. Further, we show that the rainbow bound (the product over the nested matching $\{1,n\}, \{2,n-1\}, \ldots \{n/2, n/2 + 1\}$) is the unique single-matching product that bounds $\mathrm{Pf}(A_f(x))$ below uniformly over $x$ and $f$ positive, nonincreasing, convex.
Small and large quasi-kernels: a weighted transfer theorem
A quasi-kernel of a digraph $D$ is an independent set from which every vertex is reachable by a directed path of length at most two. The Small Quasi-kernel Conjecture asserts that every source-free digraph on $n$ vertices has a quasi-kernel of size at most $n/2$, whereas the Large Quasi-kernel Conjecture asks for a quasi-kernel whose closed out-neighbourhood has size at least $n/2$. Spiro proved that the former implies the latter. In this paper, we establish a weighted transfer theorem: if every nonnegative integer weighting of a source-free digraph $D$ admits a quasi-kernel whose closed out-neighbourhood contains at least a $θ$-fraction of the total weight, then $D$ has a quasi-kernel of size at most $\lfloor(1-θ)α(D)+θμ\rfloor$ for $0<θ\le1/2$, where $μ$ is the maximum matching size between a maximum independent set and its complement. Using the independent blow-up construction of Spiro, we deduce that the universal small and large quasi-kernel assertions are equivalent for every such $θ$, with no loss in the parameter. In particular, the two conjectures are equivalent. As an application, we prove the half-order bound for source-free break digraphs.
The Strong Total Cover Problem
The Strong Total Cover Problem (STCP) is a novel covering problem defined on a graph $G = (V, E)$, where the objective is to find a minimum-cardinality subset $T \subseteq V \cup E$ such that every element of $V \cup E$ is covered. In this setting, a vertex covers itself and all its incident edges, while an edge covers itself together with its two endpoints. The STCP resembles classical covering problems such as Vertex Cover and Edge Cover problems, and naturally arises as the dual of the total matching problem. In this paper, we investigate the STCP from algorithmic, complexity, and polyhedral perspectives. We first establish close connections between STCP, the Dominating Set Problem, and the Maximum Induced Matching Problem. These relationships provide structural insights, imply the NP-hardness of STCP, and identify graph classes for which the problem is polynomial-time solvable. We then investigate the weighted version of STCP, showing that it remains NP-hard even on complete graphs with binary weights. On the other hand, we present a 2-approximation algorithm, and a polynomial-time algorithm for complete bipartite graphs. On the polyhedral side, we introduce the Strong Total Cover Polytope and derive several families of valid inequalities, some of which are shown to define facets. Finally, we provide a complete linear description of the associated polytope for triangular cactus graphs, revealing an interesting contrast with the considerably more intricate facial structure of the dominating set polytope on cactus graphs.
Random independent sets in uncrowded hypergraphs
Given any fixed integer $k \ge 2$ and sufficiently large $d$, we show that the largest possible fractional chromatic number of a $k$-uniform $d$-degenerate uncrowded hypergraph $H$ (i.e., with girth at least $5$) satisfies \[ χ_f(H) = (1 + o_d(1)) \left((k-1)\,\frac{d}{\log d}\right)^{\frac{1}{k-1}}. \] In fact, we prove that this holds for $k$-uniform $d$-degenerate hypergraphs of girth at least $g$, for any given $g \ge 5$. As a corollary, we obtain improved bounds on the fractional chromatic number of $d$-degenerate linear hypergraphs. This work builds upon a recent result by Allen, Dhawan, and Noel, extending it from graphs to hypergraphs. In addition to overcoming the new difficulties that arise in the hypergraph setting, our approach yields a simpler proof even in the original graph case.
Our proof of the upper bound uses a simpler iterative procedure for sampling independent sets. We also establish bounds for fractional colorings with local demands, a framework introduced by Kelly and Postle, verifying a recent conjecture of Yu and Zhang. As a consequence, we obtain a degree-sequence bound on the independence number of uncrowded hypergraphs with a leading constant matching the shattering threshold.
For the matching lower bound, we use a hypergraph variant of the uniform attachment model and harmonic vertex weights to bound the fractional chromatic number via linear programming duality, then remove all short cycles by deleting vertices of negligible total weight. We also replace the Catalan-number argument used in the graph case with a matrix-norm estimate, simplifying the analysis.
Backbone coloring for graphs with degree 4
The $λ$-backbone coloring of the graph $G$ with backbone $H$ is a graph-coloring problem in which we are given a graph $G$ and a subgraph $H$, and we want to assign colors to vertices in such a way that the endpoints of every edge from $G$ have different colors, and the endpoints of every edge from $H$ are assigned colors which differ by at least $λ$. In this paper we pursue research on backbone coloring of bounded-degree graphs with well-known classes of backbones. Our result is an almost complete classification of the complexity of deciding whether $BBC_λ(G, H) \le k$ for graphs with maximum degree at most $4$ and matching, galaxy, Hamiltonian path, and spanning tree backbones. We also determine the effect of allowing isolated vertices in matching and galaxy backbones.
Bounds on the Complete Forcing Numbers of Graphs
Published in Discrete Applied Mathematics 379 (2026) 895-906
• View Publication
• BIB
A complete forcing set of a graph is a subset $S$ of its edges with the following property. For any perfect matching $M$, $M$ is the unique perfect matching containing the intersection of $M$ and $S$. The size of a smallest complete forcing set of a graph is called its complete forcing number. In this paper, we propose a polynomial-time algorithm that takes a graph and an ordering of its vertices as input, and outputs a complete forcing set. We analyze the size of the output for a carefully chosen ordering to derive an upper bound on the complete forcing numbers of graphs in terms of other graph-theoretical parameters, such as the degeneracy and the spectral radius of the underlying graph. We compare our results with previous findings in the field. For the class of edge-transitive graphs, we provide an explicit lower bound on the complete forcing number. This result is applied in particular to hypercube graphs and Cartesian powers of even cycles.
Barrier Log-Concavity of Large Forests
We prove that the independence sequence of every sufficiently large forest is strictly barrier log-concave: whenever $i_{k+1}>i_k$, one has $i_k^2>i_{k-1}i_{k+1}$. Consequently, every common downward coefficient tilt is unimodal, with one order threshold valid simultaneously for all $0<t\le1$. As an application, we prove that every sufficiently large well-covered tree has a strictly log-concave independence polynomial. More generally, the latter conclusion holds for well-covered forests with sufficiently large matching number. Every sufficiently large forest with a palindromic independence polynomial is also strictly log-concave, with its modes at the central ranks. The proof establishes local coefficient-curvature estimates uniformly over forests of unbounded maximum degree and over activities tending to zero. Combined with the fixed-density theorem of Fang, Lu, Nevo, Yao, and Zheng, these estimates complete the strict log-concavity interval down to rank one through $\lfloor17α/25\rfloor$; the terminal fraction is inherited. The classical decreasing tail then yields the barrier property. A cumulative-coefficient corona theorem transfers barrier log-concavity of the base forest to full strict log-concavity of its leaf corona.
Integral homology lattices of matching and circulant complexes
Bouc's hook cycles span the rational top homology of the matching complex of $K_{2k+1}$. We prove that their integral saturation quotient has exponent exactly $2^{\lfloor k/2\rfloor}$ for every $k\geq1$, and construct divided-power cycles attaining this bound. For $k\geq2$, the homology lattice is not isomorphic to the standard integral hook lattice as an $\mathfrak S_{2k+1}$-module. For circulant complexes, we determine the integral dihedral homology modules of $\operatorname{Ind}(C_{3s}^{s-1})$, $\operatorname{Ind}(C_{3s+1}^{s-1})$ and $\operatorname{Ind}(C_{3s+2}^{s-1})$, for $s\geq3$, $s\geq2$ and $s\geq3$, respectively, and classify the least scalar lifts of all primitive equivariant quotients to the rank-one module with trivial rotation and negative reflection. Tate localization relates prime-order gluing to fixed-point homology under a free, single-degree homology hypothesis. Explicit cycle subgroups separate saturation defects from obstructions to equivariant sections. For circulant independence complexes with jumps two and three, we prove an eight-periodic ordinary homotopy classification and a fixed-space obstruction to uniform representation suspensions. For every fixed nonempty bounded positive jump set, a finite-state construction gives a rational critical-face series.
Rich-neighbor 5-edge-colorings of subcubic graphs whose 3-vertices induce a matching
Let $φ$ be a proper edge-coloring of a graph $G$. An edge is called rich if all edges adjacent to it receive pairwise distinct colors. The coloring $φ$ is a rich-neighbor edge-coloring if every non-isolated edge is adjacent to a rich edge. Petruševski and Škrekovski introduced this notion as a relaxation of strong edge-coloring and conjectured that every connected subcubic graph other than $K_4$ admits a rich-neighbor $5$-edge-coloring.
We establish the conjectured bound for every subcubic graph $G$ satisfying $Δ(G[V_3])\leq 1,$ where $V_3$ is the set of vertices of degree $3$ in $G$. Equivalently, the $3$-vertices of $G$ induce a matching together with isolated vertices. This extends the result of Chen, Tan and Zhou for subcubic graphs with no adjacent $3$-vertices.
Edge ideals of gapfree graphs with matching number $3$
We prove that if $G$ is a gapfree graph with matching number $3$, then every power $I(G)^q$, $q\geq2$, of its edge ideal has linear quotients, and hence a linear resolution. Our approach combines graph reductions based on clique domination of gapfree graphs and matching number with operations preserving linear quotients. We reduce the problem to $26$ non-co-chordal graphs on at most seven vertices. A new preservation theorem for gapfree edge addition, together with known results on duplication and gapfree expansion, handles all but one of these graphs. For the remaining graph on seven vertices, we construct a linear quotients ordering for the square and extend it recursively to every higher power.
A simple classification of the special matchings in the symmetric group
We establish a simple characterization of special matchings of all Bruhat intervals in the symmetric group, yielding an explicit classification that depends only on the one-line notations of the endpoints. We also study extensions of graded posets by partial special matchings, proving the existence and uniqueness of such extensions and providing an explicit construction. Combining these results, we obtain a combinatorial algorithm for computing Kazhdan--Lusztig polynomials for an isomorphism-closed family of Bruhat intervals that includes all intervals whose bottom element has length at most one.
The $k$-color poset Ramsey number of the diamond is $2k$
The $k$-color Ramsey number of a poset $P$ is the smallest dimension $d$ such that any $k$-coloring of the $d$-dimensional Boolean lattice contains a monochromatic induced copy of $P$. For $ j\ge 2$ the $j$-diamond is the poset that consists of a maximum element, a minimum element and an antichain of size $j$. We prove that the $k$-color Ramsey number of the $j$-diamond is at most $jk$. Colorings of the Boolean lattice that assign sets of the same size the same color provide matching lower bounds for $j \in \{2,3,4\}$.
Intersecting families of loose spanning hypertrees
A loose hypertree is a hypergraph whose incidence graph is a tree. Let $b\ge3$, $n\equiv1\pmod{b-1}$, and $s:=(n-1)/(b-1)$. We determine the largest $t$-intersecting families of loose spanning $b$-uniform hypertrees on $[n]$, simultaneously for every $1\le t\le s$, provided $n$ exceeds an explicit constant depending only on $b$. The extremal families consist of all such hypertrees containing a fixed $t$-edge loose forest whose component sizes are as equal as the divisibility condition permits. In particular, when $bt\le n$, the extremal forests are matchings. We also prove a Hilton--Milner-type bound: if $n\ge C_b(t+1)$, where $C_b$ depends only on $b$, every nontrivial $t$-intersecting family has at most $(s+1)r_{t+1}(n)$ members. Here $r_j(n)$ is the maximum possible number of loose spanning $b$-uniform hypertrees containing a fixed $j$-edge loose forest. For fixed constants $b,t$, this bound is asymptotically sharp and is $O_{b,t}(n^{2-b})r_t(n)$. The proofs combine exact forest enumeration with the intersection theorems of Kupavskii for spread families.
The terminal leave in random greedy hypergraph matching
Let $G$ be the terminal graph of the random triangle-removal process started from $K_n$. We prove that $e(G)/n^{3/2}\to1/(2\sqrt2)$ in $L^2$. More generally, we obtain the analogous result for any fixed strictly $k$-balanced $k$-graph. Our main tool is a more general theorem on random greedy matchings in nearly regular uniform hypergraphs with few short cycles under a stability assumption on the survival equations.
Two Perfect One-Factorizations of $K_{92}$
A perfect 1-factorization of the complete graph $K_{2t}$ is a partition of its edges into perfect matchings such that the union of any two of them is a Hamilton cycle. Kotzig conjectured in 1963 that $K_{2t}$ has a perfect 1-factorization for every $t \ge 2$, but apart from some infinite families and a list of sporadic orders the conjecture is open, and $92$ was one of the nine orders up to $100$ for which no perfect 1-factorization was known. In this paper we construct two non-isomorphic perfect 1-factorizations of $K_{92}$.
Turán problems with bounded matching number in $k$-uniform hypergraphs
For a family $\mathcal{F}$ of $k$-graphs, $ex_k(n,\mathcal{F})$ denotes the maximum number of edges in an $n$-vertex $\mathcal{F}$-free $k$-graph. Let $M_{s+1}^k$ denote a matching of size $s+1$ in $k$-uniform hypergraphs. Recently, Alon and Frankl (JCTB, 2024) determined $ex_2(n,\{M_{s+1}^2,K_{\ell+1}\})$ for all $n\geq 2s+1$ and $\ell\geq 2$. For every non-bipartite graph $F$, Gerbner (JGT, 2024) determined $ex_2(n,\{M_{s+1}^2,F\})$ for sufficiently large $n$. In this paper, we investigate this problem for different ranges of the matching parameter. First we prove that for every graph $F$ with $χ(F)>3$, there exist constants $β>0$ and $s_0$ such that $ex_2(n,\{M^2_{s+1}, F\})=ex_2(2s+1,F)$ for $\max\{s_0,n/2-βn\}<s<n/2$. For integers $\ell\ge k\ge3$, let $\mathcal{K}_{\ell+1}^k$ be the family of all $k$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges for which there is an $(\ell+1)$-set $L$ such that every pair of vertices of $L$ is covered by an edge of $F$, and let $H_{\ell+1}^k$ be the $k$-uniform hypergraph obtained from the complete graph $K_{\ell+1}$ by enlarging each edge with a set of $k-2$ new vertices, which is a member of $\mathcal{K}_{\ell+1}^k$. We determine $ex_k\bigl(n,\mathcal{K}_{\ell+1}^k\cup\{M_{s+1}^k\}\bigr)$ for $s< \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$. For sufficiently large $s$, we also determine $ex_k\bigl(n,\{M_{s+1}^k,H_{\ell+1}^k\}\bigr)$ for $\frac{n}{k}-βn<s\leq \frac{n-k}{k}$ and $s< \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$.
Saturation and semisaturation of oriented graphs
We consider a natural extension of the classical saturation problem to oriented graphs, defined as the minimum number of edges in an oriented graph $H$ on $n$ vertices that avoids a fixed oriented graph $G$, but adding any missing edge to $H$ creates a copy of $G$.
Our main result shows that saturation functions of oriented graphs attain at least four distinct orders of magnitude. In particular, if $G$ is acyclic, then its saturation function is bounded if and only if $G$ contains an isolated edge; otherwise, it is linear. Certain tournaments together with an isolated edge give further infinite examples of bounded and linear saturation functions. Two additional orders of magnitude are $Θ(n \sqrt{\log n})$ and $Θ(n \log n)$. For these two, the lower bounds are obtained by adapting a recently developed approach for the saturation problem in edge-ordered graphs, while the matching upper bounds are constructive.
Finally, we study the semisaturation problem, in which we require only that adding any missing edge to $H$ creates a copy of $G$. We completely characterize the possible orders of magnitude: the semisaturation function is either bounded, linear, or $Θ(n \log n)$.
Prescribed and simultaneous failures of log-concavity in trees with perfect matchings
We construct trees with perfect matchings and independence sequences that fail log-concavity near the independence number $α$. For every integer $k\geq1$, one family fails at $α-k$ and has a witness of order $O(k^2\log(k+2))$. For every integer $t\geq2$, a single tree has simultaneous failures at $α-1,α-3,\ldots,α-(2t-1)$, with a witness of order $O(t^3)$. All these trees satisfy $α=N/2$, where $N$ is the number of vertices, and contradict Conjecture 4.2 of Ramos and Sun. A sufficient condition uses a fixed tree and the numbers of attached leaves. For fixed $k$ or $t$, explicit bounds give geometric decay of $a_j^2/(a_{j-1}a_{j+1})$ at these indices as the trees grow; $a_j$ counts independent $j$-sets. The proofs count independent sets by empty matching pairs. The Lean proof assistant checks formal proofs of the parameterized results and their quantitative bounds; exact 90- and 180-vertex examples illustrate the constructions.
The Online Steinitz Problem
Inspired by Steinitz's celebrated result (1913) and recent online vector-balancing results of Kulkarni et al. (2024) and Aden-Ali (2026), we introduce the online Steinitz problem: $T$ vectors in $\mathbb R^d$, each of $\ell_2$-norm at most $1$ and with total sum zero, arrive one at a time and must be assigned immediately and irrevocably to unused positions of an array. The goal is to keep every prefix sum of the resulting order small. We first obtain deterministic prefix-discrepancy bounds of $O(\log T)$ for $d=1$ and $O(\sqrt T)$ for $d\ge2$. Our main contribution is a general reduction that converts deterministic and randomized online vector-balancing algorithms, which assign signs to arriving vectors, into online ordering algorithms. Combined with recent vector-balancing results, this yields a randomized algorithm with prefix discrepancy $O(\log T+\sqrt{d\log T})$ and running time $O(dT\log T)$. The guarantee holds with high probability against an oblivious adversary. The reduction also gives bounds for sparse vectors and extends to inputs in arbitrary compact convex bodies. Finally, we prove matching lower bounds in both the deterministic and randomized cases.
Perfect matchings in planar 3-connected graphs: girth five and minimum degree five
Let $Φ(G)$ denote the number of perfect matchings of a graph $G$. Goedgebeur et al. posted two questions about the perfect matchings of planar 3-connected graphs: does there exist an infinite family of matchable planar 3-connected graphs of girth 5 with a constant number of perfect matchings? Whether there exist infinitely many planar 3-connected graphs with minimum degree 5 which have a constant number of perfect matchings.
We present answers to those questions. First, we construct, for every even $n\ge196$, a simple planar 3-connected graph of order $n$ and girth five with exactly $c$ perfect matchings, where $c$ is a fixed positive integer. Second, for a simple planar 3-connected graph $G$ with a perfect matching and minimum degree at least five, we show that $Φ(G)\ge2^{\lceil(|V(G)|+20)/22\rceil}$. This implies that, for each positive integer $t$, only finitely many such graphs, up to isomorphism, have at most $t$ perfect matchings.