一维光子晶体Zak相位计算：从COMSOL建模到MATLAB实现

1. 项目概述：一维光子晶体的Zak相位计算

在光子晶体研究领域，Zak相位作为描述拓扑性质的量纲一参数，近年来在光学隔离器和拓扑激光器等应用中展现出独特价值。这个项目完整实现了从理论推导到数值验证的全流程计算，特别针对一维光子晶体这种结构简单但物理内涵丰富的体系。不同于常规的能带分析，Zak相位计算需要处理布洛赫波函数的整体性质，这对数值方法的稳定性提出了更高要求。

项目中提供的COMSOL模型文件（.mph）和MATLAB脚本（.m）构成了完整的工具链：前者负责求解本征模式并导出场分布数据，后者则实现Berry联络的数值积分。这种多物理场仿真与数学计算相结合的方式，既保证了物理模型的准确性，又提供了灵活的后期处理空间。值得注意的是，虽然参考了既有研究成果的实现路径，但在网格划分策略、积分路径优化等关键环节都加入了改进措施，使得计算结果更加可靠。

2. 理论基础与算法实现

2.1 Zak相位的物理内涵

Zak相位本质上是Berry相位在一维周期系统中的特例，其数学表达式为：

code复制γ = ∮<u_k|i∂_k|u_k>dk

其中u_k是周期部分的布洛赫波函数，积分沿整个布里渊区进行。对于具有反演对称性的系统，Zak相位只能取0或π（模2π），这直接关联着系统的拓扑分类。

在光子晶体中，电场分量E_z(x,k)对应的本征模式需要通过波动方程求解：

code复制[1/ε(x) ∂²/∂x² + ω²/c²] E_z(x,k) = 0

其中ε(x)是周期介电常数分布。COMSOL的"频域"研究类型正好适用于这类本征值问题的求解。

2.2 数值计算流程设计

完整的计算流程分为三个主要阶段：

1. 参数化扫描阶段：

   • 在COMSOL中建立单位晶胞模型
   • 设置Floquet周期性边界条件
   • 对波矢k在[0,2π/a]区间均匀采样（通常取20-30个点）
   • 在每个k点求解本征频率和场分布

2. 数据导出阶段：

   • 将每个k点的E_z(x)场数据导出为.mat文件
   • 记录对应的本征频率ω_n(k)
   • 特别注意模式排序的一致性（可通过频率大小自动排序）

3. 相位计算阶段：

   • 在MATLAB中实现离散化Berry联络计算：

     matlab复制for n = 1:Nk-1
         overlap(n) = sum(conj(Ez(:,n)).*Ez(:,n+1))*dx;
     end
     gamma = -imag(log(prod(overlap)));
     

   • 加入周期边界处理（首尾k点的连接）

关键提示：为保证数值稳定性，建议对场分布进行归一化处理，并检查每个k点的模式连续性。当出现能带交叉时，需要手动调整模式排序。

3. COMSOL建模关键技术

3.1 几何建模与材料定义

对于典型的一维光子晶体，可采用交替排列的两种介质层（如SiO₂和Si），其几何参数设置示例：

matlab复制% 在COMSOL的模型开发器中
a = 1e-6; % 晶格常数
d1 = 0.4*a; % 材料1厚度
d2 = 0.6*a; % 材料2厚度
epsilon1 = 2.25; % SiO₂介电常数
epsilon2 = 12.25; % Si介电常数

建议使用"参数化曲线"功能精确控制各层尺寸，而非简单的矩形拼接。材料属性通过"材料"节点添加，注意将介电常数设为空间坐标的函数：

code复制epsilon(x) = (x<d1)? epsilon1 : epsilon2

3.2 物理场与边界条件设置

在"电磁波，频域"接口中，需进行以下关键设置：

1. 研究类型选择"频域"，启用"查找本征频率"选项
2. 添加Floquet周期边界条件：
   • 左边界：Floquet周期条件，波数kx = k
   • 右边界：Floquet周期条件，相位延迟exp(-ika)
3. 端口激励设为"无"，避免引入外部激励干扰

网格划分建议采用"用户控制网格"：

• 每个介质层至少划分10个单元
• 使用二阶单元提高计算精度
• 在界面处加密网格（边界层网格）

3.3 数据导出配置

为后续MATLAB处理，需要正确配置数据导出：

1. 创建"参数化扫描"研究步骤，扫描变量为k，范围0到pi/a
2. 添加"导出"节点，选择要保存的场分量（如Ez）
3. 设置导出格式为MATLAB数据文件：
   • 包含几何网格信息
   • 使用结构化变量命名（如Ez_k1, Ez_k2,...）
4. 添加"表格"输出，记录各k点对应的本征频率

4. MATLAB数值计算实现

4.1 数据预处理流程

加载COMSOL导出的数据后，需进行以下预处理：

matlab复制% 加载所有k点的场数据
data = load('exported_data.mat'); 

% 提取网格信息
x = data.mesh.x; 
dx = mean(diff(x));

% 模式排序校验（确保同一能带）
freq_matrix = [data.freq1, data.freq2, ...]; 
[~, idx] = sort(freq_matrix, 2);

特别要注意模式跟踪(modal tracking)问题——当不同能带交叉时，简单的频率排序会导致模式混淆。可采用以下策略：

1. 计算相邻k点模式之间的重叠积分
2. 建立相似性矩阵
3. 使用匈牙利算法进行最优匹配

4.2 Berry联络的数值积分

实现Zak相位计算的核心代码如下：

matlab复制function gamma = calculate_zak_phase(Ez_all, dx)
    Nk = size(Ez_all, 2);
    overlaps = zeros(1, Nk);
    
    % 计算相邻k点间的重叠积分
    for n = 1:Nk-1
        psi_n = Ez_all(:, n);
        psi_n1 = Ez_all(:, n+1);
        overlaps(n) = sum(conj(psi_n).*psi_n1)*dx;
    end
    
    % 处理周期边界
    overlaps(Nk) = sum(conj(Ez_all(:, end)).*Ez_all(:, 1))*dx;
    
    % 计算累积相位
    gamma = -imag(log(prod(overlaps)));
end

为提高计算精度，建议：

1. 对场分布进行归一化：Ez = Ez/sqrt(sum(abs(Ez).^2)*dx)
2. 增加k点采样密度（至少20个点）
3. 检查相位缠绕（phase winding）是否连续

4.3 结果可视化与分析

典型的后处理包括：

1. 能带结构绘制：

   matlab复制plot(k_points, freq_matrix, 'LineWidth', 2);
   xlabel('Wave vector k'); 
   ylabel('Frequency (rad/s)');
   

2. Berry联络分布展示：

   matlab复制stem(k_points, angle(overlaps), 'filled');
   

3. 拓扑不变量输出：

   matlab复制fprintf('Zak phase = %.2fπ\n', gamma/pi);
   

对于具有反演对称性的系统，可通过以下方法验证结果：

• 计算价带所有模式的Zak相位和
• 检查是否接近0或π（理论预测值）
• 对比不同网格密度下的结果稳定性

5. 常见问题与解决方案

5.1 模式混淆与能带交叉

现象：在能带交叉区域，自动排序会导致模式对应错误
解决方案：

1. 实现模式跟踪算法：

   matlab复制% 计算模式相似度矩阵
   similarity = abs(Ez_all(:,:,1)' * Ez_all(:,:,2)); 
   % 使用匈牙利算法匹配
   [assignment, ~] = munkres(1-similarity); 
   

2. 手动指定关键k点的模式顺序
3. 减小k点步长，提高分辨能力

5.2 数值积分不收敛

现象：Zak相位随k点增加波动较大
优化策略：

1. 增加实空间网格密度（COMSOL中细化网格）
2. 采用更高阶的积分方法（如Simpson积分）
3. 检查场分布是否满足周期性边界条件：

   matlab复制err = max(abs(Ez(:,1) - exp(-1i*k_end*a)*Ez(:,end)));
   

5.3 计算效率优化

对于大型模型，可采用以下加速措施：

1. 并行计算：

   matlab复制parfor k_index = 1:Nk
       % 各k点独立计算
   end
   

2. 降维处理：对于TE模式，只需计算E_z分量
3. 内存管理：分批加载场数据，避免内存溢出

6. 应用案例：拓扑相变分析

以典型的Su-Schrieffer-Heeger (SSH)模型为例，演示Zak相位的实际应用：

模型参数：

• 晶格常数a = 1 μm
• 两种介质层厚度比d1/d2从0.2变化到0.8
• 介电常数对比ε1/ε2 = 2.25/12.25

计算步骤：

1. 在COMSOL中参数化扫描d1/d2比值
2. 对每个参数点计算Zak相位
3. 绘制拓扑相图：

matlab复制ratios = linspace(0.2, 0.8, 20);
phases = zeros(size(ratios));

for i = 1:length(ratios)
    % 更新几何参数
    model.param.set('d1', ratios(i)*a);
    % 运行计算...
    phases(i) = calculate_zak_phase(...);
end

plot(ratios, phases/pi, 'o-');
yline(0.5, 'r--'); % 拓扑相变临界点

现象解释：当d1/d2=0.5时，系统发生拓扑相变，Zak相位从0跳变到π。这对应于界面态的出现，可通过计算缺陷模式的局域化程度验证。