若非负双二次张量的M-特征值对应的一对M-特征向量是非负的，则该M-特征值称为M$^+$-特征值；若这对M-特征向量还是正的，则该M$^+$-特征值称为M$^{++}$-特征值。非负双二次张量至少存在一个M$^+$-特征值，并且最大的M$^+$-特征值既是最大的M-特征值，也是M-谱半径。对于不可约非负双二次张量，所有的M$^+$-特征值都是M$^{++}$-特征值。尽管不可约非负双二次张量的M$^+$-特征值在一般情况下不唯一，但本文给出了一个确保其唯一性的充分条件。对于不可约非负双二次张量，最大的M$^+$-特征值具有最大最小化特征，而最小的M$^+$-特征值具有最小最大化特征。提出了一种计算最大M$^+$-特征值的Collatz算法，并报告了数值结果。

时间周期性驱动场可用于产生和控制输运现象。线性响应区间的任何输运系数均受Onsager互易关系的限制，但在周期驱动系统中的这些关系尚未被充分理解。特别是，这类系统自旋输运的Onsager互易关系尚付阙如，尽管其具有至关重要的作用。本文建立了周期驱动系统中电荷和自旋输运的Onsager互易关系。我们考虑了在光泵浦场下非平衡稳态的时间平均电荷和自旋非对角直流电导率$\sigma_{yx}^{\textrm{C}}$和$\sigma_{yx}^{\textrm{S}}$。首先，我们讨论了在圆偏振、线偏振或双圆偏振光泵浦场下的这些电导率的Onsager互易关系。我们证明，在所考虑的所有情况下，$\sigma_{yx}^{\textrm{C}}$和$\sigma_{yx}^{\textrm{S}}$均满足Onsager互易关系，但它们的主要项取决于光的偏振特性。我们的数值计算验证了我们的普遍论点。因此，周期驱动系统中产生的自旋流可以通过逆自旋霍尔效应检测到。我们的数值计算还表明，即使在时间反演对称性破缺的情况下，$\sigma_{yx}^{\textrm{C}}$也不能一定被视为异常霍尔电导率，而$\sigma_{yx}^{\textrm{S}}$在所考虑的所有情况下均可视为自旋霍尔电导率。我们的结果表明，在讨论异常霍尔效应和自旋霍尔效应时，分别需要仔细检查电荷和自旋非对角电导率的主要项。本研究将成为周期驱动系统输运现象理论和实验研究的基石。

我们首次给出了FAST全天中性氢（FASHI）巡天的中性氢质量函数（HIMF）测量结果，并提供了迄今为止本地宇宙中最完整的HIMF测量结果。通过结合红移0 < z < 0.05范围内的HI Parkes全天巡天（HIPASS）、Arecibo Legacy Fast ALFA（ALFALFA）和FASHI巡天的HI目录，这些数据覆盖了整个天空的76%。我们采用了相同的方法来估算距离、计算样本完整性并确定这三个巡天的HIMF。总HIMF的最佳拟合Schechter函数显示低质量指数参数为α = -1.30，膝点质量为log(Ms) = 9.86，归一化值为φ_s = 0.00658，从而得到宇宙中性氢丰度：ω_HI = 0.000454。我们发现，采用相同的斜率α的双Schechter函数更好地描述了我们的HIMF，其中两个不同的膝点质量分别为log(Ms1) = 9.96和log(Ms2) = 9.65。我们验证了所测得的HIMF在距离估计的选择上受到的影响较小。通过结合三个巡天数据，宇宙学方差的影响得到了显著抑制，这为我们提供了一个独特的机会，以获得本地宇宙中无偏的HIMF估计。

本文采用有效理论方法研究了具有自引力和自相互作用的无质量矢量场的非相对论极限。我们的有效理论由三个参数表征：场的质量 \(m_0\) 和自相互作用常数 \(\lambda_n\)、\(\lambda_s\)。为了明确起见，我们集中研究了平衡构型（当它们具有有限能量时通常称为Proca星）。我们根据探索的有效理论的不同部分识别出两种不同类型的Proca星。在一般情况下，即 \(\lambda_s \neq 0\) 的情况下，所有平衡构型都是稳态，其波函数随时间谐振演化。然而，在对称增强的情况下，即 \(\lambda_s = 0\) 时，存在多频态，其波函数除了稳态外还以两个或三个不同的频率振荡。我们确定了固定粒子数的基态构型存在的条件。当满足这些条件时，我们证明最低能量由一个恒定极化且线性或圆形的球形稳态构型达到，具体取决于 \(\lambda_s\) 的符号。我们数值构建了一些球形稳态和多频态的示例解，分析了它们的特性并与我们的解析预测进行比较。与形成固定粒子数相关解空间中离散集的稳态和其他孤立子构型不同，对称增强的扇区表现出连续解，其中包含连接恒定极化稳态的多频态。

太阳大气通过求解处于非局域热动平衡（NLTE）等离子体的极化辐射传输问题进行诊断。在多维NLTE诊断中的一个关键挑战是高效地积分辐射传输方程（RTE），但目前的方法是局部的，即限于恒定传播矩阵。本文介绍了利用Magnus展开对RTE进行非局域积分的形式化方法。我们首先从洛伦兹/庞加莱群内的旋转角度出发（Stokes形式化），从而引出Magnus展开的应用。结合后者与传播矩阵的高度详细的代数特征，我们推导出一个紧凑的解析演化算符，该算符支持传播矩阵的任意变化，并允许逐步考虑Magnus展开的任意阶次。此外，我们还重新表述了RTE的非齐次部分，再次利用Magnus展开，并引入新的非齐次演化算符概念。这提供了RTE的第一个一致、通用且非局域的形式化解，而且效率高且分离了积分与代数形式解。我们的框架通过解析和计算验证，产生了一组新的数值辐射传输方法及其潜在应用，例如加速NLTE计算。经过微小调整，我们的结果适用于其他在狭义相对论和电磁学中共享洛伦兹/庞加莱代数的普适物理问题。

软件内存安全最重要的安全优势可以简单地表述为：对于C和C++软件，攻击者可以利用大多数漏洞完全、无限制地控制软件行为，而对于大多数内存安全的软件则并非如此。幸运的是，这种安全优势——即大多数漏洞不会给予攻击者完全控制权——可以通过未经修改的C/C++软件实现，而无需为每个应用程序付出额外努力。这并不需要尝试建立内存安全性；相反，只需消除大部分软件在内存损坏情况下可能执行的组合方式即可。为了消除这些交错执行路径，已经存在实用的编译器和运行时机制，其开销很小且不需要特殊的硬件或平台支持。这里描述的每种机制已经在一个或多个平台上大规模投入生产使用。通过在开发工具链中支持它们的联合使用，可以迅速且显著地提高所有C和C++软件针对远程代码执行攻击的安全性。

高分辨率X射线光谱学是X射线天文学的重要工具，能够详细研究天体及其物理和化学性质。然而，即使是简单星际和星周分子的高分辨率X射线光谱的全面测绘仍然缺乏。在本研究中，我们进行了系统的量子化学模拟，以预测CN$^+$、CN和CN$^-$的C1s X射线吸收光谱。我们的研究结果为X射线天文学和实验室研究提供了宝贵的参考。我们指派了CN$^+$和CN的第一个电子峰为C1s $\rightarrow \sigma^*$跃迁，而CN$^-$的峰值对应于C1s $\rightarrow \pi^*$跃迁。我们解释说，C1s$\rightarrow\pi^*$跃迁的双重简并性（$\pi^*_{xz}$和$\pi^*_{yz}$）导致CN$^-$表现出比其他两个系统显著更强的第一吸收。我们进一步利用基于多组态水平、非谐势能曲线的量子波包方法计算了这些跃迁的振动精细结构，揭示了280.7 eV、279.6 eV和285.8 eV处0-0吸收的独特能量位置。每个振动精细结构都具有一个突出的0-0峰，整体相似但0-0和0-1峰的强度比不同。值得注意的是，引入C1s内壳层空穴会导致所有物种的C-N键长缩短和振动频率增加。这些发现增强了我们对碳氮物种电子结构和X射线光谱的理解，强调了电荷状态对X射线吸收的影响。

模仿学习需要由状态-动作对序列组成的高质量演示。对于需要灵巧性的接触丰富的灵巧操作任务，这些状态-动作对中的动作必须产生正确的力。当前广泛使用的收集灵巧操作演示的方法由于人类到机器人的运动重定向不直观且缺乏直接的触觉反馈，难以用于展示接触丰富的任务。受这些关注点的启发，我们提出了DexForce。DexForce利用在运动学习过程中测量的接触力来计算带有触觉信息的动作。我们为六个任务收集了演示，并表明基于我们带有力引导的动作训练的策略在所有任务上的平均成功率达到了76%。相比之下，直接基于不考虑接触力的动作训练的策略的成功率接近于零。我们还进行了一项研究，消融了在策略观察中包含力数据的影响。我们发现，虽然使用力数据从未损害策略性能，但它在需要高级别精度和协调的任务中帮助最大，例如打开AirPods盒子和拧开螺母。

随着人工智能的发展，混合专家（MoE）已成为大型语言模型（LLMs）的主要形式，其对模型压缩的需求不断增加。量化是一种有效的压缩方法，不仅能够减小模型规模，还能显著提升性能。现有的量化方法逐渐从参数缩放转向数据分布分析，但这些分析是为密集型LLMs设计的，并依赖于简单的单模型-全数据映射，这种模式不适合MoE。本文提出了一种新的量化框架MoQa。MoQa在多个分析阶段解耦了MoE的数据-模型分布复杂性，定量揭示了稀疏数据激活、数据-参数映射以及专家间相关性的动态过程。在此基础上，MoQa结合最优的数据-模型分布感知能力，识别特定专家和参数的重要性，并提出了一系列适应不同数据激活和专家组合场景的细粒度混合量化策略。此外，MoQa讨论了现有量化方法的局限性，并分析了每个阶段分析的影响，为MoE量化提供了新颖的见解。实验结果表明，MoQa在语言建模任务中的困惑度降低了1.69~2.18，在零样本推理任务中的准确率提高了1.58%~8.91%。我们相信，MoQa将在未来的MoE构建、优化和压缩中发挥重要作用。

高密度数据存储和自旋逻辑器件需要高效全电控自旋矩。迄今为止，通过自旋霍尔效应实现的电荷到自旋转换仅限于具有强自旋轨道耦合的d轨道材料，尤其是重金属。然而，具有强自旋轨道耦合的d轨道重金属会导致较短的自旋扩散长度，从而限制了自旋电子器件中的自旋传输和积累。因此，在d轨道材料中，电荷到自旋转换效率和自旋传输能力之间的矛盾无法调和。在此，我们报道了一种在p轨道In₂Bi合金中实验观测到的大规模电荷到自旋转换现象，该合金表现出与重金属Pt相当大的自旋霍尔角，并且具有较长的自旋扩散长度（为Pt的四倍）。第一性原理计算表明，费米能级附近拓扑对称性保护的带隙开启导致了大贝里曲率相关的自旋霍尔电导。由于p轨道的离域特性和In₂Bi的半金属特性，其自旋电流能够克服d轨道金属中自旋霍尔角和自旋扩散长度之间的物理障碍，从而推动高性能自旋电子器件的发展。

我们引入平方族的概念，该族是由一个统计量的线性变换平方得到的概率密度函数族。尽管平方族具有奇异性，但这种奇异性可以轻松处理，使其成为正则模型。处理奇异性后，平方族具备许多便利的性质。其Fisher信息是Bregman生成器诱导的Hessian度规的保角变换，Bregman生成器即为归一化常数，并在族内定义了一个统计散度。归一化常数具有参数积分因子分解特性，这意味着只需计算一次参数无关的积分即可获得族中所有归一化常数，这与指数族不同。最后，平方族核是计算Fisher信息、统计散度和归一化常数所需的唯一积分。然后我们描述了平方族在更广泛的$g$-族中的特殊性，$g$-族是通过将足够规则的函数$g$应用于统计量的线性变换而得到的。去除特定奇异性后，仅正齐次族和指数族的Fisher信息是Hessian度规的保角变换，且生成器仅通过归一化常数依赖于参数。偶数阶单项式族也具有参数积分因子分解特性，而指数族不具备这一特性。我们研究了平方族中的参数估计和密度估计问题，在正确设定和错误设定下进行了探讨。利用通用逼近性质，我们证明平方族能够以速率$\mathcal{O}(N^{-1/2})+C n^{-1/4}$学习足够良好的目标密度函数，其中$N$是数据点数量，$n$是参数数量，$C$为某个常数。

蛋白质是所有生物体的关键组成部分，在细胞存活中发挥着至关重要的作用。它们在临床治疗到材料工程等领域有着广泛的应用。这种多功能性推动了蛋白质设计的发展，其中氨基酸序列设计是这一过程中的重要一步。近年来，深度生成模型在蛋白质序列设计方面显示出巨大潜力。然而，某些类型的功能性蛋白质序列数据的匮乏可能阻碍这些模型的训练，因为这些模型通常需要大规模的数据集。为了解决这一挑战，我们提出了一种名为ProteinRG的分层模型，该模型能够利用相对较小的数据集生成功能性蛋白质序列。ProteinRG首先利用现有的大型蛋白质序列模型生成蛋白质序列的表示，然后生成功能性蛋白质序列。我们在多种功能性蛋白质序列上测试了我们的模型，并从三个角度评估了结果：多序列比对、t-SNE分布分析以及三维结构预测。研究结果显示，我们生成的蛋白质序列既保持了与原始序列的相似性，又与所需功能保持一致。此外，我们的模型在蛋白质序列生成的其他生成模型中表现出更优的性能。

使用毫米波技术的无线感知系统相较于传统的基于视觉的方法具有明显优势，例如增强隐私保护以及在弱光条件下的有效性。这些系统利用FMCW信号，在定位、手势识别等人机交互应用中取得了成功。然而，针对多样化应用场景的完整毫米波数据集非常稀缺，通常受限于预处理后的签名（如点云或RA热图）以及不一致的标注格式。为克服这些限制，我们提出了mmGen，这是一种专为全场景毫米波信号生成设计的新颖且通用的框架。通过构建物理信号传输模型，mmGen从构建的3D网格中合成人体反射和环境反射的毫米波信号。此外，我们引入了考虑材料属性、天线增益和多径反射的方法，提高了合成信号的真实性。我们在一套包含商用毫米波设备和Kinect传感器的原型系统上进行了大量实验。结果表明，在三种不同环境中，合成信号与真实捕获信号之间的Range-Angle和微多普勒特征的平均相似度分别超过0.91和0.89，证明了mmGen的有效性和实际应用价值。

激光干涉仪空间天线（LISA）旨在探测各种引力波事件，包括大质量黑洞并合、恒星级黑洞吸积以及极端质量比吸积等。LISA能够观测到高信噪比的信号，这引发了对波形精度的关注。此外，其对长时间信号的观测能力将增加贝叶斯推理的计算成本，使得在不引入似然函数或波形加速技术的情况下，使用昂贵且新颖的模型与标准随机采样方法结合变得具有挑战性。在这项工作中，我们尝试解决这些问题。我们将${\tt RIFT}$适应于LISA，利用其尴尬并行架构的优势，无需依赖似然函数或波形加速即可高效分析包含昂贵引力波模型的大数据集。我们通过使用数值相对论代理模型${\tt NRHybSur3dq8}$进行零噪声注入恢复实验，证明了我们的开源代码可以准确推断大质量黑洞双星信号的参数。通过利用推断中所有可用的$m\neq0$模式，我们研究了高阶模式对LISA数据分析的影响。我们还研究了数据集中多个大质量黑洞双星信号对单一信号推断的影响，结果显示所选源的推断结果基本不受影响。此外，我们分析了来自LISA数据挑战Radler和Sangria挑战的LDC-1A和盲LDC-2A数据集。在不使用专用硬件的情况下，我们发现${\tt NRHybSur3dq8}$注入恢复大约需要20小时完成，而对Sangria和Radler数据集的分析大约需要10小时完成。

对于一个孤立的量子多体系统在幺正演化过程中，如果子系统的熵（小于系统一半大小）在长时间后在主阶项上等于该子系统在同一能量下的热力学熵，则称其为热化。本文证明了接近可积性的Sachdev-Ye-Kitaev模型在初始为纯乘积态时的熵热化现象。该模型通过在随机自由费米子模型中添加随机全互作用的四体相互作用作为摄动获得。

根据经典广义相对论（GR）定义的奇点具有令人不快的性质，即在此处所有经典物理定律均失效。这使得大爆炸之前或黑洞信息丢失问题的探究变得困难。本文提出利用黑洞事件视界的对称性恢复相变（SRPT）解决奇点问题。我们证明在这种情况下，奇点被一个具有零外尔曲率张量的高对称性泡状流形所取代。我们还表明，经历这种相变的入射粒子在泡状流形内部会变成无质量、无电荷且角动量为零的状态。此外，我们证明此过程中没有信息丢失或破坏。

经过数十年对近似查询处理（AQP）的研究，其在工业中的应用仍然有限。现有方法难以同时提供用户指定的误差保证、消除维护开销并避免对数据库管理系统进行修改。为了解决这些挑战，我们引入了两种新颖的技术，即TAQA和BSAP。TAQA是一种两阶段的在线AQP算法，能够为任意查询实现这三个特性。然而，如果采用标准的行级采样，它可能会比精确查询慢。BSAP通过在TAQA中启用具有统计保证的块级采样解决了这一问题。我们将TAQA和BSAP集成到一个原型中间件系统PilotDB中，该系统兼容所有支持高效块级采样的DBMS。我们在PostgreSQL、SQL Server和DuckDB上评估了PilotDB在真实基准测试中的表现，结果表明在保证5%误差的情况下，运行速度最高可提升126倍。

维护和扩展软件系统高度依赖于有效的代码重构，然而这一过程仍然耗时费力，需要开发人员仔细分析现有代码库并防止引入新的缺陷。尽管近期进展利用大型语言模型（LLMs）实现了重构任务的部分自动化，但当前解决方案在范围上受到限制，并缺乏确保代码可编译性和测试成功执行的机制。在这项工作中，我们提出了MANTRA，这是一种基于LLM代理的综合性框架，用于自动化方法级重构。MANTRA整合了上下文感知检索增强生成（Context-Aware Retrieval-Augmented Generation）、协调的多智能体协作（coordinated Multi-Agent Collaboration）以及语言强化学习（Verbal Reinforcement Learning），以模拟人类在重构过程中的决策方式，同时保持代码的正确性和可读性。我们的实证研究基于从10个代表性Java项目中提取的703个“纯粹重构”实例（即仅涉及结构改进的代码更改），涵盖了六种最常见的重构操作。实验结果显示，MANTRA显著优于基线LLM模型（RawGPT），其生成的代码能够编译并通过所有测试的成功率为82.8%（582/703），而RawGPT仅为8.7%（61/703）。此外，与IntelliJ的LLM驱动重构工具（EM-Assist）相比，MANTRA在生成提取方法转换方面表现出了50%的性能提升。涉及37名专业开发者的可用性研究表明，由MANTRA执行的重构代码被认为与人工编写的代码一样具有可读性和可重用性，在某些情况下甚至更为有利。这些结果突显了MANTRA的实际优势，并强调了基于LLM系统的潜力，推动软件重构任务的自动化发展。

我们研究了康托尔集的Erdős相似性问题的各种变体。在轻微的Hausdorff或packing对数维数假设下，我们证明了康托尔集不是全测度普适的，这显著改进了已知的事实，即具有正Hausdorff维数的集合不是测度普适的。对于所有的康托尔集$A$，我们证明了一个较弱的结果：存在一个满测度的稠密$G_\delta$集$X\subset\mathbb{R}^d$，使得对于任何双 Lipschitz 函数$f:\mathbb{R}^d\to \mathbb{R}^d$，满足$f(A)+t\subseteq X$的平移$t$构成的集合是零测集。等价地，存在一个零测集$B\subset\mathbb{R}^d$，使得对于所有双Lipschitz函数$f$，$\mathbb{R}^d\setminus (f(A)+B)$也是零测集。

持续学习要求模型能够在连续的任务之间不断训练且不遗忘先前的知识。大多数现有方法采用线性分类器，但线性分类器在学习新任务时难以保持稳定的分类空间。受Kolmogorov-Arnold网络（KAN）在简单持续回归任务中保持学习稳定性成功经验的启发，我们探索其在更复杂持续学习场景中的潜力。本文介绍了一种基于KAN结构为持续学习设计的新型分类器——Kolmogorov-Arnold分类器（KAC）。我们深入研究了KAN的样条函数的影响，并引入径向基函数（RBF）以提高其与持续学习的兼容性。我们将线性分类器替换为KAC，并在多个近期方法中进行实验，涉及各种持续学习基准，所有实验均显示性能提升，凸显了KAC在持续学习中的有效性和鲁棒性。代码可在https://github.com/Ethanhuhuhu/KAC获取。