机器人 / 具身智能

When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-Stage Programming with Let-Insertion (Extended Version)

阶段注释何时保持语义？用let插入实现带类型语义保持的多阶段编程（扩展版）

Jun Tan, Guannan Wei

专题命中 机器人操作 ：manipulation(abstract)

AI总结 研究带引用的多阶段编程中阶段注释保持语义的条件，提出两个带类型的两阶段演算，通过自动let插入和轻量类型-效应系统实现语义保持，并证明强语义保持定理。

Comments 29 pages; preprint of paper accepted at OOPSLA 2026

$\texttt{SMaSH}$ : Simplify Massive Spinor Helicity

$\ exttt{SMaSH}$: 简化大规模旋量螺旋度

Aakash Kumar, Arnab Rudra, Rahul Shaw

专题命中 机器人操作 ：manipulation(abstract)

AI总结 提出SMaSH，一个Mathematica包，用于四维时空中的旋量螺旋度计算，支持有质量粒子、显式小群指标、离壳变量，并集成高能极限、离散对称性检查、接触项和规范不变性验证。

Comments 136 pages, 1 figure. Mathematica files are included in the ancillary file. Github link for the package is https://github.com/aakash-kmr/SMaSH

Neural Networks for Inverse Design of Cascaded-Mode Near-Field Landscapes

用于级联模式近场景观逆向设计的神经网络

Wannes Luts De Martelaere, Joeri Lenaerts, Vincent Ginis

专题命中 机器人操作 ：manipulation(abstract)

AI总结 提出使用人工神经网络解决多模波导中级联模式干涉的近场逆向设计问题，通过梯度优化重构目标近场分布，实现了纵向和横向场设计，展示了深度学习的有效性和可扩展性。

Comments 15 pages, 5 figures

Temporal wave trapping from dynamical pump pulses

动态泵浦脉冲的时间波捕获

T. Torres, R. Terrier, J. Fatome, B. Kibler, G. Millot, G. P. Agrawal

专题命中 机器人操作 ：manipulation(abstract)

AI总结 利用非线性光纤中高阶孤子脉冲的动态演化，理论并实验证明了时间波捕获机制，实现了单脉冲动态时间波导，为全光控制超快信号开辟新途径。

Comments 5 pages, 4 figures

Topological phase transition driven by in-plane spin rotation

面内自旋旋转驱动的拓扑相变

Xinyue Zhu, Yu Xie, Yifei Hao, Fei Gao, Yue Li, Junting Zhang

专题命中 机器人操作 ：manipulation(abstract)

AI总结 提出通过连续面内自旋旋转可逆切换拓扑态，基于磁点群对称性约束贝里曲率分布，在二维kagome铁磁陈绝缘体中实现60°旋转翻转陈数符号，并验证超低场超快操作。

Comments 12 pages, 4 figures

Security and Privacy in Retrieval-Augmented Generation: Architectures, Threats, Defenses, and Future Directions for Building Trustworthy Systems

检索增强生成中的安全与隐私：构建可信系统的架构、威胁、防御与未来方向

Balamurugan Palanisamy, G S S Chalapathi, Vikas Hassija, Rajkumar Buyya

机构 * Department of Electrical and Electronics Engineering（电子与电气工程系） ； Birla Institute of Technology and Science, Pilani, Pilani Campus（比拉理工学院和科学学院，比拉校区） ； Department of Computer Engineering, KIIT University（计算机工程系，KIIT大学） ； Quantum Cloud Computing and Distributed Systems (qCLOUDS) Laboratory（量子云计算与分布式系统（qCLOUDS）实验室） ； Department of Computing and Information Systems（计算与信息系统系） ； The University of Melbourne（墨尔本大学） 纠错

专题命中 机器人操作 ：manipulation(abstract)

AI总结 本文综述了检索增强生成系统在集中式、设备端、联邦和混合范式下的隐私与安全挑战，提出了涵盖检索、上下文构建和生成阶段的统一威胁分类，并分析了攻击类别及防御策略。

Nonlinear refractive index of warm rubidium vapor

温铷蒸气的非线性折射率

L. Kardum, G. Premec, N. Šantić, D. Aumiler

专题命中 机器人操作 ：manipulation(abstract)

AI总结 基于光学布洛赫方程计算温铷蒸气的线性和非线性折射率，与干涉测量实验定量吻合，获得高达10^{-4} cm^2/W的Kerr非线性折射率。

Cross-National Information Attacks: A Two-Decade Analysis of Troll Behavior in Korea

跨国信息攻击：韩国巨魔行为的二十年分析

Jaehong Kim, Hyeonseung Kim, Jiseon Kim, Alice Oh, Thorsten Holz, Wonjae Lee, Meeyoung Cha

机构 * Korea Advanced Institute of Science and Technology (KAIST)（韩国高级科学研究院） ； Max Planck Institute for Security and Privacy (MPI-SP)（马克斯·普朗克安全与隐私研究所） 纠错

专题命中 机器人操作 ：manipulation(abstract)

AI总结 提出可解释机器学习框架，对韩国112M条新闻评论进行检测，识别出23,998个疑似协调操纵账户，发现其依赖道德谴责修辞而非直接宣传外国叙事，且此类修辞获得更高用户参与，主要针对国内政治人物，可能加剧两极分化。

Comments Accepted at the 35th USENIX Security Symposium (USENIX Security '26)

Evidence-Bound Gateway-Path Provenance for Third-Party LLM Inference

第三方LLM推理的证据绑定网关路径溯源

Fei Wang, Zebai Tian

专题命中 机器人操作 ：manipulation(abstract)

AI总结 针对第三方LLM网关中路由替换、隐藏回退等不可信问题，提出证据绑定架构，通过受信任执行环境分离控制面与执行面，实现可验证的路径溯源。

Comments 9 pages,2 figures

A Blockchain Consensus Mechanism for Distributed Electricity Trading

一种用于分布式电力交易的区块链共识机制

Shanglin Yang, Guo Chen, Shiping Chen

专题命中 机器人操作 ：manipulation(abstract)

AI总结 针对分布式电力系统去中心化协调、公平结算、可信运行和系统优化四大挑战，提出基于能量贡献证明（PoE）的区块链共识机制，通过密码学安全、贡献比例节点选择实现去中心化共识。

Comments 7 pages, 10 figures, 4 tables

Structure and information measures of few-electron systems under a spherically symmetric Gaussian potential within a density functional approach

密度泛函方法下球对称高斯势中少电子系统的结构与信息度量

Raveena Arya, Santanu Mondal, Amlan K. Roy

专题命中 机器人操作 ：manipulation(abstract)

AI总结 采用密度泛函方法，通过求解Kohn-Sham方程并利用功函数交换势，研究了球对称高斯势中H、类He离子、Li和Be的能量，分析了电子关联效应，并计算了Shannon熵和Fisher信息等度量，发现势参数可调控能量和电子局域化。

Comments 13 pages, 4 tables, 9 figures

Optical Two-Centered Charges, Dipoles, and Conveyor-Belt Modes in Bipolar Coordinates

双极坐标中的光学双中心电荷、偶极子和传送带模式

J. Strohaber

专题命中 机器人操作 ：manipulation(abstract)

AI总结 通过全息生成双极坐标下的亥姆霍兹方程解，实现具有多中心相位奇点的光学模式，包括光学偶极子和双中心电荷分布，并识别出连接电荷中心的传送带模式。

Comments 15 pages, 9 figures

Reversible nonrelativistic magnon spin transport in ferroelastic altermagnets

铁弹交变磁体中的可逆非相对论磁振子自旋输运

Haozhou Cai, Jian Wu, Weiyi Pan

专题命中 机器人操作 ：manipulation(abstract)

AI总结 基于对称性分析，提出通过二维交变磁体中的铁弹转变实现磁振子自旋输运的非易失性、无场调控机制，并在CoTe2单层中通过第一性原理计算验证。

Sandbox-Enabled Digital Twin for Cyber-Physical Systems

支持沙箱的数字孪生用于信息物理系统

Meet Udeshi, Md Raz, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami

专题命中 机器人操作 ：robotics(abstract)

AI总结 提出一种闭环数字孪生框架，通过将控制器二进制置于沙箱中并与外部植物模拟器耦合，同步捕获控制器侧信道和植物状态，用于CPS控制器的在线测试和异常检测。

Comments 5 Pages, 4 Figures

A Four-Section Bracket for the 48-team World Cup

48支球队世界杯的四段式淘汰赛对阵表

Chong Qi

专题命中 机器人操作 ：manipulation(abstract)

AI总结 针对2026年世界杯扩军至48队带来的赛制问题，提出四段式淘汰赛规则，将12个小组分为四个段，确保小组冠军留在本段，减少对阵复杂性并提升公平性。

Comments 6 pages, 3 figures

Tunneling-induced translation of intact $π$-radical clusters on Au(111)

隧穿诱导的完整$\pi$自由基团簇在Au(111)上的平移

Jacob D. Teeter, Kateryna Averchenko, Maximilian Eliasch, Stefan Müllegger

专题命中 机器人操作 ：manipulation(abstract)

AI总结 利用低温扫描隧道显微镜，在Au(111)表面实现了三元持久性分子$\pi$自由基团簇的整体可控操纵，并通过拖拽构建了人工团簇组装体。

FluidViews: Adaptive Drag-and-Drop Token Filters for Heterogeneous Multi-View Visual Analytics

FluidViews：用于异构多视图可视化分析的自适应拖放令牌过滤器

Bhanu Sunku

专题命中 机器人操作 ：manipulation(abstract)

AI总结 提出FluidViews框架，通过复制为高亮和拖拽为过滤器两种直接操作，将过滤器提升为可操控对象，支持跨视图快速比较和上下文敏感过滤，减少认知负荷，保持分析流畅性。

Data-driven methods for computation of optimal linear response in high-dimensional dynamical systems

高维动力系统中最优线性响应的数据驱动计算方法

Gary Froyland, Dimitrios Giannakis, Nicholas Peters

专题命中 机器人操作 ：manipulation(abstract)

AI总结 提出基于核平滑转移算子逼近的数据驱动框架，通过优化问题计算非线性系统的最优线性响应，并应用于低维混沌系统和高维地球系统模型。

Comments 35 pages, 12 figures

Anywhere, Any-Stymie: Remote Activation of Trojan Malware on LiDAR with Modulated Signals

任意地点，任意干扰：利用调制信号远程激活LiDAR上的特洛伊恶意软件

R. Spencer Hallyburton, Miroslav Pajic

专题命中 机器人操作 ：manipulation(abstract)

AI总结 本研究设计了一种嵌入LiDAR固件的特洛伊恶意软件，并利用光学触发通过调制信号远程激活，实现虚假目标注入和真实目标抑制，威胁自动驾驶安全。

The magneto-Leidenfrost effect in ferrofluid droplets

铁磁流体液滴中的磁-莱顿弗罗斯特效应

Abhishek Kumar Jaiswal, Neeladri Sekhar Bera, Purbarun Dhar

专题命中 机器人操作 ：manipulation(abstract)

AI总结 研究磁场对铁磁流体液滴动态莱顿弗罗斯特效应的影响，发现磁场可诱导液滴在低于零场莱顿弗罗斯特温度下反弹，提出磁-莱顿弗罗斯特效应的理论框架。

Dislocation-templated antiferromagnetic domains in epitaxial NiO

外延NiO中位错模板化的反铁磁畴

Alexandra Fonseca Montenegro, Justin Michel, Fengyuan Yang, Roberto C. Myers

专题命中 机器人操作 ：manipulation(abstract)

AI总结 利用扫描电子显微镜电子通道衬度成像，发现外延NiO/MgO(001)中界面位错网络在纳米尺度上钉扎反铁磁孪晶畴壁，并通过热循环和厚度系列实验揭示了位错网络对反铁磁畴结构的模板化机制。

Comments 5 pages, 4 figures

Chiral Phonons Enable Ultrafast Magnetization Switching via Magnetoelastic Coupling

手性声子通过磁弹性耦合实现超快磁化翻转

Weiwei He, Muhammad Hamza Asim, Mara Strungaru, Roy Chantrel, Min Yi, Oksana Chubykalo-Fesenko

专题命中 机器人操作 ：manipulation(abstract)

AI总结 研究利用太赫兹驱动的手性声子通过磁弹性耦合实现比线性声子更快的磁化翻转，揭示了手性在自旋-晶格动力学中的关键作用。

Dynamical Steering and Unambiguous Signature of Majorana Corner Modes in Altermagnetic Josephson Junctions

交错磁约瑟夫森结中马约拉纳角模式的动力学操控与明确特征

Yu-Xuan Li, Tao Zhou

专题命中 机器人操作 ：manipulation(abstract)

AI总结 提出利用相位偏置的交错磁约瑟夫森结，通过超导相位差和奈尔矢量方向独立调控边界质量，实现马约拉纳角模式在固定器件角点间的确定性空间重定位，并产生控制相关的电导开关特征以区分拓扑态。

Comments 8 pages, 6 figures

Directory-Aware Query and Maintenance in Vector Databases

向量数据库中的目录感知查询与维护

Mengzhao Wang, Zheng Gong, Jingpei Hu, Jiajie Fu, Maojia Sheng, Junwen Chen, Yifan Zhu

专题命中 机器人操作 ：manipulation(abstract)

AI总结 针对向量数据库缺乏层次目录语义的问题，提出目录语义查询(DSQ)和目录语义维护(DSM)算子，并评估三种实现策略，其中基于Trie的层次索引(TrieHI)通过树遍历实现高效递归检索并降低维护成本。

The Ghosts of Polymarket: When Off-Chain Matches Meet On-Chain Reverts

Polymarket 的幽灵：当链下匹配遇上链上回滚

Yiming Shen, Yuhan Jin, Shuohan Wu, Yanlin Wang, Jiachi Chen

专题命中 机器人操作 ：manipulation(abstract)

AI总结 研究 Polymarket 混合架构中链下匹配成功但链上结算失败的“幽灵填充”问题，通过 GHOSTHUNTER 工具识别四种攻击向量，造成至少 149 万美元利润和 24.3% 订单回滚。

DoubtProbe: Black-Box Jailbreak Defense via Structural Verification and Semantic Auditing

DoubtProbe：通过结构验证与语义审计的黑盒越狱防御

Xuanyu Yin, Yilin Jiang, Jun Zhou, Kai Chen, Zhengfu Cao, Xiaolei Dong

机构 * East China Normal University（东华大学） ； The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州）） ； Institute of Information Engineering, Chinese Academy of Sciences（中国科学院信息工程研究所） 纠错

专题命中 机器人操作 ：manipulation(abstract)

AI总结 提出DoubtProbe双分支推理时防御框架，结合结构验证与语义审计，将黑盒越狱防御转化为受控变换下的一致性检查，在多个基准上实现更强更稳定的防御-效用权衡。

Comments 25 pages, 5 figures

Temporal Faraday effect enabled by Floquet-induced chirality

由Floquet诱导手性实现的时间法拉第效应

Neng Wang, Guo Ping Wang

专题命中 机器人操作 ：manipulation(abstract)

AI总结 提出一种时间手性超材料，通过Floquet调制产生有效手性响应，无需磁场或结构手性，实现时间法拉第效应，为可重构偏振操控开辟新途径。

Comments 20 pages, 5 figures

Upper bound to optical forces through the multipolar control of optical beams

通过光束的多极控制实现光学力的上界

Enrique Ayllón-García, Iker Gómez-Viloria, Quimey Pears Stefano, Jason T. Francis, Ángel Cifuentes, Ásier Mongelos-Martinez, Shah Jee Rahman, Miguel Varga, Gabriel Molina-Terriza

专题命中 机器人操作 ：manipulation(abstract)

AI总结 基于电磁场的螺旋度多极展开，推导了施加于粒子的最大光学力的通用上界，并应用于稳定阱中的均匀球体，实验实现了三倍力增强。

Polarization-controlled optical backflow in paraxial electromagnetic beams

近轴电磁光束中偏振控制的光学回流

Tomasz Radożycki

专题命中 机器人操作 ：manipulation(abstract)

AI总结 研究近轴高斯光束中的光学回流，通过标量势表示发现纵向坡印廷分量为负的条件，并揭示偏振通过横向场约束数量控制回流区域的空间拓扑。

Comments 12 pages, 3 figures, ReVTeX

Two mechanisms of backward optical forces on Rayleigh particles in structured paraxial light

结构近轴光中瑞利粒子后向光力的两种机制

Tomasz Radożycki

专题命中 机器人操作 ：manipulation(abstract)

AI总结 研究瑞利粒子在近轴高斯光束中的后向光力，发现两种机制：坡印廷矢量局部反转和自旋密度空间变化，提供统一物理图像并拓展粒子操控可能性。

Comments 10 pages, 7 figures, ReVTeX

Journal ref Phys. Rev. A 113, 023508(2026)