Triangulated spheres with holes in triangulated surfaces
该研究探讨曲面三角剖分中含带洞三角球面生成子图的条件,给出环面相关定理的短证明,推导高面宽带柄曲面的存在性结论,并构造了反例,成果可应用于平面刚性问题。
2025-10-29 cs.DM math.CO
Clock theorems for triangulated surfaces
我们调查三角剖分的二维球和环面的脸适当着色的白色和黑色。我们专注于白色三角形和事件顶点之间的匹配。在环面上,我们的对象是完美的配对,而在球面上,这只有在去掉一个三角形及其顶点后才是真的。在后一种情况下,这种匹配(首先研究的Tutte)扩展的概念,国家在考夫曼的正式纽结理论,我们表明,他的时钟定理,在其形式由于吉尔默和Litherland,也延伸:一组匹配自然形成一个分配格。在这里,状态转置的作用是由一个简单的关于黑三角形的局部运算来实现的。相比之下,在环面上,类似的状态转移图通常是不连通的:它的一些组件仍然形成具有全局最大值和最小值的分配格,而其他组件包含有向循环并且没有局部极值。
2018-08-18 math.CO math.GT
Odd sun-free Triangulated Graphs are $S$-perfect
本文研究$S$-完美图的结构性质,证明了弦图是$S$-完美的充要条件是不含奇太阳,该结果为$S$-完美图的禁用子图结构刻画猜想提供了支撑。
2023-05-05 math.CO
On stellated spheres and a tightness criterion for combinatorial manifolds
我们引入$k$ -星状球面,并考虑三角形$d$ -流形类${\cal W}_k(d)$,其顶点链都是$k$ -星状的,以及它的子类${\cal W}^{\ast}_k(d)$,由${\cal W}_k(d)$的$(k+1)$ -邻域成员组成.我们介绍了任何单纯复形的μ-向量,并表明,在2-neighborly单纯复形的情况下,μ-向量占主导地位的Betti数分量的向量,这两个向量是相等的紧单纯复形。我们能够估计/计算$d\geq 2k$的${\cal W}_k(d)$的任何2-邻域成员的μ向量的分量的某些交替和。作为这一理论的一个结果,我们证明了一个下界定理,这样的三角形流形,以及确定的$d \geq 2k+2$的${\cal W}^{\ast}_k(d)$的成员的积分同调型。作为另一个应用,我们证明了当$d \neq 2k+1$时,${\cal W}^{\ast}_k(d)$的所有成员都是紧的.我们还描述了紧成员的${\cal W}^{\ast}_k(2k + 1)$的$k^{\rm th}$ Betti数。这些结果或多或少地回答了最近的一个问题的Effenberger,也提供了一个统一的和概念上的紧性证明,所有已知的紧三角流形,除了两个。我们还证明了一个下界定理三角形流形中的成员${\cal W}_1(d)$提供平等的情况。这概括了Walkup和Kuehnel的一个结果($d=…
2013-05-16 math.CO math.GT
A family of triangulated 3-spheres constructed from trees
在流形的随机三角剖分中寻找普适性,就像那些在(欧几里德)动态三角剖分中的特征一样,是量子引力随机几何方法的核心。在3-球面的情况下,或任何其他维度大于大于2的流形的情况下,这种追求受到严重挑战的阻碍,包括枚举三角形的广泛开放问题。在试图绕过最严峻的挑战,我们确定了一个有限的家庭的三角测量,其中列举似乎不那么令人生畏。简而言之,这个族由一对树装饰的三角形3-球面组成,一个树跨越它的四面体,另一个树跨越它的顶点,要求在移除两棵树后,剩下一个树状2-复形。我们证明,这些是在双射与组合家庭的三元组的平面树,满足限制,可以简洁地制定在平面地图的水平。双射中的一个重要成分是从树的三元组逐步重建三角剖分,这导致所谓的局部可构造三角剖分的自然子集,通过限制允许的移动来保证球形拓扑。我们还提供了一个替代的离散莫尔斯梯度的框架中的家庭表征。最后,从树的三元组中推导出了几个指数枚举界,并给出了一些模拟结果。
2022-03-30 gr-qc math-ph math.CO
Average Betti numbers of induced subcomplexes in triangulations of manifolds
我们研究了Bagchi和Datta的$σ$ -向量的一个单纯复形$C$,其条目被定义为加权平均数的贝蒂数诱导子复合物的$C$的变化。我们表明,这些不变量满足亚历山大-德恩-萨默维尔型身份,并表现良好的自然操作下三角形流形和领域,如连接的总和和bistellar翻转。在交换代数的语言中,不变量是$C$的Stanley-Reisner环的分次贝蒂数的加权和。这种解释意味着,由Adiprasito的结果,Billera-Lee球最大化这些不变量之间的三角形领域与一个给定的$f$ -向量。对于$σ$的第一个元素,我们将这个界推广到强连通纯复形类。作为一个应用,我们展示了如何上界$σ$可以用来获得的$4$ -流形上的$f$ -向量的下界的三角形与传递对称的顶点和指定的矢量的贝蒂数。
2020-08-05 math.CO math.GT
Ky Fan theorem for sphere bundles
本文将经典 Ky Fan 定理从三角剖分球面推广到三角剖分球丛的全空间,扩展了关于对跖着色的组合拓扑结论。
2024-04-07 math.AT math.CO
Tight triangulations of some 4-manifolds
Walkup的类${\cal K}(d)$由$d$维单纯复形组成,所有复形的顶点链都是堆叠的$(d-1)$ -球面.根据Walkup的一个结果,任何具有Euler特征$χ$的三角剖分4-流形$X$的面向量满足$f_1 \geq 5f_0 - 15/2 χ$,且仅对$X \in {\cal K}(4)$相等. Kühnel观察到这意味着$f_0(f_0 - 11) \geq -15χ$,只有${\cal K}(4)$的2-邻元是相等的。对于$n = 6, 11$和15,存在具有$f_0=n$和$f_0(f_0 - 11) = -15χ$的三角化4-流形。本文给出了满足$f_0(f_0 - 11) = -15χ$的$f_0 = 21, 26$和41的三角化4-流形。所有这些三角流形都是紧的和强极小的。
2012-08-29 math.CO math.GT
Combinatorial 3-manifolds with 10 vertices
我们给出了所有10顶点组合3-流形的一个完整的计数:精确地有247882个10顶点三角化3-球面,以及518个顶点极小的球面积$S^2\times S^1$三角化和615个扭曲球面积$S^2_\times_S^1$三角化。所有顶点不超过10个的3-球都是可壳的,但有29个顶点极小的9个顶点的3-球是不可壳的。
2007-05-21 math.CO math.GT
An infinite family of tight triangulations of manifolds
给出了$d\geq 2$的$d$-流形的点传递紧三角剖分的一个显式构造。更明确地说,对于每个$d\geq 2$,我们构造了两个$(d^2+5d+5)$-顶点相邻三角剖分的$d$-流形,其顶点链接是堆叠的球。目前已知的此类紧三角化流形的唯一其他非平凡系列是Kühnel构造的具有$2d+3$顶点的非单连通三角化$d$-流形系列。我们构造的流形是强极小的。对于$d\geq 3$,它们也是Lutz、Sulanke和Swartz定义的紧密相邻关系。像屈内尔复形一样,我们的流形在偶数维是可定向的,在奇数维是不可定向的。
2013-06-14 math.CO math.GT
On Walkup's class ${\cal K}(d)$ and a minimal triangulation of $(S^3 \times \rotatebox{90}{\ltimes} S^1)^{\#3}$
对于$d \geq 2$,Walkup的类${\cal K}(d)$由$d$维单纯复形组成,其顶点链接都是堆叠的$(d-1)$球。Kalai证明,对于$d \geq 4$,${\cal K}(d)$的所有连接成员都是通过添加许多基本句柄从堆叠的$d$ -球体获得的。根据Walkup的一个结果,任何具有Euler特征$χ$的三角剖分4-流形$X$的面向量满足$f_1 \geq 5f_0 - {15/2} χ$,且仅对$X \in {\cal K}(4)$相等. Kühnel观察到,这意味着$f_0(f_0 - 11) \geq -15χ$,只有${\cal K}(4)$的2-邻元相等。Kühnel还问是否有一个三角形的4-流形与$f_0 = 15$,$χ= -4$(达到平等的下界)。在本文中,Kalai定理的指导下,我们证明了确实存在这样的三角剖分。它对扭曲球面乘积$S^3 \times {-2.8mm}_{-} S^1$的三个副本的连接和进行三角剖分。由于Kühnel不等式,这个流形的三角剖分是顶点极小三角剖分。根据Effenberger最近的结果,这里构建的三角测量是紧密的。除了相邻的2-流形和$(2d+ 3)$ -顶点球面积$S^{d-1} \times S^1$(对$d$奇扭曲)的无限族,迄今为止只有14个紧三角流形被已知。目前的结构产生了这个零星家庭的一个新成员。我们也给出…
2011-02-26 math.CO math.GT
A structure theorem for homology 4-manifolds with $g_2\leq 5$
该研究针对$g_2\leq 5$的同调4-流形开展组合刻画,证明其均为三角剖分球面,可由$g_2\leq 2$的三角化4-球面经指定操作得到,且该$g_2$上界为最优,无法推广至$g_2=6$。
2024-04-18 math.CO math.GT
A local characterization for perfect plane near-triangulations
本文给出了平面近三角剖分图是完美图的一个局部判据。证明了一个平面近三角化图是完美图当且仅当它不包含顶点、边或邻域以奇洞为边界的三角形。该特征导致了一个$O(n^2)$算法来检查平面近三角剖分的完美性。
2020-07-07 cs.DM math.CO
Vertex Bounds in Triangulated $d$-Manifolds and an Application to 4-Manifold Complexity
School of Mathematics and Statistics, University of Sydney(悉尼大学数学与统计学院)
研究奇数维流形三角化的顶点数上界,证明v ≤ n + (d-1)/2且紧;对偶数维猜想v ≤ n/2 + d,在平衡三角化等情形下验证,并应用于单连通4流形复杂度下界2β₂(M) ≤ n。
2026-07-02 math.CO math.GT
Generalisations of Euler's Tonnetz on triangulated surfaces
King's College London(伦敦国王学院)
该研究将欧拉1739年提出的tonnetz推广至三角曲面,提出更通用的标记方式,构建了与晶体学反射群相关的环面实例、异域A型实例及球面大九和弦编码实例,发现了朗兰兹对偶与大小调对偶的奇妙关联。
2024-01-28 cs.SD math.CO math.RT
The Charney-Davis conjecture for certain subdivisions of spheres
引入了倍半可破复形和奇迭代恒星细分的概念,并证明了它们的一些基本性质。查尼-戴维斯猜想,然后证明了奇数迭代恒星细分sesquiconstructible球和领域。
2008-06-25 math.CO
Odd-dimensional Charney-Davis conjecture
我们不止一次听说,查尼-戴维斯猜想只对奇维球面才有意义。这是要指出,实际上它也是关于偶维球面的陈述。
2009-05-12 math.CO
The topology of projective codes and the distribution of zeros of odd maps
我们证明了射影空间中码的大小控制了从球面到欧几里得空间的奇映射的零点的结构结果。事实上,这个关系是通过球面上的概率测度空间的拓扑给出的,球面的支撑具有由某些特定参数限定的直径。我们的主要结果是Borsuk-Ulam定理的推广,并由此得到四个结果:(i)给出了Simonyi和Tardos关于图的圆色数的拓扑下界的一个结果的新证明;(ii)研究了球面在欧几里得空间中的通有嵌入,证明了投射码给出了球面嵌入通有度量的定量界;我们证明了推广的(iii)火腿三明治定理和(iv)Lyusternik-Shnirel'man-Borsuk覆盖定理的情况下,措施或集的数量在覆盖,分别可能会超过周围的尺寸。
2022-08-28 math.CO math.GT math.MG
A point-sphere incidence bound in odd dimensions and applications
本文证明了有限域上向量空间中一个新的点球关联界。更准确地说,让$P$是一组点,$S$是$\mathbb{F}_q^d$中的一组球。假设$|P|, |S|\le N$,证明了在$d, q$和半径满足一定条件下,$P$与$S$的关联数满足\[I(P, S)\le N^2q^{-1}+q^{\frac{d-1}{2}}N,\]。这改进了文献中已知的上限$N^2q^{-1}+q^{\frac{d}{2}}N$。作为一个应用,我们表明,$A\subset \mathbb{F}_q$与$q^{1/2}\ll |A|\ll q^{\frac{d^2+1}{2d^2}}$,一个有\[\max \left\lbrace |A+A|,~ |dA^2|\right\rbrace \gg \frac{|A|^d}{q^{\frac{d-1}{2}}}.\]这改善了早期的结果在任意有限域上的这种和产品类型的问题。
2021-09-17 math.CO
The Sphere Formula
球面公式指出,在任意有限抽象单纯复形中,以偶数维单纯形为中心的单位球面的欧拉示性数之和等于以奇数维单纯形为中心的单位球面的欧拉示性数之和。因此,如果一个几何体具有恒定的单位球面欧拉示性数,如流形,则它的所有单位球面都具有零欧拉示性数,或者空间本身具有零欧拉示性数。特别地,奇维流形具有零欧拉示性数,这一事实通常在代数拓扑中使用庞加莱对偶与黎曼-赫维茨一起验证,然后从莫尔斯函数的存在性导出它,使用函数的莫尔斯指数及其负数在奇维中加起来为零。Gauss Bonnet还证明了奇维Dehn-Sommerville空间的欧拉示性数为零,因为它们的曲率为零。零曲率现象可以理解为积分几何指数期望或Dehn-Sommerville关系。
2023-01-13 cs.DM math.CO math.GN
Quivers with potentials associated to triangulated surfaces, part IV: Removing boundary assumptions
我们证明了与三角形的表面标记点,可能是空的边界,与潜在的颤动,是非退化的,提供的基础表面标记点是不是一个封闭的球体,正好5穿孔。这是通过明确定义对应于标记三角形的QP,并证明每当两个标记三角形通过翻转相关时,它们的相关QP通过相应的QP突变相关来完成的。作为一个副产品,(任意穿孔)表面与非空边界,我们得到了相关的QP的非退化性的证明,这是独立于作者在该系列的第一篇论文中给出的证明。用来证明翻转和QP突变之间的上述兼容性的主要工具是我们称为\emph{Popping Theorem}的工具,粗略地说,它说,由自折叠三角形的理想三角剖分产生的势中明显缺乏对称性,可以通过适当的右等价来修复。
2015-10-25 math.CO
Minimal triangulations of circle bundles
本文针对经典单纯复形情形的圆丛三角剖分问题,给出一类无穷多已三角剖分球面的精确解答,并提出一般情形下三角剖分存在的充分判据,可直接推导部分极小性结果。
2024-08-15 math.AT math.CO