我们利用三点QCD求和规则方法，研究了单重夸克含重子在$\Sigma_b^{*0}\,\rightarrow\, \Sigma_c^+\,\ell\,\bar{\nu}_\ell$唯象衰变中自旋$\frac{3}{2}\rightarrow \frac{1}{2}$半轻弱相互作用的三种可能轻子道。通过包含算符乘积展开序列中至质量维数六的微扰项和非微扰项，计算了该半轻衰变相关的形式因子。获得形式因子后，确定了所有轻子道中的衰变宽度。我们的结果以及未来可能的实验信息可用于检验标准模型预测，并探索重子衰变道中超出标准模型的新物理可能性。

对于受约束线性偏微分方程的求解，可以通过线性关系的参数化表示来描述其解。为了研究这些表示，我们为参数化算子域上的线性关系引入了一种新的边界三元组定义，该定义的边界映射不是直接作用在关系本身上，而是作用在线性关系的参数化算子域上。这使得我们可以刻画所有满足条件的边界条件，从而使得系统动力学由自伴、斜自伴或极大耗散关系表示。理论结果被应用于一类在一维空间区域上的隐式Port-Hamiltonian系统。具体而言，我们显式构造了一个仅依赖于涉及矩阵微分算子系数矩阵的边界三元组，并推导了相应的Lagrangian子空间。通过Dzektser方程、双调和波方程以及具有非局部弹性条件的弹性杆的例子，我们展示了这种方法的应用。

我们引入“开口-闭口系统混合体”这一概念，作为封闭系统和开放系统之间的中间情形，其中与环境进行电荷交换的时间尺度在参数上远大于其他特征时间尺度。对于此类有限温度系统，Schwinger-Keldysh有效作用量表现出对称群$G_1 \times G_2$，该对称群被弱破缺为其对角子群$G_{\text{diag}}$，我们利用 spurion 技术对其进行系统描述。当$G = U(1)$时，我们在扩散相和自发破缺相中计算了相关函数的一阶修正。与具有近似对称性的系统不同，后者实部和虚部的色散关系均受到修正，开口-闭口系统混合体仅修正虚部——保持无能隙模式的同时引入有限阻尼。

本文研究了高能μ子对撞机中与电弱(EW)修正相关的几个现象学和技术方面的问题，重点关注直接产生过程（无矢量玻色子散射(VBF)情形)。我们详细探讨了Sudakov近似的精度，特别是Denner-Pozzorini算法，并将其与精确的NLO EW计算结果进行对比。此外，我们评估了在3 TeV和10 TeV碰撞中重新求和电弱Sudakov对数(EWSL)的相关性。同时，我们仔细分析了额外重玻色子辐射(HBR)，即弱相互作用下$W$、$Z$玻色子以及希格斯玻色子在包含和半包含配置下的辐射效应。所有结果均通过完全自动化且公开可用的MadGraph5_aMC@NLO代码获得。

矩阵Bochner问题旨在分类使得正交多项式序列成为二阶微分算子特征函数的权矩阵。在这一方向上，文献[7]取得了重大突破，证明了在权矩阵代数$\mathcal{D}(W)$满足某些自然条件时，所有解都可由经典标量权重的直接和通过Darboux变换得到。本文研究了一种新的$3\times 3$Hermite型权矩阵，并确定其代数$\mathcal{D}(W)$为$\mathbb{C}[D_1]$-模，由$\{I, D_1, D_2\}$生成，其中$D_1$和$D_2$为二阶微分算子。这种对代数的完整描述使我们能够证明此权矩阵并非来自经典标量权重的Darboux变换，表明它不属于文献[7]中的分类定理范围。与文献[3,4]中的先前例子不同，该权矩阵的代数$\mathcal{D}(W)$并非任何微分算子$D$的多项式代数，这使其成为一个根本不同的案例。这些结果通过提供一种新的奇异例子，补充了矩阵Bochner问题的分类定理。

复杂推理任务往往依赖于在增量步骤中始终如一且准确地应用简单规则的能力，我们将其称为“零级”（level-0）推理的基础能力。为系统性评估这一能力，我们引入了L0-Bench，这是一个用于测试程序正确性的语言模型基准，补充了主要关注结果正确性的现有基准。给定具有简单操作的合成Python函数，L0-Bench根据模型生成逐步、无错误执行轨迹的能力对其进行评分。L0-Bench的合成性质使得可以沿多个轴（例如，轨迹步数）系统且可扩展地生成测试程序。我们在一个基准测试集上评估了多种最近发布的闭源和开源权重模型。所有模型在目标轨迹步数增加时均表现出下降趋势，而更大规模的模型和增强推理能力的模型在多步骤中更能保持正确性。此外，我们利用L0-Bench探索了三个维度上的测试时间扩展：输入上下文长度、多数投票解决方案的数量以及推理步骤。我们的结果显示，“零级”推理有显著提升空间，并提出了构建更可靠推理系统的潜在方向。

生成跨越数千个标记的高质量故事需要在多种技能上具备能力，从追踪情节和角色弧线到保持一致且引人入胜的风格。由于获取标注数据集的困难以及精确质量度量的挑战，大多数利用大规模语言模型（LLMs）进行长篇故事生成的工作采用了手设计提示技术的组合来诱发类似作者的行为。这是一种高度依赖具体故事生成任务的手动过程。受数学和编码等领域应用强化学习与可验证奖励的近期成功启发，我们提出了一种通用的故事生成任务（下一章预测）和奖励形式（通过完成可能性改进的可验证奖励），这使我们可以使用未标注的书籍数据集作为推理的学习信号。我们学习对故事的浓缩信息进行推理，并为下一章生成详细计划。我们的推理通过它帮助故事生成器创建的章节进行评估，并与非训练基线和监督微调（SFT）基线进行比较。成对的人类判断显示，我们通过学习推理生成的章节几乎在所有指标上都更受欢迎，这种效果在科幻和奇幻类型中更为明显。

在经典信息论中，经典信道的Doeblin系数提供了一个总变差收缩系数的有效可计算上界，从而导致所谓的强数据处理不等式。在这里，我们研究了量子Doeblin系数作为经典概念的推广。特别是，我们定义了多种新的量子Doeblin系数，其中一种具有多个理想特性，包括级联性和可乘性，此外还易于计算。我们还对两种量子Doeblin系数进行了各种解释，包括作为最小纠缠分数、排斥值、逆最大互信息和逆OveloH信息、逆鲁棒性以及假设检验逆互信息和OveloH信息的表示。我们将量子Doeblin系数解释为要么是纠缠辅助要么是非纠缠辅助排斥值特别有吸引力，表明它们与通过利用信道在状态排除任务中所能达到的最佳错误概率成正比。我们还概述了量子Doeblin系数的各种应用，范围从限制使用参数化量子电路的量子机器学习算法（噪声引起的贫瘠高原现象）、误差缓解协议、嘈杂量子假设检验的样本复杂度、嘈杂量子模型的公平性以及时变信道的混合时间。所有这些应用都利用了量子Doeblin系数出现在信道各种迹距离收缩系数的上界中的事实。此外，在所有这些应用中，我们的Doeblin系数分析在广义性和高效可计算性方面均优于先前文献的相关贡献。

有效处理、解释和管理传感器数据已成为网络物理系统的关键组成部分。传统上，处理传感器数据需要深厚的理论知识和信号处理工具的熟练掌握。然而，近期研究表明，大型语言模型（LLMs）在处理传感数据方面展现出可观的能力，表明其作为开发传感系统副驾的潜力。为探索这一潜力，我们构建了一个综合基准SensorBench，以建立可量化的客观标准。该基准包含多种真实世界传感器数据集用于各种任务。结果表明，尽管LLMs在较简单的任务中表现出相当的熟练程度，但在处理涉及参数选择的复合任务时，它们面临与工程专家相比固有的挑战。此外，我们研究了四种用于传感器处理的提示策略，并显示自验证在48%的任务中优于所有其他基线。我们的研究为未来的发展提供了全面的基准和提示分析，为基于LLM的传感器处理副驾铺平了道路。

本文评估了放射治疗质量保证中使用的标准束流轮廓对称性度量的准确性，并将其与提出的对称关联指数度量和结构相似性指数进行了比较。目标是提出一种基于交叉相关的新方法，称为对称关联指数，我们证明其比传统方法对噪声的敏感性更低。此外，还提出了一个补充方法，即结构相似性指数。通过模拟具有相似左右面积的非对称束流，比较了所提出方法和标准方法量化束流对称性的有效性。为了评估每种度量方法对噪声的依赖性，在一个受噪声影响的模拟非对称束流轮廓上对所有度量方法进行了评估。还进行了标准方法和所提出方法的比较，以表征在水箱中不同深度测量的大致对称束流轮廓的对称性。在量化束流对称性时，对于非对称且有噪声的情况，提出的关联指数方法和结构相似性指数方法分别得到了0.387和0.5401的值，而传统的点差商和基于面积的对称性方法分别得到了0.312和0.400的值。对于无噪声和有噪声的非对称情况，点差商、基于面积的对称值、结构相似性指数测量和关联对称指数之间的百分比变化分别为0.111、0.056、0.1625和0.008。对于临床测量的对称轮廓，所有方法得到的值均高于0.9。定量和定性指标的比较表明，当束流轮廓存在噪声时，提出的关联对称指数方法优于点对点和基于面积的对称性指标。

我们确定了挠率在具有通量和抛物线单值的M2-膜局部和全局几何描述中的作用。单值对应于基本群到$\mbox{SL}(2,\mathbb{Z})$的抛物线子群的一个表示，$\mbox{SL}(2,\mathbb{Z})$是面积保持微分同胚的同伦类群。这些是具有有限重数的量子离散谱的超对称M2-膜。这些Q-M2-膜的全局描述由具有单值的扭曲环丛给出。它们由$\mbox{H}^2(\Sigma,\mathbb{Z}_\rho)=\mathbb{Z}\oplus \mathbb{Z}_k$分类，或者等价地，由与抛物线单值子群相关的余不变量分类。我们以两种不同的方式推广了先前的构造。第一种考虑了$k>1$的抛物线单值情况。这将使我们能够识别阶数大于一的挠率循环。我们发现，在这些M2-膜的全局描述中包含三维、四维和五维的定义良好的幂零流形。这些幂零流形与幂零李代数$g_{3,1}$、$g_{3,1}\oplus g_1$和$g_{3,1}\oplus g_2$相对应。所有这些幂零流形在其目标空间的紧致部分都包含阶数为$k$的挠率循环。挠率也在M2-膜扭曲环丛的等价类即余不变量中表现出来。第二种是分析挠率如何作用于基流形的余不变量。结合通量条件，挠率明确地定义了给定通量和单值$k$的余不变量的数量。

本文中，我们引入了单连通区域的Skorokhod能量。我们证明，在解决平面Skorokhod嵌入问题的所有区域中，Gross解产生的区域具有最小的Skorokhod能量。

我们引入并研究了平面分层环境中方向last-passage渗流模型。该环境由随机排布在块中的指数时钟阵列表示，每个块内的平均等待时间仅依赖于局部坐标。从源点到给定块中目标点的所有可接受路径中，最大化总旅行时间（即last-passage时间）成为一个以阵列中块的数量为索引的随机过程。我们证明此模型具有可积性，特别是last-passage时间过程的概率分布可以通过出现在随机矩阵乘积研究中的核的Fredholm行列式确定。进一步地，当块的大小趋于无穷大且平均等待时间趋于无穷小时，我们识别出last-passage时间过程的尺度极限。建立了有限维收敛至随机矩阵理论中的连续时间临界随机过程的结果。

多目标优化的目标是通过寻找帕累托前沿（即所有帕累托最优解的集合）来理解竞争目标函数之间的最优权衡，其中任何目标的改进都不能不以牺牲其他目标为代价。即使对应的单目标优化问题是可有效求解的，经典方法在多目标优化中也可能面临挑战。因此，多目标优化构成了一个令人信服的问题类别，值得用量子计算机进行分析。在这项工作中，我们利用低深度量子近似优化算法来逼近某些加权最大割问题的最优帕累托前沿。我们在IBM量子计算机上展示了其性能，并通过矩阵积态数值模拟验证了其潜力，表明其可能优于经典方法。

约翰内斯·开普勒试图利用其柏拉图固体模型解释太阳系内六颗最靠近恒星的行星排列，该模型假设行星轨道嵌套于五种柏拉图立体之中，但最终未能成功。尽管他的模型无法描述我们自己的行星系统，但在假设存在符合这一几何框架的系外行星系统方面，开普勒展现了惊人的预见性。在这项研究中，我们分析了所有已知包含三到六颗行星的多行星系外行星系统，并识别出与开普勒柏拉图模型最为匹配的系统。通过定义半长轴比值度量（即观测值与理论值之间半长轴比值差异平方和），我们发现最匹配的三、四、五、六颗行星的系外行星系统表现出显著更低的偏差值（分别为$4.38 \times 10^{-6}$、$1.05 \times 10^{-2}$、$8.21 \times 10^{-2}$和$2.43 \times 10^{-1}$），而太阳系内部的六颗行星对应的偏差值为12.68。这些结果表明，开普勒的柏拉图模型适用于某些系外行星系统，这暗示虽然太阳系不符合这种理想化的结构，但其他行星系统可能受制于与开普勒愿景相似的几何和数学原理。这项研究突显了这些系外行星系统的特殊性及其潜在的与柏拉图五元素框架的对齐可能性。

在大数据新时代，确保不遗漏任何新物理迹象至关重要。利用arXiv.org实验在\texttt{hep-ph}频道公开提供的65,276篇论文原始总积分文献集，我们开展了对“新物理”及其相关信号的搜索。在最坏情况下，我们能够以至少$6.5\sigma$的显著性水平通过“大型强子对撞机（LHC）”检测到这种“新物理”。这一“新物理”特征主要表现为“暗物质”，可能是轴子（类轴子）暗物质。此外，我们还展示了未来进一步改进的可能性，并指出可以通过“未来对撞机”以至少$8.9\sigma$的显著性水平发现“新物理”，甚至无需对撞机即可找到“新物理”。本次搜索使用的代码有$80\%$由机器学习方法编写完成。

物质的有序相（如固体、铁磁体、超流体或量子拓扑序）通常仅存在于低温下。然而，我们提出了明确的局域模型，表明所有此类相在任意高温下仍然存在。这是可能的，因为某一自由度的有序可以允许其他自由度强烈涨落，从而导致“熵致有序”，即典型的高能态是有序的。我们的构造利用相互作用玻色子，避免了现有的关于高温长程有序或纠缠的不可能性定理。我们基于这些一般原理提出了一种简单的高温超导模型。

组合优化问题是工业应用中无处不在的问题。然而，找到最优或接近最优的解常常极其困难。由于这些问题可以映射到伊辛模型的基态搜索问题，过去几十年里投入了大量精力开发伊辛型问题的求解器。近年来，对量子和经典系统的控制和操控的进步使得量子模拟器和相干伊辛机等新型计算范式得以发展，用于解决复杂的优化问题。本文考察并评估了几种基于物理学的优化算法，包括相干伊辛机、增益-耗散算法、模拟分岔机和Hopfield神经网络，我们将这些统称为随机驱动的非线性动力学系统。最重要的是，我们以包含已知解的随机伊辛问题为基准，将这些算法与模拟退火算法进行对比，并利用相同的软件堆栈对所有求解器进行评估。此外，我们还研究了不同的数值积分技术和图连通性对性能的影响。这项工作概述了一系列新的优化范式。

对于边加权的$n$-顶点图$G$，$(1+\varepsilon)$-伸缩树覆盖是一组树的集合，其中任意一对顶点在这些树之一中都存在一条$(1+\varepsilon)$-伸缩路径。Arya等人[STOC'95]提出的著名哑铃定理表明，任何$d$维欧几里得空间中的$n$个点集都可被一个$(1+\varepsilon)$-伸缩树覆盖，且树的数量为常数，该常数依赖于$\varepsilon$和维度$d$。Bartal等人[ICALP'19]将这一结果推广到了任意加倍度量空间中。虽然Arya等人和Bartal等人的树覆盖总边数均为$O(n)$，但所有已知的树覆盖构造方法的总光度至少为$\Omega(\log n)$；是否能得到光度为常数的树覆盖一直是长期悬而未决的问题，即使对于二维点集也是如此。我们通过提出加倍图的新$(1+\varepsilon)$-伸缩扩展树覆盖构造方法，解决了这一基础问题；在扩展树覆盖中，每棵树仅能使用输入图中的边而非相应的度量空间中的边。据我们所知，这是第一个对于非平凡图族的恒定伸缩扩展树覆盖构造（更不用说$(1+\varepsilon)$-伸缩），且树的数量为常数。我们的扩展树覆盖的具体应用包括加倍图的$(1+\varepsilon)$-伸缩光树覆盖、标记模型下的紧凑$(1+\varepsilon)$-伸缩路由方案以及$(1+\varepsilon)$-伸缩路径报告距离查询结构。[...]

伴随言语的手势在非语言交流中发挥着至关重要的作用。本文提出了一种新的框架，用于理解野生环境下的伴随言语手势。具体而言，我们提出了三项新任务和相应的基准测试，以评估模型理解手势-文本-语音关联的能力：（i）基于手势的检索，（ii）手势词检测，以及（iii）利用手势进行主动说话者检测。我们提出了一种新方法，学习三模态（语音-文本-视频-手势）表征以解决这些任务。通过结合全局短语对比损失和局部手势-词汇耦合损失，我们证明了可以通过弱监督的方式从野生环境中的视频中学习到强大的手势表征。在所有三项任务中，我们的学习表征均优于先前的方法，包括大型视觉-语言模型（VLM）。进一步分析表明，语音和文本模态捕捉了不同的与手势相关信号，这凸显了学习共享三模态嵌入空间的优势。数据集、模型和代码可在以下网址获取：https://www.robots.ox.ac.uk/~vgg/research/jegal