Контактне число (іноді число Ньютона[1], у хімії відповідає координаційному числу[2]) — найбільша кількість куль одиничного радіуса, які можуть одночасно дотикатися до однієї такої самої кулі в n-вимірному евклідовому просторі (вважається, що кулі не проникають одна в одну, тобто об'ємперетину двох будь-яких куль дорівнює нулю).
Слід відрізняти контактне число від контактного числа на ґратці[3] — аналогічного параметра для найщільнішого регулярногопакування куль. Обчислення контактного числа в загальному випадку досі є нерозв'язаною математичною задачею.
Історія
В одновимірному випадку не більше двох відрізків одиничної довжини можуть дотикатися до такого ж відрізка:
У двовимірному випадку можна інтерпретувати задачу як знаходження найбільшого числа монет, що дотикаються до центральної. З малюнка видно, що можна розмістити до 6 монет:
Це означає, що . З іншого боку, кожне дотичне коло відсікає на центральному колі дугу 60°, і ці дуги не перетинаються, отже . Видно, що в даному випадку оцінки зверху і знизу збіглися і .
У тривимірному випадку йдеться про кулі. Тут також легко побудувати приклад з 12 кулями, що дотикаються до центральної — вони розташовані у вершинах ікосаедра — тому . Ця нижня оцінка була відома ще Ньютону.
Це розташування нещільне, між кулями будуть досить помітні зазори. Оцінка зверху стала причиною відомого спору між Ньютоном і Грегорі 1694 року. Ньютон стверджував, що , А Грегорі заперечував, що може статись, що можна розташувати і 13 куль. Він провів обчислення і з'ясував, що площа центральної кулі більше ніж у 14 разів перевищує площу проєкцій усіх дотичних куль, так що . Якщо ж дозволити змінювати радіуси куль на 2 %, то виявляється можливим притулити до 14 куль.
Лише 1953 року в статті Шютте[en] і ван дер Вардена[4] остаточно встановлено правоту Ньютона, попри відсутність у того суворого доведення.
У чотиривимірному випадку уявити собі кулі досить складно. Розміщення 24 чотиривимірних сфер навколо центральної було відоме давно[джерело?]. Воно настільки ж правильне, як і в двовимірному випадку і є розв'язком одночасно й задачі про контактне число на ґратці. Це те саме розміщення, що й у цілих одиничних кватерніонів.
У явному вигляді на це розташування вказав у 1900 році Госсет[5]. Ще раніше його знайшли (в еквівалентній задачі) в 1872 році російські математики Коркін і Золотарьов[6][7]. Це розташування дало оцінку знизу .
Спроби оцінити це число зверху привели до розвитку тонких методів теорії функцій, але не давали точного результату. Спочатку вдалося довести, що , Потім вдалося знизити верхню межу до 25. У 2003 році російський математик Олег Мусін довів, що [8].
У розмірностях 8 і 24 точну оцінку отримано в 1970-і роки[9][10]. Доведення ґрунтується на рівності контактного числа і контактного числа на ґратці в цих розмірностях: ґратки E8 (для розмірності 8) і ґратки Ліча (для розмірності 24).
Відомі значення та оцінки
Нині точні значення контактних чисел відомі тільки для , А також для і . Для деяких інших значень відомі верхні і нижні оцінки.
↑Schütte, K. and van der Waerden, B. L. Das Problem der dreizehn Kugeln // Math. Ann.. — 1953. — Т. 125, № 1 (14 December). — С. 325—334. — DOI:10.1007/BF01343127.
↑Gosset, Thorold. On the regular and semi-regular figures in space of n dimensions // Messenger of Mathematics[en] : journal. — 1900. — Vol. 29 (14 December). — P. 43—48.
↑Korkine A., Zolotareff G. Sur les formes quadratiques positives quaternaires // Math. Ann.. — 1872. — Т. 5, № 4 (14 December). — С. 581—583. — DOI:10.1007/BF01442912. Рус. пер.: Золотарев Е. И. Полн. собр. соч. — Л. : Изд-во АН СССР, 1931. — С. 66—68.
↑Левенштейн В. И. О границах для упаковок в n-мерном евклидовом пространстве // ДАН СССР. — 1979. — Т. 245 (14 грудня). — С. 1299—1303.
↑A. M. Odlyzko, N. J. A. Sloane. New bounds on the number of unit spheres that can touch a unit sphere in n dimensions // J. Combin. Theory Ser. A : journal. — 1979. — Vol. 26 (14 December). — P. 210—214. — DOI:10.1016/0097-3165(79)90074-8.
↑Hans D. Mittelmann and Frank Vallentin. [http://arxiv.org/abs/0902.1105 High-Accuracy Semidefinite Programming Bounds
for Kissing Numbers] // Experimental Mathematics. — 2010. — Т. 19, № 2 (14 грудня). — С. 174—178. Архівовано з джерела 11 серпня 2020. Процитовано 31 грудня 2020.
(рос.)Шарыгин, Г. И. Контактные числа и проблема тринадцати шаров // Математика. — Издательский дом «Первое сентября», 2007. — № 9 (623) (14 грудня).
(рос.)Шарыгин, Г. И. Контактные числа и проблема тринадцати шаров // Потенциал. — 2009. — № 6 (14 грудня).
(рос.)Арестов В. В., Бабенко А. Г.О схеме Дельсарта оценки контактных чисел // Труды Мат. ин-та им. В. А. Стеклова РАН. — 1997. — Т. 219 (14 грудня). — С. 44—73. Архівовано з джерела 3 березня 2022. Процитовано 31 грудня 2020.