WikiDer > Последовательность Мозера – де Брейна

Таблица сложения для ${ displaystyle x + 2y}$ где ${ displaystyle x}$ и ${ displaystyle y}$ оба принадлежат последовательности Мозера – де Брейна, а Кривая Z-порядка который соединяет суммы в числовом порядке

В теория чисел, то Последовательность Мозера – де Брейна является целочисленная последовательность названный в честь Лео Мозер и Николаас Говерт де Брёйн, состоящий из сумм различных степеней 4. Он начинается

0, 1, 4, 5, 16, 17, 20, 21, 64, 65, 68, 69, 80, 81, 84, 85, 256, ... (последовательность A000695 в OEIS)

Например, 69 принадлежит этой последовательности, потому что оно равно 64 + 4 + 1, сумме трех различных степеней 4.

Бинарные и связанные представления

Другое определение последовательности Мозера – де Брейна состоит в том, что это упорядоченная последовательность чисел, двоичное представление имеет ненулевые цифры только в четных позициях. Например, 69 принадлежит последовательности, потому что ее двоичное представление 1000101₂ имеет ненулевые цифры в позициях для 2⁶, 2², и 2⁰, все из которых имеют четные показатели. Цифры в последовательности также можно описать как числа, представление по основанию 4 использует только цифры 0 или 1.^[1] Для числа в этой последовательности представление с основанием 4 можно найти из двоичного представления, пропустив двоичные цифры в нечетных позициях, которые все должны быть нулевыми. С другой стороны, это числа, шестнадцатеричный представление содержит только цифры 0, 1, 4, 5. Например, 69 = 1011₄ = 45₁₆.

Эквивалентно, это числа, двоичные и негабаритный представления равны.^[1][2]

График количества элементов последовательности до ${ displaystyle n}$ деленное на ${ displaystyle { sqrt {n}}}$, в логарифмической горизонтальной шкале

Из двоичного определения этих чисел или определения числа с основанием 4 следует, что они растут примерно пропорционально квадратные числа. Число элементов в последовательности Мозера – де Брейна, которые ниже любого заданного порога. ${ displaystyle n}$ пропорционально ${ displaystyle { sqrt {n}}}$,^[3]факт, который также верен в отношении квадратных чисел. На самом деле числа в последовательности Мозера – де Брейна - это квадраты для версии арифметики без несущий на двоичных числах, в которых сложение и умножение отдельных битов соответственно Эксклюзивный или и логическое соединение операции.^[4]

В связи с Теорема Фюрстенберга – Шаркози на последовательностях чисел без разницы квадратов, Имре З. Ружа нашел конструкцию для больших бесквадратных разностей множеств, которая, как и бинарное определение последовательности Мозера – де Брейна, ограничивает цифры в чередующихся позициях в базовом${ displaystyle b}$ числа.^[5] При нанесении на основу ${ displaystyle b = 2}$, Конструкция Ружи генерирует последовательность Мозера – де Брейна, умноженную на два, набор, который снова является бесквадратным. Однако этот набор слишком разрежен, чтобы дать нетривиальные оценки снизу для теоремы Фюрстенберга – Шаркози.

Уникальное представление в виде сумм

Последовательность Мозера – де Брейна подчиняется свойству, аналогичному свойству Сидоновская последовательность: суммы ${ displaystyle x + 2y}$, где ${ displaystyle x}$ и ${ displaystyle y}$ оба принадлежат последовательности Мозера – де Брейна, все уникальны. Никакие две из этих сумм не имеют одинаковой стоимости. Более того, каждое целое число ${ displaystyle n}$ можно представить в виде суммы ${ displaystyle x + 2y}$, где ${ displaystyle x}$ и ${ displaystyle y}$ оба принадлежат последовательности Мозера – де Брейна. Чтобы найти сумму, которая представляет ${ displaystyle n}$, вычислить ${ Displaystyle х = п & mathrm {0x55555555}}$, то побитовое логическое и из ${ displaystyle n}$ с двоичным значением (выраженным здесь в шестнадцатеричный), который имеет единицы на всех своих четных позициях, и установите ${ Displaystyle у = (п-х) / 2}$.^[1][6]

Последовательность Мозера – де Брейна - единственная последовательность с этим свойством, что все целые числа имеют уникальное выражение как ${ displaystyle x + 2y}$. Именно по этой причине последовательность первоначально была изучена Мозер (1962).^[7] Расширение собственности, де Брюйн (1964) нашел бесконечно много других линейных выражений, таких как ${ displaystyle x + 2y}$ Что, когда ${ displaystyle x}$ и ${ displaystyle y}$ оба принадлежат последовательности Мозера – де Брейна, однозначно представляют все целые числа.^[8][9]

Кривая Z-порядка и формула преемника

Разложение числа ${ displaystyle n}$ в ${ Displaystyle п = х + 2у}$, а затем обращаясь к ${ displaystyle x}$ и ${ displaystyle y}$ Сохраняющее порядок отображение последовательности Мозера – де Брейна в целые числа (заменой степеней четырех в каждом числе соответствующими степенями двух) дает биекция от неотрицательных целых чисел до заказанные пары неотрицательных целых чисел. Инверсия этого биектирования дает линейный порядок точек на плоскости с неотрицательными целочисленными координатами, который может использоваться для определения Кривая Z-порядка.^[1][10]

В связи с этим приложением удобно иметь формулу для генерации каждого последующего элемента последовательности Мозера – де Брейна из ее предшественника. Это можно сделать следующим образом. Если ${ displaystyle x}$ является элементом последовательности, то следующий член после ${ displaystyle x}$ может быть получен путем заполнения битов в нечетных позициях двоичного представления ${ displaystyle x}$ по одному, добавляя единицу к результату и затем маскируя заполненные биты. Заполнение битов и добавление единицы можно объединить в одну операцию сложения. То есть следующий член - это номер, заданный формулой

${ displaystyle (х + { textrm {0xaaaaaaab}}) & { textrm {0x55555555}}}$.^[1][6][10]

Две шестнадцатеричные константы, встречающиеся в этой формуле, можно интерпретировать как 2-адические числа ${ displaystyle 1/3}$ и ${ displaystyle -1/3}$соответственно.^[1]

Игра на вычитание

Голомб (1966) исследовал игра на вычитание, аналогично вычесть квадрат, на основе этой последовательности. В игре Голомба два игрока по очереди извлекают монеты из кучи ${ displaystyle n}$ монеты. На каждом ходу игрок может убрать любое количество монет, принадлежащих последовательности Мозера – де Брейна. Удаление любого другого количества монет не допускается. Выигрывает игрок, убравший последнюю монету. Как замечает Голомб, «холодные» позиции в этой игре (те, в которых игрок, который собирается двигаться, проигрывает), в точности являются позициями вида ${ displaystyle 2y}$ где ${ displaystyle y}$ принадлежит последовательности Мозера – де Брейна. Выигрышная стратегия для этой игры - разложить текущее количество монет, ${ displaystyle n}$, в ${ displaystyle x + 2y}$ где ${ displaystyle x}$ и ${ displaystyle y}$ оба принадлежат последовательности Мозера – де Брейна, и тогда (если ${ displaystyle x}$ не равно нулю), чтобы удалить ${ displaystyle x}$ монеты, оставив холодную позицию другому игроку. Если ${ displaystyle x}$ равен нулю, эта стратегия невозможна и нет выигрышного хода.^[3]

Десятичные обратные

Последовательность Мозера – де Брейна составляет основу примера иррациональный номер ${ displaystyle x}$ с необычным свойством, что десятичные представления ${ displaystyle x}$ и ${ displaystyle 1 / x}$ могут быть написаны просто и явно. Позволять ${ displaystyle E}$ обозначим саму последовательность Мозера – де Брейна. Тогда для

${ displaystyle x = 3 sum _ {n in E} 10 ^ {- n} = 3,300330000000000330033 dots,}$

десятичное число, ненулевые цифры которого находятся в позициях, заданных последовательностью Мозера – де Брюйна, отсюда следует, что ненулевые цифры его обратной величины расположены в позициях, заданных удвоением чисел в ${ displaystyle E}$ и добавив ко всем по единице: ${ Displaystyle {1,3,9,11, точки }}$:

${ displaystyle { frac {1} {x}} = 3 sum _ {n in E} 10 ^ {- 2n-1} = 0,30300000303 dots .}$^[11][12]

В качестве альтернативы можно написать:

${ displaystyle displaystyle left ( sum _ {n in E} 10 ^ {- n} right) left ( sum _ {n in E} 10 ^ {- 2n} right) = { гидроразрыв {10} {9}}.}$

Подобные примеры работают и в других базах. Например, два двоичные числа чьи ненулевые биты находятся в тех же позициях, что и ненулевые цифры двух десятичных чисел выше, также являются иррациональными обратными.^[13] Эти двоичные и десятичные числа, а также числа, определенные таким же образом для любых других оснований путем повторения одной ненулевой цифры в позициях, заданных последовательностью Мозера – де Брейна, являются трансцендентные числа. Их трансцендентность может быть доказана тем фактом, что длинные строки нулей в цифрах позволяют им быть приблизительный точнее рациональное число чем было бы позволено Теорема Рота если бы они были алгебраические числа.^[12]

Производящая функция

В производящая функция

${ Displaystyle F (x) = prod _ {i = 0} ^ { infty} (1 + x ^ {4 ^ {i}}) = 1 + x + x ^ {4} + x ^ {5} + x ^ {16} + x ^ {17} + cdots,}$

чьи показатели в развернутом виде задаются последовательностью Мозера – де Брейна, подчиняется функциональные уравнения

${ Displaystyle F (x) F (x ^ {2}) = { frac {1} {1-x}}}$^[1][2]

и

${ Displaystyle F (x) = (1 + x) F (x ^ {4}).}$^[14]

Например, эту функцию можно использовать для описания двух десятичных обратных величин, указанных выше: один - ${ displaystyle 3F (1/10)}$ а другой ${ displaystyle { tfrac {3} {10}} F (1/100)}$. Тот факт, что они взаимны, является примером первого из двух функциональных уравнений. частичные продукты формы произведения производящей функции можно использовать для генерации подходящих дробей непрерывная дробь расширение самих этих чисел, а также кратных им.^[11]

Повторяемость и регулярность

Последовательность Мозера – де Брейна подчиняется отношение повторения что позволяет пое значение последовательности, ${ Displaystyle S (п)}$ (начинается с ${ Displaystyle S (0) = 0}$), который определяется из значения в позиции ${ Displaystyle lfloor п / 2 rfloor}$:

${ Displaystyle S (2n) = 4S (п)}$

${ Displaystyle S (2n + 1) = 4S (n) +1}$

Повторение этого повторения позволяет любую подпоследовательность вида ${ Displaystyle S (2 ^ {я} п + j)}$ быть выраженным как линейная функция исходной последовательности, что означает, что последовательность Мозера – де Брейна является 2-регулярная последовательность.^[15]

Смотрите также

• Последовательность Стэнли и Кантор набор, множества, определенные аналогично с использованием трех представлений их элементов

Заметки

внешние ссылки

• Вайсштейн, Эрик В., "Последовательность Мозера-де Брёйна", MathWorld