Цифровая сертификация - Numerical certification

Цифровая сертификация это процесс проверки правильности возможного решения система уравнений. В (численной) вычислительной математике, такой как числовая алгебраическая геометрия, возможные решения вычисляются алгоритмически, но есть вероятность, что ошибки повредили кандидатов. Например, в дополнение к неточности входных данных и возможных решений, числовые ошибки или ошибки в дискретизации проблемы могут привести к искаженным возможным решениям. Целью цифровой сертификации является предоставление сертификата, подтверждающего, какие из этих кандидатов действительно являются приблизительными решениями.

Способы сертификации можно разделить на два вида: априори сертификация и апостериорный сертификация. Апостериори сертификация подтверждает правильность окончательных ответов (независимо от того, как они сформированы), а априори аттестация подтверждает правильность каждого шага конкретного вычисления. Типичный пример апостериорный сертификация Смейл альфа-теории, а типичный пример априори сертификация интервальная арифметика.

Сертификаты

А свидетельство для корня - это вычислительное доказательство правильности возможного решения. Например, сертификат может содержать примерное решение. , регион содержащий , и доказательство того, что содержит ровно одно решение системы уравнений.

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

Апостериори методы сертификации

Есть множество методов для апостериорный сертификация, в том числе

Теория альфа

Краеугольный камень Альфа-теория Смейла ограничивает ошибку для Метод Ньютона. Работа Смейла 1986 года[1] ввел количество , который количественно оценивает сходимость метода Ньютона. Точнее, пусть - система аналитических функций от переменных , то производная оператор и оператор Ньютона. Количество

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

Программный комплекс alphaCertified обеспечивает реализацию альфа-теста для многочленов путем оценки и .[2]

Интервальные методы Ньютона и Кравчика

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

  1. Если карты в себя, т.е. , затем по Теорема Брауэра о неподвижной точке, имеет хотя бы одну фиксированную точку в , и поэтому имеет хотя бы один корень в .
  2. Если является сжимающий в регионе, содержащем , то в .

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

Интервальный метод Ньютона

В одномерном случае метод Ньютона может быть напрямую обобщен для сертификации корня на интервале. На интервал , позволять быть серединой . Затем интервальный оператор Ньютона применяется к является

На практике любой интервал, содержащий можно использовать в этом вычислении. Если это корень , то по теорема о среднем значении, существует некоторое такой, что . Другими словами, . С содержит инверсию во всех точках , следует, что . Следовательно, .

Кроме того, если , то либо это корень и или же . Следовательно, не больше половины ширины . Следовательно, если есть какой-то корень в , итерационная процедура замены к будет сходиться к этому корню. Если же, с другой стороны, нет корня в , эта итерационная процедура в конечном итоге создаст пустой интервал, свидетельствующий об отсутствии корней.

Видеть интервальный метод Ньютона для многомерных аналогов этого подхода.

Метод Кравчика

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

Заметим, что если - компактная выпуклая область и , то для любого , существуют такой, что

Позволять - матрица Якоби оценено на . Другими словами, запись состоит из изображения над . Отсюда следует, что где произведение матрицы на вектор вычисляется с использованием интервальной арифметики. Затем, допуская варьироваться в , следует, что образ на удовлетворяет следующему содержанию: где вычисления снова производятся с использованием интервальной арифметики. Объединяя это с формулой для , результатом является оператор Кравчика

куда - единичная матрица.

Если , тогда имеет фиксированную точку в , т.е. имеет корень в . С другой стороны, если максимальное матричная норма с использованием супремум для векторов всех матриц в меньше чем , тогда сжимается внутри , так имеет уникальную неподвижную точку.

Более простой тест, когда является параллелепипедом, выровненным по оси, использует , т.е. середина . В этом случае существует единственный корень если

куда длина самой длинной стороны .

Миранда тест

  • Тест Миранды (Яп, Вегтер, Шарма)

Априори методы сертификации

  • Интервальная арифметика (Мур, Арб, Меззаробба)
  • Числа состояния (Бельтран – Лейкин)

Интервальная арифметика

Интервальная арифметика может использоваться для получения априори числовой сертификат путем вычисления интервалов, содержащих уникальные решения. При использовании интервалов вместо простых числовых типов во время отслеживания пути результирующие кандидаты представляются интервалами. Подходящий интервал решения сам по себе является сертификатом в том смысле, что решение гарантированно находится внутри интервала.

Номера условий

Численная алгебраическая геометрия решает полиномиальные системы, используя продолжение гомотопии и методы отслеживания пути. Контролируя число условий для отслеживаемой гомотопии на каждом этапе и гарантируя, что никакие два пути решения никогда не пересекаются, можно вычислить числовой сертификат вместе с решением. Эта схема называется априори отслеживание пути.[3]

Несертифицированное численное отслеживание пути основано на эвристических методах контроля размера и точности временного шага.[4] В отличие, априори сертифицированное отслеживание пути выходит за рамки эвристики и обеспечивает контроль размера шага, который гарантии что для каждого шага по пути текущая точка находится в области квадратичная сходимость для текущего пути.

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

  1. ^ Смейл, Стив (1986). «Метод Ньютона оценивает данные в одной точке». Слияние дисциплин: новые направления в чистой, прикладной и вычислительной математике: 185–196.
  2. ^ Хауэнштейн, Джонатан; Соттиле, Франк (2012). «Алгоритм 921: alphaCertified: сертификация решений для полиномиальных систем». Транзакции ACM на математическом ПО. 38 (4): 28. Дои:10.1145/2331130.2331136.
  3. ^ Бельтран, Карлос; Лейкин, Антон (2012). «Сертифицированное численное отслеживание гомотопий». Экспериментальная математика. 21 (1): 69–83.
  4. ^ Бейтс, Дэниел; Хауэнштейн, Джонатан; Соммец, Эндрю; Уэмплер, Чарльз (2009). «Контроль размера шага для отслеживания пути». Современная математика. 496 (21).