CC BY
14
УДК 519.174.7
Л. И. Боголюбский1, А.М. Райгородский1'2'3
1 Московский государственный университет им. М. В. Ломоносова 2 Московский физико-технический институт (государственный университет) 3Институт математики и информатики, Бурятский государственный университет, г. Улан-Удэ
Об измеримом хроматическом числе пространства растущей размерности
Работа посвящена классической проблеме Нелсона-Эрдёша-Хадвигера о раскраске евклидова пространства. Точнее, рассматривается задача об измеримом хроматическом числе пространства для случая растущей размерности. Изучена ситуация, сложившаяся с нижними оценками этой величины после публикации некоторых недавних исследований.
Ключевые слова: хроматическое число пространства, измеримое хроматическое число, проблема Нелсона-Эрдёша-Хадвигера, дистанционный граф, число независимости.
L.I. Bogolubsky1, A.M. Raigorodskii1,2,3
1Lomonosov Moscow State University 2 Moscow Institute of Physics and Technology (State University) 3Institute of Mathematics and Computer Science, Buryat State University, Ulan-Ude
On the measurable chromatic number of a space of
growing dimension
This paper is devoted to the classical Nelson-Erdos-Hadwiger problem of the Euclidean space coloring. Namely, we discuss the problem of finding the measurable chromatic number of the space in the case of growing dimension. We study the situation with the lower bounds of this value in the context of some recent researches.
Key words: chromatic number of a space, measurable chromatic number, Nelson-Erdoos-Hadwiger problem, distance graph, independence number.
1. Введение
В 1950 году Нелсон (см. [1]) поставил задачу об отыскании так называемого хроматического числа пространства, т.е. величины
Х(Мга) = ш1п(х : Мга = VI и ... и Ух V г V х, у е Ъ |х - у | = 1}.
Иными словами, хроматическое число пространства — это минимальное количество цветов, в которые можно так покрасить все точки в Мга, чтобы между точками одного цвета не было расстояния 1. Сейчас задача о хроматическом числе — одна из центральных в комбинаторной геометрии (см. [2] - [6]). В то же время исключительно важную роль играет вариант задачи, в рамках которого рассматриваются только раскраски измеримыми по Лебегу цветами (множества VI,...,УХ измеримы). В этом случае искомая величина обозначается %т(Мга) и называется измеримым хроматическим числом пространства. Неизвестно, верно ли, что х(Кга) = хт(Кга). Однако нижние оценки этих величин сильно разнятся. Например, мы знаем, что
(1.239 ... + о(1))га < %(Мга) < (3 + о(1))га (нижняя оценка получена в [7], а верхняя — в [8]), а недавно было показано (см. [9]), что
(1.268 ... + о(1))п < Хт(Мга) < (3 + о(1))га
Но, возможно, это лишь временное явление?
В следующем разделе мы опишем методы получения обеих нижних оценок. В разделе 3 мы сперва напомним результат работы [10] о том, что в рамках метода, дающего оценку обычного хроматического числа, есть шанс получить неравенства
Хш(Шп) > х(Мга) ^ (1.30 ... + о(1))п,
коль скоро будет доказана некоторая естественная гипотеза. Затем мы покажем, что с помощью метода, применяемого для оценки измеримого хроматического числа, при нынешнем арсенале знаний, включающем в себя и «естественную гипотезу», напротив, нельзя получить лучшей оценки, нежели
Хт(Шп) > (1.28 ... + о(1))га
Таким образом, получится, что если упомянутая гипотеза верна, то у нас нет, на самом деле, никаких нетривиальных асимптотических оценок для измеримых хроматических чисел. Заметим, что в малых размерностях ситуация иная (см. [11]).
2. Методы получения нижних оценок хроматических чисел
Назовем граф G = (V,E) дистанционным, если V С Мга, а
Е = {{x, y} : |x - y| = a}
при некотором a > 0. Понятно, что х(Кга) ^ x(G) для любого дистанционного графа G. Здесь x(G) — обычное хроматическое число графа, т.е. минимальное число цветов, в которые можно так покрасить вершины графа, чтобы концы любого ребра имели разные цвета.
Оценка х(Мга) ^ (1.239 ... + о(1))п получена следующим образом. Рассмотрим для каждого п некоторые неотрицательные целые числа к-\, к0, к\, в сумме дающие п, и некоторое положительное вещественное число t. Пусть G(n,k-i,k0,k\,t) — граф, вершины которого — это все возможные (—1, 0,1)-векторы в Мга, имеющие по к-\,ко и к\ отрицательных, нулевых и положительных координат соответственно, а ребра — пары вершин, отстоящих друг от друга на расстояние t. Разумеется, мы получаем неравенство
x(Rn) ^ max x(G(n,k-i,ko,ki,t)).
k—i,ko,ki,t
В свою очередь, хроматическое число любого графа G не меньше, чем отношение числа его вершин к его числу независимости, которое обозначается a(G) и представляет собой максимальное количество вершин графа, попарно не соединенных ребрами, т.е. максимальный размер множества, которое можно покрасить в один цвет. Естественно, возникает оценка
|F (G(n,k-!,ko ,къщ
) ^ max
к-!,коМ^ а(С(п,к-1,ко,к\,1)) ' и никаких иных оценок в этом месте применять не научились.
Теперь нужно оценить число независимости сверху. В настоящее время это удается сделать отнюдь не для любых наборов параметров к-1,к0,к\,Ь. А именно, предполагается, что к-\ ^ к\, к-\ + к\ ^ (это суть технические ограничения) и, главное, что расстояние Ь отвечает скалярному произведению 8, которое отличается от скалярного квадрата к-\ + к\ любого вектора из множества вершин V(С(п, к-\, к0, к\,Ь)) на величину некоторого простого числа р (см. [12], [13], [14]). Итоговая оценка имеет некоторый вид
а(С(п, к-\, ко, к\,{)) ^ д(С(п, к-\,к0, к\^)),
где вид функции g (довольно громоздкой) для наших нынешних целей значения не имеет, но при этом важно, что оценка верна лишь для наборов (k-i, ко, k\,t) из некоторого множества А(п). Таким образом,
X(R») ^ max W(G(n, к.ММ ,
(k-1,ko,k1,t)eA('n) g(G(n, к-i, к0, ki,t))
и ничего лучшего не известно. Процедура максимизации подробно описана в книге [13], и она дает в аккурат оценку x(Rra) ^ (1.239 ... + o(1))n. Заметим, что оптимальные значения величин к-1, ki, s (s, напомним, — это скалярное произведение) асимптотически по n ^ те равны
У — У
! ! _i n^i
к_i^, ki^, ~
где к!_ i =0.06..., к[ =0.3 ...
Теперь скажем несколько слов об оценке Xm(Rn) ^ (1.268... + o(1))n. Она основана на решении некоторой оптимизационной задачи, которая также связана с дистанционными графами и точную постановку которой можно найти в [9]. В той же статье [9] доказана следующая теорема, в которой, по сути, найдено одно из решений упомянутой только что оптимизационной задачи.
Теорема 1. Пусть дана последовательность дистанционных графов Gn = (Vn,En) С Rn, отнормированных так, чтобы длина каждого ребра в них была равна 1. Пусть для некоторого b < л/2/е выполнено
^ < (b + o(1))n. (1)
Пусть, кроме того, вершины каждого графа Gn лежат на сфере радиуса г ^ 1/2 (радиус от п не зависит). Для каждого г положим
с(г) = (1 + VT—й) е, f (г) = л/2с(г)/е.
Тогда
xm(Rn) >[^ш)n.
В работе [9] в качестве Gn взяты знакомые нам графы G(n, k—i, ко, ki, t), отнормирован-ные согласно условию теоремы 1. Это неудивительно, ведь нужны графы, удовлетворяющие условию (1), а оно выполнено для многих наборов параметров из А(п), поскольку
1
- = W - = 1.165 ... < 1.239 ... 2
При этом мы по-прежнему, конечно, смотрим не на дробь ot/\V\, но лишь на доступную нам ее оценку g/\V\. В результате оказывается, что теперь оптимальны значения величин к-1, ki, s, асимптотически по и ^ те равные
У — У
ГЬ_i^, К^Н/, ~ "Ht,
где k!_i =0.2 ..., k'i = 0.22 ... С учетом несложной формулы
/(fc'i + к'_ i V -i
+ k'_i) - (k'i -k!_i)2
r = ' ' "
+ 3 k'_ i
и теоремы 1 как раз и выходит, что Хт(^"0 ^ (1.268... + о(1))га.
В следующем разделе мы поговорим о том, как изменятся оценки обычных и измеримых хроматических чисел, если мы продолжим применять описанные методы, но функцию д, служащую вынужденной верхней оценкой чисел независимости графов С(п,к-1, ко,к1, ¿), заменим на реальные значения этих чисел.
3. Старая гипотеза и новые оценки
В работе [10] было введено понятие строгой (1-частной конструкции. А именно, пусть даны положительные целые числа 1г,...,1¿, сумма которых равна п, и тройки чисел 1г,-\, 1г,\ с суммой ^, г = 1,... ,й. Совокупность Т, состоящая из (-1, 0,1)-векторов, является строгой ^-частной конструкцией, если существует такое разбиение множества всех координатных позиций на части размеров 1г,...,1¿, что каждый из векторов совокупности Т имеет ровно 1г,и координат величины V = -1, 0,1 в части с номером г, г = 1,... ,й. Разумеется, если, как и в разделе 2, каждый вектор из Т имеет к-\ отрицательных и к\ положительных координат, то
= к-г, = кг.
г=1 г=1
Пусть теперь, как и в оптимальных ситуациях, описанных в разделе 2,
к-г ~ к—гп, кг ~ к'гп, 8 ~ в'п, 0 < к—г ^ к[, к—г + к'г ^ 1, в' €
У — У
. ^ к 1 -2к'_ г,-1—-
(2)
В работе [10] сформулирована и мотивирована следующая гипотеза.
Гипотеза 1. Пусть последовательность графов С(п,к-г,к0,кг, ¿) подчиняется условиям (2) (здесь £ — расстояние, отвечающее скалярному произведению в). Тогда
а(С(п,к-г,ко,кг,г)) = (с(к'-1,к'1) + о(1))га, с(к'-1,к'1) > 1,
причем существует такая (1-частная конструкция Т, что в ней всегда (х, у) > в и
|Т| = (с(к'_г, к'г, в') + о(1))га
В той же работе [10] доказано, что если гипотеза верна, то (I ^ 3. Это позволяет проводить оптимизацию как при отыскании нижней оценки обычного хроматического числа, так и при отыскании аналогичной оценки измеримого хроматического числа. В первом случае оптимизация проведена в работе [10], и там показано, что при
У — У
. . . к 1
к' г =0.145 ..., Е = 0.355 ..., в' = —-—
-г ' г ' 2
выполнено
г) ^ Х(0(п, к-г, ко, кг, ¿)) > (1.30... + о(1))га
Нам удалось провести оптимизацию во втором случае. А именно, мы заменили в неравенстве (1) оценку числа независимости функцией д (см. раздел 2) на значение числа независимости, вычисляемое за счет гипотезы 1 и теоремы о том, что в этой гипотезе достаточно брать й ^ 3. В итоге нами установлен следующий факт.
Утверждение 1. Если верна гипотеза 1 и мы применяем технику из теоремы 1, то
Хт(Шп) > (1.28 ... + о(1))га Константа 1.28 ... получена при
к-г = 0.25 ..., к[ =0.25 ..., в' = -0.05585 ...
Иными словами, получается, что тривиальная оценка Хт ^ X окажется сильнее оценки из теоремы 1, коль скоро верна гипотеза 1. Мы предполагаем, что это связано не с тем, что, на самом деле, гипотеза ошибочна, а с тем, что, по-видимому, метод из теоремы 1 подлежит усилению.
Настоящая работа выполнена при финансовой поддержке гранта РФФИ N 15-01-03530 и гранта НШ-2964.2014.1 поддержки ведущих научных школ.
Литература
1. Soifer A. The Mathematical Coloring Book. Springer, 2009.
2. Райгородский А.М. Проблема Борсука и хроматические числа метрических пространств // Успехи матем. наук. 2001. Т. 56, вып. 1. С. 107-146.
3. Raigorodskii A.M. Coloring Distance Graphs and Graphs of Diameters // Thirty Essays on Geometric Graph Theory, J. Pach ed., Springer. 2013. P. 429-460.
4. Raigorodskii A.M. Cliques and cycles in distance graphs and graphs of diameters // Discrete Geometry and Algebraic Combinatorics. 2014. AMS. Contemporary Mathematics. 625. P. 93-109.
5. Brass P., Moser W., Pach J. Research problems in discrete geometry. Springer, 2005.
6. Sz6ke2y L.A. Erdos on unit distances and the Szemeredi-Trotter theorems //J. Bolyai Math. Soc. 2002. 11. P. 649-666.
7. Райгородский А.М. О хроматическом числе пространства // Успехи матем. наук. 2000. Т. 55, № 2. С. 147-148.
8. Larman D.G., Rogers C.A. The realization of distances within sets in Euclidean space // Mathematika. 1972. 19. P. 1-24.
9. Bachoc Ch., Passuello A., Thiery A. The density of sets avoiding distance 1 in Euclidean space // arXiv:1401.6140.
10. Райгородский А.М., Харламова А.А. О совокупностях (-1, 0, 1)-векторов с запретами на величины попарных скалярных произведений // Труды по векторному и тензорному анализу. 2013. Т. 29, С. 130-146.
11. Боголюбский Л.И., Райгородский А.М. Об измеримом хроматическом числе пространства размерности п ^ 24 // Доклады РАН. 2015.
12. Frankl P., Wilson R.M. Intersection theorems with geometric consequences // Combinatorica. 1981. 1. P. 357-368.
13. Райгородский А.М. Линейно-алгебраический метод в комбинаторике. М.: МЦНМО. 2-е изд., 2015.
14. Пономаренко Е.И., Райгородский А.М. Новые верхние оценки чисел независимости графов с вершинами в {—1, 0,1}n и их приложения в задачах о хроматических числах дистанционных графов // Матем. заметки. 2014. 96, № 1. С. 138-147.
References
1. Soifer A. The Mathematical Coloring Book. Springer, 2009.
2. Raigorodskii A.M. Borsuk's problem and the chromatic numbers of some metric spaces. Russian Mathematical Surveys. 2001. V. 56, I. 1. P. 103-139.
3. Raigorodskii A.M. Coloring Distance Graphs and Graphs of Diameters. Thirty Essays on Geometric Graph Theory, J. Pach ed., Springer. 2013. P. 429-460.
4. Raigorodskii A.M. Cliques and cycles in distance graphs and graphs of diameters. Discrete Geometry and Algebraic Combinatorics. 2014. AMS. Contemporary Mathematics. 625. P. 93-109.
5. Brass P., Moser W., Pach J. Research problems in discrete geometry. Springer, 2005.
6. Sz6ke2y L.A. Erdo's on unit distances and the Szemeredi-Trotter theorems. J. Bolyai Math. Soc. 2002. 11. P. 649-666.
7. Raigorodskii A.M. On the chromatic number of a space.Russian Mathematical Surveys. 2000. V. 55, N 2. P. 351-352.
8. Larman D.G., Rogers C.A. The realization of distances within sets in Euclidean space. Mathematika. 1972. 19. P. 1-24.
9. Bachoc Ch., Passuello A., Thiery A. The density of sets avoiding distance 1 in Euclidean space. arXiv:1401.6140.
10. Raigorodskii A.M., Kharlamova A.A. On the families of (-1, 0, 1)-vectors with banned pairwise scalar products. Proceedings on the vector and tensor analysis. 2013. V. 29, P. 130-146.
11. Bogolubsky L.I., Raigorodskii A.M. On the measurable chromatic number of the space of dimension n ^ 24. Doklady Math. 2015.
12. Frankl P., Wilson R.M. Intersection theorems with geometric consequences. Combinatorica. 1981. 1. P. 357-368.
13. Raigorodskii A.M. Linear algebraic method in combinatorics. M.: Moscow Center of Continuous Mathematical Education, second ed., 2015.
14. Ponomarenko E.I., Raigorodskii A.M. New upper bounds for the independence numbers of graphs with vertices in {—1,0,1}n and their applications to problems of the chromatic numbers of distance graphs. Mathematical Notes. 2014. V. 96, N 1-2. P. 140-148.
Поступила в редакцию 31.07.2015.
