从一条会失败的预测开始
可以问:“两个脉冲相隔足够远时,散射是否接近各自独立?”也可以问:“浴变宽后,指数衰减近似会不会更好?”把预测写成可比较的量,例如场中双光子分支权重、线性差图的总绝对差,或已声明的模式目标权重。
每份结果保存模型版本、初态、单位、参数、积分步长、采样间隔与结束时刻。确定性的薛定谔演化没有随机种子;若后来采样点击或加入噪声,才应保存采样算法与种子。把不存在的随机性写进记录,反而会让复算更难。
守恒通过以后,还要检查哪几个极限
总概率正确只能排除一部分错误。一个符号错了的厄米哈密顿量仍会守恒。把原子解耦后,链的传播应回到已知色散;只保留一个谐振器时,两激发交换可与解析的耦合矩阵直接比较。再检查单激发与二激发的归一化因子。
对于二能级原子与单个谐振器,子空间 与 之间的耦合为 。从前者出发,激发原子的概率应为 。这个极限由产生与湮灭算符对光子数态的作用推导,与链求解器的循环写法无关。
把时间步长减半时,比较相同物理时刻的观测。把链加长时,保持初态距原子的路程、脉冲宽度和物理参数不变。若同时拉宽脉冲,就无法知道结果改变来自边界还是新的初态。
对应阅读:Sandbox Physics FR11
用侧荧光建立独立的输出关联基准
有限链空间图之外,再选一个有解析答案的输出问题:连续弱驱动二能级原子的侧向荧光。探测端只接收原子辐射,不混进入射激光的直接相干场。一次光子探测把原子放回基态,接下来它必须再次被激发,才可能发出另一个光子。
主方程里的 是密度矩阵:对角元是基态与激发态的概率,非对角元保存二者的相干。 让原子下降, 交换两个态。方括号表示 ,花括号表示 。
取 ,共振驱动哈密顿量 ,激发概率衰减率 。主方程包含耗散项 。从基态出发求条件激发概率,再除以稳态激发概率,得到正常排序的归一化荧光关联。
弱驱动极限给 。零延迟为零,长延迟回到一。脚本另外保留有限驱动的闭式解,所以能把“数值误差”和“还没有真正走到弱驱动极限”分开。
对应阅读:Kimble · Sandbox Physics FR11
把弱驱动答案推出来
一次探测以后原子从基态开始。弱驱动时,激发振幅只有 的量级,基态振幅可先近似为一。激发振幅一边被驱动建立,一边以 衰减。解这条一阶方程,可以直接看见原子恢复发射能力的过程。
将解取模平方,得到条件激发概率。稳态激发概率在同一近似下为 ,二者相除后驱动强度消掉,留下延迟的形状。这一步使用弱驱动和无记忆衰减;较强驱动时,要回到包含基态耗尽与相干的完整方程。
给同一个关联再加时间误差
基准选 、。在延迟零到十八内,数值回归与有限驱动闭式解的最大差小于 ;与严格弱驱动极限的最大差约 。后一个数主要反映驱动仍有限,不能都算成积分误差。
将关联与归一化高斯延迟响应卷积。这里标准差 指两路探测器合起来的延迟误差,不是每只探测器各自的抖动。 与 分别把零延迟读数抬到约 与 。原来的光场没有改变,是测量分辨率把附近非零的关联混进了中心。
这些是声明模型的数值基准。它们没有拟合一九七七年实验的计数、背景或原子穿行,也没有把非 Markov 空间图转换成探测时间。它们验证的是独立主方程、解析极限与响应处理之间的联系。
对应阅读:Sandbox Physics FR11
怎样选择下一个研究问题
若关心收集态,可以让接收模式追踪返回脉冲的相位,比较固定接收器与可调接收器的目标权重。若关心双光子散射,可以研究带宽与到达间隔怎样共同改变相关输出,并保留相同的单光子参考。每次只增加一个明确的物理自由度。
长延迟、大浴和更多光子会迅速扩大态空间。接下来可以把时间段当作一串输出自由度,用矩阵乘积态表示受限的纠缠。小系统的解析极限与这里的原始记录仍然有用:它们是更大程序首先应当重现的结果。