matching
3278 papers tagged with this keyword
A sharp Randić bound for König--Egerváry graphs and a conjecture of Aouchiche, Hansen, and Zheng
The Randić index of a graph $G$ is $R(G)=\sum_{uv\in E(G)}1/\!\sqrt{d(u)d(v)}$, where $d(v)$ is the degree of $v$, and the matching number $α'(G)$ is the maximum size of a matching in $G$. We prove that every $n$-vertex König--Egerváry graph, and in particular every bipartite graph, satisfies
\[
R(G)\le\sqrt{α'(G)\left(n-α'(G)\right)},
\] and we characterize the graphs attaining equality. Combining this with the Berge--Tutte formula, we determine the maximum of $R(G)-α'(G)$ over all $n$-vertex graphs with $n\ge4$, together with every extremal graph. This settles a conjecture of Aouchiche, Hansen, and Zheng from 2006 in the negative: the smallest counterexample is $K_{10,55}$, the optimal part size is determined by the proportion $\frac{2-\sqrt2}{4}$ rather than by $\frac17$, and the extremal graphs are not only the complete bipartite ones, so that the equality statement fails already for $n=10$. The two proportions give asymptotic slopes differing by $3.7\cdot10^{-5}$, which explains why the conjecture resisted searches over graphs of small order, and the orders admitting two optimal part sizes are those arising from the Pell equation $x^2-2y^2=1$.
A note on matchings and co-matchings in bipartite graphs
A class of bipartite graphs is said to have the strong Erdős-Hajnal property if there exists $\varepsilon > 0$ such that every graph $((A, B), E)$ in the class contains a complete or empty induced subgraph with parts $X \subseteq A$, $Y \subseteq B$ where $|X| \ge \varepsilon|A|$ and $|Y| \ge \varepsilon|B|$. Scott, Seymour and Spirkl \cite{scott2023} proved that it is enough to forbid a forest and the bipartite complement of a forest. In this paper, we provide quantitative bounds on $\varepsilon$ when we restrict to matchings.
The automorphism groups of random linear codes
The study of automorphism groups of linear codes is a fundamental topic in coding theory. The matching codewords framework is currently a standard tool for analyzing the security of cryptographic schemes based on the hardness of the Linear Code Equivalence (LCE) problem, such as the LESS signature scheme. This framework often relies on the assumption that $q$-ary random codes have trivial automorphism groups. However, this assumption has not been formally proved in the literature. In this paper, we prove that with high probability, $k$-dimensional random codes $\mathcal{C} \subseteq \mathbb{F}_q^n$ have a trivial automorphism group as $n$ goes to infinity as long as $\min\{k, n-k\} \geq (2+\varepsilon)\log_q n$, for any $\varepsilon >0$.
Nikiforov's spectral consecutive cycle problem and the connected-matching method
Let $ρ(G)$ denote the adjacency spectral radius of a graph $G$ of order $n$. We determine the sharp constant in an open problem of Nikiforov (2008) on cycles of consecutive lengths. For every $\varepsilon>0$ and all sufficiently large $n$, if $G$ is an $n$-vertex graph with $ρ(G)>\sqrt{\lfloor{n^2/4}\rfloor},$ then $G$ contains a cycle $C_\ell$ for every integer length $3\le \ell\le (\frac{3-\sqrt5}{2}-\varepsilon)n.$ The constant $(3-\sqrt5)/2$ is best possible, as shown by the split graph $K_k\vee\overline K_{n-k}$ with $k\sim(3-\sqrt5)n/4$. Our result improves all previous results [LAA2008, CPC2020, JGT2023, JGT2023, GC2024]. The proof combines the degree form of Szemerédi's regularity lemma, a spectral matching theorem of Feng-Yu-Zhang, Weyl's inequality, a refinement of Łuczak's connected-matching embedding method, and other ideas.
Sharp Bounds For The Layer Number of Integer Grids
The layer number of a finite point set is the number of iterations needed to delete it by repeatedly removing the vertices of its convex hull. Ambrus, Hsu, Peng, and Yan conjectured that the layer number of the $d$-dimensional integer grid $\{1,\ldots,n\}^d$ is of order $n^{2d/(d+1)}$ for every fixed $d$. We prove this conjecture. Let $P_i$ be the convex hull of the point set remaining after $i$ steps, and let $Z_n$ be the convex hull of the lattice points in the Euclidean ball of radius $n$. For every step that leaves a nonempty point set, the Minkowski sum $P_{i+1}+Z_n$ contains no vertex of $P_i+Z_n$. Integrality of normalized lattice volume, together with the Bárány--Larman vertex estimate for $Z_n$, gives a lower bound, independent of $i$, on the resulting volume decrease. Summing over $i$ yields the matching upper bound, even when $P_i$ is lower-dimensional. For $d\ge2$, the same upper bound holds uniformly over all nonempty subsets of $\{1,\ldots,n\}^d$.
Exponentially Many Circuit Double Covers
The cycle double cover conjecture of Szekeres and Seymour, the proof of which was recently announced by OpenAI, states that every bridgeless graph has a collection of cycles covering every edge exactly twice. We study the counting version of this statement for cubic graphs, where we count circuit double covers --- collections of circuits (connected 2-regular subgraphs) covering every edge twice. We show that every 2-edge-connected 3-edge-colorable cubic graph on $n$ vertices has at least $2^{n/2-1}$ circuit double covers, matching our previously conjectured general lower bound. For every 3-edge-connected cubic graph with girth at least 16 we show a weaker exponential lower bound on circuit double covers. For both of these results we use the same system of linear equations used by OpenAI in their proof, however, we provide additional combinatorial interpretation. We characterize planarity of a cubic graph by solvability of this system of equations for arbitrary nowhere-zero $\mathbb Z_2^k$-flow. We give a condition on the flow that is equivalent to existence of a 5-cycle double cover.
A diamond-free claw-free cubic graph with strong chromatic index 7
A strong edge coloring is a proper edge coloring in which every color class is an induced matching; the least number of colors is the strong chromatic index $χ'_s(G)$. Lin and Lin proved that every claw-free subcubic graph other than the triangular prism satisfies $χ'_s(G) \le 7$, with all their tight examples containing diamonds. Kardos (Problem 4.1 of the open-problem collection of the 33rd Workshop on Cycles and Colourings) asked whether every diamond-free claw-free cubic graph is strongly 6-edge-colorable, equivalently whether $χ'_s(T(G))=6$ for every cubic graph $G$, where $T(G)$ is the truncation of $G$. We exhibit an explicit connected, simple, diamond-free, claw-free cubic graph $H$ on 18 vertices with $χ'_s(H)=7$, and show that it has the fewest vertices possible for such a non-prism example. Hence the first formulation, over simple cubic graphs, is false even after excluding the prism; and since $H$ is the truncation of a cubic multigraph with parallel edges, the two formulations are not equivalent unless "cubic graph" is allowed to mean loopless multigraph, under which reading the problem is answered negatively. The narrower version restricted to truncations of simple base graphs remains open.
Formalizing Flag Algebras in Lean
Razborov's flag algebra method is a powerful tool for proving asymptotic inequalities in extremal graph theory, often reducing the task to finding a finite certificate by semidefinite programming. We present a machine-checked formalization of the method for finite simple graphs, together with a certificate-to-proof compiler that turns externally generated certificate data into algebraic proofs checked by Lean. The formalization covers the foundations of the method: partially labeled graphs, their densities in large graphs, the quotient algebra of density expressions, graph-limit semantics through positive homomorphisms, and the downward operators used to average out labels. The compiler treats the external semidefinite programming output as candidate data rather than trusted input: Lean independently computes the required density and multiplication facts, verifies positive semidefiniteness exactly over $\mathbb{Q}$, and carries out the algebraic normalization steps of flag-algebra proofs. Our case studies yield formal proofs of seven Turán-type upper bounds, including Mantel's theorem and the Erdős pentagon theorem, a $C_4$-density bound for triangle-free graphs, and edge-density bounds for $K_4$-free, $K_5$-free, and $C_5$-free graphs. Independently of the compiler, we formalize the matching constructions that complete the exact Turán densities of Mantel's theorem and the Erdős pentagon theorem, and prove two inequalities of Goodman. Our constrained semantics also prompted a meta-theoretic comparison of two ways of imposing graph constraints: building a hereditary constraint into the flag algebra from the start, or testing inequalities afterward on constrained graph limits with labels chosen at random. We state the resulting root-plantability criterion characterizing when the two approaches agree; a forthcoming paper will present the complete account.
Tensor Spectral Stability for Uniform Hypergraphs with Bounded Matching Number
We establish a tensor spectral stability theorem for uniform hypergraphs with bounded matching number. More precisely, for fixed integers $k\geq 3$ and $β\geq2$, and sufficiently large $n$, we prove that every $n$-vertex $k$-uniform hypergraph $H$ with matching number at most $β$ and tensor spectral radius close to the maximum possible value among all such hypergraphs must be structurally close to the extremal hypergraph $S_{n,k,β}$, whose edges consist of all $k$-sets intersecting a fixed set of $β$ vertices. Furthermore, we show that every edge of $H$ intersects this distinguished vertex set and that $H$ contains all but a small proportion of the edges of $S_{n,k,β}$. As an application, we obtain a new proof of the spectral version of the Erdős matching conjecture for sufficiently large $n$.
The covering number C(12, 6, 4) is 41
A $t$-$(v,k,λ)$ covering is a collection of $k$-subsets (blocks) of a $v$-set such that every $t$-subset of points lies in at least $λ$ blocks; the covering number $C_λ(v,k,t)$ is the least number of blocks in such a collection, and one writes $C(v,k,t)$ when $λ=1$. The recorded bounds for $C(12,6,4)$ have been $40 \le C(12,6,4) \le 41$. We show that no $4$-$(12,6,1)$ covering with $40$ blocks exists, and hence that $C(12,6,4)=41$. A counting argument shows that in a hypothetical $40$-block covering every point lies in exactly $20$ blocks, the link of every point is an optimal $3$-$(11,5,1)$ covering with a forced degree sequence, and the six pairs of points of degree $10$ form a perfect matching; an exhaustive case analysis over the orbits of a group of order $3840$, carried out by satisfiability solving, then shows that no optimal $3$-$(11,5,1)$ covering occurs as such a link. Each of the $81$ formulas in the primary proof has an unsatisfiability certificate checked by drat-trim and by the formally verified checker cake_lpr; two additional cross-encoding certificates are checked by the same pipeline. The lower-bound argument uses no tabulated covering number: its only numerical input, $C(10,4,2) \ge 9$, is itself certified. As a by-product the certificates yield a self-contained certified proof that the optimal $3$-$(11,5,1)$ covering is unique up to isomorphism. Equivalently, the Turán number $T(12,8,6)$ is $41$; the new value propagates to improved lower bounds for $C(13,7,5)$, $C(14,8,6)$, $C(15,9,7)$ and $C(16,10,8)$.
Isoperimetric-Combinatorial Bounds for Range-Controlled Matchings and Quasi-Interpolation from Scattered Data
We develop a mesoscopic framework for analyzing perturbations of finite point sets. Given a reference node set $Y$ with known cubature and approximation properties, we consider a disordered node set $Q$ that is observed only through its populations in cubes at scale $r>0$. By imposing Hall-type (HT) combinatorial constraints on these populations, we prove the existence of a perfect matching between $Y$ and $Q$ with $O(r)$ range. This allows integral approximation estimates on coarser cubes at scale $h>r$ to be transferred from $Y$ to $Q$ with explicit error control and anchors $Q$ to a periodic grid. We then use translation-invariant quasi-interpolation methods to obtain high-order estimates of order $h^s$ as in the quasi-uniform setting, but for a different class of geometries. The key restrictions are the HT conditions and the bound $r\le Ch$, where $C<1$ is scale independent.
Exact values and exact upper bounds for families of integers with arithmetic progression intersections (Erdős Problem #272)
Let $t(N)$ be the largest $t$ for which there exist distinct sets $A_1,\dots,A_t \subseteq \{1,\dots,N\}$ such that $A_i \cap A_j$ is a nonempty arithmetic progression for all $i \neq j$ (Erdos Problem #272). Simonovits and Sos proved $t(N)=O(N^2)$ and conjectured $\binom{N}{2}+1$ is best possible; Szabo disproved this by a construction giving $t(N) \geq \binom{N}{2}+1+\lfloor(N-1)/4\rfloor$, proved the asymptotics $t(N)=N^2/2+O(N^{5/3}(\log N)^3)$, and asked whether $t(N)=\binom{N}{2}+O(N)$ and whether some element lies in all sets of any extremal family (the kernel question). We determine $t(N)$ exactly for all $3 \leq N \leq 12$ by exhaustive computation: in this entire range Szabo's lower bound is exact, and we conjecture that $t(N)=\binom{N}{2}+1+\lfloor(N-1)/4\rfloor$ for every $N$. Towards the matching upper bound we prove, for every $N$, that Szabo's bound is the exact maximum over all families with a common element (starred families). The proof combines a self-contained ``defect-one'' counting inequality for staircase regions with a new structural theorem: every non-progression member of such a family contains a bad pair that no other member can share. Consequently the sharpened conjecture reduces to a single remaining statement, namely Szabo's kernel conjecture that some element lies in all sets of an extremal family, and we prove first structural constraints on putative non-starred extremal families.
Nowhere-zero 4-flows in graphs excluding the Petersen graph with one edge contracted
Let $P$ be the Petersen graph and let $e\in E(P)$. We prove that every almost $4$-connected nonplanar graph of minimum degree at least three and girth at least five contains $P/e$ as a minor. Using this structural result, we show that every finite bridgeless $(P/e)$-minor-free multigraph admits a nowhere-zero $4$-flow. This extends the theorem of Wang, Zhang and Zhang (2009) for graphs excluding the graph obtained by contracting three edges of a perfect matching of $P$, and complements the theorem of Thomas and Thomson (2000) for $(P-e)$-minor-free graphs. Consequently, every bridgeless graph with no nowhere-zero $4$-flow contains both $P/e$ and $P-e$ as minors. The proof combines the girth-five structure theorem of Thomas and Thomson (2000) with the nonplanar extension theorem of Norin and Thomas (2016). Its finite part is computer-assisted and verifies the required minor models in the Petersen, Triplex and Basket graphs, and in the jump and facial cross extensions of the Dodecahedron.
Tight Hamilton Cycles in Linearly Quasirandom 3-Graphs
We study tight Hamilton cycles in linearly quasirandom 3-graphs. An $n$-vertex 3-graph $H$ is $(p,μ)$-dense if $e_H(X,Y,Z)\ge p|X||Y||Z|-μn^3$ for all $X,Y,Z\subseteq V(H)$. Ara{ú}jo, Piga and Schacht asked whether $p,α>1/4$ together with $δ_2(H)\geαn$ force a tight Hamilton cycle. We give a negative answer: for every $\varepsilon,μ>0$ and all sufficiently large $n$, there exists an $n$-vertex $(p_0-\varepsilon,μ)$-dense 3-graph $H$ with $δ_2(H)\ge(p_0-\varepsilon)n$ and no tight Hamilton cycle, where $p_0:=\max_{0\le x\le1}\min\{x^3,1-x\}\approx0.317672$.
For every $p>1/3$, we determine the asymptotically sharp minimum-codegree threshold. Writing \[
δ_0(p)=
\left(\frac{1-\sqrt{(4p-1)/3}}{2}\right)^2, \] we prove that every sufficiently large $(p,μ)$-dense 3-graph $H$ with $δ_2(H)\geαn$ contains a tight Hamilton cycle whenever $α>δ_0(p)$ and $μ$ is sufficiently small. A matching construction shows that this threshold is best possible. The proof uses absorption together with a new fixed-length connecting lemma based on a regular slice, a directed pair-state graph, and a finite scalar lemma.
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.