pith. sign in

arxiv: 2604.09328 · v1 · submitted 2026-04-10 · 🧮 math.NT

Quartic reductions and elliptic obstructions for perfect Euler bricks

Ren\'e Peschmann This is my paper

Pith reviewed 2026-05-10 16:36 UTC · model grok-4.3

classification 🧮 math.NT
keywords perfect Euler brickperfect cuboidquartic Diophantine equationshyperelliptic curveselliptic descentKummer character2-descentgenus-3 curves
0
0 comments X

The pith

The perfect Euler brick problem is equivalent to finding coprime a, b, m, n such that two nearly identical quartic expressions are both perfect squares.

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

This paper shows that finding a perfect Euler brick, also called a perfect cuboid, is exactly the same as finding coprime integers a, b, m, n such that two specific expressions—one with first term 2(a²-b²)mn and the other with 4abmn—are both perfect squares. The authors convert this quartic Diophantine condition into a one-parameter family of genus-3 hyperelliptic curves of the form w² = λ⁸ + Aλ⁴ + 1. They then extract obstructions on the elliptic quotient E_A by showing that the Kummer character is nontrivial on the 4-torsion and by using 2-descent to eliminate several infinite families of square classes. A direct search finds no solutions when the parameter A runs through all integers with absolute value up to 1000, although the existence of perfect bricks is not yet ruled out for all cases.

Core claim

The perfect Euler brick problem is equivalent to the existence of coprime integers a, b, m, n such that (2(a²-b²)mn)² + ((a²+b²)(m²-n²))² and (4abmn)² + ((a²+b²)(m²-n²))² are simultaneously perfect squares. This quartic pair is reduced to the one-parameter family of genus-3 hyperelliptic curves C_A: w² = λ⁸ + A λ⁴ + 1, and obstructions are developed on the distinguished elliptic quotient E_A showing that the Kummer character χ_f is non-trivial on the 4-torsion and that 2-descent excludes several families of square classes. No solutions exist for parameters up to 10³.

What carries the argument

The quartic reduction that maps a perfect brick to coprime a, b, m, n together with the elliptic obstructions on the quotient E_A of the associated hyperelliptic curve C_A.

If this is right

  • Existence of such coprime a, b, m, n immediately produces a perfect Euler brick.
  • The Kummer character being non-trivial on 4-torsion and the 2-descent results rule out infinite families of candidate square classes.
  • No solutions occur for any integer parameter A with absolute value at most 1000.
  • The remaining open cases can be addressed by genus-5 covering obstructions or arithmetic in the field Q(sqrt(2)).

Where Pith is reading between the lines

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

  • Extending the search for rational points on the curves C_A beyond the checked range of A would either locate a solution or provide stronger evidence against existence.
  • The explicit link to the field Q(sqrt(2)) suggests that units or class-group computations in that quadratic field might yield further obstructions.
  • If the genus-5 covering approach discussed in the paper can be carried through, it would likely resolve the problem by showing the absence of rational points on all relevant curves.

Load-bearing premise

Every possible perfect Euler brick arises from some set of coprime a, b, m, n satisfying the two simultaneous square conditions.

What would settle it

An explicit set of coprime integers a, b, m, n for which both given quartic expressions are perfect squares would prove a perfect Euler brick exists and show that the elliptic obstructions are incomplete.

read the original abstract

We show that the perfect Euler brick (perfect cuboid) problem is equivalent to the following elementary question: do there exist coprime integers $a, b, m, n$ such that the two expressions $(2(a^2-b^2)mn)^2 + ((a^2+b^2)(m^2-n^2))^2$ and $(4abmn)^2 + ((a^2+b^2)(m^2-n^2))^2$ are simultaneously perfect squares? Despite their near-identical structure (differing only in the first summand), no solution has ever been found. We reduce this quartic pair to a one-parameter family of genus-3 hyperelliptic curves $C_A\colon w^2 = \lambda^8 + A\lambda^4 + 1$ and develop obstructions on the distinguished elliptic quotient $E_A$: the Kummer character $\chi_f$ is non-trivial on the 4-torsion, and 2-descent arguments exclude several families of square classes. Computationally, we verify that no solution exists for parameters up to $10^3$. These results do not yet exclude perfect Euler bricks unconditionally; the remaining gap and possible approaches (including a genus-5 covering obstruction and connections to $\mathbb{Q}(\sqrt{2})$) are discussed.

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 paper establishes an equivalence between the existence of a perfect Euler brick (perfect cuboid) and the existence of coprime integers a, b, m, n such that the two quartic expressions (2(a²-b²)mn)² + ((a²+b²)(m²-n²))² and (4abmn)² + ((a²+b²)(m²-n²))² are simultaneously squares. It reduces the latter Diophantine condition to a one-parameter family of genus-3 hyperelliptic curves C_A : w² = λ⁸ + A λ⁴ + 1, derives obstructions on the elliptic quotient E_A via the non-triviality of the Kummer character χ_f on 4-torsion and 2-descent excluding certain square classes, and reports a computational search finding no solutions for parameters up to 10³. The work does not claim an unconditional resolution of the perfect cuboid problem.

Significance. If the bijectivity of the quartic reduction and the completeness of the elliptic obstructions hold, the paper supplies a concrete and elementary reformulation of the classical perfect cuboid problem that is directly amenable to arithmetic-geometric tools. The explicit link to the hyperelliptic family C_A and the partial 2-descent analysis on E_A constitute a genuine advance, as does the honest computational bound and the discussion of further possible obstructions (genus-5 coverings, Q(√2) connections). These elements make the manuscript a useful contribution to the literature on Diophantine equations even without a full resolution.

minor comments (3)
  1. [Introduction] The statement of the equivalence in the abstract and introduction should explicitly note whether the coprimality condition on a, b, m, n is necessary or can be relaxed by scaling, to make the reduction fully transparent.
  2. [Computational verification] In the computational section, the precise range of A (including sign) and the algorithm used to search for rational points on C_A or to apply the 2-descent should be stated more explicitly, as the bound 10³ is otherwise hard to reproduce.
  3. [Elliptic obstructions] The definition of the Kummer character χ_f and its action on the 4-torsion of E_A would benefit from a short self-contained paragraph before the obstruction theorems, rather than assuming familiarity with the external references.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The provided summary accurately reflects the scope and limitations of our work on the perfect Euler brick problem.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external arithmetic geometry tools

full rationale

The paper claims an equivalence between the perfect Euler brick problem and the existence of coprime a, b, m, n making two specific quartic expressions squares. It reduces the condition to the hyperelliptic family C_A : w² = λ⁸ + A λ⁴ + 1 and applies standard 2-descent plus Kummer character χ_f obstructions on the elliptic quotient E_A. These steps use established external techniques (2-descent, Kummer theory) rather than self-defined quantities, fitted parameters renamed as predictions, or load-bearing self-citations. The abstract explicitly states that the obstructions and search up to 10³ do not yet exclude solutions unconditionally, confirming the argument is presented transparently without hidden reductions to inputs. No step reduces by construction to its own premises.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard results from arithmetic geometry (properties of elliptic curves, 2-descent, Kummer characters) without introducing fitted parameters or new postulated entities.

axioms (1)
  • standard math Standard properties of elliptic curves over Q and their 2-descent maps
    Invoked to exclude families via the Kummer character on 4-torsion and 2-descent arguments on E_A

pith-pipeline@v0.9.0 · 5532 in / 1430 out tokens · 62286 ms · 2026-05-10T16:36:44.335456+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

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

  1. Exponent-one blockers and a Mordell-Weil construction of Euler bricks

    math.NT 2026-05 conditional novelty 7.0

    All examined Master-Hit body cuboids exhibit a primitive exponent-one prime blocker in the space diagonal, and a Mordell-Weil generator on the associated elliptic fibration produces 1.28 million total examples with no...

  2. A torsion-intersection proof of perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers

    math.NT 2026-04 unverdicted novelty 7.0

    Unconditional proof of perfect-cuboid nonexistence on 1,072 master-tuple fibers via torsion-intersection on elliptic quotients of the associated genus-3 curve, certified by rank-zero verification.

Reference graph

Works this paper leans on

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

  1. [1]

    Asiryan, Irreducibility of the cuboid polynomialP a,u(t) via a rank-zero elliptic curve, arXiv:2510.11768 (2025)

    V. Asiryan, Irreducibility of the cuboid polynomialP a,u(t) via a rank-zero elliptic curve, arXiv:2510.11768 (2025)

    work page arXiv 2025

  2. [2]

    J. S. Balakrishnan and N. Dogra, Quadratic Chabauty and rational points II: Generalised height functions on Selmer varieties,Int. Math. Res. Not.2021(2021), no. 15, 11923–12008

    work page 2021

  3. [3]

    J. S. Balakrishnan, F. Bianchi, V. Cantoral-Farf´ an, M. C ¸ iperiani, and A. Etropolski, Chabauty– Coleman experiments for genus 3 hyperelliptic curves, in:Research Directions in Number Theory, Assoc. Women Math. Ser. vol. 19, Springer, 2019, pp. 67–90

    work page 2019

  4. [4]

    J. W. S. Cassels,Lectures on Elliptic Curves, LMS Student Texts 24, Cambridge Univ. Press, 1991

    work page 1991

  5. [5]

    R. F. Coleman, Effective Chabauty,Duke Math. J.52(1985), 765–770

    work page 1985

  6. [6]

    Creutz and D

    B. Creutz and D. N. Srivastava, Brauer–Manin obstructions on hyperelliptic curves,J. Number Theory248(2023), 137–160

    work page 2023

  7. [7]

    Dujella and J

    A. Dujella and J. C. Peral, High rank elliptic curves with torsionZ/2Z×Z/4Zinduced by Diophan- tine triples,LMS J. Comput. Math.17(2014), 282–288

    work page 2014

  8. [8]

    Faltings, Endlichkeitss¨ atze f¨ ur abelsche Variet¨ aten ¨ uber Zahlk¨ orpern,Invent

    G. Faltings, Endlichkeitss¨ atze f¨ ur abelsche Variet¨ aten ¨ uber Zahlk¨ orpern,Invent. Math.73(1983), 349–366

    work page 1983

  9. [9]

    R. K. Guy,Unsolved Problems in Number Theory, 3rd ed., Springer, 2004

    work page 2004

  10. [10]

    Kani and M

    E. Kani and M. Rosen, Idempotent relations and factors of Jacobians,Math. Ann.284(1989), 307–327

    work page 1989

  11. [11]

    u-bordeaux.fr/

    The PARI Group,PARI/GP version 2.17.3, Universit´ e de Bordeaux, 2025,https://pari.math. u-bordeaux.fr/

    work page 2025

  12. [12]

    org, 2024

    The Sage Developers,SageMath, the Sage Mathematics Software System,https://www.sagemath. org, 2024

    work page 2024

  13. [13]

    R. A. Sharipov, A note on the first cuboid conjecture,arXiv:1109.2534 (2011)

    work page arXiv 2011

  14. [14]

    R. A. Sharipov, Two and three descent for elliptic curves associated with perfect cuboids, arXiv:1303.0765 (2013)

    work page arXiv 2013

  15. [15]

    J. H. Silverman,The Arithmetic of Elliptic Curves, 2nd ed., Springer, 2009

    work page 2009

  16. [16]

    W. G. Spohn, On the derived cuboid,Canad. Math. Bull.17(1974), 575–577

    work page 1974

  17. [17]

    Stoll, Independence of rational points on twists of a given curve,Compos

    M. Stoll, Independence of rational points on twists of a given curve,Compos. Math.142(2006), 1201–1214

    work page 2006

  18. [18]

    Stoll, Uniform bounds for the number of rational points on hyperelliptic curves of small Mordell– Weil rank,J

    M. Stoll, Uniform bounds for the number of rational points on hyperelliptic curves of small Mordell– Weil rank,J. Eur. Math. Soc.21(2019), 923–956

    work page 2019

  19. [19]

    van Luijk,On Perfect Cuboids, Doctoraalscriptie, Universiteit Utrecht, 2000

    R. van Luijk,On Perfect Cuboids, Doctoraalscriptie, Universiteit Utrecht, 2000. 12

    work page 2000