## p-adic Equiangular Lines and p-adic van Lint-Seidel Relative Bound

## K. Mahesh Krishna

School of Mathematics and Natural Sciences Chanakya University Global Campus Haraluru Village, Near Kempe Gowda International Airport (BIAL) Devanahalli Taluk, Bengaluru Rural District Karnataka State 562 110 India Email: kmaheshak@gmail.com

Date: August 12, 2024

Abstract : We introduce the notion of p-adic equiangular lines and derive the first fundamental relation between common angle, dimension of the space and the number of lines. More precisely, we show that if { τ j } n j =1 is p-adic γ -equiangular lines in Q d p , then

$$( 1 ) \quad \ \ | n | ^ { 2 } \leq | d | \max \{ | n |, \gamma ^ { 2 } \}.$$

We call Inequality (1) as the p-adic van Lint-Seidel relative bound. We believe that this complements fundamental van Lint-Seidel [Indag. Math., 1966] relative bound for equiangular lines in the p-adic case. Keywords : Equiangular lines, p-adic Hilbert space.

Mathematics Subject Classification (2020) : 12J25, 46S10, 47S10, 11D88.

## 1. Introduction

Let d ∈ N and γ ∈ [0 , 1]. Recall that a collection { τ j } n j =1 of unit vectors in R d is said to be γ -equiangular lines [4, 8] if

$$| \langle \tau _ { j }, \tau _ { k } \rangle | = \gamma, \ \forall 1 \leq j, k \leq n, j \neq k.$$

/negationslash

A fundamental problem associated with equiangular lines is the following.

Problem 1.1. Given d ∈ N and γ ∈ [0 , 1] , what is the upper bound on n such that there exists a collection { τ j } n j =1 of γ -equiangular lines in R d ?

An answer to Problem 1.1 which is fundamental driving force in the study of equiangular lines is the following result of van Lint and Seidel [8,9].

Theorem 1.2. [8, 9] ( van Lint-Seidel Relative Bound ) Let { τ j } n j =1 be γ -equiangular lines in R d . Then

$$n ( 1 - d \gamma ^ { 2 } ) \leq d ( 1 - \gamma ^ { 2 } ).$$

In particular, if then

$$\gamma < \frac { 1 } { \sqrt { d } },$$

$$n \leq \frac { d ( 1 - \gamma ^ { 2 } ) } { 1 - d \gamma ^ { 2 } }. \\.$$

While deriving p-adic Welch bounds, the notion of p-adic equiangular lines is hinted in [7]. In this paper, we make it more rigorous and derive a fundamental relation which complements Theorem 1.2.

## 2. p-adic Equiangular Lines

We begin by recalling the notion of p-adic Hilbert space. We refer [1-3, 5, 6] for more on p-adic Hilbert spaces.

Definition 2.1. [2, 3] Let K be a non-Archimedean valued field (with valuation | · | ) and X be a nonArchimedean Banach space (with norm ‖ · ‖ ) over K . We say that X is a p-adic Hilbert space if there is a map (called as p-adic inner product) 〈· , ·〉 : X × X → K satisfying following.

- (i) If x ∈ X is such that 〈 x, y 〉 = 0 for all y ∈ X , then x = 0 .
- (iii) 〈 αx, y + z 〉 = α x, y 〈 〉 + 〈 x, z 〉 for all α ∈ K , for all x, y, z ∈ X .
- (ii) 〈 x, y 〉 = 〈 y, x 〉 for all x, y ∈ X .
- (iv) |〈 x, y 〉| ≤ ‖ x ‖‖ y ‖ for all x, y ∈ X .

Following is the standard example which we consider in the paper.

Example 2.2. [5] Let p be a prime. For d ∈ N , let Q d p be the standard p-adic Hilbert space equipped with the inner product

$$\langle ( a _ { j } ) _ { j = 1 } ^ { d }, ( b _ { j } ) _ { j = 1 } ^ { d } \rangle \coloneqq \sum _ { j = 1 } ^ { d } a _ { j } b _ { j }, \ \forall ( a _ { j } ) _ { j = 1 } ^ { d }, ( b _ { j } ) _ { j = 1 } ^ { d } \in \mathbb { Q } _ { p } ^ { d }$$

and norm

$$\| ( x _ { j } ) _ { j = 1 } ^ { d } \| \coloneqq \max _ { 1 \leq j \leq d } | x _ { j } |, \ \forall ( x _ { j } ) _ { j = 1 } ^ { d } \in \mathbb { Q } _ { p } ^ { d }.$$

Through various trials, we believe following is the correct definition of equiangular lines in the p-adic setting.

Definition 2.3. Let p be a prime, d ∈ N and γ ≥ 0 . A collection { τ j } n j =1 in Q d p is said to be p-adic γ -equiangular lines if the following conditions hold:

- (i) 〈 τ , τ j j 〉 = 1 , ∀ 1 ≤ j ≤ n .
- (iii) The operator
- (ii) |〈 τ , τ j k 〉| = γ, ∀ 1 ≤ j, k ≤ n, j = k .

/negationslash

↦

$$S _ { \tau } \colon \mathbb { Q } _ { p } ^ { d } \ni x \mapsto \sum _ { j = 1 } ^ { n } \langle x, \tau _ { j } \rangle \tau _ { j } \in \mathbb { Q } _ { p } ^ { d }$$

is similar (through invertible operator) to a diagonal operator over Q p with eigenvalues λ , . . . , λ 1 d ∈ Q p satisfying

$$\left | \sum _ { j = 1 } ^ { d } \lambda _ { j } \right | ^ { 2 } \leq | d | \left | \sum _ { j = 1 } ^ { d } \lambda _ { j } ^ { 2 } \right |. \\ \text{ing p-adic version of Theorem} \,.$$

∣ ∣ ∣ ∣ The result of this paper is the following p-adic version of Theorem 1.2.

Theorem 2.4. ( p-adic van Lint-Seidel Relative Bound ) Let p be a prime, d ∈ N and γ ≥ 0 . If { τ j } n j =1 is p-adic γ -equiangular lines in Q d p , then

$$| n | ^ { 2 } \leq | d | \max _ { \infty } \{ | n |, \gamma ^ { 2 } \}.$$

In particular, we have following.

- (i) If | n | ≤ γ 2 , then
- (ii) If | n | ≥ γ 2 , then

Proof. We see that

$$| n | ^ { 2 } \leq | d | \gamma ^ { 2 }.$$

| n | ≤ | d . |

$$\text{Tra} ( S _ { \tau } ) = \sum _ { j = 1 } ^ { n } \langle \tau _ { j }, \tau _ { j } \rangle,$$

$$\text{Tra} ( S _ { \tau } ^ { 2 } ) = \sum _ { j = 1 } ^ { \dots } \sum _ { k = 1 } ^ { \dots } \langle \tau _ { j }, \tau _ { k } \rangle \langle \tau _ { k }, \tau _ { j } \rangle = \sum _ { j = 1 } ^ { \dots } \sum _ { k = 1 } ^ { \dots } \langle \tau _ { j }, \tau _ { k } \rangle ^ { 2 }.$$

$$\mathfrak { i } _ { \tau } \rangle & = \sum _ { j = 1 } ^ { n } \langle \tau _ { j }, \tau _ { j } \rangle, \\ \mathfrak { i } _ { \tau } ^ { 2 } \rangle & = \sum _ { j = 1 } ^ { n } \sum _ { k = 1 } ^ { n } \langle \tau _ { j }, \tau _ { k } \rangle \langle \tau _ { k }, \tau _ { j } \rangle = \sum _ { j = 1 } ^ { n } \sum _ { k = 1 } ^ { n } \langle \tau _ { j }, \tau _ { k }$$

Using Definition 2.3,

/negationslash

/negationslash

/negationslash

/negationslash

$$& \underset { j = 1 } { j = 1 } } \overset { j = 1 } { k = 1 } } \underset { k = 1 } { \left | \sum _ { j = 1 } ^ { n } \langle \tau _ { j }, \tau _ { j } \right ) \right | ^ { 2 } = | \text{Tra} ( S _ { \tau } ) | ^ { 2 } = \left | \underset { j = 1 } { \left | \sum _ { j = 1 } ^ { n } \langle \tau _ { j }, \tau _ { k } \right ) ^ { 2 } } \right | ^ { 2 } \leq | d | \left | \underset { j = 1 } { \left | \sum _ { j = 1 } ^ { n } \langle \tau _ { j }, \tau _ { k } \right ) ^ { 2 } } + \underset { 1 \leq j, k \leq n, j \neq k } { \sum _ { j = 1 } ^ { n } \langle \tau _ { j }, \tau _ { k } \right ) ^ { 2 } } \right | \\ & = | d | \left | \underset { j = 1 } { \left | \sum _ { j = 1 } ^ { n } 1 + \underset { 1 \leq j, k \leq n, j \neq k } { \sum _ { j = 1 } ^ { n } \langle \tau _ { j }, \tau _ { k } \right ) ^ { 2 } } \right | = | d | \left | \underset { 1 \leq j, k \leq n, j \neq k } { \sum _ { j = 1 } ^ { n } \langle \tau _ { j }, \tau _ { k } \right ) ^ { 2 } } \right | \\ & \leq | d | \max \left \{ | n |, \left | \sum _ { 1 \leq j, k \leq n, j \neq k } \langle \tau _ { j }, \tau _ { k } \rangle ^ { 2 } \right | \right \} \\ & \leq | d | \max \left \{ | n |, \underset { 1 \leq j, k \leq n, j \neq k } { \max _ { k \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq \nleq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n \leq n$$

Corollary 2.5. Let { τ j } n j =1 be a collection in Q d p satisfying following.

- (i) 〈 τ , τ j j 〉 = 1 , ∀ 1 ≤ j ≤ n .

$$b x = \sum _ { j = 1 } ^ { n } \langle x, \tau _ { j } \rangle \tau _ { j }, \quad \forall x \in \mathbb { Q } _ { p } ^ { d }.$$

- (ii) There exists a nonzero element b ∈ Q p such that

Then

$$| n | ^ { 2 } \leq | d | \max \{ | n |, \gamma ^ { 2 } \}.$$

A careful observation of proof of Theorem 2.4 gives following general p-adic Welch bound.

Theorem 2.6. ( General p-adic Welch Bound ) Let { τ j } n j =1 be a collection in Q d p satisfying following.

$$( i ) \ \langle \tau _ { j }, \tau _ { j } \rangle = 1, \ \forall 1 \leq j \leq n.$$

/negationslash

/square

- (ii) The operator

↦

$$S _ { \tau } \colon \mathbb { Q } _ { p } ^ { d } \ni x \mapsto \sum _ { j = 1 } ^ { n } \langle x, \tau _ { j } \rangle \tau _ { j } \in \mathbb { Q } _ { p } ^ { d }$$

is similar to a diagonal operator over Q p with eigenvalues λ , . . . , λ 1 d ∈ Q p satisfying

$$\lambda _ { j } ^ { r } \lambda _ { j } \Big | ^ { 2 } \leq | d | \left | \sum _ { j = 1 } ^ { d } \lambda _ { j } ^ { 2 } \right |.$$

Then

/negationslash

We can generalize Definition 2.3 in the following way.

$$| n | ^ { 2 } & \leq | d | \max _ { 1 \leq j, k \leq n, j \neq k } \left \{ | n |, | \langle \tau _ { j }, \tau _ { k } \rangle | ^ { 2 } \right \}. \\ \intertext { n } 9 3 \text{ in } t h o f l o w i n \overline { r } \text{ w o v }$$

Definition 2.7. Let p be a prime, d ∈ N , γ ≥ 0 and a ∈ Q p be nonzero. A collection { τ j } n j =1 in Q d p is said to be p-adic ( γ, a ) -equiangular lines if the following conditions hold:

- (i) 〈 τ , τ j j 〉 = a, ∀ 1 ≤ j ≤ n .
- (iii) The operator
- (ii) |〈 τ , τ j k 〉| = γ, ∀ 1 ≤ j, k ≤ n, j = k .

/negationslash

↦

$$S _ { \tau } \colon \mathbb { Q } _ { p } ^ { d } \ni x \mapsto \sum _ { j = 1 } ^ { n } \langle x, \tau _ { j } \rangle \tau _ { j } \in \mathbb { Q } _ { p } ^ { d }$$

is similar to a diagonal operator over Q p with eigenvalues λ , . . . , λ 1 d ∈ Q p satisfying

$$\left | \sum _ { j = 1 } ^ { d } \lambda _ { j } \right | ^ { 2 } \leq | d | \left | \sum _ { j = 1 } ^ { d } \lambda _ { j } ^ { 2 } \right |. \\ \text{lement is not allowed in a $p$-a$}$$

∣ ∣ ∣ ∣ Note that division by norm of an element is not allowed in a p-adic Hilbert space. Thus we can not reduce Definition 2.7 to Definition 2.3 (unlike the real case). By modifying earlier proofs, we easily get following theorems.

Theorem 2.8. If { τ j } n j =1 is p-adic ( γ, a ) -equiangular lines in Q d p , then

$$| n | ^ { 2 } \leq | d | \max \left \{ | n |, \frac { \gamma ^ { 2 } } { | a ^ { 2 } | } \right \}.$$

In particular, we have following.

- (i) If | a n 2 | ≤ γ 2 , then
- (ii) If | a n 2 | ≥ γ 2 , then

$$| n | \leq | d |. \\.$$

Corollary 2.9. Let { τ j } n j =1 be a collection in Q d p satisfying following.

- (i) There exists a nonzero element a ∈ Q p such that 〈 τ , τ j j 〉 = a, ∀ 1 ≤ j ≤ n .

$$b x = \sum _ { j = 1 } ^ { n } \langle x, \tau _ { j } \rangle \tau _ { j }, \quad \forall x \in \mathbb { Q } _ { p } ^ { d }.$$

- (ii) There exists a nonzero element b ∈ Q p such that

$$| n | ^ { 2 } \leq | d | \frac { \gamma ^ { 2 } } { | a ^ { 2 } | }.$$

Then

Then

$$| n | ^ { 2 } & \leq | d | \max \left \{ | n |, \frac { \gamma ^ { 2 } } { | a ^ { 2 } | } \right \}. \\ \intertext { w 1 \sim \colon \colon = 1 } \frac { 1 } { 2 } \cap \Delta \left ( \Delta \right ) \left ( \Delta \right ) \left ( \Delta \right ) \left ( \Delta \right ) \left ( \Delta \right ) \left ( \Delta \right ) \left ( \Delta \right ) \left ( \Delta \right ) \right ).$$

Theorem 2.10. Let { τ j } n j =1 be a collection in Q d p satisfying following.

- (ii) The operator
- (i) There exists a nonzero element a ∈ Q p such that 〈 τ , τ j j 〉 = a, ∀ 1 ≤ j ≤ n .

↦

$$S _ { \tau } \colon \mathbb { Q } _ { p } ^ { d } \ni x \mapsto \sum _ { j = 1 } ^ { n } \langle x, \tau _ { j } \rangle \tau _ { j } \in \mathbb { Q } _ { p } ^ { d }$$

is similar to a diagonal operator over Q p with eigenvalues λ , . . . , λ 1 d ∈ Q p satisfying

$$\begin{array} { c } \lambda _ { r } & \lambda \\ \left | \sum _ { j = 1 } ^ { d } \lambda _ { j } \right | ^ { 2 } \leq | d | \left | \sum _ { j = 1 } ^ { d } \lambda _ { j } ^ { 2 } \right |. \\ \\ \tilde { r } & | / \tilde { \omega }. \ \nabla | \colon \end{array}$$

/negationslash

$$| n | ^ { 2 } & \leq | d | \max _ { 1 \leq j, k \leq n, j \neq k } \left \{ | n |, \frac { | \langle \tau _ { j }, \tau _ { k } \rangle | ^ { 2 } } { | a ^ { 2 } | } \right \}. \\ \text{real bound for emission/lar lines known as Censor hc}$$

Note that there is a universal bound for equiangular lines known as Gerzon bound.

Theorem 2.11. [10] ( Gerzon Universal Bound ) Let { τ j } n j =1 be γ -equiangular lines in R d . Then

$$n \leq \frac { d ( d + 1 ) } { 2 }.$$

We are unable to derive p-adic version of Theorem 2.11. It is clear that, in the paper, we can replace Q p by any non-Archimedean field.

## 3. Acknowledgments

This research was partially supported by the University of Warsaw Thematic Research Programme 'Quantum Symmetries'.

## References

- [1] Sergio Albeverio, Jose Manuel Bayod, Cristina Perez-Garcia, Roberto Cianci, and Andrew Khrennikov. NonArchimedean analogues of orthogonal and symmetric operators and p -adic quantization. Acta Appl. Math. , 57(3):205237, 1999.
- [2] Toka Diagana. Non-Archimedean linear operators and applications . Nova Science Publishers, Inc., Huntington, NY, 2007.
- [3] Toka Diagana and Francois Ramaroson. Non-Archimedean operator theory . SpringerBriefs in Mathematics. Springer, Cham, 2016.
- [4] J. Haantjes. Equilateral point-sets in elliptic two- and three-dimensional spaces. Nieuw Arch. Wiskunde (2) , 22:355-362, 1948.
- [5] G. K. Kalisch. On p -adic Hilbert spaces. Ann. of Math. (2) , 48:180-192, 1947.
- [6] Andrew Khrennikov. The ultrametric Hilbert-space description of quantum measurements with a finite exactness. Found. Phys. , 26(8):1033-1054, 1996.
- [7] K. Mahesh Krishna. p-adic Welch bounds and p-dic Zauner conjecture. p-Adic Numbers, Ultrametric Analysis and Applications , 16(3):264-274, 2024.
- [8] P. W. H. Lemmens and J. J. Seidel. Equiangular lines. J. Algebra , 24:494-512, 1973.
- [9] J. H. van Lint and J. J. Seidel. Equilateral point sets in elliptic geometry. Indag. Math. , 28:335-348, 1966.
- [10] Shayne F. D. Waldron. An introduction to finite tight frames . Applied and Numerical Harmonic Analysis. Birkh¨user/Springer, New York, 2018. a
K. Mahesh Krishna
p-adic Equiangular Lines and p-adic van Lint-Seidel Relative Bound
We introduce the notion of p-adic equiangular lines and derive the first
fundamental relation between common angle, dimension of the space and the
number of lines. More precisely, we show that if $\{\tau_j\}_{j=1}^n$ is p-adic
$\gamma$-equiangular lines in $\mathbb{Q}^d_p$, then \begin{align*} (1)
\quad\quad \quad \quad |n|^2\leq |d|\max\{|n|, \gamma^2 \}. \end{align*} We
call Inequality (1) as the p-adic van Lint-Seidel relative bound. We believe
that this complements fundamental van Lint-Seidel \textit{[Indag. Math., 1966]}
relative bound for equiangular lines in the p-adic case.