Пусть X = (Xij) – некоторая симметрическая матрица с нулями на диагонали и неизвестными Xij, i≠j. Каждой четверке {i,j,k,l}⊂{1, 2,…,n} поставим в соответствие следующий полином степени 2 по правилу
Это отношение определяет гиперповерхность T(pijkl) в пространстве ℝ. Тропический Грассманиан есть пересечение этих гиперповерхностей. Это есть полиэдральный веер определенный как:
Рассмотрим случай n = 4.
Получаем одно соотношение
Значит, тропический грассманиан Gt2,4 состоит из одной тропической гиперповерхности T(p1234).
В этом случае тропический грассманиан Gt2,4 есть тропическая гиперповерхность полинома 1234 = X12X34 + X13X24 + X14X23, где 1234 – есть плюкерово соотношение классического грассманиана G1,3.
Согласно [61] в случае неархмедова нормирования амёба A(V ) гиперповерхности
совпадает с T(trop(1234)), и значит тропический грассманиан Gt2,4 есть амёба гиперповерхности V .
Основная теорема о пространстве филогенетических деревьев состоит в следующем.
Теорема. Метрическая матрица D задает метрику дерева тогда и только тогда, когда матрица X = -D есть точка в тропическом Грассманиане Gr2,n.
Пример. Рассмотрим случай n = 4 разобраный в п.2.3. Матрица D=
Тропический грассманиан есть тропическая гиперповерхность T(p1234), где
Матрица X = -D =
Подставим элементы матрицы X в p1234:
Матрица X есть точка в тропическом грассманиане, значит X задает метрику дерева.