matching
3168 papers tagged with this keyword
Perfect matching cuts partitioning a graph into complementary subgraphs
Published
• View Publication
• BIB
In Partition Into Complementary Subgraphs (Comp-Sub) we are given a graph $G=(V,E)$, and an edge set property $Π$, and asked whether $G$ can be decomposed into two graphs, $H$ and its complement $\overline{H}$, for some graph $H$, in such a way that the edge cut $[V(H),V(\overline{H})]$ satisfies the property $Π$. Motivated by previous work, we consider Comp-Sub($Π$) when the property $Π=\mathcal{PM}$ specifies that the edge cut of the decomposition is a perfect matching. We prove that Comp-Sub($\mathcal{PM}$) is GI-hard when the graph $G$ is $\{C_{k\geq 7}, \overline{C}_{k\geq 7} \}$-free. On the other hand, we show that Comp-Sub($\mathcal{PM}$) is polynomial-time solvable on $hole$-free graphs and on $P_5$-free graphs. Furthermore, we present characterizations of Comp-Sub($\mathcal{PM}$) on chordal, distance-hereditary, and extended $P_4$-laden graphs.
A Note on Slice Rank and Matchings in Groups
A multiplicative 3-matching in a group $G$ is a triple of sets $\{a_i\}, \{b_i\}, \{c_i\} \subset G$ such that $a_ib_jc_k = 1$ if and only if $i=j=k$. Here we record the fact that $\text{PSL}(2,p)$ has no multiplicative 3-matching of size greater than $O(p^{8/3})$, yet the slice rank of its group algebra's multiplication tensor is at least $Ω(p^3)$ over any field. This gives a negative answer to a conjecture of Petrov.
The trace of uniform hypergraphs with application to Estrada index
Published in Discrete Mathematics, Algorithms and Applications, Vol. 16, No. 05, 2350065 (2024)
• View Publication
• BIB
In this paper we investigate the traces of the adjacency tensor of hypergraphs (simply called the traces of hypergraphs). We give new expressions for the traces of hypertrees and linear unicyclic hypergraphs by the weight function assigned to their connected sub-hypergraphs, and provide some perturbation results for the traces of a hypergraph with cut vertices. As applications we determine the unique hypertree with maximum Estrada index among all hypertrees with fixed number of edges and perfect matchings, and the unique unicyclic hypergraph with maximum Estrada index among all unicyclic hypergraph with fixed number of edges and girth $3$.
Bounding the diameter and eigenvalues of amply regular graphs via Lin-Lu-Yau curvature
Published
• View Publication
• BIB
An amply regular graph is a regular graph such that any two adjacent vertices have $α$ common neighbors and any two vertices with distance $2$ have $β$ common neighbors. We prove a sharp lower bound estimate for the Lin--Lu--Yau curvature of any amply regular graph with girth $3$ and $β>α$. The proof involves new ideas relating discrete Ricci curvature with local matching properties: This includes a novel construction of a regular bipartite graph from the local structure and related distance estimates. As a consequence, we obtain sharp diameter and eigenvalue bounds for amply regular graphs.
A Toolkit for Robust Thresholds
Consider a host hypergraph $G$ which contains a spanning structure due to minimum degree considerations. We collect three results proving that if the edges of $G$ are sampled at the appropriate rate then the spanning structure still appears with high probability in the sampled hypergraph. We prove such results for perfect matchings in hypergraphs above Dirac thresholds, for $K_r$-factors in graphs satisfying the Hajnal--Szemerédi minimum degree condition, and for bounded-degree spanning trees. In each case our proof is based on constructing a spread measure and then applying recent results on the (fractional) Kahn--Kalai conjecture connecting the existence of such measures with probabilistic thresholds.
For our second result we give a shorter and more general proof of a recent theorem of Allen, Böttcher, Corsten, Davies, Jenssen, Morris, Roberts, and Skokan which handles the $r=3$ case with different techniques. In particular, we answer a question of theirs with regards to the number of $K_r$-factors in graphs satisfying the Hajnal--Szemerédi minimum degree condition.
Uniqueness for 2-Intersecting Families of Permutations and Perfect Matchings
We give a characterization of the largest $2$-intersecting families of permutations of $\{1,2,\ldots,n\}$ and of perfect matchings of the complete graph $K_{2n}$ for all $n \geq 2$.
Optimal transport methods for combinatorial optimization over two random point sets
Published
• View Publication
• BIB
We investigate the minimum cost of a wide class of combinatorial optimization problems over random bipartite geometric graphs in $\mathbb{R}^d$ where the edge cost between two points is given by a $p$-th power of their Euclidean distance. This includes e.g.\ the travelling salesperson problem and the bounded degree minimum spanning tree. We establish in particular almost sure convergence, as $n$ grows, of a suitable renormalization of the random minimum cost, if the points are uniformly distributed and $d \ge 3$, $1\le p<d$. Previous results were limited to the range $p<d/2$. Our proofs are based on subadditivity methods and build upon new bounds for random instances of the Euclidean bipartite matching problem, obtained through its optimal transport relaxation and functional analytic techniques.
Cubic bipartite graphs with minimum spectral gap
The difference between the two largest eigenvalues of the adjacency matrix of a graph $G$ is called the spectral gap of $G.$ If $G$ is a regular graph, then its spectral gap is equal to algebraic connectivity. Abdi, Ghorbani and Imrich, in [European J. Combin. 95 (2021) 103328], showed that the minimum algebraic connectivity of cubic connected graphs on $2n$ vertices is $(1+o(1))\frac{π^{2}}{2n^{2}}$, which is attained on non-bipartite graphs. Motivated by the above result, we in this paper investigate the algebraic connectivity of cubic bipartite graphs. We prove that the minimum algebraic connectivity of cubic bipartite graphs on $2n$ vertices is $(1+o(1))\frac{π^{2}}{n^{2}}$. Moreover, the unique cubic bipartite graph with minimum algebraic connectivity is completed characterized. Based on the relation between the algebraic connectivity and spectral gap of regular graphs, the cubic bipartite graph with minimum spectral gap and the corresponding asymptotic value are also presented. In [J. Graph Theory 99 (2022) 671--690], Horak and Kim established a sharp upper bound for the number of perfect matchings in terms of the Fibonacci number. We obtain a spectral characterization for the extremal graphs by showing that a cubic bipartite graph has the maximum number of perfect matchings if and only if it minimizes the algebraic connectivity.
Codes parameterized by the edges of a bipartite graph with a perfect matching
Published
• View Publication
• BIB
In this paper we study the main characteristics of some evaluation codes parameterized by the edges of a bipartite graph with a perfect matching.
Quantum-Inspired Perfect Matching under Vertex-Color Constraints
We propose and study the graph-theoretical problem EXISTS-PMVC: the existence of perfect matching under vertex-color constraints on graphs with bi-colored edges. EXISTS-PMVC is of special interest because of its motivation from quantum-state identification and quantum-experiment design, as well as its rich expressiveness, i.e., EXISTS-PMVC naturally subsumes important constrained matching problems, such as exact perfect matching. We give complexity and algorithmic results for EXISTS-PMVC under two types of vertex color constraints: (1) decision-diagram constraints (EXISTS-PMVC-DD) and (2) symmetric constraints (EXISTS-PMVC-Sym).
For EXISTS-PMVC-DD, we reveal its NP-hardness by a graph-gadget technique. We prove that EXISTS-PMVC-Sym with a bounded number of colors (EXISTS-PMVC-Sym-Bounded) is polynomially equivalent with Exact Perfect Matching (XPM), which implies that EXISTS-PMVC-Sym-Bounded is in RNC on general graphs and PTIME on planar graphs. Directly applying algorithms for XPM to solve EXISTS-PMVC-Sym-Bounded is, however, impractical. We propose algorithms that natively handle EXISTS-PMVC-Sym-Bounded with considerably better complexity. Our novel results for EXISTS-PMVC provide insights into both constrained matching and scalable quantum experiment design.
On the Maximum Induced Matching Number of a Stacked-book graph
Suppose that G is a simple, undirected graph. An induced matching in G is a set of edges M in the edge set E(G) of G such that if e1, e2 in M, then no endpoint v1, v2 of e1 and e2 respectively is incident to any edge ek in E(G) such that ek is incident to any edge in M. Denoted by im(G), the maximum cardinal number of M is known as the induced matching number of G. In this work, we probe im(G) where G = Gm,n, which is the stacked-book graph obtained by the Cartesian product of the star graph Sm and path Pn.
Deranged matchings: proofs and conjectures
Published
• View Publication
• BIB
We introduce, and partially resolve, a conjecture that brings a three-centuries-old derangements phenomenon and its much younger two-decades-old analogue under the same umbrella. Through a graph-theoretic lens, a derangement is a perfect matching in the complete bipartite graph $K_{n,n}$ with a disjoint perfect matching $M$ removed. Likewise, a deranged matching is a perfect matching in the complete graph $K_{2n}$ minus a perfect matching $M'$. With $\mathrm{pm}(\cdot)$ counting perfect matchings, the elder phenomenon takes the form $\mathrm{pm}(K_{n,n}-M)/\mathrm{pm}(K_{n,n})\to 1/e$ as $n\to\infty$ while its youthful analogue is $\mathrm{pm}(K_{2n}-M')/\mathrm{pm}(K_{2n})\to 1/\sqrt{e}$. These starting graphs are both $2n$-vertex `balanced complete $r$-partite' graphs $K_{r \times {2n}/{r}}$, respectively with $r=2$ and $r=2n$. We conjecture that $\mathrm{pm}(K_{r\times{2n}/r}-M)/\mathrm{pm}(K_{r\times{2n}/r})\sim e^{-r/(2r-2)}$ as $n\to\infty$ and establish several substantive special cases thereof. For just two examples, $r=3$ yields the limit $e^{-3/4}$ while $r=n$ results again in $e^{-1/2}$. Our tools blend combinatorics and analysis in a medley incorporating Inclusion-Exclusion and Tannery's Theorem.
Constructing Hamilton cycles and perfect matchings efficiently
Published
• View Publication
• BIB
Let $ε>0$. We consider the problem of constructing a Hamiltonian graph with $(1+ε)n$ edges in the following controlled random graph process. Starting with the empty graph on $[n]$, at each round a set of $K=K(n)$ edges is presented, chosen uniformly at random from the missing ones (or from the ones that have not been presented yet), and we are asked to choose at most one of them and add it to the current graph. We show that in this process one can build a Hamiltonian graph with at most $(1+ε)n$ edges in $(1+ε)(1+(\log n)/2K) n$ rounds w.h.p. The case $K=1$ implies that w.h.p. one can build a Hamiltonian graph by choosing $(1+ε)n$ edges in an on-line fashion as they appear along the first $(0.5+ε)n\log n$ steps of the random graph process, this refutes a conjecture of Frieze, Krivelevich and Michaeli. The case $K=Θ(\log n)$ implies that the Hamiltonicity threshold of the corresponding Achlioptas process is at most $(1+ε)(1+(\log n)/2K) n$. This matches the $(1-ε)(1+(\log n)/2K) n$ lower bound due to Krivelevich, Lubetzky and Sudakov and resolves the problem of determining the Hamiltonicity threshold of the Achlioptas process with $K=Θ(\log n)$.
We also show that in the above process w.h.p. one can construct a graph $G$ that spans a matching of size $\lfloor V(G)/2) \rfloor$, with $(0.5+ε)n$ edges, within $(1+ε)(0.5+(\log n)/2K) n$ rounds.
Our proof relies on a robust Hamiltonicity property of the strong $4$-core of the binomial random graph which we use as a black-box. This property allows it to absorb paths covering vertices outside the strong $4$-core into a cycle.
On (Random-order) Online Contention Resolution Schemes for the Matching Polytope of (Bipartite) Graphs
Published in SODA 2023
• View Publication
• BIB
Online Contention Resolution Schemes (OCRS's) represent a modern tool for selecting a subset of elements, subject to resource constraints, when the elements are presented to the algorithm sequentially. OCRS's have led to some of the best-known competitive ratio guarantees for online resource allocation problems, with the added benefit of treating different online decisions -- accept/reject, probing, pricing -- in a unified manner. This paper analyzes OCRS's for resource constraints defined by matchings in graphs, a fundamental structure in combinatorial optimization. We consider two dimensions of variants: the elements being presented in adversarial or random order; and the graph being bipartite or general. We improve the state of the art for all combinations of variants, both in terms of algorithmic guarantees and impossibility results. Some of our algorithmic guarantees are best-known even compared to Contention Resolution Schemes that can choose the order of arrival or are offline. All in all, our results for OCRS directly improve the best-known competitive ratios for online accept/reject, probing, and pricing problems on graphs in a unified manner.
Complementary choice functions
Published
• View Publication
• BIB
The paper studies complementary choice functions, i.e. monotonic and consistent choice functions. Such choice functions were introduced and used in the work \cite{RY} for investigation of matchings with complementary contracts. Three (universal) ways of constructing such functions are given: through pre-topologies, as direct images of completely complementary (or pre-ordered) choice functions, and with the help of supermodular set-functions.
Routing permutations on spectral expanders via matchings
Published
• View Publication
• BIB
We consider the following matching-based routing problem. Initially, each vertex $v$ of a connected graph $G$ is occupied by a pebble which has a unique destination $π(v)$. In each round the pebbles across the edges of a selected matching in $G$ are swapped, and the goal is to route each pebble to its destination vertex in as few rounds as possible. We show that if $G$ is a sufficiently strong $d$-regular spectral expander then any permutation $π$ can be achieved in $O(\log n)$ rounds. This is optimal for constant $d$ and resolves a problem of Alon, Chung, and Graham [SIAM J. Discrete Math., 7 (1994), pp. 516--530].
Counting arcs in $\mathbb F_q^2$
Published
• View Publication
• BIB
An arc in $\mathbb F_q^2$ is a set $P \subset \mathbb F_q^2$ such that no three points of $P$ are collinear. We use the method of hypergraph containers to prove several counting results for arcs. Let $\mathcal A(q)$ denote the family of all arcs in $\mathbb F_q^2$. Our main result is the bound \[ |\mathcal A(q)| \leq 2^{(1+o(1))q}. \] This matches, up to the factor hidden in the $o(1)$ notation, the trivial lower bound that comes from considering all subsets of an arc of size $q$.
We also give upper bounds for the number of arcs of a fixed (large) size. Let $k=q^t$ for some $t >2/3$, and let $\mathcal A(q,k)$ denote the family of all arcs in $\mathbb F_q^2$ with cardinality $k$. We prove that, for all $γ>0$ \[ |\mathcal A(q,k)| \leq \binom{(1+γ)q}{k}. \] This result improves a bound of Roche-Newton and Warren. A nearly matching lower bound \[ |\mathcal A(q,k)| \geq \binom{q}{k} \] follows by considering all subsets of size $k$ of an arc of size $q$.
Trees maximizing the number of almost-perfect matchings
Published
• View Publication
• BIB
We characterize the extremal trees that maximize the number of almost-perfect matchings, which are matchings covering all but one or two vertices, and those that maximize the number of strong almost-perfect matchings, which are matchings missing only one or two leaves. We also determine the trees that minimize the number of maximal matchings. We apply these results to extremal problems on the weighted Hosoya index for several choices of vertex-degree-based weight function.
Perfect Matching Complexes of Honeycomb Graphs
Published
• View Publication
• BIB
The {\em perfect matching complex} of a graph is the simplicial complex on the edge set of the graph with facets corresponding to perfect matchings of the graph. This paper studies the perfect matching complexes, $\mathcal{M}_p(H_{k \times m\times n})$, of honeycomb graphs. For $k = 1$, $\mathcal{M}_p(H_{1\times m\times n})$ is contractible unless $n\ge m=2$, in which case it is homotopy equivalent to the $(n-1)$-sphere. Also, $\mathcal{M}_p(H_{2\times 2\times 2})$ is homotopy equivalent to the wedge of two 3-spheres. The proofs use discrete Morse theory.
An embedding of the skein action on set partitions into the skein action on matchings
Published
• View Publication
• BIB
Rhoades defined a skein action of the symmetric group on noncrossing set partitions which generalized an action of the symmetric group on matchings. The $\mathfrak{S}_n$-action on matchings is made possible via the Ptolemy relation, while the action on set partitions is defined in terms of a set of skein relations that generalize the Ptolemy relation. The skein action on noncrossing set partitions has seen applications to coinvariant theory and coordinate rings of partial flag varieties. In this paper, we will show how Rhoades' $\mathfrak{S}_n$-module can be embedded into the $\mathfrak{S}_n$-module generated by matchings, thereby explaining how Rhoades' generalized skein relations all arise from the Ptolemy relation.