对称性、BIC 与降阶理论

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

读完本章,你应能

读前准备

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

阅读主线

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

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

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

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

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

为什么对称性会控制偏振

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

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

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

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

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

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

对任意 Bloch 波矢 k\kvec,其小群定义为

Gk={g∈G  |  gk=k+G, G∈倒格矢集合},\mathcal{G}_{\kvec} = \left\{ g\in \mathcal{G}\;\middle|\; g\kvec=\kvec+\gvec,\ \gvec\in \text{倒格矢集合} \right\},(8.1)

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

对 Γ\Gamma 点而言,k=0\kvec=\bm{0},因此

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

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

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

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

不可约表示(irreducible representation, irrep)的主要用途不是记忆表格,而是给出三条可操作结论:

  1. 能不能混合:同一 irrep 内的模式在保持对称性的扰动下可以混合,不同 irrep 的模式不能直接混合;

  2. 有没有成对:二维 irrep 对应受对称性保护的简并,常与双偏振、双简并候选模有关;

  3. 能不能直射:模式是否能耦合到法向辐射通道,首先取决于它的 irrep 是否与辐射通道的 irrep 匹配。

更直观的说法是:对称操作作用到模场上,场要么保持不变(特征标 +1+1)、要么变号(特征标 −1-1)、要么与另一支模式互换(二维表示)。这三个结果已经足够把绝大多数 Γ\Gamma 点模式分到 A1/A2/B1/B2/EA_1/A_2/B_1/B_2/E 之中。

表 8.1 C4vC_{4v} 的最小特征标表。这里的列是共轭类,而非单个操作。对 PCSEL 最常用的用途,是判断某个 singlet/doublet 在对称操作下属于哪一种 irrep。
irrepEE2C42C_4C2C_22σv2\sigma_v2σd2\sigma_d
A1A_111111
A2A_2111−1-1−1-1
B1B_11−1-111−1-1
B2B_21−1-11−1-11
EE20−2-200

表中的列名可以和几何图像一起读:EE 是恒等操作,2C42C_4 表示 ±90∘\pm 90^\circ 旋转, C2C_2 是 180∘180^\circ 旋转;2σv2\sigma_v 指穿过晶格主轴的两条镜面, 这里取 x=0x=0(σv,x\sigma_{v,x})和 y=0y=0(σv,y\sigma_{v,y}); 2σd2\sigma_d 则指两条对角镜面 y=±xy=\pm x(σd,+\sigma_{d,+} 和 σd,−\sigma_{d,-})。 下标 vv 表示主轴(vertical)镜面,dd 表示对角线(diagonal)镜面。 判断模式所属 irrep 时,可分别对近场分布施加这四个反射, 记录场为偶对称(特征标 +1+1)还是奇对称(特征标 −1-1),再与表中各行对照。

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

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

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

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

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

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

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

方格晶格 Γ\Gamma 点:C4vC_{4v} 分类

对理想方格晶格,Γ\Gamma 点小群是

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

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

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

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

三角晶格 Γ\Gamma 点:C6vC_{6v} 分类

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

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

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

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

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

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

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

Mβα=⟨radiation,β|H^rad|mode,α⟩.M_{\beta\alpha} = \left\langle \text{radiation},\beta \middle| \hat{\mathcal H}_{\mathrm{rad}} \middle| \text{mode},\alpha \right\rangle.(8.3)

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

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

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

⟨rad∣O^∣mode⟩\langle \mathrm{rad}|\hat{\mathcal O}|\mathrm{mode}\rangle

只有在

Γrad⊗Γop⊗Γmode⊃A1\Gamma_{\mathrm{rad}}\otimes \Gamma_{\mathrm{op}}\otimes \Gamma_{\mathrm{mode}} \supset A_1(8.4)

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

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

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

Γrad⊗Γmode⊃A1.\Gamma_{\mathrm{rad}}\otimes \Gamma_{\mathrm{mode}} \supset A_1.(8.5)

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

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

于是,对 PCSEL 最有用的两句话是:

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

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

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

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

ηg=⟨u,T^(g)u⟩⟨u,u⟩,g∈GΓ.\eta_g = \frac{\langle u,\hat T(g)u\rangle}{\langle u,u\rangle}, \qquad g\in \mathcal{G}_\Gamma.(8.6)

若 uu 是 singlet,且数值误差足够小,则 ηg\eta_g 会接近该 irrep 在生成元上的角色值,例如 ±1\pm1。这就能把它初步标到 A1,A2,B1,B2A_1,A_2,B_1,B_2 一类。

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

Dij(g)=⟨ui,T^(g)uj⟩⟨ui,ui⟩⟨uj,uj⟩,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}},(8.7)

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

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

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

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

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

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

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

E~(kx,ky)=∬Et(x,y)e−i(kxx+kyy)dxdy.\tilde{\E}(k_x,k_y) = \iint \E_t(x,y)\ee^{-\ii(k_xx+k_yy)}\dd x\dd y.(8.8)

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

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

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

实际二维 FFT 计算的孔径--远场对照。上排是带正负号的孔径振幅(红正蓝负),不是强度;下排是远场强度(暗为零、亮为峰值),各自归一化至 1。依次取 E_0=[-(x^2+y^2)/w^2]、E_x=(x/w)E_0、E_xy=(xy/w^2)E_0。偶场产生中心主瓣,关于 x 奇对称的场产生两个离轴瓣,同时关于 x,y 奇对称的场产生四瓣。横轴是无量纲角谱波矢,不是极坐标半径。该图为标量近轴孔径算例,不是器件模场预测。
实际二维 FFT 计算的孔径--远场对照。上排是带正负号的孔径振幅(红正蓝负),不是强度;下排是远场强度(暗为零、亮为峰值),各自归一化至 1。依次取 E0=exp⁡[−(x2+y2)/w2]E_0=\exp[-(x^2+y^2)/w^2]、Ex=(x/w)E0E_x=(x/w)E_0、Exy=(xy/w2)E0E_{xy}=(xy/w^2)E_0。偶场产生中心主瓣,关于 xx 奇对称的场产生两个离轴瓣,同时关于 x,yx,y 奇对称的场产生四瓣。横轴是无量纲角谱波矢,不是极坐标半径。该图为标量近轴孔径算例,不是器件模场预测。图 8.3 · 原始 LaTeX/TikZ 图源独立渲染

怎样逐格读图,而不是只数花瓣

令 qx=kxw,qy=kywq_x=k_xw,q_y=k_yw,省去归一化常数后,图 8.3 三种强度分别为

I0∝e−(qx2+qy2)/2,Ix∝qx2e−(qx2+qy2)/2,Ixy∝qx2qy2e−(qx2+qy2)/2.I_0\propto\ee^{-(q_x^2+q_y^2)/2},\quad I_x\propto q_x^2\ee^{-(q_x^2+q_y^2)/2},\quad I_{xy}\propto q_x^2q_y^2\ee^{-(q_x^2+q_y^2)/2}.

所以第二列在整条 qx=0q_x=0 线上为零,峰在 (±2,0)(\pm\sqrt2,0);第三列在两条坐标轴上为零,峰在 (±2,±2)(\pm\sqrt2,\pm\sqrt2)。零点来自有符号振幅的相消,不能对近场强度直接做傅里叶变换。

教学取 w=100 μmw=\SI{100}{\micro\meter}、真空波长 940 nm、空气出光,由 kx=k0sin⁡θxk_x=k_0\sin\theta_x 得第二列峰在 θx≃±0.121∘\theta_x\simeq\pm0.121^\circ,适用小角度近轴近似。脚本采用 512×512512\times512 网格、12w12w 窗口并检查 Parseval 能量守恒。输入先归一化至相同积分功率,下排再分别按峰值归一化以看清形状,所以不能从颜色比较绝对峰值功率。真实 slab 远场仍需辐射面矢量场、介质阻抗和近远场变换,不能拿晶胞内导模直接替代这里的出射孔径。

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

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

频率分裂路径

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

损耗分裂路径

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

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

图 8.4 展示四波耦合后的分类:四个本征态组织成两个单重态和一个双重态,通常对应三个不同频率。双重态包含两个模式,不能称为“三支非简并模”;也不能把 xx 方向分配给单重态、yy 方向分配给双重态,因为四重旋转会交换这两个方向。相位组合见 图 5.2。

四个行波分量、四个本征态与三个频率家族。(a) 行波是展开基底;(b) 四波共同重组为两个单重态和一个含两个态的双重态;(c) 破坏保护双重态的面内对称性,可解除简并。图中不是实际频率标尺,并非任意扰动都会分裂双重态。
四个行波分量、四个本征态与三个频率家族。(a) 行波是展开基底;(b) 四波共同重组为两个单重态和一个含两个态的双重态;(c) 破坏保护双重态的面内对称性,可解除简并。图中不是实际频率标尺,并非任意扰动都会分裂双重态。图 8.4 · 原始 LaTeX/TikZ 图源独立渲染

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

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

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

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

圆孔拉成轴对齐椭圆后,C4vC_{4v} 降为 C2vC_{2v},原 EE 双重态可分为沿两主轴的 B1B_1、B2B_2(标准 xz,yzxz,yz 镜面约定)。法向两个偏振端口也分别属于这两个表示,故两支仍允许法向辐射;不能仅凭椭圆化就说一支变成对称保护暗模。实际辐射率可以不同,但须另算耦合矩阵元。

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

至此,可以把 Γ\Gamma 点模标注整理为以下最小流程:

  1. 先判断平面晶格类型,从而确定 Γ\Gamma 点 little group:方格晶格取 C4vC_{4v},三角晶格取 C6vC_{6v};

  2. 用生成元操作去看目标模如何变换,给它标上 irrep;

  3. 再判断法向辐射通道在该 little group 下属于哪个 irrep:方格取 EE,三角取 E1E_1;

  4. 若 mode irrep 与 radiation irrep 不匹配,则 exact Γ\Gamma 点 direct radiation 被对称性禁止,优先检查它是否属于 symmetry-protected BIC family;

  5. 若随后加入对称性破缺,再问原 irrep 在子群下怎样分裂,以及哪一支更容易获得目标偏振和远场。

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

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

哪些对称性破缺最常见

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

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

具体例子:把圆孔轻微拉成椭圆

定义椭圆度 δ=(rx−ry)/(rx+ry)\delta=(r_x-r_y)/(r_x+r_y),取 rx=r(1+δ),ry=r(1−δ)r_x=r(1+\delta),r_y=r(1-\delta),面积变化为二阶量。用教学二模矩阵

Hf=f0I+[sδ00−sδ],f0=319 THz,s=100 THzH_f=f_0 I+\begin{bmatrix}s\delta&0\\0&-s\delta\end{bmatrix}, \qquad f_0=\SI{319}{THz},\quad s=\SI{100}{THz}

表示一阶扰动。ss 是指定的教学灵敏度,不是全波仿真或实验拟合值。δ=0.02\delta=0.02 时,半轴为 1.02r1.02r 与 0.98r0.98r,本征频率为 321 和 317 THz,分裂为 4 THz,对应真空波长约 934 和 946 nm。

椭圆化例子的二模本征频率。横轴为椭圆度百分数,纵轴为相对 f_0 的频移;直线来自本节给定的一阶模型,不是实际孔结构仿真。分裂表示简并解除,不表示哪支一定激射。
椭圆化例子的二模本征频率。横轴为椭圆度百分数,纵轴为相对 f0f_0 的频移;直线来自本节给定的一阶模型,不是实际孔结构仿真。分裂表示简并解除,不表示哪支一定激射。图 8.5 · 原始 LaTeX/TikZ 图源独立渲染

再给两支模式相同的约束因子 0.04,而总功率损耗取 12 和 16 cm^-1,则材料阈值增益为 300 和 400 cm^-1。还要比较各自频率处的可用增益,才能判断哪支先起振。若只改变上下包层但仍保持面内四重对称,就不能用这个分裂模型声称 x/yx/y 简并必然解除。由此可将几何改变、对称性降低、频率分裂和阈值选择分成四个可检查的步骤。

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

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

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

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

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

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

四类偏振调控途径及其作用接口。图中只表达机制,不给出跨结构通用的消光比。
四类偏振调控途径及其作用接口。图中只表达机制,不给出跨结构通用的消光比。图 8.6 · 原始 LaTeX/TikZ 图源独立渲染

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

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

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

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

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

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

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

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

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

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

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

回看本章

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

练习题

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

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

[进阶] 对三角晶格,说明为什么法向自由空间通道最小地属于 E1E_1,并据此解释 E2E_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