matching
3278 papers tagged with this keyword
On the Regularity of squarefree part of symbolic powers of edge ideals
Published
• View Publication
• BIB
Assume that $G$ is a graph with edge ideal $I(G)$. For every integer $s\geq 1$, we denote the squarefree part of the $s$-th symbolic power of $I(G)$ by $I(G)^{\{s\}}$. We determine an upper bound for the regularity of $I(G)^{\{s\}}$ when $G$ is a chordal graph. If $G$ is a Cameron-Walker graphs, we compute ${\rm reg}(I(G)^{\{s\}}$ in terms of the induced matching number of $G$. Moreover, for any graph $G$, we provide sharp upper bounds for ${\rm reg}(I(G)^{\{2\}})$ and ${\rm reg}(I(G)^{\{3\}})$.
The Total Matching Polytope of Complete Bipartite Graphs
Published
• View Publication
• BIB
The total matching polytope generalizes the stable set polytope and the matching polytope. In this paper, we first propose new facet-defining inequalities for the total matching polytope. We then give an exponential-sized, non-redundant description in the original space and a compact description in an extended space of the total matching polytope of complete bipartite graphs.
Scarf's algorithm and stable marriages
Published
• View Publication
• BIB
Scarf's algorithm gives a pivoting procedure to find a special vertex -- a dominating vertex -- in down-monotone polytopes. This paper studies the behavior of Scarf's algorithm when employed to find stable matchings in bipartite graphs. First, it proves that Scarf's algorithm can be implemented to run in polynomial time, showing the first positive result on its runtime in significant settings. Second, it shows an infinite family of instances where, no matter the pivoting rule and runtime, Scarf's algorithm outputs a matching from an exponentially small subset of all stable matchings, thus showing a structural weakness of the approach.
Partitioning edges of a planar graph into linear forests and a matching
Published
• View Publication
• BIB
We show that the edges of any planar graph of maximum degree at most $9$ can be partitioned into $4$ linear forests and a matching. Combined with known results, this implies that the edges of any planar graph $G$ of odd maximum degree $Δ\ge 9$ can be partitioned into $\tfrac{Δ-1}{2}$ linear forests and one matching. This strengthens well-known results stating that graphs in this class have chromatic index $Δ$ [Vizing, 1965] and linear arboricity at most $\lceil(Δ+1)/2\rceil$ [Wu, 1999].
Power of $k$ Choices in the Semi-Random Graph Process
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
In this paper, we introduce a natural generalization of this game in which $k$ random vertices $u_1, \ldots, u_k$ are presented to the player in each round. She needs to select one of the presented vertices and connect to any vertex she wants. We focus on the following three monotone properties: minimum degree at least $\ell$, the existence of a perfect matching, and the existence of a Hamiltonian cycle.
Lower Bounds on the Depth of Integral ReLU Neural Networks via Lattice Polytopes
We prove that the set of functions representable by ReLU neural networks with integer weights strictly increases with the network depth while allowing arbitrary width. More precisely, we show that $\lceil\log_2(n)\rceil$ hidden layers are indeed necessary to compute the maximum of $n$ numbers, matching known upper bounds. Our results are based on the known duality between neural networks and Newton polytopes via tropical geometry. The integrality assumption implies that these Newton polytopes are lattice polytopes. Then, our depth lower bounds follow from a parity argument on the normalized volume of faces of such polytopes.
Bounds on Functionality and Symmetric Difference -- Two Intriguing Graph Parameters
Functionality ($\mathrm{fun}$) is a graph parameter that generalizes graph degeneracy defined by Alecu et al. [JCTB, 2021]. They research the relation of functionality to many other graphs parameters (tree-width, clique-width, VC-dimension, etc.). Extending their research, we completely characterize the functionality of random graph $G(n,p)$ for all possible $p$. We provide matching (up to a constant factor) lower and upper bound for a large range of $p$. It follows from our bounds for $G(n,p)$, that the maximum functionality (roughly $\sqrt{n}$) is achieved for $p \approx 1/\sqrt{n}$. We complement this by showing that every graph $G$ on $n$ vertices have $\mathrm{fun}(G) \le O(\sqrt{ n \ln n})$ and we give a nearly matching $Ω(\sqrt{n})$-lower bound provided by incident graphs of projective planes. Previously known lower bounds for functionality were only logarithmic in the number of vertices.
Further, we study a related graph parameter symmetric difference ($\mathrm{sd}$), the minimum of $|N(u) ~Δ~ N(v)|$ over all pairs of vertices of the ``worst possible'' induced subgraph. It was observed by Alecu et al. that $\mathrm{fun}(G) \le \mathrm{sd}(G)+1$ for every graph $G$. They asked whether the functionality of interval graphs is bounded. Recently, Dallard et al. [RiM, 2024] answered this positively and they constructed an interval graph $G$ with $\mathrm{sd}(G) = Θ(\sqrt[4]{n})$ (even though they did not mention the explicit bound), i.e., they separate the functionality and symmetric difference of interval graphs. We show that $\mathrm{sd}$ of interval graphs is at most $O(\sqrt[3]{n})$ and we provide a different example of an interval graph $G$ with $\mathrm{sd}(G) = Θ(\sqrt[4]{n})$. Further, we show that $\mathrm{sd}$ of circular arc graphs is $Θ(\sqrt{n})$.
Cutting Barnette graphs perfectly is hard
Published
• View Publication
• BIB
A perfect matching cut is a perfect matching that is also a cutset, or equivalently a perfect matching containing an even number of edges on every cycle. The corresponding algorithmic problem, Perfect Matching Cut, is known to be NP-complete in subcubic bipartite graphs [Le & Telle, TCS '22] but its complexity was open in planar graphs and in cubic graphs. We settle both questions at once by showing that Perfect Matching Cut is NP-complete in 3-connected cubic bipartite planar graphs or Barnette graphs. Prior to our work, among problems whose input is solely an undirected graph, only Distance-2 4-Coloring was known NP-complete in Barnette graphs. Notably, Hamiltonian Cycle would only join this private club if Barnette's conjecture were refuted.
The Laplacian spectral ratio of connected graphs
Published
• View Publication
• BIB
Let $G$ be a simple connected undirected graph. The Laplacian spectral ratio of $G$, denoted by $R_L(G)$, is defined as the quotient between the largest and second smallest Laplacian eigenvalues of $G$, which is closely related to the structural parameters of a graph (or network), such as diameter, $t$-tough, perfect matching, average density of cuts, and synchronizability, etc. In this paper, we obtain some bounds of the Laplacian spectral ratio, which improves the known results. In addition, we give counter-examples on the upper bound of the Laplacian spectral ratio conjecture of trees, and propose a new conjecture.
Spectra of power hypergraphs and signed graphs via parity-closed walks
Published
• View Publication
• BIB
The $k$-power hypergraph $G^{(k)}$ is the $k$-uniform hypergraph that is obtained by adding $k-2$ new vertices to each edge of a graph $G$, for $k \geq 3$. A parity-closed walk in $G$ is a closed walk that uses each edge an even number of times. In an earlier paper, we determined the eigenvalues of the adjacency tensor of $G^{(k)}$ using the eigenvalues of signed subgraphs of $G$. Here, we express the entire spectrum (that is, we determine all multiplicities and the characteristic polynomial) of $G^{(k)}$ in terms of parity-closed walks of $G$. Moreover, we give an explicit expression for the multiplicity of the spectral radius of $G^{(k)}$. Our results are mainly obtained by exploiting the so-called trace formula to determine the spectral moments of $G^{(k)}$. As a side result, we show that the number of parity-closed walks of given length is the corresponding spectral moment averaged over all signed graphs with underlying graph $G$. We also extrapolate the characteristic polynomial of $G^{(k)}$ to $k=2$, thereby introducing a pseudo-characteristic function. Among other results, we show that this function is the geometric mean of the characteristic polynomials of all signed graphs on $G$ and characterize when it is a polynomial. This supplements a result by Godsil and Gutman that the arithmetic mean of the characteristic polynomials of all signed graphs on $G$ equals the matching polynomial of $G$.
The Lefschetz property for an algebra defined by matchings
In this article, we consider the weighted generating function of matchings in the complete graph. We define an Artinian Gorenstein algebra as the quotient ring of a polynomial ring by the annihilator of the generating function. We show the strong Lefschetz property of the algebra.
On the Turán Number of Generalized Theta Graphs
Published
• View Publication
• BIB
Let $Θ_{k_1,\cdots,k_\ell}$ denote the generalized theta graph, which consists of $\ell$ internally disjoint paths with lengths $k_1,\cdots, k_{\ell}$, connecting two fixed vertices. We estimate the corresponding extremal number $\text{ex}(n,Θ_{k_1,\cdots,k_\ell})$. When the lengths of all paths have the same parity and at most one path has length 1, $\text{ex}(n,Θ_{k_1,\cdots,k_\ell})$ is $O(n^{1+1/k^\ast})$, where $2k^\ast$ is the length of the smallest cycle in $Θ_{k_1,\cdots,k_\ell}$. We also establish matching lower bound in the particular case of $\text{ex}(n,Θ_{3,5,5})$.
The Matching Kneser Graph Conjecture For High Chromatic Numbers
\noindent In this paper, we show that for any positive integers $r$, $k$, $Θ$, and $Γ$ such that $k \geq 2$ and $r \geq k + Γ$, there exists a connected graph $G$ for which $$\begin{array}{llcr}
ω(G) = χ(G) = k, & χ\left( G , rK_2 \right) = Θ, & {\rm and} & |E(G)| - {\rm ex}\left( G , rK_2 \right) = Θ+ Γ. \end{array}$$
On integral variations for roots of the Laplacian matching polynomial of graphs
Published
• View Publication
• BIB
In this paper, we study the Laplacian matching polynomial of a graph and the effect of adding edges to a graph on the roots (called Laplacian matching roots) of this polynomial. In particular, we investigate the conditions under which the Laplacian matching roots change by integer values. We prove that the Laplacian matching root integral variation in one place is impossible and the Laplacian matching root integral variation in two places is also impossible under some constraints.
The hitting time of clique factors
Published
• View Publication
• BIB
In a recent paper, Kahn gave the strongest possible, affirmative, answer to Shamir's problem, which had been open since the late 1970s: Let $r \ge 3 $ and let $n$ be divisible by $r$. Then, in the random $r$-uniform hypergraph process on $n$ vertices, as soon as the last isolated vertex disappears, a perfect matching emerges. In the present work, we transfer this hitting time result to the setting of clique factors in the random graph process: At the time that the last vertex joins a copy of the complete graph $K_r$, the random graph process contains a $K_r$-factor. Our proof draws on a novel sequence of couplings, extending techniques of Riordan and the first author. An analogous result is proved for clique factors in the $s$-uniform hypergraph process ($s \ge 3$).
On stability of rainbow matchings
Published
• View Publication
• BIB
We show that for any integer $k\ge 1$ there exists an integer $t_0(k)$ such that for integers $t, k_1, \ldots, k_{t+1}, n$ with $t>t_0(k)$, $\max\{k_1, \ldots, k_{t+1}\}\le k$, and $n > 2k(t+1)$, the following holds: If $F_i \subseteq {[n]\choose k_i}$ and $|F_i|> {n\choose k_i}-{n-t\choose k_i} - {n-t-k \choose k_i-1} + 1$ for all $i \in [t+1]$, then either $\{F_1,\ldots, F_{t+1}\}$ admits a rainbow matching of size $t+1$ or there exists $W\in {[n]\choose t}$ such that $W$ is a vertex cover of $F_i$ for all $i\in [t+1]$. This may be viewed as a rainbow non-uniform extension of the classical Hilton-Milner theorem. We also show that the same holds for every $t$ and $n > 2k^3t$, generalizing a recent stability result of Frankl and Kupavskii on matchings to rainbow matchings.
The Subgraph Isomorphism Problem for Port Graphs and Quantum Circuits
We study a variant of the subgraph isomorphism problem that is of high interest to the quantum computing community. Our results give an algorithm to perform pattern matching in quantum circuits for many patterns simultaneously, independently of the number of patterns. After a pre-computation step in which the patterns are compiled into a decision tree, the running time is linear in the size of the input quantum circuit.
More generally, we consider connected port graphs, in which every edge $e$ incident to $v$ has a label $L_v(e)$ unique in $v$. Jiang and Bunke showed that the subgraph isomorphism problem $H \subseteq G$ for such graphs can be solved in time $O(|V(G)| \cdot |V(H)|)$. We show that if in addition the graphs are directed acyclic, then the subgraph isomorphism problem can be solved for an unbounded number of patterns simultaneously. We enumerate all $m$ pattern matches in time $O(P)^{P+3/2} \cdot |V(G)| + O(m)$, where $P$ is the number of vertices of the largest pattern. In the case of quantum circuits, we can express the bound obtained in terms of the maximum number of qubits $N$ and depth $δ$ of the patterns : $O(N)^{N + 1/2} \cdot δ\log δ\cdot |V(G)| + O(m)$.
Graph curvature via resistance distance
Published
• View Publication
• BIB
Let $G=(V,E)$ be a finite, combinatorial graph. We define a notion of curvature on the vertices $V$ via the inverse of the resistance distance matrix. We prove that this notion of curvature has a number of desirable properties. Graphs with curvature bounded from below by $K>0$ have diameter bounded from above. The Laplacian $L=D-A$ satisfies a Lichnerowicz estimate, there is a spectral gap $λ_2 \geq 2K$. We obtain matching two-sided bounds on the maximal commute time between any two vertices in terms of $|E| \cdot |V|^{-1} \cdot K^{-1}$. Moreover, we derive quantitative rates for the mixing time of the corresponding Markov chain and prove a general equilibrium result.
Balanced Allocations in Batches: The Tower of Two Choices
Published in Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2023)
• View Publication
• BIB
In balanced allocations, the goal is to place $m$ balls into $n$ bins, so as to minimize the gap (difference of max to average load). The One-Choice process places each ball to a bin sampled independently and uniformly at random. The Two-Choice process places balls in the least loaded of two sampled bins. Finally, the $(1+β)$-process mixes these processes, meaning each ball is allocated using Two-Choice with probability $β\in(0,1)$, and using One-Choice otherwise.
Despite Two-Choice being optimal in the sequential setting, it has been observed in practice that it does not perform well in a parallel environment, where load information may be outdated. Following [BCEFN12], we study such a parallel setting where balls are allocated in batches of size $b$, and balls within the same batch are allocated with the same strategy and based on the same load information.
For small batch sizes $b\in[n,n\log n]$, it was shown in [LS22a] that Two-Choice achieves an asymptotically optimal gap among all processes with a constant number of samples.
In this work, we focus on larger batch sizes $b\in[n\log n,n^3]$. It was proved in [LS22c] that Two-Choice leads to a gap of $Θ(b/n)$. As our main result, we prove that the gap reduces to $O(\sqrt{(b/n)\cdot\log n})$, if one runs the $(1+β)$-process with an appropriately chosen $β$ (in fact this result holds for a larger class of processes). This not only proves the phenomenon that Two-Choice is not the best (leading to the formation of "towers" over previously light bins), but also that mixing two processes (One-Choice and Two-Choice) leads to a process which achieves a gap that is asymptotically smaller than both. We also derive a matching lower bound of $Ω(\sqrt{(b/n)\cdot\log n})$ for any allocation process, which demonstrates that the above $(1+β)$-process is asymptotically optimal.
On Discovering Interesting Combinatorial Integer Sequences
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial objects, e.g., undirected graphs, permutations, matchings etc. In the second step, we use algorithms for lifted first-order model counting to generate integer sequences that count the objects encoded by the first-order logic formulas generated in the first step. For instance, if the first-order sentence defines permutations then the generated integer sequence is the sequence of factorial numbers $n!$. We demonstrate that our approach is able to generate interesting new sequences by showing that a non-negligible fraction of the automatically generated sequences can actually be found in the Online Encyclopaedia of Integer Sequences (OEIS) while generating many other similar sequences which are not present in OEIS and which are potentially interesting. A key technical contribution of our work is the method for generation of first-order logic sentences which is able to drastically prune the space of sentences by discarding large fraction of sentences which would lead to redundant integer sequences.