Related papers: The proof of three power-exponential inequalities
We study solutions to the equation $a+b=c$, where $a,b,c$ form a triple of coprime natural numbers. The $abc$ conjecture asserts that, for any $\epsilon>0$, such triples satisfy $\mathrm{rad}(abc) \ge c^{1-\epsilon}$ with finitely many…
In this article, we prove several multi-term refinements of Young type inequalities for both real numbers and operators improving several known results. Among other results, we prove \begin{eqnarray*}…
Let (a,b,c) be a primitive Pythagorean triple, i.e., a^{2}+b^{2}=c^{2} with gcd(a,b,c)=1, a even and b odd. Terai's conjecture says that the Diophantine equation x^{2}+b^{y}=c^{z} has only the positive integer solutions (x,y,z)=(a,2,2). In…
We study triples {a,b,c} of distinct nonzero rational numbers such that a+1,b+1,c+1,ab+1,ac+1,bc+1 and abc+1 are all perfect squares. We prove that there exist infinitely many such triples. In contrast, we show that no triple of positive…
We prove the equality of three conjectural formulas for the Brumer--Stark units. The first formula has essentially been proven, so the present paper also verifies the validity of the other two formulas.
The well-known $abc$-conjecture concerns triples $(a,b,c)$ of non-zero integers that are coprime and satisfy ${a+b+c=0}$. The strong $n$-conjecture is a generalisation to $n$ summands where integer solutions of the equation ${a_1 + \ldots +…
We refine a remark of Steinerberger (2024), proving that for $\alpha \in \mathbb{R}$, there exists integers $1 \leq b_{1}, \ldots, b_{k} \leq n$ such that \[ \left\| \sum_{j=1}^k \sqrt{b_j} - \alpha \right\| = O(n^{-\gamma_k}), \] where…
The following two decision problems capture the complexity of comparing integers or rationals that are succinctly represented in product-of-exponentials notation, or equivalently, via arithmetic circuits using only multiplication and…
For all positive integers n, we prove the following divisibility properties: $$(2n+3){2n\choose n} | 3{6n\choose 3n}{3n\choose n}, and (10n+3){3n\choose n} | 21{15n\choose 5n} {5n\choose n}.$$ This confirms two recent conjectures of Z.-W.…
Inequalities for exponential sums are studied. Our results improve an old result of G. Halasz and a recent result of G. Kos. We prove several other essentially sharp related results in this paper.
This article offers different proofs of ten inequalities from those already published. So that the readers can see for themselves, the tasks specified in the condition of the source and classical inequalities which used in previously…
It is shown that the unique representation of positive integers in terms of tribonacci numbers and the unique representation in terms of iterated A, B and C sequences defined from the tribonacci word are equivalent. Two auxiliary…
We announce a number of conjectures associated with and arising from a study of primes and irrationals in $\mathbb{R}$. All are supported by numerical verification to the extent possible.
We prove the following exponential inequality: Let $n\geq 1$ and let $X_1,...,X_n$ be $n$ independent identically distributed symmetric real-valued random variables. For any $x,y>0$, we have \[\mathbb{P}\big({X_1+...+X_n}\geq x,\,…
Numbers are often used to define more complicated numbers. For example, two integers are used to define a rational number and two reals are used to define a complex number. It might be expected that an irrational power of an irrational…
Doubly non-negative matrices arise naturally in many setting including Markov random fields (positively banded graphical models) and in the convergence analysis of Markov chains. In this short note, we settle a recent conjecture by C.R.…
A conjecture posed by S. Hayajneh and F. Kittaneh claims that given $A,B$ positive matrices, $0\le t\le 1$, and any unitarily invariant norm it holds $|||A^tB^{1-t}+B^tA^{1-t}|||\le|||A^tB^{1-t}+A^{1-t}B^t|||$. Recently, R. Bhatia proved…
In this paper we approximate a Schr\"odinger operator on $L^2(\R)$ by Jacobi operators on $\ell^2(\Z)$ to provide new proofs of sharp Lieb-Thirring inequalities for the powers $\gamma=1/2$ and $\gamma=3/2$. To this end we first investigate…
In this note we extend a 2018 result of Bardos and Titi \cite{BT} to a new class of functional spaces $C^{0,\alpha}_\lambda(\bar{\Omega})$. It is shown that weak solutions $\,u\,$ satisfy the energy equality provided that $u\in…
We prove that the known sufficient conditions on the real parameters $(p,q)$ for which the matrix power mean inequality $((A^p+B^p)/2)^{1/p}\le((A^q+B^q)/2)^{1/q}$ holds for every pair of matrices $A,B>0$ are indeed best possible. The proof…