Гипотеза функции тотиент-функции Кармайклса - Carmichaels totient function conjecture - Wikipedia

В математике Гипотеза кармайкла о функции тотализатора касается множественность ценностей Функция Эйлера φ(п), который считает количество целых чисел меньше и совмещать к п. В нем говорится, что для каждого п есть хотя бы одно целое число м ≠ п такой, что φ(м) = φ(п).Роберт Кармайкл впервые заявил об этом догадка в 1907 году, но как теорема а не как предположение. Однако его доказательство было ошибочным, и в 1922 году он отказался от своего утверждения и сформулировал гипотезу как открытая проблема.

Примеры

Тотальная функция φ(п) равно 2, когда п - одно из трех значений 3, 4 и 6. Таким образом, если мы возьмем любое из этих трех значений как п, то любое из двух других значений можно использовать в качестве м для которого φ(м) = φ(п).

Точно так же totient равно 4, когда п - одно из четырех значений 5, 8, 10 и 12, и оно равно 6, когда п - одно из четырех значений 7, 9, 14 и 18. В каждом случае существует более одного значения п имеющий такую ​​же ценность φ(п).

Гипотеза утверждает, что это явление повторяющихся значений справедливо для любогоп.

kчисла п такой, что φ(п) = k (последовательность A032447 в OEIS )количество таких пs (последовательность A014197 в OEIS )
11, 22
23, 4, 63
45, 8, 10, 124
67, 9, 14, 184
815, 16, 20, 24, 305
1011, 222
1213, 21, 26, 28, 36, 426
1617, 32, 34, 40, 48, 606
1819, 27, 38, 544
2025, 33, 44, 50, 665
2223, 462
2435, 39, 45, 52, 56, 70, 72, 78, 84, 9010
2829, 582
3031, 622
3251, 64, 68, 80, 96, 102, 1207
3637, 57, 63, 74, 76, 108, 114, 1268
4041, 55, 75, 82, 88, 100, 110, 132, 1509
4243, 49, 86, 984
4469, 92, 1383
4647, 942
4865, 104, 105, 112, 130, 140, 144, 156, 168, 180, 21011
5253, 1062
5481, 1622
5687, 116, 1743
5859, 1182
6061, 77, 93, 99, 122, 124, 154, 186, 1989
6485, 128, 136, 160, 170, 192, 204, 2408
6667, 1342
7071, 1422
7273, 91, 95, 111, 117, 135, 146, 148, 152, 182, 190, 216, 222, 228, 234, 252, 27017

Нижние границы

Есть очень высокие нижняя граница гипотезы Кармайкла, которые относительно легко определить. Сам Кармайкл доказал, что любой контрпример к его гипотезе (то есть ценность п такое, что φ (п) отличается от тотиентов всех других чисел) должно быть не менее 1037, и Виктор Клее расширил этот результат до 10400. Нижняя граница было дано Шлафли и Вагоном, а нижняя граница был определен Кевин Форд в 1998 г.[1]

Вычислительная техника, лежащая в основе этих нижних оценок, зависит от некоторых ключевых результатов Кли, которые позволяют показать, что наименьший контрпример должен делиться на квадраты простых чисел, делящих его общее значение. Результаты Кли подразумевают, что 8 и простые числа Ферма (простые числа формы 2k + 1) за исключением 3 не делим наименьший контрпример. Следовательно, доказательство гипотезы эквивалентно доказательству того, что гипотеза верна для всех целых чисел, конгруэнтных 4 (mod 8).

Другие результаты

Форд также доказал, что если существует контрпример к гипотезе, то положительная пропорция (в смысле асимптотической плотности) целых чисел также является контрпримером.[1]

Хотя эта гипотеза широко распространена, Карл Померанс дал достаточное условие для целого числа п быть контрпримером к гипотезе (Померанс 1974 ). Согласно этому условию, п является контрпримером, если для каждого простого числа п такой, что п - 1 делит φ(п), п2 разделяетп. Однако Померанс показал, что существование такого целого числа маловероятно. По сути, можно показать, что если первый k простые числа п конгруэнтно 1 (modq) (куда q простое число) все меньше, чем qk+1, то такое целое число будет делиться на все простые числа и, следовательно, не может существовать. В любом случае доказательство того, что контрпример Померанса не существует, далеко от доказательства гипотезы Кармайкла. Однако, если он существует, то существует бесконечно много контрпримеров, как утверждает Форд.

Другой способ сформулировать гипотезу Кармайкла: еслиА(ж) обозначает количество натуральных чисел п для которого φ(п) = ж, тогда А(ж) никогда не может равняться 1. Соответственно, Вацлав Серпинский предположил, что каждое положительное целое число, кроме 1, встречается как значение A (ж), гипотеза, которая была доказана в 1999 году Кевином Фордом.[2]

Примечания

  1. ^ а б Sándor & Crstici (2004) стр. 228
  2. ^ Sándor & Crstici (2004) стр. 229

Рекомендации

внешняя ссылка