Thermodynamic Constraints on Perfect Equilibrium Superconducting Diodes

技术摘要：完美平衡超导二极管的热力学约束

问题陈述
超导二极管（SDs）是表现出相反方向电流临界值不等（$|I_c^+| \neq |I_c^-|$）的器件，为无耗散整流和非互易信号处理提供了潜力。尽管在包括范德华异质结和非对称约瑟夫森结（JJs）在内的多种平台中都观察到了超导二极管效应，但实现高效率（即二极管不对称度 $\epsilon = |I_c^-/I_c^+| \ll 1$）仍然是一个挑战。在没有工程化结的无约束体超导体中，效率通常较为适中（$\eta \sim 10^{-2}$），而约瑟夫森平台通常报告更高的效率，有时接近 $\eta \approx 1$。本文探讨的核心问题是：在理论上是否可能存在一个“完美的”平衡态超导二极管（$\epsilon = 0$），以及什么样的热力学原理支配着不同平台的二极管效率极限。

方法论与理论框架
作者采用了一种基于准一维超导系统吉布斯自由能（$G$）的通用热力学方法。输运过程由全局相位变量 $\Theta$ 控制，而内部凝聚态自由度（例如多带系统中的相对相位）在固定的 $\Theta$ 下进行弛豫。有效自由能 $F(\Theta)$ 通过在这些内部变量上最小化亥姆霍兹自由能泛函来定义。

关键理论工具包括：

1. 连续性与解析性： 分析假设了常规局部固体，其自由能 $F(\Theta)$ 必须是连续的。研究了 $F(\Theta)$ 是否可以是一个单一光滑的解析分支，或者是否需要奇点（非解析性）。
2. 临界电流定义： 临界电流被定义为超电流 $I(\Theta) = 2e \partial_\Theta F(\Theta)$ 的极值。二极管不对称度为 $\epsilon = |I_c^-/I_c^+|$。
3. 数学界限： 对于由单一光滑分支描述的系统，作者利用多项式逼近（朗道理论）和傅里叶级数（用于约瑟夫森结）进行分析。利用 Remez 不等式和切比雪夫多项式的性质，推导了有限阶展开下的 $\epsilon$ 下界。
4. 精确可解模型： 构建了一个伊辛耦合超导体模型，以显式演示分段自由能景观如何实现接近完美的二极管行为。

主要贡献与结果

• 精确完美二极管的不可能性 ($\epsilon = 0$)： 本文证明了在常规局部系统中，精确的完美平衡态二极管（$\epsilon = 0$）是被禁止的。如果 $I_c^- = 0$ 且 $I_c^+ \neq 0$，则在超导区间内超电流 $I(\Theta)$ 必须处处非负。积分这个正电流会导致自由能变化 $F(\Theta_c^+) - F(\Theta_c^-) > 0$，这与自由能在超导域边界处必须连续且相等的要求（公式 4）相矛盾。因此，$\epsilon = 0$ 将要求自由能存在不连续性，而这在常规热力学中是被排除的。

• 近乎完美行为对奇点的需求： 虽然 $\epsilon = 0$ 被禁止，但 $\epsilon \to 0$ 的极限在热力学上是允许的，但需要特定条件。作者证明，实现 $\epsilon \ll 1$ 需要自由能景观 $F(\Theta)$ 存在奇点（非解析性）。具体而言，系统必须经历不利电流携带分支的“软化”。这意味着系统必须具有分段结构，其自由能由宽阔、近乎平坦的区域（其中 $I(\Theta) < 0$ 很小）与具有有限斜率的区域组成。这些转变对应于竞争超导态之间的分支切换或畴壁的形成。

• 光滑单分支系统的界限： 对于由单一光滑解析分支描述的超导体（例如具有有限阶多项式的标准朗道理论），本文推导了 $\epsilon$ 的严格下界。

  • 在朗道理论（$n$ 次多项式）中，$\epsilon \geq 1/T_n(\frac{1+r}{1-r})$，其中 $T_n$ 是切比雪夫多项式，$r$ 是电流为正的相位窗口比例。
  • 这意味着，实现较小的 $\epsilon$ 需要阶数极高的多项式（$n \sim \log(1/\epsilon)$），这对应于具有许多竞争超导相的复杂景观。
  • 同样，对于约瑟夫森结，电流-相位关系的有限截断（有限个谐波）会对 $\epsilon$ 施加一个下界。

• 伊辛耦合模型演示： 本文显式构建了一个精确可解的伊辛耦合超导体模型。通过将超导体与伊辛变量 $\sigma = \pm 1$ 耦合，自由能变为分段形式。该模型表明，通过调节参数（刚度 $K$ 和磁电耦合 $\gamma$），使得一个分支变得极其“软”（几乎与 $q$ 无关）而另一个分支保持刚性，系统可以实现 $\epsilon \ll 1$。这证实了非解析性（$F(\Theta)$ 中的尖点）能够实现负电流分支所需的软化。

• 实验观测的协调： 该框架解释了为什么高效率在约瑟夫森平台中很常见，但在本质体超导体中却很少见。约瑟夫森器件通常在以下条件下运行：

  1. 相位约束： 嵌入在更大的环境中，无法进行全局最小化。
  2. 亚稳态： 切换发生从局部极小值而非全局平衡态开始。
  3. 外部驱动： 非平衡态协议。
     这些条件使其能够规避本文推导出的严格无约束平衡极限。相反，在名义上的本质平台（如扭转三层石墨烯）中观察到高效率，暗示了存在隐藏的内部结构（竞争序）或亚稳态，从而产生了所需的非解析自由能景观。

意义与主张
本文提供了一个统一的热力学框架，用于解释超导二极管的效率。其核心主张是：由于自由能的连续性，精确的完美平衡态二极管是被禁止的，并且在无约束平衡系统中实现近乎完美的行为需要超导景观的奇异重构（例如分支切换）。

这项工作为简单的、光滑的超导体提供了一个“否定定理”（no-go theorem），解释了为什么在体材料中 $\epsilon = O(1)$ 是常态。它指出，在平衡态平台中观察到的异常小的 $\epsilon$ 是附近存在内部结构（如竞争超导序或亚稳态）的诊断特征。其结果提供了一个设计原则：要在平衡态中实现高效率，必须设计具有特定非解析自由能特征的系统；而约瑟夫森器件中的高效率通常是由于在严格的全局平衡约束之外运行的结果。