[论文解读] On stress matrices of chordal bar frameworks in general position

Abdo Y. Alfakih|arXiv (Cornell University)|May 17, 2012

Structural Analysis and Optimization参考文献 18被引用 5

一句话总结

该论文利用应力矩阵刻画了在一般位置下弦杆框架的普遍刚性与全局刚性，证明了对于此类框架，普遍刚性等价于全局刚性，且由存在一个秩为 $ n - r - 1 $ 的半正定应力矩阵所表征。此外，还证明若一个弦框架存在一个秩为 $ n - r - 1 $ 且具有通用秩型的应力矩阵，则其必然存在一个相同秩的半正定应力矩阵。

ABSTRACT

A bar framework in R^r, denoted by G(p), is a simple connected graph G whose vertices are points p^1,...,p^n in R^r that affinely span R^r, and whose edges are line segments between pairs of these points. In this paper, we use stress matrices to characterize the universal and global rigidities of chordal bar frameworks in general position in R^r, i.e., bar frameworks where graph G is chordal and the points p^1,...,p^n are in general position in R^r. We also prove that if a chordal bar framework in R^r admits a stress matrix of rank n-r-1 with generic rank profile, then it admits a positive semidefinite stress matrix of rank n-r-1.

研究动机与目标

• 使用应力矩阵刻画在一般位置下弦杆框架的普遍刚性与全局刚性。
• 在弦图与一般位置假设下，建立普遍刚性与全局刚性的等价性。
• 证明：若存在一个秩为 $ n - r - 1 $ 且具有通用秩型的应力矩阵，则必然存在一个相同秩的半正定应力矩阵。
• 将先前关于普遍刚性的结果从一般配置推广至更弱的一般位置假设。

提出的方法

• 利用应力矩阵分析杆框架的刚性，其中应力矩阵通过边上的平衡应力定义。
• 应用Gale矩阵理论，将应力矩阵与点构型矩阵的零空间联系起来。
• 对应力矩阵实施高斯消去法，构造满足性质(A)的Gale矩阵，以确保半正定性。
• 依赖于“通用秩型”的概念，以确保矩阵秩的结构稳定性并避免退化情况。
• 使用归纳法与矩阵消去技术，以保持由弦图结构决定的稀疏模式。
• 应用欧氏距离矩阵完成与刚性理论的结果，将结构性质与矩阵的秩及定性联系起来。

实验结果

研究问题

• RQ1 在何种弦图与一般位置下的点构型条件下，杆框架是普遍刚性的？
• RQ2 当存在一个秩为 $ n - r - 1 $ 且具有通用秩型的应力矩阵时，何时可推出存在一个相同秩的半正定应力矩阵？
• RQ3 对于一般位置下的弦框架，全局刚性是否等价于普遍刚性？
• RQ4 弦图的结构特性如何影响应力矩阵的秩与定性？

主要发现

• 对于 $ \mathbb{R}^r $ 中的一般位置下的弦杆框架，普遍刚性、全局刚性以及存在一个秩为 $ n - r - 1 $ 的半正定应力矩阵，三者完全等价。
• 若一个弦框架存在一个秩为 $ n - r - 1 $ 且具有通用秩型的应力矩阵，则其必然存在一个相同秩的半正定应力矩阵。
• 普遍刚性与全局刚性的等价性仅在弦图与一般位置的联合假设下成立，这些假设不可省略。
• 可通过在具有通用秩型的应力矩阵上进行高斯消去法，构造出满足性质(A)的Gale矩阵，从而确保半正定性。
• 例4.1展示了如何从一个相同秩的不定应力矩阵构造出一个秩为3的半正定应力矩阵。
• 证明依赖于在保持弦图边结构所决定的稀疏模式的前提下，对矩阵元素进行归纳性消去。