分散計算、ゲーム理論、情報理論など。
説明確率的構成による最大 h-散乱部分空間（有限体上のベクトル空間の組合せ構造）
要約本論文は有限体上の線形部分空間、すなわち最大 h-散乱部分空間を研究し、MRD 符号などの符号理論の概念と関係づけている。著者らはある代数上で乱数行列を用いて部分空間を構成し、次元 r が与えられた不等式を満たし (h+1) が rn を割り切るとき、そのような部分空間が存在することを示す。これより、符号長が十分大きいとき F_{q^n}-線形 MRD 符号が存在することも導かれる。
注目点確率的手法により最大h-scattered部分空間の構成を与え、存在界を大きく改善し、MRD符号の存在結果も示す。証明は厳密だが影響は符号理論の分野に限られる。
説明定常実行プリミティブとしてのマイグレーション：低軌道における仮想定常性のランタイム
要約本論文は、衛星の高速移動により低軌道衛星コンステレーションで通信可能な時間が数分に限られる問題を扱う。論理的な地理的近接を保つため、アプリケーションが通過する衛星へ継続的に移行する「仮想定常性（Virtual Stationarity）」の概念を提案し、ライブマイグレーションを定常状態の実行モデルとして再定式化している。物理的な異種ホストでの評価では、300回の周期的な引き継ぎで95パーセンタイルのダウンタイムが6ミリ秒未満であり、1,600機の衛星によるシミュレーションでも軌道上の引き継ぎ時間内に完了することが示されている。
説明ホットネスを超えて：ARM SPEによるクラウドとLLMワークロードの高分解能メモリ特性評価と階層型メモリへの応用
要約本論文は、データ分析やLLMワークロードが多層メモリをどう活用できるかを分析するための高分解能メモリ特性評価手法を提案しています。データセンターで普及が進むARMプロセッサの統計プロファイリング拡張（SPE）を用いて手法を実装し、CloudSuiteとLLMアプリケーションの計8種類のメモリ集約型ワークロードを評価しました。領域ごとのアクセスパターンを特定し、クラウド向けキャッシュ階層の有効性を検証するとともに、メモリのアイドル期間とレイテンシ特性に基づく新たな指標を提案し、階層型メモリにおけるデータ配置の判断材料としています。
説明コンパイル型GPUエンジンにおけるタイル単位の展開処理
要約本論文は、GPUメモリ予算の逼迫に対応するため、コンパイル型GPUクエリエンジン向けの圧縮サブシステムを提案し、展開処理を第一級の物理演算子として扱います。Proteusに実装され、協調的なタイル単位の展開とタプル単位のクエリ実行を単一の生成GPUカーネル内で融合し、HBM上で展開済み列を物化しない方式を取ります。GPU常駐データでHeavyDBおよびSiriusと比較した結果、競争力のある処理時間を保ちつつ、常駐メモリ使用量を最大4倍、メモリ帯域消費量を最大6倍削減したと報告されています。
説明オープンISAによるスーパーコンピューティングへ：HPCワークロードにおけるRISC-V、Arm、x86の比較研究
要約本研究は共通のソフトウェア環境と測定手法を用い、Sophgo SG2044（RISC-V）をNVIDIA Grace CPUおよびIntel Xeon Platinum 8480+と比較しています。STREAM、HPL、HPL-MxP、HPCGの4つのベンチマークと4つの応用プログラムで評価しました。SG2044の絶対性能はArmやx86システムより8〜15倍低いものの、いくつかの負荷では拡張性と電力効率が競争力を持つと報告されています。大規模言語モデルのデコードでは64コア実行が測定対象の中で最も高い相対的拡張性とエネルギー効率を示したとされています。
説明GLP ネットワーク API 仕様：madGLP の下位ネットワーク層を定める技術仕様
要約本論文は madGLP（多エージェント決定的 GLP）の下位にあるネットワーク層を規定します。各エージェントは利用者のスマートフォン上で動作し、非同期メッセージ交換のみで通信します。ネットワーク層は GLP では実現できない部分、すなわちネットワークスタック、位置情報サービス、アプリ認証、暗号プリミティブだけを提供します。BLE、LAN、NAT 越えの WAN の三つの伝送路を共通インタフェースで扱い、Noise セッションと、ハンドシェイクハッシュに束縛されたアプリ証明により相互認証を行います。
説明非同期プロセスとネスト付きセッション型の表現力に関する研究：チューリング完全性の証明
要約本論文は、ネスト付きセッション型（NSTs）に対応する非同期セッションプロセス（ASP）の表現力を研究しています。ネスト付きセッション型は、従来の正則なプロトコルに加えて入れ子の再帰的プロトコルを記述できます。著者らは二計数器機械を型付きプロセスに正しく符号化することで、この計算モデルがチューリング完全であることを示しています。
注目点ネスト会話型を持つ非同期プロセスモデルがチューリング完全であることを、二カウンタ機械の型付きプロセスへの符号化により証明し、表現力の既知の限界を大きく前進させた。
説明非エルゴード性ソース族の歪み-レート不通確率
要約本論文は、ソース符号化における「アウテージ（不通）」の概念を扱います。ソースの統計がエルゴード的でない場合に、その定義を与え、関連する性質を論じ、コンパクトなソース族の特殊例を検討して具体例を示しています。
説明予測付きのパレート最適スケジューリング
要約本論文は、ジョブの順序またはサイズの予測が与えられる、プリエンプティブな単一機械スケジューリング問題を扱います。目的は総完了時間の最小化です。著者らは、決定的アルゴリズムにおける一貫性（consistency）と頑健性（robustness）の最良のトレードオフを厳密に決定し、それを達成する貪欲アルゴリズムを示したうえで、その下限が一致することを証明しています。
注目点決定論的アルゴリズムにおける一貫性と頑健性の最適トレードオフを厳密に特定し、上下界を一致させ、従来のΘ(1/ε)を大幅に改善する完全な証明を与えている。
説明MetaDB：ファイルシステムの構造を分散データベースに取り戻す
要約本論文は、百度（Baidu）の大規模ストレージシステムの共有メタデータ層として用いられる、メタデータを意識した分散トランザクションデータベースMetaDBを紹介します。汎用データベースとメタデータ負荷の間にあるデータモデル、トランザクションモデル、ストレージ実装の三つの不一致に対し、ツリー構造に基づくシャーディングや、クリティカルパス外での意味認識処理などを提案しています。原文によると、従来システムの2.2〜4.1倍のスループットを達成し、メタデータ用マシン数は半減し、5年以上本番運用されています。
説明Tokareva予想（二つのbent関数の和）に対する反例
要約本論文は、ブール関数が二つのbent関数の和として表せるかを扱う。偶数次元n≥4では二つのbent関数の和の代数次数はn/2以下であり、Tokarevaはその逆も成り立つと予想した。著者は8次元において x1x2(x3x4+x5x6+x7x8) が二つのbent関数の和で表せないことを示し、この予想を否定した。さらにこの構成を偶数次元n≥8へ拡張し、Shaporenkoの帰着法を用いて、n≥10のすべての偶数次元でTokareva導関数予想の明示的な反例を与えた。
説明LDPC符号の同期欠如を示すための、符号化に敏感なNullstellensatz証明書：鋭い局所境界と線形分離
要約本論文は、LDPC符号の検査行列に、最大t個の変数ノードからなり、最大b個の検査が満たされない非空集合が存在しないことを証明する方法を扱う。この不可能性を多項式系の不可解性とみなし、独立に検証可能なNullstellensatz証明書で表現する。局所符号化では次数が最大t+b+K+1の証明書を構成し、Kは最大検査次数に対数的で、ブロック長に依存しない。標準的な計数符号化では、サイクル符号などでブロック長に比例する下界を与える。すべての計算結果は厳密な有理数演算で検証されている。
説明階層型アルゴリズムによる、バースト的なHPCジョブの公平スケジューリングのための待ち時間上限化
要約HPCクラスタは多数のプロジェクトで共有されており、バースト的なジョブ投入により少数のヘビーユーザーが資源を占有し、散発的な利用者は予測できない待ち時間を強いられます。本論文はHyDRAスケジューラを提案し、到着時に各ジョブへ締切を割り当てて、優先度スコアと公平性の制約により待ち時間を抑えます。ALCF Polarisの1年分のジョブトレースで評価し、プロジェクト単位のJainの公平性指数は最良のベースラインの2倍となり、利用率には適度なコストがあるとしています。
説明近接配置の点源位置推定におけるフィッシャー情報と最小平均二乗誤差
要約本論文は、未知の複素係数をもつ既知の滑らかな応答の雑音付き重ね合わせから、近接した複数の点源の位置を推定する場合に達成可能な最適な平均誤差を調べたものです。位相の関係により局所フィッシャー情報だけでは到達可能な誤差は決まらないため、源の数Kごとに、小さな間隔と各雑音水準で一致するベイズリスク界を示しています。位相や事前分布を知らなくても、射影最小二乗推定量がこの次数を達成することも証明しています。
注目点近接する点源定位について、分離と雑音に同時に依存する一致するベイズリスク上下界を証明し、奇数・偶数の源数で異なる領域を示した。影響は主に信号処理の一分野に限られる。
説明微分可能な組合せオークション設計：グラフ注意ネットワークによる収入・社会厚生・公平性のフロンティア最適化
要約本論文は、空港の発着枠など公共インフラの配分に用いる、制約を考慮した微分可能な組合せオークションの枠組みを提案します。分数的に実行可能で近似的に耐戦略性を持つ機構をエンドツーエンドで学習します。グラフ構造のモデルCAGraphを導入し、CANetとCAFormerを深層学習の比較対象とします。また、分数割当を離散的な実行可能割当に変換する分解手法も示しています。合成ベンチマークと空港枠売却の事例では、学習された機構がVCGに比べ期待収入をそれぞれ最大73.5%と180%高め、後悔の値は小さいと報告しています。
説明通信が正常時と妨害時の双方で性能を両立させるためのランダム化
要約本論文は、マルチエージェントシステムにおいて、エージェント間の通信が正常な場合と損なわれた場合の双方で性能のバランスをとるため、行動選択をどの程度ランダム化すべきかを論じている。任意のシナリオに対して、正常通信時の効率がほぼ最適で、通信損失時の効率も厳密に正となるランダム化の水準が存在することを示している。エージェントが選択すべき資源の数が増えるほど、この保証は弱まるとしている。
説明一変数多重度符号の置換群と自己同型群
要約本論文は、一変数多重度符号を不変に保つ置換と線形等長写像を明示的に特徴づけます。有限体の任意の評価部分集合、任意の多重度と次元を扱い、自己同型はNRT（Niederreiter-Rosenblom-Tsfasman）距離に関して定義されます。多重度1の場合は古典的なReed-Solomon符号の結果と一致し、主要な次元範囲では自己同型は評価部分集合を置換する射影変換によって定まります。
説明KVStream：大規模LLMサービングにおけるKVキャッシュ向け適応型並列ストレージ管理
要約長文脈LLMの提供では、プレフィックスのKVキャッシュがGPUやホストメモリを超え、その取得のストレージI/Oが推論の critical path に乗ります。本論文はプレフィックス取得を複数ストレージ層にまたがる集約帯域のスケジューリングとして扱い、KVStreamというKVキャッシュエンジンを提案します。読み出しをまとめ、書き込みを順伝播の後に回し、各層に複製し、空いた層が未読のチャンクを適応的に取得します。LMCacheに組み込み、4モデル・6データセット・最大128GPUで評価し、理論上の帯域上限の5%以内で取得し、オフラインスループットは最大1.49倍、バースト到着時の平均TTFTは最大6.1倍短縮したと報告しています。
説明確率幾何と最適化の融合：データ駆動型セルラー網計画
要約本論文は、基地局の配置密度を最適化するデータ駆動型の確率幾何アプローチを提案します。未知のユーザー位置分布からのサンプルを用い、カバレッジなどのネットワーク性能指標の最大化を目指します。カバレッジ解析には非同次ポアソン点過程を用い、離散化とサンプリングの誤差を評価したうえで、確率的ミラー上昇法で経験的問題を解いています。合成データと実世界の空間需要データによる数値実験で検証されています。
説明全長リード・ソロモン符号の深い穴に関するCheng-Murray予想
要約本論文は、全長リード・ソロモン符号における深い穴の問題を扱います。補間多項式の次数が符号の次元に等しい受信語が深い穴となります。著者らは、3≤k≤⌊q/2⌋の範囲で任意の有限体上Cheng-Murray予想が成り立つことを証明し、例外でない全次元での分類を完成させています。証明には、標識付き弧の接包絡線や局所シンドローム整合性などの手法が用いられています。
注目点長年未解決だったCheng-Murray予想の残りの場合を、接包絡と局所シンドローム整合性を組み合わせて完全証明しており、分野への影響は中程度である。
説明対数凹の場合におけるエントロピー中心極限定理の改良された上界（独立な確率ベクトルの正規化和が正規分布に近づく度合いを、エントロピーで測る理論）
要約対数凹で等方的な確率測度から得られる独立な確率ベクトルの正規化和について、ガウス分布との相対エントロピーを扱った論文です。新しい上界を示し、次元への多項式依存を多対数依存に置き換えています。証明にはDe Bruijn恒等式とEldanの確率的局所化過程を組み合わせた手法が使われています。
説明全長Reed–Solomon符号の深い穴：一様な上界と厳密な分類
要約本論文は、全長Reed–Solomon符号RS_q(k)において補間多項式の次数がk+mとなる深い穴を研究し、m=3から7について任意の有限体上で完全に分類している。この範囲では奇数mの場合に深い穴は存在しない。m=4とm=6では、それぞれSegre六次族とFrobenius冪族という例外のみがあり、標数2の二次元の場合にだけ現れる。任意のm≥3に対する一様な上界も示されている。
注目点全長RS符号の深い穴についてm=3〜7の完全分類と一様な界を、厳密な証明と決定的計算で示し、理論的前進は大きいが影響は符号理論の一分野にとどまる。
説明Procrustes-Bering-Sheaft：マイクロサービスの自動モデル発見と仮想クラッシュテスト
要約本論文は、マイクロサービスに対する軽量なモデル発見と仮想クラッシュテストを自動化するツールチェーンを提案します。各テストはサービスおよび通信の障害をモンテカルロ法でサンプリングし、操作の可用性を推定します。Procrustes（デプロイとトレースの証拠を確認）、Bering（依存関係を発見しレプリカ宣言を反映）、Sheaft（宣言された操作成功条件を評価）の三つで構成されます。一つのHTTP操作で手順を示し、解析的オラクルと制御テストで実装を検証しています。
説明資源配分トーナメント：有限な資源を複数の対戦に配分する競争モデル
要約本論文は、スポーツリーグなどを念頭に、各参加者が有限の資源を全対戦相手との試合へ事前に配分する総当たり型の同時資源配分コンテストを提案・分析する。勝敗は相対的な配分で決まり、総ポイント制と優勝者総取り制の二つの報酬方式を検討している。三人の場合は両方式で均衡を完全に特徴づけ、四人以上では総ポイント制にBlotto型の均衡が存在する一方、優勝者総取り制は数値的・アルゴリズム的解析が必要となる。そのため確率的慣性を伴う最良応答ダイナミクス法を開発し、四人および五人のゲームの均衡近似に用いている。
