我们证明了对于所有粒子划分相对于其具有正偏部分转置的多部分量子态可以在线性干涉仪中胜过可分态。我们引入了一种强大的迭代方法来寻找这样的态。我们给出了一些多部分态的例子，并研究了精度与粒子数的关系。还展示了一些具有对噪声非常稳健纠缠的双部分例子。我们还讨论了计量学有用性与贝尔不等式违背之间的关系。我们发现不违反任何贝尔不等式的量子态可以在计量学上胜过可分态。我们展示了具有正偏部分转置以及非正偏部分转置的此类态。

恒星发电机组织的大尺度磁场与由于磁化星风导致的角动量损失率之间存在着复杂的关系。大尺度发电机运作的一个重要组成部分是科里奥利力，它在全局对流模式上印刻出有组织的流动，并抑制双极磁区的完全抵消。因此，自然预期存在一个大尺度发电机作用以及通过磁制动介导的有效角动量损失的旋转阈值。在这里，我们为早期K型恒星的演化序列提供了关于磁制动的新观测限制。为了确定每个目标的风制动扭矩，我们将大规模磁场的光谱偏振约束、Lyα或X射线对质量损失率的约束，以及对恒星自转周期、质量和半径的一致估计相结合。正如先前从较热恒星的类似观测中所发现的那样，我们在恒星Rossby数达到临界值时发现风制动扭矩突然减少了超过一个数量级。鉴于样本中的所有恒星都显示出明显的活动周期，我们认为减弱的磁制动可能与次临界恒星发电机的操作相吻合。

我们研究了在具有高斯协变量（未知协方差结构）的普通最小二乘回归问题中，以隐私保护的方式获得预测误差保证的任务。我们提供了第一个在纯差分隐私和近似差分隐私下都具有最优样本复杂度且运行时间为多项式的算法。我们证明，任何对该算法样本复杂度的改进都将违反统计查询或信息论的下界。此外，我们的算法对少量任意异常值具有鲁棒性，并且能够根据异常值的比例实现最优的误差率。相比之下，所有先前有效的算法要么具有次优的维度依赖样本复杂度（例如依赖于协变量的条件数），要么在隐私参数上表现出多项式级别的退化。我们的技术贡献分为两部分：首先，我们在平方和框架内利用高斯分布的弹性保证。由此，我们获得了针对最优鲁棒性和样本复杂度的高效平方和回归算法。其次，我们将最近提出的抗差性到隐私框架 [HKMN23, (arXiv:2212.05015)] 推广至考虑输入样本协方差所诱导的几何结构。该框架的关键在于抗差估计器必须是平方和算法，结合这两步可得到一个达到最优样本量的私有回归算法。我们认为这些技术本身具有独立的研究价值，并通过其展示了对带有协方差感知的均值估计问题的高效算法，同时在隐私参数上实现了最优依赖性。

在这项工作中，我们证明了具有经典优势蒸馏（CAD）协议增强的量子会议密钥协商（QCKA）协议的安全性。我们推导出在有限密钥设置下的安全性证明，能够对任意一般的、相干的攻击绑定安全密钥率。我们评估了系统的性能，表明我们的结果可以在某些但并非所有场景下提高协议的抗噪能力。

纤维蛋白原是纤维蛋白的单体单元，而纤维蛋白是血液凝块的主要成分，具有非常复杂的结构。通过半交错堆积以及$\alpha$C交联剂的扣环相互作用，纤维蛋白原形成纤维蛋白纤维和网络。由于其丰富的结构，弹性行为表现出极高的可拉伸性和应力-应变行为中的多个阶段，这些特性尚未被完全理解。我们为纤维蛋白原开发了一种包含展开效应的粗粒化聚合物（UCGP）模型，以研究结构域展开对纤维蛋白纤维和网络力学行为的影响。我们的模型捕捉到了原子力显微镜（AFM）和全原子模拟中观察到的纤维蛋白原拉伸行为。进一步地，我们将该模型扩展到纤维蛋白纤维层面，以研究分子在纤维和网络层面展开的影响。我们预计该模型能够解释交联纤维蛋白凝胶的非线性力学行为，这可能是首个考虑交联蛋白质中结构域展开精确可控影响的此类模型。此外，该模型还可用于模拟具有牺牲键的系统。

无损凸化（Lossless Convexification, LCvx）是一种建模方法，通过凸松弛将一类非凸最优控制问题（主要由控制约束引起的非凸性）转化为凸问题。这些凸问题在离散化后可以使用多项式时间数值方法求解，从而将原始无限维问题转化为有限维问题。然而，现有的LCvx理论仅限于连续时间最优控制问题，因为松弛后的凸问题与原始非凸问题的等价性仅在连续时间下成立。本文通过将离散时间最优控制问题分类为常规情形和长时间跨度情形，将LCvx扩展到离散时间最优控制问题。对于常规情形，在对系统动力学（递归等式约束）进行任意小的扰动后，应用现有的LCvx方法到离散时间问题可得到满足原始非凸约束的最优控制，且最多在$n_x-1$个时间网格点上不满足，其中$n_x$为状态维度。对于长时间跨度情形，现有LCvx方法失效，但通过结合二分搜索方法，并利用松弛凸问题中值函数的连续性，我们实现了类似常规情形的结果。本文改进了LCvx的理论基础，拓展了其在实际离散时间最优控制问题中的适用性。

本文回顾了在直线正负电子对撞机上的物理机遇，特别关注高质心能量和束流极化，并重新审视了现有的或正在开发的各种加速器技术。首次讨论了一种最初采用成熟技术建造的设施如何通过未来的技术升级来达到更高的能量和/或亮度。此外，我们还将讨论探测器和替代对撞机模式，以及作为直线对撞机设施（LCF）一部分的超越对撞机实验和研发设施的机会。本文的内容将支持所有关于正负电子直线对撞机的计划及其提供的额外机会，无论技术选择或提议的地点为何，同时也为先进加速器技术的研发提供支持。这种对物理目标、早期技术和升级策略的综合视角是由LCVision团队基于2024年东京LCWS会议的初步讨论和2025年1月在CERN举行的LCVision社区活动后续发展而形成的。它极大地依赖于全球直线对撞机社区数十年来的成就，特别是在CLIC和ILC背景下。

我们研究了参数高效的图像到视频探测方法，以应对未解决的近似对称动作（视觉上相似但时间顺序相反的动作，例如打开和关闭瓶子）识别挑战。现有的基于图像预训练模型（如DinoV2和CLIP）的探测机制依赖于注意力机制进行时间建模，但本质上是排列不变的，导致无论帧的顺序如何，预测结果都相同。为了解决这一问题，我们引入了自注意力时序嵌入探测（STEP），这是一种简单而有效的方法，旨在参数高效的图像到视频迁移中强制执行时间敏感性。STEP通过三项关键修改增强了自注意力探测：(1) 可学习的帧级位置编码，显式地对时间顺序进行编码；(2) 单一全局分类标记，用于序列一致性；(3) 简化的注意力机制以提高参数效率。在四个活动识别基准数据集上，STEP的表现比现有图像到视频探测机制高出3%-15%，并且仅使用了三分之一的可学习参数。在两个数据集上，它超越了所有已发表的方法，包括完全微调的模型。STEP在识别近似对称动作方面具有显著优势，比其他探测机制高出9%-19%，比参数更重的PEFT基迁移方法高出5%-15%。代码和模型将在公开发布。

光子灯笼消光器（PLN）是一种用于表征宿主恒星单束宽内系外行星的仪器概念。PLN 利用模式选择性光子灯笼（MSPL）的空间对称性生成消光端口，这些端口能够抵消轴上恒星光，同时允许轴外系外行星光耦合。系统中的波前畸变以及灯笼的不完美限制了消光深度。我们展示了一种隐式电场校正算法，该算法可以将通过 PLN 的恒星光耦合降低数个数量级，同时保留大部分轴外光，从而实现更深的消光深度（~10^{-4}），提高对潜在行星信号的敏感度。我们讨论了不同端口之间的权衡理论，即 iEFC 改善某些端口的消光深度的同时会牺牲其他端口，并表明单独针对一个端口比同时针对所有端口能获得更深层次的恒星光抑制。此外，我们观察到不同端口的稳定性差异，并探讨了在科学观测中实际应用此技术的影响。

量子电荷耦合器件（QCCD）是实现大规模囚禁离子量子计算机的重要架构之一。为了实现QCCD架构，必须在最小化运动激发的同时快速运输离子。通过高偏频实现高质量离子传输需要高电压源。本研究报道了一种基于现场可编程门阵列（FPGA）的数字模拟转换器（DAC）系统的开发，其输出电压范围为±50V，并展示了其在离子运输操作中的有效性。该设备提供16通道模拟输出，最大更新速率为每秒16兆次更新（MUPS），上升速率为20V/μs，带宽大于200kHz。通过二次规划优化电压设置，我们实验确认此DAC系统可以实现超过两倍的本征频率，而当输出范围限制在±10V时可达的本征频率，这与所有电极电压放大5倍会使得本征频率放大到平方根5倍的事实一致。由于许多商用DAC的输出范围通常限制在±10V，这种提升对于诸如运输、分裂和合并等离子穿梭操作具有重要意义。所开发的DAC系统有望提高离子运输速度，从而减少基于QCCD的量子计算机的处理时间。

我们提出了一种针对已知和未知宇宙中所有事物、物体、概念以及关键事物的全新分类方案的结果。我们对肉、汤和蔬菜的定义几乎涵盖了所有情况，并标志着任意分类这一快速发展的科学领域进入了一个新纪元。尽管蔬菜（生长于地面）、肉（生长于动物体内）和汤（包含蔬菜和肉）的定义在最初看来简单明了，但我们讨论了一系列复杂案例，并就尽可能多的事物提供了定义和澄清，这些成果是在一个周末的努力下完成的。

星系内禀 alignments（IA）是宇宙剪切信号（GG）中的重要污染源。对于交叉关联红移子样本而言，星系本征椭率-引力剪切（IG）相关性通常是这种污染的主要组成部分。自校准（SC）方法是减轻GG信号中此类污染最有效的方法之一。在光学巡天中，SC方法首先利用透镜-源对红移依赖关系从观测到的星系-星系透镜相关性中提取星系数密度-星系本征椭率（gI）相关性。通过gI相关性和其他透镜观测值的尺度关系计算IG相关性。我们通过对尺度关系进行修改，将SC方法扩展到非线性区域，使其能够考虑非线性星系偏倚模型以及各种IA模型。本研究为鲁宾天文台时域巡天（LSST Y1）提议的第一年源星系红移子样本提供了检测IG相关的框架。我们针对潮汐排列和潮汐转矩（TATT）模型进行了IA测试，并发现对于交叉关联和自关联红移子样本，尺度关系的精度分别在10%和20%以内。因此，IG污染的抑制因子分别为10和5。我们还测试了该方法的稳健性，并发现即使在IA和偏倚参数存在适度不确定性的情况下，对于所有交叉关联红移子样本组合，IG污染的抑制因子仍可达到5。[摘要缩短版]

近年来，基于语音驱动的三维说话头生成在唇部同步方面取得了显著进展。然而，现有模型仍然难以捕捉不同语音特征与其对应唇部运动之间的感知对齐关系。本文提出，实现感知准确的唇部运动需要满足三个关键标准——时间同步性、唇读可辨性和表现力。受此启发，我们假设存在一个理想的表示空间能够满足这些标准，并引入了一种语音-网格同步表示，以捕获语音信号与三维人脸网格之间的复杂对应关系。研究发现，我们所学习的表示具有理想特性，将其作为感知损失嵌入到现有模型中，可以更好地使唇部运动与给定语音对齐。此外，我们利用该表示作为感知度量，并提出了两种基于物理的唇部同步度量方法，以评估生成的三维说话头在多大程度上符合这三个标准。实验表明，使用我们的感知损失训练三维说话头生成模型可显著改善唇部运动的三个感知准确性方面。代码和数据集可在https://perceptual-3d-talking-head.github.io/获取。

我们研究了具有融合范畴对称性的(1+1)d 对称保护拓扑(SPT)相。我们强调，无反常融合范畴对称性的紫外描述必须包含纤维函子，从而产生局域对称作用、荷范畴和平凡相。我们在具有张量积希尔伯特空间的晶格模型中构造了霍普夫代数对称算符的“局域”矩阵乘积算符(MPO)版本。特别地，我们提出了一种系统框架，用于分类和构造具有非可逆对称性的SPT相。一个SPT相对应于荷范畴中的Q系统，当遗忘对称性时，该Q系统成为矩阵代数。作为一个例子，我们给出了$\mathsf{Rep}^\dagger(D_8)$的所有三个SPT相的显微镜实现，包括平凡相，并进一步展示了这三个SPT相之间的$S_3$对偶性。

实现一个包含各种参与者和交互的远程操作系统的任务极具挑战性，需要对必要功能有全面了解。本文从文献中收集了自动化车队控制中心中的所有任务，并将其分配给远程操作员和车队管理员这两个角色。聚焦于远程操作员的驾驶相关任务，推导出一个包含任务顺序、相关车辆状态以及状态之间转换的过程。由此得出的状态图展示了所有可用于有效解决自动化车辆脱离自主运行状态的远程操作员操作。因此，该状态图可应用于现有法规或根据特定交互的禁止要求进行修改。所开发的控制中心框架及包含的状态图应作为在公共道路上实现和测试自动化车辆远程支持的基础。

高角分辨率是扩展天文研究多个领域知识的关键。除了新仪器的发展，后处理算法的进步可以提升观测所能达到的性能，将存档观测转化为宝贵资源。我们开发了一种名为“zoom-in”的机器学习工具，能够通过最优重组短曝光序列图像，将天文图像的角分辨率提高约100倍。在对真实照片进行训练后，我们利用该方法对通过欧洲南方天文台（ESO）仪器拍摄的月球存档图像进行了测试。我们实现了月球表面约1米的空间分辨率。在分析样本中的一个区域时，我们在阿里斯塔克斯陨石坑内发现了明显具有人为起源的结构，这些特征与古代城市和城堡的遗迹一致。通过对相关文献的详细分析，我们得出结论，这一山谷与卢多维科·阿里奥斯托的《疯狂的奥兰多》中描述的地方相符，即所有人类丢失物品聚集堆积之地。从我们的图像表面亮度分析显示异常高的反照率（约0.25），进一步支持了这一观点，表明存在大量玻璃物质。我们推断月球表面存在超过10亿个“人类智慧的蒸馏瓶”，并对其来源进行了详细探讨。我们敦促由阿耳忒弥斯宇航员执行一项名为“astolfo”的专门任务，以回收这些人类智慧并带回地球。

本文提出了一种包含广义Chaplygin型气体的高维宇宙学模型，用于解释近期宇宙加速膨胀的现象。该模型允许维度约化，并且我们的解具有普适性，当$d=0$时，可以恢复所有已知的四维Chaplygin驱动宇宙学的结果。利用通过差分年龄方法（DA）获得的Hubble-57数据，绘制了最佳拟合曲线并估计了模型参数的观测约束条件。该模型的一个显著特点是场方程相对于尺度因子高度非线性。这种非线性使得我们可以描述尘埃主导和加速膨胀的宇宙，尽管仅在极端情况下。我们得到了非线性场方程的新颖有趣的解。我们采用关键方程的一阶近似，从而推导出尺度因子的时间相关精确解。对于较大的尺度因子，高维宇宙学模型收敛到$\Lambda$CDM模型，捕捉到了加速翻转的特征。我们还从解析和图形角度探讨了减速参数、有效状态方程、jerk参数等的演化。Chaplygin气体参数$\alpha$远小于1，显然当前模型不支持纯Chaplygin气体模型（$\alpha=1$）。然而，较低的值与我们的分析一致，表明在宇宙后期预期会有较小的$\alpha$值。

本文研究了非平稳环境下在线强化学习（RL）的问题，其中随时间变化的外生上下文过程会影响环境动态。由于“灾难性遗忘”（CF），在这些环境中进行在线RL具有挑战性。随着代理不断训练新经验，它往往会忘记先前的知识。为缓解这一问题，已有方法通常假设任务标签（而这些标签在实际应用中往往不可用），采用易碎的正则化启发式方法，或者使用存在不稳定性和性能不佳的离策略方法。我们提出了局部约束策略优化（LCPO），这是一种在线RL方法，通过在旧经验上锚定策略输出，同时优化当前经验的回报来对抗CF。为了实现这种锚定，LCPO利用位于当前上下文分布之外的经验样本对策略优化进行局部约束。我们在Mujoco、经典控制和计算机系统环境中使用各种合成和真实上下文轨迹评估了LCPO，并发现其在非平稳设置下优于多种基线方法，同时在所有上下文轨迹中实现了与“先知”离线训练代理相当的结果。LCPO的源代码可在https://github.com/pouyahmdn/LCPO获取。

对于具有高斯先验和高斯观测噪声的线性反问题，后验分布为高斯分布，其均值和协方差由条件公式确定。利用Feldman-Hajek定理，我们分析了无限维Hilbert参数空间和有限维观测下的先验到后验更新及其低秩近似。我们证明后验分布在有限维子空间上与先验分布不同，并在保持均值不变的情况下构建后验协方差的低秩近似。由于在无限维情况下，并非所有低秩协方差近似都使得近似的后验分布与先验和后验分布等价，我们刻画了能够实现这种等价性的低秩协方差近似及其对应的逆（即“精度”）。对于这些近似，通过识别同时对多种损失函数最优的低秩近似，解决了一类测度逼近问题。这些损失函数包括Rényi散度族、Amari $\alpha$-散度（$\alpha\in(0,1)$）、Hellinger度量和Kullback-Leibler散度。我们的结果将Spantini等人（SIAM J. Sci. Comput. 2015）的工作扩展到了Hilbert空间，并为构造离散化版本的无限维反问题的低秩近似提供了理论支持，通过提出独立于离散化的结果。

设 $ G $ 是一个有限群，$ \chi \in \mathrm{Irr}(G) $。定义 $ \mathrm{cv}(G)=\{\chi(g)\mid \chi \in \mathrm{Irr}(G), g\in G \} $, $ \mathrm{cv}(\chi)=\{\chi(g)\mid g\in G \} $，并记 $ \mathrm{dl}(G) $ 为 $ G $ 的导出长度。在 1990 年代，Berkovich、Chillag 和 Zhmud 描述了满足对于每个非线性 $ \chi \in \mathrm{Irr}(G) $，有 $ |\mathrm{cv}(\chi)|=3 $ 的群 $ G $，并且他们的结果表明 $ G $ 是可解的。他们还考虑了某些非线性 $ \chi \in \mathrm{Irr}(G) $ 满足 $ |\mathrm{cv}(\chi)|=4 $ 的群。继续他们的工作，本文证明了如果对于每个非线性 $ \chi \in \mathrm{Irr}(G) $，有 $ |\mathrm{cv}(\chi)|\leqslant 4 $，则 $ G $ 是可解的。我们还研究了满足 $ |\mathrm{cv}(G)\setminus \mathrm{cd}(G)|=2 $ 的群 $ G $。T. Sakurai 在 $ |\mathrm{cd}(G)|=2 $ 的情况下对这些群进行了分类。我们证明了 $ G $ 是可解的，并且当 $ |\mathrm{cd}(G)|\leqslant 4 $ 或 $ \mathrm{dl}(G)\leqslant 3 $ 时对群 $ G $ 进行了分类。值得注意的是，这些群都满足对于所有 $ \chi \in \mathrm{Irr}(G) $，有 $ |\mathrm{cv}(\chi)|\leqslant 4 $。最后，我们考虑了满足 $ |\mathrm{cv}(G)\setminus \mathrm{cd}(G)|=3 $ 的有限群 $ G $。对于幂零群，我们得到了一个刻画，这与 Berkovich、Chillag 和 Zhmud 的工作相关联。对于非幂零群，我们在 $ \mathrm{dl}(G)=2 $ 时得到了 $ G $ 的结构。