分散計算、ゲーム理論、情報理論など。
説明多変量ヴァンデルモンド行列のスペクトルと高次元超解像問題の min-max 誤差評価
要約本論文は、単位次元トーラス上に不規則に配置された点を列とし、低周波の格子を行とする多変量矩形ヴァンデルモンド行列を研究する。点が互いに分離した複数のクラスターを形成する場合、異なるクラスターに対応する列部分空間はほぼ直交することを示し、スペクトル解析を各クラスターごとに帰着できることを明らかにする。これにより行列の全特異値のスケールを導き、クラスター状点源の復元に対する min-max 誤差評価を与える。その速率は一次元の場合に知られている最適速率と一致する。
説明一様参照方向を用いた再構成可能インテリジェント表面の離散位相シフト最適化
要約本論文は、再構成可能インテリジェント表面（RIS）支援通信における低複雑度の離散位相シフト最適化アルゴリズムを提案している。実行可能な最適性セクタ内の複数の参照方向に基づき、一様分布の参照方向から生成された候補位相構成を評価する。参照方向の数は設計パラメータとして計算量と最適性のトレードオフを制御できる。シミュレーションでは、最適解との差を小さく保ったまま計算を大幅に高速化できることが示されている。
説明球面デザインに基づくゼロ次最適化：決定論的で分散のない勾配推定
要約本論文は、零次（ゼロ次）最適化の手法として、ランダムな方向の代わりに固定された球面 t デザイン（次数 t 以下のすべての多項式を厳密に積分する有限点集合）による中心差分を用いて勾配を推定する方法を提案しています。この推定器は決定論的なので分散を生じません。高階の滑らかさの条件下での一般的な有限差分法とそのバイアスも示し、入力–状態安定性の概念を用いて収束性を示しています。数値実験では既存のランダム型ゼロ次法より優れた結果が報告されています。
説明SigmaTrace：CPUとGPUから発行されるRDMA通信のためのライブラリ非依存の可観測性フレームワーク
要約RDMAネットワークは大規模システムで低遅延・高帯域の通信を実現しますが、既存のツールは特定の通信ライブラリに限定されるか、集計データしか示さず、個々の操作の挙動を把握できません。本論文は、ライブラリに依存しないRDMAプロファイリングフレームワークSigmaTraceを提案し、InfiniBandおよびRoCEで通信ライブラリの下位に位置するlibibverbs/mlx5dvレベルで操作を追跡します。また、低オーバーヘッドのメモリインターポジション技術により、GPUから発行されるRDMA操作を逐一観測できるとしています。原文によれば、128GPUのNCCL AllReduceでのホスト側追跡のオーバーヘッドは1.3%、1024GPUのRCCLでは2%未満です。永続カーネルのBFSや専門家混合推論では、既存のプロファイラーには見えない、カーネル内バリアの分散と2.13倍のノード間トラフィックの偏りを明らかにしたと報告されています。
説明エントロピー平滑化による多枠一次価格ペーシング均衡の大規模計算
要約本論文は、予算制約を持つ広告主が多枠のリクエストに対して広告市場を清算するときのペーシング均衡（FPPE）を扱います。各リクエストの配分をバイナリ（フェルミ・ディラック）エントロピーで正則化し、滑らかで厳密凸な双対問題に変換して、リクエストごとに独立した一次元の閾値計算へ分解します。平滑化された均衡は元の均衡へ明示的な O(√T) の速度で収束し、双対ギャップで任意の入札が元の均衡からどれだけ離れているかを評価できます。著者らは多 GPU ソルバーを実装し、実運用の広告データで検証し、キャンペーンごとの事後的な均衡コスト（重要成果あたり）を価格の基準として計算しています。
説明同時上りリンク訓練を伴うパイロット射影による非線形自己干渉推定
要約本論文は、自己干渉（SI）訓練中に希望する上りリンクパイロットが存在する場合の、単一アンテナ帯域内全二重無線機における非線形デジタル自己干渉除去と上りリンク伝搬路推定を扱う。未知の上りリンク伝搬路を妨害パラメータとして扱い消去することで、パイロット畳み込み部分空間の直交補空間上の簡略化された推定問題を導く。提案する二つの全辞書推定器（BIC調整付きのパイロット射影リッジ推定器と、パイロット射影グループスパースベイズ推定器）は、従来の非射影法や硬選択法より自己干渉除去と上りリンク受信で優れた性能を示す。特に後者は中程度の訓練量で残留自己干渉を雑音床以下に抑えるとされている。
説明向きの多様性が3D MIMOアレイの角度領域ランクを証明可能に高めることの説明
要約本論文は、アンテナ素子の向きが位置と相補的な有効な空間資源であることを理論的に示す。共線または共面のアレイでは、角度領域ランクは散乱方向の投影曖昧性クラスの数で上限が決まる。十分に豊かな解析的パターンを持つ向きの異なる素子を用いると、ほぼすべての向きの組み合わせで最大ランク min(N,L) が回復する。スカラーパターンモデルでは、等方散乱下で向きの広がりに対して単調に増加する相関の閉形式式が示され、厳密なランクと容量の挙動はモンテカルロシミュレーションで裏付けられている。
説明嫉妬のない確率的議席配分
要約米国は人口に比例して下院議席を各州に配分し、多くの議会制民主主義国では得票率に応じて政党に議席を配分します。議会の規模が小さいため議席数は整数に丸める必要があり、既存研究では事前に公平となる無作為な丸め方が多数提案されてきました。しかし得票や人口が多いのに議席が少ない事態が起こりえ、これを一方が他方に嫉妬すると呼びます。本論文は期待される嫉妬の組数を最小化する配分規則を設計し、下限割当を無視する規則は最悪ケースで Θ(n²) の嫉妬が生じることを示し、双対問題の分離を用いる多項式時間の線形計画フレームワークを提案しています。米国の十年ごとの国勢調査の歴史的事例すべてで嫉妬のない配分が存在することも実証的に示されています。
注目点ランダム化議席配分における羨望の最小化という新しい枠組みを示し、厳密な下界と多項式時間LP手法を与え、国勢調査データで検証している。
説明KVCompass：LLM推論でインターネット規模のプレフィックスキャッシュ共有を実現する発見基盤
要約本論文は、LLM推論におけるKVキャッシュの再利用が現状では単一クラスタ内に限られ、地理的に分散したリージョンで同じ接頭辞を何度も再計算して無駄が生じる点を指摘しています。著者らはインターネット規模のKVキャッシュ共有のための発見基盤KVCompassを提案し、エッジでの可変長接頭辞検索により、キャッシュ再利用・負荷・ネットワーク距離のバランスが最もよいワーカーへリクエストを転送します。64ワーカーの地理分散シミュレーションと14ワーカーの三大陸実機テストベッドで、P99 TTFTを1.3〜14倍、P99エンドツーエンド遅延を最大3.7倍低減し、スループットを最大4.7倍に向上させたと報告しています。
説明酵素的標識によって誘導されるパターンを用いたDNA上の情報表現
要約本論文はDNAデータストレージのための形式的枠組みを提案し、既知のDNA分子を鋳型とした標識を文字列上の操作としてモデル化します。設計された一組のラベルが誘導するパターンで情報を表現し、CRISPR-Cas9とgRNA試薬による実装の一例も示しています。定長ラベルを含む一般的な標識チャネルを分析し、符号の最大サイズの上界を与え、特定条件下で最大符号サイズに関して最適であることが証明された符号化器・復号器の対を構成しています。定長ラベルの符号はde Bruijn系列および制約付き符号化と関連しています。
説明チップ・スケールアップ・スケールアウト横断の異種システム設計のためのエージェント型AI
要約本論文はArchAgentを提案します。これはLLMベースのプランナーがシステム設計をチップ、スケールアップ、スケールアウトの各サブ問題に分解し、それぞれ専門エージェントが担当する階層型マルチエージェント枠組みです。性能推定はLLMが生成するのではなく、決定論的な解析モデルで導出されます。1MWの電力予算下のAIとHPCの混合ワークロードで、同種GPU基準に対して加重幾何平均1.93倍の高速化を達成する異種設計を発見し、評価は18回のみで、山登り法は100回の評価で1.65倍でした。
説明定数サイズ証明書による交互局所認証の表現力について
要約本論文は、匿名ネットワークにおいて定数サイズの証明書を用いる分散判定の交互階層を研究している。証明者と反証者が定数ラウンドにわたって交互に各ノードへ証明書を割り当て、各ノードは自身の入力と近傍で観測した証明書をもとに受理するかを決める。SET、MULTISET、PORTSの三モデルの表現力を比較し、SETがMSO₁と一致することなどを示している。一方、PORTSではハミルトン性や完全マッチングの存在をMSO₂で表せない限界があると述べられている。
説明ラウンドロビン方式の純粋ナッシュ均衡の公平性の再検討
要約加法的評価関数の下で、ラウンドロビン方式のすべての純粋ナッシュ均衡が、真の評価に基づいて1財除去後の無羨望（EF1）を満たす配分をもたらすわけではないことを証明した。これは Amanatidis らの先行研究（WINE 2021、Math. Oper. Res. 2024）の主張を訂正するものである。また、固定された再帰的均衡ピッキング系列機構のすべての純粋ナッシュ均衡が、1/2-EF1 および1財除去後の比例性（PROP1）を満たすことを示した。さらに、すべての均衡について 2/3-EF1 より厳密に良い保証は得られないことを示す例を与えている。
説明最大和ランク距離符号の長さについての研究
要約本論文は、有限射影空間における弧の古典理論を最大和ランク距離（MSRD）符号へ拡張し、ブロック構造が符号長をどのように制約するかを調べる。三次元の場合には直線と付随する線形集合の交点パターンを定め、符号の特性や重み分布の公式を与えている。階数が2以上のブロックがあると最大全長が少なくとも q-1 減ること、十分長いMSRD符号は古典的（MDS）符号であることを示す。また三次元一重み MSRD 符号は存在しないことも証明し、F_9 上の例外的な三次元符号を構成している。
説明4つの新しい単一誤り訂正二元符号
要約本論文は、(16, 3072, 3)符号、(17, 6144, 3)符号、(18, 12288, 3)符号、(19, 24576, 3)符号の4つの二元符号を構成している。これにより A(16,3) ≥ 3072、A(17,3) ≥ 6144、A(18,3) ≥ 12288、A(19,3) ≥ 24576 という4つの新しい下界が得られた。各符号は線形符号の剰余類の和集合であり、構成はタブー探索アルゴリズムによる計算機探索の結果である。
説明低高度経済向けの通信・センシング・識別統合に関する総説
要約本論文は、低高度経済（LAE）向けの通信・センシング・識別統合（ISCAI）を総説している。低高度情報ネットワークには、信頼性の高い通信、環境センシング、目標識別が同時に求められることを説明している。通信、センシング、識別の各手法を整理し、システムアーキテクチャ、チャネルモデル、統一信号モデル、性能指標などの基礎を扱う。中心的な提案は、後方散乱通信（BackCom）に基づく識別機構で、後方散乱デバイスを航空機の電子ナンバープレートとして用いる点である。
説明LEO衛星利用IoTネットワークにおける平均ピークAoIの空間分布
要約本論文は、LEO衛星（低軌道衛星）がカバーする大規模で負荷の高いIoTネットワークを対象に、確率幾何学の手法を用いて上りリンクの平均ピークAoI（情報鮮度の指標）の空間分布を導出します。そのために上りリンク条件付きカバレッジ確率のメタ分布を導いています。数値結果から、衛星の数や高度がカバレッジ確率のメタ分布と平均PAoIの空間分布に与える影響が示され、最小の条件付き平均PAoIを得るための衛星ビーム幅の検討にも役立つとしています。
