There is no Perfect Cuboid

Ivor Lloyd

2024-01-13

Abstract:A perfect cuboid is formed when an Euler brick whose edges and face diagonals are all integers also has an integer internal diagonal. It is known that if a perfect cuboid exists the internal diagonal is odd. No perfect cuboid has been found. This simple proof shows that the internal diaogonal of an Euler brick cannot be an odd integer.

General Mathematics

What problem does this paper attempt to address?

Multiple New Important Conjectures on Equivalence to Perfect Cuboid and Euler Brick

S Maiti

2024-02-01

Abstract:Nobody has discovered any perfect cuboid and there is no formula to deliver all possible Euler bricks. During investigations of famous open problems related to the perfect cuboid and Euler brick; I have found some new important conjectures on Pythagorean triples and biquadratic Diophantine equation [4] which are reduced & quivalence form for perfect cuboid and Euler brick problems. The details of the conjectures have been provided in Sections 2-3. If any perfect cuboid exists it will be only among the solutions of six conjectures and all the Euler bricks are only among the solutions of next three conjectures [4]. For example, if any odd $n\in \mathbb{N}$ satisfy $n=e^2-f^2=g^2-h^2=k^2-l^2$ and $e^2f^2=g^2h^2+k^2l^2$; then we can discover a perfect cuboid of type 1 as $\{e^2-f^2,2gh,2kl,g^2+h^2,k^2+l^2,2ef,e^2+f^2\}$ having $(e^2-f^2,2gh,2kl)$ having $(e^2-f^2,2gh,2kl)$ as its edges; $(g^2+h^2,k^2+l^2,2ef)$ as its face diagonals and $e^2+f^2$ as its body diagonal where $e,f,g,h,k,l~(>1)\in \mathbb{N}$.

General Mathematics
On Walter Wyss's no perfect cuboid paper

Ruslan Sharipov

DOI: https://doi.org/10.48550/arXiv.1704.00165

2017-04-01

Abstract:The perfect cuboid problem is an old famous unsolved problem in mathematics concerning the existence or non-existence of a rectangular parallelepiped whose edges, face diagonals, and space diagonal are of integer lengths. Recently Walter Wyss has published a paper [<a class="link-https" data-arxiv-id="1506.02215" href="https://arxiv.org/abs/1506.02215">arXiv:1506.02215</a>] claiming a solution of this problem. The purpose of this paper is to check out Walter Wyss's result.

Number Theory
Novel required properties of, and efficient algorithms to seek, perfect cuboids

Aubrey de Grey,Philip Gibbs,Louie Helm

2024-01-06

Abstract:We present a novel approach to the age-old question of whether perfect cuboids exist. Our approach consists of two new computer search algorithms, arising from the analysis of "perfect plinths" reported by one of us recently, that are much more efficient than any prior algorithm of which we are aware. Using this approach, we also (i) identify some new two-parameter families of edge cuboids, and (ii) show that large proportions of aspect ratios of faces or internal rectangles cannot be present in a perfect cuboid, a property that was previously reported only for faces with the aspect ratio 4:3.

General Mathematics
A note on the third cuboid conjecture. Part I

Ruslan Sharipov

DOI: https://doi.org/10.48550/arXiv.1203.2567

2012-03-13

Abstract:The problem of finding perfect Euler cuboids or proving their non-existence is an old unsolved problem in mathematics. The third cuboid conjecture is the last of the three propositions suggested as intermediate stages in proving the non-existence of perfect Euler cuboids. It is associated with a certain Diophantine equation of the order 12. In this paper a structural theorem for the solutions of this Diophantine equation is proved.

Number Theory
Perfect Cuboid and Congruent Number Equation Solutions

Mamuka Meskhishvili

DOI: https://doi.org/10.48550/arXiv.1211.6548

2012-11-28

Number Theory

Abstract:A perfect cuboid (PC) is a rectangular parallelepiped with rational sides $a,b,c$ whose face diagonals $d_{ab}$, $d_{bc}$, $d_{ac}$ and space (body) diagonal $d_s$ are rationals. The existence or otherwise of PC is a problem known since at least the time of Leonhard Euler. This research establishes equivalent conditions of PC by nontrivial rational solutions $(X,Y)$} and $(Z,W)$} of congruent number equation $ y^2=x^3-N^2x$, where product $XZ$ is a square. By using such pair of solutions five parametrizations of nearly-perfect cuboid (NPC) (only one face diagonal is irrational) and five equivalent conditions for PC were found. Each parametrization gives all possible NPC. For example, by using one of them -- invariant parametrization for sides and diagonals of NPC are obtained: $a=2XZN$, $b=|YW|$, $c=|X-Z|\sqrt{XZ}\,N$,$d_{bc}=|XZ-N^2|\sqrt{XZ}$, $d_{ac}=|X+Z|\sqrt{XZ}\,N$, $d_s=(XZ+N^2)\sqrt{XZ}$; and condition of the existence of PC is the rationality of $d_{ab} = \sqrt{Y^2W^2+4N^2X^2Z^2}$. Because each parametrization is complete, inverse problem is discussed. For given NPC is found corresponding congruent number equation (i.e. congruent number) and its solutions.
There is no perfect Mondrian partition for squares of side lengths less than 1001

Natalia García-Colín,Dimitri Leemans,Mia Müßig,Érika Roldán

2023-11-04

Abstract:In mathematics, a dissection of a square (or rectangle) into non-congruent rectangles is a Mondrian partition. If all the rectangles have the same area, it is called a perfect Mondrian partition. In this paper, we present a computational result by which we can affirm that there is no perfect Mondrian partition of a length $n$ square for $n\leq 1000$. Using the same algorithm we have been able to establish that there is no perfect Mondrian partition of a $n \times m$ rectangle for $n,m \leq 400$.

Combinatorics
Nonexistence of Euler Boxes with Semiprime Sides

Riley Tao

2024-01-11

Abstract:In this paper we prove that there cannot exist a perfect Euler box with a semiprime side. We first display the proof, which uses nothing more than elementary number theory. Due to the elementary nature of this proof, it is possible that more complex techniques could be used to generalize it to a stronger constraint on Euler boxes; this is discussed at the end.

Number Theory
Parametric Solutions for a Nearly-Perfect Cuboid

Mamuka Meskhishvili

DOI: https://doi.org/10.48550/arXiv.1502.02375

2015-02-09

Number Theory

Abstract:We consider nearly-perfect cuboids (NPC), where the only irrational is one of the face diagonals. Obtained are three rational parametrizations for NPC with one parameter.
The number of perfect matchings in a brick

Fuliang Lu,Huali Pan

2024-09-23

Abstract:A 3-connected graph is a brick if the graph obtained from it by deleting any two distinct vertices has a perfect matching. The importance of bricks stems from the fact that they are building blocks of the matching decomposition procedure of Kotzig, and Lovasz and Plummer. Lucchesi and Murty conjectured that there exists a positive integer N such that for every n>N, every brick on n vertices has at least n-1 perfect matchings. We present an infinite family of bricks such that for each even integer n (n > 17), there exists a brick with n vertices in this family that contains [0:625n] perfect matchings, showing that this conjecture fails.

Combinatorics
Cubic bricks that every b-invariant edge is forcing

Yaxian Zhang,Fuliang Lu,Heping Zhang

2024-11-26

Abstract:A connected graph G is matching covered if every edge lies in some perfect matching of G. Lovasz proved that every matching covered graph G can be uniquely decomposed into a list of bricks (nonbipartite) and braces (bipartite) up to multiple edges. Denote by b(G) the number of bricks of G. An edge e of G is removable if G-e is also matching covered, and solitary (or forcing) if after the removal of the two end vertices of e, the left graph has a unique perfect matching. Furthermore, a removable edge e of a brick G is b-invariant if b(G-e) = 1. Lucchesi and Murty proposed a problem of characterizing bricks, distinct from K4, the prism and the Petersen graph, in which every b-invariant edge is forcing. We answer the problem for cubic bricks by showing that there are exactly ten cubic bricks, including K4, the prism and the Petersen graph, every b-invariant edge of which is forcing.

Combinatorics
Product representation of perfect cubes

Zsigmond György Fleiner,Márk Hunor Juhász,Blanka Kövér,Péter Pál Pach,Csaba Sándor

2024-05-20

Abstract:Let $F_{k,d}(n)$ be the maximal size of a set ${A}\subseteq [n]$ such that the equation \[a_1a_2\dots a_k=x^d, \; a_1<a_2<\ldots<a_k\] has no solution with $a_1,a_2,\ldots,a_k\in {A}$ and integer $x$. Erdős, Sárközy and T. Sós studied $F_{k,2}$, and gave bounds when $k=2,3,4,6$ and also in the general case. We study the problem for $d=3$, and provide bounds for $k=2,3,4,6$ and $9$, furthermore, in the general case, as well. In particular, we refute an 18 years old conjecture of Verstraëte.

Combinatorics,Number Theory
There are no finite partial cubes of girth more than 6 and minimum degree at least 3

Tilen Marc

DOI: https://doi.org/10.1016/j.ejc.2016.01.005

2016-07-21

Abstract:Partial cubes are graphs isometrically embeddable into hypercubes. We analyze how isometric cycles in partial cubes behave and derive that every partial cube of girth more than 6 must have vertices of degree less than 3. As a direct corollary we get that every regular partial cube of girth more than 6 is an even cycle. Along the way we prove that every partial cube $G$ with girth more than 6 is a tree-zone graph and therefore $2n(G)-m(G)-i(G)+ce(G)=2$ holds, where $i(G)$ is the isometric dimension of $G$ and $ce(G)$ its convex excess.

Discrete Mathematics,Combinatorics
Dudeney's Dissection is Optimal

Erik D. Demaine,Tonan Kamata,Ryuhei Uehara

2024-12-05

Abstract:In 1907, Henry Ernest Dudeney posed a puzzle: ``cut any equilateral triangle \dots\ into as few pieces as possible that will fit together and form a perfect square'' (without overlap, via translation and rotation). Four weeks later, Dudeney demonstrated a beautiful four-piece solution, which today remains perhaps the most famous example of a dissection. In this paper (over a century later), we finally solve Dudeney's puzzle, by proving that the equilateral triangle and square have no common dissection with three or fewer polygonal pieces. We reduce the problem to the analysis of a discrete graph structure representing the correspondence between the edges and vertices of the pieces forming each polygon, using ideas from common unfolding.

Computational Geometry,Discrete Mathematics,Geometric Topology
Asymptotic estimates for roots of the cuboid characteristic equation in the linear region

Ruslan Sharipov

DOI: https://doi.org/10.48550/arXiv.1505.02745

2015-05-11

Number Theory

Abstract:A perfect cuboid is a rectangular parallelepiped whose edges, whose face diagonals, and whose space diagonal are of integer lengths. The second cuboid conjecture specifies a subclass of perfect cuboids described by one Diophantine equation of tenth degree and claims their non-existence within this subclass. This Diophantine equation is called the cuboid characteristic equation. It has two parameters. The linear region is a domain on the coordinate plane of these two parameters given by certain linear inequalities. In the present paper asymptotic expansions and estimates for roots of the characteristic equation are obtained in the case where both parameters tend to infinity staying within the linear region. Their applications to the cuboid problem are discussed.
Primitive Euler brick generator

Djamel Himane

2024-05-20

Abstract:The smallest Euler brick, discovered by Paul Halcke, has edges $(177, 44, 240) $ and face diagonals $(125, 267, 244 ) $, generated by the primitive Pythagorean triple $ (3, 4, 5) $. Let $ (u,v,w) $ primitive Pythagorean triple, Sounderson made a generalization parameterization of the edges \begin{equation*} a = \vert u(4v^2 - w^2) \vert, \quad b = \vert v(4u^2 - w^2)\vert, \quad c = \vert 4uvw \vert \end{equation*} give face diagonals \begin{equation*} {\displaystyle d=w^{3},\quad e=u(4v^{2}+w^{2}),\quad f=v(4u^{2}+w^{2})} \end{equation*} leads to an Euler brick. Finding other formulas that generate these primitive bricks, other than formula above, or making initial guesses that can be improved later, is the key to understanding how they are generated.

General Mathematics
A Note on the Subcubes of the $n$-Cube

Hans Ulrich Simon

2024-06-04

Abstract:In the year 1990, Béla Bollobás, Imre Leader and Andrew Radcliffe considered the following combinatorial problem: given three parameters k, n and q, find a set of k vertices in the binary n-cube which contains a maximal number of q-dimensional subcubes. It was shown that an optimal solution is given by the k vertices which coincide with the binary representations of the number 0 , 1 , ... , k-1. Two proofs were presented. The proof given by Bollobas and Leader is particularly elegant and short. Here we show that also the other proof, the one given by Bollobas and Radcliffe, becomes quite simple and short when it is combined with a lemma from Graham whose publication dates back to 1970. As a second application of Graham's lemma, we solve a recursive equation (related to the optimization problem that we discussed before) that might be considered interesting in its own right.

Combinatorics
The relationship between face cuboids and elliptic curves

Takumi Yoshida

2024-07-13

Abstract:A rational face cuboid is a cuboid that all of edges, two of three face diagonals and space diagonal have rational lengths. \[ E_{1,s}: y^2=x(x-(2s)^2)(x+(s^2-1)^2) \] for a rational number $s \neq 0, \pm 1$, and define $\tilde{A}$ consisting of all pairs of a rational number $s$ and a non-torsion rational point $(\alpha, \beta ) \in E_{1,s}(\mathbb{Q})$. We construct a surjective map from $\tilde{A}$ to the set $\mathscr{F}$ of equivalence classes of rational face cuboids, and prove that this map is a $32:1$-map. In this way, we show that the set $\mathscr{F}$ has infinite elements. Also, we prove that there are infinitely many $s \in \mathbb{Q} \setminus \{ 0,\pm 1 \}$ with $\mathrm{rank} E_{1,s} (\mathbb{Q})>0$. In this proof, we construct pairs of $s$ and $(\alpha, \beta) \in E_{1,s} (\mathbb{Q})$ which are not parametric solutions.

Number Theory
Where do odd perfect numbers live?

Aldi Nestor de Souza

DOI: https://doi.org/10.48550/arXiv.1801.06182

2018-01-18

Abstract:The existence of a perfect odd number is an old open problem of number theory. An Euler's theorem states that if an odd integer $ n $ is perfect, then $ n $ is written as $ n = p ^ rm ^ 2 $, where $ r, m $ are odd numbers, $ p $ is a prime number of the form $ 4 k + 1 $ and $ (p, m) = 1 $, where $ (x, y) $ denotes the greatest common divisor of $ x $ and $ y $. In this article we show that the exponent $ r $, of $ p $, in this equation, is necessarily equal to 1. That is, if $ n $ is an odd perfect number, then $ n $ is written as $ n = pm ^ 2. $

Number Theory
Cubes and Boxes Have Rupert’s Passages in Every Nontrivial Direction

András Bezdek,Zhenyue Guan,Mihály Hujter,Antal Joós

DOI: https://doi.org/10.1080/00029890.2021.1901461

2021-05-28

Abstract:<span>It is a 300-year-old counterintuitive observation of Prince Rupert of the Rhine that in the cube a straight tunnel can be cut through which a second congruent cube can be passed. A hundred years later P. Nieuwland strengthened Rupert's problem and asked for the largest aspect ratio so that a larger homothetic copy of the same body can be passed through it. We show that cubes and, in fact all, rectangular boxes have Rupert's passages in every direction that is not parallel to the faces. In the case of the cube it was assumed without proof that the solution of the Nieuwland's problem is a tunnel perpendicular to the largest square contained by the cube. We prove that this assumption is unwarranted not only for the cube, but also for all other rectangular boxes.</span>
The size of maximal systems of brick islands

Tom Eccles

DOI: https://doi.org/10.48550/arXiv.1010.4578

2010-10-22

Abstract:For integers $m_1,...,m_d>0$ and a cuboid $M=[0,m_1]\times ... \times [0,m_d]\subset \mathbb{R}^d$, a brick of $M$ is a closed cuboid whose vertices have integer coordinates. A set $H$ of bricks in $M$ is a system of brick islands if for each pair of bricks in $H$ one contains the other or they are disjoint. Such a system is maximal if it cannot be extended to a larger system of brick islands. Extending the work of Lengvárszky, we show that the minimum size of a maximal system of brick islands in $M$ is $\sum_{i=1}^d m_i - (d-1)$. Also, in a cube $C=[0,m]^d$ we define the corresponding notion of a system of cubic islands, and prove bounds on the sizes of maximal systems of cubic islands.

Combinatorics

There is no Perfect Cuboid

Multiple New Important Conjectures on Equivalence to Perfect Cuboid and Euler Brick

On Walter Wyss's no perfect cuboid paper

Novel required properties of, and efficient algorithms to seek, perfect cuboids

A note on the third cuboid conjecture. Part I

Perfect Cuboid and Congruent Number Equation Solutions

There is no perfect Mondrian partition for squares of side lengths less than 1001

Nonexistence of Euler Boxes with Semiprime Sides

Parametric Solutions for a Nearly-Perfect Cuboid

The number of perfect matchings in a brick

Cubic bricks that every b-invariant edge is forcing

Product representation of perfect cubes

There are no finite partial cubes of girth more than 6 and minimum degree at least 3

Dudeney's Dissection is Optimal

Asymptotic estimates for roots of the cuboid characteristic equation in the linear region

Primitive Euler brick generator

A Note on the Subcubes of the $n$-Cube

The relationship between face cuboids and elliptic curves

Where do odd perfect numbers live?

Cubes and Boxes Have Rupert’s Passages in Every Nontrivial Direction

The size of maximal systems of brick islands