Атомні годинники

Атомні годинники

Вимірювання відношень оптичних частот є корисним тестовим випадком для фізичного мосту, оскільки опублікована спостережувана величина водночас є надзвичайно точною і сильно редукованою. Повідомлене відношення отримують лише після атомного опитування, керування осцилятором, передавання частоти, внесення поправок, усереднення та оцінювання невизначеності. Публічна таблиця зберігає частину цього вимірювального ланцюга, але не зберігає повної метрологічної процедури.

У цьому аналізі я використовую пов’язані з джерелом дані атомних годинників, щоб дослідити метрично-первинну версію Сенс-мосту. Мета полягає не в ототожненні координат Сенсу зі змінними годинника і не в пропозиції нової теорії часу. Мета — визначити, чи може аудитовний корпус відношень частот обмежити використання q_S, c_S, phi_S, mu_S і tau_S в одному локальному фізичному контексті.

Тут метричне прикріплення не означає fit п’яти прихованих параметрів до даних годинників. Натомість кожна фізична поверхня використовується для звуження, розділення або блокування інтерпретації на боці моделі. Коректний міст повинен зберігати розрізнення, яких вимагає вимірювання, і залишатися неповним там, де джерело не підтримує сильнішого твердження.

Чому відношення атомних годинників є розрізнювальним тестом

Атомний годинник реалізує частотний еталон, стабілізуючи осцилятор за атомним або іонним переходом. Тому порівняння двох годинників повідомляє відношення між двома частотами переходів, а не незалежне вимірювання «часу» як субстанції.

Для двох годинникових видів A і B основну спостережувану величину можна записати як

R_AB = nu_A / nu_B.

Повідомлене значення залежить не лише від самих переходів. Воно також залежить від підготовки стану, опитування, локальних осциляторів, реакції сервосистеми, частотного гребінця або систем передавання, поправок на середовище, усереднення та статистичної моделі, використаної для представлення результату.

Цей вимірювальний ланцюг має значення для концепції мосту, оскільки розділяє три ролі.

Відношення частот — це пейлоад, який зберігається порівнянням.

Іони, осцилятори, контури керування, ланцюг передавання та процедура редукції утворюють фізичний носій.

Публічне значення відношення, твердження про невизначеність, часові мітки й оприлюднені таблиці утворюють оболонку, звернену до вимірювання.

Ці ролі пов’язані, але не взаємозамінні. Публічна таблиця може зберігати значення відношень і часовий порядок, водночас не містячи сирих записів лічильника, історії поправок, коваріаційної структури або журналів фазового передавання, що породили фінальний результат. Тому міст повинен вказувати, які частини носія все ще представлені в публічній оболонці, а які недоступні.

Локальна карта калібрування Сенсу

Маршрут атомних годинників використовує таку локальну карту:

q_S → ідентичність джерела, ізотопна гілка, пара переходів і прив’язка лінії відношення

c_S → підтримувані оболонки залишків, повторюваності, когерентності та невизначеності

phi_S → прямі свідчення фази, захоплення, гребінця або передавання

mu_S → носій іонного годинника, апаратура, поправки та систематичний контекст

tau_S → часові мітки, структура запусків, залежність від усереднення, повторюваність і свідчення стабільності

Ці стрілки позначають калібрування відносно фізичних метрик. Вони не є тотожностями.

q_S — не атомний перехід.

c_S — не фізична невизначеність.

phi_S — не фізична фаза.

mu_S — не іон, пастка або осцилятор.

tau_S — не годинниковий час.

Отже, очікуваним внеском було не перейменування стандартної метрології. Я перевіряв, чи накладає це зіставлення правила незмішування.

Невідповідність ізотопу або переходу не слід трактувати як додаткову статистичну невизначеність. Часову структуру не слід усувати припущенням, що всі рядки незалежні. Перелік систематичних ефектів не слід підвищувати до поширеного бюджету невизначеності. Загальне знання про фазову чутливість годинників не повинно замінювати пов’язані з джерелом фазові записи. Публічну таблицю відношень не слід трактувати як сирий калібрувальний ланцюг.

У цьому полягає операційний зв’язок із програмою мосту. Експеримент надає метричні поверхні; граматика Сенсу пропонує локальну організацію; аудит джерела визначає, які частини цієї організації залишаються допустимими.

Чому було використано два шари джерел

Роботу з джерелами було поділено на пошуковий шар і первинну числову лінію.

Пошуковий корпус включав публічні статті про оптичні годинники, додаткові таблиці, записи відношень, матеріали про невизначеність і систематики, контекст стабільності та девіації Аллана, а також фазові або когерентні матеріали з кількох годинникових експериментів.

Його призначенням було визначити фізичні об’єкти, здатні підтримати міст. Його не використовували для об’єднання непов’язаних експериментів в одне синтетичне вимірювання. Значення відношення, систематичний бюджет, крива стабільності й запис фазового передавання можуть бути опубліковані в різних джерельних об’єктах. Їхня присутність в одній тематичній області не доводить, що вони належать одному пристрою, одному ланцюгу редукції або одному інтервалу порівняння.

Первинним числовим корпусом був публічний набір даних відношень частот Ar/Yb у записі Zenodo 6901524. Він містить дві лінії відношень:

36Ar13+ / 171Yb+

40Ar13+ / 171Yb+

Я обрав цей корпус, оскільки він надавав пов’язаний із джерелом і аудитовний запис на рівні таблиці. Локальні файли можна було пов’язати з публічними метаданими та контрольними сумами. Окремі рядки містили дати й час UTC. Обидва ізотопи аргону порівнювалися з тим самим ітербієвим еталоном. Стаття-джерело й розширені таблиці надавали повідомлені цільові значення відношень і контекст невизначеності.

Корпус містив 53 682 числові рядки для 36Ar13+ / 171Yb+ і 102 888 рядків для 40Ar13+ / 171Yb+. Під час активних інтервалів частота запису часто була близькою до одного рядка на секунду, тоді як повні записи також містили розриви й відокремлені серії вимірювань.

Ці властивості зробили корпус придатним для чотирьох перевірок:

ідентичності джерела й ізотопу;

структури залишків і повторюваності на рівні таблиці;

чутливості до часового порядку й припущень про усереднення;

та межі між свідченнями публічної таблиці й сирою метрологією.

Використання двох ізотопних гілок надало додатковий контроль ідентичності. Еталонний годинник залишався тим самим, тоді як ізотоп аргону змінювався. Тому коректний аналіз мав спочатку прив’язати лінію відношення, а вже потім застосовувати інтерпретацію точності або стабільності.

Амбітніше порівняння оптичних годинників не було б сильнішим об’єктом мосту, якби його редуктор, коваріація, записи фазового передавання або калібрувальний ланцюг залишалися недоступними. На цьому етапі аудитовний частковий корпус був кращим за номінально точніше, але недоступне вимірювання.

Очікувана реконструкція

Очікуваним результатом була локальна карта оболонки точності, а не відтворення фінального лабораторного редуктора відношення.

Аналіз проходив у п’ять етапів.

По-перше, кожну таблицю потрібно було прив’язати до правильного ізотопу й цільового значення джерела. Це обмежувало q_S.

По-друге, рядки відношень виражалися як дробові залишки відносно оголошеної локальної опори, включно з медіаною таблиці та цільовим значенням джерела. Це обмежувало c_S на рівні табличного розкиду й оболонок порівняння.

По-третє, залишки досліджувалися за днями, блоками, розмірами усереднення, а також у впорядкованих і перемішаних послідовностях. Це обмежувало tau_S на рівні часової діагностики, побудованої з таблиць.

По-четверте, статтю й додаткові матеріали використовували для визначення носія та систематичного контексту, представленого джерелом. Це обмежувало mu_S, не перетворюючи такий контекст на фінальний бюджет невизначеності.

По-п’яте, первинну лінію перевіряли на наявність прямих записів фази, захоплення, частотного гребінця або передавання. Ці об’єкти були необхідні, перш ніж phi_S могла просунутися далі контекстуальної відповідності.

Позитивний результат вимагав, щоб п’ять питань залишалися розділеними. Сильніший результат потребував би не загального відношення між залишками або наперед оголошеної перевірки відмови, специфічної для Сенс-мосту. Цей маршрут не досяг такого сильнішого рівня.

Прив’язаний до джерела replay відношень

Цільові значення джерела, допущені для порівняння з таблицями, були такими:

R(36Ar13+ / 171Yb+) = 1.05776646273518748(13)

R(40Ar13+ / 171Yb+) = 1.05776938758748094(11).

Відповідні медіани публічних таблиць становили

1.0577664627351873

і

1.0577693875874807.

Різниці між медіанами й цільовими значеннями були порядку 10^-16. Це підтримує висновок, що оприлюднені таблиці належать повідомленим лініям відношень Ar/Yb і можуть використовуватися для replay на рівні таблиці.

Це не доводить, що було відтворено сертифікований джерелом фінальний алгоритм редукції.

Аудит ідентичності також виявив попередню невідповідність у присвоєнні цільового значення для 36Ar. Точне до рядка повернення до джерела відновило значення

R(36Ar13+) = 1.05776646273518748(13).

Дробове розділення між цільовими значеннями джерела для 36Ar і 40Ar становить приблизно 2.765 × 10^-6. Це на багато порядків перевищує повідомлений масштаб невизначеності 10^-16.

Наслідок прямий: неправильна ізотопна гілка не є зашумленою реалізацією правильної гілки. Це інший фізичний об’єкт. Тому виправлення обмежило q_S ще до допуску будь-якого аналізу невизначеності.

Статистика залишків і часова структура

Стандартні відхилення дробових залишків відносно медіан таблиць були приблизно такими:

6.85 × 10^-15 для 36Ar13+ / 171Yb+

і

8.02 × 10^-15 для 40Ar13+ / 171Yb+.

Якщо всі рядки трактувати як незалежні й однаково розподілені вибірки, відповідні стандартні похибки становлять

2.96 × 10^-17

і

2.50 × 10^-17.

Ці значення менші за оболонки невизначеності між джерелом і цільовим значенням, що становлять приблизно 1.2 × 10^-16 і 1.0 × 10^-16. Таке зменшення прямо випливає з великої кількості рядків, але залежить від припущення IID, не сертифікованого джерелом.

Часова діагностика на рівні таблиці не підтримала використання цього припущення як фінальної моделі невизначеності. Зведені значення χ² для денних бінів становили приблизно 66.9 для лінії 36Ar і 26.6 для лінії 40Ar. У межах прийнятої моделі денних бінів ці значення вказують, що спостережувана структура між днями не представлена наївною оцінкою IID.

Надлишок може містити часову кореляцію, варіації між запусками, дрейф, надлишковий розкид або ефекти, уже враховані в редукції джерела. Самі публічні таблиці не визначають, яке пояснення є правильним.

Тому аналіз невизначеності було збережено як дослідження чутливості до припущень.

Для 36Ar оболонка між джерелом і цільовим значенням становила 1.20 × 10^-16. Додавання наївної стандартної похибки таблиці у квадратурі дало 1.24 × 10^-16. Заміна наївної стандартної похибки діагностичною величиною, збільшеною за денним χ², дала 2.70 × 10^-16.

Для 40Ar відповідні значення становили 1.00 × 10^-16, 1.03 × 10^-16 і 1.63 × 10^-16.

Четверта політика використовувала розкид залишків одиничних вимірювань як консервативну діагностичну оболонку, породжуючи значення масштабу 10^-15. Цю політику не трактували як невизначеність фінального середнього відношення.

Жоден із цих сценаріїв не є сертифікованим джерелом поширенням невизначеності. Вони кількісно показують залежність результату від явних припущень. Зокрема, не було доступно ані коваріаційної матриці, ані апостеріорного об’єкта, ані відтворюваної статистичної моделі джерела.

Тому відсутню коваріацію залишили відсутньою, а не прирівняли до нуля.

Систематичний контекст і контекст носія

Корпус джерел містив значний контекст для ефектів, релевантних порівнянням оптичних годинників. Було визначено одинадцять родин компонентів, включно із зеєманівськими зсувами, ізотопними й масовими зсувами, електричними квадрупольними ефектами, надлишковим мікрорухом, доплерівськими ефектами та ефектами сповільнення часу, ефектами сервосистеми або витягування лінії, зсувами від випромінювання чорного тіла, а також штарківськими ефектами або ефектами поляризовності.

Цей матеріал обмежував mu_S, визначаючи фізичний носій і класи пов’язаних із ним поправок.

Він не надавав повного сертифікованого джерелом компонентного бюджету з типізованими значеннями, одиницями, знаками, кореляціями та відтворюваним правилом поширення. Числових значень і назв ефектів у статті або додаткових матеріалах недостатньо для реконструкції фінального бюджету невизначеності, якщо їхні ролі в редукції не прив’язані явно.

Тому систематичну інформацію було збережено лише як свідчення про носій і контекст.

Свідчення стабільності й фази

Пошуковий корпус містив джерельний контекст для денної повторюваності, часу усереднення, дробової нестабільності, поведінки білого частотного шуму та аналізу девіації Аллана. Таблиці Ar/Yb також підтримували діагностику стабільності блоків і часового порядку на рівні таблиці.

Ці об’єкти обмежували tau_S, демонструючи, що інтерпретація залежить від часової організації та політики усереднення.

Вони не надавали сертифікованого джерелом редуктора девіації Аллана або повної вимірювальної моделі, з якої можна було б незалежно відтворити лабораторну криву стабільності. Тому результат щодо стабільності залишився діагностичним.

Первинна лінія Ar/Yb також не містила прямих об’єктів фазового передавання, необхідних для нативного щодо джерела аналізу phi_S. Не було допущено журналів фазостабілізованого зв’язку, записів петлі фазового автопідстроювання, журналів акустооптичного модулятора, фазових записів частотного гребінця або сертифікованої джерелом моделі передавання фазового шуму.

Робота атомного годинника є фазочутливою, але цей загальний факт не перетворює публічну таблицю відношень частот на фазовий запис. Тому phi_S не було просунуто в первинній гілці.

Як дані відкалібрували Сенс-модель

Аналіз атомних годинників обмежив локальну інтерпретацію Сенсу п’ятьма конкретними способами.

q_S стала прив’язаною до джерела й гілки. Вона мала розрізняти лінії відношень 36Ar і 40Ar до оцінювання будь-якого твердження про точність. Помилку ідентичності не можна було представляти як більшу невизначеність.

c_S стала координатою оболонки, а не фізичною змінною невизначеності. Її можна було порівнювати з розкидом залишків, невизначеністю між джерелом і цільовим значенням та діагностичними оболонками, чутливими до припущень, але вона не могла надавати фінальну невизначеність за відсутності сертифікованої моделі поширення.

phi_S стала залежною від доказів. Загальної фазової чутливості було недостатньо. Координата могла просуватися лише за наявності прямих записів фази, захоплення, гребінця або передавання.

mu_S стала прив’язаною до носія й контексту. Вона зберігала структуру іона, апаратури, поправок і систематик, не трактуючи каталог ефектів як завершений бюджет.

tau_S стала чутливою до часового порядку, структури блоків, усереднення та контексту стабільності. Велика кількість рядків не виправдовувала інтерпретацію IID, коли впорядкована діагностика вказувала на додаткову структуру.

Це метричне прикріплення, отримане з корпусу годинників. Фізичні спостережувані величини не стали змінними Сенсу. Вони обмежили операції та підвищення статусу тверджень, які змінним Сенсу дозволено підтримувати.

Аналіз також уточнив межу специфічності. Уважний метролог уже розрізняє ідентичність джерела, статистику залишків, систематичні поправки, свідчення фазового передавання й часову кореляцію. Тому поточний результат не встановлює унікальної фізичної онтології Сенс-моделі.

Його вужчий внесок полягає у спільному правилі непоглинання та утримання від висновку для п’яти координат: ідентичність гілки не можна виправити невизначеністю, часову структуру не можна поглинути статичним розкидом, систематичний контекст не можна підвищити до бюджету, а відсутні фазові записи не можна замінити загальною термінологією атомних годинників.

Поточний статус

Маршрут атомних годинників заморожено як прив’язаний до джерела міст оболонки точності на рівні таблиці.

Допущений результат включає дві правильно ідентифіковані лінії відношень Ar/Yb, replay публічних таблиць, діагностику дробових залишків і повторюваності, оболонки невизначеності, чутливі до припущень, аналіз стабільності на рівні таблиці та частковий контекст носія й систематик.

Маршрут не допускає сертифікованого джерелом фінального редуктора, повного бюджету невизначеності, коваріаційної або апостеріорної інформації, сертифікованого джерелом редуктора Аллана або стабільності, прямих журналів фазового передавання чи сирого ланцюга лічильників і калібрування. Він не встановлює нового відношення годинників, метрологічної теореми або фізичного ототожнення q_S, c_S, phi_S, mu_S і tau_S.

Сильніша перевірка потребує щонайменше одного нового сертифікованого джерелом об’єкта: фінального алгоритму редукції, типізованого компонентного бюджету з коваріацією, визначеного джерелом редуктора стабільності, прямих записів фазового передавання або сирого калібрувального ланцюга.

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