matching
3165 papers tagged with this keyword
Eulerian-type polynomials over matchings and matching permutations
Claesson and Linusson [Proc. Am. Math. Soc., 139 (2011), 435-449] observed that there are n! matchings on [2n] with no left-nestings. Inspired by this result, this paper is devoted to exploring a deeper connection between matchings and permutations. We first discover that a quadruple statistic over matchings corresponds to the well known quadruple statistic (exc,drop,fix,cyc) over permutations, where exc, drop, fix and cyc are the excedance, drop, fixed point and cycle statistics, respectively. By introducing matching permutations, we provide a symmetric expansion of a five-variable neighbor polynomial of matchings, which encodes a great deal of neighbor information. As an application, we discover the e-positivity of NCA-polynomials, which implies that the left-nesting number, the left-crossing number and the neighbor alignment number are distributed symmetrically over all matchings on [2n]. We also establish the relationship between the five-variable neighbor polynomials and the trivariate second-order Eulerian polynomials, which generalizes the related results of Claesson and Linusson, Cameron and Killpatrick as well as Chen and Fu.
LCLs in the Borel Hierarchy
A locally checkable labeling problem (LCL) on a group $Γ$ asks one to find a labeling of the Cayley graph of $Γ$ satisfying a fixed, finite set of "local" constraints. Typical examples include proper coloring and perfect matching problems. In descriptive combinatorics, one often considers the existence of solutions to LCLs in the setting of descriptive set theory. For example, given a free action of $Γ$ on a Polish space $X$, we might be interested in solving a given LCL on each orbit in a continuous, Borel, measurable, etc. way.
In an attempt to understand more finely the gap between Borel and continuous combinatorics, we consider the existence of Baire class $m$ solutions to LCLs. For all $n > 1$ and $m \in ω$, we produce an LCL on $\mathbb{F}_n$ which always admits Baire class $m+1$ solutions, but not necessarily Baire class $m$ solutions.
Large point-line matchings and small Nikodym sets
For any integer $d \geq 2$ and prime power $q$, we construct unexpectedly large induced matchings in the point-line incidence graph of $\mathbb{F}_{q}^{d}$ by leveraging a new connection with the Furstenberg-Sárközy problem from arithmetic combinatorics. In particular, we significantly improve the previously well-known baselines when $q$ is prime, showing that $\mathbb{F}_{q}^{2}$ contains matchings of size $q^{1.233}$ and $\mathbb{F}_{q}^{d}$ contains matchings of size $q^{d-o_{d}(1)}$.
These results and their proofs have several applications. First, we also obtain new constructions for finite field Nikodym sets in dimension $d \geq 2$, improving recent results of Tao by polynomial factors. For example, when $q$ is prime, we show the existence of Nikodym sets in $\mathbb{F}_q^d$ of size $q^d - q^{d - o_d(1)}$. Second, we construct a new minimal blocking set in $\mathrm{PG}(2,q)$, solving a longstanding problem in finite geometry. Third, we obtain new constructions for the minimal distance problem (in $\mathbb{R}^{2}$ and also in higher dimensions), improving a recent result of Logunov-Zakharov.
We also obtain analogous results for general finite fields with large characteristics. In particular, in one of our constructions we introduce a new special set of points inside the norm hypersurface in $\mathbb{F}_{q}^{d}$, which directly generalizes the classical Hermitian unital and which may be of independent interest for applications.
Minimal spectral radius of graphs with given matching number
The Brualdi-Solheid problem asks which graph achieves the extremal (maximum or minimum) spectral radius for a given class of graphs. This paper addresses the Brualdi-Solheid problem for \( \mathcal{G}_{n,β} \), the family of graphs with order \( n \) and matching number \( β\), aiming to identify its spectrally minimal graphs i.e., those that minimize the spectral radius \(ρ(G)\).
We introduce the novel concept of ``quasi-adjacency'' relation, developing a unified structural classification framework for trees in \(\mathcal{G}_{n,β}\), which clarifies structural properties and provides a constructive method to generate trees with fixed \(β\). By showing that all spectrally minimal graphs in \( \mathcal{G}_{n,β} \) are trees, we further narrow the search for extremal graphs. Additionally, we apply this framework to the representative cases \(β=2,3,4\), obtaining the minimizers by explicit structural formulas involving parameters related to \(n\).
Sedentary quantum walks on bipartite graphs
If a quantum walk starting on a vertex tends to stay at home, then that vertex is said to be sedentary. We prove that almost all planar graphs and almost all trees contain at least two sedentary vertices for any assignment of edge weights -- a result that suggests vertex sedentariness is a common phenomenon in trees and planar graphs. For weighted bipartite graphs, we show that a vertex is not sedentary whenever 0 does not belong to its eigenvalue support. Consequently, each vertex in a nonsingular weighted bipartite graph is not sedentary, a stark contrast to weighted trees and weighted planar graphs. A corollary of this result is that every vertex in a bipartite graph with a unique perfect matching is not sedentary for any assignment of edge weights. We also construct new families of weighted bipartite graphs with sedentary vertices using the bipartite double and subdivision operations. Finally, we show that unweighted paths and unweighted even cycles contain no sedentary vertices.
Rainbow spanning structures in strongly edge-colored graphs
An edge-colored graph is a graph in which each edge is assigned a color. Such a graph is called strongly edge-colored if each color class forms an induced matching, and called rainbow if all edges receive pairwise distinct colors. In this paper, by establishing a connection with $μn$-bounded graphs, we prove that for all sufficiently large integers $n$, every strongly edge-colored graph $G$ on $n$ vertices with minimum degree at least $\frac{n+1}{2}$ contains a rainbow Hamilton cycle. We also characterize all strongly edge-colored graphs on $n$ vertices with minimum degree exactly $\frac{n}{2}$ that do not contain a rainbow Hamilton cycle. As an application, we determine the optimal minimum degree conditions for the existence of rainbow Hamilton paths and rainbow perfect matchings in strongly edge-colored graphs. Together, these results verify three conjectures concerning strongly edge-colored graphs for sufficiently large $n$.
Counting point configurations in projective space
We investigate the enumerative geometry of point configurations in projective space. We define "projective configuration counts": these enumerate configurations of points in projective space such that certain specified subsets are in fixed relative positions. The $\mathbb{P}^1$ case recovers cross-ratio degrees, which arise naturally in numerous contexts. We establish two main results. The first is a combinatorial upper bound given by the number of weighted transversals of a bipartite graph. The second is a recursion that relates counts associated to projective spaces of different dimensions, by projecting away from a given point. Key inputs include the Gelfand-MacPherson correspondence, the Jacobi-Trudi and Thom-Porteous formulae, and the notion of surplus from matching theory of bipartite graphs.
Homogeneous substructures in random ordered uniform matchings
An ordered $r$-uniform matching of size $n$ is a collection of $n$ pairwise disjoint $r$-subsets of a linearly ordered set of $rn$ vertices. For $n=2$, such a matching is called an $r$-pattern, as it represents one of $\tfrac12\binom{2r}r$ ways two disjoint edges may intertwine. Given a set $\mathcal{P}$ of $r$-patterns, a $\mathcal{P}$-clique is a matching with all pairs of edges belonging to $\mathcal{P}$. In this paper we determine the order of magnitude of the size of a largest $\mathcal{P}$-clique in a random ordered $r$-uniform matching for several sets $\mathcal{P}$, including all sets of size $|\mathcal{P}|\le2$ and the set $\mathcal{R}^{(r)}$ of all $2^{r-1}$ $r$-partite $r$-patterns.
Wasserstein distances between ERGMs and Erdős-Rényi models
Ferromagnetic exponential random graph models (ERGMs) are random graph models under which the presence of certain small structures (such as triangles) is encouraged; they can be constructed by tilting an Erdős--Rényi model by the exponential of a particular nonlinear Hamiltonian. These models are mixtures of metastable wells which each behave macroscopically like an Erdős--Rényi model, exhibiting the same laws of large numbers for subgraph counts [CD13]. However, on the microscopic scale these metastable wells are very different from Erdős--Rényi models, with the total variation distance between the two measures tending to 1 [MX23]. In this article we clarify this situation by providing a sharp (up to constants) bound on the Hamming-Wasserstein distance between the two models, which is the average number of edges at which they differ, under the coupling which minimizes this average. In particular, we show that this distance is $Θ(n^{3/2})$, quantifying exactly how these models differ.
An upper bound of this form has appeared in the past [RR19], but this was restricted to the subcritical (high-temperature) regime of parameters. We extend this bound, using a new proof technique, to the supercritical (low-temperature) regime, and prove a matching lower bound which has only previously appeared in the subcritical regime of special cases of ERGMs satisfying a "triangle-free" condition [DF25]. To prove the lower bound in the presence of triangles, we introduce an approximation of the discrete derivative of the Hamiltonian, which controls the dynamical properties of the ERGM, in terms of local counts of triangles and wedges (two-stars) near an edge. This approximation is the main technical and conceptual contribution of the article, and we expect it will be useful in a variety of other contexts as well. Along the way, we also prove a bound on the marginal edge probability under the ERGM via a new bootstrapping argument. Such a bound has already appeared [FLSW25], but again only in the subcritical regime and using a different proof strategy.
Explicit Almost-Optimal $\varepsilon$-Balanced Codes via Free Expander Walks
We study the problem of constructing explicit codes whose rate and distance match the Gilbert-Varshamov bound in the low-rate, high-distance regime. In 2017, Ta-Shma gave an explicit family of codes where every pair of codewords has relative distance $\frac{1-\varepsilon}{2}$, with rate $Ω(\varepsilon^{2+o(1)})$, matching the Gilbert-Varshamov bound up to a factor of $\varepsilon^{o(1)}$. Ta-Shma's construction was based on starting with a good code and amplifying its bias with walks arising from the $s$-wide-replacement product.
In this work, we give an arguably simpler almost-optimal construction, based on what we call free expander walks: ordinary expander walks where each step is taken on a distinct expander from a carefully chosen sequence. This sequence of expanders is derived from the construction of near-$X$-Ramanujan graphs due to O'Donnell and Wu.
Structure and Decomposition of Deltoids in Abelian Groups
Deltoids provide a natural framework for studying defective (partial) matchings in abelian groups, and we develop both structure and existence results in this setting. Given finite subsets $A$ and $B$ of an abelian group $G$, a matching is a bijection $f:A\to B$ such that $af(a)\notin A$ for all $a\in A$, a definition motivated by the study of canonical forms for symmetric tensors. We provide necessary and sufficient conditions for the existence of a partial matching with any prescribed defect, and then describe the minimal unavoidable defect for a pair $(A,B)$. We also define and examine a defective version of Chowla sets in the matching context. We prove a structure theorem identifying obstructions to the existence of partial matchings with small defect. Finally, within the deltoid setup, we establish max-min results on the partitioning of $A$ and $B$ into left- and right-admissible sets. Our tools mix results from transversal theory with ideas from additive number theory.
Optimal factor matchings for point processes on non-amenable unimodular graphs
Consider a unit-intensity point process $Π$ on the vertex set $V$ of a transitive non-amenable unimodular graph. We study invariant matchings between $Π$ and $V$ having small typical matching distances. When $Π$ is either a Poisson process or i.i.d. perturbations of the vertex set, we determine the optimal matching distance and show that it can be attained by a factor matching scheme (that is, a deterministic and equivariant function of $Π$).
The random stable roommates problem typically has no solution
Assume that $n = 2k$ potential roommates each have an ordered preference of the $n-1$ others. A stable matching is a perfect matching of the $n$ roommates in which no two unmatched people prefer each other to their matched partners. In their seminal 1962 stable marriage paper, Gale and Shapley noted that not every instance of the stable roommates problem admits a stable matching. In the case when the preferences are chosen uniformly at random, Gusfield and Irving predicted in 1989 that there is no stable matching with high probability for large $n$. We prove this conjecture and show that for $n$ sufficiently large, the probability there is a stable matching is at most $n^{-1/17}$.
Stability results for Berge-matching in hypergraphs
Given a graph $F$, a hypergraph is called a Berge-$F$ if it can be obtained by expanding each edge of $F$ into a hyperedge containing it. Let $M_{k}$ denote the matching of size $k$. Kang, Ni, and Shan [12] determined the Turán number of Berge-$M_k$. Our main result shows that if an $r$-uniform hypergraph $H$ on $n$ vertices has nearly as many edges as the extremal in their theorem without containing $M_k$, then $H$ must be structurally close to certain well-specified graphs. Meanwhile, our result also implies several stability results, such as the stability version of the well-known Erdős-Gallai theorem (Erdős and Gallai, 1959 [5]).
On perfect matchings, edge-colourings and eigenvalues of cubic graphs
We discuss the question whether the existence of perfect matchings in a cubic graph can be seen from the spectrum of its adjacency matrix. For regular graphs in general and for three edge-disjoint perfect matchings in a cubic graph (that is, an edge colouring with three colors) the answer is known to be negative. In the latter case, a few counter examples (found by computer) are known. Here we show that these counter examples can be extended to an infinite family by use of truncation. Thus we obtain infinitely many pairs of cospectral cubic graphs with different edge-chromatic number. For all these pairs both graphs have a perfect matching, and the mentioned question is still open. But we do find a new sufficient condition for a perfect matching in a cubic graphs in terms of its spectrum. In addition we obtain a few more results concerning spectral characterizations of cubic graphs.
A Faber--Krahn inequality for trees
The well-known Faber-Krahn theorem states that the ball has the lowest first Dirichlet eigenvalue among all domains of the same volume in $\mathbb{R}^n$. Leydold (Geom. Funct. Anal, 1997) gave the discrete version of Faber-Krahn inequality for regular trees with boundary. Bıyıko{ğ}lu and Leydold (J. Combin. Theory Ser. B, 2007) demonstrated that the Faber--Krahn inequality holds for the class of trees with boundary with the same degree sequence. They further posed the following question: Give a characterization of all graphs in a given class \(\mathcal{C}\) with the Faber-Krahn property. In this paper, we show the Faber-Krahn property for trees with given matching number. Our result can imply the Klobürštel theorem, i.e., the Faber-Krahn inequality for trees with given number of interior vertices and boundary vertices.
Bruhat intervals that are large hypercubes
We study the question of finding big Bruhat intervals that are poset hypercubes in the symmetric group $S_n$. Using permutations suggested by AlphaEvolve (an evolutionary coding agent developed by Google DeepMind), we were led to an unusual situation in which the agent produced a pattern which performed well for the $n$ tested, and which we show works well for general $n$. When $n$ is a power of 2 we exhibit a hypercube of dimension $O(n\log n)$, matching the largest possible dimension up to a constant multiple. Furthermore, we give an exact characterization of the vertices of this hypercube: they are precisely the \emph{dyadically well-distributed} permutations -- a simple digitwise property that already appeared in connection with Monte Carlo integration and mathematical finance. The maximal dimension of a Bruhat interval that is an hypercube in $S_n$ gives a lower bound (and possibly is equal to) the maximal possible coefficient of the second-highest degree term in the Kazhdan--Lusztig $R$-polynomial in $S_n$. As a surprising consequence, we obtain a new lower bound of order $n\log n$ for the maximal number of frozen variables appearing in the cluster algebras attached to the open Richardson varieties in $S_n$, and a similar result for moduli spaces of embeddings of Bruhat graphs.
On Prime Matrix Product Factorizations
A graph $G$ factors into graphs $H$ and $K$ via a matrix product if $A = BC$, where $A$, $B$, and $C$ are the adjacency matrices of $G$, $H$, and $K$, respectively. The graph $G$ is prime if, in every such factorization, one of the factors is a perfect matching that is, it corresponds to a permutation matrix. We characterize all prime graphs, then using this result we classify all factorable forests, answering a question of Akbari et al. [\emph{Linear Algebra and its Applications} (2025)]. We prove that every torus is factorable, and we characterize all possible factorizations of grids, addressing two questions posed by Maghsoudi et al. [\emph{Journal of Algebraic Combinatorics} (2025)].
Graphs with large maximum forcing number
For a graph $G$ with order $2n$ and a perfect matching, let $f(G)$ and $F(G)$ denote the minimum and maximum forcing number of $G$ respectively. Then $0\leq f(G)\leq F(G)\leq n-1$. Liu and Zhang [10] ever proposed a conjecture: $e(G)\geq \frac{n^2}{n-F(G)}$, where $e(G)$ denotes the number of edges of $G$. In this paper we confirm this conjecture and obtain $F(G)\leq n-\frac{n^2}{e(G)}$. If $F(G)=n-1$, Liu and Zhang [9] proved that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along 4-cycles. If $G$ is bipartite and $F(G)\geq n-k$, $1\leq k\leq n-1$, we show that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along even cycles of length at most $2(k+1)$. Finally, we ask whether $f(G)\geq \lceil\frac{n}{k}\rceil-1$ holds for such bipartite graphs $G$, and give positive answers for the cases $k=1,2$. Further we show all minimum forcing numbers of the bipartite graphs $G$ of order $2n$ and with $F(G)=n-2$ form an integer interval $[\lfloor\frac{n}{2}\rfloor, n-2]$.
A solution to Godsil's conjecture on the edge-connectivity of graphs in association schemes
A graph $G$ is called equiarboreal if the number of spanning trees containing a given edge in $G$ is independent of the choice of edge. In [Combinatorica 1(2) (1981) 163--167], Godsil proved that any graph which is a colour class in an association scheme is equiarboreal, and further conjectured that the edge-connectivity of a connected graph which is a colour class in an association scheme equals its vertex degree. In this paper, we confirm this long-standing conjecture. More generally, we prove an even stronger result that the edge-connectivity of a connected regular equiarboreal graph equals its degree by combinatorial and electrical network approaches. As a consequence, we show that every connected regular equiarboreal graph on an even number of vertices has a perfect matching.