matching
3278 papers tagged with this keyword
A Direct Proof of the Short-Side Advantage in Random Matching Markets
Published
• View Publication
• BIB
We study the stable matching problem under the random matching model where the preferences of the doctors and hospitals are sampled uniformly and independently at random. In a balanced market with $n$ doctors and $n$ hospitals, the doctor-proposal deferred-acceptance algorithm gives doctors an expected rank of order $\log n$ for their partners and hospitals an expected rank of order $\frac{n}{\log n}$ for their partners. This situation is reversed in an unbalanced market with $n+1$ doctors and $n$ hospitals, a phenomenon known as the short-side advantage. The current proofs of this fact are indirect, counter-intuitively being based upon analyzing the hospital-proposal deferred-acceptance algorithm. In this paper we provide a direct proof of the short-side advantage, explicitly analyzing the doctor-proposal deferred-acceptance algorithm. Our proof sheds light on how and why the phenomenon arises.
A Simple and Combinatorial Approach to Proving Chernoff Bounds and Their Generalizations
Published
• View Publication
• BIB
The Chernoff bound is one of the most widely used tools in theoretical computer science. It's rare to find a randomized algorithm that doesn't employ a Chernoff bound in its analysis. The standard proofs of Chernoff bounds are beautiful but in some ways not very intuitive. In this paper, I'll show you a different proof that has four features: (1) the proof offers a strong intuition for why Chernoff bounds look the way that they do; (2) the proof is user-friendly and (almost) algebra-free; (3) the proof comes with matching lower bounds, up to constant factors in the exponent; and (4) the proof extends to establish generalizations of Chernoff bounds in other settings. The ultimate goal is that, once you know this proof (and with a bit of practice), you should be able to confidently reason about Chernoff-style bounds in your head, extending them to other settings, and convincing yourself that the bounds you're obtaining are tight (up to constant factors in the exponent).
Optimal List Recoloring of Subcubic Graphs and Complete Multipartite Graphs
Published
• View Publication
• BIB
For a list-assignment $L$, the reconfiguration graph $C_L(G)$ of a graph $G$ is the graph whose vertices are proper $L$-colorings of $G$ and whose edges link two colorings that differ on only one vertex. If $|L(v)| \ge d(v) + 2$ for every vertex of $G$, it is known that $C_L(G)$ is connected. In this case, Cambie et al. investigated the diameter of $C_L(G)$. They conjectured that $diam(C_L(G)) \le n(G) + μ(G)$ with $μ(G)$ the size of a maximum matching of $G$ and proved several results towards this conjecture. We answer to two of their open problems by proving the conjecture for two classes of graphs, namely subcubic graphs and complete multipartite graphs.
Connectivity and matching extendability of optimal $1$-embedded graphs on the torus
Published
• View Publication
• BIB
In this paper, we discuss optimal $1$-toroidal graphs (abbreviated as O1TG), which are drawn on the torus so that every edge crosses another edge at most once, and has $n$ vertices and exactly $4n$ edges. We first consider connectivity of O1TGs, and give the characterization of O1TGs having connectivity exactly $k$ for each $k\in \{4, 5, 6, 8\}$. In our argument, we also show that there exists no O1TG having connectivity exactly $7$. Furthermore, using the result above, we discuss extendability of matchings, and give the characterization of $1$-, $2$- and $3$-extendable O1TGs in turn.
Partial domination of middle graphs
For any graph $G=(V,E)$, a subset $S\subseteq V$ is called {\it an isolating set} of $G$ if $V\setminus N_G[S]$ is an independent set of $G$, where $N_G[S]=S\cup N_G(S)$, and {\it the isolation number} of $G$, denoted by $ι(G)$, is the size of a smallest isolating set of $G$. In this article, we show that the isolation number of the middle graph of $G$ is equal to the size of a smallest maximal matching of $G$.
A note on improved bounds for hypergraph rainbow matching problems
A natural question, inspired by the famous Ryser-Brualdi-Stein Conjecture, is to determine the largest positive integer $g(r,n)$ such that every collection of $n$ matchings, each of size $n$, in an $r$-partite $r$-uniform hypergraph contains a rainbow matching of size $g(r,n)$. The parameter $g'(r,n)$ is defined identically with the exception that the host hypergraph is not required to be $r$-partite.
In this note, we improve the best known lower bounds on $g'(r,n)$ for all $r \geq 4$ and the upper bounds on $g(r,n)$ for all $r \geq 3$, provided $n$ is sufficiently large. More precisely, we show that if $r\ge3$ then $$\frac{2n}{r+1}-Θ_r(1)\le g'(r,n)\le g(r,n)\le n-Θ_r(n^{1-\frac{1}{r}}).$$ Interestingly, while it has been conjectured that $g(2,n)=g'(2,n)=n-1$, our results show that if $r\ge3$ then $g(r,n)$ and $g'(r,n)$ are bounded away from $n$ by a function which grows in $n$.
We also prove analogous bounds for the related problem where we are interested in the smallest size $s$ for which any collection of $n$ matchings of size $s$ in an ($r$-partite) $r$-uniform hypergraph contains a rainbow matching of size $n$.
Optimal Bounds for Open Addressing Without Reordering
Published
• View Publication
• BIB
In this paper, we revisit one of the simplest problems in data structures: the task of inserting elements into an open-addressed hash table so that elements can later be retrieved with as few probes as possible. We show that, even without reordering elements over time, it is possible to construct a hash table that achieves far better expected search complexities (both amortized and worst-case) than were previously thought possible. Along the way, we disprove the central conjecture left by Yao in his seminal paper ``Uniform Hashing is Optimal''. All of our results come with matching lower bounds.
Stanley-Reisner ideals of higher independence complexes of chordal graphs
Published
• View Publication
• BIB
For $t\geq 2$, the $t$-independence complex $\mathrm{Ind}_t(G)$ of a graph $G$ is the collection of all $A\subseteq V(G)$ such that each connected component of the induced subgraph $G[A]$ has at most $t-1$ vertices. The topology of $\mathrm{Ind}_t(G)$ is intimately related to the combinatorial property of $G$. In this article, we consider the Stanley-Reisner ideal $J_{t}(G)$ of $\mathrm{Ind}_t(G)$ and focus on its algebraic properties. We prove that for a chordal graph $G$ and for all $t$
\[
\mathrm{reg}(R/J_{t}(G))=(t-1)ν_{t}(G) \text{ and } \mathrm{pd}(R/J_{t}(G))=\mathrm{bight}(J_{t}(G)),
\]
where $ν_{t}(G)$ denotes the induced matching number of the corresponding hypergraph of $J_{t}(G)$, and $\mathrm{reg}$, $\mathrm{pd}$ and $\mathrm{bight}$ stand for the regularity, projective dimension, and big height, respectively. As a consequence of the above results, we combinatorially characterize when the Stanley-Reisner ideal of the $t$-independence complex of a chordal graph has a linear resolution as well as when it satisfies the Cohen-Macaulay property. The above formulas and their consequences can be seen as a nice generalization of the classical results corresponding to the edge ideals of chordal graphs.
Low coordinate degree algorithms II: Categorical signals and generalized stochastic block models
We study when low coordinate degree functions (LCDF) -- linear combinations of functions depending on small subsets of entries of a vector -- can test for the presence of categorical structure, including community structure and generalizations thereof, in high-dimensional data. This complements the first paper of this series, which studied the power of LCDF in testing for continuous structure like real-valued signals perturbed by additive noise. We apply the tools developed there to a general form of stochastic block model (SBM), where a population is assigned random labels and every $p$-tuple of the population generates an observation according to an arbitrary probability measure associated to the $p$ labels of its members. We show that the performance of LCDF admits a unified analysis for this class of models. As applications, we prove tight lower bounds against LCDF (and therefore also against low degree polynomials) for nearly arbitrary graph and regular hypergraph SBMs, always matching suitable generalizations of the Kesten-Stigum threshold. We also prove tight lower bounds for group synchronization and abelian group sumset problems under the "truth-or-Haar" noise model, and use our technical results to give an improved analysis of Gaussian multi-frequency group synchronization. In most of these models, for some parameter settings our lower bounds give new evidence for conjectural statistical-to-computational gaps. Finally, interpreting some of our findings, we propose a precise analogy between categorical and continuous signals: a general SBM as above behaves, in terms of the tradeoff between subexponential runtime cost of testing algorithms and the signal strength needed for a testing algorithm to succeed, like a spiked $p_*$-tensor model of a certain order $p_*$ that may be computed from the parameters of the SBM.
The matching extendability of optimal $1$-embedded graphs on the projective plane
Published
• View Publication
• BIB
In this paper, we discuss matching extendability of optimal $1$-projective plane graphs (abbreviated as O1PPG), which are drawn on the projective plane $P^2$ so that every edge crosses another edge at most once, and has $n$ vertices and exactly $4n- 4$ edges. We first show that every O1PPG of even order is $1$-extendable. Next, we characterize $2$-extendable O1PPG's in terms of a separating cycle consisting of only non-crossing edges. Moreover, we characterize O1PPG's having connectivity exactly $5$. Using the characterization, we further identify three independent edges in those graphs that are not extendable.
Semistrong edge colorings of planar graphs
Published
• View Publication
• BIB
Strengthened notions of a matching $M$ of a graph $G$ have been considered, requiring that the matching $M$ has some properties with respect to the subgraph $G_M$ of $G$ induced by the vertices covered by $M$: If $M$ is the unique perfect matching of $G_M$, then $M$ is a \emph{uniquely restricted matching} of $G$; if all the edges of $M$ are pendant edges of $G_M$, then $M$ is a \emph{semistrong matching} of $G$; if all the vertices of $G_M$ are pendant, then $M$ is an \emph{induced matching} of $G$. Strengthened notions of edge coloring and of the chromatic index follow.
In this paper, we consider the maximum semistrong chromatic index of planar graphs with given maximum degree $Δ$. We prove that graphs with maximum average degree less than ${14}/{5}$ have semistrong chromatic index (hence uniquely restricted chromatic index) at most $2Δ+4$, and we reduce the bound to $2Δ+2$ if the maximum average degree is less than ${8}/{3}$. These cases cover, in particular, the cases of planar graphs with girth at least 7 (resp. at least 8).
Our result makes some progress on the conjecture of Lu{ž}ar, Mockov{č}iakov{á} and Sot{á}k [J.~Graph Theory 105 (2024) 612--632], which asserts that every planar graph $G$ has a semistrong edge coloring with $2Δ+C$ colors, for some universal constant $C$. (Note that such a conjecture would fail for strong edge coloring as there exist graphs with arbitrarily large maximum degree that are not strongly $(4Δ-5)$-edge-colorable.) We provide an example of a planar graph showing that the maximum semistrong chromatic index of planar graphs with maximum degree $Δ$ is at least $2Δ+4$.
Generalized Turán problems for a matching and long cycles
Published
• View Publication
• BIB
Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The general Turán number, denoted by $ex(n, H,\mathscr{F})$, is the maximum number of copies of $H$ in an $n$-vertex $\mathscr{F}$-free graph. Then $ex(n, K_2,\mathscr{F})$, also denote by $ex(n, \mathscr{F})$, is the Turán number. Recently, Alon and Frankl determined the exact value of $ex(n, \{K_{k},M_{s+1}\})$, where $K_{k}$ and $M_{s+1}$ are a complete graph on $k $ vertices and a matching of size $s +1$, respectively. Then many results were obtained by extending $K_{k}$ to a general fixed graph or family of graphs. Let $C_k$ be a cycle of order $k$. Denote $C_{\ge k}=\{C_k,C_{k+1},\ldots\}$. In this paper, we determine the value of $ex(n,K_r, \{C_{\ge k},M_{s+1}\})$ for large enough $n$ and obtain the extremal graphs when $k$ is odd. Particularly, the exact value of $ex(n, \{C_{\ge k},M_{s+1}\})$ and the extremal graph are given for large enough $n$.
Hamiltonian Properties of Hybrid-Faulty Burnt Pancake Graphs
Published
• View Publication
• BIB
We investigate the combined occurrence of edge faults and vertex faults in the burnt pancake graph (\( BP_n \)). In this paper, we prove that \( BP_n - F \), where \( F \) includes pairs of end-vertices of matching edges and fault-tolerant edges, contains a Hamiltonian cycle when \( |F| \leq n-2 \) and a Hamiltonian path when \( |F| \leq n-3 \). This establishes that \( BP_n \) is \((n-2)\)-hybrid fault Hamiltonian and \((n-3)\)-hybrid fault Hamiltonian connected for \( n \geq 3 \). These results are demonstrated to be optimal under the given conditions, with all bounds shown to be tight.
The number of dissociation sets in connected graphs
Published
• View Publication
• BIB
Extremal problems related to the enumeration of graph substructures, such as independent sets, matchings, and induced matchings, have become a prominent area of research with the advancement of graph theory. A subset of vertices is called a dissociation set if it induces a subgraph with vertex degree at most $1$, making it a natural generalization of these previously studied substructures.
In this paper, we present efficient tools to strictly increase the number of dissociation sets in a connected graph. Furthermore, we establish that the maximum number of dissociation sets among all connected graphs of order $n$ is given by \begin{align*} \begin{cases} 2^{n-1}+(n+3)\cdot 2^{\frac{n-5}{2}}, &~ {\rm if}~ n~{\rm is}~{\rm odd};\\ 2^{n-1}+(n+6)\cdot 2^{\frac{n-6}{2}}, &~ {\rm if}~ n~{\rm is}~{\rm even}. \end{cases} \end{align*} Additionally, we determine the achievable upper bound on the number of dissociation sets in a tree of order $n$ and characterize the corresponding extremal graphs as an intermediate result. Finally, we identify the unicyclic graph that is the candidate for having the second largest number of dissociation sets among all connected graphs.
Wheel-like bricks and minimal matching covered graphs
Published
• View Publication
• BIB
A connected graph G with at least two vertices is matching covered if each of its edges lies in a perfect matching. We say that an edge e in a matching covered graph G is removable if G-e is matching covered. A pair {e; f} of edges of a matching covered graph G is a removable doubleton if G-e-f is matching covered, but neither G-e nor G-f is. Removable edges and removable doubletons are called removable classes, introduced by Lovasz and Plummer in connection with ear decompositions of matching covered graphs. A 3-connected graph is a brick if the removal of any two distinct vertices, the left graph has a perfect matching. A brick G is wheel-like if G has a vertex h, such that every removable class of G has an edge incident with h. Lucchesi and Murty proposed a problem of characterizing wheel-like bricks. We show that every wheel-like brick may be obtained by splicing graphs whose underlying simple graphs are odd wheels in a certain manner. A matching covered graph is minimal if the removal of any edge, the left graph is not matching covered. Lovasz and Plummer proved that the minimum degree of a minimal matching covered bipartite graph different from K2 is 2 by ear decompositions in 1977. By the properties of wheel-like bricks, we prove that the minimum degree of a minimal matching covered graph other than K2 is 2 or 3.
Genus embeddings of complete graphs minus a matching
We show that for all $n \equiv 0 \pmod{6}$, $n \geq 18$, there is an orientable triangular embedding of the octahedral graph on $n$ vertices that can be augmented with handles to produce a genus embedding of the complete graph of the same order. For these values of $n$, the intermediate embeddings of the construction also determine some surface crossing numbers of the complete graph on $n$ vertices and the genus of all graphs on $n$ vertices and minimum degree $n-2$.
Maximal independent sets in graphs with given matching number
Published
• View Publication
• BIB
A maximal independent set in a graph $G$ is an independent set that cannot be extended to a larger independent set by adding any vertex from $G$. This paper investigates the problem of determining the maximum number of maximal independent sets in terms of the matching number of a graph. We establish the maximum number of maximal independent sets for general graphs, connected graphs, triangle-free graphs, and connected triangle-free graphs with a given matching number, and characterize the extremal graphs achieving these maxima.
The $k$-fold circuit property for matroids
Double circuits were introduced by Lovász in 1980 as a fundamental tool in his derivation of a min-max formula for the size of a maximum matching in linear matroids. This formula was extended to all matroids satisfying the so-called `double circuit property' by Dress and Lovász in 1987. We extend these notions to $k$-fold circuits for all natural numbers $k$ and show, in particular that several families of matroids which are known to satisfy the double circuit property, satisfy the $k$-fold circuit property for all natural numbers $k$. These families include all pseudomodular matroids (such as full linear, algebraic and transversal matroids) and certain families of count matroids. These results suggest that the $k$-fold circuit property can be used as a measure of how close the lattice of flats of a matroid is to being a modular lattice.
Long induced paths and forbidden patterns: Polylogarithmic bounds
Published in SIAM Journal on Discrete Mathematics 40(1) (2026), 52-81
• View Publication
• BIB
Consider a graph $G$ with a long path $P$. When is it the case that $G$ also contains a long induced path? This question has been investigated in general as well as within a number of different graph classes since the 80s. We have recently observed in a companion paper (Long induced paths in sparse graphs and graphs with forbidden patterns, arXiv:2411.08685, 2024) that most existing results can recovered in a simple way by considering forbidden ordered patterns of edges along the path $P$. In particular we proved that if we forbid some fixed ordered matching along a path of order $n$ in a graph $G$, then $G$ must contain an induced path of order $(\log n)^{Ω(1)}$. Moreover, we completely characterized the forbidden ordered patterns forcing the existence of an induced path of polynomial size.
The purpose of the present paper is to completely characterize the ordered patterns $H$ such that forbidding $H$ along a path $P$ of order $n$ implies the existence of an induced path of order $(\log n)^{Ω(1)}$. These patterns are star forests with some specific ordering, which we called constellations.
As a direct consequence of our result, we show that if a graph $G$ has a path of length $n$ and does not contain $K_t$ as a topological minor, then $G$ contains an induced path of order $(\log n)^{Ω(1/t \log^2 t)}$. The previously best known bound was $(\log n)^{f(t)}$ for some unspecified function $f$ depending on the Topological Minor Structure Theorem of Grohe and Marx (2015).
The positive orthogonal Grassmannian
The Plücker positive region $\mathrm{OGr}_+(k,2k)$ of the orthogonal Grassmannian emerged as the positive geometry behind the ABJM scattering amplitudes. In this paper we initiate the study of the positive orthogonal Grassmannian $\mathrm{OGr}_+(k,n)$ for general values of $k,n$. We determine the boundary structure of the quadric $\mathrm{OGr}_+(1,n)$ in $\mathbb{P}^{n-1}_{+}$ and show that it is a positive geometry. We show that $\mathrm{OGr}_+(k,2k+1)$ is isomorphic to $\mathrm{OGr}_+(k+1, 2k+2)$ and connect its combinatorial structure to matchings on $[2k+2]$. Finally, we show that in the case $n>2k+1$, the \emph{positroid cells} of $\mathrm{Gr}_+(k,n)$ do not induce a CW cell decomposition of $\mathrm{OGr}_+(k,n)$.