{"id":"285b8760-1410-4316-ba5d-b82ca8d87027","arxiv_id":"2506.03108","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A framework's rigidity order, defined by energy growth, is energy-independent and equals a maximum over higher-order flexes, yielding new proofs of second-order and dim-one higher-order rigidity.","lead":"This paper defines a numerical \"rigidity order\" for bar-and-joint frameworks using how fast a physical energy grows when the structure is deformed, and proves the order is the same for every stiff-bar energy. It also supplies new proofs of two known rigidity theorems using a new fourth-derivative test for degenerate critical points.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 3.5 makes 'tight growth order' non-unique: for E=x^2+y^4 every rational s≥2 is s-tight, so rigidity order ν=s/2 is not well-defined as written.","rationale":"The reader's verdict pins the main risk on the imported Theorem 3.6. My reading converges on the same neighborhood but locates the sharper problem internally: Theorem 3.6 cannot supply a unique 'tight growth order' because Definition 3.5 defines tightness by two inequalities that are satisfied by a whole interval of exponents for a simple analytic function. The paper's own Remark 3.6 reveals the intended object (the leading exponent of the minimal-value function m(r)), but Definition 3.5 does not state this, and the proof of Theorem 4.1 silently uses that distinguished exponent when it asserts that the tight-growth trajectory has Taylor expansion starting at order 2k0+2 and produces a (j0,k0)-flex. Without a minimality condition, the central rigidity order is not well-defined even before energy-independence is considered. This is fixable by amending Definition 3.5 to define the tight growth order as the leading Puiseux exponent of m(r), or equivalently the infimum of all s for which E grows always-s-quickly. The main theorems then likely proceed as written, with a separate convention for the empty-max case (first-order rigid frameworks, where s=2 and no (1,1)-flex exists). I therefore recommend CONDITIONAL rather than REJECT: the mathematical core is coherent, but the founding definition needs a precise disambiguation and the statement of Theorem 4.1 needs to handle the no-flex case explicitly.","tokens_in":38008,"tokens_out":18262,"duration_ms":217569,"concrete_test":"Check the counterexample E(x,y)=x^2+y^4 at 0 against Definition 3.5. Verify that for every rational s≥2 both growth inequalities hold (e.g., always-s-quickly via |x|^2≥c|x|^s and |y|^4≥c|y|^s for small arguments; sometimes-s-slowly via the y-axis trajectory t↦(0,t), where E=t^4≤c t^s for small t). Also compute the Puiseux leading exponent of m(r): the minimum of x^2+y^4 on |(x,y)|=r is r^2 (attained on the x-axis), so the intended 'tight' exponent is 2. If the definition admits s=3 as a tight growth order while the leading-exponent calculation gives 2, Definition 3.5 and Theorem 3.6 do not specify a unique rigidity order.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Definition 3.5 says E grows s-tightly at p if (i) E(q)-E(p) ≥ c1|q-p|^s for all small q and (ii) there is a trajectory p(t) with E(p(t))-E(p) ≤ c2|p(t)-p|^s. These two conditions do not determine a unique s. For E(x,y)=x^2+y^4 at 0, every rational s≥2 satisfies both: always-s-quickly holds because along the x-axis E=|x|^2≥c|x|^s for small |x| (for any fixed c and s>2), and the y-axis term only helps; sometimes-s-slowly holds along the y-axis because t^4≤c t^s for small t. Thus 'the tight growth order' is an interval, not a number. Theorem 3.6 is imported as if it selects a unique rational exponent, and Remark 3.6 says that exponent is the leading Puiseux exponent of the minimum-value function m(r), but that selection is absent from Definition 3.5. Theorem 4.1 and Definition 4.2 therefore rest on an undefined quantity unless a minimality or leading-exponent condition is added. The proof of Theorem 4.1 also implicitly needs this distinguished exponent: the tight-growth trajectory used to attain the maximum in (8) is a trajectory realizing exactly that leading exponent, not an arbitrary s-tight trajectory.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies higher-order rigidity of bar-and-joint frameworks by connecting the existence of (j,k)-flexes to the growth order of stiff-bar energy functions. It proves that a trajectory is a (j,k)-flex if and only if it is a (j,2k)-energy-flex for any stiff-bar energy (Theorem 3.13), defines the rigidity order of a rigid framework as half the tight growth order of any such energy, and shows in Theorem 4.1 that this order is independent of the chosen energy and equals the maximum of (k+1)/j over all (j,k)-flexes. The paper then develops a fourth-order derivative test for degenerate critical points and uses it to give new proofs that second-order rigidity implies rigidity (Theorem 5.2) and that, when the space of first-order flexes has dimension one, absence of a (1,k)-flex implies rigidity with rigidity order k (Theorem 5.3). Several examples with explicit coordinates illustrate the results, and an extension to general measurement constraints is outlined.","tokens_in":38256,"tokens_out":33645,"duration_ms":310304,"significance":"If the results hold, the paper provides a physically motivated and energy-independent definition of rigidity order, addressing previously noted pathologies in higher-order rigidity. The main theorems are proved carefully, with a clean use of Faà di Bruno formulas to relate flex existence to energy growth. The fourth-derivative test for degenerate critical points is a useful stand-alone contribution that generalizes ideas of Cushing. The paper is well situated relative to prior work by Salerno, Stachel, Nawratil, Tachi, and others, and it includes concrete numerical examples. The principal vulnerability is the reliance on the external result Theorem 3.6 (Barone-Netto et al.); the statement is plausible and standard in analytic geometry, but the paper would benefit from a more precise citation and a discussion of how the analytic-trajectory requirement in Definition 2.6 is met.","major_comments":[],"minor_comments":[{"comment":"The phrase 'In this case we say that s is the tight growth order' could be misread as allowing multiple s satisfying both growth conditions. The uniqueness is a consequence of Theorem 3.6 together with the leading-exponent description of m(r), and an explicit sentence stating this uniqueness would prevent potential confusion.","section":"Definition 3.5"},{"comment":"The concern that Definition 3.5 admits multiple tight growth orders does not land. For E(x,y)=x^2+y^4, the 'always-s-quickly' condition must hold for all q, and along the y-axis it forces s≥4; the 'sometimes-s-slowly' condition along the y-axis forces s≤4, so the only tight order is s=4. In general, for a strict local minimum with m(r)~c r^a, the 'always' condition holds exactly for s≥a and the 'sometimes' condition exactly for s≤a, yielding a unique s=a. Adding this observation would strengthen the presentation.","section":"Section 3.1 (stress-test concern)"},{"comment":"The proof does not explicitly handle the case k0=0, which occurs when the tight-growth trajectory has its first nonzero energy term at t^2 (e.g., for first-order rigid frameworks). In that case the argument appeals to a (j0,0)-flex, which is outside Definition 2.8. The value (k0+1)/j0 = 1 is still attained by any (2,1)-flex, so the theorem remains correct, but a short additional sentence is needed to close this gap.","section":"Theorem 4.1 proof"},{"comment":"Please specify the exact result in [4] that guarantees the existence of an analytic trajectory (in the sense of Definition 2.6) along which E has the optimal growth order, and clarify that the lower bound E(q)-E(p) ≥ c|q-p|^s holds on a full neighborhood of p. This would remove ambiguity about the match between the cited theorem and the paper's definitions.","section":"Theorem 3.6"},{"comment":"The statement that an odd-order leading term is impossible because it would make the function decrease should mention that the analytic trajectory extends to negative t, since trajectories are defined only for t∈[0,ε]. With this extension, the local-minimum property rules out sign changes.","section":"Lemma 3.10 and Theorem 4.1"},{"comment":"The statement should specify k≥2 or treat k=1 separately, since for k=1 the hypothesis asserts a (1,0)-flex, which is not defined in Definition 2.8. The case k=1 follows from Theorem 5.1.","section":"Theorem 5.3"},{"comment":"There are a few typographical errors: in the proof of Theorem 4.1, 'j+1/2 = sE/2' should read '(k+1)/j = sE/2'; 'the the edge lengths' appears in Section 2.1; 'minium' appears in the proof of Theorem 3.3; 'frameowrk' appears in Section 7.3.","section":"Typos"}],"recommendation":"minor_revision","confidential_remarks":"This is a solid contribution to the rigidity-theory literature. The definition of rigidity order is energy-invariant and computes as a maximum over (j,k)-flexes, which is a genuine advance. The most delicate part is the reliance on the external Lojasiewicz-type theorem [4]; if the statement of Theorem 3.6 is not exactly as given, the definition of rigidity order would need restructuring. The stress-test concern about non-unique tight growth order does not hold against the actual definitions, as the set of admissible s collapses to a single point for analytic functions with strict local minima. The proof of Theorem 4.1 has a small gap for the first-order rigid case that should be patched. Overall, the paper meets the standard for publication after minor revisions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The paper deserves a serious referee. The genuinely new core is Theorem 4.1: the rigidity order defined via energy growth is independent of the stiff-bar energy, and equals max (k+1)/j over (j,k)-flexes. That is a clean resolution of the ambiguity that has dogged higher-order rigidity definitions. The equivalence between (j,k)-flexes and (j,2k) energy flexes for arbitrary stiff-bar energies (Theorem 3.13) is proved carefully via Faa di Bruno, and it makes the energy formalism usable. The new proofs of Connelly's theorem and Alexandrov's theorem via derivative tests are real alternative proofs, and the fourth-derivative test with higher nullity is a useful standalone tool. Credit where due: the main derivations are coherent, the statements are precise, and no circularity or fitted parameters are in play.\n\nSoft spots. The stress-test note about Definition 3.5 does not land as written: for E=x^2+y^4 the tight conditions are actually satisfied only at s=4, not for every s≥2. Along the y-axis the lower bound forces s≥4 and the upper bound forces s≤4. So the example does not show non-uniqueness. What is fair is that Definition 3.5 defines 'tight growth order' as any s satisfying both growth conditions, and does not explicitly say it is the critical exponent from Theorem 3.6. For analytic functions with a strict local minimum the two conditions do pin down the leading exponent of the minimal-value function, but the text should say that instead of leaving it implicit. This is a fixable definitional gap, not a hole in the main results.\n\nMinor: Section 8 rigidity orders are stated from numerical computation without certified bounds; that is presentation-level, not central. The dependence on Barone-Netto's Theorem 3.6 is real but that is a legitimate imported result, and the rest of the argument does not hide anything.\n\nWho: rigidity theorists, mechanism scientists, and people who use higher-order derivative tests. I would take it to reading group and would cite it if I worked on rigidity order. Recommendation: send it to peer review. A referee should push for a sharpened Definition 3.5 and perhaps certification remarks for the examples, but the central result is in good shape.","headline":"A strong, clean contribution that resolves the energy-dependence question for rigidity order; fix the definition of tight growth order and send it out.","tokens_in":38803,"tokens_out":10101,"would_cite":true,"duration_ms":110395,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52C25"],"pacs":[],"model":"deepseek-v4-flash","headline":"For every rigid bar-and-joint framework, the rigidity order is fixed by any stiff-bar energy and equals a maximum over flex orders.","keywords":["bar-and-joint framework","rigidity order","stiff-bar energy","(j,k)-flex","higher-order rigidity","energy growth","fourth-derivative test","degenerate critical point"],"falsifier":"Take a rigid framework and compute the tight growth order of two different stiff-bar energies, for instance harmonic spring and algebraic squared-length energies, by sampling energy along radial and curved paths; if the two exponents differ, or if any found $(j,k)$-flex gives $(k+1)/j$ strictly larger than half the measured exponent, Theorem 4.1 is false. Alternatively, search numerically for a cusp mechanism that has a $(1,1)$-flex but no $(1,2)$-flex and yet is flexible; such an example would be a counterexample to Theorem 5.2.","tokens_in":37773,"feed_emoji":"📐","tokens_out":10003,"duration_ms":94595,"temperature":0.7,"pith_summary":"This paper proposes that every rigid bar-and-joint framework has a numerical rigidity order measuring how fast its energy must grow when the framework is displaced from its pinned configuration. The authors show that any stiff-bar energy — harmonic springs, algebraic length-squared potentials, Lennard-Jones, Morse — gives the same tight growth order $s$, so the rigidity order $\\nu=s/2$ is an intrinsic invariant of the framework, not a feature of the chosen energy. They prove the formula $\\nu=\\max\\{(k+1)/j : (G,p)\\text{ has a }(j,k)\\text{-flex}\\}$, tying the invariant directly to higher-order flexes. The same energy viewpoint yields new proofs of two classical rigidity certificates: absence of a second-order flex forces rigidity, and when the space of first-order flexes is one-dimensional, absence of a $k$th-order flex forces rigidity. If the paper is right, a single rational number organizes the hierarchy of rigidity tests and explains why some rigid frameworks feel softer than others.","feed_headline":"Every stiff-bar energy fixes one rigidity order","feed_subtitle":"A new invariant ties energy growth to (j,k)-flexes and recovers classical rigidity tests.","key_machinery":"For an edge-based energy $E(q)=\\sum E_{ij}(|q_i-q_j|)$ whose edge terms are analytic with a strict local minimum and positive curvature at the resting lengths, the paper proves through Faà di Bruno's formula that a trajectory is a $(j,k)$-flex of the framework if and only if it is a $(j,2k)$-flex of $E$ (Theorem 3.13). This doubling of vanishing order is what links energy growth order to flex order. The second engine is a family of indicative test trajectories at a degenerate critical point: lines $x_0t$ for second order, parabolas $(x_0t^2,y_0t)$ for fourth order, and higher-degree families of the form $y_0p't+y_0^2p''t^2+\\cdots+p^{(k)}_0t^k$ when the Hessian kernel is one-dimensional. A general proposition shows that if all test trajectories have leading coefficients of one sign after $2k$ derivatives, the critical point is a strict local minimum; this turns the absence of flexes into energy certificates.","core_discovery":"This paper's central claim is that the old distinction between rigid and flexible can be refined by a rational order computed from energy growth. For a rigid framework $(G,p)$, every stiff-bar energy $E$ has the same tight growth order $s$ at the pinned configuration, and defining the rigidity order as $\\nu=s/2$ gives $\\nu=\\max\\{(k+1)/j : (G,p)\\text{ has a }(j,k)\\text{-flex}\\}$ (Theorem 4.1). In particular, a framework with a $(1,1)$-flex but no $(1,2)$-flex has rigidity order exactly 2 and is therefore rigid (Theorem 5.2), and a framework with a one-dimensional space of first-order flexes that has a $(1,k-1)$-flex but no $(1,k)$-flex has rigidity order exactly $k$ and is therefore rigid (Theorem 5.3). The proofs run through a new fourth-derivative test for degenerate critical points and a family of $2k$-derivative tests for stiff-bar energies, and they show why the known cusp mechanisms do not contradict the classical certificates.","pith_inferences":["A testable consequence the paper leaves implicit is that rigidity order should predict, at least qualitatively, the exponent of force-displacement response of a real elastic structure near the pinned configuration; comparing measured force curves with the predicted energy order would test the framework's physical relevance.","The same energy-growth construction could be applied to vertex models, packing contact constraints, or rigid-body contacts, assigning each rigid state an order and potentially ordering the softness of jammed packings.","The paper's discussion of why a general sixth-derivative test fails suggests that a complete higher-order rigidity theory may need to track not just the Hessian kernel but the geometry of the $(j,k)$-flexes themselves, possibly through the Puiseux expansion of the configuration-space variety.","One could connect rigidity order to numerical stability: if a rigid framework has high rigidity order, equilibrium solvers may converge more slowly or be more sensitive to perturbations, a prediction that could be checked in existing numerical experiments."],"forward_implications":["Second-order rigidity is now a statement about energy: a framework with a $(1,1)$-flex but no $(1,2)$-flex has rigidity order 2, meaning every stiff-bar energy grows at least as fast as quartic in distance from the pinned configuration.","In the one-dimensional-flex case, rigidity order is an integer, and it can be computed by iteratively solving linear systems: when a $(1,k-1)$-flex exists but no $(1,k)$-flex does, the order is exactly $k$.","Frameworks that are rigid but feel floppy are quantified: a rigid framework with a $(j,k)$-flex has an energy that grows sometimes-$s$-slowly for $s=(2k+2)/j$, so larger $k$ relative to $j$ means a genuinely smaller energy growth exponent.","The general rigidity order can be fractional, so the classical integer-order hierarchy of rigidity tests is replaced by a rational scale that has a physical meaning.","The fourth-derivative test gives a new sufficient condition for rigidity that can be applied beyond rigidity theory to any optimization problem with a positive-semidefinite degenerate Hessian."],"supporting_citations":[{"why":"Supplies the imported growth theorem for analytic functions at strict local minima: a rational tight growth order exists and is realized by some trajectory, anchoring the definition of rigidity order.","marker":"[4]"},{"why":"Supplies the harmonic-spring energy-flex equivalence, which Theorem 3.13 extends to every stiff-bar energy.","marker":"[33]"},{"why":"Gives the classical result that absence of a second-order flex implies rigidity, reproved here through the fourth-derivative test and energy analysis.","marker":"[6]"},{"why":"Gives the one-dimensional-flex rigidity theorem that the paper reproves and sharpens into a rigidity-order statement.","marker":"[2]"},{"why":"Supplies the cusp-mechanism example showing that having no third-order flex does not imply rigidity, motivating the new order definition.","marker":"[7]"},{"why":"Supplies the prior derivative test for degenerate critical points with Hessian nullity one, generalized here to a fourth-order test and to stiff-bar energies.","marker":"[10]"},{"why":"Introduces the numerical infinitesimal-mechanism order and reparameterization conventions behind the $(j,k)$-flex accounting and the formula for energy-growth exponents.","marker":"[13]"}],"fun_headline_variants":["Energy growth order defines a framework's rigidity order","New proof: rigidity from absence of higher-order flexes","Fourth derivative test unlocks rigidity certificates","Rigidity order: a new invariant from energy growth","Stiffbar energies pin down exact rigidity order"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise imported from outside the paper is an analytic growth theorem: at a strict local minimum, a real analytic function has a rational tight growth order and there is some trajectory along which the growth is exactly that order; if this theorem failed, the definition of rigidity order and the flex formula would have nothing to attach to.","fun_headline_variants_meta":{"raw":{"variants":["Energy growth order defines a framework's rigidity order","New proof: rigidity from absence of higher-order flexes","Fourth derivative test unlocks rigidity certificates","Rigidity order: a new invariant from energy growth","Stiffbar energies pin down exact rigidity order"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000191,"raw_usage":{"total_tokens":1345,"prompt_tokens":949,"completion_tokens":396,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":565,"completion_tokens_details":{"reasoning_tokens":338}},"tokens_in":565,"tokens_out":396,"duration_ms":4166,"temperature":1.0,"reasoning_tokens":338,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:11:47.755329+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a rigid framework and compute the tight growth order of two different stiff-bar energies, for instance harmonic spring and algebraic squared-length energies, by sampling energy along radial and curved paths; if the two exponents differ, or if any found $(j,k)$-flex gives $(k+1)/j$ strictly larger than half the measured exponent, Theorem 4.1 is false. Alternatively, search numerically for a cusp mechanism that has a $(1,1)$-flex but no $(1,2)$-flex and yet is flexible; such an example would be a counterexample to Theorem 5.2.","supporting_citations":[{"cited_title":"Barone-Netto, G","cited_arxiv_id":null,"evidence_quote":"Supplies the imported growth theorem for analytic functions at strict local minima: a rational tight growth order exists and is realized by some trajectory, anchoring the definition of rigidity order."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the harmonic-spring energy-flex equivalence, which Theorem 3.13 extends to every stiff-bar energy."},{"cited_title":"Connelly","cited_arxiv_id":null,"evidence_quote":"Gives the classical result that absence of a second-order flex implies rigidity, reproved here through the fourth-derivative test and energy analysis."},{"cited_title":"Alexandrov","cited_arxiv_id":null,"evidence_quote":"Gives the one-dimensional-flex rigidity theorem that the paper reproves and sharpens into a rigidity-order statement."},{"cited_title":"Connelly and H","cited_arxiv_id":null,"evidence_quote":"Supplies the cusp-mechanism example showing that having no third-order flex does not imply rigidity, motivating the new order definition."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the prior derivative test for degenerate critical points with Hessian nullity one, generalized here to a fourth-order test and to stiff-bar energies."},{"cited_title":"Garcea, G","cited_arxiv_id":null,"evidence_quote":"Introduces the numerical infinitesimal-mechanism order and reparameterization conventions behind the $(j,k)$-flex accounting and the formula for energy-growth exponents."}],"review_version":1}