matching
3278 papers tagged with this keyword
Optimal transport for some symmetric, multidimensional integer partitions
Published
• View Publication
• BIB
A result of Hohloch links the theory of integer partitions with the Monge formulation of the optimal transport problem, giving the optimal transport map between (Young diagrams of) integer partitions and their corresponding symmetric partitions. Our aim is to extend Hohloch's result to the higher dimensional case. In doing so, we show the Kantorovich formulation of the optimal transport problem provides the tool to study the matching of higher dimensional partitions with their corresponding symmetric partitions.
Extending edge colorings of distance-3 matchings in the Cartesian product of graphs
We investigate the problem of extending partial edge colorings in Cartesian products of graphs, with a particular focus on cases where the precolored edges form a matching. Casselgren, Granholm, and Petros conjectured that any precolored distance-3 matching in $G = C^d_{2k}$ can be extended to a $2d$-edge coloring. In this paper, we prove a theorem that implies this conjecture. Especially, our main result establishes that a precolored distance-3 matching in the Cartesian product of certain class 1 graphs can be extended to an edge coloring that uses at most as many colors as the chromatic index, provided that certain degree conditions are satisfied. In the second part of the paper, we extend these results to Cartesian products of other types of graphs as well.
Some exact and asymptotic results for hypergraph Turán problems in $\ell_2$-norm
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $\mathcal{H}$, the \emph{codegree squared sum} $\text{co}_2(\mathcal{H})$ is the square of the $\ell_2$-norm of the codegree vector of $\mathcal{H}$, and for a family $\mathscr{F}$ of $k$-uniform hypergraphs, the codegree squared extremal number $\text{exco}_2(n, \mathscr{F})$ is the maximum codegree squared sum of a hypergraph on $n$ vertices which does not contain any hypergraph in $\mathscr{F}$. Balogh, Clemen and Lidický recently introduced the codegree squared extremal number and determined it for a number of $3$-uniform hypergraphs, including the complete graphs $K_4^3$ and $K_5^3$.
In this paper, we give a number of exact or asymptotic results for hypergraph Turán problems in the $\ell_2$-norm, including the first exact results for arbitrary $k$. Namely, we prove a version of the classical Erdős-Ko-Rado theorem for the codegree squared extremal number: if $\mathcal{F} \subset \binom{[n]}{k}$ is intersecting and $n\ge 2k$, then \[\text{co}_2(\mathcal{F}) \le \binom{n-1}{k-1}(1+(n-k+1)(k-1)),\] with equality only for the star for $n > 2k$. Our main tool is an inequality of Bey, which also gives a general upper bound on $\text{exco}_2(n, \mathscr{F})$.
We also prove versions of the Erdős Matching Conjecture and the $t$-intersecting Erdős-Ko-Rado theorem for the codegree squared extremal number for large $n$, determine the exact codegree squared extremal number of minimal and linear $3$-paths and $3$-cycles, and determine asymptotically the codegree squared extremal number of minimal and linear $s$-paths and $s$-cycles for $s\ge 4$.
Lastly, we derive a number of exact or asymptotic results for graph Turán-type problems in the $\ell_2$-norm from spectral extremal results for certain fobridden subgraph problems and the well-known Hofmeister's inequality.
The Alon-Tarsi number of $K_{3,3}$-minor-free graphs
Published
• View Publication
• BIB
The well known Wagner's theorem states that a graph is a planar graph if and only if it is $K_5$-minor-free and $K_{3,3}$-minor-free. Denote by $AT(G)$ the Alon-Tarsi number of a graph $G$. We show that for any $K_{3,3}$-minor-free graph $G$, $AT(G)\le 5$, there exists a matching $M$ and a forest $F$ such that $AT(G-M)\le 4$ and $AT(G-E(F))\le 3$, extending the result on the Alon-Tarsi number of $K_5$-minor-free graphs due to Abe, Kim and Ozeki.
Edge-Locating Coloring of Graphs
Published
• View Publication
• BIB
An edge-locating coloring of a simple connected graph $G$ is a partition of its edge set into matchings such that the vertices of $G$ are distinguished by the distance to the matchings. The minimum number of the matchings of $G$ that admits an edge-locating coloring is the edge-locating chromatic number of $G$, and denoted by $χ'_L(G)$. In this paper we initiate to introduce the concept of edge-locating coloring and determine the exact values $χ'_L(G)$ of some custom graphs. The graphs $G$ with $χ'_L(G)\in \{2,m\}$ are characterized, where $m$ is the size of $G$. We investigate the relationship between order, diameter, and edge-locating chromatic number of $G$. For a complete graph $K_n$, we obtain the exact values of $χ'_L(K_n)$ and $χ'_L(K_n-M)$, where $M$ is a maximum matching; indeed this result is also extended for any graph. We will determine the edge-locating chromatic number of join graph $G+H$, where $G$ and $H$ are some well-known graphs. In particular, for any graph $G$, we show a relationship between $χ'_L(G+K_1)$ and $Δ(G)$. We investigate the edge-locating chromatic number of trees and present a characterization bound for any tree in terms of maximum degree, number of leaves, and the support vertices of trees. Finally, we prove that any edge-locating coloring of a graph is an edge distinguishing coloring.
Polyhedral approach to weighted connected matchings in general graphs
Published in Discrete Applied Mathematics, 2024, Volume 359, pp 143-152 (open access)
• View Publication
• BIB
A connected matching in a graph G consists of a set of pairwise disjoint edges whose covered vertices induce a connected subgraph of G. While finding a connected matching of maximum cardinality is a well-solved problem, it is NP-hard to determine an optimal connected matching in an edge-weighted graph, even in the planar bipartite case. We present two mixed integer programming formulations and a sophisticated branch-and-cut scheme to find weighted connected matchings in general graphs. The formulations explore different polyhedra associated to this problem, including strong valid inequalities both from the matching polytope and from the connected subgraph polytope. We conjecture that one attains a tight approximation of the convex hull of connected matchings using our strongest formulation, and report encouraging computational results over DIMACS Implementation Challenge benchmark instances. The source code of the complete implementation is also made available.
Spectral extremal results on edge blow-up of graphs
Published
• View Publication
• BIB
Let ${\rm ex}(n,F)$ and ${\rm spex}(n,F)$ be the maximum size and maximum spectral radius of an $F$-free graph of order $n$, respectively. The value ${\rm spex}(n,F)$ is called the spectral extremal value of $F$. Nikiforov [J. Graph Theory 62 (2009) 362--368] gave the spectral Stability Lemma, which implies that for every $\varepsilon>0$, sufficiently large $n$ and a non-bipartite graph $H$ with chromatic number $χ(H)$, the extremal graph for ${\rm spex}(n,H)$ can be obtained from the Turán graph $T_{χ(H)-1}(n)$ by adding and deleting at most $\varepsilon n^2$ edges. It is still a challenging problem to determine the exact spectral extremal values of many non-bipartite graphs. Given a graph $F$ and an integer $p\geq 2$, the edge blow-up of $F$, denoted by $F^{p+1}$, is the graph obtained from replacing each edge in $F$ by a $K_{p+1}$ where the new vertices of $K_{p+1}$ are all distinct. In this paper, we determine the exact spectral extremal values of the edge blow-up of all non-bipartite graphs and provide the asymptotic spectral extremal values of the edge blow-up of all bipartite graphs for sufficiently large $n$, which can be seen as a spectral version of the theorem on ${\rm ex}(n,F^{p+1})$ given by Yuan [J. Combin. Theory Ser. B 152 (2022) 379--398]. As applications, on the one hand, we generalize several previous results on ${\rm spex}(n,F^{p+1})$ for $F$ being a matching and a star for $p\geq 3$. On the other hand, we obtain the exact values of ${\rm spex}(n,F^{p+1})$ for $F$ being a path, a cycle and a complete graph.
Periodic $q$-Whittaker and Hall-Littlewood processes
Published
• View Publication
• BIB
We study the periodic $q$-Whittaker and Hall-Littlewood processes, two probability measures on sequences of partitions. We prove that a certain observable of the periodic $q$-Whittaker process exhibits a $(q,u)$ symmetry after a random shift, generalizing a previous result of Imamura, Mucciconi, and Sasamoto who showed a matching between the periodic Schur and $q$-Whittaker measures, and also give a vertex model formulation of their result. As part of our proof of the $(q,u)$ symmetry, we obtain contour integral formulas for both the periodic $q$-Whittaker and Hall-Littlewood processes. We also show a matching between certain observables in the periodic Hall-Littlewood process and in a quasi-periodic stochastic six vertex model after a suitable random shift, and discuss a limit to the stationary periodic stochastic six vertex model.
On a Traveling Salesman Problem for Points in the Unit Cube
Published
• View Publication
• BIB
Let $X$ be an $n$-element point set in the $k$-dimensional unit cube $[0,1]^k$ where $k \geq 2$. According to an old result of Bollobás and Meir (1992), there exists a cycle (tour) $x_1, x_2, \ldots, x_n$ through the $n$ points, such that $\left(\sum_{i=1}^n |x_i - x_{i+1}|^k \right)^{1/k} \leq c_k$, where $|x-y|$ is the Euclidean distance between $x$ and $y$, and $c_k$ is an absolute constant that depends only on $k$, where $x_{n+1} \equiv x_1$. From the other direction, for every $k \geq 2$ and $n \geq 2$, there exist $n$ points in $[0,1]^k$, such that their shortest tour satisfies $\left(\sum_{i=1}^n |x_i - x_{i+1}|^k \right)^{1/k} = 2^{1/k} \cdot \sqrt{k}$. For the plane, the best constant is $c_2=2$ and this is the only exact value known. Bollob{á}s and Meir showed that one can take $c_k = 9 \left(\frac23 \right)^{1/k} \cdot \sqrt{k}$ for every $k \geq 3$ and conjectured that the best constant is $c_k = 2^{1/k} \cdot \sqrt{k}$, for every $k \geq 2$. Here we significantly improve the upper bound and show that one can take $c_k = 3 \sqrt5 \left(\frac23 \right)^{1/k} \cdot \sqrt{k}$ or $c_k = 2.91 \sqrt{k} \ (1+o_k(1))$. Our bounds are constructive. We also show that $c_3 \geq 2^{7/6}$, which disproves the conjecture for $k=3$.
Connections to matching problems, power assignment problems, related problems, including algorithms, are discussed in this context. A slightly revised version of the Bollobás--Meir conjecture is proposed.
Hypergraph coverings and Ramanujan Hypergraphs
In this paper we investigate Ramanujan hypergraphs by using hypergraph coverings. We first show that the spectrum of a $k$-fold covering $\bar{H}$ of a connected hypergraph $H$ contains the spectrum of $H$, and that it is the union of the spectrum of $H$ and the spectrum of an incidence-signed hypergraph with $H$ as underlying hypergraph if $k=2$, which generalizes Bilu-Linial result on graph coverings. We give a lower bound for the second largest eigenvalue of a $d$-regular hypergraph by universal cover, which generalizes Alon-Boppana bound on $d$-regular graphs and Feng-Li bound on $(d,r)$-regular hypergraphs. By using interlacing family of polynomials, we prove that every $(d,r)$-regular hypergraph has a right-sided Ramanujan $2$-covering, and has a left-sided Ramanujan $2$-covering if the roots of the matching polynomial of its incident graph satisfy some condition. By Ramanujan $2$-coverings, we prove the existence of some families of infinite many left-sided or right-sided $(d,r)$-regular Ramanujan hypergraphs under certain conditions on $d$ and $r$.
Consistent Dimer Models on Surfaces with Boundary
Published in Forum of Mathematics, Sigma 13 (2025) e114
• View Publication
• BIB
A dimer model is a quiver with faces embedded in a surface. We define and investigate notions of consistency for dimer models on general surfaces with boundary which restrict to well-studied consistency conditions in the disk and torus case. We define weak consistency in terms of the associated dimer algebra and show that it is equivalent to the absence of bad configurations on the strand diagram. In the disk and torus case, weakly consistent models are nondegenerate, meaning that every arrow is contained in a perfect matching; this is not true for general surfaces. Strong consistency is defined to require weak consistency as well as nondegeneracy. We prove that the completed as well as the noncompleted dimer algebra of a strongly consistent dimer model are bimodule internally 3-Calabi-Yau with respect to their boundary idempotents. As a consequence, the Gorenstein-projective module category of the completed boundary algebra of suitable dimer models categorifies the cluster algebra given by their underlying quiver. We provide additional consequences of weak and strong consistency, including that one may reduce a strongly consistent dimer model by removing digons and that consistency behaves well under taking dimer submodels.
Twins in ordered hyper-matchings
Published
• View Publication
• BIB
An ordered $r$-matching of size $n$ is an $r$-uniform hypergraph on a linearly ordered set of vertices, consisting of $n$ pairwise disjoint edges. Two ordered $r$-matchings are isomorphic if there is an order-preserving isomorphism between them. A pair of twins in an ordered $r$-matching is formed by two vertex disjoint isomorphic sub-matchings. Let $t^{(r)}(n)$ denote the maximum size of twins one may find in every ordered $r$-matching of size $n$.
By relating the problem to that of largest twins in permutations and applying some recent Erdős-Szekeres-type results for ordered matchings, we show that $t^{(r)}(n)=Ω\left(n^{\frac{3}{5\cdot(2^{r-1}-1)}}\right)$ for every fixed $r\geqslant 2$. On the other hand, $t^{(r)}(n)=O\left(n^{\frac{2}{r+1}}\right)$, by a simple probabilistic argument. As our main result, we prove that, for almost all ordered $r$-matchings of size $n$, the size of the largest twins achieves this bound.
The multiplicity of the zero Laplacian eigenvalue of uniform hypertrees
In this paper, the Laplacian characteristic polynomial of uniform hypergraphs with cut vertices or pendant edges and the Laplacian matching polynomial of uniform hypergraphs are characterized.The multiplicity of the zero Laplacian eigenvalue of uniform hypertrees is given, which proves the conjecture in \cite{zheng2023zero} (The zero eigenvalue of the Laplacian tensor of a uniform hypergraph, Linear and Multilinear Algebra, (2023) Doi:10.1080/03081087.2023.2172541).
On the geometry of uniform meandric systems
Published in Communications in Mathematical Physics, vol. 404, no. 1, 2023, pp. 439-494
• View Publication
• BIB
A meandric system of size $n$ is the set of loops formed from two arc diagrams (non-crossing perfect matchings) on $\{1,\dots,2n\}$, one drawn above the real line and the other below the real line. A uniform random meandric system can be viewed as a random planar map decorated by a Hamiltonian path (corresponding to the real line) and a collection of loops (formed by the arcs). Based on physics heuristics and numerical evidence, we conjecture that the scaling limit of this decorated random planar map is given by an independent triple consisting of a Liouville quantum gravity (LQG) sphere with parameter $γ=\sqrt 2$, a Schramm-Loewner evolution (SLE) curve with parameter $κ=8$, and a conformal loop ensemble (CLE) with parameter $κ=6$.
We prove several rigorous results which are consistent with this conjecture. In particular, a uniform meandric system admits loops of nearly macroscopic graph-distance diameter with high probability. Furthermore, a.s., the uniform infinite meandric system with boundary has no infinite path. But, a.s., its boundary-modified version has a unique infinite path whose scaling limit is conjectured to be chordal SLE$_6$.
Conditions for matchability in groups and field extensions II
Published
• View Publication
• BIB
We present sufficient conditions for the existence of matchings in abelian groups and their linear counterparts. These conditions lead to extensions of existing results in matching theory. Additionally, we classify subsets within abelian groups that cannot be matched. We introduce the concept of Chowla subspaces and formulate and conjecture a linear analogue of a result originally attributed to Y. O. Hamidoune [20] concerning Chowla sets. If proven true, this result would extend matchings in primitive subspaces. Throughout the paper, we emphasize the analogy between matchings in abelian groups and field extensions. We also pose numerous open questions for future research. Our approach relies on classical theorems in group theory, additive number theory and linear algebra. As the title of the paper suggests, this work is the second sequel to a previous paper [5] with a similar theme. This paper is self-contained and can be read independently.
Adaptive Softassign via Hadamard-Equipped Sinkhorn
Published
• View Publication
• BIB
Softassign is a pivotal method in graph matching and other learning tasks. Many softassign-based algorithms exhibit performance sensitivity to a parameter in the softassign. However, tuning the parameter is challenging and almost done empirically. This paper proposes an adaptive softassign method for graph matching by analyzing the relationship between the objective score and the parameter. This method can automatically tune the parameter based on a given error bound to guarantee accuracy. The Hadamard-Equipped Sinkhorn formulas introduced in this study significantly enhance the efficiency and stability of the adaptive softassign. Moreover, these formulas can also be used in optimal transport problems. The resulting adaptive softassign graph matching algorithm enjoys significantly higher accuracy than previous state-of-the-art large graph matching algorithms while maintaining comparable efficiency.
On a class of strong valid inequalities for the connected matching polytope
We identify a family of $O(|E(G)|^2)$ nontrivial facets of the connected matching polytope of a graph $G$, that is, the convex hull of incidence vectors of matchings in $G$ whose covered vertices induce a connected subgraph. Accompanying software to further inspect the polytope of an input graph is available.
Finite regular semigroups with permutations that map elements to inverses
Published
• View Publication
• BIB
We give an account on what is known on the subject of permutation matchings, which are bijections of a finite regular semigroup that map each element to one of its inverses. This includes partial solutions to some open questions, including a related novel combinatorial problem.
Matching powers of monomial ideals and edge ideals of weighted oriented graphs
Published
• View Publication
• BIB
We introduce the concept of matching powers of monomial ideals. Let $I$ be a monomial ideal of $S=K[x_1,\dots,x_n]$, with $K$ a field. The $k$th matching power of $I$ is the monomial ideal $I^{[k]}$ generated by the products $u_1\cdots u_k$ where $u_1,\dots,u_k$ is a monomial regular sequence contained in $I$. This concept naturally generalizes that of squarefree powers of squarefree monomial ideals. We study depth and regularity functions of matching powers of monomial ideals and edge ideals of weighted oriented graphs. We show that the last nonvanishing power of a quadratic monomial ideal is always polymatroidal and thus has a linear resolution. When $I$ is a non-quadratic edge ideal of a weighted oriented forest, we characterize when $I^{[k]}$ has a linear resolution.
On triangle-free graphs maximizing embeddings of bipartite graphs
Published
• View Publication
• BIB
In 1991 Gy\H ori, Pach, and Simonovits proved that for any bipartite graph $H$ containing a matching avoiding at most 1 vertex, the maximum number of copies of $H$ in any large enough triangle-free graph is achieved in a balanced complete bipartite graph. In this paper we improve their result by showing that if $H$ is a bipartite graph containing a matching of size $x$ and at most $\frac{1}{2}\sqrt{x-1}$ unmatched vertices, then the maximum number of copies of $H$ in any large enough triangle-free graph is achieved in a complete bipartite graph. We also prove that such a statement cannot hold if the number of unmatched vertices is $Ω(x)$.