matching
3278 papers tagged with this keyword
Graph Decompositions at the Expectation Threshold
For \(n\ge3\) and a graph \(H\) on at most \(n\) vertices, let \(q(H)\) be the expectation threshold for its containment in \(G(n,p)\). We prove that there are absolute constants \(a,L>0\) such that, for every \(C>0\), every graph of degeneracy at most \(C\log n/\log\log n\) has a deterministic edge decomposition into at most \(\lceil a(C+1)\rceil\) pieces, each with ordinary containment threshold at most \(Lq(H)\). This removes the maximum-degree hypothesis from a theorem of Ascoli, He, Park, and Talagrand in their approach to Talagrand's discrete convexity problem. With constants depending on the fixed parameters, a structural extension allows the addition of \(O(\log n)\) vertices with arbitrary incident edges. The uniform main bound also gives an \(O(1+\log\log n)\)-piece decomposition for every target graph, with an absolute threshold multiplier. The main ingredient converts Li's two-set coupling for spread measures into a partition of a prescribed neighborhood list, fixed before the random host is sampled. It allows arbitrary overlaps and repetitions and controls all Hall matching conditions simultaneously by bounding target demand and host supply through common two-sided approximations under the biased host measure.
Three-dimensional symmetric designs of propriety 3
We define symmetric designs of dimension $n$ and propriety $d$, providing a unifying generalization of several classes of higher-dimensional symmetric designs previously studied. We focus on the case $n=d=3$, which leads to the following question: Can we fill the $v^3$ cells of a $v\times v\times v$ cube with $\{0,1\}$ in such a way that each layer parallel to each face contains a fixed number $k$ of ones, and that for every two parallel layers there are exactly $λ$ positions where they have matching ones? We establish necessary conditions on the parameters $(v,k,λ)$, introduce notions of difference sets and multipliers for these objects, and enumerate small examples up to equivalence. Furthermore, we construct infinite families of these objects using difference sets, symmetric designs, doubly regular tournaments, Hadamard matrices, Latin cubes, and association schemes on triples.
Matchings and product growth in modular abelian independence groups
We unify two matching theories, one for finite subsets of groups and the other for finite-dimensional subspaces in a field extension. To achieve this, we study groups equipped with a compatible finitary matroid structure, termed here independence groups. Applying Rado's independent transversal theorem, we derive necessary and sufficient rank criteria for matchability between finite-rank sets. In the setting of a modular abelian independence group $G$, we develop an analogue of the $e$-transform from additive number theory, derive structural matching criteria, and characterize a global matching property by the absence of a finite-rank submonoid $H$ satisfying $1<ρ(H)<ρ(G)$, where $ρ$ denotes rank. Examples of modular abelian independence groups are given and examined in the matching context.
Arising from this matching theory, but formulated without any reference to it, is a product-growth bound that generalizes the Cauchy--Davenport theorem: we define a parameter $μ(G)$ and prove that $ρ(XY)\geq \min\{μ(G),ρ(X)+ρ(Y)-1\}$ for all nonempty finite-rank subsets $X,Y$ of $G$. Furthermore, $ρ(XY)$ is shown to be controlled from below by a submonoid of $G$ that stabilizes a flat, a phenomenon reminiscent of Kneser's theorem.
The Pairing-Hamiltonian property in Cartesian products of graphs
Let $G$ be a simple graph of even order at least four, and let $K_G$ denote the complete graph on $V(G)$. A perfect matching of $K_G$ is called a pairing of $G$. The graph $G$ has the Pairing-Hamiltonian property, or PH-property, if every pairing $M$ of $G$ admits a perfect matching $N\subseteq E(G)$, disjoint from $M$, such that $M\cup N$ is a Hamiltonian cycle of $K_G$.
We prove that the PH-property is preserved under Cartesian products. More precisely, for graphs $G$ and $H$ of even order at least four, we show that both $G$ and $H$ are PH if and only if every pairing of $G\square H$ admits a Hamiltonian completion contained in a spanning union of vertex-disjoint prisms determined by a perfect matching of $G$ or of $H$. Without this support restriction, the converse fails: a Cartesian product may be PH even when neither of the two graphs is PH.
Induced packing treewidth II. Excluding a clique or a biclique
The notion of induced packing treewidth aims to unify classes defined by forbidden induced subgraphs or induced minors with classes defined by the existence of certain structured tree decompositions. For a graph $H$, \emph{induced $H$-packing treewidth}, denoted by $\treepi_{H}$, is a tree-decomposition-based graph parameter that, for each bag, measures the maximum number of pairwise anticomplete induced copies of $H$ intersecting that bag. This notion generalizes some previously studied parameters: when $H=P_1$, it is equivalent to tree-independence number, and when $H=P_2$, it is equivalent to induced matching treewidth.
We prove the following:
\begin{itemize}[itemsep=2mm,leftmargin=6mm]
\item For all $a,t\in \mathbb{N}$, $K_{a,a}$-free graphs of bounded induced $P_t$-packing treewidth have bounded tree-independence number.
This extends the previous result of Abrishami et al. [SIAM J. Discrete Math., 2025] for $t=2$, and a result of Hajebi and Spirkl who showed that $(P_t,K_{a,a})$-free graphs have bounded tree-independence number.
\item If $H$ is any fixed path or a star, then the class of graphs of bounded induced $H$-packing treewidth is $χ$-bounded.
Again, this extends the previous result of Abrishami et al. [SIAM J. Discrete Math., 2025] for $H=P_2$.
\item Finally, we study the relationship between induced packing treewidth and \emph{sim-width}, a width parameter based on branch decompositions.
We show that, although \emph{sim-width} and induced $P_3$-packing treewidth are incomparable, graphs of bounded sim-width that exclude all \emph{$H$-obstructions}---certain graphs that force large induced $H$-packing treewidth---have bounded induced $H$-packing treewidth.
This simultaneously generalizes and resolves questions posed by Abrishami et al. [SIAM J. Discrete Math., 2025] and Brettell et al. [European J. Comb., 2025]. \end{itemize}
A solution to a conjecture on the signless Laplacian spectral radius for $t$-color-critical graphs
An induced matching is a matching that forms an induced subgraph. A graph is $t$-color-critical if removing some induced matching of size $t$ lowers its chromatic number, but removing any $t-1$ vertices does not. Let $F$ be a $t$-color-critical graph with $χ(F)=r+1$. For sufficiently large $n$, Simonovits determined the unique edge-extremal $F$-free graph on $n$ vertices. Recently, Zheng, Li and Li [Linear Algebra Appl.\ 730 (2026) 546--565] conjectured that, for $t\ge 2$ and $r\ge 3$, the join $K_{t-1}\vee T_{n-t+1,r}$ uniquely maximizes the signless Laplacian spectral radius among all $n$-vertex $F$-free graphs when $n$ is sufficiently large. In this paper, we prove this conjecture. In contrast to the usual spectral arguments, our proof of this conjecture relies on two techniques of a rather different flavour. Our first technique is an analogue of Zykov symmetrization for the signless Laplacian matrix. Our second technique is an induction on $n$, from which we obtain the lower bound on the smallest entry of the Perron vector of a signless Laplacian spectral extremal graph rather than a structural statement.
A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph
Conway's 99-graph problem asks whether a strongly regular graph with parameters $\mathrm{srg}(99,14,1,2)$ exists. We develop two complementary lines of attack. Fixing one vertex, the conditions $λ=1$ and $μ=2$ force its neighbourhood to be a perfect matching and determine every edge between that neighbourhood and the remaining vertices. For $(99,14,1,2)$, the unresolved part is therefore a constrained $12$-regular graph on $84$ vertices. We encode this reduction in CP-SAT and validate it by recovering the unique $\mathrm{srg}(9,4,1,2)$. We also prove by exhaustive enumeration that no circulant graph on $\mathbb{Z}/99$ satisfies more than $68.0\%$ of the CAISc constraints, and we give a validated orbit formulation for prescribed automorphisms. We then study the partial-score search problem. Fourteen human-designed search configurations reached at most $69.43\%$. Separately, we supplied the scoring function to an evolutionary program-search system. It produced a degree-preserving $4$-vertex-switch tabu search whose best verified artifact scores $70.73\%$. The generated move differs from those used in our own searches and crosses a plateau that was stable under them. These results do not resolve the existence problem, but they reduce the exact search space and improve the best verified partial construction found in our experiments.
Small circumference in regular sublinear expanders
Sublinear expansion is weak enough to be extracted from arbitrary graphs while retaining nearly all of their average degree, yet it has proved strong enough to force global structures in many sparse extremal problems. Letzter, Methuku and Sudakov [JLMS 2026] proved the existence of nearly Hamilton cycles in sufficiently dense regular sublinear expanders. Montgomery [ICM 2026] subsequently conjectured that, every $d$-regular sublinear expander with $d$ sufficiently large (but constant) is Hamiltonian. We disprove this conjecture in a strong form by constructing $n$-vertex $d$-regular sublinear expanders with $d=\left(\frac12+o(1)\right)\log^2 n$, which can forbid any cycle covering an arbitrarily small given positive constant portion of its vertices. The construction blows up one side of a biregular Ramanujan graph into almost-complete blocks and keeps the other side as a sparse vertex separator.
We also prove a similar statement for a closely related notion of edge expanders. For every sufficiently small $γ>0$, there is an infinite family of $n$-vertex $d$-regular $γ$-edge-expanders with $d=Θ(γ^{-1})$ and circumference $O(γn)$, matching the standard lower bound $Ω(γn)$. The construction also comes from an expanding regular core such that each vertex has an almost-complete graph attached to it. The core guarantees edge expansion, while the single-vertex attachments confine every cycle.
The resonance graphs of nanotubes and toroidal polyhexes
Coronoid systems, nanotubes and toroidal polyhexes (or fullerenes) can all be regarded as carbon networks composed of carbon atoms linked in hexagonal shapes. The resonance graphs of coronoid systems and nanotubes are not necessarily connected. For coronoid systems and elementary nanotubes, by using flow across cuts the present authors gave criteria for two perfect matchings lying in the same connected component of the resonance graph (Discrete Appl. Math. 395 (2026) 443-455). However, the sufficiency of such criterion does not hold for general nanotubes and toroidal polyhexes. In this paper we strengthen this requirement to obtain valid criteria for two perfect matchings of a nanotube (resp. toroidal polyhex) to lie in the same connected component of its resonance graph: they have the same flows across cuts along the $x$-axis (resp. longitude and latitude) and the same ladders. For toroidal polyhexes, our method uses homotopic classes of simple loops on the torus, and the above criterion can be simplified by using only simple flows, for the case in which two perfect matchings have alternating hexagons.
Maximum and Minimum Spectral Radii in an Exceptional Family for Edge-Disjoint Spanning Trees
For a connected graph $G$, let $τ(G)$ denote the maximum number of pairwise edge-disjoint spanning trees, and let $ρ(G)$ be its adjacency spectral radius. For integers $n\ge1$, $k\ge2$, and $k\leδ\le2k-1$, let $\mathcal{G}_{n,δ}$ be the class of connected $n$-vertex graphs with minimum degree $δ$, and let $\mathcal{L}_{\mathcal{H}}^{2}(n,k,δ)\subseteq\mathcal{G}_{n,δ}$ be the exceptional family introduced by Chang, Li, and Zhang. For sufficiently large $n$, the sharp adjacency-spectral threshold for $τ(G)\ge k$ is determined by maximizing $ρ(G)$ over this family.
Set $h=δ-k$. For each fixed admissible pair $(k,δ)$ and all sufficiently large $n$, we determine the maximum and minimum adjacency spectral radii in $\mathcal{L}_{\mathcal{H}}^{2}(n,k,δ)$. In the core--placement representation, let $M$ be the missing-edge graph of the bounded core. For $h\ge2$, the unique maximizer, up to isomorphism, satisfies $M\cong K_{1,h}\cup(h+1)K_1$, with the exceptional edges nested on the large-clique side. Hence the matching configuration proposed in Conjecture~2 of Chang--Li--Zhang is not extremal. For every $h\ge1$, the unique minimizer satisfies $M\cong hK_2\cup2K_1$, with the $2h$ exceptional edges having distinct endpoints on the large-clique side. We also settle the cases $h=0,1$ and all equality cases.
The proof combines an exact core--placement parametrization with a uniform Schur-complement resolvent expansion. The first candidate-dependent coefficient is affine in $\sum_{x\in V(M)}d_M(x)^2$, while the first placement-sensitive coefficient is a squared-load functional. Equitable quotient matrices yield the two extremal radii, and the maximizing graph gives the sharp global adjacency-spectral threshold.
Ordered matchings versus triangles via pseudorandom triangle-free graphs
For ordered graphs $H_1,\ldots,H_t$, let $\rt(H_1,\ldots,H_t)$ denote the least integer $N$ such that every $t$-coloring of the edges of the naturally ordered complete graph on $[N]$ contains an ordered copy of $H_i$ in color $i$ for some $i\in[t]$. We prove that a uniformly random ordered matching $M$ on $n$ vertices with interval chromatic number two asymptotically almost surely satisfies \[
\rt(K_3,M)
=Ω\left(\frac{n^{4/3}}{(\log n)^{1/3}}\right). \] This strengthens the lower bound $Ω((n/\log n)^{5/4})$ of Balko and Poljak for such random matchings and improves the general existential lower bound of Conlon, Fox, Lee and Sudakov by a factor of $\log n$. The proof combines pseudorandom triangle-free graphs, a coarse encoding of order-preserving embeddings, and a permutation avoidance estimate derived from Brègman's inequality.
On the Critical Window for Adaptable 2-Colorability
We determine a sharp threshold for the adaptable 2-colorability of a random graph equipped with a uniformly random, not necessarily proper, red/blue coloring of the edges. To accomplish this, we characterize a family of subgraphs along with edge colorings whose inclusion or exclusion determines adaptable $2$-colorability. We further show that above the threshold, a long path with alternating edge colors is formed. We use this path to prove the existence of such a subgraph in the supercritical regime. We then provide and prove symmetric bounds on the critical window for $2$-adaptable colorability. Particularly, we prove bounds matching that of the critical windows for the giant component in the Erd$ő$s-R$é$nyi random graph model as well as the satisfiability of a random $2$-SAT instance. Finally, we show that below the critical window, the solution space of adaptable $2$-colorings remains connected, that is one can travel from one adaptable $2$-coloring to another by a sequence of $2$-colorings which differ on $O(\log{n})$ many vertices.
Hamiltonicity in graphs defined by primes and primitive elements
A prime circle of order $2n$ is a circular ordering of $1,\ldots,2n$ such that the sum of every two adjacent terms is prime. We prove that a prime circle exists for every sufficiently large $n$. The proof is based on a perfect matching and robust expansion. We also study Hamilton cycles in graphs and digraphs defined by primitive sums and differences over finite fields. In particular, the primitive-sum graph on $\F_q$ is Hamiltonian for every prime power $q>18\,888\,871$, and for the graph on a full prime field $\F_p$, the bound improves to $p>61$.
Sim-Width, Induced Matching Treewidth, and Tree-Independence Number in Induced $K_{t,t}$-Free Graphs
The tree-independence number $tree\text{-}α(G)$, the induced matching treewidth $tree\text{-}μ(G)$, and the sim-width $simw(G)$ are graph parameters defined in terms of tree or branch decompositions. We establish two polynomial bounds for the tree-independence number of induced $K_{t,t}$-free graphs, one in terms of sim-width and the other in terms of induced matching treewidth. Abrishami et al. (SIDMA, 2025) and Brettell et al. (EJC, 2025) asked whether bounded sim-width, together with the exclusion of an induced $K_{t,t}$, implies bounded tree-independence number. We answer this question by proving that, for integers $t\geq 2$ and $s\geq 1$, every induced $K_{t,t}$-free graph $G$ with $simw(G)\leq s$ satisfies $tree\text{-}α(G)=O_t\left((s+1)^{2t^2-2t}\right)$. This also proves a polynomial strengthening of a conjecture of Bešter Štorgel et al. (arXiv, 2026) concerning induced $K_{1,t}$-free graphs and improves a theorem of Alon et al. (arXiv, 2025) by reducing the exponent from $3t^2+1$ to $2t^2-2t$. Alon et al. (arXiv, 2025) asked whether, for fixed induced matching treewidth, the tree-independence number is polynomially bounded in $t$. Using a VC-dimension argument, we answer this question affirmatively by showing that, for integers $μ\geq 1$ and $t\geq 2$, every induced $K_{t,t}$-free graph $G$ with $tree\text{-}μ(G)\leqμ$ satisfies $tree\text{-}α(G)=t^{O_μ(1)}$.
From Yang-Baxter to Robinson-Schensted-Knuth
We explain how to derive the Robinson-Schensted-Knuth (RSK) correspondence, a fundamental bijection in algebraic combinatorics, from the Yang-Baxter equation. The Yang-Baxter equation arose in the study of quantum many-body systems and later became a cornerstone of the theory of solvable lattice models, particularly vertex models. In a vertex model, arrows occupy the edges of a grid, and each vertex carries a Boltzmann weight determined by the arrows on the four edges meeting at it. The weight of a configuration is the product of these local weights, and a partition function is the sum of the weights of all configurations with prescribed boundary conditions. For a vertex model whose partition functions are the Schur polynomials, the two sides of each instance of the Yang-Baxter equation admit exactly one weight-preserving matching of their summands. Carried across a grid, this forced matching is the classical RSK correspondence in the form of Fomin's growth diagrams. In natural coordinates the local matching becomes the combinatorial three-dimensional R, a set-theoretic solution of the Zamolodchikov tetrahedron equation. Its periodic closure returns the combinatorial R-matrices of one-row crystals.
The forced matching is special to the Schur weights. For the Hall-Littlewood and q-Whittaker deformations and their spin versions, at generic parameter values no deterministic matching works for all boundary data. Reading each instance of the Yang-Baxter equation probabilistically, we replace the matching by a coupling of the two sides - a bijectivization, or probabilistic bijection - and obtain Markov operators that transport probability measures attached to vertex models. Iterated over the grid, these operators produce randomized RSK-type dynamics and interacting particle systems, including q-PushTASEP and the stochastic six-vertex model.
The List Edge-Coloring Conjecture for New Infinite Families
The List Edge-Coloring Conjecture predicts that any graph whose edges can be colored with $k$ colors can also be colored from arbitrary lists of $k$ colors. We prove its stronger online form for two new infinite families, $K_{p-1}$ and $K_{2p}$, where $p$ is an odd prime. For even $n$, order the vertices of $K_n$ and draw each perfect matching as arcs above them. Count crossings separately within each matching, and let $S_n$ be the number of decompositions into perfect matchings having an even total crossing count minus the number having an odd total. Then \[
S_{p-1}\equiv\left(\frac{-2}{p}\right)\pmod p,
\qquad
S_{2p}\equiv-p\pmod {p^2}. \] The two congruences are governed by the same elementary matching sum over $\F_p$, although their proofs use the prime $p$ differently. Their nonzero residues give the conjectured values even in the online game. They also treat the corresponding complete graphs with one perfect matching removed, as well as $K_{2p}$ after deleting some, but not all, of a natural cyclic family of $p$ disjoint perfect matchings.
A Better-Than-$3$ Approximation Algorithm for Demand Matching via Knapsack Intersection LP and Contention Resolution
The demand matching problem generalizes both the knapsack problem and the $b$-matching problem. In this problem, each edge of a graph has a demand and a weight, and each vertex has a capacity. The goal is to find a maximum weight subset of edges such that, at each vertex, the total demand of the incident selected edges does not exceed the vertex capacity. Parekh [IPCO 2011] proved that, if each edge is individually feasible, the natural LP relaxation for demand matching has integrality gap at most $3$, yielding a $3$-approximation algorithm. This bound is tight for the natural LP relaxation, matching the lower bound of Shepherd and Vetta [Math. Oper. Res. 2007].
We present a randomized $(3/2 + \sqrt{2} + \varepsilon) \approx (2.914 + \varepsilon)$-approximation algorithm for the demand matching problem for every $\varepsilon > 0$, giving the first approximation ratio strictly better than $3$. For bipartite graphs, we obtain a randomized $(2 + \varepsilon)$-approximation algorithm for every $\varepsilon > 0$. Both algorithms run in time polynomial in $1/\varepsilon$ and the input length. Our algorithms use a strengthened LP relaxation based on intersecting the integral knapsack polytopes associated with the vertices, together with a multiple-choice generalization. As a key ingredient, we prove the existence of a $(q, 1/(1+q))$-balanced contention resolution scheme for the integral knapsack polytope for every $q \in [0, 1]$, which may be of independent interest. The balance guarantee $1/(1+q)$ is tight in the worst case over all knapsack instances.
Homological invariants of Edge Ideals associated to powers of cycles
Let $G_{n,m}=\overline{\C_n^{[m]}}$, where $\C_n^{[m]}$ denotes the
closed $m$th power of the $n$-cycle. We study the graded Betti numbers
and homological invariants of the edge ring of $G_{n,m}$ in the range
$n\geq 3m+1$. These graphs form a natural family for the study of edge rings whose
regularity can be compared explicitly with the induced matching number.
In particular, for $n\geq4m+1$, the graph $G_{n,m}$ has induced matching
number one, whereas its edge ring has regularity two.
Our approach is based on a characterization of the homology of the
induced subcomplexes of the independence complex
$Δ(G_{n,m})$. We introduce a family
$\mathcal{S}_V(k,m)$ of vertex subsets characterized by their successive
gaps around the cycle and show that, for $W\in\mathcal{S}_V(k,m)$, the
induced subcomplex $Δ[W]$ has the homotopy type of $\mathbb{S}^1$,
whereas for $W\notin\mathcal{S}_V(k,m)$ all its positive-dimensional
reduced homology groups vanish. Combining this characterization with
Hochster's formula and an explicit enumeration of
$\mathcal{S}_V(k,m)$, we obtain a closed formula for the graded Betti
numbers in the second strand. We further determine the extremal Betti
number, regularity, and projective dimension of the edge ring of $G_{n,m}$. Finally, we
compute the $f$- and $h$-vectors of the independence complex and use
the Hilbert series to determine the graded Betti numbers in the linear
strand. The case $m=2$ recovers the corresponding results for complements of
squares of cycles obtained in~\cite{RatherSquare}.
Improved Approximation for Unsplittable CVRP via a Greedy Approach
We devise a polynomial-time $3.159$-approximation algorithm for the metric unsplittable Capacitated Vehicle Routing Problem. We build on the Relative Greedy Algorithm suggested by Traub (2025), which can be considered as a variant of the LP rounding algorithm of Friggstad, Mousavi, Rahgoshay, and Salavatipour (2025). Our main ingredient is the Average Greedy Algorithm, a new algorithm that controls both tour costs and the coverage of clients with high demand. This additional control enables a sharper averaging argument for the cost of subsequent greedy choices. Similarly to Zhao and Xiao (2026), combining the Average Greedy with variants of tour partitioning and a matching algorithm yields the final approximation guarantee.
The threshold for online balancing of i.i.d. binary vectors
Consider the task of online vector balancing for stochastic arrivals $X_1,\ldots,{X_T}$, where the $X_i$ are independent uniformly random $d$--sparse binary vectors in $\{0,1\}^n$. This is a random analogue of the online Beck--Fiala problem. We show that uniformly for $2\le d\le n/2$ and $T = Θ(n)$, the optimal online prefix discrepancy $\max\limits_{t\leq T}\left\|\sum_{i=1}^tσ_i X_i\right\|_\infty$ is of order \[
Θ\big(\max\{\sqrt d,\log\log n\}\big). \] The upper bound is achieved by an efficient online algorithm. Thus, for $d\le(\log\log n)^2$, the optimal discrepancy is $Θ(\log\log n)$ and is independent of the sparsity up to constant factors, whereas above this scale it is $Θ(\sqrt d)$, matching the order of the offline discrepancy. This identifies the threshold at which sparsity begins to govern the online discrepancy of the random Beck--Fiala model.