contain ↗ reference
7694 papers tagged with this keyword
On a Combinatorial Problem Arising in Machine Teaching
We study a model of machine teaching where the teacher mapping is constructed from a size function on both concepts and examples. The main question in machine teaching is the minimum number of examples needed for any concept, the so-called teaching dimension. A recent paper [7] conjectured that the worst case for this model, as a function of the size of the concept class, occurs when the consistency matrix contains the binary representations of numbers from zero and up. In this paper we prove their conjecture. The result can be seen as a generalization of a theorem resolving the edge isoperimetry problem for hypercubes [12], and our proof is based on a lemma of [10].
Patterns in trees and quantum automorphism groups
Published
• View Publication
• BIB
We prove that given a fixed finite tree $P$, almost all trees contain $P$ as a subtree. Moreover, the inclusion can be made so that it induces an embedding of the corresponding (quantum) automorphism groups, thereby providing generic properties of the latter.
Cycle-factors in oriented graphs
Published
• View Publication
• BIB
Let $k$ be a positive integer. A $k$-cycle-factor of an oriented graph is a set of disjoint cycles of length $k$ that covers all vertices of the graph. In this paper, we prove that there exists a positive constant $c$ such that for $n$ sufficiently large, any oriented graph on $n$ vertices with both minimum out-degree and minimum in-degree at least $(1/2-c)n$ contains a $k$-cycle-factor for any $k\geq4$. Additionally, under the same hypotheses, we also show that for any sequence $n_1, \ldots, n_t$ with $\sum^t_{i=1}n_i=n$ and the number of the $n_i$ equal to $3$ is $αn$, where $α$ is any real number with $0<α<1/3$, the oriented graph contains $t$ disjoint cycles of lengths $n_1, \ldots, n_t$. This conclusion is the best possible in some sense and refines a result of Keevash and Sudakov.
The generalizations of Hamiltonian in oriented graphs
An oriented graph is an orientation of a simple graph. In 2009, Keevash, Kühn and Osthus proved that every sufficiently large oriented graph $D$ of order $n$ with $(3n-4)/8$ is Hamiltonian. Later, Kelly, Kühn and Osthus showed that it is also pancyclic. Inspired by this, we show that for any given constant $t$ and positive integer partition $n = n_1 + \cdots + n_t$, if $D$ is an oriented graph on $n$ vertices with minimum semidegree at least $(3n-4)/8$, then it contains $t$ disjoint cycles of lengths $n_1,\ldots , n_t$. Also, we determine the bounds on the semidegree of sufficiently large oriented graphs that are strongly Hamiltonian-connected, $k$-ordered Hamiltonian and spanning $k$-linked.
Approximate packing of independent transversals in locally sparse graphs
Published
• View Publication
• BIB
Fix $\varepsilon >0$ and consider a multipartite graph $G$ with maximum degree at most $(1-\varepsilon)n$, parts $V_1,\ldots,V_k$ of the same size $n$, and where every vertex has at most $o(n)$ neighbors in any part $V_i$. Loh and Sudakov proved that any such $G$ has an independent transversal. They further conjectured that the vertex set of $G$ can be decomposed into pairwise disjoint independent transversals. In the present paper, we resolve this conjecture approximately by showing that $G$ contains $(1-\varepsilon)n$ pairwise disjoint independent transversals. As applications, we give approximate answers to questions of Yuster, and of Fischer, Kühn, and Osthus.
Noisy group testing via spatial coupling
Published in Combinator. Probab. Comp. 34 (2025) 210-258
• View Publication
• BIB
We study the problem of identifying a small set $k\sim n^θ$, $0<θ<1$, of infected individuals within a large population of size $n$ by testing groups of individuals simultaneously. All tests are conducted concurrently. The goal is to minimise the total number of tests required. In this paper we make the (realistic) assumption that tests are noisy, i.e.\ that a group that contains an infected individual may return a negative test result or one that does not contain an infected individual may return a positive test results with a certain probability. The noise need not be symmetric. We develop an algorithm called SPARC that correctly identifies the set of infected individuals up to $o(k)$ errors with high probability with the asymptotically minimum number of tests. Additionally, we develop an algorithm called SPEX that exactly identifies the set of infected individuals w.h.p. with a number of tests that matches the information-theoretic lower bound for the constant column design, a powerful and well-studied test design.
Resolution of the Kohayakawa-Kreuter conjecture
Published
• View Publication
• BIB
A graph $G$ is said to be Ramsey for a tuple of graphs $(H_1,\dots,H_r)$ if every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H_i$ in color $i$, for some $i$. A fundamental question at the intersection of Ramsey theory and the theory of random graphs is to determine the threshold at which the binomial random graph $G_{n,p}$ becomes a.a.s. Ramsey for a fixed tuple $(H_1,\dots,H_r)$, and a famous conjecture of Kohayakawa and Kreuter predicts this threshold. Earlier work of Mousset-Nenadov-Samotij, Bowtell-Hancock-Hyde, and Kuperwasser-Samotij-Wigderson has reduced this probabilistic problem to a deterministic graph decomposition conjecture. In this paper, we resolve this deterministic problem, thus proving the Kohayakawa-Kreuter conjecture. Along the way, we prove a number of novel graph decomposition results which may be of independent interest.
The maximum number of maximum dissociation sets in potted graphs
Published
• View Publication
• BIB
A potted graph is a unicyclic graph such that its cycle contains a unique vertex with degree larger than 2. Given a graph $G$, a subset of $V(G)$ is a dissociation set of $G$ if it induces a subgraph with maximum degree at most one. A maximum dissociation set is a dissociation set with maximum cardinality. In this paper, we determine the maximum number of maximum dissociation sets in a potted graph of order $n$ which contains a fixed cycle. Extremal potted graphs attaining this maximum number are also characterized.
Long induced paths in expanders
Published in Combinator. Probab. Comp. 34 (2025) 276-282
• View Publication
• BIB
We prove that any bounded degree regular graph with sufficiently strong spectral expansion contains an induced path of linear length. This is the first such result for expanders, strengthening an analogous result in the random setting by Draganić, Glock and Krivelevich. More generally, we find long induced paths in sparse graphs that satisfy a mild upper-uniformity edge-distribution condition.
Trees and co-trees in planar 3-connected graphs An easier proof via Schnyder woods
Let $G$ be a 3-connected planar graph. Define the co-tree of a spanning tree $T$ of $G$ as the graph induced by the dual edges of $E(G)-E(T)$. The well-known cut-cycle duality implies that the co-tree is itself a tree. Let a $k$-tree be a spanning tree with maximum degree $k$. In 1970, Grünbaum conjectured that every 3-connected planar graph contains a 3-tree whose co-tree is also a 3-tree. In 2014, Biedl showed that every such graph contains a 5-tree whose co-tree is a 5-tree. In this paper, we present an easier proof of Biedl's result
A note on colour-bias perfect matchings in hypergraphs
Published
• View Publication
• BIB
A result of Balogh, Csaba, Jing and Pluhár yields the minimum degree threshold that ensures a $2$-coloured graph contains a perfect matching of significant colour-bias (i.e., a perfect matching that contains significantly more than half of its edges in one colour). In this note we prove an analogous result for perfect matchings in $k$-uniform hypergraphs. More precisely, for each $2\leq \ell <k$ and $r\geq 2$ we determine the minimum $\ell$-degree threshold for forcing a perfect matching of significant colour-bias in an $r$-coloured $k$-uniform hypergraph.
The augmented external activity complex of a matroid
Published
• View Publication
• BIB
For a matroid, we define a new simplicial complex whose facets are indexed by its independent sets. This complex contains the external activity complex as a subcomplex. We call our complex the augmented external activity complex since its definition is motivated by the recently defined augmented tautological classes of matroids. We prove that our complex is shellable and show that our shelling satisfies the stronger property of being an $H$-shelling. This explicates our result that the $h$-vector of our complex is the $f$-vector of the independence complex. We also define an augmented no broken circuit complex, which contains the usual no broken circuit complex as a subcomplex. We prove its shellability and show that our shelling is also an $H$-shelling. The $h$-vector of this complex is the $f$-vector of the no broken circuit complex.
On Total Bondage Number of Graphs
In this paper, we explore the concept of total bondage in finite graphs without isolated vertices. A vertex set $D$ is considered a total dominating set if every vertex $v$ in the graph $G$ has a neighbor in $D$. The minimum cardinality of all total dominating sets in $G$ is denoted as $γ_t(G)$. A total bondage edge set $B$ is a subset of the edges of $G$ such that the removal of $B$ from $G$ does not create isolated vertices, and the total dominating number of the resulting graph $G-B$ is strictly greater than $γ_t(G)$. The total bondage number of $G$, denoted $b_t(G)$, is defined as the minimum cardinality of such total bondage edge sets. Our paper establishes upper bounds on $b_t(G)$ based on the maximum degree of a graph. Notably, for planar graphs with minimum degree $δ(G) \geq 3$, we prove $b_t(G) \leq Δ+ 8$ or $b_t(G) \leq 10$. Additionally, for a connected planar graph with $δ(G) \geq 3$ and $g(G) \geq 4$, we show that $b_t(G) \leq Δ+ 3$ if $G$ does not contain an edge with degree sum at most 7. We also improve some upper bounds of the total bondage number for trees, enhance existing lemmas, and find upper bounds for total bondage in specific graph classes.
Properties of Steiner triple systems of order 21
Published
• View Publication
• BIB
Properties of the 62,336,617 Steiner triple systems of order 21 with a non-trivial automorphism group are examined. In particular, there are 28 which have no parallel class, six that are 4-chromatic, five that are 3-balanced, 20 that avoid the mitre, 21 that avoid the crown, one that avoids the hexagon and two that avoid the prism. All systems contain the grid. None have a block intersection graph that is 3-existentially closed.
The golf model on $\mathbb{Z}/n\mathbb{Z}$ and on $\mathbb{Z}$
Published in Electronic Journal of Probability, Electron. J. Probab. 30(none), 1-58, (2025)
• View Publication
• BIB
We introduce a particle model, that we call the $\textit{golf model}$. Initially, on a graph $G$, balls and holes are placed at random on some distinct vertices. The balls then move one by one, doing a random walk on $G$, starting from their initial vertex and stopping at the first empty hole they encounter, which they fill. On finite graphs, under reasonable assumptions (if there are more holes than balls, and if the Markov chain characterizing the random walks is irreducible) a final configuration is reached almost surely. In the paper, we are mainly interested in ${\bf H}^1$, the set of remaining holes. We give the distribution of ${\bf H}^1$ on $\mathbb{Z}/n\mathbb{Z}$, and describe a phase transition for the largest distance between two consecutive holes when the number of remaining holes is of order $\sqrt{n}$. We show that the model on $\mathbb{Z}$ is well-defined if every vertex contains either a ball with probability $d_{\sf b}$, a hole with probability $d_{\sf h}$, or nothing, independently from the other vertices, as long as $d_{\sf b} \leq d_{\sf h}$, and we describe the law of ${\bf H}^1$ in this case.
A new perspective from hypertournaments to tournaments
Published
• View Publication
• BIB
A $k$-tournament $H$ on $n$ vertices is a pair $(V, A)$ for $2\leq k\leq n$, where $V(H)$ is a set of vertices, and $A(H)$ is a set of all possible $k$-tuples of vertices, such that for any $k$-subset $S$ of $V$, $A(H)$ contains exactly one of the $k!$ possible permutations of $S$. In this paper, we investigate the relationship between a hyperdigraph and its corresponding normal digraph. Particularly, drawing on a result from Gutin and Yeo, we establish an intrinsic relationship between a strong $k$-tournament and a strong tournament, which enables us to provide an alternative (more straightforward and concise) proof for some previously known results and get some new results.
Highly connected orientations from edge-disjoint rigid subgraphs
Published
• View Publication
• BIB
We give an affirmative answer to a long-standing conjecture of Thomassen, stating that every sufficiently highly connected graph has a $k$-vertex-connected orientation. We prove that a connectivity of order $O(k^2)$ suffices. As a key tool, we show that for every pair of positive integers $d$ and $t$, every $(t \cdot h(d))$-connected graph contains $t$ edge-disjoint $d$-rigid (in particular, $d$-connected) spanning subgraphs, where $h(d) = 10d(d+1)$. This also implies a positive answer to the conjecture of Kriesell that every sufficiently highly connected graph $G$ contains a spanning tree $T$ such that $G-E(T)$ is $k$-connected.
New lower bounds for three-term progression free sets in $\mathbb{F}_p^n$
We prove new lower bounds on the maximum size of sets $A\subseteq \mathbb{F}_p^n$ or $A\subseteq \mathbb{Z}_m^n$ not containing three-term arithmetic progressions (consisting of three distinct points). More specifically, we prove that for any fixed integer $m\ge 2$ and sufficiently large $n$ (in terms of $m$), there exists a three-term progression free subset $A\subseteq \mathbb{Z}_m^n$ of size $|A|\ge (cm)^n$ for some absolute constant $c>1/2$. Such a bound for $c=1/2$ can be obtained with a classical construction of Salem and Spencer from 1942, and improving upon this value of $1/2$ has been a well-known open problem (our proof gives $c= 0.54$).
Our construction relies on finding a subset $S\subset \mathbb{Z}_m^2$ of size at least $(7/24)m^2$ with a certain type of reducibility property. This property allows us to ``lift'' $S$ to a three-term progression free subset of $\mathbb{Z}_m^n$ for large $n$ (even though the original set $S\subset \mathbb{Z}_m^2$ does contain three-term arithmetic progressions).
A note on generalized crowns in linear r-graphs
Published
• View Publication
• BIB
An $r$-graph $H$ is a hypergraph consisting of a nonempty set of vertices $V$ and a collection of $r$-element subsets of $V$ we refer to as the edges of $H$. An $r$-graph $H$ is called linear if any two edges of $H$ intersect in at most one vertex. Let $F$ and $H$ be two linear $r$-graphs. If $H$ contains no copy of $F$, then $H$ is called $F$-free. The linear Turán number of $F$, denoted by $ex_r^{lin}(n,F)$, is the maximum number of edges in any $F$-free $n$-vertex linear $r$-graph. The crown $C_{13}$ (or $E_4$) is a linear 3-graph which is obtained from three pairwise disjoint edges by adding one edge that intersects all three of them in one vertex. In 2022, Gyárfás, Ruszinkó and Sárközy initiated the study of $ex_3^{lin}(n,F)$ for different choices of an acyclic 3-graph $F$. They determined the linear Turán numbers for all linear 3-graphs with at most 4 edges, except the crown. They established lower and upper bounds for $ex_3^{lin}(n,C_{13})$. In fact, their lower bound on $ex_3^{lin}(n,C_{13})$ is essentially tight, as was shown in a recent paper by Tang, Wu, Zhang and Zheng. In this paper, we generalize the notion of a crown to linear $r$-graphs for $r\ge 3$, and also generalize the above results to linear $r$-graphs.
Weak rainbow saturation numbers of graphs
Published in Journal of Graph Theory, 2025
• View Publication
• BIB
For a fixed graph $H$, we say that an edge-colored graph $G$ is \emph{weakly $H$-rainbow saturated} if there exists an ordering $e_1, e_2, \ldots, e_m$ of $E\left(\overline{G}\right)$ such that, for any list $c_1, c_2, \ldots, c_m$ of pairwise distinct colors from $\mathbb{N}$, the non-edges $e_i$ in color $c_i$ can be added to $G$, one at a time, so that every added edge creates a new rainbow copy of $H$. The \emph{weak rainbow saturation number} of $H$, denoted by $rwsat(n,H)$, is the minimum number of edges in a weakly $H$-rainbow saturated graph on $n$ vertices. In this paper, we show that for any non-empty graph $H$, the limit $\lim_{n\to \infty} \frac{rwsat(n, H)}{n}$ exists. This answers a question of Behague, Johnston, Letzter, Morrison and Ogden [{\it SIAM J. Discrete Math.} (2023)]. We also provide lower and upper bounds on this limit, and in particular, we show that this limit is nonzero if and only if $H$ contains no pendant edges.