Pipelining vs. Combining in Aggregation Tasks
说明流水线与合并:聚合任务中的两种策略
简介本文研究网络中的聚合任务(convergecast),即当待聚合的数值无法装入单条消息时,如何把它们以流水线消息的形式传输并聚合。作者给出该问题的一般下界,并为超立方体、完全二分图等常见并行计算架构设计了最优算法,同时给出一般图在不可分割流模型下的 O(log n) 近似算法。
分布式计算、博弈论、信息论等。
说明流水线与合并:聚合任务中的两种策略
简介本文研究网络中的聚合任务(convergecast),即当待聚合的数值无法装入单条消息时,如何把它们以流水线消息的形式传输并聚合。作者给出该问题的一般下界,并为超立方体、完全二分图等常见并行计算架构设计了最优算法,同时给出一般图在不可分割流模型下的 O(log n) 近似算法。
说明阿贝尔伽罗瓦扩张上 Reed–Muller 码的和秩类比
简介本文研究有限阿贝尔伽罗瓦扩张上的和秩度量码。作者证明一类多元斜多项式环的商环同构于若干个 End_K(L) 的直积,使单个斜多项式可以表示和秩度量空间的所有分块,并用 Dickson 矩阵与广义 Moore 矩阵的秩定义和秩权重。在此基础上,文中定义了和秩 Reed–Muller 型码,并给出其维数与最小距离公式。线性化 Reed–Solomon 码、Gabidulin 码和秩度量 Reed–Muller 码都是其特例。
说明列扭转里德-所罗门码的弦构造:利用虚割线构造非GRS的MDS码
简介本文讨论一类码长和维数范围更大的非GRS最优码(MDS码)的构造方法。作者用有理正规曲线上的n-2个点加上一对伽罗瓦共轭点(位于虚割线上)组成投影系统来构造码。对于奇数q,码长满足k+4≤n≤(q+5)/2,改进了以往TRS与CTRS构造的可达长度与维数范围。文中还用几何论证证明了非GRS性质,并确定了任意CTRS码对偶码的结构。
说明稀疏图类中支配集问题的近乎紧的分布式近似算法
简介本文研究稀疏图上最小支配集问题的分布式近似,把此前对无小式(minor-free)图的近最优结果推广到有界扩张图。作者给出确定性常数轮LOCAL算法,近似比为 d+1+ε,对偶数 d≥2 在 ε 意义下最优。由此得到平面图与有界欧拉亏格图的 7+ε 近似,以及其无三角形子类的 5+ε 近似,并适用于有界队列数或栈数的图类。
说明大语言模型与贝叶斯优化结合:迈向自进化无线数字孪生
简介本文研究将大语言模型与贝叶斯优化相结合,使无线数字孪生从在线适应进一步走向算法层面的自进化。框架中贝叶斯优化提供稳定且样本高效的优化骨架,大语言模型则根据当前任务和已积累的优化经验,决定保留还是调整所选的贝叶斯优化组件。仿真中,该框架被用于多用户无线波束选择问题的高斯过程核函数发现,结果显示大语言模型发现的核函数在训练任务上,相比最强的标准核函数基线,最终优化性能提升19.7%。
说明f-散度齐次化的局部到全局原理
简介该论文研究将一族独立统计实验替换为其平均值的独立重复时,散度的变化。作者给出了一个完整而简洁的刻画:对于哪些 f-散度,该操作使散度的增加量只与生成函数有关,而与观测次数和底层可测空间无关。判定条件由局部到全局原理决定:只需在二元字母表上的两次观测比较即可确定一般不等式是否成立。
说明稳定双边市场中的平衡定价:限量库存下的静态统一价格
简介论文研究一个中介方,从随机到达的卖家以固定价格收购可长期保存的商品,再以固定价格卖给随机到达的买家,库存有限。作者证明对于 XOS 类买家估值,可计算的静态统一价格能保证达到基准收益的一半,即使每件商品只有一个存储位。对单件商品情形,给出的保证为 C/(C+1),并且该界是紧的。
看点提出两侧市场有限库存下的平衡定价与新的平衡原理,给出XOS买方的一半近似保证,并证明单物品情形紧致界C/(C+1),新颖且证明严谨。
说明近场通感一体化中阵列旋转的研究:低复杂度发射结构下的通信、检测与估计
简介本文研究近场通感一体化系统,基站阵列可以旋转,并采用精确的球面波传播模型。作者推导了克拉美-罗界的分解形式,并针对单流叠加与双波形分离两种低复杂度发射结构,分析了通信、检测和估计各自的最优旋转角度。数值结果显示,相比固定阵列朝向,旋转带来明显增益,尤其是在距离估计方面。
说明有限域上MDS码的扩展
简介本文研究将非Reed–Solomon(非RS)的[n,k,n-k+1]MDS码扩展为[n+1,k,n-k+2]非RS MDS码的方法。作者提出一种受密码分析中折半搜索启发的迭代算法,在保持非RS结构的同时构造更长的MDS码。应用于多个已知码族后,在阶不超过32的有限域上得到了与RS码不等价的新码,包括域F9和F13上的[9,4,6]码,以及域F17上的两个[10,4,7]码。
说明为代理人分配任务:多代理合同的机制设计
简介本文研究在逆向选择和道德风险下的任务分配问题。针对单任务情形,作者证明激励约束只取决于努力成本与成功概率之比,由此给出类似迈尔森式的简洁刻画,并说明最优机制可在多项式时间内计算。文中还给出最优利润与全信息基准之比的紧界,并讨论多任务情形,指出最优机制可能不存在,对于固定数量的代理人给出了求上确界利润的多项式时间近似方案。
说明感知调整Luce模型下的产品组合优化
简介本文研究感知调整Luce模型(PALM)下的产品组合(assortment)问题。该模型可描述违反正则性和选择过载的行为,而效用最大化框架无法刻画这些行为。Flores等人(2019)曾猜想,对于任意层数的PALM,最优组合都按层内收益排序。本文肯定地回答了这一猜想,证明每个PALM实例都存在一个最优组合,其每层包含收益不低于该层阈值的全部产品。此外,当层数固定时,该组合问题可在多项式时间内求解。
看点解决了Flores等人关于PALM多层级收益有序最优性的猜想,并证明固定层数时问题多项式可解,理论贡献明确。
说明互易型RIS能否达到非互易RIS的性能?
简介该论文研究可重构智能表面(RIS)中互易型与非互易型设计的关系。结论是:当且仅当某个使性能指标最优的非互易RIS能使往返信道(发射端-RIS-发射端)对称时,互易型RIS才能达到非互易RIS的性能。该条件在发射端-RIS信道秩为一或单流传输最优时成立。
说明uGDS:面向高性能 GPU 直连存储的用户态开发工具包
简介该论文提出开源库 uGDS,在用户态实现 GPU 直连 NVMe 存储,绕过内核逐次 I/O 的软件开销,并区分同步与批量请求的硬件队列。原文报告其在 NVIDIA A100 与三星 990 PRO 上的批量读写带宽和同步写延迟均优于 NVIDIA GDS,并在 LMCache 中降低首词元时间、提升服务吞吐;在 AMD 平台上也有对比结果。
看点在用户态重构GDS控制路径并分离同步与批量队列,属于对已有方法的实质改进;实验覆盖NVIDIA与AMD平台及LMCache应用,证据较充分。
说明关于二元第二类码长度与影子重量的整数行列式方法
简介该论文证明二元第二类码(Type II codes)的码长必须能被 8 整除。作者不借助不变量理论,而是通过二元正交矩阵的整数 Gram 矩阵行列式模 8 同余,给出初等证明。由此还推出 Conway 与 Sloane 关于自对偶码影子向量重量的结论。
说明在双边无差异与总替代条件下的弱群体策略防操纵、帕累托稳定匹配机制
简介本文研究双边都存在无差异偏好、企业对工人集合有公开偏好的有限多对一匹配市场。作者针对企业偏好满足总替代(GS)表示的广泛市场,构造了一种确定性的广义延迟接受机制,该机制弱稳定、对双方帕累托有效,并对工人弱群体策略防操纵,且在给定价值预言机时可于强多项式时间内实现。
看点将无差异两边匹配与GS竞争均衡结合,构造确定性机制并同时保证稳定、帕累托效率与弱群体策略证明,理论贡献突出,但影响限于特定匹配市场。
说明基于统计信道信息的捏合天线系统双时间尺度天线定位
简介本文提出一种面向捏合天线系统(PASS)的双时间尺度天线位置优化框架。大时间尺度利用统计信道信息确定整个波导上的天线位置,小时间尺度则在局部区域内借助瞬时信道信息微调位置。仿真结果表明,该方案接近理论上界,并优于传统方案。
说明三元与四元 {2,4} 距离码猜想的证明
简介本文研究长度为 n 的 q 元码,要求任意两个不同码字的汉明距离只能是 2 或 4。作者证明,当字母表大小 q 为 3 或 4 且 n≥6 时,最大码字数为 1+C(n,2),从而完成了 Boyvalenkov 等人猜想中剩余的两种字母表情形(二元情形此前已解决)。证明结合组合论证与对有限长度的穷举验证。
说明知道何时升级:面向云端-本地具身智能体的批评者引导自适应执行
简介该论文提出CARE框架,用轻量批评者模型监测本地执行器的可靠性,不可靠时将控制权交给更强的云端模型,并通过共享交接记忆保留执行上下文。在多个具身基准测试中,CARE比最强的对比协作基线提高6.3至18.3个百分点的任务成功率,同时显著降低动作间隔的中位延迟。
说明二元、三元与四元 Hermitian 线性互补对偶码的分类
简介本文将线性互补对偶(LCD)码的完整分类范围扩展到:二元情形长度 15 到 19,三元情形长度 10 到 15,四元 Hermitian 情形长度 12 到 13。分类方法是把 LCD 码的单项式等价化约为坐标上的图同构问题,并结合典范扩张(canonical augmentation)完成计算。
说明修复改变了应删除的层:语言模型深度剪枝的精确最优解
简介该论文研究大语言模型的深度剪枝,即删除整层以加速模型,并用免训练的线性映射替换被删层。作者穷举评估了约53,000个剪枝模型,发现最佳删除层取决于是否进行修复:线性修复会改变最优方案,使其由分散布局变为连续块,因此不考虑修复的方法可能偏离修复后最优解达189%。作者据此在修复条件下选层,并报告相比ReplaceMe困惑度降低20%至66%。
说明康威生命游戏在熵-复杂度平面上的时空动力学
简介本文用序数模式分析研究康威生命游戏(Game of Life)的动力学。作者把每一代细胞状态转换为一维时间序列,提取序数模式分布,并将其映射到熵-统计复杂度(H×C)平面进行定量分析。研究比较了不同的编码方式(包括块大小和线性化方法)对轨迹的影响,并从收敛行为、轨迹形态和统计复杂度等方面刻画涌现的动力学。
说明RIS辅助分簇无人机NOMA网络的中断分析与双层资源优化
简介本文研究基于NOMA的RIS辅助下行无人机通信。作者提出分簇式无人机NOMA框架,设计贪心RIS感知(GRIS)分簇方法,并在Nakagami-m及双Nakagami-m衰落、不完美SIC条件下分析接收信噪比与中断性能。论文构建效率-可靠性双层优化问题,提出IOS与I2S两级迭代算法求解,并通过数值结果、基线比较和消融实验验证其效果。
说明未知市场下价格歧视的极限
简介本文在只已知可能估值集合、不知道具体价值分布的前提下,刻画了某个市场和某种市场细分方式可以产生的消费者剩余与生产者剩余组合。这些组合构成一个凸多边形。在一个连续估值区间内,当生产者剩余为π时,消费者剩余至多为π ln(v̄/π),且无需细分即可达到该上界。
说明《供人类食用的切蛋糕:一种基础的 n 人蛋糕切割协议》:一种面向 n 位参与者、用于公平分割蛋糕的简明协议
简介论文提出一种有界无嫉妒(bounded envy-free)的蛋糕切割协议,适用于任意数量 n 位参与者,基于 Robertson–Webb 查询模型。协议使用 2^{O(n log n)} 次查询,并附有简短、自包含的正确性证明。作者表示,其中大部分构件在公平分配文献中已有研究,主要贡献在于把这些思路整理成一个能在几页内完整描述和证明的协议。
说明基于开放银行的增值税分账支付实时税务合规架构
简介本文提出 MTS-OB(Making Tax Smart with Open Banking),一种基于分布式账本(DLT,R3 Corda 平台)的架构,通过分账支付与开放银行接口,将增值税合规嵌入现有支付系统。该系统以概念验证应用实现,可在不改变现有支付基础设施的前提下完成自动化的实时增值税分账支付。作者报告了随交易负载增加的可扩展性测试,结果显示系统运行保持稳定。论文认为,要实现实时税务合规,需要重新界定货币以包含其信息价值。
说明关于最优 (v,5,3,1) 光正交码
简介本文为 (v,5,3,1) 光正交码(OOC)的规模建立了一个紧的上界,达到该上界的码称为最优码。若最优码的码字集差分列表覆盖了 Z_v 中所有非单位元,则称其为完美码。作者给出了无限类最优及完美 (v,5,3,1)-OOC 的直接构造与递归构造。
说明当多数投票失效:固定汉明权重替换错误下的序列重构
简介本文研究二进制序列在信道中多次传输、每次受固定汉明权重替换错误影响时的重构问题。作者确定了保证最优解码器唯一重构所需的最少输出次数,并指出逐位多数投票解码器在此情形下并非最优。文中还提出了一个可提前终止的判定条件,并通过数值与穷举实验验证其效果。
说明基于枚举的 GPU 三角形计数
简介本文提出一种分布式内存的精确三角形计数实现,用于在多 GPU 平台上统计图中闭合的长度为 3 的环。作者在 NVIDIA Ampere 与 Hopper 架构的扩展与纵向扩展平台上,对十亿级边的真实图进行了性能评估。与现有方法相比,论文报告端到端执行时间最高可提升 10 倍。
说明交互式安全求和的容量
简介本文研究交互式安全求和:K 个参与方各持一个输入,求和结果在一方计算,且能抵御至多 T 个合谋方。作者刻画了通信速率与随机性速率的容量区域,并在 0≤T≤K−2 时给出最优通信速率 K(K−1)/(K−T),以及最优总随机性速率 T(K−1)/(K−T)。文中还指出线性方案可达到这些最优值。
看点将安全求和扩展到多轮交互场景并刻画完整容量区域,结果新颖;以严格信息论证明给出最优通信与随机性速率,影响限于信息论与安全计算子领域。
说明纳什顶点(Nashtope)及其A判别式
简介本文研究多人标准型博弈中纳什均衡方程组的混合判别式,并将其视为一种A判别式,对应的多面体称为纳什顶点(Nashtope)。作者针对至少三名参与者的每种平衡博弈格式,计算了该判别式的余维数和次数。结合相关文献的结果,作者还得到了纳什判别式簇各不可约分支的余维数与次数。
说明HAWK:面向GPU-NPU异构阶段分离大模型推理的感知异构KV缓存传输机制
简介大模型推理的预填充阶段计算密集,解码阶段偏向访存,因此论文提出让GPU负责预填充、NPU负责解码的异构架构。为解决跨设备传输KV缓存时的通信机制和张量布局差异问题,论文提出HAWK机制,在NPU端分配感知张量布局的RDMA缓冲区,使传输数据无需额外重排即可直接使用。论文报告在商用GPU与NPU系统上,性能在纯GPU系统的7.88%以内,功耗效率最高提升1.26倍,成本效率最高提升1.72倍。