matching
3165 papers tagged with this keyword
Spectral extremal problems for $(a,b,k)$-critical and fractional $(a,b,k)$-critical graphs
A factor of a graph is essentially a specific type spanning subgraph. The study of characterizing the existence of $[a, b]$-factors based on eigenvalue conditions can be traced back to the work of Brouwer and Haemers (2005) on perfect matchings. With the advancement of graphs factor theory, the related spectral extremal problems, particularly the study of $[a,b]$-factors and fractional $[a,b]$-factors, have been widely studied by scholars. Our work is motivated by research related to the $[a,b]$-factors and fractional $[a,b]$-factors, and explores their generalizations: $(a,b,k)$-critical graphs and fractional $(a,b,k)$-critical graphs. A graph $G$ is called an $(a,b,k)$-critical (a fractional $(a,b,k)$-critical) graph if after deleting any $k$ vertices of $G$ the remaining graph of $G$ has an $[a,b]$-factor (a fractional $[a,b]$-factor). In this paper, we establish spectral radius conditions for a graph to be $(a,b,k)$-critical or fractional $(a,b,k)$-critical. When $k=0$, our results also resolve some open problems concerning $[a, b]$-factors and fractional $[a, b]$-factors.
The List Linear Arboricity of Digraphs
A (directed) linear forest is a (di)graph whose components are (directed) paths. The linear arboricity $la(F)$ of a (di)graph $F$ is the minimum number of (directed) linear forests required to decompose its edges. Akiyama, Exoo, and Harary (1980) proposed the Linear Arboricity Conjecture that $la(G) \leq \left\lceil \frac{Δ+1}{2}\right\rceil$ for any graph $G$ of maximum degree $Δ$. The current best known bound, due to Lang and Postle (2023), establishes $la(G) \leq \fracΔ{2} + 3\sqrtΔ \log^4 Δ$ for sufficiently large $Δ$. And they proved this in the stronger list setting proposed by An and Wu.
For a digraph $D$, let its maximum degree $Δ(D)$ be the maximum of all in-degrees and out-degrees of its vertices. Nakayama and Péroche (1987) conjectured that $la(D) \leq Δ(D)+1$ for every digraph $D$. We extend Lang and Postle's result to digraphs with a matching error term. We show that $la(D) \leqΔ+ 6\sqrtΔ \log^4 Δ$ for any digraph $D$ with $Δ= Δ(D)$ sufficiently large. Moreover, we also establish this bound in the stronger list setting, where each arc $e \in A(D)$ is assigned a list of colors, and each arc is assigned a color from its list such that each color class forms a directed linear forest.
Sign-reversing involutions in moduli spaces of curves
We use sign-reversing involutions to solve two computational problems that arise naturally in the geometry of moduli spaces of curves. In particular, we give an explicit combinatorial formula for arbitrary $ψ$ class intersection products on the genus zero multicolored spaces $\overline{M}_{0,[r_1,\ldots,r_m]}$ using a novel sign reversing involution on decorated diagrams. As an application, we give a necessary and sufficient condition for when these intersection products are nonzero in terms of matchings on graphs.
We also calculate the analog of the tropical Euler characteristic for the graphical moduli spaces $\overline{M}_{0,Γ}$ for graphs with two dominant vertices $P, Q$, by constructing two new sign-reversing involutions to simplify the sum. We show that (up to sign) it is the number of acyclic orientations of $Γ\smallsetminus \{P, Q\}$.
Inducibility in $H$-free graphs and inducibility of Turán graphs
Published in Journal of Combinatorial Theory, Series B (2026)
• View Publication
• BIB
For graphs $F$ and $H$, let $i(F)$ denote the inducibility of $F$ and let $i_H(F)$ denote the inducibility of $F$ over $H$-free graphs. We prove that for almost all graphs $F$ on a given number of vertices, $i_{K_k}(F)$ attains infinitely many values as $k$ varies. For complete partite graphs $F$ (and, more generally, for symmetrizable families of graphs $F$), we prove that $i_H(F)=i_{K_k}(F)$ where $k=χ(H)$, and is attained by a complete $\ell$-partite graphon $W_{F,k}$, where $\ell < k$.
We determine the part sizes of $W_{F,k}$ for all $k$, whence determine $i(F)$, whenever $F$ is the Turán graph on $s$ vertices and $r$ parts, for all $s \le 3r+1$, which was recently proved by Liu, Mubayi, and Reiher for $s=r+1$. As a corollary, this determines the inducibility of all Turán graphs on at most $14$ vertices. Furthermore, since inducibility is invariant under complement, this determines the inducibility of all matchings and, more generally, all graphs with maximum degree $1$, of any size. Similarly, this determines the inducibility of all triangle factors, of any size.
For complete partite graphs $F$ with at most one singleton part, we prove that $i_{K_k}(F)$ only attains finitely many values as $k$ varies; in particular, there exists $t=t(F)$ such that $i(F)$ is attained by some complete $t$-partite graphon. This is best possible as it was shown by Liu, Pikhurko, Sharifzadeh, and Staden that this is not necessarily true if there are two singleton parts.
Finally, for every $r$, we give a nontrivial sufficient condition for a complete $r$-partite graph $F$ to have the property that $i(F)$ is attained by a complete partite graphon all whose part sizes are distinct.
Graphings with few circulations
In 2021, motivated by graph limit theory Lovász extended most of the theory of flows to a measure theoretic setting. Using this framework, the first author constructed $d$-regular treeings that are measurably bipartite, and have no nonzero measurable circulations, that is, flows without sources or sinks. In particular, these treeings do not admit a measurable perfect matching.
In this paper, we develop tools to build $d$-regular treeings where the space of circulations is exactly $k$-dimensional for any positive integer $k$. As applications, we construct 1) a treeing with a single balanced orientation, but no Schreier decoration; 2) a treeing with a single Schreier decoration; 3) and a treeing with a proper edge $d$-coloring, but no further perfect matchings.
The first answers a question raised by Lovász, as this particular balanced orientation does not decompose as a linear combination of finite cycles and infinite paths.
Duality Relations of Graph Polynomials
The duality theorem of Lass relates the matching polynomials of a simple graph $G$ with the matching polynomials of its complement $\bar G$. In particular, this relation gives rise to Godsil's result, which offers a nice interpretation of the Lebesgue-Stieltjes integral associated with the Hermite orthogonality measure. In this work, we introduce the concept of path-cover polynomials. Similar to matching polynomials, we show that path-cover polynomials also satisfy duality relations and give combinatorial interpretations of the Lebesgue-Stieltjes integral and the inner product in the space of associated Laguerre polynomials. Similar duality relations hold for clique-cover polynomials and chromatic polynomials. As applications, we find an efficient algorithm that computes graph polynomials for cographs. We also give explicit formulas to compute the number of Hamiltonian paths and cycles in complete multipartite graphs.
Matchings avoiding ordered patterns
A {\it vertex-ordered} graph is a graph equipped with a linear ordering of its vertices.
A pair of independent edges in an ordered graph can exhibit one of the following three patterns: separated, nested or crossing.
We say a pair of independent edges is non-separated if it is either crossing or nested.
Non-nested and non-crossing pairs are defined analogously.
We are interested in the following Turán-type problems: for each of the aforementioned six patterns, determine the maximum number of edges of an $n$-vertex ordered graph that does not contain a $k$-matching such that every pair of edges exhibit the fixed pattern.
Exact answers have already been obtained for four of the six cases.
The main objective of this paper is to investigate the two remaining open cases, namely non-separated and non-nested matchings.
We determine the exact maximum number of edges of an $n$-vertex ordered graph that does not contain a non-separated $k$-matching, which has the form $\frac{3}{2}(k-1)n+Θ(k^2)$.
For the non-nested case, we show the maximum number of edges lies between $(k-1)n$ and $(k-1)n+\binom{k-1}{2}$.
We also determine the exact maximum number of edges of an $n$-vertex ordered graph that does not contain an alternating path of given length.
We discuss some related problems and raise several
conjectures.
Furthermore, our results and conjectures yield consequences to certain Ramsey-type problems for non-nested matchings and alternating paths.
Decomposition theorems for unmatchable pairs in groups and field extensions
A theory of matchings for finite subsets of an abelian group, introduced in connection with a conjecture of Wakeford on canonical forms for homogeneous polynomials, has since been extended to the setting of field extensions and to that of matroids. Earlier approaches have produced numerous criteria for matchability and unmatchability, but have offered little structural insight. In this paper, we develop parallel structure theorems which characterize unmatchable pairs in both abelian groups and field extensions. Our framework reveals analogous obstructions to matchability: nearly periodic decompositions of sets in the group setting correspond to decompositions of subspaces involving translates of a subfield in the linear setting. This perspective not only recovers previously known results through short proofs, but also leads to new matching criteria and guarantees the existence of nontrivial unmatchable pairs.
When is a cut and project set substitutional?
Cut and project sets are obtained by projecting an irrational slice through a lattice to a lower dimensional subspace. Under standard conditions, the resulting pattern has no translational periods even though it retains some regularity of the lattice. Cut and project sets are one of the archetypical examples of patterns featuring aperiodic order, the other construction methods being by substitution and matching rules. Many early examples of aperiodic tilings, including the famous Penrose and Ammann--Beenker tilings, have a description from all of these methods. In this article we answer the following question, in the case of a Euclidean total space: what property of the cut and project data characterises when the resulting cut and project sets may also be defined by a substitution rule?
Skew-symmetrizable cluster algebras from surfaces and symmetric quivers
We study skew-symmetrizable cluster algebras $\mathcal{A}$ associated with unpunctured surfaces $\tilde{\mathbf{S}}$ endowed with an orientation-preserving involution $σ$. We give a geometric realization of such cluster algebras by showing that cluster variables of $\mathcal{A}$ correspond to $σ$-orbits of arcs of $\tilde{\mathbf{S}}$, while clusters are given by admissible $σ$-invariant triangulations. We establish a ring homomorphism from $\mathcal{A}$ to a skew-symmetric cluster algebra of the same rank, which is combinatorially derived from $\mathcal{A}$. We use this result to provide a cluster expansion formula for any $σ$-orbit $[γ]$ in terms of perfect matchings of some labeled modified snake graphs constructed from the arcs of $[γ]$. Then, we associate a symmetric finite-dimensional algebra $A$ to any seed of $\mathcal{A}$, such that non-initial cluster variables bijectively correspond to orthogonal indecomposable $A$-modules. Finally, we exhibit a purely representation-theoretic map from the category of orthogonal $A$-modules to $\mathcal{A}$, providing a Caldero-Chapoton map in this setting.
Optimal non-adaptive algorithm for edge estimation
We present a simple nonadaptive randomized algorithm that estimates the number of edges in a simple, unweighted, undirected graph, possibly containing isolated vertices, using only degree and random edge queries. For an $n$-vertex graph, our method requires only $\widetilde{O}(\sqrt{n})$ queries, achieving sublinear query complexity. The algorithm independently samples a set of vertices and queries their degrees, and also independently samples a set of edges, using the answers to these queries to estimate the total number of edges in the graph. We further prove a matching lower bound, establishing the optimality of our algorithm and resolving the non-adaptive query complexity of this problem with respect to degree and random-edge queries.
On the $P$-vertex problem in Bipartite Graphs
Property $(P)$, introduced in recent work and rooted in the classical theory of Parter vertices, concerns the existence of a nonsingular matrix $A\in S(G)$ for which every vertex of $G$ is a $P$-vertex. Previous investigations have fully characterized the property for trees, established it for cycles, extended it to unicyclic graphs, and shown that bipartite graphs with a perfect matching always satisfy property $(P)$. However, whether the converse holds for connected bipartite graphs remains open in general.
In this paper, we make progress toward answering this question on multiple fronts. We first prove that every connected bipartite graph satisfying property $(P)$ must be balanced, providing a fundamental necessary condition. We further establish complete characterizations for several significant families of bipartite graphs. Specially, we show that every connected bipartite graph of order at most $8$ has property $(P)$ if and only if it has a perfect matching, and more generally, that a connected bipartite graph of order $8+2k$ with at least $k$ pendant edges satisfies property $(P)$ exactly when it has a perfect matching. We further prove that within the class of triangular bipartite graphs, property $(P)$ is equivalent to the existence of a perfect matching, providing a full characterization for this broad structural subclass.
In addition, we introduce the threaded union over a graph, a general operation for assembling larger graphs from smaller components, and show that threaded union over a tree--cycle block graph preserves property $(P)$. This significantly generalizes earlier result about joining two graphs with property $(P)$ by a single edge preserves property $(P)$.
On Neutral Edge Sets in Anti-Ramsey Numbers
The anti-Ramsey number of a graph $G$, introduced by Erdős et al.\ in 1975, is the maximum number of colors in an edge-coloring of the complete graph $K_n$ that avoids a rainbow copy of $G$. We call a subset of edges of $G$ \emph{neutral} for the anti-Ramsey number if removing them does not alter the anti-Ramsey number of $G$. Let $k$, $t$, and $n$ be positive integers, and consider $G = kP_4 \cup tP_2$. Assume $S \subseteq E(G)$ consists of internal edges of the $P_4$ components in $G$. It is known that $S$ is neutral when $t \geq k+1 \geq 2$ and $n \geq 8k + 2t - 4$. In this paper, we identify values of $k \geq t$ such that, for all $n$ in a specific subinterval of $[8k + 2t - 4, \infty)$, $S$ remains neutral. Since the anti-Ramsey numbers for matchings are well understood, our results provide a complete determination of the anti-Ramsey number for $G$ under these conditions. Based on our findings, we conjecture that this neutrality may extend to the general case $t \geq 1$, $k \geq 1$, and $n \geq 4k + 2t$, but not when $t = 0$, $k \geq 2$, and $n \geq 4k$.
Bell Numbers and Stirling Numbers of the Mycielskian of Trees
We establish explicit formulas for Bell numbers and graphical Stirling numbers of complete multipartite graphs, complete bipartite graphs with removed perfect matchings, and Mycielskian trees. For complete multipartite graphs $K(n_1,\ldots,n_\ell)$, we provide a simplified proof that $B(G) = \prod_{i=1}^\ell \bell{n_i}$. We derive $B(K_{n,n} - M) = \sum_{k=0}^{n} \binom{n}{k} \bell{k}^2$ for removed perfect matching $M$, and for Mycielskian star graphs, $B(M(St_n); 3) = 2^n + 1$ and $B(M(St_n); 2n) = 2n^2 - 3n + 3$. Results extend to Mycielskians of arbitrary trees. Our computational verifications establish links between graphical Bell numbers and fundamental sequences in combinatorics and pattern avoidance, including identification of several OEIS entries: A000051, A096376, A116735, A384980, A384981, A384988, A385432, and A385437.
Fourier Sparsity of Delta Functions and Matching Vector PIRs
In this paper we study a basic and natural question about Fourier analysis of Boolean functions, which has applications to the study of Matching Vector based Private Information Retrieval (PIR) schemes. For integers m and r, define a delta function on {0,1}^r to be a function f: Z_m^r -> C with f(0) = 1 and f(x) = 0 for all nonzero Boolean x. The basic question we study is how small the Fourier sparsity of a delta function can be; namely how sparse such an f can be in the Fourier basis?
In addition to being intrinsically interesting and natural, such questions arise naturally when studying "S-decoding polynomials" for the known matching vector families. Finding S-decoding polynomials of reduced sparsity, which corresponds to finding delta functions with low Fourier sparsity, would improve the current best PIR schemes.
We show nontrivial upper and lower bounds on the Fourier sparsity of delta functions. Our proofs are elementary and clean. These results imply limitations on improving Matching Vector PIR schemes simply by finding better S-decoding polynomials. In particular, there are no S-decoding polynomials that can make Matching Vector PIRs based on the known matching vector families achieve polylogarithmic communication with a constant number of servers. Many interesting questions remain open.
Dense Matchings of Linear Size in Graphs with Independence Number 2
For a real number $c > 4$, we prove that every graph $G$ with $α(G) \leq 2$ and $|V(G)| \geq ct$ has a matching $M$ with $|M| = t$ such that the number of non-adjacent pairs of edges in $M$ is at most: \begin{equation*}
\left( \frac{1}{c\left(c-1\right)^2} + O_c\left(t^{-1/3} \right) \right) \binom{t}{2}. \end{equation*} This is related to an open problem of Seymour (2016) about Hadwiger's Conjecture, who asked if there is a constant $\varepsilon > 0$ such that every graph $G$ with $α(G) \leq 2$ has $\text{had}(G) \geq (\frac{1}{3} + \varepsilon) |V(G)|$.
Free boundary q-Whittaker and Hall-Littlewood processes
We study the free boundary $q$-Whittaker and Hall--Littlewood processes, two probability measures on sequences of partitions. We prove that a certain observable of the free boundary $q$-Whittaker process exhibits a $(q,t)$ symmetry after a random shift, generalizing a previous result of Imamura, Mucciconi, and Sasamoto, and an extension of that result due to the first author. Our proof is completely different, and as part of our proof, we find contour integral formulas for the free boundary $q$-Whittaker process. We also show a matching between certain observables in the free boundary Hall--Littlewood process and a quasi-open six vertex model, and explain how work of Finn and Vanicat gives an evaluation of a bounded sum over skew Hall--Littlewood functions as a rectangular Koornwinder polynomial.
On Computational Aspects of Ordered Matching Problems
Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from the complexity point of view and determine their corresponding computational and parameterized complexities. We show that the subgraph of ordered matchings problem is NP-complete and we prove that the problem of finding ordered homomorphisms between ordered matchings is NP-complete as well, implying NP-completeness of more generic problems. In parameterized complexity setting, we consider a natural choice of parameter - a number of vertices of the image ordered graph. We show that in contrast to the complexity context, finding homomorphisms if the image ordered graph is an ordered matching, this problem parameterized by the number of vertices of the image ordered graph is FPT, which is known to be W[1]-hard for the general problem. We also determine that the problem of core for ordered matchings is solvable in polynomial time which is again in contrast to the NP-completeness of the general problem. We provide several algorithms and generalize some of these problems into ordered graphs with colored edges.
Asymptotic probability of irreducibles II: sequence
This paper is devoted to the structure of the complete asymptotic expansion of the probability that a large combinatorial object is irreducible or consists of a given number of irreducible parts, where irreducibility is understood in terms of combinatorial construction SEQ, labeled or unlabeled. We show that for rapidly growing (i.e. gargantuan) combinatorial classes, the coefficients that appear in this expansion are integers and can be interpreted as linear combinations of the counting sequences of three closely related combinatorial classes. We apply this general asymptotic result to labeled and unlabeled (multi-)tournaments, as well as to (multi-)permutations and (multi-)matchings. We also explore the limits of our approach with respect to other combinatorial constructions.
The spectral radii and extremal graphs of two types of minimal graphs
A connected nontrivial graph $G$ is {\it matching covered} if every edge of $G$ is contained in some perfect matching of $G$. A matching covered graph $G$ is {\it minimal} if $G-e$ is not matching covered for each edge $e$ of $G$. A graph is said to be {\it factor-critical} if $G-v$ has a perfect matching for every $v\in V(G)$. A factor-critical graph $G$ is said to be {\it minimal factor-critical} if $G-e$ is not factor-critical graph for each edge $e\in E(G)$. In this paper, by employing ear decomposition and edge-exchange techniques, the greatest spectral radii of minimal matching covered bipartite graphs and minimal factor-critical graphs are determined, and the corresponding extremal graphs are characterized.