Related papers: Multiple and Complete New Important Conjectures on…
The classical combinatorial problem of $36$ officers has no solution, as there are no Graeco-Latin squares of order six. The situation changes if one works in a quantum setup and allows for superpositions of classical objects and admits…
In this paper, we study the complexity of two types of digraph packing problems: perfect out-forests problem and Steiner cycle packing problem. For the perfect out-forest problem, we prove that it is NP-hard to decide whether a given strong…
Euclid uses an undefined notion of "equal figures", to which he applies the common notions about equals added to equals or subtracted from equals. When (in previous work) we formalized Euclid Book~I for computer proof-checking, we had to…
By using pairs of nontrivial rational solutions of congruent number equation $$ C_N:\;\;y^2=x^3-N^2x, $$ constructed are pairs of rational right (Pythagorean) triangles with one common side and the other sides equal to the sum and…
The classical Berge-Fulkerson conjecture states that any bridgeless cubic graph $G$ admits a list of six perfect matchings such that each edge of $G$ belongs to two of the perfect matchings from the list. In this short note, we discuss two…
We discuss properties of diophantine solutions of the Pythagoras equation, $a^2+b^2=c^2$, where the three numbers have no common factor. Some of the highlights are: (1) All triplets for which $c$ (called the `peak') is non-prime can be…
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…
For finite dimensional algebras over algebraically closed fields, we study the sets of pairwise Hom-orthogonal modules and obtain new results on some open conjectures on the behaviour of bricks and several related problems, which we…
A body cuboid is a rectangular parallelepiped with integer edges and integer face diagonals; if its space diagonal is also integer, it is a perfect cuboid, whose existence is a long-standing open problem. We make two contributions to the…
A rational Diophantine triple is a set of three nonzero rational a,b,c with the property that ab+1, ac+1, bc+1 are perfect squares. We say that the elliptic curve y^2 = (ax+1)(bx+1)(cx+1) is induced by the triple {a,b,c}. In this paper, we…
Problems related to the existence of integral and rational points on cubic curves date back at least to Diophantus. A significant step in the modern theory of these equations was made by Siegel, who proved that a non-singular plane cubic…
In 1994, it was conjectured by Fan and Raspaud that every simple bridgeless cubic graph has three perfect matchings whose intersection is empty. In this paper we answer a question recently proposed by Mkrtchyan and Vardanyan, by giving an…
Concerning the problem of classifying complete submanifolds of Euclidean space with codimension two admitting genuine isometric deformations, until now the only known examples with the maximal possible rank four are the real Kaehler minimal…
The theory of perfect fluids is reconsidered from the point of view of a covariant Lagrangian theory. It has been shown that the Euler-Lagrange equations for a perfect fluid could be found in spaces with affine connections and metrics from…
Following Lortz, we construct a family of smooth steady states of the ideal, incompressible Euler equation in three dimensions that possess no continuous Euclidean symmetry. As in Lortz, they do possess a planar reflection symmetry and, as…
A well-known conjecture of Caratheodory states that the number of umbilic points on a closed convex surface in ${\mathbb E}^3$ must be greater than one. In this paper we prove this for $C^{3+\alpha}$-smooth surfaces. The Conjecture is first…
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…
The two-dimensional (2-D) Euler equations of a perfect fluid possess a beautiful geometric description: they are reduced geodesic equations on the infinite-dimensional Lie group of symplectomorphims with respect to a right-invariant…
We prove that one cannot construct, for arbitrary initial data, global-in-time physical classical solutions to Euler's equations of continuum rigid body mechanics when the constituent rigid bodies are not perfect spheres. By 'physical'…
A set of positive integers with the property that the product of any two of them is the successor of a perfect square is called Diophantine $D(-1)$--set. Such objects are usually studied via a system of generalized Pell equations naturally…