pith. sign in

arxiv: 2503.09582 · v3 · submitted 2025-03-12 · 🧮 math.MG

Exotic spherical flexible octahedra and counterexamples to the Modified Bellows Conjecture

Alexander A. Gaifullin This is my paper

Pith reviewed 2026-05-23 00:09 UTC · model grok-4.3

classification 🧮 math.MG
keywords flexible octahedraspherical geometryBellows conjecturevolume variationantipodal replacementconfiguration spacepolyhedral surfaces
0
0 comments X

The pith

Exotic flexible octahedra in spherical space have non-constant volume during flexion even after antipodal vertex replacements.

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

The paper supplies an explicit geometric construction for a new class of flexible octahedra in three-dimensional spherical space that lie outside Bricard's three classical families. It parametrizes the configuration spaces of these objects and derives closed-form expressions for their volumes as functions of the flexion parameters. The resulting volume functions are shown to be non-constant along flexion paths, and the same non-constancy holds after any subset of vertices is replaced by its antipodal points on the sphere. A sympathetic reader would care because these constructions furnish concrete counterexamples to the Modified Bellows Conjecture, which posited that volume should remain constant for flexible polyhedra in spherical geometry under such operations.

Core claim

Exotic flexible octahedra exist in spherical 3-space beyond Bricard's three types. Their volumes are non-constant functions on the configuration space of continuous flexion. The volume remains non-constant when any collection of vertices is replaced by the corresponding antipodal points. These facts establish that the exotic octahedra are counterexamples to the Modified Bellows Conjecture.

What carries the argument

Exotic flexible octahedron, a closed flexible polyhedral surface in spherical 3-space constructed geometrically so that its configuration space admits non-trivial flexion and its volume can be computed explicitly as a non-constant function of the flexion parameters.

If this is right

  • The volume of an exotic flexible octahedron changes continuously as the structure flexes.
  • Replacing any set of vertices with their antipodes leaves the volume non-constant.
  • The configuration spaces of exotic octahedra admit explicit parametrization.
  • Exotic octahedra form a fourth class of flexible octahedra on the sphere.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Explicit volume formulas open the possibility of tracing specific flexion paths numerically to measure total volume change.
  • The failure of volume constancy may extend to other flexible polyhedra beyond octahedra in spherical geometry.
  • The distinction between classical and exotic types suggests that the Modified Bellows Conjecture may need further refinement rather than outright rejection.

Load-bearing premise

The geometric construction produces valid exotic flexible octahedra distinct from the classical types for which the volume can be rigorously calculated and shown to vary under flexion and antipodal replacements.

What would settle it

An explicit calculation demonstrating that the volume expression for any one of the constructed exotic octahedra is constant across its entire configuration space would disprove the claim.

Figures

Figures reproduced from arXiv: 2503.09582 by Alexander A. Gaifullin.

Figure 1
Figure 1. Figure 1: The octahedron Proposition 2.2. Suppose that a1a2a3b1b2b3 is a flexible octahedron of the form (2.1) with some parameters p1, p2, q1, and q2 such that |p1| ̸= |p2| and |q1| ̸= |q2|. Let a ′ 1a ′ 2a ′ 3b ′ 1b ′ 2b ′ 3 be a flexible octahedron obtained from a1a2a3b1b2b3 by replacing some of its vertices with their antipodes. Then, up to rotation of S 3 and renaming the vertices, the new octahedron has also t… view at source ↗
Figure 2
Figure 2. Figure 2: A connected component of the configuration space Proposition 5.1. Let ℓ = (ℓuv) be the set of edge lengths for an octahedron such that 0 < ℓuv < π for all edges uv, ℓa1a2 = ℓa1b2 = ℓb1a2 = ℓb1b2 = π 2 , ℓa1a3 = ℓa1b3 , ℓb1a3 = ℓb1b3 , (5.1) ℓa2a3 + ℓa2b3 = ℓb2a3 + ℓb2b3 = π, and the cosines p1 = cos ℓa1a3 , p2 = cos ℓb1a3 , q1 = cos ℓa2a3 , q2 = cos ℓb2a3 satisfy |p1| < |p2|, |q1| < |q2|, and p 2 2 + q 2 2… view at source ↗
Figure 3
Figure 3. Figure 3: The loop η not vanish anywhere in U. Similarly, y2 is also a regular function on U whose differential is nonvanishing everywhere in U. It follows easily from (5.2) that, for any choice of the sign δ2, the variable y1 is a real analytic function of the parameter θ on the interval (θmin, θmax), and moreover, the derivative dy1 dθ does not vanish anywhere in this interval. Hence, θ is a regular real analytic … view at source ↗
Figure 4
Figure 4. Figure 4: The hyperbola Q denoted this parameter by y1. We will now conveniently omit index 1 and denote it simply by y. We have y = ⟨a1, b1⟩ = p1p2 cos2 θ + δ1δ2 s 1 − p 2 1 cos2 θ  1 − p 2 2 cos2 θ  (6.1) Proposition 6.1. Let Γσ be any of the two connected components Γ± of Γ. The largest and smallest values of y on Γσ are ymax,min = p1p2 ± p (1 − q 2 2 − p 2 1 )(1 − q 2 2 − p 2 2 ) 1 − q 2 2 , where ymax and y… view at source ↗
read the original abstract

In 2014 the author showed that in the three-dimensional spherical space, alongside with three classical types of flexible octahedra constructed by Bricard, there exists a new type of flexible octahedra, which was called exotic. In the present paper we give a geometric construction for exotic flexible octahedra, describe their configuration spaces, and calculate their volumes. We show that the volume of an exotic flexible octahedron is nonconstant during the flexion, and moreover the volume remains nonconstant if we replace any set of vertices of the octahedron with their antipodes. So exotic flexible octahedra are counterexamples to the Modified Bellows Conjecture proposed by the author in 2015.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript gives an explicit geometric construction of exotic flexible octahedra in three-dimensional spherical space (distinct from Bricard's three classical types), parametrizes their configuration spaces, derives explicit volume formulas, and computes that the volume varies both along flexion paths and after arbitrary antipodal replacements of any subset of vertices. These objects are therefore offered as counterexamples to the Modified Bellows Conjecture.

Significance. If the constructions and volume calculations are correct, the paper supplies the first explicit counterexamples to the Modified Bellows Conjecture together with verifiable parametrizations and closed-form volume expressions. The provision of concrete configuration-space descriptions and direct numerical or symbolic verification of volume non-constancy constitutes a substantive contribution to the study of flexible polyhedra in spherical geometry.

minor comments (3)
  1. [Introduction] The introduction would benefit from a brief sentence recalling the precise statement of the 2015 Modified Bellows Conjecture before the counterexamples are presented.
  2. Figure captions should explicitly indicate the spherical radius (or curvature) used in each depicted configuration.
  3. [Section 3] A short remark on the dimension of the configuration space for a generic exotic octahedron would help readers compare it with the classical Bricard types.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript, the recognition of the explicit constructions, parametrizations, and volume formulas for exotic spherical flexible octahedra, and the recommendation to accept. No major comments requiring response were raised.

Circularity Check

0 steps flagged

No circularity; explicit geometric construction and volume computation are self-contained

full rationale

The paper supplies an explicit geometric construction of exotic flexible octahedra (distinct from Bricard's types), parametrizes configuration spaces, derives volume formulas, and directly computes that volume varies along flexion paths and after antipodal vertex replacements. These steps rely on independent geometric and algebraic reasoning rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation. The 2015 conjecture is mentioned only as context for the result; its disproof follows from the new calculations and does not reduce the derivation to prior inputs by construction. The argument is externally falsifiable via the stated constructions and formulas.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; the work rests on standard axioms of spherical geometry and prior results on flexible octahedra by Bricard and the author, but no specific free parameters, axioms, or invented entities can be identified from the given text.

pith-pipeline@v0.9.0 · 5639 in / 1138 out tokens · 56705 ms · 2026-05-23T00:09:46.194444+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · 4 internal anchors

  1. [1]

    An example of a flexible polyhedron with nonconstant volume in the spherical space

    V. Alexandrov, “An example of a flexible polyhedron with nonconstant volume in the spherical space”,Beitr. Algebra Geom.,38:1 (1997), 11–18

    work page 1997

  2. [2]

    Bateman, A

    H. Bateman, A. Erd´ elyi,Higher Transcendental Functions, Volume II, New York, Toronto, London: McGraw–Hill Book Company, 1953

    work page 1953

  3. [3]

    Deformable octahedra

    G. T. Bennett, “Deformable octahedra”,Proc. London Math. Soc.,10(1912), 309–343

    work page 1912

  4. [4]

    M´ emoire sur la th´ eorie de l’octa` edre articul´ e

    R. Bricard, “M´ emoire sur la th´ eorie de l’octa` edre articul´ e”,J. Math. Pures Appl.,5:3 (1897), 113– 148

    work page

  5. [5]

    Conjectures and open questions in rigidity

    R. Connelly, “Conjectures and open questions in rigidity”, in:Proceedings of the International Congress of Mathematicians, Acad. Sci. Fennica, Helsinki, 1980, 407–414

    work page 1980

  6. [6]

    The Bellows conjecture

    R. Connelly, I. Sabitov, A. Walz, “The Bellows conjecture”,Beitr. Algebra Geom.,38:1 (1997), 1–10

    work page 1997

  7. [7]

    Sabitov polynomials for volumes of polyhedra in four dimensions

    A. A. Gaifullin, “Sabitov polynomials for volumes of polyhedra in dimension 4”,Adv. Math.,252 (2014), 586–611, arXiv: 1108.6014

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  8. [8]

    Generalization of Sabitov’s theorem to polyhedra of arbitrary dimensions

    A. A. Gaifullin, “Generalization of Sabitov’s theorem to polyhedra of arbitrary dimensions”,Discrete Comput. Geom.,52:2 (2014), 195–220, arXiv: 1210.5408

    work page arXiv 2014

  9. [9]

    Flexible cross-polytopes in spaces of constant curvature

    A. A. Gaifullin, “Flexible cross-polytopes in spaces of constant curvature”,Trudy MIAN,286 (2014) 88–128 (in Russian), English transl.:Proc. Steklov Inst. Math.,286(2014), 77–113, arXiv: 1312.7608

    work page arXiv 2014

  10. [10]

    The analytic continuation of volume and the Bellows conjecture in Lobachevsky spaces

    A. A. Gaifullin, “The analytic continuation of volume and the Bellows conjecture in Lobachevsky spaces”,Matem. Sb.,206:11 (2015), 61–112 (in Russian), English transl.:Sb. Math.,206:11 (2015), 1564–1609, arXiv: 1504.02977. 23

    work page arXiv 2015

  11. [11]

    Embedded flexible spherical cross-polytopes with nonconstant volumes

    A. A. Gaifullin, “Embedded flexible spherical cross-polytopes with nonconstant volumes”,Trudy MIAN,288(2015), 67–94 (in Russian); English transl.:Proc. Steklov Inst. Math.,288(2015), 56–80, arXiv: 1501.06198

    work page arXiv 2015

  12. [12]

    The bellows conjecture for small flexible polyhedra in non-Euclidean spaces

    A. A. Gaifullin, “The bellows conjecture for small flexible polyhedra in non-Euclidean spaces”,Mosc. Math. J.,17:2 (2017), 269–290, arXiv: 1605.04568

    work page arXiv 2017

  13. [13]

    Flexible Polyhedra and Their Volumes

    A. A. Gaifullin, “Flexible polyhedra and their volumes”, in:European Congress of Mathematics (Berlin, 18–22 July, 2016), eds. V. Mehrmann, M. Skutella, European Mathematical Society, 2018, 63–83, arXiv: 1605.09316

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  14. [14]

    Deformation of quadrilaterals and addition on elliptic curves

    I. Izmestiev,Deformation of quadrilaterals and addition on elliptic curves, arXiv: 1501.07157, 39 pp

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    Classification of flexible Kokotsakis polyhedra with quadrangular base

    I. Izmestiev, “Classification of flexible Kokotsakis polyhedra with quadrangular base”,Int. Math. Res. Not.,2017:3 (2017), 715–808, arXiv: 1411.0289

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  16. [16]

    Volume of a polyhedron as a function of its metric

    I. Kh. Sabitov, “Volume of a polyhedron as a function of its metric”,Fundamental and Applied Math.,2:4 (1996), 1235–1246 (in Russian)

    work page 1996

  17. [17]

    The volume as a metric invariant of polyhedra

    I. Kh. Sabitov, “The volume as a metric invariant of polyhedra”,Discrete Comput. Geom.,20:4 (1998), 405–425

    work page 1998

  18. [18]

    A generalized Heron–Tartaglia formula and some of its consequences

    I. Kh. Sabitov, “A generalized Heron–Tartaglia formula and some of its consequences”,Matem. Sb., 189:10 (1998), 105–134 (in Russian); English transl.:Sb. Math.,189:10 (1998), 1533–1561

    work page 1998

  19. [19]

    Flexible cross-polytopes in the Euclidean 4-space

    H. Stachel, “Flexible cross-polytopes in the Euclidean 4-space”,J. Geom. Graph.,4:2 (2000), 159– 167

    work page 2000

  20. [20]

    Flexible octahedra in the hyperbolic space

    H. Stachel, “Flexible octahedra in the hyperbolic space”, in:Non-Euclidean geometries. J´ anos Bolyai memorial volume, eds. A. Pr´ ekopa et al., New York: Springer,Mathematics and its Applica- tions(Springer),581, 209–225 (2006). Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia Lomonosov Moscow State University, Moscow, Russia...

    work page 2006