matching
3278 papers tagged with this keyword
The Homotopy Types of the Independence and Perfect Matching Complexes of Möbius and Circular Ladder Graphs
The independence complex and perfect matching complex of a graph are simplicial complexes encoding, respectively, its independent sets and perfect matchings. Determining their homotopy types is generally difficult, with explicit descriptions known mainly for highly structured graph families. In this article, we determine the homotopy types of these complexes for the Möbius ladder graphs $M_{2n}$ and circular ladder graphs $\mathcal{C}_{2n}$. The Möbius ladder graphs $M_{2n}$ are highly symmetric cubic graphs obtained from a $2n$-cycle by joining opposite vertices, while the circular ladder graphs $\mathcal{C}_{2n}$ are the Cartesian products of an $n$-cycle and a path of length one. We show that $\operatorname{Ind}(M_{2n})$ and $\operatorname{Ind}(\mathcal{C}_{2n})$ have the homotopy type of wedges of spheres, with the numbers and dimensions of the spheres exhibiting periodic behavior according to $n$ modulo $4$. For the perfect matching complex $\mathcal{M}_p(M_{2n})$, its homotopy type is a wedge of two copies of $\mathbb{S}^{(n-2)/2}$ when $n$ is even, while for odd $n$ it has the homotopy type of a wedge of spheres whose numbers and dimensions depend periodically on $n$ modulo $6$. The perfect matching complex $\mathcal{M}_p(\mathcal{C}_{2n})$ is contractible for odd $n$, whereas for even $n$ its homotopy type is a wedge of spheres, with the numbers and dimensions determined periodically by $n$ modulo $6$. Thus, we obtain explicit homotopy types for the independence and perfect matching complexes of two highly symmetric families of cubic graphs, which are also relevant in crystallization theory and the combinatorial representation of PL manifolds.
Tuza's Ryser-conjecture claim for four-partite hypergraphs with matching number two
We prove that every $4$-partite $4$-uniform hypergraph $H$ with matching number $ν(H)=2$ satisfies $τ(H)\le 6$, where $τ$ denotes the vertex-cover number. This confirms a claim made by Tuza in his 1979 manuscript but never published with a proof, and closes the case $(r,ν)=(4,2)$ of Ryser's conjecture. The best previous bound was $τ\le 7$, an integrality consequence of the theorem of Haxell and Scott (2012). The proof uses Gyárfás's intersecting-case theorem ($τ\le 3$ for intersecting $4$-partite $4$-uniform families), a short projection lemma (four base-disjoint edges in an intersecting family force a two-element cover), and Kőnig's matching theorem.
Recursive-Line Zarankiewicz Numbers with Four Columns
The recursive-line Zarankiewicz number maximizes the number of squares in a structured irreducible sum-of-squares representation encoded by an augmentation of an extremal $C_4$-free bipartite graph. We determine its four-column behavior under the strengthened recursive definition in the manuscript of Löfberg and Qi dated 9 September 2026. Combining AI-assisted discovery with exact certificate verification and finite exclusion computations, we determine eighteen of the nineteen values for $2\le m\le20$ and isolate the only unresolved case to $37\le\zr(14,4)\le38$. More significantly, we prove the first eventual exact formula in the four-column setting: \[ \zr(m,4)=\floor{\frac{5m+6}{2}}\qquad(m\ge15). \] The upper bound follows from the classical identity $z(m,4)=m+6$ and a sharp cell count. For the matching lower bound, we construct a two-row extension chain from an explicit $20\times4$ seed and derive the odd orders by a fixed deletion. Analytic propagation, together with two independently audited symbolic certificate tables, proves the construction for arbitrary chain length rather than merely for a finite computational range. Thus every extremal configuration has no holes when $m$ is even and exactly one hole when $m$ is odd, and the same exact formula holds for the second-order number $z_2(m,4)$.
The Cycle Rank Threshold: Perfect Matchings and Bipartite Parter Graphs
A graph on \(n\) vertices is called a Parter graph if there exists a nonsingular symmetric matrix, whose nonzero off-diagonal entries correspond exactly to the edges of the graph, such that all of its principal submatrices of order \(n-1\) are singular. Previously, a graph satisfying this condition was said to have property~(P). It was proved that, for bipartite graphs of cycle rank at most \(3\), being a Parter graph is equivalent to the existence of a perfect matching. We extend this result to cycle rank \(4\), proving that every bipartite graph of cycle rank at most \(4\) is a Parter graph if and only if it has a perfect matching. Furthermore, we show that this bound is sharp by constructing, for every integer \(r\ge5\), a connected balanced bipartite Parter graph of cycle rank \(r\) that has no perfect matching.
On Kleitman's Conjecture
Chvátal conjectured that amongst the largest intersecting subfamilies of a finite subset-closed family of sets is a star. Kleitman later strengthened Chvátal's conjecture, defining a partial ordering on the vector space freely generated by $2^{[n]}$ and suggesting that the vector of every maximal intersecting subfamily of $2^{[n]}$ is bigger than a convex combination of stars. We restate Kleitman's conjecture in terms of the cochain complex of the discrete cube, describing it as the optimization of a convex objective. We examine the pseudoinverse of the codifferential, along with its relation to monotonicity, through which we recover the Harris-Kleitman inequality and give a generalization of a theorem of Frankl and Kupavskii on perfect matchings in superset-closed families. We show level families to satisfy Kleitman's conjecture, providing explicit cochains. We further show maximal intersecting families in the union of two stars and nonnegative threshold families to satisfy Kleitman's conjecture. We close with several strengthenings of the conjecture and related open problems.
The crossing number and the unit-distance crossing number of the Hamming graphs H(d,3)=K_3^{box d}, and their realizations over many coordinate fields
The Hamming graph H(d,3)=K_3^{box d} (n=3^d vertices) is the graph of single-symbol errors of ternary codes, yet we ask a geometric question of it: can it be drawn in the plane with every edge exactly one unit long and no two non-adjacent vertices a unit apart? It can, for every d, joining two problems into one.
Where does it live? As a Minkowski sum of unit triangles, each H(d,3) has a hidden flexibility carrying its coordinates up the constructibility ladder (compass, origami, and beyond), so one graph is realizable over many number fields at once, in the plane and in R^3 (edim(H(d,q))=q-1). Yet almost every faithful realization is transcendental: the Galois picture is a measure-zero shadow of a vast transcendental continuum, matching the exists-R hardness of unit-distance recognition.
How crowded must a unit drawing be? We separate the ordinary crossing number from a unit-distance crossing number (absent from Schaefer's survey), and one recursion H(d,3)=H(d-1,3) box K_3 controls both. We prove cr(H)=Theta(n^2), with sharp one-page constant 7/6; and Omega(n^2) <= udcr(H) <= O(n^2 log n) by concentration, plus a closed-form majorant (3/2)n^2(L^2-L+1), L=log_3 n. The least-crossing drawing we find is constructible (origami): field and crossings are two readings of one geometry. All claims are verified computationally; the lower bound udcr=Omega(n^2 log n) is the central open problem.
Near-bipartite bricks in which every b-invariant edge is a forcing edge
A connected graph is matching covered if it has at least one edge and every edge lies in some perfect matching.Lovász proved that every matching covered graph G can be uniquely decomposed into a list of bricks and braces up to multiple edges. Denote by b(G) the number of bricks in such a decomposition. An edge e of G is removable if G-e is also matching covered; is b-invariant if e is removable and b(G-e)=b(G). Furthermore, an edge e of G is a forcing edge if it lies in precisely one perfect matching of G. Lucchesi and Murty proposed the problem of characterizing bricks, distinct from K_4, \overline{C_6}, and the Petersen graph, in which every b-invariant edge is a forcing edge. In this paper, we solve this problem for near-bipartite bricks by providing a complete characterization.
Degreewise Cut-Semigroup Saturation for $K_5$-Minor-Free Graphs and Seymour's Planar Edge-Colouring Conjecture
For every positive integer $k$, we prove that the homogeneous cut semigroup of every $K_5$-minor-free graph is saturated at height $k$ if and only if every planar $k$-graph is $k$-edge-colourable. Here a $k$-graph is a loopless $k$-regular multigraph in which every odd vertex cut has size at least $k$. A triangle expansion of a cubic plane dual converts cut decompositions into perfect-matching decompositions. The converse uses symmetric difference with a fixed perfect matching. The equivalence identifies the normality conjecture for $K_5$-minor-free cut polytopes with Seymour's planar edge-colouring conjecture. In particular, the known cases $k\leq 8$ give saturation through height eight.
A maximum matching based refinement of Brouwers conjecture
Let $G$ be a simple graph on $n$ vertices and $e(G)$ edges. Let $μ_1\geq \cdots \geq μ_{n-1}\geq μ_n=0$ be the Laplacian eigenvalues of $G$. For $k=1, \ldots, n$, let $S_k(G)=\sum_{i=1}^{k}μ_i$. Brouwers conjecture asserts that for any $k\in\{1,\ldots, n\}$, $S_k(G)\leq e(G)+\binom{k+1}{2}$. In [Bounding the sum of the largest Laplacian eigenvalues of graphs, {\em Discrete Appl. Math.}, 170:95--103, (2014)], Rocha and Trevisan showed that the conjecture holds true for $1 \leq k \leq \lfloor g/5 \rfloor$, where $g$ denotes the girth of $G$. This bound on $k$ was later improved by Chen in [Improved results on Brouwers conjecture for sum of the Laplacian eigenvalues of a graph, {\em Linear Algebra Appl.}, 557:327--338, (2018)], who established that the conjecture holds for $1 \leq k \leq \lfloor g/4 \rfloor$. In this article, we further strengthen these results by proving that the Brouwers conjecture holds for $1\leq k\leq\left\lfloor \frac{m(G)}{2}\right\rfloor,$ where $m(G)$ denotes the matching number of $G$. Since $m(G)\geq \lfloor g/2\rfloor$, the case constitutes a genuine improvement over the aforementioned results. As an application, we show that if $G$ is a graph of order $n$ and with a perfect matching, then the Brouwers conjecture holds for $1\leq k\leq \left\lfloor \frac{n}{4}\right\rfloor$. Finally, we provide a new perspective on verifying Brouwers conjecture by proving that $G$ satisfies the Brouwers conjecture if and only if for a fixed positive integer $h$, $\mathcal{S}_h(\overline{G})\leq e(\overline{G})+\binom{h+1}{2}$ holds whenever $\mathcal{S}_h(G)\leq e(G)+\binom{h+1}{2}$, where $\overline{G}$ denotes the complement of $G$.
The Erdős Matching Conjecture for 4-uniform hypergraphs
We prove the Erdős Matching Conjecture for $4$-uniform hypergraphs for every matching number $s\ge6004$. Specifically, for integers $s\ge 6004$ and $n\ge 4s+4$, if a $n$-vertex 4-uniform hypergraph $\mathcal F$ does not contain a matching of size $s+1$, then \[
|\mathcal F|\le
\max\left\{\binom{4s+3}{4},\binom n4-\binom{n-s}{4}\right\}. \] Our proof introduces a finite-board reduction for general uniformity. It reduces the global conjecture to a lower-uniformity bound and a fixed finite optimization at the two adjacent vertex numbers where the candidate constructions exchange dominance. In the $4$-uniform case the board has $19$ vertices, and its weighted inequality splits into $19$-, $15$-, and $11$-vertex layers. The hardest layer is resolved by exact rational dual certificates and deterministic integer searches. All computer-assisted steps are checked in exact arithmetic by verifiers that reconstruct the finite systems directly from their mathematical definitions.
Complexity of learning matchings and half graphs via edge queries
The problem of learning or reconstructing an unknown graph from a known family via partial-information queries arises as a mathematical model in various contexts. The most basic type of access to the graph is via \emph{edge queries}, where an algorithm may query the presence/absence of an edge between a pair of vertices of its choosing, at unit cost.
While more powerful query models have been extensively studied in the context of graph reconstruction, the basic model of edge queries seems to have not attracted as much attention. In this paper we study the edge query complexity of learning a hidden bipartite graph, or equivalently its bipartite adjacency matrix, in the classical as well as quantum settings. We focus on learning matchings and half graphs, which are graphs whose bipartite adjacency matrices are a row/column permutation of the identity matrix and the lower triangular matrix with all entries on and below the principal diagonal being 1, respectively.
- For matchings of size $n$, we show a tight deterministic bound of $n(n-1)/2$ and an asymptotically tight randomized bound of $Θ(n^2)$. A quantum bound of $Θ(n^{1.5})$ was shown in a recent work of van Apeldoorn et al.~[ICALP'21].
- For half graphs whose bipartite adjacency matrix is a column-permutation of the $n \times n$ lower triangular matrix, we give tight $Θ(n \log n)$ bounds in both deterministic and randomized settings, and an $Ω(n)$ quantum lower bound. \item
- For general half graphs, we observe that the problem is equivalent to a natural generalization of the famous nuts-and-bolts problem, leading to a tight $Θ(n \log n)$ randomized bound.
- We also present a simple quicksort-style method that instantiates to a $O(n \log^2 n)$ randomized algorithm and a tight $O(n \log n)$ quantum algorithm.
Generalized Sterboul--Deming Configurations
Sterboul and Deming gave classical matching-based characterizations of non-Kőnig--Egerváry graphs through flower--posy and blossom-pair configurations. We consider two classical configuration families, denoted \(T\) and \(S\), and introduce a new walk-based family \(J\), based on \(J\)-flowers and \(J\)-posies.
Our main result proves that, for every graph \(G\), \[ \SD_T(G)=\SD_S(G)=\SD_J(G). \] Thus the additional flexibility of the \(J\)-framework preserves the set of vertices detected by the classical configurations. The proof is vertex-preserving and passes through strict-Hall structure in traces of \(J\)-posies. As a consequence, every prescribed vertex of a connected matchable strict-Hall graph lies in a rigid \(T\)-posy for a suitable perfect matching, linking the theory naturally with matching-covered graphs.
A Proof of the Tratnik-Ye Medianity Conjecture of Resonance Graphs on Surfaces
We prove the Tratnik--Ye conjecture that every connected component of a resonance graph of perfect matchings on a closed surface is median whenever the allowed even faces form a proper subset of all faces. The embedding need not be cellular or strong, and the graph need not be bipartite. We also show that the quotient associated with each face is a tree and that these quotients give an isometric embedding of each component into a Cartesian product of trees. This yields a criterion for the facial parity embedding into a hypercube to be isometric.
Counting Near-Spanning Matchings in Latin Squares and Steiner Triple Systems
Montgomery recently proved that for sufficiently large $n$, every Latin square of order $n$ has a partial transversal with $n-1$ cells, and every Steiner triple system of order $n$ has a matching with $\lfloor n/3\rfloor-1$ edges, thus confirming the Ryser--Brualdi--Stein conjecture for even $n$ and the conjecture of Brouwer. We prove sharp enumerative refinements of these results: there is an absolute constant $c>0$ such that, for sufficiently large $n$, 1) every Latin square of order $n$ has $ \left((1\pm n^{-c})\frac{n}{\mathrm {e}^2}\right)^n$ partial transversals with $n-1$ cells; 2) every Steiner triple system of order $n$ has $ \left((1\pm n^{-c})\frac{n}{2\mathrm {e}^2}\right)^{\lfloor n/3\rfloor}$ matchings with $\lfloor n/3\rfloor-1$ edges. The first estimate confirms predictions of Montgomery and Kelly.
A 50-Vertex Cubic Counterexample to the Domination-versus-Edge-Domination Conjecture
Baste, Furst, Henning, Mohr, and Rautenbach conjectured that every finite regular graph of positive degree satisfies \(γ(G) \leq γ_e(G)\), where \(γ\) is the domination number and \(γ_e\) is the edge domination number, equivalently the minimum cardinality of a maximal matching. We show that the conjecture is false already for cubic graphs. The counterexample is a previously public 50-vertex cubic graph that had been used to refute the stronger independent-domination inequality \(i(G) \leq γ_e(G)\). For this graph we prove \(γ(G) = 16 > 15 = γ_e(G)\). The equality \(γ_e(G) = 15\) has a short counting proof, and a dominating set of order 16 is displayed explicitly. For the lower bound \(γ(G) \geq 16\), we give a self-contained exact reduction: after fixing which of the 20 clause vertices lie in a putative dominating set, the remaining problem is a finite set-cover problem on the 30 literal vertices. We enumerate all \(2^{20} = 1,048,576\) clause subsets, derive two explicit lower bounds, and solve exactly the 5,931 residual cases by a recurrence stated in the paper. The complete case counts and minima are displayed, and a short standard-library Python implementation is included in an appendix. A separate 893,049-node proof-tree certificate and a direct graph search provide independent verification. Thus the regular-graph conjecture is disproved. Combined with Gupta's recent theorem that every cubic graph on at most 48 vertices satisfies the conjectured inequality, the example is order-minimal among cubic counterexamples.
Metric Bases of Barycentric and Matching Subdivisions of Zero-Divisor Graphs
In this paper, we study metric bases and related metric properties for barycentric and partial matching subdivisions of the zero-divisor graph of $\mathbb Z_{pq}$, where $p$ and $q$ are distinct odd primes with $q>p$. We first recall the natural partition of the zero-divisor graph into the two prime classes and then give a detailed characterization of those subsets of $BS(Γ(\mathbb Z_{pq}))$ that form metric bases when $q\geq 2p-1$. The proof is expanded by separating the role of closed neighborhoods, rows of subdivision vertices, and forbidden twin configurations. We then investigate $M$-subdivision graphs obtained by subdividing selected edges of $Γ(\mathbb Z_{pq})$. In addition to the lower bounds for subdivisions of $p-3$ and $p-2$ edges, we prove an exact formula for matching subdivisions of arbitrary size $r$, $0\leq r\leq p-2$, namely $\dim(G_r)=p+q-r-4$. Several consequences are included to illustrate how a small matching subdivision can reduce the localization cost of the original zero-divisor network.
Subexponential Approximation of the Permanent in Deterministic Polynomial Time
We give the first deterministic polynomial time algorithm that approximates the permanent of arbitrary nonnegative rational matrices within a subexponential factor. For a matrix of order $n$, the approximation factor is \[
\exp\!\left(O\!\left(\frac{n(\log\log n)^2}{\log n}\right)\right)=\exp(o(n)). \] All previously known deterministic polynomial time guarantees for unrestricted inputs had approximation factors $\exp(Ω(n))$.
Our proof uses convex optimization to tighten an upper bound on the permanent. The bound is based on weighted sums over all matchings in a bipartite graph representing the matrix, and correlations between unmatched vertices control its error. We approximate these sums deterministically using correlation decay and a bound on the effect of vertex deletion.
Longest increasing subsequences of dyadic-type chaotic orbits
This paper studies the longest increasing subsequence (LIS) problem for sequences generated by dyadic-type chaotic interval maps. Starting from a single point $x\in[0,1)$ chosen uniformly at random, we form the order pattern of the first $N$ points of its orbit, with the doubling map as the basic model. Let $λ_1^{(N)}$ be the LIS length, equivalently the length of the first row of the Young diagram obtained by Schensted's insertion. We show that $\mathbb E[λ_1^{(N)}]/\sqrt N\to 2$, matching the leading asymptotics in the classical Ulam--Hammersley problem for uniform random permutations.
The Full P-vertex Problem and Perfect Matchings for Bipartite Graphs
In a recent work, Sharma and Panda~\cite{sharma} showed that every bipartite graph with a perfect matching has property (P), and proved the converse for trees and unicyclic bipartite graphs (i.e., bipartite graphs with cycle rank $m(G) \le 1$). In this paper, we extend this result to broader classes of bipartite graphs. We first show that every bipartite graph with property (P) is balanced. We prove that the converse holds for all bipartite graphs with cycle rank $m(G)$ at most three, and further establish it for several additional families of bipartite graphs. Finally, we derive algebraic constraints for balanced bipartite graphs without perfect matchings and use them to identify a family of bipartite graphs that does not have property (P).
Multicolor Ramsey numbers of ordered matchings
For an ordered graph $H$ and an integer $q \geq 2$, let $r_{<}(H;q)$ denote the $q$-color ordered Ramsey number of $H$. Conlon, Fox, Lee and Sudakov asked whether, for every $q \geq 3$, there is a constant $c_q$ such that $r_{<}(M;q) \leq n^{c_q\log n}$ for every ordered matching $M$ on $n$ vertices. We answer this negatively in a strong form: for every $q \geq 2$, there is $c_q>0$ such that almost every perfect matching $M$ on $[n]$ satisfies $r_{<}(M;q)>2^{c_q(\log n)^q/(\log\log n)^{q-1}}$. This matches the general upper bound up to a factor of $(\log\log n)^{q-1}$ in the exponent. We also give two applications. First, we prove the lower bound conjectured by Fox, He and Wigderson for multicolor Ramsey numbers of acyclic digraphs of bounded degree. Second, we strengthen a result of Axenovich, Rollin and Ueckerdt by giving a superquasipolynomial lower bound on the maximum chromatic number of $M$-free ordered graphs, for almost every perfect matching $M$ on $[n]$.