Table of Contents
Fetching ...

Counting Problems for Orthogonal Sets and Sublattices in Function Fields

Noy Soffer Aranov, Angelot Behajaina

Abstract

Let $\mathcal{K}=\mathbb{F}_q((x^{-1}))$. Analogous to orthogonality in the Euclidean space $\mathbb{R}^n$, there exists a well-studied notion of ultrametric orthogonality in $\mathcal{K}^n$. In this paper, we extend the work of Soffer-Aranov and Behajaina on counting problems related to orthogonality in $\mathcal{K}^n$. For example, we resolve an open question posed in Soffer-Aranov and Behajaina by bounding the size of the largest ``orthogonal sets'' in $\mathcal{K}^n$. Furthermore, using similar ideas and techniques, we investigate analogues of Hadamard matrices over $\mathcal{K}$. Finally, we also use ultrametric orthogonality to compute the number of sublattices of $\mathbb{F}_q[x]^n$ with a certain geometric structure, and to determine the number of orthogonal bases of a sublattice in $\mathcal{K}^n$. The resulting formulas depend crucially on successive minima.

Counting Problems for Orthogonal Sets and Sublattices in Function Fields

Abstract

Let . Analogous to orthogonality in the Euclidean space , there exists a well-studied notion of ultrametric orthogonality in . In this paper, we extend the work of Soffer-Aranov and Behajaina on counting problems related to orthogonality in . For example, we resolve an open question posed in Soffer-Aranov and Behajaina by bounding the size of the largest ``orthogonal sets'' in . Furthermore, using similar ideas and techniques, we investigate analogues of Hadamard matrices over . Finally, we also use ultrametric orthogonality to compute the number of sublattices of with a certain geometric structure, and to determine the number of orthogonal bases of a sublattice in . The resulting formulas depend crucially on successive minima.

Paper Structure

This paper contains 20 sections, 25 theorems, 87 equations.

Key Result

Lemma 1.1

Let $n\in \mathbb{N}$ and let $\mathcal{K}$ be a discrete valued field with finite residue. Then, for every $\mathbf{u}_1,\dots,\mathbf{u}_{\ell}\in \mathcal{K}^n$, we have Moreover, if there exists $i_0\in \{1,\dots,\ell\}$, such that for every $i\in \{1,\dots,\ell\}\setminus\{i_0\}$, we have $\Vert \mathbf{u}_i\Vert<\Vert \mathbf{u}_{i_0}\Vert$, then, the inequality in eqn:UMIneq is an equality

Theorems & Definitions (58)

  • Lemma 1.1: Ultrametric Inequality
  • Example 1.2
  • Definition 1.3
  • Remark 1.4
  • Definition 1.5
  • Theorem 1.6: Maximum size of orthogonal sets
  • Remark 1.7
  • Theorem 1.8: Maximum orthogonal sets
  • Proposition 1.9
  • Definition 1.10
  • ...and 48 more