玻尔百科用光而非电来制造计算机带来了一个根本性的悖论：当信息的载体——光子——天然地彼此忽略时，你如何创造逻辑门？这一挑战是线性光学量子计算（LOQC）的核心，它是一种引人入胜且充满希望的量子信息处理方法。传统计算机依赖于电子的强相互作用，而LOQC则必须运用量子力学中那些微妙且常常反直觉的规则来实现计算。本文将深入探讨为克服这一障碍而发展的精妙解决方案。在接下来的章节中，您将探索使LOQC成为可能的基本原理，然后发现其宏大的应用。
接下来的“原理与机制”部分将解析单个光子如何被编码为量子比特，以及量子干涉如何（而非直接相互作用）被用来构建概率性逻辑门。随后的“应用与跨学科联系”部分将概述该领域的两大追求：构建通用量子计算机和开发专用设备（如玻色子采样器），揭示其与统计力学等领域的惊人联系。
想象一下你想制造一台计算机。传统方法，也就是你现在使用的设备中正在运行的方法，是建立在电子流过硅的可靠物理学之上的。电子带电，所以它们之间有很强的相互作用。你可以制造开关（晶体管），让一股电子流控制另一股。这是一个逻辑优美的因果系统。
现在，想象一下尝试用光来制造计算机。你的基本粒子是光子。在这里你遇到了一个巨大的障碍：光子，在任何实际意义上，都彼此忽略。两束光可以径直穿过对方而毫不受影响。如果光子之间不相互作用，你怎么可能制造一个开关——所有计算的核心——让一个光子控制另一个？这就是线性光学量子计算（LOQC）的核心，一个看似无法逾越的悖论。事实证明，答案不是强迫光子相互作用，而是通过一种深奥的量子力学技巧，诱使它们揭示自己的秘密。
首先，我们需要编码信息。一个经典比特是0或1。一个量子比特，或称qubit，可以是0、1，或两者的叠加态。对光子来说，这出奇地容易。我们可以使用所谓的双轨编码。想象两条平行的光纤，路径A和路径B。如果我们有一个单光子，我们可以通过它的位置来定义其状态：
但什么是叠加态？什么是？它是光子同时存在于两条路径中。这并非我们不知道它在哪条路径里；而是光子本身处于一个不确定的状态，一种纯粹的潜能状态，分布在两条路径上。我们的量子比特就是这个孤独光子的状态。
一旦我们有了量子比特，我们就需要操控它。我们需要能够转换它的状态，例如，把变成，或者更微妙地，调整叠加态中的相位。这正是线性光学的闪光点。两个基本工具是分束器和相移器。
一个50:50的分束器就是一块半镀银的镜子。向它发射一个光子，它有50%的几率穿过，50%的几率反射。但在量子世界里，它两者都做。一个从路径A（我们的）进入的光子被置于一个等量的叠加态中，既继续在其路径上，又切换到另一条路径。
通过将两个分束器与相移器结合，我们可以构建一个Mach-Zehnder干涉仪（MZI）。可以把它想象成一个量子比特操控工厂。一个光子进入，被分成在两个内部臂上的叠加态，我们对其中一个臂施加一个相对相移，然后在第二个分束器处重新组合路径。通过小心地选择相移，我们可以精确地“驾驭”量子态。例如，一个的相移可以将输入转变为输出。我们只需转动一个控制光程差的旋钮，就能创造出任何我们想要的单量子比特旋转。
但即使是最好的工厂也有瑕疵。如果我们的相移器有缺陷，施加的相位是而不是完美的怎么办？我们的门就不再完全正确了。我们可以用一个叫做过程保真度的指标来量化这种“错误程度”，对于完美的门，它为1，对于有缺陷的门，则小于1。对于我们的MZI，一个小的相位误差会导致保真度为。这是一个优美而直观的结果。对于一个微小的误差，保真度非常接近1。损害并非灾难性的，但这提醒我们精密工程至关重要。
单量子比特门至关重要，但它们不足以实现通用量子计算。我们需要双量子比特门，比如CNOT门或CZ（受控-Z）门。我们需要我们的量子比特相互交谈。这就把我们带回了核心问题：我们如何让两个光子相互作用？
答案在于全同量子粒子所具有的一种奇特而美丽的性质。如果你拿两个真正不可区分的光子，让它们在同一时刻到达一个50:50的分束器，每个光子从一个输入端口进入，会发生一些非凡的事情。经典地看，你会期望它们以四种可能的组合中的任意一种离开。但从量子力学角度看，它们将总是一起离开，要么都在一个输出端口，要么都在另一个。它们“聚束”了。这就是著名的量子干涉现象，称为Hong-Ou-Mandel效应。
这种行为是光子作为玻色子的深刻结果。两种不可区分的结果（每个输出端口有一个光子）的概率幅完美地相互抵消了。对于更多的光子和更复杂的干涉仪，这种干涉由一个特殊的数学函数——干涉仪幺正矩阵的积和式——所支配。例如，如果你将三个相同的光子送入一个对称“三分束器”（tritter）的三个输入端，它们全部聚束并从第一个输出端口离开的概率是一个非零的。相反，对于另一种三分束器设计，它们全部从不同端口离开的概率可能非常低，例如。关键点在于，结果不是随机的；它受量子干涉的支配。
那如果光子不完全相同呢？如果其中一个的频率略有不同，或偏振不同，或晚到了纳秒的一小部分时间呢？干涉的“量子性”就会减弱。光子的行为开始更像经典的台球。聚束效应减弱，神奇的相消也随之消失。任何建立在此原理上的门的保真度都会直线下降，这直接将计算的能力与粒子量子身份的纯度联系在一起。
这种干涉是关键。它是我们的“有效相互作用”。考虑一个简单的CZ门，它应对状态（两个量子比特都为1）施加一个-1的相位翻转，而对不做任何操作。我们可以设计一个装置，让对应于我们控制和目标量子比特的态的光子在一个特殊的分束器上发生干涉。
通过精心设计分束器，我们可以安排它，使得双光子情况下的振幅是单光子情况下的负值。问题中的一个假设情景表明，为实现这种相位翻转，分束器需要具有恰好为的强度反射率。其美妙之处在于，器件的物理属性直接与门的逻辑操作相联系。
但有一个问题，而且是个大问题。这只有在光子从“正确”的输出端口（一个用于控制量子比特，一个用于目标量子比特）出去时才有效。它们有可能会聚束并从同一个端口出去，或者丢失，或者进入一个辅助探测器。在这些情况下，门就失败了。我们只有在最后测量光子时才知道它是否成功，这个过程称为后选择。其结果是一个概率性门。我们无法强迫它工作；我们只能尝试，然后检查我们是否幸运。这些早期方案的成功概率低得令人望而生畏。
乍一看，一台基于成功率仅为25%（比如）的门构建的计算机似乎毫无用处。但在这里，另一个聪明的想法前来救场。如果当一个门失败时，它并不破坏量子信息呢？这被称为良性失败。如果门被设计成“预报式”的——意味着一个小小的指示灯会闪烁“成功”或“失败”——我们就可以简单地构建一个循环。如果门的操作失败了，我们只需在相同的、未改变的量子比特上再试一次。这就是“重复直至成功”方案。
通过重复这个过程，我们可以放大最终成功的概率。对于一个基本成功概率为的门，两次尝试将总成功率提升到。只要有足够的尝试次数，我们就可以使门的成功几乎成为必然。代价是时间以及使用更多这些概率性组件。这就是LOQC的基本权衡：我们用创建大量光学元件和快速预报探测器这个仅仅是工程上的困难挑战，换取了看似不可能的光子-光子相互作用的要求。我们正在用概率构建确定性，一次掷一个量子的骰子。
既然我们已经探讨了如何诱导光子执行逻辑操作的基本原理，你可能会问：这一切有什么用？这似乎是一种相当复杂的制造计算机的方式，尤其是当它的操作只有一部分时间能成功时。这是一个合理的问题，其答案揭示了使该领域如此激动人心的宏伟愿景和深刻挑战。线性光学量子计算的应用分为两大追求：其一是建造一台真正通用的、全能的量子计算机的马拉松；另一是冲向能够处理特定、定制任务的专用设备，这些设备在这些任务上可以超越任何现有的超级计算机。
让我们首先追逐那个大奖：一台通用量子计算机。策略不是用硅来构建处理器，而是用光本身来编织一块计算之布。
这块布的第一根线是纠缠。你如何创造它？毕竟，光子在真空中是出了名的不相互作用。魔法，一如量子力学中常有的情况，来自干涉。想象两个不可区分的光子同时到达一个简单的50:50分束器，每个光子从一个输入端口进入。经典地看，你会期望它们随机地从两个输出端口中的任意一个出去。但它们的量子本性导致了一个惊人的效应：它们总是一起出去，要么都在一个输出端口，要么都在另一个。这就是著名的Hong-Ou-Mandel效应。通过对这个设置稍作改变——例如，使用不同偏振的光子——我们可以利用这种干涉来创造一个预报式的、纠缠的贝尔态。当我们看到一个特定的结果——每个输出端口有一个光子——我们就知道，即使从未观察它们的偏振，它们也已经变得纠缠了。通过这个“技巧”，我们可以从简单的干涉中纺出量子计算的基本资源。
有了纠缠的量子比特，下一步就是让它们执行逻辑。我们需要门。然而，在线性光学的世界里，事情并非那么直接。一个双量子比特CNOT门，量子电路的主力，并不是一个单一、坚实的物体。它是一个精巧的结构，本身由分束器和相移器构成，其成功是概率性的。要构建哪怕是稍微复杂一点的门，我们必须将这些概率性组件串联起来。例如，一个简单交换两个量子比特状态的SWAP门，可以由三个CNOT门构成。如果每个CNOT门都有自己的成功概率，那么整个三门序列成功的机会就是这些单个概率的乘积，这个数值可能会变得小得令人失望 [@problem__id:686995]。
这引出了量子计算中一个至关重要的工程学科：资源核算。构建一个强大的、对经典计算具有通用性的三量子比特Toffoli门，变成了一项量子架构的练习。一个流行的方案将Toffoli门分解为几个更简单的门，如CNOT门和受控-V门（其中是“非门”的平方根）。而这些门中的每一个，又有一个以构建它所需的概率性、后选择的纠缠操作次数来衡量的基本“成本”。通用计算机的梦想取决于我们设计这些门方案的聪明才智，使其尽可能高效。在最基础的层面上，我们甚至可以写下精确的数学变换——幺正矩阵——即特定的分束器和相移器排列必须对光子模式执行的操作，以实现例如三量子比特的相互作用。抽象的逻辑门变成了光学干涉仪的具体蓝图。
所以，我们可以制造纠缠，也可以组装门。但有一个巨大的障碍：规模。如果创建一个单一纠缠链接的概率是，那么成功创建一个包含个此类链接的链的概率是。随着我们的计算机变大，这个数字以惊人的速度骤降至零。如果再加上始终存在的丢失光子的风险，成功实现一条即使是中等长度的完整量子连线的概率也变得天文数字般地低。这种指数级的脆弱性是否注定了我们追求大规模光子计算机的努力会失败？
在这里，该领域采取了一个巧妙的转向，采纳了一个新的范式：基于测量的量子计算（MBQC）。其思想是转移困难。我们不是先构建一个电路然后将量子比特送入其中，而是首先尝试生成一个单一的、巨大的、高度纠缠的资源，称为“簇态”。然后，计算仅仅通过对该状态内的单个量子比特进行一系列测量来执行。簇态中的纠缠是如此丰富，以至于对一个量子比特的测量可以影响后续对其他量子比特测量的结果，从而有效地执行一个量子算法。
为了构建这个巨大的簇态，我们可以使用“融合门”，它试图将较小的纠缠态缝合在一起，就像将小金属框架焊接成一个巨大的格子。当然，这些融合门也是概率性的。所以，我们尝试在一个巨大的网格上所有相邻的量子比特之间创建纠缠键，明知许多尝试会失败，留下一个随机的成功链接模式。
正是在这里，与物理学另一个领域的美妙而深刻的联系出现了。这个随机“布线”的网格是否连接得足够紧密以支持大规模计算的问题，惊人地，是统计力学中的一个*渗流理论*问题。想象一下将水倒在一块多孔的石头上。水能否找到一条从顶部到底部的路径？答案取决于孔隙的密度。同样，我们的簇态只有在形成纠缠键的概率高于一个称为渗流阈值的临界值时，才能支持通用计算。低于这个阈值，你会得到孤立的、无用的纠缠岛屿。高于它，你会得到一个单一的、巨大的、连接整个处理器的“大陆”，一个量子算法可以在其上运行。量子工程师的任务是设计成功概率超过这个基本阈值的纠缠协议，这个阈值并非仅由量子力学决定，而是由计算机架构的几何形状决定。构建量子计算机的挑战，在某种程度上，变成了一个引发相变的问题！
通往通用、容错量子计算机的道路是漫长的。但在此期间我们能做些有用的事情吗？答案是肯定的，而且它在于拥抱线性光学最擅长的事情：创造复杂的多光子干涉。
这引导我们走向另一种应用：玻色子采样。这个任务在概念上很简单：将若干个相同的光子注入一个大型、复杂的干涉仪，然后问：“在每个输出端口找到特定数量光子的概率是多少？”虽然这个实验描述起来很直接，但对于经典计算机来说，计算答案却是一场噩梦。任何给定结果的概率都与描述干涉仪的矩阵的积和式有关——这是一个以难以经典计算而著称的数学函数。然而，一个线性光学装置并不计算积和式；它本身就是答案。通过运行实验并从输出分布中采样，它为被认为即使是最大的超级计算机也难以解决的问题提供了解决方案。
这不是一台通用计算机；你不能用它来浏览互联网或分解大数。它是一台专用的模拟机器，旨在执行一项特定任务，并在此过程中展示“量子优势”。研究人员正在积极推动这一思想的前沿，采用诸如高斯玻色子采样之类的方案，该方案使用一种不同的量子光源（压缩态），这种光源在实验室中可能更容易产生，并可能在模拟分子振动以用于药物发现和材料科学方面有直接应用。
在所有这些应用中，从通用计算机到玻色子采样器，我们都在处理那些具有概率性且对误差极其敏感的精巧量子系统。由温度波动或微观瑕疵引起的、在某条光路上的一个微小、无意的相移，就可能改变干涉仪的行为并改变最终的光子分布。我们如何能信任结果呢？
这个问题开启了量子验证与确认这一至关重要领域的大门。我们可以使用诸如总变差距离之类的数学工具来精确量化一个真实的、有噪声的机器的输出与理想理论预测之间的偏差。这使我们能够对我们的设备进行基准测试，诊断错误，并建立信心，确保我们观察到的“量子优势”是真实的，而不是噪声的产物。
因此，将线性光学应用于量子计算的旅程是一幅丰富的织锦。它将量子干涉最深的精妙之处、资源工程的硬核实用主义、计算复杂性理论的抽象力量以及统计力学的深刻见解编织在一起。这是一场探索，旨在建造那些并非依靠逻辑确定性，而是依靠光本身受控而美丽的概率来进行计算的机器。