matching
3278 papers tagged with this keyword
Spectral conditions for graphs in which every edge belongs to a factor
A factor of a graph is a spanning subgraph. Spectral sufficient conditions are provided via spectral radius and signless Laplacian spectral radius for graphs with (i) a matching of given size (particularly, $1$-factor) containing any given edge, and (ii) a star factor with a component isomorphic to stars of order two or three containing any given edge, respectively.
Quantum state systems that count perfect matchings
In this paper we show how to categorify the $n$-color vertex polynomial, which is based upon one of Roger Penrose's formulas for counting the number of $3$-edge colorings of a planar trivalent graph. Using topological quantum field theory (TQFT), we introduce a quantum state system to build a new bigraded theory called the bigraded $n$-color vertex homology. The graded Euler characteristic of this homology is the $n$-color vertex polynomial. We then produce a spectral sequence whose $E_\infty$-page is a filtered theory called filtered $n$-color vertex homology and show that it is generated by certain types of face colorings of ribbon graphs. For $n=2$, we show that the filtered $n$-color vertex homology is generated by face colorings that correspond to perfect matchings. Finally, we introduce and give meaning to what the vertex polynomial counts when $n \geq 2$. This polynomial is a new abstract graph invariant that can be inferred from certain formulas of Penrose.
Bounds on the price of feedback for mistake-bounded online learning
Published
• View Publication
• BIB
We improve several worst-case bounds for various online learning scenarios from (Auer and Long, Machine Learning, 1999). In particular, we sharpen an upper bound for delayed ambiguous reinforcement learning by a factor of 2 and an upper bound for learning compositions of families of functions by a factor of 2.41. We also improve a lower bound from the same paper for learning compositions of $k$ families of functions by a factor of $Θ(\ln{k})$, matching the upper bound up to a constant factor. In addition, we solve a problem from (Long, Theoretical Computer Science, 2020) on the price of bandit feedback with respect to standard feedback for multiclass learning, and we improve an upper bound from (Feng et al., Theoretical Computer Science, 2023) on the price of $r$-input delayed ambiguous reinforcement learning by a factor of $r$, matching a lower bound from the same paper up to the leading term.
Bounded degree graphs and hypergraphs with no full rainbow matchings
Published in European Journal of Combinatorics 133 (2026) 104316
• View Publication
• BIB
Given a multi-hypergraph $G$ that is edge-colored into color classes $E_1, \ldots, E_n$, a full rainbow matching is a matching of $G$ that contains exactly one edge from each color class $E_i$. One way to guarantee the existence of a full rainbow matching is to have the size of each color class $E_i$ be sufficiently large compared to the maximum degree of $G$. In this paper, we apply a simple iterative method to construct edge-colored multi-hypergraphs with a given maximum degree, large color classes, and no full rainbow matchings. First, for every $r \ge 1$ and $Δ\ge 2$, we construct edge-colored $r$-uniform multi-hypergraphs with maximum degree $Δ$ such that each color class has size $|E_i| \ge rΔ- 1$ and there is no full rainbow matching, which demonstrates that a theorem of Aharoni, Berger, and Meshulam (2005) is best possible. Second, we construct properly edge-colored multigraphs with no full rainbow matchings which disprove conjectures of Delcourt and Postle (2022). Finally, we apply results on full rainbow matchings to list edge-colorings and prove that a color degree generalization of Galvin's theorem (1995) does not hold.
On the Number of Vertices/Edges whose Deletion Preserves the Konig-Egervary Property
Published
• View Publication
• BIB
The graph G=(V,E) is called Konig-Egervary if the sum of its independence number and its matching number equals its order. Let RV(G) denote the number of vertices v such that G-v is Konig-Egervary, and let RE(G) denote the number of edges e such that G-e is Konig-Egervary. Clearly, RV(G) = |V| and RE(G) = |E| for bipartite graphs. Unlike the bipartiteness, the property of being a Konig-Egervary graph is not hereditary. In this paper, we present an equality expressing RV(G) in terms of some graph parameters, and a tight inequality bounding RE(G) in terms of the same parameters, when G is Konig-Egervary.
Castelnuovo-Mumford regularity of the closed neighborhood ideal of a graph
Published in Journal of Algebraic Combinatorics, 61(1), 2025
• View Publication
• BIB
Let $G$ be a finite simple graph and let $NI(G)$ denote the closed neighborhood ideal of $G$ in a polynomial ring $R$. We show that if $G$ is a forest, then the Castelnuovo-Mumford regularity of $R/NI(G)$ is the same as the matching number of $G$, thus proving a conjecture of Sharifan and Moradi in the affirmative. We also show that the matching number of $G$ provides a lower bound for the Castelnuovo-Mumford regularity of $R/NI(G)$ for any $G$. Furthermore, we prove that, if $G$ contains a simplicial vertex, then $NI(G)$ admits a Betti splitting, and consequently, we show that the projective dimension of $R/NI(G)$ is also bounded below by the matching number of $G$, if $G$ is a forest or a unicyclic graph.
Vertex degree sums for perfect matchings in 3-uniform hypergraphs
Published
• View Publication
• BIB
Let $n \equiv 0\, (\, \text{mod } 3\,)$ and $H_{n, n/3}^2$ be the 3-graph of order $n$, whose vertex set is partitioned into two sets $S$ and $T$ of size $\frac{1}{3}n+1$ and $\frac{2}{3}n -1$, respectively, and whose edge set consists of all triples with at least $2$ vertices in $T$. Suppose that $n$ is sufficiently large and $H$ is a 3-uniform hypergraph of order $n$ with no isolated vertex. Zhang and Lu [Discrete Math. 341 (2018), 748--758] conjectured that if $deg(u)+deg(v) > 2(\binom{n-1}{2}-\binom{2n/3}{2})$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $H$ contains a perfect matching or $H$ is a subgraph of $H_{n,n/3}^2$. We construct a counter-example to the conjecture. Furthermore, for all $γ>0$ and let $n \in 3 \mathbb{Z}$ be sufficiently large, we prove that if $deg(u)+deg(v) > (3/5+γ)n^2$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $H$ contains a perfect matching or $H$ is a subgraph of $H_{n,n/3}^2$. This implies a result of Zhang, Zhao and Lu [Electron. J. Combin. 25 (3), 2018].
Stable Marriage with One-Sided Preference
Many countries around the world, including Korea, use the school choice lottery system. However, this method has a problem in that many students are assigned to less-preferred schools based on the lottery results. In addition, the task of finding a good assignment with ties often has a time complexity of NP, making it a very difficult problem to improve the quality of the assignment.
In this paper, we prove that the problem of finding a stable matching that maximizes the student-oriented preference utility in a two-sided market with one-sided preference can be solved in polynomial time, and we verify through experiments that the quality of assignment is improved. The main contributions of this paper are as follows. We found that stable student-oriented allocation in a two-sided market with one-sided preferences is the same as stable allocation in a two-sided market with symmetric preferences. In addition, we defined a method to quantify the quality of allocation from a preference utilitarian perspective. Based on the above two, it was proven that the problem of finding a stable match that maximizes the preference utility in a two-sided market with homogeneous preferences can be reduced to an allocation problem. In this paper, through an experiment, we quantitatively verified that optimal student assignment assigns more students to schools of higher preference, even in situations where many students are assigned to schools of low preference using the existing assignment method.
Spectral upper bounds for the Grundy number of a graph
Published
• View Publication
• BIB
The Grundy number of a graph is the minimum number of colors needed to properly color the graph using the first-fit greedy algorithm regardless of the initial vertex ordering. Computing the Grundy number of a graph is an NP-Hard problem. There is a characterization in terms of induced subgraphs: a graph has a Grundy number at least k if and only if it contains a k-atom. In this paper, using properties of the matching polynomial, we determine the smallest possible largest eigenvalue of a k-atom. With this result, we present an upper bound for the Grundy number of a graph in terms of the largest eigenvalue of its adjacency matrix. We also present another upper bound using the largest eigenvalue and the size of the graph. Our bounds are asymptotically tight for some infinite families of graphs and provide improvements on the known bounds for the Grundy number of sparse random graphs.
Matchings in hypercubes extend to long cycles
Published
• View Publication
• BIB
The $d$-dimensional hypercube graph $Q_d$ has as vertices all subsets of $\{1,\ldots,d\}$, and an edge between any two sets that differ in a single element. The Ruskey-Savage conjecture asserts that every matching of $Q_d$, $d\ge 2$, can be extended to a Hamilton cycle, i.e., to a cycle that visits every vertex exactly once. We prove that every matching of $Q_d$, $d\ge 2$, can be extended to a cycle that visits at least a $2/3$-fraction of all vertices.
Spectral conditions for factor-criticality of graphs
Published
• View Publication
• BIB
A graph $G$ is $k$-factor-critical if $G-S$ has a perfect matching for any $k$-subset $S$ of the vertex set of $G$. In this paper, we investigate the factor-criticality of graphs with fixed minimum degree and provide sufficient conditions for such graphs to be $k$-factor-critical in terms of spectral radius and signless Laplacian spectral radius.
The weak categorical quiver minor theorem and its applications: matchings, multipaths, and magnitude cohomology
Building upon previous works of Proudfoot and Ramos, and using the categorical framework of Sam and Snowden, we extend the weak categorical minor theorem from undirected graphs to quivers. As case of study, we investigate the consequences on the homology of multipath complexes; eg. on its torsion. Further, we prove a comparison result: we show that, when restricted to directed graphs without oriented cycles, multipath complexes and matching complexes yield functors which commute up to a blow-up operation on directed graphs. We use this fact to compute the homotopy type of matching complexes for a certain class of bipartite graphs also known as half-graphs or ladders. We complement the work with a study of the (representation) category of cones, and with analysing related consequences on magnitude cohomology of quivers.
A Note on Matching Variables to Equations
We showed with J. P. Gollin that if a (possibly infinite) homogeneous linear equation system has only the trivial solution, then there exists an injective function from the variables to the equations such that each variable appears with non-zero coefficient in its image. Shortly after, a more elementary proof was found by Aharoni and Guo. In this note we present a very short matroid-theoretic proof of this theorem.
Approximate generalized Steiner systems and near-optimal constant weight codes
Published
• View Publication
• BIB
Constant weight codes (CWCs) and constant composition codes (CCCs) are two important classes of codes that have been studied extensively in both combinatorics and coding theory for nearly sixty years. In this paper we show that for {\it all} fixed odd distances, there exist near-optimal CWCs and CCCs asymptotically achieving the classic Johnson-type upper bounds.
Let $A_q(n,w,d)$ denote the maximum size of $q$-ary CWCs of length $n$ with constant weight $w$ and minimum distance $d$. One of our main results shows that for {\it all} fixed $q,w$ and odd $d$, one has $\lim_{n\rightarrow\infty}\frac{A_q(n,d,w)}{\binom{n}{t}}=\frac{(q-1)^t}{\binom{w}{t}}$, where $t=\frac{2w-d+1}{2}$. This implies the existence of near-optimal generalized Steiner systems originally introduced by Etzion, and can be viewed as a counterpart of a celebrated result of Rödl on the existence of near-optimal Steiner systems. Note that prior to our work, very little is known about $A_q(n,w,d)$ for $q\ge 3$. A similar result is proved for the maximum size of CCCs.
We provide different proofs for our two main results, based on two strengthenings of the well-known Frankl-Rödl-Pippenger theorem on the existence of near-optimal matchings in hypergraphs: the first proof follows by Kahn's linear programming variation of the above theorem, and the second follows by the recent independent work of Delcour-Postle, and Glock-Joos-Kim-Kühn-Lichev on the existence of near-optimal matchings avoiding certain forbidden configurations.
We also present several intriguing open questions for future research.
Sequential choice functions and stability problems
Published
• View Publication
• BIB
The concept of sequential choice functions is introduced and studied. This concept applies to the reduction of the problem of stable matchings with sequential workers to a situation where the workers are linear.
Asymptotic probability for connectedness
We study the structure of the asymptotic expansion of the probability that a combinatorial object is connected. We show that the coefficients appearing in those asymptotics are integers and can be interpreted as the counting sequences of other derivative combinatorial classes. The general result applies to rapidly growing combinatorial structures, which we call gargantuan, that also admit a sequence decomposition. The result is then applied to several models of graphs, of surfaces (square-tiled surfaces, combinatorial maps), and to geometric models of higher dimension (constellations, graph encoded manifolds). The corresponding derivative combinatorial classes are irreducible (multi)tournaments, indecomposable (multi)permutations and indecomposable perfect (multi)matchings.
Perfect matchings and loose Hamilton cycles in the semirandom hypergraph model
Published
• View Publication
• BIB
We study the 2-offer semirandom 3-uniform hypergraph model on $n$ vertices. At each step, we are presented with 2 uniformly random vertices. We choose any other vertex, thus creating a hyperedge of size 3. We show a strategy that constructs a perfect matching, and another that constructs a loose Hamilton cycle, both succeeding asymptotically almost surely within $Θ(n)$ steps. Both results extend to $s$-uniform hypergraphs. The challenges with hypergraphs, and our methods, are qualitatively different from what has been seen for semirandom graphs. Much of our analysis is done on an auxiliary graph that is a uniform $k$-out subgraph of a random bipartite graph, and this tool may be useful in other contexts.
Partitioning the hypercube into smaller hypercubes
Published in Illinois J. Math. 69 (1), 109-122, (2025)
• View Publication
• BIB
Denote by Q_d the d-dimensional hypercube. Addressing a recent question we estimate the number of ways the vertex set of Q_d can be partitioned into vertex disjoint smaller cubes. Among other results, we prove that the asymptotic order of this function is not much larger than the number of perfect matchings of Q_d. We also describe several new (and old) questions.
Total Matching and Subdeterminants
Published
• View Publication
• BIB
In the total matching problem, one is given a graph $G$ with weights on the vertices and edges. The goal is to find a maximum weight set of vertices and edges that is the non-incident union of a stable set and a matching.
We consider the natural formulation of the problem as an integer program (IP), with variables corresponding to vertices and edges. Let $M = M(G)$ denote the constraint matrix of this IP. We define $Δ(G)$ as the maximum absolute value of the determinant of a square submatrix of $M$.
We show that the total matching problem can be solved in strongly polynomial time provided $Δ(G) \leq Δ$ for some constant $Δ\in \mathbb{Z}_{\ge 1}$. We also show that the problem of computing $Δ(G)$ admits an FPT algorithm. We also establish further results on $Δ(G)$ when $G$ is a forest.
Bounds and extremal graphs for the energy of complex unit gain graphs
Published
• View Publication
• BIB
A complex unit gain graph ($ \mathbb{T} $-gain graph), $ Φ=(G, \varphi) $ is a graph where the gain function $ \varphi $ assigns a unit complex number to each orientation of an edge of $ G $ and its inverse is assigned to the opposite orientation. The associated adjacency matrix $ A(Φ) $ is defined canonically. The energy $ \mathcal{E}(Φ) $ of a $ \mathbb{T} $-gain graph $ Φ$ is the sum of the absolute values of all eigenvalues of $ A(Φ) $. For any connected triangle-free $ \mathbb{T} $-gain graph $ Φ$ with the minimum vertex degree $ δ$, we establish a lower bound $ \mathcal{E}(Φ)\geq 2δ$ and characterize the equality. Then, we present a relationship between the characteristic and the matching polynomial of $ Φ$. Using this, we obtain an upper bound for the energy $ \mathcal{E}(Φ)\leq 2μ\sqrt{2Δ_e+1} $ and characterize the classes of graphs for which the bound sharp, where $ μ$ and $ Δ_e$ are the matching number and the maximum edge degree of $ Φ$, respectively. Further, for any unicyclic graph $ G $, we study the gains for which the gain energy $ \mathcal{E}(Φ) $ attains the maximum/minimum among all $ \mathbb{T} $-gain graphs defined on $G$.