matching
3165 papers tagged with this keyword
Matchings and Near-Optimal 2-Factor Packings in Percolated Vertex-Transitive Graphs
Let $G$ be a connected simple vertex-transitive graph on $n$ vertices with degree $d$, and let $G_p$ be the random spanning subgraph obtained by retaining each edge independently with probability $p$. Motivated by a conjecture of Bedert, Draganić, Müyesser, and Pavez-Signé on Hamilton cycles in percolated Cayley graphs, we establish its matching and $2$-factor consequences for the larger class of all connected vertex-transitive host graphs. First, for every $A>0$, there is $C=C(A)>0$ such that, for every $N\ge n$, the condition $(1-p)^d\le N^{-C}$ implies, with probability at least $1-N^{-A}$, that $G_p$ has a perfect matching when $n$ is even and that $G_p-v$ has a perfect matching for every vertex $v$ when $n$ is odd. Second, if $ν_2(H)$ is the maximum number of pairwise edge-disjoint spanning $2$-factors in $H$, then, for every $A>0$ and $0<ε<1$, \[
ε^2pd\ge64(A+6)\log(2n) \] implies \[
\mathbb P\left(
ν_2(G_p)\ge\left\lfloor(1-ε)\frac{pd}{2}\right\rfloor
\right)\ge1-n^{-A}. \] Consequently, $pd\ge C\log n$ guarantees both the appropriate matching property and a spanning $2$-factor with high probability, uniformly over all connected vertex-transitive graphs. If $pd/\log n\to\infty$, then $ν_2(G_p)=(1+o(1))pd/2$ with high probability. The coefficient $1/2$ is best possible because each spanning $2$-factor contains $n$ edges, whereas $G_p$ contains about $pnd/2$ edges.
Some New Sufficient Conditions for a Graph to be $l$-Deficient
For a (molecular) graph $G$ and any real number $α\ne 0$ , the zero-order general Randić index , denote by $^0R_α$, is defined by the following equation: \begin{align*}
{^0R_α} (G) =\sum_{v\in G}d_G (v) ^α (α\in \mathbb{R}-\left\{0\right\}) . \end{align*} The deficiency of $G$, denoted by $def(G)$, is equal to the cardinality of vertices which are not covered by a maximum matching in $G$. A graph G is called $l$-deficient if $def(G)\le l$.
In this paper, we use this index to give sufficient conditions for a connected graph, bipartite graph and a balanced bipartite graph $G$ to satisfy the $l$-deficient property, and show that none of these conditions can be dropped. We will also use these results to enhance and generalise the results that already obtained by M. An and K. C. Das in 2018 and G. Su et al. in 2022.
0-Cyclic Equalizability of Binary Words Characterized by Hamming Weight
The random cut is one of the most fundamental shuffles in card-based cryptography: it rotates a sequence of face-down cards by a secret amount. Under this shuffle, two sequences of cards are indistinguishable if and only if they are cyclic shifts of each other. This motivates the question of whether, given two sequences of cards, inserting cards at matching positions can make them indistinguishable. A previous study shows that such an insertion is always possible when any cards may be inserted, as long as the two words are permutations of each other. This paper considers a stronger restriction: if the cards are binary, carrying only 0 or 1, can we insert only 0s to make the sequences indistinguishable? We call two words 0-cyclically equalizable if one can insert 0s into both sequences at matching positions so that the resulting words are cyclic shifts of each other. Our main result is that two binary words of equal length are 0-cyclically equalizable if and only if they have equal Hamming weight, that is, the same number of 1-bits. Since equal Hamming weight is clearly necessary, the content of the paper is to show that it is also sufficient. Our proof is constructive: we encode a pair of binary words as a single word over the four-letter alphabet {A, B, X, O}, reduce equalizability to a simpler condition in this encoding, and build the required insertion explicitly.
Minimum degree conditions for removable matchings in $k$-connected graphs
In 1969, Halin proved that every $k$-connected graph $G$ with minimum degree at least $k+1$ contains an edge $e$ such that $G-e$ is $k$-connected. As an edge is a matching of size one, it is natural to ask whether Halin's result extends to matchings of larger size, a question recently investigated by Li, Zhou, Fujita, and Mao. A matching $M$ of a $k$-connected graph $G$ is called \emph{$k$-removable} if $G-M$ is $k$-connected. In this paper, we study minimum degree conditions that guarantee the existence of a $k$-removable matching of prescribed size. Specifically, we prove that for all positive integers $k$ and $m$, every $k$-connected graph $G$ with at least $2m$ vertices contains a $k$-removable matching of size $m$ if \[δ(G)\ \ge\ \begin{cases} \max\bigl\{k+\bigl\lceil\tfrac m2\bigr\rceil,\ 2m\bigr\} & \text{if } k\ge m,\\[2pt] k+m & \text{if } k<m. \end{cases}\] As a consequence, every $k$-connected graph $G$ with $δ(G)\ge2k+1$ contains a $k$-removable matching of size $\bigl\lceil(δ(G)+1)/2\bigr\rceil$, unless $δ(G)$ is even and $G\cong K_{δ(G)+1}$. This verifies a conjecture of Li, Zhou, Fujita, and Mao in the range $δ(G)\ge2k+1$. Our main tool, of independent interest, is a strengthening of Halin's result producing a $k$-removable edge that avoids a prescribed set of vertices.
Faster and simpler traversal of 0/1-polytopes
Recently, Merino and Mütze (FOCS'23+SICOMP'24) presented an algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq\{0,1\}^n$. The algorithm uses as a black box an algorithm for solving the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$ for some weight vector $w\in\mathbb{R}^n$. The resulting delay per visited vertex on the Hamilton path is only by a $\log n$ factor larger than the time to solve one instance of the optimization algorithm. In this paper, we make the Hamilton path algorithm simpler and faster. Namely, we obtain an amortized delay that is only by a constant factor larger than the running time of the optimization algorithm, thus removing the $\log n$ factor. As concrete results, this yields improved algorithms for generating bases and independent sets in a matroid, spanning trees, forests, matchings and maximum matchings in a graph, vertex covers, minimum vertex covers, independent sets and maximum independent sets in a bipartite graph, and antichains, maximum antichains and ideals in a poset. All of these listings correspond to Hamilton paths on the corresponding polytopes. Furthermore, we obtain an $\mathcal{O}(t_{\rm LP})$ amortized delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the $\mathcal{O}(t_{\rm LP} \log n)$ delay algorithm of Merino and Mütze, and the previous $\mathcal{O}(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke from 1998.
Towards a strengthening of the second neighborhood conjecture
A longstanding conjecture of Seymour, called Seymour's second neighborhood conjecture, states that every oriented graph $D$ contains a vertex $x$ with $|N^{++}_D(x)|\geq |N^{+}_D(x)|$. The conjecture was verified in a few special classes of oriented graphs, and it remains open for general oriented graphs. We propose a stronger version of the conjecture that every oriented graph $D$ contains a vertex $x$ such that there exists a complete matching from $N^+_D(x)$ to $N^{++}_D(x)$. We prove that this stronger version holds for every oriented graph with minimum out-degree at most $5$, and also for every $5$-anti-transitive oriented graph. This implies that every oriented planar graph satisfies the stronger version.
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)$.
Hypergraph Turan with bounded matching number
For a fixed graph $G$, an $r$-uniform hypergraph is said to contain a Berge-$G$ if there exists a bijection $f\colon E(G)\to E(\mathcal{H})$ for some subhypergraph $\mathcal{H}$ such that $e\subseteq f(e)$ for every $e\in E(G)$. Motivated by Alon and Frankl's study of Turán problems under bounded matching constraints, we investigate the maximum number of edges in $r$-uniform Berge-$K_3$-free hypergraphs with matching number at most~$s$. We determine the exact Turán numbers for the cases $r=3$ and $r=4$. For $r=3$ and $n \geq 3 s$, we prove that every $n$-vertex Berge- $K_3$-free 3-graph with matching number $s$ has at most $s(n-2 s)$ edges, and we characterize the unique extremal hypergraph attaining equality. For $r=4$ and $n \geq 4 s$, the maximum number of edges is $s\lfloor(n-2 s) / 2\rfloor$, except for the exceptional case $s=1$ and $n \equiv 1(\bmod 4)$, in which the bound is $(n-1) / 2$. As a corollary, our results recover the classical theorem of Győri on Berge-$K_3$-free hypergraphs.
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.