· technology· 约 23 分钟精读

预测与证据的分离:QubitLab 移动端量子实验台架的确定性状态机、概率守恒断言与统计规律启蒙工程实践

核心要点速览 · TL;DR 概要

深入解构密旋科技 QubitLab 移动端量子物理教育沙盒中实验台架(Experiment Bench)的“预测—记录—证据”分离状态机设计。以康普顿散射、放射性时钟、经典势垒对照与波包碰撞四类台架为例,系统推导确定性纯函数物理内核、不可变观测记录追加语义、双点对比证据门禁与概率归一化断言,论述在 100% 纯离线沙盒中如何以工程约束培养学习者的实验证据纪律与统计物理直觉。

预测与证据的分离:QubitLab 移动端量子实验台架的确定性状态机、概率守恒断言与统计规律启蒙工程实践

TagWorks

Official on App Store

便携式电气安全 (PAT) 移动作业台账

依据 AS/NZS 3760 工业标准构建,开尔文微欧级精度补偿,100% 离线沙盒存储与密码学防篡改审计链。

一、引言:从“看答案”到“记证据”——移动端量子启蒙的实验纪律

过去一周,行业侧有两条动态值得关注:中国信息通信研究院发布《量子计算发展态势研究报告(2026年)》,持续跟踪量子计算工程化与产业化的演进节奏;首届中央企业量子人才科创空间产业应用创新大赛在合肥举办,以真实业务场景需求牵引量子科技人才培养。两条信息指向同一个现实:量子科技的产业化进程正在提速,而与之匹配的“量子素养底座”仍然稀缺——它既包含对微观规律的概念理解,也包含支撑一切实验科学的证据纪律。

在移动端教育产品中,把物理模型做成可滑动的控制面板是常见的做法,但它天然携带一个教学风险:学习者可以把滑块扫到“过关数值”上,却完全没有经历一次像样的实验。更隐蔽的认知混淆在于:屏幕上一串随滑块实时跳动的数字,会被直觉地当作“观测结果”;而真正的观测证据,必须来自显式的取样与记录动作。预测(Prediction)与证据(Evidence)的分离,是实验科学最基本的纪律,也是密旋科技(KeyRotate Technology)在 QubitLab 实验台架(Experiment Bench)设计中的第一原则。

QubitLab 是一款面向 iOS 的量子物理与 STEM 启蒙交互式教育沙盒。其“量子奥德赛”主线以闯关形态覆盖波粒二象性、叠加与测量、量子隧穿、纠缠与非局域性、量子密码与算法启蒙等主题;而散布在主线中的实验台架,则承担“从叙事回到实证”的教学职能。第 25 关《放射性时钟》给玩家下达的目标就是一条完整的实验规程:记录两个不同的观测窗口,比对冻结的群体证据,然后在不去预测单个原子确切衰变时刻的前提下开启密室。本文以四类台架的真实实现为线索,还原这套纪律如何被写进数据类型与状态机。

预测区(可变)记录动作证据区(不可变)控制变量调节观测窗口 0.5–8.0 s势垒高度 6.0–10.0预测暂存(不入证据)evaluate() 纯函数重算控制一改 · 预测即过期显式记录采样append-only 追加观测记录列表记录① 窗口 2.0 s · 衰减 35.6%记录② 窗口 4.0 s · 衰减 58.5%历史记录永久保留双点对比门禁两条差异记录互相印证概率归一化断言通过阶段推进 · 关卡完成QubitLab 端侧 100% 离线确定性内核纯函数物理规则 · 单元测试断言 · 零云端依赖

二、四类实验台架的确定性物理内核

QubitLab 的实验台架不是装饰性动画,而是一组可以被操作、被记录、被复核的确定性物理内核。每个台架由两部分构成:可调的控制变量,以及由纯函数规则实时计算的预测输出。四类台架的主题、内核与证据判据如下表所示。

实验台架物理主题确定性内核证据判据(记录动作后生效)
康普顿散射台架(第 13 关)光子反冲与波长红移散射角映射波长位移与能量比值角度落入证据区间且反冲位移达标
放射性时钟台架(第 25 关)群体衰变概率语义观测窗口映射存活与衰变概率两条相差不小于 0.5 秒的冻结记录
经典势垒台架(第 33 关)经典全反射与量子渗漏对照经典透射恒为零、量子透射大于零两次改变剖面且均检出隐逝穿透
波包碰撞台架(第 72 关)反射与透射概率守恒势垒高度映射透射概率,反射取补两只不同势垒高度且守恒断言通过

(一)康普顿散射台架:把 1923 年的判决写成公式

康普顿散射台架瞄准的是光的粒子性判决实验。1923 年,康普顿发现 X 射线经物质散射后波长变长,且位移量随散射角单调增长,这一现象只能用光子携带动量、与电子碰撞发生反冲来解释。台架把这条历史判决压缩成一个三行公式就能算完的确定性内核:

Δλ=λc(1−cos⁡θ),λc=hmec=2.4263102389 pm\Delta\lambda = \lambda_c \left(1 - \cos\theta\right), \quad \lambda_c = \frac{h}{m_e c} = 2.4263102389\ \mathrm{pm}

其中电子康普顿波长采用国际科技数据委员会(CODATA)推荐的测量值。台架默认入射波长为 70 皮米,对应约 1.77 万电子伏特的 X 射线光子;学习者调整散射角后,内核同时给出散射波长、入射与散射光子能量以及能量比值。在 90 度散射角上,波长位移恰为一个电子康普顿波长,约 2.43 皮米——这正是关卡目标“在 90 度散射角上打出康普顿位移”所指的物理事实。

(二)放射性时钟台架:群体概率优先于个体宿命

放射性时钟台架处理的是量子随机性最著名的应用场景:放射性衰变。台架的实现刻意回避了一类常见错误叙事——“预测这颗原子何时衰变”。其记录对象自始至终是群体概率分布:给定观测窗口,内核返回存活概率、衰变概率与探测证据强度三项读数。

Pdecay(w)=1−e−λw,λ=0.22 s−1,w∈[0.5, 8.0] sP_{\mathrm{decay}}(w) = 1 - e^{-\lambda w}, \quad \lambda = 0.22\ \mathrm{s^{-1}}, \quad w \in \left[0.5,\ 8.0\right]\ \mathrm{s}

观测窗口 2.0 秒对应约 35.6% 的衰变概率,4.0 秒对应约 58.5%,6.0 秒对应约 73.3%。内核的注释里写着一条设计约束:这些读数描述的是“多次试验上的概率分布”,模型绝不声称能预测单个原子的确切衰变时刻。结构与语义上的双重保护(数值归一化断言加文案边界)让这条物理学底线在工程层无法被绕过。

(三)经典势垒台架:让“经典世界”输得明明白白

经典势垒台架是四类台架中对照思想最锋利的一座。滑块范围被刻意设计成粒子能量始终低于势垒:粒子能量取值区间为 1.0 至 4.5 电子伏特,而势垒高度区间为 6.0 至 10.0 电子伏特。经典力学在这种配置下的结论干脆利落——透射概率恒为零,粒子必然被弹回。而量子一侧,波函数以隐逝波的形式渗入势垒内部并保留穿透可能:

κ=0.8V−E,Ttail=e−κt,TQ=[1+V2sinh⁡2(κt)4E(V−E)]−1\kappa = 0.8\sqrt{V - E}, \quad T_{\mathrm{tail}} = e^{-\kappa t}, \quad T_Q = \left[1 + \frac{V^{2}\sinh^{2}(\kappa t)}{4E\left(V - E\right)}\right]^{-1}

其中 0.8 是教学标度系数,用于把势垒内外能量差的开方映射到适合屏幕演示的指数衰减量级;公式中的量子透射率保持“大于零”的定性事实,使“经典为零、量子非零”的并排对照在任何一组滑块取值下都成立。学习者调整能量、高度与厚度三组滑块后,读数会同步呈现经典预测(零)与量子预测(渗漏强度)的差距——对照的干净性本身就是设计目标。

(四)波包碰撞台架:概率守恒是第一等公民

波包碰撞台架把视角从“点粒子”换成“局域波包”。一个波包撞上势垒后一分为二:一部分被反射,一部分透射穿过。台架对势垒高度与透射概率之间采用单调递减的定性映射,并把透射概率约束在 8% 至 92% 的区间内,避免出现“全透”或“全反”的绝对化图景;反射概率由 1 减去透射概率直接导出,从而在结构上守住那条量子力学最基础的守恒关系:

R+T=1,∣(R+T)−1∣<10−6R + T = 1, \quad \left|\left(R + T\right) - 1\right| < 10^{-6}

模型把这条守恒显式写成断言式的校验谓词,作为记录被承认为证据的准入条件。换言之,在波包台架里,“记录”与“可信记录”之间隔着一道自动校验。


三、预测区与证据区的分离状态机

四类台架的物理内核各不相同,但它们共享同一套状态机骨架。这套骨架解决一个教学工程问题:如何让“滑动滑块”与“完成实验”在数据结构层面成为两件事。

(一)两类数据:可变的预测,不可变的记录

每个台架的状态结构体把数据分成两个区域。预测区的值由纯函数随时重算,随控制变量变动而变动,不进入历史;证据区是一个只增不改的观测记录序列,写入动作公开且显式,改写入口则不存在。记录动作返回本次写入的观测值并追加到序列尾部,历史记录一经写入即不可被任何后续操作修改或删除。

控制变量的每一次变动都会触发“预测过期”判定:模型比较最新记录中的控制配置与当前配置,只要两者出现超出数值容差(百万分之一量级)的差异,就认为当前预测已经过期。教学含义直白而重要——屏幕上滑到的新位置,不是一份新证据;它只是下一份证据的候选前提。

(二)双点对比证据门禁

台架的完成判定不接受单点数值,而要求两条“有意义差异”的记录构成对比对。三类台架的差异阈值体现了各自物理语义:

  • 放射性时钟台架要求两个观测窗口相差不小于 0.5 秒,且两条记录均具备群体证据,才允许开启密室;
  • 经典势垒台架要求两组剖面存在实质差异(势垒高度差不小于 0.5、或厚度差不小于 0.2、或粒子能量差不小于 0.5),且两条记录都检出隐逝穿透;
  • 波包碰撞台架要求两条记录的势垒高度差不小于 0.5,且均通过概率守恒断言。

(三)两阶段战役:历史保留与证据隔离

放射性时钟台架进一步引入两阶段战役结构。第一阶段完成一次对比对并开启密室后,战役进入第二阶段;第一阶段的记录被完整保留在历史里,但不再充当当前阶段的证据——当前阶段必须重新记录一对新的差异化观测,才能完成第二次开启动作。完成谓词因此收敛为四个条件的合取:战役处于第二阶段、当前阶段具备对比对、开启动作已经发生、且不存在待定的控制变更。

这一结构把“旧证据不能给新结论背书”的原则变成了硬约束。它同样解释了一个容易被忽略的工程细节:记录的“保留”与“生效”在这套模型里是两个维度,历史完整性服务审计,阶段隔离服务判定。

设计维度数值试凑式直给沙盒QubitLab 台架分离语义
预测值与判定混为一体,随滑动随时被覆盖独立暂存,控制变更即标记过期
记录无显式记录,界面数字被当作“结果”显式记录动作,追加语义,无改写入口
历史无历史,或可被静默改写永久保留,只增不改
通关判定依赖滑块位置命中某个阈值依赖两条差异记录构成的组合证据
学习结果学会“找答案”学会“做实验、留证据”

四、概率语义、守恒断言与统计直觉

(一)从概率分布到半衰期:统计规律的浮现

分离状态机之上,是台架想要传达的统计物理直觉。放射性时钟台架用概率分布说话:存活与衰变两项概率在实现中通过归一化断言维持自洽,任何一条记录都以“两项之和为一”为合法性前提。而第 85 关《半衰期抛硬币》把语义再推进一层:上万颗原子的独立随机衰变事件在统计平均下浮现出著名的半衰期指数律:

N(t)=N0(12)t/T1/2N(t) = N_0 \left(\frac{1}{2}\right)^{t / T_{1/2}}

单个原子的衰变时刻不可预测,群体的计数曲线却呈现出光滑的指数衰减;课程设计中还以碳十四定年作为迁移情境,让学习者体会“剩余比例即时间刻度”的统计读数方式。个体层面的纯粹偶然与群体层面的高度秩序在同一套界面上并存,这正是统计物理启蒙最值得反复咀嚼的一课。

(二)私密阈值:给因果反馈,不给答案刻度

一个反直觉但关键的设计决定是:康普顿台架的证据区间(射角 82 至 98 度)被刻意保持私有,不向学习者展示。学习者看到的是“角度—波长位移”的因果链条,以及过低、合适、过高三档分区反馈,而不是一个可以直接对齐的答案刻度;0.05 皮米的反冲位移门槛同理,只在判定逻辑内部生效。这种“结论让位于过程”的安排,使每一次通过都建立在对因果关系的理解之上,而不是对 UI 数字的试探。

(三)守恒断言:把幺正性变成会失败的测试

波包台架的概率守恒断言值得单独强调。概率守恒在量子力学里是幺正演化的直接推论,但在教学软件中,它最容易在重构、近似和补丁中被无声侵蚀。台架的处理方式是把守恒误差写成一条可以失败、也必须通过的数值断言:唯有守恒误差低于百万分之一,记录才被承认。物理定律因此获得了工程意义上的“防回归”能力——它与第五节的测试体系一起,构成学科正确性的双保险。


五、端侧离线工程:可测试、可复现、不出设备

(一)纯函数内核意味着可复现

四类台架的物理规则被实现为无状态、无副作用的纯函数:同一组控制参数,在任何设备、任何时刻都会得到同一份预测与同一份记录。确定性换来两件对教育产品极为重要的东西:其一,学习者之间的实验可以逐位比对,课堂上“同参数复现”成为默认能力;其二,物理正确性可以被测试直接钉住,而不必依赖人工目检动画效果。

(二)断言即物理:每座台架的测试档案

四类台架各自配有独立的单元测试档案:放射性时钟的记录归一化与两阶段推进条件、经典势垒的隐逝穿透判据与剖面差异阈值、康普顿的位移公式边界与证据分区、波包碰撞的守恒误差边界与“控制变更后证据失效”语义,全部以断言形式固化。这些测试把“物理上没有溜过去”变成每次构建都会重新执行的例行检查——对一座实验台架而言,这比任何宣传语都更能说明它的严肃程度。

(三)100% 离线:学习数据留在设备里

台架的全部计算、判定与记录都在本机完成,不触达任何云端接口;面向未成年用户的学情数据——观测记录、进度与星级——只保存在设备本地沙盒中。这与密旋科技一贯的端侧数据主权原则一致:数据留在产生它的设备上。对教育场景而言,这条原则还有一层现实意义——郊野营地、野外考察、无网教室等断开网络的场地,实验课照常进行,不留空白。


六、结语

科学教育的分水岭,不在于是否知道答案,而在于是否留下经得起复核的证据。QubitLab 的实验台架用数据类型把这条纪律固定下来:预测可以随时重算,证据只能逐条追加;通关不靠把滑块推到某个位置,而靠两条互相印证的记录;概率守恒不是墙上的标语,而是一条会失败的断言。密旋科技相信,“用物理认知前沿”不仅是把前沿概念搬上屏幕,更是把实验科学最朴素的规矩——先记录,再结论——写进能陪伴学习者长大的软件里。


参考文献

Share:
Back to Blog