[论文解读] On Farkas Lemma and Dimensional Rigidity of Bar Frameworks

Abdo Y. Alfakih|arXiv (Cornell University)|May 9, 2014

Structural Analysis and Optimization参考文献 8被引用 4

一句话总结

本文提出了一种带有秩约束的新形式半定规划Farkas引理，用于为杆框架的维向刚性提供一种新的证明。关键贡献是一个带秩约束的对偶框架，该框架建立了框架实现维向刚性的充要条件，利用应力矩阵和半定规划中的面缩减技术。

ABSTRACT

We present a new semidefinite Farkas lemma involving a side constraint on the rank. This lemma is then used to present a new proof of a recent characterization, by Connelly and Gortler, of dimensional rigidity of bar frameworks.

研究动机与目标

• 开发一种新的半定规划Farkas引理，引入矩阵秩的附加约束，以解决半定规划中的对偶性问题。
• 利用该Farkas引理，为Connelly与Gortler关于杆框架维向刚性的表征提供一种新证明。
• 通过改进现有的基于应力矩阵的判据，弥合维向刚性的必要条件与充分条件之间的差距。
• 展示Borwein-Wolkowicz提出的面缩减技术在分析半定锥面结构中的应用，以适用于刚性理论的背景。
• 通过应力矩阵和构型矩阵的秩条件，建立维向刚性与普遍刚性之间的联系。

提出的方法

• 基于Borwein与Wolkowicz的面缩减算法，推导出一种带有秩约束的新形式半定规划Farkas引理。
• 将该Farkas引理应用于分析在仿射变换下杆框架中距离约束的可行性。
• 利用与平衡应力相关的应力矩阵Ω来表征刚性，其中Ω ∈ Sⁿ₊，且rank(Ω) = n−r−1为关键条件。
• 构造矩阵𝒰₁ = [P ρ₁]，其中P为构型矩阵，ρ₁张成[Ω⁰; Pᵀ; eᵀ]的零空间，以将问题简化为低维半定规划。
• 定义可行解集ℱ，使得𝒰₁ᵀFᵢⱼ𝒰₁Y₁ = ||pⁱ−pʲ||²对所有边{i,j} ∈ E(G)成立，从而确保距离约束被保持。
• 通过ℱ ∩ relint(face(𝒰₁𝒰₁ᵀ)) = ∅的条件判断维向刚性，表明不存在更高维的等价框架。

实验结果

研究问题

• RQ1 能否构造一种带有秩约束的新形式半定规划Farkas引理，以解决与刚性相关的半定规划对偶性问题？
• RQ2 该新Farkas引理是否能够为Connelly-Gortler关于杆框架维向刚性的表征提供一种新证明？
• RQ3 正半定应力矩阵的秩与框架维向刚性之间的确切关系是什么？
• RQ4 如何将面缩减技术应用于分析半定锥在杆框架刚性背景下的面结构？
• RQ5 在约化后的半定规划中，唯一解Y₁的存在在何种条件下可推出维向刚性？

主要发现

• 建立了一种带有秩约束的新形式半定规划Farkas引理，从而为带秩限制的半定规划可行性分析提供了对偶框架。
• 本文为Connelly-Gortler关于维向刚性的表征提供了新证明，表明当且仅当ℱ ∩ relint(face(𝒰₁𝒰₁ᵀ))为空集时，框架是维向刚性的。
• 在数值示例中，框架被证明是普遍刚性的，唯一解为Y₁ = diag(1,1,0)，且rank(Y₁) = 2，证实了刚性。
• 应力矩阵Ω¹被构造为𝒰₁ᵀΩ¹𝒰₁ = diag(0,0,800)，且𝝆₁ᵀΩ¹𝝆₁ = 800 > 0，证实约化矩阵的非奇异性和无更高维等价物的存在。
• 条件rank(Ω⁰) + rank(𝒰₁ᵀΩ¹𝒰₁) = 2 + 1 = 3 = n−r−1 = 5−2−1成立，证实维向刚性所需的秩条件已满足。
• 通过𝒰₁ᵀFᵢⱼ𝒰₁中的等式关系识别出冗余的距离约束（例如边{2,4}和{3,4}），从而可对Y₁的方程组进行简化。