分散計算、ゲーム理論、情報理論など。
説明オンラインオークションにおける一般化された予言者不等式：予算と多様な目的を持つエージェント
要約本論文はオンラインオークションにおける予言者不等式（prophet inequality）を扱う。従来のモデルは準線形効用を最大化するエージェントを仮定しているが、現実には予算制約があり、目的も異なる場合（自動入札における価値最大化者など）がある。著者らは、エージェントの目的の種類と予算を、評価額分布と同様の確率的入力としてモデル化し、匿名の固定価格メカニズムを分析した。一般化された平衡価格の枠組みを提示し、劣加法的な評価関数を含む主要な設定で定数の競争比を示した。また、競争比とエージェントの価格感度とのトレードオフを明らかにし、予算ありの設定から予算なしの価値最大化者への一般的な帰着も与えている。
注目点予言者不等式を予算制約と混合目標を持つ確率的エージェントへ拡張し、多くの設定で定数競争比と予算なし問題への帰着を示している。
説明試験から本番へ：機関横断の連合学習と科学向けAIの教訓
要約多くの貴重な科学データは、専有、輸出管理、機密、データ主権の制約などのため一箇所に集められません。そこで、モデルをデータのある場所へ移して学習させる連合人工知能（連合AI）が重要になっています。本論文は、米国エネルギー省の国立研究所、産業界の導入事例、オープンソースコミュニティの五つの並行的な取り組みを整理し、連合AIを試験段階から複数拠点の本番運用へ移す際の枠組みを示しています。システム面の教訓、プライバシー・セキュリティ・信頼性の要件、そして非同期連合や漏えい監査などの未解決課題も挙げられています。
説明Darpan：次世代コンピューティングコンティニュアムのためのデジタルツインフレームワーク
要約本論文は、デバイス、エッジ、フォグ、クラウドにまたがるコンピューティングコンティニュアムに向けたデジタルツインフレームワーク「Darpan」を提案しています。物理側では実アプリケーションを実行して実行状態を継続的に観測し、デジタル側ではその観測に基づき実行可能な仮想コピーを更新します。候補となる決定は同じ出発点から独立に評価され、選ばれた決定は実行前に物理側の最新状態で実行可能性を検証されます。実DAGワークロードでの平均絶対誤差は0.485秒、40ノードでのスケールアウト効率は93.1%と報告されています。
説明低空経済におけるミッション効率の最適化：異種無人機群の協調のための適応的電力配分
要約本論文は、低空経済において複数の異種低空航空機が協調して複雑なミッションを遂行する場面を対象としています。センシング、通信、計算、実行といった役割分担によって構成される閉ループを扱い、各機の有効な作業能力を定量化する「作業能力エントロピー（OCE）」を提案しています。OCEと通信路条件を考慮し、ミッション効率の指標として線形二次形式レギュレータ（LQR）のコストを最小化する電力配分問題を定式化しています。この問題は二つの凸部分問題に分解して反復的に解かれ、それぞれに閉形式解が導出されています。シミュレーションの結果、提案手法は従来の手法より優れた性能を示しました。
説明広域ネットワークにおける遅延改善のための適応型ビザンチン定足数システムの検討
要約ビザンチン障害耐性のある状態機械レプリケーションでは、値が確定する前に一部のレプリカ（定足数）が投票を交わす必要があります。広域ネットワークでは定足数の大きさと構成がレプリカの進行速度を左右し、クライアントが感じる遅延に影響します。本論文は BFT-SMaRt を拡張し、多様な定足数構成を同一フレームワーク内で、同じ最適化技術と組み合わせて扱えるモジュール式の定足数システム抽象を導入します。そのうえでネットワークシミュレーションにより、定足数システムの構成の違いが広域ネットワークにおけるクライアント観測遅延に与える影響を調べます。
説明Erlang 損失系統における情報鮮度（AoI）の分布
要約本論文は、バッファのない M/M/c/c（Erlang 損失系）における情報鮮度（AoI）とピーク AoI（PAoI）の厳密な分布を調べる。ポアソン到着の更新は、全サーバが使用中のとき、到着を棄却する・同一ソースの更新をランダムに先取りする・最も古い更新を先取りする、という三つの方針で扱われる。著者らは吸収マルコフ連鎖法により行列指数形式の厳密な分布を導き、複数ソースがサーバを共有する場合にも拡張できることを示している。
説明Kirin：クラウドネイティブ向け WebAssembly サービスオーケストレーター
要約本論文は、クラウドネイティブな WebAssembly サービスのためのオーケストレーター Kirin を提案している。リソーススケジューリング、ライフサイクル管理、スケーリング、リクエストルーティングなどの中核機能を備える。コンテナベースの展開と比較評価を行い、サービスのライフサイクル管理で良好な結果を示した一方、CPU 負荷の高いワークロードには既知の制約があることも確認した。典型的なサービスワークロードでは競争力のある性能を示している。
説明線形計画双対性による予算制約付きオークションの厳密な流動性厚生保証
要約本論文は、予算制約のある入札者を含むオークションの効率性を研究し、粗相関均衡（CCE）に対する厳密な無政府価格（PoA）の上界を導出します。PoA保証の証明を線形計画の双対問題の実行可能解を見つける問題に帰着させる一般的な枠組みを提示し、予算制約環境に適した新しい平滑性の概念を導入しています。この枠組みにより、複数の拍卖形式について流動性厚生の厳密な保証を得ており、予算制約のない統一価格オークションと一般化第二価格オークションについても新たな下界を示しています。
注目点LP双対に基づく一般的枠組みと新しい平滑性概念を提案し、多様な競売形式で既知上界に一致する緊密なPoA境界を示す。
説明版数情報年齢に基づく意味的秘匿領域の解析：無線ステータス更新システムで、情報の新鮮さと盗聴防止のバランスを意味レベルで評価する研究です。
要約本論文は無線ステータス更新システムにおける意味的秘匿性を扱い、版数情報年齢（VAoI）を用いて更新情報の価値を評価します。3ノードの盗聴通信路モデルで、情報更新と秘匿性のトレードオフを表現しています。著者らは意味的秘匿領域（SSR）の概念を導入して幾何学的に解析し、二次元マルコフ連鎖により宛先の平均VAoIと盗聴者に意味的非対称性が生じる確率の閉形式を導出しています。レイリーフェージング通信路では最適なSSR境界と電力配分を示し、固定電力の方式と比べて最適化された電力配分が秘匿領域を大きく広げることを数値結果で確認しています。
説明複数事業者のISAC環境におけるUAV追跡のための運動不確実性の連合キャリブレーション
要約本論文は、複数事業者の統合センシング・通信（ISAC）システムにおけるUAV（無人航空機）追跡を扱います。各事業者の生のセンシングデータ、チャネル情報、送信決定はローカルに保持されます。低速時間スケールで、ローカルのレーダーイノベーションを用いて未モデル化のUAV運動に対する不確実性を校正し、在線段階では共分散交差（CI）により局所推定を融合して予測ビームフォーミングに利用します。シミュレーションでは、運動モデルの不一致が大きい場合に追跡不確実性の整合性が向上し、通信のみを考慮した送信設計と比べてRMSEが約31%低減、追加電力は2%未満でした。
説明センチピード・ゲームにおいて公正な結果の見込みが向社会的行動を引き起こす
要約本研究は、逐次的な資源交換を表す増分型センチピード・ゲーム（ICG）を用いた行動実験により、人々の意思決定を検討しています。最後の段階で期限切れで利得がない「zero-end」条件と、最後に公正な分配が得られる「fair-end」条件を比較しています。公正な結果は不確実であっても参加者が自己利益を超えて行動することを促し、進化モデルでは、十分に向社会的で確率的戦略を用いるプレイヤーの場合に、公正な分配が相互利益的な戦略への移行をもたらすことが示されています。
説明FissionReady：小型モジュール炉で稼働するデータセンターの負荷と電力の統合スケジューリング
要約本論文は、小型モジュール炉（SMR）で電力を供給するデータセンター向けスケジューラ「FissionReady」を提案する。各モジュールの燃料経過期間、キセノン状態、残りの柔軟性を追跡して運転範囲を決め、二つの時間スケールの最適化により、負荷追従、バッチ処理の延期、系統からの電力購入を調整する。同規模の基準構成と比べ、非自発的停止と締切超過のバッチ処理がゼロで、用水量は約3分の1、系統電力コストは約半分になったと報告している。
説明笛卡ル積による動的システムの符号化計算
要約符号化分散計算は符号化マルチキャストによりShuffle通信のボトルネックを緩和しますが、ワーカー数が固定された既存方式は、ワーカーの参加や切断にそのまま対応できません。本研究では、生き残ったワーカーのキャッシュとReduce割り当てを維持し、参加したクラスタのストレージを活用する動的符号化分散計算方式を提案します。ファイル配置には、クラスタごとの配置交付配列（PDA）のデカルト積を用います。貪欲アルゴリズムが放棄されたReduce関数を再割り当てし、通信配列によりReduce関数を持たないワーカーも符号化送信者として働けます。任意の実行可能な切断に対する正確な通信負荷も導出されています。一回通信と非符号化配置の仮定の下、切断がない場合、新規クラスタ到着時は下界の2倍以内、それ以外は4倍以内であることが示されています。
説明通信効率の良い (1+ε)Δ 辺彩色と Lovász 局所補題
要約本論文は、二者辺分割モデルにおける辺彩色を扱う。AliceとBobはそれぞれ辺集合の一部を持ち、少ない通信量で正則な彩色を共同で作る必要がある。著者らは、公開コインのLas Vegasプロトコルにより、十分大きなΔに対して期待 O(ne^{-γΔ}+1) ビットと期待 O(log n/Δ+1) ラウンドで (1+ε)Δ 辺彩色を得る。さらに二者向けの構成的Lovász局所補題を示し、他の古典的問題にも応用している。
注目点新しいランダム彩色手法と二者向け構成的LLLを提案し、色数を(1+ε)Δに削減しつつ通信量を大幅に減らす。理論的完成度は高く、分野の一部に有用。
説明可用性付き局所回復可能符号の多視点ブロック距離分布と線形計画限界
要約可用性が任意の固定値 a である局所回復可能符号について、多視点線形計画の枠組みを提案している。各ブロック上のハミング距離を記録して結合分布を作り、計数恒等式、積クラヴチュク正値性、衝突不等式などの制約を課すことで、多項式サイズの緩和が得られる。a=2 の四ブロック場合について詳しく解析し、厳密な有理数の原始・双対証明書によって M_max(2,8,4,2,2,2)=8、M_max(3,7,3,2,2,2)=27、M_max(4,7,3,2,2,2)=64 を示し、四ブロック限界が両方の粗い模型より厳しいことを示している。
説明任意の選好を持つ橋の立地に関するメカニズム設計
要約本論文は、2つの分離された地域にそれぞれ事前配置された施設があり、各エージェントが関心を持つ施設の非空部分集合を選ぶ橋の立地問題を研究する。個人のコストは最大・和・最小の3種類の定義で測られる。設計者は真実の申告を引き出す決定的な戦略耐性メカニズムを設計し、社会的コストまたは最大コストを近似的に最小化する。最適メカニズム、近似比、下界が示されている。
説明Vosti：決定論的LLM推論の仕様定義・実装・形式検証
要約本論文は「決定論的LLM推論」を形式的に定義します。モデルと配置設定が固定されていれば、同じプロンプトと初期サンプラー状態のリクエストは、実行方法が異なっても対応する出力位置で同一ビットのlogitsを生成します。著者らは、vLLMのバッチ不変モードとSGLangの決定論的モードが一部の実行変更下で異なるlogitsを生むことを確認しました。これに対し、この仕様に基づいて設計・検証された推論エンジンVostiを提案し、スケジューリングとKVキャッシュの保持をVerusで、カーネル出力の一致をTritonアナライザで証明しています。
注目点決定的LLM推論の形式仕様を定め、Verusの帰納的証明とTritonアナライザで段階的に検証し、既存の経験的保証を超える。
説明完全二部グラフの情報距離埋め込み、格子の非埋め込み性、および情報距離の非ユークリッド的べき乗
要約本論文は、有限完全二部グラフの各頂点を各スケールで二進文字列に符号化し、文字列間の情報距離がスケールに依らない定数誤差で、スケール化されたグラフ距離を近似することを示す。また各頂点に固定の無限二進数列を割り当てる。これによりHutterによる有限完全二部グラフのスケール埋め込みに関する未解決問題を解決し、情報距離の正のべき乗は実ヒルベルト空間の距離で厳密に表現できないことを示す。さらに整数格子の埋め込みが不可能であることを示し、(R^m, ||·||_1)についても同じ結論を得る。
注目点Hutterが提起した完全二部グラフの埋め込みと格子非埋め込みの未解決問題を解決し、情報距離の冪が非ユークリッド的であることを厳密に示した。
説明ブロック消失通路上のガウス源の結合信源通路符号化：非漸近限界と通路一様な正規近似
要約本論文は、無記憶（非定常の可能性もある）ブロック消失通路上で、有限ブロック長におけるガウス無記憶信源の有損伝送を、超過平均二乗歪み基準のもとで検討する。計算可能な非漸近の達成可能限界と逆限界を導き、三次で一致する通路一様な正規近似を確立している。数値評価では、非漸近の結合符号化限界とその共通の三次近似を、最適化された対称化の分離符号化達成可能ベンチマークと比較している。
説明エージェント向け高効率HPCシステムに向けて：課題と機会
要約本論文は、コーディングエージェントがHPCシステムの実利用者となっている一方、既存のHPCの抽象化・インターフェース・ポリシーが人間主導のワークフロー向けに設計されたままである点に着目する。原文の計測によれば、コーディングエージェントを利用するユーザーは観測母集団の19.5%だが、ジョブ投入の55.8%、CPUコア時間の29.1%、GPU時間の42.7%を占める。著者らは施設がエージェントを第一級の主体として扱う協調設計を提唱し、計算、ストレージ、エージェントメモリ、安全性における課題と機会を示している。
説明LLM推論の共有KVキャッシュにおける出所情報の保持：誤った再利用の防止
要約論文は、LLMサービングにおいて、ローカルのプレフィックスキャッシュはアダプタや重み設定などの出所情報で要求を区別する一方、共有KVキャッシュ層はトークン内容と粗いモデルメタデータだけでキーを付けるため、異なる計算文脈の同一トークンが誤って再利用されうることを示します。vLLMとSGLangの複数バージョン、複数モデルでの実験により、アダプタ間の衝突で正解率が0.94から0.64に低下することが確認されました。著者は、来源情報を正規化された記述子でルックアップと格納のキーに結び付ける「KV出所契約」を提案し、3つのキャッシュ経路で実装しました。これにより安全でない再利用は排除され、正当な共有は維持され、ヒット時の遅延変化は0.34ミリ秒以内に収まりました。
注目点共有KVキャッシュにおける出所情報の欠落を初めて体系的に調査し、複数エンジンとモデルでの実験により問題を裏付け、実運用システムへの影響が大きい。
説明自動入札下における一般化比例一価オークションの効率性
要約オンライン広告で広く使われる自動入札（投資収益率の制約の下で総価値の最大化を目指す広告主の設定）を前提に、比例一価オークションの効率損失（無政府性価格，PoA）を分析した論文です。2人の入札者では標準的な比例一価オークション（r=1）のPoAが1.5以下で、この上界は厳密であると示されています。n人の入札者ではr=2nとすると2-1/(4n+1)が達成され、確定的な機構の下限2を破ることが示されています。
注目点二入札者の比例一価オークションでPoA1.5の厳密な上界と下界を示し、任意nで障壁2を破る点が理論的に大きい。
説明社会5.0の多アプリケーション向けFL-as-a-Serviceにおける効率的なクライアント選択
要約本論文は、IoTにおける連合学習サービス（FLaaS、FL-as-a-Service）を扱い、生データを共有せずに複数のアプリケーションで協調学習を行う仕組みを検討しています。遅延、消費電力、リンク状態などの指標に基づき、モデル学習に適したクライアントノードを選ぶ手法を提案しています。人間行動認識データセットとシミュレートされたIoTネットワーク環境で、ランダム選択およびQ学習ベースの選択手法と比較し、遅延とエネルギー効率の改善が報告されています。
説明価格予測を用いたオークション：予測を活用して収益を最大化する単一商品の競売設計
要約本論文は、無制限供給の単一商品を売る際に、収益を最大化する一様価格の予測値one つだけを与えられた場合のオークション設計を扱います。従来研究の多くが各入札者の評価額の予測を仮定していたのとは異なります。著者らは、あらゆる普遍的真実性を持つオークションで達成可能な一貫性と頑健性のパレートフロンティアを特徴付け、予測価格の提示と事前分布を用いない後備オークションの間でランダムに選択する仕組みがパレート最適であることを示します。さらに、予測精度に応じて収益が緩やかに低下する拡張や、履歴市場データから学習理論の観点で予測を得る方法も検討しています。
注目点単一の収益最大化価格予測のみを用いるオークション設計を提案し、一貫性と頑健性のパレート境界を特徴づけ、履歴データから予測を学習する理論枠組みを示す。
説明スケール不変な後悔マッチングの最終反復が線形に収束する理由は？
要約本論文はIREG-PRM+アルゴリズムを扱います。累積後悔ベクトルを自身のノルムで正規化し、利得の尺度を知らなくても最適な後悔を達成します。ゼロ和行列ゲームでは最終反復が線形に収束しますが、その理由は説明されていませんでした。著者らは、後悔ノルムが有限の極限に上昇してステップサイズが固定される「ノルム飽和」がその仕組みだと示し、すべての行列ゲームで最終反復のナッシュギャップが0に向かうことを証明します。唯一の厳密相補的均衡の近傍では、閉形式の線形収束率を与え、観測可能なノルム増分比による証明書も提案しています。
注目点パラメータ不要の正規化リグレットマッチングが線形収束する理由を、ノルム飽和機構として初めて説明し、陽的な界と閉形式の速度を与えており、分野への影響は大きい。
説明情報恒等式が明らかにする逸脱事象の幾何構造
要約本論文は、n 個の独立標本の経験分布がある分布集合に入る逸脱事象の確率の指数を扱う。この指数は、任意の n で非負の二項に分解される。一つは速度項で、事象下の典型的標本の分布と母集団との相対エントロピーの n 倍である。もう一つは条件付けによって標本間に生じる依存性で、全相関によって測られる。両項の相対的な大きさは集合の幾何に依存し、本論文はこの分解と両項の相互作用が示す幾何構造を検討する。
注目点大偏差の指数を速度項と全相関の精密な分解として示し、集合の幾何との関係を明らかにしている。理論的に新しく証明も厳密だが、適用範囲は理論寄り。
説明200Gbps C帯直接検出PONのための受信機情報活用型送信機（FFE不要ONU対応）
要約本論文は、200 Gb/s PAM-4 C帯直接検出受動光ネットワーク（PON）向けの受信機情報活用型送信機（RITX）波形設計を提案し、数値シミュレーションで実証した。50 GHz光電子デバイスを用い、RITXはFFE不要のONUでN1/E1損失クラスを達成し、40 kmの伝送距離を可能にする。分岐比1:64および1:128では、ネットワーク全体の複雑度がそれぞれ48.1%および66.7%削減される。
説明クラウド計算における多資源公平配分での耐戦略性の代償（耐戦略性を満たす公平な資源配分にはどれだけ効率を犠牲にするかを論じた論文）
要約本論文はクラウド計算を動機として、レオンチェフ効用を持つ複数の分割可能資源の公平かつ耐戦略性（strategy-proof）な配分を研究している。近年提案された公平比（fair-ratio）ベンチマークを用い、2資源の場合には共有インセンティブ、無羨望、耐戦略性、パレート最適性を満たすCRB機制を提案し、公平比が高々1+1/nであることを示している。またm≥3の場合、共有インセンティブと耐戦略性を満たす決定的機制の公平比は正確にmになるとしている。
注目点適応速度公平フレームワークと修正資源バランス機構を提案し、二資源の公平比を1.268から1+Θ(1/n)へ改善、厳密な下界も示す。
説明単純な機構の力：マッチング市場における取引利益の緊密な e 近似
要約本論文は、買い手の価値と売り手のコストが独立な双方向マッチング市場で、単純な機構が取引利益（GFT）をどれだけよく近似できるかを研究している。広義ランダム提示者機構（GRO、GSOMとGBOMの等確率混合）について、最適な取引利益に対する厳密な最悪ケース近似比が e であることを示し、従来の 3.15 を改善した。さらに、正則な分布、互いに素な取引辺、単一のナップサック制約を持つ市場を構成し、この上界が緊密であることを示している。
注目点マッチング市場でGROの最悪ケース近似比eを厳密に与え紧密性も示し、従来の3.15を改善した。理論的に大きな前進である。
説明GPUサーバートポロジー・並列化方式・輻輳制御がMoE推論に与える共同影響：制御されたシミュレーション研究
要約本論文はASTRA-simとNS-3離散事件バックエンドを用い、32 GPUランクの制御されたシミュレーションでMoEモデル推論の通信と完了時間を比較しています。6種のサーバートポロジー、4種のTP/EP分割、2種のTP集合通信アルゴリズム、4種のネットワーク・輻輳制御モードを対象に、768件の決定的シミュレーションを行っています。露出した通信は平均完了時間の89.9%から95.8%を占め、トポロジー、並列化方式、集合通信の実装、輻輳制御が共同で通信量と完了時間を決定することが示されています。
説明新しい情報に基づくイノベーション・サンプリング：情報の方向とタイミングで伝える手法
要約本論文は連続確率過程のイノベーション・サンプリングを提案し、過程が既存のすべてのサンプルに対して「十分に新しい」情報を示したときのみサンプルを生成する方式を示す。ウィーナー過程について、イノベーションの方向・タイミング・頻度を特徴づけ、イノベーションは次第にまばらになり、サンプリングレートは漸近的にゼロへ向かうことを示す。さらに、まばらに受信されるイノベーションに基づく遠隔推定を検討し、イノベーションが無いこと自体が情報を持つこと、従来の零次ホールド推定器に比べ平均二乗誤差を大きく削減できることを示す。
