WikiDer > Псевдопросто Фробениуса

Frobenius pseudoprime

В теория чисел, а Псевдопросто Фробениуса это псевдопремия, определение которого было вдохновлено квадратичный тест Фробениуса описан Джоном Грэнтэмом в препринте 1998 года и опубликован в 2000 году.^[1]^[2] Псевдопримеры Фробениуса могут быть определены относительно многочлены степени не ниже 2, но наиболее подробно они изучены в случае квадратичные многочлены.^[3]^[4]

Frobenius pseudoprimes w.r.t. квадратичные многочлены

Определение псевдопростых чисел Фробениуса относительно монического квадратичного многочлена ${ displaystyle x ^ {2} -Px + Q}$ , где дискриминант ${ Displaystyle D = P ^ {2} -4Q}$ не квадрат, может быть выражено через Последовательности Лукаса ${ displaystyle U_ {n} (P, Q)}$ и ${ displaystyle V_ {n} (P, Q)}$ следующее.

А составное число п Фробениус ${ displaystyle (P, Q)}$ псевдоперминал тогда и только тогда, когда ${ Displaystyle НОД (п, 2QD) = 1}$ ,

{ Displaystyle (1) qquad U_ {п-к} (P, Q) эквив 0 { pmod {п}}}

и

{ Displaystyle (2) qquad V_ {nk} (P, Q) Equiv { begin {cases} 2Q { pmod {n}} & { mbox {if}} k = -1, 2 { pmod {n}} & { mbox {if}} k = 1 { mbox {,}} end {case}}}

куда ${ Displaystyle к = влево ({ tfrac {D} {п}} вправо)}$ это Символ Якоби.

При выполнении условия (1) условие (2) становится эквивалентным

{ Displaystyle (2 ') qquad V_ {n} (P, Q) Equiv P { pmod {n}}.}

Следовательно, Фробениус ${ displaystyle (P, Q)}$ псевдопремия п может быть эквивалентно определено условиями (1) и (2) или условиями (1) и (2 ').

Поскольку эти условия выполняются для всех простых чисел, их можно использовать как вероятный прайм тест.

Отношения с другими псевдопреступниками

Каждый Фробениус ${ displaystyle (P, Q)}$ псевдопремия также

а Лукас псевдопрайм с параметрами ${ displaystyle (P, Q)}$ , так как определяется только условием (1);^[2]^[3]^[5]
а Псевдопреступление Диксона с параметрами ${ displaystyle (P, Q)}$ , поскольку он определяется только условием (2 ');^[5]
а Псевдопросто Ферма основание ${ displaystyle | Q |}$ когда ${ displaystyle | Q |> 1}$ .

Обратное ни одно из этих утверждений не является верным, поэтому Фробениус ${ displaystyle (P, Q)}$ псевдопредставляет собственное подмножество каждого из наборов псевдопростых чисел Лукаса и псевдопростых чисел Диксона с параметрами ${ displaystyle (P, Q)}$ , и основание псевдопримеров Ферма ${ displaystyle | Q |}$ когда ${ displaystyle | Q |> 1}$ . Кроме того, следует, что при тех же параметрах ${ displaystyle (P, Q)}$ , составное число является псевдопервичным числом Фробениуса тогда и только тогда, когда оно одновременно является псевдопростом Лукаса и Диксона. Другими словами, для каждой фиксированной пары параметров ${ displaystyle (P, Q)}$ , множество псевдопростей Фробениуса равно пересечению множеств псевдопростей Лукаса и Диксона.

Пока каждый Фробениус ${ displaystyle (P, Q)}$ псевдоперминал - это псевдоперминал Лукаса, это не обязательно сильная псевдопремия Лукаса. Например, 6721 - первое псевдопростое число Фробениуса для ${ Displaystyle (P, Q) = (1, -1)}$ , что не является сильным псевдопростом Лукаса.

Каждое псевдопрямство Фробениуса ${ displaystyle x ^ {3} -x-1}$ также ограниченная псевдопремия Perrin. Аналогичные утверждения верны и для других кубических многочленов вида ${ displaystyle x ^ {3} -rx ^ {2} + sx-1}$ .^[2]

Примеры

Псевдопростые числа Фробениуса относительно полинома Фибоначчи ${ displaystyle x ^ {2} -x-1}$ определяются с точки зрения Числа Фибоначчи ${ displaystyle F_ {n} = U_ {n} (1, -1)}$ и Числа Лукаса ${ Displaystyle L_ {n} = V_ {n} (1, -1)}$ . Такие псевдопремки Фробениуса образуют последовательность:

4181, 5777, 6721, 10877, 13201, 15251, 34561, 51841, 64079, 64681, 67861, 68251, 75077, 90061, 96049, 97921, 100127, 113573, 118441, 146611, 161027, 162133, 163081, 186961, 197209, 219781, 231703, 252601, 254321, 257761, 268801, 272611, 283361, 302101, 303101, 330929, 399001, 430127, 433621, 438751, 489601,… (последовательность A212424 в OEIS).

Пока 323 - это первая Лукас псевдопрайм относительно полинома Фибоначчи ${ displaystyle x ^ {2} -x-1}$ , первое псевдопростое число Фробениуса по отношению к тому же многочлену равно 4181 (Грэнтэм назвал его 5777^[2] но несколько авторов отметили, что это неверно и вместо этого является первым псевдопрям с ${ displaystyle left ({ tfrac {5} {n}} right) = - 1}$ для этого многочлена^[3]).

Другой случай, псевдопростые числа Фробениуса относительно квадратичного многочлена ${ displaystyle x ^ {2} -3x-1}$ могут быть определены с помощью последовательности Лукаса (3, -1) и являются:

119, 649, 1189, 4187, 12871, 14041, 16109, 23479, 24769, 28421, 31631, 34997, 38503, 41441, 48577, 50545, 56279, 58081, 59081, 61447, 75077, 91187, 95761, 96139, 116821, 127937, 146329, 148943, 150281, 157693, 170039, 180517, 188501, 207761, 208349, 244649, 281017, 311579, 316409, 349441, 350173, 363091, 371399, 397927, 423721, 440833, 459191, 473801, 479119, 493697, ….

В этом случае первое псевдопервичное число Фробениуса относительно квадратичного многочлена ${ displaystyle x ^ {2} -3x-1}$ равно 119, что также является первым псевдопервичным числом Люка по отношению к тому же полиному. Помимо, ${ displaystyle left ({ tfrac {13} {119}} right) = - 1}$ .

Квадратичный многочлен ${ displaystyle x ^ {2} -3x-5}$ , т.е. ${ Displaystyle (P, Q) = (3, -5)}$ , имеет более редкие псевдопределы по сравнению со многими другими простыми квадратиками. Используя тот же процесс, что и выше, мы получаем последовательность:

13333, 44801, 486157, 1615681, 3125281, 4219129, 9006401, 12589081, 13404751, 15576571, 16719781, ….

Обратите внимание, что существует только 3 таких псевдопростых числа ниже 500000, в то время как существует много псевдопростых чисел Фробениуса (1, −1) и (3, −1) ниже 500000.

Каждая запись в этой последовательности - это Псевдопросто Ферма с основанием 5, а также псевдопростым числом Люка (3, −5), но обратное неверно: 642001 является псевдопростым числом как psp-5, так и псевдопростом Лукаса (3, -5), но не является псевдопростом Фробениуса (3, - 5) псевдопрем. (Обратите внимание, что Лукас псевдопрайм для $(п, Q)$ пара не обязательно должна быть Псевдопросто Ферма для базы | $Q$ |, например 14209 - псевдопростое число Люка (1, −3), но не псевдопростое число Ферма для основания 3.

Сильные псевдопремы Фробениуса

Также определены сильные псевдопремы Фробениуса.^[2] Подробности о реализации квадратичных многочленов можно найти в Crandall и Pomerance.^[3]

Тесты на псевдопричельность

Условия, определяющие псевдопростое число Фробениуса, можно использовать для проверки данного числа п за вероятная простота. Часто такие тесты не полагаются на фиксированные параметры. ${ displaystyle (P, Q)}$ , а лучше выбирать их определенным образом в зависимости от номера входа п чтобы уменьшить долю ложные срабатывания, т.е. составные числа, прошедшие проверку. Иногда такие составные числа обычно называют псевдопростыми числами Фробениуса, хотя они могут соответствовать разным параметрам.

Использование идей выбора параметров, впервые изложенных в Baillie and Wagstaff (1980)^[6]как часть Тест на простоту Baillie – PSW и использовался Грэнтэмом в его квадратичный тест Фробениуса,^[7]можно создать даже лучшие квадратичные тесты. В частности, было показано, что выбор параметров из квадратичные невычеты по модулю п (на основе Символ Якоби) делает гораздо более сильные тесты и является одной из причин успеха Тест на простоту Baillie – PSW.Например, для параметров (п, 2), где п - первое нечетное целое число, удовлетворяющее ${ displaystyle left ({ tfrac {D} {n}} right) = - 1}$ , ниже нет псевдопричин ${ displaystyle 2 ^ {64}}$ .

Еще один тест предлагает Хашин.^[8] Для данного неквадратный номер п, сначала вычисляется параметр c как наименьшее нечетное простое число, имеющее символ Якоби ${ displaystyle left ({ tfrac {c} {n}} right) = - 1}$ , а затем проверяет соответствие:

{ displaystyle (1 + { sqrt {c}}) ^ {n} Equiv (1 - { sqrt {c}}) { pmod {n}}}

.

Пока все премьер п пройти этот тест, составной п передает его тогда и только тогда, когда п является псевдопростом Фробениуса для ${ Displaystyle (P, Q) = (2,1-c)}$ Как и в приведенном выше примере, Хашин отмечает, что для его теста не было обнаружено псевдоперминала. Далее он показывает, что все, что существует до 2⁶⁰ должен иметь коэффициент меньше 19 или иметь c > 128.

Характеристики

Вычислительные затраты на проверку псевдопримальности Фробениуса по отношению к квадратичным многочленам примерно в три раза превышают стоимость проверки сильная псевдопричинность тест (например, один раунд Тест на простоту Миллера – Рабина), В 1,5 раза больше, чем у Псевдопрималитет Лукаса тест, и чуть больше Тест на простоту Baillie – PSW.

Обратите внимание, что квадратичный тест Фробениуса сильнее теста Лукаса. Например, 1763 - это псевдопростое число Лукаса для (п, Q) = (3, -1), поскольку U₁₇₆₄(3, -1) ≡ 0 (мод. 1763) (U(3, -1) приведено в OEIS: A006190), а также проходит шаг Якоби, поскольку ${ displaystyle left ({ tfrac {13} {1763}} right) = - 1}$ , но тест Фробениуса не Икс² - 3Икс - 1. Это свойство можно ясно увидеть, когда алгоритм сформулирован так, как показано в алгоритме Крэндалла и Померанса 3.6.9.^[3] или как показано Лёбенбергером,^[4] поскольку алгоритм выполняет тест Лукаса, за которым следует дополнительная проверка условия Фробениуса.

Хотя квадратичный тест Фробениуса не имеет формальных границ погрешности, кроме теста Лукаса, его можно использовать в качестве основы для методов с гораздо меньшими пределами погрешности. Обратите внимание, что они содержат больше шагов, дополнительных требований и значимых дополнительных вычислений, помимо того, что описано на этой странице. Важно отметить, что границы ошибок для этих методов не применять стандартным или строгим тестам Фробениуса с фиксированными значениями (P, Q), описанными на этой странице.

На основе этой идеи псевдопринципов могут быть построены алгоритмы с сильными границами ошибок наихудшего случая. В квадратичный тест Фробениуса,^[7] используя квадратичный критерий Фробениуса плюс другие условия, имеет оценку ${ displaystyle { tfrac {1} {7710}}}$ . Мюллер в 2001 году предложил тест MQFT с границами существенно ${ displaystyle { tfrac {1} {131040 ^ {t}}}}$ .^[9]Дамгард и Франдсен в 2003 г. предложили EQFT с ограничением по существу ${ displaystyle { tfrac {256} {{331776} ^ {t}}}}$ .^[10]Сейсен в 2005 году предложил тест SQFT с пределом ${ displaystyle { tfrac {1} {{4096} ^ {t}}}}$ и тест SQFT3 с оценкой ${ displaystyle { tfrac {16} {336442 ^ {t}}}}$ .^[11]

При тех же вычислительных затратах они предлагают лучшие оценки наихудшего случая, чем обычно используемые Тест на простоту Миллера – Рабина.

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

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

Вайсштейн, Эрик В. «Псевдопремия Фробениуса». MathWorld.
Вайсштейн, Эрик В. "Сильное псевдопреступление Фробениуса". MathWorld.
Якобсен, Дана Статистика псевдопремий, таблицы и данные (данные для псевдопримеров Фробениуса (1, -1) и (3, -5))

[Grantham98-1] Грэнтэм, Джон (1998). Псевдопремы Фробениуса (Отчет). препринт.

[Grantham01-2] а ^б ^c ^d ^е Грэнтэм, Джон (2001). «Псевдопремы Фробениуса». Математика вычислений. 70 (234): 873–891. Дои:10.1090 / S0025-5718-00-01197-2.

[CP05-3] а ^б ^c ^d ^е Крэндалл, Ричард; Померанс, Карл (2005). Простые числа: вычислительная перспектива (2-е изд.). Springer-Verlag. ISBN 978-0-387-25282-7.

[Loebenberger08-4] а ^б Лёбенбергер, Даниэль (2008). "Простой вывод для теста псевдопроста Фробениуса" (PDF). Архив ePrint IACR Cryptology. 2008.

[Rotkiewicz03-5] а ^б Роткевич, Анджей (2003). "Псевдопреступления Лукаса и Фробениуса" (PDF). Annales Mathematicae Silesianae. Wydawnictwo Uniwersytetu ląskiego. 17: 17–39.

[lpsp-6] Бэйли, Роберт; Вагстафф, Сэмюэл С., мл. (Октябрь 1980 г.). "Лукас Псевдопримес" (PDF). Математика вычислений. 35 (152): 1391–1417. Дои:10.1090 / S0025-5718-1980-0583518-6. МИСТЕР 0583518.

[QFT-7] а ^б Грэнтэм, Джон (1998). «Вероятный основной тест с высокой степенью уверенности». Журнал теории чисел. 72 (1): 32–47. arXiv:1903.06823. CiteSeerX 10.1.1.56.8827. Дои:10.1006 / jnth.1998.2247.

[Khashin13-8] Хашин, Сергей (июль 2013). «Контрпримеры для проверки простоты Фробениуса». arXiv:1307.7920 [math.NT].

[9] Мюллер, Сигуна (2001). «Вероятный первичный тест с очень высокой степенью достоверности для N Equiv 1 Mod 4». Материалы 7-й Международной конференции по теории и применению криптологии и информационной безопасности: достижения в криптологии. ASIACRYPT. С. 87–106. Дои:10.1007/3-540-45682-1_6. ISBN 3-540-42987-5.

[10] Дамгард, Иван Бьерре; Франдсен, Гудмунд Сковбьерг (октябрь 2006 г.). «Расширенный квадратичный тест на простоту Фробениуса с оценкой среднего и наихудшего случая» (PDF). Журнал криптологии. 19 (4): 489–520. Дои:10.1007 / s00145-006-0332-х.

[11] Сейсен, Мартин. Упрощенный квадратичный критерий простоты Фробениуса, 2005.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

Navigation