A non-flag arithmetic regularity lemma and counting lemma
本文提出了一个不依赖旗形条件的算术正则引理和计数引理，适用于所有线性形式系统，推广了Green和Tao的经典结果。
2022-09-28 math.CO math.DS math.NT
Limits of Hypergraphs, Removal and Regularity Lemmas. A Non-standard Approach
研究了有限集的超积的积分和测度论。作为一个主要应用，我们构造了超图序列的极限对象。给出了超图去除引理和超图正则引理的新证明。
2007-05-15 math.CO
Szemerédi's regularity lemma revisited
塞梅雷迪正则引理是图论中的一个基本工具，在加法组合学中也起着重要的作用，尤其是在证明关于等差数列的塞梅雷迪定理中。在本文中，我们从概率论和信息论的角度而不是图论的角度重新审视这个引理，并观察到这个引理的一个变体，它引入了一个新的参数$F$。作者在最近的一篇论文中迭代了这个更强的正则性引理，以重新证明超图的类似正则性引理。
2005-11-16 math.CO
The Regularity Lemma with bounded VC Dimension
我们给出了一个证明Szemeredi的正则性引理的特殊情况下，有界VC维的图，并表明它是可能的，以获得“仅仅”双指数界的大小的分区在这种情况下。
2013-04-23 math.CO
A Pythagoras proof of Szemerédi's regularity lemma
我们给出了一个简短的证明Szemerédi的正则引理，基础上初等欧几里德几何。一般线的证明是标准的证明（事实上，塞梅雷迪的原始证明），但大多数技术性被吞噬应用毕达哥拉斯定理。
2012-12-21 math.CO
The regularity lemma is false over small fields
正则引理是矩阵线性子空间张量爆破可能秩的严格条件。Ivanyos、Qiao和Subrahmanyam在下伏场足够大时证明了这一点。我们表明，如果字段的大小是太小，正则引理是假的。
2018-12-05 math.CO math.RA
Weighted Regularity Lemma with Applications
我们证明了一个扩展的正则引理与顶点和边的重量，可以适用于一个大类的图。应用程序涉及随机图和一个加权版本的Erdens-Stone定理。我们还提供了处理不受控制的异常集的方法。
2011-02-12 math.CO
On regularity lemmas and their algorithmic applications
Szemerédi的正则性引理及其变体是组合数学中一些最强大的工具。在本文中，我们建立了几个结果周围的正则引理。首先，我们证明，无论我们是否包括的条件，所需的顶点划分的正则性引理是公平的分区的部分的数量上的影响最小。其次，我们使用的（弱）Frieze-Kannan正则引理的算法版本，给一个更快的确定性近似算法计算子图在一个图。以前，只有一个指数依赖的运行时间上的错误参数是已知的，我们改进它的多项式依赖。第三，我们重新审视了寻找算法正则性引理的问题，给出了几个co-NP-complete问题的近似算法。我们展示了如何使用弱Frize-Kannan正则引理来近似一对顶点子集的正则性。我们还展示了如何快速找到，为每个$ε'>ε$，一个$ε'$定期分区与$k$部分，如果存在一个$ε$定期分区与$k$部分。最后，给出了置换正则引理的一个简单证明，该引理将以往证明中的部件个数的塔型界改进为一个指数界。
2018-01-17 math.CO
Decomposition of degree-regular graphs into quasi-random pairs without the Regularity lemma
Bolyai Institute, University of Szeged（塞格德大学博莱伊研究所）
本文提出一种替代Szemerédi正则引理的顶点划分框架，适用于密度趋于零且顶点集较小的图，并将其应用于二分图打包问题。
2026-05-24 math.CO
An algorithmic regularity lemma for $L_p$ regular sparse matrices
本文证明了$L_p$正则矩阵$(1 < p \leq \infty),$（一类稀疏$\{0,1\}$矩阵，它们服从自然伪随机性条件）的算法正则性引理。这推广了Coja-Oghlan，Cooper和Frieze关于$L_{\infty}$正则矩阵的一个结果.我们还提出了张量和MAX-CSP的情况下，这一结果的应用。
2017-05-18 math.CO
The abelian arithmetic regularity lemma
本文给出了$\{1,\dots,N\}$上Green和Tao在交换（$U^2$）情形下的算术正则引理的一个简单的阐述和证明.这对于那些只需要引理的$U^2$情况的人来说可能很有用，因为一般情况涉及得更多。它也可以作为一般情况的介绍。没有原创性。
2016-06-29 math.CO math.NT
An Algebraic Hypergraph Regularity Lemma
Szemerédi正则性引理是图论中的一个强有力的工具。证明了对任意大的图，存在边集的有界划分，使得大多数诱导子图是拟随机的。当图是有限域$F_q$中的可定义集$ϕ(x, y)$时，Tao的代数图正则引理证明了存在图$ϕ(x, y)$的一个划分，使得所有诱导子图都是拟随机的，且拟随机的误差界是$O(q^{-1/4})$ .本文证明了有限域中可定义集的一个代数超图正则引理，从而回答了Tao的一个问题。我们还将代数正则引理推广到差域$(F_q^{alg}, x^q)$中的可定义集合上，并对代数正则引理的几何内容提供了一个新的观点。
2022-09-16 math.CO math.LO
A Note on "Regularity lemma for distal structures"
在最近的一篇论文中，Chernikov和Starchenko证明了在远端理论中定义的图具有强正则性，推广了以前关于由半代数关系定义的图的结果。我们给出了一个较短的，纯粹的模型理论证明这一事实。
2015-08-17 math.CO math.LO
An Abstract Regularity Lemma
将Szemeredi正则引理推广到抽象测度空间.我们的主要目的是找到一般条件下，原来的证明Szemeredi仍然有效。为了说明我们的方法有一定的优点，我们概述了几个应用程序。其中一些应用程序似乎是针对我们的方法：特别是，我们不知道任何替代的证明。
2007-04-19 math.CO
A Short Proof of Gowers' Lower Bound for the Regularity Lemma
Gowers的一个著名结果是：对于每个ε> 0，存在一个图G，使得G的每个ε-正则划分（在Szemeredi正则引理的意义下）的阶由1/ε中高度多项式的指数塔给出。在本说明中，我们给出了一个新的证明这个结果，使用的建设和证明的正确性，显着更简单，更短。
2013-08-24 math.CO
A Sparse Regular Approximation Lemma
我们引入一个新的变种Szemerédi的正则引理，我们称之为“稀疏正则逼近引理”（SRAL）。这个引理的输入是边密度$p$和参数$ε, δ$的图$G$，其中我们认为$δ$是一个常数。我们的目标是构建$G$的$ε$ -规则分区，同时可以自由添加/删除多达$δ|E(G)|$的边。正如我们在这里所展示的，正则引理的这个较弱的变体已经足以证明图移除引理和超图正则引理，这是（标准）正则引理的两个主要应用。这当然提出了以下问题：一个可以获得定量界限SRAL显着优于那些与正则引理？我们的第一个结果肯定地回答了上述问题，证明了一个上界SRAL的高度$O(\log 1/p)$塔。这使我们能够重新证明福克斯的上界的图删除引理。我们的第二个结果是一个匹配的下界SRAL表明塔的高度$Ω(\log 1/p)$是不可避免的。事实上，我们证明了一个更一般的多色下界，这是必不可少的证明下界的超图正则性引理。
2016-10-09 math.CO
A Noisy-Influence Regularity Lemma for Boolean Functions
我们提出了一个规则性引理布尔函数$f:\{-1,1\}^n \to \{-1,1\}$的基础上的噪声的影响，如何局部相关的$f$与每个输入位的措施。我们提供了一个应用的正则引理，以削弱条件的多数是稳定的定理。我们还证明了一个“同质化”的版本，说明有一组输入位，使大多数限制的$f$对这些位有小的噪声影响。这些结果由[OSTW 10]勾勒出来，但从未发表。在他们的许可下，我们在这里提供全部细节。
2016-10-21 cs.CC math.CO
A version of Szemerédi's regularity lemma for multicolored graphs and directed graphs that is suitable for induced graphs
在这篇手稿中，我们开发了一个版本的Szemerédi的正则引理，适合于分析多色的完全图和有向图。在这方面，我们遵循Alon，Fischer，Krivelevich和M. Szegedy [Combinatorica，20（4）（2000），451- 476]，他们证明了图的类似结果。其目的是推广经典的结果密集的遗传性质，如速度的财产或编辑距离，上述组合对象。
2016-05-21 math.CO
Szemerédi's regularity lemma via martingales
我们证明了一个变种的抽象概率版本的Szemerédi的正则引理，由于陶，它适用于一些结构（包括图，超图，超立方体，graphons，以及更多）和工程随机变量在$L_p$的任何$p>1$。我们的方法是基于鞅差序列。
2016-07-22 math.CO math.FA math.PR
Regularity inheritance in pseudorandom graphs
提出了稀疏正则性方法，证明了双混乱图的子图的单侧和双侧正则性继承引理，改进了Conlon、Fox和Zhao [Adv. Math. 256（2014），206--290]的结果。这些继承引理也意味着改进的$H$计数引理的子图的双混杂图，对于某些$H$。
2019-02-07 math.CO
Extremal results in sparse pseudorandom graphs
Szemerédi的正则性引理是极值组合学中的一个基本工具。然而，最初的版本只对研究稠密图有帮助。在1990年代，Kohayakawa和Rödl证明了一个类似于Szemerédi正则引理的稀疏图，作为将极值结果扩展到稀疏图的一般程序的一部分。Szemerédi正则引理的许多关键应用都使用了相关的计数引理。为了证明这些结果也适用于稀疏图的扩展，证明稀疏图中的计数引理仍然是一个著名的公开问题。本文的主要进展在于一个新的计数引理，证明了以下功能的方法Gowers，补充了Kohayakawa和Rödl的稀疏正则性引理，使我们能够计数小图的正则子图的充分伪随机图。我们用它来证明稀疏扩展的几个著名的组合定理，包括删除引理的图形和群体，Erdens-Stone-Simonovits定理和拉姆齐定理。这些结果扩展和改进了以前的大量工作。
2013-10-16 cs.DM math.CO
Definable regularity lemmas for NIP hypergraphs
本文系统地研究了NIP超图的正则性现象及其与（局部）一般稳定测度理论的联系，给出了[L.洛瓦斯湾Szegedy，“Regularity partitions and the topology of graphons”，An irregular mind，Springer Berlin Heidelberg，2010，415-446]。此外，我们还修正了稳定超图和远点超图的正则性的两种极值情形，改进和推广了[A. Chernikov，S. Starchenko，“远端结构的规则引理”，J. Eur. 20（2018），2437-2466]和[M. Malliaris，S. Shelah，“Regularity lemmas for stable graphs”，Transactions of the American Mathematical Society，366.3，2014，1551-1585]。最后，我们考虑了NIP超图的大（近似）齐次可定义子集的存在性的相关问题，并给出了一些肯定的结果和反例。
2021-03-10 math.CO math.LO
Notes on the Linear Algebraic View of Regularity Lemmas
本文从线性代数视角从头推导正则性引理，将其视为用小矩阵素描大矩阵的结果，并以此推导出熟悉的图版本。
2025-06-29 cs.DS math.CO
A Permutation Regularity Lemma
我们介绍了一个置换模拟著名的Szemeredi正则引理，并得出一些后果。这个工具使我们能够提供一个结构描述的排列，避免指定的模式，一个结果，排列分散小区间包含所有可能的模式的一个给定的大小，证明每个排列避免指定的模式有一个几乎单调的线性大小的子集，和一个“瘦删除”的结果。我们还展示了如何可以计数子模式的置换与积分，并将我们的结果置换准随机性的方式类似的图论设置。
2006-02-28 math.CO
Limits of kernel operators and the spectral regularity lemma
我们研究图极限理论的谱方面。本文用特征值和特征空间的正则性描述了图子的收敛性。沿着这些路线，我们证明了一个谱版本的强正则引理。利用谱方法研究了图子上的群作用。作为一个应用，我们证明了球面上等距不变图子的集合在图收敛方面是封闭的，但类似的陈述并不适用于圆。这一事实植根于正交群的表示论。
2010-03-29 math.CO math.FA
An analogue of the Szemeredi Regularity Lemma for bounded degree graphs
我们证明了一个足够大的有界度的图可以被分解成准齐次的块。这个结果可以看作是经典Farrell-Varadarajan遍历分解定理的“有限化”。
2009-04-18 math.CO math.DS
A Wowzer Type Lower Bound for the Strong Regularity Lemma
Szemeredi的正则性引理断言，人们可以将每个图划分为有界数目的拟随机二部图。然而，在某些应用中，人们希望对这些二部图的准随机性有很强的控制。阿隆、费舍尔、克里维列维奇和塞格迪得到了正则引理的一个强大的变体，它允许人们对这种准随机性的度量进行任意控制。然而，他们的证明只能保证产生一个分区，其中部分的数量由Wowzer函数给出，这是Tower函数的迭代版本。我们在这里表明，这种类型的界限是不可避免的，通过构建一个图H，与属性，即使一个人想要一个非常温和的控制准随机性的一个经常分区，那么任何这样的分区H必须有一些部分由Wowzer型函数。
2012-06-17 math.CO
Perfect stable regularity lemma and slice-wise stable hypergraphs
本文研究了超图的模型论稳定性及其对顶点划分的正则性引理加强，给出了三元情形的完整分类，并构造反例回应了Terry和Wolf的猜想，结果适用于有限图超积与可定义Keisler测度。
2024-02-12 cs.DM math.CO math.LO
Regularity lemmas in a Banach space setting
Szemerédi正则引理是极值图论、理论计算机科学和组合数论中的一个基本工具。Lovász和Szegedy [L. Lovász和B.塞格迪：Szemerédi's Lemma for the analyzer，Geometric and泛函分析17（2007），252 - 270]给出了该引理的希尔伯特空间解释和根据图极限空间的紧性的解释。本文证明了巴拿赫空间中的几个紧性结果，推广了Lovász和Szegedy的结果以及Borgs，Chayes，Cohn和Zhao [C. Borgs，J.T. Chayes，H. Cohn和Y.赵敏：稀疏图收敛的Lp理论I：极限，稀疏随机图模型和幂律分布，arXiv预印本arXiv：1401.2906（2014）。
2015-06-23 math.CO math.FA
Low discrepancy and spectral gap for directed hypergraphs via spectral regularity lemma for tensors
本文证明有向均匀超图的低差异等价于谱间隙，通过建立基于变分特征值的Frieze-Kannan型张量谱正则引理，给出Lenz-Mubayi定理的简短证明，并讨论相关变体。
2026-09-30 math.CO
A polynomial regularity lemma for semi-algebraic hypergraphs and its applications in geometry and property testing
Fox，Gromov，Lafforgue，Naor和Pach证明了半代数$k$ -有界复杂度一致超图的正则性引理，证明了对于每个$ε>0$，顶点集可以被公平地划分为有界数量的部分（根据$ε$和复杂度），使得除了一个$ε$ -部分之外，所有的$k$ -元组都是齐次的。我们证明了在$1/ε$中零件数可以取为多项式。我们改进的正则引理可以应用到几何问题和以下一般问题的属性测试：是否有可能决定，查询复杂性多项式的倒数的近似参数，超图是否具有给定的遗传属性？对于有界复杂度的半代数超图的典型遗传性质，我们给出了肯定的回答。
2016-10-14 cs.CG math.CO
A weak regularity lemma for polynomials
City University of New York（纽约市立大学）；Massachusetts Institute of Technology（麻省理工学院）
本文提出一个具有强界的弱正则引理，用于分解多项式为有界数量的近似独立多项式，并应用于算术电路和多项式秩的定量研究。
2026-08-04 cs.CC math.AC math.CO
Efficient arithmetic regularity and removal lemmas for induced bipartite patterns
设$G$是指数有界的阿贝尔群，$A \subseteq G$ .证明了如果$A$的平移集合的VC维至多为$d$，则对于每个$ε>0$，都存在$G$的子群$H$，其索引至多为$ε^{-d-o(1)}$，使得最多可以在$A$中添加或删除$ε|G|$元素，使之成为$H$ -陪集的并集.对于指数有界的有限阿贝尔群中的诱导偶模式，我们还建立了一个多项式界的移除引理，并应用于性质检验。
2019-04-11 math.CO
Zarankiewicz bounds from distal regularity lemma
University of Leeds（利兹大学）
本文证明所有满足远距离正则性引理的关系均享有改进的扎兰基维茨界，扩展了半代数关系的上界研究。
2026-01-30 math.CO math.LO
The stable regularity lemma revisited
本文证明了关于任意Keisler测度μ在V上，nu在W上的一个正则引理，其中二部图（V，W，R）可定义在饱和结构M中，且公式R（x，y）是稳定的.证明是相当快的，并使用局部稳定性理论。其中（V，W，R）是伪有限的，mu，nu是计数测度，并且M被适当地选择（例如集合论的非标准模型）的特殊情况产生了Malliquid-Shelah的稳定正则性定理（AMS Transactions，366，2014，1551-1585），尽管没有明确的界限或公平性。
2015-05-12 math.CO math.LO
Limits, Regularity and Removal for Finite Structures
我们的工作建立在已知的结果，k-一致超图，包括极限的存在性，正则引理和删除引理。我们的主要工具在这里是一个理论的措施，超积空间，建立了一个对应的超积空间和欧几里得空间。首先，我们证明了关系结构的收敛序列的极限对象的存在性，作为一个特殊情况，我们检索了图和有向图的已知极限。然后，我们将这一概念扩展到一个固定的普遍理论的有限模型。我们还陈述并证明了一个正则引理和一个移除引理。我们将讨论我们的工作之间的联系和拉兹博罗夫的旗帜代数以及。
2014-12-27 math.CO math.LO
A Tight Bound for Hypergraph Regularity I
超图正则性引理--Szemerédi的图正则性引理在$k$ -一致超图上的推广--是过去十年中获得的最著名的组合结果之一。到目前为止，有几个（非常不同的）证明这个引理，获得高尔斯，由Nagle-Rödl-Schacht-Skokan和陶。不幸的是，所有这些证明的共同点是，它们产生的规则划分的顺序是由$k$ -th阿克曼函数。我们表明，这样的阿克曼型界限是不可避免的每一个$k \ge 2$，从而证实了陶的预测。在我们的工作之前，上述类型的唯一结果是Gowers著名的图的正则性的下界。在本文中，我们描述了关键的新思想，使我们能够克服几个障碍，站在这样的界限，更高的一致性超图的方式。其中之一是{ \em graph}正则引理的一个新的（非常弱的）版本的紧界。利用这个界，我们证明了满足一定温和条件的$3$ -一致超图的任何正则引理的一个下界。然后，我们展示了如何使用这个结果，以证明一个紧界的超图正则引理的Gowers和Frankl-Rödl。我们将在随后的论文中得到类似的结果，超图的任意均匀$k\geq 2$。
2019-07-18 math.CO
A Szemeredi-type regularity lemma in abelian groups, with applications
Szemeredi正则性引理是图论中的一个重要工具，在组合数学中有广泛的应用。本文在阿贝尔群的背景下证明了Szemeredi正则引理的一个类似，并利用它得到了加性数论中的一些结果.一个是几乎无和集的结构定理。如果A是[N]的一个子集，它只包含o（N^2）个三元组（x，y，z），使得x + y = z，那么A可以写为B和C的并集，其中B是无和的，并且|C| = o（N）。另一个回答了Bergelson，Host和Kra的问题。如果α，β> 0，如果N > N_0（α，β）并且如果A是{1，.，N}，则存在某个非零d使得A至少包含（alpha^3 -n）N个具有公差d的三项等差数列。
2004-10-21 math.CO math.NT
Efficient Removal without Efficient Regularity
三角形去除引理的有效界是极值组合学最突出的公开问题之一。也许实现这一目标的主要瓶颈是无三角形图可能是高度非结构化的。例如，无三角形图可能只有塔型大小的规则分区（在Szemerédi意义上）。事实上，基本上所有的图的性质${\cal P}$的去除引理与合理的界限，是这样的，每个图满足${\cal P}$有一个小的定期分区。因此，在某种意义上，获得性质${\cal P}$的有效移除引理的障碍是具有满足${\cal P}$的图的有效正则引理。在本文中，我们考虑的属性被诱导$C_4$ -免费的，这也遭受的事实，即一个图可能满足这一性质，但仍然只有塔型大小的常规分区。通过开发一种新的方法来解决这个问题，我们设法克服这个障碍，从而获得一个仅仅是指数界的诱导$C_4$删除引理。因此，我们得到了第一个有效的去除引理，不依赖于一个有效的版本的正则性引理。这是阿隆在2001年提出的一个问题的第一个实质性进展，最近阿隆，康伦和福克斯提出了这个问题。
2017-09-24 math.CO
Regularity lemma for distal structures
已知具有有界复杂度的半代数边关系的图族满足比任意图强得多的正则性性质，并且它们可以被分解成非常齐次的半代数片，直到很小的误差（例如，见[33，2，16，18]）。我们发现，可以得到类似的结果，家庭的图的边缘关系一致定义的结构，满足一定的模型理论的性质称为远距离，就一大类一般稳定的措施。此外，远距性表征了这些强正则性。这特别适用于可定义在任意$o$ -极小结构和$p$ -代数中的图。
2016-02-24 math.CO math.LO
Regularity lemmas for stable graphs
设G是具有非k阶性质的有限图（本质上是导出子半图的大小的一致有限界）。本文的一个主要结果应用模型理论的参数，以获得一个更强的版本Szemerédi的正则引理这样的图，定理5.18，其中没有不规则对，边界显着改善，每个组件满足不可分割的条件。这项工作的动机来自于模型理论和图论思想的巧合。也就是说，由于半图的反例，Szemerédi正则引理陈述中的“不规则对”不能被消除。本文的结果表明，在什么意义上这个反例是唯一的本质困难。证明主要是模型理论的（虽然写的是有限组合主义者可以理解的）：任意大的半图与模型理论的不稳定性相吻合，所以在它们不存在的情况下，结构定理和稳定性理论的技术适用。除了上述定理外，我们还给出了其它几个具有不同优点的正则引理，其中改进了分支不可分的条件（代价是使分支数随|G|增长），并将其中的一些结果推广到更大的不具有独立性的图类.
2011-02-18 math.CO math.LO
An arithmetic regularity lemma, associated counting lemma, and applications
Szemeredi的正则性引理可以被看作是任意稠密图的粗糙结构定理，将这样的图分解为结构化的部分（划分为具有边缘密度的单元），小误差（对应于不规则单元）和均匀部分（与边缘密度的伪随机偏差）。我们建立了一个算术正则性引理，类似地将有界函数f：[N] -> C分解为一个（均匀分布的，虚拟的）-步零序列，一个在L^2中很小的误差和一个在Gowers U^{s+1}-范数中很小的误差，其中s是正整数。然后，我们建立了一个互补的算术计数引理，计数的算术模式的nilsequence分量的f。我们提供了一些应用这些引理：证明Szemeredi定理的等差数列，证明了一个猜想的Bergelson，主机和克拉，并概括了某些结果的Gowers和狼。我们的结果依赖于作者和T.齐格勒2020年11月修订：本文已被修订，因此计数引理仅涵盖满足称为标志性质的条件的线性型系统。平移不变系统，以及柯西-施瓦茨复杂度为1的系统和其他一些自然发生的系统都具有这个性质。我们感谢丹尼尔·奥尔特曼提请我们注意什么似乎是一个小的技术问题在我们的证明之一，但最终导致我们意识到，计数引理失败相当严重（相当简单的例子，我们将描述）没有一些假设这种类型。此外，我们还提供了一个简短的附录，说明系统的Gowers-Wolf复杂性受其Cauchy-Schwarz复杂性的限制。
2020-11-24 math.CO math.DS
An arithmetic algebraic regularity lemma
University of Notre Dame（圣母大学）
本文提出一个算术规则引理，用于有限域中可定义群的规则性分析，证明了群的正规子群具有特定的随机性质。
2026-02-05 math.CO math.GR math.LO
The sparse regularity method with Schatten norms and entropy
本文提出基于Schatten范数的稀疏图正则方法，导出k-圈移除引理，应用于加法组合学中的线性方程与多边形模式，并推广至稠密图移除引理。
2023-05-15 math.CO
Hypergraph regularity and the multidimensional Szemerédi theorem
我们证明类似物的超图Szemerédi的正则引理和相关的计数引理的图。作为一个应用，我们给出了多维Szemerédi定理的Furstenberg和Katznelson的第一个组合证明，并提供了一个明确的界限的第一个证明。内格尔、罗尔、沙赫特和斯科坎分别得到了具有相同结果的类似结果。
2007-10-16 math.CO
Homogeneous hypergraph regularity lemmas via $k$-strong honest definitions
Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, Wilberforce Road, Cambridge CB3 0WB, United Kingdom（剑桥大学数学科学中心纯数学与数理统计系）
研究在NIP强k-远结构中可定义的(k + 1)-一致超图，通过引入k-强诚实定义，证明其满足齐次正则引理，扩展了Chernikov和Starchenko的相关成果，将强诚实定义理论推广到高元情形。
2026-07-22 math.CO math.LO
A Practical Regularity Partitioning Algorithm and its Applications in Clustering
在本文中，我们介绍了一种新的聚类技术，称为正则聚类。这种新技术是基于正则性引理的两个构造性版本的实际变体，正则性引理是图论中非常有用的工具。该引理声称每个图都可以被划分为伪随机图。虽然正则性引理在证明理论结果方面已经变得非常重要，但到目前为止它还没有直接的实际应用。这种缺乏实际应用的一个重要原因是，所考虑的图形必须是天文学上的大。这一要求使其在实际应用中受到限制，因为图形通常要小得多。在本文中，我们提出了修改的正则引理的建设性版本的工作，以及较小的图。我们称之为实用正则划分算法。由此获得的分区用于构建简化图，该简化图可以被视为原始图的压缩表示。然后，我们应用成对聚类方法，如谱聚类，在这个约简图上得到一个聚类的原始图，我们称之为正则聚类。我们目前的结果使用正则聚类的基准数据集，并将它们与标准的聚类技术，如$k$ -手段和谱聚类。这些实证结果非常令人鼓舞。因此，在本文中，我们报告了一种尝试，以利用电力的正则引理的现实世界中的应用。
2012-09-28 cs.DS math.CO
A Tight Bound for Hypergraph Regularity II
超图正则性引理--Szemerédi的图正则性引理在$k$ -一致超图上的推广--是过去十年中获得的最著名的组合结果之一。到目前为止，有几个（非常不同的）证明这个引理，获得高尔斯，由Nagle-Rödl-Schacht-Skokan和陶。不幸的是，所有这些证明的共同点是，它们产生的规则划分的顺序是由$k$ -th阿克曼函数。在最近的一篇论文中，我们证明了这些界限是不可避免的$3$ -一致超图。在本文中，我们扩展了这一结果表明，这样的阿克曼型界是不可避免的每$k \ge 2$，从而证实了陶的预测。
2018-04-16 math.CO
Pseudofinite proofs of the stable graph regularity lemma
本文基于讲座，用局部稳定性理论和超积构造简化证明了稳定图正则引理，并通过函数误差加强结果，还给出提取等划分的初等论证。
2023-08-31 math.CO math.LO
Expanding polynomials over finite fields of large characteristic, and a regularity lemma for definable sets
设$P: \F \times \F \to \F$是大特征有限域$\F$上的有界次数多项式.在本文中，我们建立了以下二分法：要么$P$是一个适度的不对称扩展的意义下，$|P(A,B)| \gg |\F|$，只要$A, B \subset \F$是这样的$|A| |B| \geq C |\F|^{2-1/8}$的足够大的$C$，否则$P$采取的形式$P(x,y) = Q(F(x)+G(y))$或$P(x,y) = Q(F(x) G(y))$的一些多项式$Q,F,G$。这是一个相当令人满意的分类多项式的两个变量，适度扩大（对称或不对称）。我们得到一个类似的分类弱膨胀（其中一个有$|P(A,A)| \gg |A|^{1/2} |\F|^{1/2}$时，$|A| \geq C |\F|^{1-1/16}$），和一个部分令人满意的分类几乎强的非对称膨胀（其中$|P(A,B)| = (1-O(|\F|^{-c})) |\F|$时，$|A|, |B| \geq |\F|^{1-c}$的一些小的绝对常数$c>0$）。用于建立这些结果的主要新工具是一个代数正则引理，它描述了在有限域上的大特征的可定义子集所产生的稠密图的结构。这个引理加强了Szémeredi正则性引理在代数情况下的作用，因为后一个引理将一个图分解为有界数量的分量，其中大多数对于一些小但固定的$ε$是$\eps$ -正则的，后一个引理确…
2013-01-03 math.AG math.CO
Regularity for hypergraphs with bounded VC$_2$ dimension
本文针对有界VC$_2$维数的3-图，证明了可将其正则性界限在阿克曼层级中降低一层且达到最佳，核心方法是基于柱体正则性引理设计新方法并扩展至超图。
2025-08-13 math.CO
Stable arithmetic regularity in the finite-field model
Green在2005年证明了$\mathbb{F}_p^n$的算术正则性引理，指出给定一个子集$A\subseteq \mathbb{F}_p^n$，存在一个有界余维的子空间$H\leq \mathbb{F}_p^n$，使得$A$关于$H$的几乎所有陪集都是傅里叶一致的。众所周知，一般来说，$H$的余维的增长需要是塔型的，这取决于均匀性的程度，并且必须允许少量的非均匀陪集。我们的主要结果是，在一个自然的模型理论假设的稳定性，塔型界和非一致陪集的算术正则引理是不必要的。具体来说，我们证明了一个算术正则引理$k$稳定的子集$A\subseteq \mathbb{F}_p^n$，其中的约束上的余维的子空间是一个多项式（取决于$k$）的程度的均匀性，并在其中没有非均匀陪集。这个结果是一个算术模拟的稳定图正则引理证明的Malliaris和Shelah。
2017-11-15 math.CO math.LO
A new proof of the graph removal lemma
设H是一个有h个顶点的固定图。图移除引理指出，每个具有O（n^h）个H副本的n个顶点的图可以通过移除O（n^2）条边而成为无H的。我们给出了一个新的证明，避免了Szemerédi的正则性引理，并给出了一个更好的界。这种方法还可以为图移除引理的有向和多色类似物提供改进的边界。这回答了Alon和Gowers的问题。
2010-12-31 cs.DM math.CO
A Tight Bound for Hyperaph Regularity
超图正则性引理--Szemerédi的图正则性引理在$k$ -一致超图上的推广--是过去十年中获得的最著名的组合结果之一。到目前为止，有几个（非常不同的）证明这个引理，获得高尔斯，由Nagle-Rödl-Schacht-Skokan和陶。不幸的是，所有这些证明的共同点是，它们产生的规则划分的顺序是由$k$ -th阿克曼函数。我们表明，这样的阿克曼型界限是不可避免的每一个$k \ge 2$，从而证实了陶的预测。在我们的工作之前，这种类型的唯一结果是Gowers著名的下界图的正则性。
2019-07-17 math.CO
