分散計算、ゲーム理論、情報理論など。
説明楕円曲線由来のMDS符号の線形相補対
要約本論文は、楕円曲線から得られる最大距離分離（MDS）符号の線形相補対（LCP）を調べる。楕円符号の線形相補対に関する幾何学的条件を与え、曲線のすべての有理点で評価した場合、相補対がすべてMDS符号からなることはありえないことを示す。これに対応して、評価因子を部分群の剰余類に制限することでMDS楕円符号の線形相補対を構成し、Mordell曲線と超特異楕円曲線上の無限族を明示的に与える。二次拡大上の大きな長さの構成も含まれる。
説明UlaCache：スパースなLLM推論のための統一論理アドレッシングによるKVキャッシュ管理
要約本論文は、大規模言語モデル（LLM）推論向けのKVキャッシュ管理システムUlaCacheを提案します。GPUメモリとCPUメモリを横断する統一論理アドレス空間により、推論エンジンは物理配置を意識せずにKVを割り当て選択できます。並列バケット化LRU（PB-LRU）でリクエスト間で共有されるGPUプールを管理し、ローカルGPUバッファで再利用されるKVの転送を減らします。推測デコーディングを有効にし、CPUとGPUのメモリ予算をそろえた条件で、既存の最先端ベースラインと比べH200とB300上で最大1.16〜2.51倍のデコードスループット向上を報告しています。
説明巡回MDS符号の最大長に関する研究
要約本論文は有限体F_q上の非自明な単根巡回MDS符号（最大距離分離符号）の最大長を研究している。gcd(n,q²-1)が2より大きい場合、または次元が偶数でgcd(n,q²-1)が1より大きい場合に、符号長nがq+1以下であることを証明している。素因数が{2,3,5,7}に属する長さについても同じ上界が成り立つ。
説明二元リード・マラー符号 RM(m-7,m) の重みスペクトルに関するいくつかの結果
要約本論文は、高次の二元リード・マラー符号 RM(m-7,m) に現れる重みの集合を研究する。すべての m≥14 について、区間 [336, 2^m-336] 内のすべての偶数重みと、明示的な有限個の低重みおよびその補数がスペクトルに含まれることを示す。まず RM(7,14) で基底符号の包含関係を確立し、連結に基づく帰納法によりすべての m≥14 へ拡張する。さらに、基底符号に残る重み 322、326、330、334 を制限された構成族で分析し、これら4つの未解決の重みを得られない構成経路があることを示している。
説明(n-k-1)デザインを保持するほぼMDS符号とWitt設計に関する未解決問題について
要約本論文は、有限体上のパラメータ[n,k,n-k]を持つほぼ最大距離可分（AMDS）符号を扱い、その最小重みの符号語の台が(n-k-1)デザインをなす場合を研究している。まず双対符号のパラメータを決定し、双対符号の最小重み符号語が作る設計とその補設計を特徴付けている。また、長さk+1以上の双対符号のすべての部分集合符号の重み列挙子を明示的に与えている。さらに、Wang、Tang、Dingが2023年に提起した未解決問題に答えている。
説明マッチングゲームにおける nucleon の計算：ゲーム理論の利益配分法を扱う理論論文
要約本論文は、マッチングゲームおよびその二つの拡張（b-マッチングゲーム、分割マッチングゲーム）における nucleon 配分の厳密な計算を扱う。nucleon は nucleolus の乗法的な対応概念であり、各提携が単独価値に対して得る割合を辞書式に最大化する。普通のマッチングゲームについては多項式時間のアルゴリズムを与え、一部の制限された b-マッチングおよび分割マッチングの場合には任意の nucleon 配分の計算が NP 困難であることを示す。容量が二の未解決ケースについては、最短非零閉路問題へ多項式時間チューリング帰着可能であることを示している。
注目点マッチングゲームにおける核仁の乗法版の未解決問題を解決し、多項式時間アルゴリズムと複数の困難性結果を示した。証明は厳密だが、影響は組合せゲーム理論の一分野に限られる。
説明S-PASS：パイプライン式アンテナ事前配置を備えたスタートポロジーのピンチングアンテナシステム
要約本論文は、複数の導波路がスイッチを介して1つの無線周波数チェーンを共有する星型構成のS-PASSと、一つの導波路が送信している間に、待機中の導波路が次の利用者向けにアンテナを事前配置する時分割方式PAPを提案しています。スケジューリング効率、機械的遅延が送信時間を消費しなくなる導波路数、そしてPAPが固定配置より優れる遅延の上限を閉形式で導出しています。解析と数値結果によると、この遅延の上限は導波路を増やすほど大きくなり、導波路の外端にいる利用者が最も利益を得るとされています。
説明波動処理ユニット：マルチユーザMIMO通信における波動計算のための閉形式行列合成
要約本論文は、MIMO通信における行列ベクトル乗算を加速する、プログラム可能な平面マッハ・ツェンダー干渉計（MZI）ネットワーク「波動処理ユニット（WPU）」を提案している。任意のユニタリ行列を、コンパクトな矩形トポロジーに配置したMZI要素のカスケードに分解する閉形式の合成手法を示し、特異値分解によって任意の複素演算子へ拡張している。64アンテナ・8ユーザの下りプリコーディングでは、理想的なハードウェア条件下で全デジタル構成と同じ和レートを保ちつつ、RFチェーンを87.5%削減し、反復型ベースラインより約380倍速く構成できると報告している。
説明行列版Φエントロピー依存度量：スカラーΦリボンを行列へ拡張し、対応する強データ処理不等式定数を特徴づける研究
要約本論文は、スカラーΦリボンを行列の場合へ拡張した行列Φリボンを提案する。劣加法性クラスに属するΦについて、行列Φリボンのデータ処理性とテンソル化性を示し、スカラー版と行列版のΦエントロピー不等式を確立する。これらを用いて、両種のΦリボンが対応するΦ強データ処理不等式（SDPI）定数を特徴づけることを示す。いくつかの情報源についてSDPI定数の厳密な値を求め、行列版SDPI定数がスカラー版を上回りうる例を示す。さらに、指定された独立構造から導かれるΦリボンの内側境界を導出し、Φ(t)=t log t の場合にその境界が最適であることを証明する。
説明RISK-KV：分散型LLM推論のための品質認識型選択的KVキャッシュ再構築
要約本論文は、分散大規模言語モデル（LLM）推論においてリクエストの移行や中断からの回復時に必要となる履歴のキー・バリュー（KV）キャッシュを、選択的に再構築する手法RISK-KVを提案しています。対象層の前後の正確なKV状態からリッジ回帰で欠落層の入力を予測し、再構築によるNLLの変化で品質リスクを測定します。3つの言語モデルでの試験では、履歴KVの18.2%〜33.3%を省略しつつ困惑度の変化は0.5%未満にとどまりました。512トークン履歴の局所的な回復実験では、完全なToken Replayに比べて1.51〜3.31倍の高速化が示されています。
説明センチメートル波ギガンティックMIMOにおける放送：ビーム成形がすべてを解決する
要約本論文は、センチメートル波ギガンティックMIMO（G-MIMO）システム向けの、環境を考慮した放送ビームを設計するためのビーム成形技術を提案します。垂直面で地表に一様な電磁電力分布が得られるよう「平伏ビーム」を成形し、放送カバレッジ品質の向上を目指します。基地局高さ、ビーム広がり、最大サービス距離、ダウンチルト角を関連付ける幾何学的モデルを構築し、地上カバレッジ最大化を目的とする非凸最適化問題として定式化したうえで、逐次凸近似などにより解きます。シミュレーションでは、従来の広ビーム基準と比べて大幅なカバレッジ距離の拡大など、性能向上が確認されています。
説明強化学習による異種マルチアクセラレータシステムでのハード/ソフトリアルタイムDNN推論スケジューリング
要約本論文は、異種マルチアクセラレータシステム上で、ハードリアルタイムとソフトリアルタイムのDNN推論ワークロードを同時に実行するためのスケジューリングフレームワークを提案する。オンライン強化学習（RL）スケジューラと決定的な実行時安全層を組み合わせており、RLスケジューラはサブジョブの優先度とアクセラレータ割り当てを同時に選択し、安全層はHRTの締切が常に満たされることを保証する。実験では、既存手法と比べてハードリアルタイムの可スケジューリング性を保ちつつ、QoS考慮の締切達成率、クライアントレベルのサービス品質、アクセラレータ利用率が向上したと報告されている。
説明ベクトル軸の再配置：長ベクトルプロセッサ向けに FlashAttention を再構成
要約本論文は、長ベクトルプロセッサに移植した FlashAttention カーネルの浮動小数点スループットが、ピークの 16.2% にとどまることを示しています。著者らは、スコアタイルと出力を転置してクエリを連続軸上に並べ、多項式係数をスカラーレジスタへ移動させる手法を提案しています。2KB のベクトルレジスタを持つ RISC-V CPU 上で、ヘッド次元 64 の場合、カーネル全体のサイクル数は 1.84〜2.08 倍削減され、利用率は 29.7% に向上しました。
説明パッチ単位のレート適応による点群の無線伝送
要約本論文は、無線での効率的な点群伝送のための結合信源・通信路符号化（JSCC）フレームワークを提案します。点群を局所パッチに分割して圧縮された潜在表現に変換し、ノイズのある通信路で送るシンボルに対応づけます。パッチ間の空間的依存性を利用するエントロピーモデルで各パッチの符号化コストを推定し、シンボル数を割り当てます。ModelNet40での実験では、さまざまな通信路条件で既存のベースラインより全体として率歪み性能が向上したと報告されています。
説明NOMA秘匿通信ネットワークにおけるピンチングアンテナシステムの活用
要約本論文は、ピンチングアンテナシステム（PASS）を非直交多元接続（NOMA）の秘匿通信ネットワークに適用する研究である。起動されたピンチングアンテナが、矩形内に確率的に分布する二人のユーザーへ重畳信号を送信し、二人の受動的監視者がそれぞれの下り伝送を監視する。著者らは、有界な雑音不確実性の下での二監視者の検出誤り確率の閉形式式を導き、最悪ケースにおける最適な検出閾値と最小検出誤り確率を求めた。数値結果では、PASS-NOMAが従来の直交多元接続方式より高い秘匿レートを得られることが示されている。
説明全長 Reed–Solomon 符号の深い穴問題
要約本論文は、有限体上の全長 Reed–Solomon 符号について、2≤k≤q−2 の各次元で Cheng–Murray の深い穴問題を解決し、標数 2 の場合を明示的に述べています。q が奇数のときは深い穴が次数 k の語にちょうど一致します。q が偶数で k≥3 の場合も同じ結論ですが、k=q−3 では追加の族が存在します。射影 Reed–Solomon 符号の被覆半径などの結果も含まれます。
注目点Cheng–Murrayの深穴問題をほぼ全次元で完全に解決し、厳密な証明で裏付けた。影響は符号理論の一分野に限られる。
説明精密共存：MIMO-ISACのための角度-スペクトル領域制約付き波形設計
要約本論文は、電磁環境が混雑した環境で動作するMIMO統合センシング・通信（MIMO-ISAC）システム向けの双機能波形設計フレームワークを提案します。既存システムが占有する角度・周波数領域内でのみビームの電力を抑制し、その外側の空間自由度は保持します。設計問題は非凸最適化として定式化され、低複雑度のMM-ADMM法で解かれます。シミュレーションでは、既存システムを精密に保護しつつ、レーダーセンシングと多ユーザー通信の性能を維持できることが示されています。
説明広告主数または表示枠数が少ない場合のGSP自動入札均衡
要約本論文は、一般化第二価格（GSP）方式を用いるスポンサードショッピングのオークションにおける、予算およびROI制約下の自動入札均衡を扱う。広告主数または表示枠数のいずれかが固定されている場合、正確な均衡を多項式時間で計算できることを示す。アルゴリズムは二種類の構造的な還元に基づき、有界次元の多項式方程式・不等式系に帰着させる。
注目点GSP自動入札均衡の計算について、固定nまたは固定Kで多項式時間アルゴリズムを与え、構造的還元は新しく、証明も充実しており、オークション理論の一分野に重要である。
説明ガロア環上の定数巡回符号の台周期と台原始分解（多項式の台周期と符号の分解に関する論文）
要約本論文は、ガロア環 GR(p^e,r) 上の定数巡回符号（constacyclic codes）と多項式の台周期を扱う。X^N-λ の首モニック因子の係数圧縮と、定数巡回符号の台原始分解との関係を示し、単根の長さの場合には台周期、符号の固有周期、距離と双対の公式を与える。重根の長さの場合や多項式のヘンゼル持ち上げについても論じている。
説明Griesmer符号におけるWardの予想の証明
要約本論文は、Griesmer符号（パラメータ[n,k,d]_qを持ち、Griesmer限界を達成する線形誤り訂正符号の一種）について扱う。q=p^f（pは素数）とし、eをdのp進付値とする。Wardは、この符号がp^{max{0,e-f+1}}で割り切れると予想しており、本論文はこの予想を証明している。
説明EFXの公平配分におけるパレト非効率性
要約本論文は、分割不能な財を加法的評価を持つエージェントに配分する際、任意の財について羨望がない（EFX）こととパレト最適性を同時に満たせるかを検討している。評価がゼロの財が存在する場合には両立しないことが既に知られていたが、全財の評価が正の場合は未解決だった。著者らは、どのエージェントも全財に正の評価を与えるにもかかわらず、パレト最適なEFX配分が存在しない単純な例を示す。さらにα＞2/3の場合、パレト最適なα-EFX配分も存在しないことを示す例族を構成している。
注目点全正の評価値のもとでEFXとパレート最適性が両立するかという未解決問題に答え、α>2/3まで一般化した構成を与えている。
説明ランダム双行列ゲームにおける最適応答ダイナミクスの循環構造
要約本論文は、二人のプレイヤーが相手の行動に対して交互に最適応答を選ぶ過程を、ランダムな利得を持つ双行列ゲームについて研究したものです。対称、反対称、共通利益、ゼロ和、利得が独立な各ゲームを対象としています。大規模なランダムゲームにおける循環の数、特定の長さの循環の数、最長循環の長さなどを分析し、ゲームの構造が典型的な循環構造に大きく影響することを示しています。
説明線形厳密修復から混合アルファベット符号へ：MDS配列符号の帯域幅とサブパケット化のトレードオフ
要約本論文は、分散ストレージにおけるMDS配列符号の修復帯域幅とサブパケット化レベルの関係を研究しています。固定有限体上で d 個のヘルパーノードから h 個の障害を集中的に修復する線形厳密修復を扱います。任意の線形修復方式の階数プロファイルは二つの補助的な混合アルファベット符号によって制約されることを示し、そこからSingleton、Hamming、Plotkin、Griesmerの議論に基づく修復帯域幅の下界を導いています。
注目点線形修復スキームの階数構造を混合アルファベット符号に帰着させ、各種の修復帯域下界を統一的に導出しており、理論的な前進が明確である。
説明符号化木：任意サイズの集合から可変長プレフィックス符号を作る方法
要約本論文は「符号化木（encoding tree）」と呼ばれる新しい二分木のクラスを定式化し、ラベル付けと枝刈りによって拡張する。これらを組み合わせた剪定ラベル付き符号化木を用いて、非空集合の列からの記号列を二進列へ変換する符号と、その逆方向の符号を構成する。両符号が可変長プレフィックス符号であることを証明し、所与の長さの二進列を符号化するために必要な最小の集合列長を与える式を示している。
説明相関量子応答均衡：人間とAIの戦略的相互作用のための新しい均衡概念
要約本論文は、人間とAIエージェントが混在するゲームの結果を予測するための相関量子応答均衡（CQRE）を提案しています。量子応答均衡と相関均衡という古典的な解概念を組み合わせ、一般化したものです。著者らは均衡の存在を示し、与えられた共同行動分布に最もよく適合するCQREを計算する手法を示しています。複数の複雑な一般和ゲームや大規模なSelten–Chmura設定において、その予測の有効性を実証的に確認しています。
説明最適なRényi・対数加法的汎関数エントロピー推定
要約本論文は、アルファベットサイズが高々k、既知の次数α>1がkとともに変化しうる場合に、独立サンプルからRényiエントロピーを推定する極小最大のサンプル複雑度を特定する。固定された加法精度εと成功確率2/3に対し、kとαに依存しない定数で一致する上下界を示す。さらに解析を正の加法汎関数の対数の推定へと拡張し、対応するサンプル複雑度の結果を与える。
注目点Rényi エントロピーと対数加法的汎関数推定の最小最大サンプル複雑度を上下界で一致させ、定数が k と α に依存しないことを示す。理論的進展は大きいが影響は主に情報理論と統計理論に限られる。
説明四次モーメント条件下での近似メッセージパッシングの普遍性
要約本論文は、要素が独立・中心化・分散正規化された矩形ランダム行列に対する近似メッセージパッシング（AMP）の状態発展（state evolution）を証明している。要素の四乗が一様可積分であれば十分とされている。また、要素が高斯分布である場合に限って特定の条件付き独立性が成り立つことを示し、平均的な分散正規化だけでは同次の状態発展の極限が保証されないことも例で示している。
注目点四次モーメント条件下で非ガウス行列のAMP状態発展を証明し、ガウス性の特徴付けと分散の反例も示しており、理論的進展が明確である。
説明Koala：長期稼働するステートフルデータフローのための無停止再構成プロトコル
要約ステートフルなデータフローシステムでは、状態をどこに置くかを決める必要があります。Koala は分散データフローシステム向けの再構成プロトコルで、状態を細粒度かつ遅延的に移行し、軽量な所有権移転の仕組みによってイベントのルーティングと状態の位置を切り離します。既存プロトコル DRRS との比較では、再構成中にバックログを最大 23 倍速く消化し、平均して状態の転送量を 8.7 分の 1 に抑えました。
説明決定論的無線ゴシップのための増幅剪定とパスセレクタ（確定的な無線情報拡散の上界改善）
要約未知の強連結有向無線ネットワークで、衝突検出なしに確定的にメッセージを全体へ広めるゴシップ問題を扱います。近傍クリアリング手続きと適応的剪定手続きを提案し、グラフ構造に応じた O(m log²n log log n) や Õ(min{n^{4/3}, N+(mn)^{3/5}}) などのラウンド数上界を示しています。多項式サイズの識別子範囲に対する密度の拡張は未解決としています。
注目点決定的無線ゴシップに対し新しい剪定と経路セレクタを提案し、複数の構造依存の上界を示す。理論的改善は明確だが、適用対象は特定モデルに限られる。
説明線形符号の乱択アクセスを扱うマトロイド的枠組み：符号の各座標を復元するまでの平均抽出回数の釣り合いを論じる論文です。
要約本論文は、符号語の記号を独立に一様復元有りで抽出する場合における線形符号の乱択アクセスを研究しています。各座標を復元するために必要な抽出回数の期待値がすべての座標で同じである符号を、復元平衡符号と定義します。著者は復元期待値を対応するマトロイドで表現し、符号とその双対符号の値を結びつける座標ごとの恒等式を導きました。これにより、線形符号が復元平衡であることと双対符号が復元平衡であることが同値であることを示し、Gruicaらの予想を証明しています。さらに任意のマトロイドについて復元平衡性を定義し、ほぼすべての疎な敷き詰めマトロイドは復元平衡でないことを示しています。
説明GPUベースのブール制約伝播による大規模SATサンプリング
要約本論文は、ブール制約伝播（BCP）に基づく初のGPUサンプラーであるGpap-Sを提案します。制約ランダム検証で用いるブール式の解サンプリングを対象とし、中核のGpapエンジンは共有の論理式上で多数の独立した部分割り当てを同時に伝播させます。論文では、高確率と稀少ターゲットの両方で既存手法より高速であり、統計検定でもすべてのテスト事例に合格したと報告しています。
注目点布尔制約伝播に基づく初のGPUサンプラーで、希少目標で約2桁の高速化をCMSGenなどと比較して示しており、証拠は充実しているが影響は制約ランダム検証分野に限られる。
説明重みの配置だけでは不十分：マルチノード CPU による三値 LLM デコードの同期
要約論文は、三値 LLM が復号トークンごとに読み込むデータは数 GB に過ぎないが、4 つの NUMA ノードを持つ二ソケットサーバーでは、私たちが見つけた最速の三値ランタイムでも、メモリ帯域の半分以下しか使えないと指摘します。各重みを読み取るスレッドのノードに配置しても、スレッドは同期待ちに多くの時間を費やし、その大半は各ノードの最も遅いスレッドを待つことによるものです。同一カーネルでは、Megatron 式の列分割が、測定したすべての構成で行所有分割を上回りました。DRAM 律速の場面では、このエンジンは ik_llama より 1.5〜2.1 倍高速です。
説明Rényi エントロピー推定における誕生日推定量の一様最適性
要約本論文は、不確実性の尺度である Rényi エントロピーの推定に用いる、衝突回数に基づく自然な誕生日推定量を研究している。著者らはこの推定量に対する Bernstein 型の集中不等式を示し、アルファベットの大きさ、次数、精度、信頼度について一様かつ同時にミニマックス最適であることを証明した。サンプル分割、クリッピング、中央値集約は用いていない。これにより整数次の Rényi エントロピー推定のサンプル複雑度が定数倍の範囲で確定し、既知の上界と下界の差が埋められた。
注目点整数次Rényiエントロピーに対する生日推定量の極小最適性と Bernstein 型集中不等式を示し、上下界のギャップを埋めた。
説明ビームフォーカシング対エアリービーム：アンテナ遮蔽にはビーム曲げが必要か？
要約本論文は、アレイのビーム形成において障害物を迂回するために提案されるエアリービーム（Airy beams）が本当に必要かを検討しています。著者らは、単一アンテナ受信機の場合、遮蔽されるアンテナの数に関係なく通常のビームフォーカシング（beamfocusing）が受信電力を最大化することを証明しています。多アンテナ受信機についても、ランクワン・チャネルで満たされる位相分離可能性の条件下で同様に成り立つとしています。数値結果では、物理的に小さい受信機（ビーム幅に収まるもの）には障害物がある場合でも無修正のビームフォーカシングが最適であり、大きい受信機では遮蔽されていない部分を照らすため最適プリコーディングがビームフォーカシングから逸脱するが、エアリービームにはならないことが示されています。
説明多項式の期待クエリ数で正確な妬みなし（envy-free）ケーキ分割を実現
要約資源（ケーキ）を複数の参加者に分け、誰も他人の取り分を羨まないようにする問題を扱う論文です。著者らは、ケーキ上から一様かつ独立にサンプルした点だけを乱数源とする乱択プロトコルを提案しています。非負・加法的・無原子の評価関数を持つ任意の n 人の参加者に対し、プロトコルは確率1で終了し、返される分割は完全かつ正確に妬みなしとなり、期待される Robertson-Webb クエリ数は Õ(n^30) で、n について多項式です。
注目点ランダム化プロトコルにより、正確な無嫉妬ケーキカットの問い合わせ量を期待多項式に下げ、従来の指数的限界を破る点が新しい。
説明共有クラスタにおけるタイムスタンプ付き容量記録に基づく予算制約付きアドミッション制御
要約本論文は、共有クラスタのアドミッションゲートが受け取る容量記録が現在の스케줄可能状態と一致しなくなる問題を扱う。アドミッションと利用不能の同時確率に上限を設け、遅延タグ付きの配信記録に有限尤度割り当てを適用する方式を提案し、各プレフィックスでの利用不能状態でのアドミッション数を決定論的ガードで制限する。精密な二項検定による校正と、制御システムの独立監査の結果も報告されている。
