Angle Between Two Vectors over Finite Fields and an Application to Projective Unique Decoding
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866918497757429760 |
|---|---|
| author | Otal, Kamil |
| author_facet | Otal, Kamil |
| contents | We introduce a Hamming-type angular function $$\mathrm{angle}_H(u,v):= \min_{c \in \mathbb{F}_q^n} d_H(u, cv)$$ on pairs of nonzero vectors in $\mathbb{F}_q^n$ and show that it satisfies all three metric axioms up to scalar multiplication. The function $\mathrm{angle}_H$ is invariant under nonzero scalar multiplication in either argument and therefore descends to a genuine integer-valued metric on the projective space $\mathbb{P}(\mathbb{F}_q^n)$. As a concrete application, we prove an \emph{angular} (or \emph{projective}) version of the unique-decoding theorem for linear codes: if $\mathrm{angle}_H(u, C\setminus\{0\}) < d/2$, where $d$ is the minimum distance of the linear code $C$, then the closest direction in $C$ to $u$ is unique up to nonzero scalar multiplication. We then discuss how this angular viewpoint relates to the proximity-gap programme for Reed--Solomon codes. To the best of our knowledge, this is the first attempt to define an angle notion for vectors over finite fields and interpret it from several perspectives, including geometry, coding theory, and cryptography. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_12216 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Angle Between Two Vectors over Finite Fields and an Application to Projective Unique Decoding Otal, Kamil Information Theory Combinatorics 94B05, 94B35, 11T71 We introduce a Hamming-type angular function $$\mathrm{angle}_H(u,v):= \min_{c \in \mathbb{F}_q^n} d_H(u, cv)$$ on pairs of nonzero vectors in $\mathbb{F}_q^n$ and show that it satisfies all three metric axioms up to scalar multiplication. The function $\mathrm{angle}_H$ is invariant under nonzero scalar multiplication in either argument and therefore descends to a genuine integer-valued metric on the projective space $\mathbb{P}(\mathbb{F}_q^n)$. As a concrete application, we prove an \emph{angular} (or \emph{projective}) version of the unique-decoding theorem for linear codes: if $\mathrm{angle}_H(u, C\setminus\{0\}) < d/2$, where $d$ is the minimum distance of the linear code $C$, then the closest direction in $C$ to $u$ is unique up to nonzero scalar multiplication. We then discuss how this angular viewpoint relates to the proximity-gap programme for Reed--Solomon codes. To the best of our knowledge, this is the first attempt to define an angle notion for vectors over finite fields and interpret it from several perspectives, including geometry, coding theory, and cryptography. |
| title | Angle Between Two Vectors over Finite Fields and an Application to Projective Unique Decoding |
| topic | Information Theory Combinatorics 94B05, 94B35, 11T71 |
| url | https://arxiv.org/abs/2605.12216 |