{"id":"3f486c9a-aa1e-46eb-a877-1d21da7a80d6","arxiv_id":"2412.19580","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"The muonium 2S1/2-2P3/2 interval is recalculated to 9874.357(1) MHz, and the transition is shown to be sensitive to previously unconstrained Lorentz-violating coefficients.","lead":"Muonium, an atom made of a muon and an electron, offers a clean test of quantum electrodynamics. This paper updates its predicted 2S-2P energy gap to 9874.357 MHz with 1 kHz uncertainty, shows how the same transition can probe Lorentz symmetry violation, and estimates that a 10 kHz measurement is possible with a new intense muon beam.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Quoted 9874.357(1) MHz is the hyperfine centroid, not the F=0→F=1 transition simulated in Fig. 3; abstract (F=1) and body (F=0) disagree, so the kHz-level theory target is ambiguous.","rationale":"The reader's weakest assumption concerns the SME Hamiltonian transfer from hydrogen to muonium. That is a legitimate theoretical worry, but it is not the most load-bearing issue for the central claim. The central claim is that 9874.357(1) MHz is a kHz-level theory target for future microwave spectroscopy. The paper's own text and figure show that the planned measurement targets a specific hyperfine transition (F=0→F=1 in the body, F=1→F=1 in the abstract), while the quoted value is the hyperfine-averaged fine-structure interval. These differ by hundreds of MHz, as evidenced by the Fig. 3 resonance location near 10.25 GHz. This is not a minor labeling slip: it determines what the experiment would actually compare against and whether the quoted uncertainty of 1 kHz applies to the measured line. The correct outcome remains a conditional acceptance, but the condition should be reframed around clarifying the centroid/isolated-transition distinction and resolving the F=0/F=1 inconsistency. The SME substitution, while worth checking, is a secondary concern and would not change the need for this clarification.","tokens_in":14136,"tokens_out":19334,"duration_ms":165252,"concrete_test":"Recompute the 2S1/2,F=0 → 2P3/2,F=1 frequency from the centroid using the known muonium hyperfine splittings: ν(F0→P1) = 9874.357 MHz + (3/4)Δν_HFS(2S1/2) − (5/8)Δν_HFS(2P3/2). Check that this value matches the resonance center used in the Bloch/Monte-Carlo simulation (approximately the 10.25 GHz region of Fig. 3), and verify that the abstract's F=1→F=1 assignment gives a different center (~9.72 GHz). If the centers do not match, the paper must state explicitly that 9874.357 MHz is the hyperfine-averaged interval and quote separately the predicted frequency of the isolated transition it proposes to measure.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 2 reports 9874.357(1) MHz for the 2S1/2−2P3/2 interval, and Table 1 labels the corresponding sum “This work without EHFS”. Section 4 and Fig. 3, by contrast, simulate the “isolated 2S1/2,F=0 → 2P3/2,F=1 transition”, while the abstract says 2S1/2,F=1 → 2P3/2,F=1. A hyperfine-averaged centroid and a specific F=0→F=1 transition are not the same observable: in muonium the 2S1/2 hyperfine splitting is ≈558 MHz, and the weighted hyperfine shifts move the F=0→F=1 line by a few hundred MHz. This is visible in the paper's own Fig. 3, where the resonance is near 10.25 GHz, not 9.874 GHz. The 10 kHz EHFS row in Table 1 is a residual contribution and cannot bridge that gap. As written, the paper therefore does not connect its headline theory value to the transition for which a 10 kHz precision is claimed; a future experimental comparison cannot use 9874.357(1) as a target without an explicit hyperfine correction, and the abstract/body F=0 vs F=1 mismatch makes it unclear which quantity is being quoted.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript compiles current QED contributions to the muonium 2S1/2-2P3/2 fine-structure interval, obtaining the updated value 9874.357(1) MHz for the hyperfine centroid defined in Eq. (1). It adapts the nonrelativistic SME Hamiltonian previously derived for hydrogen to muonium by substituting proton coefficients with antimuon coefficients, and derives Lorentz-violating frequency shifts in weak-field and zero-field scenarios. The paper then presents Monte Carlo simulations of single-field and Ramsey separated-oscillatory-field microwave spectroscopy, and estimates that with the upcoming HiMB beamline and muCool a statistical precision of about 10 kHz could be reached for the isolated 2S1/2,F=0 to 2P3/2,F=1 transition.","tokens_in":14430,"tokens_out":5703,"duration_ms":50101,"significance":"If correct, the updated theory value is a significant improvement over the 1990 value 9874.3(3) MHz and provides a kHz-level target for future microwave spectroscopy. The SME analysis identifies sensitivity to previously unconstrained j=2 antimuon coefficients, which is a genuine new application of the framework. The paper's strengths are its transparent uncertainty budget based on published calculations, the absence of fitted parameters, and the use of simulations validated against the Mu-MASS Lamb-shift measurement. However, the mismatch between the quoted hyperfine centroid and the specific hyperfine transition that the experiment would actually measure must be resolved before the theory target can be used as claimed.","major_comments":[{"comment":"The quoted value 9874.357(1) MHz is defined as the hyperfine centroid of the 2S1/2-2P3/2 interval through Eq. (1), and Table 1 labels it 'This work without EHFS'. In contrast, Section 4 and Fig. 3 simulate the isolated 2S1/2,F=0 to 2P3/2,F=1 transition, while the abstract states 2S1/2,F=1 to 2P3/2,F=1. These are not the same observable: the 2S1/2 hyperfine splitting in muonium is about 558 MHz, and the simulated resonance in Fig. 3 lies near 10.25 GHz rather than 9.874 GHz. The 10 kHz EHFS row in Table 1 is a residual centroid correction and cannot bridge this gap. Please specify precisely which transition the theory value refers to, provide the corresponding hyperfine-corrected transition frequency, and reconcile the abstract and the main text.","section":"Section 3.1, Eq. (6)"},{"comment":"The Lorentz-violating shifts in Eqs. (8) and (10) are obtained by transferring the hydrogen result of Ref. [39] to muonium through the substitution in Eq. (6). The manuscript does not demonstrate that the muon/electron mass ratio does not introduce additional nonrelativistic SME coefficients or higher-order terms beyond those appearing in the hydrogen derivation. Please either cite a general derivation that explicitly covers muonium or provide the leading steps of the nonrelativistic SME Hamiltonian for this two-fermion system, so that the completeness of the resulting frequency shifts is established.","section":"Section 3.1, Eq. (6)"},{"comment":"The 10 kHz precision estimate depends on several assumed or extrapolated parameters: the muonium production rate with HiMB+muCool, the 10(3)% 2S formation fraction, the detection efficiency of 16%, and the phase-space properties entering the gas-cell conversion. These are plausible and partly referenced, but the paper should clearly distinguish measured values from assumptions and should indicate how the final statistical precision would change under plausible variations of the most sensitive inputs, in particular the 2S formation fraction and the muCool rate.","section":"Section 4, Figs. 3-4"}],"minor_comments":[{"comment":"In the sentence 'Collecting the required statics will become feasible', 'statics' should be 'statistics'.","section":"Abstract"},{"comment":"The keyword 'Standard Model Extension' appears twice; the duplicate should be removed.","section":"Keywords"},{"comment":"The caption should state explicitly which hyperfine transition is being simulated (2S1/2,F=0 to 2P3/2,F=1) so that the horizontal scale around 10.25 GHz is clear to the reader.","section":"Figure 3 caption"},{"comment":"The sentence 'The total amount of M atoms, N = sum_i n_i, in the 2S1/2, F=0 state' would read better as 'The total number of M atoms in the 2S1/2, F=0 state'.","section":"Section 4, text near Fig. 4"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the inconsistency between the hyperfine-centroid theory value and the specific hyperfine transition simulated in the experimental section. This is a fixable but load-bearing issue: the claimed kHz-level theory target cannot be used by experimenters until it is assigned to the correct transition. The SME adaptation from Ref. [39] is a reasonable starting point, but it needs a clearer justification or derivation. If these points are addressed, the paper would be a suitable contribution on precision bound-state QED and Lorentz-violation searches."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know about this paper is that the headline number, 9874.357(1) MHz, is the hyperfine centroid of the 2S1/2–2P3/2 interval, not the frequency of the actual transition the experiment will observe. The abstract talks about the F=1→F=1 line, the body and Fig. 3 simulate F=0→F=1, and both are hundreds of MHz away from the centroid because the 2S hyperfine splitting is about 558 MHz. So as written, you cannot use their quoted value as a target for the proposed measurement without an explicit hyperfine correction. That is a real inconsistency and it needs to be fixed before the paper is used as a reference.\n\nThat said, the paper does several things well. The theory update is a careful compilation of recent bound-state QED results (Adkins, Patkós, Eides-Shelyuto, etc.) into a kHz-level prediction for muonium, with a transparent uncertainty budget. That is new and useful. The SME section adapts the hydrogen formalism of Kostelecký-Vargas to muonium and shows that the 2S1/2–2P3/2 transition is sensitive to j=2 muon coefficients that are currently unconstrained – that is a genuine new application, not just a restatement. The Monte Carlo feasibility study for Ramsey SOF spectroscopy is also reasonable, though its precision estimate depends on assumed beam parameters that are not independently verified.\n\nThe soft spots beyond the hyperfine issue: the paper does not re-derive the SME Hamiltonian for muonium, but that is acceptable for an application paper. The simulation code/data are not released, which is a minor complaint. The experimental projection relies on HiMB+muCool rates that have not been demonstrated, but that is clearly flagged as a prospect.\n\nOverall, the core scientific content is sound and worth refereeing. The F=0/F=1 mismatch is not fatal; it is an error of presentation that a careful referee would catch. I would send it to review, and I would probably cite the theory value and the SME sensitivity after the revision.\n\nBest.","headline":"Solid theory update and genuinely new SME application, but the paper fumbles the connection between the quoted 9874.357 MHz centroid and the hyperfine-resolved transition it plans to measure.","tokens_in":15038,"tokens_out":2729,"would_cite":true,"duration_ms":22676,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["36.10.Dr","11.30.Cp","32.30.Bv"],"model":"deepseek-v4-flash","headline":"Muonium's $2S_{1/2}-2P_{3/2}$ frequency is now computed to 9874.357(1) MHz, 300 times sharper than the 1990 value — and the same line can probe muon Lorentz violation nowhere else tested.","keywords":["muonium","fine structure","Lamb shift","spectroscopy","Standard Model Extension","separated oscillating field","Lorentz violation","CPT symmetry"],"falsifier":"Measure the $2S_{1/2},F=0 \\to 2P_{3/2},F=1$ muonium transition at about 10 kHz precision with the proposed separate-oscillatory-field setup: a frequency differing from 9874.357(1) MHz by more than the combined uncertainty would invalidate the theory update, and agreement would confirm the recoil and nuclear self-energy contributions. For the Lorentz-violation claim, the model predicts either a sidereal modulation of the resonance (field-on scenario) or the appearance of two or three resolved peaks instead of one (field-off scenario); the absence of both signatures at kHz resolution would place the $j=2$ coefficients below the claimed sensitivity, while observing either would confirm them.","tokens_in":13922,"feed_emoji":"⚛️","tokens_out":24775,"duration_ms":190700,"temperature":0.7,"pith_summary":"The paper establishes a new theory target for the muonium fine-structure transition $2S_{1/2}-2P_{3/2}$: 9874.357(1) MHz, a three-hundredfold tightening of the only prior value, which dated from 1990. At this precision the transition becomes a discriminating test of bound-state QED, because radiative-recoil and nuclear self-energy corrections that are tiny in hydrogen are amplified in muonium by the light muon mass. The paper further adapts the Standard Model Extension (SME), the systematic low-energy framework for Lorentz and CPT violation, to this transition and shows it is sensitive to spin-independent $j=2$ muon coefficients that are currently unconstrained. Finally, Monte Carlo simulations of the separate-oscillatory-fields technique indicate that about 10 kHz statistical precision on the isolated $F=0$ to $F'=1$ line is reachable with the planned High-Intensity Muon Beam. If these pieces hold together, a single microwave experiment would simultaneously test QED, place first limits on new muon Lorentz-violating couplings, and check the new prediction.","feed_headline":"9874.357(1) MHz: muonium fine-structure line sharpened 300-fold","feed_subtitle":"At kHz-level precision, one transition doubles as a QED test and a probe of unconstrained muon Lorentz coefficients.","key_machinery":"The load-bearing objects are the two frequency formulas. The QED value is the sum of tabulated contributions (Table 1) — Dirac term, one-loop self-energy, vacuum polarization, two- and three-photon corrections, recoil and radiative-recoil terms, and nuclear self-energy — where the updated $(Z\\alpha)^6$ recoil soft terms and the two-loop electron factor enter from recent calculations, with correlations handled through the standard uncertainty prescription for the fundamental constants. The SME shift rests on the nonrelativistic Hamiltonian results for hydrogen, transferred to muonium by replacing proton coefficients with antimuon coefficients; the resulting shifts (Eqs. (8), (10), (13)) show that V-type (spin-independent) $j=2$ coefficients enter the $2P_{3/2}$ shift but not the $2P_{1/2}$ shift, which is precisely why this transition is uniquely sensitive to them, while T-type (spin-dependent) $j=3$ coefficients appear only for $F=2$ sublevels. The experimental mechanism is the separate-oscillatory-fields technique: two microwave zones separated by a field-free region produce an interference fringe far narrower than the 99.7 MHz natural width, and fitting that fringe in the Monte Carlo yields the 10 kHz precision estimate.","core_discovery":"On the theory side, the paper assembles the QED contributions to the muonium $n=2$ fine-structure interval — the Dirac eigenvalue at finite nuclear mass, electron self-energy, vacuum polarization, two- and three-photon corrections, recoil terms through order $(Z\\alpha)^6$, radiative recoil, and nuclear self-energy — using the 2022 recommended values of the fundamental constants, and obtains 9874.357(1) MHz for the $2S_{1/2}-2P_{3/2}$ centroid with a total uncertainty of 1 kHz; radiative-recoil terms for the $P$ states are not directly included and are absorbed as an order-of-magnitude uncertainty. On the symmetry-testing side, it adapts the nonrelativistic SME energy shifts derived for hydrogen by substituting proton coefficients with antimuon coefficients, deriving the Lorentz-violating frequency shift for the transition both with and without a weak external magnetic field. The key finding is that the $2S_{1/2}-2P_{3/2}$ transition, unlike the $2S_{1/2}-2P_{1/2}$ Lamb shift, receives contributions from spin-independent SME coefficients with $j=2$ — the CPT-odd $a$-type and CPT-even $c$-type muon coefficients — because the selection rule $(j+1)/2 \\le J$ admits them for $J=3/2$ but not $J=1/2$; transitions through the $F=2$ hyperfine sublevel additionally admit $j=3$ spin-dependent coefficients. On the experimental side, Bloch-equation Monte Carlo simulations validated against the recent precision muonium Lamb-shift measurement show that separate-oscillatory-field spectroscopy on the isolated $2S_{1/2},F=0 \\to 2P_{3/2},F=1$ line can reach about 10 kHz statistical precision within roughly ten days of beam time.","pith_inferences":["Because the new theory value is three hundred times sharper, even a first kHz-level measurement would almost immediately confirm or break the muon-mass amplification of the recoil and nuclear self-energy terms — the difference between the hydrogen and muonium columns of Table 1.","The zero-field signature is a background-free test: the same data that fixes the line center would bound the $j=2$ coefficients from the observed lineshape alone, without requiring the sidereal-time tracking that the field-on scenario needs.","The same hydrogen-to-muonium substitution logic should extend to antimuonium and to other muonium intervals; because CPT-odd coefficients change sign with the antimuon, comparing fine-structure lines in muonium and antimuonium could separate CPT-odd from CPT-even contributions.","The substitution assumption itself is checkable: re-deriving the nonrelativistic SME reduction directly for the muon–electron mass ratio would either validate Eq. (6) or expose additional terms, and that re-derivation is the natural next step before a high-precision campaign."],"forward_implications":["A kHz-level theory value gives future microwave spectroscopy a concrete target: agreement at 10 kHz would confirm the radiative-recoil and nuclear self-energy corrections the table isolates.","A measurement of the $2S_{1/2}-2P_{3/2}$ interval can set first bounds on the spin-independent $j=2$ muon SME coefficients (CPT-odd $a$-type and CPT-even $c$-type), which are currently unconstrained.","Transitions involving the $F=2$ hyperfine sublevel of $2P_{3/2}$ open access to $j=3$ spin-dependent coefficients that are invisible in the $F=1$ line.","With a weak magnetic field, Lorentz violation would appear as a sidereal ($23^{\\rm h}56^{\\rm m}$-period) modulation of the resonance frequency; with no field, it would appear as two or three resolved resonance peaks instead of a single line.","With the High-Intensity Muon Beam and its muon-cooling stage, the simulation places about 10 kHz statistical precision on the isolated $F=0 \\to F'=1$ transition within roughly ten days of beam time."],"supporting_citations":[{"why":"The 1990 measurement that set the previous muonium fine-structure value of 9874.3(3) MHz, the baseline the new theory value improves and the future experiment aims to beat.","marker":"[26]"},{"why":"The source of the fine-structure constant and the mass ratios used in every tabulated contribution.","marker":"[30]"},{"why":"The tabulation of hydrogen bound-state energies whose structure the muonium calculation follows and against which the hydrogen column is verified.","marker":"[31]"},{"why":"The earlier muonium Lamb-shift theory update from the same group, whose n=2 treatment and uncertainty scheme this work extends to the fine-structure interval.","marker":"[32]"},{"why":"The newly calculated (Zα)^6 recoil corrections that supply the updated soft contributions to the S-state recoil term.","marker":"[33]"},{"why":"The hydrogen/antihydrogen Lorentz- and CPT-test analysis whose nonrelativistic energy-shift formulas are adapted to muonium by the antimuon coefficient substitution in Eq. (6).","marker":"[39]"},{"why":"The previous muonium SME study that set the ground-state constraints, established the j-selection rules and the q2m amplitudes reused here, and is the benchmark the fine-structure transition must beat for j=2 coefficients.","marker":"[25]"},{"why":"The precision muonium Lamb-shift measurement whose experimental configuration and statistics validate the Monte Carlo simulations.","marker":"[5]"},{"why":"The High-Intensity Muon Beam proposal whose 10^10 Hz surface-muon rate makes the ten-day data-taking estimate possible.","marker":"[28]"},{"why":"The original 1949 paper on the separate-oscillatory-fields resonance method, the interference technique whose narrow central fringe the simulation exploits.","marker":"[44]"}],"fun_headline_variants":["Muonium fine-structure theory hits 1 kHz, enabling Lorentz tests","kHz-precision muonium fine structure: QED and Lorentz symmetry probe","Muonium fine structure update: 1 kHz precision for Lorentz violation search","New muonium fine-structure value enables Lorentz tests and QED checks"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the nonrelativistic SME Hamiltonian derived for hydrogen transfers to muonium by simply replacing the proton coefficients with antimuon coefficients; the paper does not re-derive the two-fermion reduction for the muon–electron mass ratio, so if that re-derivation produced additional terms, the predicted Lorentz-violating frequency shifts would be incomplete.","fun_headline_variants_meta":{"raw":{"variants":["Muonium fine-structure theory hits 1 kHz, enabling Lorentz tests","kHz-precision muonium fine structure: QED and Lorentz symmetry probe","Muonium fine structure update: 1 kHz precision for Lorentz violation search","New muonium fine-structure value enables Lorentz tests and QED checks"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000262,"raw_usage":{"total_tokens":1707,"prompt_tokens":1165,"completion_tokens":542,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":781,"completion_tokens_details":{"reasoning_tokens":463}},"tokens_in":781,"tokens_out":542,"duration_ms":5896,"temperature":1.0,"reasoning_tokens":463,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T00:10:31.098437+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the $2S_{1/2},F=0 \\to 2P_{3/2},F=1$ muonium transition at about 10 kHz precision with the proposed separate-oscillatory-field setup: a frequency differing from 9874.357(1) MHz by more than the combined uncertainty would invalidate the theory update, and agreement would confirm the recoil and nuclear self-energy contributions. For the Lorentz-violation claim, the model predicts either a sidereal modulation of the resonance (field-on scenario) or the appearance of two or three resolved peaks instead of one (field-off scenario); the absence of both signatures at kHz resolution would place the $j=2$ coefficients below the claimed sensitivity, while observing either would confirm them.","supporting_citations":[{"cited_title":"PhD thesis, Yale University (1990)","cited_arxiv_id":null,"evidence_quote":"The 1990 measurement that set the previous muonium fine-structure value of 9874.3(3) MHz, the baseline the new theory value improves and the future experiment aims to beat."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The tabulation of hydrogen bound-state energies whose structure the muonium calculation follows and against which the hydrogen column is verified."},{"cited_title":"EPJ Web of Conferences 262, 01001 (2022) https://doi.org/10.1051/ epjconf/202226201001","cited_arxiv_id":null,"evidence_quote":"The earlier muonium Lamb-shift theory update from the same group, whose n=2 treatment and uncertainty scheme this work extends to the fine-structure interval."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The newly calculated (Zα)^6 recoil corrections that supply the updated soft contributions to the S-state recoil term."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The hydrogen/antihydrogen Lorentz- and CPT-test analysis whose nonrelativistic energy-shift formulas are adapted to muonium by the antimuon coefficient substitution in Eq. (6)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The previous muonium SME study that set the ground-state constraints, established the j-selection rules and the q2m amplitudes reused here, and is the benchmark the fine-structure transition must beat for j=2 coefficients."},{"cited_title":"Physical Review Letters 128(1) (2022) https: //doi.org/10.1103/physrevlett.128.011802","cited_arxiv_id":null,"evidence_quote":"The precision muonium Lamb-shift measurement whose experimental configuration and statistics validate the Monte Carlo simulations."}],"review_version":1}