contain ↗ reference
7694 papers tagged with this keyword
More on lines in Euclidean Ramsey theory
Published
• View Publication
• BIB
Let $\ell_m$ be a sequence of $m$ points on a line with consecutive points at distance one. Answering a question raised by Fox and the first author and independently by Arman and Tsaturian, we show that there is a natural number $m$ and a red/blue-colouring of $\mathbb{E}^n$ for every $n$ that contains no red copy of $\ell_3$ and no blue copy of $\ell_m$.
Spanning tree packing and 2-essential edge-connectivity
Published in Discrete Mathematics,2023
• View Publication
• BIB
An edge (vertex) cut $X$ of $G$ is $r$-essential if $G-X$ has two components each of which has at least $r$ edges. A graph $G$ is $r$-essentially $k$-edge-connected (resp. $k$-connected) if it has no $r$-essential edge (resp. vertex) cuts of size less than $k$. If $r=1$, we simply call it essential. Recently, Lai and Li proved that every $m$-edge-connected essentially $h$-edge-connected graph contains $k$ edge-disjoint spanning trees, where $k,m,h$ are positive integers such that $k+1\le m\le 2k-1$ and $h\ge \frac{m^2}{m-k}-2$. In this paper, we show that every $m$-edge-connected and $2$-essentially $h$-edge-connected graph that is not a $K_5$ or a fat-triangle with multiplicity less than $k$ has $k$ edge-disjoint spanning trees, where $k+1\le m\le 2k-1$ and $$h\ge f(m,k)=\begin{cases} 2m+k-4+\frac{k(2k-1)}{2m-2k-1}, & m< k+\frac{1+\sqrt{8k+1}}{4}, \\ m+3k-4+\frac{k^2}{m-k}, & m\ge k+\frac{1+\sqrt{8k+1}}{4}. \end{cases}$$ Extending Zhan's result, we also prove that every 3-edge-connected essentially 5-edge-connected and $2$-essentially 8-edge-connected graph has two edge-disjoint spanning trees. As an application, this gives a new sufficient condition for Hamilton-connectedness of line graphs. In 2012, Kaiser and Vrána proved that every 5-connected line graph of minimum degree at least 6 is Hamilton-connected. We allow graphs to have minimum degree 5 and prove that every 5-connected essentially 8-connected line graph is Hamilton-connected.
Geodesic Growth of Numbered Graph Products
Published in journal of Groups, complexity, cryptology, Volume 14, Issue 2 (February 4, 2023) gcc:10019
• View Publication
• BIB
In this paper, we study geodesic growth of numbered graph products; these are a generalization of right-angled Coxeter groups, defined as graph products of finite cyclic groups. We first define a graph-theoretic condition called link-regularity, as well as a natural equivalence amongst link-regular numbered graphs, and show that numbered graph products associated to link-regular numbered graphs must have the same geodesic growth series. Next, we derive a formula for the geodesic growth of right-angled Coxeter groups associated to link-regular graphs. Finally, we find a system of equations that can be used to solve for the geodesic growth of numbered graph products corresponding to link-regular numbered graphs that contain no triangles and have constant vertex numbering.
Saturation of multidimensional 0-1 matrices
A 0-1 matrix $M$ is saturating for a 0-1 matrix $P$ if $M$ does not contain a submatrix that can be turned into $P$ by flipping any number of its $1$-entries to $0$-entries, and changing any $0$-entry to $1$-entry of $M$ introduces a copy of $P$. Matrix $M$ is semisaturating for $P$ if changing any $0$-entry to $1$-entry of $M$ introduces a new copy of $P$, regardless of whether $M$ originally contains $P$ or not. The functions $ex(n;P)$ and $sat(n;P)$ are the maximum and minimum possible number of $1$-entries a $n\times n$ 0-1 matrix saturating for $P$ can have, respectively. Function $ssat(n;P)$ is the minimum possible number of $1$-entries a $n\times n$ 0-1 matrix semisaturating for $P$ can have.
Function $ex(n;P)$ has been studied for decades, while investigation on $sat(n;P)$ and $ssat(n;P)$ was initiated recently. In this paper, we make nontrivial generalization of results regarding these functions to multidimensional 0-1 matrices. In particular, we find the exact values of $ex(n;P,d)$ and $sat(n;P,d)$ when $P$ is a $d$-dimensional identity matrix. Then we give the necessary and sufficient condition for a multidimensional 0-1 matrix to have bounded semisaturation function.
Avoidability beyond paths
Published
• View Publication
• BIB
The concept of avoidable paths in graphs was introduced by Beisegel, Chudnovsky, Gurvich, Milanič, and Servatius in 2019 as a common generalization of avoidable vertices and simplicial paths. In 2020, Bonamy, Defrain, Hatzel, and Thiebaut proved that every graph containing an induced path of order $k$ also contains an avoidable induced path of the same order. They also asked whether one could generalize this result to other avoidable structures, leaving the notion of avoidability up to interpretation. In this paper we address this question: we specify the concept of avoidability for arbitrary graphs equipped with two terminal vertices. We provide both positive and negative results, some of which appear to be related to the recent work by Chudnovsky, Norin, Seymour, and Turcotte [arXiv:2301.13175].
Singleton mesh patterns in multidimensional permutations
Published in J. Combin. Th. A, V. 201, (2024) 105801
• View Publication
• BIB
This paper introduces the notion of mesh patterns in multidimensional permutations and initiates a systematic study of singleton mesh patterns (SMPs), which are multidimensional mesh patterns of length 1. A pattern is avoidable if there exist arbitrarily large permutations that do not contain it. As our main result, we give a complete characterization of avoidable SMPs using an invariant of a pattern that we call its rank. We show that determining avoidability for a $d$-dimensional SMP $P$ of cardinality $k$ is an $O(d\cdot k)$ problem, while determining rank of $P$ is an NP-complete problem. Additionally, using the notion of a minus-antipodal pattern, we characterize SMPs which occur at most once in any $d$-dimensional permutation. Lastly, we provide a number of enumerative results regarding the distributions of certain general projective, plus-antipodal, minus-antipodal and hyperplane SMPs.
Arrangements of Pseudocircles: On Digons and Triangles
Published in Computing in Geometry and Topology, 3(1), 11:1-11:18 (2025)
• View Publication
• BIB
In this article, we study the cell-structure of simple arrangements of pairwise intersecting pseudocircles. The focus will be on two problems of Grünbaum (1972).
First, we discuss the maximum number of digons or touching points. Grünbaum conjectured that there are at most $2n - 2$ digon cells or equivalently at most $2n - 2$ touchings. Agarwal et al. (2004) verified the conjecture for cylindrical arrangements. We show that the conjecture holds for any arrangement which contains three pairwise touching pseudocircles. The proof makes use of the result for cylindrical arrangements. Moreover, we construct non-cylindrical arrangements which attain the maximum of $2n - 2$ touchings and have no triple of pairwise touching pseudocircles.
Second, we discuss the minimum number of triangular cells (triangles) in arrangements without digons and touchings. Grünbaum conjectured that such arrangements have $2n - 4$ triangles. Snoeyink and Hershberger (1991) established a lower bound of $\lceil \frac{4}{3}n \rceil$. Felsner and Scheucher (2017) disproved the conjecture and constructed a family of arrangements with only $\lceil \frac{16}{11}n \rceil$ triangles. We provide a construction which shows that $\lceil \frac{4}{3}n \rceil$ is the correct value.
Ramsey numbers upon vertex deletion
Published
• View Publication
• BIB
Given a graph $G$, its Ramsey number $r(G)$ is the minimum $N$ so that every two-coloring of $E(K_N)$ contains a monochromatic copy of $G$. It was conjectured by Conlon, Fox, and Sudakov that if one deletes a single vertex from $G$, the Ramsey number can change by at most a constant factor. We disprove this conjecture, exhibiting an infinite family of graphs such that deleting a single vertex from each decreases the Ramsey number by a super-constant factor.
One consequence of this result is the following. There exists a family of graphs $\{G_n\}$ so that in any Ramsey coloring for $G_n$ (that is, a coloring of a clique on $r(G_n)-1$ vertices with no monochromatic copy of $G_n$), one of the color classes has density $o(1)$.
On the monophonic convexity in complementary prisms
A set $S$ of vertices of a graph $G$ is \emph{monophonic convex} if $S$ contains all the vertices belonging to any induced path connecting two vertices of $S$. The cardinality of a maximum proper monophonic convex set of $G$ is called the \emph{monophonic convexity number} of $G$. The \emph{monophonic interval} of a set $S$ of vertices of $G$ is the set $S$ together with every vertex belonging to any induced path connecting two vertices of $S$. The cardinality of a minimum set $S \subseteq V(G)$ whose monophonic interval is $V(G)$ is called the \emph{monophonic number} of $G$. The \emph{monophonic convex hull} of a set $S$ of vertices of $G$ is the smallest monophonic convex set containing $S$ in $G$. The cardinality of a minimum set $S \subseteq V(G)$ whose monophonic convex hull is $V(G)$ is called the \emph{monophonic hull number} of $G$. The \emph{complementary prism} $\GG$ of $G$ is obtained from the disjoint union of $G$ and its complement $\overline{G}$ by adding the edges of a perfect matching between them. In this work, we determine the monophonic convexity number, the monophonic number, and the monophonic hull number of the complementary prisms of all graphs.
A proof of the Elliott-Rödl conjecture on hypertrees in Steiner triple systems
Published
• View Publication
• BIB
Hypertrees are linear hypergraphs where every two vertices are connected by a unique path. Elliott and Rödl conjectured that for any given $μ>0$, there exists $n_0$ such that the following holds. Every $n$-vertex Steiner triple system contains all hypertrees with at most $(1-μ)n$ vertices whenever $n\geq n_0$. We prove this conjecture.
Balanced supersaturation and Turan numbers in random graphs
Published in Advances in Combinatorics, 2024:3, 26pp
• View Publication
• BIB
In a ground-breaking paper solving a conjecture of Erdős on the number of $n$-vertex graphs not containing a given even cycle, Morris and Saxton \cite{MS} made a broad conjecture on so-called balanced supersaturation property of a bipartite graph $H$. Ferber, McKinley, and Samotij \cite{FMS} established a weaker version of this conjecture and applied it to derive far-reaching results on the enumeration problem of $H$-free graphs.
In this paper, we show that Morris and Saxton's conjecture holds under a very mild assumption about $H$, which is widely believed to hold whenever $H$ contains a cycle. We then use our theorem to obtain enumeration results and general upper bounds on the Turán number of a bipartite $H$ in the random graph $G(n,p)$, the latter being first of its kind.
Product-free sets in approximate subgroups of distal groups
Published
• View Publication
• BIB
Recall that a subset $X$ of a group $G$ is 'product-free' if $X^2\cap X=\varnothing$, ie if $xy\notin X$ for all $x,y\in X$. Let $G$ be a group definable in a distal structure. We prove there are constants $c>0$ and $δ\in(0,1)$ such that every finite subset $X\subseteq G$ distinct from $\{1\}$ contains a product-free subset of size at least $δ|X|^{c+1}/|X^2|^c$. In particular, every finite $k$-approximate subgroup of $G$ distinct from $\{1\}$ contains a product-free subset of density at least $δ/k^c$. The proof is short, and follows quickly from Ruzsa calculus and an iterated application of Chernikov and Starchenko's distal regularity lemma.
Totally Nonnegative Tropical Flags and the Totally Nonnegative Flag Dressian
We study the totally nonnegative part of the complete flag variety and of its tropicalization. We show that Lusztig's notion of nonnegative complete flag variety coincides with the flags in the complete flag variety which have nonnegative Pl{ü}cker coordinates. This mirrors the characterization of the totally nonnegative Grassmannian as those points in the Grassmannian whose Pl{ü}cker coordinates are all nonnegative. We then study the tropical complete flag variety and complete flag Dressian, which are two tropical versions of the complete flag variety, capturing realizable and abstract flags of tropical linear spaces, respectively. In general, the complete flag Dressian properly contains the tropical complete flag variety. However, we show that the totally nonnegative parts of these spaces coincide.
Existence of a percolation threshold on finite transitive graphs
Published
• View Publication
• BIB
Let $(G_n)$ be a sequence of finite connected vertex-transitive graphs with volume tending to infinity. We say that a sequence of parameters $(p_n)$ is a percolation threshold if for every $\varepsilon > 0$, the proportion $\left\lVert K_1 \right\rVert$ of vertices contained in the largest cluster under bond percolation $\mathbb{P}_p^G$ satisfies both \[ \begin{split}
\lim_{n \to \infty} \mathbb{P}_{(1+\varepsilon)p_n}^{G_n} \left( \left\lVert K_1 \right\rVert \geq α\right) &= 1 \quad \text{for some $α> 0$, and}
\lim_{n \to \infty} \mathbb{P}_{(1-\varepsilon)p_n}^{G_n} \left( \left\lVert K_1 \right\rVert \geq α\right) &= 0 \quad \text{for all $α> 0$}. \end{split}\] We prove that $(G_n)$ has a percolation threshold if and only if $(G_n)$ does not contain a particular infinite collection of pathological subsequences of dense graphs. Our argument uses an adaptation of Vanneuville's new proof of the sharpness of the phase transition for infinite graphs via couplings [Van22] together with our recent work with Hutchcroft on the uniqueness of the giant cluster [EH21].
Perfect Out-forests and Steiner Cycle Packing in Digraphs
In this paper, we study the complexity of two types of digraph packing problems: perfect out-forests problem and Steiner cycle packing problem.
For the perfect out-forest problem, we prove that it is NP-hard to decide whether a given strong digraph contains a 1-perfect out-forest. However, when restricted to a semicomplete digraph $D$, the problem of deciding whether $D$ contains an $i$-perfect out-forest becomes polynomial-time solvable, where $i\in \{0,1\}$. We also prove that it is NP-hard to find a 0-perfect out-forest of maximum size in a connected acyclic digraph, and it is NP-hard to find a 1-perfect out-forest of maximum size in a connected digraph.
For the Steiner cycle packing problem, when both $k\geq 2, \ell\geq 1$ are fixed integers, we show that the problem of deciding whether there are at least $\ell$ internally disjoint directed $S$-Steiner cycles in an Eulerian digraph $D$ is NP-complete, where $S\subseteq V(D)$ and $|S|=k$. However, when we consider the class of symmetric digraphs, the problem becomes polynomial-time solvable. We also show that the problem of deciding whether there are at least $\ell$ arc-disjoint directed $S$-Steiner cycles in a given digraph $D$ is NP-complete, where $S\subseteq V(D)$ and $|S|=k$.
A further extension of Rödl's theorem
Published
• View Publication
• BIB
Fix $\varepsilon>0$ and a nonnull graph $H$. A well-known theorem of Rödl from the 80s says that every graph $G$ with no induced copy of $H$ contains a linear-sized $\varepsilon$-restricted set $S\subseteq V(G)$, which means $S$ induces a subgraph with maximum degree at most $\varepsilon\vert S\vert$ in $G$ or its complement. There are two extensions of this result:
$\bullet$ quantitatively, Nikiforov (and later Fox and Sudakov) relaxed the condition "no induced copy of $H$" into "at most $κ\vert G\vert^{\vert H\vert}$ induced copies of $H$ for some $κ>0$ depending on $H$ and $\varepsilon$"; and
$\bullet$ qualitatively, Chudnovsky, Scott, Seymour, and Spirkl recently showed that there exists $N>0$ depending on $H$ and $\varepsilon$ such that $G$ is $(N,\varepsilon)$-restricted, which means $V(G)$ has a partition into at most $N$ subsets that are $\varepsilon$-restricted.
A natural common generalization of these two asserts that every graph $G$ with at most $κ\vert G\vert^{\vert H\vert}$ induced copies of $H$ is $(N,\varepsilon)$-restricted for some $κ,N>0$ depending on $H$ and $\varepsilon$. This is unfortunately false, but we prove that for every $\varepsilon>0$, $κ$ and $N$ still exist so that for every $d\ge0$, every graph with at most $κd^{\vert H\vert}$ induced copies of $H$ has an $(N,\varepsilon)$-restricted induced subgraph on at least $\vert G\vert-d$ vertices. This unifies the two aforementioned theorems, and is optimal up to $κ$ and $N$ for every value of $d$.
Simple deterministic O(n log n) algorithm finding a solution of Erdős-Ginzburg-Ziv theorem
Erdős-Ginzburg-Ziv theorem is a famous theorem in additive number theory, which states any sequence of $2n-1$ integers contains a subsequence of $n$ elements, with their sum being a multiple of $n$. In this article, we provide an algorithm finding a solution of Erdős-Ginzburg-Ziv theorem in $\mathcal{O}(n \log n)$ time. This is the first known deterministic $\mathcal{O}(n \log n)$ time algorithm finding a solution of Erdős-Ginzburg-Ziv theorem.
Connected Turán number of trees
Published
• View Publication
• BIB
As a variant of the much studied Turán number, $ex(n,F)$, the largest number of edges that an $n$-vertex $F$-free graph may contain, we introduce the connected Turán number $ex_c(n,F)$, the largest number of edges that an $n$-vertex connected $F$-free graph may contain. We focus on the case where the forbidden graph is a tree. The celebrated conjecture of Erdős and Sós states that for any tree $T$, we have $ex(n,T)\le(|T|-2)\frac{n}{2}$. We address the problem how much smaller $ex_c(n,T)$ can be, what is the smallest possible ratio of $ex_c(n,T)$ and $(|T|-2)\frac{n}{2}$ as $|T|$ grows. We also determine the exact value of $ex_c(n,T)$ for small trees, in particular for all trees with at most six vertices. We introduce general constructions of connected $T$-free graphs based on graph parameters as longest path, matching number, branching number, etc.
Analysis of subsystems with rooks on a chess-board representing a partial Latin square (Part 2.)
A partial Latin square of order $n$ can be represented by a $3$-dimensional chess-board of size $n\times n\times n$ with at most $n^2$ non-attacking rooks. In Latin squares, a subsystem and its most distant mate together have as many rooks as their capacity. That implies a simple capacity condition for the completion of partial Latin squares which is in fact the Cruse's necessary condition for characteristic matrices. Andersen-Hilton proved that, except for certain listed cases, a PLS of order $n$ can be completed if it contains only $n$ symbols. Andersen proved it for $n+1$ symbols, listing the cases to be excluded. Identifying the structures of the chess-board that can be overloaded with $n$ or $n+1$ rooks, it follows that a PLS derived from a chess-board with at most $n+1$ non-attacking rooks can be completed exactly if it satisfies the capacity condition. In a layer of a Latin square, two subsystems of a remote couple are in balance. Thus, a necessary condition for completion of a layer can be formulated, the balance condition. For an LSC, each 1-dimensional subspace of the chess-board contains exactly one rook. Consequently, for the PLSCs derived from partial Latin squares, we examine certain sets of 1-dimensional subspaces because they indicate the number of missing rooks.
Subdivisions with congruence constraints in digraphs of large chromatic number
Published
• View Publication
• BIB
We prove that for every digraph $F$ and every assignment of pairs of integers $(r_e,q_e)_{e \in A(F)}$ to its arcs there exists an integer $N$ such that every digraph $D$ with dichromatic number at least $N$ contains a subdivision of $F$ in which $e$ is subdivided into a directed path of length congruent to $r_e$ modulo $q_e$, for every $e \in A(F)$.
This generalizes to the directed setting the analogous result by Thomassen for undirected graphs, and at the same time yields a novel short proof of his result.