Related papers: A note on the third cuboid conjecture. Part I
A long-standing, unanswered question regarding Euclid's Elements concerns the absence of a theorem for the concurrence of the altitudes of a triangle, and the possible reasons for this omission. In the centuries following Euclid, a…
Linearly repetitive cut and project sets are mathematical models for perfectly ordered quasicrystals. In a previous paper we presented a characterization of linearly repetitive cut and project sets. In this paper we extend the classical…
The analogue of Hilbert's tenth problem over $\mathbb{Q}$ asks for an algorithm to decide the existence of rational points in algebraic varieties over this field. This remains as one of the main open problems in the area of undecidability…
We study the interplay among Wall's $D(2)$ problem, normal generation conjecture (the Wiegold Conjecture) of perfect groups and Swan's problem on partial Euler characteristic and deficiency of groups. In particular, for a 3-dimensional…
The three-body problem is reexamined in the framework of general relativity. The Newtonian three-body problem admits Euler's collinear solution, where three bodies move around the common center of mass with the same orbital period and…
We give upper and lower bounds for the largest integer not representable as positive linear combination of three given integers, disproving an upper bound conjectured by Beck, Einstein and Zacks.
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…
We prove a strong analogue of Liouville's Theorem in Diophantine approximation for points on arbitrary algebraic varieties. We use this theorem to prove a conjecture of the first author for cubic surfaces in $\P^3$.
Euler states without proof statements about the form of prime divisors of numbers of the form aa+Nbb. See Ed Sandifer's How Euler Did It, ``Factors of Forms'', December 2005 at http://www.maa.org/news/howeulerdidit.html for a summary of the…
In this paper we prove a conjecture that $D(4)$-quintuple does not exist using both classical and new methods. Also, we give a new version of the Rickert's theorem that can be applied on some $D(4)$-quadruples.
A set of $m$ positive integers $\{a_1, a_2, \dots , a_m\}$ is called a Diophantine $m$-tuple if $a_i a_j + 1$ is a perfect square for all $1 \le i < j \le m$. In 2004 Dujella proved that there is no Diophantine sextuple and that there are…
It is shown that there exist infinitely many triangular numbers (congruent to 3 mod 12) which cannot be the distance between two perfect numbers.
The purpose of this paper is to construct a crepant resolution of quotient singularities by trihedral groups ( finite subgroups of SL(3,C) of certain type ), and prove that each Euler number of the minimal model is equal to the number of…
We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer…
The purpose of this paper is to elucidate, by means of concepts and theorems drawn from mathematical logic, the conditions under which the existence of a multiverse is a logical necessity in mathematical physics, and the implications of…
Recently, Adiprasito et al. have initiated the study of the so-called no-dimensional Tverberg problem. This problem can be informally stated as follows: Given $n\geq k$, partition an $n$-point set in Euclidean space into $k$ parts such that…
A proof of the isometric embedding of a given two-metric in E^3 of class C^1. The method uses the theory of first order partial differential equations. The curvature of the metric plays no role in the proof.
In the 2-dimensional curved 3-body problem, we prove the existence of Lagrangian and Eulerian homographic orbits, and provide their complete classification in the case of equal masses. We also show that the only non-homothetic hyperbolic…
A new proof of the non-rationality of a generic cubic threefold is given as follows: If a generic cubic threefold were rational then the associated intermediate Jacobian would be a product of Jacobians of curves. We degenerate a generic…
We present some results obtained in collaboration with prof. Piero D'Ancona concerning global existence for the 3D cubic non linear massless Dirac equation with a potential for small initial data in $H^1$ with slight additional assumptions.…