arXiv雑要約
プログラム - 2026/03/13 公開
ペトリのサイクロイドの還元と合成について [cs.DC, cs.LO]目的：ペトリのサイクロイドの構造解析とパラメータ合成
- プロセスモデリングの基礎であり，システム理論における重要な要素である。
- サイクロイドの構造解析が困難であり，同型性判定の効率的な手法が存在しない。
- サイクロイドの還元システムを定義し，パラメータ合成による同型性判定手法を確立する。
- サイクロイドの還元システムが定義され，不可約なサイクロイドの性質が証明された。
- ペトリネット構造からサイクロイドパラメータを合成する方法が導出された。
- これにより，サイクロイドの同型性判定のための効率的な決定手順が可能となった。
PRISMのための確率的振付言語 [cs.LO, cs.PL]目的：並行確率系モデリング・解析のための振付フレームワーク
- 並行システムの設計は複雑であり，誤りの混入を防ぐ必要がある。
- 従来のモデリング手法では，システム全体の振る舞いを把握しにくい場合がある。
- システム全体の相互作用を明確にし，より信頼性の高いシステム構築を目指す。
- 本研究では，PRISMモデルチェッカを基盤とした並行確率システムの振付フレームワークを提案した。
- 振付言語を用いることで，システム全体の相互作用を明確化し，理解とエラー検出を容易にした。
- 提案言語をPRISM言語へ形式的に変換し，モデル検査による検証を可能とした。
特徴重要度を考慮した効率的かつ調整可能な画像伝送のための深層結合ソースチャネル符号化 [cs.IT, math.IT]目的：計算効率と調整可能性を両立した画像伝送のための特徴重要度を考慮した深層結合ソースチャネル符号化モデル
- 深層学習による通信性能向上は目覚ましいが，その計算コストが実用化の障壁となっている。
- 特定のアプリケーションでは，計算複雑さを動的に調整する能力が求められる。
- 計算コストを削減しつつ，効率的な特徴表現と複雑な特徴相関の捕捉を目指す。
- FAJSCCは，空間軸とチャネル軸ごとに演算を行うことで計算コストを大幅に削減し，優れた画像伝送性能を達成した。
- 選択的変形自己注意機構により，重要度の高い特徴にのみ自己注意を適用することで，効率的に特徴間の関係を捉えた。
- エンコーダとデコーダで重要領域の数を独立して制御できる点が特徴であり，計算資源の調整が可能となった。
- デコーダにおけるノイズ特徴の理解が最も計算コストを要すると初めて示された。
より単純な普遍最適ダイクストラ法 [cs.DS]目的：普遍最適性を持つダイクストラ法の提案
- グラフアルゴリズムの性能評価は重要であり，特に大規模グラフにおける効率的な最短経路探索は不可欠である。
- 従来の最悪ケース解析では捉えきれない，グラフ構造や辺の重みの分布の影響が無視されている。
- 普遍最適性という新たな指標に基づき，グラフ構造に依存しない最適なダイクストラ法を開発する。
- 普遍最適性を達成するためのヒープ構造に「タイムスタンプ最適性」という新たな性質を導入した。
- タイムスタンプ最適性ヒープは定義と実装が容易であり，既存の手法よりも簡潔な証明が可能となった。
- 適切なヒープを用いることで，ダイクストラ法が普遍最適となることを示す簡潔な証明を提供した。
極限エッジにおける並列計算の時空間解析 [cs.PF, cs.IT, math.IT]目的：極限エッジコンピューティングの性能評価のための数学モデル
- 低遅延処理の要求が高まり，計算資源をエンドユーザー近接に配置するエッジコンピューティングが重要である。
- 極限エッジデバイスの配置のランダム性，計算能力の限界，故障リスクなどが性能評価の課題となっている。
- 時空間的な数学モデルを用いて，極限エッジコンピューティングの遅延と信頼性を分析し，最適化を図る。
- 提案モデルは，確率幾何学と吸収型連続時間マルコフ連鎖を用いて，通信と計算の複雑な相互作用を捉えている。
- タスクの分割方法を最適化することで遅延を最小化できることが示された。
- 極限エッジデバイスの利用可能性が限られている場合，MECとの連携によってシステムの応答性が向上することが確認された。
制約論理プログラミング言語から形式検証ツールへ [cs.LO]目的：状態機械の検証環境
- ソフトウェアの信頼性確保が重要であり，形式手法による検証が不可欠である。
- 状態機械の設計・実装と検証が分断され，一貫性が失われる場合がある。
- 状態機械をプログラムと仕様の両方として扱える検証環境を構築する。
- 制約論理プログラミング言語{log}を拡張し，形式検証環境を構築した。
- 状態機械の記述言語，実行環境，検証条件生成器，自動検証，テストケース生成を統合した。
- プログラムコードがそのまま仕様として利用可能な，シームレスな検証システムを実現した。
整数の累乗を法とした逆元について [cs.DS]目的：整数 $n$ の累乗を法とする逆元の計算手法
- 暗号化や情報処理において，逆元計算は基本的な演算であり，その効率化は重要である。
- 一般的な逆元計算は計算コストが高く，特に大きな数の逆元は課題であった。
- 任意の整数 $n$ とその累乗を法とする逆元計算を効率的に行うアルゴリズムを開発する。
- 本研究では，学校で習う乗算の考え方を応用し，効率性と一般性を両立したアルゴリズムを設計した。
- 特に，$n=2^{64}$ のようにコンピュータアーキテクチャに組み込まれた演算を活用することで，大幅な性能向上が確認された。
- さらに，素数の累乗を法とする逆元計算の既存手法を一般化し，より広範なモジュラスに対応するアルゴリズムを提案した。
埋め込み可能グラフのk-平面およびファン交差描画と変換 [cs.CL, cs.CG, cs.LO, math.CO]目的：埋め込み可能グラフのFO変換とファン交差描画間の関係性
- グラフ理論は，ネットワーク構造の分析に不可欠であり，様々な応用分野で重要である。
- グラフの描画可能性は，その可視化やアルゴリズム設計に影響するため，重要な研究課題である。
- グラフの描画可能性と論理変換の関連性を明らかにすることで，新たな理論的展開が期待される。
- 表面Σに埋め込むグラフのFO変換と，そのファン交差描画の間に，双方向の関係が存在することが示された。
- 特に，グラフの最大次数が限られている場合，この関係性は，エッジあたりの交差数を制限するk-平面性などの描画問題と関連する。
- 3Dグリッドグラフはk-平面になり得ないことを示すように，この関係性を用いて変換不可能性と描画不可能性を相互に導き出すことができる。
一度限りの全探索：LLM合成ジェネレーターによるスケルトン誘導SMTソルバーファジング [cs.SE, cs.AI, cs.PL]目的：SMTソルバーのバグ検出
- 現代のシステムやプログラミング言語研究の基盤であり，その正確性が重要である。
- ソルバーの機能が急速に進化しており，既存のテスト手法ではバグを発見しにくい。
- LLMを活用し，構文的に有効で意味的多様なテスト式を効率的に生成する。
- Once4Allは，LLMを用いてSMT理論のコンテキストフリー文法を自動的に抽出し，再利用可能な項のジェネレーターを合成する。
- 既存の式の構造的スケルトンに，LLM合成ジェネレーターによって生成された項を反復的に埋め込むことで，構文の有効性を保証しつつ意味的多様性を促進する。
- Z3とcvc5の2つの主要なSMTソルバーで評価した結果，43件の確認済みバグを特定し，そのうち40件は開発者によって修正された。
定量的抽象の基礎理論：随伴，双対性，確率的システムの論理 [cs.LO, cs.AI, cs.LG]目的：確率的システムの定量的抽象に関する理論
- 確率的システムの解析と制御は重要であり，その複雑さに対処する必要がある。
- 大規模または連続的な状態空間により，正確な解析が困難であるという問題がある。
- 行動擬距離に基づく，詳細かつ普遍的な抽象手法を確立することを目指す。
- 圏論，余圏論，定量的論理，最適輸送を統合した統一的な抽象理論を構築した。
- 定量的μ-calculusが行動擬距離を表現可能であり，計算に適した部分集合が存在することを示した。
- 有限状態モデルを用いた実験により，理論的予測との整合性，および収縮特性と構造安定性が確認された。
再構成可能インテリジェント表面を用いた空中CNN [cs.IT, eess.SP, math.IT]目的：再構成可能インテリジェント表面（RIS）と送受信機設計を活用し，無線環境中で畳み込みニューラルネットワーク（CNN）層の演算をエミュレートする新たなパラダイム
- 無線通信環境における機械学習の応用は，低遅延かつプライバシー保護された推論を可能にするため重要である。
- 従来の無線通信では，計算能力が限られており，複雑なCNNの空中演算は困難であった。
- RISを用いて無線伝搬環境を制御し，CNNの演算を効率的に実現することで，その課題を克服する。
- 提案するAirCNNアーキテクチャは，良好な分類性能を達成できることがシミュレーションによって示された。
- Conv2dにおいて，MISO構成はMIMO構成と比較して一貫して優れた性能を発揮する。
- 複数のRISを使用することで，特に見通し回線（LoS）環境において，性能が大幅に向上する。
境界境界アートギャラリー問題のNPメンバーシップ [cs.RO, cs.SY, eess.SY, cs.CG, cs.DS]目的：境界境界アートギャラリー問題における最小ガード配置
- アートギャラリー問題は，警備員配置の最適化という重要な問題設定を提供する。
- 境界境界アートギャラリー問題の計算複雑性は未解決であり，NPと$\exists \mathbb{R}$-完全の中間に位置すると考えられていた。
- 本研究では，境界境界アートギャラリー問題がNPに属することを示す。
- 境界境界アートギャラリー問題は，穴を持つ多角形に対してもNPに属することが示された。
- 連続制約充足問題に対する制約伝播手続きを開発し，その証明に利用した。
- この問題の解は無理数座標を必要とする場合があり，離散化は困難であることが示唆された。
LLM生成コードの品質保証：非機能的品質特性への対処 [cs.SE, cs.AI]目的：LLM生成コードの非機能的品質特性に関する理解と品質保証メカニズムの統合
- ソフトウェア開発におけるLLMの利用拡大に伴い，生成コードの品質が重要課題となっている。
- 従来の評価は機能的正確性に偏り，セキュリティや保守性といった非機能的品質特性の評価が不十分である。
- 学術的焦点，業界の優先順位，モデルの挙動のずれを明らかにし，品質保証の必要性を訴える。
- 既存研究はセキュリティ，効率性，保守性に重点を置いているが，他の品質特性は研究が不足している。
- 実務家は保守性と可読性を優先し，生成コードが技術的負債の蓄積を加速させる可能性を指摘している。
- 実用的なソフトウェアエンジニアリング環境では，プロンプトによるNFQCの最適化は不安定であることが示された。
低いスキャン幅を活用してソフトポリトミーを解決する [cs.DS]目的：系統系統ネットワークにおけるソフトツリー包含問題のアルゴリズム
- 生物の進化過程を理解する上で，系統樹やネットワークは不可欠なツールである。
- 系統樹の信頼性の低い枝が，誤った結果を導く可能性がある。
- 不確実性を考慮したソフトツリー包含問題を効率的に解決することを目指す。
- 提案アルゴリズムは，時間計算量 $2^{O(\Delta_T \cdot k \cdot \log(k))} \cdot n^{O(1)}$ でソフトツリー包含問題を解く。
- 実際の系統ネットワークはスキャン幅が低いことが多く，このアルゴリズムはその特性を利用している。
- この研究は，生物学的データの分析における信頼性を向上させる可能性がある。
VarParser：LLMベースのログ解析における変数の潜在能力の解放 [cs.RO, cs.CL, cs.SE]目的：LLMベースのログ解析における変数の活用
- 大規模オンラインサービスシステムの障害診断には，ログが不可欠な情報源である。
- 既存のLLMベースのログパーサーは定数部分に焦点を当て，変数の重要性を見過ごしている。
- 変数に着目した解析戦略により，ログ解析の精度と効率を向上させることを目指す。
- VarParserは，変数貢献サンプリング，変数中心の解析キャッシュ，適応的な変数認識型インコンテキスト学習により，ログの変数部分を効率的に捉える。
- 変数ユニットを導入することで，豊富な変数情報を保持し，ログ解析結果の完全性を高める。
- 大規模データセットでの評価により，VarParserが既存手法と比較して高い精度を達成し，LLMの呼び出しコストを削減することが示された。
ハイパーグラフマッチングに対する効率的な並列アルゴリズム [cs.DS]目的：ハイパーグラフにおける最大マッチングの計算
- グラフ理論は，ネットワーク分析や最適化問題など，幅広い分野に応用される重要な研究領域である。
- 大規模なハイパーグラフのマッチング計算は，計算コストが高く，実用的な時間で解くことが困難である。
- 並列アルゴリズムを用いることで，計算時間を短縮し，大規模なハイパーグラフのマッチング問題を効率的に解決することを目指す。
- 提案アルゴリズムは，CRCW PRAMモデルにおいて，$O(\log{m})$時間，$O(\kappa \log {m})$の作業量で，最大マッチングを求める。
- GPUを用いた実験により，シングルコアCPUアルゴリズムと比較して，最大76倍の高速化が確認された。
- アルゴリズムの近似精度は$1/d$であることが証明された。
LLMは帰納的定義を含む制約解決に役立つか？ [cs.LO, cs.AI]目的：帰納的定義を含む制約解決へのLLMの応用
- 形式手法は，ソフトウェアやハードウェアの検証において重要な役割を果たす。
- 帰納的定義を含む制約問題は，既存のソルバーでは解決が困難である。
- LLMを活用し，帰納的定義の推論に必要な補助的な補題を生成すること。
- 提案手法では，LLMが反復的に推測を生成し，ソルバーがその妥当性を検証する。
- 実験結果から，提案手法は既存のソルバーの性能を向上させ，約25%多くの問題を解決できることが示された。
- 特に，代数的データ型や漸化式を含む制約問題において有効性が確認された。
LLM安全評価ベンチマークの影響力とコード品質に関するベンチマーク研究 [cs.CR, cs.AI, cs.SE]目的：LLM安全評価ベンチマークにおける影響力とコード品質の多角的評価
- LLMの安全性研究が急速に進展しており，進捗状況を把握することが重要である。
- ベンチマークの普及要因が不明確であり，学術的な影響力やコード品質の系統的な評価が不足している。
- LLM安全評価ベンチマークの信頼性と有効性を高めるための改善点を発見すること。
- ベンチマーク論文は，被引用回数などの学術的な影響力において，非ベンチマーク論文との有意な差は見られなかった。
- 著者の知名度は論文の影響力と相関するものの，コード品質との有意な相関は認められなかった。
- リポジトリの利用準備完了率は39％，完全なインストールガイドがあるのは16％，倫理的配慮はわずか6％にとどまるなど，改善の余地が大きい。
有限体上における小行列乗算の複雑度下界：バックトラッキングと置換による手法 [cs.CC, cs.DS]目的：有限体上における行列乗算の双線形複雑度下界の証明手法
- 行列乗算は，科学技術計算の根幹をなす演算であり，効率的なアルゴリズムの開発が重要である。
- 既存の手法では，行列乗算の複雑度下界の証明が困難であり，長年の未解決問題となっていた。
- バックトラッキングと置換法を組み合わせることで，既存手法の限界を打破し，より厳密な下界を導くことを目指す。
- 本研究では，2×2行列の乗算における双線形複雑度下界を，古典的な議論と置換法を組み合わせた体系的な探索により証明した。
- 特に，$3 \times 3$行列の乗算において，$\mathbb{F}_2$ 上で少なくとも$20$の複雑度が必要であることを示した。これは既存の下界$19$を改善する結果である。
- 証明は，ノートPC上で1.5時間以内に自動的に発見され，数秒で検証された。この手法は計算可能性においても優れている。
d-DNNF モジュロ理論：多項式時間SMTクエリのための汎用フレームワーク [cs.RO, cs.DB, cs.LO]目的：SMTレベルでのd-DNNFコンパイルとクエリの活用
- 知識表現における効率的な推論は，AIの多様な応用において重要である。
- SMTソルバーは表現力が高い反面，複雑な問題に対して計算コストが高い。
- d-DNNFを用いてSMT問題を効率的に解くための基盤を提供する。
- 本研究では，SMT問題をd-DNNFにコンパイルする新しい手法を提案した。
- 事前に計算された理論補題を組み合わせることで，SMTクエリを命題レベルに還元する。
- 提案手法は様々な理論とd-DNNF形式に対応し，実装が容易である。
エピステミック・サポートポイント・フィルター：ジェーンズの最大エントロピーとポッパの反証可能性 [cs.RO, cs.IT, cs.AI, cs.SY, eess.SY, math.IT, stat.ME]目的：エピステミックに許容可能な証拠のみフィルターの中で，エピステミック・サポートポイント・フィルター（ESPF）の唯一最適な再帰的推定器であることの証明
- 推定理論は，不確実性下での意思決定や予測に不可欠であり，様々な分野で利用されている。
- 従来のフィルターは，事前分布に依存し，真実を仮定してしまう傾向があり，反証可能性を欠く場合がある。
- ESPFは，反証可能性を重視し，証明されていない可能性を探求することで，よりロバストな推定を実現する。
- ESPFの最適化基準は，ホルダー平均階層におけるαカット体積族の対数幾何平均であり，ポッパのミニマックス境界とカルマンMMSE基準を統一的に説明する。
- 可能性と確率は競合する枠組みではなく，異なるαカット幾何学のもとで評価された同一の無知関数である。
- ESPFの最適化基準のガウス特殊化としてカルマンフィルターが導出され，独立した発明ではないことが示された。
水中光ワイヤレス通信におけるエネルギー効率的な受信のためのオフセットポインティング：モデリングと性能解析 [cs.IT, math.IT]目的：水中光ワイヤレス通信におけるエネルギー効率の向上
- 将来の空海一体型ネットワーク構築に不可欠な技術であり，海洋環境下でのデータ伝送手段として重要性が高まっている。
- 水中環境特有の空間的ランダム性や厳しいエネルギー制約が，ネットワークの寿命と持続可能性を制限する課題となっている。
- 受信機の意図的な位置ずれ（オフセットポインティング）により，受信電力の最大化とエネルギー効率の向上を目指す。
- オフセットポインティング戦略は，従来の完全なアライメント追求とは異なり，アパーチャ全体での受信電力を最大化する効果が示された。
- エネルギー効率最適化問題を解くことで，オフセット戦略がシステムの堅牢性を高め，顕著な性能向上をもたらすことが確認された。
- シミュレーション結果は，オフセットポインティングによって目標BERを達成するために必要な送信電力を約20％削減できることを示している。
高次元エクスパンダ上の対称な自己双対量子符号 [quant-ph, cs.IT, math.IT]目的：高次元エクスパンダ上の定率高対称な自己双対qLDPC符号の構成
- 量子誤り訂正は，量子コンピュータの実現に不可欠な技術である。高性能な量子符号の開発が求められている。
- 既存の量子符号は，耐誤り性や論理ゲートの実装に課題がある。特に，高次元エクスパンダを用いた符号は少ない。
- 高次元エクスパンダを用いて，耐誤り性を持つ論理ゲートを効率的に実装可能な量子符号を開発すること。
- 高次元エクスパンダ上に構築された自己双対qLDPC符号ファミリーを初めて実現した。
- この符号は，豊富な対称性群を持ち，その次数は量子ビット数を超える。
- 対称性から，置換や対角ゲートなど，多くの論理生成子を特定し，耐誤り性のある論理ゲート操作を可能にした。
ノイズ下における二部潜在空間グラフの情報理論的閾値 [math.PR, cs.IT, math.IT, math.ST, stat.TH]目的：二部ランダム幾何グラフにおける潜在幾何形状の検出可能性
- グラフ構造解析は，ネットワーク科学，機械学習など広範な分野で不可欠である。
- ノイズや情報の欠如下でのグラフ構造の検出は困難であり，理論的限界が不明確である。
- ノイズ環境下での潜在幾何形状検出の厳密な情報理論的閾値を明らかにすること。
- マスクが事前にわかっている場合と隠されている場合で，検出問題の難易度が大きく異なることが示された。
- ガウス型ランダム幾何グラフにおける符号付き部分グラフ数の評価に，新たなフーリエ解析的枠組みが導入された。
- これまでの研究よりも広い範囲のサブグラフに対して，より厳密な情報理論的閾値が導出され，計算統計的ギャップの存在が否定された。
量子滑らかエントロピーの再考：量子プライバシー増幅の厳密なワンショット解析 [quant-ph, cs.NI, quant-ph, cs.IT, math-ph, math.IT, math.MP]目的：量子サイド情報に対するランダム性抽出（プライバシー増幅）の厳密な評価
- 量子情報理論は，量子コンピュータや量子通信といった次世代技術の根幹をなす分野である。
- プライバシー増幅における既存の評価は緩く，厳密な理論的限界が未解明であった。
- 本研究は，プライバシー増幅における情報抽出量の厳密な上限と下限を確立することを目指す。
- 新しい滑らか条件付きエントロピーの定義と，測定を通じた古典的な滑らかダイバージェンスの導入により，既存の限界を強化した。
- 測定された滑らかRényi相対エントロピーの等価な変分表現を発見し，状態だけでなく非正のHermitian演算子に対しても滑らか化を可能にした。
- これにより，残余ハッシュ補題を改良し，抽出可能なランダム性に関する滑らかな最小エントロピーの限界を大幅に改善，最適なプライバシー増幅の誤差指数を導出した。
マイクロ拡散圧縮 - オンライン確率推定のためのバイナリツリー Tweedie デノイジング [stat.ML, cs.IT, cs.LG, math.IT]目的：適応統計モデルによる確率推定の改善
- データ圧縮は，情報伝送や保存において不可欠であり，効率的な圧縮手法の確立が重要である。
- 従来の圧縮手法では，稀な文脈における確率推定の精度が低く，圧縮効率を損ねることがある。
- この研究は，確率推定におけるバイアスを修正し，圧縮効率の向上を目指す。
- Midicothは，適応統計モデルの確率推定を改善するマイクロ拡散デノイジング層を導入したロスレス圧縮システムである。
- バイナリツリー分解により，校正問題の複雑さを軽減し，少ないデータ量で正確な補正項を推定することを可能にする。
- マイクロ拡散層は，最終的な確率分布の系統的バイアスを修正し，圧縮性能を向上させる。
- 1
- 2