Pith. sign in

REVIEW 2 major objections 5 minor 2 cited by

On flexes associated with higher-order flexible bar-joint frameworks

T0 review · 2 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper resolves the infinite higher-order-flex dilemma by tying flexes to algebraic curve branches.

desk verdict A genuinely new definitional repair for higher-order flexes, but the mechanism that kills Stachel's infinite sequence is asserted, not proved. read the letter →

arxiv 2502.01124 v2 pith:LANRAW5C submitted 2025-02-03 math.AG

Georg Nawratil This is my paper · ORCID
classification math.AG MSC 14H2052C2570B15
keywords associatedflexeshigher-orderflexibilityrigiditybar-jointframeworkPuiseuxseriesalgebraiccurvesflexionorderdouble-Wattmechanism
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proposes a definition of higher-order flexes for bar-joint frameworks that repairs a defect in the classical definitions. The defect is that some rigid frameworks, such as Stachel's extended double-Watt mechanism, produce an infinite sequence of irreducible (k,3k-1)-flexes under the old rules, so no unique flexion order can be read off. The paper's fix is to require that any flex extend to a minimal parametrization of a branch of an algebraic curve cut out by the framework's edge-length quadrics. This makes the set of flexes finite and computable, because the branch order k can never exceed the framework's flexion order r. The paper demonstrates the computation with Puiseux series and shows how to keep only real flexes.

What carries the argument

The load-bearing object is the minimal parametrization of a branch of an algebraic curve, as given by the Newton-Puiseux theorem: a local branch through the origin can be written as $x(t)=t^{\nu_{0}}$, $y(t)=\beta_{1}t^{\nu_{1}}+\cdots$ with $0<\nu_{0}<\nu_{1}<\cdots$, and the branch order is $\min(\nu_{0},\nu_{1})$. Definition 2's item 3 connects each candidate flex to such a branch of a curve that lies in the linear family of quadrics generated by the framework's edge equations. This moves the question from polynomial guesses to algebraic curve geometry; in particular, $k$ is the branch order, and Puiseux expansions, obtained here by projecting space curves to coordinate planes and eliminating variables with resultants, supply the actual flexes.

What would settle it

Compute the flexion order r of Stachel's extended double-Watt mechanism with the author's earlier algorithm and check whether any (k,3k-1)-flex for k>r still satisfies items 1 and 2 of Definition 2; if one does, the bound k≤r is false. More generally, any one-parameter family of configurations satisfying the stationary-multiplicity and non-triviality conditions that cannot be extended to a branch in the linear family of quadrics would refute item 3's completeness.

Watch

Extended reading notes

Core claim

The central claim is that a (k,n)-flex of a bar-joint framework should be defined by three conditions: the polynomial substitution in Eq. (2) makes the edge-length equations vanish with multiplicity at least n+1 at t=0; the k-th order velocity vectors are non-trivial; and the substitution extends to a minimal parametrization of a branch of order k of an algebraic curve belonging to a one-dimensional irreducible component of a variety whose ideal is generated inside the linear family of quadrics spanned by c1,...,ce. With this third condition, which replaces Stachel's irreducibility condition, the infinite sequence of possible flexes for the extended double-Watt mechanism disappears, since k is bounded above by the flexion order r defined in the author's earlier work. The paper verifies the definition on a model isostatic framework, where only (1,1)- and (2,3)-flexes occur, and on an immobile 4-bar mechanism whose configuration curve has only two conjugate complex branches through the origin, giving the real flex triple (r;kmax,nmax)=(∞;1,1).

Load-bearing premise

Every higher-order flex is assumed to arise from a branch of an algebraic curve lying in the linear family of quadrics spanned by the edge-length equations; if a genuine flex escaped that family, Definition 2 would silently miss it.

Editorial extensions

If this is right

  • For any bar-joint framework with finite flexion order $r$, there are no $(k,n)$-flexes with $k>r$, so the list of associated flexes is finite.
  • The redefined flexes can be computed algorithmically: build the curve ideal in the linear family of quadrics, compute branch parametrizations via Puiseux or Newton-diagram methods, and substitute into the remaining edge equation to get $n$.
  • The definition automatically handles real versus complex behavior: taking the real part of the minimal parametrization yields the highest real flex, which complements the flexion order $r$.
  • The extended double-Watt dilemma is resolved: the infinitely many old-style $(k,3k-1)$-flexes are cut off because branches of order higher than $r$ cannot occur.
  • The classical case of ordinary $n$-th order flexes is recovered as the special case $k=1$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because $k$ is bounded by $r$ and branch orders are determined by the curve ideal, one could enumerate all higher-order flexes for a given framework by Newton-polygon or tropical methods without fully constructing Puiseux expansions; the paper points toward tropical geometry as future work but does not implement the enumeration.
  • The same curve-branch viewpoint suggests a natural definition of $p$-parametric flexes by replacing curves with local branches of $p$-dimensional surfaces, as the author notes as a future direction.
  • An implicit consequence is that higher-order flexibility becomes an algebraic singularity phenomenon: the flexes of a framework are the branches of its configuration-space curve that meet a distinguished hypersurface with prescribed multiplicity, which could connect to singularity-based classifications of mechanisms.
  • For frameworks with continuous mobility ($n=\infty$), Definition 2 still applies, so the flexes are exactly the branches of the configuration curve; this unifies continuous and higher-order flexibility under one definition.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proposes a new algebraic definition of higher-order flexes, called 1-parametric (k,n)-flexes, for bar-joint frameworks that are not continuously flexible. The definition modifies Sabitov's and Stachel's earlier notions by adding condition 3 of Definition 2: the polynomial flex path must extend to a minimal parametrization of a branch of order k of an algebraic curve defined by an ideal whose generators lie in the linear span of the edge quadrics c1,...,ce. The paper motivates this definition through a removal procedure for isostatic frameworks, describes a Puiseux-series computation for the associated branches, and works through two main examples: a configuration of three quadrics with a (3;2,3) flex triple, and an immobile 4-bar mechanism with a (∞;1,1) triple. The stated goal is to resolve the dilemma caused by Stachel's infinite sequence of irreducible (k,3k−1)-flexes for an extended double-Watt mechanism.

Significance. If the proposed definition is accepted and the key bounds hold, the paper would provide a principled algebraic-geometric way to associate finitely many flex types to a higher-order flexible framework, complementing the author's earlier redefinition of flexion order. The worked examples are detailed and internally consistent, and the Puiseux computations in Appendix A cover the special cases excluded by Eq. (8). The paper is genuinely definitional and computational: it fits no free parameters and does not reduce its main claims to prior results by construction. However, the central load-bearing assertion, k ≤ r, is stated without proof, and the completeness of condition 3 of Definition 2 is an unproved hypothesis. The significance of the paper therefore remains conditional on closing these two gaps.

major comments (2)
  1. [§3, Definition 2, footnote 3] The central claim that k cannot be greater than the flexion order r is asserted in footnote 3, but no proof is given. Here r is the intersection multiplicity of the full ideal ⟨c1,...,ce⟩ at the configuration, as in [15, Sec. 3.1], whereas k is the branch order of a curve whose defining ideal has generators only in the linear span of c1,...,ce. These are ideals of different varieties, and the paper contains no argument relating their local invariants. This bound is load-bearing: it is the mechanism that truncates Stachel's infinite sequence of (k,3k−1)-flexes. If the bound is false, the claimed resolution of that dilemma collapses; if it is true, it needs a proof. The paper should either supply a lemma with a proof or state the bound as an explicit assumption and discuss its status.
  2. [§2–§3, Definition 2, item 3] Definition 2, item 3 restricts (k,n)-flexes to branches of curves whose ideals are generated by quadrics in the linear family spanned by c1,...,ce. The motivation in Section 2 is a removal procedure that is natural for isostatic frameworks, where one deletes a bar and forms linear combinations of the remaining equations. For a general framework, the paper gives no argument that every flex in the Sabitov–Stachel sense extends to such a branch. If item 3 is too weak, Stachel's infinite sequence is not actually excluded; if it is too strong, legitimate flexes are silently excluded. The paper should clarify the intended scope (isostatic versus general frameworks) and either prove a completeness statement or explicitly formulate the completeness condition as a hypothesis.
minor comments (5)
  1. [§1.2] The phrase 'my means of Newton diagrams' should read 'by means of Newton diagrams.'
  2. [§3, Definition 2 and Example 4] Definition 2 begins with 'which is not continuous flexible,' but the next paragraph says the definition 'also holds for frameworks with a 1-dimensional mobility (⇔ n = ∞).' This should be clarified, and the meaning of r = ∞ in Example 4 should be explained in terms of the definition of flexion order from [15].
  3. [§3, Definition 2, item 3] Please specify whether the linear family in item 3 is taken over R or over C; the Puiseux computations in Section 3 and the appendices are carried out over C, while the reality discussion in Example 4 uses real parts.
  4. [§1.2 and §3] The term 'minimal parametrization' is used for planar curves in Section 1.2 and then for space curves via the projection method of [13], but no formal definition is given for the space-curve case; a short definition would improve readability.
  5. [Example 2, footnote 2] The 'degree reasons' excluding cusps with k > 2 are compressed; since the same conclusion is verified by the computations in Appendix A, either expand the geometric argument or present it as a consequence of the computation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular dependency: the new (k,n)-flex definition and the Puiseux computations are self-contained; the unproved k≤r bound is a correctness gap, not a circular reduction.

full rationale

The paper is a definitional and computational contribution. Definition 2 stipulates what a (k,n)-flex is by requiring the flex to extend to a branch of an algebraic curve whose ideal is generated inside the linear family of edge quadrics; the subsequent Puiseux computations (Examples 3 and 4) then apply that definition. No free parameter is fitted to data, and the claimed resolution of Stachel's infinite sequence is a consequence of the new definition rather than a prediction extracted from it. The only self-citation of substance is [15], which supplies the independently defined flexion order r; the paper does not reduce its new content to that citation. The statement in Section 3 that 'k cannot be greater than the flexion order r' (footnote 3) is asserted without proof, and item 3 of Definition 2 carries a completeness assumption about which flexes extend to such curves; these are unproved mathematical premises, not equivalences with the paper's inputs, so they are correctness risks rather than circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper is definitional; no data fitting occurs. The key extra premise is Definition 2 item 3, which postulates that flexes live on algebraic curve branches from the linear family of quadrics. Standard results, Newton-Puiseux and Melanova projection, supply the parametrization machinery.

assumptions (4)
  • standard math Newton-Puiseux theorem: every branch of a planar algebraic curve has a convergent Puiseux parametrization.
    Used in Section 1.2 as the basis for representing branches, including the order k of a branch.
  • standard math Melanova's projection method yields a minimal parametrization of space-curve branches from planar projections.
    Invoked in Section 3 and used in Examples 3 and 4 to get space-curve parametrizations.
  • ad hoc to paper Every relevant flex extends to a branch of an algebraic curve in the linear family of quadrics spanned by c1,...,ce.
    This is Definition 2 item 3; it is the new defining axiom that excludes Stachel's infinite sequence, but its completeness is not proven.
  • domain assumption The intersection multiplicity of a branch with the removed constraint ci=0 determines the flex order n via multiplicity n+1.
    Used in Section 2's removal procedure and in the examples to convert branch data into flex orders.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On flexes associated with higher-order flexible bar-joint frameworks." pith.science (2026). https://pith.science/paper/LANRAW5C

@misc{pith2026250201124,
  author       = {Pith},
  title        = {Pith review of: On flexes associated with higher-order flexible bar-joint frameworks},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LANRAW5C}},
  note         = {Machine review of arXiv:2502.01124}
}
read the original abstract

The famous example of the double-Watt mechanism given by Connelly and Servatius raises some problems concerning the classical definitions of higher-order flexibility and rigidity, respectively. Recently, the author was able to give a proper redefinition of the flexion/rigidity order for bar-joint frameworks, but the question for the flexes associated with higher-order flexible structures remained open. In this paper we properly define these flexes based on the theory of algebraic curves and demonstrate their computation by means of Puiseux series. The presented algebraic approach also allows to take reality issues into account.

Figures

Figures reproduced from arXiv: 2502.01124 by the authors.

Figure 1
Figure 1. Left: Intersection of the three quadrics C1 (red), C2 (green) and C3 (blue). Center: The intersection curve of the cone C4 (yellow) and C1. Right: Immobile 4-bar mechanism. of the one-dimensional configuration curve generated by the ideal ⟨c1,..., ci−1, ci+1,..., ce⟩. (5) Then we check, up to which order each branch is compatible with the removed condition ci = 0, which contains X as regular point, by determining th… view at source ↗
Figure 2
Figure 2. The quadric which corresponds to the first/second generator of I1 is illustrated in red/yellow. Left: Case (1a), which equals case (2a). Center: Case (1b). Right: Case (2b). 2. λ1 = 1 3 (8λ2 − 2): In this case we compute again the projection P(x, y) and P(x,z) and we get finally the minimal parametrization of the space curve under the as￾sumption λ2(λ2 −1) ̸= 0 (19) as x(t) = t 2 , y(t) = −t 2 +w1t 3 +..., z(t) = − … view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Higher Order Rigidity and Energy

    math.MG 2025-06 accept novelty 7.0 of 10

    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.

  2. Second-order prestress stability and third-order rigidity of polyhedral surfaces

    math.MG 2025-06 conditional novelty 6.0 of 10

    No fractional rigidity orders occur before third order, and second-order prestress stability can be checked by explicit linear-algebra criteria, but a general third-order test exists only when the rigidity matrix has ...

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · cited by 2 Pith papers

  1. [1]

    Computer Graphics and Mathematics, 61–90, Springer (1992)

    Alonso, M.W., Mora, T., Niesi, G., Raimondo, M.: Local Parametrization of Space Curves at Singular Points. Computer Graphics and Mathematics, 61–90, Springer (1992)

    work page 1992

  2. [2]

    International Journal of Mathematics 21:1439–1459 (2010)

    Aroca, F., Ilardi, G., Lopez de Medrano, L.: Puiseux power series solutions for systems of equations. International Journal of Mathematics 21:1439–1459 (2010)

    work page 2010

  3. [3]

    arXiv 2209.00875 (2022)

    Buchacher, M.: The Newton-Puiseux algorithm and effective algebraic series. arXiv 2209.00875 (2022)

    work page arXiv 2022

  4. [4]

    Walter De Gruyter & Co

    Burau, W.: Algebraische Kurven und Fl ¨achen I & II. Walter De Gruyter & Co. (1962)

    work page 1962

  5. [5]

    Connelly, R., Servatius, H.: Higher-order rigidity – What is the proper definition? Discrete & Computational Geometry 11:193–200 (1994)

    work page 1994

  6. [6]

    Acta technica Academiae Scientiarum Hungaricae 106:119–125 (1994)

    Gaspar, Z., Tarnai, T.: Finite mechanisms have no higher-order rigidity. Acta technica Academiae Scientiarum Hungaricae 106:119–125 (1994)

    work page 1994

  7. [7]

    Collectanea Mathematica 59:129–165 (2008)

    Jensen, A.N., Markwig, H., Markwig, T.: An algorithm for lifting points in a tropical variety. Collectanea Mathematica 59:129–165 (2008)

    work page 2008

  8. [8]

    Mathematische Annalen 118:94–111 (1941/1943)

    Li, E.P.: Die 28 Doppeltangenten einer Kurve vierter Ordnung. Mathematische Annalen 118:94–111 (1941/1943)

    work page 1941

Show all 28 references
  1. [9]

    American Mathematical Society (2015)

    Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry. American Mathematical Society (2015)

    2015

  2. [10]

    Manuscripta Mathematica 32:91–100 (1980)

    Maurer, J.: Puiseux expansion for space curves. Manuscripta Mathematica 32:91–100 (1980)

    1980

  3. [11]

    Journal of Pure and Applied Algebra 104:213–233 (1995)

    McDonald, J.: Fiber polytopes and fractional power series. Journal of Pure and Applied Algebra 104:213–233 (1995)

    1995

  4. [12]

    Discrete & Com- putational Geometry 27:501–529 (2002)

    McDonald, J.: Fractional power series solutions for systems of equations. Discrete & Com- putational Geometry 27:501–529 (2002)

    2002

  5. [13]

    Dissertation (Supervisor: Herwig Hauser), University of Vienna (2020)

    Melanova, H.: Geometric Invariants for the Resolution of Curve Singularities and for the Problem of the Moduli Space of n Points on the Projective Line. Dissertation (Supervisor: Herwig Hauser), University of Vienna (2020)

    2020

  6. [14]

    Journal of Mechanisms and Robotics 10:011008 (2018)

    M ¨uller, A.: Higher-order analysis of kinematic singularities of lower pair linkages and serial manipulators. Journal of Mechanisms and Robotics 10:011008 (2018)

    2018

  7. [15]

    Mechanism and Machine Theory 205:105853 (2025)

    Nawratil, G.: A global approach for the redefinition of higher-order flexibility and rigidity. Mechanism and Machine Theory 205:105853 (2025)

    2025

  8. [16]

    Proceedings of 2nd IMA Confer- ence on Mathematics of Robotics, 98–106, Springer (2022)

    Nayak, A.: C-Space Analysis Using Tropical Geometry. Proceedings of 2nd IMA Confer- ence on Mathematics of Robotics, 98–106, Springer (2022)

    2022

  9. [17]

    Geometry III, 179–250, Springer (1992)

    Sabitov, I.Kh.: Local Theory of Bendings of Surfaces. Geometry III, 179–250, Springer (1992)

    1992

  10. [18]

    Oxford University Press (1959)

    Semple, J.G., Kneebone, G.T.: Algebraic Curves. Oxford University Press (1959)

    1959

  11. [19]

    Topics in Algebra, Analysis and Geometry, 343–353, BPR Kiad´o (1999)

    Stachel, H.: Infinitesimal flexibility of higher order for a planar parallel manipulator. Topics in Algebra, Analysis and Geometry, 343–353, BPR Kiad´o (1999)

    1999

  12. [20]

    Tensegrity Workshop, La Vacquerie, France (2007)

    Stachel, H.: A proposal for a proper definition of higher-order rigidity (Slides). Tensegrity Workshop, La Vacquerie, France (2007)

    2007

  13. [21]

    AIM Workshop on Rigidity and polyhedral combinatorics, Palo Alto/CA, USA (2007)

    Stachel, H.: A (3,8)-flexible bar-and-joint framework? (Slides). AIM Workshop on Rigidity and polyhedral combinatorics, Palo Alto/CA, USA (2007)

    2007

  14. [22]

    Computer Aided Geometric Design 26:317–335 (2009)

    Tu, C., Wang, W., Mourrain, B., Wang, J.: Using signature sequences to classify intersection curves of two quadrics. Computer Aided Geometric Design 26:317–335 (2009)

    2009

  15. [23]

    Walker, R.J.: Algebraic Curves. Springer (1978) On flexes associated with higher-order flexible bar-joint frameworks 9 Appendix A: Completing the discussion of Example 3 A) Discussion of I1 Here we complete the discussion of the ideal I1 started in Example 3 by proceeding with...

    1978

  16. [24]

    We end up with the following minimal parametrization for P(x,y): x(t) =t3, y(t) = 4λ2−2 λ2−1 2 3 (λ2−1) 4λ2−2 t2 +

    λ1 = 3λ2 − 1: We proceed similar to the general case discussed in Example 3. We end up with the following minimal parametrization for P(x,y): x(t) =t3, y(t) = 4λ2−2 λ2−1 2 3 (λ2−1) 4λ2−2 t2 + . . . (12) under the assumption (2λ2 − 1)(λ2 − 1) ̸= 0. (13) Under this assumption we...

  17. [25]

    Now the space curve splits up into the y-axis (x(t) =z(t) =0, y(t) =t) and in a cubic curve touching the y-axis in the origin (cf. Fig. 2-center). The cubic has the minimal parametrization: x(t) =−2t2 − 4t3 + . . . ,y(t) =t, z(t) =2t3 + . . . . (18) Both linear branches inters...

  18. [26]

    ,z(t) =− 3λ2 λ2−1t4 + w1t5 +

    λ1 = 1 3 (8λ2 − 2): In this case we compute again the projection P(x,y) and P(x,z) and we get finally the minimal parametrization of the space curve under the as- sumption λ2(λ2 − 1) ̸= 0 (19) as x(t) =t2, y(t) =−t2 + w1t3 + . . . ,z(t) =− 3λ2 λ2−1t4 + w1t5 + . . . (20) with w...

  19. [27]

    ,z(t) = 1 22 2 3 t4 +

    µ1 = −3: In this case we can proceed as in the general case but we end up with one branch having the minimal parametrization x(t) =t3, y(t) = 1 22 1 3 t2 − 1 2t3 + 5 122 2 3 t4 + . . . ,z(t) = 1 22 2 3 t4 + . . . (25) Plugging this into c2 shows that this branch implies a (2,3)-flex

  20. [28]

    We only get the following minimal parametrization of the cuspidal branch: x(t) =t2, y(t) =t2 + 2 √ 3t3 − 4t4 +

    µ1 = − 8 3: Exactly the same holds as in the special case before. We only get the following minimal parametrization of the cuspidal branch: x(t) =t2, y(t) =t2 + 2 √ 3t3 − 4t4 + . . . ,z(t) =−3t4 + . . . . (26) which also implies a (2,3)-flex. This completes the discussion of t...

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.