Multilevel polynomial partitioning and semialgebraic hypergraphs: regularity, Turán, and Zarankiewicz results
本研究提出多层多项式划分方案,改进了半代数超图的正则引理、Turán型与Zarankiewicz型结果,并给出多个相关领域应用。
2024-11-04 math.CO
Complexity of Partitioning Hypergraphs
对于给定的$π=(π_0, π_1,..., π_k) \in \{0, 1, *\}^{k+1}$,我们想要确定输入$k$ -均匀超图$G=(V, E)$是否具有顶点集的分区$(V_1, V_2)$,使得对于大小为$k$的所有$X \subseteq V$,如果是$π_{|X\cap V_1|}=1$,则为$X \in E$,如果是$π_{|X\cap V_1|}=0$,则为$X \notin E$。我们证明了这个问题是多项式时间可解或NP-完全依赖于$π$时,$k=3$或$4$。我们还将这个结果推广到了$k \geq 5$的$k$ -一致超图.
2018-12-21 cs.CC cs.DM math.CO
On several judicious partitioning problems of graphs and hypergraphs
Center for Discrete Mathematics, Fuzhou University(福州大学离散数学中心)
本文针对图与超图的明智划分问题,证明了Bollobás与Scott、Bollobás与Thomason的多个猜想,得到了最优的划分边数下界。
2026-10-15 math.CO
Regularity inheritance in hypergraphs
给出了一种处理超图正则性的新方法。这种方法允许顶点的顶点嵌入到超图的常规分区,并推广到稀疏超图的常规分区。我们还证明了一个相应的稀疏超图正则性引理。
2019-01-17 math.CO
A Multi-Level Framework for Multi-Objective Hypergraph Partitioning: Combining Minimum Spanning Tree and Proximal Gradient
Xidian University(西安电子科技大学);Shihezi University(石河子大学)
本文提出一种结合多目标非凸松弛模型、加速近端梯度算法与最小生成树策略的超图划分框架,并辅以细化策略,在多个基准上相比现有划分器显著降低割边规模。
2025-09-26 cs.LG math.CO
Adjacency spectra of some subdivision hypergraphs
该研究定义了超图的细分操作,计算了正则及若干非正则超图细分后的邻接谱特征值,并展示了利用该操作构造非同谱非正则超图的方法。
2023-07-25 math.CO
On the chromatic number of random regular hypergraphs
本文对固定$r$、大固定$d$和$n \rightarrow \infty$的随机$r$ -均匀$d$ -正则超图在$n$顶点上的色数和独立数的可能值进行了估计.
2022-12-31 math.CO
A note on 2-subset-regular self-complementary 3-uniform hypergraphs
证明了顶点为$n$的2-子集正则自补3-一致超图存在的充要条件是$n\ge 6$和$n$与2模4同余.
2008-04-22 math.CO
Approximate counting of regular hypergraphs
本文在$k$固定且$d=d(n)=o(n^{1/2})$的条件下,渐近计数了$n$-正则$k$ -一致超图.在这样做时,我们扩展到超图的McKay和Wormald的开关技术。
2013-06-27 math.CO
Enumeration of regular multipartite hypergraphs
University of New South Wales(新南威尔士大学);LMU Munich(慕尼黑大学);Australian National University(澳大利亚国立大学)
本文确定了正则多部超图(即多维二元列联表)在所有参数值下的渐近计数。
2026-09-22 math.CO
Larger matchings and independent sets in regular uniform hypergraphs of high girth
本文分析了两种算法,分别用于在大围长的 $k$-一致 $d$-正则超图上生成匹配和独立集,从而获得了此类超图中最大匹配或独立集大小的新下界。
2023-07-28 math.CO
Regular subgraphs of linear hypergraphs
证明了$n$顶点上不含2-正则子超图的3-一致线性超图的最大边数为$n^{1+o(1)}$。这解决了Dellamonica,Haxell,Luczak,Mubayi,Nagle,Person,Rödl,Schacht和Verstraëte的猜想。我们利用这个结果证明了在$n$顶点上的$3$ -一致超图中不含闭曲面浸入的最大边数是$n^{2+o(1)}$。此外,我们给出了不含$r$ -正则子超图的$k$ -一致线性超图的最大边数的结果。
2022-08-22 math.CO
Regularity method for hypergraphs with $4$-cycle-free links
Emory University(埃默里大学);Universität Hamburg(汉堡大学)
该研究将超图正则性方法扩展到顶点链接不含C₄的稀疏3-均匀超图,针对不含K₁,₂,₂且边数为O(|V|^(5/2))的此类超图,建立了七顶点紧圈减一边移除引理的稀疏类似物。
2026-08-26 math.CO
Tight cycles and regular slices in dense hypergraphs
我们研究的随机子复合物的分区返回(一个合适的形式)的强超图正则引理,我们称之为定期切片。我们认为,这些subcomplex捕获许多重要的结构特性的原始超图。因此,我们主张使用它们的极值超图理论,并解释他们如何可以导致相当大的简化,在现有的证明在这一领域。我们还使用它们来建立以下两个新结果。首先,我们证明了Erdens-Gallai定理的一个超图推广:对于每个$δ>0$,每个至少有$(α+δ)\binom{n}{k}$边的充分大的$k$ -一致超图包含一个长度为$αn$的紧圈,其中每个$α\in[0,1]$都有一个长度为$αn$的紧圈.其次,我们(渐近地)找到了一个$k$ -一致$k$ -部超图的最小余度要求,对于每个$0<α<1$,该超图的每一部分都有$n$顶点,且包含一个长度为$αkn$的紧圈.
2014-11-18 math.CO
Regular subgraphs of uniform hypergraphs
本文证明了:对于任意整数$r\geq 2$,如果$k\geq r+1$和$n$足够大,则不含$r$ -正则子图的$n$ -顶点$k$ -均匀超图$H$至多有$(1+o(1)){{n-1}\choose{k-1}}$边.而且,如果$r\in\{3,4\}$,$r\mid k$和$k,n$都足够大,则不含$r$ -正则子图的$n$ -顶点$k$ -均匀超图的最大边数恰好是${{n-1} \choose {k-1}}$,只有当所有边都含有一个特定的顶点$v$时,才相等.我们也会问一些相关的问题。
2016-04-25 math.CO
Counting independent sets in regular hypergraphs
在顶点为$n$的$d$-正则$r$ -一致超图中,哪一个具有最多的独立集?虽然图的类似问题(最初由格兰维尔提出)现在已经很好地理解了,但甚至不清楚正确的一般猜想应该是什么;我们的目标是提出这样的概括。借贷的信任,我们的猜想,我们验证它的类内的“准二部”超图(广义的二部图,似乎自然在这种情况下)通过采用熵的方法卡恩。
2020-02-23 math.CO
Eigenvalues of Non-Regular Linear-Quasirandom Hypergraphs
Chung、Graham和Wilson证明了一个图是拟随机的当且仅当它的第一和第二大特征值之间有一个很大的差距。最近,作者将这一刻画推广到了k-一致超图,但仅限于所谓的共正则k-一致超图。在本文中,我们扩展到所有的k-一致超图,而不仅仅是共正则的。具体地说,我们证明了,如果一个k-一致超图满足一个特殊定义的四圈的正确计数,那么它的第一和第二大特征值之间存在一个间隙。
2014-09-24 math.CO
Every 4-regular 4-uniform hypergraph has a 2-coloring with a free vertex
本文继续研究超图的$2$ -染色。一个超图是$2$ -可着色的,如果它的顶点是$2$ -可着色的,且没有单色的超边.已知(见J.Amer.Math.Soc.5(1992),217- 229)每个$4$ -均匀$4$ -正则超图是$2$ -可着色的.本文的主要结果是加强了这一结果。为此,我们定义一个超图$H$中的顶点是$H$中的自由顶点,如果我们可以$2$ -color $V(H) \setminus \{v\}$,使得$H$中的每个超边都包含两种颜色的顶点(其中$v$没有颜色)。证明了每一个$4$ -一致$4$ -正则超图都有一个自由顶点.这证明了一个已知的猜想。我们的证明使用一个新的结果不全相等的$3$ -SAT这也证明了本文中,是在其本身的权利感兴趣。
2016-11-27 math.CO
Two-regular subgraphs of odd-uniform hypergraphs
令$k\ge 3$为奇数,令$n$为足够大的整数。证明了不含$2$ -正则子图的$n$ -顶点$k$ -一致超图的最大边数为$\binom{n-1}{k-1} + \lfloor\frac{n-1}{k} \rfloor$,且等式成立当且仅当$H$是一个中心为$v$且最大匹配不含$v$的全$k$ -星.这证实了穆巴伊和韦斯特拉特的一个猜想。
2018-01-22 math.CO
On regular hypergraphs of high girth
利用Berge给出的超图圈的定义,给出了至多有$n$顶点的$r$ -一致、$d$ -正则超图的最大可能围长的下界.这些与平凡的上界的不同之处在于一个绝对常数因子(即,因子在$3/2+o(1)$和$2 +o(1)$之间)。我们还定义了一个随机$r$ -均匀的“凯莱”超图的$S_n$具有围长$Ω(n^{1/3})$的概率很高,相比之下,随机定期$r$ -均匀超图,其中有常数围长的正概率。
2017-07-12 math.CO
Nearly-Regular Hypergraphs and Saturation of Berge Stars
给定一个图$G$,如果存在一个注入$ϕ:E(G)\to E(H)$,使得对每条边$e\in E(G)$有$e\subseteqϕ(e)$,则称同一顶点集上的$k$ -一致超图$H$包含Berge- $G$.如果$H$不包含Berge- $G$,则超图$H$为Berge-$G$ -饱和,但向$H$添加任何边都会创建Berge- $G$。Berge- $G$的饱和数,记作$\mathrm{sat}_k(n,\text{Berge-}G)$,是指$k$ -一致超图中Berge- $G$ -饱和的最少边数.我们准确地确定了Berge星的饱和数的值。作为主要结果的工具,我们还证明了几乎正则的$k$ -一致超图的存在性,或者对于某些$r\in \mathbb{Z}$,每个顶点的度都是$r$或$r-1$,并且小于$k$的顶点的度是$r-1$的$k$ -一致超图的存在性.
2018-12-02 math.CO
Berge $k$-Factors of Regular Hypergraphs
Ibaraki University(茨城大学);Nihon University(日本大学)
研究超图中Berge $k$-因子的存在条件,发现基于超图秩的新上界优于传统边连通度上界。
2026-08-04 math.CO
Hypergraph coverings and Ramanujan Hypergraphs
该研究通过超图覆盖刻画谱结构并推广 Alon-Boppana 等谱界,利用交错族证明 Ramanujan 2-覆盖的存在性,进而构造无限族正则 Ramanujan 超图。
2024-03-04 math.CO
Edge correlations in random regular hypergraphs and applications to subgraph testing
与经典的二项随机(超图)模型相比,随机正则超图的研究由于不同边的出现之间的相关性而变得更具挑战性。我们开发了一种超图的边切换技术,使我们能够证明这些相关性是有限的,在很大范围内的密度。这推广了Kim,Sudakov和Vu关于图的一些结果.从我们的结果中,我们推出了随机$d$ -正则超图中子图计数的几个推论。我们还证明了Dudek,Frieze,Rucienski和Šileikis关于随机$r$-正则$d$-图中存在$\ell$ -重叠Hamilton圈的阈值的一个猜想.此外,我们应用我们的结果证明的界限上的查询复杂度测试子图的自由。一般图模型中的无子图测试问题首先由Alon,Kaufman,Krivelevich和Ron研究,他们得到了测试无三角图的查询复杂度的几个界。我们扩展了这些以前的结果超出了三角形设置和超图设置。
2019-07-25 math.CO
Regular behaviour of the maximal hypergraph chromatic number
设$m(n,r)$表示$n$ -一致超图中不可$r$ -着色的最小边数.我们证明了对于任何固定的$n$序列$a_r := m(n,r)/r^n$都有一个极限,这是Alon证明的。我们还证明了这个声明的列表着色类似。
2019-08-17 math.CO
Randomized greedy algorithm for independent sets in regular uniform hypergraphs with large girth
本文考虑了在周长为$g$的$n$顶点上的$r$ -均匀$d$ -正则超图$G$中求独立集的随机贪婪算法.通过分析由该算法生成的独立集的期望大小,我们证明了$α(G)\geq (f(d,r)-ε(g,d,r))n$,其中对于固定的$d$和$r$,$ε(g,d,r)$收敛到$0$为$g\rightarrow\infty$,并且$f(d,r)$由微分方程确定。这推广了Gamarnik和Goldberg关于图的早期结果。我们还证明了当把该算法应用于度有界的一致线性超图时,由该算法生成的独立集的大小几乎必然渐近地集中在均值附近。
2022-01-04 math.CO
Detachments of Amalgamated 3-uniform Hypergraphs : Factorization Consequences
超图$\scr F$的分离是从$\scr F$通过将其部分或全部顶点分裂成多个顶点而获得的超图。合并一个超图$\scr G$可以被认为是取$\scr G$,划分其顶点,然后对于划分的每个元素挤压顶点以形成合并超图$\scr F$中的单个顶点。本文利用层族上的Nash-Williams引理证明了3-一致超图合并的一个分离定理,该定理是Hilton,Rodger和Nash-Williams的合并定理的一个实质性推广.为了证明分离定理的有效性,我们证明了完全3-均匀$n$ -部超图$λK_{m_1,\ldots,m_n}^{3}$可以表示为$k$边不交因子的并集$\scr G_1\cup \ldots \cup\scr G_k$,其中对于$i=1,\ldots, k$,$\scr G_i$是$r_i$ -正则的,当且仅当(i)$m_i=m_j:=m$对所有$1\leq i,j\leq k$,(ii)$3$对每个$i$,$1\leq i\leq k$,和(iii)$\sum_{i=1}^{k} r_i=λ\binom{n-1}{2}m^2$整除$r_imn$.
2017-10-10 math.CO
On the Number of Independent Sets in Uniform, Regular, Linear Hypergraphs
研究了无交叉边的$r$ -一致、$d$ -正则、$n$ -顶点线性超图的弱独立集和强独立集的个数的界问题.在弱独立集的情况下,我们提供了一个上界,是紧到一阶项的所有(固定)$r\ge 3$,与$d$和$n$走向无穷大。在强独立集的情况下,对于$r=3$,我们提供了一个紧到二阶项的上界,改进了Ordentlich-Roth(2004)的结果。强独立集情况下的紧密性是通过显式构造$3$(均匀)、$d$(规则、无交叉边、$n$顶点上的线性超图来建立的,这在其他上下文中可能会引起兴趣。一般情况下,我们先放一些说明。我们的证明使用Davies,Jenssen,Perkins和Roberts(2017)引入的占用方法。
2021-07-04 math.CO
Regular embedding of simple hypergraphs
本文分析了基础为简单超图的正则超地图,提出了一种分类给定阶简单超图正则嵌入的算法,并确定了素数平方阶简单超图正则嵌入的自同构群。
2025-04-27 math.CO math.GR
On Counting Independent Sets in Regular Hypergraphs
Skyserv Handling Services;Carnegie Mellon University(卡内基梅隆大学)
本文针对 Balogh-Bollobás-Narayanan 猜想,即正则超图中弱独立集数由拟二部构造最大化,提供了渐近、反例及精确情形等多类证据,并利用容器方法、占用方法和熵分解等技术证明了相关结果。
2026-09-16 math.CO
The minimum vertex degree for an almost-spanning tight cycle in a $3$-uniform hypergraph
本文证明了最小顶点度至少为$\left(\frac{5}{9} + o(1) \right)\binom{n}{2}$的$3$-一致超图存在几乎生成紧圈,即不含$o(n)$顶点的紧圈.顶点度的界是渐近最佳可能的。我们的证明使用超图正则性方法,特别是最近版本的超图正则性引理证明艾伦,Böttcher,库利和麦考夫。
2016-06-17 math.CO
Embedding the Erdős-Rényi Hypergraph into the Random Regular Hypergraph and Hamiltonicity
建立了随机$k$ -图(对于常数$k \ge 2$)在$n$标记顶点上的两个一致模型之间的包含关系:$\mathbb G^{(k)}(n,m)$,具有$m$边的随机$k$ -图,和$\mathbb R^{(k)}(n,d)$,随机$d$ -正则$k$ -图.我们表明,如果$n\log n\ll m\ll n^k$,我们可以选择$d = d(n) \sim {km}/n$和耦合$\mathbb G^{(k)}(n,m)$和$\mathbb R^{(k)}(n,d)$,使后者包含前者的概率趋于一$n\to\infty$。这推广了Kim和Vu关于“随机图的随机化”的一个较早的结果。鉴于已知的阈值定理存在不同类型的Hamilton圈在$\mathbb G^{(k)}(n,m)$,我们的结果使我们能够找到条件下,$\mathbb R^{(k)}(n,d)$是Hamilton。特别地,对于$k\ge 3$,我们得出结论,如果$n^{k-2} \ll d \ll n^{k-1}$,则a.a.s. $\mathbb R^{(k)}(n,d)$包含一个紧Hamilton圈。
2016-09-23 math.CO
The Matching Process and Independent Process in Random Regular Graphs and Hypergraphs
在本文中,我们分析了稀疏随机图和具有给定度序列的超图上的两个随机贪婪过程。首先我们分析匹配过程,它一次建立一个不相交的边的集合;然后我们分析独立过程,它一次建立一个独立集的顶点。我们使用微分方程的方法和应用一般定理的Warnke。我们的主要贡献是显着减少了相关的系统的微分方程和简化的匹配或独立集的最终大小的表达式。
2021-09-22 math.CO
Embedding arbitrary edge-colorings of hypergraphs into regular colorings
该研究探讨超图边着色嵌入问题,给出了完全λ重h一致超图的部分r-因子分解可扩展为更大规模同类型超图r-因子分解的阈值条件与充要判据。
2024-09-17 math.CO
Spectra of random regular hypergraphs
本文研究了Feng和Li(1996)定义的正则超图的谱。我们的主要结果类似于Alon关于随机正则超图的谱隙的猜想。然后,我们将第二特征值与正则超图上的非回溯随机游动的扩张性质和混合率联系起来。我们还证明了Angelini等人(2015)中引入的随机正则超图的非回溯算子的谱间隙。最后,我们得到了随机正则超图的经验谱分布(ESD)在不同区域的收敛性。在某些条件下,我们可以显示ESD的本地法律。
2021-07-13 math.CO math.PR
Small graphs and hypergraphs of given degree and girth
寻找最小可能周长$g$的$d$ -正则图有很长的历史,通常被称为笼问题。这个问题有一个自然扩张到超图,在这里我们可以要求在给定(Berge)围长$g$的$d$ -正则、$r$ -一致超图中顶点数最少。我们表明,这两个问题实际上是非常密切相关的。通过扩展凯莱图的想法超图的上下文中,我们发现已知的最小超图的各种参数集。由于从图论的笼问题的密切联系,我们能够使用这些技术,找到新的记录最小的三次图的围长23,24,28,29,30,31和32。
2022-01-18 math.CO
Regular Uniform Hypergraphs, $s$-Cycles, $s$-Paths and Their largest Laplacian H-Eigenvalues
本文证明了连通$k$ -一致超图$G$的最大无符号Laplacian H-特征值达到其上界$2Δ(G)$,其中$k \ge 3$是$G$的最大度,当且仅当$G$是正则的.因此,$G$的最大拉普拉斯H-特征值达到相同的上界,当且仅当$G$是正则和奇偶的。本文证明了一个$s$ -圈$G$,作为一个$k$ -一致超图,其中$1 \le s \le k-1$是正则的当且仅当存在正整数$q$使得$k=q(k-s)$ .我们证明了一个偶均匀$s$ -路和一个偶均匀非正则$s$ -圈总是奇二部的。我们证明了一个具有$k=q(k-s)$的正则$s$ -圈$G$是奇二部的当且仅当$m$是$2^{t_0}$的倍数,其中$m$是$G$中的边数,而$q = 2^{t_0}(2l_0+1)$是$t_0$和$l_0$的整数。我们确定的最大无符号拉普拉斯H-本征值的$s$循环$G$在所有可能的情况下。当$G$是奇二部时,这也是它的最大拉普拉斯H-特征值。引入超图的超顶点,证明了奇一致超图的Laplacian H-特征向量的分量相等,如果这些分量对应于同一超顶点上的顶点,且对应的Laplacian H-特征值不等于超顶点的度.利用这个性质,我们证明了奇均匀广义松散$s$ -圈$G$的最大拉普拉斯H-特征值等于$Δ(G)=2$ .我们还证明了$k$ -均匀紧$s$ -圈$G$的最大Laplacian H-特征值不小…
2013-09-18 math.CO
A threshold result for loose Hamiltonicity in random regular uniform hypergraphs
设$\mathcal{G}(n,r,s)$表示$r$ -正则$s$ -$n$顶点上的一致随机超图,其中$s$是固定常数,$r=r(n)$可以随$n$增长. $\ell$ -重叠的Hamilton圈是连续的边在精确的$\ell$顶点重叠的Hamilton圈,并且1-重叠的Hamilton圈被称为松散的Hamilton圈。当$r,s\geq 3$是固定整数时,我们建立了包含松弛Hamilton圈的一个阈值结果.这部分验证了Dudek,Frieze,Rucinski和Sileikis(2015)的猜想。在这种情况下,我们还发现了松散的Hamilton圈的数量在$\mathcal{G}(n,r,s)$的渐近分布。最后证明了对于$\ell = 2,\ldots, s-1$和$r$,当$n\to\infty$适度增长时,$\mathcal{G}(n,r,s)$具有$\ell$ -重叠Hamilton圈的概率趋于零.
2019-11-01 math.CO
Characterization of the degree sequences of (quasi) regular uniform hypergraphs
在超图理论中,确定一个$h$ -一致简单超图$\cal H$的度序列$d=(d_1,d_2,\ldots,d_n)$(其中$d_1\ge d_2\ge\ldots,d_n$是正整数)的特征,以及确定由$d$重构$\cal H$的复杂性状态,是两个具有挑战性的公开问题.它们可以在离散断层扫描的上下文中公式化:询问是否存在具有不同行的正投影向量$H=(h,h,\ldots,h)$和$V=(d_1,d_2,\ldots,d_n)$的矩阵$A$。在本文中,我们考虑两种子情况,其中向量$V$是齐次向量,以及其中$V$几乎是齐次的,即,$d_1-d_n=1$。我们给出了一个简单的表征这两种情况下,我们展示了如何解决相关的重建问题的多项式时间。为了达到我们的目标,我们使用的概念林登字和项链的固定密度,我们应用一些已知的算法,其有效的生成。
2013-09-30 math.CO
Asymptotically Enumerating Independent Sets in Regular $k$-Partite $k$-Uniform Hypergraphs
本文将聚合物模型与团簇展开截断方法应用于满足自然扩展性质的正则 $k$-部 $k$-一致超图,渐近确定了其独立集数量,并给出了仅依赖局部结构的高效计算公式及线性超图的闭式表达式。
2024-12-19 cs.DM math.CO
$L_p$ regular sparse hypergraphs
我们研究稀疏超图,满足一个温和的伪随机性条件称为$L_p$正则性。我们证明了适当的正则性和计数引理,并在此设置中,我们扩展了相对删除引理陶。这回答了Borgs、Chayes、Cohn和Zhao的一个问题。
2018-02-25 math.CO math.FA math.PR
Hypergraph limits: a regularity approach
一个$k$ -一致超图序列$H_1, H_2, \dots$是收敛的,如果对于每个$k$ -一致超图$F$,同态密度序列$t(F, H_1), t(F, H_2), \dots$是收敛的.对于图,Lovász和Szegedy证明了每个收敛序列都有一个极限,其形式为对称可测函数$W \colon [0,1]^2 \to [0,1]$。对于超图,Elek和Szegedy使用超积构造了类似的极限$W \colon [0,1]^{2^k-2} \to [0,1]$。胡佛、奥尔德斯和卡伦伯格在可交换随机阵列的背景下也研究过这些极限。本文给出了超图极限的一个新的证明和构造。我们的方法受到Lovász和Szegedy的原始方法的启发,关键成分是弱Frieze-Kannan型正则性引理。
2014-03-16 math.CO math.PR
$L_p$ regular sparse hypergraphs: box norms
我们认为一些变种的Gowers盒规范,介绍了哈塔米,并显示其相关性的背景下,稀疏超图。我们的主要结果如下。首先,我们证明了$L_p$图子的一个推广的von Neumann定理。其次,我们给出了伪随机族的自然例子,即满足计数引理和移除引理的相关版本的稀疏加权一致超图。
2018-08-30 math.CO math.FA math.PR
Hypergraph universality via branching random walks
研究有界度均匀超图的通用性问题,沿用Alon–Capalbo图策略,结合扩张器定制积、有界密度超图分解及分支随机游走尾界,构造边数接近计数下界的通用超图。
2024-11-29 math.CO math.PR
On the spectrum and linear programming bound for hypergraphs
图的谱与许多图的参数密切相关。特别地,正则图的谱隙是图的价数与第二特征值之差,是连通度的一种代数测度,在扩张图理论中起着重要作用。在本文中,我们扩展了以前的工作,图和二部图,并提出了一个线性规划方法获得的上界的阶正则一致超图具有规定的不同的特征值。进一步,我们得到了正则一致超图的阶的一个一般上界,其中正则一致超图的第二特征值被给定值所限制。我们的结果改进和扩展了Feng-Li(1996)关于正则超图的Alon-Boppana定理和Dinitz-Schapira-Shahaf(2020)关于Moore或度直径问题的工作。我们还确定了对于多个参数$(r,u,θ)$,第二特征值至多为$θ$的$r$ -正则$u$ -一致超图的最大阶.特别地,正交表给出了对于每个充分大的$r$,第二特征值至多为$1$的最大超图的结构。此外,我们还证明了广义Moore几何在该阶和度的所有超图中具有最大的谱隙。
2022-04-05 cs.DM math.CO
Growth of regular partitions 2: Weak regularity
University of Illinois at Chicago(芝加哥伊利诺伊大学)
本文研究了3-正则超图的正则划分增长,定义了弱超图正则性,并证明了该函数的增长率分为四个类别。
2026-06-26 math.CO math.LO
An improved bound for regular decompositions of $3$-uniform hypergraphs of bounded $VC_2$-dimension
该研究针对有界$VC_2$维的$3$一致超图,改进了其正则分解的复杂度界,将一般情形下的Wowzer型界提升为正则度的多项式界,是有界VC维图与超图高效正则引理的高元类比。
2022-04-18 math.CO math.LO
Irregular triads in 3-uniform hypergraphs
本文研究3-一致超图的驯顺正则分解,刻画线性误差正则分解、齐次性及Fox型正则划分与函数序性质、VC2维数和逐切片VC维数的关系。
2025-03-14 math.CO math.LO
Fast Algorithms for Directed Graph Partitioning Using Flows and Reweighted Eigenvalues
University of Waterloo(滑铁卢大学)
该研究提出加入三角不等式的有向边扩展半定规划松弛,结合矩阵乘法权重更新得到近似线性时间的近似算法与改进割匹配博弈,构建了有向图划分的最优流框架,且可推广至顶点扩展与超图问题。
2023-06-15 cs.DM cs.DS cs.LG
Weak hypergraph regularity and applications to geometric Ramsey theory
令$Δ=Δ_1\times\ldots\times Δ_d\subseteq\mathbb{R}^n$,其中$\mathbb{R}^n=\mathbb{R}^{n_1}\times\cdots\times\mathbb{R}^{n_d}$,其中每个$Δ_i\subseteq\mathbb{R}^{n_i}$是$n_i$点的非退化单形。我们证明了任何集合$S\subseteq \mathbb{R}^n$,与$n=n_1+\cdots +n_d$的正上Banach密度必然包含等距副本的所有足够大的膨胀的配置$Δ$。特别地,对于所有$λ\geq λ_0(S)$,任何这样的集合$S\subseteq \mathbb{R}^{2d}$包含边长为$λ$的$d$维立方体。我们也证明了类似的结果与基础空间是整数格。证明是基于一个弱超图正则引理和相关的计数引理的背景下,欧几里德空间和整数格。
2023-01-26 math.CA math.CO math.NT
A spectral bound on hypergraph discrepancy
设$\mathcal{H}$是一个关于$m$和$n$的顶点的$t$ -正则超图.令$M$是$\mathcal{H}$的$m \times n$关联矩阵,并让我们表示$λ=\max_{v \perp \overline{1},\|v\| = 1}\|Mv\|$。我们证明了$\mathcal{H}$的矛盾是$O(\sqrt{t} + λ)$。作为一个推论,这给出了对于每个$t$,具有$n$顶点和$m \geq n$边的随机$t$ -正则超图的差几乎必然是$O(\sqrt{t})$,因为$n$增长.证明还给出了一个多项式时间算法,该算法以超图作为输入,并输出具有上述保证的着色。
2020-05-04 cs.DM cs.DS math.CO