里德堡气态介质同时与微波场和光场耦合，由于检测器中不存在传统射频天线，可以利用全光检测的优点，例如测量场的干扰较弱且对极强场具有鲁棒性。然而，这种方法的问题在于，最大的灵敏度出现在使用额外的微波场作为本地振荡器时，此时检测无法继续保持全光操作。在这里，我们提出了一种不同的解决方案——光学偏置检测，它能够在保持优异灵敏度的同时实现真正的全光操作。我们通过在非线性过程中同时测量相位谱并进行实时数据处理来解决激光相位噪声问题，总体上相比基本方法提高了35 dB的信噪比。我们报告了对13.9 GHz电场的灵敏度为176 nV/cm/√Hz，并且可靠工作范围可达3.5 mV/cm。该方法可以直接与最先进的超外差技术相媲美，同时保留了全光检测的优势。

我们在代数动力学中得到了三个基本结果：（1）给出了计算动力学度量到任意精度的第一个算法。（2）证明了对于一族占优有理自映射，动力学度量在Zariski拓扑下是下半连续的。这证实了Call和Silverman的一个猜想。（3）证明了上同调双曲有理自映射的周期点集在Zariski拓扑下是稠密的。此外，我们还表明，经过足够多次迭代后，每个度量序列几乎以均匀速率增长。这一性质对一般的次乘性序列并不成立。最后，我们证明了一类投射曲面的自映射（包括所有双有理映射）满足Kawaguchi-Silverman猜想。实际上，对于每一个占优有理自映射，我们都找到了一些动态上有意义的循环所满足的一组递归不等式。我们的证明基于这些不等式。

为了揭示单场暴胀中原始扰动的量子到经典转变的本质，我们研究了超视界标量曲率扰动关联函数的退相干及其相关的量子修正。这些超视界标量曲率扰动被视为一个开放的量子系统，通过广义相对论预测的三线性相互作用受到深层亚视界张量模式的时间依赖环境诱导的量子退相干。我们首先证明了在一般情况下，时间相关的亚视界环境在暴胀期间可能对退相干相关，通过考虑无导数相互作用（在这种情况下，它们给出了最重要的结果）。首次通过修改量子主方程恰当地考虑了环境的时间依赖性。当处理导数相互作用时，出现了重要的非马尔可夫效应。我们采用了一种最近提出的方法来处理它们，这种方法似乎非常适合我们的案例。我们的结果显示，当考虑无导数相互作用和导数相互作用之间的相互作用时，退相干被减缓。这强调了在暴胀背景下开放量子系统计算中考虑所有相互作用的重要性。最后，我们通过求解由量子主方程引起的传输方程，计算了宇宙相关函数的量子修正。我们还将结果与文献中先前使用的一种替代方法得到的结果进行了比较。我们观察到功率谱的量子修正重求和，这是量子主方程的一个普遍特性。我们将这些结果扩展到双谱，显示了该相关函数随时间的衰减，类似于之前为功率谱发现的衰减。

几何不变量理论（GIT）通过简约群生成代数簇的商。如果该簇是射影簇，则此商依赖于极化的选择；Dolgachev-Hu 和 Thaddeus 的工作表明，使用不同极化对同一簇得到的两个商由有理变换联系起来。仅有限多个有理簇以这种方式出现：GIT 变换未能捕捉 GIT 商的整体有理几何。我们以一种简单自然的方式构建一个空间，参数化该簇的所有可能的GIT商及其所有有理模型，从而精确地捕获了GIT商的有理几何。特别地，它给出了稳定轨道集合的一个紧致化有理类比。

我们研究了在更新条件下回答具有自由访问模式（CQAP）的连接查询的问题。自由访问模式是指查询的自由变量被划分为输入和输出的分区。给定输入变量的一组值后，查询返回关于输出变量的元组。我们引入了一种完全动态评估方法，该方法适用于所有CQAP，并对两类CQAP而言是最优的。这种方法恢复了之前关于无访问模式连接查询动态评估的工作。首先，我们给出了所有允许单次更新时间为常数且能够以常数延迟枚举输出元组的CQAP的语法特征，前提是给定输入变量的一组值。此外，我们分析了一类CQAP在预处理时间、更新时间和枚举延迟之间的复杂性权衡。对于其中一些CQAP，我们的方法实现了最优但非恒定的更新时间和延迟。这种最优性基于在线矩阵向量乘法猜想。最后，我们将我们的方法适应于在更新条件下的概率数据库可处理CQAP的动态评估。

设$\emph{spex}_{\mathcal{OP}}(n,F)$和$\emph{spex}_{\mathcal{P}}(n,F)$分别为所有顶点数为$n$且不含子图$F$的外平面图和平面图的最大谱半径。定义$tC_l$为$t$个互不相邻的$l$-圈，$B_{tl}$为通过一个公共顶点连接$t$个互不相交的$l$-圈所得到的图（即$tC_l$中的所有圈共享一个顶点），$(t+1)K_{2}$为$t+1$个互不相连的$K_2$的不交并。20世纪90年代，Cvetković和Rowlinson猜想，$K_1 \vee P_{n-1}$在外平面图中最大化谱半径，而Boots和Royle（独立地，Cao和Vince）则猜想$K_2 \vee P_{n-2}$在平面图中最大化谱半径。Tait和Tobin [J. Combin. Theory Ser. B, 2017]确定了这一猜想成立的关键结构。最近，Fang等人[J. Graph Theory, 2024]利用这一关键结构刻画了平面图中$\emph{spex}_{\mathcal{P}}(n,tC_l)$对应的极值图。本文首先关注外平面图，并采用类似方法描述了与$\emph{spex}_{\mathcal{OP}}(n,F)$相关的连通极值图的关键结构，其中$F$包含于$K_1 \vee P_{n-1}$但不包含于$K_{1} \vee ((t-1)K_2\cup(n-2t+1)K_1)$。基于此结构，我们确定了所有$t\geq1$、$l\geq3$以及足够大的$n$时的$\emph{spex}_{\mathcal{OP}}(n,B_{tl})$和$\emph{spex}_{\mathcal{OP}}(n,(t+1)K_{2})$及其唯一的极值图。此外，我们将结果进一步推广到平面图，刻画了所有$t\geq3$、$l\geq3$以及足够大的$n$时$\emph{spex}_{\mathcal{P}}(n,B_{tl})$对应的唯一极值图。

近年来，视觉语言模型（VLMs）越来越注重文档视觉定位，以实现更好的人机交互、可访问性和详细理解。然而，由于图表图像中交织的视觉-数值关系固有的复杂性，其在可视化方面的应用（如图表）仍缺乏深入研究。现有的图表理解方法主要集中在回答问题，而没有明确识别支持其预测的视觉元素。为弥合这一差距，我们引入了RefChartQA，这是一个新的基准测试，它将图表问答（ChartQA）与视觉定位相结合，使模型能够在图表图像中引用多粒度的元素。此外，我们通过对不同类别的5种最先进的VLM进行指令微调进行全面评估。我们的实验表明，通过定位引入空间意识可以提高超过15%的回答准确性，减少幻觉并提高模型可靠性。此外，我们确定了影响文本-空间对齐的关键因素，例如TinyChart中的架构改进，该模型利用令牌合并模块以增强特征融合。我们的数据集已开源，供社区开发和进一步发展。所有模型和代码将在https://github.com/moured/RefChartQA公开获取。

生成模型近年来在包括星系图像合成在内的多个领域彻底改变了图像生成任务。本研究调查了三种生成模型（基于轻量级GAN、Glow模型以及基于U-Net去噪器的扩散模型）在SDSS数据集（64×64灰度图像的非重叠子集）上的统计学习和一致性。尽管所有模型均能生成视觉上逼真的图像，并很好地保持形态变量分布，但我们的重点在于它们学习和推广潜在数据分布的能力。随着数据集规模的增加，扩散模型表现出从记忆到泛化的转变，证实了先前的研究结果。较小的数据集导致过拟合，而较大的数据集则支持去噪过程理论基础下的新样本生成。对于基于流的模型，我们提出了一个“逆向测试”，利用其双射特性；同样，基于GAN的模型实现了可比的形态一致性，但缺乏双射性。随后，我们引入了“判别器测试”，显示较大数据集下成功的学习，而在较小数据集下则信心不足。在所有模型中，数据集规模低于O(100,000)时学习面临挑战。通过实验，双模型框架实现了稳健评估，突显了这些模型的潜力与局限性。这些发现为生成建模中的统计学习提供了宝贵的见解，其应用显然不仅限于星系图像生成。

经典成核理论（CNT）基于毛细管近似，即假设成核性质可以从熔体和晶体的体相性质推断出来。尽管CNT的简洁性和实用性毋庸置疑，但实验和模拟经常发现其预测与实际结果存在显著偏差，这些偏差通常通过CNT的经验扩展来调和，从而引发关于该理论普遍有效性的争论。在本研究中，我们提出了一个基于毛细管近似的任何成核理论的可证伪性检验方法。我们重点关注理论预测不同晶体多晶型物具有相同成核速率的情况。然后，我们引入了一个系统，在该系统中所有多晶型物在所有状态点下的自由能（体相和界面自由能）都相同。通过广泛的分子模拟，我们展示了这些多晶型物表现出显著不同的成核性质，直接反驳了CNT的预测。我们认为，CNT的主要局限在于忽略了液体相内的结构涨落。

我们讨论了对IIn型超新星(SN) 2023ldh进行光谱和测光监测的结果。调查档案数据显示，超新星前身天体在爆炸前几年经历了一些异常爆发。从2023年5月开始，该源显示出持续四个月以上的缓慢亮度上升，并伴有某些叠加的亮度波动。类似于SN 2009ip，我们将这一增亮事件标记为事件A。在事件A期间，SN 2023ldh达到的最大绝对星等为Mr = -15.52 ± 0.24 mag。随后，所有滤波器下的光变曲线显示约1等的亮度下降，持续约两周，接着出现陡峭的增亮（事件B），达到绝对峰值星等Mr = -18.53 ± 0.23 mag，重现了SN 2009ip和其他IIn型超新星的演化过程。在事件A期间获得了SN 2023ldh的三组光谱，显示出H I和Fe II线的多分量P Cygni轮廓。在向事件B峰值上升的过程中，光谱显示由洛伦兹型轮廓主导的发射巴耳末线系的蓝连续区，半高全宽(FWHM)速度约为650 km/s。后来，在峰值后阶段，光谱变红，并在Hα线轮廓中出现更宽的翼部。金属线明显可见，具有P Cygni轮廓和约2000 km/s的速度。大约在最大值后三个月直至很晚的阶段，Ca II线成为最突出的特征，而Hα则以中间宽度的箱形轮廓为主。尽管SN 2023ldh模仿了其他类似SN 2009ip的暂现事件的演化，但它稍微更亮且光度演化较慢。SN 2009ip类事件令人惊讶的观测特性的一致性可能表明相似的爆炸场景和类似的前身参数。

根据惠更斯原理，波前上的所有点都充当次级波源发射球面波，这些球面波的包络形成新的波前。在惠更斯原理的数学表述中，由次级波源发出的波用格林函数表示。在当今许多惠更斯原理的应用中，这些格林函数被其时间反演版本所取代，从而构成了回溯传播、成像、反演、地震干涉测量等的基础。然而，当输入波场仅在一个开放边界可用时，这种方法存在局限性。特别是它不能正确处理多次反射波。通过惠更斯原理的一种修正形式解决了这一问题，其中格林函数被聚焦函数取代。修正后的惠更斯原理构成了成像、散射反演、诱导源监测等的基础，从而正确考虑了多次反射波。

设 $R$ 是一个交换诺特局部微分分次（DG）环。本文提出了一种关于 $R$ 上极大Cohen-Macaulay DG-复形的定义，该定义自然推广了诺特局部环上的极大Cohen-Macaulay复形的研究成果，相关研究由Iyengar、Ma、Schwede和Walker开展。我们的定义扩展了Shaul在Cohen-Macaulay DG-环和DG-模方面的工作，因为任何极大Cohen-Macaulay DG-模都是极大Cohen-Macaulay DG-复形。在证明导出交换代数中的必要引理后，我们建立了对于具有常幅值且存在对偶化DG-模的DG-环，极大Cohen-Macaulay DG-复形的存在性。随后，利用这些DG-复形的存在性，我们为所有具有常幅值的DG-环建立了导出改进的新交点定理。

饼干在既酥脆又柔软时最为美味。本文研究了饼干在酥脆与柔软程度上的最佳比例，并探讨其更接近饼干、蛋糕还是两者皆不是。我在瑞典皇家理工学院（KTH，斯德哥尔摩）以及瑞士日内瓦大学烘焙了遵循外婆外婆外婆等家族传承配方的饼干。我为同事设计了一份专门的问卷，包含三个精心挑选的问题，以供他们在品尝一块饼干时作答。通过对全体参与者对酥脆度和柔软度的加权平均值（分别基于饼干的享受程度）进行计算，得到酥脆度为7.0±1.1，柔软度为5.3±1.4，而整体饼干的享受程度为9.1±2.3。人们喜欢（我的）饼干，而且饼干既不是蛋糕，也不是饼干，它们只是……饼干！

设$X$为紧致黎曼流形序列$\{M_i\}$的Gromov-Hausdorff极限空间，其中$\{M_i\}$为具有Ricci曲率$\text{Ric}_{M_i}\ge -(n-1)$且每点均为$(\delta,\rho)$-局部重绕Reifenberg点的紧致$n$-流形序列，或者$\text{sec}_{M_i}\ge -1$。我们推测，若$M_i$为基本群满足特定条件（例如幂零群）的非球面流形，则$X$分别为可微分或拓扑上的非球面流形。本文的主要结果表明，若$M_i$微分同胚或同胚于一个幂零流形，则$X$分别微分同胚或同胚于一个幂零流形。

单纯依赖标注数据的传统深度学习范式在表征农田元素与其周围环境的空间关系方面存在局限性，难以有效建模农田动态时序演化和空间异质性。语言作为一种结构化的知识载体，能够明确表达农田的时空特性，如形状、分布及其周围环境信息。因此，基于语言驱动的学习范式可以有效缓解农田时空异质性带来的挑战。然而，在农田遥感影像领域，目前尚无全面支持这一研究方向的基准数据集。为填补这一空白，本文引入了基于语言描述的农田概念，并构建了FarmSeg-VL数据集，这是首个针对时空农田分割设计的细粒度图像-文本数据集。首先，本文提出了一种半自动标注方法，能够准确地为每张图像分配描述性标签，确保数据质量高且语义丰富，同时提高了数据集构建效率。其次，FarmSeg-VL 数据集在时空特性上表现显著：在时间维度上涵盖四季，在空间维度上覆盖中国八个典型农业区域。此外，就描述性标签而言，FarmSeg-VL 涵盖了农田丰富的时空特性，包括其固有属性、物候特征、空间分布、地形地貌特征以及周围环境的分布情况。最后，我们对视觉语言模型（VLMs）以及仅依赖标注数据训练的深度学习模型的表现进行了分析，展示了其作为农田分割标准基准的潜力。

专家混合模型（MoE）已成为大型语言模型（LLMs）高效扩展的关键架构范式，通过为每个输入标记选择性激活参数子集进行操作。然而，传统的MoE架构面临诸多挑战，包括在训练和推理过程中内存占用过大以及通信开销过高，这些问题主要归因于专家模块的激增。本文提出了一种名为潜在专家混合模型（MoLE）的新参数化方法，该方法能够将特定的专家映射到共享的潜在空间中。具体而言，所有专家操作被系统地分解为两个主要组成部分：首先是对低维潜在空间的共享投影，然后是显著降低参数复杂度的专家特定变换。这种分解方法大幅减少了参数数量和计算需求。除了在MoLE架构的预训练实现之外，我们还建立了严格的数学框架，用于将预训练的MoE模型转换为MoLE架构，并定义了最优分解的充分条件，同时开发了一种系统的两阶段算法来完成这一转换过程。我们的全面理论分析表明，MoLE在多个维度上显著提升了计算效率，同时保持了模型的表征能力。实证评估验证了我们的理论发现，证明MoLE在性能上可媲美标准MoE实现，同时大幅降低了资源需求。

本文构建了一个多目标优化框架，用于分析能源社区中年度成本与韧性之间的权衡关系。在此框架下，分析了三种能源社区运营策略：所有资产由成员拥有的参考案例、实施社区电池储能系统以及补贴贫困成员。结果表明，提高韧性会导致更高的运营成本和更小的能源社区电价可行范围。分析显示，这些权衡对不同成员群体的影响具有异质性。由于能源削减，安装光伏系统的成员受到最大影响。值得注意的是，研究显示，虽然实施社区拥有的储能系统不会直接为贫困成员带来经济效益，但降低这些成员的能源价格却能带来超过30%的整体成本下降。本研究揭示了能源社区运营的复杂性，并强调了技术稳健且社会包容的能源社区的重要性。

虽然反向传播（backpropagation）是深度学习的核心，但由于其固有的顺序性，可能限制非常深模型的可扩展性。由于梯度消失问题，这类模型曾面临收敛困难，后来通过残差连接得以解决。这些方法的变体现在广泛应用于现代架构中。然而，反向传播的计算成本仍然是主要负担，占用了大部分训练时间。利用类似于残差的设计，我们提出了高速公路反向传播（Highway backpropagation），这是一种可以并行化的迭代算法，通过交替地i) 在残差路径上累积梯度估计，ii) 平行地将它们反向传播通过每一层，从而近似反向传播。该算法源自梯度分解为通过所有路径的梯度之和，并且适用于从ResNets和Transformers到循环神经网络的多种常见架构。通过在大量任务和模型上的广泛实证研究，我们评估了高速公路反向传播（Highway-BP），并表明可以实现重大加速，同时性能下降最小。

为了充分利用HL-LHC进行味物理研究，LHCb探测器需要进行第二次重大升级。新探测器将在长期关闭4（LS4）期间安装，并在高达$1.5 \times 10^{34}\,{\rm cm}^{-2}{\rm s}^{-1}$的瞬时亮度下运行。通过升级所有子系统并添加新的探测能力，将能够积累至少$300\,{\rm fb}^{-1}$的高能$pp$碰撞数据样本，这为味物理、电弱物理、寻找微弱相互作用的新粒子以及强子谱学提供了前所未有的独特科学机会。本文总结了LHCb升级II探测器通过提高对一系列尚未知现象的灵敏度而实现重大发现的潜力。

我们从几何的角度研究了多模态GKP（Gottesman--Kitaev--Preskill）量子纠错码。首先，我们将它们的模空间构造为群的商，并展示它作为一个纤维丛存在于辛整数格的模空间之上。然后，我们证明了逻辑GKP Clifford操作的Gottesman--Zhang猜想，表明所有此类门都来源于该空间上平坦联络的平行传输。具体而言，非平凡的Clifford操作对应于GKP码空间上的拓扑非可缩路径，而逻辑恒等操作则对应于可缩路径。