OFFSET
1,3
COMMENTS
The given basis vector (k_1,...,k_r) is encoded as n = p_{k_1}...p_{k_r}, where p_j is the j-th prime (Heinz encoding). Then a(n) is the minimal (positive) determinant of all integer r X r matrices with top row (k_1,...,k_r) and all rows pairwise orthogonal.
The values of n and a(n) are independent of the order of the k_j's; they depend only on the multiset {k_1,...,k_r}.
An algorithm for computing a(n) is described in the Pinner and Smyth link below. It has been implemented in Maple. More properties of this sequence are also discussed in this paper.
LINKS
Christopher J. Smyth, Table of n, a(n) for n = 1..6000
Chris Pinner and Chris Smyth, Lattices of minimal index in Z^n having an orthogonal basis containing a given basis vector
Christopher J. Smyth, List of n, a(n) and associated matrix for n up to 6000
FORMULA
For n = p_j prime, the matrix is 1 X 1, namely (j), and a(n) = j.
For n = p_{j}*p_{j'}, the matrix is 2 X 2, namely ((j, j'),(-j'/g, j/g)), where g = gcd(j,j'), and a(n) = (j^2 + {j'}^2)/g.
Also easy to see that a(p_{k j_1}*...*p_{k j_r}) = k*a(p_{j_1}*...*p_{j_r}).
EXAMPLE
For n = 6 = p_1*p_2, the given basis vector is (1,2), and a(n)=5 because the matrix ((1,2),(-2,1)) has the smallest determinant of a matrix with orthogonal rows, and the given top row.
For n = 70 = 2*5*7 = p_1*p_3*p_4, the given basis vector is (1,3,4), and a(70)=78 because the matrix ((1,3,4),(1,1,-1),(-7,5,-2)) has orthogonal rows and determinant 78, which is minimal.
CROSSREFS
KEYWORD
nonn
AUTHOR
Christopher J. Smyth, Aug 31 2019
STATUS
approved