Related papers: Catalan's conjecture is Mih\u{a}ilescu's theorem
In this paper we deal with the Cauchy problem for the incompressible Euler equations in the three-dimensional periodic setting. We prove non-uniqueness for an $L^2$-dense set of H\"older continuous initial data in the class of H\"older…
In this note we use the analogy between the Catalan sequence and the Rueppel sequence to derive a variety of conjectures surrounding the Hankel transforms of a number of sequences closely related to the Rueppel sequence. Use is made of the…
We consider a variety of Euler's conjecture, i.e., whether the Diophantine system \[\begin{cases} n=a_{1}+a_{2}+\cdots+a_{s-1}, a_{1}a_{2}\cdots a_{s-1}(a_{1}+a_{2}+\cdots+a_{s-1})=b^{s} \end{cases}\] has solutions…
We prove the following conjecture of Zeilberger. Denoting by $C_n$ the Catalan number, define inductively $A_n$ by $(-1)^{n-1}A_n=C_n+\sum_{j=1}^{n-1} (-1)^{j} \binom{2n-1}{2j-1} A_j \,C_{n-j}$ and $a_n=2A_n/C_n$. Then $a_n$ (hence $A_n$)…
We show that Euler's relation and the Taxi-Cab relation are both solutions of the same equation. General solutions of sums of two consecutive cubes equaling the sum of two other cubes are calculated. There is an infinite number of relations…
We prove various congruences for Catalan and Motzkin numbers as well as related sequences. The common thread is that all these sequences can be expressed in terms of binomial coefficients. Our techniques are combinatorial and algebraic:…
A rational Ansatz is proposed for the generating function $\sum_{j,k} \beta_{2j+k,2j}x^j y^k$, where $\beta_{m,u}$ is the number of primitive chinese character diagrams with $u$ univalent and $2m-u$ trivalent vertices. For…
We discuss some well-known compactness principles for uncountable structures of small regular sizes ($\omega_n$ for $2 \le n<\omega$, $\aleph_{\omega+1}$, $\aleph_{\omega^2+1}$, etc.), consistent from weakly compact (the size-restricted…
We show that the Eulerian-Catalan numbers enumerate Dyck permutations. We provide two proofs for this fact, the first using the geometry of alcoved polytopes and the second a direct combinatorial proof via an Eulerian-Catalan analogue of…
In this short paper, I present a few theorems on sentences of arithmetic which are related to Yablo's Paradox as G\"odel's first undecidable sentence was related to the Liar paradox. In particular, I consider two different arithemetizations…
The purpose of this paper is to prove some existence and non-existence theorems for the nonlinear elliptic problems of the form -{\Delta}_{p}u={\lambda}k(x)u^{q}\pmh(x)u^{{\sigma}} if x\in{\Omega}, subject to the Dirichlet conditions…
In this paper we provide some relationships between Catalan's constant and the $_3{\rm F}_2$ and $_4{\rm F}_3$ hypergeometric functions, deriving them from some parametric integrals. In particular, using the complete elliptic integral of…
We present a new proof of the necessary and sufficient condition for the existence of a triangle that is simultaneously inscribed in a circle and circumscribed about a central conic (an ellipse or a hyperbola). In the limiting case where…
In this paper, we study the geometric configurations of a finite set of points having the Cayley-Bacharach property in the $n$-dimensional projective space $\bbP^n$. Our main contribution is the proof of the Levinson-Ullery conjecture for…
We prove that at least $\left( \dfrac{(1+\epsilon)2m}{N-1}+1+\epsilon \right)^N$, where $0\leqslant \epsilon <1$, many general points, satisfy Demailly's conjecture. Previously, it was known to be true for at least $(2m+2)^N$ many general…
This note records some dilation theorems about contraction semigroups on a Hilbert space - all of which fall into the categories "known" or "probably known" - that I proved while working on my PhD in mathematics (under the supervision of…
Several variants of the Halpern-L\"auchli Theorem for trees of uncountable height are investigated. For $\kappa$ weakly compact, we prove that the various statements are all equivalent. We show that the strong tree version holds for one…
We provide a new interpretation of the Mazur-Tate Conjecture and then use it to obtain the first (unconditional) theoretical evidence in support of the conjecture for elliptic curves of strictly positive rank.
For elliptic curves given by the equation $E_{a}: y^{2}=x^{3}+ax$, we establish the best-possible version of Lang's conjecture on the lower bound of the canonical height of non-torsion points along with best-possible upper and lower bounds…
The paper is devoted to graded algebras having a single homogeneous relation. Using Gerasimov's theorem, a criterion to be N-Koszul is given, providing new examples. An alternative proof of Gerasimov's theorem for N=2 is given. Some related…