分散計算、ゲーム理論、情報理論など。
説明匿名ゲームにおける厳密および近似ナッシュ均衡の計算複雑性
要約本論文は、固定された有理数 c>0 について、n 人の二戦略匿名ゲームで 2^{-n^c} 近似ナッシュ均衡を計算することが PPAD 完全であることを示す。この結果は、制約の強い設定でも成り立つ。著者らは係数推定により回路制約を近似的にシミュレートし、三戦略の場合は多項式の根を用いて回路ゲートを厳密に実現する。これにより、厳密均衡計算の FIXP 完全性と、厳密均衡への距離での近似の FIXP_a 完全性が得られる。(Nash equilibrium, PPAD, FIXP)
注目点指数的精度での近似均衡のPPAD完全性と厳密計算のFIXP完全性を示し、匿名ゲームの計算複雑性の既知の限界を大きく前進させた。証明は厳密。
説明回転不変ノイズを伴う矩形スパイク行列モデルの情報理論的限界
要約本論文は、加法的な回転不変ノイズを持つ矩形ランク1スパイク行列モデルにおける推論の情報理論的限界を研究し、ノイズ成分が独立であるという従来の仮定を外している。統計物理学のレプリカ法を用い、信号とデータの相互情報量の変分公式と、ランク1スパイクの推定における最小平均二乗誤差を予測する鞍点方程式系を導出している。ベイズ最適な設定では、これらの方程式が直交近似メッセージパッシングの状態発展の不動点方程式と一致することを示し、数値計算と有限サイズのシミュレーションで結果を確認している。
説明チャネル分布予測による大規模MIMOのCSIフィードバックのための生成的深層学習
要約本論文は大規模MIMOシステムにおけるCSI（チャネル状態情報）フィードバックを扱い、予測された信道分布と観測されたCSIに基づいて適応的に符号化する予測支援符号化（PAC）フレームワークを提案しています。各CSIフレームは過去のCSIを用いずに生成された複数のトークンで表され、因果的Transformerで次フレームのトークンの条件付き分布を予測し、可変長エントロピー符号化で送信します。実験では、既存の履歴利用型手法と比べてフィードバックオーバーヘッドを約72%から84%削減し、再構成精度も高いことが示されています。
説明大規模並列計算における最短経路計算の改良
要約本論文は、大規模並列計算（MPC）モデルで重み付き無向グラフの近似最短経路を求める新しいアルゴリズムを提案します。O(1)近似の単一始点最短経路オラクルを構築し、距離問い合わせには O(1) ラウンドで応答します。構築に必要なラウンド数は、近線形設定で O(log log n)、異種設定で O(log² log n) であり、Dory と Matar（SPAA 2024）の成果より改善されています。
説明ITU-R VSAT放射パターンに基づく衛星システムへのRIS統合の検討
要約本論文は、アンテナの放射パターンとシステムのトポロジーを考慮してRIS（再構成可能インテリジェント表面）の位置と向きを最適化する、簡便な工学的手法を提案しています。能動素子を使わず、RISのフレネルゾーンを活用して反射リンクの二重フェージングを緩和することを目的としています。結果として、直径1mのVSATではS帯（2 GHz）で最大9dB、C帯（4 GHz）で最大14dBの利得改善が示されています。さらに、対流圏減衰と電磁波の偏波を考慮したRIS通信路方程式を改良しています。
説明StageBreaker：動画RL事後学習のスケジューリングを段階単位からデータ依存関係単位へ移す手法
要約本論文は、動画向け強化学習（RL）事後学習のための細粒度スケジューリング枠組み StageBreaker を提案しています。段階ではなく、RLステップの実際のデータフローに基づいてスケジューリングを行います。方策学習と報酬評価を重ね合わせ、2回の軌跡リプレイを1回に統合し、より細かい粒度でGPU負荷を均衡させます。実験では、段階中心の実行方式に対して最大1.41倍の高速化が得られたと報告されています。
説明多数化単体上の非類似度尺度についての考察
要約本論文は、非増加順に並んだ確率ベクトルの集合である多数化単体上での非類似度・類似度尺度を研究する。Rényi エントロピーに基づく距離 d_α について、α≥1 では距離（計量）となるが、それ以外では一般には計量でないことを示す。さらに α>1 の場合に三角不等式で等号が成立する必要十分条件を与えている。また、全変動距離とHellinger 親和度（Bhattacharyya 係数）について複数の評価と等号条件を導き、Hellinger 親和度に基づく全変動距離の上界は、Pinsker の不等式や Bretagnolle–Huber の不等式による評価より小さくなる場合があることを示している。
説明意見グラフ付き投票者モデル：限定的信頼を取り入れた意見ダイナミクスの一種
要約本論文は、標準的な投票者モデルに限定的信頼の考え方を加えた「意見グラフ付き投票者モデル」を研究している。エージェントは、相手の意見が自分の意見と意見グラフ上で隣接している場合にのみ、その意見を採用する。通常版と生産的版の2つのEdgeVOG過程について、安定化までの時間の上界、意見の生存確率、そして一つの意見が獲得しうるエージェント数の上限を分析している。
説明無線通信向け再構成可能インテリジェント表面（RIS）のアレイファクターの性質
要約本論文は、アンテナ設計における再構成可能インテリジェント表面（RIS）のアレイファクターの性質を検討し、反射経路の形成における位相シフトの重要性を示しています。あわせて、同一の位相シフトを必要とする空間位置、アレイファクターのヌル化、主極大の総数、第二極大（第二ローブの振幅）の求め方、3dB帯域幅の計算を取り上げています。RIS支援型の無線通信システムにとって有用な分析です。
説明NRT距離におけるハイパー微分リード・ソロモン符号の被覆半径と深い穴
要約本論文は、Niederreiter-Rosenbloom-Tsfasman（NRT）距離のもとでのハイパー微分リード・ソロモン（HRS）符号の被覆半径と深い穴を研究している。深い穴問題は符号理論の基本的な問題である。著者はHRS符号のNRT被覆半径を定め、最大距離可分（MDS）拡張と多項式剰余条件によって深い穴を特徴づけている。さらに、三種類の明示的な深い穴の構成法を与え、HRS符号に対するCheng-Murray型の予想を提案し、いくつかの特殊な場合について正確な計数式を導いている。
説明PRB-WM：実時間で変動する水中音響チャネルにおける予測型リンク適応のための物理正則化Betaワールドモデル
要約本論文は、水中音響通信で伝搬遅延のためにフィードバックされるチャネル状態情報が古くなる問題を扱い、確率的潜在空間ダイナミクスモデルでチャネルの変化を予測するPRB-WMを提案しています。各変調・符号化方式についてビット誤り分布を評価し、機会制約付きの予測制御器で誤り率違反の確率を抑えつつ周波数効率を最大化します。公開データの実測海上実験6リンクの閉ループ再生では、平均スループットが最強のベースラインを87%上回りました。
説明O(√Δ+log* n) ラウンドで行う分散 (Δ+1) 彩色（グラフの各頂点に色を割り当てる分散アルゴリズム）
要約最大次数 Δ の n 頂点グラフに対し、LOCAL と CONGEST の両モデルで O(√Δ+log* n) ラウンドの決定的な分散アルゴリズムにより (Δ+1) 彩色を行う方法を示す。Barenboim の多項式彩色手続き、arbdefective 分解、次数削減、短い哈希関数族を組み合わせている。さらに、全探索を避けられる無損失拡張グラフに基づく明示的な変種も与えている。
注目点決定的分散(Δ+1)彩色化の既知ラウンド数をO(√Δ log Δ)からO(√Δ)へ改善し、証明と明示的変種を与えており、理論的に実質的な前進である。
説明事前情報が漏れる場合のプライバシー保護推定器の設計
要約本論文は、攻撃者が事前情報を持つ状況での離散時間線形確率システムの状態推定におけるプライバシー保護を、逐点最大漏洩（PML）を用いて研究しています。定常カルマンフィルタは、加法的な公開ノイズがない場合にPMLの漏洩が最大になることを示し、(ε,δ)-PMLプライバシーが保証する定常推定誤差の下限を導出しています。さらに、推定器ゲインと公開ノイズ共分散を半正定値計画で同時設計し、電源-負荷系統での数値シミュレーションでプライバシーと推定精度のトレードオフを示しています。
説明複数関数の近似符号化計算：構成法と誤差上界
要約本論文は、分散計算で遅延ノード（ストラグラー）の影響を抑える符号化計算を扱います。アナログ領域で複数の任意関数（非多項式を含む）を1ラウンドで計算する問題に対し、既存の多関数手法をBACCに拡張して誤差上界を導出し、さらにBerrut基底関数に基づく新しい構成とその誤差上界を示しています。数値比較では、試された設定において提案構成の相対誤差が既存手法より小さいと報告されています。
説明CALIPER：HPC/AIネットワークシミュレータの較正手法
要約本論文は、HPC/AIネットワークシミュレータを体系的に較正・検証する手法CALIPERを提案している。直接観測可能なシステムパラメータと、較正によって設定する補助パラメータを区別し、後者を対象システムに整合する実行可能な範囲に制約する。ユーリッヒ・スーパーコンピューティングセンターの最大64ノードの参照システムで集団通信ベンチマークにより評価したところ、較正後のパラメータはscale-upおよびscale-outの両ネットワーク領域で平均誤差5%未満の性能予測を示した。
説明差分階層における一計数器言語のω冪の完全性に関する結果
要約本論文は、有限アルファベット上で一計数器オートマトンに受理される有限言語について、そのω冪が差分階層で完全となる性質を研究している。任意の自然数n,k≥1に対し、ω冪がD_{2n-1}(Π^0_k)-完全となる言語U_{n,k}の存在を証明している。双対クラスD^-_{2n}(Π^0_k)に関する条件付きの結果と、有理Δ^0_2のω冪のWadge次数に関する条件付きの結果も含まれる。
説明宇宙AIインフラ：エッジと軌道クラウドの融合
要約本論文は、AIと宇宙技術を融合させ、衛星搭載型の知能を世界規模のインフラへ広げる「宇宙AIインフラ（SpaceAI-Infra）」の発展ロードマップを提示しています。星搭載AI、宇宙エッジAI、宇宙クラウドAIの三段階で進化を整理し、低軌道衛星コンステレーションによる通信中心の宇宙エッジと、晨昏太陽同期軌道で編隊飛行する計算中心の宇宙クラウドを統合したアーキテクチャを提案しています。事例研究では、世界中で数百万人の同時利用者に対しデータセンター規模の基盤モデル推論を支えられることが示されています。
説明SP-Allreduce：トーラスおよびより広い対称トポロジー向けの対称木スケジュール
要約本論文は、分散学習で使われる全要素集約（allreduce）通信について、d 次元トーラス網向けの新しいアルゴリズム SP-allreduce を提案している。トポロジーの対称性を利用し、最短経路上のみで通信を行う。著者らは、完全な帯域最適性を持つ全アルゴリズムの中で最小のラウンド数を達成することを証明し、その思想を他の対称トポロジーにも拡張している。実験では、測定した構成において、正方トーラスで最大 1.19 倍、矩形トーラスで最大 1.65 倍、HyperX 網で最大 14.82 倍、spine-leaf 網で最大 1.72 倍の改善が示されている。
注目点対称な最短経路木によるallreduceを提案し、全帯域最適アルゴリズムの中で最少ラウンド数を証明、Bucketの半分にする。複数トポロジーで高速化を示す。
説明名目能力から提供可能な計算資源へ：D-PIN SCU動的計量システムの設計・校正・検証
要約本論文は、チップの名目仕様ではなく異種分散ネットワークが実際に提供できる計算能力を測るため、D-PIN標準化計算単位（D-PIN SCU）を提案します。五次元の資源正規化と、トポロジー認識・実行時補正を組み合わせた計量方式を用いています。張江科学城の本番ノードで、8GPUサーバー10台、合計59.5 D-PIN SCUを対象に検証を行いました。検証は単一の本番ノードに限られ、経験的に校正されたチップ値はデータシートの予測と大きく異なると述べられています。
説明強い位相雑音のチャネルに対する対数密度スペクトルに基づくポーラ符号の復号法
要約強い位相雑音があるチャネルでのポーラ符号向けの復号法を提案している。従来のSC復号が確率などのスカラー軟情報で再帰計算を行うのに対し、本手法は位相雑音変数上で定義される確率密度関数のレベルで再帰を行う。計算を扱いやすくするため対数密度をそのスペクトルで表現し、対数密度スペクトル再帰（LDSR）と呼ばれる。数値結果では、強い位相雑音およびAWGNの下で、従来のSC法やカルマン法と比べて誤り率性能が明確に優れている。
説明やり取りが多いほど通信は効率的に：タスク指向通信のための有向情報ボトルネック手法
要約本論文は、受信側がまだ得ていない新しい情報だけを送ることで、既に送った内容との冗長性を減らす変分有向情報ボトルネック結合信源通信路符号化（VDIB-JSCC）の枠組みを提案している。著者らは有向情報を用いてタスク関連の増分情報の因果的な流れを表現し、CIFAR-10およびCIFAR-100の動画ストリーム実験では、既存の意味通信手法より少ない伝送情報で高い分類精度が得られたと報告している。
説明ねじれリード・ソロモン符号の一般化ハミング重みとサブコード支持重み分布
要約本論文は、2種類のねじれリード・ソロモン（TRS）符号について一般化ハミング重みの階層を決定する。1つの捻りをもつTRS符号では、一般化ハミング重みの取りうる値をすべて求め、双対符号の最小距離によって重み階層を完全に特徴づける。2つの捻りをもつTRS符号についても、同様に完全な階層を決定する。さらに、各 r について r 次元サブコードの指定された支持サイズの個数を与える明示的な式を導出している。
説明HeteroVDiff：モバイル NPU と GPU で重みを共有し、動画拡散モデルをパイプライン実行する手法
要約本論文は、スマートフォンの NPU と GPU の両方で多重エキスパート型の動画拡散モデルを動かすシステム HeteroVDiff を提案しています。基本の重みは INT8 で一つだけ保存し、ノイズ除去の処理を途中で二つに分けて、前半を GPU、後半を NPU が担当して並列に動かします。Galaxy S25 での連続動画生成では、NPU 単独実行の 1.35 倍のスループットを得たと報告され、重みメモリは各エンジンに個別のコピーを持たせる場合より 48% 少なくなっています。また VBench-2.0 の全 18 項目の総合スコアは FP32 と同等だとしています。
説明少数の部分空間射影によるRM符号の構造化誤りパターン訂正のためのRPA復号
要約本論文は、Reed-Muller符号に対する再帰的射影集約（RPA）復号器を扱い、誤りの数が最小距離の半分未満の場合を考察しています。構造化された誤りパターンでは、射影に用いる部分空間を適切に選ぶことで、各再帰レベルで必要な部分空間の数をさらに減らせることを示しています。長さが最小距離の半分未満の単一バースト誤りの場合、各レベルで3つの部分空間があれば訂正可能です。
説明規則の学習と事実の記憶：幻覚の情報理論的な見方
要約本論文は、汎化と幻覚の関係を情報理論の観点から分析し、選択器密度条件付き相互情報量（CMI）の枠組みを提案しています。モデルとデータの相互情報量を、規則学習、原子的事実の記憶、過剰な記憶の三つに分解し、これらの間の競合を示します。また、原子的幻覚に対する同時予算の上界を導き、加法的ガウスモデルや関係性実験を通じて、訓練の露出、規則の複雑さ、モデル容量がこれらのトレードオフに与える影響を検討しています。
説明マルチGPU通信の新たな視点：移植可能な最適化のためのAPIレベルメモリモデル
要約本論文は、ネットワーク通信が機械学習や高性能計算の性能ボトルネックになっている中、デバイス側通信ライブラリ（rocSHMEM、MSCCL++など）に厳密なメモリモデルがないと指摘します。著者らは、AMDがオープンソース化したrocSHMEMでデバイス側通信のAPIレベルメモリモデルを定義しています。さらに、そのモデルを緩和してネットワークデータのキャッシュバイパスを可能にすると、集団通信で最大2.48倍、計算・通信融合で最大1.77倍、エキスパート並列通信で最大1.18倍の性能向上が得られると報告しています。
説明F2+uF2上の二重循環LCD符号と二元LCD符号の構成
要約本論文は、u²=0を満たす有限鎖環F2+uF2上の二重循環線形相補双対（LCD）符号を研究する。LCD符号とは、双対符号と自明にしか交わらない線形符号のことである。中国剰余定理とx^n-1の因数分解を用いて明示的な計数公式を導き、x-1に対応する成分は別途扱っている。Gray像と既知の拡大構成を組み合わせ、二元LCD符号[29,15,7]を得るとともに、置換非同値な二元LCD符号[45,23,9]を2つ構成している。
説明サブステップ線形化可能性：逐次仕様を保ちながら原子性を緩和する
要約本論文は、並行オブジェクトの正当性条件である線形化可能性（linearizability）の制約を緩和する「サブステップ線形化可能性（substep linearizability）」を提案しています。アトミック交換器のように原子的に仕様化できない操作があり、既存の区間線形化可能性（interval linearizability）は区間逐次仕様が難解だという課題があります。本論文は、両者が等価であることを示し、アトミック交換器、非線形化可能なキュー構造、データベーストランザクション間のスナップショット分離を評価しています。
説明閾値関数とその合成のフーリエエントロピー
要約本論文は、任意の線形閾値関数について、定数が8.937未満のフーリエエントロピー・影響不等式（FEI）が成り立つことを証明している。重みや閾値に制約はない。結果は正則ブール関数とその組み合わせに拡張され、任意の積測度の下での対称閾値関数の読み取り専用合成にも触れている。
注目点全ての線形閾値関数に対するフーリエ・エントロピー影響不等式を定数付きで証明し、布尔結合や読み取り一回合成へ拡張しており、理論的な改善が大きい。
説明コスト効率の良い実験設計と未知の変化後モデルの下での頑健な最速変化検出
要約本論文は最速変化検出問題を扱います。意思決定者は複数の実験を利用できますが、変化を検出するために一度に選べるのは一つだけです。各実験の下での変化後分布は未知ですが、ある分布族に属することがわかっています。各分布族には明確な意味で最も不利な分布が存在すると仮定されています。著者らはこの最も不利な分布を用いて設計されたアルゴリズムを提案し、誤警報率がゼロに近づく極限で一次漸近的に最適であることを示しています。このアルゴリズムは、誤警報までの平均運転長および変化前に各実験が実施される時間割合に関する制約のもとで、想定される分布族内のすべての変化後分布に対する最悪ケースの平均検出遅延を最小化します。
説明遅延-ドップラー双対性：時間領域または周波数領域でZak-OTFSを厳密に等化する簡略化手法
要約本論文は、Zak-OTFS無線通信における等化の問題を扱う。著者らは、遅延-ドップラー領域のチャネル行列が離散Zak変換により帯状の時間領域または周波数領域行列と等価であることを示し、それに基づいてフレーム長に対して計算量が線形に増加する厳密な受信機を設計している。シミュレーションでは、直接的な遅延-ドップラーLMMSE等化と誤り率が一致し、乗算回数は3〜4桁少ないと報告されている。
説明支持集制約付きランダム化応答における厳密なプライバシー・歪みの設計（入力の近傍に出力を限定する手法の解説）
要約順序付きアルファベット上で全支持のランダム化機構が不要な報告歪みを生むことを踏まえ、出力を私有入力の半径t近傍に制限するランダム化応答を扱う。距離H以下の入力対に対する近似局所プライバシーの下で、機構の厳密なhockey-stick欠陥を導出し、真実報告確率、非真実報告確率、支持半径を同時に設計する。
説明UD-IaaS-FaaS環境におけるワークフローのスケーラブルな多目的スケジューリング（学習ベース）
要約本論文は、ユーザーデバイス、IaaS、FaaSからなるハイブリッドなエッジ・クラウド環境でワークフローをスケジューリングする問題を扱います。実行時間、エネルギー消費、コストを同時に最適化するため、多目的混合整数線形計画として定式化しています。解法として、グラフニューラルネットワーク、代理性能モデル、多サンプルREINFORCEを組み合わせた学習フレームワークを提案しています。Pegasus Montageワークフローを用いた実機実験では、遺伝的アルゴリズムや貪欲法と比べて、完了時間を10〜17.5%、エネルギーを3〜9%、コストを4〜10%削減し、MILPの最適解との差は3.5〜5.6%以内だったと報告しています。
説明反復解法のマルチGPU通信方式：CPUが制御しない実行モデル
要約本論文は、最初のカーネル起動以外にCPUを一切関与させない、完全自律型のマルチGPU実行モデルを提案する。永続カーネル、スレッドブロック特殊化、デバイス側バリア、デバイス発行の通信などの既存技術を用いて、通信オーバーヘッドを削減する自律的なマルチGPUコードを実現している。2次元/3次元Jacobiステンシル計算と共役勾配法（CG）の二つの反復解法で評価し、8基のNVIDIA A100 GPUにおいて、3次元ステンシルの通信遅延は58.8%削減、CGは1.63倍の高速化を示した。
説明対称チャネルの近似シミュレーションに関する精密な漸近解析
要約本論文は正規近似領域における近似チャネルシミュレーション問題を扱い、必要なコードブックサイズが平滑化された最大相互情報量と関係することを用いています。Gallager対称な離散無記憶チャネルについて、三次の展開を厳密に与え、三次項がチャネルに依存することを示しています。チャネル符号化の場合と比べ、特異チャネルと非特異チャネルの間のレート差の向きが逆になっており、三次項は特異チャネルで-(1/2)log n、非特異チャネルでO(log log n)となります。
説明アフィン制限下の高次非準同型性：布尔関数をアフィン部分空間に制限したときの高次非準同型性と、閾値関数に関する結果
要約本論文は、布尔関数をアフィン部分空間に制限したときのk次非準同型性（P_k）を研究する。著者らはt制限k次非準同型性P_{k,t}(f)を定義し、次数が2以上のm個の単項式の直和について正確な値を求めた。t<mの場合は最も低次の単項式t個それぞれで一つの変数を0に固定すると最小値になり、m≤t<nの場合は最小値は0である。さらに任意の余次元のアフィン部分空間への制限に対するWalsh変換の公式を与え、非アフィン関数には次数の小さい超平面制限が存在することを示す。最後に、n≥3のすべての閾値関数について正規化非線形性を確定し、先行研究で未解決だった二つの閾値関数予想を解決した。
説明強化学習によるスケジューリングを用いた量子LDPC符号の低遅延信念伝播復号
要約本論文は、量子LDPC符号の信念伝播（BP）復号に対し、桶式の強化学習逐次スケジューリング手法B-RL-Sを提案している。学習されたQ値を整数の優先度に量子化し、動的に管理される先入れ先出しのバケットで変数ノードの更新順を決める。再学習やBPのメッセージ更新の変更は不要である。[[288,12,18]]双変数自転車符号、脱分極通路、p=0.05の条件では、優先度8段階のB-RL-Sの誤ブロック率は、フラッディングBPに次数10の順序統計復号を続けた方式の約5分の1であり、追加の後処理段は不要である。
説明選択的プライバシー下の残差情報による汎化境界：拡張版
要約本論文は、学習者が独立同分布の組 (X,Y) から (X^n,Y^n) を観測し、X^n に関する情報漏えいが最大 ε_n ナットに制限される設定を扱います。連鎖律による変換で閉形式の上界 I(W;Y^n) ≤ min{nH(Y), nH(Y|X)+ε_n} を導き、相互情報量による汎化境界と組み合わせて、残存するタスク不確実性と正規化されたプライバシー漏えいで決まる境界を得ています。さらに、特定のソース族では √(ε_n/n) という汎化速度が普遍定数倍まで厳密であることを示しています。
説明二元拡大体上の Reed-Solomon 符号に対する超多項式サイズのリスト：固定レートでリストサイズが多項式を超える下界
要約本論文は、二元拡大体上の通常の Reed-Solomon 符号のリスト復号を扱う。任意の固定レート 0<R<1 に対して、ある ε_R>0 が存在し、十分大きな h について、F_{2^h} 上の全体体 Reed-Solomon 符号に、相対距離 1-R-ε_R 以内に n^{Ω_R(log n)} 個の符号語をもつ受信語があることを示す。これにより、素体上で成り立つ多項式サイズのリストという結果は、基礎となる体によらず一様には成り立たないことがわかる。
注目点二元BCH重み列挙の対応を用いてRS符号に超多項式サイズのリスト下界を構成し、全固定レートで成立することを厳密な構成と論証で示す。
説明物品の補完関係に対する二分選好の下での公平配分
要約本論文は、エージェントが個々の物品ではなく物品の組に対して二分劣モジュラ選好を持つ場合の公平配分問題を扱う。この選好は既存モデルを自然に拡張し、コース配分などの場面に適している。功利主義あるいはナッシュ最適な配分の計算はNP困難であることを示す一方、補完的な束の大きさがk以下の場合には多項式時間で近似的な配分を計算するアルゴリズムが存在することを示す。さらに、近似的に最大功利社会厚生をもつEF-X配分が多項式時間で計算でき、各エージェントに効用の下界を保証することを述べている。
注目点二値選好を補完的な物品の束へ拡張し、効用最大化やナッシュ最適配分がNP困難であることを示し、近似アルゴリズムとEF-X配分を与えた。
説明2回の挿入または2回の削除に対するVT符号の平均リストサイズ
要約本論文は、二元VT符号について挿入および削除誤りのもとでのリスト復号を、McEliece の平均リストサイズ問題に倣って分析したものです。長さnのVT符号では、2回の挿入に対する平均返却符号語数の上界が(n+12)/4、2回の削除に対する平均の下界がn/2−10と示されています。両者の差はほぼ2倍で、平均的な観点からは挿入誤りの方が削除誤りよりリスト復号が容易であることが示唆されています。
説明ネイティブ二重プールか共有ページングか：並行ハイブリッドLLM推論のためのメモリ構成の比較
要約本論文は、注意機構とSSM（状態空間モデル）を組み合わせたハイブリッド推論におけるメモリ構成の四つの方式を、修正版vLLMランタイムで実装して比較する。共有ページングから再帰状態のページング、畳み込みスロットのパッキングへと段階的に改良すると、主要な動作点で完了出力のスループットと末尾の完了時間が改善したと報告されている。試験された実行では、再帰チェックポイントの利用可否が共同再利用の制約になっていたことが示されている。保持状態からの継続の正しさは未解決のままである。
説明Rényi エントロピーに対する鋭い Rogers–Shephard 不等式：独立な対数凹確率ベクトルの差のエントロピー上界
要約本論文は、Rényi 微分エントロピーに対する重み付き Rogers–Shephard 不等式を証明した。独立な対数凹確率ベクトル X、X' について、すべての a、b>0 と 1≤p≤∞ で h_p(aX−bX')≤h_p(X)+n·log(a+b) が成り立つ。p=1 は Shannon エントロピー、p=∞ は最小エントロピーに対応する。この結果は Madiman と Kontoyiannis によるエントロピー版 Rogers–Shephard 予想を解決する。0<p<1 では、十分高次元の単体上の一様分布が無重み付きの上界に反するため、p=1 が臨界次数となる。
注目点Rényi微分エントロピーに対する鋭いRogers–Shephard不等式を証明し、Madiman–Kontoyiannisの予想を解決。厳密な証明と等号条件を与えている。
説明DualColl：分数木パッキングによる帯域制約集団通信の最適スループット手法
要約本論文は、大規模分散学習で帯域がボトルネックになるAllReduce集団通信を対象に、DualCollという手法を提案します。ForestCollのようにAllGatherとReduceScatterを組み合わせるのではなく、AllReduceを直接最適化します。乗法重み法と、物理リンクの双対価格を参加ランクの論理グラフに投影する厳密な最小コスト木オラクルを用い、最適スループットの(1-ε)²倍以上の実行可能なスケジュールを計算します。さらに、等しい次ホップへのパケットスプレー経路や、明示的な木ごとの帯域制御がないネットワークにも枠組みを拡張しています。
説明バースト誤りの訂正と DNA データ保存への応用
要約本論文は、ナノポアシーケンシングを用いる分子データ保存を動機として、置換バースト誤りの訂正問題を提起する。置換バースト誤りは長さ k の部分文字列の要素を並べ替える誤りである。著者らは、この誤りが部分文字列の重みを保存する点を利用して、Fire 符号や Reed-Solomon 符号などの古典的バースト誤り訂正符号の冗長度を下げる方法を検討し、冗長度の下界・漸近上界と構成法を示している。
