matching
3278 papers tagged with this keyword
Some results on small ordered and cyclic Ramsey numbers
Let $k \in \mathbb{N}$ and let $H_1, H_2, \ldots, H_k$ be simple graphs such that for each $j \in \{ 1, 2, \ldots, k \}$, the vertex set of $H_j$ is $\{ 0, 1, 2, \ldots, n_j - 1 \}$ for some $n_j \in \mathbb{N}$. The ordered Ramsey number $R_\mathrm{ord}(H_1, H_2, \ldots, H_k)$ is the smallest $n \in \mathbb{N}$ for which every $k$-edge-coloring of the complete graph on the vertex set $\{ 0, 1, 2, \ldots, n - 1 \}$ contains $H_j$ as a monochromatic subgraph of color $j$ for some $j \in \{ 1, 2, \ldots, k \}$, with the vertices appearing in the same order as in $H_j$. Inspired by the work of Poljak, we apply the Kissat SAT solver to determine new small two-color ordered Ramsey numbers of various classes of graphs: monotone paths, monotone cycles, alternating paths, stars, complete graphs and nested matchings. In addition, we introduce the cyclic Ramsey numbers $R_\mathrm{cyc}(H_1, H_2, \ldots, H_k)$ as a natural relaxation of the ordered Ramsey numbers, and once again use Kissat to determine various such numbers for the two-color case. By observing structural patterns in the computational results, we determine all ordered or cyclic Ramsey numbers for several pairs of classes of graphs. Furthermore, we obtain some bounds on ordered and cyclic Ramsey numbers where one argument is a connected graph, while the other is a monotone path or a monotone cycle. We also explore how reinforcement learning can be used through the recently developed Reinforcement Learning for Graph Theory (RLGT) framework to obtain lower bounds on ordered and cyclic Ramsey numbers. Finally, we introduce the permutational Ramsey numbers to show how the different Ramsey-type formulations involving standard, ordered and cyclic Ramsey numbers can be unified within a group-theoretic framework.
New results on proper orientation number of graphs
A proper orientation $D$ of an undirected graph $G$ is an orientation of $G$ such that $d_D^+(u)\not=d_D^+(v)$ for any edge $uv\in E(G)$. Denote the proper orientation number $\vecχ(G)$ of an undirected graph $G$ as the minimum $Δ^+(D)$ among all proper orientations $D$ of $G$. Chen, Mohar and Wu (JCTB, 2023) proved that if $G$ is a $r$-partite graph, then $\vecχ(G) \leq \frac{1}{2} \text{Mad}(G)+O(\frac{r\log{r}}{\log{\log{r}}})$, where $\text{Mad}(G)$ is the maximum average degree of $G$. Moreover, if $G$ is a bipartite graph, then $ \vecχ(G) \leq \lceil \frac{1}{2} \text{Mad}(G)\rceil +3$, and this bound is tight. They also asked whether $\vecχ(G)-\lceil \frac{1}{2} \text{Mad}(G)\rceil$ can be bounded by a linear function of $r$. In this paper, we prove that $ \vecχ(G) \leq\lceil \frac{1}{2} \text{Mad}(G)\rceil +7$ for every 3-partite graph $G$. As a corollary, we also improve Chen, Mohar and Wu's bounds for the 3-colorable planar graphs and the outerplanar graphs. Our proof use the notion of potential out-degree and weighted matching lemma with special weighted functions. We also construct a class of $r$-partite graphs with $\vecχ(G)\geq\lceil \frac{1}{2} \text{Mad}(G)\rceil +r+1$ to be the possible extremal graphs.
Counting tight Hamilton cycles in Dirac hypergraphs
Suppose $G$ is a $k$-uniform hypergraph on $n$ vertices such that every $(k-1)$-subset $S$ of $V(G)$ belongs to at least $δn$ edges, where $δ> 1/2$. Let $Ψ(G)$ denote the number of tight Hamilton cycles in $G$, that is, cyclic orderings of $V(G)$ in which every $k$ consecutive vertices form an edge. We prove that $\logΨ(G)\ge kh(G)-n\log{n\choose k-1}+n\log n-n\log e-o(n)$, where $h(G)$ is the hypergraph entropy of $G$, defined via perfect fractional matchings. This bound is tight, for example, for all (nearly) regular hypergraphs, in particular for the binomial random hypergraph. It also implies a conjecture by Ferber, Hardiman and Mond, stating that $Ψ(G)\ge (δ-o(1))^n n!$.
Explicit Rank Extractors and Subspace Designs via Function Fields, with Applications to Strong Blocking Sets
We give new explicit constructions of several fundamental objects in linear-algebraic pseudorandomness and combinatorics, including lossless rank extractors, weak subspace designs, and strong $s$-blocking sets over finite fields.
Our focus is on the small-field regime, where the field size depends only on a secondary parameter (such as the rank or codimension) and is independent of the ambient dimension. This regime is central to several applications, yet remains poorly understood from the perspective of explicit constructions.
In this setting, we obtain the first explicit constructions of lossless rank extractors and weak subspace designs for $r\ll k$, where $r$ denotes the rank (or codimension), over finite fields $\mathbb{F}_q$ with $q \ge \mathrm{poly}(r)$ and $q$ non-prime, with near-optimal parameters. For other finite fields, including prime fields and small fields, we obtain weaker but still improved bounds.
As a consequence, we construct explicit strong $s$-blocking sets in $\mathrm{PG}(k-1,q)$ of size $O(s(k-s)q^s)$ for all sufficiently large non-prime fields $q \ge \mathrm{poly}(s)$, matching the best known non-explicit bounds up to constant factors. This significantly improves the previous best bound $2^{O(s^2 \log s)} q^s k$ of Bishnoi and Tomon (Combinatorica, 2026), which requires $q \ge 2^{Ω(s)}$.
Our approach is primarily algebraic, combining techniques from function fields and polynomial identity testing. In addition, we develop a complementary Fourier-analytic framework based on $\varepsilon$-biased sets, which yields improved explicit constructions of strong $s$-blocking sets over small fields.
A local spectral condition for perfect matchings in 3-graphs
Let $γ$ be a constant such that $0 < γ< 1$, and let $n$ be a sufficiently large integer. Consider a $3$-uniform hypergraph $H$ on $n$ vertices. In 2013, Kühn, Osthus, and Treglown, along with Khan independently, proved that for large enough $n$ with $n\equiv 0\pmod{3}$, if $δ_1(H)\geq\binom{2n/3}{2}$, then $H$ admits a perfect matching. For any vertex $v\in V(H)$, we define $N_H(v)$ as the $2$-graph with vertex set $V(H)\setminus\{v\}$ and edge set $E(N_H(v)) = \{e\subseteq V(H)\setminus\{v\}: e\cup \{v\}\in E(H)\}$. In this paper, we show that if $ρ(N_H(v)) > (2/3+γ)n$ for all $v\in V(H)$, where $ρ(N_H(v))$ denotes the spectral radius of $N_H(v)$, then $H$ has a perfect matching. This bound is asymptotically tight. Furthermore, for integer $s$ satisfying $n\geq 3s+3$, we establish that if \[ ρ(N_H(v))>\frac{1}{2}(s-1+\sqrt{(s-1)^2+4s(n-s-1)})\] holds for every $v\in V(H),$
then $H$ admits a fractional matching of size $s+1$. Notably, this second spectral bound is tight.
A recursive construction of an acyclic matching on the independence complex of a graph with a simplicial vertex
We provide a recursive construction of an acyclic matching (also known as a gradient vector field, an equivalent notion to a discrete Morse function) on the independence complex of a graph with a simplicial vertex using given acyclic matchings on the independence complexes of specific subgraphs. As an application, we determine the homotopy type of the independence complexes of the family of chordal graphs and of a class of graphs generalising the comparability graphs of grid posets in an algorithmic and combinatorial manner via discrete Morse theory, some of which were previously obtained by sophisticated homotopy theoretic techniques. Even when the homotopy type is not easily determinable, our construction may be applied to obtain a pre-processing framework for efficient homology computation.
Matching and intersection problems for non-trivial $r$-partite $r$-uniform hypergraphs
A central theme in extremal combinatorics is the study of the maximum number of edges in an $r$-uniform hypergraph ($r$-graph) with matching number at most $s$ (the Erdős Matching Conjecture) or with pairwise intersection at least $t$ (the $t$-intersection problem). The maximum sizes for these problems are typically achieved by trivial constructions: for the matching problem, the extremal construction consists of all edges intersecting a fixed set of $s$ vertices, while for the intersection problem, it consists of all edges containing a fixed set of $t$ vertices.
In this paper, we investigate the \emph{non-trivial} $r$-partite $r$-graphs where each part is of size $n$. We determine the exact bounds for both the matching problem and the intersection problem when $n$ is sufficiently large. Furthermore, for the intersection problem, we resolve the cases $t=1$ and $t=r-2$ for all $n \ge 2$. Our results partially confirm a conjecture of Lu and Ma.
Forbidding matching as trace in uniform hypergraphs
We say a hypergraph $\mathcal{H}$ contains a hypergraph $\mathcal{G}$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = |V(\mathcal{G})|$ and $\{e \cap S: e \in E(\mathcal{H})\}$ contains $\mathcal{G}$ as a sub-hypergraph. We use $\mathrm{ex}_r(n, \mathrm{Tr}_r(\mathcal{G}))$ to denote the maximum number of hyperedges in an $r$-uniform hypergraph on $n$ vertices not containing $\mathcal{G}$ as a trace. The study of Turán numbers for traces was initiated by Mubayi and Zhao who studied the case when $\mathcal{G}$ is a complete graph.
Let $M_{s+1}$ denote the graph of a matching with $s+1$ edges. In this paper, we give the upper bound of $\mathrm{ex}_r(n, \mathrm{Tr}_r(M_{s+1}))$ which is sharp asymptotically. When $r=3$, we give the exact value of $\mathrm{ex}_3 (n, \mathrm{Tr}_3 (M_{s+1}))$. We also consider the generalized Turán number in the case of matching. That is, the maximum number of copies of clique $\mathcal{K}_t^r$ in hypergraphs forbidding $\mathrm{Tr}_r (M_{s+1})$ as a trace. We give an upper bound which is sharp asymptotically and when $r=3$, we give the exact value. The Turán number of forbidding a matching and the other graph is another well studied topic initiated by Alon and Frankl. We also consider an analogue problem for the trace version, i.e., forbidding trace of matching and trace of complete graph as subgraphs.
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.
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.
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$.
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
Published
• View Publication
• BIB
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.