Проклятая занимательная математика

[spamsink]

Возьмем какую-нибудь последовательность чисел и будем рассматривать их как последовательность коэффициентов многочлена, начиная со степени 0 и вплоть до некоторого члена последовательности, т. е. пусть
Pn(x) = a0 +a1*x + a2*x2 + a3*x3 + ... + an*xn

Нас будут интересовать последовательности bn - количества вещественных корней Pn(x) в зависимости

Comments

[baramin]

Круть! Спасибо!

[burrru]

А насколько это необычно? Если возьмем случайную (в каких-то смыслах) последовательность возрастающих коэффициентов, каким будет распределение паттернов?

[spamsink]

В статье приводятся примеры последовательностей, доказуемо дающих bn = n mod 2 до бесконечности (напр., числа Фибоначчи), и примеры последовательностей, дающих постепенно (немонотонно) возрастающие bn типа 0, 1, 2, 3, 4, 5, 6, 5, 6, 7, 6, 7, 8, 9, 8, ... Так что последовательность, дающая весьма длинную, но в конце концов ломающуюся цепочку 0-1-0-1, весьма необычна.

[xaxam]

Задача с математической точки зрения выглядит извращением: вещественные корни многочленов с целыми коэффициентами - монструозное сочетание. В пространстве многочленов с вещественными коэффициентами разбиение на части, соответствующие разному числу вещественных корней, - довольно хорошо изученная задача; решением которой являются всевозможные "ласточкины хвосты" (swallowtails): в простейшем случае многочлена x3+px+q=0 на плоскости возникает полукубическая парабола (p/3)3 + (q/2)2=0. С одной стороны от неё три корня, с другой один, на самой параболе - один простой и один кратный корень.

"Стороны" неравноценны: на параболе есть "клюв", и внутренность клюва имеет меньшую площадь, чем его внешность, поэтому если мы выбираем (p,q) равномерно распределённой случайной величиной внутри, скажем, круга с центром в p=q=0, то один корень в самом деле более вероятен, чем 3 (вероятность ровно двух корней равна 0).

Но равномерное распределение "нефизично": из формулы для дискриминанта видно, что имеет смысл соотношение между квадратом q и кубом p

[zavr]

Там количество корней будет log(n). Чтобы был корень из n надо подкрутить дисперсию: надо чтобы дисперсия была корнем из соответствующего биномиального коэффициента. Соответствующие случайные полиномы это в первом случае Kac а во втором Kostlan или Shub-Smale

[relf]

Второй закон малых чисел в действии: https://en.wikipedia.org/wiki/Strong_law_of_small_numbers

[roman_rogalyov]

Очень интересно!

Интересна и связанная с распределением нулей полиномов гипотеза Ли-Янга:
в физически осмысленных моделях нули статсуммы, рассматриваемой как функция активности (она аппроксимируется полиномом очень большой, порядка числа Авогадро, степени), ложатся на гладкую кривую. Ли и Янг доказали, что в случае модели Изинга и ей подобных нули лежат на единичной окружности, но не смогли продвинуться дальше и/или привести какой-либо ещё нетривиальный пример.