Combinatorics (math.CO)

Abstract: A $k$-graph (or $k$-uniform hypergraph) $H$ is uniformly dense if the edge distribution of $H$ is uniformly dense with respect to every large collection of $k$-vertex cliques induced by sets of $(k-2)$-tuples. Reiher, R\"odl and Schacht [Int. Math. Res. Not., 2018] proposed the study of the uniform Tur\'an density $\pi_{k-2}(F)$ for given $k$-graphs $F$ in uniformly dense $k$-graphs. Meanwhile, they [J. London Math. Soc., 2018] characterized $k$-graphs $F$ satisfying $\pi_{k-2}(F)=0$ and showed that $\pi_{k-2}(\cdot)$ ``jumps" from 0 to at least $k^{-k}$. In particular, they asked whether there exist $3$-graphs $F$ with $\pi_{1}(F)$ equal or arbitrarily close to $1/27$. Recently, Garbe, Kr\'al' and Lamaison [arXiv:2105.09883] constructed some $3$-graphs with $\pi_{1}(F)=1/27$. In this paper, for any $k$-graph $F$, we give a lower bound of $\pi_{k-2}(F)$ based on a probabilistic framework, and provide a general theorem that reduces proving an upper bound on $\pi_{k-2}(F)$ to embedding $F$ in reduced $k$-graphs of the same density using the regularity method for $k$-graphs. By using this result and Ramsey theorem for multicolored hypergraphs, we extend the results of Garbe, Kr\'al' and Lamaison to $k\ge 3$. In other words, we give a sufficient condition for $k$-graphs $F$ satisfying $\pi_{k-2}(F)=k^{-k}$. Additionally, we also construct an infinite family of $k$-graphs with $\pi_{k-2}(F)=k^{-k}$.

Abstract: We introduce the following generalization of set intersection via characteristic vectors: for $n,q,s, t \ge 1$ a family $\mathcal{F}\subseteq \{0,1,\dots,q\}^n$ of vectors is said to be \emph{$s$-sum $t$-intersecting} if for any distinct $\mathbf{x},\mathbf{y}\in \mathcal{F}$ there exist at least $t$ coordinates, where the entries of $\mathbf{x}$ and $\mathbf{y}$ sum up to at least $s$, i.e.\ $|\{i:x_i+y_i\ge s\}|\ge t$. The original set intersection corresponds to the case $q=1,s=2$. We address analogs of several variants of classical results in this setting: the Erd\H{o}s--Ko--Rado theorem and the theorem of Bollob\'as on intersecting set pairs.

Abstract: Given two linear transformations, with representing matrices $A$ and $B$ with respect to some bases, it is not clear, in general, whether the Tracy-Singh product of the matrices $A$ and $B$ corresponds to a particular operation on the linear transformations. Nevertheless, it is not hard to show that in the particular case that each matrix is a square matrix of order of the form $n^2$, $n>1$, and is partitioned into $n^2$ square blocks of order $n$, then their Tracy-Singh product, $A \boxtimes B$, is similar to $A \otimes B$, and the change of basis matrix is a permutation matrix. In this note, we prove that in the special case of linear operators induced from set-theoretic solutions of the Yang-Baxter equation, the Tracy-Singh product of their representing matrices is the representing matrix of the linear operator obtained from the direct product of the set-theoretic solutions.

Abstract: It is known that a Bruen chain of the three-dimensional projective space $\mathrm{PG}(3,q)$ exists for every odd prime power $q$ at most $37$, except for $q=29$. It was shown by Cardinali et. al (2005) that Bruen chains do not exist for $41\le q\leq 49$. We develop a model, based on finite fields, which allows us to extend this result to $41\leqslant q \leqslant 97$, thereby adding more evidence to the conjecture that Bruen chains do not exist for $q>37$. Furthermore, we show that Bruen chains can be realised precisely as the $(q+1)/2$-cliques of a two related, yet distinct, undirected simple graphs.

Abstract: Maniplexes are coloured graphs that generalise maps on surfaces and abstract polytopes. Each maniplex uniquely defines a partially ordered set that encodes information about its structure. When this poset is an abstract polytope, we say that the associated maniplex is polytopal. Maniplexes that have two properties, called faithfulness and thinness, are completely determined by their associated poset, which is often an abstract polytope. We show that all faithful thin maniplexes of rank three are polytopal. So far only one example, of rank four, of a thin maniplex that is not polytopal was known. We construct the first infinite family of maniplexes that are faithful and thin but are non-polytopal for all ranks greater than three.

Abstract: We show that if the arc-connectivity of a directed graph $D$ is at most $\lfloor\frac{k+1}{2}\rfloor$ and the reorientation of an arc set $F$ in $D$ results in a $k$-arc-connected directed graph then we can reorient one arc of $F$ without decreasing the arc-connectivity of $D.$ This improves a result of Fukuda, Prodon, Sakuma and one of Ito et al. for $k\in\{2,3\}$.

Abstract: We introduce the vertex-arboricity of group-labelled graphs. For an abelian group $\Gamma$, a $\Gamma$-labelled graph is a graph whose edges are labelled by elements of $\Gamma$. For an abelian group $\Gamma$ and $A\subseteq \Gamma$, the $(\Gamma, A)$-vertex-arboricity of a $\Gamma$-labelled graph is the minimum integer $k$ such that its vertex set can be partitioned into $k$ parts where each part induces a subgraph having no cycle of value in $A$. We prove that for every positive integer $\omega$, there is a function $f_{\omega}:\mathbb{N}\times\mathbb{N}\to \mathbb{R}$ such that if $|\Gamma\setminus A|\le \omega$, then every $\Gamma$-labelled graph with $(\Gamma, A)$-vertex-arboricity at least $f_{\omega}(t,d)$ contains a subdivision of $K_t$ where all branching paths are of value in $A$ and of length at least $d$. This extends a well-known result that every graph of sufficiently large chromatic number contains a subdivision of $K_t$, in various directions.

Abstract: The well-known Erd\H{o}s-Hajnal conjecture states that for any graph $F$, there exists $\epsilon>0$ such that every $n$-vertex graph $G$ that contains no induced copy of $F$ has a homogeneous set of size at least $n^{\epsilon}$. We consider a variant of the Erd\H{o}s-Hajnal problem for hypergraphs where we forbid a family of hypergraphs described by their orders and sizes. For graphs, we observe that if we forbid induced subgraphs on $m$ vertices and $f$ edges for any positive $m$ and $0\leq f \leq \binom{m}{2}$, then we obtain large homogeneous sets. For triple systems, in the first nontrivial case $m=4$, for every $S \subseteq \{0,1,2,3,4\}$, we give bounds on the minimum size of a homogeneous set in a triple system where the number of edges spanned by every four vertices is not in $S$. In most cases the bounds are essentially tight. We also determine, for all $S$, whether the growth rate is polynomial or polylogarithmic. Some open problems remain.

Abstract: A framework, which is a (possibly infinite) graph with a realization of its vertices in the plane, is called flexible if it can be continuously deformed while preserving the edge lengths. We focus on flexibility of frameworks in which 4-cycles form parallelograms. For the class of frameworks considered in this paper (allowing triangles), we prove that the following are equivalent: flexibility, infinitesimal flexibility, the existence of at least two classes of an equivalence relation based on 3- and 4-cycles and being a non-trivial subgraph of the Cartesian product of graphs. We study the algorithmic aspects and the rotationally symmetric version of the problem. The results are illustrated on frameworks obtained from tessellations by regular polygons.

Abstract: We show that the number of independent sets in every outerplanar graph is greater than the number of its 4-dominating sets.

Abstract: We study Steiner Forest on $H$-subgraph-free graphs, that is, graphs that do not contain some fixed graph $H$ as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of many problems on $H$-subgraph-free graphs. However, in contrast to e.g. the related Steiner Tree problem, Steiner Forest falls outside this framework. Hence, the complexity of Steiner Forest on $H$-subgraph-free graphs remained tantalizingly open. In this paper, we make significant progress towards determining the complexity of Steiner Forest on $H$-subgraph-free graphs. Our main results are four novel polynomial-time algorithms for different excluded graphs $H$ that are central to further understand its complexity. Along the way, we study the complexity of Steiner Forest for graphs with a small $c$-deletion set, that is, a small set $S$ of vertices such that each component of $G-S$ has size at most $c$. Using this parameter, we give two noteworthy algorithms that we later employ as subroutines. First, we prove Steiner Forest is FPT parameterized by $|S|$ when $c=1$ (i.e. the vertex cover number). Second, we prove Steiner Forest is polynomial-time solvable for graphs with a 2-deletion set of size at most 2. The latter result is tight, as the problem is NP-complete for graphs with a 3-deletion set of size 2.