login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

Dimensions d such that the integer lattice Z^d does not contain the vertices of a regular d-simplex.
0

%I #13 Jun 14 2020 15:37:03

%S 2,4,5,6,10,12,13,14,16,18,20,21,22,26,28,29,30,32,34,36,37,38,40,41,

%T 42,44,45,46,50,52,53,54,56,58,60,61,62,64,65,66,68,69,70,72,74,76,77,

%U 78,82,84,85,86,88,90,92,93,94,96,98,100,101,102,104,106,108

%N Dimensions d such that the integer lattice Z^d does not contain the vertices of a regular d-simplex.

%C List contains d such that (1) d is even and d+1 is not a square, or (2) d == 1 (mod 4) and d+1 is not a sum of two squares; proved by Schoenberg.

%H Hiroshi Maehara and Horst Martini, <a href="https://doi.org/10.1007/s00010-018-0557-4">Elementary geometry on the integer lattice</a>, Aequationes mathematicae, 92 (2018), 763-800. See Sec. 3.2.

%H I. J. Schoenberg, <a href="https://doi.org/10.1112/jlms/s1-12.45.48">Regular Simplices and Quadratic Forms</a>, J. London Math. Soc. 12 (1937) 48-55.

%e 2 is in the list because there is no equilateral triangle in the plane whose vertices all have integer coordinates.

%e 3 is not in the list because there is a regular tetrahedron in space whose vertices have integer coordinates; e.g. (1,1,0), (1,0,1), (0,1,1), (0,0,0).

%Y Complement of A096315.

%Y Cf. A000290, A001481, A022544, A097269.

%K nonn

%O 1,1

%A _Harry Richman_, May 08 2020

%E More terms from _Jinyuan Wang_, May 09 2020