matching
3168 papers tagged with this keyword
Morse-Bott Theory on posets and an homological Lusternik-Schnirelmann Theorem
Published
• View Publication
• BIB
We develop Morse-Bott theory on posets, generalizing both discrete Morse-Bott theory for regular complexes and Morse theory on posets. Moreover, we prove a Lusternik-Schnirelmann theorem for general matchings on posets, in particular, for Morse-Bott functions.
Explicit Baranyai Partitions for Quadruples, Part I: Quadrupling Constructions
Published
• View Publication
• BIB
It is well known that, whenever $k$ divides $n$, the complete $k$-uniform hypergraph on $n$ vertices can be partitioned into disjoint perfect matchings. Equivalently, the set of $k$-subsets of an $n$-set can be partitioned into parallel classes so that each parallel class is a partition of the $n$-set. This result is known as Baranyai's theorem, which guarantees the existence of \emph{Baranyai partitions}. Unfortunately, the proof of Baranyai's theorem uses network flow arguments, making this result non-explicit. In particular, there is no known method to produce Baranyai partitions in time and space that scale linearly with the number of hyperedges in the hypergraph. It is desirable for certain applications to have an explicit construction that generates Baranyai partitions in linear time. Such an efficient construction is known for $k=2$ and $k=3$. In this paper, we present an explicit recursive quadrupling construction for $k=4$ and $n=4t$, where $t \equiv 0,3,4,6,8,9 ~(\text{mod}~12)$. In a follow-up paper (Part II), the other values of~$t$, namely $t \equiv 1,2,5,7,10,11 ~(\text{mod}~12)$, will be considered.
Merge trees in discrete Morse theory
Published
• View Publication
• BIB
In this paper, we study merge trees induced by a discrete Morse function on a tree. Given a discrete Morse function, we provide a method to constructing an induced merge tree and define a new notion of equivalence of discrete Morse functions based on the induced merge tree. We then relate the matching number of a tree to a certain invariant of the induced merge tree. Finally, we count the number of merge trees that can be induced on a star graph and characterize the induced merge tree.
A Tight Approximation Algorithm for the Cluster Vertex Deletion Problem
Published
• View Publication
• BIB
We give the first $2$-approximation algorithm for the cluster vertex deletion problem. This is tight, since approximating the problem within any constant factor smaller than $2$ is UGC-hard. Our algorithm combines the previous approaches, based on the local ratio technique and the management of true twins, with a novel construction of a 'good' cost function on the vertices at distance at most $2$ from any vertex of the input graph.
As an additional contribution, we also study cluster vertex deletion from the polyhedral perspective, where we prove almost matching upper and lower bounds on how well linear programming relaxations can approximate the problem.
The $A_α$-spectral radius and perfect matchings of graphs
Published
• View Publication
• BIB
Let $α\in[0,1)$, and let $G$ be a graph of even order $n$ with $n\geq f(α)$, where $f(α)=10$ for $0\leq α\leq1/2$, $f(α)=14$ for $1/2<α\leq 2/3$ and $f(α)=5/(1-α)$ for $2/3<α<1$. In this paper, it is shown that if the $A_α$-spectral radius of $G$ is not less than the largest root of $x^3 - ((α+ 1)n +α-4)x^2 + (αn^2 + (α^2 - 2α- 1)n - 2α+1)x -α^2n^2 + (5α^2 - 3α+ 2)n - 10α^2 + 15α- 8=0$ then $G$ has a perfect matching unless $G=K_1\nabla(K_{n-3}\cup 2K_1)$. This generalizes a result of S. O [Spectral radius and matchings in graphs, Linear Algebra Appl. 614 (2021) 316--324], which gives a sufficient condition for the existence of a perfect matching in a graph in terms of the adjacency spectral radius.
Presentations for Vertex Transitive Graphs
Published
• View Publication
• BIB
We generalise the standard constructions of a Cayley graph in terms of a group presentation by allowing some vertices to obey different relators than others. The resulting notion of presentation allows us to represent every vertex transitive graph. As an intermediate step, we prove that every countably infinite, connected, vertex transitive graph has a perfect matching. Incidentally, we construct an example of a 2-ended cubic vertex transitive graph which is not a Cayley graph, answering a question of Watkins from 1990.
Demazure crystals and the Schur positivity of Catalan functions
Published
• View Publication
• BIB
Catalan functions, the graded Euler characteristics of certain vector bundles on the flag variety, are a rich class of symmetric functions which include $k$-Schur functions and parabolic Hall-Littlewood polynomials. We prove that Catalan functions indexed by partition weight are the characters of $U_q(\widehat{\mathfrak{sl}}_\ell)$-generalized Demazure crystals as studied by Lakshmibai-Littelmann-Magyar and Naoi. We obtain Schur positive formulas for these functions, settling conjectures of Chen-Haiman and Shimozono-Weyman. Our approach more generally gives key positive formulas for graded Euler characteristics of certain vector bundles on Schubert varieties by matching them to characters of generalized Demazure crystals.
A certain ratio of generating functions of lozenge tilings, obtained with non--intersecting lattice paths
In a recent preprint, Lai worked out the quotient of generating functions of weighted lozenge tilings of two "half hexagons with lateral dents" which differ only in width. Lai achieved this by using "graphical condensation" (i.e., application of a certain Pfaffian identity to the weighted enumeration of matchings).
The purpose of this note is to exhibit how this can be done by the Lindström--Gessel--Viennot method for nonintersecting lattice paths in a quite simple way. Basically the same observation, but restricted to mere enumeration (i.e., all weights of lozenge tilings are equal to $1$), is contained in a recent preprint of Condon.
Signless Laplacian spectral radius and matching in graphs
The signless Laplacian matrix of a graph $G$ is given by $Q(G)=D(G)+A(G)$, where $D(G)$ is a diagonal matrix of vertex degrees and $A(G)$ is the adjacency matrix. The largest eigenvalue of $Q(G)$ is called the signless Laplacian spectral radius, denoted by $q_1=q_1(G)$. In this paper, some properties between the signless Laplacian spectral radius and perfect matching in graphs are establish. Let $r(n)$ be the largest root of equation $x^3-(3n-7)x^2+n(2n-7)x-2(n^2-7n+12)=0$. We show that $G$ has a perfect matching for $n=4$ or $n\geq10$, if $q_1(G)>r(n)$, and for $n=6$ or $n=8$, if $q_1(G)>4+2\sqrt{3}$ or $q_1(G)>6+2\sqrt{6}$ respectively, where $n$ is a positive even integer number. Moreover, there exists graphs $K_{n-3}\vee K_1 \vee \overline{K_2}$ such that $q_1(K_{n-3}\vee K_1 \vee \overline{K_2})=r(n)$ if $n\geq4$, a graph $K_2\vee\overline{K_4}$ such that $q_1(K_2\vee\overline{K_4})=4+2\sqrt{3}$ and a graph $K_3\vee\overline{K_5}$ such that $q_1(K_3\vee\overline{K_5})=6+2\sqrt{6}$. These graphs all have no prefect matching.
Graded Betti numbers of some circulant graphs
Published in Rocky Mountain Journal of Mathematics, 51(6), 1919-1940, 2021
• View Publication
• BIB
Let $G$ be the circulant graph $C_n(S)$ with $S \subseteq \{1, 2, \dots, \lfloor \frac{n}{2} \rfloor\}$, and let $I(G)$ denote the edge ideal in the polynomial ring $R=\mathbb{K}[x_0, x_1, \dots, x_{n-1}]$ over a field $\mathbb{K}$. In this paper, we compute the $\mathbb{N}$-graded Betti numbers of the edge ideals of three families of circulant graphs $C_n(1,2,\dots,\widehat{j},\dots,\lfloor \frac{n}{2} \rfloor)$, $C_{lm}(1,2,\dots,\widehat{2l},\dots, \widehat{3l},\dots,\lfloor \frac{lm}{2} \rfloor)$ and $C_{lm}(1,2,\dots,\widehat{l},\dots,\widehat{2l},\dots, \widehat{3l},\dots,\lfloor \frac{lm}{2} \rfloor)$. Other algebraic and combinatorial properties like regularity, projective dimension, induced matching number and when such graphs are well-covered, Cohen-Macaulay, Sequentially Cohen-Macaulay, Buchsbaum and $S_2$ are also discussed.
A spectral extremal problem on graphs with given size and matching number
Published
• View Publication
• BIB
Brualdi and Hoffman (1985) proposed the problem of determining the maximal spectral radius of graphs with given size. In this paper, we consider the Brualdi-Hoffman type problem of graphs with given matching number. The maximal $Q$-spectral radius of graphs with given size and matching number is obtained, and the corresponding extremal graphs are also determined.
Matchings in regular graphs: minimizing the partition function
For a graph $G$ on $v(G)$ vertices let $m_k(G)$ denote the number of matchings of size $k$, and consider the partition function $M_{G}(λ)=\sum_{k=0}^nm_k(G)λ^k$. In this paper we show that if $G$ is a $d$--regular graph and $0<λ<(4d)^{-2}$, then $$\frac{1}{v(G)}\ln M_G(λ)>\frac{1}{v(K_{d+1})}\ln M_{K_{d+1}}(λ).$$ The same inequality holds true if $d=3$ and $λ<0.3575$. More precise conjectures are also given.
Short survey on stable polynomials, orientations and matchings
This is a short survey about the theory of stable polynomials and its applications. It gives self-contained proofs of two theorems of Schrijver. One of them asserts that for a $d$--regular bipartite graph $G$ on $2n$ vertices, the number of perfect matchings, denoted by $\mathrm{pm}(G)$, satisfies $$\mathrm{pm}(G)\geq \bigg( \frac{(d-1)^{d-1}}{d^{d-2}} \bigg)^{n}.$$ The other theorem claims that for even $d$ the number of Eulerian orientations of a $d$--regular graph $G$ on $n$ vertices, denoted by $\varepsilon(G)$, satisfies $$\varepsilon(G)\geq \bigg(\frac{\binom{d}{d/2}}{2^{d/2}}\bigg)^n.$$ To prove these theorems we use the theory of stable polynomials, and give a common generalization of the two theorems.
A Fast Distributed Algorithm for $(Δ+ 1)$-Edge-Coloring
Published
• View Publication
• BIB
We present a deterministic distributed algorithm in the LOCAL model that finds a proper $(Δ+ 1)$-edge-coloring of an $n$-vertex graph of maximum degree $Δ$ in $\mathrm{poly}(Δ, \log n)$ rounds. This is the first nontrivial distributed edge-coloring algorithm that uses only $Δ+1$ colors (matching the bound given by Vizing's theorem). Our approach is inspired by the recent proof of the measurable version of Vizing's theorem due to Grebík and Pikhurko.
Limit theory of combinatorial optimization for random geometric graphs
Published
• View Publication
• BIB
In the random geometric graph $G(n,r_n)$, $n$ vertices are placed randomly in Euclidean $d$-space and edges are added between any pair of vertices distant at most $r_n$ from each other. We establish strong laws of large numbers (LLNs) for a large class of graph parameters, evaluated for $G(n,r_n)$ in the thermodynamic limit with $nr_n^d =$ const., and also in the dense limit with $n r_n^d \to \infty$, $r_n \to 0$. Examples include domination number, independence number, clique-covering number, eternal domination number and triangle packing number. The general theory is based on certain subadditivity and superadditivity properties, and also yields LLNs for other functionals such as the minimum weight for the travelling salesman, spanning tree, matching, bipartite matching and bipartite travelling salesman problems, for a general class of weight functions with at most polynomial growth of order $d-\varepsilon$, under thermodynamic scaling of the distance parameter.
A refined Gallai-Edmonds structure theorem for weighted matching polynomials
Published
• View Publication
• BIB
In this work, we prove a refinement of the Gallai-Edmonds structure theorem for weighted matching polynomials by Ku and Wong. Our proof uses a connection between matching polynomials and branched continued fractions. We also show how this is related to a modification by Sylvester of the classical Sturm's theorem on the number of zeros of a real polynomial in an interval. In addition, we obtain some other results about zeros of matching polynomials.
Connected cubic graphs with the maximum number of perfect matchings
Published in Journal of Graph Theory 99 (2022), no.4, 671--690
• View Publication
• BIB
It is proved that for $n \geq 6$, the number of perfect matchings in a simple connected cubic graph on $2n$ vertices is at most $4 f_{n-1}$, with $f_n$ being the $n$-th Fibonacci number. The unique extremal graph is characterized as well. In addition, it is shown that the number of perfect matchings in any cubic graph $G$ equals the expected value of a random variable defined on all $2$-colorings of edges of $G$. Finally, an improved lower bound on the maximum number of cycles in a cubic graph is provided.
Higher matching complexes of complete graphs and complete bipartite graphs
Published
• View Publication
• BIB
For $r\geq 1$, the $r$-matching complex of a graph $G$, denoted $M_r(G)$, is a simplicial complex whose faces are the subsets $H \subseteq E(G)$ of the edge set of $G$ such that the degree of any vertex in the induced subgraph $G[H]$ is at most $r$. In this article, we give a closed form formula for the homotopy type of the $(n-2)$-matching complex of complete graph on $n$ vertices. We also prove that the $(n-1)$-matching complex of complete bipartite graph $K_{n,n}$ is homotopy equivalent to a sphere of dimension $(n-1)^2-1$.
Cheating Robot Games: A model for insider information
Combinatorial games are two-player games of pure strategy where the players, usually called Left and Right, move alternately. In this paper, we introduce Cheating Robot games. These arise from simultaneous-play combinatorial games where one player has insider information ('cheats'). Play occurs in rounds. At the beginning of a round, both players know the moves that are available to them. Left chooses a move. Knowing Left's move, Right then chooses a move. Right's move is not constrained by Left's choice. The round is not completed until both players have made a choice. A game is finished only when one or both players do not have a move at the beginning of a round. Right choosing a move, knowing Left's, makes the games deterministic, distinguishing them from simultaneous games. Also, the ending condition distinguishes this class of games from combinatorial games, since the outcomes are now Left-win, Right-win and draw.
The basic theory and properties are developed, including showing that there is an equivalence relation and partial order on the games. Whilst there are no inverses in the class of all games, we show that there is a sub-class, simple hot games, in which the integers have inverses. In this sub-class, the optimal strategies are obtained by the solutions to a minimum-weight matching problem on a graph whose number of vertices equals the number of summands in the disjunctive sum.
On the flip graphs on perfect matchings of complete graphs and signed reversal graphs
In this paper, we study the flip graph on the perfect matchings of a complete graph of even order. We investigate its combinatorial and spectral properties including connections to the signed reversal graph and we improve a previous upper bound on its chromatic number.