Robustness in Mechanism Design
说明机制设计中的稳健性:拍卖与交易机制的最坏情况分析综述
简介本文综述拍卖的稳健设计与分析,主要采用计算机科学文献中的范式:以各类环境下稳健拍卖与最优拍卖表现之比的最坏情况来衡量稳健性。文中涉及一价拍卖在福利目标下的稳健分析、面向收益的先验稳健拍卖设计,以及面向贸易收益的交易机制设计。文章还指出,在稳健机制设计中,揭示原理并非毫无损失,并用“揭示差距”衡量限制为揭示机制时损失的最优稳健保证比例。
分布式计算、博弈论、信息论等。
说明机制设计中的稳健性:拍卖与交易机制的最坏情况分析综述
简介本文综述拍卖的稳健设计与分析,主要采用计算机科学文献中的范式:以各类环境下稳健拍卖与最优拍卖表现之比的最坏情况来衡量稳健性。文中涉及一价拍卖在福利目标下的稳健分析、面向收益的先验稳健拍卖设计,以及面向贸易收益的交易机制设计。文章还指出,在稳健机制设计中,揭示原理并非毫无损失,并用“揭示差距”衡量限制为揭示机制时损失的最优稳健保证比例。
说明格点星座编码的高效解调方法(快速量化游走解调)
简介本文针对格点星座调制中的软解调计算量过高问题,提出快速量化游走解调(FQWD)。该方法利用对 D4 和 E8 格点 Voronoi 胞的径向投影,将多级陪集码(MLCC)的解调复杂度从 O(d2^{sd}) 降至 O(sd2^d)。实验表明,在 AWGN 信道下其误块率相对最大似然解调损失可忽略。
说明ePACT:面向大语言模型推理服务的能耗-性能感知承诺跟踪控制器
简介本文指出,仅降低大模型推理服务的能耗,并不一定能降低部署成本,因为电力采购中与预设承诺的偏差可能带来不利代价。作者提出按小时承诺并允许超用与少用代价不对称的问题,并设计两级控制器ePACT,动态调整服务容量与GPU频率。在H20与H200 GPU集群的全天轨迹模拟中,ePACT相比vLLM将不对称偏差代价分别降低73.8%和75.7%,同时保持接近的服务等级达成率。
说明源自二元BCH码、渐近单位速率的存储码
简介存储码是在图上为每个顶点分配一个符号,使其能由邻居恢复。论文证明,对于至少能纠两个错误的原始BCH码的无三角形陪集图,其二元全奇偶存储码的速率趋近于1。对于双纠错族(域为F_{2^m}),存储亏量为Θ(((1+√5)/4)^m)。
说明基于代币经济的高速公路快车道公平高效拥堵管理设计
简介本文研究一种用于高速公路车道分配的代币经济机制,旨在不牺牲交通效率的前提下提高公平性。该机制以圣马特奥101快车道项目为背景:高承载车辆可不受限制地使用快车道,其他用户则通过赚取和消耗非货币代币,在普通车道与快车道之间切换。研究采用微观交通仿真并结合实际需求数据进行评估,结果显示该定价方案的平均出行时间与不设快车道的基准情形几乎相同,同时显著降低了按紧急程度加权的感知出行时间。
说明让大语言模型依据社会价值取向(SVO)行事,可提升其在序贯社会困境中的行为拟合度
简介研究者让八种大语言模型在蜈蚣博弈(Centipede Game)的两种变体中模拟人类决策,并与人类实验数据比较。结果显示,模型默认策略差异大且普遍偏离人类分布;依据从人类样本中抽取的社会价值取向(SVO)设定后,策略行为明显改善,与人类参考的拟合度最多提升70%。较高的SVO设定会降低中止博弈的概率,与人类中亲社会性与合作的关系一致。
说明利用计算密集与内存密集内核的交替实现MPI应用的性能优化
简介论文指出,在通信较少、计算与内存密集阶段交替的并行程序中,MPI通信停顿会无意中缓解内存带宽争用。作者以并行光流求解器(结合计算密集型光线追踪与内存密集型光流求解内核)为例,展示了通过去同步化实现的显著加速。研究还通过可调双内核微基准和基于带宽的模拟器进行了验证。
说明整数的最优通用编码:确定最小膨胀系数的数值
简介本文研究整数的通用编码(UCI),即为正整数构造二进制码字,使平均码长对所有非增源分布都不超过 K 倍 max{1,H(P)}。作者证明最坏情形比值可由一类“单点加均匀尾”分布达到,并给出类似 Kraft 不等式的 UCI 不等式,从而得到最优膨胀系数 C* 的等价定义。通过数值计算,作者得到 C* = 2.000124757036101…,其中前十五位小数已被验证。
说明利用真实测量数据的智能体式无线数字孪生构建与校准
简介本文提出Agentic WDT(AWDT)框架,用三个智能体自动完成无线数字孪生的构建与校准:EnvAgent构建传播环境,OpAgent推断基站及扇区配置,MatAgent校准无线材料属性。系统依据LTE/NR参考信号接收功率(RSRP)测量值与射线追踪预测之间的差异迭代优化模型。实测结果显示,RSRP预测的平均绝对误差由11.46 dB降至5.25 dB,并且经轻量级设备偏差适配后可在独立测量系统间迁移。
说明GPU 发起的通信:深入剖析到底层
简介本文剖析 GPU 直接向网卡提交 RDMA 操作的通信机制,这是 NVSHMEM、NCCL GIN 和 DeepEP 等库的基础。作者比较了最小 GPU 路径与 CPU 代理路径,并在 H100、H200、B200 和 GB200 平台上测量多个库。结果显示,最小 GPU 路径发起操作约 0.7 微秒、完成约 4.0 微秒,库的额外开销最多 4.6 微秒;与大流量共享队列会使延迟增加一到三个数量级,且仅看提交路径无法预测通信性能。
看点通过最小化传输层拆解GPU到NIC路径并与多个库对比测量,揭示硬件与库开销的分离,证据充分,对MoE通信优化有参考价值。
说明存在波束对准误差时无人机走廊的通信与感知覆盖
简介本文提出一种无人机走廊辅助网络,研究地面基站在realistic三维3GPP天线方向图下的通信感知一体化覆盖概率。无人机用户在有限圆柱形空中走廊中按三维二项点过程部署,基站利用雷达感知跟踪已知无人机,其三维波束对准误差服从多元正态分布。在杂波和上行通信干扰下,作者推导了覆盖概率的精确解析表达式,结果显示高空时走廊长度的影响趋于饱和,并揭示了波束宽度在干扰抑制与对准误差敏感性之间的权衡。
说明空中走廊中的通信与感知一体化:一种新的随机几何框架
简介本文针对无人机集群在空中走廊中的通信与感知一体化(JCAS)覆盖概率,提出一个随机几何分析框架。走廊被建模为有限圆柱体,无人机用户按三维二项点过程分布,基站使用三维3GPP天线方向图并以雷达方式跟踪已知用户。文中在杂波与上行干扰下给出了JCAS覆盖概率的精确解析表达式。结果显示,提高基站天线波束的方向性可带来明显性能提升,在较短走廊中尤为显著。
说明利用无人机姿态实现隐蔽通信:动力学一致的轨迹与姿态协同设计
简介现有无人机隐蔽通信轨迹设计多将无人机视为质点,忽略飞行机动与天线指向的耦合。本文考虑旋翼无人机配备定向天线向合法接收机传输机密信息、并存在监听者的场景,显式建模加速度引起的姿态变化及其对定向信道增益的影响。作者基于监听者处的KL散度推导隐蔽约束,并提出利用MM算法联合优化轨迹与姿态以最大化平均隐蔽速率的方法,同时扩展到姿态控制不完美的鲁棒设计。
说明RapidMoE:利用跨不对称性的自适应残差卸载,实现大规模MoE推理加速
简介本文针对大规模混合专家模型(MoE)在CPU-GPU异构平台上推理时,算法负载与硬件特性不匹配、PCIe带宽成瓶颈的问题,提出残差卸载系统RapidMoE。该系统将卸载从专家级细化到比特级,通过紧凑解耦的数据表示、按硬件能力划分的双路径路由及均衡的存算调度实现加速。实验结果显示,与现有最先进的卸载系统相比,其解码速度最高提升3.5倍,预填充速度最高提升2.1倍。
说明面向任务的布尔函数计算:实用编码构造
简介本文针对二元决策任务,基于里德-所罗门码设计了布尔函数计算(BFC)的实用编码方案,分别讨论无噪二元信道和有噪信道。文中给出了有限码长的最坏情况误差界,并刻画了不同布尔函数族的速率与可靠性权衡。原文报告该方案在有噪信道下的渐近计算速率为信道码速率的一半,并给出在特定任务下相较传统传输的信噪比编码增益数值。
说明面向可修订世界的服务:可中断智能体的版本化执行
简介本文提出 RETIRE 服务控制平面设计,针对 LLM 智能体在任务被修改时的需求。它将执行版本作为发布输出和安装状态的权限,先撤销过时工作,再界定剩余执行并确认可继承的已完成前缀,后续版本由此继续运行。论文在 vLLM 中实现该设计,报告在受控配对实验中修订到后继首词元时间的中位数减少 17.1%。
看点提出以版本化执行统一撤销过期工作与继承KV状态的新控制面设计,并在vLLM中实现;实验包括正确性与成对对比,中位TTFT降低17.1%。
说明兄弟姐妹与已入园儿童匹配中的公平性与无浪费性:可兼容性与计算复杂度
简介本文研究家庭与托儿所之间的双边匹配问题,其中一个家庭可能有多名子女并有联合偏好,部分儿童已在托儿所就读并寻求转园。作者提出“安置”(resettlement)概念保护被调整的家庭,并设计贪心改进算法证明同时满足无浪费性与基于安置的公平性的匹配存在;同时分析了这些解概念的计算复杂度,结论包括某些判定问题为NP完全、coNP完全,以及计算安置结果为PLS难。
说明DAG-BFT 的无缝重配置:在异步网络中不暂停系统地增删节点
简介本文针对异步网络中基于有向无环图(DAG)的拜占庭原子广播协议,提出一种无缝重配置方案。现有同类协议通常假设成员固定,或只能暂停系统、或等到预定纪元边界才能变更成员。作者提出的协议允许 DAG 在成员和对应的法定人数阈值变化时继续增长,无需停止系统。作者称,据其所知,这是首个在完全异步网络中为 DAG 拜占庭原子广播提供无缝重配置的协议。
说明流延迟下实时机器学习推断的特征新鲜度预算
简介本文将在线特征存储建模为事件流上的物化视图,定义每个特征的新鲜度预算,即特征被使用的决策窗口与服务管道造成的陈旧度之差。作者证明了单特征陈旧度上界和一个闭式阈值,并在离散事件模拟及 Kafka、Redis、PostgreSQL 实际管道上验证;结果表明模拟与实际之间的主要差距源于采样相位,随机化相位后两者的单特征丢弃率平均绝对误差仅为 0.018。
看点将在线特征新鲜度形式化为有界预算并给出闭式阈值,且在真实Kafka/Redis/PostgreSQL管线上验证,同时发现仿真相位锁定偏差。
说明边写边读:分子神经接口的基线信息需求
简介论文研究同时释放并检测神经递质的分子神经接口,如何在自身化学输入存在的情况下估计内源性释放。作者分析两个交换区域的饱和摄取与浓度变化测量,指出未知的静息浓度差会使源区增量摄取不确定。文中给出一个多巴胺示例,并分析基线参考与增益校准误差对释放分类的影响。
说明MANTA:机器学习增强的内存分层顾问,用于提升内存分层系统的页面放置决策
简介内存分层通过将快速DRAM与较慢的层级(包括CXL连接内存)结合来扩展内存容量。论文提出ChOMP离线优化器作为参考,并基于其结果构建轨迹驱动模拟器;随后提出MANTA,利用运行时访问特征预测页面未来的有用性,并将轻量级学习模型集成到ARMS中。在仿真CXL的八个工作负载上,MANTA在4GB快速内存下相比ARMS取得几何平均1.12倍(Linux 6.2)和1.08倍(Linux 6.18)的加速;在六个Optane工作负载上为1.69倍。
说明Ditto:可通用重配置的线性化读取算法
简介该论文研究分布式数据存储中线性化读取的延迟问题,提出一个将现有读取算法归入广义空间的框架,并给出延迟的数学分析。分析揭示了读写延迟之间以及读写对网络波动容忍度之间的两种基本权衡。作者提出新算法 Pairwise Quorums,并构建运行时可随条件变化重配置的 Ditto 系统,声称其能覆盖并优于或匹配现有各类算法。
说明MegaFlux:通过流水线专家复制实现抗偏斜的 MoE 巨型内核
简介该论文针对混合专家(MoE)模型中路由不均导致部分 GPU 过载、拖慢整层计算的问题,提出 MegaFlux。它在运行时决定是否复制热门专家,并把复制带来的权重传输与反向梯度归约流水线化,与专家计算重叠。在 8 块 NVIDIA B200 GPU 的 147 组配置测试中,相较固定专家放置,前向与反向的几何平均加速比分别为 1.45 倍和 1.28 倍。
说明战争迷雾中的结盟:一般 Lotto 博弈视角
简介本文研究在不确定信息下,两名玩家共同对抗一个对手时能否通过结盟获益。模型采用联盟式一般 Lotto 博弈,玩家在多组有价值的竞赛中分配预算。作者刻画了在对预算只有乘性不确定性的条件下,哪些博弈存在能使双方都受益的预算转移。结果显示,在每个不确定水平下,这类稳健转移都存在于一组正测度的博弈中。
说明双边市场设计与自动出价的结合:研究在线广告中买卖双方都可能策略性行事的交易机制
简介本文研究双边市场中的自动出价者,其中一方或双方是按回报率(RoS)最大化价值的智能体。作者先证明在无先验设定下,若干机制类别在存在价值最大化者时,流动性交易收益的无政府代价无界;随后给出两个正面结果:麦卡菲交易缩减机制在RoS出价下对流动性福利具有常数无政府代价。在已知私有成本与价值分布时,作者设计了一种双边机制,在至少一方为RoS价值最大化者时达到一阶最优流动性福利,并与Myerson-Satterthwaite不可能性定理形成对比。
看点首次研究含自动竞价者的双边市场,给出负面与正面结果,并在分布信息下设计达到一阶最优的机制,与Myerson-Satterthwaite不可能性形成对比,理论贡献较突出。
说明L2R-EV:在有限充电桩排队条件下,学习电动拼车中该修复什么
简介本文研究电动拼车服务中乘客、路线、电池和有限充电桩需要同时管理的问题。作者提出一个离散事件模拟器,并在通用调度器上加入学习型修复层,用于调整未接乘客的分配,并借助监督评分和两阶段PPO策略筛选候选移动。在曼哈顿测试场景中,监督修复相比不修复降低运营成本6.57%,且全部12次均优于基线;排队感知充电使等待时间减少41.0%。
说明不只定价令牌,还要为时间定价:面向大语言模型推理的延迟感知机制设计
简介本文把大语言模型推理看作服务市场,买家的私有信息包括支付意愿、任务量和时间偏好,效用同时取决于令牌数量和延迟余量。主要结果是分离定理:离散的硬件层级会使时间偏好自我筛选,从而把三维筛选简化为各层级内的一维筛选。作者用虚拟价值方法刻画最优分层机制,并以 H100 与 B200 的 8 卡集群进行校准验证。
说明LDPC编码QPSK的调制增强与星座整形
简介本文提出在LDPC编码的QPSK系统中加入短整形码的方案。部分LDPC码字比特作为整形比特,经整形码映射为稀疏码字,使低能量星座点发送更频繁,从而接近高斯分布。接收端利用LDPC译码反馈修正整形比特的对数似然比,并联合优化整形码本、比特到符号映射和星座。相比5G NR的LDPC编码QPSK和QAM-16,该方案分别可获得最高0.6 dB和0.53 dB的增益。
说明LatencyLab:面向FPGA智能网卡的基于DPDK的P4流水线延迟测量框架
简介本文提出LatencyLab,一种基于DPDK的测量框架,用于测量P4程序在FPGA智能网卡上带来的流水线延迟,无需数据通路上的PHC/PTP支持,也无需时钟同步。它利用交换机将探测包复制到两个端口,分别经过VitisNetP4流水线和匹配的旁路路径,再以CPU时间戳计数器对到达时间打戳,通过差值得到流水线延迟。作者在AMD Alveo U280上评估了四个VitisNetP4程序,测得的延迟分布紧凑且可复现。