arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2506.03108

Higher Order Rigidity and Energy

Steven J. Gortler·Miranda Holmes-Cerfon·Louis Theran
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we revisit the notion of higher-order rigidity of a bar-and-joint framework. In particular, we provide a link between the rigidity properties of a framework, and the growth order of an energy function defined on that framework. Using our approach, we propose a general definition for the rigidity order of a framework, and we show that this definition does not depend on the details of the chosen energy function. Then we show how this order can be studied using higher order derivative tests. Doing so, we obtain a new proof that the lack of a second order flex implies rigidity. Our proof relies on our construction of a fourth derivative test, which may be applied to a critical point when the second derivative test fails. We also obtain a new proof that when the dimension of non-trivial first-order flex coefficients $\p'$ equals $1$, then the lack of a $k$th order flex for some $k$ implies a framework is rigid. The higher order derivative tests that we study here may have applications in more general optimization problems.

Explore related subjects

math.MGmath.OC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Steven J. Gortler, Miranda Holmes-Cerfon, Louis Theran. 2026-07-01. Higher Order Rigidity and Energy. https://arxiv.org/abs/2506.03108

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

De-Höldering factorization

We study a factorization notion for Lipschitz functions between metric spaces in which such a function is written as a composition of a Hölder function and a function that suitably ``undoes'' the Hölder regularity. We show simple ways to construct such ``de-Höldering'' factorizations. If the identity mapping on a metric space $\mathcal{M}$ admits a de-Höldering factorization through a metric space $\mathcal{Z}$ that has a conical geodesic bicombing, then the class of metric spaces from which one can extend $\mathcal{Z}$-valued Lipschitz functions is shown to be contained in the corresponding class of metric spaces for $\mathcal{M}$-valued Lipschitz functions. As a quick consequence of these abstract permanence properties, we deduce that every $L_1$-valued Lipschitz function from a subset of $\ell_2$ can be extended to a Lipschitz function that takes values in $L_1$ and is defined on all of $\ell_2$, answering a 1992 question of Ball. By work of Makarychev and Makarychev, this implies that every weighted graph has a vertex cut sparsifier of size $n$ and quality $O(\sqrt{\log n})$, improving Moitra's 2009 bound. We also show that for every metric space $\mathcal{Z}$ that has a conical geodesic bicombing, any metric transform of a metric space $\mathcal{M}$ has $\mathcal{Z}$-valued Lipschitz extension modulus at most a universal constant multiple of the $\mathcal{Z}$-valued Lipschitz extension modulus of $\mathcal{M}$ itself, improving the 2002 bound of Brudnyi and Shvartsman.

math.MG↗
arXiv2026

Monotone invariant valuations on convex cones

We classify the monotone $\SOn d$-invariant valuations, $d\ge2$, on the space of all closed convex cones. They are precisely the linear combinations of the conic intrinsic volumes with nondecreasing coefficients, or equivalently, the nonnegative linear combinations of intrinsic volume tails, up to an additive constant. On nonzero pointed cones we obtain the corresponding characterisation by Grassmann angles, settling a conjecture of McMullen. Every such valuation is automatically continuous in the spherical Hausdorff topology and is $\On d$-invariant. Our proof builds on the signed simplex and averaging arguments of Wang and Wu, but does not rely on the continuous classification theorem.

math.MG↗