matching
3168 papers tagged with this keyword
Edge-connectivity of graphs with non-negative Bakry-Émery curvature and amply regular graphs
We establish a sharp edge-connectivity estimate for graphs with non-negative Bakry-Émery curvature. This leads to a geometric criterion for the existence of a perfect matching. Precisely, we show that any regular graph with non-negative Bakry-Émery curvature and an even or infinite number of vertices has a perfect matching. Through a synthesis of combinatorial and curvature-related techniques, we determine the edge-connectivity of (possibly infinite) amply regular graphs.
Largest planar graphs of diameter $3$ and fixed maximum degree -- connection with fractional matchings
The degree diameter problem asks for the maximum possible number of vertices in a graph of maximum degree $Δ$ and diameter $D$. In this paper, we focus on planar graphs of diameter $3$. Fellows, Hell and Seyffarth (1995) proved that for all $Δ\geq 8$, the maximum number $\mathrm{np}_{Δ, D}$ of vertices of a planar graph with maximum degree at most $Δ$ and diameter at most 3 satisfies $\frac{9}{2}Δ- 3 \leq \mathrm{np}_{Δ,3} \leq 8 Δ+ 12$. We show that the lower bound they gave is optimal, up to an additive constant, by proving that there exists $c>0$ such that $\mathrm{np}_{Δ,3} \leq \frac{9}{2}Δ+ c$ for every $Δ\geq 0$. Our proof consists in a reduction to the fractional maximum matching problem on a specific class of planar graphs, for which we show that the optimal solution is $\tfrac{9}{2}$, and characterize all graphs attaining this bound.
Monotone Circuit Complexity of Matching
We show that the perfect matching function on $n$-vertex graphs requires monotone circuits of size $\smash{2^{n^{Ω(1)}}}$. This improves on the $n^{Ω(\log n)}$ lower bound of Razborov (1985). Our proof uses the standard approximation method together with a new sunflower lemma for matchings.
Morse matchings and Khovanov homology of 4-strand torus links
Given a link or a tangle diagram, we define algorithmic Morse theoretic simplifications on their Khovanov homology. In contrast to Bar-Natan's scanning algorithm, the cancellations are postponed until the end and performed in one go. Although our novel approach is computationally inferior to Bar-Natan's algorithm, it side-steps the need for a large amount of iterations, making it more fitting for theoretical analysis. Our main application is towards integral Khovanov homology of 4-strand torus links, for which we compute non-trivial Khovanov homology groups in all homological degrees and find an abundance of $4$-torsion. At the limit $T(4,\infty)$, our computations agree with a conjecture of Gorsky, Oblomkov and Rasmussen. For finite $n$, we use the $λ$-invariant of Lewark, Marino and Zibrowius to derive lower bounds on proper rational Gordian distances from $T(4,n)$.
Spectral Theory of Hypergraphs: A Survey
Hypergraphs require higher-dimensional representations, which makes it more difficult to compute and interpret their spectral properties. This survey article uses the framework of hypermatrices to give an in-depth overview of the spectral theory of hypergraphs. Our focus in this article relies on the theoretical aspects of hypergraphs that help to ease the computational methods. Spectral theory hypergraphs, one of the most advanced fields of study, are constantly finding novel applications in various domains such as theoretical computer science, quantum physics, and theoretical chemistry, among many others. We start our journey by introducing hypergraphs, hypermatrices (tensors), resultants, and their properties. We outline some of the results used to determine the adjacency spectrum of hypergraphs and go over some of the groundbreaking findings in the development of the theory. On passing through a list of bounds for the spectral radius of uniform hypergraphs, we will have a look into the spectral versions of Turán-type problems in hypergraphs. Finally, in addition to the Estrada index of hypergraphs, some significant results related to the characteristic polynomial and its relationship with the matching polynomial are presented.
Sharp Square Root Bounds for Edge Eigenvector Universality in Sparse Random Regular Graphs
We study how eigenvectors of random regular graphs behave when projected onto fixed directions. For a random $d$-regular graph with $N$ vertices, where the degree $d$ grows slowly with $N$, we prove that these projections follow approximately normal distributions. Our main result establishes a Berry-Esseen bound showing convergence to the Gaussian with error $O(\sqrt{d} \cdot N^{-1/6+\varepsilon})$ for degrees $d \leq N^{1/4}$. This bound significantly improves upon previous results that had error terms scaling as $d^3$, and we prove our $\sqrt{d}$ scaling is optimal by establishing a matching lower bound. Our proof combines three techniques: (1) refined concentration inequalities that exploit the specific variance structure of regular graphs, (2) a vector-based analysis of the resolvent that avoids iterative procedures, and (3) a framework combining Stein's method with graph-theoretic tools to control higher-order fluctuations. These results provide sharp constants for eigenvector universality in the transition from sparse to moderately dense graphs.
Stable matchings with switching costs
In a stable matching problem there are two groups of agents, with agents on one side having their individual preferences for agents on another side as a potential match. It is assumed silently that agents can freely and costlessly ``switch" partners. A matching is called stable if no two unmatched agents prefer each other to their matches. Half a century ago, for equinumerous sides, Knuth demonstrated existence of preferences for which there are exponentially many stable matchings, and he posed a problem of evaluating an expected number of stable matchings when the preferences are uniformly random and independent. It was shown later by Pittel that this expectation is quite moderate, asymptotic to $e^{-1}n\log n$, $n$ being the number of agents on each side. The proof used Knuth's integral formula for the expectation based on a classic inclusion-exclusion counting. In later papers by Pittel this and other integral formulas were obtained by generating preference lists via a pair of random matrices, with independently random, $[0,1]$-uniform entries, rather than from a progressively problematic counting approach. The novelty of this paper is that we view the matrix entries as a basis for cardinal utilities that each agent ascribes to the agents on the other side. Relaxing the notion of stability, we declare matching stable if no unmatched pair of agents {\it strongly\/} prefer each other to their partners, with ``strength'' measured by a parameter $\eps>0$, $\eps=0$ corresponding to classic stability. We show that for $\eps$ of order $n^{-1}\log n$ the expected number of $\eps$-stable matchings is polynomially large, but for $\eps\gg n^{-1}\log n$ {\it however slightly\/} the expectation is suddenly super-polynomially large. This ``explosion'' phenomenon for a very small strength parameter $\eps$ continues to hold for imbalanced matchings, regardless of the imbalance size.
Transversal packings in families of percolated hypergraphs
Let $F$ be a strictly $1$-balanced $k$-graph on $s$ vertices with $t$ edges and $δ_{F,d}^T$ be the infimum of $δ>0$ such that for every $α>0$ and sufficiently large $n\in \mathbb{N}$, every $k$-graph system $\mathbf H=\{H_{1}, H_{2}, \dots ,H_{tn}\}$ on the same $sn$ vertices with $δ_d(H_i)\ge (δ+α)\binom{sn-d}{k-d}$, $i\in [tn]$ contains a transversal $F$-factor, that is, an $F$-factor consisting of exactly one edge from each $H_i$. In this paper we prove the following result. Let $\mathbf{H} =\{H_{1}, H_{2}, \dots ,H_{tn}\}$ be a $k$-graph system where each $H_{i}$ is an $sn$-vertex $k$-graph with $δ_d(H_i)\ge (δ_{F,d}^T+α)\binom{sn-d}{k-d}$. Then with high probability $\mathbf{H}(p) :=\{H_{1}(p), H_{2}(p), \dots ,H_{tn}(p)\}$ contains a transversal $F$-factor, where $H_i(p)$ is a random subhypergraph of $H_i$ and $p=Ω(n^{-1/d_1(F)-1}(\log n)^{1/t})$. This extends a recent result by Kelly, Müyesser and Pokrovskiy, and independently by Joos, Lang and Sanhueza-Matamala. Moreover, the assumption on $p$ is best possible up to a constant. Along the way, we also obtain a spread version of a result of Pikhurko on perfect matchings in $k$-partite $k$-graphs.
A perfect matching reciprocity method for embedding multiple hypercubes in an augmented cube: Applications to Hamiltonian decomposition and fault-tolerant Hamiltonicity
This paper focuses on the embeddability of hypercubes in an important class of Cayley graphs, known as augmented cubes. An $n$-dimensional augmented cube $AQ_n$ is constructed by augmenting the $n$-dimensional hypercube $Q_n$ with additional edges, thus making $Q_n$ a spanning subgraph of $AQ_n$. Dong and Wang (2019) first posed the problem of determining the number of $Q_n$-isomorphic subgraphs in $AQ_n$, which still remains open. By exploiting the Cayley properties of $AQ_n$, we establish a lower bound for this number. What's more, we develop a method for constructing pairs of $Q_n$-isomorphic subgraphs in $AQ_n$ with the minimum number of common edges. This is accomplished through the use of reciprocal perfect matchings, a technique that also relies on the Cayley property of $AQ_n$. As an application, we prove that $AQ_n$ admits $n-1$ edge-disjoint Hamiltonian cycles when $n\geq3$ is odd and $n-2$ cycles when $n$ is even, thereby confirming a conjecture by Hung (2015) for the odd case. Additionally, we prove that $AQ_n$ has a fault-free cycle of every even length from $4$ to $2^n$ with up to $4n-8$ faulty edges, when each vertex is incident to at least two fault-free edges. This result not only provides an alternative proof for the fault-tolerant Hamiltonicity of established by Hsieh and Cian (2010), but also extends their work by demonstrating the fault-tolerant bipancyclicity of $AQ_n$.
Asymptotically optimal Ramsey goodness of sparse graphs versus odd cycles and paths
A fundamental problem in graph Ramsey theory is to determine, for sparse graphs $G$ on $n$ vertices, the minimal $n$ such that $G$ is Ramsey-good for odd cycles $C_k$ and paths $P_k$. Burr, Erdős, Faudree, Rousseau, and Schelp (Trans. AMS 1982) addressed this problem, establishing bounds requiring $n = Ω(k^{10})$ for odd cycles and $n = Ω(k^{12})$ for paths. We settle the asymptotic version of this problem, proving that these bounds are essentially tight: $n = Ω(k)$ suffices for odd cycles and $n = Ω(k^2)$ (or $n = Ω(k)$ under additional conditions) for paths. Specifically, we prove:
(1) For odd cycles $C_k$ ($k\ge3$), we prove $r(G, C_k) = 2n-1$ for any connected $n$-vertex graph $G$ satisfying the relaxed conditions $n = Ω(k)$ and $e(G) \le (1 + O(1/k^2)) n$.
(2) For paths $P_k$ ($k\ge2$), we prove $r(G, P_k) = \max\{ n + \lfloor k/2\rfloor - 1, n + k - 2 - α' - γ\}$ for any connected $n$-vertex graph $G$ satisfying one of the following:
(i) $n = Ω(k^2)$ and $e(G) \le (1 + O(1/k^2)) n$;
(ii) $n = Ω(k)$, $δ(G)\ge2$, $α'\geq k/2$, and $e(G) \le (1 + O(1/k)) n$.
In the above, $α'$ is the independence number of an appropriate subgraph of $G$ and $γ=0$ if $k-1$ divides $n+k-3-α'$, and $γ=1$ otherwise.
Consequently, our results unify and generalize classical theorems on odd cycles due to Bondy and Erdős (1973), Faudree and Schelp (1974), and Rosta (1973), and on paths due to Gerencsér and Gyárfás (1967), Faudree, Lawrence, Parsons and Schelp (1974), and Parsons (1974). The proofs feature two key innovations: a novel reconstruction of the end-edge matching and an enhancement of Burr et al.'s dichotomy lemma.
Characterization of matchable sets and subspaces via Dyson transforms
A matching from a finite subset $A$ of an abelian group $G$ to another subset $B$ is a bijection $f : A \to B$ such that $af(a) \notin A$ for all $a \in A$. The study of matchings began in the 1990s and was motivated by a conjecture of E. K. Wakeford on canonical forms for homogeneous polynomials. The theory was later extended to the linear setting of vector subspaces over field extensions, and then to matroids. In this paper, we investigate the existence and structure of matchings in both abelian groups and field extensions. Using Dyson's $e$-transform, a tool from additive combinatorics, along with a linear analogue which is introduced in this paper, we establish characterization theorems for matchable sets and subspaces. Several applications are given to demonstrate the effectiveness of these theorems as standalone tools. Throughout, we highlight the parallels between the group-theoretic and linear perspectives.
Spanning subgraphs and spectral radius in graphs
A spanning tree $T$ of a connected graph $G$ is a subgraph of $G$ that is a tree covers all vertices of $G$. The leaf distance of $T$ is defined as the minimum of distances between any two leaves of $T$. A fractional matching of a graph $G$ is a function $h$ assigning every edge a real number in $[0,1]$ so that $\sum\limits_{e\in E_G(v)}{h(e)}\leq1$ for any $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident with $v$ in $G$. A fractional matching of $G$ is called a fractional perfect matching if $\sum\limits_{e\in E_G(v)}{h(e)}=1$ for any $v\in V(G)$. A graph $G$ with at least $2k+2$ vertices is said to be fractional $k$-extendable if every $k$-matching $M$ in $G$ is included in a fractional perfect matching $h$ of $G$ such that $h(e)=1$ for any $e\in M$. This paper considers a lower bound on the spectral radius of $G$ to guarantee that $G$ has a spanning tree with leaf distance at least $d$. At the same time, we obtain a lower bound on the spectral radius of $G$ to ensure that $G$ is fractional $k$-extendable.
Perfect Matchings in Random Sparsifications of Dense Hypergraphs
The decision problem of perfect matchings in uniform hypergraphs is famously an NP-complete problem. It has been shown by Keevash--Knox--Mycroft [STOC, 2013] that for every $\varepsilon>0$, such decision problem restricted to $k$-uniform hypergraphs $H$ satisfying that every $(k-1)$-set of vertices is in at least $(1/k+\varepsilon)|H|$ edges is tractable, and the quantity $1/k$ is best possible. In this paper we study the existence of perfect matchings in the random $p$-sparsification of such $k$-uniform hypergraphs, that is, for $p=p(n)\in [0,1]$, every edge is kept with probability $p$ independent of others. As a consequence, we give a polynomial-time algorithm that with high probability solves the decision problem; we also derive effective bounds on the number of perfect matchings in such hypergraphs. At last, similar results are obtained for the $F$-factor problem in graphs.
The key ingredients of the proofs are a strengthened partition lemma for the lattice-based absorption method, and the random redistribution method developed recently by Kelly, Müyesser and Pokrovskiy, based on the spread method.
Testing APS conjecture on regular graphs
The maximum energy of the EPR model on a weighted graph is known to be upper-bounded by the sum of the total weight and the value of maximum-weight fractional matching~(MWFM). Recently, Apte, Parekh and Sud~(APS) conjecture that the bound could be strengthened by replacing MWFM with maximum weight matching~(MWM). Here we test this conjecture on a special class of regular graphs that Henning and Yeo constructed many years ago. On this class of regular graphs, MWMs achieve tight lower bounds. As for the maximum energy of the EPR model, we have recently devised a new algorithm called Fractional Entanglement Distribution~(FED) based on quasi-homogeneous fractional matchings, which could achieve rather high accuracy. Applying the FED algorithm to the EPR model on Henning-Yeo graphs, we could thus obtain energy as high as possible and matching value as low as possible, and then make high-precision tests of the APS conjecture. Nevertheless, our numerical results do not show any evidence that the APS conjecture could be violated.
Covering Complete Geometric Graphs by Monotone Paths
Given a set $A$ of $n$ points (vertices) in general position in the plane, the \emph{complete geometric graph} $K_n[A]$ consists of all $\binom{n}{2}$ segments (edges) between the elements of $A$. It is known that the edge set of every complete geometric graph on $n$ vertices can be partitioned into $O(n^{3/2})$ crossing-free paths (or matchings). We strengthen this result under various additional assumptions on the point set. In particular, we prove that for a set $A$ of $n$ \emph{randomly} selected points, uniformly distributed in $[0,1]^2$, with probability tending to $1$ as $n\rightarrow\infty$, the edge set of $K_n[A]$ can be covered by $O(n\log n)$ crossing-free paths and by $O(n\sqrt{\log n})$ crossing-free matchings. On the other hand, we construct $n$-element point sets such that covering the edge set of $K_n[A]$ requires a quadratic number of monotone paths.
Explicit geometric construction of Ramsey graphs
We present an explicit geometric construction of a large parametrized family of graphs with no $k$-cliques and with bounded independence number, generalizing the triangle-free Ramsey graphs of Codenotti, Pudlák, and Resta and revisiting the previous generalization by Kostochka, Pudlák and Rödl. Within this framework, we provide a new combinatorial proof of the upper bound on the independence number for their constructions, offering additional insight into the structure of its independent sets. For our generalized family, we establish lower bounds on the independence number and identify necessary constraints on the parameters under which these graphs could yield improved constructive asymptotic lower bounds on $R(s,t)$, with particular emphasis on $R(3,t)$. As a byproduct, we provide a linear-time approximation algorithm for finding the largest independent set within this parametrized family. For a substantial subfamily, this algorithm achieves a $\frac{1}{2}$-approximation ratio. Special attention is given to the case of triangle-free graphs: we describe explicit constructions on $n$ vertices with independence number $O(n^{\frac{2}{3}})$, giving a constructive asymptotic lower bound of $Ω(t^{\frac{3}{2}})$ for the Ramsey numbers $R(3,t)$, matching the best known constructive bound.
Improved bounds on the $H$-rank of a mixed graph in terms of the matching number and fractional matching number
A mixed graph $\widetilde{G}$ is obtained by orienting some edges of a graph $G$, where $G$ is the underlying graph of $\widetilde{G}$. Let $r(\widetilde{G})$ be the $H$-rank of $\widetilde{G}$. Denote by $r(G)$, $κ(G)$, $m(G)$ and $m^{\ast}(G)$ the rank, the number of even cycles, the matching number and the fractional matching number of $G$, respectively. Zhou et al. [Discrete Appl. Math. 313 (2022)] proved that $2m(G)-2κ(G)\leq r(G)\leq 2m(G)+ρ(G)$, where $ρ(G)$ is the largest number of disjoint odd cycles in $G$. We extend their results to the setting of mixed graphs and prove that $2m(G)-2κ(G)\leq r(\widetilde{G}) \leq 2m^{\ast}(G)$ for a mixed graph $\widetilde{G}$. Furthermore, we characterize some classes of mixed graphs with rank $r(\widetilde{G})=2m(G)-2κ(G)$, $r(\widetilde{G})=2m(G)-2κ(G)+1$ and $r(\widetilde{G})=2m^{\ast}(G)$, respectively. Our results also improve those of Chen et al. [Linear Multiliear Algebra. 66 (2018)]. In addition, our results can be applied to signed graphs and oriented graphs in some situations.
Hypergraph Turán problem of the generalized triangle with bounded matching number
Let $\mathcal{H}$ be a 3-graph on $n$ vertices. The matching number $ν(\mathcal{H})$ is defined as the maximum number of disjoint edges in $\mathcal{H}$. The generalized triangle $F_5$ is a 3-graph on the vertex set $\{a,b,c,d,e\}$ with the edge set $\{abc, abd,cde\}$. In this paper, we showed that an $F_5$-free 3-graph $\mathcal{H}$ with matching number at most $s$ has at most $s\lfloor (n-s)^2/4\rfloor$ edges for $n\geq 30(s+1)$ and $s\geq 3$. For the proof, we establish a 2-colored version of Mantel's theorem, which may be of independent interests.
A note on maximal plane subgraphs of the complete twisted graph containing perfect matchings
The twisted graph $T_{n}$ is a drawing of the complete graph with $n$ vertices $v_{1},v_{2},\ldots ,v_{n}$ in which two edges $v_{i}v_{j}$ ($i<j$) and $v_{s}v_{t}$ ($s<t$) cross if and only if $i<s<t<j$ or $s<i<j<t$. We show that for any maximal plane subgraphs $S$ and $R$ of $T_{n}$, each containing at least one perfect matching, there is a sequence $S=F_0, F_1, \ldots, F_m=R$ of maximal plane subgrahs of $T_n$, also containing perfect matchings, such that for $i=0,1, \ldots, m-1$, $F_{i+1}$ can be obtained from $F_{i}$ by a single edge exchange.
Metric dimension reduction modulus for superlogarithmic distortion
The metric dimension reduction modulus $k^α_n(\ell_\infty)$ is the smallest $k$ such that every $n$--point metric space can be embedded into some $k$-dimensional normed space, with bi--Lipschitz distortion at most $α$. Determining sharp asymptotics for $k^α_n(\ell_\infty)$ is a fundamental task in metric geometry, with $α=Θ(\log n)$ bearing particular interest. A line of advances over the past decades has led to an upper bound on $k^α_n(\ell_\infty)$ for $α= Ω(\log n)$, but a matching lower bound has remained open. We close this gap, establishing: for every fixed $β> 0$, $$ k^α_n(\ell_\infty) =Θ\bigg(\frac{\log n}{\log(\fracα{\log n}+1)}\bigg)\quad \mbox{for every $α\geq β\log n$}. $$ This resolves a question from Naor's 2018 ICM plenary lecture. Our result is obtained by characterizing the minimum dimension $d$ for which, with high probability, a random regular graph admits an $α$--embedding into some $d$--dimensional normed space.