1. 项目概述当量子计算遇见图像对称性在量子机器学习这个前沿交叉领域我们常常面临一个核心矛盾一方面我们希望模型足够“聪明”能够拟合复杂的数据模式另一方面过于“聪明”的模型又容易陷入过拟合的泥潭学了一堆噪声对新数据的预测能力却很差。这就像给一个学生做练习题如果他只是死记硬背了所有题目的答案而没有理解背后的原理那么一旦题目稍有变化他就束手无策了。量子神经网络特别是变分量子电路就经常遇到这种困境。它们结构灵活潜力巨大但训练起来就像在崎岖不平的高原上寻找最低点很容易卡在糟糕的局部最优解里或者需要海量的数据才能学到有用的东西。这就是所谓的“贫瘠高原”和泛化能力不足的问题。那么有没有一种方法能像给这个学生一本“解题思路手册”一样为量子模型注入一些先验知识引导它更高效地学习呢答案是肯定的。这就是几何量子机器学习的核心思想。它的灵感来源于经典的几何深度学习其精髓在于如果数据本身具有某种对称性那么我们的模型也应该尊重这种对称性。想象一下你要训练一个模型来识别一张正方形图案。无论这张图是正着放、旋转90度还是沿着中轴线翻转它本质上还是那个正方形。一个理想的模型应该对这些对称变换“视而不见”即模型的输出不因输入图像的这些变换而改变。这种性质在数学上称为等变性或不变性。本文要探讨的正是如何将这种思想应用到量子卷积神经网络中来处理具有平面p4m对称性包含90度旋转和沿坐标轴的反射的图像。我们称之为等变量子卷积神经网络。这不仅仅是理论上的炫技它有着非常实际的意义从物理学中的伊辛模型相变检测到遥感、医学图像分析许多现实世界的数据都天然蕴含着丰富的对称性。利用好这些对称性我们就能用更少的数据、更短的训练时间得到更鲁棒、泛化能力更强的模型。接下来我将带你深入这个融合了群论、量子计算和机器学习的奇妙世界看看我们是如何一步步构建这个“懂规矩”的量子大脑的。2. 核心原理对称性、群论与量子等变性要理解等变量子神经网络我们得先打好几个基础什么是数据的对称性如何用数学语言群论精确描述它最后如何在量子电路中实现这种对称性约束2.1 从直觉到数学群与对称性对称性是我们日常生活中随处可见的概念。一个完美的正方形旋转90度、180度、270度后看起来和原来一样沿着它的垂直或水平中线翻转图形也保持不变。这些操作的集合加上“什么都不做”这个恒等操作就构成了一个群。在数学上一个群G由一组元素对称操作和一个二元运算通常是操作的复合组成满足四个条件封闭性、结合律、存在单位元、每个元素都存在逆元。对于我们关注的平面图像最常见的对称群之一是p4m群也称为平面正方形对称群。它包含了以下8种操作恒等操作 (e): 什么都不做。旋转操作 (r, r², r³): 分别绕中心点旋转90度、180度、270度。反射操作 (tx, ty): 分别沿x轴垂直轴和y轴水平轴进行镜像翻转。对角线反射操作: 沿两条对角线进行镜像翻转。在本文的工作中我们主要关注其中的六个核心操作恒等、90度旋转r、以及沿x轴和y轴的反射tx, ty。为什么是这几个因为它们是构成更复杂对称性的基础“生成元”理解了它们就能理解整个群的许多性质。2.2 量子世界中的等变性从数据到希尔伯特空间现在我们要把经典的对称性“翻译”到量子系统中。假设我们有一个经典数据点x比如一张图片和一个对称群G。如果对x施加一个群操作g比如旋转90度得到g[x]那么一个理想的、尊重该对称性的机器学习流程应该满足无论输入是x还是g[x]模型最终的预测结果应该相同。这就是G-不变性。在量子机器学习框架下这个过程分为三步数据嵌入: 将经典数据x通过一个特征映射ψ编码成一个量子态 |ψ(x)⟩存在于某个希尔伯特空间H中。量子神经网络处理: 用一个参数化的量子电路U(θ)对这个量子态进行变换。测量与预测: 对最终量子态进行测量通常计算某个可观测量O的期望值得到预测结果y_θ(x)。为了实现G-不变性我们需要对这三个步骤都施加约束。核心在于等变性这个概念。我们说数据嵌入是G-等变的如果对数据施加对称操作g等价于在量子态上作用一个对应的酉算子V_s[g] |ψ(g[x])⟩ V_s[g] |ψ(x)⟩ 这里V_s[g]就是群操作g在量子希尔伯特空间中的表示。提示酉算子是一种保持向量长度和内积不变的线性算子在量子力学中代表可逆的演化过程是量子计算的基础。同样我们说量子神经网络U(θ)是G-等变的如果它与所有对称操作对应的酉算子都对易 [U(θ), V_s[g]] 0, ∀g ∈ G, ∀θ ∈ R “对易”是量子力学中的术语简单理解就是操作的顺序可以交换不会影响最终结果。如果U(θ)和V_s[g]对易那么先对量子态做对称变换再通过神经网络与先通过神经网络再做对称变换效果是一样的。最后我们要求测量算子O是G-不变的即[O, V_s[g]] 0。当嵌入、网络和测量都满足上述条件时整个模型的预测自然就是G-不变的y_θ(g[x]) y_θ(x)。这就好比无论你从哪个对称的角度去看待输入数据模型都会给出同一个答案。2.3 构建等变量子门扭转法理论很美好但如何实际构造出满足等变条件的量子电路U(θ)呢一个核心的实用工具是扭转法。假设我们手头有一些基本的量子门生成元比如泡利X, Y, Z门及其张量积。它们本身可能并不与对称操作对易。扭转法提供了一种系统性的“对称化”方法对于一个任意的算子X我们定义其关于群G的扭转算子T_G[X]为 T_G[X] (1/|G|) Σ_{g∈G} V_s[g]† X V_s[g] 这个公式的意思是将算子X与所有可能的对称操作V_s[g]进行“共轭”操作先作用g再作用X最后撤销g然后对所有g的结果取平均。可以证明这样得到的T_G[X]一定与所有V_s[g]对易从而成为一个等变算子。为什么这很有效扭转法就像是一个“对称性过滤器”。它把任何可能破坏对称性的成分都平均掉了只保留下与对称性兼容的部分。这对于对称群规模不大的情况如我们讨论的p4m群非常实用因为它提供了一种从现有门集中自动生成等变门集的机械方法。3. 架构设计面向图像的等变量子卷积神经网络有了理论武器我们就可以着手设计针对图像p4m对称性的等变量子卷积神经网络了。整个架构的设计围绕一个核心如何将二维图像的坐标信息及其对称性优雅地编码到量子比特中并设计出与之兼容的卷积和池化操作。3.1 坐标感知振幅嵌入为对称性量身定制的编码方案传统的振幅编码将图像展平为一维向量每个像素对应一个计算基态。这种方法虽然通用但在处理二维对称性如旋转、反射时非常笨拙因为图像的空间结构信息在展平过程中被打乱了。为此我们提出了一种坐标感知振幅嵌入方法。它的核心思想非常直观用两组量子比特分别明确表示像素的x坐标和y坐标。对于一个大小为N×NN2^n的图像我们用2n个量子比特来编码。前n个量子比特记为q1:n用于编码像素的行索引i后n个量子比特记为qn1:2n用于编码像素的列索引j。图像数据x {x_ij}被编码为量子态 |ψ(x)⟩ Σ_{i0}^{N-1} Σ_{j0}^{N-1} x_ij |i⟩|j⟩ 这里|i⟩和|j⟩分别是表示行和列坐标的计算基态。这种编码方式的妙处何在对称操作变得极其简单在这种表示下图像的对称操作对应着量子比特上非常自然的酉操作。沿x轴反射 (tx)这相当于交换图像的左右部分。在坐标表示中就是翻转所有表示y坐标的量子比特。这正好对应着在qn1:2n这n个量子比特上作用泡利X门。我们记这个操作为 V_x I⊗n ⊗ X⊗n X_{n1:2n}实际上原文中V_x定义在x坐标上需根据反射轴理解此处以沿垂直轴反射改变x坐标为例说明原理。沿y轴反射 (ty)同理翻转所有表示x坐标的量子比特即 V_y X⊗n ⊗ I⊗n X_{1:n}。90度旋转 (r)这相当于交换x和y坐标并对其中一个取反取决于旋转方向。在量子电路中这可以通过先作用一个交换x和y坐标的SWAP门网络再结合一个反射操作来实现。具体地V_r V_x · V_r其中V_r是作用在对应位点上的SWAP门序列。等变条件清晰明了我们的目标是构建量子电路U(θ)使得它与V_x, V_y, V_r都对易。在CAA嵌入下这个条件转化为了对量子门作用模式的约束为后续设计等变卷积层奠定了基础。3.2 等变卷积滤波器的构造量子卷积神经网络通常由交替的卷积层和池化层构成。卷积层使用局部的量子门滤波核扫描输入态提取局部特征池化层则通过丢弃或合并量子比特来降低维度。我们的核心任务是设计出与p4m对称操作对易的卷积滤波器。根据扭转法的思想我们从一组基础的生成元门集出发例如单比特的泡利X, Y, Z门以及两比特的Y⊗Y, Z⊗Z门然后施加等变约束。分析过程需要细致考虑量子门作用在哪些量子比特上门作用在同一坐标组内例如一个两比特门同时作用在两个代表x坐标的量子比特上即都在q1:n内。为了与反射操作V_x对x坐标比特作用X门对易该门必须与X⊗X对易。通过计算可以发现Y⊗Y和Z⊗Z满足这一条件。这构成了我们的基础等变生成元集Gs,1。门作用在不同坐标组间例如一个门同时作用在一个x坐标比特和一个y坐标比特上。此时情况更复杂因为反射操作V_x和V_y只分别作用于其中一部分比特。为了保持等变性我们需要更严格的约束。研究发现需要作用在两组比特上的泡利算子出现偶数次。因此最小的等变门是四比特的形式如 P_σ P_σ P_σ‘ P_σ‘其中P是泡利算子。这构成了另一个生成元集Gs,2。基于这些生成元我们可以通过指数映射如 exp(-iθ G)来构造参数化的量子门进而组装成等变的卷积滤波器。文中主要使用了两种U2滤波器基于Gs,1构建的两比特等变门主要用于在初步扫描阶段分别处理x坐标组和y坐标组内部的特征。U4滤波器基于Gs,2构建的四比特等变门能够同时耦合x和y坐标组捕捉它们之间的关联特征。3.3 两种网络架构严格等变与近似等变利用上述构建的U2和U4滤波器我们提出了两种具体的QCNN架构严格等变量子卷积神经网络在初步的层内扫描分别处理x和y组之后主要使用U4滤波器作为卷积层。U4滤波器天然地同时连接了x和y坐标组的量子比特因此构建出的整个网络严格满足与V_x, V_y, V_r的对易关系是完美的等变模型。近似等变量子卷积神经网络在初步扫描之后不使用U4而是继续使用U2滤波器但这次让U2作用在跨越x和y坐标组的量子比特上例如连接第n个和第n1个量子比特。由于U2本身不是为这种跨组连接设计的严格等变门这相当于在严格的等变约束中引入了一个微小的“噪声”或“破缺”。为什么要设计近似等变模型这涉及机器学习中一个永恒的权衡归纳偏置与模型表达能力。严格的等变性是一个强大的归纳偏置它极大地约束了模型的假设空间使其更专注于学习与对称性相关的特征这通常有利于泛化。然而过强的约束也可能限制模型的表达能力使其无法学习数据中那些轻微偏离完美对称性的、但可能重要的细微特征。近似等变模型试图在两者之间找到一个平衡点。通过引入可控的对称性破缺我们稍微放宽了约束赋予了模型更多的灵活性希望它能同时利用对称性的好处又能捕捉到那些非对称的细节从而在特定任务上达到最佳性能。3.4 近似不变测量在输出端引入灵活性对称性约束不仅体现在网络内部也体现在最终的测量上。一个理想的G-不变测量要求测量算子O与所有V_s[g]对易。我们提出了一种近似不变测量方案为输出层也增加了一点可调节的灵活性。具体操作如下在电路的最后我们选取未被池化掉的两个特定量子比特一个来自x组q_im一个来自y组q_{imn}。对它们分别作用一个参数化的Rz(φ)旋转门和一个哈达玛门然后分别测量这两个量子比特处于|0⟩态的概率得到两个概率分布[p0, p1]和[p‘0, p‘1]。最终的预测概率是这两个分布的和除以2。这个设计的巧妙之处在于对旋转V‘r的严格不变性因为我们对两个比特进行了完全相同的操作并求和所以如果输入图像发生了90度旋转对应两个比特交换角色求和结果保持不变。对反射V_x/V_y的近似不变性数学推导表明最终两个概率分布的差异与sin(2φ)成正比。因此通过将参数φ约束在0或π/2附近我们可以使测量近似满足反射不变性。同时φ本身也可以作为一个可训练的参数让模型自己决定在输出层需要多大程度的对称性约束。这种设计在网络的最终决策环节提供了又一个调节旋钮允许模型根据数据特性在严格遵循对称性和保留一定灵活性之间做出最优选择。4. 实验验证在对称图像分类任务上的表现理论是否有效最终要靠实验说话。我们选择了两个具有典型对称性的图像分类任务来验证EquivQCNN和Appr-EquivQCNN的性能并与一个参数规模相当的非等变QCNN进行对比。4.1 数据集与任务设置二维伊辛模型相变检测任务判断一个二维伊辛模型的自旋构型是处于有序相还是无序相。这是一个经典的物理问题在临界温度附近会发生相变。数据通过蒙特卡洛方法模拟生成16x16大小的自旋分布图像每个像素点代表一个自旋向上或向下。对称性由于采用了周期性边界条件该数据集天然具有p4m对称性。旋转或反射一个自旋构型其物理相有序/无序不会改变。扩展MNIST手写数字分类任务对MNIST数据集中的手写数字“4”和“5”进行二分类。数据将原始图像下采样至16x16像素并对其进行随机的90度旋转和反射人工构造出具有p4m对称性的数据集。4.2 训练配置与对比基准模型对比非等变QCNN使用标准的、对问题无知的卷积滤波器如能生成任意两比特SU(4)门的电路作为性能基准。严格等变QCNN使用第3节描述的严格等变架构。近似等变QCNN使用引入噪声的近似等变架构并搭配两种测量方案M1固定φ0和M2φ可训练。训练设置所有模型参数从[-0.1, 0.1]的均匀分布中随机初始化。使用Adam优化器学习率为0.01。为了测试泛化能力我们使用不同规模的训练集从少样本到多样本进行训练并保持测试集不变。4.3 结果分析与核心发现实验结果的对比非常鲜明充分展示了等变性带来的优势数据集训练样本数非等变QCNN严格等变QCNN近似等变QCNN (M2)伊辛模型4077.6%74.2%86.4%1024083.0%75.8%89.3%扩展MNIST4066.7%77.5%69.7%1024072.9%74.5%76.2%注表中为测试准确率近似等变QCNN (M2)表现最佳的情况已加粗核心发现一等变性显著提升小样本泛化能力这是最关键的结论。在训练样本极少如40个的情况下无论是严格等变还是近似等变模型在大多数情况下的测试准确率都显著高于非等变模型。例如在伊辛模型上近似等变模型仅用40个样本就达到了86.4%的准确率而非等变模型用了256倍多的样本10240个才达到83.0%。这完美印证了我们的初衷引入对称性作为归纳偏置极大地约束了假设空间使模型能够从极少的样本中捕捉到本质特征避免了过拟合从而获得了卓越的泛化性能。核心发现二严格等变与近似等变的选择取决于数据对称性的“纯度”一个有趣的现象是在两个数据集上最优模型不同对于伊辛模型天然、完美的对称性近似等变QCNN (M2)表现最好。对于扩展MNIST人工添加的对称性严格等变QCNN在少样本时表现更优。这背后的原因很可能在于数据的本质。伊辛模型的对称性是物理定律决定的是精确且完美的。近似等变模型引入的微小噪声可能帮助它更好地适应数值模拟中可能存在的极小偏差或者探索了对称性允许的、但严格等变模型忽略的细微特征空间。而MNIST数字虽然被做了对称变换但数字“4”和“5”本身并非完全对称的物体人工变换后数据集中可能包含一些不完美的对称实例。此时过于严格的等变约束近似模型中的噪声反而可能干扰模型学习数字本身的判别性特征因此严格等变模型表现更稳健。核心发现三可训练的测量参数提供了额外的优化维度在近似等变模型中采用可训练测量参数φ的方案M2 consistently优于固定φ0的方案M1。这表明让模型自己学习输出层所需的“对称性强度”是有益的。这进一步支持了我们的观点最优的模型往往存在于严格对称性和完全灵活性之间的某个“甜蜜点”上。实操心得在实际应用中选择严格等变还是近似等变模型没有绝对答案。建议首先评估目标数据对称性的“严格程度”。对于物理、晶体学等产生的、对称性由自然法则保证的数据可以尝试近似等变模型。对于对称性是通过数据增强手段获得、或数据本身仅“近似”对称的场景严格等变模型可能是更安全、更稳定的起点。同时在输出层引入类似φ这样的可调参数总是一个值得尝试的优化策略。5. 实现细节、挑战与调优指南将理论转化为可运行的代码并非易事。在这一部分我将分享一些在实现等变量子卷积神经网络过程中的关键细节、遇到的挑战以及实用的调优技巧。5.1 等变门的电路实现与参数化基于第3.2节的理论推导我们需要在量子电路框架中实现U2和U4滤波器。以常用的量子计算库为例import pennylane as qml import numpy as np def U2_filter(qubits, params): 两比特等变滤波器 (基于 YY, ZZ 生成元)。 qubits: 两个量子比特的索引列表如 [i, j]。 params: 可训练参数长度为2。 # 参数化YY相互作用 qml.IsingYY(params[0], wiresqubits) # 参数化ZZ相互作用 qml.IsingZZ(params[1], wiresqubits) def U4_filter(qubits, params): 四比特等变滤波器 (基于四比特等变生成元)。 qubits: 四个量子比特的索引列表顺序为 [x1, x2, y1, y2]。 params: 可训练参数长度根据具体分解而定。 # 示例一种可能的分解使用多个两比特门来构造四比特耦合 # 注意这里需要根据具体的四比特等变生成元进行指数映射和分解。 # 以下是一个简化的示意性结构实际实现需严格依据Gs,2中的生成元。 qml.IsingYY(params[0], wires[qubits[0], qubits[2]]) # 耦合 x1-y1 qml.IsingZZ(params[1], wires[qubits[1], qubits[3]]) # 耦合 x2-y2 qml.IsingYY(params[2], wires[qubits[0], qubits[1]]) # 耦合 x1-x2 qml.IsingZZ(params[3], wires[qubits[2], qubits[3]]) # 耦合 y1-y2 # 可能需要更复杂的交错结构来精确实现目标酉矩阵关键点U4滤波器的具体电路实现需要仔细设计。直接对四比特生成元进行指数映射会产生一个作用于4个比特上的单一门这在当前硬件上可能难以直接执行。通常需要将其分解为一系列原生支持的一比特和两比特门序列。这涉及到量子电路编译和优化的问题。5.2 池化策略与信息保留QCNN中的池化层通过丢弃或合并量子比特来降低维度。在等变架构中池化操作也需要谨慎设计以保持对称性信息的流动。一个常见的策略是对等位置进行池化。例如在池化阶段我们总是将x坐标组中的第i个量子比特与y坐标组中的第i个量子比特进行配对和操作例如测量其中一个并丢弃或者将两个比特的信息纠缠后压缩到一个比特上。这种操作方式与我们的坐标感知嵌入是相容的并且自然地保持了对于交换x和y坐标的旋转操作的等变性。注意事项过于激进的池化会迅速丢失信息。在图像尺寸较小如16x16时可能只需要1-2层池化。需要根据输入尺寸和任务复杂度来调整池化层的深度和频率。5.3 训练过程中的挑战与应对参数初始化等变网络的参数空间是受约束的子空间。如果初始化不当很容易导致梯度消失或初始损失平台。建议使用较小的随机初始化如从均匀分布U(-0.1, 0.1)中采样并避免使用某些在普通QNN中常用但在受限于空间可能无效的初始化方法。梯度估计与优化由于参数化量子电路的输出是期望值其梯度需要通过参数移位规则等方法进行估计。等变门的结构可能使得某些参数的梯度幅度较小。使用自适应优化器如Adam至关重要它能调整每个参数的学习步长。实验中使用的β10.5, β20.999是经过调优的比默认值(0.9, 0.999)在初期可能更具探索性。批处理与泛化正如实验所示等变模型的核心优势在于小样本学习。在训练时即使总数据量不大也应使用批处理。对于小训练集可以使用更小的批大小甚至等于训练集大小以充分利用每个样本更新梯度。这有助于模型快速收敛到泛化性能好的区域。5.4 对称性破缺噪声的引入技巧在构建近似等变模型时如何引入“噪声”是关键。文中通过在跨x-y组的连接上使用非严格的U2门来实现。在实践中可以更灵活地控制这种破缺强度可控的破缺除了直接使用非等变门外可以设计一个混合门例如U_mixed cos(α) * U_equivariant sin(α) * U_non_equivariant其中α是一个可训练或固定的“破缺强度”参数。当α0时退化为严格等变当α增大时破缺增强。渐进式破缺在训练初期使用较强的等变约束帮助模型快速抓住对称特征在训练后期逐渐引入或增大噪声让模型微调细节。这类似于课程学习的思想。调优指南不要盲目使用近似等变。首先用严格等变模型训练一个基准。如果验证集性能在训练后期停滞不前或者你确信数据中存在轻微的非对称判别特征再尝试引入微小的、可控的对称性破缺。监控训练和验证损失曲线观察破缺是帮助提升了性能还是仅仅导致了过拟合。6. 前景展望与扩展方向基于p4m对称性的等变量子卷积神经网络为我们打开了一扇新的大门证明了几何先验在量子机器学习中的巨大潜力。但这仅仅是一个开始未来有许多令人兴奋的方向值得探索。6.1 扩展到更复杂的对称群与数据类型p4m群是处理正方形网格图像的基础。现实世界的数据对称性远不止于此连续对称群例如旋转对称群SO(2)或完整欧几里得群E(2)。处理连续对称性需要不同的数学工具如李群和李代数表示论在量子电路中的实现。三维对称性对于体数据、分子结构或3D模型需要考虑三维空间中的点群或空间群如立方体对称群Oh。这将涉及更复杂的量子比特映射和等变门设计。图数据对称性许多数据如社交网络、分子图的对称性由置换群描述。图等变量子神经网络是一个新兴且活跃的领域旨在构建对节点排列不变的量子模型。6.2 与经典几何深度学习的协同经典的几何深度学习已经发展出非常成熟的体系如群等变卷积网络。一个自然的延伸是构建经典-量子混合架构量子特征提取器用量子等变网络作为前端从原始数据中提取具有丰富对称性信息的量子特征。经典分类器将处理后的量子态或经典影子输入一个经典的等变神经网络进行分类。这种混合模式可以结合量子计算在特定特征空间中的潜在优势与经典神经网络成熟的训练方法和大规模处理能力。6.3 理论深度的进一步挖掘除了应用在理论层面也有大量工作可做表达能力与泛化的理论保证我们需要更严格的理论来分析等变QCNN的表达能力上限。它能否逼近任意满足对称性的函数其泛化误差的边界在哪里与模型复杂度、训练数据量有何关系对抗噪声鲁棒性等变模型对于保持对称性的输入扰动是否天生更鲁棒这对于在噪声环境下部署量子机器学习模型至关重要。与量子纠错码的联系等变性的数学结构与量子纠错中的稳定子码有深刻联系。探索这种联系可能催生出具有内在容错能力的量子神经网络架构。6.4 迈向实际应用以地球观测为例本文提到的地球观测是一个极具前景的应用场景。卫星图像通常具有多尺度、多角度的特性。例如不同时间拍摄的同一农田区域可能因太阳角度、卫星轨道不同而发生旋转和反射变化。一个对p4m甚至更大对称群等变的量子模型可以天然地识别出这些图像属于同一地块从而在土地分类、变化检测等任务上用更少的标注数据达到更高的精度。下一步研究将聚焦于将算法扩展到更大的图像尺寸如64x64或128x128并处理真实的多光谱或高光谱遥感数据验证其在真实场景下的实用价值。最后一点个人体会从事量子机器学习研究尤其是这种交叉领域最大的乐趣在于不断在“物理直觉”、“数学严谨”和“工程实现”三者之间穿梭。设计等变量子网络时你需要群论的抽象思维来保证正确性需要量子电路的具象思维来实现它还需要机器学习的经验来调优和评估。当看到这些不同维度的思考最终汇聚成一个在实验中有效的模型时那种满足感是无与伦比的。这个领域方兴未艾每一个基本问题的解决都可能为未来更强大、更高效的量子智能系统铺平道路。
量子卷积神经网络：利用对称性提升小样本图像分类泛化能力
1. 项目概述当量子计算遇见图像对称性在量子机器学习这个前沿交叉领域我们常常面临一个核心矛盾一方面我们希望模型足够“聪明”能够拟合复杂的数据模式另一方面过于“聪明”的模型又容易陷入过拟合的泥潭学了一堆噪声对新数据的预测能力却很差。这就像给一个学生做练习题如果他只是死记硬背了所有题目的答案而没有理解背后的原理那么一旦题目稍有变化他就束手无策了。量子神经网络特别是变分量子电路就经常遇到这种困境。它们结构灵活潜力巨大但训练起来就像在崎岖不平的高原上寻找最低点很容易卡在糟糕的局部最优解里或者需要海量的数据才能学到有用的东西。这就是所谓的“贫瘠高原”和泛化能力不足的问题。那么有没有一种方法能像给这个学生一本“解题思路手册”一样为量子模型注入一些先验知识引导它更高效地学习呢答案是肯定的。这就是几何量子机器学习的核心思想。它的灵感来源于经典的几何深度学习其精髓在于如果数据本身具有某种对称性那么我们的模型也应该尊重这种对称性。想象一下你要训练一个模型来识别一张正方形图案。无论这张图是正着放、旋转90度还是沿着中轴线翻转它本质上还是那个正方形。一个理想的模型应该对这些对称变换“视而不见”即模型的输出不因输入图像的这些变换而改变。这种性质在数学上称为等变性或不变性。本文要探讨的正是如何将这种思想应用到量子卷积神经网络中来处理具有平面p4m对称性包含90度旋转和沿坐标轴的反射的图像。我们称之为等变量子卷积神经网络。这不仅仅是理论上的炫技它有着非常实际的意义从物理学中的伊辛模型相变检测到遥感、医学图像分析许多现实世界的数据都天然蕴含着丰富的对称性。利用好这些对称性我们就能用更少的数据、更短的训练时间得到更鲁棒、泛化能力更强的模型。接下来我将带你深入这个融合了群论、量子计算和机器学习的奇妙世界看看我们是如何一步步构建这个“懂规矩”的量子大脑的。2. 核心原理对称性、群论与量子等变性要理解等变量子神经网络我们得先打好几个基础什么是数据的对称性如何用数学语言群论精确描述它最后如何在量子电路中实现这种对称性约束2.1 从直觉到数学群与对称性对称性是我们日常生活中随处可见的概念。一个完美的正方形旋转90度、180度、270度后看起来和原来一样沿着它的垂直或水平中线翻转图形也保持不变。这些操作的集合加上“什么都不做”这个恒等操作就构成了一个群。在数学上一个群G由一组元素对称操作和一个二元运算通常是操作的复合组成满足四个条件封闭性、结合律、存在单位元、每个元素都存在逆元。对于我们关注的平面图像最常见的对称群之一是p4m群也称为平面正方形对称群。它包含了以下8种操作恒等操作 (e): 什么都不做。旋转操作 (r, r², r³): 分别绕中心点旋转90度、180度、270度。反射操作 (tx, ty): 分别沿x轴垂直轴和y轴水平轴进行镜像翻转。对角线反射操作: 沿两条对角线进行镜像翻转。在本文的工作中我们主要关注其中的六个核心操作恒等、90度旋转r、以及沿x轴和y轴的反射tx, ty。为什么是这几个因为它们是构成更复杂对称性的基础“生成元”理解了它们就能理解整个群的许多性质。2.2 量子世界中的等变性从数据到希尔伯特空间现在我们要把经典的对称性“翻译”到量子系统中。假设我们有一个经典数据点x比如一张图片和一个对称群G。如果对x施加一个群操作g比如旋转90度得到g[x]那么一个理想的、尊重该对称性的机器学习流程应该满足无论输入是x还是g[x]模型最终的预测结果应该相同。这就是G-不变性。在量子机器学习框架下这个过程分为三步数据嵌入: 将经典数据x通过一个特征映射ψ编码成一个量子态 |ψ(x)⟩存在于某个希尔伯特空间H中。量子神经网络处理: 用一个参数化的量子电路U(θ)对这个量子态进行变换。测量与预测: 对最终量子态进行测量通常计算某个可观测量O的期望值得到预测结果y_θ(x)。为了实现G-不变性我们需要对这三个步骤都施加约束。核心在于等变性这个概念。我们说数据嵌入是G-等变的如果对数据施加对称操作g等价于在量子态上作用一个对应的酉算子V_s[g] |ψ(g[x])⟩ V_s[g] |ψ(x)⟩ 这里V_s[g]就是群操作g在量子希尔伯特空间中的表示。提示酉算子是一种保持向量长度和内积不变的线性算子在量子力学中代表可逆的演化过程是量子计算的基础。同样我们说量子神经网络U(θ)是G-等变的如果它与所有对称操作对应的酉算子都对易 [U(θ), V_s[g]] 0, ∀g ∈ G, ∀θ ∈ R “对易”是量子力学中的术语简单理解就是操作的顺序可以交换不会影响最终结果。如果U(θ)和V_s[g]对易那么先对量子态做对称变换再通过神经网络与先通过神经网络再做对称变换效果是一样的。最后我们要求测量算子O是G-不变的即[O, V_s[g]] 0。当嵌入、网络和测量都满足上述条件时整个模型的预测自然就是G-不变的y_θ(g[x]) y_θ(x)。这就好比无论你从哪个对称的角度去看待输入数据模型都会给出同一个答案。2.3 构建等变量子门扭转法理论很美好但如何实际构造出满足等变条件的量子电路U(θ)呢一个核心的实用工具是扭转法。假设我们手头有一些基本的量子门生成元比如泡利X, Y, Z门及其张量积。它们本身可能并不与对称操作对易。扭转法提供了一种系统性的“对称化”方法对于一个任意的算子X我们定义其关于群G的扭转算子T_G[X]为 T_G[X] (1/|G|) Σ_{g∈G} V_s[g]† X V_s[g] 这个公式的意思是将算子X与所有可能的对称操作V_s[g]进行“共轭”操作先作用g再作用X最后撤销g然后对所有g的结果取平均。可以证明这样得到的T_G[X]一定与所有V_s[g]对易从而成为一个等变算子。为什么这很有效扭转法就像是一个“对称性过滤器”。它把任何可能破坏对称性的成分都平均掉了只保留下与对称性兼容的部分。这对于对称群规模不大的情况如我们讨论的p4m群非常实用因为它提供了一种从现有门集中自动生成等变门集的机械方法。3. 架构设计面向图像的等变量子卷积神经网络有了理论武器我们就可以着手设计针对图像p4m对称性的等变量子卷积神经网络了。整个架构的设计围绕一个核心如何将二维图像的坐标信息及其对称性优雅地编码到量子比特中并设计出与之兼容的卷积和池化操作。3.1 坐标感知振幅嵌入为对称性量身定制的编码方案传统的振幅编码将图像展平为一维向量每个像素对应一个计算基态。这种方法虽然通用但在处理二维对称性如旋转、反射时非常笨拙因为图像的空间结构信息在展平过程中被打乱了。为此我们提出了一种坐标感知振幅嵌入方法。它的核心思想非常直观用两组量子比特分别明确表示像素的x坐标和y坐标。对于一个大小为N×NN2^n的图像我们用2n个量子比特来编码。前n个量子比特记为q1:n用于编码像素的行索引i后n个量子比特记为qn1:2n用于编码像素的列索引j。图像数据x {x_ij}被编码为量子态 |ψ(x)⟩ Σ_{i0}^{N-1} Σ_{j0}^{N-1} x_ij |i⟩|j⟩ 这里|i⟩和|j⟩分别是表示行和列坐标的计算基态。这种编码方式的妙处何在对称操作变得极其简单在这种表示下图像的对称操作对应着量子比特上非常自然的酉操作。沿x轴反射 (tx)这相当于交换图像的左右部分。在坐标表示中就是翻转所有表示y坐标的量子比特。这正好对应着在qn1:2n这n个量子比特上作用泡利X门。我们记这个操作为 V_x I⊗n ⊗ X⊗n X_{n1:2n}实际上原文中V_x定义在x坐标上需根据反射轴理解此处以沿垂直轴反射改变x坐标为例说明原理。沿y轴反射 (ty)同理翻转所有表示x坐标的量子比特即 V_y X⊗n ⊗ I⊗n X_{1:n}。90度旋转 (r)这相当于交换x和y坐标并对其中一个取反取决于旋转方向。在量子电路中这可以通过先作用一个交换x和y坐标的SWAP门网络再结合一个反射操作来实现。具体地V_r V_x · V_r其中V_r是作用在对应位点上的SWAP门序列。等变条件清晰明了我们的目标是构建量子电路U(θ)使得它与V_x, V_y, V_r都对易。在CAA嵌入下这个条件转化为了对量子门作用模式的约束为后续设计等变卷积层奠定了基础。3.2 等变卷积滤波器的构造量子卷积神经网络通常由交替的卷积层和池化层构成。卷积层使用局部的量子门滤波核扫描输入态提取局部特征池化层则通过丢弃或合并量子比特来降低维度。我们的核心任务是设计出与p4m对称操作对易的卷积滤波器。根据扭转法的思想我们从一组基础的生成元门集出发例如单比特的泡利X, Y, Z门以及两比特的Y⊗Y, Z⊗Z门然后施加等变约束。分析过程需要细致考虑量子门作用在哪些量子比特上门作用在同一坐标组内例如一个两比特门同时作用在两个代表x坐标的量子比特上即都在q1:n内。为了与反射操作V_x对x坐标比特作用X门对易该门必须与X⊗X对易。通过计算可以发现Y⊗Y和Z⊗Z满足这一条件。这构成了我们的基础等变生成元集Gs,1。门作用在不同坐标组间例如一个门同时作用在一个x坐标比特和一个y坐标比特上。此时情况更复杂因为反射操作V_x和V_y只分别作用于其中一部分比特。为了保持等变性我们需要更严格的约束。研究发现需要作用在两组比特上的泡利算子出现偶数次。因此最小的等变门是四比特的形式如 P_σ P_σ P_σ‘ P_σ‘其中P是泡利算子。这构成了另一个生成元集Gs,2。基于这些生成元我们可以通过指数映射如 exp(-iθ G)来构造参数化的量子门进而组装成等变的卷积滤波器。文中主要使用了两种U2滤波器基于Gs,1构建的两比特等变门主要用于在初步扫描阶段分别处理x坐标组和y坐标组内部的特征。U4滤波器基于Gs,2构建的四比特等变门能够同时耦合x和y坐标组捕捉它们之间的关联特征。3.3 两种网络架构严格等变与近似等变利用上述构建的U2和U4滤波器我们提出了两种具体的QCNN架构严格等变量子卷积神经网络在初步的层内扫描分别处理x和y组之后主要使用U4滤波器作为卷积层。U4滤波器天然地同时连接了x和y坐标组的量子比特因此构建出的整个网络严格满足与V_x, V_y, V_r的对易关系是完美的等变模型。近似等变量子卷积神经网络在初步扫描之后不使用U4而是继续使用U2滤波器但这次让U2作用在跨越x和y坐标组的量子比特上例如连接第n个和第n1个量子比特。由于U2本身不是为这种跨组连接设计的严格等变门这相当于在严格的等变约束中引入了一个微小的“噪声”或“破缺”。为什么要设计近似等变模型这涉及机器学习中一个永恒的权衡归纳偏置与模型表达能力。严格的等变性是一个强大的归纳偏置它极大地约束了模型的假设空间使其更专注于学习与对称性相关的特征这通常有利于泛化。然而过强的约束也可能限制模型的表达能力使其无法学习数据中那些轻微偏离完美对称性的、但可能重要的细微特征。近似等变模型试图在两者之间找到一个平衡点。通过引入可控的对称性破缺我们稍微放宽了约束赋予了模型更多的灵活性希望它能同时利用对称性的好处又能捕捉到那些非对称的细节从而在特定任务上达到最佳性能。3.4 近似不变测量在输出端引入灵活性对称性约束不仅体现在网络内部也体现在最终的测量上。一个理想的G-不变测量要求测量算子O与所有V_s[g]对易。我们提出了一种近似不变测量方案为输出层也增加了一点可调节的灵活性。具体操作如下在电路的最后我们选取未被池化掉的两个特定量子比特一个来自x组q_im一个来自y组q_{imn}。对它们分别作用一个参数化的Rz(φ)旋转门和一个哈达玛门然后分别测量这两个量子比特处于|0⟩态的概率得到两个概率分布[p0, p1]和[p‘0, p‘1]。最终的预测概率是这两个分布的和除以2。这个设计的巧妙之处在于对旋转V‘r的严格不变性因为我们对两个比特进行了完全相同的操作并求和所以如果输入图像发生了90度旋转对应两个比特交换角色求和结果保持不变。对反射V_x/V_y的近似不变性数学推导表明最终两个概率分布的差异与sin(2φ)成正比。因此通过将参数φ约束在0或π/2附近我们可以使测量近似满足反射不变性。同时φ本身也可以作为一个可训练的参数让模型自己决定在输出层需要多大程度的对称性约束。这种设计在网络的最终决策环节提供了又一个调节旋钮允许模型根据数据特性在严格遵循对称性和保留一定灵活性之间做出最优选择。4. 实验验证在对称图像分类任务上的表现理论是否有效最终要靠实验说话。我们选择了两个具有典型对称性的图像分类任务来验证EquivQCNN和Appr-EquivQCNN的性能并与一个参数规模相当的非等变QCNN进行对比。4.1 数据集与任务设置二维伊辛模型相变检测任务判断一个二维伊辛模型的自旋构型是处于有序相还是无序相。这是一个经典的物理问题在临界温度附近会发生相变。数据通过蒙特卡洛方法模拟生成16x16大小的自旋分布图像每个像素点代表一个自旋向上或向下。对称性由于采用了周期性边界条件该数据集天然具有p4m对称性。旋转或反射一个自旋构型其物理相有序/无序不会改变。扩展MNIST手写数字分类任务对MNIST数据集中的手写数字“4”和“5”进行二分类。数据将原始图像下采样至16x16像素并对其进行随机的90度旋转和反射人工构造出具有p4m对称性的数据集。4.2 训练配置与对比基准模型对比非等变QCNN使用标准的、对问题无知的卷积滤波器如能生成任意两比特SU(4)门的电路作为性能基准。严格等变QCNN使用第3节描述的严格等变架构。近似等变QCNN使用引入噪声的近似等变架构并搭配两种测量方案M1固定φ0和M2φ可训练。训练设置所有模型参数从[-0.1, 0.1]的均匀分布中随机初始化。使用Adam优化器学习率为0.01。为了测试泛化能力我们使用不同规模的训练集从少样本到多样本进行训练并保持测试集不变。4.3 结果分析与核心发现实验结果的对比非常鲜明充分展示了等变性带来的优势数据集训练样本数非等变QCNN严格等变QCNN近似等变QCNN (M2)伊辛模型4077.6%74.2%86.4%1024083.0%75.8%89.3%扩展MNIST4066.7%77.5%69.7%1024072.9%74.5%76.2%注表中为测试准确率近似等变QCNN (M2)表现最佳的情况已加粗核心发现一等变性显著提升小样本泛化能力这是最关键的结论。在训练样本极少如40个的情况下无论是严格等变还是近似等变模型在大多数情况下的测试准确率都显著高于非等变模型。例如在伊辛模型上近似等变模型仅用40个样本就达到了86.4%的准确率而非等变模型用了256倍多的样本10240个才达到83.0%。这完美印证了我们的初衷引入对称性作为归纳偏置极大地约束了假设空间使模型能够从极少的样本中捕捉到本质特征避免了过拟合从而获得了卓越的泛化性能。核心发现二严格等变与近似等变的选择取决于数据对称性的“纯度”一个有趣的现象是在两个数据集上最优模型不同对于伊辛模型天然、完美的对称性近似等变QCNN (M2)表现最好。对于扩展MNIST人工添加的对称性严格等变QCNN在少样本时表现更优。这背后的原因很可能在于数据的本质。伊辛模型的对称性是物理定律决定的是精确且完美的。近似等变模型引入的微小噪声可能帮助它更好地适应数值模拟中可能存在的极小偏差或者探索了对称性允许的、但严格等变模型忽略的细微特征空间。而MNIST数字虽然被做了对称变换但数字“4”和“5”本身并非完全对称的物体人工变换后数据集中可能包含一些不完美的对称实例。此时过于严格的等变约束近似模型中的噪声反而可能干扰模型学习数字本身的判别性特征因此严格等变模型表现更稳健。核心发现三可训练的测量参数提供了额外的优化维度在近似等变模型中采用可训练测量参数φ的方案M2 consistently优于固定φ0的方案M1。这表明让模型自己学习输出层所需的“对称性强度”是有益的。这进一步支持了我们的观点最优的模型往往存在于严格对称性和完全灵活性之间的某个“甜蜜点”上。实操心得在实际应用中选择严格等变还是近似等变模型没有绝对答案。建议首先评估目标数据对称性的“严格程度”。对于物理、晶体学等产生的、对称性由自然法则保证的数据可以尝试近似等变模型。对于对称性是通过数据增强手段获得、或数据本身仅“近似”对称的场景严格等变模型可能是更安全、更稳定的起点。同时在输出层引入类似φ这样的可调参数总是一个值得尝试的优化策略。5. 实现细节、挑战与调优指南将理论转化为可运行的代码并非易事。在这一部分我将分享一些在实现等变量子卷积神经网络过程中的关键细节、遇到的挑战以及实用的调优技巧。5.1 等变门的电路实现与参数化基于第3.2节的理论推导我们需要在量子电路框架中实现U2和U4滤波器。以常用的量子计算库为例import pennylane as qml import numpy as np def U2_filter(qubits, params): 两比特等变滤波器 (基于 YY, ZZ 生成元)。 qubits: 两个量子比特的索引列表如 [i, j]。 params: 可训练参数长度为2。 # 参数化YY相互作用 qml.IsingYY(params[0], wiresqubits) # 参数化ZZ相互作用 qml.IsingZZ(params[1], wiresqubits) def U4_filter(qubits, params): 四比特等变滤波器 (基于四比特等变生成元)。 qubits: 四个量子比特的索引列表顺序为 [x1, x2, y1, y2]。 params: 可训练参数长度根据具体分解而定。 # 示例一种可能的分解使用多个两比特门来构造四比特耦合 # 注意这里需要根据具体的四比特等变生成元进行指数映射和分解。 # 以下是一个简化的示意性结构实际实现需严格依据Gs,2中的生成元。 qml.IsingYY(params[0], wires[qubits[0], qubits[2]]) # 耦合 x1-y1 qml.IsingZZ(params[1], wires[qubits[1], qubits[3]]) # 耦合 x2-y2 qml.IsingYY(params[2], wires[qubits[0], qubits[1]]) # 耦合 x1-x2 qml.IsingZZ(params[3], wires[qubits[2], qubits[3]]) # 耦合 y1-y2 # 可能需要更复杂的交错结构来精确实现目标酉矩阵关键点U4滤波器的具体电路实现需要仔细设计。直接对四比特生成元进行指数映射会产生一个作用于4个比特上的单一门这在当前硬件上可能难以直接执行。通常需要将其分解为一系列原生支持的一比特和两比特门序列。这涉及到量子电路编译和优化的问题。5.2 池化策略与信息保留QCNN中的池化层通过丢弃或合并量子比特来降低维度。在等变架构中池化操作也需要谨慎设计以保持对称性信息的流动。一个常见的策略是对等位置进行池化。例如在池化阶段我们总是将x坐标组中的第i个量子比特与y坐标组中的第i个量子比特进行配对和操作例如测量其中一个并丢弃或者将两个比特的信息纠缠后压缩到一个比特上。这种操作方式与我们的坐标感知嵌入是相容的并且自然地保持了对于交换x和y坐标的旋转操作的等变性。注意事项过于激进的池化会迅速丢失信息。在图像尺寸较小如16x16时可能只需要1-2层池化。需要根据输入尺寸和任务复杂度来调整池化层的深度和频率。5.3 训练过程中的挑战与应对参数初始化等变网络的参数空间是受约束的子空间。如果初始化不当很容易导致梯度消失或初始损失平台。建议使用较小的随机初始化如从均匀分布U(-0.1, 0.1)中采样并避免使用某些在普通QNN中常用但在受限于空间可能无效的初始化方法。梯度估计与优化由于参数化量子电路的输出是期望值其梯度需要通过参数移位规则等方法进行估计。等变门的结构可能使得某些参数的梯度幅度较小。使用自适应优化器如Adam至关重要它能调整每个参数的学习步长。实验中使用的β10.5, β20.999是经过调优的比默认值(0.9, 0.999)在初期可能更具探索性。批处理与泛化正如实验所示等变模型的核心优势在于小样本学习。在训练时即使总数据量不大也应使用批处理。对于小训练集可以使用更小的批大小甚至等于训练集大小以充分利用每个样本更新梯度。这有助于模型快速收敛到泛化性能好的区域。5.4 对称性破缺噪声的引入技巧在构建近似等变模型时如何引入“噪声”是关键。文中通过在跨x-y组的连接上使用非严格的U2门来实现。在实践中可以更灵活地控制这种破缺强度可控的破缺除了直接使用非等变门外可以设计一个混合门例如U_mixed cos(α) * U_equivariant sin(α) * U_non_equivariant其中α是一个可训练或固定的“破缺强度”参数。当α0时退化为严格等变当α增大时破缺增强。渐进式破缺在训练初期使用较强的等变约束帮助模型快速抓住对称特征在训练后期逐渐引入或增大噪声让模型微调细节。这类似于课程学习的思想。调优指南不要盲目使用近似等变。首先用严格等变模型训练一个基准。如果验证集性能在训练后期停滞不前或者你确信数据中存在轻微的非对称判别特征再尝试引入微小的、可控的对称性破缺。监控训练和验证损失曲线观察破缺是帮助提升了性能还是仅仅导致了过拟合。6. 前景展望与扩展方向基于p4m对称性的等变量子卷积神经网络为我们打开了一扇新的大门证明了几何先验在量子机器学习中的巨大潜力。但这仅仅是一个开始未来有许多令人兴奋的方向值得探索。6.1 扩展到更复杂的对称群与数据类型p4m群是处理正方形网格图像的基础。现实世界的数据对称性远不止于此连续对称群例如旋转对称群SO(2)或完整欧几里得群E(2)。处理连续对称性需要不同的数学工具如李群和李代数表示论在量子电路中的实现。三维对称性对于体数据、分子结构或3D模型需要考虑三维空间中的点群或空间群如立方体对称群Oh。这将涉及更复杂的量子比特映射和等变门设计。图数据对称性许多数据如社交网络、分子图的对称性由置换群描述。图等变量子神经网络是一个新兴且活跃的领域旨在构建对节点排列不变的量子模型。6.2 与经典几何深度学习的协同经典的几何深度学习已经发展出非常成熟的体系如群等变卷积网络。一个自然的延伸是构建经典-量子混合架构量子特征提取器用量子等变网络作为前端从原始数据中提取具有丰富对称性信息的量子特征。经典分类器将处理后的量子态或经典影子输入一个经典的等变神经网络进行分类。这种混合模式可以结合量子计算在特定特征空间中的潜在优势与经典神经网络成熟的训练方法和大规模处理能力。6.3 理论深度的进一步挖掘除了应用在理论层面也有大量工作可做表达能力与泛化的理论保证我们需要更严格的理论来分析等变QCNN的表达能力上限。它能否逼近任意满足对称性的函数其泛化误差的边界在哪里与模型复杂度、训练数据量有何关系对抗噪声鲁棒性等变模型对于保持对称性的输入扰动是否天生更鲁棒这对于在噪声环境下部署量子机器学习模型至关重要。与量子纠错码的联系等变性的数学结构与量子纠错中的稳定子码有深刻联系。探索这种联系可能催生出具有内在容错能力的量子神经网络架构。6.4 迈向实际应用以地球观测为例本文提到的地球观测是一个极具前景的应用场景。卫星图像通常具有多尺度、多角度的特性。例如不同时间拍摄的同一农田区域可能因太阳角度、卫星轨道不同而发生旋转和反射变化。一个对p4m甚至更大对称群等变的量子模型可以天然地识别出这些图像属于同一地块从而在土地分类、变化检测等任务上用更少的标注数据达到更高的精度。下一步研究将聚焦于将算法扩展到更大的图像尺寸如64x64或128x128并处理真实的多光谱或高光谱遥感数据验证其在真实场景下的实用价值。最后一点个人体会从事量子机器学习研究尤其是这种交叉领域最大的乐趣在于不断在“物理直觉”、“数学严谨”和“工程实现”三者之间穿梭。设计等变量子网络时你需要群论的抽象思维来保证正确性需要量子电路的具象思维来实现它还需要机器学习的经验来调优和评估。当看到这些不同维度的思考最终汇聚成一个在实验中有效的模型时那种满足感是无与伦比的。这个领域方兴未艾每一个基本问题的解决都可能为未来更强大、更高效的量子智能系统铺平道路。
