Модели квантовых датчиков: что Kshana моделирует, а что нет

Kshana — это симулятор устойчивости PNT (PNT: позиционирование, навигация и время) с моделями характеристик квантовых датчиков. Он не является симулятором квантовой физики из первых принципов. На этой странице сказано точно, что это значит, чтобы слово «квантовый» нельзя было принять за нечто большее, чем есть на самом деле.

Что моделируется#

Каждый квантовый (и классический) датчик — это модель ошибок, управляемая опубликованными параметрами шумового бюджета:

• Часы — СПМ (спектральные плотности мощности) белого шума частоты и случайного блуждания частоты, фликкерный (1/f) минимум девиации Аллана и линейный дрейф, взятые из технических описаний и статей: CSAC (атомные часы на кристалле) Microchip SA.45s; оптические часы на стронции в оптической решётке Origlia и др. (arXiv:1503,08457), цель для космоса; и шесть значений по умолчанию для ClockClass (CSAC; USO, ультрастабильный генератор; DSAC, Deep Space Atomic Clock, атомные часы для дальнего космоса; TCXO, термокомпенсированный кварцевый генератор; OCXO, кварцевый генератор с термостатом; RAFS, рубидиевый стандарт частоты), каждое со ссылкой на один источник. Девиация Аллана, которую они дают, проверена по стандартным наклонам для типов шума (см. VALIDATION.md). Одна кривая оптических часов реальна: измеренная девиация Аллана часов на ⁸⁸Sr в оптических пинцетах Norcia и др. (Science 2019) воспроизводится подгонкой шума, это строка VALIDATED в VERIFICATION-MATRIX.md; показатели holdover, построенные на оптическом классе, остаются MODELLED.
• Инерциальные датчики — в наборах inertial и гибридных: одноосный (1-DOF, одна степень свободы) бюджет ошибок акселерометра и гироскопа: случайное блуждание скорости, случайное блуждание угла, случайное блуждание ускорения и минимум нестабильности смещения по Аллану. Виды gnss-ins и hybrid-ukf вместо этого выполняют трёхосную бесплатформенную механизацию из src/inertial/ (кватернион ориентации, навигационные уравнения север-восток-вниз, детерминированная модель ошибок ИНС).
• Квантовые виды сценариев — quantum-trade, quantum-time-transfer, quantum-anomaly-detect, quantum-gnss-free-nav и hybrid-ukf — построены из этих моделей ошибок и имеют статус MODELLED; quantum-time-transfer, quantum-anomaly-detect и quantum-gnss-free-nav также сообщают запись о репрезентативности с пробелами до лётной эксплуатации.
• Движок нейтрален: «квантовый» и «классический» — это один и тот же путь кода с разными коэффициентами. Контраст в показателях качества целиком определяется входными параметрами шума, каждый из которых прослеживается до указанного источника.

Что НЕ моделируется#

Для датчиков часов и передачи времени никакая лежащая в основе квантовая физика не симулируется — только итоговый вклад по Аллану, заданный как коэффициент. Для акселерометра на холодных атомах теперь существует слой из первых принципов (см. ниже); остальные систематические эффекты по-прежнему заданы на уровне коэффициентов или не моделируются:

• фаза Маха — Цендера атомного интерферометра (Φ = k_eff·a·T²), квантовый проекционный / дробовой шум (σ_Φ = 1/(C·√N)), спад контраста интерферометра, время цикла и передаточная функция связи с вибрацией (|H(ω)| = (4/ω²)sin²(ωT/2), дисперсия при белой СПМ σ_Φ² = k_eff²·S_a·T³/3) теперь моделируются из первых принципов для акселерометра CAI (интерферометра на холодных атомах) (src/inertial/quantum_imu.rs) с выводом СПМ белого ускорения q_va, которую потребляет классическая модель, вместе с динамическим диапазоном по неоднозначности полос (a_max = π/(k_eff·T²)) — см. QUANTUM.md;

• систематический эффект Кориолиса (coriolis_phase / coriolis_accel_bias, перекрёстная связь 2·v⊥·Ω) и систематический эффект AC-Stark (AC: переменный ток) / светового сдвига (ac_stark_phase, который исчезает при симметричной двухфотонной расстройке) теперь моделируются и покрыты модульными тестами в src/inertial/quantum_imu.rs;

• ещё три члена ошибки CAI теперь моделируются как библиотечные функции в src/inertial/cai_error_terms.rs (0,36; MODELLED; из вида сценария пока недоступны):

  • фазовый шум рамановского лазера: взвешивание функцией чувствительности по Cheinet и др. (2008), ур. 8, с замкнутой формой для белого фазового шума σ_Φ² = (π/2)²·S_φ⁰/τ_R (ур. 18 для одного цикла) и численным путём для любого спектра фазового шума, плюс частотный шум лазера, который задержка при ретроотражении t_d = 2L/c не компенсирует (Le Gouët и др. 2007, ур. 9–11);
  • кривизна волнового фронта (только чистая расфокусировка): смещение δg = σ_v²/R теплового облака на пучке с радиусом кривизны R и его уменьшение, когда учитываются только атомы внутри радиуса детектирования (по Louchet-Chauvet и др. 2011 и Schkolnik и др. 2015); аберрации более высоких порядков не моделируются;
  • разрешение неоднозначности полос: вероятность неверного индекса полосы erfc(π/(√2·s)) при использовании классического акселерометра (Lautier и др. 2014) и при двух временах опроса (по Bonnin и др. 2018), с обратной функцией, дающей наибольший классический шум при заданной вероятности отказа.

  Каждая замкнутая форма проверена по независимому численному пути (квадратура в частотной области либо метод Монте-Карло по атомам или импульсам) и по своим предельным случаям. Единственное воспроизведённое опубликованное значение — уровень белого фазового шума Cheinet и др.: −111 дБ·рад²/Гц при τ_R = 20 мкс даёт около 1 мрад за импульс (0,99 мрад; в статье этот уровень выводится по её ур. 17, фликкер плюс белый). Ничто из этого не является измерением какого-либо прибора;

• по-прежнему не моделируются: аберрации волнового фронта более высоких порядков, фазовый шум конкретной лазерной системы и физика из первых принципов на стороне часов;

• набор inertial для сравнения квантовых и классических датчиков одноосный; трёхосный бесплатформенный путь выполняется только в gnss-ins и hybrid-ukf (см. примечание об ИНС, инерциальном измерительном блоке, в README и VALIDATION.md).

Завершение слоя квантовой физики (доступ к членам ошибки CAI из вида сценария, аберрации волнового фронта более высоких порядков и физика из первых принципов на стороне часов) — это оставшаяся работа P2 в ROADMAP.md.

Лабораторные и квалифицированные для полёта показатели#

Таблицы параметров смешивают разные уровни зрелости; относитесь к ним соответственно:

Показатели оптических часов в Kshana — это космические цели на наземном оборудовании. Летавших оптических часов не существует; README и происхождение результата говорят об этом прямо.

Эталон: ACES/PHARAO на МКС (в эксплуатации с апреля 2025)#

Полезная нагрузка ACES/PHARAO ESA (Европейское космическое агентство) (ACES: Atomic Clock Ensemble in Space, ансамбль атомных часов в космосе; PHARAO: Projet d'Horloge Atomique par Refroidissement d'Atomes en Orbite, проект атомных часов на охлаждённых атомах на орбите) — цезиевые часы с лазерным охлаждением плюс активный водородный мазер, работающие на МКС (Международная космическая станция) с апреля 2025 — это нынешний действующий эталон стабильности часов на орбите (целевая относительная стабильность порядка 1e-16 после нескольких суток интегрирования). Модель оптических часов в Kshana представляет более смелую наземную лабораторную цель, чем характеристики цезиевых часов и мазера ACES в полёте; когда показатели оптических часов Kshana сравнивают с «тем, что действительно летало», честной точкой отсчёта служит ACES/PHARAO, а это микроволновая система с мазером, а не часы на оптической решётке.

Точные показатели ACES на орбите следует цитировать по опубликованным результатам ESA по мере их выхода; здесь важен разрыв в зрелости, а не конкретное число: оптические показатели Kshana — это цели, а не лётные характеристики.

См. также#

• VALIDATION.md — метки validated / not modeled по каждому параметру.
• GLOSSARY.md — определения показателей качества (FoM) и все сокращения.
• INTEGRITY.md — что такое показатели качества целостности и безопасности и чем они не являются.
• QUANTUM.md — акселерометр на холодных атомах из первых принципов.