保留小特征值是更难的检验情形
多数超越条件数的论证在全局病态方向对目标解几乎不重要时才变得有利。这篇论文研究的是时间演化量子Krylov线性求解中相反且更难的情形：一个消失的特征值仍然与解相关，必须被保留，因此它的逆贡献可能主导解的幅度。
核心问题因此是：当导致条件数发散的特征值对目标解仍然不可或缺时，量子线性求解是否仍能保持高效。论文在QKS框架内作答：从右端项|b⟩出发生成时间演化态e^{-ijτA}|b⟩，其张成空间构成约化解空间，原系统被投影到该子空间，得到的小型经典投影系统被求解并用于重构量子解。
全局条件数与归一化态难度是两种不同度量
全局条件数κ(A)描述输入矩阵的整个谱。论文关注的目标是制备归一化解态的难度，它取决于输入态在谱上的分布，以及反向放大如何作用于解方向。这两者不能互相替代。
论文区分了两种情形。在可截断情形中，全局小特征值与解无关，QKS回到熟悉的有效条件数图景，约化问题本身保持一致良态。在论文核心的方向性情形中，小特征值被保留且与解相关，因此即使归一化解方向保持稳定，约化逆范数仍然发散。
谱压缩使Krylov资源保持有界
第一项贡献是结构性的。当归一化解集中在可谱分辨的紧致模式集合上时，与解相关的逆响应允许一个紧致且稳定的时间演化Krylov表示。论文证明，在相关特征值消失时，子空间维度m、演化时间T和重构开销都有界。
具体而言，充分的Krylov维度按m = O(max{ r / sin(δ_A/2), r / (β_A Δ_K sin(ρ/2)) })缩放，并有T = (m−1)τ和p_succ^{-1} ≤ m / s_0^2。如果解加权的谱参数r、δ_A、ρ、β_A、Δ_K、s_0和τ都独立于消失的与解相关特征值而保持有界，那么m、T和p_succ^{-1}都不会继承其发散。该界以这些参数为条件，并非断言每个实例都能压缩。
方向稳定性决定归一化态难度
第二项贡献是几何性的。论文在等价正交归一坐标下分析投影问题，并考虑一种保留软模式的情形：一个约化特征值趋于零，而其余约化谱与零保持分离。当约化右端项与该软方向保持持续重叠时，约化逆范数发散，但归一化方向敏感度保持有界。
原因在于发散的反向放大越来越平行于归一化解方向。归一化消去这一与解平行的分量，只留下真正能改变量子态的横向响应。论文将其表述为：即使约化系统任意病态，只要放大与解对齐，它仍可保持方向稳定。
稳定性在有限投影系统误差下依然成立
第三项贡献弥合了理想化约化图景与实际算法之间的差距。论文证明，方向稳定性在有限投影系统误差下依然成立，并传递到实际QKS输出，给出不依赖被保留小特征值之逆的端到端复杂度界。
端到端复杂度把具体实现相关的访问成本，与消失特征值可能作用的量分离开来：结构资源m、T和p_succ^{-1}，以及归一化态敏感度因子K_B和K_c，前提是Krylov Gram几何保持稳定。论文指出，块编码、稀疏预言机和Pauli/LCU实现带来不同的精度与表示开销，但当各自的访问参数保持有界时，它们都不会恢复对被保留消失特征值的逆依赖。
显式族将发散与有界QKS量分离
为使这一区分具体化，论文构造了一个族：完整的逆放大判据可以发散，而对应的QKS量保持有界。在二维构造中，约化系统保留小特征值，特征值为μ_1 = ε和μ_2 = 1，且右端项在软特征方向上的重叠保持|c_1| = 1/√2 = Ω(1)。
对该族，完整逆放大按χ_filt = Θ(ε^{-1})发散，而m = 2、T = O(1)、p_succ^{-1} = O(1)、K_B = O(1)、K_c = O(ε)。高维嵌入A_{ε,N} = A_ε ⊕ D_{N−2}与|b_N⟩ = |b⟩ ⊕ 0保持κ(A_{ε,N}) = Θ(ε^{-1})和χ_filt = Θ(ε^{-1})，同时QKS动力学被限制在二维不变子空间内，因此这种分离并非Krylov子空间恰好等于整个Hilbert空间的假象。
方向保护在何处可能失效
论文明确指出，这并非从量子线性求解中普遍移除条件数。方向保护可能通过不同机制失效。如果活动相位或显著的非活动谱质量越来越难以分辨，所需的Krylov维度或演化时域可能增长；这是假设(A2)所刻画的谱可分辨性边界。如果Krylov Gram几何变得不稳定，正交归一化和重构成本可能变得不利。如果多个独立的约化方向同时奇异，归一化只消去与解平行的分量，而横向奇异方向可能使K_B发散。
与现有超越条件数方法的关系是部分重叠而非包含。当全局小方向对解可忽略时，QKS回到有效截断型情形，但它还额外要求紧致的时间演化可表示性和稳定的基几何。论文还通过简单机械失稳附近的线性化结构响应给出物理图景：一个临界刚度模式趋于零，而其余谱保持非奇异；如果施加的载荷与该临界模式有非零重叠，未归一化响应沿一个软方向增长，而其归一化方向越来越稳定。
先检验解加权可表示性再信任条件数
这篇论文设定的实际优先级是：不要再把全局条件数当作归一化QKS难度的完整描述。真正重要的量是与解相关的谱可表示性，以及反向放大相对于归一化解方向的几何关系。
对具体实例，论文自身的变量给出检验清单：与解相关的谱是否压缩进一个紧致约化空间，且r、δ_A、ρ、β_A、Δ_K、s_0和τ有界；被保留的软方向是否保持非零的右端项重叠；Krylov Gram几何是否保持稳定；发散放大是否保持与解对齐，而不是打开横向奇异方向。分离族直接展示了决定性比较：χ_filt = Θ(ε^{-1})可以发散，而m、T、p_succ^{-1}和K_B保持O(1)，K_c = O(ε)。论文自己声明的边界是：这适用于它所分析的保留软模式情形，而不适用于任意多模式奇异极限。
本文引用的文献
Quantum Krylov Linear Solving Beyond Global Conditioning via Spectral Compression and Directional Stability
即使一个与解相关的特征值消失，时间演化量子Krylov线性求解仍可保持子空间维度、演化时间和重构开销有界，因为归一化消去了与解平行的反向放大，只留下有界的横向响应。