matching
3165 papers tagged with this keyword
Stability for the Anti-Ramsey Number of Matchings
Let $n, r, s$ be three positive integers such that $n\geq 2s+5$. Let $K_r$ denote the complete graph of order $r$. Given a graph $F$, the anti-Ramsey number $ar(n,F)$ is defined as the minimum number $C$ such that any edge-coloring of $K_n$ with exactly $C$ colors contains a rainbow copy of $F$. Let $H$ be an edge-colored graph on $K_n$ with at least $g(n,s)$ colors, where \[
g(n,s)=\max\left\{ \binom{n}{2} - \binom{n - s + 1}{2} + 5, \binom{2s - 1}{2} + n + 1 \right\}. \] In this paper, we establish a stability type result for the anti-Ramsey number of matchings. Specifically, if $H$ does not have a rainbow matching of size $s+2$, then $H$ contains either a monochromatic complete graph $K_{n-s}$ or a monochromatic $K_{n - 2s - 1} \vee \overline{K_{2s + 1}}$.
Colour-balanced subgraphs
A $k$-edge-coloured graph is colour-balanced if each colour appears equally often. Resolving a conjecture of Pardey and Rautenbach, we show that any colour-balanced $k$-edge-coloured complete graph $K_{2kt}$ contains a perfect matching that can be made colour-balanced by recolouring $O(k^2)$ edges. More generally, we obtain analogous bounds for arbitrary bounded-degree spanning subgraphs of edge-coloured complete graphs and for perfect matchings in edge-coloured $r$-uniform complete hypergraphs in a more general vector-label setting. The former result answers a question recently posed by Banerjee and Hollom, and significantly improves earlier bounds for all previously studied classes of subgraph. Our proofs reduce each of these problems to a setting in which we can apply a bound for perfect matchings in the complete bipartite graph, established via a linear relaxation and a necklace-splitting argument.
Simultaneous avoidance of length-4 patterns in ascent sequences
Ascent sequences form a central class of combinatorial objects, as they are in bijection with several important families such as (2+2)-free posets, Stoimenow matchings, and other Fishburn objects, and are enumerated by the Fishburn numbers.
We study pattern avoidance in ascent sequences for the five patterns of length 4: $0101$, $0102$, $0112$, $0120$, and $0121$. These patterns arise naturally from recent work on pattern avoidance in related families of Fishburn objects, including Stoimenow matchings and (2+2)-free posets. We enumerate ascent sequences avoiding any subset of these patterns, with the exception of the sets $\{0120\}$, $\{0121\}$, and $\{0120,0121\}$, for which the enumeration remains open.
Our results reveal that the corresponding avoidance classes fall into $16$ Wilf equivalence classes and exhibit a wide range of enumerative behaviour, including connections to classical sequences such as the Catalan and Fibonacci numbers, as well as polynomial formulas and rational generating functions; several of the sequences we obtain appear to be new. Our methods combine structural decompositions with generating-tree techniques and, in several cases, rely on reductions to shorter patterns via restricted growth functions. This work contributes to the broader study of pattern avoidance across Fishburn families and highlights further connections between ascent sequences and other combinatorial structures.
Distance spectral radius and perfect matchings in graphs with given fractional property
A matching in a graph $G$ is a set of independent edges in $G$. A perfect matching in a graph $G$ is a matching which saturates all the vertices of $G$. A fractional perfect matching in a graph $G$ is a function $h:E(G)\rightarrow [0,1]$ such that $\sum\limits_{e\in E_G(v)}h(e)=1$ for every $v\in V(G)$, where $E_G(v)$ is the set of edges incident to $v$ in $G$. Clearly, the existence of a fractional perfect matching in a graph is a necessary condition for the graph to possess a perfect matching. Let $G$ be a $k$-connected graph of even order $n$ with a fractional perfect matching, where $k$ is a positive integer. We denote by $μ(G)$ the distance spectral radius of $G$. In this paper, we prove that if $n\geq8k+6$ and $μ(G)\leqμ(K_k\vee(kK_1\cup K_3\cup K_{n-2k-3}))$, then $G$ contains a perfect matching unless $G=K_k\vee(kK_1\cup K_3\cup K_{n-2k-3})$.
Borsuk-Ulam Type Theorems and Mountain Climbing Problem
In this paper, we present a new qualitative extension of the Hopf theorem (and a generalization of Borsuk-Ulam theorem), concerning continuous maps $f$ from a compact Riemannian manifold $M$ of dimension $n$ to $\mathbb{R}^n$. We remove the assumption of a Riemannian structure and instead consider closed triangulable manifolds $M$ equipped with a topological notion of 'distant' points. We show that for any continuous map $f \colon M \to \mathbb{R}^n$, there exists a connected component in the space of $f$-neighbors (where a pair of points $a, b$ are $f$-neighbors if $f(a) = f(b)$) that contains both a pair of 'distant' points and a pair of identical points. This result yields further consequences for Lusternik-Schnirelmann and Tucker-type theorems, as well as a multidimensional extension of the mountain-climbing lemma, which in the special case of the standard Euclidean $2$-sphere, may be stated informally as follows. For any continuous distribution of temperature and pressure on Earth (assumed time-independent), there exists a pair of antipodal points with identical values such that travelers starting from these points can move and meet while, at each moment of their journey, experiencing matching 'climatic conditions' up to an arbitrarily small constant.
The matching book embedding of the $F$-sum of two graphs
The $F$-sum is a new graph operation defined by combining four graph transformation operations with the Cartesian product operation. A matching book embedding of a graph $G$ is a book embedding in which the vertices of $G$ are placed on a fixed linear order along the spine, and the edges are assigned to pages such that (i) no two edges on the same page cross, and (ii) each vertex has degree at most one on every page. The minimum number of pages required for such a matching book embedding is called the \emph{matching book thickness} of $G$, denoted by $mbt(G)$. A graph $G $ is dispersable if and only if $ mbt(G) = Δ(G) $, and nearly dispersable if and only if $mbt(G) = Δ(G) + 1 $. In this paper, we determine the dispersability of outerplanar graphs and establish an upper bound on the matching book thickness of the $F$-sum of any simple graph with any dispersable bipartite graph.
Adjacent vertices of small degree in minimal matching covered graphs
A connected graph $G$ with at least two vertices is matching covered if each of its edges lies in a perfect matching. A matching covered graph is minimal if the removal of any edge results in a graph that is no longer matching covered. An edge is called a $k$-line if both of its end vertices are of degree $k$. Lovász and Plummer [J. Combin. Theory, Ser. B 23 (1977) 127--138] proved that a minimal matching covered bipartite graph different from $K_2$ has minimum degree 2 and contains at least $[(|V(G)|+15)/6]$ 2-lines by ear decompositions. He et al. [J. Graph Theory 111 (2026) 5--16] showed that the minimum degree of a minimal matching covered graph different from $K_2$ is either 2 or 3. In this paper, we prove that every minimal matching covered graph with at least 4 vertices contains at least two nonadjacent edges, each of which is either a 2-line or a 3-line. Consequently, we show that every minimal matching covered graph with at least 4 vertices and minimum degree 3 contains at least 4 vertices of degree 3. Furthermore, the lower bounds for both the number of 3-lines and the number of cubic vertices are sharp.
Hamiltonicity of inhomogeneous random graphs
We provide a complete characterization of those graphons $W$ for which the inhomogeneous random graph $G(n,W)$ is asymptotically almost surely Hamiltonian. The characterization involves three conditions. Two of them constitute the characterization of $G(n,W)$ being a.a.s. connected, as was shown recently by Hladký and Viswanathan. The third condition captures a geometric obstacle which prevents $G(n,W)$ from having perfect fractional matchings.
Private neighbors, perfect codes and their relation with the $\vt$-number of closed neighborhood ideals
In this work, we investigate the connections between dominating sets, private neighbors, and perfect codes in graphs, and their relationships with commutative algebra. In particular, we estimate the $\vt$-number of closed neighborhood ideals in terms of minimal dominating sets and private neighbors. We show how the $\vt$-number is related to other graph invariants, such as the cover number, domination number, and matching number. Moreover, we explore the relation with the Castelnuovo-Mumford regularity, proving that the $\vt$-number is a lower bound for the regularity of bipartite and well-covered graphs. Finally, drawing from the relation between efficient dominating set and perfect codes, we use the redundancy of Hamming codes to present lower and upper bounds for the $\vt$-number of some special family of graphs.
Optimal bounds for an Erdős problem on matching integers to distinct multiples
Let $f(m)$ be the largest integer such that for every set $A = \{a_1 < \cdots < a_m\}$ of $m$ positive integers and every open interval $I$ of length $2a_m$, there exist at least $f(m)$ disjoint pairs $(a, b)$ with $a \in A$ dividing $b \in I$. Solving a problem of Erdős, we determine $f(m)$ exactly, and show $$ f(m)=\min\bigl(m,\lceil 2\sqrt{m}\,\rceil\bigr) $$ for all $m$. The proof was obtained through an AI-assisted workflow: the proof strategy was first proposed by ChatGPT, and the detailed argument was subsequently made fully rigorous and formally verified in Lean by Aristotle. The exposition and final proofs presented here are entirely human-written. [This paper solves Problem #650 on Bloom's website "Erdős problems".]
Truncated Plethystic Exponentials Preserve Power Sum Constraints
Given an arbitrary sequence $(α_1, \ldots, α_n) \in \mathbb{C}^n$, we show that the degree-$n$ truncation of the formal exponential $\exp\bigl(-\sum_{k=1}^{\infty} \frac{α_k}{k} x^k\bigr)$ produces a polynomial whose roots $ρ_1, \ldots, ρ_n$ satisfy $\sum_{i=1}^n ρ_i^{-k} = α_k$ exactly for $k = 1, \ldots, n$. This truncation-exactness property is an algebraic identity in the ring of formal power series, proved by coefficient matching. It defines a natural embedding of sequences into multisets of complex numbers and yields an $O(n^2)$ algorithm for computing the polynomial from the prescribed power sums. We apply the result to the polylogarithm family $α_k = k^{1-s}$, where the associated exponential $\exp(-\mathrm{Li}_s(x))$ produces factorial-integer coefficient sequences for $s \leq 0$ and encodes values of the Riemann zeta function through $\lim_{n\to\infty} P_n^{(s)}(1) = \exp(-ζ(s))$ for $\mathrm{Re}(s) > 1$.
Stationary Online Contention Resolution Schemes
Online contention resolution schemes (OCRSs) are a central tool in Bayesian online selection and resource allocation: they convert fractional ex-ante relaxations into feasible online policies while preserving each marginal probability up to a constant factor. Despite their importance, designing (near) optimal OCRSs is often technically challenging, and many existing constructions rely on indirect reductions to prophet inequalities and LP duality, resulting in algorithms that are difficult to interpret or implement.
In this paper, we introduce "stationary online contention resolution schemes (S-OCRSs)," a permutation-invariant class of OCRSs in which the distribution of the selected feasible set is independent of arrival order. We show that S-OCRSs admit an exact distributional characterization together with a universal online implementation. We then develop a general `maximum-entropy' approach to construct and analyze S-OCRSs, reducing the design of online policies to constructing suitable distributions over feasible sets. This yields a new technical framework for designing simple and possibly improved OCRSs. We demonstrate the power of this framework across several canonical feasibility environments. In particular, we obtain an improved $(3-\sqrt{5})/2$-selectable OCRS for bipartite matchings, attaining the independence benchmark conjectured to be optimal and yielding the best known prophet inequality for this setting. We also obtain a $1-\sqrt{2/(πk)} + O(1/k)$-selectable OCRS for $k$-uniform matroids and a simple, explicit $1/2$-selectable OCRS for weakly Rayleigh matroids (including all $\mathbb{C}$-representable matroids such as graphic and laminar). While these guarantees match the best known bounds, our framework also yields concrete and systematic constructions, providing transparent algorithms in settings where previous OCRSs were implicit or technically involved.
Bollobás-Meir TSP Conjecture Holds Asymptotically
In 1992, Bollobás and Meir showed that for every $k \geq 1$ there exists a constant $c_k$ such that, for any $n$ points in the $k$-dimensional unit cube $[0, 1]^k$, one can find a tour $x_1, \dots, x_n$ through these $n$ points with $\sum_{i = 1}^n |x_i - x_{i + 1}|^k \leq c_k$, where $x_{n + 1} = x_1$ and $|x - y|$ is the Euclidean distance between $x$ and $y$. Remarkably, this bound does not depend on $n$, the number of points. They conjectured that the optimal constant is $c_k = 2 \cdot k^{k / 2}$ and showed that it cannot be taken lower than that. This conjecture was recently revised for $k = 3$ by Balogh, Clemen and Dumitrescu, who showed that $c_3 \geq 2^{7/2} > 2 \cdot 3^{3/2}$. It remains open for all $k > 2$, with the best known upper bound $c_k \leq 2.65^k \cdot k^{k / 2} \cdot (1 + o_k(1))$.
We significantly narrow the gap between lower and upper bounds on $c_k$, reducing it from exponential to linear. Specifically, we prove that $c_k \leq 2\mathrm{e}(k + 1) \cdot k^{k / 2}$ and $c_k = k^{k / 2} \cdot (2 + o_k(1))$, the latter establishing the conjecture asymptotically. We also obtain analogous results for related problems on Hamiltonian paths, spanning trees and perfect matchings in the unit cube. Our main tool is a new generalization of the ball packing argument used in earlier works.
Induced Ramsey numbers for fans
The induced Ramsey number $r_{\mathrm{ind}}(G,H)$ is defined as the minimum order of a graph $F$ on such that any 2-coloring of its edges with red and blue leads to either a red induced copy of $G$ or a blue induced copy of $H$. Motivated by the Kohayakawa-Prömel-Rödl conjecture, we prove that a quadratic upper bound $\mathrm{r}_{\text {ind}}\left(G, F_n\right) \leq C n^2$ for fixed $G$, where $F_n$ is a graph with one central vertex, $2n$ leaf vertices, and $n$ disjoint edges. In particular, for star graphs $K_{1, \ell}$ $(\ell \leq n)$, constructive coloring and matching arguments yield $2 n+2 \ell-1 \leq \mathrm{r}_{\text {ind}}\left(K_{1, \ell}, F_n\right) \leq(\ell+n-1)(\ell+1)+1$, with the exact value $\mathrm{r}_{\text {ind}}\left(K_{1,2}, F_n\right)=3 n+4$.
The red-blue-yellow matching problem
We consider the red-blue-yellow matching problem: given two natural numbers $k_R$, $k_B$ and a graph $G$ whose edges are colored red, blue or yellow, the goal is to find a matching of $G$ that contains exactly $k_R$ red edges and exactly $k_B$ blue edges, and is of maximum cardinality subject to these constraints. This is a natural generalization of the well known red-blue matching problem, whose complexity status is unknown: although a randomized polynomial-time algorithm exists, a deterministic algorithm has remained elusive for nearly four decades. The best known deterministic approach to the red-blue matching problem, due to Yuster (2012), gives an additive approximation. In this paper, we show a similar result for the red-blue-yellow matching problem, giving a polynomial-time deterministic algorithm that, under natural assumptions, finds a matching satisfying the color requirements almost exactly and has cardinality within 3 of the optimal solution. Our algorithm is a mix of classic linear programming techniques and ad hoc existence results on restricted classes of graphs such as paths and cycles. As a key ingredient, we prove a curious topological property of plane curves, which is a strengthened version of a result by Grandoni and Zenklusen (2010) in the related context of budgeted matchings.
Improvement on the Erdős-Kleitman conjecture via the KKL theorem
In 1974, Erdős and Kleitman conjectured that if a family $\mathcal{F}\subseteq 2^{[n]}$ contains no matching of size \(s\) and is maximal with respect to this property, then $
|\mathcal{F}|\ge \left(1-2^{-(s-1)}\right)\cdot 2^{n}. $
For decades, the best general lower bound remained the trivial $2^{n-1}$. About a decade ago, Frankl and Tokushige emphasized that obtaining a bound of the form $\left(\frac{1}{2}+\varepsilon\right)\cdot 2^n$ for some $\varepsilon>0$ is a challenging problem. A breakthrough of Bucič, Letzter, Sudakov and Tran in 2018 showed that $
|\mathcal{F}|\ge \left(1-\frac{1}{s}\right)\cdot 2^n $
via two very elegant and quite different approaches. Our main result shows that $$ |\mathcal{F}|\ge \left(
1 - \frac{1}{s + (s-2)\frac{\log n}{2\sqrt{5}n}}
\right)\cdot 2^n $$ by exploiting a connection to the cornerstone result of Kahn, Kalai and Linial on influences of Boolean functions. Independently, we can also obtain a weaker improvement combining the linear algebra method with a combinatorial twist.
Biregular bipartite labeled multigraphs and perfect matchings in bipartite tensor products
In 2019, P. Higgins formulated [1] a question about bipartite graphs (see Conjecture 1 below); this question arises in the study of regular finite semigroups. F. V. Petrov formulated [2] another combinatorial conjecture (Conjecture 3); Conjecture 3 implies Conjecture 1 and seems simple itself. However, both conjectures remain unproven in the general case. In the present paper, some special cases are proved, Conjecture 4 is formulated in the same spirit, and some of its special cases are proved. In addition, Conjecture 1 is reduced to a matrix inequality (Conjecture 5); this inequality is, in turn, also proved in a special case.
Lattice Structure and Efficient Basis Construction for Strongly Connected Orientations
Let $\vec{G}=(V,E^+\cup E^-)$ be a bidirected graph whose underlying undirected graph $G=(V,E)$ is $2$-edge-connected. A strongly connected orientation (SCO) is defined as a subset of arcs that contains exactly one of $e^+,e^-$ for every $e\in E$ and induces a strongly connected subgraph of $\vec{G}$. Given a family $\mathcal{F}$ of proper subsets of $V$, we call an SCO tight if there is exactly one arc entering $U$ for every $U\in \mathcal{F}$. We give a polynomial-time algorithm to construct a set $\mathcal{B}$ consisting of tight SCO's which forms an integral basis for the linear hull of tight SCO's. This means that $\mathcal{B}$ is a linearly independent subset of tight SCO's, and every integer vector in the linear hull of tight SCO's can be written as an integral combination of $\mathcal{B}$. This extends the main result of Abdi, Conuéjols, Liu and Silina (IPCO 2025), who gave a non-constructive proof of the existence of such a basis in an equivalent setting. While their proof uses polyhedral theory, our proof is purely combinatorial and yields a polynomial-time algorithm. As an application of our algorithm, we show that parity-constrained tight strongly connected orientation can be solved in deterministic polynomial time. Along the way, we discover appealing connections to the theory of perfect matching lattices.
The strong chromatic index of $K_{t,t}$-free graphs
A strong edge coloring of a graph $G$ is an edge coloring $φ\,:\,E(G) \rightarrow \mathbb N$ such that each color class forms an induced matching in $G$. The strong chromatic index of $G$, written $χ'_s(G)$, is the minimum number of colors needed for a strong edge coloring of $G$. Erdős and Nešetřil conjectured in 1985 that if $G$ has maximum degree $d$, then $χ'_s(G) \leq \frac 54 d^2$.
Mahdian showed in 2000 that if $G$ is $C_4$-free, then $χ'_s(G) \leq (2+o(1)) \frac{d^2}{\log d}$, and he conjectured that the same upper bound holds for $K_{t,t}$-free graphs. In this paper, we prove this conjecture and improve upon it to show the following: every $K_{t,t}$-free graph $G$ of maximum degree $d$ satisfies $χ'_s(G) \leq (1+o(1)) \frac{d^2}{\log d}$. We employ a variant of the Rödl nibble method to prove this result. The key new ingredient in our adaptation of the method is an application of the Kővári-Sós-Turán theorem to show that $H := L(G)^2$ satisfies certain structural properties. These properties, in conjunction with a variant of Talagrand's inequality to handle exceptional outcomes, allow us to concentrate the sizes of certain vertex sets through the nibble, even when these vertex sets have order smaller than the maximum codegree of $H$. We encapsulate these structural properties into a more general statement on list coloring that we believe to be of independent interest. In light of the conjectured computational threshold for coloring random graphs arising in average-case complexity theory, we suspect that our result is best possible using this approach.
On $(1^2,2^2)$-packing edge-coloring of sparse subcubic graphs
For positive integers $\ell$ and $k$, a $(1^\ell, 2^k)$-packing edge-coloring of a graph $G$ is a partition of $E(G)$ into $\ell$ matchings and $k$ induced matchings. A graph is $d$-irregular if it has no adjacent vertices of degree $d$. Yang and Wu proved that every $3$-irregular subcubic graph admits a $(1,2^4)$-packing edge-coloring, which answered an open question of Hocquad, Lajou, and Lu\v zar in the affirmative. In this paper, we prove an analogue result that every $3$-irregular subcubic multigraph is $(1^2,2^2)$-packing edge-colorable. Our result is sharp since there are $3$-irregular subcubic graphs that are not $(1,2^3)$-packing edge-colorable and $(1^2,2)$-packing edge-colorable, respectively.
Hocquad, Lajou, and Lu\v zar conjectured that every subcubic planar graph is $(1^2,2^3)$-packing edge-colorable. Furthermore, they found a subcubic planar graph with girth $3$ that is not $(1^2,2^2)$-packing edge-colorable. For every fixed integer $k \ge 3$, we found graphs with girth $k$ that are not $(1^2,2)$- and not $(1,2^3)$-packing edge-colorable. It is natural to consider the question "what is the minimum positive integer $g$ such that every subcubic planar graph with girth at least $g$ is $(1^2,2^2)$-packing edge-colorable?". We prove $g$ is finite and in fact $g \le 20$. We also provide an example showing $g \ge 6$.