Пусть
- полином, коэффициенты которого суть цифры двоичного представления числа
.
Ранее я заинтересовался корнями
-полиномов, получилась
интересная дискуссия Но в случае корней не имеет особого значения способ получения полинома;
генерация через двоичные представления просто одна из форм перебора.
Стало интересно, что происходит с
факторизацией этих полиномов, а точнее с коэффициентами.
Мне подсказали, что все полиномы-сомножители в факторизации также будут
-полиномами
"iff there are no carries when multiplying prime factors in binary".
То есть здесь уже прямую роль играет число
, из которого получился полином.
Появился наивный вопрос:
Когда в коэффициентах факторизации впервые появится данное целое число ?Первые наблюдения:
- первое появление
- первое появление
Есть теоретический результат:
разлагается в круговые полиномы.
А среди коэффициентов круговых полиномов рано или поздно встретится любое целое
(где-то
в статье есть пруф)
Поскольку
-
-полином, то можно утверждать, что любое целое встретится и в их разложении.
Но это - чистое доказательство существования. Поэтому я продолжил наблюдения.
Выяснилось следующее:
1. Целые числа впервые появляются как коэффициенты в разложении
-полиномов в порядке
A001057 (если полиномы генерируются из бинарников последовательных натуральных).
Сначала мне показалось, что это очевидно, но в результате, так и не понимаю, почему это так.
2. До
целые появляются строго последовательно. Начиная с
они появляются только попарно,
как
. Это тем более непонятно.
Проверил ситуацию с
, т.е. с
-полиномами. Первое наблюдение сохраняется, более того,
в этом случае они появляются строго последовательно вплоть до
, далее еще не проверял.
Если кому-то будет интересна эта тема, буду признателен за любые теоретические результаты и дополнения в численных примерах!