matching
3278 papers tagged with this keyword
On restricted sumsets with bounded degree relations
Published in Mathematika 71 (2025), no. 4, e70045
• View Publication
• BIB
Given two subsets $A, B \subseteq \mathbb{F}_p$ and a binary relation $\mathcal{R} \subseteq A \times B$, the restricted sumset of $A, B$ with respect to $\mathcal{R}$ is defined as $A +_{\mathcal{R}} B = \{ a+b \colon (a,b) \notin \mathcal{R} \}$. When $\mathcal{R}$ is taken as the equality relation, determining the minimum value of $|A +_{\mathcal{R}} B|$ is the famous Erdős--Heilbronn problem, which was solved separately by Dias da Silva, Hamidoune and Alon, Nathanson and Ruzsa. Lev later conjectured that if $A, B \subseteq \mathbb{F}_p$ with $|A| + |B| \le p$ and $\mathcal{R}$ is a matching between subsets of $A$ and $B$, then $|A +_{\mathcal{R}} B| \ge |A| + |B| - 3$.
We confirm this conjecture in the case where $|A| + |B| \le (1-\varepsilon)p$ for any $\varepsilon > 0$, provided that $p > p_0$ for some sufficiently large $p_0$ depending only on $\varepsilon$. Our proof builds on a recent work by Bollobás, Leader, and Tiba, and a rectifiability argument developed by Green and Ruzsa. Furthermore, our method extends to cases when $\mathcal{R}$ is a degree-bounded relation, either on both sides $A$ and $B$ or solely on the smaller set.
In addition, we construct subsets $A \subseteq \mathbb{F}_p$ with $|A| = \frac{6p}{11} - O(1)$ such that $|A +_{\mathcal{R}} A| = p-3$ for any prime number $p$, where $\mathcal{R}$ is a matching on $A$. This extends an earlier construction by Lev and highlights a distinction between the combinatorial notion of the restricted sumset and the classcial Erdős--Heilbronn problem, where $|A +_{\mathcal{R}} A| \ge p$ holds given $\mathcal{R} = \{(a,a) \colon a \in A\}$ is the equality relation on $A$ and $|A| \ge \frac{p+3}{2}$.
On resilient hypergraphs
The matching number of a $k$-graph is the maximum number of pairwise disjoint edges in it. The $k$-graph is called $t$-resilient if omitting $t$ vertices never decreases its matching number. The complete $k$-graph on $sk+k-1$ vertices has matching number $s$ and it is easily seen to be $(k-1)$-resilient. We conjecture that this is maximal for $k=3$ and $s$ arbitrary. The main result verifies this conjecture for $s=2$. Then Theorem 1.9 provides a considerable improvement on the known upper bounds for $s\geq 3$.
Edge ideals whose all matching powers are bi-Cohen-Macaulay
Published
• View Publication
• BIB
We classify all graphs $G$ satisfying the property that all matching powers $I(G)^{[k]}$ of the edge ideal $I(G)$ are bi-Cohen-Macaulay for $1\le k\leν(G)$, where $ν(G)$ is the maximum size of a matching of $G$.
On generalized Tur{á}n problems with bounded matching number and circumference
Let \( \mathcal{F} \) be a family of graphs. The generalized Turán number \( \operatorname{ex}(n, K_r, \mathcal{F}) \) is the maximum number of $K_r$ in an \( n \)-vertex graph that does not contain any member of \( \mathcal{F} \) as a subgraph. Recently, Alon and Frankl initiated the study of Turán problems with bounded matching number. In this paper, we determine the generalized Turán number of \( C_{\geq k} \) with bounded matching number.
Defect and transference versions of the Alon-Frankl-Lovasz theorem
Published
• View Publication
• BIB
Confirming a conjecture of Erdős on the chromatic number of Kneser hypergraphs, Alon, Frankl and Lovász proved that in any $q$-colouring of the edges of the complete $r$-uniform hypergraph, there exists a monochromatic matching of size $\lfloor \frac{n+q-1}{r+q-1}\rfloor$. In this paper, we prove a transference version of this theorem. More precisely, for fixed $q$ and $r$, we show that with high probability, a monochromatic matching of approximately the same size exists in any $q$-colouring of a random hypergraph, already when the average degree is a sufficiently large constant. In fact, our main new result is a defect version of the Alon--Frankl--Lovász theorem for almost complete hypergraphs. From this, the transference version is obtained via a variant of the weak hypergraph regularity lemma. The proof of the defect version uses tools from extremal set theory developed in the study of the Erdős matching conjecture.
Turán problems for suspension of a balanced tree
Published
• View Publication
• BIB
The Turán number $\ex(n,H)$ is the maximum number of edges that an $n$-vertex $H$-free graph can have. The suspension $\widehat{H}$ is obtained from $H$ by adding a new vertex which is adjacent to all vertices of $H$ and a tree is balanced if the sizes of its two color classes differ at most $1$. In this paper, we obtain a sharp bound of $\ex(n,\widehat{T})$ when $n\ge 4(4k)^6$ based on the Erdős-Sós conjecture. We also show the bound is sharp for infinitely many $n$ and characterize all extremal graphs. In particular, if $T$ satisfies some conditions such as $T$ contains a matching covering all vertices in one color class, then the bound is sharp for all $n$. This is a new class of graphs whose decomposition family does not contain a linear forest but we still can determine its Turán number.
Cell closures for two-row Springer fibers via noncrossing matchings
Published
• View Publication
• BIB
Springer fibers are a family of subvarieties of the flag variety parametrized by nilpotent matrices that are important in geometric representation theory and whose geometry encodes deep combinatorics. Two-row Springer fibers, which correspond to nilpotent matrices with two Jordan blocks, also arise in knot theory, in part because their components are indexed by noncrossing matchings. Springer fibers are paved by affines by intersection with appropriately-chosen Schubert cells. In the two-row case, we provide an elementary description of these Springer Schubert cells in terms of standard noncrossing matchings and describe closure relations explicitly. To do this, we define an operation called cutting arcs in a matching, which successively unnests arcs while ``remembering" the arc originally on top. We then prove that the boundary of the Springer Schubert cell corresponding to a matching consists of the affine subsets of cells corresponding to all ways of cutting arcs in that matching.
The minimum number of vertices and edges of connected graphs with ind-match$(G) = p$, min-match$(G) = q$ and match$(G) = r$
Let ind-match$(G)$, min-match$(G)$ and match$(G)$ denote the induced matching number, minimum matching number and matching number of a graph $G$, respectively. It is known that ind-match$(G) \leq $ min-match$(G) \leq {\rm match}(G) \leq$ 2min-match$(G)$ holds. In the present paper, we investigate the minimum number of vertices and edges of connencted simple graphs $G$ with ind-match$(G) = p$, min-match$(G) = q$ and ${\rm match}(G) = r$ for pair of integers $p, q, r$ such that $1 \leq p \leq q \leq r \leq 2q$.
On the time complexity of finding a well-spread perfect matching in bridgeless cubic graphs
Published
• View Publication
• BIB
We present an algorithm for finding a perfect matching in a $3$-edge-connected cubic graph that intersects every $3$-edge cut in exactly one edge. Specifically, we propose an algorithm with a time complexity of $O(n \log^4 n)$, which significantly improves upon the previously known $O(n^3)$-time algorithms for the same problem. The technique we use for the improvement is efficient use of cactus model of 3-edge cuts. As an application, we use our algorithm to compute embeddings of $3$-edge-connected cubic graphs with limited number of singular edges (i.e., edges that are twice in the boundary of one face) in $O(n \log^4 n)$ time; this application contributes to the study of the well-known Cycle Double Cover conjecture.
A Polynomial Ramsey Statement for Bounded VC-dimension
Published
• View Publication
• BIB
A theorem by Ding, Oporowski, Oxley, and Vertigan states that every sufficiently large bipartite graph without twins contains a matching, co-matching, or half-graph of any given size as an induced subgraph. We prove that this Ramsey statement has polynomial dependency assuming bounded VC-dimension of the initial graph, using the recent verification of the Erdős-Hajnal property for graphs of bounded VC-dimension. Since the theorem of Ding et al. plays a role in (finite) model theory, which studies even more restricted structures, we also comment on further refinements of the theorem within this context.
Finding Minimum Matching Cuts in $H$-free Graphs and Graphs of Bounded Radius and Diameter
A matching cut is a matching that is also an edge cut. In the problem Minimum Matching Cut, we ask for a matching cut with the minimum number of edges in the matching. We give polynomial-time algorithms for $P_7$-free, $S_{1,1,2}$-free and $(P_6 + P_4)$-free graphs, which also solve several open cases for the well-studied problem Matching Cut. In addition, we show NP-hardness for $3P_3$-free graphs, implying that Minimum Matching Cut and Matching Cut differ in complexity on certain graph classes. We also give complexity dichotomies for both general and bipartite graphs of bounded radius and diameter.
Variable degeneracy of planar graphs without chorded 6-cycles
Published in Acta Mathematica Sinica (English Series), 40 (2024) 2735--2750
• View Publication
• BIB
A cover of a graph $G$ is a graph $H$ with vertex set $V(H) = \bigcup_{v \in V(G)} L_{v}$, where $L_{v} = \{v\} \times [s]$, and the edge set $M = \bigcup_{uv \in E(G)} M_{uv}$, where $M_{uv}$ is a matching between $L_{u}$ and $L_{v}$. A vertex set $T \subseteq V(H)$ is a transversal of $H$ if $|T \cap L_{v}| = 1$ for each $v \in V(G)$. Let $f$ be a nonnegative integer valued function on the vertex-set of $H$. If for any nonempty subgraph $Γ$ of $H[T]$, there exists a vertex $x \in V(H)$ such that $d(x) < f(x)$, then $T$ is called a strictly $f$-degenerate transversal. In this paper, we give a sufficient condition for the existence of strictly $f$-degenerate transversal for planar graphs without chorded $6$-cycles. As a consequence, every planar graph without subgraphs isomorphic to the configurations in Fig. 4 is DP-$4$-colorable.
Square-free powers of Cohen-Macaulay simplicial forests
Published
• View Publication
• BIB
Let $I(Δ)^{[k]}$ denote the $k^{\text{th}}$ square-free power of the facet ideal of a simplicial complex $Δ$ in a polynomial ring $R$. Square-free powers are intimately related to the `Matching Theory' and `Ordinary Powers'. In this article, we show that if $Δ$ is a Cohen-Macaulay simplicial forest, then $R/I(Δ)^{[k]}$ is Cohen-Macaulay for all $k\ge 1$. This result is quite interesting since all ordinary powers of a graded radical ideal can never be Cohen-Macaulay unless it is a complete intersection. To prove the result, we introduce a new combinatorial notion called special leaf, and using this, we provide an explicit combinatorial formula of $\mathrm{depth}(R/I(Δ)^{[k]})$ for all $k\ge 1$, where $Δ$ is a Cohen-Macaulay simplicial forest. As an application, we show that the normalized depth function of a Cohen-Macaulay simplicial forest is nonincreasing.
Excluded conformal minors of Birkhoff-von Neumann graphs with equal global forcing number and maximum anti-forcing number
Published
• View Publication
• BIB
Global forcing number and maximum anti-forcing number of matchable graphs (graphs with a perfect matching) were proposed in completely different situations with applications in theoretical chemistry. Surprisingly for bipartite graphs and some nonbipartite graphs as solid bricks (or Birkhoff-von Neumann graphs) G, the global forcing number gf(G) is at least the maximum anti-forcing number Af(G). It is natural to consider when gf(G) = Af(G) holds. For convenience, we call a matchable graph G strongly uniform if each conformal matchable subgraph G' always satisfies gf(G') = Af(G'). In this article, by applying the ear decomposition theorem and discussing the existence of a Hamilton cycle with positions of chords, we give "excluded conformal minors" and "structural" characterizations of matchable bipartite graphs and Birkhoff-von Neumann graphs that are strongly uniform respectively.
On $\mathcal{F}$-multicolor Turán number of hypergraph graphs
The Ruzsa-Szemerédi $(6,3)$-problem can be equivalently stated as determining the maximum number of edge-disjoint triangles on $n$ vertices such that no triangle is formed by edges from three distinct triangle-copies. Gowers and Janzer extended this problem by establishing an analogous result for complete graphs. A natural generalization of the two results, first introduced by Imolay, Karl, Nazy and Váli, asks for the maximum number of edge-disjoint copies of a graph $F$ on $n$ vertices such that no copy of $G$ is formed by edges originating from distinct $F$-copies. This maximum number, denoted by $ex_F(n,G)$, is called the {\em $F$-multicolor Turán number} of $G$. This paper focuses on the setting of uniform hypergraphs. We first prove that for $k$-uniform hypergraphs $\mathcal{G}$ and $\mathcal{F}$, $ex_{\mathcal{F}}(n,\mathcal{G})=o(n^k)$ if and only if there exists a homomorphism from $\mathcal{G}$ to $\mathcal{F}$. For degenerate case, we show that $ex_{\mathcal{F}}(n,\mathcal{G})=n^{k-o(1)}$ whenever $\mathcal{G}$ contains a $k$-uniform tight triangle. These results extend previous results. We further establish corresponding supersaturation and blowup statements. In the non-degenerate setting, we derive matching lower and upper bounds for $ex_{\mathcal{F}}(n,\mathcal{G})$. We give a necessary and sufficient condition for $ex_{\mathcal{F}}(n,\mathcal{G})$ to fail to attain the upper bound, under the assumption that the extremal graphs for $\mathcal{G}$ are stable. As an application, we refine a result due to Imolay, Karl, Nazy and Váli. Furthermore, we completely characterize $\mathcal{F}$ for which $ex_{\mathcal{F}}(n,\mathcal{G})$ does not attain the upper bound when $\mathcal{G}$ is one of the three special intersecting graphs: Fano plane, extended triangle and $r$-book of $r$-edges with $r=3,4$.
Minimum forcing numbers of perfect matchings of circular and prismatic graphs
Let $G$ be a graph with a perfect matching. Denote by $f(G)$ the minimum size of a matching in $G$ which is uniquely extendable to a perfect matching in $G$. Diwan (2019) proved by linear algebra that for $d$-hypercube $Q_d$ ($d\geq 2)$, $f(Q_n)=2^{d-2}$, settling a conjecture proposed by Pachter and Kim in 1998. Recently Mohammadian generalized this method to obtain a general result: for a bipartite graph $G$ on $n$ vertices, if there exists an involutory matrix $A$ on a field $F$ as a weighted adjacency matrix then $f(G\Box K_2)=\frac{n}{2}$. In this paper, under the same condition we obtain $f(G\Box C_{2k})=n ~(k\ge2)$. Also this method can be applied to some non-balanced bipartite graphs $G$ whenever $G$ admit a weighted bi-adjacency matrix with orthogonal rows.
Minimum maximal matchings in permutahedra
Published
• View Publication
• BIB
We prove that the minimal size $M(π_n)$ of a maximal matching in the permutahedron $π_n$ is asymptotically $n!/3$. On the one hand, we obtain a lower bound $M(π_n) \ge n! (n-1) / (3n-2)$ by considering $4$-cycles in the permutahedron. On the other hand, we obtain an asymptotical upper bound $M(π_n) \le n!(1/3+o(1))$ by multiple applications of Hall's theorem (similar to the approach of Forcade (1973) for the hypercube) and an exact upper bound $M(π_n) \le n!/3$ by an explicit construction. We also derive bounds on minimum maximal matchings in products of permutahedra.
Enumerating the number of $k$-matchings in successively amalgamated graphs
Published in Appl. Math. Comput. 510 (2026) Paper 129703, 9 pp
• View Publication
• BIB
In this paper, the transfer matrix technique using the $k$-matching vector is developed to compute the number of $k$-matchings in an arbitrary graph which can be constructed by successive amalgamations over sets of cardinality two. This widely extends known methods from the literature developed for computing the number of $k$-matchings in benzenoid chains, octagonal chains, cyclooctatetraene chains, and arbitrary cyclic chains. Two examples demonstrating how the present method can be applied are given, one of then being an elaborated chemical example.
Complexity Framework For Forbidden Subgraphs V: Beyond Simple Graphs
We continue the study of the recently-introduced C123-framework, for (simple) graph problems restricted to inputs specified by the forbidding of some finite set of subgraphs, to more general graph problems possibly involving multiedges and self-loops. We study specifically the problems Multigraph Matching Cut, Multigraph d-Cut and Partially Reflexive Stable Cut in this connection. The last may be seen as a Surjective Homomorphism problem to a path P_3 in which both leaves are looped while the interior vertex is loopless. We consider also another family of Surjective Homomorphism problems to a cycle in which only one vertex is loopless.
When one forbids a single (simple) subgraph, our first three problems exhibit the same complexity behaviour as C123-problems, but on finite sets of forbidden subgraphs, the classification appears more complex. While Multigraph Matching Cut and Multigraph d-Cut have the same classification as C123-problems, already Partially Reflexive Stable Cut fails to have. This is witnessed by forbidding as subgraphs both C_3 and H_1. Indeed, the difference of behaviour occurs only around pendant subdivisions of nets and pendant subdivisions of H_1. We examine this area in close detail.
Our other Surjective Homomorphism problem, ostensibly somewhat similar to Partially Reflexive Stable Cut, behaves very differently when the input is restricted to some class that is H-subgraph-free. For example, it is solvable in polynomial time on any class of bounded degree. Also, its hardness will never be preserved under any form of edge subdivision.
A Note on One-Hole Domino Tilings of Squares and Rectangles
We consider the number of domino tilings of an odd-by-odd rectangle that leave one hole. This problem is equivalent to the number of near-perfect matchings of the odd-by-odd rectangular grid. For any particular position of the vacancy on the $(2k+1)\times (2k+1)$ square grid, we show that the number of near-perfect matchings is a multiple of $2^k$, and from this follows a conjecture of Kong that the total number of near-perfect matchings is a multiple of $2^k$. We also determine the parity of the number of near-perfect matchings with a particular vacancy for the rectangle case.