在朗道能级$\nu=1/2$填充下，复合费米子费米液体（CFL）态是一种由库仑相互作用纯化生成的典型非费米液体。但这种奇异物质状态在哪些方面不同于费米液体？确实发现，与自由电子相比，CFL纠缠熵有显著增强[Shao等，Phys. Rev. Lett. 114, 206402 (2015)]，但随后通过晶格CFL类似物的研究排除了其为有限尺寸效应的可能性[Mishmash和Motrunich，Phys. Rev. B 94, 081110 (2016)]。此外，在$\nu=1/2$库仑基态的准一维极限下并未观察到这种增强[Geraedts等，Science 352, 197 (2016)]。在这里，我们重新审视二维电子气体中实现的CFL态中的纠缠尺度问题。利用蒙特卡罗方法对CFL变分波函数的第二Rényi熵$S_2$进行评估，我们证明了纠缠增强不仅存在于$\nu=1/2$，也存在于$\nu=1/4$，以及$\nu=1$和$\nu=1/3$填充下的玻色CFL态中。在所有情况下，我们发现$S_2$随子系统大小的变化比非相互作用情况有所增强，并且对几何形状的选择和投影到最低朗道能级的敏感性较低。我们还表明，对于CFL态，子系统中粒子数的方差遵循面积律标度，并具有普适的次主导角贡献，这与自由费米子形成了鲜明对比。我们的结果确立了增强的纠缠尺度和抑制的电荷涨落作为CFL态中非费米液体关联性的指纹。

本文研究了秩为$n$的相对自由代数$F_n(\mathfrak{N}_p)$，其中$\mathfrak{N}_p$表示指数为$p$的Lie幂零结合代数簇，且底域的特征为零。当$p=3$和$p=4$时，我们描述了$F_n(\mathfrak{N}_p)$多项式恒等式的显式极小基，对所有的$n$成立，除了$F_3(\mathfrak{N}_4)$。在一般情况下，我们给出了一个下界和上界，使得对于所有的$n$和$p$，$[x_1,x_2]\cdots[x_{2k-1},x_{2k}]$成为$F_n(\mathfrak{N}_p)$的恒等式所需的最小$k$值。

超分辨率、图像修复、整图生成、非配对风格迁移以及网络约束图像重构都涉及机器学习图像合成的一个方面，而在使用时实际的真实情况未知。通常很难定量且权威地评估合成图像的质量；然而，在任务关键型生物医学场景中，稳健的评估至关重要。在本研究中，所有实用的图像到图像比较实际上是相对评价，而非绝对差异量化；因此，可以利用Tversky指数（一种用于评估感知相似性的成熟方法）来实现生成图像质量的有意义评价。该评估程序通过多个真实和模拟图像数据集进行开发和演示。主要结果是，当明确考虑任何特征编码选择的主观性和固有缺陷时，Tversky方法得出的结果直观，而基于深度特征空间距离汇总的传统方法则不然。

强引力透镜是一种强大的工具，可用于探测星系内部结构和演化、暗物质本质以及宇宙膨胀历史等诸多科学应用。在几乎所有这些科学案例中，建模透镜质量分布都是至关重要的。对于星系尺度的透镜，传统的标准方法是对成像数据进行到像素级别的正向建模。然而，传统的正向透镜建模流程需要大量的人类研究者时间，需要通过反复试验对模型设置进行迭代调整。一个自动化的透镜建模管道可以大大减少人类研究者的时间需求。本文介绍了一个名为\textsc{dolphin}的自动化透镜建模管道，它结合了人工智能与传统的正向建模框架，实现了整个建模工作流程的完全自动化。\textsc{dolphin}使用神经网络模型来识别强透镜组件，然后自主设置具有适当复杂度的透镜模型，并利用建模引擎lenstronomy拟合模型。由于lenstronomy的高度通用性，dolphin能够自主地对星系-星系和星系-类星体强透镜进行建模。

FCC-ee上的单个Higgs产生过程在次领头阶（NLO）下探测了Higgs自耦合。提取约束需要进行全局分析，考虑其他可能的新物理贡献直至NLO。我们确定了FCC-ee对标准模型有效场论（SMEFT）框架下Higgs自耦合修正$\delta\kappa_\lambda$的灵敏度，首次将味、LEP、LHC和FCC-ee可观测量纳入全局分析，并通过一阶重正化群演化包含所有领先的NLO效应，同时结合电弱精确性和$ZH$可观测量的有限NLO贡献。通过边际化其他算符的影响估计了对$\delta\kappa_\lambda$的全局灵敏度，并强调了味因素的重要性。我们发现，在合理假设下，FCC-ee对$\delta\kappa_\lambda$的灵敏度可以超过高亮度LHC（HL-LHC）。

提出了一种适用于广泛自然和工程湍流流动的随机数据驱动降阶模型。结合Koopman理论和谱模型降阶的思想，该随机低维膨胀卷积Koopman模型（SLICK）能够准确预测短时瞬态动力学，同时保持长期统计特性。通过离散的Koopman算子演化控制频谱正交模时间动态的卷积坐标，这些模代表了能量上最显著的大尺度相干流动结构。湍流闭合分为两步：首先，通过膨胀卷积坐标包含不同尺度之间的非线性相互作用；其次，将残差误差建模为随机源。利用由数据启发的经验去白化滤波器来维持长时间范围内的二阶流动统计量。通过蒙特卡洛模拟或直接传播模型协方差矩阵量化模型不确定性。该模型在Ginzburg-Landau方程、湍流射流的大涡模拟（LES）数据以及开放腔体流的粒子图像测速（PIV）数据上进行了演示。在所有情况下，该模型根据详细的误差分析在指定的时间范围内具有预测能力，并且能够在任意长时间范围内稳定积分，生成逼真的替代数据。

在Q#中，基于属性的测试方法已被提出并实现为QSharpCheck；然而，该实现功能有限、缺乏可扩展性，并且仅在少数程序上通过单一属性进行了评估。为了解决这些局限性，我们提出了QuCheck，这是一个增强版的Qiskit中的基于属性的测试框架。通过利用Qiskit和更广泛的Python生态系统，QuCheck实现了属性构建，引入了灵活的输入生成器和断言，并支持表达性强的前提条件。我们通过针对五个量子程序（2到10个量子比特）的变异分析对其有效性进行了评估，通过调整属性数量、输入数量以及测量次数来评估它们对故障检测的影响，并展示了在各种条件下基于属性测试的有效性。结果显示，变异分数（即故障检测程度的衡量标准）与评估的属性数量之间存在强正相关关系，而误报率与测量次数之间存在适度负相关关系。在最全面的测试配置中，评估三个属性的测试对五个算法的平均变异分数在0.90到0.92之间，误报率为0到0.04。与QSharpCheck相比，QuCheck识别的故障数量增加了36.0%，尽管有一个误报，但执行时间减少了81.1%。这些结果强调了基于属性测试在验证量子系统方面的可行性。

本文研究有理锥上的积分分段指数函数环。受多面体中格点计数的启发，我们引入了一类特殊的单模锥，称为Ehrhart锥，其积分分段指数函数环具有一个类似于格点计数的典范线性泛函。特别地，我们验证了所有完整的单模锥都是Ehrhart锥，并且在相应的多面体中，Ehrhart泛函与格点计数一致，这可以解释为光滑环簇上向量丛的全纯Euler特征。我们还证明了所有拟阵的Bergman锥都是Ehrhart锥，并且在这种情况下，Ehrhart泛函与Larson、Li、Payne和Proudfoot最近引入的拟阵Euler特征一致。关于锥的Ehrhart性的关键性质是，它仅依赖于锥的支持而非锥的结构，从而为同时研究完整锥和Bergman锥的K-环及Euler特征提供了一个统一框架。

我们证明了存在一个实数集的子集，其和集较大且避免所有线性模式。这一结果扩展了Körner的结果，他证明了对于任意整数$q \geq 1$，存在$\mathbb{R}/\mathbb{Z}$的一个子集$K$，该子集不满足任何非平凡的二阶$2q-1$线性关系，并且$q.K$具有正的Lebesgue测度。通过基于超限归纳法的方法，我们构造了一个具有正外Lebesgue测度的集合，避免所有整系数线性模式。我们还讨论了此类集合的可测性问题。此外，我们提供了$\mathbb{R}^n$中避免某些非线性模式且具有最大Hausdorff维数的子集构造。

现有的基于特征关系的双聚类算法往往依赖于单调性或线性的假设。尽管有一些算法通过采用基于密度的方法克服了这一问题，但它们倾向于遗漏许多双聚类，因为它们使用全局标准来识别密集区域。所提出的RelDenClu方法利用每对特征的边缘密度和联合密度的局部变化，找到构成它们之间关系基础的观测值子集。然后找出由共同观测值集合连接的一组特征，从而形成一个双聚类。为展示该方法的有效性，已在十五种模拟数据集上进行了实验。此外，还应用于六个现实数据集。对于其中三个现实数据集，该方法用于无监督学习，而对于另外三个现实数据集，则用作有监督学习的辅助工具。对于所有数据集，将所提出的方法与七种最先进的算法的性能进行了比较，结果显示所提出算法表现更优。通过在COVID-19数据集上的应用，进一步证明了该算法的有效性，用于识别可能影响COVID-19传播的一些特征（遗传学、人口统计学及其他）。

本研究考察了类似于月球物质的火山样本的矿物组成，重点关注橄榄石和辉石。通过400至1000纳米范围内的高光谱成像，我们创建了数据立方体以分析来自意大利西西里岛北部爱奥尼亚群岛火山岛的样本反射特性，并将其划分为九个感兴趣区域，对每个区域的光谱数据进行分析。我们应用了多种无监督聚类算法，包括K-Means、层次聚类、GMM（高斯混合模型）和光谱聚类，以分类光谱轮廓。主成分分析揭示了与特定矿物相关的独特光谱特征，从而实现了精确识别。不同区域的聚类性能各异，其中K-Means算法的轮廓得分最高，为0.47，而GMM表现较差，得分为仅0.25。非负矩阵分解有助于识别不同方法和橄榄石及辉石参考光谱之间的相似性。层次聚类被证明是最可靠的技术之一，在一个样本中与橄榄石光谱的相似度达到94%，而GMM表现出显著的变异性。总体而言，分析表明层次聚类和K-Means方法在总测量中的误差较低，且K-Means在估算分散性和聚类方面表现出色。此外，与其他模型相比，GMM显示出更高的均方根误差（RMSE）。RMSE分析确认K-Means是所有样本中最一致的算法，表明火山岛地区橄榄石相对于辉石占主导地位。这种主导地位可能与历史上类似的形成条件有关，类似于月球上的火山过程，其中橄榄石丰富的组成在古老的熔岩流和撞击熔融岩石中较为常见。

我们在大-$N$极限下研究了$SU(N)$ $\mathcal{N}=4$超杨-米尔斯（SYM）理论中的Gukov-Witten 1/2-BPS表面缺陷的可积性性质。我们证明，依赖于一组连续参数的普通Gukov-Witten缺陷，在除特殊子扇区外的情况均不可积。与此相反，我们发现依赖于离散参数但不依赖于连续参数的刚性Gukov-Witten缺陷，在离散参数空间的某个角点上表现出可积性。每当我们发现一个可积扇区时，我们推导出$\mathcal{N}=4$ SYM理论中非保护算符的一阶单点函数的闭合形式因子化表达式。我们的结果表明，在参数空间的某个角点存在刚性Gukov-Witten缺陷的情况下，有可能找到非保护算符的一阶单点函数的所有圈阶公式。

在基于模型的工程领域，模型是系统设计和分析的重要组成部分。传统上，这些模型的创建是一个需要深厚建模专业知识以及大量目标系统领域知识的手动过程。随着生成式人工智能的快速发展，大型语言模型（LLMs）在自动化模型生成方面展现出潜力。本文探索了利用LLMs生成实例模型的方法，特别关注从Ecore元模型和自然语言规范生成基于XMI的实例模型。研究发现，当前的LLMs难以直接生成有效的XMI模型。为了解决这一问题，我们提出了一种两步方法：首先，使用LLMs生成包含所有必要实例模型信息的简化结构化输出，即概念实例模型；然后，将此中间表示编译为有效的XMI文件。概念实例模型是格式无关的，可以通过不同的编译器转换为各种建模格式。实验结果表明，该方法显著提高了LLMs在实例模型生成任务中的可用性。值得注意的是，在所提出的框架内，较小的开源模型Llama 3.1 70B展示了与专有GPT模型相当的性能。

加拉伊和米尔格拉姆的经典定理（1960年）断言，对于任意图G，其顶点集可以划分为至多\(\alpha(G)\)个互不相交的路径，其中\(\alpha(G)\)是图G中最大独立集的大小。加拉伊-米尔格拉姆定理的证明是构造性的，并给出了一种在多项式时间内计算至多由\(\alpha(G)\)个互不相交路径覆盖图G的算法。我们证明了对于无向图的一个算法扩展：确定一个无向图能否被少于\(\alpha(G)-k\)个互不相交路径覆盖是固定参数可解的（FPT），参数化为k。更具体地说，我们提供了一个算法，对于n阶图G和整数参数\(k \geq 1\)，运行时间为\(2^{k^{O(k^4)}} \cdot n^{O(1)}\)，并输出图G的一个路径覆盖P。此外，它： - 要么正确报告P是最小规模的路径覆盖， - 要么与P一起输出一个大小为\(|P|+k\)的独立集，证明P包含至多\(\alpha(G)-k\)条路径。 我们的算法中的一个关键子程序是参数化为\(\alpha(G)\)的FPT算法，用于判断图G是否包含哈密顿路径。这一结果本身具有独立的兴趣——在我们的工作之前，即使对于独立数最多为3的图，也未有已知的多项式时间算法来决定哈密顿性。此外，我们开发的技术适用于无向图中的广泛问题，包括哈密顿回路、路径覆盖、最大链路和拓扑子图包含。我们表明这些问题在参数化为图的独立数时都是FPT。值得注意的是，独立数参数化描述了图的密度，这与参数化复杂性研究的典型方向不同，后者关注描述图稀疏性的参数，如树宽或顶点覆盖数。

微调多语言序列到序列大型语言模型（msLLMs）在为低资源语言（LRLs）开发神经机器翻译（NMT）系统方面显示出潜力。然而，在极低资源的NMT设置中，传统的单阶段微调方法面临挑战，因为训练数据非常有限。本文通过提出两种适应msLLMs的方法为人工智能做出贡献：(1) 持续预训练（CPT），即利用领域特定的单语数据进一步训练msLLM，以弥补LRLs表示不足的问题；(2) 中间任务迁移学习（ITTL），一种通过域内和平行数据微调msLLM的方法，以提升其在各种领域和任务中的翻译能力。作为工程领域的应用，这些方法被应用于特定领域的极低资源环境下的Sinhala、Tamil和英语（六种语言对）NMT系统（数据集包含少于100,000个样本）。实验结果显示，与标准单阶段微调基线相比，这些方法在所有翻译方向上的平均BLEU分数提高了+1.47分。此外，多模型集成进一步提升了性能，额外增加了BLEU分数。

本文介绍了矢量类轻子对产生过程的搜索，考虑其衰变为第三代标准模型(SM)夸克和矢量轻子（U₁）的衰变模式，这是由一种紫外完备扩展的标准模型提出的“4321”模型所预测的。假设U₁衰变为第三代SM费米子，最终态可能包含多个τ轻子和b夸克。本研究基于大型强子对撞机LHC第二运行期间，ATLAS探测器采集的√s=13 TeV质子-质子对撞数据样本，对应的积分亮度高达140 fb⁻¹。未观测到超出标准模型背景预期的显著过剩信号，且依据矢量类轻子质量，给出了95%置信水平下产生截面乘以衰变分支比的限制值。矢量类轻子的质量下限被确定为观测值910 GeV（预期值970 GeV）。此外，结果还解释了具有R宇称破缺耦合至第三代夸克和轻子的超对称模型，得到的higgsino质量观测值（预期值）下限为880 GeV（940 GeV），wino质量观测值和预期值下限均为1170 GeV。

在CoHo和CoDy合金单层中观察到单脉冲全光旋手性无关的切换开关现象。报道了一种原始的反转机制，这与迄今为止观察到的机制不同。研究显示，反转过程发生在微秒时间尺度上，涉及畴和畴壁的重新组织/合并。切换开关的原理在于解释超短激光脉冲后稳定化的磁化分布不平衡。

近年来，已有多种技术被报道用于在剥离的六方氮化硼（hBN）中生成光学活性缺陷，这些缺陷对量子光子器件具有变革潜力。然而，在可扩展的hBN薄膜中实现所需缺陷类型的按需生成仍然是一个重大挑战。在此，我们证明了悬浮态、大面积化学气相沉积（CVD）生长的hBN中负硼空位缺陷VB-的形成强烈依赖于轰击粒子（离子、中子和电子）的类型和辐照条件。与悬浮态hBN相比，由于基底产生不可控的次级粒子以及结果对hBN厚度的强依赖性，基底支撑的hBN中的缺陷形成更为复杂。我们通过结合光谱特性和光学检测磁共振特征来识别不同的缺陷类型，区分由轻离子和中子形成的硼空位与其他发射波长为650 nm的光学活性缺陷（归因于反位氮空位NBVN），并揭示了影响自旋晶格弛豫时间（T1）和零场分裂参数的额外暗态顺磁性缺陷的存在，这些特性均强烈依赖于缺陷密度。这些结果突显了在大规模CVD生长hBN中进行精确缺陷工程的潜力，为可扩展的量子光子器件制造铺平了道路。

我们研究了与大素数级数且固定权值的全纯尖形式相关的$L$-函数的低零点的一维密度的$n$阶中心矩。在广义黎曼假设下，我们计算了任意$n\geq 1$时的这一统计量，并且对于其傅里叶变换支撑在$\left(-2/n, \, 2/n\right)$内的测试函数，该统计量可被准确描述。这被认为是当前技术的自然极限。我们的工作显著超越了平凡范围$(-1/n, \, 1/n)$，并且在$n>2$时超过了先前的记录$(-1/(n-1),\, 1/(n-1))$。Katz-Sarnak哲学预测，上述统计量可以由随机正交矩阵特征值的相应统计量建模。我们证明了当测试函数的傅里叶支撑包含在$(-2/n,\, 2/n)$内时，这一预测成立。主要的技术创新是一种处理组合项的可行视角，类似于Conrey-Snaith和Mason-Snaith的工作。作为应用，我们的工作为家族中的$L$-函数在中心点处的零点阶数提供了更好的界。

近年来，学习理论取得了显著进展，表明对于全概念类，列表可复制性、全局稳定性、差分隐私（DP）可学习性和共享随机性可复制性都与Littlestone维数的有限性等价。这一等价性是否可以推广到部分概念类？我们通过证明$d$维$\gamma$-间隔半空间的列表可复制数满足\[\frac{d}{2}+1 \leq \mathrm{LR}(H^d_\gamma) \leq d,\]其中结果随维度增长，回答了这个问题。由此可知，对于部分类，列表可复制性和全局稳定性不一定由有界Littlestone维数、纯DP可学习性或共享随机性可复制性推导得出。应用我们的主要定理，我们解决了几个开放问题：$\bullet$ 无限维大间隔半空间的每个去模糊化为全概念类的操作都有无界的Littlestone维数，回答了Alon、Hanneke、Holzman和Moran（FOCS '21）提出的一个开放问题。$\bullet$ 在$d$维欧几里得空间中的任何有限点集和齐次半空间的最大列表可复制数为$d$，解决了Chase、Moran和Yehudayoff（FOCS '23）提出的问题。$\bullet$ 大间隙条件下Gap Hamming距离问题的每个去模糊化操作都有无界的公共硬币随机通信复杂度。这回答了Fang、Göös、Harms和Hatami（STOC '25）提出的一个开放问题。我们的下界基于Chase、Chornomaz、Moran和Yehudayoff（STOC '24）提出的局部波苏克-乌拉姆定理的拓扑论证。对于上界，我们利用支持向量机（SVM）的泛化性质构建了一个列表可复制的学习规则。