arXiv雑要約
プログラム - 2026/04/22 公開
THEIA：純粋ニューラルモジュールアーキテクチャにおける完全クレーネ三値論理の学習 [cs.DC, cs.SI, cs.CL, cs.LG, cs.AI, cs.LO]目的：完全クレーネ三値論理(K3)の真理値表の学習
- AIの推論能力向上には，記号処理とニューラルネットワークの融合が不可欠である。
- 従来のニューラルネットワークでは，複雑な論理構造を明示的に学習することが困難であった。
- 本研究は，K3論理をニューラルネットワークで効率的に学習するアーキテクチャを提案する。
- THEIAは，外部の記号推論や手動でエンコードされたK3ゲートを使用せずに，K3の真理値表を高い精度で学習した。
- ネットワークは，不確実性の伝播において非対称性を示し，未知の状態を適切に保持する一方で，最終的な判断の精度を維持した。
- 段階的学習とend-to-end学習において，THEIAは他のモデルと比較して優れた汎化性能を発揮した。
イベントテンソル：動的メガカーネルをコンパイルするための統一的な抽象化 [cs.RO, cs.DC, cs.LG, cs.PL]目的：動的メガカーネルのコンパイルのための統一的な抽象化
- GPUの性能向上は，大規模言語モデルなどの現代的なワークロードにおいて不可欠である。
- 従来のカーネル起動オーバーヘッドと粗い同期が，並列処理のボトルネックとなっている。
- 動的な形状やデータ依存性を扱うメガカーネルの課題を解決することを目指す。
- イベントテンソルは，タイル化されたタスク間の依存関係を符号化する統一的な抽象化である。
- イベントテンソルコンパイラ(ETC)は，静的および動的なスケジューリング変換を適用し，高性能な持続的カーネルを生成する。
- 評価の結果，ETCは最先端のLLMサービングレイテンシを達成し，システムウォームアップオーバーヘッドを大幅に削減する。
純粋な借用：線形 Haskell と Rust スタイルの借用 [cs.PL]目的：Rust スタイルの借用を線形 Haskell で実現する枠組み
- 関数型と命令型のパラダイム統合には，安全な状態変化の局所化が重要である。
- 線形型を持つ Haskell では，Rust のような非局所的な借用が安全に実現可能か不明だった。
- 純粋な Haskell 環境で，Rust スタイルの借用を安全に実現し，並行計算を可能にすること。
- Pure Borrow は線形 Haskell のライブラリとして実装され，純粋な計算内でアフィンな可変参照による並行状態変化を実現する。
- Rust と異なり，Pure Borrow は純粋性，遅延評価，高階多型性，メモリリークの自由性を保証する。
- Pure Borrow の核心部分の形式化を行い，安全性，メモリリークの自由性，収束性を示すメタ理論を構築した。
有限ピンホイールスケジューリング変種における困難度，計算可能性，および密度閾値 [cs.CL, eess.AS, cs.DC, cs.DS]目的：有限ピンホイールスケジューリングの変種における問題の複雑性，計算可能性，および密度閾値の解析
- タスクスケジューリングは，計算資源の効率的な利用に不可欠であり，様々な分野で重要な課題である。
- ピンホイールスケジューリング問題はNP困難であり，現実的な規模の問題を効率的に解くことが難しい。
- 2-Visits問題の困難度をより詳細に分析し，パラメータによる計算可能性を検討することで，実用的な解法に近づくことを目指す。
- 2-Visits問題は，最大マルチプリシティが2であってもNP完全であることが証明された。
- 異なる締切数の数が定数である場合，2-Visits問題はRPに属することが示された。
- k-Visits問題の密度閾値の下限が$\sqrt{2}-1/2 \approx 0.9142$であることが示され，kが無限大に近づくにつれて5/6に収束することが証明された。
遅延を考慮した高速かつ省メモリな多種別経路探索 [cs.DS]目的：遅延を考慮した多種別経路探索手法の効率化
- 都市交通の円滑化に貢献するため，最適な経路探索は不可欠である。
- 既存手法はメモリ消費量が大きく，計算時間が課題となっていた。
- メモリ効率，速度，精度を向上させた経路探索手法を開発する。
- 単一条件検索において，既存アルゴリズムと比較して1.9～4.2倍の高速化を達成した。
- 複数条件設定では，競争力のある高速化と高い精度を実現した。
- 提案手法は，遅延の増加に伴い，より優れたスケーラビリティを示すことが分かった。
エージェント駆動型ソフトウェア開発におけるエージェント的エントロピーへの対処 [cs.SE, cs.AI]目的：エージェント的エントロピーの軽減
- ソフトウェア開発における自動化が進み，エージェントの利用が増加しているため，その影響を理解する必要がある。
- エージェントの行動と設計意図の乖離を捉えることが難しく，コード差分分析では全体的な挙動を把握できない。
- エージェントの意思決定プロセスを可視化し，設計意図との整合性を評価することで，エージェントの制御を可能にする。
- 提案手法は，エージェントの行動を時間，ツール呼び出し，アーキテクチャ境界に沿って追跡し，設計意図とのずれを明らかにする。
- 「コンフォーミティシーディング」「推論モニタリング」「因果グラフインターフェース」の3つの柱に基づき，既存のレビュープロセスを補完する。
- 本手法は，構造的視点の提供や，コードレビューにおけるより深い文脈理解の促進により，エージェント駆動型開発の信頼性を高める。
真の性能評価に基づくコードデブロッティングの再検討 [cs.SE]目的：アプリケーションレベルのソフトウェアデブロッティングの真の性能評価
- ソフトウェアの性能向上，セキュリティ強化，保守性の向上に不可欠な技術分野である。
- 従来の評価方法では，性能やセキュリティを正確に測ることが困難であった。
- 真の性能評価に基づく新たな評価方法論とベンチマークを確立することを目指す。
- 最新の8つのデブロッターの分析から，動的解析ベースのツールは本来保持すべきコードを大量に削除する傾向があることが明らかになった。
- 一方，静的解析ベースのツールは，粗視点な依存関係の過大評価により，過剰なコード保持を引き起こすことが多い。
- 誤った削除や保持は，機能不全，一貫性の欠如，脆弱性の原因となりうる。
EFXへの反例：3人以上のエージェント，n+5個以上のアイテム，単調な評価関数 [cs.GT, cs.DS]目的：不分割財の公正な分配問題におけるEFX（任意のアイテムの削除に対する羨望の自由性）の存在性
- 不分割財の公正分配は，資源配分における公平性の重要な理論的基盤である。
- EFXの成立条件は完全には解明されておらず，特定の条件下での存在性証明が課題であった。
- エージェント数とアイテム数がある条件を満たす場合におけるEFXの非成立を示すこと。
- エージェントが3人，アイテムが7個の場合，EFXが成立することはSATソルバーによる証明で確認された。
- エージェントが3人，アイテムが8個の場合，EFXが成立しない反例がSATソルバーによって見出され，検証された。
- エージェントが3人以上，アイテムがn+5個以上の場合，SATソルバーを用いずに反例の拡張が示された。
コードエージェント検索のためのTypeScriptリポジトリのインデックス化 [cs.SE]目的：コードエージェント検索におけるコンテキスト取得の改善
- LLMを活用したコードエージェントは，ソフトウェア開発の自動化に不可欠である。
- キーワード検索や類似性検索では，呼び出しチェーンや依存関係を捉えきれない場合がある。
- 大規模なTypeScriptリポジトリにおけるインデックス作成の効率化を図る。
- 新しいTypeScriptパーサー (abcoder-ts-parser) は，TypeScript Compiler APIを活用し，既存アーキテクチャよりも高速かつ信頼性の高いインデックスを生成する。
- 最大120万行のコードを持つ3つのオープンソースTypeScriptプロジェクトで評価された。
- JSON-RPC呼び出しによるボトルネックを解消し，シンボルの検索効率を向上させた。
複雑ネットワークにおけるウラノヴィッツの最適構造的強靭性の存在について [physics.soc-ph, cs.IT, cs.NA, math.IT, math.NA]目的：ウラノヴィッツの構造的強靭性の数学的な存在と漸近的性質
- 生態系研究において，持続可能なシステムは効率と冗長性のバランスを取ることが重要である。
- ネットワーク構造が多様化する中で，その最適な状態の数学的な実現可能性が未検証である。
- ネットワークサイズが3以上のネットワークにおいて，最適構造的強靭性の存在を数学的に証明する。
- ノード数が2のネットワークでは最適強靭性は存在しないが，ノード数3以上のネットワークでは存在する。
- 最適状態を維持するためには，ネットワークサイズが増加するにつれて，主要リンクと背景リンクで異なるスケーリングが必要である。
- 主要リンクは$O(N_\mathcal{V}^{-1})$，背景リンクは$O(N_\mathcal{V}^{-2})$で減衰し，対数的な補正項が存在する。
構造を持たないNP探索における内在情報フロー [math.OC, cs.CC, cs.IT, math.IT]目的：NP探索における情報取得プロセスの分析
- 計算複雑性理論の根幹であり，現実的な問題への応用が期待される分野である。
- 従来の計算時間に基づく評価では，探索の困難さの本質が見えにくいという課題がある。
- 情報理論的視点から，探索における情報量の獲得と困難さの関係を明らかにすること。
- NP探索を，不確実性の源泉である探索対象から情報を得るプロセスとして捉え直した。
- 極端なケースである「psocidモデル」において，各プローブで得られる相互情報量は非常に小さいことが示された。
- 探索に必要な情報量と，インターフェースを通じて得られる情報量との間に根本的な不一致が存在することが明らかになった。