matching
3278 papers tagged with this keyword
Four universal growth regimes in degree-dependent first passage percolation on spatial random graphs I
One-dependent first passage percolation is a spreading process on a graph where the transmission time through each edge depends on the direct surroundings of the edge. In particular, the classical iid transmission time $L_{xy}$ is multiplied by $(W_xW_y)^μ$, a polynomial of the expected degrees $W_x, W_y$ of the endpoints of the edge $xy$, which we call the penalty function. Beyond the Markov case, we also allow any distribution for $L_{xy}$ with regularly varying distribution near $0$. We then run this process on three spatial scale-free random graph models: finite and infinite Geometric Inhomogeneous Random Graphs, and Scale-Free Percolation. In these spatial models, the connection probability between two vertices depends on their spatial distance and on their expected degrees.
We show that as the penalty-function, i.e., $μ$ increases, the transmission time between two far away vertices sweeps through four universal phases: explosive (with tight transmission times), polylogarithmic, polynomial but strictly sublinear, and linear in the Euclidean distance. The strictly polynomial growth phase here is a new phenomenon that so far was extremely rare in spatial graph models. The four growth phases are highly robust in the model parameters and are not restricted to phase boundaries. Further, the transition points between the phases depend non-trivially on the main model parameters: the tail of the degree distribution, a long-range parameter governing the presence of long edges, and the behaviour of the distribution $L$ near $0$. In this paper we develop new methods to prove the upper bounds in all sub-explosive phases. Our companion paper complements these results by providing matching lower bounds in the polynomial and linear regimes.
Polynomial growth in degree-dependent first passage percolation on spatial random graphs
In this paper we study a version of (non-Markovian) first passage percolation on graphs, where the transmission time between two connected vertices is non-iid, but increases by a penalty factor polynomial in their expected degrees. Based on the exponent of the penalty-polynomial, this makes it increasingly harder to transmit to and from high-degree vertices. This choice is motivated by awareness or time-limitations. For the iid part of the transmission times we allow any nonnegative distribution with regularly varying behaviour at $0$. For the underlying graph models we choose spatial random graphs that have power-law degree distributions, so that the effect of the penalisation becomes visible: (finite and infinite) Geometric Inhomogeneous Random Graphs, and Scale-Free Percolation. In these spatial models, the connection probability between two vertices depends on their spatial distance and on their expected degrees. We prove that upon increasing the penalty exponent, the transmission time between two far away vertices $x,y$ sweeps through four universal phases even for a single underlying graph: explosive (tight transmission times), polylogarithmic, polynomial but sublinear ($|x-y|^{η_0+o(1)}$ for an explicit $η_0<1$), and linear ($Θ(|x-y|)$) in their Euclidean distance. Further, none of these phases are restricted to phase boundaries, and those are non-trivial in the main model parameters: the tail of the degree-distribution, a long-range parameter, and the exponent of regular variation of the iid part of the transmission times. In this paper we present proofs of lower bounds for the latter two phases and the upper bound for the linear phase. These complement the matching upper bounds for the polynomial regime in our companion paper.
Covering the edges of a graph with perfect matchings
Published
• View Publication
• BIB
An $r$-graph is an $r$-regular graph with no odd cut of size less than $r$. A well-celebrated result due to Lovász says that for such graphs the linear system $Ax = \textbf{1}$ has a solution in $\mathbb{Z}/2$, where $A$ is the $0,1$ edge to perfect matching incidence matrix. Note that we allow $x$ to have negative entries. In this paper, we present an improved version of Lovász's result, proving that, in fact, there is a solution $x$ with all entries being either integer or $+1/2$ and corresponding to a linearly independent set of perfect matchings. Moreover, the total number of $+1/2$'s is at most $6k$, where $k$ is the number of Petersen bricks in the tight cut decomposition of the graph.
On generalized Turán problems with bounded matching number
Given a graph $H$ and a family of graphs $\mathcal{F}$, the generalized Turán number $\mathrm{ex}(n,H,\mathcal{F})$ is the maximum number of copies of $H$ in an $n$-vertex graphs that do not contain any member of $\mathcal{F}$ as a subgraph. Recently there has been interest in studying the case $\mathcal{F}=\{F,M_{s+1}\}$ for arbitrary $F$ and $H=K_r$. We extend these investigations to the case $H$ is arbitrary as well.
On the structure of a smallest counterexample and a new class verifying the 2-Decomposition Conjecture
Published
• View Publication
• BIB
The 2-Decomposition Conjecture, equivalent to the 3-Decomposition Conjecture stated in 2011 by Hoffmann-Ostenhof, claims that every connected graph $G$ with vertices of degree 2 and 3, for which $G \setminus E(C)$ is disconnected for every cycle $C$, admits a decomposition into a spanning tree and a matching. In this work we present two main results focused on developing a strategy to prove the 2-Decomposition Conjecture. One of them is a list of structural properties of a minimum counterexample for this conjecture. Among those properties, we prove that a minimum counterexample has girth at least 5 and its vertices of degree 2 are at distance at least 3. Motivated by the class of smallest counterexamples, we show that the 2-Decomposition Conjecture holds for graphs whose vertices of degree 3 induce a collection of cacti in which each vertex belongs to a cycle. The core of the proof of this result may possibly be used in an inductive proof of the 2-Decomposition Conjecture based on a parameter that relates the number of vertices of degree 2 and 3 in a minimum counterexample.
Large Convex sets in Difference sets
Published
• View Publication
• BIB
We give a construction of a convex set $A \subset \mathbb R$ with cardinality $n$ such that $A-A$ contains a convex subset with cardinality $Ω(n^2)$. We also consider the following variant of this problem: given a convex set $A$, what is the size of the largest matching $M \subset A \times A$ such that the set \[ \{ a-b : (a,b) \in M \} \] is convex? We prove that there always exists such an $M$ with $|M| \geq \sqrt n$, and that this lower bound is best possible, up a multiplicative constant.
Improved Shortest Path Restoration Lemmas for Multiple Edge Failures: Trade-offs Between Fault-tolerance and Subpaths
Published
• View Publication
• BIB
The restoration lemma is a classic result by Afek, Bremler-Barr, Kaplan, Cohen, and Merritt [PODC '01], which relates the structure of shortest paths in a graph $G$ before and after some edges in the graph fail. Their work shows that, after one edge failure, any replacement shortest path avoiding this failing edge can be partitioned into two pre-failure shortest paths. More generally, this implies an additive tradeoff between fault tolerance and subpath count: for any $f, k$, we can partition any $f$-edge-failure replacement shortest path into $k+1$ subpaths which are each an $(f-k)$-edge-failure replacement shortest path. This generalized result has found applications in routing, graph algorithms, fault tolerant network design, and more.
Our main result improves this to a multiplicative tradeoff between fault tolerance and subpath count. We show that for all $f, k$, any $f$-edge-failure replacement path can be partitioned into $O(k)$ subpaths that are each an $(f/k)$-edge-failure replacement path. We also show an asymptotically matching lower bound. In particular, our results imply that the original restoration lemma is exactly tight in the case $k=1$, but can be significantly improved for larger $k$. We also show an extension of this result to weighted input graphs, and we give efficient algorithms that compute path decompositions satisfying our improved restoration lemmas.
Three-cuts are a charm: acyclicity in 3-connected cubic graphs
Published in Combinatorica 45, 11 (2025). ePDF: https://rdcu.be/d9G2O
• View Publication
• BIB
Let $G$ be a bridgeless cubic graph. In 2023, the three authors solved a conjecture (also known as the $S_4$-Conjecture) made by Mazzuoccolo in 2013: there exist two perfect matchings of $G$ such that the complement of their union is a bipartite subgraph of $G$. They actually show that given any $1^+$-factor $F$ (a spanning subgraph of $G$ such that its vertices have degree at least 1) and an arbitrary edge $e$ of $G$, there exists a perfect matching $M$ of $G$ containing $e$ such that $G\setminus (F\cup M)$ is bipartite. This is a step closer to comprehend better the Fan--Raspaud Conjecture and eventually the Berge--Fulkerson Conjecture. The $S_4$-Conjecture, now a theorem, is also the weakest assertion in a series of three conjectures made by Mazzuoccolo in 2013, with the next stronger statement being: there exist two perfect matchings of $G$ such that the complement of their union is an acyclic subgraph of $G$. Unfortunately, this conjecture is not true: Jin, Steffen, and Mazzuoccolo later showed that there exists a counterexample admitting 2-cuts. Here we show that, despite of this, every cyclically 3-edge-connected cubic graph satisfies this second conjecture.
Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice
Published in Ars Math. Contemp. 24(4): 4 (2024)
• View Publication
• BIB
We work with simple graphs in ZF (Zermelo--Fraenkel set theory without the Axiom of Choice (AC)) and assume that the sets of colors can be either well-orderable or non-well-orderable to prove that the following statements are equivalent to Kőnig Lemma: (a) Any infinite locally finite connected graph G such that the minimum degree of G is greater than k, has a chromatic number for any fixed integer k greater than or equal to 2. (b) Any infinite locally finite connected graph has a chromatic index. (c) Any infinite locally finite connected graph has a distinguishing number. (d) Any infinite locally finite connected graph has a distinguishing index.
Our results strengthen some results of Stawiski from a recent paper on the role of the Axiom of Choice in proper and distinguishing colorings since he assumed that the sets of colors can be well-ordered.
We also formulate new conditions for the existence of irreducible proper coloring, minimal edge cover, maximal matching, and minimal dominating set in connected bipartite graphs and locally finite connected graphs, which are either equivalent to AC or Kőnig Lemma. Moreover, we show that if the Axiom of Choice for families of 2 element sets holds, then the Shelah--Soifer graph has a minimal dominating set.
A Sharp Ramsey Theorem for Ordered Hypergraph Matchings
Published in Advances in Combinatorics 2025:6, 18pp
• View Publication
• BIB
We prove essentially sharp bounds for Ramsey numbers of ordered hypergraph matchings, inroduced recently by Dudek, Grytczuk, and Ruciński. Namely, for any $r \ge 2$ and $n \ge 2$, we show that any collection $\mathcal H$ of $n$ pairwise disjoint subsets in $\mathbb Z$ of size $r$ contains a subcollection of size $\lfloor n^{1/(2^r-1)}/2\rfloor$ in which every pair of sets are in the same relative position with respect to the linear ordering on $\mathbb Z$. This improves previous bounds of Dudek-Grytczuk-Ruciński and of Anastos-Jin-Kwan-Sudakov and is sharp up to a factor of $2$. For large $r$, we even obtain such a subcollection of size $\lfloor (1-o(1))\cdot n^{1/(2^r-1)}\rfloor$, which is asymptotically tight (here, the $o(1)$-term tends to zero as $r \to \infty$, regardless of the value of $n$). Furthermore, we prove a multiparameter extension of this result where one wants to find a clique of prescribed size $m_P$ for each relative position pattern $P$. Our bound is sharp for all choices of parameters $m_P$, up to a constant factor depending on $r$ only. This answers questions of Anastos-Jin-Kwan-Sudakov and of Dudek-Grytczuk-Ruciński.
On the size of integer programs with bounded non-vanishing subdeterminants
Published
• View Publication
• BIB
Motivated by complexity questions in integer programming, this paper aims to contribute to the understanding of combinatorial properties of integer matrices of row rank $r$ and with bounded subdeterminants. In particular, we study the column number question for integer matrices whose every $r \times r$ minor is non-zero and bounded by a fixed constant $Δ$ in absolute value. Approaching the problem in two different ways, one that uses results from coding theory, and the other from the geometry of numbers, we obtain linear and asymptotically sublinear upper bounds on the maximal number of columns of such matrices, respectively. We complement these results by lower bound constructions, matching the linear upper bound for $r=2$, and a discussion of a computational approach to determine the maximal number of columns for small parameters $Δ$ and $r$.
Non-Clashing Teaching Maps for Balls in Graphs
Recently, Kirkpatrick et al. [ALT 2019] and Fallat et al. [JMLR 2023] introduced non-clashing teaching and showed it is the most efficient machine teaching model satisfying the Goldman-Mathias collusion-avoidance criterion. A teaching map $T$ for a concept class $\mathcal{C}$ assigns a (teaching) set $T(C)$ of examples to each concept $C \in \mathcal{C}$. A teaching map is non-clashing if no pair of concepts are consistent with the union of their teaching sets. The size of a non-clashing teaching map (NCTM) $T$ is the maximum size of a teaching set $T(C)$, $C \in \mathcal{C}$. The non-clashing teaching dimension NCTD$(\mathcal{C})$ of $\mathcal{C}$ is the minimum size of an NCTM for $\mathcal{C}$. NCTM$^+$ and NCTD$^+(\mathcal{C})$ are defined analogously, except the teacher may only use positive examples.
We study NCTMs and NCTM$^+$s for the concept class $\mathcal{B}(G)$ consisting of all balls of a graph $G$. We show that the associated decision problem B-NCTD$^+$ for NCTD$^+$ is NP-complete in split, co-bipartite, and bipartite graphs. Surprisingly, we even prove that, unless the ETH fails, B-NCTD$^+$ does not admit an algorithm running in time $2^{2^{o(\text{vc})}}\cdot n^{O(1)}$, nor a kernelization algorithm outputting a kernel with $2^{o(\text{vc})}$ vertices, where vc is the vertex cover number of $G$. We complement these lower bounds with matching upper bounds. These are extremely rare results: it is only the second problem in NP to admit such a tight double-exponential lower bound parameterized by vc, and only one of very few problems to admit such an ETH-based conditional lower bound on the number of vertices in a kernel. For trees, interval graphs, cycles, and trees of cycles, we derive NCTM$^+$s or NCTMs for $\mathcal{B}(G)$ of size proportional to its VC-dimension, and for Gromov-hyperbolic graphs, we design an approximate NCTM$^+$ of size 2.
On graphs with maximum difference between game chromatic number and chromatic number
Published
• View Publication
• BIB
In the vertex colouring game on a graph $G$, Maker and Breaker alternately colour vertices of $G$ from a palette of $k$ colours, with no two adjacent vertices allowed the same colour. Maker seeks to colour the whole graph while Breaker seeks to make some vertex impossible to colour. The game chromatic number of $G$, $χ_g(G)$, is the minimal number $k$ of colours for which Maker has a winning strategy for the vertex colouring game. Matsumoto proved in 2019 that $χ_g(G)-χ(G)\leq\lfloor n/2\rfloor - 1$, and conjectured that the only equality cases are some graphs of small order and the Turán graph $T(2r,r)$ (i.e. $K_{2r}$ minus a perfect matching). We resolve this conjecture in the affirmative by considering a modification of the vertex colouring game wherein Breaker may remove a vertex instead of colouring it. Matsumoto further asked whether a similar result could be proved for the vertex marking game, and we provide an example to show that no such nontrivial result can exist.
Tight Bounds on List-Decodable and List-Recoverable Zero-Rate Codes
In this work, we consider the list-decodability and list-recoverability of codes in the zero-rate regime. Briefly, a code $\mathcal{C} \subseteq [q]^n$ is $(p,\ell,L)$-list-recoverable if for all tuples of input lists $(Y_1,\dots,Y_n)$ with each $Y_i \subseteq [q]$ and $|Y_i|=\ell$ the number of codewords $c \in \mathcal{C}$ such that $c_i \notin Y_i$ for at most $pn$ choices of $i \in [n]$ is less than $L$; list-decoding is the special case of $\ell=1$. In recent work by Resch, Yuan and Zhang~(ICALP~2023) the zero-rate threshold for list-recovery was determined for all parameters: that is, the work explicitly computes $p_*:=p_*(q,\ell,L)$ with the property that for all $ε>0$ (a) there exist infinite families positive-rate $(p_*-ε,\ell,L)$-list-recoverable codes, and (b) any $(p_*+ε,\ell,L)$-list-recoverable code has rate $0$. In fact, in the latter case the code has constant size, independent on $n$. However, the constant size in their work is quite large in $1/ε$, at least $|\mathcal{C}|\geq (\frac{1}ε)^{O(q^L)}$.
Our contribution in this work is to show that for all choices of $q,\ell$ and $L$ with $q \geq 3$, any $(p_*+ε,\ell,L)$-list-recoverable code must have size $O_{q,\ell,L}(1/ε)$, and furthermore this upper bound is complemented by a matching lower bound $Ω_{q,\ell,L}(1/ε)$. This greatly generalizes work by Alon, Bukh and Polyanskiy~(IEEE Trans.\ Inf.\ Theory~2018) which focused only on the case of binary alphabet (and thus necessarily only list-decoding). We remark that we can in fact recover the same result for $q=2$ and even $L$, as obtained by Alon, Bukh and Polyanskiy: we thus strictly generalize their work.
Bounds on data limits for all-to-all comparison from combinatorial designs
Published
• View Publication
• BIB
In situations where every item in a data set must be compared with every other item in the set, it may be desirable to store the data across a number of machines in such a way that any two data items are stored together on at least one machine. One way to evaluate the efficiency of such a distribution is by the largest fraction of the data it requires to be allocated to any one machine. The all-to-all comparison (ATAC) data limit for $m$ machines is a measure of the minimum of this value across all possible such distributions. In this paper we further the study of ATAC data limits. We observe relationships between them and the previously studied combinatorial parameters of fractional matching numbers and covering numbers. We also prove a lower bound on the ATAC data limit that improves on one of Hall, Kelly and Tian, and examine the special cases where equality in this bound is possible. Finally, we investigate the data limits achievable using various classes of combinatorial designs. In particular, we examine the cases of transversal designs and projective Hjelmslev planes.
Bichromatic Perfect Matchings with Crossings
Published
• View Publication
• BIB
We consider bichromatic point sets with $n$ red and $n$ blue points and study straight-line bichromatic perfect matchings on them. We show that every such point set in convex position admits a matching with at least $\frac{3n^2}{8}-\frac{n}{2}+c$ crossings, for some $ -\frac{1}{2} \leq c \leq \frac{1}{8}$. This bound is tight since for any $k> \frac{3n^2}{8} -\frac{n}{2}+\frac{1}{8}$ there exist bichromatic point sets that do not admit any perfect matching with $k$ crossings.
The seating couple problem in even case
Published
• View Publication
• BIB
In this paper we consider the seating couple problem with an even number of seats, which, using graph theory terminology, can be stated as follows. Given a positive even integer $v=2n$ and a list $L$ containing $n$ positive integers not exceeding $n$, is it always possible to find a perfect matching of $K_v$ whose list of edge-lengths is $L$? Up to now a (non-constructive) solution is known only when all the edge-lengths are coprime with $v$. In this paper we firstly present some necessary conditions for the existence of a solution. Then, we give a complete constructive solution when the list consists of one or two distinct elements, and when the list consists of consecutive integers $1,2,\ldots,x$, each one appearing with the same multiplicity. Finally, we propose a conjecture and some open problems.
Random Shortening of Linear Codes and Applications
Published
• View Publication
• BIB
Random linear codes (RLCs) are well known to have nice combinatorial properties and near-optimal parameters in many different settings. However, getting explicit constructions matching the parameters of RLCs is challenging, and RLCs are hard to decode efficiently. This motivated several previous works to study the problem of partially derandomizing RLCs, by applying certain operations to an explicit mother code. Among them, one of the most well studied operations is random puncturing, where a series of works culminated in the work of Guruswami and Mosheiff (FOCS' 22), which showed that a random puncturing of a low-biased code is likely to possess almost all interesting local properties of RLCs.
In this work, we provide an in-depth study of another, dual operation of random puncturing, known as random shortening, which can be viewed equivalently as random puncturing on the dual code. Our main results show that for any small $\varepsilon$, by starting from a mother code with certain weaker conditions (e.g., having a large distance) and performing a random (or even pseudorandom) shortening, the new code is $\varepsilon$-biased with high probability. Our results hold for any field size and yield a shortened code with constant rate. This can be viewed as a complement to random puncturing, and together, we can obtain codes with properties like RLCs from weaker initial conditions.
Our proofs involve several non-trivial methods of estimating the weight distribution of codewords, which may be of independent interest.
New bounds on the generalized Ramsey number $f(n,5,8)$
Published
• View Publication
• BIB
Let $f(n,p,q)$ denote the minimum number of colors needed to color the edges of $K_n$ so that every copy of $K_p$ receives at least $q$ distinct colors. In this note, we show $\frac{6}{7}(n-1) \leq f(n,5,8) \leq n + o(n)$. The upper bound is proven using the "conflict-free hypergraph matchings method" which was recently used by Mubayi and Joos to prove $f(n,4,5) = \frac{5}{6}n + o(n)$.
Combinatorial Identities for Vacillating Tableaux
Published
• View Publication
• BIB
Vacillating tableaux are sequences of integer partitions that satisfy specific conditions. The concept of vacillating tableaux stems from the representation theory of the partition algebra and the combinatorial theory of crossings and nestings of matchings and set partitions. In this paper, we further investigate the enumeration of vacillating tableaux and derive multiple combinatorial identities and integer sequences relating to the number of vacillating tableaux, simplified vacillating tableaux, and limiting vacillating tableaux.