ABSTRACT

Let G be a primitive strongly regular graph of order n and A is adjacency matrix. In this paper we first associate to A a real 3-dimensional Euclidean Jordan algebra $\mathcal{A}$ with rank three spanned by $I_n$ and the natural powers of A that is a subalgebra of the Euclidean Jordan algebra of symmetric matrix of order n. Next we consider a basis $\mathcal{B}$ that is a Jordan frame of $\mathcal{A}$ . Finally, by an algebraic asymptotic analysis of the second spectral decomposition of some Hadamard series associated to A we establish some inequalities over the spectra and over the parameters of a strongly regular graph.

Keywords:

Euclidean Jordan Algebras, Graph Theory, Strongly Regular Graphs

1. Introduction

Good surveys on Euclidean Jordan algebras can be found in books such as A Taste of Jordan Algebras of Kevin McCrimmon [1] , Analysis on Symmetric Cones of Faraut and Korányi [2] and in the Koecher’s Minnesota Notes on Jordan Algebras and Their Applications [3] . Euclidean Jordan algebras become a good tool for the analysis of primal dual interior point methods [4] [5] [6] and [7] . But they have also a lot of applications on other branches of mathematics namely on the formalism of quantum mechanics [8] , on combinatorics [9] - [15] , and on statistics [16] . Recently, many authors had extended some properties of matrix theory to the Euclidean Jordan Algebras, see for example [17] [18] and [19] .

In this paper we analyse the spectra of Hadamard series associated to the adjacency matrix of a strongly regular graph to deduce asymptotic inequalities on the spectra and on the parameters of a strongly regular graph in the environment of Euclidean Jordan algebras.

The plan of this paper is as follows. In Section 2 we expose the principal definitions and results on Euclidean Jordan algebras. Next, in Section 3 we present the more relevant definitions and results on strongly regular graphs necessary for a clear exposition of this paper. Finally, in Section 4 we associate a three dimensional real Euclidean Jordan algebra A to a strongly regular graph and next we establish asymptotic inequalities on the spectra and on the parameters of a strongly regular graph, see (10) and (20) of Theorem 4 and 5 respectively.

2. A Short Introduction to Euclidean Jordan Algebras

Herein, we make an introduction to Euclidean Jordan algebras and present the definitions and the more relevant results needed for this paper without presenting the proofs of the results presented in this paper, since they are very well deduced in the monograph Analysis on symmetric cones of Faraut and Korányi, see [2] .

Let $\mathcal{A}$ be a vector space of finite dimension over a field $\mathcal{K}$ with the bilinear mapping $•\mathrm{<mo>\; :\; </mo>}\left(u\mathrm{,}v\right)\mapsto u•v$ from $\mathcal{A}\times \mathcal{A}$ to $\mathcal{A}$ . Then, $\mathcal{A}$ is called a power associative algebra if for any $x\in \mathcal{A}$ the subalgebra of $\mathcal{A}$ spanned by the powers of x is associative. If for all u and v in $\mathcal{A}$ we have ( $J_1$ ) $u•v=v•u$ and ( $J_2$ ) $u•\left(u^2•v\right)=u^2•\left(u•v\right)$ , with $u^2=u•u$ , then $\mathcal{A}$ is called a Jordan algebra.

If $\mathcal{A}$ is a Jordan algebra with unit element, then $\mathcal{A}$ is power associative (cf. [2] ).

Example 1. Let n be a natural number and A and B be two real matrices of order n. Then it is well known that in general $AB\ne BA$ where AB and BA represents the usual products of the matrices A by B and the usual product of the matrix B by A. Nevertheless, the multiplication $•$ define such that

$A•B=\frac{1}{2}\left(AB+BA\right)$

for all real matrices A and B of order n verifies $A•B=B•A$ . Now, we will show that, for any two real square matrices $A$ and $B$ of order n, we have $A•\left(A^2•B\right)=A^2•\left(A•B\right)$ . Indeed, we have that

$\begin{array}{c}4A•\left(A^2•B\right)=A\left(A^{2}B+B{A}^2\right)+\left(A^{2}B+B{A}^2\right)A\\ =A\left(A^{2}B\right)+A\left(B{A}^2\right)+\left(A^{2}B\right)A+\left(B{A}^2\right)A\\ =A^2\left(AB\right)+\left(AB\right)A^2+A^2\left(BA\right)+\left(BA\right)A^2\\ =A^2\left(AB+BA\right)+\left(AB+BA\right)A^2\\ =4A^2•\left(A•B\right)\mathrm{.}\end{array}$

And, therefore we have $A•\left(A^2•B\right)=A^2•\left(A•B\right)$ . Hence, the vector space $\mathcal{V}={\mathcal{M}}_n\left(ℝ\right)$ over the field of the real numbers with the operation $•$ is a Jordan algebra. But, we must also say that with this operation, $•$ , the square of a real matrix of order n is such that $A•A=AA$ where AA represents the usual product of matrices. One proves by induction that the power of order n relatively to the product $•$ of a matrix $A$ is equal to the usual power of order n of A. The subalgebra $\text{Sym}\left(n\mathrm{,}ℝ\right)$ of $\mathcal{V}$ formed by the real symmetric matrices of order n of $\mathcal{V}$ with the operation $•$ is also a Jordan algebra.

Remark 1. If $\mathcal{V}$ is a vector space over a field $\mathcal{K}$ with characteristic distinct from 2 with the operation $\star$ from $\mathcal{V}\times \mathcal{V}$ onto $\mathcal{V}$ such that $\mathcal{V}$ with this operation is an associative algebra, then $\mathcal{V}$ becomes a Jordan algebra when

equipped with the operation $•$ such that¹ $x•y=\frac{x\star y+y\star x}{2}$ .

From now on, we only deal with real Jordan algebras with finite dimension and with unit and we will denote it by $e$ , and when we say let $\mathcal{A}$ be a Jordan algebra we are meaning that we are saying that $\mathcal{A}$ is a real Jordan algebra with the element $e$ and is of finite dimension.

Let $\mathcal{A}$ be a Jordan algebra with the operation $•$ of multiplication of two elements of $\mathcal{A}$ with unit element e. If there is an inner product $\langle \cdot \mathrm{,}\cdot \rangle$ on $\mathcal{A}$ such that $\langle u•v\mathrm{,}w\rangle =\langle v\mathrm{,}u•w\rangle$ , for any u, v, w in $\mathcal{A}$ then $\mathcal{A}$ is called an Euclidean Jordan algebra.

Sometimes, we will say let $\mathcal{A}$ be an Euclidean Jordan algebra and we will use the notation $x•y$ to represent the product of the elements x and y and $\langle x\mathrm{,}y\rangle$ to represent the inner product of x and y. Or, we will say let $\left(A\mathrm{,}•\mathrm{,}\langle -\mathrm{,}-\rangle \mathrm{,}e\right)$ be an Euclidean Jordan algebra.

Remark 2. Let $\mathcal{A}$ be an algebra over a field $\mathbb{K}$ equipped the operation of multiplication $•$ from $\mathcal{A}\times \mathcal{A}$ to $\mathcal{A}$ and with a inner product $\langle -\mathrm{,}-\rangle$ . Sometimes one defines for any $u\in \mathcal{A}$ the linear operator $L\left(u\right)v=u•v\mathrm{,}\forall v\in \mathcal{A}$ to express that $\left(\mathcal{A}\mathrm{,}•\mathrm{,\; <mo>\; <\; </mo>,\; <mo>\; >\; </mo>}\right)$ is an Euclidean Jordan algebra if and only if $L\left(x\right)y=L\left(y\right)x\mathrm{,}\forall x\mathrm{,}y\in \mathcal{A}$ and $L\left(x\right)L\left(x^2\right)=L\left(x^2\right)L\left(x\right)\mathrm{,}\forall x\in \mathcal{A}$ and $\langle L\left(x\right)y\mathrm{,}z\rangle =\langle y\mathrm{,}L\left(x\right)z\rangle \mathrm{,}\forall x\mathrm{,}y\mathrm{,}z\in \mathcal{A}$ .

Some examples of Euclidean Jordan algebras over the real numbers are:

1) the n dimensional Euclidean Jordan algebra $\mathcal{A}={ℝ}^n$ endowed with the product $x•y$ and $\langle x\mathrm{,}y\rangle$ defined in the following way: for

$x=\left(x_1\mathrm{,}{x}_2\mathrm{,}\cdots \mathrm{,}{x}_n\right)\in {ℝ}^n$ and for $y=\left(y_1\mathrm{,}{y}_2\mathrm{,}\cdots \mathrm{,}{y}_n\right)\in {ℝ}^n$

$x\circ y=\left(x_1\mathrm{,}{x}_2\mathrm{,}\cdots \mathrm{,}{x}_n\right)•\left(y_1\mathrm{,}{y}_2\mathrm{,}\cdots \mathrm{,}{y}_n\right)=\left(x_1{y}_1\mathrm{,}{x}_2{y}_2\mathrm{,}\cdots \mathrm{,}{x}_n{y}_n\right)$

and $\langle x,y\rangle ={\sum }_{i=1}^n{x}_i{y}_i$ . The unit element of $\mathcal{A}$ is $e=\left(\mathrm{1,1,}\cdots \mathrm{,1}\right)$ .

2) the Euclidean Jordan algebra $\mathcal{A}={ℝ}^n$ , with $n\ge 2$ and with the operations $x•y$ and $\langle x,y\rangle$ defined in the following way: for $x=\left(x_1,x_2,\cdots ,x_n\right)$ and $y=\left(y_1,y_2,\cdots ,y_n\right)$ ,

$x•y=\left(x^{\text{T}}y\mathrm{,}{x}_1{y}_2+y_1{x}_2\mathrm{,}{x}_1{y}_3+y_1{x}_3\mathrm{,}\cdots \mathrm{,}{x}_1{y}_n+y_1{x}_n\right)$

and $\langle x,y\rangle ={\sum }_{i=1}^n{x}_i{y}_i$ . The unit element of $\mathcal{A}$ is $e=\left(\mathrm{1,0,}\cdots \mathrm{,0}\right)$ .

3) the Euclidean Jordan algebra of real symmetric matrices of order n,

$\mathcal{A}=\text{Sym}\left(n\mathrm{,}ℝ\right)$ endowed with the Jordan product $x•y=\frac{xy+yx}{2}$ and the

inner product defined by $\langle x\mathrm{,}y\rangle =\text{tr}\left(x•y\right)$ , where tr denotes the usual trace of matrices. The unit element of $\mathcal{A}$ is the identity matrix of order n, $I_n$ .

4) The Euclidean Jordan algebra of self adjoint complex matrices of order n, $H_n\left(C\right)$ with

$x•y=\frac{xy+yx}{2}$

and $\langle x\mathrm{,}y\rangle =\text{Re}\left(\text{tr}\left(x•y\right)\right)$ for x and $y\in H_n\left(C\right)$ .

5) the Euclidean Jordan algebra of self adjoint quaternionic matrices of order n, $H_n\left(H\right)$ with

$x•y=\frac{xy+yx}{2}$

and $\langle x\mathrm{,}y\rangle =\text{Re}\left(\text{tr}\left(x•y\right)\right)$ for x and $y\in H_n\left(H\right)$ .

6) the Euclidean Jordan algebra of self adjoint octonionic matrices of order 3, $H_3\left(O\right)$ with

$x•y=\frac{xy+yx}{2}$

and $\langle x\mathrm{,}y\rangle =\text{Re}\left(\text{tr}\left(x•y\right)\right)$ for x and $y\in H_3\left(O\right)$ .

From now on, we will suppose that when we say let $\mathcal{A}$ be an Euclidean Jordan algebra we suppose that $\mathcal{A}$ is a real finite dimensional Euclidean Jordan algebra with unit element, that we will denote by e and for a more explicit writing sometimes we will say let $\left(\mathcal{A}\mathrm{,}•\mathrm{,}\langle -\mathrm{,}-\rangle \mathrm{,}e\right)$ be an Euclidean Jordan algebra for meaning that $\mathcal{A}$ is an Euclidean Jordan algebra with the operation $•$ of two elements of $\mathcal{A}$ and equipped with the inner product $\langle -\mathrm{,}-\rangle$ and that $\mathcal{A}$ has the unit element e.

Let consider the Euclidean Jordan algebra $\left(\mathcal{A}\mathrm{,}•\mathrm{,}\langle -\mathrm{,}-\rangle \mathrm{,}e\right)$ . An element $b\in \mathcal{A}$ is an idempotent if $b^2=b$ . Two idempotents c and d in $\mathcal{A}$ are orthogonal if $c•d=0$ . Herein, we must say that if two elements of the Euclidean Jordan algebra $\mathcal{A}$ are orthogonal relatively to the product $•$ of the Euclidean Jordan algebra $\mathcal{A}$ then they are also orthogonal relatively to the inner product of this Euclidean Jordan algebra. Indeed, if $x•y=0$ then we have

$\langle x\mathrm{,}y\rangle =\langle x\mathrm{,}y•e\rangle =\langle y•x\mathrm{,}e\rangle =\langle \mathrm{0,}e\rangle =0.$

Let l be a natural number. The set $\left\{f_1\mathrm{,}{f}_2\mathrm{,}\cdots \mathrm{,}{f}_l\right\}$ is a complete system of orthogonal idempotents if the following three conditions hold: 1) $f_i^2=f_i$ , for $i=1,\cdots ,l$ , 2) $f_i•f_j=0$ , if $i\ne j$ , and 3) ${\sum }_{i=1}^l{f}_i=e$ . An idempotent f is primitive if it is a non-zero idempotent of $\mathcal{A}$ and cannot be written as a sum of two orthogonal non-zero idempotents. We say that $\left\{f_1\mathrm{,}{f}_2\mathrm{,}\cdots \mathrm{,}{f}_l\right\}$ is a Jordan frame if $\left\{f_1\mathrm{,}{f}_2\mathrm{,}\cdots \mathrm{,}{f}_l\right\}$ is a complete system of orthogonal idempotents such that each idempotent is primitive.

Example 2. Let consider the Euclidean Jordan algebra $\mathcal{A}=\text{Sym}\left(\mathrm{3,}ℝ\right)$ with

the Jordan product

$x•y=\frac{xy+yx}{2}\mathrm{,}\forall x\mathrm{,}y\in \mathcal{A}$

and the inner product $\langle x\mathrm{,}y\rangle =\text{tr}\left(x•y\right)$ . We will show that

$\mathcal{S}=\left\{c\mathrm{,}d\right\}=\left\{\left[\begin{array}{lll}1\hfill & 0\hfill & 0\hfill \\ 0\hfill & 1\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \end{array}\right]\mathrm{,}\left[\begin{array}{lll}0\hfill & 0\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \\ 0\hfill & 0\hfill & 1\hfill \end{array}\right]\right\}$

is a complete system of orthogonal idempotents of $\mathcal{A}$ . First, we must note that

$x^2=x•x=\frac{xx+xx}{2}=xx=x^2$ .

So the Jordan square of an element of $\mathcal{A}$ is the usual square of a symmetric matrix. Now since $c^2=c$ , $d^2=d$ , $c•d=0$ and $c+d=I_3$ , then $\mathcal{S}$ is a complete system of orthogonal idempotents of $\mathcal{A}$ , but S is not a Jordan frame of $\mathcal{A}$ since $c=f+g$ with

$f=\left[\begin{array}{lll}1\hfill & 0\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \end{array}\right]$ and $g=\left[\begin{array}{lll}0\hfill & 0\hfill & 0\hfill \\ 0\hfill & 1\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \end{array}\right]$ ,

and $f^2=f$ and $g^2=g$ and

$f•g=\left[\begin{array}{lll}1\hfill & 0\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \end{array}\right]•\left[\begin{array}{lll}0\hfill & 0\hfill & 0\hfill \\ 0\hfill & 1\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \end{array}\right]=\left[\begin{array}{lll}0\hfill & 0\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \\ 0\hfill & 0\hfill & 0\hfill \end{array}\right]$ .

Let consider the Euclidean Jordan algebra $\left(\mathcal{A}\mathrm{,}•\mathrm{,}\langle -\mathrm{,}-\rangle \mathrm{,}e\right)$ . The rank of an element x in $\mathcal{A}$ is the least natural number l, such that the set $\left\{e\mathrm{,}x\mathrm{,}\cdots \mathrm{,}{x}^l\right\}$ is linearly dependent (where $x^2=x•x$ and $x^k=x•x^{k-1}$ ), and we write $\text{rank}\left(x\right)=l$ . This concept is expanded by defining the rank of the algebra $\mathcal{A}$ as being the natural number

$r=\text{rank}\left(\mathcal{A}\right)=max\left\{\text{rank}\left(u\right)\mathrm{<mo>\; :\; </mo>}u\in \mathcal{A}\right\}$ .

The elements of $\mathcal{A}$ with rank equal to the rank of $\mathcal{A}$ are the regular elements of $\mathcal{A}$ . This set of the regular elements of $\mathcal{A}$ is an open and dense set in $\mathcal{A}$ . If u is a regular element of $\mathcal{A}$ , with $r=\text{rank}\left(u\right)$ , then the set $\left\{e\mathrm{,}u\mathrm{,}{u}^2\mathrm{,}\cdots \mathrm{,}{u}^r\right\}$ is linearly dependent and the set $\left\{e\mathrm{,}u\mathrm{,}{u}^2\mathrm{,}\cdots \mathrm{,}{u}^{r-1}\right\}$ is linearly independent. Thus, we may conclude that there exist unique real numbers $a_1\left(u\right)\mathrm{,}\cdots \mathrm{,}{a}_r\left(u\right)$ , such that

$u^r-a_1\left(u\right)u^{r-1}+\cdots +{\left(-1\right)}^r{a}_r\left(u\right)e=0$ ,

where 0 is the null vector of $\mathcal{A}$ . Making the necessary adjustments we obtain the polynomial in $\lambda$ , $p\left(u\mathrm{,}-\right)$ such that

$p\left(u\mathrm{,}\lambda \right)={\lambda }^r-a_1\left(u\right){\lambda }^{r-1}+\cdots +{\left(-1\right)}^r{a}_r\left(u\right)\mathrm{.}$ (1)

The polynomial $p\left(u\mathrm{,}-\right)$ is called the characteristic polynomial of u, where each coefficient $a_i$ is a homogeneous polynomial of degree i in the coordinates of u in a fixed basis of $\mathcal{A}$ . Although the characteristic polynomial $p\left(u\mathrm{,}-\right)$ is defined for a regular element of $\mathcal{A}$ , we can extend the definition of characteristic polynomial to all elements of $\mathcal{A}$ by continuity since each polynomial $a_i$ is homogeneous and the set of regular elements of $\mathcal{A}$ is dense in $\mathcal{A}$ . Herein, we must say that the characteristic polynomial of a regular element of $\mathcal{A}$ coincides with his minimal polynomial and for a non regular element the minimal polynomial of this element divides its characteristic polynomial.

Herein, we will justify the reason to call the polynomial $p\left(x\mathrm{,}-\right)$ the characteristic polynomial of x when x is regular. Let x be a regular element of the Euclidean Jordan algebra $\mathcal{A}$ , $L_0\left(x\right)$ represent the restriction of the operator $L\left(x\right)$ to the space $ℝ\left[x\right]$ and let $r=\text{rank}\left(A\right)$ . Now since x is a regular element of $\mathcal{A}$ then we can say that $\mathcal{B}=\left\{e,x^2,x^3,\cdots ,x^{r-1}\right\}$ is a basis of $ℝ\left[x\right]$ . Now, let express the images of the elements of the basis $\mathcal{B}$ by the linear application $L_0\left(x\right)$ on the basis $\mathcal{B}$ . Hence, we present the following calculations:

$\begin{array}{l}{L}_0\left(x\right)\left(e\right)=x=0e+1x+\cdots +0x^{r-1}\\ L_0\left(x\right)x=x^2=0e+0x+1x^2+\cdots +0x^{r-1}\\ L_0\left(x\right)\left(x^2\right)=x^3=0e+0x+0x^2+1x^3+\cdots +0x^{r-1}\\ ⋮\\ L_0\left(x\right)\left(x^{r-2}\right)=x^{r-1}=0e+0x+0x^2+\cdots +1x^{r-1}\\ L_0\left(x^{r-1}\right)=x^r=-{\left(-1\right)}^r{a}_r\left(x\right)e-{\left(-1\right)}^{r-1}{a}_{r-1}\left(x\right)x-\cdots +a_1\left(x\right)x^{r-1}.\end{array}$

Therefore the matrix of the operator $L_0\left(x\right)$ on the basis $\mathcal{B}$ is

$\begin{array}{c}{M}_{L_0\left(x\right)}=\left[\begin{array}{cccccc}0& 0& 0& \cdots & 0& -{\left(-1\right)}^r{a}_r\left(x\right)\\ 1& 0& 0& \cdots & 0& -\left(-1\right){\left(-1\right)}^{r-1}{a}_{r-1}\left(x\right)\\ 0& 1& 0& \cdots & 0& -{\left(-1\right)}^{r-2}{a}_{r-2}\left(x\right)\\ ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ 0& 0& 0& \cdots & 1& a_1\left(x\right)\end{array}\right]\\ =\left[\begin{array}{cccccc}0& 0& 0& \cdots & 0& -{\left(-1\right)}^r{a}_r\left(x\right)\\ 1& 0& 0& \cdots & 0& 0-{\left(-1\right)}^{r-1}{a}_{r-1}\left(x\right)\\ 0& 1& 0& \cdots & 0& 0\\ ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ 0& 0& 0& \cdots & 1& -\left(-a_1\left(x\right)\right)\end{array}\right].\end{array}$

Now, we have

$\left|\lambda I_r-M_{L_0\left(x\right)}\right|=\left|\begin{array}{cccccc}\lambda & 0& 0& \cdots & 0& -{\left(-1\right)}^r{a}_r\left(x\right)\\ 1& \lambda & 0& \cdots & 0& -{\left(-1\right)}^{r-1}{a}_{r-1}\left(x\right)\\ 0& 1& \lambda & \cdots & 0& -{\left(-1\right)}^{r-2}\left(x\right)a_{r-2}\left(x\right)\\ ⋮& ⋮& ⋮& \ddots & ⋮& ⋮\\ 0& 0& 0& \cdots & 1& \lambda -a_1\left(x\right)\end{array}\right|=p\left(x,\lambda \right).$

The roots of the characteristic polynomial of $x\mathrm{,}p\left(x\mathrm{,}-\right)\mathrm{,}{\lambda }_1\mathrm{,}{\lambda }_2\mathrm{,}\cdots \mathrm{,}{\lambda }_{r-1}$ and ${\lambda }_r$ , are called the eigenvalues of x. Furthermore, the coefficients $a_1\left(x\right)$ and $a_r\left(x\right)$ of the characteristic polynomial of x, are called the trace and the determinant of x, respectively. We most note that when x is regular element of $\mathcal{A}$ then $\text{trace}\left(M_{L_0\left(x\right)}\right)=a_1\left(x\right)$ and that $\left|M_{L_0\left(x\right)}\right|=a_r\left(x\right)$ .

Remark 3. For a clear understanding of the theory of Euclidean Jordan algebras a very good readable survey is the chapter 5, An Introduction to Formally Real Jordan Algebras and Their Applications in Optimization written by Farid Alizadeh in the book [20] .

Theorem 1. ( [2] , p. 43). Let $\mathcal{A}$ be a real Euclidean Jordan algebra. Then for u in $\mathcal{A}$ there exist unique real numbers $l\in \mathbb{N}$ , ${\lambda }_1\mathrm{,}{\lambda }_2\mathrm{,}\cdots \mathrm{,}{\lambda }_l$ , all distinct, and a unique complete system of orthogonal idempotents $\left\{f_1\mathrm{,}{f}_2\mathrm{,}\cdots \mathrm{,}{f}_l\right\}$ such that

$u={\lambda }_1{f}_1+{\lambda }_2{f}_2+\cdots +{\lambda }_l{f}_l.$ (2)

The numbers ${\lambda }_j$ ’s of (2) are the eigenvalues of u and the decomposition (2) is the first spectral decomposition of u.

Example 3. Let A be a matrix of the Euclidean Jordan algebra $\mathcal{A}=\text{Sym}\left(n\mathrm{,}ℝ\right)$ If A is a matrix with l distinct eigenvalues ${\lambda }_1\mathrm{,}{\lambda }_2\mathrm{,}\cdots \mathrm{,}{\lambda }_{l-1}$ and ${\lambda }_l$ , then the complete system of orthogonal idempotents associated to A is the set $\mathcal{S}=\left\{f_1\mathrm{,}{f}_2\mathrm{,}\cdots \mathrm{,}{f}_l\right\}$ where each idempotents $f_i$ for $i=1,\cdots ,l$ is the projector on the eigenvector space of A associate to the eigenvalue ${\lambda }_i$ defined by the equalities (3)

$f_i=\frac{{\prod }_{j=1,j\ne i}^l\left({\lambda }_j{I}_n-A\right)}{{\prod }_{j=1,j\ne i}^l\left({\lambda }_j-{\lambda }_i\right)}$ (3)

for $i=1,\cdots ,l$ . We must say, that they are unique. We first note that since $f_i$ s are projectors then we have $I_n=f_1+f_2+\cdots +f_l$ , $f_i{f}_j=0,\forall i\ne j,i,j\in \left\{1,\cdots ,l\right\}$ then $f_i•f_j=0$ and $f_i^2=f_i$ for $i=1,\cdots ,l$ and we have $A={\sum }_{i=1}^l{\lambda }_i{f}_i$ is the first spectral decomposition associated to A.

But there is another way, for a clear exposition of this method of calculation see [20] , to construct the idempotents $f_i$ ’s on a more practically way. So will describe the method of construction of the idempotents. We have $A^j={\sum }_{i=1}^l{\lambda }_i^j{f}_i,\forall j=0,\cdots ,l-1$ . So we obtain the following system

$\{\begin{array}{l}{I}_n=f_1+f_2+\cdots +f_l\hfill \\ A={\lambda }_1{f}_1+{\lambda }_2{f}_2+\cdots +{\lambda }_l{f}_l\hfill \\ A^2={\lambda }_1^2{f}_1+{\lambda }_2^2{f}_2+\cdots +{\lambda }_l^2{f}_l\hfill \\ ⋮\hfill \\ A^{l-1}={\lambda }^{l-1}{f}_1+{\lambda }_2^{l-1}{f}_2+\cdots +{\lambda }_l^{l-1}{f}_l\hfill \end{array}$ (4)

Since the matrix of the coefficients of the system (4), considering $f_i$ for $i=1,\cdots ,l$ as unknowns and $I_n\mathrm{,}A\mathrm{,}{A}^2$ and $A^{l-1}$ as constants, is a non singular matrix since this is the transpose of the Vandermond matrix², then using the Crammer rule we obtain that

$\begin{array}{l}{f}_i=\frac{\left|\begin{array}{ccccccc}1& \cdots & 1& I_n& 1& \cdots & 1\\ {\lambda }_1& \cdots & {\lambda }_{i-1}& A& {\lambda }_{i+1}& \cdots & {\lambda }_l\\ ⋮& \ddots & ⋮& ⋮& ⋮& \ddots & ⋮\\ {\lambda }_1^{l-1}& \cdots & {\lambda }_{i-1}^{l-1}& A^{l-1}& {\lambda }_{i+1}^{l-1}& \cdots & {\lambda }_l^{l-1}\end{array}\right|}{\left|\begin{array}{ccccccc}1& \cdots & 1& 1& 1& \cdots & 1\\ {\lambda }_1& \cdots & {\lambda }_{i-1}& {\lambda }_i& {\lambda }_{i+1}& \cdots & {\lambda }_l\\ ⋮& \ddots & ⋮& ⋮& \ddots & \ddots & ⋮\\ {\lambda }_1^{l-1}& \cdots & {\lambda }_{i-1}^{l-1}& {\lambda }_i^{l-1}& {\lambda }_{i+1}^{l-1}& \cdots & {\lambda }_l^{l-1}\end{array}\right|}\hfill \end{array}$

for $i=1,\cdots ,l$ .

Let now present a practical example. Let consider an element of the Euclidean

Jordan algebra $\mathcal{A}=\text{Sym}\left(\mathrm{3,}ℝ\right)$ , $A=\left[\begin{array}{ccc}1& 2& 0\\ 2& 1& 0\\ 0& 0& 1\end{array}\right]$ . We have that the characteristic polynomial of A is $p_A\left(\lambda \right)=\left|\lambda I_3-A\right|=\left(\lambda -1\right)\left(\lambda +1\right)\left(\lambda -3\right)$ . Let consider the notation ${\lambda }_1=1,{\lambda }_2=-1$ and ${\lambda }_3=3$ . Now a complete system of orthogonal idempotents associated to A is $\mathcal{S}=\left\{f_1\mathrm{,}{f}_2\mathrm{,}{f}_3\right\}$ with

$f_1=\frac{\left|\begin{array}{ccc}{I}_3& 1& 1\\ A& -1& 3\\ A^2& 1& 9\end{array}\right|}{\left|\begin{array}{ccc}1& 1& 1\\ 1& -1& 3\\ 1& 1& 9\end{array}\right|}=\frac{-12I_3-8A+4A^2}{-16}=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ 0& 0& 1\end{array}\right],$

$f_2=\frac{\left|\begin{array}{ccc}1& I_3& 1\\ 1& A& 3\\ 1& A^2& 9\end{array}\right|}{\left|\begin{array}{ccc}1& 1& 1\\ 1& -1& 3\\ 1& 1& 9\end{array}\right|}=\frac{-6I_3+8A-2A^2}{-16}=\left[\begin{array}{ccc}\frac{1}{2}& -\frac{1}{2}& 0\\ -\frac{1}{2}& \frac{1}{2}& 0\\ 0& 0& 0\end{array}\right],$

$f_3=\frac{\left|\begin{array}{ccc}1& 1& I_3\\ 1& -1& A\\ 1& 1& A^2\end{array}\right|}{\left|\begin{array}{ccc}1& 1& 1\\ 1& -1& 3\\ 1& 1& 9\end{array}\right|}=\frac{2I_3-0A-2A^2}{-16}=\left[\begin{array}{ccc}\frac{1}{2}& \frac{1}{2}& 0\\ \frac{1}{2}& \frac{1}{2}& 0\\ 0& 0& 0\end{array}\right].$

Theorem 2. ( [2] , p. 44). Let $\mathcal{A}$ be a real Euclidean Jordan algebra with $\text{rank}\left(\mathcal{A}\right)=r$ . Then for each u in $\mathcal{A}$ there exists a Jordan frame $\left\{f_1\mathrm{,}{f}_2\mathrm{,}\cdots \mathrm{,}{f}_r\right\}$ and real numbers ${\lambda }_1\mathrm{,}\cdots \mathrm{,}{\lambda }_{r-1}$ and ${\lambda }_r$ such that

$u={\lambda }_1{f}_1+{\lambda }_2{f}_2+\cdots +{\lambda }_r{f}_r.$ (5)

The decomposition (5) is called the second spectral decomposition of u.

Remark 4. Now, let suppose that the n-finite dimensional real Euclidean Jordan algebra $\mathcal{A}$ verifies $\text{rank}\left(\mathcal{A}\right)=n$ . Since the set of regular elements of $\mathcal{A}$ is dense in $\mathcal{A}$ , then let x be one of his regular elements. So, there exists a unique complete system of orthogonal idempotents $\mathcal{S}=\left\{f_1\mathrm{,}{f}_2\mathrm{,}\cdots \mathrm{,}{f}_n\right\}$ such that $x={\sum }_{i=1}^n{\lambda }_i{f}_i$ . But now we have that $\mathcal{S}$ is³ a linear independent set of $\mathcal{A}$ , therefore $\mathcal{S}$ is a basis of $\mathcal{A}$ .

Example 4. Let $\mathcal{A}$ be the Euclidean Jordan algebra such $\mathcal{A}=\text{Sym}\left(n\mathrm{,}ℝ\right)$

equipped with the $•$ operation such that $X•Y=\frac{XY+YX}{2}$ and equipped with

the inner product $\langle X\mathrm{,}Y\rangle =\text{tr}\left(X•Y\right)$ and let B be a symmetric matrix of $\mathcal{A}$ and let $\mathcal{S}=\left\{v_1\mathrm{,}\cdots \mathrm{,}{v}_n\right\}$ be an orthonormal basis of ${ℝ}^n$ of eigenvectors of B with $B{v}_i={\lambda }_i{v}_i$ , for $i=1,\cdots ,n$ . We suppose that we are using the column notation, this is we consider the notation

$v_i=\left[\begin{array}{c}{v}_{i1}\\ ⋮\\ v_{in}\end{array}\right],\forall i=1,\cdots ,n.$

Let consider $f_i=v_i{v}_i^{\text{T}}$ for $i=1,\cdots ,n$ . Then $\left\{f_1\mathrm{,}{f}_2\mathrm{,}\cdots \mathrm{,}{f}_n\right\}$ is a Jordan frame of $\mathcal{A}$ . Indeed, let i be a natural number less or equal n, we have

$f_i^2=f_i•f_i=f_i{f}_i=v_i{v}_i^{\text{T}}{v}_i{v}_i^{\text{T}}=v_i\left(v_i^{\text{T}}{v}_i\right)v_i^{\text{T}}=v_{i}1v_i^{\text{T}}=v_i{v}_i^{\text{T}}=f_i.$

Let i and j be two natural numbers such that $1\le i\mathrm{,}j\le n$ and such that $i\ne j$ . Then we have

$\begin{array}{c}{f}_i•f_j=\left(v_i{v}_i^{\text{T}}\right)•\left(v_j{v}_j^{\text{T}}\right)\\ =\frac{v_i\left(v_i^{\text{T}}{v}_j\right)v_j^{\text{T}}+v_j\left(v_j^{\text{T}}{v}_i\right)v_i^{\text{T}}}{2}\\ =\frac{v_i\left(0\right)v_j^{\text{T}}+v_j\left(0\right)v_i^{\text{T}}}{2}\\ =O_n\mathrm{.}\end{array}$

where $O_n$ is the real null matrix of order n.

So, we have proved that two any distinct idempotents $f_i$ s are orthogonal. Finally, since $\left\{v_1\mathrm{,}{v}_2\mathrm{,}\cdots \mathrm{,}{v}_n\right\}$ is an orthonormal basis of ${ℝ}^n$ then we have $v_1{v}_1^{\text{T}}+v_2{v}_2^{\text{T}}+\cdots +v_n{v}_n^{\text{T}}=I_n$ , therefore we have $f_1+f_2+\cdots +f_n=I_n$ . Hence, we have proved that $\mathcal{S}$ is a Jordan frame of the Euclidean Jordan algebra $\mathcal{A}$ . Finally, since $B{v}_i={\lambda }_i{v}_i$ for $i=1,\cdots ,n$ then we have

$\begin{array}{c}B=B{I}_n=B\left(f_1+f_2+\cdots +f_n\right)\\ =B\left(v_1{v}_1^{\text{T}}+v_2{v}_2^{\text{T}}+\cdots +v_n{v}_n^{\text{T}}\right)\\ =\left(B{v}_1\right)v_1^{\text{T}}+\left(B{v}_2\right)v_2^{\text{T}}+\cdots +\left(B{v}_n\right)v_n^{\text{T}}\\ =\left({\lambda }_1{v}_1\right)v_1^{\text{T}}+\left({\lambda }_2{v}_2\right)v_2^{\text{T}}+\cdots +\left({\lambda }_n{v}_n\right)v_n^{\text{T}}\\ =\lambda v_1{v}_1^{\text{T}}+\lambda v_2{v}_2^{\text{T}}+\cdots +{\lambda }_n{v}_n{v}_n^{\text{T}}\\ ={\lambda }_1{f}_1+{\lambda }_2{f}_2+\cdots +{\lambda }_n{f}_n.\end{array}$

Then the second spectral decomposition of B is $B={\sum }_{i=1}^n{\lambda }_i{f}_i$ .

3. Some Notions on Strongly Regular Graphs

A graph G non complete and non null is a strongly regular graph with parameters $\left(n\mathrm{,}k\mathrm{<mo>\; ;\; </mo>}\lambda \mathrm{,}\mu \right)$ if G is k-regular if for any two adjacent vertices of G have exactly $\lambda$ common neighbors and any two non-adjacent vertices have $\mu$ common neighbors.

We will say, sometimes that G is a $\left(n\mathrm{,}k\mathrm{<mo>\; ;\; </mo>}\lambda \mathrm{,}\mu \right)$ strongly regular graph if G is a strongly regular graph with parameters $\left(n\mathrm{,}k\mathrm{<mo>\; ;\; </mo>}\lambda \mathrm{,}\mu \right)$ .

Let G be a $\left(n\mathrm{,}k\mathrm{<mo>\; ;\; </mo>}\lambda \mathrm{,}\mu \right)$ strongly regular graph. It is well known that the adjacency matrix of G, $A=\left[a_{ij}\right]$ , that is a binary matrix of order n such that $a_{ij}=1$ , if the vertex i is adjacent to j and 0 otherwise, satisfies the equation

$A^2=k{I}_n+\lambda A+\mu \left(J_n-A-I_n\right)$ ,

where $J_n$ is the all one matrix of order n. The eigenvalues of G, see for instance [21] , are k, $\theta$ and $\tau$ , where $\theta$ and $\tau$ are given by

$\theta =\left(\lambda -\mu +\sqrt{{\left(\lambda -\mu \right)}^2+4\left(k-\mu \right)}\right)/2$ and

$\tau =\left(\lambda -\mu -\sqrt{{\left(\lambda -\mu \right)}^2+4\left(k-\mu \right)}\right)/2$ , (see [21] ).

We must observe that G is a $\left(n\mathrm{,}k\mathrm{<mo>\; ;\; </mo>}\lambda \mathrm{,}\mu \right)$ strongly regular graph if and only if the complement graph of G, $\overline{G}$ is a $\left(n\mathrm{,}n-k-\mathrm{1\; <mo>\; ;\; </mo>}n-2k+\mu -\mathrm{2,}n-2k+\lambda \right)$ strongly regular graph. We must also note that the multiplicities of the eigenvalues

$\theta$ and $\tau$ of G are:

$m_{\theta }=\frac{\left|\tau \right|n+\tau -k}{\theta -\tau }$ and $m_{\tau }=\frac{\theta n+k-\theta }{\theta -\tau }$ respectively.

From now on, we will present some well known admissibility conditions on the parameters of a strongly regular graph.

We now present in Theorem 3 an admissibility relationship between the parameters of a strongly regular graph.

Theorem 3. Let G be a $\left(n\mathrm{,}k\mathrm{<mo>\; ;\; </mo>}\lambda \mathrm{,}\mu \right)$ strongly regular graph. Then $k\left(k-1-\lambda \right)=\mu \left(n-k-1\right)$ .

L.L. Scott in [22] established the Krein admissibility conditions (6) and (7).

$\left(\theta +1\right)\left(k+\theta +2\theta \tau \right)\le \left(k+\theta \right){\left(\tau +1\right)}^2$ (6)

$\left(\tau +1\right)\left(k+\tau +2\theta \tau \right)\le \left(k+\tau \right){\left(\theta +1\right)}^2\mathrm{.}$ (7)

Finally, we couldn’t help of presenting the admissibility conditions on the order of a strongly regular graph G and on the multiplicity of each eigenvalue distinct from the regularity of G, known as the absolute bounds introduced by Delsarte, Goethals and Seidel [23] , which we present on the inequalities (8) and (9).

$n\le \frac{m_{\theta }\left(m_{\theta }+3\right)}{2}\mathrm{,}$ (8)

$n\le \frac{m_{\tau }\left(m_{\tau }+3\right)}{2}\mathrm{.}$ (9)

A strongly regular graph G is called primitive if G and $\overline{G}$ are connected. A strongly regular graph that is not primitive is called an imprimitive strongly regular graph. But, we must say, that a $\left(n\mathrm{,}k\mathrm{<mo>\; ;\; </mo>}\lambda \mathrm{,}\mu \right)$ strongly regular graph G is imprimitive if and only if $\mu =0$ or $\mu =k$ , since we analyse only non complete strongly regular graphs then we can conclude that if G is a primitive strongly regular graph then $0<\mu <k$ . In this paper we consider only primitive strongly regular graphs. In the section 4 we present some admissibility conditions on the spectra and on the parameters of a strongly regular graph but obtained on asymptotic algebraic way.

4. Binomial Hadamard Series and Inequalities over the Spectra of a Strongly Regular Raph

Let G be a $\left(n\mathrm{,}k\mathrm{<mo>\; ;\; </mo>}\lambda \mathrm{,}\mu \right)$ strongly regular graph with $0<\mu <k<n-1$ and let A be its adjacency matrix with the distinct eigenvalues, namely k, $\theta$ and $\tau$ . Now let $\mathcal{A}$ be 3 dimensional real Euclidean subalgebra, with $\text{rank}\left(A\right)=3$ , of the Euclidean Jordan algebra $\mathcal{V}=\text{Sym}\left(n\mathrm{,}ℝ\right)$ spanned by $I_n$ and the natural powers of A.

Now, we consider the unique complete system of orthogonal idempotents $\mathcal{S}=\left\{E_1\mathrm{,}{E}_2\mathrm{,}{E}_3\right\}$ of $\mathcal{A}$ associated to A, with

$E_1=1/n{I}_n+1/nA+1/n\left(J_n-A-I_n\right)$ ,

$\begin{array}{l}{E}_2=\left(\left|\tau \right|n+\tau -k\right)/\left(n\left(\theta -\tau \right)\right)I_n+\left(n+\tau -k\right)/\left(n\left(\theta -\tau \right)\right)A\\ +\left(\tau -k\right)/\left(n\left(\theta -\tau \right)\right)\left(J_n-A-I_n\right)\end{array}$ ,

and

$\begin{array}{l}{E}_3=\left(\theta n+k-\theta \right)/\left(n\left(\theta -\tau \right)\right)I_n+\left(-n+k-\theta \right)/\left(n\left(\theta -\tau \right)\right)A\\ +\left(k-\theta \right)/\left(n\left(\theta -\tau \right)\right)\left(J_n-A-I_n\right)\end{array}$ .

Let $i\mathrm{,}j$ be natural numbers such that $1\le i\mathrm{,}j\le 3$ and $i\ne j$ . So, since the idempotents $E_i$ and $E_j$ are orthogonal relatively to the Jordan product of matrices, then they are orthogonal relatively to the inner product

$\langle X\mathrm{,}Y\rangle =\text{tr}\left(X•Y\right)\mathrm{,}\forall X\mathrm{,}Y\in \mathcal{A}$

they are also orthogonal to the inner product ${\langle X\mathrm{,}Y\rangle }_1=\text{tr}\left(XY\right)$ , for all $X\mathrm{,}Y\in \mathcal{A}$ . Therefore we conclude that $S=\left\{E_1,E_2,E_3\right\}$ is a basis of $\mathcal{A}$ .

Now, we will consider some notation for defining the Hadamard product and the Kronecker product of two matrices. We denote the space of real square matrices of order n by ${\mathcal{M}}_n\left(ℝ\right)$ and we define the Hadamard product and the Kronecker product of two matrices E and F of order n of ${\mathcal{M}}_n\left(ℝ\right)$ in the following way: if $E=\left[e_{ij}\right]$ and $F=\left[f_{ij}\right]$ , then we define $E\circ F=\left[e_{ij}{f}_{ij}\right]$ and $E\otimes F=\left[e_{ij}F\right]$ for all $i\mathrm{,}j\in \left\{\mathrm{1,}\cdots \mathrm{,}n\right\}$ . For any natural number l and for any matrix $H\in M_n\left(ℝ\right)$ we define $H^{\circ l}$ like as follows: $H^{\circ 0}=J_n\mathrm{,}{H}^{\circ 1}=H$ and for $l\ge 2$ we define $H^{\circ l}=H^{\circ \left(l-1\right)}\circ H$ (see [24] ).

Let x be a real number such that $0\le x<1$ , herein we analyze different Hadamard series from the one used on the publication [9] but we use a algebraic method similar to the method that was used in the paper [9] . Let consider the binomial Hadamard series

$S_x={\sum }_{j=0}^{+\infty }{\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right){\left(\frac{A^2}{k+\left|\tau \right|}\right)}^{\circ j}$ .

Then $S_x={\sum }_{i=1}^3{q}_{ix}{E}_i$ is the spectral decompositions of $S_x$ respectively to the Jordan frame $\mathcal{B}=\left\{E_1,E_2,E_3\right\}$ of $\mathcal{A}$ . Now, we will show that the eigenvalues $q_{ix}$ s of $S_x$ are positive. We have

${\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right)={\left(-1\right)}^j\frac{\left(-x\right)\left(-x-1\right)\left(-x-2\right)\cdots \left(-x-j+1\right)}{j\mathrm{<mo>\; !\; </mo>}}$

and therefore

${\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right)={\left(-1\right)}^{2j}\frac{\left(x\right)\left(x+1\right)\left(x+2\right)\cdots \left(x+j-1\right)}{j\mathrm{<mo>\; !\; </mo>}}\ge 0.$

We denote the partial sum of order n of the Hadamard series

${\sum }_{j=0}^{+\infty }{\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right){\left(\frac{A^2}{k+\left|\tau \right|}\right)}^{\circ j}$

by $S_{nx}$ . Hence

$S_{nx}={\sum }_{j=0}^n{\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right){\left(\frac{A^2}{k+\left|\tau \right|}\right)}^{\circ j}$

and let consider the notation $S_{nx}=q_{n1x}{E}_1+q_{n2x}{E}_2+q_{n3x}{E}_3$ .

Now we must note the eigenvalues of $\frac{A^2}{k+\left|\tau \right|}$ are positive and that for any

two real matrices E and F of order n we have ${\lambda }_{min}\left(E\right){\lambda }_{min}\left(F\right)\le {\lambda }_{min}\left(E\circ F\right)$ , and we must also observe that since $\mathcal{S}$ is a Jordan frame of the Euclidean Jordan algebra $\mathcal{A}$ that is a basis of $\mathcal{A}$ and this Euclidean Jordan algebra is closed for the Hadamard product then we conclude that the eigenvalues of $S_{nx}$ are all positive.

Since $q_{1x}={\lim }_{n\to +\infty }{q}_{n1x}$ , $q_{2x}={\lim }_{n\to +\infty }{q}_{n3x}$ , $q_{3x}={\lim }_{n\to +\infty }{q}_{n3x}$ then we have $q_{1x}\ge \mathrm{0,}{q}_{2x}\ge 0$ and $q_{3x}\ge 0$ .

We have $S_x{E}_1=q_{1x}{E}_1,S_x{E}_2=q_{2x}{E}_2$ and $S_x{E}_3=q_{3x}{E}_3$ , and

$q_{1x}=\frac{1}{{\left(1-\frac{k}{k+\left|\tau \right|}\right)}^x}+\frac{1}{{\left(1-\frac{\lambda }{k+\left|\tau \right|}\right)}^x}k+\frac{1}{{\left(1-\frac{\mu }{k+\left|\tau \right|}\right)}^x}\left(n-k-1\right)$ ,

$q_{2x}=\frac{1}{{\left(1-\frac{k}{k+\left|\tau \right|}\right)}^x}+\frac{1}{{\left(1-\frac{\lambda }{k+\left|\tau \right|}\right)}^x}\theta +\frac{1}{{\left(1-\frac{\theta }{k+\mu }\right)}^x}\left(-\theta -1\right)$ ,

$q_{3x}=\frac{1}{{\left(1-\frac{k}{k+\left|\tau \right|}\right)}^x}+\frac{1}{{\left(1-\frac{\lambda }{k+\left|\tau \right|}\right)}^x}\tau +\frac{1}{{\left(1-\frac{\mu }{k+\left|\tau \right|}\right)}^x}\left(-\tau -1\right)$ .

By an asymptotical analysis of the eigenvalues $q_{2x}$ and $q_{3x}$ we establish the inequalities (10) and (20) of Theorem 4 and of Theorem 5 respectively.

Theorem 4. Let G be a $\left(n\mathrm{,}k\mathrm{<mo>\; ;\; </mo>}\lambda \mathrm{,}\mu \right)$ -strongly regular graph with $0<\mu <k<n-1$ and with the distinct eigenvalues $k\mathrm{,}\theta$ and $\tau$ . If $\mu >\lambda$ then

$\frac{k+\left|\tau \right|-\mu }{\left|\tau \right|}\ge {\left(\frac{k+\left|\tau \right|-\lambda }{k+\left|\tau \right|-\mu }\right)}^{\theta }.$ (10)

Proof. Let write the binomial series

${\sum }_{j=0}^{+\infty }{\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right){\left(\frac{A^2}{k+\left|\tau \right|}\right)}^{\circ j}$

on the basis $\mathcal{B}=\left\{I_n\mathrm{,}A\mathrm{,}{J}_n-A-I_n\right\}$ of the Euclidean Jordan algebra $\mathcal{A}$ .

Since $A^2=k{I}_n+\lambda A+\mu \left(J_n-A-I_n\right)$ then we have

$\begin{array}{c}{S}_x=\sum _{j=0}^{+\infty }{\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right){\left(\frac{A^2}{k+\left|\tau \right|}\right)}^{\circ j}\\ =\sum _{j=0}^{+\infty }{\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right){\left(\frac{k}{k+\left|\tau \right|}{I}_n+\frac{\lambda }{k+\left|\tau \right|}A+\frac{\mu }{k+\left|\tau \right|}\left(J_n-A-I_n\right)\right)}^{\circ j},\\ =\sum _{j=0}^{+\infty }{\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right){\left(\frac{k}{k+\left|\tau \right|}\right)}^{\circ j}{I}_n+\sum _{j=0}^{+\infty }{\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right){\left(\frac{\lambda }{k+\left|\tau \right|}\right)}^{\circ j}A\\ +\sum _{j=0}^{+\infty }{\left(-1\right)}^j\left(\begin{array}{c}-x\\ j\end{array}\right){\left(\frac{\mu }{k+\left|\tau \right|}\right)}^{\circ j}\left(J_n-A-I_n\right).\end{array}$ (11)