氦化物的多晶型性和形成机制对于理解高压下含氦材料的物理和化学本质至关重要。本文通过无偏的从头算结构搜索预测了两种新的含氦化合物MgHe和MgnHe（n=6, 8, 10, 15, 18），它们在超过750 GPa时形成。令人惊讶的是，在MgHe中于约200 GPa的压力下就出现了一个带隙，这是首次观察到稀有气体驱动的元素金属-非金属转变。同样的机制也被证明适用于其他金属元素，并使铍转变为非金属态，这在其他情况下是不可能实现的。此外，混合氦极大地增强了镁简单立方相（Mg-sc）的稳定性，降低了纯Mg-sc形成有序替代合金相MgnHe的临界压力，从约1.1 TPa降至750 GPa。这是首次报道基于镁的稀有气体替代合金，与传统的观点（氦倾向于占据间隙位置）形成了鲜明对比。观察到的氦的显著影响展示了超高压下含氦化合物丰富的物理和化学特性。

我们在奇异叶层$\mathcal F$存在几何分辨率的温和假设下，构造了一个有限维高阶Lie群胚来对其进行积分。具体而言，通过递归使用由Androulidakis和Skandalis发明的来自非交换几何的双子浸入这一工具，可以将任何奇异叶层的通用Lie$\infty$-代数胚积分到Kan单纯流形中，其中所有组成部分均为具有相同有限维度的非连通流形，且该维度可以选择为给定几何分辨率的秩。其1-截面即为Androulidakis-Skandalis的holonomy群胚。

我们重新分析了“鸟群”的流体动力学理论，即二维极性有序的“干式”活性流体。对于“马尔萨斯”鸟群，其中出生和死亡导致密度快速松弛，从而消除了密度作为流体动力学变量的可能性，我们能够得到三个表征这些系统长距离性质的标度指数之间的两个精确标度律。我们还表明，“马尔萨斯”鸟群在二维空间中显示出长程有序的可能性非常大。此外，我们证明了对于“永生”鸟群，其中鸟群数量守恒，由于存在一个额外的慢变量（数密度），允许更多的非线性项，无法获得任何标度指数之间的精确标度关系。因此，我们证明了之前关于马尔萨斯和永生鸟群的某些标度指数的发表结果都是错误的。

演化末期发生铁芯坍缩的大质量恒星会以成功的超新星爆发或失败的超新星结束其生命。核心坍缩超新星（CCSNe）的物理过程复杂，对其理解需要昂贵的数值模拟。然而，为了进行例如种群综合研究所需的大量且密集采样的超新星前身参数空间采样是不可行的。为了解决这一问题，我们提出了基于半解析超新星模型从核心坍缩初始阶段衍生的多个爆炸判据，这些判据在约3900个异质恒星前身（单星、双星剥离星和吸积星）上进行了测试。这些判据与半解析模型的结果具有>99%的一致性。此外，我们在两个不同团队的29个最新三维CCSNe模拟结果中对这些判据进行了验证。我们发现，所有用于判据的爆炸代理函数在碳氧（CO）核心质量$M_\mathrm{CO}$上表现出两个明显的峰值和一个介于它们之间的谷值，分别对应失败和成功的超新星爆发。CO核心质量的峰值随着金属丰度$Z$和双星系统中氢富集包层移除的时间而系统地移动。通过这些，我们确定了定义直接坍缩形成黑洞窗口的关键CO核心质量值。最终，我们提出了一种基于$M_\mathrm{CO}$和$Z$的CCSNe配方，适用于快速的双星种群综合和其他研究。我们的爆炸判据与限制前身$M_\mathrm{CO}$的超新星观测一致，并通过直接黑洞形成部分解决了缺失红超巨星的问题。

我们提出了一个关于球体和平面上带电表面之间电解质排水流中水动力学力的理论。我们的理论考虑了始终在其厚度范围内处于局部平衡的薄电解质膜。除了常见的润滑力外，我们明确给出了由于扩散电荷传输产生的电动力以及由于静电双层（EDL）中过剩离子浓度传输产生的扩散动力。我们的通用公式涵盖了非重叠EDL和重叠EDL的情况。我们更具体地研究了由小振幅振荡运动引起的机械阻抗。在我们的主要结果中，我们表明，由于电动力效应导致的阻尼增加并不随着表面电荷单调变化，并且预测了一种具有长程衰减为球平面间隙四次幂倒数的扩散刚度，这种刚度可能克服平衡德扬金-兰道-韦伊-奥弗贝克力的刚度。我们将结果与实验进行比较，可以无参数调整地检验静电双层中电解质输运的理论。

我们报告了由费米卫星上的大面积望远镜观测到的2024年9月9日持续伽马射线辐射（SGRE）事件。该事件与多个航天器（如太阳和日球层观测台SOHO、太阳地球关系天文台STEREO、帕克太阳探测器PSP、太阳轨道器SolO、太阳动力学天文台SDO、Wind和GOES）以及地面射电望远镜观测到的日背太阳爆发有关。太阳轨道器STIX光谱成像仪观测到了一次强烈的耀斑，该耀斑发生在日心坐标S13E131，位于东边缘后方约41度的位置。CME磁绳的正向建模显示其以3.54 km s^{-2}的加速度迅速加速，达到峰值速度2162 km s^{-1}。太阳轨道器EPD探测器观测到从扩展激波中产生的高达约1 GeV的质子和产生复杂II型爆的电子，可能还产生了III型爆。SGRE事件和II型爆的持续时间与这些量之间的线性关系一致，该关系是从持续时间超过3小时的更长SGRE事件中获得的。所有这些观测结果均与包围CME磁绳的扩展激波一致，这可能是SGRE事件所需的高能质子的来源。我们将此事件与其他六个BTL SGRE爆发进行比较，发现它们都与高能激波驱动的CME一致。我们还发现了BTL源区在东西方向上的显著不对称性。

窄线赛弗特1型活动星系核（NLS1s）代表了黑洞质量增长历史中的独特阶段，其特征为低黑洞质量（约$10^6$-$10^8$太阳质量）以及接近爱丁顿比率的吸积率。对NLS1s的X射线研究主要局限于局部宇宙（$z < 0.2$），而它们的宽线对应体和射电明亮的类星体则在更高红移处得到了更广泛的研究。在这项工作中，我们对eRASS1目录中观测到的14个红移约为1的SDSS NLS1进行了X射线能谱分析。我们发现，所有eROSITA的观测结果均与基于其2500埃单色亮度预期的2 keV单色亮度一致，进一步支持了活动星系核发射的存在证据。其次，当用幂律模型拟合时，大多数NLS1s的连续谱在0.7-7 keV的本征能量范围内需要光子指数$\Gamma\gtrsim2.5$。值得注意的是，其中一个NLS1的最高光子指数约为4.7，表明软过量辐射有显著贡献。最后，我们的分析显示，通过在X射线亮度上施加一个10-120之间的校正因子，可以将Eddington比率与光学测量值对齐。尽管测量不确定性仍然较大，但我们的结果表明，先前估算该校正因子时所采用的标准几何薄吸积盘模型可能不适用于近Eddington或超Eddington的NLS1 AGNs。最后，我们将此样本与其他极端变化的附近NLS1s以及其他X射线弱AGNs（如JWST观测到的红移$z=5-6$的宽线AGNs）进行比较，强调了更深入的X射线巡天对于更多X射线弱NLS1的重要性。

本文介绍了量子边缘检测，旨在定位所有粒子处于相同纯态的量子域边界。聚焦于一维粒子链场景，我们开发了一种最优的量子边缘检测协议，并通过施图尔-外尔对偶性和半定规划技术高效计算其成功概率。我们分析了成功概率随链长和局域维度变化的行为，特别关注长链极限情况。我们提出了一种基于平方根测量的协议，证明其渐近最优。此外，我们探讨了混合量子变点检测场景，其中粒子态从已知过渡到未知，这可能在检测量子设备故障方面具有实际应用价值。

从第一人称（自我视角）和第三人称（外部视角）视频中学习视点不变的表征是一种有望实现跨多个视角推广视频理解系统的方法。然而，由于自我视角与外部视角之间在视角、运动模式和上下文方面的巨大差异，这一领域尚未得到充分探索。本文提出了一种新颖的掩码式自我-外部建模方法，称为“自己构建视角”（BYOV），该方法促进了因果时间动态和跨视角对齐，用于从未配对的自我-外部视频中进行细粒度视点不变的视频表征学习。我们强调了捕捉人类动作的组合性质作为稳健跨视角理解的基础的重要性。具体而言，设计了自视图掩码预测和跨视图掩码预测，以同时学习视点不变且强大的表征。实验结果表明，我们的BYOV在四个下游自我-外部视频任务的所有指标上显著优于现有方法。代码可在https://github.com/park-jungin/byov获取。

我们在核格点有效场论（NLEFT）框架下，采用辅助场量子蒙特卡罗方法，进行了从头算的核β衰变计算。我们的方法结合了次次领头阶（NNLO）的两体和三体源自χEFT的相互作用，以及一体和二体轴向电流算符，这些算符均一致地由χEFT推导而来。低能常数仅通过A≤3系统的核子-核子散射相移和少体可观测量确定。利用这些相互作用和跃迁算符，我们进行了双通道蒙特卡罗模拟，计算了6He的β衰变矩阵元，结果与实验测量值合理一致。为解决蒙特卡罗符号问题，我们在具有近似Wigner-SU(4)对称性的领头阶哈密顿量附近实施了微扰展开。这一系统的方法为将NLEFT模拟扩展到中质量核的弱相互作用的精确研究奠定了基础。

我们提出了一种图随机游走（GRW）方法，用于研究时间飞行（time-of-flight）范围内复杂分子材料的电荷传输特性。构成材料的分子被表示为有向加权图的顶点，而电荷载流子则被视为随机游走者。边的权重代表电荷载流子沿边跳跃的基本过程速率，由涉及顶点的能量和相互作用强度的组合决定。为了考虑泡利不相容原理，我们在随机游走中引入了排斥机制。在飞行时间实验中，电荷载流子被注入到材料中，并记录其到达收集电极所需的时间。我们的方法允许通过稀疏线性系统直接评估收集节点的预期击中时间，避免了基于高维主方程显式时间演化或从动力学蒙特卡洛（KMC）方法求解的数值繁琐且可能波动的方法。我们通过使用代理晶格模型对真实材料的单个和多个载流子在扩散和漂移-扩散区域内的电荷动力学进行数值研究来验证GRW方法的有效性，该代理晶格模型是在结合量子力学和分子力学方法的多尺度模型框架内模拟的。代理模型允许从基准线调整不同类型和强度的能量无序。与主方程的结果比较证实了两种方法在数值实现中的理论等价性。此外，我们进一步表明，由于采样不足，KMC结果显示出显著偏差。总的来说，我们发现GRW方法为常用的电荷传输模拟方法提供了一种强大的替代方案，且不存在采样问题，并充分利用了稀疏矩阵方法的优势。

CylindricalAlgebraicDecomposition.m2 是 Macaulay2 中首个柱形代数分解（CAD）的实现。CAD 将空间划分为“单元”，在这些单元内输入多项式的符号保持不变。该包为具有有理系数的实多项式集计算开 CAD（仅包含满维单元），使用户能够解决涉及严格不等式的存在性问题。通过构建完整 CAD（包括所有维度的单元），此工具可以扩展以解决任何实数量化消去问题。当前实现采用了 Lazard 投影，并引入了一种新的变量排序启发式方法。

文档检索是信息检索中最具挑战性的任务之一，它需要处理更长的上下文，这通常会导致更高的查询延迟和增加的计算开销。最近，学习型稀疏检索（LSR）作为一种有前景的方法应运而生，旨在解决这些挑战。一些研究者提出通过聚合分段文档并采用不同的后处理方法（如n-gram和邻近分数）、调整表征方式以及学习信号集成等方式，将LSR方法应用于长文档。本研究旨在复现和探讨将LSR方法适配于长文档的机制。我们的复现实验验证了特定片段的重要性，其中首段始终在文档检索性能中占据主导地位。此外，我们重新评估了近期提出的ExactSDM和SoftSDM方法在不同文档长度下的表现，从短文档（最多两段）到较长文档（三段及以上）。我们还设计了多项分析，以探查复现的方法，并揭示全局信息对LSR适配长上下文的影响。本项目的完整代码和实现可在以下地址获取：https://github.com/lionisakis/Reproducibilitiy-lsr-long。

在自主系统中，传感器标定对于在动态环境中安全高效地导航至关重要。准确的标定是可靠感知和规划任务（如目标检测和障碍物规避）的前提条件。许多现有的激光雷达标定方法需要重叠的视场，而其他方法则依赖外部传感设备或假设特征丰富的环境。此外，绝大多数标定算法不支持传感器到车辆的标定。在这项工作中，我们提出了一种名为CaLiV的新颖的目标驱动技术，用于多激光雷达系统的外参传感器间标定和传感器到车辆标定。该算法适用于非重叠视场以及任意标定目标，且不需要任何外部传感设备。首先，我们通过运动产生视场重叠，并利用简单的无迹卡尔曼滤波器获取车辆姿态。然后，我们采用基于高斯混合模型的配准框架GMMCalib将点云对齐到共同的标定帧中。最后，我们将恢复传感器外参的任务转化为一个最小化问题。我们证明，我们的方法能够准确解决传感器间的平移和旋转误差。此外，所有传感器到车辆的旋转角度也可以高精度校准。我们在真实世界实验中验证了仿真结果。代码是开源的，可在https://github.com/TUMFTM/CaLiV获取。

结构化状态空间模型（SSMs）已成为机器学习和控制领域的一种强大架构，其特点在于堆叠的每一层均由一个线性时不变（LTI）离散时间系统及其后的非线性环节组成。尽管SSMs在计算效率方面具有优势，并且在长序列预测中表现出色，但由于难以确保其稳定性和鲁棒性等特性，其在系统辨识和最优控制等实际应用中的广泛采用受到阻碍。我们引入了L2RU，这是一种新型的SSMs参数化方法，通过为所有参数值强制施加指定的L-范数界限来保证输入输出稳定性及鲁棒性。这种设计消除了复杂的约束条件，使得可以通过标准方法（如梯度下降法）对L2RU进行无约束优化。借助系统理论和凸优化工具，我们推导出具有指定L2-范数界限的平方离散时间LTI系统的非保守参数化方法，从而奠定了L2RU架构的基础。此外，我们还通过一种专门设计的初始化策略优化了其在长输入序列上的性能表现。通过系统辨识任务，我们验证了L2RU的优越性能，展示了其在学习和控制应用中的潜力。

Gaia DR3提供了超过660万个类星体候选体样本，具有高完整性但纯度较低。先前关于CatNorth类星体候选体目录的工作表明，结合外部多波段数据并应用机器学习方法可以有效净化原始Gaia DR3类星体候选体目录，并改善红移估计。本文利用SkyMapper、CatWISE和VISTA巡天数据，将Gaia DR3类星体候选体选择扩展到南半球。我们在一个统一的高置信度恒星和光谱确认的类星体和星系集合上训练了XGBoost分类器。对于有Gaia BP/RP光谱可用的源，我们使用预训练的卷积神经网络（RegNet）推导出光谱红移。此外，我们基于XGBoost、TabNet和FT-Transformer训练了一个集成的测光红移估计模型，在验证集上的均方根误差（RMSE）为0.2256，归一化中值绝对偏差为0.0187。通过合并CatSouth与之前发布的CatNorth目录，我们构建了包含近190万个源的统一全天天体目录CatGlobe（$G<21$），为未来的光谱学和宇宙学研究提供了全面且高纯度的类星体候选体样本。

本文探讨了混合量子-经典启发式算法在实际铁路重新调度管理问题中的适用性。我们构建了一个整数线性规划模型，并使用D-Wave的量子-经典混合求解器（CQM）以及CPLEX进行求解以作对比。该方法在波兰一个包含单轨和多轨段的真实异构城市网络中得到验证。模型包含了网络运营商提出的全部要求。计算结果表明了在现实铁路场景中应用量子-经典混合求解器的可行性和优势：它们能够在关键的重新调度时间内提供可接受的解决方案。特别是，CQM作为一种概率性启发式求解器，为调度员提供了多个可行且接近最优的解决方案供其选择。

我们研究了在任意特征为零的代数闭域上有限维代数 \( A \)（具有任意多元运算）上的群分级分类问题。我们引入了一类称为“几乎细分级”的分级，使得 \( A \) 上的每个 \( G \)-分级都可以唯一地从 \( A \) 的一个几乎细分级获得，而这一性质对于细分级并不成立。对于交换群，如果已知细分级，则给出了一种获取所有几乎细分级的方法。我们将这些思想应用于特征为零的半单李代数的情形：对任何具有非零单位元分量的交换群分级，我们附属于一个（可能非约化的）根系，并在单李代数情形下构造了一个由该根系确定的适配分级。

自安德鲁斯和梅尔卡于2012年对欧拉五边形数定理的截断版本的研究重新焕发活力以来，截断θ级数的研究得到了广泛关注。2021年，梅尔卡提出了关于截断雅可比三重积级数的更强猜想。本文针对任意给定的$R$、$S$和$k$，提出了一种系统的方法来确定$n$的下界$N$，使得当$n\geq N$时，梅尔卡的更强猜想成立。具体来说，我们首先将上述θ级数分母中的无穷$q$-移位因子分解为以下两部分： \[ \frac{1}{\left(q^s, q^{r-s}; q^r\right)_{2}}\cdot \frac{1}{\left(q^{2r+s}, q^{3r-s}; q^r\right)_{\infty}}:=\sum_{n=0}^{\infty} p_{4}(n)q^n\cdot \sum_{n=0}^{\infty} g_{s,r}(n)q^n, \] 其中$s=S/(S,R)$，$r=R/(S,R)$互质。第一部分可以解释为仅由$s$、$r+s$、$r-s$、$2r-s$构成的整数$n$的划分函数$p_4(n)$，第二部分则可视为非模形式的无穷乘积。对于$p_4(n)$，我们利用留数定理和划分函数的性质得到了其一般的上下界。进一步结合θ级数的分子，我们推导出一个$n$的下界，使得后续各项系数均为非负值。对于$g_{s,r}(n)$，我们通过在非模形式无穷乘积上应用圆法得到了其上下界，并由此推导出$g_{s,r}(n)$的渐近公式。最后，通过对这两部分的卷积分析，我们确认了当$n\geq N$时梅尔卡的更强猜想成立。进而表明，当$k$足够大时，只需处理第一部分即可给出下界$N$，并且梅尔卡的更强猜想对任意$S$和$R$均直接成立。

软件工程代理的最新进展在自动化程序改进方面展示了有希望的能力。然而，它们对闭源或资源密集型模型的依赖在私有环境中引入了显著的部署挑战，引发了一个关键问题：\textit{可个人部署的开源大型语言模型如何实现相当的代码推理性能？}为此，我们提出了一种统一的测试时计算（Test-Time Compute, TTC）扩展框架，利用增加的推理时间计算而不是更大的模型。我们的框架结合了两种互补策略：内部TTC和外部TTC。在内部，我们引入了一种基于开发上下文的轨迹合成方法，利用现实世界的软件存储库来引导多阶段推理过程，例如故障定位和补丁生成。我们还通过拒绝采样进一步提高轨迹质量，并沿精度和复杂度严格评估轨迹。在外层，我们提出了一种基于开发过程的搜索策略，由奖励模型和执行验证指导。这种方法能够在关键的开发决策点进行有针对性的计算分配，克服现有“仅端点”验证方法的局限性。在SWE-bench Verified上的评估表明，我们的\textbf{32B模型达到了46\%的问题解决率}，显著超过了更大的模型，如DeepSeek R1 671B和OpenAI o1。此外，我们提供了SWE代理中测试时扩展现象的经验验证，揭示了\textbf{模型在面对越来越具有挑战性的问题时动态分配更多标记}，有效增强了推理能力。我们将所有训练数据、模型和代码公开发布，以促进未来的研究。https://github.com/yingweima2022/SWE-Reasoner