对称性、BIC 与降阶理论

偏振、对称性破缺与远场整形

读完本章，你应能

理解偏振为什么是模式本征属性，而不是输出端附加标签。
掌握近场对称性、晶格对称性和远场角谱之间的关系。
建立 $\Gamma$ 点小群（little group）与不可约表示（irreducible representation）的最小分类工具。
弄清楚对称性破缺如何同时影响偏振选择、模式分裂和远场整形。

读前准备

第 5 章、第 6 章中的 Gamma 点模式、耦合网络、模式分裂与辐射通道概念。

阅读主线

本章所处模型层级：L1→L2

本章先说明偏振为何属于腔内本征场结构，再讨论对称性对偏振和辐射通道的约束。随后引入 $\Gamma$ 点小群与不可约表示，给出方格晶格和三角晶格常用的模式分类表。最后从傅里叶角谱角度连接近场与远场，并讨论对称性破缺、外延不对称和工艺扰动对输出偏振与远场的影响。

偏振不是输出端的装饰，而是模式本身的一部分

很多初学者会下意识地把偏振理解成“光出来以后我们看到的方向”。这种想法对自由空间光束并不完全错误，但对 PCSEL 来说远远不够。PCSEL 的偏振首先是模式本征场结构的一部分，只有先在腔内场分布中形成了某种偏振组织，输出端才会看到对应的偏振态。

因此，偏振是模式解的组成部分，而非附加在模式之后的标签。模式的对称性、主要场分量、与辐射通道的耦合方式，以及与外延不对称的匹配程度，共同决定测得的线偏振、近似双偏振或工作点相关的偏振切换。

为什么对称性会控制偏振

上一章已经说明，PCSEL 的目标模通常位于高对称晶格的 Gamma 点附近。高对称性带来的一个直接后果，就是某些模式会形成简并或近简并模对，而这些模对往往对应不同的偏振方向或不同的场分量组合。

在理想完全对称的结构中，两个正交偏振态可能处于严格相同的地位。此时系统本身并没有偏好哪一个方向，实验上就可能表现为偏振不稳定、双偏振共存，或者对极小扰动极其敏感。一旦引入哪怕很小的对称性破缺，这种“平衡”就会被打破，模式分裂随之出现，于是系统开始偏向某一组偏振态。

因此，偏振选择问题可归结为：哪一种扰动打破原有对称平衡，以及该扰动分别如何改变模式频率和损耗。

$\Gamma$ 点小群与不可约表示：最小分类工具

如果只停留在“镜面对称、旋转对称、奇偶性”这些词上，读者虽然能听懂很多物理解释，但还没有真正得到一套可操作的分类工具。本节只做三件事：先解释小群是什么、再说明 irrep 标签怎么贴、最后给出法向辐射的最小判据。

第一步：小群是“在某个 $\kvec$ 处还活着的对称性”。

对任意 Bloch 波矢 $\kvec$ ，其小群定义为

\mathcal{G}_{\kvec} = \left\{ g\in \mathcal{G}\;\middle|\; g\kvec=\kvec+\gvec,\ \gvec\in \text{倒格矢集合} \right\},

其中 $\mathcal{G}$ 是晶格的点群。直觉上，这个定义只是在说：对称操作作用到 $\kvec$ 后，如果它仍落在“同一个 Bloch 态”的等价点上（差一个倒格矢），那这个对称操作在该 $\kvec$ 处仍然有效。

对 $\Gamma$ 点而言， $\kvec=\bm{0}$ ，因此

\mathcal{G}_{\Gamma}=\mathcal{G}.

因此， $\Gamma$ 点适合进行对称性标注：此时小群等于完整点群，模式标签和选择规则最明确。

把“点群”想成整套对称工具，把“小群”想成“在某个 $\kvec$ 处还能用的那一部分工具”。 $\Gamma$ 点不丢任何工具，所以最适合做标准化标签。

第二步：irrep 标签回答“对称操作作用后场怎样变化”。

不可约表示（irreducible representation, irrep）的主要用途不是记忆表格，而是给出三条可操作结论：

能不能混合：同一 irrep 内的模式在保持对称性的扰动下可以混合，不同 irrep 的模式不能直接混合；
有没有成对：二维 irrep 对应受对称性保护的简并，常与双偏振、双简并候选模有关；
能不能直射：模式是否能耦合到法向辐射通道，首先取决于它的 irrep 是否与辐射通道的 irrep 匹配。

更直观的说法是：对称操作作用到模场上，场要么保持不变（特征标 $+1$ ）、要么变号（特征标 $-1$ ）、要么与另一支模式互换（二维表示）。这三个结果已经足够把绝大多数 $\Gamma$ 点模式分到 $A_1/A_2/B_1/B_2/E$ 之中。

表 8.1 $C_{4v}$ 的最小特征标表。这里的列是共轭类，而非单个操作。对 PCSEL 最常用的用途，是判断某个 singlet/doublet 在对称操作下属于哪一种 irrep。
irrep	$E$	$2C_4$	$C_2$	$2\sigma_v$	$2\sigma_d$
$A_1$	1	1	1	1	1
$A_2$	1	1	1	$-1$	$-1$
$B_1$	1	$-1$	1	1	$-1$
$B_2$	1	$-1$	1	$-1$	1
$E$	2	0	$-2$	0	0

表中的列名最好带着几何图像一起记。 $E$ 是恒等操作； $2C_4$ 表示 $\pm 90^\circ$ 旋转； $C_2$ 是 $180^\circ$ 旋转； $2\sigma_v$ 指穿过晶格主轴的两条镜面，最常见的就是 $x=0$ （ $\sigma_{v,x}$ ）和 $y=0$ （ $\sigma_{v,y}$ ）； $2\sigma_d$ 则指两条对角镜面 $y=\pm x$ （ $\sigma_{d,+}$ 和 $\sigma_{d,-}$ ）。这里的下标 $v$ 就是主轴（vertical）镜面， $d$ 就是对角线（diagonal）镜面。判断一个模属于哪种 irrep 的简单操作步骤：取模的近场分布图，分别对以上四条镜面做反射，观察场图是否偶对称（特征标 $+1$ ）或奇对称（特征标 $-1$ ），与表格各行对比即可确定。

更完整的生成元列表、直积表、 $C_{4v}\to C_{2v}$ 分支律和选择规则实例，已汇总为附录中的“群论工具箱”（第 28.13 节），需要时查阅即可，不必在此处一次性记住。

若两支近简并模在 $\pm90^\circ$ 旋转下互相交换，而在某条镜面下分别变号/不变，那么更正确的做法是把它们合在一起作为二维 $E$ 双重态，而非给它们各贴一个 singlet 标签。

第三步：法向辐射的最小判据。

在 $\Gamma$ 点（ $k_\parallel=0$ ），法向辐射对应的自由空间平面波是横向均匀平面波，其两支线偏振 $(\hat{\bm x},\hat{\bm y})$ 在 $C_{4v}$ 语言中张成二维表示 $E$ 。因此：若腔模的 irrep 与辐射通道的 irrep 不匹配，则法向辐射耦合矩阵元在对称性上必为零。 这也是 $A_1$ 、 $A_2$ 、 $B_1$ 、 $B_2$ 四类非简并模往往成为 dark/BIC 候选的群论原因，而 $E$ 表示则是典型亮模候选[Sakoda, 2005] [Joannopoulos et al., 2008] [Hsu et al., 2016]。

上述判据的正式版本可写成“张量积包含全对称表示”。但在初次使用阶段，只需记住：模式 irrep 必须与法向辐射通道 irrep 相容，耦合才可能非零。

图 8.1 给出这条规则的最小工作流。它把“看场图觉得亮或暗”的经验判断，改写成 three-step gate：先确定 little group，再给模式和辐射通道分别贴 irrep，最后检查张量积是否含全对称表示。

Gamma 点模式的 irrep--辐射通道守门流程。in-plane little-group 匹配只决定 direct normal radiation 是否被对称性允许；真正的辐射强度仍需结合三维 slab、纵向奇偶性、层栈不对称和有限尺寸计算。图 8.1 · 原始 LaTeX/TikZ 图源独立渲染

方格晶格 $\Gamma$ 点： $C_{4v}$ 分类

对理想方格晶格， $\Gamma$ 点小群是

\mathcal{G}_{\Gamma}=C_{4v}.

它有四个一维不可约表示 $A_1,A_2,B_1,B_2$ 和一个二维不可约表示 $E$ 。对 PCSEL 读者来说，最重要的是知道这些 irrep 分别意味着什么，而非把角色表背下来。一个可反复使用的最小表见表 8.2.

表 8.2 $C_{4v}$ 小群在 $\Gamma$ 点的最小模式分类工具。这里的“典型基函数”是帮助读者建立 irrep 直觉的代表性多项式或向量，而非场的完整表达。
irrep	维数	典型基函数 / 图像	对 PCSEL 的最小含义
$A_1$	1	$1,\ x^2+y^2$ ，全对称	标量型 singlet；可作为“全对称模”标签，但不自动等于可法向辐射模
$A_2$	1	$R_z$ ，旋转型	标量型 singlet；常与“旋涡式”或伪标量变换性质相关，法向辐射通常受限
$B_1$	1	$x^2-y^2$	轴向四瓣型 singlet；常与沿晶格轴的场型差异有关
$B_2$	1	$xy$	对角四瓣型 singlet；常与沿对角方向的场型差异有关
$E$	2	$(x,y)$	二维双重态；与两支正交线偏振、法向平面波辐射通道和 $\Gamma$ 点双简并最直接相关

对 PCSEL 最常用的结论是：在 $C_{4v}$ 下，法向自由空间的两支横向平面波偏振 $(\hat{\bm x},\hat{\bm y})$ 张成二维表示 $E$ 。 因此，若只看平面内 little group 选择规则，直接允许法向辐射的模式族首先应与 $E$ 表示匹配；属于 $A_1,A_2,B_1,B_2$ 的模式，在 exact $\Gamma$ 点更容易成为 symmetry-protected dark family。

三角晶格 $\Gamma$ 点： $C_{6v}$ 分类

对理想三角晶格或等价的六重旋转晶格， $\Gamma$ 点小群为

\mathcal{G}_{\Gamma}=C_{6v}.

它的常用不可约表示包括四个一维表示 $A_1,A_2,B_1,B_2$ 和两个二维表示 $E_1,E_2$ 。对 PCSEL 来说，表 8.3 是比完整角色表更有用的最小摘要。

表 8.3 $C_{6v}$ 小群在 $\Gamma$ 点的最小模式分类工具。
irrep	维数	典型基函数 / 图像	对 PCSEL 的最小含义
$A_1$	1	$1$ ，全对称	singlet；常作“全对称模”标签
$A_2$	1	$R_z$	singlet；与旋转型变换性质相关
$B_1,B_2$	1	更高阶标量型图样	在最小模式分类中常作为一维 dark family 处理
$E_1$	2	$(x,y)$	二维双重态；与法向自由空间横向偏振直接匹配，是最直接允许法向辐射的 irrep
$E_2$	2	$(x^2-y^2,2xy)$	二维双重态；常对应 quadrupole-like family，在 exact $\Gamma$ 点更容易成为 symmetry-protected BIC 候选

与方格晶格完全平行，三角晶格的法向自由空间横向偏振 $(\hat{\bm x},\hat{\bm y})$ 在 $C_{6v}$ 下张成 $E_1$ 。因此， $E_1$ 是最直接的法向辐射表示，而 $E_2$ 则经常出现在“高对称、双简并、但 exact $\Gamma$ 点不直接向法向辐射”的候选模讨论中。

法向辐射通道本身也有表示：这是 BIC 判断的最小规则

前面直觉性地说“某模与某辐射通道是否匹配”，现在可以把这句话写得更正式。设 $\Gamma$ 点某个模式属于 irrep $\alpha$ ，法向辐射通道属于 irrep $\beta$ ，则对称性允许的直接耦合矩阵元可记作

M_{\beta\alpha} = \left\langle \text{radiation},\beta \middle| \hat{\mathcal H}_{\mathrm{rad}} \middle| \text{mode},\alpha \right\rangle.

若 $\alpha$ 与 $\beta$ 不匹配，则在保持该对称性的前提下 $M_{\beta\alpha}=0$ 。这就是 symmetry-protected BIC 最小判断规则的群论版本。

把选择定则写成真正可复用的张量积条件

若要把上面的口头规则升级成可重复使用的教材工具，就应把“允许耦合”写成群表示的张量积条件。设模式属于 irrep $\Gamma_{\mathrm{mode}}$ ，辐射通道属于 irrep $\Gamma_{\mathrm{rad}}$ ，而耦合算符属于 irrep $\Gamma_{\mathrm{op}}$ ，则矩阵元

\langle \mathrm{rad}|\hat{\mathcal O}|\mathrm{mode}\rangle

只有在

\Gamma_{\mathrm{rad}}\otimes \Gamma_{\mathrm{op}}\otimes \Gamma_{\mathrm{mode}} \supset A_1

时才可能非零，其中 $A_1$ 表示单位表示。式 (8.4) 才是“选择定则”的正式版本。

这里的“ $\supset A_1$ ”可表述为：将辐射通道、耦合算符和模式三个表示做张量积后，若其分解中包含全对称表示 $A_1$ ，则单胞积分可能非零；若不包含 $A_1$ ，则该耦合矩阵元在保持对称性时为零。 $A_1$ 在这里表示单胞平均后可留下的标量分量。

对 exact $\Gamma$ 点法向直接辐射这一最常见场景，若耦合算符本身保持单胞的点群对称性，则可把 $\Gamma_{\mathrm{op}}$ 近似视为单位表示 $A_1$ 。于是式 (8.4) 简化为

\Gamma_{\mathrm{rad}}\otimes \Gamma_{\mathrm{mode}} \supset A_1.

在本书使用的最小实表示框架中，这通常进一步退化为一条最便于操作的判据：模式 irrep 与法向辐射通道 irrep 相同或含有与之兼容的分量时，direct radiation 在对称性上才是允许的。 因此前文会把“方格晶格看 $E$ ，三角晶格看 $E_1$ ”说成第一性筛选规则，而不只是经验口诀[Sakoda, 2005] [Hsu et al., 2016]。

式 (8.4) 给出的只是对称性允许性，不是耦合强度大小。也就是说，满足该条件只说明矩阵元可以非零，并不保证它一定很大；而一旦不满足，则在保持对应对称性的前提下矩阵元必须为零。对 PCSEL 而言，这也是“允许法向辐射”和“实际辐射有多强”必须分两步判断的原因。

于是，对 PCSEL 最有用的两句话是：

对方格晶格，法向辐射通道最小地属于 $E$ ；
对三角晶格，法向辐射通道最小地属于 $E_1$ 。

因此，拿到一个新结构后，读者应先问的是“它在 $\Gamma$ 点属于哪个 irrep，这个 irrep 是否与法向辐射通道匹配”，而非“这模看起来亮不亮”。若不匹配，则 exact $\Gamma$ 点直接法向辐射被对称性禁止；若匹配，则 direct radiation 至少在对称性上是允许的，后面再讨论耦合强弱、损耗大小和器件级阈值。

如何从数值模场中真正给出 irrep 标签

教材若只告诉读者“先标 irrep”，但不说数值上怎么标，这套工具就还不够可操作。最小可执行流程如下。

对单个近似非简并模式 $u$ ，先选取 little group 的生成元，例如方格晶格常取 $C_4$ 与一条镜面 $\sigma_v$ 。把数值模场作用一次对称变换后，与原场做归一化重叠：

\eta_g = \frac{\langle u,\hat T(g)u\rangle}{\langle u,u\rangle}, \qquad g\in \mathcal{G}_\Gamma.

若 $u$ 是 singlet，且数值误差足够小，则 $\eta_g$ 会接近该 irrep 在生成元上的角色值，例如 $\pm1$ 。这就能把它初步标到 $A_1,A_2,B_1,B_2$ 一类。

若模式是近简并的双重态，则不应分别给两支模单独贴标签，而应先在该近简并子空间中构造表示矩阵

D_{ij}(g) = \frac{\langle u_i,\hat T(g)u_j\rangle}{\sqrt{\langle u_i,u_i\rangle\langle u_j,u_j\rangle}},

再通过 $\mathrm{tr}\,D(g)$ 在生成元上的取值，判断它属于 $E$ 、 $E_1$ 还是 $E_2$ 一类二维 irrep。随后若再引入小扰动，就能直接追踪这个双重态如何分裂成 singlet，以及哪一支与目标偏振、法向辐射和 BIC 条件更接近。

这一步的意义是：irrep 不应仅凭场图外观判定，而应由对称操作在数值模场子空间中的表示给出。 采用这一流程后， $\Gamma$ 点模判别、偏振分裂和 BIC 初筛可使用同一套标注方法。

从对称操作看模式：为什么有些辐射能出，有些出不来

设结构具有某个对称操作，例如镜面对称、旋转对称或反演对称。若一个模式在该对称操作下是偶的，另一个模式是奇的，那么它们与外部辐射通道的耦合规则往往完全不同。最简单的例子是镜面对称平面：

若近场在某方向上是偶对称，则其傅里叶变换在零角附近通常有非零贡献；
若近场在某方向上是奇对称，则其角谱在对应方向上往往在中心发生抵消。

这解释了为什么有些模式虽然存在，却在法向方向上几乎不辐射；也解释了为什么小小的几何扰动可能会显著改变远场主瓣。因为扰动不仅改变了“场有多强”，还改变了“不同位置上的场如何相干相加或相互抵消”。

从近场到远场：为什么傅里叶角谱是理解 PCSEL 远场的核心

在辐射近似下，远场图样可由出光面附近的横向电场分布通过傅里叶变换得到。记横向近场为 $\E_t(x,y)$ ，则远场角谱幅度可写为

\tilde{\E}(k_x,k_y) = \iint \E_t(x,y)\ee^{-\ii(k_xx+k_yy)}\dd x\dd y.

式 (8.8) 表明，远场由近场中不同位置的相位和振幅在角域中叠加得到。因此，近场的奇偶性、旋转对称性和局部相位关系会直接影响远场图样。

近场对称性通过傅里叶变换映射为远场角谱结构的概念图。图 8.2 · 原始 LaTeX/TikZ 图源独立渲染

例如，若近场在 $x$ 方向关于中心是奇对称的，那么在 $k_x=0$ 附近，来自左右两侧的贡献会相互抵消，远场中心就可能出现零点或主瓣分裂。反之，若近场是偶对称的，则中心角附近更容易形成主瓣。这种“对称性 $\rightarrow$ 远场中心结构”的映射，是 PCSEL 远场整形的基本判据。图 8.3展示了两种典型模式的远场辐射方向图对比。

光子晶体面发射激光器的远场辐射方向图。(a) 基模（通常是偶极模）显示出双瓣特性，主辐射方向沿晶格主轴；(b) 高阶四极模呈现特征的四叶草形状，表明存在方位角依赖的辐射干涉。这些图案可以直接从傅里叶变换的近场分布计算得到，也可通过角度分辨电致发光/光致发光测量获取。注意中心Γ点的辐射强度与模式的对称性密切相关，某些对称性保护的连续谱束缚态模式在完美结构中完全不辐射（暗模），只有在对称性破缺后才泄漏出有限辐射。 — 光子晶体面发射激光器的远场辐射方向图。(a) 基模（通常是偶极模）显示出双瓣特性，主辐射方向沿晶格主轴；(b) 高阶四极模呈现特征的四叶草形状，表明存在方位角依赖的辐射干涉。这些图案可以直接从傅里叶变换的近场分布计算得到，也可通过角度分辨电致发光/光致发光测量获取。注意中心 $\Gamma$ 点的辐射强度与模式的对称性密切相关，某些对称性保护的连续谱束缚态模式在完美结构中完全不辐射（暗模），只有在对称性破缺后才泄漏出有限辐射。图 8.3 · 原始 LaTeX/TikZ 图源独立渲染

偏振选择为什么常常和模式分裂绑在一起

回到上一章的模式竞争图像。若两个正交偏振候选模在理想结构中简并，那么真实器件需要某种机制让其中一个在净增益排序上占优。常见的路径有两条：

频率分裂路径

几何或外延扰动使两偏振模频率分开，从而让其中一个更靠近增益谱峰值。

损耗分裂路径

即使频率几乎不变，扰动也可能让某一偏振态与辐射通道或吸收区耦合更强，从而改变阈值。

对 PCSEL 而言，第二条路径尤其常见，因为偏振与辐射选择规则紧密相关。许多偏振工程并非单纯改变偏振方向，而是在重新分配不同偏振态与辐射/损耗通道的相对权重。

图 8.4给出了四模三重态图像的完整可视化：在弱耦合极限下，正向行波 $(1,0)$ 与反向行波 $(-1,0)$ 形成驻波配对，而侧向行波 $(0,\pm1)$ 由于对称性保持简并，最终形成三支非简并模——两支singlet 加一支doublet。

四模三重态图像。(a)弱耦合极限下的四波ansatz：正向行波 (1,0)、反向行波 (-1,0) 和一对侧向行波 (0,1)；(b)随着耦合增强，正反向行波混合形成驻波，按对称性分类为两支singlet（偶宇称/奇宇称）和一支doublet（侧向简并对）；(c)当存在对称性破缺微扰时，doublet进一步分裂，最终得到四支完全分离的非简并模。 — 四模三重态图像。(a)弱耦合极限下的四波ansatz：正向行波 $(1,0)$ 、反向行波 $(-1,0)$ 和一对侧向行波 $(0,\pm1)$ ；(b)随着耦合增强，正反向行波混合形成驻波，按对称性分类为两支singlet（偶宇称/奇宇称）和一支doublet（侧向简并对）；(c)当存在对称性破缺微扰时，doublet进一步分裂，最终得到四支完全分离的非简并模。图 8.4 · 原始 LaTeX/TikZ 图源独立渲染

图 8.4显示了 PCSEL 模式结构的层级组织：先由行波重组为驻波，再按 irrep 进行对称性分类，最后由微扰解除剩余简并。这一结构用于后续偏振选择和模式分裂分析。

对称性破缺如何在 irrep语言下导致分裂

现在可以把“对称性破缺导致分裂”这句话说得更正式。若高对称结构在 $\Gamma$ 点具有二维 irrep，例如方格晶格的 $E$ 或三角晶格的 $E_1,E_2$ ，那么该双重态的简并是受 little group 保护的。一旦几何扰动把对称性从高群降到其子群，二维 irrep 通常会分裂成两个一维 irrep，于是：

原本双简并的模式分成两支非简并模；
两支模往往分别锁定到扰动的主轴方向，因此偏振被钉扎；
若这两支模与法向辐射通道的表示匹配程度不同，损耗分裂就会随之出现。

最典型的例子是方格晶格圆孔的 $C_{4v}$ 对称被轻微椭圆孔降低到只保留两条镜面的子群。此时原先的 $E$ 双重态会分裂成两支沿椭圆长轴和短轴定向的 singlet，于是“偏振选择”在群论上不再是一句经验话，而是“二维 irrep 被降群后发生分裂”的直接结果。

若一个理想方格晶格在 $\Gamma$ 点有一对属于 $E$ 的双简并候选模，则在圆孔情况下两者地位完全等价。把圆孔轻微拉成椭圆后，这对 $E$ 双重态会沿扰动主轴方向分裂成两支非简并模。若其中一支仍与法向辐射通道更匹配，另一支则更接近 symmetry-protected dark family，那么实验上就会同时看到偏振钉扎、损耗分裂和远场主瓣方向选择。

拿到一个新结构后，如何自己做 $\Gamma$ 点模标注

至此，可以把 $\Gamma$ 点模标注整理为以下最小流程：

先判断平面晶格类型，从而确定 $\Gamma$ 点 little group：方格晶格取 $C_{4v}$ ，三角晶格取 $C_{6v}$ ；
用生成元操作去看目标模如何变换，给它标上 irrep；
再判断法向辐射通道在该 little group 下属于哪个 irrep：方格取 $E$ ，三角取 $E_1$ ；
若 mode irrep 与 radiation irrep 不匹配，则 exact $\Gamma$ 点 direct radiation 被对称性禁止，优先检查它是否属于 symmetry-protected BIC family；
若随后加入对称性破缺，再问原 irrep 在子群下怎样分裂，以及哪一支更容易获得目标偏振和远场。

这套流程不能替代全波仿真，但足以在拿到一个新单胞时，先完成“模标注、偏振判断、BIC 初筛”三项前置工作，而不是一开始就进行无约束参数扫描。

若某一偏振态在二维平面模型中显示出明显优势，但该优势依赖的实际上是上下完全对称的假设，那么一旦放到真实外延层栈中，这种结论可能翻转。偏振设计必须把纵向不对称也纳入模型。

哪些对称性破缺最常见

真实 PCSEL 中，对称性破缺几乎不可避免。常见来源包括： itemize 孔形由圆变椭圆，或双晶格扰动；外延层上下不对称，导致上下辐射通道不同；电极窗口、接触层和刻蚀区域打破原始旋转对称；工艺偏差引入局部尺寸不均匀。 itemize

这些破缺并不都意味着性能退化。许多 PCSEL 偏振设计会主动引入可控的对称性破缺，使原本简并的偏振态分离。有效的对称性破缺应具有可预期、可复现且方向明确的特征，而不应依赖随机工艺偏差来选择偏振。

外延不对称为什么会影响偏振和远场

对初学者来说，一个容易忽视的事实是：偏振和远场不只由平面内晶格决定，纵向层栈同样会参与。原因有两点。

第一，真实模式是全矢量三维模式。上下包层不同、掺杂不同、接触层不同，会改变不同场分量在纵向上的分布，从而间接影响偏振选择。

第二，上下辐射通道不对称会改变远场的上下功率分布，进而影响总辐射损耗和远场图样。某一平面内看似很“对称”的模式，在真实层栈中可能已经因为上下不对称而发生偏置。

因此，后文讨论外延层和热效应时仍需回到偏振问题。偏振是贯穿光学与器件设计的变量，而非在本章即可封闭处理的独立主题。

将圆孔改成轻微椭圆，往往会使两个正交偏振态的耦合系数分离，进而在远场上表现为主瓣沿某一晶格方向更加集中。若此时外延上下不对称又偏向其中一支辐射通道，那么最终实验上看到的偏振纯度会比二维平面对称模型预期的更强，或者方向发生额外旋转。图 8.5总结了三种典型的偏振调控策略及其物理机制。

光子晶体面发射激光器中四类常用偏振调控方法对比。图 8.5 · 原始 LaTeX/TikZ 图源独立渲染

远场整形不是“把图样画漂亮”，而是组织角谱能量

远场整形不只是改变输出图样的外观；更准确地说，它是在重新组织角谱能量分布。

根据式 (8.8)，若想得到单主瓣、环形、双瓣或某种方向性增强的远场，就必须在近场里安排好对应的相位和振幅结构。因此： itemize 改变晶格对称性，常常是在改变允许的角谱分量组合；改变孔形扰动，常常是在改变不同角谱分量的相对强度；改变外延和工作点，则可能在不改几何的情况下，通过模式重分布改写远场。 itemize

远场设计还需要检验该图样在工作电流和工作温度范围内的稳定性，而不能只依据冷腔仿真图样。

为什么偏振和远场必须放在同一章讨论

到这里，读者应该已经能体会：偏振和远场虽然在实验中常被当作两个指标测量，但在 PCSEL 理论里它们共享同一组决定因素： itemize 模式的矢量近场结构；晶格和器件的对称性；模式与辐射通道的耦合方式；工作点引起的模式重分布。 itemize

因此，本章合并讨论偏振和远场，是因为二者对应同一模式问题的两个投影：偏振强调矢量方向，远场强调角域分布。

只在二维平面模型里判定偏振纯度，或者只在冷腔近场上判断远场稳定性，都会系统性高估真实器件性能。只要外延不对称、电流拥挤或热漂移显著，这种高估几乎必然出现。

通向后续章节：偏振问题为何最终会回到器件问题

本章讨论的仍然主要是光学层。但请注意，偏振稳定和远场稳定并不只由几何决定。随着注入升高和温升出现： itemize 折射率分布变化会引起模式重分布；有源区增益谱漂移会改变两个偏振模的相对净增益；局部热热点和电流非均匀会使原本对称的模式结构偏斜。 itemize

因此，本章给出的是偏振与远场的光学框架，而不是器件级稳定性判据。某种偏振与远场能否在工作区间内保持稳定，还需在热-电-光耦合章节中判断。

回看本章

PCSEL 的偏振与远场是模式本征结构、对称性和辐射选择规则的结果，而非输出端的附加现象。可操作的起点是在 $\Gamma$ 点按 little group 的不可约表示分类模式：方格晶格用 $C_{4v}$ ，三角晶格用 $C_{6v}$ ；法向辐射通道分别最小地属于 $E$ 和 $E_1$ 。建立这一标注后，偏振选择、symmetry-protected BIC 判断、双简并分裂和远场工程可归入同一分类工具。对称性破缺既可作为设计手段，也可能成为不可控扰动。偏振与远场工程必须同时考虑平面内晶格、纵向外延、有限尺寸以及工作点变化。

练习题

enumerate [基础] 对理想方格晶格，说明为什么 $\Gamma$ 点 little group 等于 $C_{4v}$ ，并解释二维 irrep $E$ 为什么天然与双偏振候选模有关。

[基础] 试解释为什么一个近场奇对称模式往往在远场中心更容易出现零点或弱化。

[进阶] 对三角晶格，说明为什么法向自由空间通道最小地属于 $E_1$ ，并据此解释 $E_2$ family 为什么常出现在 symmetry-protected BIC 讨论中。

[进阶] 给出两个“偏振选择由损耗分裂主导而非频率分裂主导”的可能场景。

[进阶] 讨论为什么上下层栈不对称会影响远场主瓣和偏振，而不仅仅影响总输出功率。

[综合] 设某器件在低电流下单偏振稳定、高电流下出现偏振混合，试给出一条可能的热-电-光机理链。 enumerate

延伸阅读

itemize 下一章将引入 BIC / quasi-BIC 语言，把本章的 little group、irrep、法向辐射选择规则进一步写成开放系统中的辐射通道问题。

[Sakoda, 2005] [Joannopoulos et al., 2008] 中关于对称性、表示与选择规则的章节，可作为本章表示论语言的背景材料。

配合第 17 章、第 20 章阅读本章，可检查二维平面模型、纵向层栈和热-电-光回写之间的接口。 itemize

PCSEL KNOWLEDGE BASE

PCSEL 理论、仿真与器件物理导论

正在载入可检索的全书知识站。JavaScript 不可用时，可直接阅读各章独立页面或下载原书 PDF。

从第一章开始 · 下载原书 PDF

偏振、对称性破缺与远场整形

读完本章，你应能#

读前准备#

阅读主线#

偏振不是输出端的装饰，而是模式本身的一部分#

为什么对称性会控制偏振#

Γ\GammaΓ 点小群与不可约表示：最小分类工具#

第一步：小群是“在某个 k\kveck 处还活着的对称性”。#

第二步：irrep 标签回答“对称操作作用后场怎样变化”。#

第三步：法向辐射的最小判据。#

方格晶格 Γ\GammaΓ 点：C4vC_{4v}C4v​ 分类#

三角晶格 Γ\GammaΓ 点：C6vC_{6v}C6v​ 分类#

法向辐射通道本身也有表示：这是 BIC 判断的最小规则#

把选择定则写成真正可复用的张量积条件#

如何从数值模场中真正给出 irrep 标签#

从对称操作看模式：为什么有些辐射能出，有些出不来#

从近场到远场：为什么傅里叶角谱是理解 PCSEL 远场的核心#

偏振选择为什么常常和模式分裂绑在一起#

频率分裂路径#

损耗分裂路径#

对称性破缺如何在 irrep语言下导致分裂#

拿到一个新结构后，如何自己做 Γ\GammaΓ 点模标注#

哪些对称性破缺最常见#

外延不对称为什么会影响偏振和远场#

远场整形不是“把图样画漂亮”，而是组织角谱能量#

为什么偏振和远场必须放在同一章讨论#

通向后续章节：偏振问题为何最终会回到器件问题#

回看本章#

练习题#

延伸阅读#

PCSEL 理论、仿真与器件物理导论

读完本章，你应能

读前准备

阅读主线

偏振不是输出端的装饰，而是模式本身的一部分

为什么对称性会控制偏振

$\Gamma$ 点小群与不可约表示：最小分类工具

第一步：小群是“在某个 $\kvec$ 处还活着的对称性”。

第二步：irrep 标签回答“对称操作作用后场怎样变化”。

第三步：法向辐射的最小判据。

方格晶格 $\Gamma$ 点： $C_{4v}$ 分类

三角晶格 $\Gamma$ 点： $C_{6v}$ 分类

法向辐射通道本身也有表示：这是 BIC 判断的最小规则

把选择定则写成真正可复用的张量积条件

如何从数值模场中真正给出 irrep 标签

从对称操作看模式：为什么有些辐射能出，有些出不来

从近场到远场：为什么傅里叶角谱是理解 PCSEL 远场的核心

偏振选择为什么常常和模式分裂绑在一起

频率分裂路径

损耗分裂路径

对称性破缺如何在 irrep语言下导致分裂

拿到一个新结构后，如何自己做 $\Gamma$ 点模标注

哪些对称性破缺最常见

外延不对称为什么会影响偏振和远场

远场整形不是“把图样画漂亮”，而是组织角谱能量

为什么偏振和远场必须放在同一章讨论

通向后续章节：偏振问题为何最终会回到器件问题

回看本章

练习题

延伸阅读