matching
3278 papers tagged with this keyword
Towards the Overfull Conjecture II
Let $G$ be a simple graph with maximum degree $Δ(G)$. A subgraph $H\subseteq G$ is $Δ(G)$-overfull if $|E(H)|>Δ(G)\left\lfloor |V(H)|/2\right\rfloor$. In any edge coloring of $G$, each color class restricted to $H$ is a matching of size at most $\left\lfloor |V(H)|/2\right\rfloor$. Thus, if $G$ contains a $Δ(G)$-overfull subgraph, then $G$ cannot be edge-colored with only $Δ(G)$ colors. By Vizing's Theorem, $χ'(G)\le Δ(G)+1$, and hence $G$ is class $2$. In 1986, Chetwynd and Hilton conjectured that whenever $Δ(G)>|V(G)|/3$, the converse also holds: every class $2$ graph $G$ contains a $Δ(G)$-overfull subgraph. This statement, commonly known as the Overfull Conjecture, is one of the most influential conjectures in graph edge coloring. It would imply a polynomial-time algorithm for determining the chromatic index of graphs $G$ with $Δ(G)>|V(G)|/3$, and would also imply several other longstanding conjectures in the area, including the Just-overfull Conjecture and the Vertex-splitting Conjecture. In previous work, the third author verified the conjecture for large graphs $G$ with maximum degree at least $13|V(G)|/14$. In this paper, we confirm the conjecture for robust expanders satisfying certain density constraints. As a consequence, for every $0<\varepsilon<1$, the conjecture holds for all sufficiently large graphs $G$ with maximum degree at least $(1+\varepsilon)|V(G)|/2$.
Polynomial mixing for polygonal side matchings
We introduce a natural Markov chain on chord diagrams, which, at every step, selects two random chords and swaps them if doing so preserves the diagram's genus. This generalizes the chord swap chain on the Catalan structure of non-intersecting chord diagrams. We show that for fixed genus, the chain mixes in polynomial time.
Annihilation, Independence, and Residue: Sharp Matching Bounds for the Annihilation Gap and a TxGraffiti Application
Let $G$ be a finite simple graph. The annihilation number $a(G)$ is an efficiently computable upper bound on the independence number $α(G)$. We develop a sharp matching-number theory for the gap $a(G)-α(G)$. The strongest general theorem is the exact closed form \[a(G)-α(G)\leq 2μ(G)+1- \lceil \sqrt{6 μ(G)} \rceil \qquad(μ(G)\geq 1), \] and the bound is attained for every prescribed matching number. We also prove sharp matching-dependent bounds for forests, bipartite graphs, and König-Egerváry graphs, with equality constructions, equality certificates, and equality criteria. Finally, we treat a TxGraffiti output as a machine-conjecture case study. Using annihilating decompositions together with the classical Havel-Hakimi residue inequality $res(G)\leq α(G)$, we give an independent proof of the TxGraffiti annihilation-residue inequality \[ α(G)\geq \frac{a(G)+res(G)}{Δ(G)} \] for every connected graph $G$ of order at least three, show that both hypotheses are necessary, and compare this proof with a recent Caro-Wei approach. We also refine the Caro-Wei annihilation estimate by an explicit nonnegative slack term, identify its equality cases in degree-sequence form, and combine the refinement with our exact matching-number bound to obtain a combined computable bracket for the independence number and a Gupta-residue bound for the annihilation gap.
On the Linearity of Squarefree Powers of Edge Ideals
Let $G$ be a graph and $I(G)$ its edge ideal. The $p$-th squarefree power $I(G)^{[p]}$ is the monomial ideal generated by squarefree monomials corresponding to the matchings of size $p$ of $G$. In this paper, we provide a combinatorial characterization of when $I(G)^{[p]}$ is linearly related, i.e., when its first syzygy module is generated by linear forms. Moreover, for a $1$-dimensional flag simplicial complex $Δ$ and its Stanley-Reisner ideal $I_Δ$, which arises as the edge ideal of the complement graph of $Δ$, we describe the shape of the Betti table of $I_Δ^{[p]}$ and we give a combinatorial characterization of when $I_Δ^{[p]}$ has a linear resolution.
Duality and a Canonical Sheaf in Periodic Riemann Functions
Let $f\colon{\mathbb Z}^2\to{\mathbb Z}$ be a Riemann function whose weight $W$ is a perfect matching. Then there is a family of sheaves of $k$-vector spaces $\{{M}_{W,{\bf d}}\}_{{\bf d}\in{\mathbb Z}^2}$ on a five-point topological that models $f$ in that $f({\bf d})=b^0({M}_{W,{\bf d}})$ and that $$ b^1({M}_{W,{\bf d}})= f^\wedge_{\bf K}({\bf d}-{\bf K}) $$ for any ${\bf K}\in{\mathbb Z}^2$. Hence a Riemann-Roch formula for $f$ is equivalent to an Euler characteristic computation of ${M}_{W,{\bf d}}$.
If $f$ and $W$ are $r$-periodic, then the sheaves ${M}_{W,{\bf d}}$ become ${O}_r$-modules of finite type for a natural sheaf of rings ${O}={O}_r$. We show that in this case there is a ``canonical ${O}$-module'' $ω=ω_W$ and a pairing for $i=0,1$, $$ H^i(M_{W,{\bf 0}}\otimes F) \times {\rm Ext}^{1-i}(F,M_{W^\wedge_{\bf L},{\bf K}})\to H^1(ω)\cong k $$ that is perfect when ${\bf L}={\bf K}+{\bf 1}$ and ${F}$ is a certain type of line bundle or a certain type of skyscraper sheaf. In particular when ${F}$ is a line bundle, we realize the above formula for $b^1({M}_{W,{\bf d}})$ as a duality theorem akin to Serre duality.
We show that canonical ${O}$-module $ω_W$ is a rather exceptional element in a family of tensor products of two modules ${M}\otimes_{O}{M}'$, where ${M}$ and ${M}'$ vary over ${O}_r$-modules of the form ${M}_{W',{\bf d}}$.
This article doesn't assume any background in sheaf theory; rather we describe all our sheaves as a ``diagrams of vector spaces,'' where each diagram is essentially a sheaf of vector spaces on a fixed topological space of five points.
Chain Covers in the Boolean Lattice
For integers $1\le r\le n+1$, let $N(n,r)$ denote the least number of chains in the Boolean lattice $B_n=2^{[n]}$ that cover every strict $r$-term chain. The case $r=1$ is the classical chain-decomposition problem and is generalizing Dilworth's theorem and Sperner's theorem. We study two complementary regimes. First, when $r>1$ is fixed and $n\to\infty$. Let $$M(n,r):= \max_{\substack{
a_0+\cdots+a_r=n
a_0,a_r\ge 0,\ a_i\ge 1\ (1\le i\le r-1)
}}
\binom{n}{a_0,\ldots,a_r}.$$ We prove that lower and upper bounds which differ only by a logarithmic factor:
$$ M(n,r)\le N(n,r)\le \left(\frac r2+o(1)\right)\log n\cdot
M(n,r).$$
Second, we consider the near-maximal regime $N(n,n-t)$, where $t>0$ is fixed. We prove a general upper bound $ N(n,n-t)\le \frac{n!}{t}$ using the inversion number of the permutations modulo $t$. This is exact for $t=2$, giving $N(n,n-2)=n!/2$, and asymptotically exact for $t=3$, giving $N(n,n-3)=\left(\frac13+o(1)\right)n!.$ The matching lower bound for $t=3$, and stronger lower bounds for all fixed $t$, come from subcube-hitting problems originated from Kostochka and vertex-Turán problems.
Random homomorphisms and Lipschitz functions on trees
A graph homomorphism is an integer-valued function on the vertex set of a graph that assigns values differing by exactly one to adjacent vertices. We consider uniformly random homomorphisms on general finite trees, conditioned to take the value zero at all leaves, and study the distribution of the value at the root. Our main result is a stochastic comparison, both from above and below, between the absolute values of the homomorphism value at the root and certain discrete Gaussian-like random variables. In particular, we obtain a subgaussian tail bound valid for all deviations, a matching lower bound that holds up to a certain threshold, and upper and lower variance bounds that differ by a constant factor. These bounds depend solely on the effective resistance between the root and the leaves in the associated electrical network. As a consequence, in the setting of infinite locally finite trees, we obtain that the homomorphism model is localized on transient trees and delocalized on recurrent trees. Analogous results are obtained for random integer-valued Lipschitz functions.
Our results extend previous results of Benjamini--Häggström--Mossel on homomorphisms on regular trees, of Peled--Samotij--Yehudayoff on Lipschitz functions on regular trees, and of Lammers--Toninelli on homomorphisms on trees of minimum degree at least three.
Algorithms for the Maximum Edge Open Packing Problem
Packing problems form a central theme in graph theory, owing to their relevance in
modeling conflict-free resource allocation, network design, and communication
constraints. Motivated by applications in wireless networks where each device can
participate in at most one communication at a time and simultaneous links must
avoid interference we consider a generalization of induced matching known as
\emph{edge open packing}. Two edges of a graph are said to conflict if a third
edge connects one endpoint of each; an \emph{edge open packing set} is a set of
edges containing no such conflicting pair. The largest cardinality of such a set
is the \emph{edge open packing number} of a graph.
In this work, we study the computational complexity of the Maximum Edge Open
Packing Problem. We give a polynomial-time algorithm for the problem in
\emph{distance-hereditary graphs}, exploiting their canonical decomposition via
twin-set interactions. We further show that the problem remains polynomial-time
solvable on \emph{biconvex bipartite graphs}, thereby identifying a tractable
subclass within bipartite graphs, in contrast to the known NP-hardness of the
problem on Eulerian bipartite graphs. Finally, we initiate the parameterized
complexity study of the problem and present a fixed-parameter tractable algorithm
for \emph{chordal graphs}, parameterized by the clique number $ω$, running
in $O(2^ω\cdot\mathrm{poly}(n))$ time.
All limit points of the largest roots of matching polynomials are determined
The largest matching root $μ(G)$ of a graph $G$ is that of its matching polynomial. In this paper, all limit points of the largest matching roots of graphs are determined. More precisely, we identify the limit points of the largest matching roots of graphs less than $τ^{\frac{1}{2}}+τ^{-\frac{1}{2}}$. For any $γ\geq τ^{\frac{1}{2}}+τ^{-\frac{1}{2}}$ with $τ=\frac{\sqrt{5}+1}{2}$, there exists a graph sequence $\{G_i\, |\, i\in \mathbb{N}\}$ such that $\lim\limits_{i \rightarrow \infty}μ(G_i)=γ$.
Bricks in which every vertex is incident with a forcing edge
An edge of a matching covered graph G is a forcing edge if it lies in precisely one perfect matching of G. A matching covered graph is a brick if and only if it is 3-connected and bicritical (the deletion of each pair of distinct vertices results in a graph with a perfect matching). In this paper, we prove that every vertex of a brick is incident with a forcing edge if and only if the brick is an odd wheel up to multiple edges.
An Erdős Matching Conjecture for Vector Spaces
We study a vector-space analogue of the Erdős Matching Conjecture. Let $m_q(n,k,s)$ denote the maximum cardinality of a family of $k$-dimensional subspaces of an $n$-dimensional vector space over $\mathbb F_q$ with no $s+1$ members whose sum is direct. Two natural constructions provide lower bounds. The first consists of all $k$-subspaces contained in a fixed $((s+1)k-1)$-dimensional subspace; the second consists of all $k$-subspaces that intersect a fixed $s$-dimensional subspace nontrivially. These constructions motivate the following vector-space analogue of the Erdős Matching Conjecture: for all $n\ge (s+1)k$, $$m_q(n,k,s)=\max\left\{\genfrac{[}{]}{0pt}{}{(s+1)k-1}{k}_q,~\genfrac{[}{]}{0pt}{}{n}{k}_q-q^{ks}\genfrac{[}{]}{0pt}{}{n-s}{k}_q\right\}.$$ We prove this conjecture when $k=2$, when $n=(s+1)k$, and when $n$ is sufficiently large. In particular, the case $k=2$ may be viewed as a vector-space analogue of the Erdős--Gallai theorem. In the large-$n$ range, we also prove a Hilton--Milner-type stability theorem, determining the largest nontrivial families with this property. Finally, we connect this problem with $t$-cover-free families in vector spaces and determine their extremal number up to a lower-order term, extending a recent result of Shan and Zhou for the special case $t=2$. The proofs combine Lovász's minimax theorem for matroid matchings, a high-dimensional Hoffman bound for uniform hypergraphs, and packing-design arguments in vector spaces.
Structural Reductions for Monochromatic Matchings and Ramsey Tilings
The Alon--Frankl--Lovász theorem determines the chromatic number of Kneser hypergraphs; equivalently, it gives the sharp minimum size of a monochromatic matching in every \(r\)-edge-colouring of the complete \(t\)-uniform hypergraph. The known proofs of the exact theorem are topological. We develop a topology-free structural framework for its asymptotic form and for related sparse and tiling problems.
Our main theorem shows that every \(r\)-colouring of a sufficiently pseudo-random \(t\)-graph can be reduced, with only \(o(n)\) loss in the largest monochromatic matching, to a colouring of \(K_n^{(t)}\) whose vertex set is partitioned into at most \(r\) parts and whose edge colours depend only on intersection profiles. The proof combines hypergraph regularity, LP duality, and convex-geometric compression. As consequences, we obtain a topology-free proof of the asymptotic AFL theorem, a sparse random transference theorem, and near-exact bounds in a linear-uniformity regime of Meunier's stable Kneser conjecture.
For a graph \(H\), let \(Rt_r(H;K_n)\) be the minimum, over all \(r\)-edge-colourings of \(K_n\), of the largest monochromatic \(H\)-tiling. We prove \[ Rt_r(H;K_n)=(β_{r,H}+o(1))n, \] where \(β_{r,H}\) is effectively computable from finitely many linear programs depending only on \(H\) and \(r\). An additional multipartite Ramsey extraction is the key ingredient needed to reconstruct consistent graph templates. This gives an effective asymptotic solution to the complete-host multicolour Ramsey-tiling problem, extending the classical two-colour theorem of Burr, Erdős and Spencer. We also determine explicit constants for several natural families, including connected non-bipartite graphs, balanced Hall-type bipartite graphs, complete bipartite graphs with three, four, and five colours, and a non-Hall bipartite example.
Strong chromatic index of bipartite graphs
An edge-coloring of a graph $G$ is called a strong edge-coloring if all its color classes are induced matchings in $G$; the minimum number of colors required for such a coloring, denoted by $χ_{s}'(G)$, is known as the strong chromatic index of $G$. For each vertex $v$ of a graph $G$, let $d_G(v)$ denote the degree of $v$ in $G$. Let $G$ be a bipartite graph with partite sets $A$ and $B$, and let $Δ_A=\max\{d_G(a): a\in A\}$ and $Δ_B=\max\{d_G(b): b\in B\}$. A conjecture of Brualdi and Quinn Massey asserts that \( χ_s'(G) \le Δ_A Δ_B\). In this paper, we show that \(χ_s'(G) \le 1.676\, Δ_A Δ_B\) provided that the product $Δ_AΔ_B$ is sufficiently large.
Height functions on the $m \times n$ Miura-ori flip graph: degree sequence and diameter
The state space of an origami crease pattern forms a flip graph, whose vertices are the flat-foldable mountain-valley assignments and whose edges join assignments differing by a single face flip. For the $m \times n$ Miura-ori, the degree sequence and diameter of this graph are known only for two rows. Each assignment maps to an integer height function on the grid, under which a vertex's degree equals its number of local extrema. In this model the vertices of each degree up to five are counted by an explicit polynomial in $m$ and $n$, valid once both exceed a bound that grows with the degree, and the height functions realizing those degrees are described explicitly. A closed-form lower bound for the diameter holds for all $m$ and $n$, and the matching upper bound reduces to an extremal inequality for $1$-Lipschitz functions on the grid, recovering the two-row distance at $m=2$. Since each invariant is read from the extrema or height differences of a grid function, the same reduction applies to any flip-graph quantity expressible in those terms.
Intersecting Families of Spanning Trees of $K_{n,n}$
A family of spanning trees of a graph is $t$-intersecting if any pair of spanning trees in the family has $t$ or more edges in common. For sufficiently large $n$ and $t \leq n/C\log_2 n$ for some absolute constant $C>0$, we give a nearly complete characterization of the extremal $t$-intersecting families of spanning trees in balanced complete bipartite graphs with parts of order $n$. In particular, for $t=1$, we give exact bounds and a full characterization of the extremal families. For $t \geq 2$, our bounds are tight up to lower-order terms, and we show that any extremal $t$-intersecting family is of the form $\mathcal{F} \cup \mathcal{S}'$ where $\mathcal{F}$ is a family of all trees containing a fixed $t$-matching, and $\mathcal{S}'$ is a distinguished set of exceptional trees of size $|\mathcal{S}'| = o(|\mathcal{F}|)$.
Higher $q$-Continued Fractions and Dimers on Band Graphs
In this paper, we explore the theory of higher dimers on band graphs. First, we provide a combinatorial interpretation for the trace of the $q$-deformed higher continued fraction matrices, by showing that with respect to a $q$-weighting on edges, the trace gives the dimer partition function on the set of good higher dimers, which generalizes the notion of good perfect matchings. We also show that the set of good higher dimer covers form a distributive lattice with respect to face flips on square faces. Finally, we attempt to generalize the symmetry result on circular fence posets to the case of good higher dimers, by showing that the dimer partition on a certain family of band graphs are palindromic, in particular, through an approach fitting in the context of dimer theory.
Some Symmetric Sign Patterns Requiring Full $P$-vertices
A sign pattern is a matrix whose entries belong to $\{+, -, 0\}$. Let $\mathcal{P}$ be a symmetric sign pattern and $A$ a real symmetric matrix in its qualitative class. A vertex $v_j$ of the underlying graph of $\mathcal{P}$ is called a $P$-vertex if $ m_{A(j)}(0)-m_A(0)=1,$ where $A(j)$ is the principal submatrix obtained by deleting the $j$-th row and column of $A$, and $m_A(0), ~m_{A(j)}(0)$ denotes the algebraic multiplicity of the eigenvalue $0$ of $A, ~A(j)$, respectively. We say that $\mathcal{P}$ requires full $P$-vertices if every symmetric matrix in its qualitative class has all vertices as $P$-vertices. In this paper, we investigate structural conditions under which symmetric sign patterns require full $P$-vertices. We establish necessary and sufficient conditions for several classes of sign patterns to require full $P$-vertices. In particular, we prove that a tree sign pattern with a $0$-diagonal requires full $P$-vertices if and only if its underlying graph admits a perfect matching. We also derive necessary and sufficient conditions for sign patterns whose underlying graphs contain cycles but no loops to require full $P$-vertices.
On the number of perfect matchings in planar graphs
We investigate the minimum non-zero number of perfect matchings in planar graphs. We prove that this is a constant for 2-connected planar graphs of minimum degree 3 and 3-connected planar graphs. In the former case, the constant is 4 and this is best possible. In the 3-connected case, we give several infinite families, including nearly 3-regular graphs and triangulations with a constant number of perfect matchings. In contrast, it was known that in the 4-connected case the minimum non-zero number of perfect matchings is at least linear. For 5-connected triangulations, it follows from a result of Alahmadi, Aldred, and Thomassen that there must be exponentially many perfect matchings. The families of planar graphs we investigate here are classified by connectivity. We conclude the article with an infinite family of counterexamples to a conjecture published by Zaks; these are not planar, but very much concern connectivity constraints.
An exact robust Ramsey theorem for matchings
Keevash and Michaeli recently proved that, under the robustness assumption that \(G\) is an \(s\)-connector (i.e. \(\overline G\) is \(K_{s,s}\)-free), \(G\) has essentially the same multicolour Ramsey matching properties as complete graphs, with an additive error \(O(qs)\), where \(q\) is the number of colours. They asked whether the dependence on \(q\) can be removed. We answer this question in a stronger exact form. For \({\bf t}=(t_1,\ldots,t_q)\in\mathbb N_+^q\), let \(R_s({\bf t})\) be the smallest integer \(N\) such that every \(N\)-vertex \(s\)-connector \(G\) satisfies \(
G\to (t_1K_2,\ldots,t_qK_2). \) We determine the exact value \[
R_s({\bf t})=\sum_{j\in[q]}(t_j-1)+
\max\left\{2s,\ s+\max_{j\in[q]}t_j\right\}. \] While Keevash and Michaeli's proof uses a compression algorithm based on the Gallai--Edmonds decomposition to reduce the colouring to a structured form, our proof is a direct minimal-counterexample argument together with a new counting method for monochromatic matchings which can be applied to \(s\)-connectors.
Exact 6-cut rigidity and small-order superconnectivity for the 6-regular case of Dirac's k=4 problem
Dirac asked in 1970 whether for every k >= 4 there is a k-vertex-critical graph without critical edges; Jensen settled all k >= 5, and only k=4 remains open. Following Skottova and Steiner, call a graph G a (4,1)-graph if chi(G)=4, chi(G-v)=3 for every vertex v, and chi(G-e)=4 for every edge e; they proved delta(G) >= 6 and lambda(G) >= 6 for every (4,1)-graph and asked whether a 6-regular (4,1)-graph exists. We prove three results about this 6-regular case. Theorem A (computational): there is no 6-regular 4-vertex-critical graph on n <= 15 vertices, except for a unique graph (up to isomorphism) on n=13, whose 13 critical edges form a Hamilton cycle; hence any 6-regular (4,1)-graph has at least 16 vertices. Theorem B: in a 6-regular (4,1)-graph every 6-edge-cut is either the edge star of a vertex or has both shores of size at least 15; consequently every 6-regular (4,1)-graph on at most 29 vertices is super-6-edge-connected. Theorem C (all sizes): no shore of a nontrivial 6-edge-cut in a 6-regular (4,1)-graph induces a bipartite graph; more generally, a shore whose deficiency is concentrated on two vertices forces them to receive equal colours in every proper 3-colouring. The proof of Theorem B rests on an exact classification of the 3x3 cut matrices of 6-edge-cuts in (4,1)-graphs (exactly 21 matrices, five types up to row/column permutations) together with a boundary-shortfall lemma; the unique near-miss is K_{3,3,3} minus a rainbow 3-matching. Several supporting lemmas are machine-checked in Lean 4/Mathlib.