matching
3165 papers tagged with this keyword
Characterization and equilibrium of bichromatic max-sum matchings
We study maximum-sum red-blue matchings and matching equilibrium for finite planar point sets. For a red-blue perfect matching $M = \{(a_i,b_i) : 1 \le i \le n\}$, we define the gain of a directed red cycle as the change in total weight produced by cyclically shifting the corresponding blue partners. We prove that $M$ is maximum-sum if and only if every directed red cycle has nonpositive gain, and we derive a geometric sufficient condition for optimality from cyclic intersections of distance-difference regions. We then characterize balanced matchings, in which all red-blue perfect matchings have the same total weight. Equilibrium is shown to be equivalent to vanishing cycle gains, to an additive form of the distance matrix, and to a common level-set condition for distance-difference functions. In the squared Euclidean case this yields an orthogonality classification, while in the Euclidean case it yields a hyperbolic level-set description and a collinear-separation classification in the nondegenerate setting.
Homological invariants of edge ideals of the multiple extended complete split-like graphs
We study the graphs $MECS_{b,n}^a \cong \overline{K}_a \join \big(n(K_b+K_2)\big)$, obtained by attaching an independent set of size $a$ to $n$ disjoint copies of the block $K_b+K_2$. For $n=1$, we get $MECS_{b,1}^a$, and recover the results of one-block case studied in [Anand, Gupta, Rather and Singh, Homological invariants of some complete split-like graphs, Beitr. Algebra Geom. (2025)]. Using Hochster's formula, tensor products of minimal free resolutions over disjoint variable sets, and the Betti-number formula for graph joins, we derive explicit descriptions of the independence complex, independence polynomial and its analytic properties, Hilbert series, linear and quadratic Betti strands, regularity, projective dimension, and several structural invariants of $MECS_{b,n}^a$. We further classify the well-covered and unmixed members, compute induced matching numbers, show that the family is never Cohen--Macaulay, and record algorithmic procedures for evaluating the Betti data.
Regular anti-phase templates in the stable marriage problem: a generator criterion, its converse, and a counting bound
We study a family of highly symmetric instances of the stable marriage problem built from regular actions of finite groups. Given a finite group G of order n and an ordering A of its elements, we define the regular anti-phase template P(G,A). These templates have n canonical stable matchings. We show that the anti-phase condition is canonical: among automorphism-maximal profiles, the anti-phase templates are exactly those satisfying a constant rank-sum identity. This gives a structural characterization rather than an ad hoc definition. We prove a generator criterion and its exact converse: the stable set has size n if and only if each adjacent quotient generates the group. This result holds for all finite groups and does not require commutativity. We further establish a counting lower bound for the number of stable matchings in terms of subgroup indices. The bound is sharp for groups of order at most 5 and for all groups of order 4; in particular, it yields at least 10 stable matchings for the Klein group, with equality confirmed by enumeration. Finally, we show that cyclic profiles do not always produce chains; the structure depends on the ordering. All computational claims are verified by an accompanying script.
Gårding's Theorem for Posynomials
We extend Gårding's theorem to homogeneous posynomials: if a finite positive sum of monomials with arbitrary nonnegative real exponents is zero-free on a product of right half-planes, then its degree-normalized root is concave. Consequently, zero-freeness in a sector of aperture $απ$ implies $α$-fractional log-concavity. This sharpens generic mixing and domain-sparsification guarantees for fixed-size matchings and nonsymmetric determinantal point processes. The result was developed in an AI-assisted interaction initiated and checked by the author; Codex also assisted with assembling and typesetting the manuscript.
Spanning Paths and Cycles: Structural Limitations of the Irrelevant Vertex Technique
The Irrelevant Vertex Technique is one of the cornerstones of algorithmic graph theory, underlying Robertson and Seymour's algorithm for \textsc{Disjoint Paths} and much of the algorithmic Graph Minors theory. We show that, in the setting of spanning routing, this technique exhibits an exact combinatorial limitation. Unlike classical routing problems, spanning routing is not governed by the number of distinguished vertices but by the way they are distributed throughout the graph. The input is a triple $(G,R,\mathcal{T})$ where $(G,R)$ is an annotated graph and $\mathcal{T}$ is a set of terminal pairs. The goal is to determine if $G$ contains a family of internally disjoint paths connecting the pairs in $\mathcal{T}$ such that the union of the paths spans the set $R$. We identify a new structural parameter of annotated graphs, called $\mathsf{depth}_2$, that measures precisely this phenomenon. Our main result is a complete combinatorial dichotomy: for every red-minor-closed class of annotated graphs, the Irrelevant Vertex Technique applies to \textsc{Spanning Disjoint Paths} \textsl{if and only if} the class has bounded $\mathsf{depth}_2$. Thus $\mathsf{depth}_2$ forms the exact structural boundary between classes where the Robertson-Seymour paradigm survives and those where it breaks down. Our proof combines a new local structure theorem for annotated graphs of bounded $\mathsf{depth}_2$ with a spanning analogue of the celebrated Vital Linkage Theorem. The resulting algorithm solves \textsc{Spanning Disjoint Paths} in time $2^{2^{\mathbf{poly}(k+d)}}\cdot n^2$ where $d$ is the $\mathsf{depth}_2$ of the input instance. We provide matching lower bounds showing that beyond bounded $\mathsf{depth}_2$ no irrelevant-vertex rule can exist, even on planar graphs. In particular, $\mathsf{depth}_2$ is the exact combinatorial barrier for the Irrelevant Vertex Technique under spanning constraints.
The perfect 1-factorisation conjecture holds asymptotically
A famous conjecture of Anton Kotzig states that for every even integer $n\ge 4$, the complete graph $K_n$ of order $n$ can be decomposed into $n - 1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. Despite the great interest, the conjecture is far from being solved. Here we show that the conjecture holds asymptotically, namely that $K_n$ can be decomposed into $n-1$ perfect matchings such that $(1-o(1))n$ of them have the property that any pair forms a Hamilton cycle.
Statistical Estimation of higher Dedekind Numbers
We provide highly accurate estimations of the 10th through 15th Dedekind Numbers, to a precision of 4 digits for $D(10)$, to 2 digits for $D(15)$. These estimates were obtained using three methods, including pair matching on large quantities of 9-dimensional monotone Boolean functions for $D(10)$, Reference Subsets for $D(10)$, $D(11)$, and $D(12)$. And our best method "Weight Layer Branching" which provided accurate estimates for all $D(10)$ through $D(15)$, strongly improving on the previous best known estimates by Korshunov and Tian-Shun Chen et al. arXiv:2606.09795
Two Conjectures on Extensions of Brouwer's Laplacian Conjecture
Let $G=(V,E)$ be a simple graph of order $n$ and let $λ_1(G)\ge \cdots \ge λ_n(G)$ be the eigenvalues of its Laplacian matrix. Brouwer conjectured that for every $1\le k\le n$, $\sum_{i=1}^kλ_i(G)\le |E|+\binom{k+1}{2}$. Lew (JCTB, 2026) established a weaker form of Brouwer's Laplacian eigenvalue inequality. The full Brouwer conjecture was recently proved by Kothari and Tudose. Lew also proposed two conjectures for upper bounds on the sum of the largest Laplacian eigenvalues, one in terms of the matching number and one in terms of the vertex-cover number. Using Brouwer's Laplacian inequality, we prove both conjectures.
Spectral Radius Conditions for 3-Uniform Intersecting Families
Let $M_k$ denote a matching of size $k$. The classical Erdős matching conjecture asks for the maximum number of edges of an intersecting $r$-graph without $M_k$. The csae for $k=2$, which is known as intersecting $r$-graph, is established by Erdős, Ko and Rado. Hilton and Milner further determine the maximum number of edges of a non-trivial intersecting $r$-graph, where the intersecting $r$-graph $H$ is called non-trivial if $\cap_{e\in E(H)}e=\emptyset$. In this paper, we investigate the spectral analogues of the hpergraph matching problems and intersecting family problems. More precisely, for sufficiently large $n$, we determine respectively the maximum spectral radius of $M_{k+1}$-free and non-trivial intersecting $3$-graphs on $n$ vertices, and characterize the extremal hypergraphs.
Perfect Matchings with Prescribed Differences Beyond Hall: The Two-Hole Problem
The Balister--Győri--Schelp (BGS) conjecture asks whether every zero-sum list of $2^{s-1}$ nonzero vectors in $\mathbb{F}_2^s$ is the prescribed-difference profile of a perfect matching. The conjecture remains open in general, whereas the classical Hall hyperplane case is solved when all prescribed differences cross between two affine copies of a hyperplane. We isolate the smallest mixed case beyond Hall: exactly two prescribed differences are internal. Although only two requests have changed type, the complete Hall permutation is replaced by a prescribed-difference bijection between two punctured copies of the hyperplane, with two unknown deleted vertices on each side. We call this the two-hole problem.
We develop a new combinatorial method for prescribed-difference matchings, based on counting and the character structure of the binary vector space. Unlike the known Hall-type methods, which construct a matching through a sequence of local algorithmic choices, our approach proves existence through a global noncancellation phenomenon. This loss of algorithmic structure is compensated by a different advantage: the method can retain global boundary information that local exchanges do not control. As a first application, it gives a new proof of the binary Hall theorem, and it then yields a complete solution of the two-hole problem with no multiplicity assumption. We also give direct constructive proofs for symmetric even-multiplicity two-hole and four-hole families. More broadly, the new technique provides a framework for studying further subfamilies of the BGS problem by measuring how far their matching structure departs from the Hall case.
Minimal Isometric Embeddings of Graphs into Cayley Graphs of Finite Abelian Groups
We study when, and how compactly, a finite connected graph (G) embeds isometrically into a Cayley graph of a finite abelian group. The classical theory of partial cubes answers this for isometric subgraphs of hypercubes through the Djokovic-Winkler relation (θ); we extend the question to the full family of abelian Cayley graphs, whose hosts may carry composite generators and cyclic factors of any order. We introduce an involutive edge relation (\varphi), defined by two simultaneous distance equalities, which coincides with (θ) exactly on partial cubes and remains informative beyond them, together with an oriented relation (Φ) for non-involutive hosts, where generator classes are constrained to be partial permutations rather than matchings.The central result is a quotient labeling theorem: for any partition of the edge set into candidate generator classes, the most generic consistent vertex labeling is the quotient of the free module on the classes by the lattice of signed cycle-class incidences, computed by the Smith normal form; the binary case is its reduction modulo two. We prove that the finest partition always yields an isometric labeling, that compactifying the resulting universal group is itself an instance of the same quotient construction, and that the whole construction is algorithmic and certifiable. Worked examples include the triangle, the Petersen graph (embedding into the Clebsch graph of order 16), the Pappus graph (a 1024-fold compaction), and the diamond (a non-diagonal fold). Sharp dimension bounds and an exhaustive census of small graphs are developed in a companion paper. 2020 MSC: 05C12, 05C25, 20K01, 05C50
On graphs with $1$-matching and $2$-matching edges
Let \(G\) be a graph admitting a perfect matching. An edge is called a {\it \(k\)-matching edge} if it belongs to exactly \(k\) perfect matchings, and a {\it \(k^{+}\)-matching edge} if it belongs to at least \(k\) perfect matchings. Thus, {\it an admissible edge} is a \(1^{+}\)-matching edge, and a connected graph is {\it matching covered} if every edge is admissible. We call a connected graph {\it \(k\)-matching covered} if every edge is a \(k\)-matching edge; in particular, a \(2\)-matching covered graph is called {\it matching double covered}.
Motivated by matching-covered graph theory and the Berge--Fulkerson conjecture (1970s), we introduce the class \(\mathfrak{B}\) of connected graphs in which every edge is either a \(1\)-matching edge or a \(2\)-matching edge, and no perfect matching contains edges of both types. In particular, every matching double covered graph belongs to \(\mathfrak{B}\). Using ear decompositions and tight-cut decompositions, we establish a complete structural characterization of graphs in \(\mathfrak{B}\). These characterizations reveal how restrictions on the number of perfect matchings containing each edge determine the global structure of the corresponding matching-covered graphs.
A Matching-Number Refinement of Brouwer's Laplacian Eigenvalue Inequality
Let $G=(V,E)$ be a finite simple graph with Laplacian eigenvalues
$λ_1(L(G))\ge\cdots\geλ_{|V|}(L(G))$, and define
\[
\eps_k(G)=
\sum_{j=1}^{\min\{k,|V|\}}λ_j(L(G))-|E|.
\]
Let $ν(G)$ be the matching number of $G$, and let $n(G)$ be the number of
non-isolated vertices of $G$. Lew proved that
\(\eps_k(G)\le kν(G)+\lfloor k/2\rfloor\), and conjectured that the
additive term can be removed in the non-endpoint range. We prove this
conjecture:
\[
\eps_k(G)\le kν(G)
\qquad
(1\le k\le n(G)-2).
\]
We also characterize all equality cases. Up to isolated vertices, equality
holds precisely for stars, for \(K_1\vee(K_k\cup\overline{K_{n-k-1}})\) with
\(k\) odd, and for \(K_n-E(K_{1,t})\) with \(n\) odd, \(k=n-2\), and
\(1\le t\le n-2\). We also analyze the endpoint range \(k\ge n(G)-1\), where
\(\eps_k(G)=|E|\), and determine the specific cases where the inequality \(\varepsilon_k(G)\le kν(G)\) fails or holds with equality.
A Spectral Confirmation of the Erdős Matching Conjecture
The Erdős Matching Conjecture concerns the maximum number of hyperedges in an $r$-uniform hypergraph with bounded matching number. In this paper, we study a spectral counterpart of this conjecture. For sufficiently large $n$, we determine the maximum spectral radius over all $n$-vertex $r$-uniform hypergraphs whose matching number is less than $s$, and characterize the unique extremal hypergraph.
To establish the main theorem, we first apply the shifting method to reduce the problem to shifted hypergraphs. We then derive several spectral upper bounds through hypergraph decomposition and related variational estimates for tensor spectral radii. With these estimates, we analyze the structural properties of shifted-saturated hypergraphs and prove the spectral extremal theorem for shifted hypergraphs with bounded matching numbers. Finally, we drop the shifted condition and extend our spectral bound to general $r$-uniform hypergraphs.
Our main theorem states that for any $n$-vertex $r$-uniform hypergraph $H$ with matching number $ν(H)<s$, the inequality $ρ(H)\leq ρ(\mathcal{F}_{s-1}(n))$ holds whenever $n$ is sufficiently large. Here $\mathcal{F}_{a}(n)$ denotes the family of all $r$-subsets of $[n]$ intersecting the vertex set $[a]$, and equality is attained if and only if $H$ is isomorphic to $\mathcal{F}_{s-1}(n)$. As an immediate corollary, we derive a spectral counterpart of the classical Erdős-Ko-Rado theorem for intersecting hypergraph families.
Induced packing treewidth
In this paper, we introduce a framework that aims to unify classes defined by forbidden induced subgraphs or induced minors with classes defined by the existence of certain structured tree decompositions. Let $\mathcal{H}$ be a fixed family of graphs. We define \emph{induced-$\mathcal{H}$-packing treewidth}, a tree-decomposition-based graph parameter that, for each bag, measures the maximum number of pairwise anticomplete induced copies of graphs from $\mathcal{H}$ intersecting that bag. This notion generalizes some previously studied parameters: when $\mathcal{H}=\{P_1\}$, it is equivalent to tree-independence number, and when $\mathcal{H}=\{P_2\}$, it is equivalent to induced matching treewidth. We show that bounded induced-$\mathcal{H}$-packing treewidth yields new algorithmic consequences for a range of choices of $\mathcal{H}$. In particular, we prove the following results for graphs of bounded induced-$\mathcal{H}$-packing treewidth. Our results partially answer and substantially extend a question of Bodlaender, Fomin, and Korhonen [SODA~2026] on the tractability of \textsc{MWIS} for graphs of bounded induced-$\mathcal{H}$-packing treewidth for $\mathcal{H}=\{P_3\}$ and for $\mathcal{H}$ equal to the family of all cycles.
Computation of small reflective and dihedral Ramsey numbers
Throughout, all graphs are simple, finite and have vertex sets of the form $\{ 0, 1, 2, \ldots, n - 1 \}$ for some $n \in \mathbb{N}$. For graphs $G$ and $H$, and a permutation group $Γ$ on the vertex set of $H$, we say that $H$ is $Γ$-embeddable in $G$ if there exists a graph homomorphism from $H$ to $G$ of the form $ψ\circ \varphi$, where $\varphi \in Γ$ and $ψ$ is an increasing injection. Recently, standard and ordered Ramsey numbers of graphs were unified through the introduction of permutational Ramsey numbers, defined as follows. For graphs $H_1, H_2, \ldots, H_k$ and permutation groups $Γ_1, Γ_2, \ldots, Γ_k$ on their respective vertex sets, the permutational Ramsey number $R(H_1^{Γ_1}, H_2^{Γ_2}, \ldots, H_k^{Γ_k})$ is the minimum $n \in \mathbb{N}$ such that for every $k$-edge-coloring of a complete graph on $n$ vertices, there exists some $j \in \{1, 2, \ldots, k\}$ for which $H_j$ is $Γ_j$-embeddable in the spanning subgraph of the complete graph comprising the edges of color $j$.
Here, we consider reflective (resp. dihedral) Ramsey numbers, which are a specific class of permutational Ramsey numbers in which each group $Γ_j$ is the reflection group (resp. dihedral group) on the naturally ordered vertex set of $H_j$. Focusing on the two-color case, we apply the SAT-based approach originally proposed by Poljak for ordered Ramsey numbers and recently extended to cyclic Ramsey numbers. We utilize the Kissat SAT solver to obtain exact values and lower bounds for small reflective and dihedral Ramsey numbers whose two arguments belong to the following graph classes: monotone and alternating paths, monotone cycles, start-central stars, complete graphs and nested matchings. We also derive several general results and formulate conjectures based on the computational findings.
Long Directed Cycles in Vertex-Transitive Digraphs
The search for Hamiltonian cycles in vertex-transitive graphs and digraphs is a classical problem at the interface of graph theory and group theory. In the undirected setting, this goes back to famous conjectures of Lovász and Thomassen predicting that every sufficiently large connected vertex-transitive graph is Hamiltonian. The directed analogue has an even richer history, originating with Rankin in 1946, naturally translating the search for long cycles into classical group rearrangement problems. It was shown by Trotter and Erdős in 1978 that connected vertex-transitive digraphs need not be Hamiltonian.
In 1981, Alspach asked whether there exist connected vertex-transitive digraphs whose longest directed cycle misses arbitrarily many vertices. This question was only recently resolved by Bucić, Hendrey, Mohar, Steiner and Yepremyan, who constructed connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits $(1-o(1))\log n$ vertices. They further conjectured that the number of omitted vertices can grow linearly with $n$, remarking that it would already be interesting to improve their logarithmic lower bound to a polynomial bound. In this paper, we confirm their conjecture in a strong form by constructing infinitely many connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits at least $n/12$ vertices.
In the same work, Bucić, Hendrey, Mohar, Steiner and Yepremyan also proved that every connected vertex-transitive digraph on $n$ vertices contains a directed cycle of length $Ω(n^{1/3})$, giving the first lower bound for this problem that grows with $n$. We improve this to $Ω(\sqrt n)$, matching the order of Babai's classical theorem from 1979 for undirected vertex-transitive graphs.
Some new results on Sylvester colorings of cubic graphs
If $G$ and $H$ are two cubic multi-graphs, then an $H$-coloring of $G$ is a mapping $f: E(G)\rightarrow E(H)$, such that for every $v\in V(G)$ there is a vertex $x\in V(H)$, such that $f(\partial_G(v))=\partial_H(x)$. If $G$ admits an $H$-coloring then it is common to write $H\prec G$. The Petersen coloring conjecture predicts that for any bridgeless cubic graph $G$ one has $P_{10}\prec G$. Here $P_{10}$ is the Petersen graph. Let $f: E(G)\rightarrow E(H)$ be any mapping. Define: $V(f)=\{v\in V(G):\exists x\in V(H), f(\partial_G(v))=\partial_H(x)\}$. Let $S_{10}$ be the smallest cubic multi-graph that has no perfect matching. It has ten vertices. Define $S_{12}$ as the cubic graph that is obtained from $S_{10}$, by replacing its unique vertex $z$ adjacent to three bridges with a triangle. In this paper we show that (1) for every cubic multi-graph $G$ with a perfect matching, there is a mapping $f:E(G)\rightarrow E(S_{12})$, such that $|V(f)|\geq \frac{4}{5}\cdot |V(G)|$, and (2) for every cubic multi-graph $G$, there is a mapping $f:E(G)\rightarrow E(S_{10})$, such that $|V(f)|\geq \frac{5}{6}\cdot |V(G)|$. Our second result improves the $\frac{4}{5}$-bound by Hakobyan and the second author from 2018.
Tree suspensions and transfer functions for single degree Turán spectra
For integers $1\le \ell<k$, let $Π^k_\ell$ denote the single-forbidden $\ell$-degree Turán spectrum of $k$-uniform hypergraphs. We introduce transfer functions for this spectrum: explicit functions $f$ such that, for every $F$, there is another single $k$-graph $F^*$ with $π_\ell(F^*)=f(π_\ell(F))$. This gives a mechanism for producing new single-forbidden densities while retaining full control of the resulting value.
Our transfer functions are realized by a new family of suspension-type operations, called tree suspensions. From these operations we obtain three explicit maps: one acting on $Π^k_\ell$ for every $1\le\ell<k$, a second acting when $\ell\ge k/2$, and a third acting in the ordinary Turán case $\ell=1$. The common feature is a robust tree structure which gives the lower bound by a two-part construction and, in the regimes above, admits a matching embedding or Lagrangian upper bound.
As a first application, the universal transfer function propagates accumulation points. Using the recent zero-accumulation results for $\ell\ge2$ together with the ordinary Turán accumulation result of Conlon and Schülke, we prove that $Π^k_\ell$ has infinitely many accumulation points for every $k\ge3$ and every $1\le\ell<k$. This recovers, in particular, the known infinitude of accumulation points in the ordinary and codegree spectra.
As a second application, combining two independent transfer functions forces algebraic degrees to grow. For every $k\ge3$ and every $\ell\in\{1,\lceil k/2\rceil,\ldots,k-2\}$, the spectrum $Π^k_\ell$ contains algebraic numbers of arbitrarily large degree over $\mathbb Q$. Thus the arithmetic complexity previously known for finite forbidden families already occurs in the single-forbidden spectrum, both for ordinary Turán density and for a broad range of degree Turán densities.
Hamilton paths and cycles in flip graphs of (almost-)perfect matchings
We consider the set of matchings of a graph and a local change operation, called a flip, between them. In the combinatorial setting, the base graphs are either complete graphs or complete bipartite graphs, and in the geometric setting, the graphs are embedded on point sets in the plane, with the requirement that edges must be drawn as straight lines and must not cross. For base graphs with an even number of vertices, we consider perfect matchings, i.e., all vertices are matched, and for base graphs with an odd number of vertices, we consider almost-perfect matchings, i.e., all but one vertex of the graph are matched. A 2-flip between two perfect matchings exchanges two edges, and a 1-flip between two almost-perfect matchings exchanges one edge. The corresponding flip graph has the set of perfect or almost-perfect matchings as vertices, with pairs of them connected by an edge if they differ in a 2-flip or 1-flip, respectively. In this work, we provide a comprehensive picture of Hamiltonicity properties of these flip graphs. We prove that the flip graphs in the combinatorial setting are Hamilton-connected, i.e., they admit a Hamilton path between any two vertices, or, if the flip graphs are bipartite, we prove that they are Hamilton-laceable, i.e., they admit a Hamilton path between any two vertices from different partition classes. In the geometric setting, we prove that any path in them misses exponentially many vertices, in particular, they have no Hamilton paths or cycles. For points in convex position and almost-perfect matchings under 1-flips, we complement this by constructing a cycle in the flip graph that visits almost all vertices.