Cubes of integral vectors in dimension four

From MaRDI portal



Abstract: A system of m nonzero vectors in mathbbZn is called an m-icube if they are pairwise orthogonal and have the same length. The paper describes m-icubes in mathbbZ4 for 2lemle4 using Hurwitz integral quaternions, counts the number of them with given edge length, and proves that unlimited extension is possible in mathbbZ4.


For \(1 \leq m \leq 4\), the \(m\)-tuple \((v_1, \dots, v_m)\) of vectors \(v_i \in \mathbb Z^4\) are called an \(m\)-icube, if these vectors are pairwise orthogonal and have the same length.NEWLINENEWLINEIn this paper it is shown that for \(1 \leq m \leq 3\) every \(m\)-icube in \(\mathbb Z^4\) can be extended to a \(4\)-icube. Furthermore, for every \(1 \leq m \leq 4\) and \(N \in \mathbb N\), the authors give a formula for \(f_m(N)\), the number of \(m\)-icubes with vectors of length \(\sqrt N\). It turns out that there are constants \(c_m\) such that \(f_m(N)/c_m\) is a multiplicative function. The formula for \(f_1(N)\) goes back to Jacobi.NEWLINENEWLINEThe proof makes intensive use of the arithmetic of Hurwitz integral quaternions and its subring of Lipschitz quaternions, i.e. quaternions with integral coefficients.











This page was built for publication: Cubes of integral vectors in dimension four

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2859352)