📚 学科:eess.* (电子工程与系统科学)
本周亮点:本期入选的EESS领域论文涵盖了语义通信、无线定位、MIMO系统、控制理论与音频信号处理等前沿方向。研究包括基于大模型的查询导向图像语义编码、利用多智能体强化学习优化基站部署、超大MIMO无线能量传输的功率效率优化,以及面向复杂动力系统的数据驱动形式化方法综述和针对现场音乐源分离的新数据集。
Generalized Query-Oriented Image Semantic Coding Empowered by Large AI Models and Semantic-Aware Hybrid Beamforming
语义通信是一种新兴范式,可以在传输过程中保留数据的含义。然而,人类用户往往对基于其意图的特定语义内容感兴趣,而当前语义编码设计中往往未考虑用户的意图。本文提出了一个通用的面向查询的图像语义编码(QO-ISC)框架。发送端提取与用户查询相关的特征,接收端基于这些特征重建图像。使用预训练的大型AI模型增强通用特征表示,并开发了语义感知的混合波束赋形(SA-HBF)算法,以在超大规模MIMO-OFDM系统中优先考虑语义重要的特征。
Multi-Agent Reinforcement Learning for Base Station Placement in TDOA-Based Localization
提出了一种射线追踪辅助的多智能体强化学习(MARL)框架,用于TDOA系统中环境感知的基站部署。PPO智能体在根据大学校园详细3D模型生成的信道冲击响应上进行训练。每个智能体协同部署一个基站,同时优化兼顾定位精度和覆盖范围的共享奖励。结果表明,学习到的策略实现了与传统基于GDOP的部署相当的定位精度,平均定位MAE降低约3%,在特定区域有明显提升(最高约14%)。
Power-Efficient XL-MIMO Design for Mixed Near- and Far-Field SWIPT Systems
研究了基于混合波束赋形的模块化超大规模MIMO天线阵列支撑的、近场与远场混合同时无线信息与能量传输(SWIPT)系统的功耗效率。提出了一种利用基于Frobenius范数的最小二乘信道估计频率相关性对近远场用户进行准确分类的新颖决策方法。构建了联合优化问题,在考虑用户功率分配和子阵列激活的情况下最小化整体功耗。仿真结果表明,该方案可降低高达93%的整体功耗。
Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
本文全面综述了具有形式化保证的数据驱动方法在复杂动力系统验证和控制器合成中的应用。围绕形式化方法的三个主要方法论支柱构建文献结构:基于抽象的技术、功能证书方法(如控制屏障证书)以及组合方法。将数据驱动保证分为三类:基于PAC和场景框架的统计保证、源自Lipschitz连续性的保证,以及利用结构性质的保证,并特别关注了随机系统的内在差异和挑战。
CrowdioSet and PaRIRset: Two Datasets Towards Live Music Source Separation
提出了两个新型数据集以弥补音乐源分离模型在现场录音上泛化不佳的差距。CrowdioSet 包含来自 Freesound 的 4800 个真实环境音轨和基于零样本歌声音色转换的合成合唱,实现了有效的音频去噪。PaRIRset 是使用麦克风阵列在 40 个专业音乐会场馆中采集的立体声脉冲响应数据集。添加 PaRIRset RIR 可提高 MSS 模型性能。
📚 学科:cs.* (计算机科学)
本周亮点:计算机科学领域本周涵盖算法博弈论、软件工程自动化、人机交互与虚拟现实、多模态RAG以及量子计算系统评估。具体研究包括:Thiele投票规则下的委员会选举FPT算法、检测SWE-bench等基准中PR与Issue失配的多智能体系统、评估跨现实协作中的空间投影技术、解耦宏观推理与微观匹配的双层图多模态RAG框架,以及提出衡量量子计算性价比的全新度量指标。
Algorithms for Structured Elections under Thiele Voting Rules
研究了基于批准的委员会选举中,在 Thiele 投票规则下确定赢家问题的计算复杂度。在"选民区间"受限领域上,为比例批准投票(PAV)和其他 Thiele 规则设计了FPT算法。展示了在选民区间上的每个 Thiele 规则对于某个参数都是 FPT 的,而该问题在一般实例上是 NP-难的。进一步解决了关于 PAV 文献中的两项开放问题。
PAIChecker: Uncovering and Checking PR-Issue Misalignment in SWE-Bench-Like Benchmarks
系统研究了 SWE-bench Verified 实例中的 PR-Issue 失配问题,发现在 11 个细粒度场景的 5 种模式中有 13.6% 的实例存在失配。提出了 PAIChecker,一个结合特定模式识别、跨智能体标签合成和代码级验证的三阶段多智能体系统。在 SWE-Gym 和 SWE-bench Multilingual 上,二分类准确率分别达到 92.12% 和 91.67%。
CrossAtlas: Evaluating Projection Techniques for Spatial Referencing in Cross-Reality Collaboration
展示了 CrossAtlas,一个同步的 PC-VR 协作平台,集成了多种双向投影技术,包括三种平面投影变体和等距柱状球面投影变体。在对 24 对协同小组进行的对照研究中,协作者在不同的投影-布局条件下完成了空间参照任务。结果表明球面变体通常优于平面投影,并且在不同的物体布局中保持了稳健性。
DualG-MRAG: Decoupling Macro-Reasoning and Micro-Matching for Multimodal Retrieval-Augmented Generation
提出了 DualG-MRAG,一个为多模态 RAG 引入了解耦架构的双层框架,包含宏观推理和微观匹配图。为将全局结构推理与细粒度证据匹配隔离开来以抑制检索噪声,构建了用于全局拓扑路由的宏观图和用于精确局部验证的微观图。通过 GNN 检索器将检索公式化为查询驱动的消息传递,并引入动态规划解码机制从 GNN 前向传播中提取显式推理路径。
Quantum Fidelity-per-Cost: A Metric for Evaluation of Quantum Computing Systems
提出并分析了兼顾成本的评分指标——性价比保真度(QFC),将 KL 散度、采样数和货币成本融合为一个度量指标。对 AWS、IBM、IQM 和 OQC 四个云端量子计算服务商的 14 个 QPU 访问通道进行了跨服务商保真度测量研究。主要发现:兼顾成本的排名可能与纯粹基于保真度的评估有所不同,设备的计费模型决定了其得分如何随采样数缩放。
📚 学科:astro-ph.* (天体物理学)
本周亮点:本期天体物理学领域涵盖了天文观测设备升级、历史物理学验证、多信使天文学统计分析、太阳物理现象模拟以及太阳系外围天体表征等。具体研究包括:LBTI/NOMIC仪器的双重升级以用于宜居带系外行星成像、基于现代历元和历史数据对罗默光速测定方法的重现、多信使天文警报对应体搜索的统计学方法对比、太阳色球层中部分电离流体磁重联的数值模拟,以及对公里级木星不规则卫星Kallichore的物理与轨道特性的精确测定。
Upgrading LBTI/NOMIC with a quadruple annular groove phase mask and GeoSnap detector for imaging nearby, habitable-zone exoplanets
介绍了 LBTI/NOMIC 正在进行的两次升级:设计、制造和安装四重环形沟槽相位掩模(Q-AGPM)星冕仪,以及安装 13 微米截止波段的 Teledyne GeoSnap 探测器阵列。Q-AGPM 是首个安装在 NOMIC 内部的星冕仪,也是首批针对 N 波段观测优化的星冕仪之一。升级共同大幅提高了在小角距离处可实现的对比度和灵敏度。
De mora luminis: Roemer's discovery 350 years later
在罗默宣布发现光以有限速度传播 350 年之际,展示了使用与 17 世纪晚期望远镜类似分辨率的人眼观测。证实了罗默的方法是有效的,使用最简单的均匀圆周运动建模也能得出合理的 c 值(在现代值的 10% 误差范围内)。使用现代星历表可以产生非常精确的结果 c = (298200 ± 1900) km/s。具有巨大的教学价值。
Statistical treatment of searches for counterparts of positionally-uncertain astrophysical sources: from flux upper limits to detection
研究了使用警报概率密度函数的两种统计方法:频率派和贝叶斯派,以及不使用此信息的不可知方法。讨论了所有方法的优缺点,并比较了它们的可靠性和性能。考虑了简单的一维玩具模拟和伽马射线望远镜跟踪引力波事件完整模拟的真实使用案例。频率派和贝叶斯派方法在弱信号情况下的性能相当,且明显优于不可知方法。
Magnetic Reconnection Process in Partially Ionized Fluids: Insights from the Solar Chromosphere
探讨了部分电离的太阳色球层中的磁重联,分析了其形态和能量释放,重点关注弹性碰撞、电离和重组。使用修改后的 MAGNUS 代码进行 2.5 维电阻性 MHD 模拟。发现磁重联使等离子体组分加热了 18% 至 110%,带电-中性碰撞驱动了增强的重联。最大重联率分别为 0.226、0.253 和 0.279。
Kilometre-scale Jovian moon characterized for a potential JUICE flyby
报告了对公里级卫星 Kallichore 的多仪器观测,这是唯一适合欧空局 JUICE 进行近距离飞越的木星不规则卫星。将 Kallichore 的轨道不确定性降低了高达约 80%,确定其为一个拉长的天体,面积等效直径为 3.8 (+2.3/-0.3) km,几何反照率为 3.7%。新约束条件为航天器在 2031 年抵达木星系统后飞越 Kallichore 提供了可行路径。