Positivity of GCD tensors and their determinants
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917066337943552 |
|---|---|
| author | Choudhury, Projesh Nath Panigrahy, Krushnachandra |
| author_facet | Choudhury, Projesh Nath Panigrahy, Krushnachandra |
| contents | Let $S=\{s_{1},s_{2},\ldots,s_{n}\}$ be an ordered set of $n$ distinct positive integers. The $m$th-order $n$-dimensional tensor $T_{[S]}=(t_{i_{1}i_{2}\ldots i_{m}}),$ where $t_{i_{1}i_{2}\ldots i_{m}}=GCD(s_{i_{1}},s_{i_{2}},\ldots,s_{i_{m}}),$ the greatest common divisor (GCD) of $s_{i_{1}},s_{i_{2}},\ldots,$ and $s_{i_{m}}$ is called the GCD tensor on $S$. The earliest result on GCD tensors goes back to Smith [Proc. Lond. Math. Soc., 1976], who computed the determinant of GCD matrix on $S=\{1,2,\ldots,n\}$ using the Euler's totient function, followed by Beslin-Ligh [Linear Algebra Appl., 1989] who showed all GCD matrices are positive definite. In this note, we study the positivity of higher-order tensors in the $k$-mode product. We show that all GCD tensors are strongly completely positive (CP). We then show that GCD tensors are infinite divisible. In fact, we prove that for every positive real number $r,$ the tensor $T_{[S]}^{\circ r}=(t^{r}_{i_{1}i_{2}\ldots i_{m}})$ is strongly CP. Finally, we obtain an interesting decomposition of GCD tensors using Euler's totient function $Φ$. Using this decomposition, we show that the determinant (also called hyperdeterminant) of the $m$th-order GCD tensor $T_{[S]}$ on a factor-closed set $S=\{s_1,\dots,s_n\}$ is $\prod\limits_{i=1}^{n} Φ(s_{i})^{(m-1)^{(n-1)}}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_24053 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Positivity of GCD tensors and their determinants Choudhury, Projesh Nath Panigrahy, Krushnachandra Rings and Algebras 15A69, 15A15, 15B48 Let $S=\{s_{1},s_{2},\ldots,s_{n}\}$ be an ordered set of $n$ distinct positive integers. The $m$th-order $n$-dimensional tensor $T_{[S]}=(t_{i_{1}i_{2}\ldots i_{m}}),$ where $t_{i_{1}i_{2}\ldots i_{m}}=GCD(s_{i_{1}},s_{i_{2}},\ldots,s_{i_{m}}),$ the greatest common divisor (GCD) of $s_{i_{1}},s_{i_{2}},\ldots,$ and $s_{i_{m}}$ is called the GCD tensor on $S$. The earliest result on GCD tensors goes back to Smith [Proc. Lond. Math. Soc., 1976], who computed the determinant of GCD matrix on $S=\{1,2,\ldots,n\}$ using the Euler's totient function, followed by Beslin-Ligh [Linear Algebra Appl., 1989] who showed all GCD matrices are positive definite. In this note, we study the positivity of higher-order tensors in the $k$-mode product. We show that all GCD tensors are strongly completely positive (CP). We then show that GCD tensors are infinite divisible. In fact, we prove that for every positive real number $r,$ the tensor $T_{[S]}^{\circ r}=(t^{r}_{i_{1}i_{2}\ldots i_{m}})$ is strongly CP. Finally, we obtain an interesting decomposition of GCD tensors using Euler's totient function $Φ$. Using this decomposition, we show that the determinant (also called hyperdeterminant) of the $m$th-order GCD tensor $T_{[S]}$ on a factor-closed set $S=\{s_1,\dots,s_n\}$ is $\prod\limits_{i=1}^{n} Φ(s_{i})^{(m-1)^{(n-1)}}$. |
| title | Positivity of GCD tensors and their determinants |
| topic | Rings and Algebras 15A69, 15A15, 15B48 |
| url | https://arxiv.org/abs/2506.24053 |