Flexible Bi-Bennett Structures

• The paper establishes that flexible bi-Bennett structures are couplings of two Bennett tubes forming a one-DOF mechanism with skew quadrilateral interfaces.
• It rigorously details the algebraic and geometric conditions—including Bennett transmission relations and tetrahedral congruence—for ensuring continuous flexibility.
• Three distinct 4-dimensional families (two line-symmetric and one non-symmetric) are classified, linking these structures to Bricard octahedra and flexible biprisms.

Searching arXiv for the primary paper and closely related work on Bennett / bi-Bennett / Bricard / biprism linkages. Flexible bi-Bennett structures are flexible couplings of two Bennett mechanisms, realized geometrically as couplings of two Bennett tubes with quadrilateral cross-section and skew faces. In the formulation of “Flexible arrangement of two Bennett tubes” (Nawratil, 11 Jul 2025), they are the spatial or skew analogue of flexible bipyramids and flexible biprisms: Bricard octahedra couple two spherical $4R$ loops, flexible biprisms couple two planar $4R$ loops, and flexible bi-Bennetts couple two spatial Bennett $4R$ loops. The resulting structures are proposed as building blocks for flexible tubes with quadrilateral cross-sections and skew faces, and the paper establishes three $4$-dimensional families modulo similarity (Nawratil, 11 Jul 2025).

1. Definition and geometric setting

A Bennett mechanism is a non-planar, non-spherical closed $4R$ chain with axes

$r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$

With Denavit–Hartenberg parameters $d_i,\alpha_i$, flexibility requires the Bennett conditions

$$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$

$d_1\sin\alpha_2=d_2\sin\alpha_1,$

together with zero offsets, under the convention

$d_i>0,\qquad \alpha_i\in(0,\pi).$

Its motion satisfies

$4R$0

and, after the half-angle substitutions

$4R$1

the Bennett transmission relation becomes

$4R$2

A Bennett tube is the realization of such a Bennett loop as a quadrilateral tube whose side walls are four skew quadrilaterals. The skew faces may be filled, for example, by hyperbolic paraboloid patches, yielding a self-intersection-free tubular structure. A bi-Bennett structure is obtained by coupling two such tubes so that the coupling remains compatible throughout a continuous flex (Nawratil, 11 Jul 2025).

The interface geometry is encoded by points

$4R$3

chosen on the four moving axes of each Bennett tube. The quadruple

$4R$4

forms a skew quadrilateral cross-section, equivalently coupling tetrahedron data. This skew quadrilateral is the key object in the construction and classification of flexible bi-Bennett arrangements.

2. Kinematic model of the constituent Bennett tubes

The motion of a single Bennett mechanism is parametrized by one flex parameter $4R$5. The paper chooses

$4R$6

so each Bennett mechanism has $4R$7 degree of freedom (Nawratil, 11 Jul 2025).

Using a Denavit–Hartenberg setup with fixed frame attached to $4R$8, the coordinate conventions are: the origin is at $4R$9, the $4R$0-axis lies along $4R$1, and the positive $4R$2-axis intersects $4R$3. The basic matrices are

$4R$4

$4R$5

Using the Bennett relation $4R$6, one may set

$4R$7

The loop closure equation is

$4R$8

Successive transforms to the axes are

$4R$9

$4$0

$4$1

From these, distinguished points and direction vectors are recovered by

$4$2

These formulas form the computational backbone of the bi-Bennett constructions (Nawratil, 11 Jul 2025).

This framework places the theory squarely in the standard algebraic-kinematic treatment of overconstrained $4$3 linkages. A plausible implication is that the use of half-angle variables aligns the bi-Bennett problem with elimination-based approaches that were previously effective for Bricard-type coupled quadrilateral systems (Lewis et al., 2014).

3. Coupling criterion and algebraic formulation

Two Bennett tubes $4$4 and $4$5 form a flexible bi-Bennett if the corresponding cross-sectional tetrahedra are congruent for all configurations along a $4$6-parameter motion. More precisely, for each $4$7 there must exist $4$8 such that the tetrahedra determined by

$4$9

and

$4R$0

are isometric (Nawratil, 11 Jul 2025).

Tetrahedral congruence is expressed by six distance equalities. The four cycle-edge conditions are

$4R$1

$4R$2

$4R$3

$4R$4

The diagonal conditions are

$4R$5

$4R$6

These six equalities are necessary and sufficient for tetrahedral congruence.

A central observation is that only the two diagonal equations depend on $4R$7, and each has bidegree $4R$8 in $4R$9. Eliminating $r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$0 yields a degree-$r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$1 polynomial in $r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$2, and requiring flexibility for all $r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$3 gives $r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$4 coefficient equations. Together with the $r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$5 cycle-edge equations, this produces a square algebraic system after fixing scale. The general non-symmetric problem therefore starts with $r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$6 unknowns,

$r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$7

subject to $r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$8 equations after eliminating scale (Nawratil, 11 Jul 2025).

This algebraic structure is closely related, in methodology rather than literal mechanism type, to resultant-based flexibility analysis of coupled quadrilateral linkages. In the Bricard planar setting, flexibility is likewise characterized by positive-dimensional solution sets of polynomial closure equations and by elimination conditions on resultants (Lewis et al., 2014). A broader rigidity-theoretic analogy also exists with “double banana” and hyperbanana frameworks, where two rigid subassemblies admit hidden mobility despite counting criteria suggestive of rigidity (Clement et al., 2013). This suggests that flexible bi-Bennetts belong to a wider class of overconstrained-but-flexible systems whose motion is governed by nontrivial algebraic compatibility.

4. The three $r_{1,4},\ r_{1,2},\ r_{2,3},\ r_{3,4}.$9-dimensional families

The main classification result is the existence of three $d_i,\alpha_i$0-dimensional families modulo similarity: family $d_i,\alpha_i$1, line-symmetric; family $d_i,\alpha_i$2, a special line-symmetric family; and family $d_i,\alpha_i$3, non-symmetric (Nawratil, 11 Jul 2025).

Family	Defining character	Free parameters modulo similarity
$d_i,\alpha_i$4	Generic line-symmetric; cross-section is a skew isogram	Four $d_i,\alpha_i$5 after setting $d_i,\alpha_i$6
$d_i,\alpha_i$7	Exceptional line-symmetric case	$d_i,\alpha_i$8
$d_i,\alpha_i$9	Non-symmetric; algebraic compatibility $$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$0	$$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$1 after setting $$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$2

Family $$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$3 begins with one Bennett mechanism $$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$4 and points

$$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$5

The skew quadrilateral

$$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$6

is required to be line-symmetric. By Cayley’s criterion, a skew quadrilateral is line-symmetric if and only if it is a skew isogram, meaning

$$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$7

After setting $$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$8, solving these conditions yields explicit formulas for $$d_2=d_4,\qquad d_1=d_3,\qquad \alpha_2=\alpha_4,\qquad \alpha_1=\alpha_3,$$9 and $d_1\sin\alpha_2=d_2\sin\alpha_1,$0: $d_1\sin\alpha_2=d_2\sin\alpha_1,$1

$d_1\sin\alpha_2=d_2\sin\alpha_1,$2

The second Bennett tube $d_1\sin\alpha_2=d_2\sin\alpha_1,$3 is then obtained from $d_1\sin\alpha_2=d_2\sin\alpha_1,$4 by a half-turn about the line of symmetry of that skew isogram. This family is globally line-symmetric, and Theorem 2 states that the spherical indicatrix of each spherical $d_1\sin\alpha_2=d_2\sin\alpha_1,$5-loop centered at a vertex $d_1\sin\alpha_2=d_2\sin\alpha_1,$6 is isogonal; in the paper’s terminology, “isogonal” unifies the Voss and anti-Voss cases.

Family $d_1\sin\alpha_2=d_2\sin\alpha_1,$7 is the exceptional line-symmetric case in which the generic formulas for $d_1\sin\alpha_2=d_2\sin\alpha_1,$8 fail because the skew-isogram equations become singular. The nontrivial defining condition is

$d_1\sin\alpha_2=d_2\sin\alpha_1,$9

The alternative singular condition

$d_i>0,\qquad \alpha_i\in(0,\pi).$0

gives the trivial solution $d_i>0,\qquad \alpha_i\in(0,\pi).$1 and is discarded. The family remains $d_i>0,\qquad \alpha_i\in(0,\pi).$2-dimensional modulo similarity. Like $d_i>0,\qquad \alpha_i\in(0,\pi).$3, it is produced by a half-turn about a symmetry line, but its local spherical geometry differs: the spherical indicatrix of each local spherical $d_i>0,\qquad \alpha_i\in(0,\pi).$4-loop is deltoidal, meaning that one pair of adjacent spherical sides are equal and the other adjacent pair are equal. The symmetry plane of the deltoid is spanned by $d_i>0,\qquad \alpha_i\in(0,\pi).$5 and $d_i>0,\qquad \alpha_i\in(0,\pi).$6.

Family $d_i>0,\qquad \alpha_i\in(0,\pi).$7 is the non-symmetric family found from the full algebraic coupling problem. It is defined by

$d_i>0,\qquad \alpha_i\in(0,\pi).$8

$d_i>0,\qquad \alpha_i\in(0,\pi).$9

and, for $4R$00,

$4R$01

Here the four cycle-edge congruence conditions hold identically, and the two diagonal equations coincide and reduce to a single quartic relation

$4R$02

where

$4R$03

This equation is quadratic in $4R$04, so for each $4R$05 there are generically two values of $4R$06; together with $4R$07, there are four branches in total. The overall motion nevertheless remains $4R$08-DOF.

5. Symmetry, local spherical geometry, and motion

Families $4R$09 and $4R$10 are globally line-symmetric. In each, the second tube is obtained from the first by a fixed half-turn, so the coupled system directly inherits the single motion parameter $4R$11 from one Bennett mechanism (Nawratil, 11 Jul 2025). Their distinction lies not in overall mobility, but in local spherical geometry.

For family $4R$12, local spherical $4R$13-loops are isogonal. For family $4R$14, they are deltoidal. This distinction is the content of Theorem 2 and gives a precise kinematic discriminator between the two line-symmetric families. The figures described in the paper reinforce this reading: in the illustrated example of family $4R$15, $4R$16 are anti-Voss, while $4R$17 are Voss (Nawratil, 11 Jul 2025).

Family $4R$18 does not possess a global half-turn symmetry exchanging the two full Bennett tubes. Instead, Theorem 4 describes a weaker local symmetry pattern. The spherical indicatrices of opposite centers $4R$19 are related by a direct isometry. The spherical indicatrices of adjacent centers correspond to two motion modes of the same spherical $4R$20-bar. Any adjacent vertices $4R$21 are related by a half-turn $4R$22 satisfying

$4R$23

The paper characterizes this as a local line-symmetric property rather than global line symmetry.

The configuration-space behavior reflects these differences. A single Bennett loop has $4R$24-dimensional configuration space. Families $4R$25 and $4R$26 inherit this directly. Family $4R$27 has two motion parameters $4R$28, but they are constrained by $4R$29, so the coupled system is again generically $4R$30-DOF, now with multiple algebraic branches. This branch structure is one of the principal ways in which the non-symmetric family departs from the line-symmetric ones.

6. Limits, related mechanisms, and open problems

The paper situates flexible bi-Bennetts within the hierarchy of flexible bipyramids and flexible biprisms. In the pyramidal limit, the three families connect to Bricard classes as follows: family $4R$31 belongs to the intersection of Bricard classes $4R$32 and $4R$33, family $4R$34 belongs to the intersection of $4R$35 and $4R$36, and family $4R$37 gives special cases of class $4R$38 (Nawratil, 11 Jul 2025). In prismatic limits, families $4R$39 and $4R$40 yield line-symmetric cases lying in known flexible biprism classes, while family $4R$41 gives special cases of classes $4R$42 and $4R$43.

Planar and spherical limits of the underlying Bennett loop are likewise relevant. The four planar limits are

$4R$44

with transmission-ratio limits

$4R$45

for anti-parallelogram cases, and

$4R$46

for parallelogram cases. In the spherical limit $4R$47, the spherical indicatrix is a spherical anti-parallelogram. These limits provide the local spherical and prismatic framework used to compare the three bi-Bennett families.

A notable negative result is that a flexible plane-symmetric arrangement of Bennett tubes does not exist. If one imposes coplanarity of the four interface points for all $4R$48, the determinant

$4R$49

becomes a quartic polynomial in $4R$50, and requiring it to vanish identically leads to coefficient equations with no real solution except degenerate or trivial cases. Thus the only symmetric families found are line-symmetric, not plane-symmetric (Nawratil, 11 Jul 2025).

Each flexible bi-Bennett contains four different $4R$51 loops. In families $4R$52 and $4R$53, these belong to the known class of line-symmetric $4R$54 linkages. In family $4R$55, it remains open whether the induced $4R$56 loops are known or new. The paper also mentions the skew parallelepiped of Bennett, a different arrangement of six Bennett mechanisms with $4R$57 DOF.

Several open problems are stated explicitly. The full solution of the general non-symmetric algebraic system remains open. The limit behavior suggests the possible existence of broader classes corresponding to the full known classes $4R$58 and $4R$59, in analogy with bipyramids, biprisms, and mixed prism-pyramid couplings. More general flexible arrangements of Bennett tube plus quadrilateral pyramid or Bennett tube plus quadrilateral prism are suggested. The status of the $4R$60 loops in family $4R$61 is unresolved. Finally, the paper asks whether every pyramid in an octahedron can be replaced by a Bennett mechanism, producing a truncated-octahedron-like object with $4R$62 rigid hexagonal skew faces and $4R$63 Bennett loops (Nawratil, 11 Jul 2025).

Taken together, these results define flexible bi-Bennett structures as a distinct class of overconstrained spatial mechanisms: one-degree-of-freedom couplings of Bennett tubes organized around a moving skew quadrilateral interface, with three known $4R$64-dimensional families modulo similarity, line symmetry in two families, local half-turn structure in the third, and direct connections to Bricard octahedra, flexible biprisms, and possibly new $4R$65 linkages.