詹姆斯韦伯太空望远镜（JWST）正在挑战我们对宇宙中最早星系性质的理解，其发现早期宇宙中存在大量非常巨大的星系，这令人惊讶。通过应用原始尘埃模型，我们估计了红移 $z\gtrsim7$ 的不同质量星系在远红外（FIR）连续光谱的亮度。特别是，我们预测了阿塔卡马大型毫米/亚毫米阵列（ALMA）不同可用波段（3-10）的观测流量，考虑了第一代星系典型保守属性（如气相金属丰度、尘埃到金属比例、恒星形成效率）。正如预期，对于所有ALMA波段，FIR流量随恒星质量增加而增加，但波段9和10的斜率更陡峭。令人鼓舞的是，第一代星系受到强烈的负K校正影响，具有相似属性的源在更高红移时在波段3-8更亮。这种行为在波段6-7更强。尽管波段9-10的趋势尚不明确，但这些波段的最大流量出现在极端红移 $z\gtrsim 15$。出乎意料的是，我们的结果表明，具有相似质量和尘埃特性的JWST源如果位于更高的红移处，将更容易被ALMA探测到。

利用神经网络进行时间数据建模在许多领域应用广泛，包括时间序列预测和控制工程。本文旨在开发一种用于问题求解的随机配置网络递归版本（RSCNs），其中我们不对输入变量的动力学阶数做出假设。给定一组历史数据后，首先通过监督机制构建初始RSCN模型，并利用投影算法进行输出权重的在线更新。本文还建立了若干理论结果，包括回声状态特性、RSCNs在离线和在线学习中的通用逼近特性以及输出权重的收敛性。所提出的RSCN模型在输入随机权值矩阵的赋值方式及反馈矩阵的特殊结构方面显著区别于著名的回声状态网络（ESNs）。本文对长短期记忆网络（LSTM）、原始ESN及其几种最先进的ESN方法（如简单循环水库（SCR）、多项式ESN（PESN）、泄漏积分器ESN（LIESN）和RSCN）进行了全面比较研究。数值结果表明，所提出的RSCN在所有数据集上的表现均优于其他方法。

设$A(G)$为简单图$G$的邻接矩阵，$\chi(G)$表示其色数。对于$p > 0$，我们定义图$G$的正$p$-能量和负$p$-能量分别为$$\mathcal{E}_p^+(G) = \sum_{\lambda_i > 0} \lambda_i^p(A(G)), \quad \mathcal{E}_p^-(G) = \sum_{\lambda_i < 0} |\lambda_i(A(G))|^p,$$其中$\lambda_1(A(G)) \geq \cdots \geq \lambda_n(A(G))$为$A(G)$的特征值。我们首先证明，对于所有$0 < p < 1$，有$$\chi(G) \geq 1 + \max \left\{ \frac{\mathcal{E}_p^+(G)}{\mathcal{E}_p^-(G)}, \frac{\mathcal{E}_p^-(G)}{\mathcal{E}_p^+(G)} \right\}$$成立。这一结果已对$p = 0$和$p = 2$建立，并且对于$p = 1$显然成立。此外，我们展示了对于某些图，非整数值$p$能够给出比现有谱方法更紧的色数下界。最后，我们推测该不等式对所有$1 < p < 2$仍然成立。

在真实世界环境中运行的具身代理必须解释模糊且未明确的人类指令。一个功能强大的家用机器人应该能够识别模糊性，并提出相关的澄清问题，以便准确推断用户意图，从而更有效地完成任务。为研究这一问题，我们引入了“Ask-to-Act”任务，即在家庭环境中，具身代理需要在模糊指令下获取特定对象实例。代理必须战略性地提出最少但相关的澄清问题，以解决模糊性，同时在部分可观察条件下导航。为了解决此问题，我们提出了一种新颖的方法，利用在线强化学习（RL）微调多模态大型语言模型（MLLMs）作为视觉-语言-动作（VLA）策略，并采用由LLM生成的奖励。我们的方法无需大规模人类演示或人为设计的奖励来训练此类代理。我们在任务上对强零样本基线（包括GPT-4o）以及监督微调的MLLMs进行了基准测试。结果表明，我们的RL微调MLLM在性能上显著优于所有基线（高出$19.1$-$40.3\%$），并且在新场景和任务中具有良好的泛化能力。据我们所知，这是首次展示通过在线RL使用LLM生成的奖励将MLLMs适应为VLA代理并使其能够行动和寻求帮助的研究。

人类长期以来依赖草图和图表等视觉辅助工具来支持推理和问题解决。几何中的辅助线或微积分中的图形等可视化工具对于理解复杂概念至关重要。然而，许多辅导系统仍然是基于文本的，仅通过自然语言提供反馈。本文利用大型多模态模型（LMMs）的最新进展，介绍了交互式画板，这是一种结合基于语言的解释与交互式可视化功能的辅导系统，以提升学习效果。该系统基于预训练的LMM，并经过微调，能够在文本和视觉方面为学生提供逐步指导，实现自然的多模态互动。通过在推理过程中引入代码执行，准确且稳健的图表得以生成。针对几何、微积分和三角学等数学问题的用户研究表明，交互式画板能够提高任务理解、问题解决的准确性以及参与度，展示了其在教育技术转型中的潜力。所有代码可在以下网址获取：https://stevenshinechen.github.io/interactivesketchpad/。

我们研究了一类一维受激受限动力学模型的动力学大偏差(LD)，其(倾斜的)生成元可以通过对偶变换映射到自身。我们详细考虑了四种代表性模型：域壁(DW) Fredrickson-Andersen(FA)模型、DW East模型、ZZZ-FA模型和XOR-FA模型。利用数值张量网络方法，我们根据约束的软度以及与动力学活性共轭的计数场，构建了这些模型的动力学相图。在所有情况下，我们发现在自对称线上存在不同的动力学相，并且相变线揭示了多临界点的存在，这些多临界点区分了从一级到连续的活跃-非活跃转变。我们讨论了与超对称性的联系以及可能扩展到更高自旋和空间维度的可能性。

设$q=p^n$为奇素数幂，$\mathbb{F}_q$为具有$q$个元素的有限域。令$\widehat{\mathbb{F}_q^{\times}}$为$\mathbb{F}_q$的所有乘法特征组成的群，并设$\chi$为$\widehat{\mathbb{F}_q^{\times}}$的生成元。本文研究了涉及$\mathbb{F}_q$中非零平方的某些cyclotomic矩阵的算术性质。例如，设$s_1,s_2,\cdots,s_{(q-1)/2}$为$\mathbb{F}_q$中的所有非零平方。对于任意整数$1\le r\le q-2$，定义矩阵$$B_{q,2}(\chi^r):=\left[\chi^r(s_i+s_j)+\chi^r(s_i-s_j)\right]_{1\le i,j\le (q-1)/2}.$$我们证明，若$q\equiv 3\pmod 4$，则$$\det (B_{q,2}(\chi^r))=\prod_{0\le k\le (q-3)/2}J_q(\chi^r,\chi^{2k})= \begin{cases} (-1)^{\frac{q-3}{4}}{\bf i}^nG_q(\chi^r)^{\frac{q-1}{2}}/\sqrt{q} & \mbox{当}\ r\equiv 1\pmod 2,\\ G_q(\chi^r)^{\frac{q-1}{2}}/q & \mbox{当}\ r\equiv 0\pmod 2, \end{cases}$$其中$J_q(\chi^r,\chi^{2k})$和$G_q(\chi^r)$分别为$\mathbb{F}_q$上的Jacobi和Gauss和。

给出了描述任何时空维数中全对称无质量玻色场和费米场以及钩型玻色场的所有自旋的超对称高自旋规范理论的非线性场方程。该形式的一个新特征是，$osp(1,2)$不变性和因子化条件在BRST形式下被表述出来，这大大简化了非线性高自旋方程的形式。为了匹配Metsaev发现的顶点列表，高自旋规范理论被认为具有无限多个独立的耦合常数。提出了一个假设，即这些耦合常数来源于因子化理想元素的局域性限制。

面对专业3D软件陡峭的学习曲线以及管理大型3D资产所耗费的时间，语言引导的3D场景编辑在虚拟现实、增强现实和游戏等领域具有重要意义。然而，现有的语言引导3D场景编辑方法要么需要人工干预，要么仅限于外观修改，无法支持全面的场景布局更改。为了解决这一问题，我们提出了EditRoom，这是一种统一框架，可以通过自然语言命令执行多种布局编辑任务，而无需人工干预。具体而言，EditRoom利用大规模语言模型（LLMs）进行命令规划，并采用基于扩散的方法生成目标场景，支持六种编辑类型：旋转、平移、缩放、替换、添加和删除。针对语言引导3D场景编辑数据缺乏的问题，我们开发了一种自动管道来扩充现有的3D场景合成数据集，并引入了EditRoom-DB，这是一个包含83k个编辑对的大规模数据集，用于训练和评估。实验结果表明，我们的方法在所有指标上均优于其他基线方法，显示出更高的准确性和语言引导场景布局编辑的一致性。

离散随机过程在自然界中普遍存在，在物理、生物化学、流行病学、社会学和金融等领域有广泛应用。尽管解析解往往无法获得，现有的仿真框架能够生成与随机现象背后的动态规律兼容的随机轨迹。然而，大多数仿真算法假设系统动力学是无记忆的（马尔可夫假设），在这种假设下，未来的事件仅依赖于系统的当前状态，这使得通过Gillespie算法进行高效且精确的仿真成为可能。但是，许多真实世界系统本质上是非马尔可夫的，并表现出记忆效应。此类系统难以进行解析研究，而当前的数值方法往往计算成本高昂或受限于与实证数据相冲突的强大简化假设。为了解决这些局限性，我们引入了非马尔可夫反应拒绝型Gillespie算法（REGIR），这是一种通用且可扩展的框架，用于模拟具有任意事件间时间分布的非马尔可夫随机系统。REGIR在提供用户定义精度的同时保持了与经典Gillespie算法相同的渐进计算复杂度。我们推导了REGIR近似精度的下界，并展示了其在三类代表性非马尔可夫系统中的能力：（1）具有延迟的反应通道，（2）由个体反应物属性驱动的随机过程，以及（3）受节点活动支配的时间网络。在所有情况下，REGIR准确捕捉了依赖记忆的动力学，并在灵活性和效率方面优于现有方法。

本文作为提交给欧洲粒子物理战略更新（ESPPU）的材料。基于美国的电子-离子对撞机（EIC）旨在理解被约束的夸克和胶子的复杂动力学如何构成核子、原子核以及所有可见物质，并决定其宏观性质。2024年4月，EIC项目获得了关键决策3A（CD-3A）批准，允许进行长期采购，使其更接近实现。ePIC合作组于2022年7月围绕EIC上的通用探测器建立。尽管EIC位于美国，但其本质上是一项真正的国际项目。事实上，已经有一大批欧洲科学家参与了EIC社区：目前，约四分之一的EIC用户组（超过1500名科学家）和29%的ePIC合作组（约1000名成员）位于欧洲。这种欧洲的参与不仅是推动EIC的重要力量，而且对CERN正在进行和计划中的许多相关粒子物理实验也有益处。本文概述了CERN和EIC在科学问题上的联系，旨在突出CERN粒子物理研究与EIC项目之间众多协同效应如何促进对撞物理前沿的进步。

大型粒子物理实验室主任小组（LDG）于2024年成立了未来加速器可持续性评估工作组，旨在制定评估粒子物理领域未来加速器可持续性的指导原则和关键参数列表。虽然该工作组主要关注加速器项目，但其工作成果对其他当前和未来的研究基础设施也具有相关性。构建并持续更新这样一个框架旨在促进科学家之间的有效沟通，并向更广泛的利害关系方传达信息。本文概述了LDG可持续性工作组报告的主要发现和建议——推荐新研究基础设施采用的最佳实践总结。完整报告将于2025年6月在以下网址发布：https://ldg.web.cern.ch/working-groups/sustainability-assessment-of-accelerators。并非所有可持续性主题都处于相同的研究水平，评估过程复杂且仍在发展中，对所有方面的同质化评估需要一个长期推进的战略。

设 $ F $ 是一个 $ p $-进域。本文研究了分裂特殊正交群 $\mathrm{SO}_{2n+1}(F)$ 和辛群 $\mathrm{Sp}_{2n}(F)$ 的秩为 $ n $ 的表示。记 $\pi_1 \times \ldots \times \pi_r \rtimes \pi$ 为这两种群的归一化抛物诱导表示。令 $ u_i $ 为本质Speh表示，$\pi$ 为Arthur型表示。我们证明，若 $ u_1 \times \ldots \times u_r \rtimes \pi $ 是不可约的，则当且仅当对任意 $ i \neq j $，有 $ u_i \times u_j $、$ u_i \times u_j^\vee $ 和 $ u_i \rtimes \pi $ 都是不可约的。如果 $ u_i $ 是Speh表示，我们确定了上述抛物诱导表示的合成列。通过这些结果，我们得到了一组新的酉表示。

真空中的量子光子效应为检验量子电动力学提供了有趣的场景，同时也成为超出标准模型物理预测的源泉。本文在Lorentz违例的标量量子电动力学框架下，通过计算一环Euler-Heisenberg类有效作用量来研究这些效应。在CPT偶性和CPT奇性两种情形下，我们得到了应力张量$F_{\mu\nu}$的所有阶的精确结果，并明确计算了该有效作用量的低阶项。我们以显式规范不变的方式识别出由Lorentz违例引起的量子效应。影响光子-光子散射的非线性Lorentz违例贡献也被明确计算。

若连通无向图中每对顶点之间存在唯一最短路径，则称该图为“测地”的。有人猜测对于有限群，仅奇数阶循环图和完全图是测地Cayley图。本文提出了一系列理论结果，为计算机搜索验证这一猜想适用于所有不超过1024阶的群提供了支持。该猜想还被验证适用于若干无限族的群，包括二面体群以及某些幂零群的族。使计算机搜索能够达到如此规模的两个关键结果是：若群的中心具有偶数阶，则该猜想成立（这排除了我们的计算机搜索中的所有2-群）；若Cayley图是测地的，则群的大小、生成集及中心之间存在一些限制关系（显著减少了必须搜索的生成集数量）。

在不确定性条件下进行决策通常需要选择包（即元组的集合），这些包在整体上优化期望结果并限制风险。处理随机包查询（SPQs）涉及在不确定数据上解决非常大的优化问题。蒙特卡洛方法生成大量的场景（即所有元组的随机属性的样本实现），并在这些场景中生成具有最优目标值的包。为了获得准确的近似解（即使用先前方法时优化问题的规模），所需的场景数量随着数据方差的增加而增加，并且优化问题的搜索空间随关系中元组数量的增加呈指数增长。现有的求解器在处理包含高方差随机属性的大关系上的SPQs时需要花费数小时。除了丰富SPaQL语言以捕捉更广泛的风脸规范外，我们针对可扩展的SPQ处理提出了两项根本性的贡献。首先，为了解决高方差问题，我们提出风险约束线性化（RCL），它将SPQs转换为整数线性规划（ILPs），其规模独立于所使用的场景数量。求解这些ILPs可以得到可行且接近最优的包。其次，我们提出了随机SketchRefine，这是一种分而治之的框架，将一个大规模的随机优化问题分解为涉及较小元组子集的子问题。我们的实验表明，结合RCL和随机SketchRefine可以在比现有技术快几个数量级的运行时间内产生高质量的包。

利用纯粹运动学论证，Borde-Guth-Vilenkin（BGV）定理指出，任何平均正膨胀的最大时空都是测地线不完全的，因此过去永恒的膨胀必定是奇异的。最近，通过对新模型的应用或挑战时空最大性假设，关于该定理广泛性的讨论再次浮现。在当前研究中，我们利用非共动观测者的参考系及其运动学特性，探究这种可能的奇异起点的本质。以空间平坦的de Sitter（dS）时空为实验室，这种方法使我们能够在广义的空间平坦Friedmann-Lema\^{\i}tre-Robertson-Walker（FLRW）几何情况下穷尽BGV定理所限定的所有可能性。我们证明，要么存在标量或平行传播曲率奇异性，要么时空必须在过去渐近趋于dS（当尺度因子变为零时哈勃参数具有确定的非零极限），才能可延拓。我们能够在此过程中不违反能量条件，并表明这种延拓必然包含反弹。这是一项基于纯粹运动学论证和直觉的数学结果。此外，我们还讨论了此类延拓的可能物理实现。作为副产品，我们提出了一种覆盖整个de Sitter时空的新坐标图。

尽管物质滥用带来了巨大的成本和广泛的危害，但大多数患有物质使用障碍（SUDs）的个体根本没有接受任何治疗。数字疗法平台是一种新兴的低成本、低门槛方式，可以将治疗扩展到有需要的人群。虽然有一系列研究集中在如何帮助治疗提供者识别哪些患者需要SUD支持（或何时需要支持），但对于如何为特定患者选择最合适的治疗方法却鲜有研究。由于SUD治疗需要患者数月甚至数年的自愿配合，患者的依从性对治疗提供者来说至关重要。本文聚焦于治疗提供者可以使用的算法，这些算法能够将建议治疗的负担水平与患者的动态参与状态相匹配，以促进依从性。我们提出了用于描述患者随时间参与情况及其治疗依从决策的结构化模型，并基于这些模型构建了治疗提供者负担选择问题的概率控制公式。我们提出了一种自适应控制方法，随着新数据的观测不断估计未知的患者参数。我们证明了这些估计是一致的，并提出了利用这些估计做出适当治疗推荐的算法。

氢贫超亮超新星（SLSNe）是宇宙中最强烈的爆炸之一，其亮度可达普通超新星的100倍。详细的光谱分析可能揭示其前身天体及其潜在能量来源。本文介绍了迄今为止最大的SLSN光球光谱集合，涵盖了ePESSTO+项目、FLEET搜索以及截至2022年12月的所有已发表光谱数据。该数据集包含234个SLSN的974条光谱。通过构建平均相位分组光谱，我们发现SLSNe最初表现出高温（10000至11000 K），具有蓝连续谱和弱线。随后迅速发生转变，峰值后40天内温度降至5000至6000 K，导致更强的P-Cygni特征出现。这些平均值还表明，部分SLSNe在爆炸时可能含有少量氦。当相对于爆炸而非峰值定义光谱相位，并将光谱归一化为整个群体的中值e-折叠时间时，数据集内的变异性略有降低。主成分分析（PCA）支持这一点，在按爆炸后标准化天数分组数据时，需要更少的成分即可解释相同程度的变化，这表明其分组更为同质化。利用PCA和K-Means聚类，我们识别出具有异常光谱演化的离群对象以及来自相互作用的能量输入证据，但未发现两个或更多统计显著子群体的分组支持。我们发现Fe II {\lambda}5169线的速度与基于黑体拟合推断的半径密切相关，表明其形成位置接近光球。此外，我们还确认了速度与速度梯度之间的相关性，如果所有SLSNe都处于相似膨胀状态但具有不同的尺度速度，则可以解释这一现象。这种行为与内部驱动机制的预期一致。

本文提出了一种适用于空中飞行器的三维运动规划新方法，用于连接初始和目标构型，同时考虑俯仰速率和偏航速率约束。我们将曲率受限飞行器在球面上的运动规划问题确定为一个中间问题，并以此作为研究重点。本文采用相平面方法推导了最小转弯半径为$r$的飞行器在单位球面上的最优路径候选解。通过简单的证明，我们表明最优路径为$CGC$或由简单$C$段（$C=L, R$表示半径为$r$的转弯，$G$表示大圆弧）的串联路径。我们将先前关于最优路径为$CGC$和$CCC$路径的结果从$r \in \left(0, \frac{1}{2} \right]\bigcup\{\frac{1}{\sqrt{2}}\}$推广到$r \leq \frac{\sqrt{3}}{2}$，以涵盖具有更大$r$值的飞行器。我们进一步证明，当$r \leq \frac{1}{\sqrt{2}}$时，最优路径为$CGC, CCCC$；当$r \leq \frac{\sqrt{3}}{2}$时，最优路径为$CGC, CC_\pi C, CCCCC$。此外，我们还解析构造了所有候选路径，并在公开可访问的代码库中提供了相关代码。