Atomure

Atomure

Målinger af optiske frekvensforhold er et nyttigt testtilfælde for den fysiske bro, fordi den offentliggjorte observerbare størrelse både er præcis og stærkt reduceret. Et rapporteret forhold fremkommer først efter atomar interrogation, oscillatorstyring, frekvensoverførsel, korrektion, gennemsnitsberegning og usikkerhedsvurdering. Den offentlige tabel bevarer en del af denne målekæde, men den bevarer ikke hele den metrologiske procedure.

I denne analyse bruger jeg kildetilknyttede data fra atomure til at undersøge en metrik-først-version af Sense-broen. Formålet er ikke at identificere Sense-koordinaterne med urvariabler eller at foreslå en ny teori om tid. Formålet er at afgøre, om et reviderbart korpus af frekvensforhold kan begrænse, hvordan q_S, c_S, phi_S, mu_S og tau_S anvendes i én lokal fysisk kontekst.

Her betyder metrisk tilknytning ikke, at fem skjulte parametre tilpasses urdataene. I stedet bruges hver fysisk flade til at indsnævre, adskille eller blokere en fortolkning på modelsiden. En gyldig bro skal bevare de forskelle, som målingen kræver, og skal forblive ufuldstændig, når kilden ikke understøtter en stærkere påstand.

Hvorfor forhold mellem atomure er en diskriminerende test

Et atomur realiserer en frekvensreference ved at stabilisere en oscillator til en atomar eller ionisk overgang. En sammenligning mellem to ure rapporterer derfor et forhold mellem to overgangsfrekvenser og ikke en uafhængig måling af »tid« som en substans.

For to urarter A og B kan den primære observerbare størrelse skrives som

R_AB = nu_A / nu_B.

Den rapporterede værdi afhænger af mere end selve overgangene. Den afhænger også af tilstandsforberedelse, interrogation, lokale oscillatorer, servorespons, frekvenskam- eller overførselssystemer, miljøkorrektioner, gennemsnitsberegning og den statistiske model, der bruges til at rapportere resultatet.

Denne målekæde er relevant for brobegrebet, fordi den adskiller tre roller.

Frekvensforholdet er det payload, som sammenligningen bevarer.

Ionerne, oscillatorerne, reguleringssløjferne, overførselskæden og reduktionsproceduren udgør den fysiske bærer.

Den offentlige forholdsværdi, usikkerhedsangivelsen, tidsstemplerne og de frigivne tabeller udgør den målevendte skal.

Disse roller er forbundne, men de er ikke indbyrdes udskiftelige. En offentlig tabel kan bevare forholdsværdier og tidslig rækkefølge, samtidig med at den udelader de rå tællerregistreringer, korrektionshistorikken, kovariansstrukturen eller faseoverførselslogfilerne, der frembragte det endelige resultat. Broen skal derfor angive, hvilke dele af bæreren der fortsat er repræsenteret i den offentlige skal, og hvilke dele der ikke er tilgængelige.

Det lokale Sense-kalibreringskort

Atomursruten anvender følgende lokale kort:

q_S → kildeidentitet, isotopgren, overgangspar og binding af forholdslinjen

c_S → understøttede residual-, gentageligheds-, kohærens- og usikkerhedsskaller

phi_S → direkte fase-, låsnings-, frekvenskam- eller overførselsevidens

mu_S → ionursbærer, apparatur, korrektion og systematisk kontekst

tau_S → tidsstempler, kørselsstruktur, afhængighed af gennemsnitsberegning, gentagelighed og stabilitetsevidens

Disse pile betegner kalibrering mod fysiske metrikker. De er ikke identiteter.

q_S er ikke en atomar overgang.

c_S er ikke fysisk usikkerhed.

phi_S er ikke fysisk fase.

mu_S er ikke en ion, fælde eller oscillator.

tau_S er ikke klokketid.

Det forventede bidrag var derfor ikke en omdøbning af standardmetrologi. Jeg testede, om afbildningen pålagde regler mod sammenblanding.

En uoverensstemmelse i isotop eller overgang må ikke behandles som yderligere statistisk usikkerhed. Tidslig struktur må ikke fjernes ved at antage, at alle rækker er uafhængige. En liste over systematiske effekter må ikke ophøjes til et propageret usikkerhedsbudget. Generel viden om, at ure er fasefølsomme, må ikke erstatte kildetilknyttede faseregistreringer. En offentlig tabel over frekvensforhold må ikke behandles som en rå kalibreringskæde.

Dette er den operationelle relation til broprogrammet. Eksperimentet leverer de metriske flader; Sense-grammatikken foreslår en lokal organisering; kildeauditten afgør, hvilke dele af denne organisering der fortsat er tilladelige.

Hvorfor to kildelag blev anvendt

Kildearbejdet blev opdelt i et opdagelseslag og en primær numerisk linje.

Opdagelseskorpuset omfattede offentlige artikler om optiske ure, supplerende tabeller, forholdsregistreringer, materiale om usikkerhed og systematikker, stabilitets- og Allan-afvigelseskontekst samt fase- eller kohærensrelateret materiale fra flere ureksperimenter.

Formålet var at identificere de fysiske objekter, der muligvis kunne understøtte en bro. Det blev ikke brugt til at kombinere uafhængige eksperimenter til én syntetisk måling. En forholdsværdi, et systematisk budget, en stabilitetskurve og en faseoverførselsregistrering kan være offentliggjort i forskellige kildeobjekter. Deres tilstedeværelse inden for samme emneområde fastslår ikke, at de tilhører én enhed, én reduktionskæde eller ét sammenligningsinterval.

Det primære numeriske korpus var det offentlige Ar/Yb-datasæt over frekvensforhold i Zenodo-post 6901524. Det indeholder to forholdslinjer:

36Ar13+ / 171Yb+

40Ar13+ / 171Yb+

Jeg valgte dette korpus, fordi det leverede en kildetilknyttet og reviderbar registrering på tabelniveau. De lokale filer kunne forbindes med offentlige metadata og kontrolsummer. De enkelte rækker indeholdt datoer og UTC-tider. Begge argonisotoper blev sammenlignet med den samme ytterbiumreference. Kildeartiklen og de udvidede tabeller leverede de rapporterede mål for forholdene samt usikkerhedskontekst.

Korpuset indeholdt 53.682 numeriske rækker for 36Ar13+ / 171Yb+ og 102.888 rækker for 40Ar13+ / 171Yb+. Under aktive intervaller var kadencen ofte tæt på ét sekund, mens de fulde registreringer også indeholdt huller og adskilte målekørsler.

Disse egenskaber gjorde korpuset egnet til fire test:

kilde- og isotopidentitet;

residual- og gentagelighedsstruktur på tabelniveau;

følsomhed over for tidslig rækkefølge og antagelser om gennemsnitsberegning;

samt grænsen mellem evidens fra offentlige tabeller og rå metrologi.

Brugen af to isotopgrene gav en yderligere identitetskontrol. Referenceuret forblev det samme, mens argonisotopen ændrede sig. En korrekt analyse skulle derfor binde forholdslinjen, før nogen fortolkning af præcision eller stabilitet blev anvendt.

En mere ambitiøs sammenligning af optiske ure ville ikke have været et stærkere broobjekt, hvis dens reduktionsalgoritme, kovarians, faseoverførselsregistreringer eller kalibreringskæde ikke var tilgængelige. På dette trin var et reviderbart delvist korpus at foretrække frem for en nominelt mere præcis, men utilgængelig målekæde.

Forventet rekonstruktion

Det forventede resultat var et lokalt kort over præcisionsskallen og ikke en reproduktion af laboratoriets endelige reduktionsalgoritme for forholdet.

Analysen forløb i fem trin.

Først skulle hver tabel bindes til den korrekte isotop og det korrekte kildemål. Dette begrænsede q_S.

Dernæst blev forholdsrækkerne udtrykt som fraktionelle residualer relativt til en erklæret lokal reference, herunder tabelmedianen og kildemålet. Dette begrænsede c_S på niveauet for tabelspredning og sammenligningsskaller.

Derefter blev residualerne undersøgt på tværs af dage, blokke, gennemsnitsstørrelser samt ordnede eller ombyttede sekvenser. Dette begrænsede tau_S på niveauet for tabelbaseret tidslig diagnostik.

For det fjerde blev artiklen og det supplerende materiale anvendt til at identificere den bærer og den systematiske kontekst, som kilden repræsenterede. Dette begrænsede mu_S uden at omdanne konteksten til et endeligt usikkerhedsbudget.

For det femte blev den primære linje undersøgt for direkte fase-, låsnings-, frekvenskam- eller overførselsregistreringer. Disse objekter var nødvendige, før phi_S kunne gå videre end en kontekstuel forbindelse.

Et positivt resultat krævede, at de fem spørgsmål forblev adskilte. Et stærkere resultat ville have krævet en ikke-generisk residualrelation eller en på forhånd erklæret fejltest, der var specifik for Sense-broen. Den nuværende rute nåede ikke dette stærkere niveau.

Kildetilknyttet replay af forholdene

De kildemål, der blev godkendt til tabelsammenligning, var

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

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

De tilsvarende medianer i de offentlige tabeller var

1.0577664627351873

og

1.0577693875874807.

Forskellene mellem median og mål var af størrelsesordenen 10^-16. Dette understøtter konklusionen om, at de frigivne tabeller tilhører de rapporterede Ar/Yb-forholdslinjer og kan anvendes til et replay på tabelniveau.

Det fastslår ikke, at den kildecertificerede endelige reduktionsalgoritme blev reproduceret.

Identitetsauditten fandt også en tidligere uoverensstemmelse i tildelingen af målværdien for 36Ar. En rækkepræcis tilbagevenden til kilden genfandt værdien

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

Den fraktionelle afstand mellem kildemålene for 36Ar og 40Ar er omtrent 2,765 × 10^-6. Dette er mange størrelsesordener større end den rapporterede usikkerhedsskala på 10^-16.

Konsekvensen er direkte: Den forkerte isotopgren er ikke en støjfyldt realisering af den korrekte gren. Den er et andet fysisk objekt. Korrektionen begrænsede derfor q_S, før nogen usikkerhedsanalyse blev tilladt.

Residualstatistik og tidslig struktur

De fraktionelle standardafvigelser for residualerne relativt til tabelmedianerne var omtrent

6,85 × 10^-15 for 36Ar13+ / 171Yb+

og

8,02 × 10^-15 for 40Ar13+ / 171Yb+.

Hvis alle rækker behandles som uafhængige og identisk fordelte stikprøver, er de tilsvarende standardfejl

2,96 × 10^-17

og

2,50 × 10^-17.

Disse værdier er mindre end usikkerhedsskallerne mellem kilde og mål på omtrent 1,2 × 10^-16 og 1,0 × 10^-16. Reduktionen følger direkte af det store antal rækker, men den afhænger af en IID-antagelse, som ikke er kildecertificeret.

Den tidslige diagnostik på tabelniveau understøttede ikke, at denne antagelse blev behandlet som en endelig usikkerhedsmodel. Reducerede chi-i-anden-værdier for dagsbins var omtrent 66,9 for 36Ar-linjen og 26,6 for 40Ar-linjen. Under den anvendte dagsbinmodel indikerer disse værdier, at den observerede dag-til-dag-struktur ikke repræsenteres af det naive IID-estimat.

Overskuddet kan indeholde tidslig korrelation, variation mellem kørsler, drift, overspredning eller effekter, som allerede er håndteret i kildens reduktion. De offentlige tabeller alene afgør ikke, hvilken forklaring der er korrekt.

Derfor blev usikkerhedsanalysen bevaret som en undersøgelse af følsomhed over for antagelser.

For 36Ar var kilde-mål-skallen 1,20 × 10^-16. Når den naive tabelstandardfejl blev lagt til i kvadratur, blev resultatet 1,24 × 10^-16. Når den naive standardfejl blev erstattet med en dags-chi-i-anden-opskaleret diagnostik, blev resultatet 2,70 × 10^-16.

For 40Ar var de tilsvarende værdier 1,00 × 10^-16, 1,03 × 10^-16 og 1,63 × 10^-16.

En fjerde politik brugte residualspredningen for enkeltmålinger som en konservativ diagnostisk skal og gav værdier på 10^-15-niveauet. Denne politik blev ikke fortolket som en usikkerhed på det endelige gennemsnitlige forhold.

Ingen af disse scenarier er en kildecertificeret propagation af usikkerhed. De kvantificerer resultatets afhængighed af eksplicitte antagelser. Der var navnlig ingen kovariansmatrix, posteriorobjekt eller reproducerbar statistisk kildemodel til rådighed.

Den manglende kovarians blev derfor bevaret som manglende og ikke sat til nul.

Systematisk kontekst og bærerkontekst

Kildekorpuset indeholdt omfattende kontekst for effekter, der er relevante for sammenligninger af optiske ure. Elleve komponentfamilier blev identificeret, herunder Zeeman-forskydninger, isotop- og masseforskydninger, elektriske kvadrupoleffekter, overskydende mikrobevægelse, Doppler- og tidsdilatationseffekter, servo- eller line-pulling-effekter, sortlegemestrålingsforskydninger samt Stark- eller polariserbarhedseffekter.

Dette materiale begrænsede mu_S ved at specificere den fysiske bærer og de klasser af korrektioner, der var knyttet til den.

Det leverede ikke et komplet, kildecertificeret komponentbudget med typede værdier, enheder, fortegn, korrelationer og en reproducerbar propagationsregel. Numeriske værdier og navngivne effekter i en artikel eller et supplement er ikke tilstrækkelige til at rekonstruere et endeligt usikkerhedsbudget, medmindre deres roller i reduktionen er eksplicit bundet.

Den systematiske information blev derfor kun bevaret som evidens for bærer og kontekst.

Stabilitets- og faseevidens

Opdagelseskorpuset indeholdt kildekontekst for daglig gentagelighed, gennemsnitstid, fraktionel instabilitet, hvid frekvensstøjadfærd og Allan-afvigelsesanalyse. Ar/Yb-tabellerne understøttede også diagnostik af blokstabilitet og tidsrækkefølge på tabelniveau.

Disse objekter begrænsede tau_S ved at vise, at fortolkningen afhænger af tidslig organisering og politikken for gennemsnitsberegning.

De leverede ikke en kildecertificeret reduktionsalgoritme for Allan-afvigelse eller en komplet målemodel, hvorfra laboratoriets stabilitetskurve kunne reproduceres uafhængigt. Stabilitetsresultatet forblev derfor diagnostisk.

Den primære Ar/Yb-linje manglede også de direkte faseoverførselsobjekter, som kræves til en kildenativ analyse af phi_S. Ingen logfiler fra fasestabiliserede forbindelser, faselåste sløjfer, akusto-optiske modulatorer, frekvenskammens fase eller en kildecertificeret model for overførsel af fasestøj blev godkendt.

Driften af atomure er fasefølsom, men dette generelle faktum omdanner ikke en offentlig tabel over frekvensforhold til en faseregistrering. phi_S blev derfor ikke ført videre i den primære gren.

Hvordan dataene kalibrerede Sense-modellen

Atomursanalysen begrænsede den lokale Sense-fortolkning på fem konkrete måder.

q_S blev bundet til kilde og gren. Den skulle skelne mellem forholdslinjerne for 36Ar og 40Ar, før nogen præcisionspåstand blev vurderet. En identitetsfejl kunne ikke repræsenteres som en større usikkerhed.

c_S blev en skal-koordinat frem for en fysisk usikkerhedsvariabel. Den kunne sammenlignes med residualspredning, usikkerhed mellem kilde og mål samt diagnostiske skaller, der var følsomme over for antagelser, men den kunne ikke levere en endelig usikkerhed uden en certificeret propagationsmodel.

phi_S blev evidensafhængig. Generel fasefølsomhed var utilstrækkelig. Koordinaten kunne kun føres videre, når direkte fase-, låsnings-, frekvenskam- eller overførselsregistreringer var til stede.

mu_S blev bundet til bærer og kontekst. Den bevarede strukturen for ion, apparatur, korrektion og systematikker uden at behandle et katalog over effekter som et færdigt budget.

tau_S blev følsom over for tidslig rækkefølge, blokstruktur, gennemsnitsberegning og stabilitetskontekst. Et stort antal rækker begrundede ikke en IID-fortolkning, når den ordnede diagnostik viste yderligere struktur.

Dette er den metriske tilknytning, som urkorpuset frembragte. De fysiske observerbare størrelser blev ikke til Sense-variabler. De begrænsede de operationer og ophøjelser, som Sense-variablerne fik lov til at understøtte.

Analysen tydeliggjorde også specificitetsgrænsen. En omhyggelig metrolog skelner allerede mellem kildeidentitet, residualstatistik, systematiske korrektioner, faseoverførselsevidens og tidslig korrelation. Det nuværende resultat etablerer derfor ikke en unik fysisk ontologi for Sense-modellen.

Dets snævrere bidrag er en fælles regel om ikke-absorption og afståelse på tværs af de fem koordinater: Grenidentitet kan ikke repareres med usikkerhed, tidslig struktur kan ikke absorberes i statisk spredning, systematisk kontekst kan ikke ophøjes til et budget, og manglende faseregistreringer kan ikke erstattes med generisk urterminologi.

Nuværende status

Atomursruten er fastfrosset som en kildetilknyttet bro til en præcisionsskal på tabelniveau.

Det godkendte resultat omfatter to korrekt identificerede Ar/Yb-forholdslinjer, replay af offentlige tabeller, diagnostik af fraktionelle residualer og gentagelighed, usikkerhedsskaller følsomme over for antagelser, stabilitetsanalyse på tabelniveau samt delvis bærer- og systematikkontekst.

Ruten godkender ikke en kildecertificeret endelig reduktionsalgoritme, et komplet usikkerhedsbudget, kovarians- eller posteriorinformation, en kildecertificeret Allan- eller stabilitetsreduktion, direkte faseoverførselslogfiler eller den rå tæller- og kalibreringskæde. Den etablerer ikke et nyt urforhold, et metrologisk teorem eller en fysisk identifikation af q_S, c_S, phi_S, mu_S og tau_S.

En stærkere test kræver mindst ét nyt kildecertificeret objekt: den endelige reduktionsalgoritme, et typet komponentbudget med kovarians, en kildedefineret stabilitetsreduktion, direkte faseoverførselsregistreringer eller en rå kalibreringskæde.

Værdien af atomurstilfældet er derfor specifik. Det viser, at offentlige data om frekvensforhold kan pålægge en lokal Sense-bro begrænsninger vedrørende kildeidentitet, usikkerhed, tid, bærer og faseevidens. Det præciserer også, hvor fortolkningen skal standse, når den offentlige tabel ikke længere repræsenterer den underliggende målekæde.