近期引入的一种用于衡量布尔函数复杂性的指标——析取复杂度（DC）——与其他复杂性度量进行了比较：流算法的空间复杂性和非确定性分支程序（NBP）的复杂性。我们证明了DC与NBP不可比。具体而言，我们给出一个具有低NBP但具有次指数DC的函数。相反，基于计算复杂性猜想，我们提供了论据，表明在某些情况下DC可以比NBP至少超多项式增长。此外，我们证明了单调版本的NBP复杂性严格弱于DC。我们还证明了一次遍历流算法的空间复杂性严格弱于DC。进一步地，我们引入了流算法的一个推广形式，该形式能够捕捉到DC的全部能力。这种推广可以用不可逆地向布尔向量的条目写入1的非确定性算法来表达（即不允许从1变为0）。最后，我们讨论了析取复杂度中的一个不寻常现象：均匀硬函数的存在。这些函数具有其析取复杂性最大化的特性，并且这一特性扩展到了所有被它们支配的函数。

拟重定向（QR）边界是Gromov边界到所有有限生成群的紧密推广。本文证明了对于若干已被广泛研究的群类，QR边界作为一个拓扑空间存在。这些群类包括不可约非几何三维流形的基本群、相对于具有明确QR边界的子群是双曲的群、定义图是树的右角Artin群以及定义旗复形是平面的右角Coxeter群。这一结果显著扩展了已知的QR边界的存在范围。此外，我们完全刻画了在CAT(0)空间上几何作用的Croke-Kleiner容许群的QR边界，表明这些边界是非Hausdorff的，并且可以理解为Morse类方向的一点紧化。最后，我们证明如果群G相对于具有明确QR边界的子群是双曲的，则G的QR边界满射到其Bowditch边界。

我们研究了4维$\mathcal{N}=4$ SYM理论中两个极大巨大重子和两个轻量级$\frac{1}{2}$-BPS算符的相关函数。将其视为在零维缺陷存在下的双点关联函数时，可以利用解析Bootstrap技术在强耦合下完全确定它们。我们确定了所有此类相关函数，对于任意轻量级$\frac{1}{2}$-BPS算符，结果可以通过一个简单的生成函数重新包装，这得益于隐藏的高维对称性。此外，我们还发现有证据表明相同的对称性在弱耦合下也适用于圈修正积分因子。

在Milgrom提出的修改牛顿动力学（MOND）框架中，星系的动力学质量完全由其重子物质分布决定。我们利用DECaLS巡天中的弱透镜信号，拟合了SDSS星系样本中冷气晕和热气晕的分布，重点关注热气晕。星系样本被分为两类：总星系样本和恒星形成星系样本。研究发现，对于两个样本而言，在所有质量区间内，热气晕密度几乎都遵循Plummer分布。此外，还展示了星系样本的旋转曲线。恒星形成样本中，气体转化为恒星的效率$M_*/(M_* + M_{\rm g})$在所有质量区间内介于0.3到0.8之间，高于总样本。同时，我们还利用MOND框架下的卫星运动学方法计算了气体质量。卫星运动表现出常数或轻微径向各向异性甚至各向同性时，卫星运动学方法与弱透镜方法的结果一致。结合两种方法，我们观测到了卫星的重子质量与视线速度弥散关系($M_{\rm b}$-$\sigma_{\rm s}$)。此外，我们考察了MOND框架下更复杂的模型，包括外部场效应和Osipkov-Merritt各向异性分布，发现这些模型并非必要。一个简单的、轻微径向且常数的各向异性模型或各向同性模型，即使孤立存在，也与观测结果一致。两种方法之间的高度一致性表明，弱透镜信号可靠地测量了星系中心的动态质量，并能够限制星系团中缺失重子的分布。

荧光显微镜作为生命科学进步的关键驱动力，同时也受到技术限制的影响。为克服这些限制，最近提出了计算复用技术，允许在单个图像中捕获多种细胞结构，并在后期进行分离。现有的图像分解方法是在一组叠加的输入图像及其相应的未混合目标图像上进行训练的。值得注意的是，对于给定的输入，叠加图像之间的相对强度（混合比）是事先未知的。然而，现有方法是在固定的叠加输入强度比上进行训练的，这使得它们无法意识到荧光显微镜中可能出现的相对强度范围。在这项工作中，我们提出了一种名为indiSplit的新方法，该方法能够认识到上述混合比的严重性。我们的想法基于InDI，这是一种流行的图像恢复迭代方法，也是接受任何给定输入中未知混合比的理想起点。我们引入了（i）一个适当地训练的回归网络，用于预测给定输入图像的退化水平（混合不对称性），以及（ii）一个特定于退化的归一化模块，使降解感知推理能够在所有混合比范围内进行。我们证明了这种方法解决了荧光显微镜中的两个相关任务，即图像分割和串扰去除，并通过实验证明了indiSplit在5个公开数据集上的适用性。我们将以宽松的许可发布所有源代码。

许多资源理论具有一种有趣的特性：若某一操作为自由操作当且仅当其归一化后的Choi矩阵为自由态。在本文中，我们将具有此特性的资源理论称为Choi定义的资源理论。我们展示了如何以及在什么条件下可以构建一个Choi定义的资源理论，并证明了在这种构造可能的情况下，自由操作就是完全不产生资源的操作。此外，我们研究了此类资源理论中的资源度量、完整的单调集以及转换距离。

本文介绍了一个多物体抓取基准，用于评估机器人系统在堆叠场景和表面场景中的抓取和操作能力。该基准提出了三种机器人多物体抓取基准协议，旨在挑战机器人操作的不同方面。这些协议包括：1) “Only-Pick-Once” 协议，用于评估机器人一次性高效抓取多个物体的能力；2) “Accurate pick-transferring” 协议，用于评估机器人从杂乱环境中选择性抓取并转移特定数量物体的能力；3) “Pick-transferring-all” 协议，用于挑战机器人通过依次抓取并转移所有可用物体来清理整个场景的能力。这些协议旨在被更广泛的机器人研究社区采用，提供一种标准化方法来评估和比较机器人系统在多物体抓取任务中的性能。我们使用标准规划和感知算法在Barrett手部、Robotiq平行夹爪以及Pisa/IIT Softhand-2（一种软体欠驱动机械手）上建立了这些协议的基线。我们还讨论了这些结果与人类在类似任务中的表现的关系。

若有限群 \( G \) 的子群格 \( L(G) \) 中每个非空开区间都包含某个子群的正规化子，则称 \( G \) 为具有密集正规化子的群。本文确定了满足此性质的所有有限群，并且分类了其中 \( k \) 个子群不是正规化子的有限群，其中 \( k=1,2,3,4 \)。

设$A$为某个素数$p$的幂次$p^n$阶括号。假设要么(i)括号$A$的加法群秩小于$p-3$；要么(ii)$A^{\frac{p-1}{2}}\subseteq pA$；要么(iii)对每个$i$，$p^iA$是$A$的理想。证明存在一个与括号$A$相关的pre-Lie环，且该pre-Lie环的左幂零指数可以任意大。设$A$为某个素数$p$的幂次$p^n$阶括号。记$ann(p^i)=\{a\in A: p^ia=0\}$。假设对于$i=1,2,\ldots$及所有$a,b\in A$，有\[a*(a*(\cdots *a*b))\in pA, a*(a*(\cdots *a*ann(p^i)))\in ann(p^{i-1})\]其中$a$在此表达式中出现次数小于$\frac{p-1}{4}$。设$k$使得$p^{k(p-1)}A=0$。证明商括号$A/ann(p^{4k})$可以通过仅依赖于括号$A$的加法群的一个公式从一个左幂零pre-Lie环获得。我们还得到了此结果的一些应用。

随着大型语言模型（LLMs）在人工智能领域的影响力日益增强，针对特定任务优化预训练模型变得比LLM时代之前更为流行。然而，像ChatGPT这样的预训练LLMs会定期更新（即频繁调整模型参数），这使得资源有限的下游用户难以及时对最新版本的LLMs进行微调以满足其领域应用需求。尽管由于LoRA等高效微调技术的创新，微调成本有所降低，但并非所有下游用户都具备足够的计算资源来进行频繁的个性化。此外，在敏感领域如医疗保健中，获取微调数据集可能受到时间限制，因此保留早期微调轮次中编码的知识对于未来的适应至关重要。本文提出PortLLM，这是一种无需训练的框架，能够(i) 创建一个轻量级的初始模型更新补丁以捕获领域特定知识，(ii) 允许后续无缝插入，从而以极低成本实现演化的LLM的持续个性化。我们的广泛实验涵盖了七个代表性数据集，从较简单的问答任务（BoolQ、SST2）到更复杂的推理任务（WinoGrande、GSM8K），以及包括Mistral-7B、Llama2、Llama3.1和Gemma2在内的多种模型，验证了我们设计的模型补丁的可移植性，并展示了所提出的框架的有效性。例如，PortLLM实现了与LoRA微调相当的性能，同时减少了高达12.2倍的GPU内存使用。最后，我们提供了理论依据来解释模型更新补丁的可移植性，为LLMs个性化这一理论维度提供了新的见解。

给定$q\in \mathbb{N}_{\ge 3}$及有限集合$A\subset\mathbb{Q}$，令$$K(q,A)= \bigg\{\sum_{i=1}^{\infty} \frac{a_i}{q^{i}}:a_i \in A ~\forall i\in \mathbb{N} \bigg\}.$$对于$p\in\mathbb{N}_{\ge 2}$，设$D_p\subset\mathbb{R}$为具有有限$p$进制展开的所有有理数的集合。本文证明了对于满足$\gcd(p,q)=1$的$p\in \mathbb{N}_{\ge 2}$，$D_p\cap K(q, A)$为有限集当且仅当$\dim_H K(q, A)<1$，这等价于$K(q, A)$无内部点的事实。我们将此结果应用于研究谱特征值问题。对于$\mathbb{R}$上的博雷尔概率测度$\mu$，若实数$t\in \mathbb{R}$使得$E(\Lambda) =\big\{ e^{2 \pi \mathrm{i} \lambda x}: \lambda \in \Lambda \big\}$和$E(t\Lambda) = \big\{ e^{2 \pi \mathrm{i} t\lambda x}: \lambda \in \Lambda \big\}$在某些$\Lambda \subset \mathbb{R}$下均为$L^2(\mu)$中的标准正交基，则称$t$为$\mu$的谱特征值。对于由Hadamard三元组生成的任何自相似谱测度，我们给出了一类在$[0,+\infty)$中稠密分布的谱特征值，并证明了这些特征值对应的每个特征子空间都是无限维的。

我们在紧束缚哈密顿量在布里渊区费米能级附近的线性化近似下，计算了两种凝聚态物理中有兴趣的费米体系的有效电磁Lagrangian，直到最低阶导数修正：(i) 最简单的外尔半金属的$(3+1)$描述；(ii) 质量项的$(2+1)$电动力学，它可以作为两个$(3+1)$拓扑绝缘体界面的模型。我们采用了导数展开法，该方法直接提供了局域的有效Lagrangian，并允许从一开始就选择要考虑的电磁势的幂次以及相关的导数数目。我们发现了Carroll-Field-Jackiw电动力学的新高阶导数修正。总的来说，我们发现的新项要么具有类似的结构，要么构成了某些近期文献中提出的唯象论建议的相对论推广。因此，这些新项应被纳入这些提议中，以评估到给定阶数时所包含的所有项的相对重要性。

一种用于通用分割的强大架构依赖于变换器，该变换器对多尺度图像特征进行编码，并将对象查询解码为掩码预测。在扩展此类模型时，效率是一个高优先级问题。我们观察到最先进的方法Mask2Former有50%的计算量仅用于变换器编码器。这是因为在每个编码层中保留了所有主干特征尺度的完整长度标记表示。基于这一观察，我们提出了一种称为PROgressive Token Length SCALing for Efficient transformer encoders（PRO-SCALE）的策略，可以插入到Mask2Former分割架构中，显著减少计算成本。PRO-SCALE的基本原理是：随着编码器层数的增加，逐步调整标记的长度。这使得PRO-SCALE能够在性能几乎无损的情况下大幅减少计算量（在COCO数据集上，编码器部分计算量减少约52%，整体计算量减少约27%）。在公共基准上的实验表明，PRO-SCALE在架构配置方面具有灵活性，并展示了其在超越分割任务设置时应用于目标检测的潜力。代码见：https://github.com/abhishekaich27/proscale-pytorch

剩余规范对称性（RGS）是在施加规范固定条件后仍然存在的局域规范对称性。尽管在微扰真空态下该对称性表现为“自发破缺”，但在QCD的真实禁闭真空态中可以恢复。因此，若颜色禁闭相为内部对称性均未破缺的无序相，则可获得一个颜色禁闭判据，即与该自发破缺相关的无质量Nambu-Goldstone极点消失的条件。在Lorenz规范中，Hata证明了若剩余规范对称性的规范变换函数$\omega(x)$关于$x$为线性形式，则恢复条件与Kugo-Ojima颜色禁闭判据相同。然而，这一结果是在不考虑拓扑构型的情况下得出的。在此报告中，我们通过考虑预期在非微扰方式下实现禁闭的主要拓扑缺陷重新审视了这个问题。

计算机视觉通常将人类感知视为同质化的：隐含地假设所有人都对视觉刺激有相似的感知。这一假设反映在研究人员收集数据集和训练视觉模型的方式上。相比之下，跨文化心理学和语言学领域的文献提供了证据，表明来自不同文化背景的人即使观看相同的视觉刺激，也会观察到截然不同的概念。本文研究了这些差异如何体现在视觉-语言数据集和模型中，以语言作为文化的一个代理。通过比较7种语言为相同图像生成的文本描述，我们发现语义内容和语言表达存在显著差异。与单一语言数据集相比，多语言数据集的描述在平均语义覆盖率上更高，覆盖率通过场景图、模型嵌入和语言分类法进行衡量。例如，多语言描述比一组单一语言字幕平均多包含29.9%的对象、24.5%的关系和46.0%的属性。当被提示用不同语言描述图像时，流行的模型（如LLaVA）继承了这种偏见，描述图像的不同部分。此外，在单一语言字幕上微调模型在对应语言的测试数据上表现最佳，而在多语言数据上微调则在所有测试数据组合上表现一致良好。我们的工作指出了计算机视觉领域需要考虑并拥抱人类感知的多样性。

本研究提出了一种在多视角环境下对模糊聚类方法的扩展。首先，我们引入了指数多视角模糊聚类（E-MVFCM）。E-MVFCM 是一种集中式多视角聚类方法，并考虑了热核系数（H-KC）和权重因子。其次，我们提出了指数双层多视角模糊聚类算法（EB-MVFCM）。与E-MVFCM不同，EB-MVFCM 能够同时自动计算特征和权重因子。与E-MVFCM类似，EB-MVFCM 提供了热核$\mathcal{K}(t)$显式的H-KC形式，简化了聚类过程中基于适当时间$t$幂次生成热核的过程。本研究中使用的全部特征、工具和算法函数将在https://www.github.com/KristinaP09/EB-MVFCM 公开。

视频面部表情识别(Facial Expression Recognition, FER)在人机交互和健康监测(如疼痛、抑郁、疲劳和压力)等各个应用领域都是一项至关重要的任务。除了识别微妙的情感或健康状态所面临的挑战外，深度FER模型的有效性常常受到受试者之间表情显著差异的影响。无源域适应(Source-free Domain Adaptation, SFDA)方法通过仅利用未标记的目标域数据来适配预训练的源模型，从而避免了数据隐私和存储问题。通常，SFDA方法会针对整个群体的目标域数据集进行适配，并假定该数据集包含所有识别类别中的数据。然而，在医疗保健应用中的FER任务中，收集如此全面的目标数据可能困难甚至不可能实现。在许多现实场景中，在部署之前为受试者收集一段短时间的中性控制视频(仅显示中性表情)可能是可行的。这些视频可以用于适配模型，使其更好地处理受试者之间的表情变化。本文提出了解耦无源域适应(Disentangled Source-Free Domain Adaptation, DSFDA)方法，以解决因缺少目标表情数据而带来的SFDA挑战。DSFDA利用中性目标控制视频的数据，对缺失非中性数据的目标数据进行端到端生成和适配。我们的方法在学习解耦表情和身份相关特征的同时生成缺失的非中性目标数据，从而提高模型准确性。此外，我们的自监督策略通过重建保持相同身份和源表情的目标图像来改进模型适配。在具有挑战性的BioVid和UNBC-McMaster疼痛数据集上的实验结果表明，我们的DSFDA方法能够超越最先进的适配方法。

本文研究了一类具有线性约束的复合非凸非光滑优化问题的一阶方法（FOMs）。近期，文献\cite{liu2025lowercomplexityboundsfirstorder}建立了求解该问题的（$\varepsilon,\varepsilon$）-KKT点的下界复杂度。然而，尚未有算法能够达到这一下界。在本文中，我们提出了一种不精确的近邻梯度方法，其中子问题通过恢复原始对偶过程求解。在未假设有界域的情况下，我们证明所提出的算法找到该问题的（$\varepsilon,\varepsilon$）-KKT点的oracle复杂度与下界匹配，误差仅为对数因子。因此，在复杂度方面，我们的算法优于所有现有方法。数值实验表明，与交替方向乘子法及其线性化版本以及增广拉格朗日法相比，我们的算法具有明显优势。

扭曲双层石墨烯（TBG）在所谓的魔角（$\sim 1.1^\circ$）附近表现出平坦电子能带，导致强电子关联以及超导性和相关绝缘态等新兴量子相的出现。然而，超出魔角范围后，能带结构通常仍保持色散特性，从而削弱了由相互作用驱动的现象。在这项工作中，我们通过系统分析垂直压力下层间耦合修饰的作用，探索了大角度TBG中压力诱导平带与魔角平带之间的等价性。结果显示，压力诱导的平带表现出类似于魔角TBG的空间局域化特性，电荷密度集中在AA堆叠区域。此外，在外加磁场下的霍尔电导率和磁输运特性表明，这些压力诱导的平带与魔角TBG的量子霍尔响应具有相似的关键特征。获得的霍夫施塔特谱显示，在压力下所有扭转角下均存在四个一致的低能隙，这与计算得到的霍尔电导平台相吻合。我们的研究结果表明，压力为在TBG中设计平坦电子能带和关联态提供了一种替代途径，扩展了可调莫尔超晶格材料的研究范围，突破了魔角的限制。

二次双线性（QB）系统广泛出现在科学与工程的诸多领域。本文提出了一种可扩展的方法，用于设计二次双线性系统的局部状态反馈控制律并验证其局部稳定性。基于二次Lyapunov函数建立了局部稳定性与镇定的充分条件，同时给出了平衡点吸引域和可控域的椭球内估计。我们的方法利用了Petersen引理，将验证Lyapunov条件正定性的任务转化为对单一标量参数的线搜索问题。所得的线性矩阵不等式（LMI）条件对于稳定性分析和控制综合均以状态维数的平方尺度增长，从而能够对具有数百个状态变量的QB系统进行分析和控制，而无需依赖专门的实现方案。我们在现有文献中的三个基准问题上验证了该方法，结果表明，我们所提出的方法所得的稳定性域近似值与其他受限于数十个状态变量的成熟工具所得结果相当。