分散計算、ゲーム理論、情報理論など。
説明クラウド炭素会計で、ボトムアップ指標とトップダウン報告を照合する研究
要約この論文は、クラウド上のアプリケーションの炭素排出量を測る二つの方法が現状では切り離されていると指摘します。ソフトウェア炭素強度（SCI）などのボトムアップ指標は最適化に役立ちますが、利用者はプロバイダー側の多くの負担を把握できません。一方、プロバイダーのトップダウン報告は包括的ですが粗く、方法も不透明です。著者は、残差を介してワークロードごとの推定値を公式報告に合わせる「調整版SCI（rSCI）」を提案し、アイドル容量や埋め込み炭素の配分にも触れています。ただし、現在の報告はまだ照合に十分な粒度と一貫性を欠くとしています。
説明マルチユニキャスト予想は誤り：無向ネットワークで符号化が多品種フローに勝つことを示す
要約本論文は、無向マルチユニキャストネットワークにおいて、ネットワーク符号化は多品種フローに対してスループットの利点をもたらさないとする予想を反証しています。PG(2,9) の点線接続グラフの 182 頂点二部部分グラフ上に、F_9 上の決定的線形ネットワーク符号を構成し、157 個の独立したユニキャストセッションを共通符号化率 1 以上で支えています。一方、分数多品種フローの共通レートは最大 147/157 です。
注目点有限体上の線形ネットワーク符号で無向多重ユニキャスト予想を反証し、符号化利得を示す。証拠は十分だが規模は限定的。
説明変分ベイズ推論に基づく、妨害パラメータを考慮した段階的マルチターゲットMIMOセンシング
要約本論文は、複数段階にわたる複数ターゲットの逐次的なベイズMIMOセンシングの枠組みを提案します。ターゲットの角度は推定対象のランダムパラメータ、反射係数は未知の妨害パラメータとして扱われます。各段階では前段の事後確率密度関数を事前分布として用い、ベイズ送信ビームフォーミングにより角度推定の総事後クラメール・ラオ限界を最小化します。変分ベイズ推論により、ターゲット数に対して多項式の計算量で閉形式の代理事後分布を導出し、指数的計算量の従来手法と比べて効率的であることを示しました。数値結果から、段階的に感知性能が向上することが確認されています。
説明二重量子化を伴う大規模MIMO-OFDMシステムのスペクトル効率解析
要約本論文は、アップリンクにおいてADC量子化とフロントホール量子化が同時に存在する場合の達成可能なスペクトル効率を検討している。二重量子化された파イロット観測から線形最小平均二乗誤差チャネル推定器を導出し、use-and-then-forget境界を用いて達成可能なスペクトル効率を求めている。数値結果では、両量子化の分解能が同程度の影響を持ち、分解能が異なる場合は低い方が制限要因となることが示されている。また、6ビットの量子化で理想的な場合の90%以上のスペクトル効率が得られるとしている。
説明複合DNAにおける確率的GC含有量制約
要約本論文は、複合DNAベースのデータストレージにおいて、生化学的なGC含有量の制約をどのように符号化するかを扱います。従来の決定論的モデルは、鎖が許容範囲外に出る可能性を排除するため、レートの低下が大きいとされていました。著者らは複合DNAの確率的性質を考慮するためにε確率的制約の枠組みを導入し、組成型を用いた全体制約と、有限状態マルコフ連鎖を用いた局所スライディングウィンドウ制約について容量の上下限を導出しています。さらに、容量を達成できる多種類列挙符号化器を提案しています。
説明分数遅延・ドップラーを扱うAFDMシステムのモデル次数適応型チャネル推定
要約本論文は、仿射周波数分割多重（AFDM）システムのチャネル推定を扱う。分数遅延や分数ドップラー、未知の伝搬路数を持つチャネルを対象とし、改良SAGE枠組みの中でモデル次数を適応的に推定する手法を提案している。残差検定による新規経路の検出と、冗長経路の除去を行い、精密な尤度で各経路のパラメータを洗練する。シミュレーションでは、SAGE、スパース回復、ベイズ法などの基準手法より低いNMSEとBERを示し、最大600 km/hの端末速度でも安定した性能を維持するとされている。
説明HPC-MQBench：Slurm上で適格性を優先するKafka単一ブローカー評価フレームワーク
要約本論文は、Slurmで実験を制御し、レコード検査と配信の会計処理による適格性確認を速度ランキングより先に行うベンチマーク HPC-MQBench を提案します。4ノード構成でブローカーを1台としたKafka評価では、120の負荷設定から99件の適格な観測が得られました。最終段階で選ばれた負荷は5回すべてで適格となり、中央値などの指標が示されています。貢献はブローカー数を固定した場合の監査可能な構成選択であり、複数ブローカーや拡張実験は今後の課題です。
説明Kokkos を用いた、多様なハードウェアで移植可能な SU(N) 格子ゲージ理論シミュレーション
要約本論文は、任意の時空次元における SU(N) ヤン＝ミルズ理論の Wilson 純ゲージ モンテカルロ シミュレーションを行う、Kokkos ベースの性能移植可能な実装 kwqft を紹介する。単一のソースコードで Serial、OpenMP、CUDA、HIP、SYCL の各実行空間を対象とし、MPI のハロー交換を内部計算と重ねて実行する。結果は既存の数値と一致し（ゲージ群は SU(17) まで）、NVIDIA A100 では Kokkos の CUDA バックエンドがネイティブ CUDA コードと同等の性能を示した。また、LineShine スーパーコンピュータ上で SU(4) 格子の大規模な高速化も報告されている。
説明AeroEval：AI生成ドローン任務を段階的にプログラムと実行の両面から検証する仕組み
要約本論文は、大規模言語モデルが自然言語の任務記述から生成したドローンプログラムを検証する、エージェント支援型ミドルウェアAeroEvalを提案する。まず構文、プラットフォームAPIの利用、任務意図を確認し、次に実行軌跡と環境情報に基づいて実際の挙動を評価する。各段階の構造化された失敗情報を再生成に用いる。AirSimとGazeboでの実験では、航法任務の成功率が55%から95%に向上したと報告されている。
説明可変方位喪失下のランデブー：固定単位距離のアルゴリズム的能力
要約本論文は、弱い幾何学的・同期的仮定の下で、ライト付き2台のロボットによる決定的ランデブー問題を研究する。可変方位喪失（VD）モデルでは各ロボットが毎回の観測で局所座標系を任意に回転・反射・拡大縮小でき、さらに固定単位距離（FUD）を加えると局所単位距離は変わらない。著者らは不可能性の結果と色数の厳密な境界を示し、物理距離の乗法的変化を予測可能な周期的位相のずれに変換する周期的距離クラスを用いたアルゴリズムを提案する。固定された局所計量が持続的な循環メモリとして機能し、計量の安定性、片側可視性、スケジューラの原子性が会合の可解性と色の複雑さを共に決定することを明らかにしている。
注目点周期的距離クラスで計量変化を循環位相に変え、全非同期で色数を12から6へ削減し、理論的進展が大きい。
説明分散型状態ベクトルシミュレーションのための通信考慮型量子ビット配置と自動ノード数割り当て
要約本論文は、分散量子回路シミュレーションにおいて量子ビットの配置が不適切だとノード間通信が過剰になる問題を取り上げ、ノード間のデータ交換を最小化しつつ計算資源の数を動的に選ぶ通信考慮型のレイアウト最適化フレームワークを提案する。このアプローチはQuCSLOライブラリに統合され、動的なノード拡張、OpenQASMの解析、QuESTシミュレータとの連携に対応している。合成ベンチマークと実際のQASMBench回路での評価では、最適化されたレイアウトが通信切断を大幅に減らし、特に高度に量子もつれした回路では恒等レイアウトと比べて2倍超の実行速度向上が得られたと報告されている。
説明ハイブリッド XPU 計算を用いた高速かつメモリ効率の良いオフロード学習フレームワーク
要約深層学習モデルが大きくなるにつれ、学習時に GPU メモリが不足しやすくなっています。ZeRO-Offload はオプティマイザ状態を CPU メモリに移して更新を行いますが、GPU 利用率の低さや通信と計算の重なりの不十分さなどの課題があります。本論文は、GPU から CPU メモリ上のデータを直接計算できる Direct Host Access（DHA）を使うハイブリッド方式の MemFerry を提案し、スケジューラと影モデルで GPU と CPU に分かれたパラメータを管理します。単一 GPU では ZeRO-Offload に比べ学習速度が最大 1.68 倍、学習可能なモデルが最大 1.52 倍大きくなると報告されています。
説明マイナー排除グラフクラスにおける支配集合の、ほぼ最適な定数ラウンド近似
要約本論文は、固定された真のマイナー閉じクラスについて、各グラフに対して分数支配数γ_f(G)の(2a(C)+1+ε)倍以下の大きさの支配集合を返す決定的LOCALアルゴリズムを示します。平面グラフでは(7+ε)γ_f(G)の保証が得られ、Hilke、Lenzen、Suomelaの下界と合わせて、平面グラフの決定的な定数ラウンド近似比の下限が7であることを確定させています。さらに、rべき路グラフ上では、任意の決定的定数ラウンドLOCALアルゴリズムの近似比は2r+1を下回れないことも証明しています。
注目点平面グラフ上の決定的定数ラウンド支配集合近似比の未解決問題を解決し、上界と下界を厳密に一致させる完全な証明を与えている。
説明個人支払いによる嫉妬なし配分
要約分割不可能な財の嫉妬なし配分が存在しない場合、金銭の移転によって嫉妬なし性を回復できます。本論文は外部からの補助金ではなく、各エージェントの個人予算に制約された、エージェント間の金銭移転のみを認めます。与えられた配分が個人予算内の支払いで嫉妬なしにできるかの判定は多項式時間で可能ですが、そのような配分をゼロから計算する問題はNP困難であることを示します。さらにパラメータ化計算複雑性の解析を行い、いくつかの特殊ケースで効率的なアルゴリズムを提示しています。
説明反対称ブール関数に対する Hellinger 予想
要約本論文は、二元対称ノイズのもとでブール決定が誘導する二つの出力分布の重なりを調べています。すべての入力符号を反転させると値も反転する反対称決定の中で、単一の入力座標がこの重なりを最小にすることを、全ノイズ区間にわたって証明しています。証明には平方根チャネル密度の Gram 行列の交差クラスブロックに対する正規化核ノルムを用い、結果を任意の独立二値入力チャネルへ拡張しています。
注目点平衡Hellinger予想を対蹠的ブール判定に対して証明し、単一座標が重なりを最小化することを示し、独立二元入力チャネルへ拡張している。
説明二部グラフ上の二次正則化最適輸送を解くための分散加速前処理ADMM
要約最適輸送は機械学習や経営などで広く使われますが、古典的モデルはグラフ構造の接続や質量の不均衡を伴う配分問題には直接適しません。本論文は、各ノードがグラフの隣接ノードとのみ通信する完全分散アルゴリズムDAP-ADMMを提案します。局所ペナルティ係数を固定した場合の大域収束と、非エルゴード的なO(1/k)の収束境界を示しています。また、ソルバーを使わない区間制約射影の計算法と、大域的な集約なしでペナルティを自己適応的に更新する仕組みも提案され、数値実験で標準的な分散ADMMより高速であることが確認されています。
説明シンボルペア読み出しチャネルのための関数訂正リー距離符号
要約本論文は、メッセージの指定された関数値を誤りから保護しつつ、信頼性のある通信に必要な冗長度を抑える関数訂正符号（FCSPLC）を、シンボルペア読み出しチャネル向けに研究しています。シンボルペアのリー距離をZ_qに一般化し、2^m元の位相偏移変調を対象としています。最適冗長度に関するPlotkin型およびGilbert–Varshamov型の上界・下界を導き、一部の関数クラスについて構成と下界を示しています。
説明歪みと秘匿性を含む二次の像サイズ特性化：情報理論の結果
要約本論文は、符号化制約と情報源セルおよびその出力像の確率の関係を研究し、単一出力の事後特性化を、複数出力の事後および条件付き合成の像界へ拡張する。さらに、実際の歪みに関する標識と、秘匿性のための事後質量制約を導入する。多元情報源の補助交叉、有損失再構成と複数の有情報無損失再構成、ガウス型の共通・私的記述、所与の条件型からのプライバシー増幅について二次の領域を与え、一般の場合には明示的な速度上界を示す。
説明バランキン限界最小化によるリドベルグ量子アレイの物理考慮型電力最適化（論文）
要約本論文は、テラヘルツビーム整列における到来方向推定のため、確率的バランキン限界の最小化に基づくリドベルグ量子一様線形アレイの電力最適化枠組みを提案するものです。低SNR条件下で閉形式のバランキン限界行列を導出し、電磁誘起透明化読み出しモデルを通じて光子ショットノイズなどの物理効果を考慮しています。シミュレーションでは、本枠組みがクラメル・ラオ限界より閾値破綻を正確に予測し、激しいテラヘルツ減衰下で信頼できる動作領域を拡大することが示されています。
説明無向マルチユニキャストネットワークでは、ネットワーク符号化がルーティングを上回りうることの証明（ネットワーク符号化は、ノードがメッセージを単に転送するのではなく組み合わせる技術）
要約本論文は、無向ネットワークにおいてネットワーク符号化が分数ルーティングより優れる場合があることを示し、2004年にLiとLiが提唱した予想を反証しています。有限の無向ネットワークを構成し、そこで二元線形ブロック符号が最大分数ルーティング速度を厳密に上回る共通速度を達成することを示しています。さらに符号化の速度が1に近づき、ルーティングの速度が有界となるネットワークの無限族も示しており、主要な定理はLeanで形式化されています。
注目点2004年のLiとLiの予想を反証し、有限反例と無限族を構成、定理はLeanで形式化されており、新規性と証拠は極めて高い。
説明vLLM-Omni技術報告：全モダリティ生成のための統一サービングランタイム
要約インテリジェントシステムは音声、画像、動画、ロボット動作など複数のモダリティを扱うようになり、単一アーキテクチャ向けの推論基盤では不十分になっています。本論文はvLLM-Omniを提案します。これは単一のオーケストレータで各処理をマルチステージのパイプラインとして管理する統一ランタイムで、専用エンジン、ステージレプリカ、データ転送用コネクタ、セッション制御によりストリーミング出力、長時間の双方向対話、世界モデルやロボットの処理を支えます。アーキテクチャとOpenAI互換およびOpenPIのAPIを説明し、H100上のマルチモーダル夜間CIでQwen3-Omniを中心に評価しています。
説明社区数が対数的に増える場合のSDPの緊密性と誤差指数
要約本論文は、コミュニティ数が対数的に増加する場合のコミュニティ復元のための半正定値計画法（SDP）緩和を研究している。平衡型確率ブロックモデルにおいて、臨界ケースを除く緊密性の漸近的境界を示す。希少な頂点により緊密性が成り立たない場合でも、すべての近似最適解について正規化行列誤差は0に収束する。また、この誤差と正規化最適目的値の増分に対する高確率の誤差指数を示す。スペクトル的に安定な領域では、SDPを一度解き、明示的な丸めと精緻化を行うことで厳密なコミュニティ復元が達成される。
注目点対数的に多数のコミュニティを持つ確率的ブロックモデルで、SDP緩和の厳密な漸近的タイトネス境界と整合する誤差指数を与え、理論的前進が明確である。
説明分散型マルチエージェント強化学習による重要任務向けスペクトラム共有
要約本論文は、混雑するスペクトラムと重要任務用途の増加を背景に、二次利用者が共有周波数帯で動的にアクセス戦略を学習する分散型マルチエージェント強化学習（MARL）モデルを提案している。エージェントの学習器はマルコフポテンシャルゲームの枠組みで設計され、資源の限られたエッジ機器向けの軽量な線形アクター・クリティック学習器が用いられている。ランダム方式および予測型ヒューリスティック基準と比べ、スループットを保ちつつ衝突を大幅に減らし、全体の衝突は最大96.8%削減された。
説明全二重大規模MIMO統合センシング・通信・計算ネットワークの性能解析とセンシング考慮型リソース割当
要約本論文は、全二重大規模MIMO統合センシング・通信・計算（ISCC）ネットワークを研究している。ユーザーは一部のタスクをエッジサーバーへオフロードし、アクセスポイントは目標を同時にレーダー探査する。ゼロフォーシング上りリンク受信について速度の下界と目標角度のクラメール・ラオ下界（CRLB）を導出し、オフロード比率、ユーザーおよびレーダーの送信電力、エッジ計算資源を結合最適化して平均エンドツーエンド遅延を最小化する。非凸問題は逐次凸近似アルゴリズムで解かれる。シミュレーションでは、-40 dBのCRLB閾値で等電力方式に比べレーダー送信電力が約86%削減され、固定割当や半二重方式より遅延も小さいことが示された。
説明科学計算で数値精度を必要な分だけに抑え、計算コストを削減する方法を論じた論文です。
要約論文は、ハードウェアがAI向けの低精度形式へ向かう中で、偏微分方程式による離散化誤差がFP64の下位ビットを覆い隠し、高精度が不要になり得ると指摘しています。著者らは、空間および時間の細分化に対する信号対雑音比（SNR）に基づく判定基準を提案し、複雑な科学応用における混合精度サブグラフを対象とした自動化ワークフローを示しています。気象・気候アプリケーションの大規模評価では、GPU上で戦略的に精度を下げることで最大1.8倍の高速化が得られ、物理的な忠実性は損なわれなかったと報告されています。
説明オンライン劣加法的組合せ割当てのための効率的アルゴリズム
要約本論文は、品目が分割不可能で買い手の評価関数が劣加法的な、オンライン組合せ割当て問題を扱う。Correa と Cristi は存在証明としての6競合比のオンラインアルゴリズムを示していたが、効率的に実現できるかは未解決だった。本論文は期待多項式時間で動作する(6+ε)競合のオンラインアルゴリズムを与え、オフラインでは Feige の(2+ε)近似を再現する。買い手の評価が同一分布の場合は(60/11+ε)競合の改良版も得ている。
注目点存在性のみ知られていた6競合比を多項式時間で実現し、未解決問題に答える。効率的な再帰的バンドルスコア生成器を提示し、証明は完全である。
説明関数訂正符号における最適な符号化と系統性
要約本論文は、t 個の誤りのもとでメッセージの関数値を守る関数訂正符号（FCC）を扱います。非系統的な符号化は、系統的な符号化よりも少ない冗長性で済むことを示しています。線形関数と固定線形符号については、最適な生成行列を構成するアルゴリズムと、その最適値の決定法を与えています。二値関数については、線形性と系統性を仮定せず、非系統的 FCC が存在する条件と、冗長性 1 で十分となる場合を示しています。
注目点非系統的符号化により冗長性を2tから1に下げられることを示し、線形の最適生成行列アルゴリズムと二値関数の完全な特徴付けを与える。理論的貢献が大きく、符号理論の一分野に影響する。
説明大きなプレイヤークラスと近似的重み付き投票：各クラスが十分大きいとき、単純ゲームは重み付き多数決に近づくことを示す論文
要約本論文は単純ゲームにおける重み付き多数決表現の問題を扱う。連合の選好が完備であっても重み付き多数決表現が存在するとは限らないことが知られているが、著者らは近似的な意味で重み付き性が成り立つことを示す。同等に望ましいプレイヤーのクラスがいずれも漸近的に大きく、クラス数が有界であるとき、近似誤差の上界は最小クラス規模の逆数のオーダーとなり、その上界は鋭いとされる。
説明GoDDaR：Go コードのデッドロックを自動検出・修正
要約Go 言語の goroutine はデッドロックを起こしやすく、ランタイムはすべてのスレッドが停止した全体的なデッドロックしか検出できません。本論文は、一部の goroutine だけが永久に待機する部分的デッドロックも含めて検出し、修正案を差分として提示する GoDDaR を提案します。Go ソースをメッセージ通信を反映した中間表現に変換し、その上で記号解析を行います。文献や Git リポジトリ由来のベンチマークでの評価では、部分的デッドロックの検出は主要な手法と競合し、自動修正では先行研究を前進させたとされています。
説明一般的なMIMOチャネルを特徴づける統一フレームワーク（分散型・ホログラフィックMIMOなど多様な構成に適用可能な解析手法）
要約本論文は、任意の共分散行列を持つ一般の正規分布に従うベクトル化形式の、相関のあるレイリーフェージングMIMOチャネルを研究する。送受信アンテナ数が比例して増加する漸近領域において、チャネル行列のスペクトルノルムが有界であることを示し、チャネル相関構造によって収束速度が決まる エルゴード相互情報量の決定論的近似を導出する。この近似は行列値の自己無撞着方程式で特徴づけられ、解の存在と一意性、および反復数値アルゴリズムが示される。下りリンクの分散型MIMOと上りリンクの異種MIMOに適用され、数値結果により近似の精度が確認されている。
注目点任意共分散のMIMO通路に対し行列値自己整合方程式による統一的解析枠組みを提示し、既存結果を包含する。数値結果で近似精度を確認。
説明部分Strassenアルゴリズムで行列積を高速化する並列ペブリングゲームの手法
要約本論文は、Strassenアルゴリズムの一部のステップのみを用いる「部分Strassenアルゴリズム」を提案しています。単一スレッドでもマルチスレッドでもメモリ使用量が小さいことが示されています。三階層の場合、BLASの約80%の時間で行列積を計算でき、メモリ使用量は2.25倍とされています。
説明虚構プレイ（fictitious play）が任意に遅い多項式収束を示すことの証明
要約本論文は、二人零和ゲームにおいて虚構プレイの収束速度が任意に遅い多項式オーダーになりうることを示している。各整数 k≥2 について、t 回の反復後に経験戦略の双対ギャップが Θ(t^{-1/k}) で減衰する利得行列を構成した。k≥3 の場合、これらのゲームは Karlin の予想した O(t^{-1/2}) の収束速度に対する反例となり、Wang（2025）の Θ(t^{-1/3}) の結果を任意に遅い多項式速度へ拡張している。（原語：Fictitious play、Karlin conjecture）
注目点再帰的ゲーム族を構成し、虚構的プレイの収束速度を任意に遅い多項式速度にできることを示す。Karlinの予想O(t^{-1/2})を反証し、既存のΘ(t^{-1/3})結果を一般化する。
説明奇標数の有限体上の自己直交符号と完全自己直交符号をサンプリングするアルゴリズム
要約本論文は、奇標数の有限体上で任意の hull 次元と型をもつ線形符号を一様ランダムにサンプリングするアルゴリズムを提案し、自己双対符号を含む任意の符号率の自己直交符号を一様にサンプリングする初めての方法を示している。Albrecht らのアルゴリズムを、Li、Shi、Ling の質量公式を用いて再検討している。さらに、有限体拡大上では Galois 自己同型のため通常の直交性では不十分であるとして、全ての誘導された Galois 幾何で同時に直交する「完全直交性」を調べ、指定された次元の完全 hull を持つ線形符号をサンプリングするアルゴリズムを与えている。
説明多者間取引における利益最大化の、サポート集合の大きさに依存する後悔率
要約本論文は、動的価格設定と二者間取引の両方を一般化する多者間取引におけるオンライン利益最大化を研究しています。仲介者が買い手に価格を提示し、売り手に支払いを提示し、全員が受け入れた場合のみ取引が成立します。評価値は未知の同時分布から生じ、各主体の周辺分布のサポート集合の大きさは最大Kと仮定されます。定数次元dに対し、後悔値がÕ(√(K^d T))となるアルゴリズムを設計し、正規化されたズーム手法により、標準的なズーム法で生じうる平坦な領域の過度な細分化を回避しています。
説明容量限界に達するリード・ソロモン符号：アルゴリズム的リスト復号と近接ギャップ
要約本論文は、リード・ソロモン符号（RS符号、代数的符号の一種）のリスト復号可能性の限界を扱っており、代数的符号理論における重要な未解決問題です。Brakensiek、Chen、Putterman、Zhang、Zheng らは、大きな標数の体上のRS符号が容量の上限まで、アルゴリズム的にリスト復号可能であることを示しました。Jeronimo はこの成果を基に、RS符号の近接ギャップ問題へ手法を拡張しました。本稿はこれらの結果を統一的かつ分かりやすく解説しています。
