contain ↗ reference
7689 papers tagged with this keyword
All-$k$-Isolation in Trees
We define an all-$k$-isolating set of a graph to be a set $S$ of vertices such that, if one removes $S$ and all its neighbors, then no component in what remains has order $k$ or more. The case $k=1$ corresponds to a dominating set and the case $k=2$ corresponds to what Caro and Hansberg called an isolating set. We show that every tree of order $n \neq k$ contains an all-$k$-isolating set $S$ of size at most $n/(k+1)$, and moreover, the set $S$ can be chosen to be an independent set. This extends previous bounds on variations of isolation, while improving a result of Luttrell et al., who called the associated parameter the $k$-neighbor component order connectivity. We also characterize the trees where this bound is achieved. Further, we show that for~$k\le 5$, apart from one exception every tree with $n\neq k$ contains $k+1$ disjoint independent all-$k$-isolating sets.
Ryser's Theorem for Simple Multi-Latin Rectangle
Published
• View Publication
• BIB
We prove a general result on completing objects similar to Latin rectangles in which the number of occurrences of each symbol is prescribed, each cell contains multiple symbols, and no cell contains repeated symbols. This generalizes several results in the literature, and leads to confirming a conjecture of Cavenagh, Hämäläinen, Lefevre, and Stones.
An $r\times s$ {\it $λ$-Latin rectangle} $L$ is an $r\times s$ array in which each cell contains a multiset of $λ$ elements from the set $\{1,\dots,n\}$ of symbols such that each symbol occurs at most $λ$ times in each row and column. If $r=s=n$, then $L$ is a {\it $λ$-Latin square}. A $λ$-Latin rectangle is {\it simple} if no symbol is repeated in any cell. Cavenagh et al. asked for conditions that ensure a simple $λ$-Latin rectangle can be extended to a simple $λ$-Latin square. We solve this problem in a more general setting by allowing the number of occurrences of each symbol to be prescribed. Cavenagh et al. conjectured that for each $r, λ$ there exists some $n(r, λ)$ such that for any $n \geq n(r, λ)$, every simple partial $λ$-Latin square of order $r$ (each cell contain at most $λ$ symbols) embeds in a simple $λ$-Latin square of order $n$. We confirm this conjecture.
A sharp lower bound on the generalized 4-independence number
Published
• View Publication
• BIB
For a graph $G$, a vertex subset $S$ is called a maximum generalized $k$-independent set if the induced subgraph $G[S]$ does not contain a $k$-tree as its subgraph, and the subset has maximum cardinality. The generalized $k$-independence number of $G$, denoted as $α_k(G)$, is the number of vertices in a maximum generalized $k$-independent set of $G$. For a graph $G$ with $n$ vertices, $m$ edges, $c$ connected components, and $c_1$ induced cycles of length 1 modulo 3, Bock et al. [J. Graph Theory 103 (2023) 661-673] showed that $α_3(G)\geq n-\frac{1}{3}(m+c+c_1)$ and identified the extremal graphs in which every two cycles are vertex-disjoint. Li and Zhou [Appl. Math. Comput. 484 (2025) 129018] proved that if $G$ is a tree with $n$ vertices, then $α_4(G) \geq \frac{3}{4}n$. They also presented all the corresponding extremal trees. In this paper, for a general graph $G$ with $n$ vertices, it is proved that $α_4(G)\geq \frac{3}{4}(n-ω(G))$ by using a different approach, where $ω(G)$ denotes the dimension of the cycle space of $G$. The graphs whose generalized $4$-independence number attains the lower bound are characterized completely. This represents a logical continuation of the work by Bock et al. and serves as a natural extension of the result by Li and Zhou.
On the threshold for triangulations inside convex polygons
Published
• View Publication
• BIB
Start with a large convex polygon and add all other edges inside independently with probability $p$. At what critical threshold $p_c$ do triangulations of the polygon begin to appear?
The first author and Gravner asked this question, and observed that $p_c=Θ(1)$, using the relationship with the Catalan numbers and a coupling with oriented site percolation on ${\mathbb Z}^2$. More recently, Archer, Hartarsky, the first author, Olesker-Taylor, Schapira and Valesin proved that $1/4<p_c<p_c^o$, where $1/4$ is the Catalan exponential growth rate and $p_c^o$ is the critical threshold for oriented percolation. The upper bound is strict, but non-quantitative, and follows by a renormalization argument.
We show that $p_c<1/2$ using a simple ear clipping algorithm, which can be analyzed using the gambler's ruin problem. This bound is closer to the truth (perhaps near $0.4$) and shows that most configurations of edges inside large convex polygons contain triangulations.
Saturation for Sums of Posets and Antichains
Published
• View Publication
• BIB
Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The saturation number of $\mathcal P$ is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$.
The saturation numbers have been shown to exhibit a dichotomy: for any poset, the saturation number is either bounded, or at least $2\sqrt n$. The general conjecture is that in fact, the saturation number for any poset is either bounded, or at least linear.
The linear sum of two posets $\mathcal P_1$ and $\mathcal P_2$, dented by $\mathcal P_1*\mathcal P_2$, is defined as the poset obtained from a copy of $\mathcal P_1$ placed completely on top of a copy of $\mathcal P_2$. In this paper we show that the saturation number of $\mathcal P_1*\mathcal A_k*\mathcal P_2$ is always at least linear, for any $\mathcal P_1$, $\mathcal P_2$ and $k\geq2$, where $\mathcal A_k$ is the antichain of size $k$. This is a generalisation of the recent result that the saturation number for the diamond is linear (in that case $\mathcal P_1$ and $\mathcal P_2$ are both the single point poset, and $k=2$). We also show that, with the exception of chains which are known to have bounded saturation number, the saturation number for all complete multipartite posets is linear.
Tree-width of a graph excluding an apex-forest or a wheel as a minor
The Grid Minor Theorem states that for every planar graph $H$, there exists a smallest integer $f(H)$ such that every graph with tree-width at least $f(H)$ contains $H$ as a minor. The only known lower bounds on $f(H)$ beyond the trivial bound $f(H)\geq |V(H)|-1$ come from the maximum number of disjoint cycles in $H$. In this paper, we study $f(H)$ for planar graphs $H$ with no two disjoint cycles. We prove that $f(H)=|V(H)|-1$ for every apex-forest $H$. This result improves a bound of Leaf and Seymour and contains all known large graphs $H$ meeting the trivial lower bound to our knowledge. We also prove that $f(H)\leq \max\{\tfrac32|V(H)|-\tfrac92,|V(H)|-1\}$ for every wheel $H$.
Asymptotic structure. V. The coarse Menger conjecture in bounded path-width
Menger's theorem tells us that if $S,T$ are sets of vertices in a graph $G$, then (for $k\ge0$) either there are $k+1$ vertex-disjoint paths between $S$ and $T$, or there is a set of $k$ vertices separating $S$ and $T$. But what if we want the paths to be far apart, say at distance at least $c$? One might hope that we can find either $k+1$ paths pairwise far apart, or $k$ sets of bounded radius that separate $S$ and $T$, where the bound on the radius is some $\ell$ that depends only on $k,c$ (the ``coarse Menger conjecture''). We showed in an earlier paper that this is false for all $k\ge 2$ and $c\ge3$. To do so we gave a sequence of finite graphs, counterexamples for larger and larger values of $\ell$ with $k=2$, $c=3$. Our counterexamples contained subdivisions of uniform binary trees with arbitrarily large depth as subgraphs.
Here we show that for any binary tree $T$, the coarse Menger conjecture is true for all graphs that contain no subdivision of $T$ as a subgraph, that is, it is true for graphs with bounded path-width (and, further, for graphs with bounded coarse path-width). This is perhaps surprising, since it is false for bounded tree-width.
On the Independence Numbers of the Cyclic Van der Waerden Hypergraphs
Building upon the work of Berglund (2018), we establish a method for constructing subsets $B \subseteq \mathbb{Z}_{mk}$ such that $B$ does not contain any $k$-term cyclic arithmetic progressions mod $mk$, where $m,k \in \mathbb{Z}^+$ with $k \geq 3$. This construction thereby provides concrete lower bounds for the maximum size of such subsets. Additionally, it allows us to tightly bound specific chromatic numbers $χ(mk,k)$ of $\mathbb{Z}_{mk}$ and helps increase the lower bounds of certain cyclic Van der Waerden numbers $W_{c}(k,r)$, originally introduced by Burkert and Johnson (2011) as a way of bounding the standard Van der Waerden numbers $W(k,r)$ from below for $r \geq 2$.
Slice rank and partition rank of the determinant
The Laplace expansion expresses the $n \times n$ determinant $\det_n$ as a sum of $n$ products. Do shorter expansions exist? In this paper we:
- Fully determine the slice rank decompositions of $\det_n$ (where each product must contain a linear factor): In this case, we show that $n$ summands are necessary, and moreover, the only such expansions with $n$ summands are equivalent (in a precise sense) to the Laplace expansion.
- Prove a logarithmic lower bound for the partition rank of $\det_n$ (where each product is of multilinear forms): In this case, we show that at least $\log_2(n)+1$ summands are needed. We also explain why existing techniques fail to yield any nontrivial lower bound, and why our new method cannot give a super-logarithmic lower bound.
- Separate partition rank from slice rank for $\det_n$: we find a quadratic expansion for $\det_4$, over any field, with fewer summands than the Laplace expansion. This construction is related to a well-known example of Green-Tao and Lovett-Meshulam-Samorodnitsky disproving the naive version of the Gowers Inverse conjecture over small fields.
An important motivation for these questions comes from the challenge of separating structure and randomness for tensors. On the one hand, we show that the random construction fails to separate: for a random tensor of partition rank $r$, the analytic rank is $r-o(1)$ with high probability. On the other hand, our results imply that the determinant yields the first asymptotic separation between partition rank and analytic rank of $d$-tensors, with their ratio tending to infinity with $d$.
No Infinite $(p,q)$-Theorem for Piercing Compact Convex Sets with Lines in $\mathbb{R}^3$
An infinite $(p,q)$-theorem, or an $(\aleph_0,q)$-theorem, involving two families $\mathcal{F}$ and $\mathcal{G}$ of sets, states that if in every infinite subset of $\mathcal{F}$, there are $q$ sets that are intersected by some set in $\mathcal{G}$, then there is a finite set $S_{\mathcal{F}}\subseteq\mathcal{G}$ such that for every $C\in\mathcal{F}$, there is a $B\in S_{\mathcal{F}}$ with $C\cap B\neq\emptyset$. We provide an example demonstrating that there is no $(\aleph_0,q)$-theorem for piercing compact convex sets in $\mathbb{R}^3$ with lines by constructing a family $\mathcal{F}$ of compact convex sets such that it does not have a finite line transversal, but for any $t\in\mathbb{N}$, every infinite subset of $\mathcal{F}$ contains $t$ sets that are pierced by a line.
Gathering in Non-Vertex-Transitive Graphs Under Round Robin
Published
• View Publication
• BIB
The Gathering problem for a swarm of robots asks for a distributed algorithm that brings such entities to a common place, not known in advance. We consider the well-known OBLOT model with robots constrained to move along the edges of a graph, hence gathering in one vertex, eventually. Despite the classical setting under which the problem has been usually approached, we consider the `hostile' case where: i) the initial configuration may contain multiplicities, i.e. more than one robot may occupy the same vertex; ii) robots cannot detect multiplicities. As a scheduler for robot activation, we consider the "favorable" round-robin case, where robots are activated one at a time.
Our objective is to achieve a complete characterization of the problem in the broad context of non-vertex-transitive graphs, i.e., graphs where the vertices are partitioned into at least two different classes of equivalence. We provide a resolution algorithm for any configuration of robots moving on such graphs, along with its correctness. Furthermore, we analyze its time complexity.
The limit of repetition thresholds of rich sequences
The repetition threshold of a class of sequences is the smallest number $r$ such that a sequence from the class contains no repetition with exponent $> r$. We focus on the class $\mathcal{C}_d$ of $d$-ary sequences rich in palindromes. In 2020, Currie, Mol, and Rampersad determined the repetition threshold for $\mathcal{C}_2$. In 2024, Currie, Mol and Peltomäki found the repetition threshold for $\mathcal{C}_3$ and conjectured that the repetition threshold for $\mathcal{C}_d$ tends to 2 with $d$ growing to infinity. Here we verify their conjecture.
A Composition-Based Approach to EKR Problems
Let $\mathcal{A}$ be a family of subsets of a finite set. A subfamily of $\mathcal{A}$ is said to be intersecting when any two of its members contain at least one common element. We say that $\mathcal{A}$ is an Erd{\H o}s-Ko-Rado (EKR) family if, for every element $x$ of the set, the subfamily consisting of all members of $\mathcal{A}$ that contain $x$ has the maximum cardinality among all intersecting subfamilies of $\mathcal{A}$.
If these subfamilies are the only maximum intersecting subfamilies of $\mathcal{A}$, then $\mathcal{A}$ is called a strong EKR family. In this article, we introduce a compositional framework to establish the EKR and strong EKR properties in set systems when some subfamilies are known to satisfy the EKR or strong EKR properties. Our method is powerful enough to yield simpler proofs for several existing results, including those derived from Katona's cycle method (1968), Borg and Meagher's admissible ordering method (2016), related results on the family of permutations studied by Frankl and Deza (1977) and the family of perfect matchings of complete graphs of even order investigated by Meagher and Moura (2005). To demonstrate the applicability and effectiveness of our method when other existing methods have not been successful, we show that for every fixed $r$-uniform hypergraph $H$ and all sufficiently large integers $n$, the family of all subhypergraphs of the complete $r$-uniform hypergraph on $n$ vertices that are isomorphic to $H$ satisfies the strong EKR property, where two copies of $H$ are considered intersecting if they share at least one common hyperedge. Moreover, when the structural constraint $H$ is restricted to be a cycle, we establish a series of EKR results for families of cycles in the complete graph $K_n$ and the complete bipartite graph $K_{n,n}$ for a broad range of the parameter $n$.
A graph theoretic proof of Cramer's rule
Published in Communications in Combinatorics and Optimization, 2025
• View Publication
• BIB
This note contains a new combinatorial proof of Cramer's rule based on the Gessel-Viennot-Lindstrom Lemma.
Revealing the building blocks of tree balance: fundamental units of the Sackin and Colless Indices
Over the past decades, more than 25 phylogenetic tree balance indices and several families of such indices have been proposed in the literature -- some of which even contain infinitely many members. It is well established that different indices have different strengths and perform unequally across application scenarios. For example, power analyses have shown that the ability of an index to detect the generative model of a given phylogenetic tree varies significantly between indices. This variation in performance motivates the ongoing search for new and possibly \enquote{better} (im)balance indices. An easy way to generate a new index is to construct a compound index, e.g., a linear combination of established indices.
Two of the most prominent and widely used imbalance indices in this context are the Sackin index and the Colless index. In this study, we show that these classic indices are themselves compound in nature: they can be decomposed into more elementary components that independently satisfy the defining properties of a tree (im)balance index. We further show that the difference Colless minus Sackin results in another imbalance index that is minimized (amongst others) by all Colless minimal trees. Conversely, the difference Sackin minus Colless forms a balance index.
Finally, we compare the building blocks of which the Sackin and the Colless indices consist to these indices as well as to the stairs2 index, which is another index from the literature. Our results suggest that the elementary building blocks we identify are not only foundational to established indices but also valuable tools for analyzing disagreement among indices when comparing the balance of different trees.
Ramsey numbers of digraphs with local edge structure
One of the classical topics in graph Ramsey theory is the study of which $n$-vertex graphs have Ramsey numbers that are linear in $n$. In this paper, we consider this problem in the context of directed graphs. The oriented Ramsey number of a digraph $G$ is the smallest integer $N$ such that every $N$-vertex tournament contains a copy of $G$. We prove that every bounded-degree acyclic digraph with a ``local edge structure'' has a linear oriented Ramsey number.
More precisely, we say that a digraph $G$ has graded bandwidth $w$ if its vertices can be partitioned into sets $V_1, \dots, V_H$ such that all edges $uv \in E(G)$ with $u \in V_i$ and $v \in V_j$ satisfy $1 \leq j - i \leq w$. We prove that $\vec{r}(G) \leq 3^{57Δw} |V(G)|$ for any acyclic $G$ with graded bandwidth $w$ and maximum degree $Δ$.
This provides a common generalization of several prior results, including on digraphs of bounded height, of digraphs of bounded bandwidth, and blowups of bounded-degree oriented trees. This notion also captures a wide variety of natural digraphs, such as oriented grids and hypercubes.
New bounds for some small multicolor Ramsey numbers
The Ramsey number $R(G_1,\dots,G_k)$ is the smallest $n$ such that every $k$-coloring of the edges of $K_n$ contains a monochromatic copy of $G_i$ in color $i$. Ramsey numbers are challenging to compute, and few are known exactly. We use Boolean satisfiability (SAT) solvers to search for structured colorings that give lower bounds, and we show $R(K_4,K_4-e,K_4-e) \ge 35$ and $R(K_3,K_4,C_4,C_4) \ge 49$. Moreover, we tighten some recent upper bounds for multicolor Ramsey numbers for cycles and show $R(C_3,C_6,C_6) = R(C_5,C_6,C_6) = 15$. Finally, we enumerate critical graphs for the numbers $R(C_4,K_{1,s})$ and $R(C_6,K_{1,s})$.
The generalized Turán number for K_3 in graphs without suspensions of a path on five vertices
Published
• View Publication
• BIB
Given graphs $H$ and $F$, the generalized Turán number $\ex(n, H, F)$ is defined as
the maximum number of copies of $H$ in an $n$-vertex graph that contains no copy of $F$.
The suspension $\widehat{F}$ of a graph $F$ is
obtained by adding a new vertex that is adjacent to every vertex of $F$.
Mubayi and Mukherjee (2023, DM) conjectured that $\ex(n, K_3, \widehat{P_k})=\left\lfloor \frac{k-2}{2}\right\rfloor \cdot \frac{n^2}{8}+o(n^2)$, where $P_k$ is a
path on $k\ge 4$ vertices. Using the triangle removal
lemma, they verified this conjecture for $k=4,5,6$.
Later, Mukherjee (2024, DM) established the exact value $\ex(n, K_3, \widehat{P_4})=\left\lfloor n^2/8\right\rfloor$.
In this paper, using the stability method, we determine the exact value of $\ex(n, K_3, \widehat{P_5})$ by showing that for sufficiently large $n$, $\ex(n,K_3, \widehat{P_5})=\left\lfloor n^2/8\right\rfloor.$
A sufficient condition for planar graphs with maximum degree eight to be totally 9-colorable
A total coloring of a graph $G$ is a coloring of the vertices and edges such that two adjacent or incident elements receive different colors. The minimum number of colors required for a total coloring of a graph $G$ is called the total chromatic number, denoted by $χ''(G)$. Let $G$ be a planar graph of maximum degree eight. It is known that $9\leq χ''(G) \leq 10$. We here prove that $χ''(G)=9$ when the graph does not contain any subgraph isomorphic to a $4$-fan.
Submonoids of Infinite Symmetric Inverse Monoids
In this thesis we study the subsemigroup structure of the symmetric inverse monoid $I_X$, the inverse semigroup of bijections between subsets of the set $X$, when $X$ is an infinite set. We explore three different approaches to this task. First, we classify the maximal subsemigroups of $I_X$ containing certain subgroups of the symmetric group on $X$. The subgroups in question are the symmetric group itself, the pointwise stabiliser of a finite non-empty subset of $X$, the stabiliser of an ultrafilter on $X$, and the stabiliser of a finite partition of $X$. Next, we study subsemigroups of $I_X$ which are closed in semigroup topologies on $I_X$ introduced by Elliot et al. in 2023. We discover that the closed subsemigroups in these topologies that contain all the idempotents of $I_X$ coincide exactly with semigroups of partial endomorphisms and partial automorphisms of relational structures defined on $X$. Furthermore, we show that if a relational structure $R$ on a countable set $X$ only contains a finite number of relations, then there exists a finite subset $U$ of $I_X$ such that the union of the partial automorphisms of $R$ together with $U$ generates all of $I_X$. Finally, we study the subsemigroup structure of $I_X$ under a preorder introduced by George Bergman and Saharon Shelah in 2006 for the symmetric group. Extending the preorder to $I_X$, if $S_1$ and $S_2$ are subsemigroups of $I_X$, we say that $S_1 \preccurlyeq S_2$ if there exists a finite subset $U$ of $I_X$ such that $S_1$ is contained in the semigroup generated by the union of $S_2$ and $U$. We classify certain types of subsemigroups of $I_X$ according the Bergman-Shelah preorder, and we formulate a conjecture analogous to the main result by Bergman and Shelah.