分类

原型引导的后门防御

深度学习模型容易受到“后门攻击”的影响,恶意攻击者通过在少量训练数据中添加“触发器”来导致错误分类。已使用的触发器包括语义触发器,这些触发器无需攻击者操纵图像即可轻松实现。生成式人工智能的出现简化了多样化中毒样本的生成。对不同类型触发器的鲁棒性对于有效的防御至关重要。我们提出了原型引导的后门防御(PGBD),这是一种稳健的后处理防御方法,可以扩展到不同的触发器类型,包括之前未解决的语义触发器。PGBD 利用激活的几何空间中的位移来惩罚接近触发器的移动,这是通过后处理微调步骤中的新颖净化损失实现的。这种方法易于扩展到所有类型的攻击。PGBD 在所有设置下都取得了更好的性能。我们还首次针对名人面部图像上的新语义攻击提出了防御方法。项目页面:\href{https://venkatadithya9.github.io/pgbd.github.io/}{此链接}。

计算机视觉与模式识别
人工智能
机器学习
2025-03-26 发布

分裂插值:通过三值逻辑精化Craig定理

对于两个逻辑系统$\mathsf{L}_1$和$\mathsf{L}_2$,哪些真值表和推论关系的选择可以保证满足以下分裂插值性质:如果两个公式$\phi$和$\psi$至少共享一个命题原子,并且$\phi$经典蕴含$\psi$,那么存在一个公式$\chi$,它与$\phi$和$\psi$共享所有的命题原子,使得$\phi$在$\mathsf{L}_1$中蕴含$\chi$,而$\chi$在$\mathsf{L}_2$中蕴含$\psi$?我们确定了在这种性质对于基于相同三值布尔正常单调连接词方案以及两种单调推论关系的任意一对命题逻辑系统成立的情况。由于所得的逻辑系统是次古典的,此性质的每一实例都构成了Craig演绎插值定理的一个特定细化,因为它蕴含后者并进一步限制了可能的插值范围。

数理逻辑
2025-03-26 发布

基于伪波动优化的跨市场协同股价波动预测模型CSPO

股票市场作为金融市场的基石,将股价波动预测置于数量金融领域挑战的前沿。新兴的学习方法在捕捉现代市场复杂且不断演变的数据模式方面取得了显著进展。随着股票市场的迅速扩展,其呈现出两种特性——股票外生性和波动异质性,这增加了价格预测的复杂性。具体而言,股票外生性反映了外部市场因素对价格波动的影响,而波动异质性则展示了在面对价格波动时,不同股票间预测难度的差异。在此工作中,我们提出了基于跨市场协同与伪波动优化(CSPO)的框架。具体来说,CSPO采用有效的深度神经网络架构来利用期货市场的知识,从而丰富股票嵌入信息并增强其预测能力。此外,CSPO引入伪波动来建模特定股票的预测置信度,使优化过程能够动态调整以提高准确性和鲁棒性。我们的大量实验,包括工业评估和公共基准测试,表明CSPO在现有方法中具有更优越的表现,并验证了其中所提出模块的有效性。

机器学习
人工智能
2025-03-26 发布

诱导匹配、有序匹配与二分图的Castelnuovo-Mumford正则性

设G为有限简单图,分别用indm(G)和ordm(G)表示G的诱导匹配数和有序匹配数。我们刻画了所有满足indm(G) = ordm(G)的二分图G。对于这类图,我们建立了边理想的幂次的Castelnuovo-Mumford正则性和覆盖理想的幂次的深度。此外,我们给出了完全二分图K_{m,n}的连通非同构生成子图数量的公式,其中满足indm(G) = ordm(G) = 2的情况,并在m = 2,3,4且m ≤ n时给出显式表达式。

交换代数
13F55, 05E40
2025-03-26更新2024-05-10 发布

模式形成作为癌症免疫治疗中的韧性机制

数学和计算建模在肿瘤学中发挥着越来越重要的作用,不仅有助于理解各种治疗方法对肿瘤生长的影响,还能优化给药方案并协助制定治疗策略。然而,正如所有建模一样,对生物和物理系统的描述仅能做出近似表达。本文利用经典模型(该模型将IL-2化合物和效应细胞作为治疗参数),展示了组织尺度的空间结构可以对肿瘤对抗免疫疗法的韧性产生深远影响。通过线性稳定性分析、数值延拓以及直接模拟,我们发现扩散的癌细胞群体可能经历模式形成(Turing)不稳定性,导致空间结构状态在治疗范围内长期存在,而相应的均匀空间系统会预测出无癌状态。这些空间模式化状态在广泛的参数范围内以及时间依赖性治疗方案下均得以维持。通过边界引入治疗可增强域内肿瘤对抗治疗的抵抗力,进一步凸显了空间建模在设计基于数学模型的治疗方案中的重要性。出乎意料的是,这一机制表明效应细胞移动性的增加可能会提高肿瘤对抗治疗的韧性。最后,我们讨论了在其他癌症治疗模型中理解这种空间韧性时的实际和理论考量,特别是那些包含更现实的空间传输的模型。

组织与器官
模式形成与孤子
92C15 (primary) 92C50, 35B36, 35K57 (secondary)
2025-03-26 发布

非互易相互作用与高维混沌:对比可解模型中平衡态的动力学与统计特性

我们研究了一个具有全连接随机非互易相互作用的高维动力学变量模型。我们刻画了其相图,并指出该模型可以表现出混沌动力学。我们证明描述系统动力学的方程所具有的平衡态数目随着系统维度呈指数增长,并且在混沌相中这些平衡态都是线性不稳定的。通过求解无限维极限下控制动力学的有效方程,我们确定了吸引子流形内构型的典型性质(如磁化率、重叠)。我们表明这些性质无法从动力学方程的众多不稳定平衡态推断得出,这挑战了仅凭不稳定平衡态来理解混沌的预期。我们讨论了这种场景在相互作用非互易强度变化下的依赖关系。这些结果是通过动态平均场理论和Kac-Rice形式主义等分析方法相结合得到的。

无序系统与神经网络
统计力学
2025-03-26 发布

基于VLT/VISIR非探测对隼鸟2号延展任务小行星1998~KY$_{26}$大小限制的研究

1998~KY$_{26}$是一颗小型近地小行星(绝对星等H=26.1),于1998年被发现。它已被选为隼鸟2号延展任务的目标,预计将在2031年与1998~KY$_{26}$交会。然而,其最基础的物理特性之一——尺寸,仍缺乏有效约束,这可能给航天器操作带来挑战。我们通过热红外观测手段对1998~KY$_{26}$的尺寸进行了限制。我们在2024年5月连续三晚利用欧洲南方天文台甚大望远镜(VLT)/VISIR设备对1998~KY$_{26}$进行了热红外观测。经过叠加处理后,我们未能在所得图像中明显探测到1998~KY$_{26}$。由此得出其在10.64微米波长处的上限流量密度为2毫焦耳每平方秒。基于此非检测结果的上限流量密度,并结合热物理建模,我们得出1998~KY$_{26}$直径小于17米的结论。这一上限值小于雷达推导出的30(±10)米的结果。我们对1998~KY$_{26}$的尺寸限制对于隼鸟2号飞船在近距离操作时利用遥感仪器进行探测以及可能的撞击实验所剩余弹丸的操作至关重要。

地球与行星天体物理学
天体物理学仪器和方法
2025-03-26 发布

Coolight:提升城市学生通勤者夜间安全的工具

夜晚独自步行时的安全感是衡量公民福祉和社会包容性的重要指标,但这种安全感在不同人口群体中的体验并不均衡,尤其是居住在城市地区的大学生。我们介绍了Coolight,这是一款旨在通过互动式实时地图、社区实时事件报告、位置共享以及优化用户安全的路线规划功能来减轻夜间步行压力和焦虑的移动应用程序。Coolight的设计基于对加拿大多伦多地区大学生及其朋友和家人的访谈、问卷调查和可用性测试。本文描述了这一解决城市通勤者夜间安全问题的概念、研究、设计方法及评估结果。

人机交互
2025-03-26 发布

近期量子计算机在经典模拟前沿的经典数字量子磁性的研究

利用近期量子计算机模拟现实量子系统的关键在于数字量子物质的稳定性——当离散量子门近似连续时间演化时实现的量子态——以及这种稳定性是否能在超出经典模拟范围的系统规模和时间尺度下保持。本文利用Quantinuum公司的H2量子计算机模拟了量子伊辛模型的数字化动力学,并观察到Floquet预热化在当前经典方法难以准确模拟(如果可行的话)的时间尺度上出现。除了确认受可实现的数字化误差影响的动力学稳定性外,我们通过计算与动力学新兴流体描述相关的扩散常数,展示了局部平衡的直接证据。我们的成果得益于两比特门质量的持续改进(本征部分纠缠保真度达到99.94(1)%),这使我们能够访问超过2000个两比特门的电路体积。这项工作确立了数字量子计算机作为研究连续时间动力学的强大工具,并展示了它们在规模和复杂性领域超越已知经典方法的潜力,可以对经典启发式算法进行基准测试。

量子物理
强关联电子体系
2025-03-26 发布

黑洞X射线暂现源Swift J1727.8-1613中的次秒光学/近红外拟周期振荡

我们报告了从黑洞X射线暂现源Swift J1727.8-1613中探测到光学/近红外(O-IR)拟周期振荡(QPO)。在2023年9月9日、15日和17日,我们利用NICER、HAWK-I@VLT、HIPERCAM@GTC和ULTRACAM@NTT对该源在中间态下的三次高时间分辨率X射线和O-IR观测结果表明,在所有三个时段内均清晰检测到了QPO。QPO呈现漂移现象,在第一个时段为1.4 Hz,第二个时段上升至2.2 Hz,第三个时段达到4.2 Hz。这些频率是迄今为止在黑洞X射线暂现源中检测到的最高的O-IR QPO频率之一。在前两个时段内,X射线和O-IR辐射表现出相关性,光学滞后(相对于X射线)从+70毫秒变化到0毫秒。最后,在第三个时段,我们首次测量了$z_s$波段相对于$g_s$波段在QPO频率上的滞后(约+10毫秒)。通过估算可变的O-IR能谱,我们发现发射最有可能是非热性的。当前最先进的模型可以解释其中一些特性,但无论是喷流模型还是热流模型都无法轻易解释QPO的观测演化。尽管如此,这为我们对这些组分施加了严格的限制,但仍需要更频繁地覆盖状态转换的快速多波长观测,以全面理解BH低质量X射线双星中盘/喷流特性的演化。

高能天体物理现象
2025-03-26 发布

引力指数与允许的复度规

我们在超对称引力路径积分的背景下研究了Konstevich--Segal--Witten(KSW)判据,用于允许的复度规。在渐近平坦以及渐近AdS空间的各种超引力理论中,已知弦理论对应的微观指数状态的指数增长由该路径积分的复鞍点捕获。我们比较了这些复鞍点的KSW判据与几何一致性及相同鞍点的微观指数收敛性的约束条件。在所有四维情况下,我们发现这三个标准完全一致。然而,在AdS$_5$对应于两个角动量具有不同化学势的超共形指数的情况下,我们发现这种一致性不成立。微观指数在参数空间中的收敛区域严格包含于KSW判据所允许的区域,而后者又严格包含于几何一致性条件。因此,我们认为KSW判据对于允许对超共形指数有贡献的复度规来说是必要但不充分的。

高能物理-理论
2025-03-26 发布

星团内光作为星系团的动力学时钟:来自MAGNETICUM、IllustrisTNG、Hydrangea和Horizon-AGN模拟的启示

作为宇宙网中最庞大的节点,星系团是研究结构形成的最佳探针。随着时间推移,它们通过吸积和瓦解卫星星系,将这些星系的恒星添加到最亮星系团星系(BCG)和星团内光(ICL)中而不断增长。然而,不同星系团的形成路径可能存在显著差异。为了为即将到来的大规模巡天提供信息,我们旨在识别能够区分星系团形成路径的可观测量。利用四种不同的流体力学模拟——Magneticum、IllustrisTNG的TNG100、Horizon-AGN和Hydrangea,我们研究了BCG和ICL中的恒星质量分数($f_{ICL+BCG}$)与星系团质量组装历史之间的关系。对于所有模拟,$f_{ICL+BCG}$ 是跟踪星系团积累其质量一半的时间($z_f$)的最佳指标,其性能优于其他典型动力学示踪物,例如亚晕质量分数、晕质量以及中心位移。更放松的星系团具有更高的$f_{ICL+BCG}$,在少数情况下可达90%,而动力学活跃的星系团则较低,低至20%,我们发现这一结果独立于具体实现的重子物理过程。我们确定由剥离和并合引起的$f_{ICL+BCG}$平均增加量为每十亿年3%-4%。$f_{ICL+BCG}$ 可紧密追踪BCG与第二(M12)和第四(M14)最亮团内星系的质量比。平均而言,星系团在其红移$z_f=0.67$(约60亿年前)时已经积累了其晕质量的一半,但个体的历史变化范围从$z_f=0.06$到$z_f=1.77$(0.8到100亿年前)。由于所有四个宇宙学模拟一致表明$f_{ICL+BCG}$是星系团动力学状态的一个极佳示踪物,即将进行的巡天可以利用$f_{ICL+BCG}$的测量值来统计量化最大质量结构的组装情况。

星系天体物理学
宇宙学和非星系天体物理学
2025-03-26 发布

TESS观测到的银河系蓝超巨星变异性研究

蓝超巨星(BSGs)介于主序星和大质量恒星晚期阶段之间,在评估驱动恒星通过多样化演化通道的物理机制方面具有重要价值。通过探索蓝超巨星参数与其变异性属性之间的相关性,我们旨在改进对演化的恒星结构模型以及主序后演化物理过程的约束。我们利用凌日系外行星巡天卫星(TESS)的测光数据,对银河系中41颗具有光谱参数已知的蓝超巨星进行了变异性研究。我们通过三种统计量描述了这些恒星的时间域,并通过迭代去白化提取频率。此外,我们还研究了在所有振幅谱中表现出来的随机低频(SLF)变异性。我们报告了变异性幅度与恒星亮度之间存在正相关关系。对于log(L/L$_{\odot}\lesssim 5$),恒星显示出与自转周期相匹配的频率,表明变异性是由表面斑块和/或风中的特征驱动的。对于log(L/L$_{\odot}\gtrsim 5$),$\alpha$ Cyg类变星表现出多样性和/或时间变异的特性。此外,我们发现SLF变异性幅度与有效温度($T_{\rm eff}$)之间存在正相关关系,这表明恒星年龄在主序之外背景下信号的出现中起着重要作用。我们观察到内在亮度与SLF变异性幅度之间存在微弱但显著的正相关关系,与大麦哲伦云的研究结果类似,这表明激发机制在很大程度上与金属丰度无关。值得注意的是,$\alpha$ Cyg变星表现出被抑制的SLF变异性,这提示了演化恒星所经历的内部变化。

太阳和恒星天体物理学
星系天体物理学
2025-03-26 发布

FB-4D:基于特征库的空间-时间相干动态三维内容生成

随着扩散模型和三维生成技术的快速发展,动态三维内容生成已成为一个重要的研究领域。然而,实现具有强空间-时间一致性的高保真四维(动态三维)生成仍然是一项具有挑战性的任务。受最近研究表明预训练扩散特征能够捕获丰富的对应关系的启发,我们提出了FB-4D,这是一种新颖的四维生成框架,集成了特征库机制以增强生成帧的空间和时间一致性。在FB-4D中,我们将从先前帧中提取的特征存储起来,并将其融合到后续帧生成的过程中,确保时间和多个视图之间的一致特性。为确保紧凑的表示,特征库通过一种提出的动态合并机制进行更新。利用该特征库,我们首次证明了通过多次自回归迭代生成额外参考序列可以持续提高生成性能。实验结果表明,FB-4D在渲染质量、空间-时间一致性以及鲁棒性方面显著优于现有方法,大幅超越所有无调参的多视角生成方法,并且达到了与基于训练的方法相当的性能。

计算机视觉与模式识别
2025-03-26 发布

BASKET: 面向精细技能评估的大规模篮球视频数据集

我们提出了BASKET,一个用于精细技能评估的大规模篮球视频数据集。BASKET包含来自世界各地的32,232名篮球运动员的4,477小时视频。与以往的技能评估数据集相比,我们的数据集在性别、年龄、技能水平、地理位置等方面包含了数量庞大的参与者,并具有前所未有的多样性。BASKET涵盖了20种精细的篮球技能,挑战现代视频识别模型通过深入视频分析捕捉球员技能的细微差别。给定某位球员的长段精彩视频(8-10分钟),模型需要预测该球员在20种篮球技能中的每一项技能水平(例如,优秀、良好、一般、尚可、较差)。我们的实证分析表明,当前最先进的视频模型在这项任务上表现不佳,显著落后于人类基准。我们认为,BASKET可以成为开发具有先进长距离、精细识别能力的新视频模型的有用资源。此外,我们希望我们的数据集能够为公平的篮球选秀、个性化球员发展等特定领域应用提供帮助。数据集和代码可在https://github.com/yulupan00/BASKET获取。

计算机视觉与模式识别
2025-03-26 发布

OTTER:一种具有文本感知视觉特征提取的视觉-语言-动作模型

视觉-语言-动作(VLA)模型旨在根据视觉观测和语言指令预测机器人动作。现有方法需要对预训练的视觉-语言模型(VLMs)进行微调,因为视觉和语言特征被独立地输入到下游策略中,这会削弱预训练的语义对齐效果。我们提出了OTTER,这是一种新颖的VLA架构,通过显式的、文本感知的视觉特征提取利用这些现有的对齐效果。OTTER并非处理所有视觉特征,而是选择性地提取并仅传递与语言指令在语义上对齐的任务相关视觉特征给策略Transformer。这使得OTTER能够保持预训练的视觉-语言编码器不变。因此,OTTER保留并利用了从大规模预训练中学到的丰富的语义理解能力,从而具备强大的零样本泛化能力。在模拟和真实世界实验中,OTTER显著优于现有的VLA模型,展示了对新物体和环境的强大零样本泛化能力。视频、代码、检查点和数据集:https://ottervla.github.io/。

机器人学
计算机视觉与模式识别
2025-03-26更新2025-03-05 发布

HybEA: 实体对齐的混合模型

实体对齐(EA)旨在检测不同知识图谱(KG)中描述相同现实世界实体的内容。一些嵌入方法被提出,用于根据两个KG在嵌入空间中的相似性来排名潜在匹配的实体。然而,现有EA嵌入方法面临来自真实世界KG的多种结构异构性(即邻域实体)和语义异构性(如实体名称和字面属性值)的挑战,尤其是在跨越多个领域(如DBpedia、Wikidata)时。现有方法要么根据上下文专注于两种异构性之一(单语言与多语言)。为了解决这一局限性,我们提出了一个灵活的框架HybEA,它结合了两种模型:一种新的基于注意力的事实模型,与最先进的结构模型共同训练。我们的实验结果表明,HybEA在Hits@1指标上比最先进的EA系统平均提高了16%,在5个单语言数据集上的提升范围从3.6%到40%,其中一些数据集现在可以被视为已解决。我们还表明,HybEA在3个多语言数据集以及2个放弃不现实但广泛采用的一对一假设的数据集上优于最先进的方法。总体而言,HybEA在所有(10个)评估的数据集和所有(3个)指标上都显著优于所有(11个)基线方法,且差异具有统计学意义。

数据库
2025-03-26更新2024-07-03 发布

基于语法演化的任务特定激活函数在神经进化中的应用

激活函数在神经网络的性能和行为中扮演着至关重要的角色,对网络的学习能力和泛化能力有显著影响。传统的激活函数如ReLU、Sigmoid和Tanh已被广泛使用并取得了显著的成功。然而,这些函数并不总是能够在所有任务和数据集上提供最佳性能。本文介绍了一种名为Neuvo GEAF的新方法,该方法利用语法演化(GE)自动演化出针对特定神经网络架构和数据集的新型激活函数。在著名的二元分类数据集上的实验表明,与使用相同网络结构的ReLU相比,F1分数提升了2.4%到9.4%,且统计结果具有显著性。值得注意的是,这种性能提升是在不增加网络参数数量的情况下实现的,这支持了朝着更高效神经网络发展的趋势,使网络能够在资源受限的边缘设备上有效运行。本文的研究结果表明,演化出的激活函数可以在保持训练和推理阶段能效的同时为紧凑型网络带来显著的性能改进。

神经与进化计算
人工智能
2025-03-26更新2025-03-13 发布

极涡的拓扑结构与蒙大拿州天气

本文探讨了利用拓扑数据分析(TDA)研究北极平均纬向风模式(构成极涡)中的模式,以更好地解释极涡的动力学过程。我们展示了如何通过TDA揭示极涡数据中的显著拓扑特征,并探讨这些特征与北半球冬季平流层涡旋崩塌之间的关系。通过对该数据进行时间序列表示,基于Takens嵌入定理构建点云,并应用持久同调来发现非平凡的拓扑结构,从而深入了解动力系统的混沌和周期行为。这些结构可以为极涡动力学,甚至其他具有全球影响的天气系统提供新的视角。我们的结果表明季节之间存在明显的转变,在极端寒冷时期表现出显著的拓扑活动增加。这一点在2016年初显著的极涡事件中尤为明显。我们的分析捕捉到这些事件期间拓扑特征的持续性,甚至可能为涡旋分裂提供见解,这由多个独立的持久特征数量所指示。这项工作强调了TDA在气候科学中的潜力,为研究复杂动力系统提供了新颖的方法。

动力系统
37N10
2025-03-26 发布

异常可以告诉标准模型与引力什么

这是一篇关于异常应用于自下而上的标准模型与引力研究的综述/研究论文。它分为两部分。第一部分是对量子场论中异常的适当回顾。异常根据三种不同的方法进行分析:基于费曼图的微扰方法、依赖施温格-德维特方法的非微扰方法,以及基于阿蒂亚-辛格族指标定理的方法。这三种方法被应用于手征规范异常和迹异常。我们的阐述所导致的根本区别在于障碍性(O)异常和非障碍性(NO)异常之间的区分。前者与费米子传播子的不存在有关,这严重损害了相应的理论。在第二部分中,我们将这种分析应用于标准模型及其浸没在引力背景中的各种扩展,并发现它们都受到残余手征迹异常的影响。为了完全消除SM类理论中的所有危险异常,我们提出了一种略显非常规的方案,并通过一个明确的模型加以说明。该模型是一个左右对称模型。我们将其嵌入到魏尔几何中以使其成为共形不变的。然后我们处理其某些量子方面,特别是偶数(非障碍性)迹异常以及保持其量子水平共形不变性的手段。我们简要回顾了类似模型在现有文献中的重整化和幺正性。最后,我们提出了该模型可能(推测性)应用于宇宙学与量子场论结合的一个应用。

高能物理-理论
2025-03-26更新2024-12-10 发布

共 13511 条搜索结果

共 13511 条