From independently qualified work to one interaction and several observations \[\boxed{L\ker B=\{0\}.}\] When does a device's independently specified work already determine its interaction? In a finite affine constructor, the answer is exact: every unresolved calibration direction must disappear from the observable interaction. The paper proves necessity and sufficiency, constructs a dual certificate, and counts the additional linear probes needed when selection fails. The QTT source-to-contact construction connects geometry, supported work, mode participation and the actual electrode waveform to a single coupling. That same coupling predicts one-excitation transfer, two-excitation redistribution, phase response and parity controls. A finite future-memory theorem identifies what must remain in the retained packet so that later operations cannot reveal something the model discarded. For independently specified insertion magnitudes, the cross-occupation prediction is \[P_{11}=\cos^2(F\Theta),\qquad F^2=f_{2,a}^2+f_{2,b}^2.\] For symmetric-slot modes, the corresponding frequency ratio obeys \[\boxed{\left(\frac{\Omega_2}{2\Omega_1}\right)^2=1-\frac{1}{2K_a}-\frac{1}{2K_b}.}\] Version 2.0 adds complete feasible-set selection, a harmonic three-dimensional drive, unequal-capacity transfer, and the full preparation-to-detector calculation. A cross-Kerr counterexample shows why a perfect one-excitation calibration alone cannot settle the two-excitation prediction. The package contains the manuscript, proofs, executable checks, synthetic examples and a reproducible audit of the public Hou trapped-ion tables. The selection and transfer results are proved within their stated finite classes. The canonical realization shares laboratory probabilities with matched microscopic quantum mechanics; finite-slot discrimination requires independently qualified physical capacities and instruments. The archive is a retrospective eligibility audit. The separate prospective test commits the measurement design before a laboratory supplies its physical capsule. Companion: Artian's Physical Contact Transfer Test. Source dependencies: Completed-Event Transport and Quantum Coherence; QTT Main Book. Independent experimental context: Hou et al., Nature Physics (2024). Browse the corpus. The main PDF is the preview; the ZIP contains the full reconstruction package.
From independently qualified work to one interaction and several observations [\boxed{L\ker B={0}.}] When does a device's independently specified work already determine its interaction? In a finite affine constructor, the answer is exact: every unresolved calibration direction must disappear from the observable interaction. The paper proves necessity and sufficiency, constructs a dual certificate, and counts the additional linear probes needed when selection fails. The QTT source-to-contact construction connects geometry, supported work, mode participation and the actual electrode waveform to a single coupling. That same coupling predicts one-excitation transfer, two-excitation redistribution, phase response and parity controls. A finite future-memory theorem identifies what must remain in the retained packet so that later operations cannot reveal something the model discarded. For independently specified insertion magnitudes, the cross-occupation prediction is [P_{11}=\cos^2(F\Theta),\qquad F^2=f_{2,a}^2+f_{2,b}^2.] For symmetric-slot modes, the corresponding frequency ratio obeys [\boxed{\left(\frac{\Omega_2}{2\Omega_1}\right)^2=1-\frac{1}{2K_a}-\frac{1}{2K_b}.}] Version 2.0 adds complete feasible-set selection, a harmonic three-dimensional drive, unequal-capacity transfer, and the full preparation-to-detector calculation. A cross-Kerr counterexample shows why a perfect one-excitation calibration alone cannot settle the two-excitation prediction. The package contains the manuscript, proofs, executable checks, synthetic examples and a reproducible audit of the public Hou trapped-ion tables. The selection and transfer results are proved within their stated finite classes. The canonical realization shares laboratory probabilities with matched microscopic quantum mechanics; finite-slot discrimination requires independently qualified physical capacities and instruments. The archive is a retrospective eligibility audit. The separate prospective test commits the measurement design before a laboratory supplies its physical capsule. Companion: Artian's Physical Contact Transfer Test. Source dependencies: Completed-Event Transport and Quantum Coherence; QTT Main Book. Independent experimental context: Hou et al., Nature Physics (2024). Browse the corpus. The main PDF is the preview; the ZIP contains the full reconstruction package.
A preregistered one- and two-excitation trapped-ion benchmark pη(y∣u)=Tr[Iym,ηum∘⋯∘Iy1,ηu1(ρη)]. One interaction, selected before the data, must predict several observations. This prospective trapped-ion protocol fixes one- and two-excitation time scans, relative-phase scans and an even-curvature null control. It uses 18 contexts, 62 complete raw-count coordinates and 900,000 initiated validation attempts. The same independently constructed contact supplies the time-transfer predictions p10→01=sin2Θ,p11→11=cos2(FΘ). Preparation, detector response, physical insertion class and uncertainty are frozen in a separately timestamped laboratory capsule before acquisition. No validation-fitted exchange frequency, capacity, phase origin or contrast is allowed. Failed attempts and null outcomes remain in the count denominators. A sensitivity gate prevents an unresponsive detector from passing. The finite-sample analysis has separate rejection, equivalence, inconclusive and ineligible decisions. Its total conditional false-rejection budget is 5.7330314376 × 10−7, numerically the conventional two-sided five-sigma tail. This is a design threshold, not a reported discovery. Successful equivalence requires every probability coordinate to meet a five-percentage-point tolerance. Design-stage preregistration. This deposit fixes the test today. Independent apparatus qualification, a public or verifiably escrowed Stage B capsule and new validation observations remain required. The canonical branch is shared with matched microscopic QM; a finite-slot comparison tests only the independently selected physical models. The package includes the protocol, frozen design, count analyzer, synthetic verification, deliberately incomplete laboratory templates and exact checksums. Companion: QTT Physical Contact Selection and Predictive Transfer Theorem. Source dependencies: Completed-Event Transport and Quantum Coherence; QTT Main Book. Independent experimental context: Hou et al., Nature Physics (2024). Browse the corpus. The main PDF is the preview; the ZIP contains the full reconstruction package.
Why a heating spectrum cannot determine an ion's escape history A trapped ion can heat slowly near the bottom of its well and still disappear quickly. What must a physical theory specify to predict both observations with one construction? This framework joins source work, finite environmental forces, retained memory and the actual survival detector in one packet: Πsrc⟼(usrc,Tsurv,ρ0,Adet)⟼{nˉ˙,Sn,δr,ωeff},fj=−∂qjusrc,Sn=Tr[Tsurvn(ρ0)],∂yvalidation∂Πsrc=0. The packet fixes the work, contacts, initial preparation and detector before the validation outcomes are judged. Its force, heating, survival and mechanical response are different projections of the same process. A stationary surviving transfer gives the displayed power; changing controls require a time-ordered product. A sharp source-work force bound In a qualified positive quadratic loading chart, a finite environmental allocation constrains the force rather than supplying an arbitrary noise amplitude: u=qTAq+2qTCξ+ξTBeξ,fe=−2Cξ,ξTBeξ≤χ.(vTfe)2≤4χvTAv. The work metric and allocation are physically qualified inputs. The coefficient four follows from differentiating quadratic work and the Gram inequality. The same bound limits the integrated covariance of a stationary classical force. Same spectrum, different escape An exact bounded-force counterexample makes the information gap concrete. Two declared synthetic force processes have identical means and complete covariance spectra, yet the same momentum-exit test has: SFA=SFB,E[TA]=9ticks,E[TB]=16ticks. The higher statistics and exit overshoot differ. Heating alone therefore cannot select a full escape law. Retained-memory matrices and a quantum surviving channel provide separately reproducible examples; these finite-process certificates are not experimental trap lifetimes. One process, several independent checks The paper derives survival probabilities, restricted means, a tail-qualified full mean, stopped-work accounting and finite-window error bounds. An exact quartic comparison calculation also links barrier lowering to displacement and local-frequency change. A proposed near-critical tilt must produce those mechanical signatures under the specified preparation. The semiconductor-trap experiment of Stick et al. motivates the laboratory audit. Its published heating row and survival knee do not specify the independent environmental process, directional heating and complete detector packet required to identify its historical loss mechanism. The result here is the conditional source-to-observable theorem and its executable certificates; the historical joint-data verdict remains open. The main PDF contains the onboarding guide, nine theorem statements with proofs, axiom and constructor cards, three calculated figures, book anchors and a laboratory handover. The reconstruction ZIP includes the full Markdown and standalone LaTeX, declared packets, numerical executor, certificates, figure tables and checksums. Version 1.0. Stable concept DOI. Source dependencies: QTT Main Book, pp. 48–51, 71–74, 177–178 and 383–384; Completed-Event Transport and Quantum Coherence, Part XIX; and Physical Contact Selection and Predictive Transfer. Independent experimental context: Stick et al. (2006); comparison theory: Ryan, Jonas and Monroe (2026). Terminology · Corpus.
本研究以《時間還原理論 4.0:非同一性——高階總和的跨領域表示》(TRT 4.0)為直接理論檢驗對象,以量子物理與量子資訊為目標領域,依 TRT 4.0 第十八至二十二節所確立的跨領域方法,分別檢驗最低數量命題、必要層級命題與非封閉命題。研究不預設量子理論服從 TRT,不將量子態、量子測量、量子通道、POVM、quantum instrument、Kraus operator 或其他量子對象直接等同於 TRT 的 Gen、NonId、Diff、G、Joint、Agg 或其他形式項,而由量子理論自身的數學、操作理論與研究證據回答三項檢驗問題。最低數量檢驗以量子態的數學非相等與量子態可區分性為主要案例。密度算符 ρ 與 σ 的非相等可以由 ρ−σ≠0,等價地由正的 trace distance,予以判定;量子資訊理論並不存在一般規則要求第二個獨立差異必須先成立,兩態的非相等才能成立。另一方面,全域相位不同的態向量可以表示同一物理純態,顯示表示層差異本身不能任意提升為物理狀態層的非同一。故最低數量命題在本研究限定的量子態判定範圍內獲得支持性案例,但不構成 TRT 本體或形式系統的量子力學證明。必要層級檢驗以量子態、POVM outcome、quantum instrument、Kraus representation 及密度算符的不同 ensemble decomposition 為主要材料。量子理論明確存在多個不同描述與操作層級;一層中的表示多重性、結果多重性或分解多重性不能在沒有額外定理的情況下直接推出另一層中的相同最低必要多重性。尤其同一量子通道可以具有不同 Kraus 表示,同一密度算符亦可具有不同純態 ensemble decomposition,因此表示項目的多重性不能直接當作被表示量子對象的最低必要多重性。此結果對必要層級命題形成較強支持。非封閉檢驗則使用 Born rule、POVM、quantum instrument、CPTP quantum channel、單位動力學及 no-cloning theorem。量子理論提供大量嚴格限制,但「受嚴格定律或限制約束」並不一般推出「所有後續只剩唯一可能結果」。測量形式可以指定多個具有非零機率的結果;CPTP 條件限定合法 quantum channel 的類別,但不單獨選出唯一 channel;no-cloning theorem 排除 universal perfect cloning,卻沒有因此使所有其餘物理操作唯一化。相對地,在 Hamiltonian、初始條件等充分資料均指定時,Schrödinger dynamics 可以產生唯一的量子態演化。此一邊界案例並不反駁 TRT 4.0 的非封閉命題,因為唯一性來自額外充分動力學資料,而不是僅由方向、限制或構成上的強制性直接推出。反例搜尋另納入全域相位、混合態分解、Kraus representation 非唯一性、contextuality、確定性單位演化及 no-cloning 等案例。經逐項檢查,未發現能在不增加 TRT 4.0 原文前提、不建立未經論證的跨領域概念等同、且保持相同判定問題的情況下,直接反駁三項跨領域命題的有效量子理論反例。本研究因此將最低數量命題判定為「成立(限定於本研究所檢查之量子態非相等/可區分性問題)」,必要層級命題判定為「成立」,非封閉命題判定為「成立」。這些結果表示量子物理與量子資訊提供與三項跨領域檢驗命題相容的數學與操作案例,而不表示量子理論證明 TRT 4.0 正確,也不表示 TRT 4.0 已成為量子理論的基礎理論。
How a finite real cycle acquires a complex structure and a rule for composition Quantum theory uses a common imaginary unit when individual systems become a composite. This framework constructs that compatibility from finite real source histories. On the complete contrast sector of a three-cycle, the forward and backward comparisons give J=3P−P2,J2=−I The complex structure appears after the real comparison is specified. At a qualified unmarked boundary, opposite reference shifts select QAB=2I−JA⊗JB The range is the balanced complex tensor product. Its many-source composition is associative. A finite controlled contact supplies a nonfactorizable complex-linear operation, and exact residual bounds quantify departure from the selected sector. A source model that produces the contact A reversible controller compares operation orders on 24 proper signed frames. Its ordered, arrow-insensitive axis detector produces the retained cyclic response. The contact algebra gives [[G,G],[G,G]][G,G]≅C3. The construction prints the controller, scratch cleanup, full contrast probes, admissible operations and refusal states. A triaxial real response tensor realizes the detector and provides an explicit map between material contrasts and event-count contrasts. A record must survive the test of future operations A present tensor can hide a material marker that a later operation reveals. The framework derives independent force-gradient calibration and a delayed odd-field release. With a nonzero release field, energy and vector torque reconstruct the entire marker change: DU=−Δp⋅E,Dτ=Δp×E.Δp=∣E∣2E×Dτ−DUE The test includes shared calibration errors, stray fields, finite release pulses, marker relaxation and a complete operation inventory. It distinguishes detection of a retained record from agreement with its frozen prediction and from discrimination between physical theories. From proved structure to existing experiments The paper adds a conditional probability-correspondence theorem for the balanced composite, examines independent-source quantum-network experiments, and reproduces all eight measured rows of a public torque dataset. These supply composition benchmarks and demonstrated apparatus capabilities. Their published significances are kept attached to the hypotheses they actually test. The calibrated material release law is also a conventional electrostatic prediction; it is not presented as a QTT-exclusive signal. One material coefficient, two readouts A new archival calculation transfers a published same-particle libration calibration to a separate precession measurement. In the qualified rotor regime, the cross-readout relation is Ξ=ωlib2EpωsΩElcosϕl=alibaprec. An unchanged dipole-to-inertia coefficient gives unity. The calculation yields a slope of 2.909 from the libration calibration, compared with the published precession slope of 2.950, a central difference of 1.4135%. This shared electrostatic consistency relation eliminates the separate dipole and inertia; unequal field gains, dynamical corrections and shared uncertainty remain explicit. Reversal and long-term dipole-stability observations identify complementary laboratory capabilities. The complete matched-tensor delayed-release test remains an experimental target. When do two descriptions differ in any future experiment? The finite-reference extension follows a controlled source contact through shared references, fresh references, inverse operations, intermediate measurements and feedback. Its complete order-three response is gn=∑k=02pkζkn,ζ=e2πi/3,g3=1,g2=g1. A finite observable-span algorithm tests two fully specified models across every permitted future word. It either certifies agreement or returns the preparation, operation sequence, terminal outcome and exact probability difference. In the populated compatible-instrument benchmark, the complete quantum representation gives the same records without an additional target fit. A source-selected physical coupling or preparation remains a distinct route to predictive value. The framework includes nine vector figures, the retained source proofs and countermodels, complete reference-history benchmarks, calibration and vector-reconstruction theorems, runnable exact and numerical checks, published-input receipts, a data assessment and an experimental packet specification. The introduction defines the QTT terms needed to follow the construction without prior familiarity with the corpus. The probability-interface theorem, finite-memory bounds and covariance-weighted witness specify which further laboratory comparisons can distinguish physical models. Source anchors QTT Main Book, especially pp. 56, 248-250, 352 and 827-829; Artian's Completed-Event Four-Capacity Theorem; Frame-cycle derivation map, completed-event lexicon, and Artian's Universe and laboratory readout. Stable citation: 10.5281/zenodo.22882084.