2. 量子光学核心概念与实验映射
量子光学实验系统的选型，本质上不是“买最贵的激光器”或“配最多的探测器”，而是把实验所需的量子态特性，翻译成一组可测量、可验收的器件指标。光子统计、相干性、纠缠、压缩这四个核心概念，分别对应不同的物理量、不同的器件能力和不同的测量方法。理解这条“概念—器件—指标—测量”的映射链，是后续所有选型决策的基础。
一、光子统计：从光源性质到二阶关联函数
光子统计描述的是光场中光子到达时间的分布规律。单光子源、相干态激光、热光在这方面的行为截然不同：理想单光子源每次只出一个光子，表现为反聚束；相干态的光子数服从泊松分布；热光则表现为光子聚束。实验上，这一性质通过 Hanbury Brown–Twiss（HBT）装置测量二阶关联函数 g²(τ) 来表征。
具体做法是将光分成两路送入两个单光子探测器，用时间相关单光子计数卡（TCSPC）记录两路符合事件的时间差直方图。对于脉冲式单光子源，g²(0) 是核心验收指标：g²(0) < 0.5 是“单光子性”的常用判据，g²(0) 越接近 0 越好。选型时，探测器的时间抖动（jitter）和死时间会直接影响 g²(0) 的测量精度——若探测器 jitter 为 300 ps，而光源脉冲宽度仅 100 ps，符合峰会被展宽，导致 g²(0) 被高估。因此，单光子源实验通常要求探测器 jitter 在几十到一百皮秒量级，TCSPC 的时间分辨率优于 50 ps。
二、相干性：一阶与二阶的双重含义
相干性分两个层次。一阶相干度 g¹(τ) 描述光场相位的稳定性，对应激光器的线宽和频率噪声；二阶相干度 g²(τ) 描述强度关联，对应光子统计。二者不能混为一谈：一台窄线宽激光器（g¹ 好）在衰减到单光子水平后，g²(0) 仍等于 1，它并不是单光子源。
一阶相干性在实验上通过马赫-曾德尔干涉仪或迈克尔逊干涉仪测量条纹可见度，也可用延迟自外差法测线宽。选型时，若实验涉及干涉、相位编码或长基线，激光器的线宽指标至关重要：例如原子相干操控实验常要求线宽低于 100 kHz，而一般量子成像实验可能 1 MHz 已足够。此外，激光器的频率漂移（长期漂移）会影响干涉条纹的长时间稳定性，需要配合波长计或参考腔进行锁定。
三、纠缠与压缩：非经典性的两类标志
纠缠描述的是两个或多个子系统之间无法用局域隐变量解释的关联。在光子平台上，最典型的是自发参量下转换（SPDC）产生的偏振纠缠光子对。其核心验收指标是贝尔不等式违背量 S：在理想情况下 S = 2√2 ≈ 2.828，实验上 S > 2 即证明纠缠存在。测量方法是极化分析加符合计数，需要高消光比的偏振器件和低暗计数的探测器。若探测器暗计数高，偶然符合会增加，S 值会被压低。
压缩则描述某一正交分量的噪声低于散粒噪声极限。压缩态的核心指标是压缩度（以 dB 表示）和反压缩度。测量方法是平衡零拍探测：将待测光与本振光在 50:50 分束器上干涉，两路探测器相减，扫描本振相位，观察噪声随相位的变化。这里的关键器件是低噪声、高共模抑制比的光电探测器——共模抑制比不足会直接吃掉压缩度。典型实验中，探测器共模抑制比需优于 30 dB，本振光功率稳定性也需控制在千分之一量级。
四、概念之间的边界与常见误判
初学者最容易混淆的是“相干”与“单光子”。一台高相干激光器衰减后，g²(0) = 1，它既不是反聚束也不是聚束，而是泊松统计。反过来，一个 g²(0) 很低的单光子源，其 g¹ 相干性可能很差。因此，在选型时不能只看一个指标，必须明确实验到底需要哪一种量子特性。
另一个常见误判是把“压缩”与“纠缠”混为一谈。两模压缩确实可以产生纠缠，但单模压缩本身不构成纠缠。若实验目标是制备纠缠态，仅凭压缩度指标不足以验收，还需要测量纠缠判据（如部分转置判据或贝尔不等式）。
五、从指标到选型的实操思路
假设要搭建一套基于 SPDC 的纠缠源实验，教学示例参数如下：泵浦光波长 405 nm，SPDC 晶体为 BBO，收集波长 810 nm，符合计数率目标约 10⁴ /s。按映射链倒推：要测贝尔不等式，需要 S > 2，则偏振消光比应优于 1000:1，探测器暗计数应低于 100 /s，符合窗口约 1 ns。若暗计数为 500 /s，偶然符合率会显著上升，S 值可能从 2.6 降到 2.1 附近，逼近判据边界。此时应优先升级探测器而非激光器。
再如平衡零拍探测，若目标压缩度为 3 dB，则探测器共模抑制比至少需 30 dB 以上，本振光功率波动应小于 0.1%。若共模抑制比只有 20 dB，压缩度可能被限制在 1 dB 以内，此时再提高光源压缩能力也无济于事。这说明选型的关键不是堆砌单项最优器件，而是让整条测量链的瓶颈指标与实验目标匹配。
把四个概念放在同一张映射表里看，会发现它们共享一条底层逻辑：量子态的非经典性越强，对探测链的噪声、时间分辨和稳定性要求就越高。光子统计考验时间分辨，相干性考验频率稳定，纠缠考验消光比与暗计数，压缩考验共模抑制与功率稳定。理解这条逻辑，后续面对具体器件参数表时，就能快速判断哪些指标是“必须满足”，哪些是“有余量即可”。