图 1 先确认检测的是哪束光
弱相干激光驱动含机械自由度的腔。出射光被分到两个光子计数器,比较同时到达事件与平均通量。这里要测的是同一输出场的二阶关联;反射端若还混着相干入射光,就必须把那部分干涉一起算。
课程用 表示相对裸腔的失谐,用 表示能量线宽。论文公式 3 的 是振幅衰减率,因此 。论文还把相对位移后的失谐写成 ;读横轴前先看用的是哪一个。
原文位置:Rabl
图 2 把弹簧平衡点按光子数移开
令腔光子数 。先关驱动并固定 ,机械平衡点随完整单模相互作用移动。把机械 Hamiltonian 配成平方,定义 。每个光子扇区都有一列间隔为 的机械能级,整列下移 。
若机械数不变,从真空加第一个光子的能量差为 。共振位于 。此处再加第二个光子的能量差为 ,已偏离同一激光。图中的声子边带还允许改变机械量子数,因而单看一个能级差不足以预言完整关联曲线。
原文位置:Aspelmeyer
图 3 的每个峰先回答单光子能否进入
横轴是裸失谐,纵轴是归一化腔激发谱 。零声子线在 ,其余线相隔机械频率。零温、高品质因子、弱驱动极限下,基态与位移后机械态的重叠给出泊松型权重。下式可单独复算。
原文图 3 使用有限品质因子,机械退相干也会展宽峰。课程所用的无限品质因子极限应单独标记;它可以解释峰的位置和权重,却不逐点等于那张有限展宽的图。激发谱只需要领先的一光子振幅,尚未检验两个光子是否互相排斥。
图 4 才把第二个光子算进去
等时二阶关联 比较成对光子与平均光子数平方。分子用 ,因为同一个光子不能与自己组成一对。相干参考为一;小于一是反聚束。这里的参照特指相干场,不能把它推广成一切高斯场都必须大于一。
数值上,弱驱动时分别解零、一、二光子扇区的稳态响应,每个扇区还保留一列机械 Fock 态。二光子概率是驱动四次方,一光子概率的平方也如此;先求各自领先项再取比值,就能在很弱驱动时避免直接积分极小事件。
增加机械截断,直到激发谱与关联都稳定。光子扇区截到二,仅适用于驱动趋零的领先关联;它不是任意光强的完整主方程。机械在光学响应期间近似无阻尼,初态取零温平衡;把弱驱动极限与高品质因子极限的次序记清楚。
完整例题把一个参数点算到可以核查
取图 4a 的 ,论文振幅线宽 ,课程能量线宽便是 。由平方得到 ;选零声子共振 ,并取零温、高品质因子和弱驱动极限。
直接 Fock 响应给出 和 。用独立构造的原文公式 11 系数和式计算同一高品质因子曲线,再将机械截断从四十增加到六十。两种计算对选定扫描的一致性与截断差写入数值基准;它们是计算验证,不是实验误差条。
原文公式 13 只保留零声子线附近少数通道,可以解释第一个反聚束谷。把它用于整条失谐扫描,尤其遇到其他声子共振时,应当预期出现偏差。完整求和与近似曲线要分开画。
把完整耦合与线性化近似放在一起
灰色无耦合腔只回答去掉光力作用后会怎样。要检验线性化,仍需保留非零的单光子耦合:先求辐射压力改变后的平均场,再围绕它求光学与机械四个正交分量的协方差。离线基准保存这份计算,另列了机械热浴与稳定分支。
把光场写成 ,并选择相位让 为正实数。定义涨落光子数 与成对振幅 。高斯态的四阶矩可以拆成二阶矩的配对相加,便得到下式。压缩改变成对振幅的大小与相位,高斯场也可能反聚束。
先取适合展开的明亮工作点:、、、、,热浴平均声子数为一。求得 ,关联为 。保持增强耦合不变,同时增加背景、减小单光子耦合,省略项会逐渐减弱。
再试单光子阻塞点:、裸失谐 ,零温驱动幅度 。保留 的形式高斯计算给出 ,而弱驱动、无限品质因子的 Fock 极限给出 。两列热浴极限分别标明;前一列在这里超出了可靠的线性化范围。协方差虽然稳定且满足不确定关系,涨落相对背景已太大,舍去的作用不能凭稳定性忽略。
原文位置:Aspelmeyer · Lemonde
下一篇论文也可以这样读
先抄下版本、驱动极限、热浴和损耗定义;再确认图的横轴是哪种失谐、纵轴如何归一化。随后为零耦合找一个独立解析检查,并改变光子、声子截断或时间步。最后才把计算曲线与选定图比较。
本切片交付的是弱驱动、零温、高品质因子模型与选定理论参考的复算。有限温度、有限品质因子、强驱动稳态和非高斯机械态制备,都需要相应的新求解与观测验证。看到光子的反聚束后,可以继续追问机械态,但答案必须来自机械的观测。