考虑了在$m=2n$个变量下，相对于扩展仿射等价性和构造函数$f \oplus \mathrm{Ind}_{U}$的Maiorana--McFarland类$\mathcal{M}_{m}$的闭包$\mathcal{M}_{m}^{\#}$以及扩展$\widehat{\mathcal{M}}_{m}$，其中$U$是$\mathbb{F}_{2}^{m}$中的一个维度为$m/2$的仿射子空间。我们得到了$|\widehat{\mathcal{M}}_{m}|$的显式公式，并对$|\widehat{\mathcal{M}}_{m}^{\#}|$给出了一个上界。同时证明了关于$|\mathcal{M}_{m}^{\#}|$的渐近紧界，例如，$|\mathcal{M}_{8}^{\#}| \approx 2^{77.865}$。还研究了$\mathcal{M}_{m}$和$\mathcal{M}_{m}^{\#}$的度量性质。我们找到了距离集合$\mathcal{M}_{m}$最近的所有Bent函数的数量，并对$\mathcal{M}_{m}^{\#}$给出了相同数量的一个上界。计算了平均数量$E(\mathcal{M}_{m})$，即$\mathbb{F}_{2}^{m}$中满足从$\mathcal{M}_{m}$中的每个函数在其上的$m/2$维仿射子空间上是仿射的子空间的数量。我们得出，类似定义的$E(\mathcal{M}_{m}^{\#})$满足$E(\mathcal{M}_{m}^{\#}) < E(\mathcal{M}_{m})$且$E(\mathcal{M}_{m}^{\#}) = E(\mathcal{M}_{m}) - o(1)$。

近期对估计分布算法(EDAs)的运行时间分析研究主要集中在多值决策变量的一维EDAs上。特别是，多值cGA(r-cGA)和UMDA在多值函数上的运行时间已成为一个重要研究领域。Adak和Witt（PPSN 2024）以及Hamano等人（ECJ 2024）分别首次分析了r-cGA在r值OneMax函数(r-OneMax)上的运行时间。Adak和Witt还引入了一种不同的r值OneMax函数，称为G-OneMax。然而，由于G-OneMax的运行时间分析复杂度更高（因为r-OneMax仅涉及两种类型的分类值，而G-OneMax包含所有可能的值），对于该函数迄今为止只提供了经验结果。本文首次对r-cGA在G-OneMax函数上的运行时间进行了理论分析，证明其运行时间以高概率为O(nr^3 log^2 n log r)。此外，我们改进了之前关于r-cGA在r-OneMax上的运行时间分析，将之前的界优化至O(nr log n log r)，这在二元情况下达到了最优，并且比现有成果提高了渐近因子log n。此外，我们首次考虑了频率边界的情况。

本文通过研究一系列多元多项式，为Chinburg猜想提供了一些解决方案。这些猜想断言，对于每个奇数次二次Dirichlet特征$\chi_{-f}=\left(\frac{-f}{.}\right)$（其中导数为$f$），存在一个二元多项式（或弱版本中的有理函数）使得其Mahler测度为$L'(\chi_{-f},-1)$的有理倍数。为了获得这些猜想的解决方案，我们研究了一类记作$P_d(x,y)$的多项式族，其Mahler测度最近已被研究。我们证明了$P_d$的Mahler测度可以表示为Dirichlet $L$-函数的线性组合，这为解决Chinburg猜想提供了可能性。具体而言，我们证明此族为导数$f=3,4,8,15,20,24$提供了解决方案。值得注意的是，$P_d$多项式还提供了有趣的例子，其中Mahler测度与$L'(\chi,-1)$相关联，这里$\chi$为奇非实本原Dirichlet特征。这些例子启发我们将Chinburg猜想从实本原奇Dirichlet特征推广到所有本原奇Dirichlet特征。对于这一广义形式的Chinburg猜想，$P_d$多项式为导数$f=5,7,9$提供了解决方案。

统计学中的因果模型通常通过有向混合图（ADMG）来描述，这些图包含有向边和双向边且没有有向环。本文综述了ADMG的各种解释，讨论了不同子类ADMG之间的关系，并认为其中一种解释——噪声扩展（NE）模型——应作为默认解释。我们支持NE模型基于两点观察。首先，在被称为未混淆图的ADMG子类中（这些图保留了有向无环图和双向图的良好性质），NE模型等价于许多其他解释，包括全局马尔可夫模型和嵌套马尔可夫模型。其次，任意ADMG的NE模型正好是其所有未混淆扩展的NE模型的并集。此性质称为完备性，因为它表明该模型不依赖任何特定的潜在变量解释。在证明NE模型是嵌套马尔可夫模型的过程中，我们还发展了一种基于ADMG的因果理论。最后，我们将NE模型与另一种常见解释进行了比较，即ADMG作为带有潜在变量的有向无环图（DAG）的解释。我们认为“潜在DAG”解释在数学上是不必要的，隐含了本体论假设，并且阻碍了实践者对重要结构假设的深思熟虑。

求解线性方程组是许多量子算法的关键子程序。在过去的15年里，开发了许多量子线性求解器（QLS），以实现最佳的渐近最坏情况复杂度。大多数QLS假设容错量子计算机，因此目前还无法在实际硬件上进行基准测试。由于渐近缩放更好的算法可能在实际感兴趣的实例上表现较差，哪种算法最具前景的问题仍未解决。在这项工作中，我们提出了一种方法部分解决这一问题。我们考虑了四种著名的直接实现近似矩阵求逆功能的QLS算法：Harrow-Hassidim-Lloyd算法、两个利用单位算符线性组合的算法以及一个利用量子奇异值变换（QSVT）的算法。这些被称为功能性QLS的方法在问题设定和oracle访问方面几乎具有相同的假设。它们的计算成本主要由对矩阵oracle的查询调用决定，该oracle编码了需要解决的问题。我们提供了计算解决特定问题实例所需查询数量的公式；这些公式可用于在没有量子硬件的情况下对真实实例进行基准测试。我们选择了三个数据集：随机生成的满足功能性QLS假设的实例、MIPLIB上的单纯形迭代线性系统以及泊松方程。我们的方法可以轻松扩展到其他数据集，并提供评估QLS算法性能的高层次指南。特别是，我们的工作表明，与其他方法相比，HHL在所有数据集上的表现都明显较差，通常相差几个数量级，而基于QSVT的方法表现出最佳性能。

随着自动驾驶技术的发展，在复杂交通场景下对安全性进行精确评估变得尤为重要，特别是在混合车辆环境中，需要考虑人类对安全性的感知。本文提出了一种用于评估多车情况下交通安全的框架，能够同时利用多种客观安全指标，并通过调整模型参数实现主观安全感知的整合。该框架应用于高速公路车流跟随场景中不同模型配置的评估，采用自然驾驶数据集。模型评估结果显示，尤其是在整合多种客观安全指标时表现出色；并且当考虑周围所有车辆时，性能得到了显著提升。

我们证明了一个关于紧致自然约化齐性空间函数上的拉普拉斯-贝尔特拉米算子谱的公式，该公式用广义Casimir算子的特征值和球面表示来表达。我们将这一结果应用于一大类正规齐性度量的标准变形，从而首次研究了谱如何依赖于度量的形变参数。作为应用，我们给出了紧致正齐性$3$-$(\alpha,\delta)$-Sasaki流形（其度量族包括所有齐性$3$-Sasaki流形）的全谱公式。论文的第二部分专门研究了这一度量族在Aloff-Wallach流形$W^{1,1}=SU(3)/S^{1}$上的谱，并详细计算和分析了该族度量的谱；特别是，我们提供了一个文档化的Python脚本，允许在任何所需的范围内进行显式计算。我们通过此方法重新得到了Urakawa对$W^{1,1}$上$SU(3)$-正规齐性度量的特征值计算，并涵盖了Wilking发现的所有具有正截面曲率的$SU(3)\times SO(3)$-正规齐性实现。由此，我们完成了Urakawa对于具有正截面曲率的紧致单连通正规齐性空间的第一特征值列表。

我们研究了稳定旋转的高磁化中子星以及发生脉冲星脉冲的天体。讨论了利用下一代地面设施（如Einstein Telescope和Cosmic Explorer）以及空间观测台（如DECIGO和Big Bang Observer）在20 Hz以下探测这些源的连续引力波的可能性。我们证明这些构成了有趣的科学目标。我们采用了一种基于已展示性能的稳健灵敏度估计方法来进行未来的搜索。我们表明，所有适合长时间完全相干搜索的高磁化脉冲星和磁星的引力波振幅下限超过了DECIGO和Big Bang Observer预计可检测到的最小引力波振幅。我们发现，如果PSR J1852+0040至少以其自旋下降功率的20%发光，那么它可以通过Cosmic Explorer被探测到。最后，磁星在脉冲后暂现的连续引力波是decihertz探测器的一个有趣目标，几乎所有记录到的脉冲都产生了高于最小可探测水平的自旋下降限制信号。

我们提出了DiTFlow方法，该方法专门针对Diffusion Transformers（DiT）设计，用于将参考视频的运动转移到新合成的视频中。首先，我们利用预训练的DiT处理参考视频，分析跨帧注意力图，并提取一种称为注意力运动流（AMF）的基于补丁的运动信号。通过优化AMF损失来指导潜在去噪过程，以生成再现参考视频运动的视频，这种方法基于优化且无需训练。我们还将这种优化策略应用于Transformer位置嵌入，从而提升了零样本运动传递的能力。我们在多个指标和人为评估下对DiTFlow进行了测试，结果表明其性能优于最近发布的其他方法。

我们研究了电量子点内外不同有效质量对其能谱的影响。根据我们赋予质量的不同值，发现能谱存在显著差异。具体而言，当量子点内部的质量为正值且比外部轻时，能谱增加并分裂为两类由能隙分隔的状态。相反，如果量子点内部的质量比外部重，则能谱状态较少，并需要更强的场来束缚态。最后，当质量发生反转（即量子点内部为负质量而外部为正，或反之）时，会产生新的边缘态能谱曲线。本文详细分析了所有这些情况。

在二倍希格斯双线模型（2HDM）中，仅有六种独立的约束对称性（可重正化的）标量势。例如，标量部分的对称性称为$Z_2\otimes\Pi_2$，由同时作用于标量场上的两个独立对称性的联合生成，以及广义CP对称性称为GCP2，它们产生等价的2HDM标量势。类似的情况也出现在被称为U(1)$\otimes \Pi_2$和GCP3的标量部分对称性中。本文证明了当将相应对称性的定义扩展到包含三代夸克的Yukawa部分时，这种“退化”现象仍然存在。该证明涉及探索所有可能的对称性扩展到Yukawa部分的方式，同时满足非零夸克质量以及非平凡夸克混合矩阵的经验约束。此外，我们发现这种结果是三代夸克构成的Yukawa部分的一个特性。特别是，对于两代夸克，基于将$Z_2\otimes\Pi_2$扩展到Yukawa部分的模型与基于GCP2的模型是不等价的。

本体匹配（Ontology Matching, OM）在实现数据互操作性和知识共享方面起着关键作用，但由于需要大规模训练数据集以及机器学习方法中词汇处理的局限性，其挑战依然存在。近期，基于大语言模型（Large Language Model, LLM）的方法在OM领域展现出巨大潜力，特别是在采用检索-提示管道的情况下。该方法首先检索相关目标实体，然后利用这些实体提示LLM预测最终匹配结果。尽管具有潜力，但这些系统仍然表现出性能有限且计算开销高的问题。为了解决这些问题，我们提出了一种名为MILA的新方法，将检索-识别-提示管道嵌入到优先级深度优先搜索（Prioritized Depth-First Search, PDFS）策略中。这种方法能够高效地识别大量语义对应关系，并仅对最边缘的情况向LLM发出请求，从而提高准确性。我们在2023年和2024年本体对齐评估倡议的生物医学挑战任务中评估了MILA。我们的方法在五个无监督任务中的四个任务中取得了最高的F测度值，比最先进的OM系统高出多达17%。它在表现上优于或至少与领先的监督OM系统相当。此外，MILA展示了任务无关的性能，能够在所有任务和设置下保持稳定，同时显著减少了LLM请求的数量。这些结果表明，通过结合编程（PDFS）、学习（嵌入向量）和基于提示的启发式方法，无需领域特定的启发式方法或微调即可实现高性能的大语言模型本体匹配。

当前基于数据驱动的人脸身份（FaceID）定制方法的所有最先进的模型都需要包含数百万高质量文本-图像对的大规模数据集进行训练。然而，这些数据集没有一个是公开可用的，这限制了透明性并阻碍了该领域进一步的发展。为了解决这个问题，本文收集并发布了FaceID-6M，这是首个大规模开源的FaceID数据集，包含600万高质量的文本-图像对。从LAION-5B数据集中筛选而来，FaceID-6M经过了严格的图像和文本过滤步骤以确保数据集质量，包括分辨率过滤以保持高质量图像和人脸、人脸过滤以移除缺乏人类面孔的图像，以及基于关键词策略以保留包含与人类相关术语（如国籍、职业和姓名）的描述。通过这些清理过程，FaceID-6M提供了一个优化用于训练强大FaceID定制模型的高质量数据集，通过提供开放资源促进该领域的研究和发展。我们进行了广泛的实验以展示FaceID-6M的有效性，表明在我们的FaceID-6M数据集上训练的模型性能与当前工业可用模型相当，并略好于后者。此外，为了支持和推动FaceID定制社区的研究，我们将代码、数据集和模型完全公开可用。我们的代码、模型和数据集可在https://github.com/ShuheSH/FaceID-6M获取。

我们提出了一种新的方法来估算微扰预言中缺失高阶项引起的不确定性（即“理论不确定性”），该方法克服了目前广泛使用的基于非物理重整化尺度变化方法的许多固有限制。在我们的方法中，理论不确定性的真正来源——即缺失的高阶项——被识别并用相互独立的理论无关参数（TNPs）进行参数化。这些TNPs是计算的真实参数，即它们具有明确的真实值，且这一值未知或仅以不精确的方式已知。这种方法赋予理论不确定性真正的参数不确定性所具有的所有优点：它提供了正确的相关性，并允许一致的误差传播和组合。此外，TNPs可以在拟合过程中被轮廓化，从而使数据能够减少理论不确定性。从理论上讲，它允许最大限度地利用所有可用的高阶信息来减少理论不确定性，例如部分高阶结果或对高阶或全阶结构的任何非平凡知识。我们首先一般性地讨论了该方法，因为它可以应用于微扰计算的所有领域。作为一个具体应用，我们随后讨论了Drell-Yan产生中的重整化横向动量($q_T$)谱，以及基于TNP的不确定性如何正确捕获$q_T$谱之间的相关性以及$Z$和$W$产生的相关性。这个应用是CMS实验最近精确测量$W$玻色子质量的理论模型的基础。在即将发表的论文中，我们将用它来研究从$Z$的$q_T$谱提取强耦合常数$\alpha_s$的理论不确定性。

对于真实噪声去除的有监督训练而言，由于难以收集配对的噪声图像和干净图像的大规模数据集，面临着诸多挑战。近期的方法试图通过利用未配对的清洁图像和噪声图像数据集来解决这一问题。一些方法通过生成合成的清洁-噪声对，以监督的方式训练去噪器。然而，这些方法往往因合成噪声图像与真实噪声图像之间的分布差距而表现不佳。为缓解这一问题，我们提出了一种基于输入稀疏化的解决方案，具体采用随机输入掩码。我们的方法被称为掩码、修复和去噪（Mask, Inpaint and Denoise, MID），训练一个去噪器同时进行去噪和修复合成的清洁-噪声对。一方面，输入稀疏化减少了合成噪声图像与真实噪声图像之间的差距；另一方面，以监督方式训练的修复器可以通过预测缺失的清洁像素（利用剩余未掩码像素）准确重构稀疏输入。我们的方法从合成高斯噪声采样器开始，并通过迭代使用由去噪器预测结果衍生出的噪声数据集对其进行逐步优化。噪声数据集通过在每次迭代中用真实噪声图像减去预测的伪清洁图像创建。其核心思想是改进去噪器可以生成更准确的噪声数据集，从而得到更好的噪声采样器。我们在真实噪声图像数据集上进行了广泛的实验，验证了该方法的表现与现有的无监督去噪方法相比具有竞争力。

这是一系列从流形边理论角度研究计数几何中定向问题的第二篇论文。第一篇论文为arXiv:2312.06818。本文专注于那些可以通过形式论证和代数拓扑计算直接建立的规范场论应用。我们证明了紧致spin流形上的所有主$G$-丛$P\to X$对应的联络模空间同时可定向当且仅当某个映射$\Omega_n^{\rm Spin}(\mathcal L BG)\to{\mathbb Z}_2$在$G$的分类空间自由环路空间的$n$维spin流形边群上的取值为零，并给出了满足此条件的所有紧致连通李群$G$的完整列表。此外，我们利用流形边技术证明了对于所有主SU(2)-丛，$G_2$瞬子模空间存在mod-$8$型Floer度量。我们还证明了对于所有满足$c_2(P)-c_1(P)^2=0$的紧致spin$8$-流形上的主U$(m)$-丛$P\to X$，存在典范定向，其证明依赖于主$E_8$-丛的一个有趣关系。这些典范定向在关于Calabi-Yau$4$-流形上的Donaldson-Thomas型不变量的许多猜想中发挥重要作用，并解决了这些猜想中的一个明显矛盾。

我们研究了函数 \( f: [0, 1]^d \to [0, 1]^d \)，其同时具有单调性和压缩性，并探讨了寻找 \( f \) 的 \(\varepsilon\)-近似不动点的问题。我们证明该问题属于复杂性类 UEOPL。我们给出了一种算法，能够使用 \( O(\log(1/\varepsilon)) \) 次对 \( f \) 的查询，找到三维单调收缩映射的一个 \(\varepsilon\)-近似不动点。此外，我们还给出了一个分解定理，利用这一结果，得到了一种算法，能够使用 \( O((c \cdot \log(1/\varepsilon))^{\lceil d / 3 \rceil}) \) 次对 \( f \) 的查询，找到 \( d \)-维单调收缩映射的一个 \(\varepsilon\)-近似不动点（其中 \( c \) 是某个常数）。此外，我们的两种算法的每一步时间复杂度均为 \( f \) 表示形式的多项式级。这些结果比仅具有单调性或仅具有压缩性的函数的现有最佳结果更优。所有这些结果也适用于 Shapley 随机博弈，因为后者已知可以归约为单调收缩映射问题。因此，我们将 Shapley 博弈归入 UEOPL，并给出了更快的算法来近似 Shapley 博弈的值。

2019年，Fox、Tidor和Zhao（arXiv:1911.03427）证明了固定有限域向量空间中复杂度为1的线性模式的诱导算术去除引理。在不对模式做进一步假设的情况下，该引理不能保证完全消除给定模式的空间重新着色，因为一些“非通用”实例必然需要保留。另一方面，Bhattacharyya等人（arXiv:1212.3849）表明，在平移不变模式的情况下，可以实现完全消除给定模式的重新着色，不留任何例外。本文证明了对于所有复杂度为1的分区-正则算术模式，都可以实现这种完全去除。

核糖体是所有已知生物体内负责蛋白质合成的关键生物纳米机器。核糖体的功能与动力学可以通过分子动力学计算机模拟进行研究。尽管这一任务在原子水平上仍然具有挑战性，但已有几项研究报道了整个核糖体的全原子分子动力学模拟。然而，由于可实现的模拟时间尺度限制，对于某些应用而言，原子尺度的模拟并不实用。本研究探讨了粗粒度MARTINI模型用于细菌核糖体模拟的适用性。经过测试多种模拟设置后，我们发现与参考实验结构相比，核糖体及其组分的结构通常得到了良好的表征。与整个核糖体的全原子模拟相比，粗粒度模拟产生的核糖体较为刚性和体积较小。我们展示了如何通过调整模型的一些参数来增强核糖体的动力学特性，使其更接近原子模型。我们的工作为核糖体的粗粒度模拟提供了详细的操作流程，并指出了需要改进的模型方面。

Kashuba和Mathieu提出了一种关于某些李代数同调分量消失的猜想，该猜想暗示了自由$d$生成Jordan代数的$GL_d$-模结构描述。他们的猜想依赖于一个函子化的Tits-Kantor-Koecher构造，该构造通过Jordan代数构建李代数。最近，Shang利用Allison、Benkart和Gao提出的函子化构造，该构造通过交错代数构建李代数，提出了另一个关于某些李代数同调分量消失的猜想，该猜想暗示了自由$d$生成交错代数的$GL_d$-模结构描述。本文解释了为什么Shang的猜想不成立。