arXiv雑要約

• Top
• AI
• プログラム
• 画像・音声
• セキュリティ
• 数値解析

プログラム - 2026/03/16 公開

• SALAD：自己適応リンク適応 [cs.IT, math.IT]目的：無線リンク品質への変調・符号化方式(MCS)の適応

  • 無線通信において，スペクトル効率の最大化と信頼性の確保は重要課題である。
  • 従来のリンク適応は，SINR推定の精度やパラメータ調整の複雑さといった課題があった。
  • ACK/NACKフィードバックのみを用いて，SINRを正確に推定し，効率的なMCS選択を行うこと。
  • SALADは，ACK/NACKフィードバックを利用してSINRを追跡し，高いスペクトル効率と低いブロック誤り率(BLER)を両立する。
  • クロスエントロピー損失の最小化によりSINRを推定し，仮説検定に基づきMCSを選択する。
  • 5Gテストベッド実験により，SALADは業界標準のOLLAよりも高いスループットとスペクトル効率を示すことが確認された。

  Link: https://arxiv.org/abs/2510.05784

• LLM-HPC++: スケーラブルなマンデルブロ集合計算のためのLLM生成モダンC++およびMPI+OpenMPコードの評価 [cs.DC, cs.SE]目的：LLM生成コードの正当性，堅牢性，スケーラビリティの評価

  • 高性能計算における並列プログラミングは複雑であり，専門知識が不可欠である。
  • 現代C++やOpenMP/MPIフレームワークはあるが，習得は依然として困難である。
  • LLMを活用し，高性能計算コードの自動生成による課題解決を目指す。
  • ChatGPT-4とChatGPT-5は高い構文精度とスケーラブルな性能を示した。
  • LLMのコード生成能力が，高性能計算の分野で実用的に利用できる可能性が示唆された。
  • 生成されたコードのコンパイルと実行により，その正当性，堅牢性，スケーラビリティを評価した。

  Link: https://arxiv.org/abs/2512.17023

• 3値様相論理と半位相上での公理的理論としての宣言的分散アルゴリズム [cs.RO, cs.LO, cs.DC]目的：分散アルゴリズムの形式的仕様

  • 分散システムの設計において，正確かつ信頼性の高いアルゴリズムが必要不可欠である。
  • 既存のアルゴリズム記述は，自然言語による曖昧性や実装の詳細に依存する傾向がある。
  • 様相論理による公理的記述を用いて，アルゴリズムの本質を明確化し，検証を容易にすること。
  • 分散アルゴリズムを様相論理による公理的理論として形式的に記述する方法を提示した。
  • 提案手法は，投票，ブロードキャスト，合意といった基本的なプロトコルに対して適用可能であり，既存のプロトコルにおける誤りの発見にも貢献する。
  • この公理化は，システムの性質を簡潔に捉え，人間および機械による検証，設計改善，代替プロトコルの実装を促進する基盤となる。

  Link: https://arxiv.org/abs/2512.21137

• Lean 4 における真理と美の探求：文法，最適化， matroid の形式検証された理論 [cs.LO, math.HO]目的：文法，最適化，matroid の理論に関する形式検証された理論の構築

  • 数学と計算機科学の厳密な証明は，ソフトウェアやハードウェアの信頼性向上に不可欠である。
  • 形式検証された理論の既存のライブラリは，理解しにくく，可用性が低い場合がある。
  • Lean 4を用いて，可読性と信頼性の高い形式検証された理論を構築し，共有すること。
  • 本研究では，最適化理論，matroid理論，文法の理論という３つの分野において，形式化された理論を構築した。
  • 定義の可読性と信頼性を重視し，理解しやすいコードを目指した。
  • Roger Scruton の美学に基づき，美が世界のあり方を形作る手段であることを強調した。

  Link: https://arxiv.org/abs/2602.12891

• OpenSage：自己プログラミングエージェント生成エンジン [cs.AI, cs.CR, cs.SE]目的：エージェントの自己生成型トポロジーとツールセットの自動作成

  • エージェント開発は，多様なタスク自動化の鍵であり，その性能向上は重要課題である。
  • 既存のエージェント開発キットは機能不足，もしくは手動設計に依存し，汎用性と性能が限定される。
  • LLMを活用し，エージェントの構成要素を自動生成することで，その限界を克服することを目指す。
  • OpenSageは，LLMがエージェントのトポロジーとツールセットを自動生成する初の開発キットである。
  • 階層型グラフベースのメモリシステムにより，効率的な情報管理を実現している。
  • 複数のベンチマーク実験で既存のADKを上回る性能が確認され，各構成要素の有効性が実証された。

  Link: https://arxiv.org/abs/2602.16891

• LLM監視への応用を含む，情報隠蔽の決定理論的定式化 [cs.AI, cs.CL, cs.CR, cs.IT, cs.MA, math.IT]目的：LLMにおける情報隠蔽の検出と定量化

  • LLMの進化に伴い，悪意のあるモデルが監視を回避する可能性が懸念される。
  • 従来の検出手法は参照分布の知識を必要とするため，LLMには適用が困難である。
  • 情報隠蔽がもたらす情報利用の非対称性に着目し，それを検出・定量化する。
  • 決定理論的視点に基づき，汎用的な情報量指標である$\mathcal{V}$-informationを導入した。
  • 情報隠蔽の度合いを定量化する指標「情報隠蔽ギャップ」を定義し，実証的にその有効性を検証した。
  • この形式化を用いて，LLMにおける情報隠蔽の検出，定量化，軽減が可能となった。

  Link: https://arxiv.org/abs/2602.23163

• LLMによるモデル検査のための不変式生成：CTI誘導アプローチ [cs.LO, cs.PL]目的：モデル検査における不変式の自動生成

  • モデル検査は，システムの正確性を保証する上で不可欠な技術である。
  • 効果的な不変式を自動的に生成することは依然として困難である。
  • LLMを活用し，より効率的に不変式を生成することで，モデル検査の適用範囲を広げる。
  • CIllは，CTIをLLMに提示し，反例を排除する新しい不変式の提案を促す。
  • 生成された不変式は，有界モデル検査と帰納的チェックによって検証される。
  • RISCV-Formalフレームワークにおいて，NERVとPicoRV32の非M命令に対して完全な検証精度を達成した。

  Link: https://arxiv.org/abs/2602.23389

• 限定フィードバック下におけるオンライン凸最適化によるSINR推定 [cs.IT, math.IT]目的：ユーザの信号対干渉雑音比(SINR)の推定

  • 無線通信の性能向上には，正確なSINR推定が不可欠である。
  • フィードバック量の制約下では，SINR推定の精度が課題となる。
  • オンライン学習により，限られたフィードバックでも高精度なSINR推定を実現する。
  • 提案手法は，ACK/NACKフィードバック等を用いてSINRをオンラインで追跡する。
  • ミラー降下法とネステロフモーメンタムにより，追跡速度を向上させている。
  • シミュレーション結果から，提案手法が既存手法よりも高い推定精度を示すことが確認された。

  Link: https://arxiv.org/abs/2603.02061

• 線形スケーリングテンソルトレインスケッチ [cs.CY, cs.CL, math.NA, cs.DS, cs.NA]目的：テンソルトレイン形式向け構造化ランダム射影

  • テンソル計算は機械学習や科学計算で重要であり，大規模データへの適用が課題。
  • 既存のテンソルスケッチ法は，テンソル階数が増加すると計算量が指数関数的に増加。
  • テンソル階数に対して線形にスケーリングする効率的なスケッチ法の開発。
  • 提案手法TTStackは，既存のスケッチ手法を統一的に表現し，パラメータ調整により性能を変化させられる。
  • TTStackは，テンソル階数に対して線形にスケーリングするoblivious subspace embeddingとinjectionの性質を持つことが証明された。
  • QB因数分解やランダム化TT丸めにおいて準最適な誤差境界が得られ，数値実験で有効性が確認された。

  Link: https://arxiv.org/abs/2603.11009

• コストカ多面体の体積の決定的な近似 [math.CO, cs.DS]目的：コストカ多面体の体積近似アルゴリズム

  • 多面体の体積計算は，最適化問題などに応用され，計算量削減が重要である。
  • 高次元多面体の体積を多項式時間で正確に計算することは困難である。
  • 特定の多面体クラス（コストカ多面体）に対し，近似アルゴリズムを開発する。
  • 多項式時間で，コストカ多面体GT(λ, μ)の体積をexp(O(n log n))の誤差範囲内で近似するアルゴリズムを提案した。
  • λがn個のパーツを持つ整数分割で，各要素がnの多項式で抑えられ，μがλの置換多面体の内部に位置する場合に適用可能である。
  • 提案手法は，シュール多項式の連続類似の分配関数に基づいている。

  Link: https://arxiv.org/abs/2503.06459

• 最適な縮小と空間分解型特異ベクトルノイズ除去によるデータ駆動型行列復元 [math.SP, cs.IT, math.IT]目的：高次元分離型ノイズ下における特異ベクトルの空間分解摂動理論

  • 行列復元は，データ分析や機械学習において重要な役割を担う，次元削減と情報抽出の基本技術である。
  • 高次元データにおけるノイズの影響は大きく，既存手法では十分な復元精度が得られない場合がある。
  • 本研究は，特異ベクトル摂動の空間分解を考慮することで，高次元ノイズ下でもロバストな行列復元を可能とする。
  • 特異値に対する最適な縮小と空間分解型ウェーブレット縮小を組み合わせたe$\mathcal{OWS}$アルゴリズムを提案した。
  • 提案手法は，既存の最適縮小やウェーブレット縮小よりも厳密に高い収束率を示すことが理論的に証明された。
  • 数値シミュレーションにより，提案手法が信頼性の高い行列復元と特異部分空間の正確な再構築を実現することを示した。

  Link: https://arxiv.org/abs/2507.09013

• 離散確率過程における時間依存性の情報理論的分析：降水予測への応用 [physics.data-an, cs.IT, math.IT, physics.app-ph]目的：降水量の時間依存性の定量化

  • 気象予測の向上と効率的な降水モデル開発には，降水量の時間依存性を理解することが不可欠である。
  • 有限データからの正確な記憶推定が困難であり，既存のモデル選択基準では性能が不十分な場合がある。
  • ブロックエントロピーに基づく予測利得を用いて，離散確率過程の記憶効果を定量的に評価する手法を開発する。
  • 本手法は，生成されたシーケンスを用いたテストにおいて，AICやBICなどの既存のモデル選択基準よりも優れた性能を示した。
  • アメリカ本土の降水データへの適用により，日々の降水発生は低次のマルコフ連鎖で適切に記述できることが示された。
  • 冬季の西海岸や夏季の南東部において，地域および季節的な変動が見られ，既知の気候パターンと一致する結果が得られた。

  Link: https://arxiv.org/abs/2510.11276

• 並べ替えネットワークによる置換問題の簡潔なQUBO定式化 [eess.SP, cs.SY, eess.SY, quant-ph, cs.DS]目的：置換問題に対するQUBO定式化

  • QUBOはNP困難な最適化問題であり，量子アニーリングへの応用が期待されている。
  • 従来の置換行列によるQUBO定式化は変数数が多く，計算コストが高い。
  • 比較交換ネットワークを用いて，より変数数が少なく効率的なQUBO定式化を提案する。
  • 比較交換ネットワークを用いることで，$O(n \log^2 n)$個のバイナリ変数で置換問題を表現できる。
  • 本手法は一意な変数割り当てにより，偏りのないサンプリングを実現する。
  • 置換の乗算，反転，順序のチェックが可能であり，暗号化や組合せ設計への応用が期待される。

  Link: https://arxiv.org/abs/2603.07579

• 交換群と状態非依存コンテクストゥアリティー [quant-ph, cs.LO]目的：状態非依存コンテクストゥアリティー議論のための代数構造

  • 量子非古典性の根源を理解する上で重要であり，量子情報科学の発展に寄与する。
  • コンテクストゥアリティーの構造が十分に理解されておらず，量子優位性の源泉を特定しにくい。
  • 交換群を用いてコンテクストゥアリティーを特徴づけ，その存在条件を明らかにすること。
  • 状態非依存コンテクストゥアリティー議論を扱うための交換群を導入し，文字列書き換えシステムを用いて解析した。
  • コンテクストゥアリティーの証拠となる「コンテクストワード」を定義し，交換群におけるその成立条件を特徴づけた。
  • 交換群のユニタリ表現を，一般化されたパウリn群の部分群として構成した。

  Link: https://arxiv.org/abs/2603.12197

• 1
• 2