European Journal of Combinatorics ( IF 1.0 ) Pub Date : 2021-09-15 , DOI: 10.1016/j.ejc.2021.103435 András Gyárfás 1 , Miklós Ruszinkó 1, 2 , Gábor N. Sárközy 1, 3
The Turán number of hypergraphs has been studied extensively. Here we deal with a recent direction, the linear Turán number, and restrict ourselves to linear triple systems, a collection of triples on a set of points in which any two triples intersect in at most one point. For a fixed linear triple system , the linear Turán number is the maximum number of triples in a linear triple system with points that does not contain as a subsystem.
We initiate the study of the linear Turán number for an acyclic . In this case is linear in and we aim for good bounds. Since the case of trees is already difficult for graphs (Erdős–Sós conjecture), we concentrate on matchings, paths and small trees.
In case of matchings, where is the set of pairwise disjoint triples, we prove that for fixed and large enough , where is the maximum number of triples that can meet points in a linear triple system on points. This is an analogue of an old result of Erdős on hypergraph matchings. For the -edge linear path we show (extending some standard path increasing methods used for graphs) that which is probably far from best possible.
Finding relates to difficult problems on Steiner triple systems and interesting even for small trees. For example, for , the path with four triples, with equality only for disjoint union of affine planes of order 3. On the other hand, for , the tree having three pairwise disjoint triples and a fourth one meeting all of them, we have bounds only: .
中文翻译:
非循环三重系统的线性图兰数
超图的图兰数已被广泛研究。在这里,我们处理一个最近的方向,线性图兰数,并将自己限制在线性三元组系统,一组点上的三元组集合,其中任意两个三元组最多在一个点上相交。对于固定线性三重系统, 线性图兰数 是线性三元组中的最大三元组数,其中 不包含的点 作为一个子系统。
我们开始研究非循环的线性图兰数 . 在这种情况下 是线性的 我们的目标是良好的界限。由于树的情况对于图已经很困难(Erdős-Sós 猜想),我们专注于匹配、路径和小树。
在匹配的情况下,其中 是一组 成对不相交的三元组,我们证明对于固定 并且足够大 , 在哪里 是可以满足的最大三元组数 线性三重系统中的点 点。这类似于 Erdős 在超图匹配上的旧结果。为了-边线性路径 我们展示(扩展一些用于图形的标准路径增加方法) 这可能远非最好的。
寻找 涉及 Steiner 三重系统上的难题,甚至对小树也很有趣。例如,对于,具有四个三元组的路径, 仅对于 3 阶仿射平面的不相交并集才相等。另一方面,对于 ,树具有三个成对不相交的三元组,第四个与所有三元组相遇,我们只有边界: .