Я, конечно, могу чего-то не понимать, но в первом сообщении четко прозвучало:
простые формулы для вершин
правильного 
-мерного симплекса
(выделение мое). Барицентрические координаты задают вершины симплекса, только правильным он не будет.
Если подразумевается, что "простые" формулы для вершин правильного симплекса могут содержать только значения координат -1 и +1, то существование можно поставить под определенное сомнение. Будем кодировать +1 единицей, а -1 - нулем, координатам каждой вершины будет соответствовать двоичная запись некоторого числа (длина этой записи равна размерности пространства). Тогда задача сведется к нахождению такого подмножества множества всех двоичных записей длиной

, число элементов в котором не меньше

, а любые два элемента отличаются в

позициях. В случае

. И ни для

(очевидно), ни для

(перебором) такие подмножества выделить не удается.
Если же помимо

среди значений координат может также попадаться и 0, то все становится сложнее...