Source author record

Mostafa Hayajneh

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
3topics
4close collaborators

Published work

3 publications

preprint2023arXiv

Norm inequalities involving geometric means

Let AiA_i and BiB_i be positive definite matrices for every i=1,⋯ ,m.i=1,\cdots,m. Let Z=[Zij]Z=[Z_{ij}] be the block matrix, where Zij=Bi12(∑k=1mAk)Bj12Z_{ij}=B_i^{^\frac{1}{_2}}\left(\displaystyle\sum_{k=1}^mA_k\right)B_j^{^\frac{1}{_2}} for every i,j= 1,⋯ ,m i,j=~1,\cdots,m. It is shown that ∣∣∣∑i=1m(Ais♯Bis)r∣∣∣≤∣∣∣Zsr2∣∣∣≤∣∣∣((∑i=1mAi)srp4(∑i=1mBi)srp2(∑i=1mAi)srp4)1p∣∣∣,\left|\left|\left|\sum_{i=1}^m\left(A_i^{s}\sharp B_i^{s}\right)^r\right|\right|\right|\leq\left|\left|\left| Z^{^\frac{sr}{_2}} \right|\right|\right| \leq \left|\left|\left|\left(\left(\sum_{i=1}^mA_i\right)^\frac{srp}{_4}\left(\sum_{i=1}^mB_i\right)^\frac{srp}{_2}\left(\sum_{i=1}^mA_i\right)^\frac{srp}{_4}\right)^{\frac{1}{_p}}\right|\right|\right|, for all s≥2s\geq2, for all p>0p>0 and r≥1r\geq1 such that rp≥1rp\geq1 and for all unitarily invariant norms. This result generalizes the results in \cite{ONIR} and gives an affirmative answer to a conjecture in \cite{OACRT} for all s≥2s\geq2 and for all p>0p>0 and r≥1r\geq1 such that rp≥1rp\geq1 and t=12t=\frac{1}{2}. This result also leads directly to Dinh, Ahsani, and Tam's conjecture in \cite{GAI} and proves Audenaert's result in \cite{ANIFP}.

preprint2017arXiv

Irreducibility of the Cayley-Menger determinant, and of a class of related polynomials

If SS is a given regular nn-simplex, n≥2n \ge 2, of edge length aa, then the distances a1a_1, ⋯\cdots, an+1a_{n+1} of an arbitrary point in its affine hull to its vertices are related by the fairly known elegant relation ϕn+1(a,a1,⋯ ,an+1)=0ϕ_{n+1} (a,a_1,\cdots,a_{n+1})=0, where ϕ=ϕt(x,x1,⋯ ,xn+1)=(x2+x12+⋯+xn+12)2−t(x4+x14+⋯+xn+14).ϕ= ϕ_t (x, x_1,\cdots,x_{n+1}) = \left( x^2+x_1^2+\cdots+x_{n+1}^2\right)^2 - t\left( x^4+x_1^4+\cdots+x_{n+1}^4\right). The natural question whether this is essentially the only relation is answered positively by M. Hajja, M. Hayajneh, B. Nguyen, and Sh. Shaqaqha in a recently submitted paper entitled "Distances from the vertices of a regular simplex." In that paper, the authors made use of the irreducibility of the polynomial ϕϕ in the case when n≥2n \ge 2, t=n+1t=n+1, x=a≠0x= a \ne 0, and k=Rk = \mathbb{R}, but supplied no proof, promising to do so in another paper that is turning out to be this one. It is thus the main aim of this paper to establish that irreducibility. In fact, we treat the irreducibility of ϕϕ without restrictions on tt, xx, aa, and kk. As a by-product, we obtain new proofs of results pertaining to the irreducibility of the general Cayley-Menger determinant that are more general than those established by C. D'Andrea and M. Sombra in Sib. J. Math. 46, 71--76.

preprint2016arXiv

Distances from the vertices of a regular simplex

If SS is a given regular dd-simplex of edge length aa in the dd-dimensional Euclidean space E\mathcal{E}, then the distances t1t_1, ⋯\cdots, td+1t_{d+1} of an arbitrary point in E\mathcal{E} to the vertices of SS are related by the elegant relation (d+1)(a4+t14+⋯+td+14)=(a2+t12+⋯+td+12)2.(d+1)\left( a^4+t_1^4+\cdots+t_{d+1}^4\right)=\left( a^2+t_1^2+\cdots+t_{d+1}^2\right)^2. The purpose of this paper is to prove that this is essentially the only relation that exists among t1,⋯ ,td+1.t_1,\cdots,t_{d+1}. The proof uses tools from analysis, algebra, and geometry.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.