Пусть

- полином, коэффициенты которого суть цифры двоичного представления числа

.
Ранее я заинтересовался корнями

-полиномов, получилась
интересная дискуссия Но в случае корней не имеет особого значения способ получения полинома;
генерация через двоичные представления просто одна из форм перебора.
Стало интересно, что происходит с
факторизацией этих полиномов, а точнее с коэффициентами.
Мне подсказали, что все полиномы-сомножители в факторизации также будут

-полиномами
"iff there are no carries when multiplying prime factors in binary".
То есть здесь уже прямую роль играет число

, из которого получился полином.
Появился наивный вопрос:
Когда в коэффициентах факторизации впервые появится данное целое число
?Первые наблюдения:

- первое появление


- первое появление
Есть теоретический результат:

разлагается в круговые полиномы.
А среди коэффициентов круговых полиномов рано или поздно встретится любое целое
(где-то
в статье есть пруф)
Поскольку

-

-полином, то можно утверждать, что любое целое встретится и в их разложении.
Но это - чистое доказательство существования. Поэтому я продолжил наблюдения.
Выяснилось следующее:
1. Целые числа впервые появляются как коэффициенты в разложении

-полиномов в порядке
A001057 (если полиномы генерируются из бинарников последовательных натуральных).
Сначала мне показалось, что это очевидно, но в результате, так и не понимаю, почему это так.
2. До

целые появляются строго последовательно. Начиная с

они появляются только попарно,
как

. Это тем более непонятно.
Проверил ситуацию с

, т.е. с

-полиномами. Первое наблюдение сохраняется, более того,
в этом случае они появляются строго последовательно вплоть до

, далее еще не проверял.
Если кому-то будет интересна эта тема, буду признателен за любые теоретические результаты и дополнения в численных примерах!