A sufficient connectivity condition for rigidity and global rigidity of linearly constrained frameworks in $\mathbb{R}^2$
我们研究了$\mathbb{R}^2$中的杆-关节框架,使得某些顶点被约束为位于某些直线上。Streinu和Theran(2010)描述了此类框架的一般刚性。Katoh和Tanigawa(2013)指出,对应的拟阵及其秩函数可以通过使用次模函数来表征。在本文中,我们将把秩函数的这种特征转化为“1-薄覆盖”的值的形式,并得到这些框架的刚性和整体刚性的一个充分连通条件,类似于Lovász和Yemini(1982)的结果。
2022-12-08 math.CO
Combinatorial Resultants in the Algebraic Rigidity Matroid
出于刚性理论的角度来看,在2D中的本地化问题,我们开发了一个算法计算电路多项式的代数刚性拟阵相关的Cayley-Menger理想的$n$点在2D中。我们引入组合结式,一个新的操作图,捕获的西尔维斯特结果的代数刚性拟阵中的两个多项式的属性。我们表明,每个刚性电路有一个构造树从$K_4$图基于此操作。我们的算法进行了代数消除指导的建设树,并使用经典的结式,因式分解和理想的成员。为了证明其有效性,我们在Mathematica中实现了我们的算法:在Groebner Basis计算需要5天零6小时的示例中,它花费了不到小于15秒。
2021-03-15 cs.CG math.AG math.CO
Rigidity of symmetric frameworks with non-free group actions on the vertices
针对顶点上群作用非自由的对称平面框架,引入相位对称轨道刚性矩阵,给出无穷小刚性的必要条件,并完成反射、半转和三重旋转群的组合刻画,推广了经典结果。
2024-07-18 math.CO
Combinatorics and the Rigidity of CAD Systems
我们研究了车身和CAD框架的刚度,这些框架捕获了3D机械工程CAD软件中使用的大多数几何约束。我们提出了一个组合表征的通用最小刚度的一个子集的身体和CAD框架中,我们对待20的21个身体和CAD的约束,省略了点的重合。虽然为数不多的经典组合特征的刚性集中在点之间的距离约束,这是第一个结果,同时解决重合,角度和距离约束。我们的结果表示在一个图的分割成边不相交的生成树。这种组合的方法提供了理论基础的确定性算法的发展(将不依赖于数值方法),用于分析车身和cad框架的刚度。
2012-10-17 cs.DM math.CO
Generic rigidity of frameworks with orientation-preserving crystallographic symmetry
我们扩展我们的通用刚性理论的周期性框架在平面上的框架,更广泛的晶体对称性。一路上,我们介绍了一类新的组合拟阵和相关的线性表示结果,可能是有趣的,在自己的权利。同样的技术立即产生一个麦克斯韦-拉曼型的组合表征嵌入在二维圆锥体中的框架,出现作为一个有穷级旋转的平面的投影。
2012-02-11 math.CO math.GT
On the $p$-torsional rigidity of combinatorial graphs
本文研究组合图上与$p$-Laplacian及$p$-Schrödinger算子相关的$p$-挠率函数与刚性,基于新的surgery principles给出存在条件及上下界,并应用于谱底估计,最终证明了$p=2$时的Kohler-Jobin不等式。
2024-10-11 math.CO math.OC math.SP
Sufficient conditions for 2-dimensional global rigidity
通过Jackson和Jordán以及Connelly分别给出的两个结果的组合,证明了二维整体刚性等价于3-连通性和冗余刚性。通过这一刻画,Lovász和Yemini的一个定理证明了每个$6$ -连通图都是冗余刚性的,因而是全局刚性的. 6-连通性是最好的可能性,因为存在无穷多个5-连通非刚性图。Jackson,Servatius和Servatius利用“本质连通性”的思想证明了每个4-连通的“本质6-连通”图是冗余刚性的,因此是全局刚性的。由于3-连通性是全局刚性的必要条件,因此研究3-连通图的冗余刚性和全局刚性是一个有趣的问题。我们利用一个不同的“本质连通性”,并证明了每个3-连通本质9-连通图是冗余刚性的,因此是全局刚性的。基本的9-连通性是最好的可能。在此本质连通度下,我们还证明了每个4-连通本质6-连通图是冗余刚性的,因而是全局刚性的。我们的证明是以卸荷论证为基础的。
2021-06-16 math.CO
Enumerating combinatorial resultant decompositions of 2-connected rigidity circuits
本文研究2连通刚性回路的组合结式分解枚举问题,提出只需枚举可在多项式时间内得到的2-split分解即可获得良好消元策略,并给出算法与计算证据。
2023-09-21 cs.CG math.CO
Rigidity theory for matroids
组合刚性理论试图根据底层图G的结构来描述R^d中杆件连接框架的刚性或柔性。本文的目的是通过用任意可表示的拟阵M代替G来拓宽组合刚性理论的基础。刚性独立性和平行独立性的思想,以及Laman和Recski关于图的二维刚性的组合刻画,可以很自然地扩展到这个缠绕器设置。正如我们所解释的,这些基本概念中的许多实际上只依赖于与G(或其Tutte多项式)相关的拟阵,而与图拟阵或域R的特殊性质几乎没有关系。我们的主要结果是一个“嵌套定理”有关的各种独立性。直接推论包括推广的拉曼定理,以及平等的2-刚性和2-平行独立。在我们的研究中的一个关键工具是空间的照片M,一个自然的代数簇,其不可约性是密切相关的刚性独立性和平行独立的概念。当在有限域上工作时,这个簇上的点的数目被证明是一个有趣的Tutte多项式求值。
2005-12-01 math.CO math.MG
Rigidity of Frameworks Supported on Surfaces
一个定理的拉曼给出了一个组合特征的图形,承认实现为一个最低限度的刚性通用杆关节框架$\bR^2$。一个更一般的理论是在$\bR^3$中的框架,其顶点被约束到移动的二维光滑子流形$\M$。当$\M$为同心球并、平行平面并或同心圆柱并时,得到了一般框架最小刚度的充分必要组合条件.
2012-10-04 math.CO math.MG
Sufficient Conditions for the Global Rigidity of Graphs
我们研究如何找到通用的和全球刚性实现的图在$\mathbb{R}^d$的基础上基本的几何观察。我们的论点导致新的证明的组合特征的整体刚性的图在$\mathbb{R}^2$的杰克逊和Jordán和体直方图在$\mathbb{R}^d$最近显示的Connelly,Jordán和Whiteley。我们还推广了$\mathbb{R}^d$中生成全局刚性图的主要工具1-扩张定理和Connelly合成定理。特别地,我们证明了$\mathbb{R}^d$中的任意顶点冗余刚性图在$\mathbb{R}^d$中是全局刚性的,其中如果$G-v$对任意$v\in V$都是刚性的,则称图$G=(V,E)$为顶点冗余刚性图.
2014-08-10 math.CO
Toric cohomological rigidity of simple convex polytopes
一个简单凸多胞体$P$是\emph{cohomologically rigid},如果它的组合结构由$P$上的拟流形的上同调环决定。不是每个$P$都有这个性质,但是一些重要的多面体如单形或立方体是上同调刚性的。本文研究了多胞形的上同调刚性,并对几类新的多胞形,包括单形的乘积,建立了上同调刚性。$P$的上同调刚性与它的\emph{Stanley--Reisner ring}的\emph{bigraded Betti numbers}有关,后者是组合交换代数中的另一个重要不变量.
2009-10-11 math.AT math.CO
Rigidity of symmetric frameworks in normed spaces
本文在一般有限维赋范空间中建立了对称杆系框架的组合刚度理论。在旋转对称的情况下,拟阵麦克斯韦型稀疏计数被确定为一个大类的$d$维赋范空间(包括所有的$\ell^p$空间与$p\not=2$)。完整的组合特性获得半圈旋转的$\ell^1$和$\ell^\infty$平面。作为一个关键工具,一个新的Henneberg型归纳构造的拟阵类的$(2,2,0)$ -增益紧图。
2020-04-16 math.CO math.MG
Orientation-Reversing Crystallographic Rigidity
本文用组合方法刻画了平面中关于$pm$等反向定向壁纸群对称的杆-关节框架的一般强制对称刚性,并给出增益图的Henneberg型归纳构造。
2025-02-20 math.CO
Global Rigidity of Periodic Graphs under Fixed-lattice Representations
1992年,Hendrickson在$\mathbb{R}^d$中证明了(d+1)-连通性和冗余刚性是一般(非完全)杆系框架全局刚性的必要条件。Jackson和Jordan在2005年证实了这些条件在$\mathbb{R}^2$中也是充分的,给出了在$\mathbb{R}^2$中一般实现是全局刚性的图的组合特征。在本文中,我们建立了类似的这些结果的无限周期框架下固定的格表示。我们的组合表征全球刚性通用周期框架$\mathbb{R}^2$,特别是意味着环形和圆柱形的对应定理的杰克逊和约旦。
2019-09-14 math.CO math.MG
Configurations of lines in space and combinatorial rigidity
令$L$是$\mathbb{C}^3$中的$n$行的序列$(\ell_1,\ell_2,\ldots,\ell_n)$。我们定义了$L$的{ \it交图} $G_L=([n],E)$,其中$[n]:=\{1,\ldots, n\}$,与$\{i,j\}\in E$当且仅当$i\neq j$和相应的线$\ell_i$和$\ell_j$相交,或平行(或重合)。对于图$G=([n],E)$,我们说序列$L$是$G$的{ \it实现},如果$G\subset G_L$。本文的主要结果之一是提供了一个组合特征的图$G=([n],E)$具有以下性质:对于每个{ \it通用}实现$L$的$G$,由$n$两两不同的线,我们有$G_L=K_n$,在这种情况下,线的$L$是所有并发或共面。我们得到的关于线的一般陈述,除了它们的独立兴趣之外,原来与图刚性的概念密切相关。由于所谓的Elekes-Sharir框架,它使我们能够将问题转化为涉及三维线的关联问题。通过利用3D中直线间接触的几何性质,我们可以得到图的刚性的替代的、更简单的和更精确的特征。
2016-07-14 cs.CG cs.DM math.CO
Generic rigidity with forced symmetry and sparse colored graphs
我们回顾了强迫对称平面框架的一般刚性理论的一些最新结果,给出了一个统一的治疗的主题。我们还给出了具有固定面积基本区和固定角度基本区的极小刚性周期框架的新的组合特征。
2012-03-04 math.CO math.GT
Combinatorial Characterization of the Assur Graphs from Engineering
我们介绍的想法,阿苏尔图,最初开发的概念,并专门采用的文献中的运动学社区。本文将单自由度连杆机构运动学术语中的术语、问题、方法和图解,转化为刚性理论中具有特殊性质的图--阿苏尔图的术语。利用最近的作品在组合刚性理论,我们提供了数学刻画这些图形来自最小的联系。利用这些特征,我们证实了Offer Shai提出的一系列问题,并提供了在未来工作中进一步开发的技术和算法。
2008-01-16 math.CO math.MG
Rigidity on compact surfaces through hyperbolic symmetries
研究双曲平面杆节点框架对称无穷小刚性,用增益图和轨道刚性矩阵语言,将上半平面无限对称框架刚性问题化为有限组合条件,给出曲面群时伽马对称框架无穷小刚性组合特征。
2026-07-13 math.CO math.DG math.MG
Sufficient conditions for the global rigidity of periodic graphs
Tanigawa(2016)证明了图的顶点冗余刚性意味着它在任意维度上的全局刚性。我们将这一结果推广到固定格表示下的周期图。如果在周期性下删除一个顶点轨道会导致周期刚性图,则称周期图是顶点冗余刚性图。我们的证明与Tanigawa的证明相似,但增加了一些困难。首先,不知道周期性全局刚性是否是一般性质。这个问题通过对Kaszanitzy,Schulze和Tanigawa(2016)的最新结果进行轻微修改来解决。其次,虽然$\mathbb{R}^d$中的有限图在至多$d$顶点上的刚性明显地暗示了它们的全局刚性,但对于周期图证明类似的结果是不平凡的。这是通过将Bezdek和Connelly(2002)关于在$\mathbb{R}^{2d}$中单个图的两个等价$d$维实现之间存在连续运动的结果扩展到周期框架来实现的。作为结果的一个应用,我们给出了任意维一般周期体杆框架具有整体刚度的一个充要条件。这为Connelly,Jordan和Whiteley(2013)关于一般有限体杆框架的整体刚度的结果提供了周期性对应。
2018-04-21 math.CO math.MG
On generic 3-rigidity of graphs
本文提出了一种判断图通用3刚性的必要条件,通过将边分为三个子集来确保每个子集对能生成2刚性图,并指出该条件仍不充分。
2026-01-28 math.CO
Rigid Components of Random Graphs
平面刚性问题的问题是,给定n个未知点的集合P之间的m个成对距离的集合,是否有可能重建P,直到可能性的有限集(平面的模刚性运动)。著名的麦克斯韦-拉曼定理从刚性理论说,一般来说,刚性问题有一个组合的答案:潜在的组合结构必须包含一个生成最小刚性图(拉曼图)。在系统不是刚性的情况下,它的包含式最大刚性子结构(刚性分量)也可以通过麦克斯韦-拉曼定理组合地表征,并且可以有效地找到。物理学家们已经利用平面组合刚性来研究网络玻璃中液体和固体之间的相变。该方法是通过随机过程生成图,然后通过实验分析其刚度特性。特别令人感兴趣的是最大刚性部件的尺寸。本文研究了Erdos-Renyi随机图G(n,p)中刚性分支的出现问题.我们的第一个结果是,对于所有c>0,几乎肯定所有刚性分支的尺寸为2,3或Ω(n)。我们还表明,对于c>4,几乎肯定最大的刚性组件的大小至少为n/10。虽然G(n,p)模型比物理学文献中出现的模型简单,但这些结果是这种类型的第一个,其中分布是在n个顶点上的所有图上的,并且预期的边数是O(n)。
2008-12-04 cs.CG math.CO
Vertex Splitting, Coincident Realisations and Global Rigidity of Braced Triangulations
本文给出了Jordan和Tanigawa的一个结果的一个简短证明:一个以生成平面三角剖分为真子图的4-连通图在R^3中是一般全局刚性的。我们的证明是基于一个新的充分条件,所谓的顶点分裂操作,以保持一般的整体刚性R^d。
2022-03-21 math.CO
Necessary Conditions for the Generic Global Rigidity of Frameworks on Surfaces
Hendrickson、Connelly、Jackson和Jordán的一个结果在其各个部分中为$\mathbb{R}^2$中的一般杆-节点框架提供了一个纯粹的整体刚度的组合特征。已知类似的条件不足以解释高维的一般整体刚性。最近,当顶点被限制在各种表面上时,例如圆柱体和圆锥体,已经获得了$\mathbb{R}^3$中通用框架的刚性的拉曼型特征。本文得到了类似于Hendrickson关于圆柱体、圆锥体和椭球体上一般框架整体刚性的必要条件。
2013-06-10 math.CO math.MG
On rigidity of toric varieties arising from bipartite graphs
人们可以把一个二部图与一个所谓的边环联系起来,边环的谱是一个仿射法线复曲面簇。我们刻画了与这个环面簇相关的(边)锥的面的二部图的一些独立集。通过应用到这个特征的组合研究变形的环面品种的Altmann,我们提出了一定的标准,他们的刚性纯粹的图形。
2020-09-14 math.AG math.CO
Example of C-rigid polytopes which are not B-rigid
一个简单的多面体$P$称为\emph{B-rigid},如果它的组合结构是由它的托尔-代数来表征的,并且称为\emph{C-rigid},如果它的组合结构是由$P$上的拟素流形的上同调环来表征的。已知B-刚性简单多面体是C-刚性的。本文进一步证明了B-刚性不等价于C-刚性。
2017-06-10 math.AT math.CO
$B$-rigidity of ideal almost Pogorelov polytopes
复曲面拓扑为每个具有$m$刻面的$n$维组合简单凸多面体$P$分配一个具有紧致环面$T^m$作用的$(m+n)$维矩角流形$\mathcal{Z}_P$,使得$\mathcal{Z}_P/T^m$是组合类型$P$的凸多面体。一个简单的$n$ -多胞形称为$B$ -刚性的,如果分次环$H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$对于一个简单的$n$ -多胞形$Q$的任何同构暗示$P$和$Q$是组合等价的.理想几乎Pogorelov多面体是在Lobachevsky(双曲)空间$\mathbb L^3$中切掉理想直角多面体的所有理想顶点而得到的组合$3$ -多面体。这些多面体正是从任何不一定简单的凸$3$ -多面体通过切断所有顶点然后切断所有“旧”边而获得的多面体。对偶多胞形的边界是旧多胞形(也是其对偶多胞形)边界的重心细分。证明了理想几乎Pogorelov多面体是$B$ -刚性的。这产生了理想几乎Pogorelov流形上的三个上同调刚性流形族:矩角流形、规范$6$维拟素流形和规范$3$维小覆盖,它们是“线性模型的拉回“。
2020-12-28 math.AT math.CO
Boundary rigidity of 3D CAT(0) cube complexes
研究离散版边界刚性问题,证明有限3D CAT(0)立方复形及任意有限2D CAT(0)立方复形的组合类型均可由其边界距离重构,推广并加强了Haslegrave的结论。
2023-09-08 math.CO math.GT
Sufficient conditions for bipartite rigidity, symmetric completability and hyperconnectivity of graphs
HUN-REN-ELTE Egerváry Research Group on Combinatorial Optimization(匈牙利研究与创新网络-罗兰大学埃格瓦里组合优化研究组);Queen Mary University of London(伦敦玛丽女王大学);Department of Operations Research, ELTE Eötvös Loránd University(罗兰大学运营系)
本文研究了三种图的matroid,给出图在这些matroid中达到最大可能秩的充分条件,并探讨了低秩矩阵唯一可补全性的 implications。
2026-03-13 math.CO
The generic rigidity of triangulated spheres with blocks and holes
一个单图G=(V,E)是3-刚性的,如果它在R3中的一般棒-关节框架是无穷小刚性的.块和孔图是从三角形的球体中删除边缘和添加最小刚性子图,称为块,在一些产生的孔。在单块多洞或单洞多块的情况下,得到了这类图的最小$3$ -刚性的组合刻画.这些结果证实了Whiteley在1988年提出的一个猜想,以及Finbow-Singh和Whiteley在2013年提出的一个更强猜想的特例。
2015-07-09 math.CO math.MG
Rigid frameworks with dilation constraints
本文研究欧几里得空间中带坐标方向伸缩约束的杆-节点框架,完整刻画了泛型刚性,给出泛型全局刚性的代数充分条件与弱必要条件,并构造大量全局刚性框架及提出组合刻画猜想。
2024-02-21 math.CO math.MG
Computing maximum likelihood thresholds using graph rigidity
本文利用组合刚性理论精确计算了若干图族在高斯图形模型中的最大似然阈值,包括小规模图、稀疏图、近完全图和有界度数图。
2022-10-20 math.CO math.MG math.ST
Total Conformal Rigidity in Graphs
Federal University of Minas Gerais(米纳斯吉拉斯联邦大学);University of Waterloo(滑铁卢大学)
研究图的共形刚性,证明图完全共形刚当且仅当其边刚,通过谱嵌入和边-刚性等性质,建立与拉普拉斯特征多项式的关系,并提出多项式时间算法。
2026-07-27 math.CO math.OC
The rigidity of infinite graphs
给出了R^d中可数无限单图关于l^p范数的欧几里德和非欧几里德配置的刚性理论,其中d>1且1<p< \infty .推广得到的Laman和Henneberg组合特征的一般无穷小刚性有限图在欧氏平面。此外,Tay的多图表征的刚性一般有限体杆框架在d维欧几里得空间推广到非欧lp范数和可数无限图。对所有维数和范数,证明了一般刚性可数单图是有限图的包含塔的直接极限,其中包含满足相对刚性性质.对于d>2,对于R^d中的一般位置是刚性的可数图可能会失去序列刚性的更强性质,而对于d=2,与序列刚性的等价性是从广义的拉曼特征得到的。应用程序给出的灵活性的非欧几里德凸多面体和无穷小和连续刚性紧凑的无限小面单纯多面体。
2013-10-07 math.CO math.MG
Identifiability of Points and Rigidity of Hypergraphs under Algebraic Constraints
本文提出代数关系具有组合结构时点可辨识性的通用框架,将图刚性推广到带任意代数测量的超图,并给出充要的(超)图论条件。
2024-01-23 cs.CG math.CO math.MG
Rigidity of the Bonnet-Myers inequality for graphs with respect to Ollivier Ricci curvature
我们在奥利维尔里奇曲率意义下引入了Bonnet-Myers和Lichnerowicz锐度的概念。我们的主要结果是对所有自中心Bonnet-Myers sharp图(超立方体,鸡尾酒会图,偶维立方体,Johnson图$J(2n,n)$,Gosset图和合适的笛卡儿积)进行分类.我们还提出了一个纯粹的组合重新表述这一结果。我们表明,Bonnet-Myers锐度意味着Lichnerowicz锐度。我们还将Bonnet-Myers锐度与Bakry-Émery $\infty$ -曲率的上界联系起来,从而激发了关于Bakry-Émery $\infty$ -曲率的一般猜想。
2018-07-06 math.CO math.DG
Rigidity of symmetric frameworks on the cylinder
本文研究三维空间中限制在圆柱面上运动的对称杆-铰框架的刚性问题,给出了有限点群对称下框架等静力的必要组合条件,并证明循环对称(反演、半转、反射)下该条件在通用假设下充分,得到对称等静力图的精确组合刻画。
2023-12-15 math.CO math.MG
Quotient graphs of symmetrically rigid frameworks
本文将周期框架商图提升理论推广到任意维对称框架,刻画多类点群下商图提升为对称刚性框架的条件,并给出有限群标记概率结果。
2022-02-18 math.CO math.MG
Linking Rigid Bodies Symmetrically
体杆和体铰机构刚度的数学理论为工程、机器人学和生物化学中出现的许多铰接结构的刚度和柔性分析提供了有用的工具。在本文中,我们开发了一个对称的扩展,该理论允许刚度分析的身体杆和身体铰链结构与点群对称。杆体框架的无穷小刚度可以很自然地用外(或格拉斯曼)代数的语言来表述。使用这个代数公式,我们推导出的自适应刚度矩阵分析无穷小刚度的体杆框架与阿贝尔点群对称性在任意维度。特别是,从这些新的矩阵的模式,我们得到的无穷小刚体杆框架是通用的形式$\mathbb{Z}/2\mathbb{Z}\times \dots \times \mathbb{Z}/2\mathbb{Z}$的点群的组合特征。我们的特征给出了在包装的符号图拟阵的基础上的商图。最后,我们还将我们的方法和结果推广到任意维阿贝尔点群对称的体铰链框架。作为这些结果的特殊情况下,我们得到的组合表征的无限刚性体铰链框架与$\mathcal{C}_2$或$\mathcal{D}_2$对称性-最常见的对称群蛋白质。
2014-02-01 math.CO math.MG
The generic minimal rigidity of a partially triangulated torus
一个单图是$3$ -刚性的,如果它在$R^3$中的一般杆-关节框架是无穷小刚性的。本文给出了一个单图的最小$3$ -刚性的充要条件,该图是由三角化环面的$1$ -骨架通过删除三角化圆盘内部的边而得到的.
2015-09-02 math.CO math.MG
Geometry of graph varieties
一个图G =(V,E)的图象P由V中每个顶点v的一个点P(v)和E中每个边e的一条线P(e)组成,它们都位于域k上的射影平面中,并服从对应于G中的入射的包含条件。一个图簇是一个代数集,它的点将图G的图参数化。我们考虑三种图簇:所有图的图空间X(G),图簇V(G),X(G)的2维不可约分支|V|,定义为所有P(v)都不同的图集的闭包,以及斜率簇S(G),通过忽略除直线P(e)的斜率之外的所有数据而获得。我们使用组合技术(特别是组合刚性理论),得到关于这些簇的下列几何和代数信息:(1)定义每个簇集的方程的描述和组合解释--理论上的:(2)X(G)的不可约分量的描述;(3)证明了当G满足稀疏性条件刚性独立时,V(G)和S(G)是Cohen-Macaulay的。此外,我们的技术产生一个新的证明的平等的两个拟阵的刚性理论研究。
2003-02-09 math.AG math.CO
Rigidity of symmetric linearly constrained frameworks in the plane
本文将Streinu和Theran的二维线性约束框架泛刚性刻画推广至对称情形,给出平面对称线性约束框架在有限点群对称下等静力的必要组合条件,并证明阶数为2或奇数的旋转对称群下该条件在泛性假设中充分。
2023-12-19 math.CO math.MG
New Classes of Counterexamples to Hendrickson's Global Rigidity Conjecture
我们研究了R^d中各种图的一般局部刚性和全局刚性。Bruce Hendrickson证明了类属整体刚性的一些必要条件是(d+1)-连通性和类属冗余刚性,并假设它们在所有维度上都是充分的。我们分析了两类图,满足Hendrickson的条件,通用的全球刚性,但不能是通用的全球刚性。我们发现了一个大的二部图族,其中d > 3,并且我们定义了一个在R^5中生成无穷多个图的构造。最后,我们提出了一些进一步探索的建议。
2010-07-31 math.CO math.MG
A Generalization of Deodhar's Framework for Questions in Kazhdan-Lusztig Theory
我们取得了进展的问题Skandera表明,产品的Kazhdan-Lusztig基础元素的极大元的抛物子群指标承认Kazhdan-Lusztig基础元素作为商所产生的操作Schur代数体的当且仅当序列的抛物子群满足刚性条件和组合准则。对于外尔群,刚性条件是Gelfand-MacPherson分解小的必要条件.对于由4231-避免置换索引的Schubert簇,我们得到了一个更强的必要条件,在适当的等价条件下,至多有一个Gelfand-MacPherson分解满足,且恰好有一个当且仅当45312也是避免的.此外,我们应用的组合标准证明(本质上是唯一的)分辨率是小时,34512和45123同样避免。我们开发的组合标准的一部分,推广Deodhar的组合设置的问题,在Kazhdan-Lusztig理论,其中在外尔群的情况下,我们显示捕获Byaidynicki-Birula分解的Gelfand-MacPherson决议。特别是,我们获得了新的组合解释Kazhdan-Lusztig多项式,新的算法计算它们,并在外尔群的情况下,一个等价的存在小Gelfand-MacPherson决议与某些分解和生成函数解释的庞加莱多项式的交叉上同调的舒伯特品种。
2021-07-18 math.CO math.RT
Rigidity of Graphs and Frameworks: A Matroid Theoretic Approach
本文从拟阵论视角系统阐述组合刚性理论的主要结果,揭示图与框架刚性研究在工程、分子构象及矩阵补全等领域的应用及其与组合学其他分支的联系。
2025-07-29 math.CO math.HO
One brick at a time: a survey of inductive constructions in rigidity theory
我们提出了一个调查结果有关使用归纳结构来研究框架的刚性。通过归纳构造,我们指的是单图移动,它可以被证明保持相应框架的刚性。我们描述了一些情况下,证明了归纳结构的刚性特征。也就是说,通过识别保持刚性的递归操作,并证明这些操作足以生成所有这些框架。我们还概述了使用归纳结构在最近的一些领域特别积极的兴趣,即对称和周期性的框架,表面上的框架,和身体酒吧的框架。我们总结了与归纳有关的关键的未解决的问题。
2013-06-17 math.CO math.MG
Rigidity, Tensegrity and Reconstruction of Polytopes under Metric Constraints
本文猜想凸多面体可由边图、边长及顶点到内点距离唯一确定,并在中心对称、轻微扰动和组合等价三个特例中验证,同时探讨了张拉整体刚性与 Wachspress 坐标重构。
2024-01-08 math.CO math.MG
Pseudo-Triangulations - a Survey
伪三角形是具有三个凸顶点的简单多边形,而伪三角剖分是将平面区域面对面平铺成伪三角形。伪三角剖分在计算几何中作为数据结构出现,在刚性理论中作为平面杆-关节框架出现,在局部凸曲面上作为投影出现。这一调查目前的文献包括组合性质和计数的特殊类,刚性理论的结果,表示为多面体,直线图纸从抽象版本称为组合伪三角,算法和应用程序的伪三角。
2007-10-17 math.CO math.MG
Rigidity of Circle Packings with Flexible Radii
针对表示平面图且半径受等式与不等式约束的圆堆积,本文提出一阶刚性的对偶充分条件,并讨论超越一阶的刚性研究难点。
2025-08-31 math.CO math.MG
Symmetries of 3-polytopes with fixed edge lengths
我们考虑一类有趣的组合对称的多面体,我们称之为\emph{edge-length preserving combinatorial symmetries}。这些对称性不仅保持了多面体的组合结构,而且还将多面体的每条边映射到相同长度的边。利用周围空间的等距性,证明了多面体实现所有保边长组合对称性的一个简单的充分条件。这个条件的证明以一种不寻常的方式使用了柯西刚性定理。
2020-11-23 math.CO math.MG
Flexible circuits in the $d$-dimensional rigidity matroid
$\mathbb{R}^d$中的杆-关节框架$(G,p)$是刚性的,如果顶点的唯一边长保持连续运动来自$\mathbb{R}^d$的等距。已知当$(G,p)$是泛拟阵时,其刚性仅依赖于底层图$G$,并由泛$d$维刚性拟阵$\mathcal{R}_d$中$G$的边集的秩决定.当$d=1,2$时,这个拟阵的秩函数的完整组合描述是已知的,并且当$d=1,2$时,意味着$\mathcal{R}_d$中的所有电路在$\mathbb{R}^d$中是一般刚性的。确定$\mathcal{R}_d$的秩函数是$d\geq 3$时的一个长期存在的开放问题,并且$d\geq 3$的$\mathcal{R}_d$中非刚性电路的存在是导致该问题如此困难的主要因素。我们开始研究非刚性电路的特点,在$\mathcal{R}_d$,最多有$d+6$顶点的非刚性电路。
2023-03-24 math.CO math.MG
Generic symmetry-forced infinitesimal rigidity: translations and rotations
我们的特征组合类型的对称框架在平面上是最小的一般强迫无穷小刚性的对称群由旋转和平移。一路上,我们使用热带几何,以显示如何建设埃德蒙兹相关联的拟阵的次模函数可以用来给一个描述的代数拟阵的阿达玛产品的两个线性空间的拟阵的每个线性空间。这导致了新的,简短的,证明拉曼定理,和一个定理的Jord{á}n,Kaszanitzky,和Tanigawa,和Malestein和Theran特征的最小一般强制刚性图在平面上的对称群只包含旋转。
2021-12-08 math.AG math.CO math.MG
Homological methods in rigidity theory using graphs of groups
Umeå Universitet(于默奥大学)
本文利用细胞sheaves及其上同调分析图群实现的微分特性,提出代数条件保证Henneberg移动保持独立性,并证明某些图群实现的刚性和灵活性是普遍性质。
2026-04-02 math.AT math.CO
Tanaka rigidity of graph Lie algebras
本文给出了标号有向图的充分条件,以判定其关联图李代数的 Tanaka 延拓是否为无限维,并证明了在所有有向边标号互异时,其为无限型当且仅当图中存在度为 1 的顶点。
2024-02-12 math.CO math.DG math.RA