matching
3168 papers tagged with this keyword
On the $α$-spectral radius of the $k$-uniform supertrees
Published
• View Publication
• BIB
Let $G$ be a $k$-uniform hypergraph with vertex set $V(G)$ and edge set $E(G)$. A connected and acyclic hypergraph is called a supertree. For $0\leqα<1$, the $α$-spectral radius of $G$ is the largest $H$-eigenvalue of $αD(G)+(1-α)A(G)$, where $D(G)$ and $A(G)$ are the diagonal tensor of the degrees and the adjacency tensor of $G$, respectively. In this paper, we determine the unique supertrees with the maximum $α$-spectral radius among all $k$-uniform supertrees with $m$ edges and independence number $β$ for $\lceil\frac{m(k-1)+1}{k}\rceil\leqβ\leq m$, among all $k$-uniform supertrees with given degree sequences, and among all $k$-uniform supertrees with $m$ edges and matching number $μ$ for $1\leqμ\leq\lfloor\frac{m(k-1)+1}{k}\rfloor$, respectively.
Erdős Matching Conjecture for almost perfect matchings
Published
• View Publication
• BIB
In 1965 Erdős asked, what is the largest size of a family of $k$-element subsets of an $n$-element set that does not have a matching of size $s+1$? In this note, we improve upon a recent result of Frankl and resolve this problem for $s>101k^{3}$ and $(s+1)k\le n<(s+1)(k+\frac{1}{100k})$.
Strongly maximal matchings and strongly minimal covers
This is a not-to-be-journal-published paper, aimed to serve as reference. It is a summary of the main ideas on the topic appearing in the title, and an opportunity to state correctly the main conjecture in the field.
Constructive Characterization for Signed Analogue of Critical Graphs II: General Radials and Semiradials
This paper is a sequel of our preceding paper (N. Kita: Constructive characterization for signed analogue of critical graphs I: Principal classes of radials and semiradials. arXiv preprint, arXiv:2001.00083, 2019). In the preceding paper, the concepts of radials and semiradials are introduced, and constructive characterizations for five principal classes of radials and semiradials are provided. Radials are a common analogue of critical graphs from matching theory and a class of directed graphs called flowgraphs, whereas semiradials are a relaxed concept of radials. Five classes of radials and semiradials, that is, absolute semiradials, strong and almost strong radials, linear semiradials, and sublinear radials, were defined and characterized in the paper. In this paper, we use these characterizations to provide a constructive characterization of general radials and semiradials.
Antifactors in bipartite multigraphs
Let $G$ be a $q$-regular bipartite graph with bipartition $(U,V)$. It was proved by Lu, Wang, and Yan in 2020 that $G$ has a spanning subgraph $H$ such that each vertex of $U$ has degree 1 in $H$, and each vertex of $V$ has degree distinct from 1 in $H$. We extend the result to multigraphs, under the condition that $q$ is a prime power and the number of perfect matchings of $G$ is not divisible by $q$. The condition on the number of perfect matchings is necessary for multigraphs.
We conclude with a conjecture on the limiting distribution of the number of perfect matchings modulo $q$ in a random bipartite $q$-regular graph.
A unified combinatorial view beyond some spectral properties
Published
• View Publication
• BIB
Let $β>0$. Motivated by jumbled graphs defined by Thomason, the celebrated expander mixing lemma and Haemers's vertex separation inequality, we define that a graph $G$ with $n$ vertices is a weakly $(n,β)$-graph if $\frac{|X| |Y|}{(n-|X|)(n-|Y|)} \le β^2$ holds for every pair of disjoint proper subsets $X, Y$ of $V(G)$ with no edge between $X$ and $Y$, and it is an $(n,β)$-graph if in addition $X$ and $Y$ are not necessarily disjoint. Our main results include the following.
(i) For any weakly $(n,β)$-graph $G$, the matching number $α'(G)\ge \min\left\{\frac{1-β}{1+β},\, \frac{1}{2}\right\}\cdot (n-1).$ If in addition $G$ is a $(U, W)$-bipartite graph with $|W|\ge t|U|$ where $t\ge 1$, then $α'(G)\ge \min\{t(1-2β^2),1\}\cdot |U|$.
(ii) For any $(n,β)$-graph $G$, $α'(G)\ge \min\left\{\frac{2-β}{2(1+β)},\, \frac{1}{2}\right\}\cdot (n-1).$ If in addition $G$ is a $(U, W)$-bipartite graph with $|W|\ge |U|$ and no isolated vertices, then $α'(G)\ge \min\{1/β^{2},1\}\cdot |U|$.
(iii) If $G$ is a weakly $(n,β)$-graph for $0<β\le 1/3$ or an $(n,β)$-graph for $0<β\le 1/2$, then $G$ has a fractional perfect matching. In addition, $G$ has a perfect matching when $n$ is even and $G$ is factor-critical when $n$ is odd.
(iv) For any connected $(n,β)$-graph $G$, the toughness $t(G)\ge \frac{1-β}β$. For any connected weakly $(n,β)$-graph $G$, $t(G)> \frac{5(1-β)}{11β}$ and if $n$ is large enough, then $t(G) >\left(\frac{1}{2}-\varepsilon\right)\frac{1-β}β$ for any $\varepsilon >0$.
On the matching arrangement of a graph and properties of its characteristic polynomial
Published
• View Publication
• BIB
This paper considers a hyperplane arrangement constructed with a subset of a set of all simple paths in a graph. A connection of the constructed arrangement to the maximum matching problem is established. Moreover, the problem of finding the characteristic polynomial is reduced to the case of a connected initial graph. The formula of the characteristic polynomial was also found for the case, when the initial graph is a tree.
Turán numbers $T(n,5,3)$ and graphs without induced $5$-cycles
Published in Journal of Graph Theory, vol. 104, no. 3, 2023, pp. 451-460
• View Publication
• BIB
Turán number $T(n,5,3)$ is the minimum size of a system of triples out of a base set $X$ of $n$ elements such that every quintuple in $X$ contains a triple from the system. The exact values of $T(n,5,3)$ are known for $n \leq 17$. Turán conjectured that $T(2m,5,3) = 2\binom{m}{3}$, and no counterexamples have been found so far. If this conjecture is true, then $T(2m+1,5,3) \geq \lceil m(m-2)(2m+1)/6\rceil$. We prove the matching upper bound for all $n = 2m+1 > 17$ except $n=27$.
The maximum matching extendability and factor-criticality of 1-planar graphs
Published
• View Publication
• BIB
A graph is $1$-$planar$ if it can be drawn in the plane so that each edge is crossed by at most one other edge. Moreover, a 1-planar graph $G$ is $optimal$ if it satisfies $|E(G)|=4|V(G)|-8$. J. Fujisawa et al. [16] first considered matching extension of optimal 1-planar graphs, obtained that each optimal 1-planar graph of even order is 1-extendable and characterized 2-extendable optimal 1-planar graphs and 3-matchings extendable to perfect matchings as well. In this short paper, we prove that no optimal $1$-planar graph is 3-extendable. Further we mainly obtain that no 1-planar graph is 5-extendable by the discharge method and also construct a 4-extendable 1-planar graph. Finally we get that no 1-planar graph is 7-factor-critical and no optimal 1-planar graph is 6-factor-critical.
Morse theory of Bestvina-Brady type for posets and matchings
Published
• View Publication
• BIB
We introduce a Morse theory for posets of Bestvina-Brady type combining matchings and height functions. This theory generalizes Forman's discrete Morse theory for regular CW-complexes and extends previous results on Morse theory for $h$-regular posets to all finite posets. We also develop a relative version of Morse theory which allows us to compare the topology of a poset with that of a given subposet.
Egerváry graphs: Deming decompositions and independence structure
We leverage an algorithm of Deming [R.W. Deming, Independence numbers of graphs -- an extension of the Koenig-Egervary theorem, Discrete Math., 27(1979), no. 1, 23--33; MR534950] to decompose a matchable graph into subgraphs with a precise structure: they are either spanning even subdivisions of blossom pairs, spanning even subdivisions of the complete graph $K_4$, or a Kőnig-Egerváry graph. In each case, the subgraphs have perfect matchings; in the first two cases, their independence numbers are one less than their matching numbers, while the independence number of the KE subgraph equals its matching number. This decomposition refines previous results about the independence structure of an arbitrary graph and leads to new results about $α$-critical graphs.
Inverse of $α$-Hermitian Adjacency Matrix of a Unicyclic Bipartite Graph
Published
• View Publication
• BIB
Let $X$ be bipartite mixed graph and for a unit complex number $α$, $H_α$ be its $α$-hermitian adjacency matrix. If $X$ has a unique perfect matching, then $H_α$ has a hermitian inverse $H_α^{-1}$. In this paper we give a full description of the entries of $H_α^{-1}$ in terms of the paths between the vertices. Furthermore, for $α$ equals the primitive third root of unity $γ$ and for a unicyclic bipartite graph $X$ with unique perfect matching, we characterize when $H_γ^{-1}$ is $\pm 1$ diagonally similar to $γ$-hermitian adjacency matrix of a mixed graph. Through our work, we have provided a new construction for the $\pm 1$ diagonal matrix.
Conflict-free hypergraph matchings
Published
• View Publication
• BIB
A celebrated theorem of Pippenger, and Frankl and Rödl states that every almost-regular, uniform hypergraph $\mathcal{H}$ with small maximum codegree has an almost-perfect matching. We extend this result by obtaining a ``conflict-free'' matching, where conflicts are encoded via a collection $\mathcal{C}$ of subsets $C\subseteq E(\mathcal{H})$. We say that a matching $\mathcal{M}\subseteq E(\mathcal{H})$ is conflict-free if $\mathcal{M}$ does not contain an element of $\mathcal{C}$ as a subset. Under natural assumptions on $\mathcal{C}$, we prove that $\mathcal{H}$ has a conflict-free, almost-perfect matching. This has many applications, one of which yields new asymptotic results for so-called ``high-girth'' Steiner systems. Our main tool is a random greedy algorithm which we call the ``conflict-free matching process''.
On the number of maximal independent sets: From Moon-Moser to Hujter-Tuza
Published
• View Publication
• BIB
We connect two classical results in extremal graph theory concerning the number of maximal independent sets. The maximum number mis$(n)$ of maximal independent sets in an $n$-vertex graph was determined by Moon and Moser. The maximum number mis$_\bigtriangleup(n)$ of maximal independent sets in an $n$-vertex triangle-free graph was determined by Hujter and Tuza. We determine the maximum number mis$_t(n)$ of maximal independent sets in an $n$-vertex graph containing no induced triangle matching of size $t+1$. We also reprove a stability result of Kahn and Park on the maximum number mis$_{\bigtriangleup,t}(n)$ of maximal independent sets in an $n$-vertex triangle-free graphs containing no induced matching of size $t+1$.
Connected size Ramsey numbers of matchings versus a small path or cycle
Published
• View Publication
• BIB
Given two graphs $G_1, G_2$, the connected size Ramsey number ${\hat{r}}_c(G_1,G_2)$ is defined to be the minimum number of edges of a connected graph $G$, such that for any red-blue edge colouring of $G$, there is either a red copy of $G_1$ or a blue copy of $G_2$. Concentrating on ${\hat{r}}_c(nK_2,G_2)$ where $nK_2$ is a matching, we generalise and improve two previous results as follows. Vito, Nabila, Safitri, and Silaban obtained the exact values of ${\hat{r}}_c(nK_2,P_3)$ for $n=2,3,4$. We determine its exact values for all positive integers $n$. Rahadjeng, Baskoro, and Assiyatun proved that ${\hat{r}}_c(nK_2,C_4)\le 5n-1$ for $n\ge 4$. We improve the upper bound from $5n-1$ to $\lfloor (9n-1)/2 \rfloor$. In addition, we show a result which has the same flavour and has exact values: ${\hat{r}}_c(nK_2,C_3)=4n-1$ for all positive integers $n$.
Spectral radius and rainbow matchings of graphs
Published
• View Publication
• BIB
Let $n,m$ be integers such that $1\leq m\leq (n-2)/2$ and let $[n]=\{1,\ldots,n\}$. Let $\mathcal{G}=\{G_1,\ldots,G_{m+1}\}$ be a family of graphs on the same vertex set $[n]$. In this paper, we prove that if for any $i\in [m+1]$, the spectral radius of $G_i$ is not less than $\max\{2m,\frac{1}{2}(m-1+\sqrt{(m-1)^2+4m(n-m)})\}$, then $\mathcal{G}$ admits a rainbow matching, i.e. a choice of disjoint edges $e_i\in G_i$, unless $G_1=G_2=\ldots=G_{m+1}$ and $G_1\in \{K_{2m+1}\cup (n-2m-1)K_1, K_m\vee (n-m)K_1\}$.
Random meander model for links
Published in Discrete & Computational Geometry, published online June 2024, 20 p
• View Publication
• BIB
We suggest a new random model for links based on meander diagrams and graphs. We then prove that trivial links appear with vanishing probability in this model, no link $L$ is obtained with probability 1, and there is a lower bound for the number of non-isotopic knots obtained for a fixed number of crossings. A random meander diagram is obtained through matching pairs of parentheses, a well-studied problem in combinatorics. Hence tools from combinatorics can be used to investigate properties of random links in this model, and, moreover, of the respective 3-manifolds that are link complements in 3-sphere. We use this for exploring geometric properties of a link complement. Specifically, we give expected twist number of a link diagram and use it to bound expected hyperbolic and simplicial volume of random links. The tools from combinatorics that we use include Catalan and Narayana numbers, and Zeilberger's algorithm.
Graphs whose vertices of degree at least 2 lie in a triangle
Published
• View Publication
• BIB
A pendant vertex is one of degree one and an isolated vertex has degree zero. A neighborhood star-free (NSF for short) graph is one in which every vertex is contained in a triangle except pendant vertices and isolated vertices. This class has been considered before for several contexts. In the present paper, we study the complexity of the dominating induced matching (DIM) problem and the perfect edge domination (PED) problem for NSF graphs. We prove the corresponding decision problems are NP-Complete for several of its subclasses. As an added value of this study, we have shown three connected variants of planar positive 1in3SAT are also NP-Complete. Since these variants are more basic in complexity theory context than many graph problems, these results can be useful to prove that other problems are NP-Complete.
Disjoint odd circuits in a bridgeless cubic graph can be quelled by a single perfect matching
Published in J. Combin. Theory Ser. B 160, 1--14 (2023). Share Link: https://authors.elsevier.com/a/1gKfKLpTmV29P
• View Publication
• BIB
Let $G$ be a bridgeless cubic graph. The Berge--Fulkerson Conjecture (1970s) states that $G$ admits a list of six perfect matchings such that each edge of $G$ belongs to exactly two of these perfect matchings. If answered in the affirmative, two other recent conjectures would also be true: the Fan--Raspaud Conjecture (1994), which states that $G$ admits three perfect matchings such that every edge of $G$ belongs to at most two of them; and a conjecture by Mazzuoccolo (2013), which states that $G$ admits two perfect matchings whose deletion yields a bipartite subgraph of $G$. It can be shown that given an arbitrary perfect matching of $G$, it is not always possible to extend it to a list of three or six perfect matchings satisfying the statements of the Fan--Raspaud and the Berge--Fulkerson conjectures, respectively. In this paper, we show that given any $1^+$-factor $F$ (a spanning subgraph of $G$ such that its vertices have degree at least 1) and an arbitrary edge $e$ of $G$, there always exists a perfect matching $M$ of $G$ containing $e$ such that $G\setminus (F\cup M)$ is bipartite. Our result implies Mazzuoccolo's conjecture, but not only. It also implies that given any collection of disjoint odd circuits in $G$, there exists a perfect matching of $G$ containing at least one edge of each circuit in this collection.
The average size of maximal matchings in graphs
Published
• View Publication
• BIB
We investigate the ratio $\avM(G)$ of the average size of a maximal matching to the size of a maximum matching in a graph $G$. If many maximal matchings have a size close to $\maxM(G)$, this graph invariant has a value close to 1. Conversely, if many maximal matchings have a small size, $\avM(G)$ approaches $\frac{1}{2}$.
We propose a general technique to determine the asymptotic behavior of $\avM(G)$ for various classes of graphs. To illustrate the use of this technique, we first show how it makes it possible to find known asymptotic values of $\avM(G)$ which were typically obtained using generating functions, and we then determine the asymptotic value of $\avM(G)$ for other families of graphs, highlighting the spectrum of possible values of this graph invariant between $\frac{1}{2}$ and $1$.