Coloring Random Non-Uniform Bipartite Hypergraphs
设$H_{n,(p_m)_{m=2,\ldots,M}}$是维数为$M$且顶点为$2n$的随机非均匀超图,其中顶点被分成两个大小为$n$的不相交集合,并被两种不同的颜色着色.每个大小为$m=2,\ldots,M$的非单色边缘以概率$p_m$独立地相加。我们证明了如果$p_2,\ldots,p_M$是这样的,在超图中的预期的边缘数至少是$dn\ln n$,对于一些$d>0$足够大,那么概率$(1-o(1))$,可以找到一个适当的2-染色的$H_{n,(p_m)_{m=2,\ldots,M}}$在多项式时间。给出了超图2-着色的一个多项式时间算法,并讨论了非均匀超图$k$ -着色方法的推广。
2015-11-17 math.CO
The largest $H$-eigenvalue and spectral radius of Laplacian tensor of non-odd-bipartite generalized power hypergraphs
设$G$是简单图或超图,$A(G),L(G),Q(G)$分别是$G$的邻接张量、拉普拉斯张量和无符号拉普拉斯张量.最大的$H$特征值(分别为,$L(G),Q(G)$的光谱半径)分别用$λ_{\max}^L(G), λ_{\max}^Q(G)$表示(分别,PDMATHAMR)。对于连通的非二部简单图$G$,$λ_{\max}^L(G)=ρ^L(G) < ρ^Q(G)$ .但这并不适用于非奇二部超图。我们将通过考虑一类广义幂超图$G^{k,\frac{k}{2}}$来研究这个问题,这类超图是由简单连通图$G$通过将$G$的每个顶点吹成一个$\frac{k}{2}$ -集并保持顶点的邻接性而构造的。假设$G$是非二分的,或者等价地$G^{k,\frac{k}{2}}$是非奇二分的。我们得到以下谱性质:(1)$ρ^L(G^{k,{k \over 2}}) =ρ^Q(G^{k,{k \over 2}})$当且仅当$k$是$4$的倍数;在这种情况下,$λ_{\max}^L(G^{k,\frac{k}{2}})<ρ^L(G^{k,{k \over 2}})$。(2)如果$k\equiv 2 (\!\!\!\mod 4)$,则对于足够大的$k$,为$λ_{\max}^L(G^{k,\frac{k}{2}})<ρ^L(G^{k,{k \over 2}})$。受超图$G^{k,\frac{k}{2}}…
2015-10-08 math.CO
Entropy Bounds for Perfect Matchings in Bipartite Hypergraphs
Georgia Institute of Technology(佐治亚理工学院)
本文研究了双图超图中完美匹配的数量上限,证明了在最大余度较小的均匀超图中,A-完美匹配的数量上限,并利用该结果证明了当n为奇数且n≡0 mod 3时,存在阶数为n的拉丁方,其至多有(n/e^{2.117})^n个transversals,同时展示了k-均匀D-正则超图的proper q-边着色数量上限。
2026-05-20 math.CO
Turán Density of $2$-edge-colored Bipartite Graphs with Application on $\{2, 3\}$-Hypergraphs
考虑$2$边着色图的Turán问题.一个$2$ -边着色图$H=(V, E_r, E_b)$是一个三元组,由顶点集$V$、红边集$E_r$和蓝边集$E_b$组成,其中$E_r$和$E_b$不必不相交.定义$H$的图兰密度$π(H)$为$\lim_{n\to\infty} \max_{G_n}h_n(G_n)$,其中$G_n$是从$n$顶点上所有可能的$2$ -边着色图中选出的,$n$顶点上不含$H$作为子图,$h_n(G_n)=(|E_r(G)|+|E_b(G)|)/{n\choose 2}$是度量$G_n$边密度的公式.我们将确定所有$2$ -边着色二部图的图兰密度。我们还给出了我们的研究在$\{2, 3\}$ -超图的Turán问题上的一个重要应用.
2020-12-11 math.CO
Spectral bipartite Turan problems on linear hypergraphs
本文通过游走建立一致超图谱半径与局部结构的关系,进而给出若干Berge子图禁用条件下线性r-一致超图的谱半径上界,并推广了超图谱极值问题的已有结果。
2025-02-05 math.CO
On two-coloring bipartite uniform hypergraphs
本文研究固定阶 $k$-一致二部超图的二部划分构造,证明在所有 $n$ 顶点二部 $k$-图上可平均以 $O(n^k)$ 时间完成,并给出两种证明。
2025-05-14 math.CO
Counting independent sets in regular hypergraphs
在顶点为$n$的$d$-正则$r$ -一致超图中,哪一个具有最多的独立集?虽然图的类似问题(最初由格兰维尔提出)现在已经很好地理解了,但甚至不清楚正确的一般猜想应该是什么;我们的目标是提出这样的概括。借贷的信任,我们的猜想,我们验证它的类内的“准二部”超图(广义的二部图,似乎自然在这种情况下)通过采用熵的方法卡恩。
2020-02-23 math.CO
Extremal Hypergraphs for Ryser's Conjecture: Connectedness of Line Graphs of Bipartite Graphs
本文考虑一个拓扑排序的自然极值图论问题,它涉及图的独立复形的(拓扑)连通性在维数方面的最小化。我们观察到二部图$G$的线图的独立复形$\mathcal{I}(G)$的连通性的下界$\frac{\dim(\mathcal{I}(G))}{2} - 2$是紧的。在我们的主要定理中,我们描述了极值的例子。我们的证明是基于这种特征的拓扑机械。我们研究这个问题的动机来自于Ryser的一个经典猜想。Ryser猜想指出任何$r$ -部$r$ -一致超图的顶点覆盖的大小至多为最大匹配的大小的$(r - 1)$ -倍.对于$r = 2$,这个猜想只是柯尼希定理。Aharoni也用一个漂亮的拓扑论证证明了$r = 3$。在另一篇论文中,我们描述了Ryser猜想的$3$ -一致情形的极值例子(即,Aharoni定理),特别是解决了Lovász关于Ryser-极值$3$ -图的一个老猜想.我们在本文中的主要结果将为我们提供有价值的结构信息的表征。它的证明是基于Ryser-极值$3$ -一致超图的连接图正是我们所研究的二部图这一观察。
2016-06-20 math.CO
The $H$-spectrum of a generalized power hypergraph
简单图$G$的广义幂,记作$G^{k,s}$,是由$G$通过将每个顶点吹成$s$ -集,每个边吹成$k$ -集得到的,其中$1 \le s \le \frac{k}{2}$ .当$s < \frac{k}{2}$时,$G^{k,s}$总是奇二分的。已知$G^{k,{k \over 2}}$是非奇偶的当且仅当$G$是非偶的,并且$G^{k,{k \over 2}}$与$G$具有相同的邻接(分别为无符号拉普拉斯)谱半径。在本文中,我们证明了,不管重数如何,$\A(G^{k,\frac{k}{2}})$(分别为$\Q(G^{k,\frac{k}{2}})$)的$H$ -谱由$G$的连通导出子图(分别为修改的导出子图)的邻接矩阵(分别为无符号拉普拉斯矩阵)的所有特征值组成.作为推论,$G^{k,{k \over 2}}$具有与$G$相同的最小邻接(相应地,最小无符号拉普拉斯)$H$ -特征值。讨论了超图的最小邻接$H$ -特征值的极限点,构造了一个最小邻接$H$ -特征值收敛于$-\sqrt{2+\sqrt{5}}$的非奇二部超图序列.
2015-06-21 math.CO
Artin-Ihara L-functions for hypergraphs
本研究将图的Artin-Ihara L函数推广到超图领域,借助超图关联的二分图的Artin-Ihara L函数开展研究,证明了超图Artin-Ihara L函数的多项性质,包括超图Ihara zeta函数的Artin-Ihara L函数乘积分解。
2024-05-21 math.CO
Asymptotic enumeration of sparse uniform linear hypergraphs with given degrees
一个超图是简单的,如果它没有循环和没有重复的边,和一个超图是线性的,如果它是简单的,每对边相交于最多一个顶点。对于$n\geq 3$,令$r= r(n)\geq 3$为整数,并令$\boldsymbol{k} = (k_1,\ldots, k_n)$为非负整数的向量,其中每个$k_j = k_j(n)$可取决于$n$。设$M = M(n) = \sum_{j=1}^n k_j$为所有$n\geq 3$,并定义集合$\mathcal{I} = \{ n\geq 3 \mid r(n) \text{ divides } M(n)\}$。我们假设$\mathcal{I}$是无穷大的,并且当$n$沿着$\mathcal{I}$趋向无穷大时执行渐近。我们的主要结果是度序列为$\boldsymbol{k}$的线性$r$ -一致超图的一个渐近计数公式.只要最大程度$k_{\max}$满足$r^4 k_{\max}^4(k_{\max} + r) = o(M)$,该公式就成立。我们的方法是与一个超图的关联矩阵,解释为一个二分图的双邻接矩阵,使我们能够应用已知的二分图的枚举结果。这种方法也导致了一个新的渐近计数公式的简单一致超图指定的程度,和结果的围长的随机二部图指定的程度。
2016-07-19 math.CO
On coefficients of the interior and exterior polynomials
内多项式和外多项式分别是图到超图的Tutte多项式$T_G(x,y)$在$(1/ξ,1)$和$(1,1/η)$上赋值的推广。由连通二部图导出的超图对是抽象超图,证明了超图对具有相同的内多项式,但可能具有不同的外多项式。一类特殊的交错链环的HOMFLY多项式的顶点与该链环的塞弗特图诱导的超图对的内多项式重合。设$G=(V\cup E, \varepsilon)$是连通二部图.本文主要研究了内多项式和外多项式的系数。证明了连通二部图的内部多项式是插值的。我们加强了$V$或$E$中关于2-点割连通二部图的内部多项式次数的已知结果。证明了平衡二部图族的内部多项式是幺一的,并且任何连通二部图的内部多项式都可以表示为连通平衡二部图的内部多项式的一个线性组合.还证明了超图的外多项式是内插的。已知内多项式的线性项的系数是二部图的零度,我们得到了外多项式的线性项的系数的一个对偶结果:如果对于每个$e\in E$,$G-e$是连通的,则外多项式的线性项的系数是$|V|-1$ .计算了几类二部图的内多项式和外多项式。
2022-01-29 math.CO
Supersaturated sparse graphs and hypergraphs
极值图论中的一个中心问题是对给定的图$H$,估计给定的$n$顶点集上无$H$图的个数.在$H$不是二分的情况下,这个数的精确估计是已知的。特别是在30年前,Erdens、Frankl和Rödl证明了存在$2^{(1+o(1))\text{ex}(n,H)}$这样的图。在二分的情况下,然而,非平凡的界限已被证明只有相对较少的特殊图$H$。我们第一次尝试解决这个计数问题的一般二部图$H$。我们发现,$2^{O(\text{ex}(n,H))}$的上界的$H$ -免费的图与$n$顶点的数量如下仅仅从一个相当自然的假设增长率的$n \mapsto \text{ex}(n,H)$ ;一个类似的声明仍然成立时,$H$是一个均匀超图。随后,我们得到了几个新的结果,以及大多数以前已知的估计,作为我们定理的简单推论。我们证明的核心是一个一般的过饱和声明,它扩展了Erdos和Simonovits的开创性工作。利用超图容器的方法,得到了无$H$超图的个数的界。
2017-10-12 math.CO
Characterizing and decomposing classes of threshold, split, and bipartite graphs via 1-Sperner hypergraphs
一个超图称为$1$ -Sperner,如果对每两个超边,它们的两个集合差中最小的是1.给出了$1$ -Sperner超图及其结构在图中的几个应用.特别是,我们认为阈值和domishold图的经典特征,并使用它们来获得进一步的特征,这些类的$1$ -Spernernerness,阈值,和$2$ -求和的顶点覆盖,团,支配集,闭邻域超图。此外,我们应用$1$ -Sperner超图的分解性质,得到了两类分裂图、一类二部图和一类余二部图的分解定理。这些分解定理是基于某些矩阵分区的相应的图形,从而产生新的类的图形有界的连续宽度和新的多项式可解的情况下,几个控制问题。
2018-05-29 cs.DM cs.DS math.CO
Asymptotics of the hypergraph bipartite Turán problem
对于正整数$s,t,r$,设$K_{s,t}^{(r)}$表示$r$ -一致超图,其顶点集是两两不交集$X,Y_1,\dots,Y_t$的并,其中$|X| = s$和$|Y_1| = \dots = |Y_t| = r-1$,其边集是$\{\{x\} \cup Y_i: x \in X, 1\leq i\leq t\}$ .近年来,对$K_{s,t}^{(r)}$的Turán函数的研究引起了人们极大的兴趣。我们的主要结果如下。首先,我们表明,\begin{equation} \mathrm{ex}(n,K_{s,t}^{(r)}) = O_{s,r}(t^{\frac{1}{s-1}}n^{r - \frac{1}{s-1}}) \end{equation}的所有$s,t\geq 2$和$r\geq 3$,提高电源$n$在以前的最佳界限和解决的问题Mubayi和Verstraëte的依赖$\mathrm{ex}(n,K_{2,t}^{(3)})$ $t$。其次,我们证明了当$r$是偶数且$t \gg s$是偶数时,这个上界是紧的。这否定了徐、张、葛的一个猜想。第三,我们表明,上述上限是不紧的$r = 3$,即$\mathrm{ex}(n,K_{s,t}^{(3)}) = O_{s,t}(n^{3 - \frac{1}{s-1} - \varepsilon_s})$(所有$s\geq…
2022-03-10 math.CO
A sufficient condition for a hypergraph to have a Berge-$k$-factor
School of Mathematics and Statistics, Lanzhou University(兰州大学数学与统计学院);Department of Mathematics and Statistics, Auburn University(奥本大学数学与统计系);Department of Mathematics, William & Mary(威廉与玛丽学院数学系)
本文通过关联双图视角,研究了超图中Berge-k-因子的存在条件,并推广了经典图论定理。
2026-01-02 math.CO
Almost all triple systems with independent neighborhoods are semi-bipartite
三元系中一对顶点$u,v$的邻域是顶点集合$w$,使得$uvw$是边。一个三元系$\HH$是半二部的,如果它的顶点集包含一个顶点子集$X$,使得$\HH$的每条边与$X$相交于两点。很容易看出,如果$\HH$是半二分的,则$\HH$中每对顶点的邻域是独立集。通过证明几乎所有具有顶点集$[n]$和独立邻域的三元系都是半二部的,我们证明了这一陈述的部分逆。我们的结果可以看作是Erd \H os-Kleitman-Rothschild定理在三元系中的推广.证明使用Frankl-Rödl超图正则性引理和稳定性定理。类似的结果最近被证明了超图与各种其他的局部约束。
2010-02-09 math.CO
On the boundedness of degenerate hypergraphs
本文研究退化超图 Turán 问题中高度数顶点的影响,证明偶环、多数完全二部图及其扩张等退化超图具有有界性,并通过解决一个 3-图 Zarankiewicz 型问题支持完全二部图扩张的有界性证明。
2024-06-29 math.CO
Solution of Hypergraph Turan problem
本文提出原创的对称平滑方法,成功解决了(3,k)-超图Turán问题。
2024-10-17 math.CO
Hypergraphs with minimum positive uniform Turán density
Reiher,Rödl and Schacht [J. London Math. Soc. 97(2018),77- 97]证明了每个$3$ -一致超图的一致Turán密度要么是$0$要么至少是$1/27$,并询问是否存在具有等于或任意接近$1/27$的一致Turán密度的$3$ -一致超图。构造了具有一致Turán密度等于$1/27$的$3$ -一致超图.
2022-01-14 math.CO
Rational exponents for hypergraph Turan problems
给定一族$k$ -超图$\mathcal{F}$,$ex(n,\mathcal{F})$是已知该超图具有$n$顶点但不包含来自$\mathcal{F}$的任何超图的副本作为子图时,$k$ -超图可以具有的最大边数。证明了对于$0$和$k-1$之间的任意有理$r$,存在有限族的$k$ -超图$\mathcal{F}$,其中$ex(n,\mathcal{F})=Θ(n^{k-r})$ .
2017-06-15 math.CO
On the Turán density of $\{1, 3\}$-Hypergraphs
本文研究了$\{1,3\}$ -超图上的Turán问题。本文证明了$\{1, 3\}$ -超图是退化的当且仅当它是$H^{\{1, 3\}}_5$ -可着色的,其中$H^{\{1, 3\}}_5$是顶点集$V=[5]$和边集$E=\{\{2\}, \{3\}, \{1, 2, 4\}, \{1, 3, 5\}, \{1, 4, 5\}\}.$的超图。利用这一结果,我们进一步证明了对任何不同正整数的有限集$R$,除了$R=\{1, 2\}$的情况外,总存在非平凡的退化$R$ -图。我们还计算了一些小的$\{1,3\}$ -超图的Turán密度。
2018-02-16 math.CO
On the Seidel energy of uniform hypergraphs due to hyperedge and vertex deletion
Bar-Ilan University(巴伊兰大学)
本文研究了完全3-均匀双部超图C^3_{m,n}的Seidel谱,证明其在单个超边删除后仍有一个负Seidel特征值,并证明在单个超边或顶点删除后其Seidel能量会减少。
2026-03-14 math.CO
On $r$-uniform hypergraphs with circumference less than $r$
证明了对每个$k\geq 4$和$n>r\geq k+1$,每个不含Berge圈且长度至少为$k$的$n$ -顶点$r$ -一致超图至多有$\frac{(k-1)(n-1)}{r}$边.该界是精确的,并且我们描述了极超图。这意味着并稍微改进了Gyamiri,Katona和Lemons的定理,即对于$n>r\geq k\geq 3$,每个没有长度为$k$的Berge路的$n$ -顶点$r$ -一致超图至多有$\frac{(k-1)n}{r+1}$边.为了得到这一界,我们研究了没有长度至少为$2k$的圈的二部图,然后将结果转化为多超图的语言。
2018-07-12 math.CO
On hypergraph Turán problems with bounded matching number
针对匹配数有界的超图场景,本文开展类似Turán问题的研究,得到若干精确结果,拓展了Alon、Frankl与Gerbner在普通图领域的相关研究。
2024-10-09 math.CO
Hypergraphs with vanishing Turán density in uniformly dense hypergraphs
P. Erdés [论极值问题的图和广义图,以色列数学杂志2(1964年),183-190]的特点,这些超图$F$,必须出现在任何足够大的超图$H$的正密度。本文研究了$3$ -一致超图的相关问题,并在此基础上假设$H$关于顶点集是一致稠密的.特别是,我们将这些超图$F$,保证出现在大的均匀稠密超图$H$的正密度。我们还审查的情况下,诱导子超图的$H$的密度可能取决于所考虑的顶点集的比例。
2019-01-29 math.CO
Improved bounds on the extremal function of hypergraphs
模式避免的一个基本问题是描述极值函数及其推广的渐近行为。证明了一类二部图的图极值函数的渐近性与矩阵极值函数的渐近性之间的等价性。利用等价性证明了图的极值函数的几个新的界。本文提出了一种利用多维矩阵的极值函数来确定超图的极值函数界的新方法,将长为$k$的$d$ -置换超图的极值函数界从$O(n^{d-1})$改进为$2^{O(k)}n^{d-1}$ .
2018-07-05 math.CO
On the Turán number of the $G_{3\times 3}$ in linear hypergraphs
针对线性超图中 $G_{3\ imes 3}$ 的 Turán 数问题,本文构造不含 $3\ imes 3$ 网格的稠密 3-一致线性超图,从而改进其下界。
2025-07-27 math.CO
Spectral Turán problems for nondegenerate hypergraphs
本研究拓展了Keevash–Lenz–Mubayi的超图谱极值判定准则,建立非退化超图的谱稳定性结果,推导出两类超图的通用谱Turán定理,并确定了多类超图的最大α-谱半径及对应极值结构。
2025-09-03 math.CO
A counterexample to the Erdős--Sós bipartite-link conjecture
School of Mathematics, Georgia Institute of Technology(佐治亚理工学院数学学院)
该研究构造反例否定了Erdős与Sós提出的3-均匀超图相关猜想,反例边密度大于1/4,对足够大的n成立。
2026-10-09 math.CO
On the cover Turán number of Berge hypergraphs
对于一个固定的正整数集合$R$,如果每条边的基数都属于$R$,则称$\mathcal{H}$是$R$ -一致超图或$R$ -图.对于一个图$G=(V,E)$,如果存在一个双射$f: E(G) \to E(\mathcal{H})$使得对于每个$e \in E(G)$,有$e \subseteq f(e)$,则称一个超图$\mathcal{H}$为Berge- $G$,记为$BG$.本文定义了超图中Turán数的一个变体,即覆盖Turán数,记作$\hat{ex}_R(n, G)$,它是指无Berge- $G$的$R$ -图在$n$顶点上的最大边数.当主超图的一致性等于$3$时,给出了图的覆盖Turán数的一般上界,并确定了所有图的覆盖Turán密度.
2019-05-23 math.CO
Turan Problems on Non-uniform Hypergraphs
一个非均匀超图$H=(V,E)$由一个顶点集$V$和一个边集$E\subseteq 2^V$组成; $E$中的边不需要都具有相同的基数。$H$中所有边的基数的集合由$R(H)$表示,即边类型的集合。对于一个固定的超图$H$,其Turán密度$π(H)$被定义为$\lim_{n\to\infty}\max_{G_n}h_n(G_n)$,其中最大值是在$n$顶点上所有满足$R(G_n)\subseteq R(H)$的无$H$超图$G_n$上取的,而$h_n(G_n)$,即所谓的Lubell函数,是随机满链命中$G_n$中的期望边数.这个概念,它推广了$k$ -一致超图的图兰密度,是由最近的工作的极值偏序集问题。这两个领域的连接细节将在本文的最后揭示。将Turán密度的过饱和、爆破、悬浮等性质从一致超图推广到非一致超图。其他问题,如“哪些超图是退化的?“更加复杂,而且似乎不能很好地概括。另外,我们完全确定了${1,2}$ -超图的Turán密度.
2013-01-09 math.CO
On Turán problems for suspension hypergraphs
本文定义图 $F$ 的 $r$-一致悬架超图,研究其 Turán 问题,并给出若干一般性与精确结果。
2025-02-15 math.CO
A hypergraph Turán problem with no stability
极值超图理论中的一个基本障碍是存在许多具有非常不同结构的近极值结构。事实上,由于Kostochka的经典结构意味着臭名昭著的极值问题的四面体展示了这种现象假设图兰猜想。我们的主要结果是构造了一个有限族的三元系$\mathcal{M}$,确定了它的Turán数,并证明了存在两个编辑距离很远的近极值$\mathcal{M}$ -free构造.这是第一个极端的结果,一个超图族,没有相应的稳定性定理。
2021-03-22 math.CO
When entropy meets Turán: new proofs and hypergraph Turán results
Massachusetts Institute of Technology(麻省理工学院);Princeton University(普林斯顿大学)
本文通过熵方法给出了图论定理的新证明,并确定了新超图家族的图论密度,扩展了穆拜伊关于扩展团的研究。
2026-01-10 math.CO
Some extremal results on hypergraph Turán problems
对于两个$r$ -图$\mathcal{T}$和$\mathcal{H}$,设$\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$是无$n$ -顶点$\mathcal{H}$的$r$ -图中$\mathcal{T}$的最大拷贝数.自从Turán定理在$1941$上发表以来,Turán数$\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$的确定就成为极图理论的基本核心问题。虽然我们有一些丰富的结果,简单的图的情况下,只有零星的结果已被称为超图图兰问题。本文主要研究当$\mathcal{H}$是完全二部图$K_{s,t}$的两种不同超图扩张之一时的函数$\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$.第一个推广是Mubayi和Verstraëte~[J. Combin.理论系列A,106:237- 253,2004]。利用强有力的随机代数方法,我们证明了如果$s$充分大于$t$,则有\[\text{ex}_{r}(n,\mathcal{T},K_{s,t}^{(r)})=Ω(n^{v-\frac{e}{t}}),\],其中$\mathcal{T}$是一个具有$v$顶点和$e$边的$r$ -图.特别地,当$\mathcal{T}$是边或某些指定的完全二部$r$ -图时,我们可以确定它们的渐…
2021-07-30 math.CO
Turán density of cliques of order five in $3$-uniform hypergraphs with quasirandom links
证明所有顶点链接图拟随机且密度大于1/3的3-一致超图必含五顶点团,结果渐近最优。
2024-03-17 math.CO
Extremal Numbers of Hypergraph Suspensions of Even Cycles
本文将不含偶圈的二部图极值问题扩展至三元系统,证明了任意顶点链接中不含 $C_6$ 的三元组最大数量级为 $n^{7/3}$,并构造了边数为 $n^{4/3}$ 的无 $C_6$ 稠密二部图新族。
2024-02-06 math.CO
Spectral Turán Type Problems on Cancellative Hypergraphs
设$G$是可消的$3$ -一致超图,其中任意两条边的对称差不包含在第三条边中.等价地,$3$ -一致超图$G$是可消的当且仅当$G$是$\{F_4, F_5\}$ -free的,其中$F_4 = \{abc, abd, bcd\}$和$F_5 = \{abc, abd, cde\}$ .极值组合学中的一个经典结果是:平衡完全三部$3$ -一致超图可以达到可消超图的最大尺寸,这个结果首先由Bollobás证明,后来由Keevash和Mubayi证明.本文研究可消超图的谱极值问题。更精确地,我们确定了可消$3$ -一致超图的最大$p$ -谱半径,并刻画了极超图。作为副产品,我们从谱的角度给出了Bollobás结果的另一种证明。
2022-08-01 math.CO
Some tight lower bounds for Turán problems via constructions of multi-hypergraphs
近年来,超图的若干Turán问题被强有力的随机代数方法所解决。然而,随机代数方法通常需要一些参数是非常大的,因此,我们关心的是这些图兰数如何依赖于这样的大参数的禁止超图。本文确定了几个超图Turán问题对这类大常数的依赖性。更具体地说,对于完全$r$ -participate $r$ -uniform超图,我们证明了,如果$s_{r}$是充分大于$s_{1},s_{2},\ldots,s_{r-1},$,那么$$\textup{ex}_{r}(n,K_{s_{1},s_{2},\ldots,s_{r}}^{(r)})=Θ(s_{r}^{\frac{1}{s_{1}s_{2}\cdots s_{r-1}}}n^{r-\frac{1}{s_{1}s_{2}\cdots s_{r-1}}}).$$对于完全二部$r$ -uniform超图,我们证明了,如果$s$是充分大于$t,$,我们有$$\textup{ex}_{r}(n,K_{s,t}^{(r)})=Θ(s^{\frac{1}{t}}n^{r-\frac{1}{t}}).$$特别是,我们的结果意味着,著名的Kravári-Sós-Turán的上限$\textup{ex}(n,K_{s,t})=O(t^{\frac{1}{s}}n^{2-\frac{1}{s}})$有正确的依赖于大$t$。其主要方法是通过随机代数方法的一种变体来构造随机…
2020-05-31 math.CO
An extension of Motzkin-Straus Theorem to non-uniform hypergraphs and its applications
1965年,Motzkin和Straus在图的最大团的阶和拉格朗日量之间建立了一个显着的联系,并利用这个联系对图兰定理提供了一个新的证明。拉格朗日量和图兰密度的联系也可以用来证明Erdös-Stone-Simonovits关于图的图兰密度的基本定理。最近,非一致超图的Turán密度的研究受到极偏序集问题的启发。本文试图探讨拉格朗日方法在确定非一致超图的Turán密度中的应用。本文首先给出了非一致超图的拉格朗日量的定义,然后将Motzkin-Straus定理推广到边含1或2个顶点的非一致超图。应用它,我们将Erdös-Stone-Simonovits定理推广到边含1或2个顶点的非一致超图.
2013-12-15 math.CO
Extremal results for Berge-hypergraphs
设$G$是一个图,$\mathcal{H}$是一个超图,它们都在同一顶点集上.我们说一个超图$\mathcal{H}$是一个\emph{Berge},如果存在一个双射$f : E(G) \rightarrow E(\mathcal{H})$使得对于$e \in E(G)$我们有$e \subset f(e)$ .这就把已有的“Berge路”和“Berge圈”的定义推广到一般图上。对于固定图$G$,我们检查最大可能大小(即\不含Berge- $G$的超图是子超图。本文证明了当$G$是任意图时,这个最大值的一般界.我们还考虑特定的情况下,当$G$是一个完全二部图,并证明了类似的K \H ovári-Sós-Turán定理。
2015-05-29 math.CO
Relative Turán Numbers for Hypergraph Cycles
对于$r$ -一致超图$H$和一族$r$ -一致超图$\mathcal{F}$,相对Turán数$\mathrm{ex}(H,\mathcal{F})$是$H$的无$\mathcal{F}$子图中的最大边数.本文给出了某些超图圈族$\mathcal{F}$如Berge圈和松弛圈的$\mathrm{ex}(H,\mathcal{F})$的下界.特别地,如果$\mathcal{C}_\ell^3$表示所有$3$ -一致Berge $\ell$ -圈的集合,并且$H$是一个3-一致超图,其最大度为$Δ$,我们证明了\[\mathrm{ex}(H,\mathcal{C}_4^{3})\ge Δ^{-3/4-o(1)}e(H),\] \[\mathrm{ex}(H,\mathcal{C}_5^{3})\ge Δ^{-3/4-o(1)}e(H),\],并且这些界紧到$o(1)$项.
2021-07-18 math.CO
Ramsey and Turán numbers of sparse hypergraphs
本文定义超图的骨架退化性,证明其控制超图Turán数和Ramsey数,并给出线性Ramsey数及Turán数上下界,使用依赖随机选择技术。
2023-12-31 math.CO
Exact Computation of the Hypergraph Turan Function for Expanded Complete 2-Graphs
令l>k>2。设k-图H^k_l是由完全2-图K_l^2通过用一组新的k-2个顶点扩大每条边而得到的。Mubayi [“A hypergraph extension of Turan's theorem”,to appear in J. Combin.日(B)]渐近地计算了Turan函数ex(n,H_l^k)。这里我们确定了对所有充分大的n,ex(n,H_l^k)的精确值,解决了Mubayi的一个猜想.
2005-10-11 math.CO
Turán numbers of general hypergraph star forests
该论文将星森林Turán数的已知结果推广到一般超图星森林,确定了其极值超边数,涵盖不同星的情况。
2023-06-13 math.CO
Turán densities for matroid basis hypergraphs
本文研究不含给定均匀拟阵作为子式的拟阵的最大基数目,将其与雏菊超图的Turán数问题联系起来,并对若干特定均匀拟阵给出答案。
2025-03-10 math.CO
Turán Numbers for Forests of Paths in Hypergraphs
一个r-一致超图H的Turán数是不包含H作为子图的n阶r-图中的最大边数。设P_l^(r)表示l条边上的r-一致松弛路族,F(k,l)表示由P_l^(r)的k条不交路组成的超图族,P '_l^(r)表示l条边上的r-一致线性路.我们精确地确定了ex_r(n;F(k,l))和ex_r(n;k* P '_l^(r)),以及当n适当地依赖于k,l,r(r>=3)时,不同长度的路(无论这些路是松散的还是线性的)的森林的图兰数。我们的结果建立在Füredi,Jiang和Seiver最近的结果上,他们确定了各个路径的极值数,并提供了更多的超图,其Turan数是精确确定的。
2014-02-24 math.CO
The maximum spectral radius of uniform hypergraphs whose shadow excludes a complete or complete bipartite minor
Sungkyunkwan University(成均馆大学);The State University of New York, Korea(纽约州立大学韩国分校)
本文确定了阴影不含完全或完全二部子式的均匀超图的最大谱半径,推广了Tait及Zhai-Lin的图论结果,并给出了极值超图的唯一结构及其阶的渐近估计。
2026-09-22 math.CO
Induced Turán problems and traces of hypergraphs
设$F$是一个图。我们说超图$H$包含诱导Berge $F$,如果$F$的顶点可以嵌入到$H$中(例如,$V(F)\subseteq V(H)$),并且存在从$F$的边到$H$的超边的内射映射$f$,使得$f(xy) \cap V(F) = \{x,y\}$对于$F$的每个边$xy$成立。换句话说,$H$包含$F$作为跟踪。设$ex_{r}(n,B_{ind} F)$表示无导出Berge $F$的$r$ -一致超图的最大边数.设$ex(n,K_r, F)$表示无$F$图中$n$顶点上的最大$K_r$个数.我们证明了这两个Turán型函数是强相关的。
2020-02-18 math.CO
Hypergraphs with arbitrarily small codegree Turán density
本文证明对任意 ε>0,存在共度 Turán 密度介于 0 和 ε 之间的 k-一致超图,揭示了共度 Turán 密度与经典 Turán 密度在取值上的本质差异。
2023-07-06 math.CO
Hypergraph Turán densities can have arbitrarily large algebraic degree
Grosu [论图兰密度集的代数和拓扑结构。\emph{J. Combin. Theory Ser. B} \textbf{118}(2016)137--185]询问是否存在整数$r\ge 3$和$r$ -图的有限族,其图兰密度作为实数具有大于~ $r-1$的(代数)度。本文证明了对所有整数$r\ge 3$和$d$,存在有限族的$r$ -图,其Turán密度的度至少为~ $d$,从而以强形式回答了Grosu的问题.
2023-02-25 math.CO
Hypergraphs accumulate
该研究在组合数学领域证明了k-均匀超图的Turán密度集合在[0,1)内存在聚点,且明确1/2是3-均匀超图Turán密度集合的聚点,推进了超图Turán理论相关研究。
2024-05-13 math.CO
The signless Laplacian spectral Turán problems for hypergraphs
Shanghai University(上海大学);Newtouch Center for Mathematics of Shanghai University(上海大学新触数学中心)
本文研究了超图的无符号拉普拉斯谱Turán问题,证明了在特定条件下极值构造可归结为限制问题,并确定了无Fano平面3-均匀超图中谱半径最大的超图为平衡完全二分图。
2026-01-15 math.CO