Математики подтвердили случайность квантовых процессов

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

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

В рамках новой работы, среди прочего, математики использовали подобный генератор под названием Quantis (здесь можно найти, например, USB версию этого устройства). Сравнение полученного потока они проводили с числами, сгенерированными несколькими программами, еще одной группой физиков в рамках проекта Vienna IQOQI, а также строками цифр из записи числа Пи. Для работы математики использовали строки длиной 232 знаков.

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

Примечательно, что раньше ученым уже удалось доказать, что квантовые процессы выдают строчки, невычислимые с помощью машины Тьюринга (стандартной модели программы, работающей по заданному алгоритму). Это означает, что не существует алгоритма, который выдавал бы в точности ту же строчку, что и генератор случайных чисел.

Роскосмос рассматривает возможность строительства дополнительного пилотируемого корабля "Союз" для Европы

Федеральное космическое агентство прорабатывает вопрос о возможности предоставления дополнительных мест на российских кораблях "Союз" для отправки на Международную космическую станцию (МКС) европейских астронавтов, сообщает "Интерфакс-АВН".
"Переговоры по этому поводу не ведутся. Но во время авиасалона МАКС-2009, делегация ЕКА действительно высказала заинтересованность в увеличении полетов европейских астронавтов на МКС, в том числе на российских кораблях "Союз". После этой встречи нам дано поручение проработать этот вопрос", — сообщил "Интерфаксу-АВН" руководитель управления пилотируемых программ Роскосмоса Алексей Краснов.
Учитывая существующий график полетов и загруженность предприятий российской космической отрасли, реализовать просьбу европейских партнеров будет не просто, пояснил представитель космического агентства. Для того чтобы появились свободные места для европейских астронавтов, необходимо либо увеличить производство космических кораблей "Союз" с четырех до пяти в год, либо США должны продлить полеты шаттлов после 2010 года и отказаться от заранее заказанных мест в российских кораблях.
Ранее директор пилотируемых полетов Европейского космического агентства (ЕКА) Симонетта ди Пиппо заявила телерадиокорпорация Би-би-си, что Европа рассчитывает договориться с Россией о покупке корабля "Союз" к 2013 году.
По ее словам, представители ЕКА обратились к российским властям с просьбой об увеличении производства космических кораблей "Союз" с четырех до пяти штук в год. В том случае, если Россия пойдет на этот шаг, ЕКА сможет приобрести один корабль "Союз" для отправки дополнительных астронавтов на МКС.