matching
3278 papers tagged with this keyword
The number of perfect matchings in 3-connected planar graphs
A graph is matchable if it admits a perfect matching. Recently, Goedgebeur et al. asked whether there exists a constant $c<12$ such that infinitely many matchable planar $3$-connected graphs, each with exactly $c$ perfect matchings. We prove that every matchable planar $3$-connected graphs on at least 40 vertices has at least 12 perfect matchings, and this lower bound is sharp. This answers the question negatively.
Maximizing copies of a fixed graph in graphs with a prescribed number of edges
For a graph $H$ denote by $\operatorname{emb}\left(H, m\right)$ the maximal number of labeled embeddings of $H$ in a graph of size $m$. Erdős posed the question of finding $\operatorname{emb}\left(H, m\right)$ for different values of $H$ and $m$. Following related asymptotic and stability results, we determine the value of $\operatorname{emb}\left(H, {\binom{n}{2}}\right)$ for every graph $H$ with fractional independence number $v_H/2$ and all sufficiently large $n$. We also show that for those $H$ (except for matchings) and $n$ the only graph with a maximal number of embeddings is $K_n$. This fully characterizes the graphs for which $K_n$ achieves the maximal number of embeddings.
Alternative Entropy Bounds for Perfect Matchings in Bipartite Graphs
We refine Radhakrishnan's entropy proof of the Brégman-Minc bound by introducing a terminal-set framework in which selected vertices are revealed last. This gives new degree-sensitive upper bounds for the number of perfect matchings in bipartite graphs and an explicit formula for single-vertex terminal sets. The bounds recover the standard Brégman equality family and improve the estimate for certain nonuniform degree sequences. We also obtain a $C_4$-free refinement complementary to the edge-count bound of Araujo, Balogh and Wang.
On the CGGRT Criterion for Detecting Bipartite Perfect Matchings in NC
The recent breakthrough work of Chatterjee, Ghosh, Gurjar, Raj and Thierauf [CGGRT26] gives the first deterministic NC algorithm for the bipartite matching problem. They show how to detect as well as find perfect matchings in bipartite graphs in NC. In this note we present an arguably simpler-to-state variation of the NC detection criterion of [CGGRT26], with improved parameters.
Perfect matching in 4-partite 4-uniform hypergraphs
A balanced $k$-partite $k$-graph is a $k$-uniform hypergraph such that every edge intersects each partition class in exactly one vertex, where each partition class has size $n$. Lo and Markström (2014) determined the minimum vertex-degree threshold for perfect matchings in balanced \(3\)-partite \(3\)-graphs. In this paper, we determine the minimum vertex-degree threshold for balanced \(4\)-partite \(4\)-graphs. The proof relies on a reduction framework for \(k\)-partite \(k\)-graphs, through which the existence of a perfect fractional matching is converted into a finite-dimensional optimization problem.
Flip dynamics on perfect matchings beyond bipartite and planar graphs
We study the flip dynamics on perfect matchings of graphs, where a flip consists of replacing the edges of a perfect matching along an even cycle with the complementary alternating edges. In particular, we want to bound the minimum length of cycles such that any two perfect matchings are related by flips of such cycles.
Given a finite graph $G$, we consider the families of decorated graphs obtained by replacing each vertex of $G$ with a decoration satisfying suitable conditions on the existence of perfect matchings in its subgraphs. We prove a general upper bound for this family. We then obtain stronger bounds for two families of decorations: clique decorations and Fisher decorations, the latter under the assumption that the underlying graph is planar. In both cases, the bounds are independent of the sizes of the decorations.
On the Erdős-Rogers function
We show that the Erdős-Rogers function $f_{s,s+1}(n)$ satisfies $$f_{s,s+1}(n) = Θ( \sqrt{n \log n} )$$ for every $s \ge 2$. More precisely, we construct a $K_{s+1}$-free graph on $n$ vertices in which every set of at least $C(s)\sqrt{n \log n}$ vertices contains a copy of $K_s$ for some constant $C(s)$, which implies the upper bound. The matching lower bound follows from a theorem of Joret, Micek, Reed and Smid on the clique chromatic number of a graph.
Erdős-Ko-Rado-type problem for hypergraph matchings
Given integers $1\leq t\leq k$, a family of $k$-matchings in a complete $r$-partite $r$-uniform hypergraph is said to be $t$-intersecting if any two of its members share at least $t$ common edges. This concept unifies several well-studied classes of intersecting families, including classical intersecting families, intersecting families of permutations, partial permutations, and generalized permutations, as well as intersecting families of injections. In this paper we employ two approaches to determine the maximum size of $t$-intersecting families of $k$-matchings and to characterize the extremal families that attain this bound. Using a recent result of Keller, Lifshitz, Minzer, and Sheinfeld on $t$-intersecting families of permutations, we obtain Erdős-Ko-Rado-type theorems whose thresholds depend only on $t$. We also develop a $t$-cover-based approach that offers a complementary characterization of the extremal families.
The order of long rainbow arithmetic progressions
Let $T_k$ be the minimum positive integer $t$ such that, for every positive integer $n$, every equinumerous $t$-coloring of $[tn]$ contains a rainbow $k$-term arithmetic progression. Jungić, Licht, Mahdian, Nešetřil and Radoičić conjectured that $T_k=Θ(k^2)$, while Conlon, Fox and Sudakov proved that $T_k=O(k^2\log k)$. We prove the matching lower bound $T_k=Ω(k^2\log k)$, and hence $T_k=Θ(k^2\log k)$.
A Quadratic Lower Bound for the Shield Number of the Stable Marriage Problem: Rearrangement, Extremal Construction, and Biclique Realizability
We study the Shield number of the stable marriage problem, defined as the minimum, over all preference profiles of size n, of the maximum number of blocking pairs attainable by a complete matching. We establish the universal quadratic lower bound $σ(n) \ge \lceil n(n-2)/6 \rceil$ using a rearrangement inequality and show that this bound is the strongest consequence obtainable from uniform first-moment arguments. We further prove a sharp min-rearrangement inequality and construct an explicit cyclic Hollow-Shell instance attaining $\lfloor (n-1)^2/4 \rfloor$ blocking pairs. We also establish sufficient Hall-type conditions for biclique realizability, prove structural limitations of uniform averaging and two-parameter linear assignment objectives, and provide complete proofs for all unconditional results. Computer-assisted verification is used only for explicitly identified computational statements and is clearly distinguished from mathematical proofs.
A 64-Rectangle Counterexample to Wegner's Conjecture and LP Gaps up to $5/2$
Wegner conjectured that every finite family $\mathcal R$ of axis-parallel rectangles satisfies $τ(\mathcal R)\le 2ν(\mathcal R)-1$, where $ν$ is the packing number and $τ$ is the piercing number. Ajwani, Gajjala, Raman, and Ray recently disproved this by constructing a triangle-free counterexample on $2196\cdot 8^9$ rectangles and, using a computer-assisted package-and-port recursion, obtained a standard LP gap of $17891/8064$ for Maximum Independent Set of Rectangles. We give a simpler and hand-checkable counterexample with $64$ rectangles. It is built from an eight-rectangle gadget whose independent sets inject into four ordered slots; we then use four horizontal and four vertical copies of this gadget to form a triangle-free family with $ν=16$ and $τ\ge 32$. We use the same horizontal-vertical step to define recursive families of rectangles $P_r$ with $ν(P_r)=4^{2^r}$. For the standard clique, equivalently point, relaxation we obtain a finite gap $73/32$ at $P_3$, improving the previous benchmark of $17891/8064$. We then construct recursive fractional solutions and matching piercing sets showing $\lim_r α^*(P_r)/ν(P_r)=\lim_r τ(P_r)/ν(P_r)=5/2$. Finally, by disjoint union with isolated rectangles, we show that every rational $t\in[1,5/2)$ occurs as a standard LP gap and also as a packing-piercing ratio for suitable rectangle families.
Tight lower bound for the spectral radius of connected graphs with given matching number
Let $\mathscr{G}_{n,k}$ denote the family of all connected graphs of order $n$ with matching number $k$. Liu, Lou, and Trevisan~(Linear Algebra Appl., 2026) posed the following problem: Determine the spectrally minimal graphs in $\mathscr{G}_{n,k}$. In this paper we prove that for every graph $G \in \mathscr{G}_{n,k}$, $
ρ(G) \ge \sqrt{\frac{n + 2k - 3}{k}}, $
and we completely characterize the extremal graphs when $k \mid (n-3)$. As applications, we establish $ρ(G) + k \ge 3\sqrt[3]{n/4}$ for $k \ge 2$, settling the asymptotic order of $ρ+ k$ as $Θ(n^{1/3})$ -- strictly smaller than the $Θ(\sqrt{n})$ order suggested by the disproved Aouchiche--Hansen conjecture.
Bounded-Support Additive Latin Transversals via Color-Counted Matching
We consider the following additive Latin transversal problem. Given a multiset $A=(a_1,\dots,a_k)$ of elements of $\mathbb Z_m$ and a set $B\subseteq\mathbb Z_m$ of cardinality $k$, the task is to order $B$ as $b_1,\dots,b_k$ so that the sums $a_i+b_i$ are pairwise distinct. When $k=m$, Hall proved that a solution exists if and only if $\sum_{i=1}^m a_i\equiv 0 \pmod m$; moreover, his theorem yields a polynomial-time construction. Alon proved that a solution always exists when $m$ is prime and $k<m$, but no polynomial-time construction is known in general. Our main algorithmic contribution is a direct randomized algorithm for Color-Counted Matching: given an edge-colored graph and prescribed target counts for the colors, find a matching using exactly the prescribed number of edges of each color. If $q$ is the sum of the target counts and $h$ is the number of colors, our base-$(q+1)$ reduction to Exact Red Matching, combined with the algorithm of Mulmuley-Vazirani-Vazirani, gives a randomized algorithm with running time $\left(|V|^2+|E|(q+1)^{h-1}\right)^{O(1)} $ for an input graph $(V,E)$. Thus the dependence on the target matching size is $q^{O(h)}$, up to polynomial factors in the graph size. In contrast, applying the general matching-ILP theorem of Lassota and Ligthart as a black box yields a $q^{O(h^2)}$ dependence for the corresponding fixed-size color-counted instances. Applying this primitive to additive Latin transversals with $s=|\operatorname{supp}(A)|$, we obtain an algorithm in randomized time $(k+\log m)^{O(s)}$. In particular, additive Latin transversals are randomized polynomial-time constructible for every fixed support size.
Tropical Circuits with Scalar Multiplication Gates
We study tropical circuits with scalar multiplication gates, that is, algebraic circuits whose gates implement $\max$, $+$, or multiplication with a positive constant. For such circuits, we prove exponential size lower bounds for computing maximum weight directed spanning trees and maximum weight bipartite perfect matchings. As a corollary, we obtain an exponential size separation between monotone and non-monotone maxout neural networks, which generalize the popularly used ReLU neural networks. One conclusion from this is that neural network models with enforced convexity constraints, such as input-convex neural networks (ICNNs), sometimes need to be exponentially larger than their unrestricted counterparts in order to express the same functions.
Characterization and equilibrium of bichromatic max-sum matchings
We study maximum-sum red-blue matchings and matching equilibrium for finite planar point sets. For a red-blue perfect matching $M = \{(a_i,b_i) : 1 \le i \le n\}$, we define the gain of a directed red cycle as the change in total weight produced by cyclically shifting the corresponding blue partners. We prove that $M$ is maximum-sum if and only if every directed red cycle has nonpositive gain, and we derive a geometric sufficient condition for optimality from cyclic intersections of distance-difference regions. We then characterize balanced matchings, in which all red-blue perfect matchings have the same total weight. Equilibrium is shown to be equivalent to vanishing cycle gains, to an additive form of the distance matrix, and to a common level-set condition for distance-difference functions. In the squared Euclidean case this yields an orthogonality classification, while in the Euclidean case it yields a hyperbolic level-set description and a collinear-separation classification in the nondegenerate setting.
Homological invariants of edge ideals of the multiple extended complete split-like graphs
We study the graphs $MECS_{b,n}^a \cong \overline{K}_a \join \big(n(K_b+K_2)\big)$, obtained by attaching an independent set of size $a$ to $n$ disjoint copies of the block $K_b+K_2$. For $n=1$, we get $MECS_{b,1}^a$, and recover the results of one-block case studied in [Anand, Gupta, Rather and Singh, Homological invariants of some complete split-like graphs, Beitr. Algebra Geom. (2025)]. Using Hochster's formula, tensor products of minimal free resolutions over disjoint variable sets, and the Betti-number formula for graph joins, we derive explicit descriptions of the independence complex, independence polynomial and its analytic properties, Hilbert series, linear and quadratic Betti strands, regularity, projective dimension, and several structural invariants of $MECS_{b,n}^a$. We further classify the well-covered and unmixed members, compute induced matching numbers, show that the family is never Cohen--Macaulay, and record algorithmic procedures for evaluating the Betti data.
Regular anti-phase templates in the stable marriage problem: a generator criterion, its converse, and a counting bound
We study a family of highly symmetric instances of the stable marriage problem built from regular actions of finite groups. Given a finite group G of order n and an ordering A of its elements, we define the regular anti-phase template P(G,A). These templates have n canonical stable matchings. We show that the anti-phase condition is canonical: among automorphism-maximal profiles, the anti-phase templates are exactly those satisfying a constant rank-sum identity. This gives a structural characterization rather than an ad hoc definition. We prove a generator criterion and its exact converse: the stable set has size n if and only if each adjacent quotient generates the group. This result holds for all finite groups and does not require commutativity. We further establish a counting lower bound for the number of stable matchings in terms of subgroup indices. The bound is sharp for groups of order at most 5 and for all groups of order 4; in particular, it yields at least 10 stable matchings for the Klein group, with equality confirmed by enumeration. Finally, we show that cyclic profiles do not always produce chains; the structure depends on the ordering. All computational claims are verified by an accompanying script.
Gårding's Theorem for Posynomials
We extend Gårding's theorem to homogeneous posynomials: if a finite positive sum of monomials with arbitrary nonnegative real exponents is zero-free on a product of right half-planes, then its degree-normalized root is concave. Consequently, zero-freeness in a sector of aperture $απ$ implies $α$-fractional log-concavity. This sharpens generic mixing and domain-sparsification guarantees for fixed-size matchings and nonsymmetric determinantal point processes. The result was developed in an AI-assisted interaction initiated and checked by the author; Codex also assisted with assembling and typesetting the manuscript.
Spanning Paths and Cycles: Structural Limitations of the Irrelevant Vertex Technique
The Irrelevant Vertex Technique is one of the cornerstones of algorithmic graph theory, underlying Robertson and Seymour's algorithm for \textsc{Disjoint Paths} and much of the algorithmic Graph Minors theory. We show that, in the setting of spanning routing, this technique exhibits an exact combinatorial limitation. Unlike classical routing problems, spanning routing is not governed by the number of distinguished vertices but by the way they are distributed throughout the graph. The input is a triple $(G,R,\mathcal{T})$ where $(G,R)$ is an annotated graph and $\mathcal{T}$ is a set of terminal pairs. The goal is to determine if $G$ contains a family of internally disjoint paths connecting the pairs in $\mathcal{T}$ such that the union of the paths spans the set $R$. We identify a new structural parameter of annotated graphs, called $\mathsf{depth}_2$, that measures precisely this phenomenon. Our main result is a complete combinatorial dichotomy: for every red-minor-closed class of annotated graphs, the Irrelevant Vertex Technique applies to \textsc{Spanning Disjoint Paths} \textsl{if and only if} the class has bounded $\mathsf{depth}_2$. Thus $\mathsf{depth}_2$ forms the exact structural boundary between classes where the Robertson-Seymour paradigm survives and those where it breaks down. Our proof combines a new local structure theorem for annotated graphs of bounded $\mathsf{depth}_2$ with a spanning analogue of the celebrated Vital Linkage Theorem. The resulting algorithm solves \textsc{Spanning Disjoint Paths} in time $2^{2^{\mathbf{poly}(k+d)}}\cdot n^2$ where $d$ is the $\mathsf{depth}_2$ of the input instance. We provide matching lower bounds showing that beyond bounded $\mathsf{depth}_2$ no irrelevant-vertex rule can exist, even on planar graphs. In particular, $\mathsf{depth}_2$ is the exact combinatorial barrier for the Irrelevant Vertex Technique under spanning constraints.
The perfect 1-factorisation conjecture holds asymptotically
A famous conjecture of Anton Kotzig states that for every even integer $n\ge 4$, the complete graph $K_n$ of order $n$ can be decomposed into $n - 1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. Despite the great interest, the conjecture is far from being solved. Here we show that the conjecture holds asymptotically, namely that $K_n$ can be decomposed into $n-1$ perfect matchings such that $(1-o(1))n$ of them have the property that any pair forms a Hamilton cycle.