arXiv雑要約
プログラム - 2026/03/02 公開
LLMによるモデル検査のための不変量生成：CTIガイダンスによるCIll [cs.LO, cs.PL]目的：モデル検査のための不変量の生成
- モデル検査は，システムの正当性検証において重要な役割を担う。
- 効果的な不変量の自動生成は困難であり，スケーラビリティが課題である。
- LLMを活用し，反例CTIに基づいた不変量生成による効率化を目指す。
- CIllは，LLMを用いて不変量を合成し，モデル検査の効率化を実現した。
- RISCV-Formalフレームワークにおいて，NERVおよびPicoRV32の非M命令の完全な精度を実証した。
- IC3やK-Inductionと連携することで，冗長な探索を削減し，収束を加速させる。
文法制約付き (CFL) 到達可能性：亜立方前処理，インデックス作成のトレードオフ，および構造化デコードの意味 [cs.DS, cs.FL]目的：文法制約付きコンテキストフリー言語到達可能性の評価
- グラフ構造におけるデータ探索は重要であり，効率的なアルゴリズムが求められる。
- 文法制約下の到達可能性問題は計算コストが高く，実用的な解決が困難である。
- 文法構造とグラフ特性に着目し，効率的な到達可能性計算手法を確立する。
- 文法制約付きコンテキストフリー言語到達可能性のアルゴリズムフレームワークを提示した。
- 理論的な実行時間境界を分析し，文法構造とグラフ特性が計算に与える影響を明らかにした。
- 実際のスキーマを用いた広範な実験により，異なるアルゴリズムバリアントの性能トレードオフを報告した。
トークンレベルの報酬による安全なコード生成学習 [cs.CR, cs.AI, cs.SE]目的：安全なコード生成のための手法
- 近年のLLMはコード生成能力が高いが，セキュリティ脆弱性の問題が残る。
- 質の高いセキュリティデータが不足しており，報酬信号が粗雑である点が課題。
- LLMの自己反省を利用し，高信頼な修正ペアを構築し，トークンレベルの報酬を用いることで，セキュリティ向上を目指す。
- PrimeVul+データセットとSRCode訓練フレームワークにより，生成コードのセキュリティ脆弱性が大幅に減少した。
- SRCodeは，従来のインスタンスレベルの報酬スキームよりも局所的なセキュリティ実装の最適化を精密に行える。
- 複数のベンチマークにおいて，セキュリティ向上と同時にコード品質全体の改善が確認された。
ランダム3-SATの微細構造：相転移とアルゴリズム複雑性への離散幾何学的アプローチ [cs.CC, cs.DM, cs.DS]目的：ランダム3-SATインスタンスの構造的相転移と計算複雑性の解析
- 組合せ最適化問題の複雑さは，計算機科学および関連分野において重要な研究課題である。
- 従来の理論はマクロな視点に偏り，問題の離散的な微細構造の解明が課題であった。
- ブール超立方体の組合せトポロジーを用いて，相転移とアルゴリズム複雑性を説明することを試みる。
- 制約密度$\alpha = \frac{8}{N}$ にて，少なくとも$\frac{N(N-1)(N-2)}{6}$ 個の異なる非充足可能なコアが存在する最小非充足限界を特定した。
- 制約密度$\alpha = \frac{7}{6}(N-1)(N-2)$ にて，$2^N$ 個の最大充足可能なインスタンスが存在する最大充足限界を導出した。
- 深さ優先探索の効率は，有効な探索経路の豊富さから構造的に「除去された変数」の密度への幾何学的遷移によって支配されることを示した。
最小次数全域木の加法1近似：O(mn)時間障壁の打破 [cs.DS]目的：最小次数全域木問題における加法1近似アルゴリズムの開発
- ネットワーク設計やクラスタリングにおいて，ノードの最大次数を最小化することが重要である。
- 最小次数全域木問題はNP困難であり，効率的なアルゴリズムの設計が課題であった。
- 既存のO(mn)時間アルゴリズムの計算時間障壁を打破し，より高速な近似解を求める。
- 本研究では，決定的なアルゴリズムを用いて，最適解に加法1の近似を持つ全域木を，$\tilde{O}(mn^{3/4})$時間で算出することに成功した。
- これは，30年間更新されていなかった計算時間の上限を改善するものであり，研究分野における重要な進展である。
- アルゴリズムは，ブロッキングフローのパラダイムを新たに適用することで実現されている。
2G2T：定数サイズの統計的に安全なMSMアウトソーシング [cs.CR, cs.DC, cs.DS]目的：MSM（Multi-Scalar Multiplication）の検証可能なアウトソーシング
- 暗号技術において，離散対数問題に基づく計算のボトルネックとなるMSMの効率化が重要である。
- リソース制約のある環境でのMSM計算は遅延が大きく，改善が求められている。
- 信頼できないサーバーへのMSMアウトソーシングを，検証可能かつ効率的に実現すること。
- 2G2Tプロトコルは，サーバーが2つの群要素で応答し，クライアントは定数長の演算で検証できる。
- Ristretto255での実装では，ローカル計算と比較して最大300倍の高速化を実現している。
- 統計的安全性も保証されており，不正な結果の受理確率は1/q以下である。
インタラクティブ符号化システムのゼロ・インコヒーレンス容量：達成可能性，逆定理，およびサイド情報境界 [cs.IT, cs.PL, math.IT]目的：インタラクティブマルチロケーション符号化システムにおけるゼロ・インコヒーレンス容量
- 複製された符号化間で意見の不一致が全くないことを保証する符号化率の上限を求めることは重要である。
- 分散環境におけるデータの整合性を保つことは難しく，高い符号化コストがかかる場合がある。
- この研究は，データの完全性を保証しつつ，符号化コストを最小化する方法を提示する。
- ゼロ・インコヒーレンス容量は，マルチロケーション符号化システムにおいて1であることが示された。
- k-wayインコヒーレンスを実現するための解決に必要なサイド情報量は，少なくともlog2 kビットである。
- 符号化率が容量に達する場合，修正コストはO(1)で済む一方，それを超える場合はΩ(n)となることが示された。
広帯域マルチユーザMIMO通信システムにおける積層型インテリジェントメタサーフェス（SIM）は，単層再構成可能インテリジェントサーフェス（RIS）よりも優れているか？ [cs.IR, cs.IT, cs.ET, math.IT]目的：広帯域無線通信における単層RISの物理的限界克服を目指したSIM技術の性能評価と最適設計
- 電波環境の複雑化に伴い，信号伝搬特性の改善が重要視されている。
- 単層RISでは，広帯域での性能維持が困難であり，特に相互結合の影響が課題となる。
- SIMを活用することで，相互結合の影響を軽減し，広帯域での高性能化を実現する。
- SIMは，周波数選択的サブバンドにおけるキャリアアグリゲーションを可能にする，アクティブ・パッシブビームフォーミング設計によってスペクトル効率を最大化する。
- 狭帯域や低SNR環境下では単層RISが有利な場合もあるが，広帯域マルチユーザ環境下ではSIMが大幅に性能を向上させる。
- 部分的に再構成可能なSIMアーキテクチャは，複雑さを抑えつつほぼ最適な性能を発揮することが示された。
効率的な具現化計画のためのKVキャッシュ中心メモリ管理システムKEEP [cs.RO, cs.AI, cs.SE]目的：効率的な具現化計画を実現するためのメモリ管理システム
- 大規模言語モデルの性能向上には，過去の経験や環境状態を記憶し，効率的に活用することが重要である。
- 既存の手法では，メモリをテキストとして保存するため，プロンプトが長くなり，処理遅延が発生しやすい。
- KVキャッシュの効率的な管理により，メモリの再計算を削減し，具現化計画の高速化を目指す。
- KEEPは，混合粒度メモリグループを用いた静的・動的メモリ構築アルゴリズムにより，KVキャッシュの再計算を抑制する。
- マルチホップメモリ再計算アルゴリズムにより，異なるメモリグループ間の重要なクロスアテンションを動的に特定し，メモリ間の相互作用を反復的に再構築する。
- 層バランス型メモリロードにより，KVキャッシュの不均衡なロードとクロスアテンション計算を解消し，ALFREDデータセットにおいて2.68倍の高速化を達成した。
SGAgent：提案誘導型LLMベースのレポジトリレベルソフトウェア修復フレームワーク [cs.SE]目的：レポジトリレベルソフトウェア修復のための提案誘導型マルチエージェントフレームワーク
- ソフトウェアの信頼性確保は重要であり，自動修復技術への期待が高まっている。
- 既存手法は局所化から修正へ直接移行するため，根本的な推論のギャップが存在する。
- 提案フェーズを導入し，局所化から修復への移行を強化することで，より効果的な修復を目指す。
- SGAgentは，SWE-Benchにおいて51.3%の修復精度を達成し，既存手法を上回った。
- ファイルレベルでの局所化精度は81.2%，関数レベルでは52.4%であり，高い精度を示した。
- VUL4JおよびVJBenchにおいても脆弱性修復で48%の精度を達成し，高い汎化能力を示した。
IEEE 802.11 バイナリ畳み込み符号の距離スペクトル [cs.IT, math.IT]目的：IEEE 802.11バイナリ畳み込み符号の距離スペクトルの計算方法
- 無線LANの標準規格IEEE 802.11における重要な要素であり，低消費電力機器等で依然利用されている。
- 高速通信ではLDPC符号が主流だが，旧規格との互換性維持やコスト面から畳み込み符号が不可欠である。
- IEEE 802.11の畳み込み符号の距離スペクトルを正確に計算し，性能評価に貢献する。
- IEEE 802.11の基本符号およびパンクチャードされた３つの派生符号の距離スペクトルを計算する手法を提示した。
- AWGN環境におけるBEPおよびFER曲線が導出され，モンテカルロシミュレーションによって検証された。
- Python, Julia, C++による実装が公開されており，研究利用を促進する。
デイジーチェーン型ネットワークにおけるノンウェイトスケジューリングの解決 [cs.NI, cs.DS]目的：時間感受性ネットワークにおけるノンウェイトスケジューリング手法
- 産業用ネットワークにおいて，リアルタイム性が求められる場面が増加しており，決定性のある通信が不可欠である。
- TSN規格は通信の決定性を保証するが，データストリームのスケジューリング方法は規定されていないという課題がある。
- デイジーチェーン型ネットワークにおける効率的なノンウェイトスケジューリングアルゴリズムを開発し，この課題を解決する。
- 本研究では，ノンウェイトスケジューリング問題を，制限付きのグラフ彩色問題として定式化するアプローチを提案した。
- 提案手法は，区間グラフ上で多項式時間で解けることを示し，現実のTSNシステムでの有効性を検証した。
- ストリーム数やネットワーク規模が増加しても，最適なスケジューリングが可能であることが確認された。
フラットなログから因果グラフへ：LLMベースのマルチエージェントシステムにおける階層的な故障原因特定 [cs.AI, cs.SE]目的：LLMベースのマルチエージェントシステムにおける故障原因の階層的な特定
- LLMを活用したマルチエージェントシステムは複雑な問題解決能力を示すが，その信頼性と透明性に課題がある。
- 従来の故障原因特定手法はログを単なるシーケンスとして扱うため，複雑な因果関係を捉えきれない。
- 本研究は，複雑な因果関係を構造化し，効率的に故障の根本原因を特定することを目指す。
- 本研究で提案するCHIEFは，実行軌跡を階層的な因果グラフに変換することで，従来の課題を克服する。
- Who&Whenベンチマークにおいて，CHIEFは既存の最先端手法を上回るエージェントレベルおよびステップレベルの精度を達成した。
- 詳細な実験により，提案する各モジュールの有効性が確認された。
繭を剥がして黄金の種を明らかにする：変異型グレーボックスファジングのための手法 [cs.SE]目的：カバレッジに基づくシード選択の強化
- ソフトウェアの品質向上には，効率的なテストが不可欠である。
- 従来のシード選択は，条件分岐が複雑な場合に効果が低下することがある。
- 条件分岐を抑制することで，より深いシード選択を実現し，効率的なファジングを行う。
- PoCoは，障害となる条件文を段階的に除去することで，シード選択を深める。
- これにより，現代的なカバレッジに基づくシード選択技術（afl-cminなど）を強化できる。
GPSソース位置決定における解の一意性：2次元・3次元における測定値不足時の距離および距離二乗最小化 [cs.IT, cs.NA, math.IT, math.NA]目的：GPSソース位置決定における解の一意性
- GPS等の位置決定技術は，現代社会における様々なアプリケーションに不可欠であり，その信頼性が重要である。
- GPSの測定値が少ない場合，位置の推定解が複数存在し，一意に決定できないという課題がある。
- 測定値不足時の解の一意性を数学的に解析し，位置決定の精度向上に貢献することを目指す。
- 距離誤差および距離二乗誤差の最小化という二つの主要な問題について，2次元および3次元空間における解の存在について検討した。
- 測定値の数が3つ未満の場合，解の数が有限となり，一意な解が得られない状況を明らかにした。
- 本研究は，GPS等の位置決定システムの設計において，測定値の配置やアルゴリズム選択の指針を提供する。
深層学習と異種マルチヘッド選択を用いたピクセルアンテナ無線通信のアンテナ符号化最適化 [cs.AR, cs.IT, eess.SP, math.IT]目的：ピクセルアンテナを用いた無線通信におけるアンテナ符号化最適化
- 無線通信の性能向上には，アンテナ技術の柔軟な制御が不可欠である。
- 従来のアンテナ符号化最適化は計算負荷が高く，実用化の妨げとなっている。
- 深層学習を用いて，効率的かつ高性能なアンテナ符号化最適化を実現すること。
- 提案手法は，既存の探索ベースアルゴリズムと同等の性能の98%を，大幅に少ない計算量で達成する。
- シングルインプットシングルアウトプットシステムにおいて，提案手法は探索ベースアルゴリズムの81倍の速度を実現した。
- マルチインプットマルチアウトプットシステムでは，297倍の高速化を達成し，ピクセルアンテナの実用化に貢献する。
有向ネットワークにおけるローカルフェイルオーバーの下限の改善：バイナリカバリングアレイの利用 [cs.DS, cs.NI]目的：有向ネットワークにおけるローカルフェイルオーバーの新たな下限
- ネットワークの信頼性は重要であり，リンク障害時における迅速な転送が求められる。
- 有向ネットワークでは，単一の障害でも耐障害性を保証できない場合がある。
- 障害耐性を向上させるために，必要な書き換えビット数の下限を改善する。
- 本研究では，バイナリカバリングアレイの問題とルーティングの成功を結びつけることで，$k \geq 2$ の場合の新たな下限を導出した。
- 下限は，$\Omega(k + \lceil\log\log(\lceil\frac{n}{4}\rceil-k)\rceil)$ となり，既存の結果を改善する。
- この結果は，$n$ ノードネットワークにおいて，$k$ 個の障害に対する耐障害性を評価する上で有用である。
SWE-rebench V2：大規模言語非依存型ソフトウェアエンジニアリングタスク集 [cs.SE, cs.CL]目的：ソフトウェアエンジニアリングエージェントの学習用大規模タスクコレクションの構築
- ソフトウェアエンジニアリングエージェントの進化には，大量の学習データが不可欠である。
- 既存のベンチマークは規模や多様性が限られ，対応言語も限定的である。
- 多様な言語とリポジトリに対応した大規模学習データセットの提供を目指す。
- SWE-rebench V2は，20言語，3,600以上のリポジトリに及ぶ32,000件以上のタスクを収集した。
- 再現性のある実行環境と信頼性の高いテストスイートを備えた自動パイプラインを開発した。
- 収集されたタスクの診断研究により，モデルの課題や問題点を特定した。
依存型理論を用いた微分可能論理の基礎 [cs.LO]目的：微分可能論理とファジー論理の解析的性質，代数的性質，証明論的性質の体系的な比較
- 機械学習分野において定量的な論理が重要視されており，その理論的基盤の確立が求められている。
- 微分可能論理は解析的性質に優れる一方，代数や証明論に関する理論が不足している。
- ファジー論理と微分可能論理を統一的な枠組みで形式化し，それぞれの性質を比較することで，論理の理論的理解を深める。
- 微分可能論理とファジー論理をRocq証明支援システム上で形式化し，Yager論理，{\L}ukasiewicz論理，G\"{o}del論理，積ファジー論理，DL2，STLを包含する単一の言語仕様を提案した。
- これらの論理をresiduated latticeを用いて代数的に解釈できることを示した。また，微分可能性に関するL'Hopitalの定理を形式化し，Mathcompライブラリに寄与した。
- ファジー論理の確立されたsequent calculusを形式化し，DL2とSTL$_{\infty}$に対する新たなsequent calculusを提案し，その健全性を検証した。
初心者開発者がプロジェクトメンテナに大きなレビュー負荷をかける：AI支援コーディングにおける経験の重要性 [cs.SE]目的：AI支援コーディングにおける開発者の経験が依然として重要であるかどうかの検証
- AI技術の進展により，ソフトウェア開発の効率化が期待される一方，経験の重要性が見過ごされがちである。
- AI支援コーディングでは，経験の浅い開発者が生成したコードの品質保証が課題となる可能性がある。
- 経験の浅い開発者がAI支援コーディングを行う際に生じるレビュー負荷の増加とその原因の特定
- 経験の浅い開発者が提出するプルリクエストは，経験豊富な開発者と比較して変更量が多く，レビューコメント数も多いことが明らかになった。
- 経験の浅い開発者のプルリクエストは，受け入れ率が低く，解決までの時間も長くなる傾向にある。
- プロジェクトマネージャーは，経験の浅い開発者を経験豊富な開発者の代替として安易に採用すると，レビュー能力の強化が必要となる可能性がある。
不変性に基づいた自動テスト [cs.CY, cs.HC, cs.ET, cs.DL, cs.SE]目的：マイクロサービスアーキテクチャの自動テストプロセス
- マイクロサービスは現代のソフトウェア開発において重要な技術であり，柔軟性と拡張性を提供する。
- 既存のAPI仕様言語はテスト目的には表現力が不足しており，自動テストの妨げとなっている。
- API仕様に不変性に関する情報を付加し，自動テストを可能にすることを目指す。
- 本研究では，API仕様言語APOSTLを開発し，APIに意味的情報を付加することでテストの自動化を可能にした。
- ツールPETITを実装し，OpenAPI SpecificationとAPOSTLを用いて，ソースコードが利用できないマイクロサービスでもテストを実行できることを示した。
- これにより，マイクロサービスアーキテクチャにおけるテストプロセスを完全に自動化することが可能となった。
非同期多者セッション型における混合選択 [cs.DC, cs.FL, cs.MA, cs.PL, cs.SE]目的：非同期混合選択を伴う多者セッション型の枠組み
- 分散システムにおいて，プロトコルの整合性は不可欠であり，セッション型はその検証に有用である。
- 従来のセッション型では，非同期環境における不整合の扱いに課題があった。
- 分散参加者間の一時的な不整合を許容しつつ，最終的な整合性を保証するセッション型を設計する。
- 本研究では，分散状態における一時的な不整合を許容する混合選択の核となる構成要素を提案した。
- 提案システムが，進捗特性とグローバル型と分散ローカル型投影間の操作的対応関係を満たすことを証明した。
- この理論に基づき，混合選択を特徴とする非同期多者セッション型プロトコルの仕様と検証のための実用的なツールチェーンを実装し，Erlang/OTPで準拠するgen_statemプロセスをプログラムした。
SAP HANAにおける不安定テストの語彙 [cs.SE]目的：不安定テストの識別とその根本原因の特定
- ソフトウェア品質保証において，自動テストは重要な役割を担う。
- 不安定テストは，誤った故障信号を発信し，テストプロセスの信頼性を損なう。
- テストコード中のソースコード識別子を用いて，不安定テストとその原因を特定する。
- 既存手法の再現実験により，SAP HANAデータセットでも同様の結果が得られた。
- TF-IDFやTF-IDFC-RFといった特徴抽出手法，CodeBERTやXGBoostといった分類モデルの拡張により，F1スコアが向上した。
- SAP HANAにおけるテストの不安定性の根本原因として，外部データソースへの依存が共通して見られた。
GPUネイティブ近似最近傍探索におけるIVF-RaBitQ：高速インデックス構築と検索 [cs.DB, cs.DS, cs.IR]目的：GPU環境における高速なインデックス構築，高スループット検索，高再現率，低ストレージ要件の実現
- 大規模な高次元ベクトルデータに対する検索・推薦システムにおいて，近似最近傍探索の重要性が増している。
- グラフベースのインデックスは高い性能を示すが，構築時間とストレージコストが大きいという課題がある。
- クラスタベースの手法では，構築・スケーリングは効率的だが，高再現率を得るために多くのプローブが必要となる。
- 提案手法IVF-RaBitQは，クラスタベースの手法IVFと量子化手法RaBitQを統合し，GPUに最適化されたインデックス構築・検索パイプラインを実現した。
- cuVS Benchを用いた実験の結果，IVF-RaBitQは再現率約0.95において，最先端のグラフベース手法CAGRAと比較して2.2倍のQPSを達成し，インデックス構築速度も7.7倍向上した。
- また，クラスタベースの手法IVF-PQと比較して，平均2.7倍以上のスループットを達成し，再ランキングのために生のベクトルにアクセスする必要がない。
ハードウェアモデルチェックにおける補題生成のためのデータ駆動型フレームワークLeGend [cs.AR, cs.SE]目的：ハードウェアモデルチェックにおける補題生成のためのフレームワーク
- RTL設計の検証は，信頼性の高いハードウェア開発に不可欠であり，形式検証はその重要な手法である。
- 従来のIC3/PDRエンジンでは，誘導的一般化の性能がボトルネックとなり，大規模回路への適用が困難である。
- 本研究は，学習コストを分離し，高速な推論を実現することで，形式検証のスケーラビリティ向上を目指す。
- LeGendは，従来のグラフ分析パラダイムを，一度だけのグローバル表現学習に置き換える。
- ドメイン適応型自己教師あり学習モデルを用いてラッチ埋め込みを事前学習することで，回路全体の特性を捉える。
- 実験により，LeGendが最先端のIC3/PDRエンジンを高速化し，形式検証のスケーラビリティ向上に貢献することが示された。
確率的ナップサック問題 -- 半適応性のギャップと近似の改善 [cs.DS]目的：確率的ナップサック問題における半適応性ギャップの定量化と近似アルゴリズムの改善
- 組合せ最適化問題において，現実的な不確実性を考慮した確率的最適化が重要である。
- 適応的なアルゴリズムは計算コストが高く，非適応的なアルゴリズムとの性能差が課題である。
- 限られた適応性を持つアルゴリズムが，性能とコストのバランスを提供する可能性を探る。
- 本研究では，確率的ナップサック問題における適応性ギャップの上界と下界をより厳密に定めた。
- 1回のクエリによる適応性と非適応性の間の改善を定量化し，適応性の価値を明らかにした。
- 適応的な決定木を解析するための「簡略化-均等化-最適化」という3段階のアプローチを開発した。
今すぐ話せ：マルチパーティセッション型による安全なActorプログラミング [cs.PL]目的：Actorにおける安全な通信の実現
- 分散システムの信頼性確保が重要であり，Actorモデルはその有力な手段の一つである。
- Actor間の通信パターンが暗黙的であるため，通信の不一致やデッドロックなどのエラーが発生しやすい。
- マルチパーティセッション型を用いてActor通信の安全性を高め，エラーを早期に検出することを目指す。
- Matyは，静的なマルチパーティセッション型とActorの多重セッション参加を両立する初のActor言語設計である。
- セッション型により，予期せぬメッセージ送受信やセッションの停止を防ぐことが保証される。
- MatyはScalaで実装され，Savinaベンチマークや実用的なシナリオでその有効性が示された。
CIRCLE：現実世界の視点からのAI評価フレームワーク [cs.AI, cs.SE]目的：AI技術の現実世界における成果の評価手法
- AI技術の社会実装が進む中で，その影響を的確に評価する必要性が高まっている。
- 従来の評価指標はモデル性能に偏っており，実際の利用状況や制約を考慮できていない。
- 利害関係者の懸念を定量的な指標に落とし込み，現実的なAI評価を可能にすること。
- CIRCLEは，AIのライフサイクル全体を6段階で捉え，モデル性能と現実世界の成果のギャップを埋める。
- 現場テスト，レッドチーム，長期的な調査を組み合わせることで，場所ごとの状況に適応した系統的な知見が得られる。
- これにより，理論的な能力ではなく，現実的な影響に基づいたAIガバナンスが可能となる。
ビジネスロジック抽出と適応による文脈を意識したファンクショナルテスト生成 [cs.RO, cs.SE]目的：モバイルアプリケーションのビジネスロジックがユーザー要件と一致しているかを検証するためのファンクショナルテストの自動生成
- ソフトウェア品質確保において，ファンクショナルテストは不可欠であり，アプリケーションの信頼性向上に寄与する。
- 非構造化要件からの複雑なビジネスロジックの取得と再利用が困難であり，テストの自動化を阻害する要因となっている。
- ビジネスロジックとGUI環境のギャップを埋め，モバイルアプリケーションに特化したテストケースの生成を可能にすること。
- 提案手法LogiDroidは，2つのデータセットを用いた評価で，既存手法を大幅に上回るテスト成功率を示した。
- FrUITeRデータセットでは40%のファンクショナル要件をテスト成功させ，これは既存手法より48%以上の改善に相当する。
- Linデータセットにおいても65%のテスト成功率を達成し，既存手法と比較して55%以上の改善が見られた。
視覚言語モデルにおける臨床推論の保証：形式検証によるアプローチ [cs.CV, cs.AI, cs.CL, cs.LO]目的：視覚言語モデルの臨床推論における論理的な一貫性の検証
- 医療現場でのAI活用が期待される中，正確な診断支援は不可欠である。
- 既存の評価指標では，臨床的な言い換えを適切に評価できず，論理的誤りを検出できない。
- 視覚言語モデルの生成する報告書の論理的整合性を形式検証により保証すること。
- 提案手法は，自由記述のX線所見を構造化された論理表現に変換し，SMTソルバーを用いて検証する。
- 検証の結果，既存の指標では見過ごされていた，保守的な観察や確率的な幻覚といった推論エラーを特定した。
- ソルバーによる検証を組み込むことで，根拠のない幻覚を排除し，診断の正確性と精度を大幅に向上させた。
タスク指向の小規模言語モデルの高速化 [cs.CL, cs.AI, cs.IT, math.IT]目的：タスク特化型アプリケーションにおける小規模言語モデルの効率向上
- 大規模言語モデルと比較し，小規模言語モデルは効率的であり，リソース制約のある環境に適している。
- 高頻度な処理要求と低遅延性が求められる状況では，さらなる効率化が課題となる。
- タスクに適応したシーケンス圧縮により，小規模言語モデルの推論・学習効率を向上させる。
- TASC-ftは，トークナイザー語彙を拡張し，高頻度な出力n-gramを活用することで，ファインチューニングの効率を改善する。
- TASC-specは，タスクの出力コーパスからn-gramドラフトモデルを構築し，追加学習なしで推論時の効率を向上させる。
- 複数のタスクにおいて，提案手法は推論効率を維持しつつ，タスク性能を向上させることを示した。
確率的システムにおける強靭性戦略：勝利戦略を打ち破るにはどれだけのものが必要か [cs.GT, cs.AI, cs.LO]目的：不確実性下における強靭性戦略の検討
- 現実世界のシステムは不確実性に満ちており，ロバストな意思決定が不可欠である。
- システムの故障など，予期せぬ擾乱によって意思決定が覆される可能性が課題となる。
- 確率的環境下での強靭性を定量的に評価し，システム設計に役立つ知見を得る。
- 本研究では，確率的マルコフ決定過程における到達可能性と安全性という観点から強靭性を議論した。
- 擾乱量の集約方法として，期待値や最悪ケースを提示し，その影響を分析した。
- 無限に発生する擾乱に対処するため，発生頻度のような定量的な指標を用いることを提案した。
レイリーフェージングチャネルにおける重み付き不等誤り保護 [cs.IT, math.IT]目的：チャネル符号化における不等誤り保護の変種に関する研究
- 無線通信の信頼性を高めるため，誤り耐性技術は不可欠である。
- チャネル状態が時間とともに変動するフェージング環境下では，誤り訂正が困難となる。
- 受信側でチャネル状態情報が利用可能な状況下で，最適なブロック数と電力配分を決定すること。
- 提案する電力ドメイン重ね合わせ(PDS)方式が，直交リソース割当(ORA)方式よりも若干優れていることが示された。
- 漸近的な性能と有限ブロック長における性能の差は，両方式において約10%以内であることが数値的に確認された。
- 簡略化された電力・時間分割アルゴリズムは，より複雑なアルゴリズムと同等の性能を示すことがわかった。
距離空間における学習拡張スパニング木アルゴリズムの改善：メトリックフォレスト補完による手法 [cs.DS, cs.LG]目的：近似最小スパニング木の探索
- グラフ構造の最適化は，ネットワーク設計やデータ分析など，幅広い分野で重要である。
- 既存手法では，大規模なグラフに対する計算効率や近似精度の向上が課題となっていた。
- メトリックフォレスト補完の枠組みを一般化し，計算効率と近似精度のトレードオフを改善する。
- 提案手法は，既存のメトリックフォレスト補完アルゴリズムの近似比を2.62から2に改善した。
- 同様に，メトリックMST問題における近似比を$(2\gamma+1)$から$2\gamma$に改善した。
- 最悪ケースにおいては限界があるものの，インスタンス固有の近似精度は向上する。
ベルヌーイ源とハミング歪みに対する有限ブロック長レート歪み理論：チュートリアル [cs.IR, cs.HC, cs.IT, math.IT]目的：ベルヌーイ源とハミング歪みに対するレート歪み理論
- 現代の通信・ストレージシステムの根幹を支える情報圧縮において，理論的な限界を示す理論である。
- 従来のレート歪み理論は無限ブロック長を仮定しており，現実的なシステムへの適用が困難であった。
- 有限ブロック長におけるレート歪み特性を明らかにし，実用的な圧縮システム設計に貢献すること。
- ベルヌーイ源における古典的なレート歪み関数$RD = Hp - HD$を，基礎から導出した。
- Blahut-Arimotoアルゴリズムによる計算方法を示し，その理解を深めた。
- ブロック長$n$の増加に伴うレート歪み分散$V(D)$を解析し，有限ブロック長の影響を定量化した。
普遍代数学による項の一般化 [math.LO, cs.LO]目的：方程式論における項の一般化に関する基礎的なアプローチ
- 項の一般化は，論理学，代数学，および計算機科学における基本的な概念である。
- 既存の研究では，特定の理論に依存したアプローチが多く，一般的な解決策に欠ける。
- 普遍代数学の枠組みを用いて，項の一般化問題をより体系的に解決することを目指す。
- 項の一般化問題の一般性ポセットとその型（最小一般解の完全集合の濃度）を代数的に研究できることを示した。
- 特定の種類の代数的圏において，一般性ポセットの研究を1生成自由代数の合同格子への帰着が可能であることを示した。
- アベル群，可換モノイド，可換半群，束，ブール代数，クリーネ代数など，いくつかの種類の代数において，型が1である例を得た。
ホログラフィックMIMOのための波数領域信号処理：基礎，手法，今後の展望 [eess.SP, cs.IR, cs.IT, cs.SY, eess.SY, math.IT]目的：ホログラフィックMIMOにおける波数領域信号処理の基礎，手法，および将来の研究方向性
- 無線通信の容量拡大と通信品質向上に不可欠な技術分野である。
- 従来のMIMO理論は，亜波長アンテナ間隔における近傍場伝搬を十分に記述できない。
- 波数領域信号処理を通じて，より正確なチャネルモデルと効率的な信号処理を実現すること。
- ホログラフィックMIMOは，準連続アパーチャを可能にし，無線通信に新たなパラダイムをもたらす。
- 波数領域表現は，亜波長レベルの空間相関と球面波伝搬を物理的に整合性のある形で特徴づける基盤を提供する。
- 本稿では，多重化，チャネル推定，波形設計を含む波数領域信号処理技術の現状と今後の課題を概説する。
ブールエントロピーの関数的不等式 [math.PR, cs.IT, math.IT, math.OA]目的：ブールエントロピーとブールフィッシャー情報に関する関数的不等式
- 確率論や統計学において，不確実性の定量化と情報伝達の理論的基盤として重要である。
- 従来の確率分布に適用される不等式が，ブール分布のような離散的な設定でどのように変化するか不明であった。
- ブール分布における新たな情報量の概念を用いて，関数的不等式を確立し，中心極限定理への応用を目指す。
- ブールフィッシャー情報をド・ブリュインの恒等式を用いて定義し，その単調性を中心極限定理において検討した。
- ブールエントロピーとフィッシャー情報に関する様々な関数的不等式，特に対数ソボレフ不等式を導出した。
- ブール設定におけるスタイン不一致を導入し，ブール中心極限定理におけるベリー・エッセン型の境界を確立した。
一般化理論における超写像 [quant-ph, cs.LO, math.CT]目的：圏論的超写像のヨネダ補題の確立
- 量子理論の枠組みを超え，より一般的な物理理論を扱える手法の重要性が高まっている。
- 異なる物理理論において，超写像の適切な定義が曖昧であり，体系的な方法論が欠如していた。
- 圏論的超写像のヨネダ補題を用いることで，各理論に特化した超写像の定義を明確化し，一貫性を保つ。
- 圏論的超写像に対するヨネダ補題が，チャンネル・状態双対性を持つ物理理論において成立することが示された。
- この補題は，超写像の定義における推測や曖昧さを解消し，理論間の統一的な記述を可能にする。
- 箱世界における高階プロセスは，圏論的超写像の具体例として導出され，高階実量子理論の安定した定義が提示された。
マージ幅の変種と応用 [math.CO, cs.DM, cs.DS]目的：グラフのパラメータであるマージ幅の理論的性質とアルゴリズム
- グラフ理論は，ネットワーク分析や機械学習など，様々な分野に応用されており重要である。
- グラフの複雑さを測る既存のパラメータは，それぞれ異なる性質を持ち，統一的な議論が困難であった。
- マージ幅を用いて，グラフの構造をより包括的に捉え，効率的なアルゴリズムを開発することを目指す。
- マージ幅のいくつかの定義が同値であることが証明され，その概念の強固さが示された。
- マージ幅の近似アルゴリズムが初めて開発され，計算時間に関する上界が示された。
- マージ幅が制限されたグラフは，疎なグラフと密接に関連しており，幾何学的な性質を持つことが示された。
ツァリス完全確率的設計に向けて [math.OC, cs.IT, math.IT, stat.CO]目的：ツァリスダイバージェンスを用いた完全確率的設計の基礎
- ベイズ意思決定において，柔軟な問題設定が求められている。
- 標準的な連鎖律が劣加法性で置き換えられるため，逆向きの再帰計算が困難である。
- ツァリスダイバージェンスに基づく完全確率的設計における解の存在を確立し，アルゴリズムを提供する。
- 固定点反復を用いることで，解の構成的な証明と，それに収束するアルゴリズムを確立した。
- この研究は，ベイズ意思決定における問題設定の柔軟性を高める可能性を示す。
超複素位相復元 [eess.SP, cs.IT, eess.IV, math.IT]目的：超複素位相復元に関する方法論と応用
- 多次元信号の解析において，次元間の相関を明示的に活用する超複素信号処理は強力なツールである。
- 古典的な位相復元問題と同様に，超複素位相復元問題は，測定データの構造に依存し，解が困難になる場合がある。
- 光学イメージングや計算センシングにおける超複素位相復元の理論的枠組みとアルゴリズム開発を目指す。
- 超複素信号処理は，四元数や八元数を用いて多次元信号を効率的に処理できる。
- 超複素位相復元は，光学イメージングなどの分野で自然に現れ，新しいアルゴリズム開発の道を開く。
- 本稿では，超複素位相復元の最新の研究動向と，特に光学イメージングシステムへの応用について概説する。
高次ネットワークにおける伝播ダイナミクスにおけるクロスオーダー誘導行動 [physics.soc-ph, cs.IT, math.IT]目的：高次ネットワークにおける伝播ダイナミクスの行動
- 複雑な系の集団行動の理解は，社会システムや生物学的システムなど，多様な分野で重要である。
- 高次相互作用の構造的相関が，そのような行動にどのように影響するかは未解明な点が多い。
- 高次行動の指標を用いてダイナミカルールを特定し，高次機構を明らかにすることを目指す。
- 高次行動の指標として，情報理論に基づく指標の比較を行い，計算効率の良い指標が信頼性の高い指標となることを示した。
- 高次機構が存在しないオーダーにおいても行動の兆候が現れる「クロスオーダー誘導行動」という新たな現象を発見した。
- この行動は構造的相関のみによるものではなく，高次機構の周辺で普遍的に現れることが示された。
コッヘン＝スペッカー部分ブール代数における充足可能性の複雑性 [physics.ins-det, cs.SY, eess.SY, hep-ex, nucl-ex, quant-ph, cs.DC, cs.PF, quant-ph, cs.LO]目的：部分ブール代数における命題充足可能性問題の複雑性
- 量子力学の基礎理論を数学的に厳密に議論する上で，ブール代数の構造理解は不可欠である。
- 量子力学における隠れた変数理論の存在可能性を検証する際の計算複雑性が未解決である。
- 特定の種類の部分ブール代数における充足可能性問題を解決し，計算困難度を明らかにする。
- 非自明な部分ブール代数における充足可能性問題はNP困難であることが示された。
- 次元が2より大きい実ヒルベルト空間，3より大きい複素ヒルベルト空間では，充足可能性問題は実数の存在理論に対する完全問題である。
- 全てのヒルベルト空間，および全ての有限次元ヒルベルト空間における充足可能性問題は決定不能である。
超集中回路上の秘密分散 [cs.RO, cs.SY, eess.SY, cs.CC, cs.CR, cs.IT, math.CO, math.IT]目的：閾値秘密分散スキームの算術回路複雑性
- 情報セキュリティにおいて，秘密を安全に分散・共有する技術は重要である。
- 既存の秘密分散スキームの効率性，特に算術回路の複雑性が課題となっている。
- 秘密分散における算術回路の複雑性評価手法を確立し，効率的なスキーム設計に貢献する。
- 秘密分散を計算する算術回路は，超集中回路のような接続性を持つ必要があることが証明された。
- 入力から秘密入力を除去した場合も，$(t-1, n)$-集中回路の性質を保つことが示された。
- これらの性質を満たすグラフは，閾値秘密分散スキームの計算回路に変換可能であることが証明された。
普遍量化が自動構造の決定を困難にする [cs.LO]目的：自動構造における普遍量化子の除去の困難性
- 自動構造は理論決定可能であり，計算機科学の基礎理論で重要である。
- 普遍量化子の除去には指数関数的なコストがかかる場合があり，効率性が課題である。
- 普遍量化子の除去における計算量の上界を明確にすることを目指す。
- 自動関係を表すNFAにおいて，普遍量化子を一つ除去した後の最小NFAが指数関数的に増加するファミリーが存在することが示された。
- この言語が空であるかどうかの判定はEXPSPACE完全である。
- この結果は，固定数の量化子交代を持つB\"uchi算術の一部のフラグメントに対する新たな計算量の下界を導く。
リュウディッグ原子受波器の活用：量子物理学から無線通信へ [cs.IT, eess.SP, math.IT]目的：リュウディッグ原子受波器を無線通信システムに統合する可能性
- 無線通信技術は現代社会の基盤であり，その高性能化は社会の発展に不可欠である。
- 既存の無線通信システムは，量子的な限界に近づきつつあり，性能向上の余地が限られている。
- 量子物理学の原理を応用し，次世代の高性能な無線通信システムの実現を目指す。
- LO搭載型受波器は，標準的な量子限界下において，従来のRF受波器と比較して約40～50dBのSNR向上を達成した。
- このSNRの改善により，シンボル誤り率が低減され，高次の変調方式を用いた効率的かつ信頼性の高い伝送が可能となる。
- 本研究で開発された無線モデルは，既存の信号処理手法との互換性を確保し，実用的な無線システムへの実装に貢献する。
ペルシャ絨毯に着想を得たソートアルゴリズム：Persiansort [cs.DS]目的：新たな安定ソートアルゴリズム
- データ処理において，効率的なソートは不可欠であり，計算資源の最適化に繋がる。
- マージソートは，ほぼソート済みのデータや部分的にソート済みのデータに対し，性能が低下する場合がある。
- マージソートの弱点を克服し，メモリ効率を向上させるソートアルゴリズムを提案する。
- Persiansortは，マージソートと比較して，ほぼソート済みのデータや部分的にソート済みのデータにおいて優れた性能を示す。
- Persiansortは，マージソートよりも少ない補助メモリを使用し，ランを活用する。
- 実験結果から，Persiansortは柔軟性と強力性を持ち，様々なデータに対して有効な代替となりうる。
線形レイアウト：効率的なテンソル計算のための堅牢なコード生成（$\mathbb{F}_2$を使用） [cs.DC, cs.PL, cs.AR, cs.DC, cs.PF]目的：テンソルレイアウトの効率的なコード生成
- 深層学習のワークロードにおいて，効率的なテンソル計算は不可欠であり，性能向上の鍵となる。
- 従来のテンソルレイアウト手法は，柔軟性と性能の両立が難しく，複雑なアルゴリズムやハードウェアへの対応が課題である。
- テンソルレイアウトを線形代数で表現し，変換の計算量を削減することで，効率的なレイアウト設計を可能とする。
- 線形レイアウトは，テンソルレイアウトを$\mathbb{F}_2$上の線形代数でモデル化する新しいアプローチである。
- この手法により，汎用的なレイアウト定義とレイアウト間の変換が可能になり，既存手法の指数関数的な複雑さを回避する。
- Tritonとの統合により，個々のTriton演算およびTritonで記述されたカーネルの最適化が実証され，コンパイラバックエンドの工数削減とバグ修正にも貢献した。
格子と線形符号に対するボロノイ球面累積分布関数：量子化と符号化のための新しい限界 [cs.IT, math.IT, math.NT]目的：格子および線形符号のボロノイ球面累積分布関数に関する下限値の導出
- 通信やデータ圧縮において，効率的な符号化・量子化は不可欠であり，その性能向上は重要な課題である。
- 格子や線形符号の性能評価には複雑な計算が必要であり，現実的な時間で厳密な限界値を求めるのが困難である。
- ボロノイ球面累積分布関数を用いた新しい下限値を導き，格子や線形符号の性能をより簡便に評価することを目指す。
- 格子と線形符号のボロノイ球面累積分布関数に対する新しい下限値を，有限次元において導出した。
- この下限値は，加法性ホワイトガウスノイズチャネルにおけるランダム格子の誤り確率や，二値対称チャネルにおけるランダム線形符号のハミング歪みに適用できる。
- 実用的な格子や線形符号の性能は，対応する球体やハミング球と比較して，それほど大きく劣らないことが示された。
- 1
- 2