机器人 / 具身智能

Optimizing LZSM protocol for high-fidelity gates in open-system fluxonium

为开放系统磁通量子中的高保真门优化LZSM协议

Santiago Ferreyra, Valentın Reparaz, Maria Jose Sanchez, Leandro Tosi, Daniel Dominguez

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

AI总结 研究针对开放系统磁通量子中基于共振拉比振荡的量子门存在的问题，采用单周期LZSM驱动协议实现快速高保真量子门，推导解析表达式，分析泄漏作用并开发形式主义评估耗散对门保真度的影响。

Comments 13 pages, 8 figures

Fluctuation theorems for autonomous work

自主功的涨落定理

Christopher Jarzynski, Sebastian Deffner, Saar Rahav

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

AI总结 研究在自主框架下\({\cal S}\)与\({\cal R}\)相互作用时功和熵产生的涨落定理，通过考虑\({\cal S}\)对\({\cal R}\)的反作用，得到自主版本，且指出\({\cal R}\)惯性无限大时可简化为非自主对应版本。

Comments 13 pages, 2 figures. Published with Open Access on Dec. 12, 2025, in Proceedings of the National Academy of Sciences (USA). This version contains the published article together with the published Supporting Information

Journal ref Proc. Natl. Acad. Sci. (USA) 122, e2524775122 (2025)

Microsecond-Scale Coherent Control of a Forbidden Clock Transition with Doppler-Free Multiphoton Excitations

利用无多普勒多光子激发对禁戒时钟跃迁进行微秒级相干控制

Guglielmo Panelli, Erik J. Porter, V. Rose Knight, Shaun C. Burd, Mark Kasevich

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

AI总结 该研究展示两种无多普勒激发方案用于 $^{88}$Sr 中时钟跃迁的相干操纵，实现微秒级激发时间。一种是三光子激发，另一种是单光子与双光子拉曼激发结合的顺序协议，通过实验实现高对比度拉姆齐光谱，抑制多普勒退相，对相关领域有重要意义。

Comments 19 pages, 6 figures

ProvICS: A Provenance-based Intrusion Detection for Industrial Control Systems

ProvICS：一种基于溯源的工业控制系统入侵检测方法

Md Neyamul Islam Shibbir, Deepak K Tosh

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

AI总结 针对工业控制系统因信息技术与运营技术融合面临多阶段网络攻击，且基于溯源的入侵检测系统在工业网络物理系统中适用性待探索的问题，提出ProvICS多模态溯源数据集，经实验验证其能有效检测攻击事件，填补现有基准空白。

Teaching LTL and ω-automata with Spot

使用Spot教授线性时态逻辑和ω自动机

Alexandre Duret-Lutz

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

AI总结 研究如何利用Spot库教授线性时态逻辑和ω自动机，核心方法是借助其可视化能力与Python接口，主要贡献是为相关教学提供了有吸引力的平台。

Comments Demonstration for TEAL'26

Layer 2 Coordinated Trusted Setup for Continuous CRS Generation

用于连续CRS生成的第2层协调可信设置

Khalid Hassan, Sara Rouhani

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

AI总结 研究零知识证明系统中连续CRS生成问题，提出L2协调框架，设计并实现基于PBFT协调的ZK-rollup架构的两个协议变体，通过实验证明该架构能可靠完成连续设置并保持L2交易吞吐量稳定。

Comments This paper has been accepted in "The 2nd IEEE 2026 International Conference on Cybersecurity and AI-Based Systems (Cyber-AI 2026)"

Optimism as a Vulnerability: Deceptive Stackelberg Control of UCB Bandit Followers

作为一种脆弱性的乐观主义：UCB 策略跟随者的欺骗性斯塔克尔伯格控制

Şuayp Talha Kocabay, Kerem Yalçın, Talha Rüzgar Akkuş

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

AI总结 研究有限 horizon 重复斯塔克尔伯格博弈中 UCB 策略跟随者面对领导者的情况，提出欺骗性领导者机制，通过蜜罐和陷阱阶段操控，使领导者累积效用超经典 SSE 上限，且操纵成本有界，揭示静态与动态激励的不兼容性。

Comments Accepted to the NExT-Game Workshop (New Frontiers in Game-Theoretic Learning) at ICML 2026. To be presented July 11, 2026, Seoul, South Korea

Hybrid quantum floating-point method for sharp arithmetic

用于精确算术的混合量子浮点方法

Gabriele Agliardi, Enrico Prati

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

AI总结 研究如何在量子态中编码随机变量，提出混合量子 - 经典的量子浮点表示方法，结合量子与经典寄存器，定义运算确保无溢出，利用经典信息减少精度下降，在相关算法和算术电路设计上取得进展。

Shape Ultrasound with Dynamic Microfluidic Lenses

利用动态微流体透镜实现超声形状控制

Dajun Zhang, Hyunji Shim, Michael Ferolito, Feng Ye, Hongrui Jiang, Chu Ma

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

AI总结 研究利用微流体超声透镜系统实现超声场可重构空间调制，通过FPGA控制微泵填充不同液体生成相位模式，集成微流体透镜与单元素换能器展示多种功能，确立了微流体相位调制用于动态超声场控制的优势。

Funneling and Sculpting of Optical Waves Through Non-Magnetic Metasurfaces

通过非磁性超表面对光波进行漏斗效应和塑形

Nasim Mohammadi Estakhri, Nooshin M. Estakhri

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

AI总结 研究如何通过非磁性超表面实现光波的漏斗效应和塑形，采用基于电磁厚自对偶超表面的非共振方法，满足自对偶条件实现阻抗匹配传播与无反射能量转移，为电磁能量路由和限制提供策略，有广泛潜在应用。

Identifying Deceptive Patterns Across Three Age Groups: A Heuristic-Based Cognitive Walkthrough Study of Mobile Apps

识别三个年龄组中的欺骗性模式：基于启发式的移动应用认知走查研究

Nasra Hassan, Hala Assal

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

AI总结 通过基于启发式的认知走查，研究不同年龄组移动应用的欺骗性模式，分析30个跨6类的应用，发现93%应用有唠叨模式，娱乐应用欺骗模式多，老年娱乐应用常使用偷偷摸摸模式，呼吁制定针对性设计准则。

Beyond Self-Resolution: Settlement Factorization for Robust Natural Language Mechanism

超越自我解析：用于稳健自然语言机制的结算分解

Nicolas Della Penna

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

AI总结 研究语言模型中介付费建议时的结算分解问题，核心方法是将报告硬化为官方记录等，主要贡献是得出类似揭示原理的结果，确定自身报告泄漏量是机制固有不变量等。

Swarm-Driven Multi-Agent Reasoning for Smart City Security

用于智慧城市安全的群体驱动多智能体推理

Saeid Jamshidi, Kawser Wazed Nafi, Carol Fung, Foutse Khomh

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

AI总结 研究智慧城市安全问题，提出基于大语言模型的多智能体方法TPSC-Sec，通过专门智能体分析并经威胁信息素群体共识机制聚合假设，还引入Adaptive Verified TPSC，实验表明该方法能实现高效安全推理。

Agentic-SecPBFT: Agentic AI-Driven Proactive Security Framework for Wireless PBFT Consensus in Mobile Ad-Hoc Networks

Agentic-SecPBFT：用于移动自组织网络中无线PBFT共识的智能AI驱动主动安全框架

Haoxiang Luo, Yinqiu Liu, Ruichen Zhang, Guangyuan Liu, Gang Sun, Hongfang Yu, Zhu Han, Dong In Kim

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

AI总结 针对移动自组织网络中PBFT协议的安全问题，利用智能AI范式构建多智能体系统，智能体用分层MADQN算法实时学习执行安全策略，提升共识过程完整性，模拟显示其性能良好。

Partitions with parity restrictions: a bijective approach

具有奇偶限制的划分：一种双射方法

William Keith, Bruce E. Sagan

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

AI总结 研究具有奇偶限制的整数划分，用双射方法证明相关恒等式，相比生成函数代数操作更简便。

Controlling Atom Array in an Ultra-high-cooperativity Optical Cavity

在超高协同性光学腔中控制原子阵列

Jilai Ye, Zhihao Chi, Ye Tian, Shuyao Mei, Xiaoyu Li, Wenjun Zhang, Yajuan Zhao, Jiazhong Hu, Wenlan Chen

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

AI总结 研究将中性原子阵列与光学腔结合，通过两步镜面制造法实现集成平台，其单原子协同性高、模式体积大且能灵活操控单个原子，为量子态读出和长程纠缠工程带来机遇。

Comments 6 pages,3 figures

A Pulsed Live-Cell Quantum Microscope for Entangled Solid State and Biological Qubits

用于纠缠固态和生物量子比特的脉冲活细胞量子显微镜

Javier Noé Ramos-Silva, Sangjun Noh, Minghao Jiang, Parisa Aghaei, Ayla Hazrathosseini, Jocelyn Leon, Philip Hemmer, Peter J. Burke

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

AI总结 研究将生物量子比特与固态自旋基量子比特结合于同一显微镜平台，通过脉冲量子显微镜实现对活细胞中两种量子比特的量子态同时操纵，为活细胞量子传感带来新机遇。

Comments 27 pages, 17 figures in main text

Second-harmonic generation from an optically levitated KTP nanocrystal in vacuum

真空中光悬浮磷酸钛氧钾纳米晶体的二次谐波产生

Yuanbin Jin, Chenli Gao, Jiayu Feng, Yuxuan Hao, Xudong Yu, Jing Zhang

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

AI总结 研究在真空中光悬浮磷酸钛氧钾（KTP）纳米晶体并探究其二次谐波产生特性，利用光悬浮系统的高信噪比环境，激光既用于悬浮又作基波，证明光扭矩可控制纳米晶体取向，为真空非线性光学研究开辟新途径。

Ultrafast All-Optical Polarization Control via Symmetry Breaking in an Au Nanorod Dimer Metamaterial

通过金纳米棒二聚体超材料中的对称性破缺实现超快全光偏振控制

Nikolaos Matthaiakakis, Lea Teste, George Kakarantzas

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

AI总结 研究利用金纳米棒二聚体超材料，借助飞秒激发下金的瞬态光学非线性及单元胞几何各向异性诱导热电子，结合模型与模拟捕获瞬态响应，实现亚皮秒全光偏振控制，为光开关等应用铺路。

Katsura-Nagaosa-Balatsky magnetoelectricity in molecular magnets: Bipartite entanglement transfer by means of rotating electric field

分子磁体中的Katsura-Nagaosa-Balatsky磁电效应：通过旋转电场实现二分纠缠转移

Zhirayr Adamyan, Ani Chobanyan, Vadim Ohanyan, Azadeh Ghannadan, Jozef Strecka, Saeed Haddadi, Hamid Arian Zad

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

AI总结 研究自旋-1/2海森堡三聚体在磁场和电场下量子纠缠，电场在磁离子平面可独立调参，分析二分和三分纠缠，证明自旋-电场耦合能控制分子纳米磁体量子关联，旋转电场可实现二分纠缠转移。

Comments 13 pages, 8 figures

Antenna System for Simultaneous Wireless Power and Information Transfer to Brain Implants

用于脑植入物同时无线功率和信息传输的天线系统

Ali Khaleghi, Aminolah Hassanvand, Ilangko Balasingham

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

AI总结 提出一种无电池无线脑机接口系统，采用双功能天线实现感应耦合无线供电和背散射高速数据传输（32 Mbps），消除导线并保持能效。

Comments Published at IMBioC 2024. Part of the B-CRATOS project, Horizon 2020 FET-OPEN, grant 965044

Journal ref 2024 18th European Conference on Antennas and Propagation (EuCAP), Glasgow, United Kingdom, 2024, pp. 1-5

Social-Annotate: Self-Healing Browser Extension to Annotate and Collect Social Media Data

Social-Annotate: 用于标注和收集社交媒体数据的自愈浏览器扩展

Ali Najafi, Ismail Uluturk, Onur Varol

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

AI总结 提出Social-Annotate浏览器扩展，通过注入可定制表单实现在线平台直接数据收集，并集成大语言模型驱动的自愈代理以应对界面变化，支持12个平台，降低数据收集和维护成本。

Comments 13 pages, 3 figures, 1 SI-table, 2 SI-figures

A field experiment of social influence and behavioral contagion with bots on Reddit

Reddit上社会影响与行为传染的实地实验：机器人的作用

Hiroki Oda, Kinga Makovi, Taha Yasseri, Milena Tsvetkova

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

AI总结 通过在Reddit进行实地实验，研究用户对他人及机器人奖励刺激的行为反应，发现奖励不增加活跃度，但促进直接交流，表明用户对简单行为操纵具有抵抗力。

Comments 10 pages, 3 figures

Practical Range Refinement Types with Inference

实用的带推断的范围细化类型

Valentin Aebi, Carlo A. Furia

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

AI总结 提出Ranger系统，通过双向类型推断和轻量级流敏感分析，减少整数范围细化类型的注解负担，有效验证数组边界等属性。

HyperFORM -- a FORM package for parametric integration with hyperlogarithms

HyperFORM -- 用于超对数参数积分的FORM软件包

Adam Kardos, Sven-Olaf Moch, Oliver Schnetz

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

AI总结 HyperFORM将超对数参数积分引入FORM系统，移植了HyperInt的功能，利用FORM处理大量代数输入的速度和多核并行能力，通过三圈锯齿周期示例展示用法，并测量了至六圈的性能。

Comments 9 pages, 4 figures, 1 table; contribution to the proceedings of the Loops and Legs in Quantum Field Theory conference (LL2026), April 12-17, 2026, Bayreuth, Germany

Geometry-Driven Magnetoelectric Coupling in Two-Dimensional Compensated Ferrimagnets

几何驱动二维补偿亚铁磁体中的磁电耦合

Peibo Xu, Yixuan Che, Haifeng Lv, Xiaojun Wu, Jinlong Yang

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

AI总结 针对补偿磁体中磁电耦合受对称性限制的问题，提出基于双层呼吸笼目晶格的几何驱动自旋-铁电耦合机制，通过面外极化与层内结构畸变互锁实现自旋劈裂的可逆翻转，并在Nb3Cl8中通过第一性原理计算验证。

Comments 7 pages, 5 figures

Theory of Mind and Persuasion Beyond Conversation: Assessing the Capacity of LLMs to Induce Belief States via Planning and Action

超越对话的心智理论与说服：通过规划与行动评估LLMs诱导信念状态的能力

Ben Slater, Matteo G. Mecattaf, Lucy G. Cheke, John Burden, Winnie Street

机构 * Leverhulme Centre for the Future of Intelligence（勒沃霍姆未来智能中心） ； Prolific ； Google, Paradigms of Intelligence Team（谷歌智能范式团队） 纠错

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

AI总结 提出非对话式规划心智理论（NCP-ToM）框架，评估LLMs通过行动而非对话诱导他人信念状态的能力，发现GPT-5在80%任务中优于人类，但鲁棒性不足。

Comments 29 pages, 12 figures

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