arXiv雑要約
プログラム - 2026/05/12 公開
Rustシステムにおける証明合成のコスト削減：シード学習セットの拡張によるアプローチ [cs.SE]目的：Rustシステムの証明合成におけるコスト削減
- システムソフトウェアの信頼性向上が重要であり，形式検証はその不可欠な手段である。
- 大規模言語モデルによる証明生成は，学習データ不足と高い推論能力が課題である。
- Verus検証ツール向けの大規模データセットを構築し，証明合成の効率化を目指す。
- VeruSynパイプラインにより，690万件のRustプログラムとその形式証明を合成した。
- 生成されたデータセットを用いてQwen2.5-Coder-32B-Instructモデルをファインチューニングした結果，商用モデルと比較して優れたコストパフォーマンスを発揮した。
- o4-miniや既存の研究モデルと比較しても，大幅な性能向上が確認された。
新たな測度変換不等式のクラスによる情報理論的汎化誤差の上界の強化 [cs.IT, cs.LG, math.IT]目的：汎化誤差の上界を強化するための新たな測度変換不等式の提案
- 機械学習，情報理論，統計学において，確率的保証を得る上で不可欠なツールである。
- 既存の測度変換不等式では，十分な精度が得られず，よりタイトな上界が求められていた。
- データ処理不等式に基づき，汎化誤差の上界をより厳密に導出することを目指す。
- 提案された測度変換不等式は，f-divergence，Rényi divergence，α-mutual informationなど，広範な情報測度に関して有効である。
- これにより，PAC-Bayesian理論，差分プライバシー，データ記憶などの分野で，より強力な保証を得ることが可能となった。
- 既存の結果をより簡潔な分析によって再現しつつ，汎化誤差の上界を強化することに成功した。
Vizing連鎖を超えて：動的辺彩色における改善されたリコース [cs.FL, cs.DS]目的：動的グラフにおける$(\Delta+C)$辺彩色維持におけるリコースの最小化
- グラフ理論はネットワーク設計や最適化問題に応用され，実世界の問題解決に不可欠である。
- 動的グラフにおける辺彩色変更時のリコース（再彩色辺数）削減は，計算効率上の課題である。
- 本研究は，大規模パレットにおいてリコースの理論的上限を確立し，効率的な辺彩色維持アルゴリズムを提供する。
- 新しいデータ構造「シフト木」を用いて，多岐にわたる再彩色候補を追跡し，適切な彩色を維持する。
- パレットサイズが大きい場合（$C \ge 0.62\Delta$），リコースのタイトな上限 $O\big( \frac{\log n}{\log \frac{\Delta+C}{\Delta-C}}\big)$ を達成した。
- 低アーボリティグラフでは，$C \ge (2+\epsilon)\alpha - 1$ で以前のアルゴリズムと同等のリコースを実現した。
エージェントAIコーディングツールの設定：探索的研究 [cs.HC, cs.SE]目的：エージェントAIコーディングツールの設定メカニズムに関する実態
- ソフトウェア開発の効率化が求められており，AI技術の活用が不可欠である。
- エージェントAIツールの設定方法が標準化されておらず，開発者の負担が大きい。
- 開発者の設定実態を把握し，効果的な設定方法の確立に貢献すること。
- エージェントAIツールの設定には8つのメカニズムが存在し，Context Filesが最も普及していることが判明した。
- SkillsやSubagentsといった高度なメカニズムの利用は限定的であり，静的な指示に依存する傾向にある。
- Claude Codeのユーザーは，他のツールと比較して幅広い設定メカニズムを利用している。
ポアンカレ円盤上のガウス発散の等距不変量化 [cs.IT, math.IT, math.PR]目的：ガウス測度の間の発散の定量化
- 情報理論において，確率分布間の差異を測ることは重要である。
- 既存の発散の定量化法は，幾何学的構造との関連性が不明確な場合がある。
- ポアンカレ円盤の等距不変量を用いた，新たな発散の定量化を試みる。
- 球面上のヘリンガー距離と，ポアンカレ円盤の等距不変量との間に幾何学的な双対性が存在する。
- L2埋め込みされた等距不変量を，ガウス測度の発散の定量化に利用することを提案する。
- 本研究は，情報理論における発散の定量化に新たな視点を提供する。
形状（曲率）の変化を用いた重要ネットワークエッジの特定について [cs.DS, cs.CC]目的：ネットワークにおける重要エッジの検出
- 近年，ネットワーク構造解析に多様な応用が広がっている。
- アルゴリズムと計算複雑性コミュニティでの研究が比較的少ない。
- Ollivier-Ricci曲率を用いた重要エッジ検出の計算複雑性を解析する。
- 本研究は，ネットワークの形状に基づく重要エッジ検出のための形式的なフレームワークを提示する。
- 検出問題と，二部グラフにおける完全マッチングや完全マッチングブロッキング問題との関連性を示す。
- 組み合わせ最適化問題との繋がりも明らかになった。
認識的能動性の維持：責任あるAIのためのブラウワー的確実性制約 [cs.CY, cs.AI, cs.LG, cs.LO]目的：責任あるAIのための確実性制約
- 民主主義社会における認識的能動性は，情報への批判的吟味と正当化を必要とするため重要である。
- 生成AIは，不確実性を過度に説得力のある情報に見せかけることで，この正当化のプロセスを阻害する可能性がある。
- AIの出力に正当性の証明を伴わせることで，認識的能動性を保護し，誤った情報拡散を防ぐことを目指す。
- 生成AIが主張や否定を行う場合，公開され検証可能な正当性の証明書を提供することを義務付ける制約を提案する。
- この制約は，AIの出力状態を「主張」「否定」「未定」の3つに分類し，真偽値ではなく，発言の正当性を示すものとする。
- この設計により，AIの出力は信頼度だけでなく，検証可能な根拠に基づいて判断されるようになる。
RTL生成のためのLLMの評価：品質，信頼性，および失敗モード [cs.AR, cs.SE]目的：RTL生成におけるLLMの品質，信頼性，および失敗モードの評価
- RTL生成はハードウェア設計の自動化において重要であり，設計効率と開発期間の短縮に貢献する。
- 既存のLLM評価は機能的な正しさのみに焦点を当てており，合成や実装品質といった重要な側面が評価されていない。
- 本研究は，RTL生成におけるLLMの合成・実装品質を定量的に評価し，課題を明らかにすることを目的とする。
- 32のLLMを評価した結果，Gemini-3-Proが最も高いHardware Quality Index (HQI) を示し，87.5%のカバー率と85.1のHQIを達成した。
- 上位14モデルはHQIが66を超える一方，3モデルは43を下回っており，モデル間の性能差が大きいことが示された。
- 複数回の試行による性能向上と単一試行の品質には差があり，エージェント型パイプラインへの統合に課題が残る。
- 失敗解析の結果，プロプライエタリモデルは後工程でエラーが発生しやすく，オープンモデルはモジュールラッパーの欠如や非合成可能な記述が原因で早期に失敗する傾向が明らかになった。
代表集合を用いた腎臓交換におけるより高速な決定性アルゴリズム [cs.DS]目的：腎臓交換問題に対する解決策
- 臓器移植の効率化は医療における重要な課題であり，多くの患者の生活の質を向上させる。
- 既存のアルゴリズムは計算時間が指数関数的に増加し，大規模な問題への適用が困難である。
- 本研究は，より効率的なアルゴリズムを開発し，移植可能な患者数を最大化することを目指す。
- 代表集合という手法を導入することで，既存のアルゴリズムよりも大幅に計算時間を短縮することに成功した。
- 本アルゴリズムは決定性であり，$O^*(6.855^t)$時間で問題を解決できることが示された。
- これにより，より多くの患者に腎臓移植の機会を提供できる可能性が広がる。
分散型ドローン群におけるワイヤレスブロードキャストゴシップ：成功確率，収縮，最適なアロハ [cs.IT, math.IT]目的：分散型ドローン群における平均保存ブロードキャストゴシップの解析
- ドローン群は，広範囲なタスクにおいて重要な役割を果たすため，その効率的な通信が不可欠である。
- 従来の通信手法では，中央制御や複雑なプロトコルが必要となり，分散型ドローン群には不向きである。
- 本研究は，ドローン群における効率的かつ分散的な情報伝達メカニズムの確立を目指す。
- スロッテッドアロハ，レイリーフェージング，閾値復号を用いた場合，SIR成功則を閉形式で導出した。
- 理想的な混合状態とワイヤレスによる成功した更新を分離する平均二乗収縮境界を導出した。
- 解釈可能な密度スケーリングを持つ閉形式のプロキシアクセスルールを確立した。シミュレーションにより安定した動作領域を確認した。
Solidityのみによる学習を通じた低リソースなスマートコントラクトにおけるゼロショット脆弱性検出 [cs.CR, cs.SE]目的：低リソースなスマートコントラクトの脆弱性検出
- 分散型金融の発展において，スマートコントラクトの安全性が不可欠である。
- Vyper等の低リソース言語では，分析ツールやラベル付きデータセットが不足している。
- Solidityで学習したモデルをVyperに適用し，ラベル付きデータの必要性を低減する。
- Sol2Vyは，Solidityのみで学習したモデルを用いてVyperコントラクトの脆弱性を検出する。
- 再帰呼び出し，弱い乱数，チェックされていない転送等の脆弱性に対して高い検出性能を示した。
- 既存の手法と比較して，Sol2Vyは有意に高い検出性能を達成した。
有限環暗号系のための正準バイト列符号化 [cs.CR, cs.IT, math.IT]目的：有限環暗号系におけるバイト列から剰余への変換層
- 暗号システムの安全性と効率性は，数の表現方法に大きく依存する。
- 既存の符号化方式は，一意性や復号の確実性に課題が残る場合がある。
- 安全で効率的な符号化方式を確立し，暗号システムの信頼性を高める。
- 本研究では，2^64バイト以下のバイト列を法mの剰余のリストへ変換する正準マップ「base-m length codec」を提案した。
- 提案手法はDudaのrANSベースシステムを基盤とし，パラメータ条件を満たす全ての法に対して正確な復号が可能である。
- Rust実装，Lean 4形式化，および性能評価も提供し，符号化の正確性と効率性を検証した。
意図的な不服従：エージェントの行動履歴における失敗の自動検出 [cs.SE, cs.AI]目的：エージェント行動履歴の妥当性評価
- AIエージェントが実システムに組み込まれる機会が増加しており，その検証が重要である。
- 結果のみを評価するベンチマークでは，ワークフローの誤りや安全でないツール使用を見落とす可能性がある。
- エージェントの行動履歴から問題点を抽出し，仕様違反を自動的に検出することを目指す。
- AgentPexは，エージェントのプロンプトとシステム指示から行動ルールを抽出し，その仕様への準拠を自動評価する。
- 通信，小売，航空業界の顧客サービスにおける424件の行動履歴を用いて評価した結果，モデル間の行動の違いや仕様違反を検出できた。
- ドメインや指標ごとの詳細な分析を提供することで，開発者はエージェントの強みと弱みを把握できる。
LDMDroid：Androidアプリにおけるデータ操作エラー検出のためのLLMの活用 [cs.SE]目的：Androidアプリにおけるデータ操作エラーの検出
- Androidアプリの信頼性確保は重要であり，データ操作機能の正確性が不可欠である。
- UI操作シーケンスへの依存やロジックバグとしての現れ方から，データ操作エラーの検出が困難である。
- LLMを活用し，UI操作シーケンス生成とデータ状態の変化検出を通じて，データ操作エラー検出の自動化を目指す。
- LDMDroidは，LLMを状態認識型プロセスで誘導し，UIイベントシーケンスを生成することで，データ操作機能のトリガー成功率を向上させた。
- 視覚的特徴を利用してデータ状態の変化を検出し，データ操作エラーの検証精度を高めた。
- 24のAndroidアプリを対象とした評価により，17個のユニークなバグを発見し，そのうち14個が開発者によって確認，11個が修正された。
REAP：インタラクティブな本番利用からのコーディングエージェントベンチマークの自動キュレーション [cs.SE, cs.AI, cs.LG]目的：コーディングエージェントベンチマークの自動キュレーション手法
- AIコーディングエージェントの実用化には，迅速かつ再現性のある評価が不可欠である。
- 既存の評価手法は，速度と信頼性の間でトレードオフの関係にある。
- 本研究は，本番環境のデータを活用し，高品質なベンチマークを自動的に生成する。
- REAPは，実際の開発者とエージェントのセッションから本番環境に即したベンチマークを自動的に構築する。
- LLMを用いたタスク分類，テストの関連性検証，複数回の実行による安定性チェックにより，信頼性の高い評価を実現した。
- 生成されたベンチマーク Harvest は，5つの最先端モデルで42.9%から58.2%の解読率を示し，実用的な展開判断に役立つ知見を提供した。
有限体上の巡回MDS符号の，巡回体の還元による構成 [cs.IT, math.IT]目的：有限体上の巡回MDS符号の構成法
- 巡回MDS符号は線形符号の特殊なクラスであり，量子符号や有限幾何学など，多くの分野で重要な応用がある。
- 既存の構成法は，パラメータに厳しい制限があるか，構成が複雑である場合が多い。
- 巡回体の還元を利用することで，より簡便で柔軟な構成法を提供することを目指す。
- 巡回体の還元を用いて，有限体上の巡回MDS符号の構成法を提案した。
- 提案手法により，いくつかの巡回MDS符号を得ることができ，特に非RS型の符号を多く生成できた。
- 既存の構成法と比較して，本手法は比較的簡便であり，生成される符号のパラメータは柔軟である。
区分による時空統合の相乗性定量化 [cs.IT, math.IT]目的：時空統合の相乗性に関する定量化手法
- 意識の数学的基盤探求は，脳科学や情報科学の発展に不可欠である。
- 情報統合理論では，統合の定量化が課題となっていた。
- 情報統合理論における統合のより適切な定量化を目指す。
- 相乗性に基づく指標は，既存の方法よりも情報統合理論への応用に適していることが示された。
- 本手法は，離散力学系における複雑性の指標としても利用可能である。
データフローを意識した事前学習と制約付きデコーディングによる言語モデルを用いた静的プログラムスライシング [cs.SE, cs.AI, cs.PL]目的：静的プログラムスライシングの自動化
- ソフトウェアの品質向上に不可欠であり，保守性や信頼性の向上に貢献する重要な技術である。
- 従来の学習ベースのアプローチでは，正確な依存関係のモデリングが難しく，幻覚的なトークンや文の生成が課題となっていた。
- データフローを正確に捉え，幻覚を抑制することで，より正確なプログラムスライシングを実現することを目指す。
- 提案手法Sliceformerは，データフローグラフを活用した事前学習と制約付きデコーディングを導入することで，スライスの予測精度を向上させた。
- JavaとPythonのベンチマークにおいて，最先端のベースラインと比較して，ExactMatchで最大22%の改善が確認された。
- 本研究は，言語モデルを用いた静的プログラムスライシングの新たな方向性を示すものである。
法的・安全原則に基づいたニューロシンボリック因果ルール合成，検証，評価に向けた試み [cs.LO, cs.AI]目的：法的・安全原則に根ざしたニューロシンボリック因果ルール合成，検証，評価の枠組み
- 安全性重視の分野ではルールベースシステムが重要だが，規模拡張や柔軟性の課題がある。
- AIシステムの目的設定が不適切だと，意図しない最適化や形式検証の失敗につながる。
- 人間の専門家による高レベルな目標と原則から，論理的なルールを生成・検証するパイプラインを構築する。
- 人間の指示に基づき，必要最小限のルールセットを導出し，論理的制約として形式化することに成功した。
- 本パイプラインは，既存の法的・安全原則に則った，段階的でモジュール化されたルール合成を支援する。
- 大規模言語モデルを活用することで，目標の分解，意味の統合，ルールの翻訳，因果集合の構築を実現した。
Axon検証コンパイラにおけるテスト，確実なコンパイル，検証 [cs.PL]目的：Axonコンパイラにおけるテスト，検証，監査の利用
- ソフトウェアの信頼性確保は重要であり，特にコンパイラはプログラムの正当性を左右する。
- 従来のコンパイラの検証は困難で，手作業による監査に頼らざるを得ない場合が多い。
- 機械による証明を通じてコンパイラの正当性を保証し，監査の必要性を排除すること。
- Axonコンパイラは，生成されたコードの正当性を保証する完全機械検証済み証明を搭載している。
- 本研究では，これらの検証技術を活用する開発プロセスを提示し，コンパイラ開発におけるその有用性を評価した。
- このプロセスは，他の開発努力にも応用可能であることが示唆される。
差分プライバシーに基づく実行時モニタリング [eess.SY, cs.SY, cs.CR, cs.LO]目的：実行時モニタリングにおける差分プライバシーの確保
- システム動作状況の把握は重要だが，プライバシー侵害のリスクを伴う。
- 時間的な依存関係により，個々の入力値が複数回の出力に影響を及ぼし，プライバシーが繰り返し漏洩する可能性がある。
- 時間的依存性の解析と適切なノイズ注入により，プライバシー保護とモニタリング精度の両立を目指す。
- 提案手法は，ストリームベースのモニタリング仕様に差分プライバシーを自動的に適用する。
- 時間的依存性を分析し，仕様中の戦略的な位置に調整されたノイズを注入することで，プライバシーを保護する。
- 集計演算子へのノイズ注入による精度低下を，木構造メカニズムを用いて軽減する。
LEO衛星ネットワークにおける競合型DDQNに基づく適応的マルチ目的ハンドオーバー最適化 [cs.IT, cs.LG, math.IT]目的：LEO衛星ネットワークにおける適応的マルチ目的ハンドオーバー最適化手法
- LEO衛星通信は，地球規模での通信網構築に不可欠であり，その効率的な運用が重要である。
- 従来のハンドオーバー手法では，変化するネットワーク状況への適応が難しく，最適な性能を発揮できない場合がある。
- 本研究では，動的なトレードオフ学習を通じて，スループット，ブロック確率，スイッチングコストを最適化する。
- 提案手法は，スループット，ブロック確率，スイッチングコストの間で動的にトレードオフを学習することが確認された。
- シミュレーション結果から，提案手法は従来手法と比較して，最大10.3%のスループット改善を達成することが示された。
- また，提案手法は典型的な動作条件下でほぼゼロのブロック確率を実現することが確認された。
単一期間ポートフォリオ選択における情報射影 [cs.IT, math.IT, q-fin.MF, q-fin.PM]目的：単一期間ポートフォリオ選択問題
- 資産運用において，リスクとリターンを考慮した最適なポートフォリオ構築は重要である。
- 従来のポートフォリオ最適化手法は計算負荷が高く，大規模な問題への適用が困難な場合がある。
- 情報理論に基づくアプローチにより，効率的なポートフォリオ最適化手法を開発することを目指す。
- 定常相対リスク回避(CRRA)効用関数下における確定同等(CE)成長率は，情報量に関連する項に分解できる。
- CRRAポートフォリオ選択は，Rényi情報射影問題と同値であることが示された。
- 提案手法は，低リスク回避度の場合に，既存手法よりも少ない反復回数で最適解に収束することが確認された。
プライベート構造化部分集合検索 [cs.IT, math.IT]目的：プライベート構造化部分集合検索問題における情報検索率とサブパケット化レベルの最適化
- 情報セキュリティとプライバシー保護は，現代社会において不可欠な要件となっている。
- 従来のマルチメッセージプライベート情報検索（MPIR）では，構造化された需要に対応できない場合がある。
- 本研究では，構造化された需要に対応することで，より効率的なプライベート情報検索を実現する。
- 提案手法は，従来のMPIRスキームと比較して，高い検索率と低いサブパケット化レベルを両立することが示された。
- 特定の構造化された需要においては，既存のMPIRスキームを上回る性能を発揮することが確認された。
- 連続的な需要に対する最適化手法も提示され，フィールドサイズ制限なしで大幅なサブパケット化の削減を実現した。
インテリジェントシステムのための制御されたメタプログラミング：eval を制御された副作用として再分類 [cs.PL, cs.AI]目的：インテリジェントシステムにおける実行可能構造の動的合成に関する研究
- AIシステムの進化に伴い，実行時のプログラム生成や自己改善が重要性を増している。
- 従来の言語では，コード表現から実行への移行が制限がなく，セキュリティ上の問題が生じうる。
- eval操作を制御された副作用として扱うことで，権限増幅を抑制し，安全性を高めることを目指す。
- 本研究では，プログラム表現を第一級の値とし，形式操作を純粋な計算とし，実行への変換を制御された副作用とする「制御されたメタプログラミング」を提案する。
- 提案手法は，プログラムの能力要件，ポリシー準拠，リソース見積もりを分析し，実行を許可するガバナンスシステムを組み込む。
- MashinTalkというDSLで実装し，既存の454個のRocq定理との統合を報告することで，有効性を検証した。
公開リポジトリにおけるログベースの検知ルール進化 [cs.CR, cs.SE]目的：ログベースの検知ルール進化の長期的な分析
- 現代のセキュリティ運用において，ログベースの検知ルールは不可欠であり，専門知識を反映する
- ネットワーク侵入検知シグネチャの進化は研究されてきたが，ログベースの検知ルールの長期的な挙動は未解明である
- 公開リポジトリにおける検知ルールの進化パターンを明らかにし，セキュリティルール開発プロセスの改善に貢献する
- SigmaとSSCのリポジトリから収集した6,859件のルール履歴を分析した結果，約56%のルールが少なくとも1回以上の修正を受けていることが判明した
- ルールの進化は，主に非単調であり，過半数のルールが時間とともに節を追加したり削除したりしている
- 構造分析とLLMを用いた推論，および人的検証により，約4分の1から3分の1のルールが，カバレッジの拡大と誤検知の削減を繰り返していることが示された
マイナーフリーグラフにおけるフロー障壁を超えたセパレータ [cs.DS]目的：マイナーフリーグラフに対するバランスのとれたセパレータのサイズ削減
- グラフ理論は，ネットワークの最適化やデータ構造など，様々な分野に応用される重要な研究領域である。
- 既存のセパレータのサイズは，グラフの構造によっては非常に大きくなり，計算効率を阻害する要因となる。
- 本研究は，フロー障壁を超えるセパレータを構築することで，既存手法の限界を打破することを目指す。
- フロー障壁に相当する$O(h\log h \sqrt{n})$のセパレータが，FiltserとConroyのパデッド分解を用いることで実現可能であることが示された。
- さらに，$O(h \sqrt{\log h} \sqrt{n})$サイズのセパレータを構築し，フロー障壁を超えることに成功した。
- Alon, Seymour, Thomasの枠組みを維持しつつ，低直径分解を組み込むことで，セパレータサイズの改善を実現した。
エージェント生成コードはどの程度メンテナンスを要するか？実証研究 [cs.DC, cs.SE]目的：AI生成コードと人間が作成したコードのメンテナンス性に関する比較
- ソフトウェア開発において，AIを活用した自動コーディングが普及しつつあり，その影響は大きい。
- AI生成コードの長期的な保守性については未解明な点が多く，実態把握が課題となっていた。
- AI生成コードのメンテナンス頻度や修正内容を分析し，保守性の実態を明らかにすること。
- AI生成コードは，人間が作成したコードと比較してメンテナンス頻度が低いことが示された。
- AIコードの修正は機能拡張が中心である一方，人間による修正はバグ修正に重点が置かれている。
- AI生成コードのメンテナンスは，大部分を人間が行っていることが明らかになった。
一般化された歪多変数ゴッパ符号 [cs.IT, math.IT]目的：一般化された歪多変数ゴッパ符号のパラメータ
- 符号理論は，情報伝送やデータ保存における誤り検出・訂正に不可欠である。
- 既存の歪多変数ゴッパ符号のパラメータ決定には困難が伴う場合がある。
- 歪多変数ゴッパ符号の次元と最小距離の上界を導出すること。
- 多変数Ore多項式の理論に基づいた一般化された歪多変数ゴッパ符号を導入した。
- 一般化された歪ゴッパ符号の新たなパリティチェック行列を提供し，特定条件下で歪Reed-Solomon符号の小符号であることが示された。
- 歪多変数ゴッパ符号のパラメータ研究に貢献し，次元と最小距離に関する上界を提示した。
一般的な変動盗聴路における暗号・情報理論的セキュリティ容量 [cs.CL, cs.IT, cs.CR, math.IT]目的：変動盗聴路および一般変動盗聴路の強力秘匿容量
- 通信セキュリティの基礎研究であり，情報漏洩を防ぐ技術向上に不可欠である。
- 盗聴者の能力が変動する場合，秘匿容量の評価が困難となる。
- 一般変動盗聴路における強力秘匿と意味的秘匿の間のギャップを評価する。
- 変動盗聴路においては，強力秘匿容量と意味的秘匿容量が常に等価であることが示された。
- しかし，一般通信システムではこの等価性は成立せず，反例が提示された。
- 一般変動盗聴路では，意味的セキュリティと他の暗号的セキュリティ対策が同じ容量値となる。
LLMは科学問題を解決できるのか，それともコードを書くだけなのか：量子ソルバー生成の評価 [cs.SE]目的：量子ソルバー生成におけるLLMの能力評価
- 量子計算は，従来の計算機では困難な問題を解決する可能性を秘めている。
- LLMが生成したコードの実行可能性だけでは，量子計算における正当性は保証されない。
- LLMが科学問題に対して正確な量子ソルバーを生成できるかを検証する。
- 反復的な改良により，LLMの成功率は大幅に向上することが実証された。
- しかし，反復処理には大きな計算コストがかかることが示された。
- モデルの性能向上に伴い，エラーのパターンは実行エラーから数値的不正確さへと変化している。
条件エントロピーのためのコルモゴロフ-ナグモ平均フレームワーク [cs.IT, math.IT]目的：条件エントロピーのフレームワークに関する研究
- 情報理論は，情報伝達やデータ圧縮の基礎であり，様々な分野で不可欠である。
- 既存の条件エントロピーの表現には限界があり，特定のケースに対応できない場合がある。
- より広範な条件エントロピーを表現可能な新しいフレームワークを構築し，その性質を明らかにすること。
- コルモゴロフ-ナグモ平均を用いた新しい条件エントロピーのフレームワークを提案した。
- 提案されたフレームワークは，既存の表現では捉えきれない条件エントロピーを包含する。
- 提案されたフレームワークが，エントロピーの減少性やデータ処理不等式などの重要な性質を満たすための十分条件を導出した。
回路形式化器：自然言語から回路表現への自動形式化 [cs.CL, cs.PL]目的：自然言語によるハードウェア記述の自動生成
- ハードウェア設計の効率化が求められており，自然言語からの自動生成はその重要な手段となる。
- LLMによる生成Verilogには，ビット幅の不一致や循環回路などの欠陥が含まれる場合がある。
- 形式的な検証を通じて，ハードウェアの欠陥をコンパイル時に検出し，信頼性の高い設計を実現すること。
- CktFormalizerは，Lean 4に埋め込まれた依存型HDLを用いて，LLM駆動型ハードウェア生成を誘導する。
- VerilogEval，RTLLM，ResBenchにおいて，シミュレーション合格率は直接Verilog生成と同等でありながら，バックエンドでの実現可能性が大幅に向上した。
- 最適化ステージにより，最大35%の面積削減と30%の電力削減が可能であり，自動定理証明により機能同等性が保証される。
将来の6G無線システムにおける超大規模MIMO検出のための物理学に基づいた確率的計算 [cs.IT, cond-mat.other, math.IT]目的：超大規模MIMO検出における，物理学に基づいた確率的計算の有効性
- 6G通信の鍵となる技術であり，高速・大容量通信の実現に不可欠である。
- 従来の検出アルゴリズムは，計算量が膨大で，超大規模MIMOには適用が困難である。
- 物理学に基づいた確率的計算を用いて，計算量の削減と高性能な検出を実現する。
- 2048x2048アンテナシステムにおいて，100回の繰り返しで最適なML検出性能を達成した。
- 256-QAMにおいて，p-ditに基づくフレームワークが，MMSEよりも優れた性能を示した。
- p-dit相互作用行列はQAM変調方式に依存せず，適応的なMIMO変調を可能にする。
チェイス型デコーディング：テストパターン設計と性能解析 [cs.IT, math.IT]目的：代数符号のソフト入力デコーディングにおけるテストパターン設計と性能評価
- 通信システムの信頼性向上には，誤り訂正符号の性能が不可欠である。
- 既存のテストパターンは，符号化されたデータの誤りを効率的に検出・訂正できない場合がある。
- より多くの誤りパターンを網羅するテストパターンを設計し，デコーディング性能を向上させる。
- チェイスIIテストパターンなど構造化されたパターンは，順序統計に基づく方法で評価された。
- 任意のテストパターン集合は，被覆空間確率とモンテカルロシミュレーションにより性能評価された。
- 提案手法は，一般的なテストパターンよりも，高速BCH符号で0.2dB程度の性能向上を示した。
未知のTruncationにおける効率的統計，多項式時間アルゴリズム，ガウス分布を超える [math.ST, cs.DS, cs.LG, stat.CO, stat.ML, stat.TH]目的：未知のTruncation下での分布パラメータ推定
- データ分析において，サンプルが一部しか得られない状況は頻繁に発生する。その効率的な解析手法が求められている。
- Truncationされたデータからの正確なパラメータ推定は，計算量的に困難であることが知られている。
- Truncationされたデータに対しても，効率的なパラメータ推定アルゴリズムを開発すること。
- 任意の指数族分布に対し，次数$\ell$の多項式で$\varepsilon$-近似可能な未知の集合$S$下での時間$d^{\mathrm{poly}(\ell/\varepsilon)}$アルゴリズムを提案した。
- このアルゴリズムは，未知の$S$にTruncationされたガウス分布のパラメータ推定と，Truncationされたガウス特徴量を持つ線形回帰に初めて適用できる。
- $S$が半空間や軸平行矩形の場合，時間$\mathrm{poly}(d/\varepsilon)$で動作するアルゴリズムを提示した。
グラフ状態における測定を用いた[[n,1,3]]非CSS符号族における耐障害性シンドローム抽出 [quant-ph, cs.CE, physics.geo-ph, cs.SY, eess.SY, math.CO, cs.CC, cs.DM, math.OC, quant-ph, cs.IT, math.IT]目的：耐障害性量子誤り訂正符号族の構築とその性能評価
- 量子計算の信頼性は量子誤り訂正符号の性能に大きく依存する。
- フック誤りにより符号距離が低下し，誤り訂正性能が著しく悪化する。
- シンドローム抽出時のフック誤りに対する耐障害性を実現する符号を設計する。
- 本研究では，[[n,1,3]]非CSS符号族を構築し，ノイズの多いシンドローム測定に対して耐障害性を示す。
- グラフ符号を用いてこれらの符号を系統的に生成するプロトコルを提案し，符号レートと距離のトレードオフを明らかにした。
- 既存の符号と比較して，符号距離を維持しつつ符号レートを向上させた新たな符号を報告した。
量子カウントクエリと無自覚状態準備によるスペクトルギャップ [math.OC, cs.SY, eess.SY, quant-ph, cs.DS, cs.NA, math.NA]目的：エルミート行列の$k$番目のスペクトルギャップとその中点値の近似
- 科学技術における固有値問題の重要な特殊ケースであり，様々な応用が存在する
- 古典アルゴリズムの計算複雑度が依然として高いという課題がある
- 量子アルゴリズムを用いて，古典アルゴリズムよりも効率的にスペクトルギャップを近似する
- 量子アルゴリズムは，対数個の量子ビットを用いてスペクトルギャップと中点値を近似的に求める。
- QRAMモデルにおいて，アルゴリズム全体の複雑度は$O\left( \frac{N^2}{\epsilon^{2}\Delta_k^2}\mathrm{polylog}\left( N,\frac{1}{\Delta_k},\frac{1}{\epsilon},\frac{1}{\delta}\right)\right)$で抑えられる。
- 大きなスペクトルギャップ$\Delta_k$を持つ場合，既存の古典アルゴリズムよりも高速な近似が可能となる。
繰り上がりを持たないペアリング：フィボナッチ基底における加法ペアリング [math.LO, cs.LO]目的：繰り上がりを持たないペアリングの定義と性質
- 暗号理論におけるペアリングは，安全性の根拠となる重要な概念である。
- 既存のペアリング演算は，計算コストが高い場合がある。
- フィボナッチ基底を用いた効率的なペアリング演算の実現を目指す。
- 提案するペアリングは，ゼッケンドルフ指標を用いた符号化に基づいている。
- この構成は「繰り上がりを持たない」設計であり，乗算や因数分解を必要としない加法演算のみで評価と逆変換が可能である。
- ペアリングは単射であり，イメージメンバーシップ判定は符号化の機構を用いて決定できる。
線形空間における高速大規模最適輸送のための対数平均ミラーProx [math.OC, cs.SY, eess.SY, math.DS, math.OC, cs.DS]目的：大規模最適輸送問題の解法
- 最適輸送は，機械学習や画像処理など様々な分野で重要な役割を担う
- 大規模問題では，メモリ使用量がボトルネックとなり，計算が困難となる
- メモリ効率の良い手法により，大規模最適輸送問題を解決することを目指す
- LAMPは，既存手法と比較して，メモリ使用量を大幅に削減し，線形空間で最適輸送問題を解くことを可能にする。
- LAMPは，既存のミラーProx法と同等の計算複雑度を維持しながら，GPUでの効率的な処理を実現する。
- 大規模な問題（n=m=2^18）に対しても有効であり，既存手法の限界を超える。
半位相的重心代数 [math.FA, cs.LO]目的：半位相的および位相的重心代数の研究
- 凸集合の概念を抽象化したもので，数学的構造の一般化に貢献する
- 位相構造と代数的構造の間の関係性が十分に解明されていない
- 半位相的および位相的重心代数の性質を明確にし，その構造を理解すること
- 重心代数は凸集合の抽象化であり，本研究では半位相的および位相的重心代数を考察する。
- 先行研究である半位相的および位相的錐の理論を拡張し，より一般的な枠組みを提供する。
重み付きチェルノフ情報と文脈依存仮説検定における最適な損失指数 [math.CO, cs.DM, math.ST, cs.IT, math.IT, math.PR, stat.TH]目的：文脈依存下での二項仮説検定における，最適な重み付き総損失
- 仮説検定は，統計的推論における基本的な問題であり，様々な分野で重要な役割を果たす。
- 従来の仮説検定は，観測値が独立同一分布に従うことを仮定していたが，現実には文脈依存性を持つ場合がある。
- 文脈依存性を考慮した仮説検定における，最適な損失指数の解析。
- 最適な重み付き総損失の漸近的な挙動が，重み付きチェルノフ情報によって特徴付けられることが示された。
- 重み係数が観測値間で因数分解可能であるという構造的な仮定が，単一文字表現の成立に不可欠であることが示された。
- ガウス分布，ポアソン分布，指数分布といった具体的なモデルに対して，閉じた形の表現が得られた。
多部間測定からの分離可能性 [quant-ph, cs.DC, quant-ph, cond-mat.stat-mech, cs.IT, hep-th, math-ph, math.IT, math.MP]目的：三部間純粋状態の完全分離可能性の必要十分条件
- 量子情報理論において，量子状態の分離可能性は，量子エンタングルメントの理解に不可欠である。
- 多粒子系における分離可能性の判定は，計算量が膨大になる場合が多く，効率的な判定法の開発が課題である。
- 本研究は，三部間系の分離可能性を判定するための新たな基準を確立し，多粒子系への拡張を目指す。
- 三次の負性が，三部間純粋状態の完全分離可能性の必要十分条件であることが示された。
- この結果は，二部間診断では不十分な混合状態の分離可能性判定にも適用可能である。
- 四量子ビット純粋状態の完全特徴付けに必要な測定回数を明らかにし，三次の負性の重要性を示した。
複雑系に対する唯一の普遍的エントロピー [cond-mat.stat-mech, cs.IT, math.IT]目的：複雑系のエントロピーに関する公理的基礎
- 複雑系は自然科学，社会科学など広範な分野に現れ，その理解が重要である。
- 既存のエントロピー定義では，情報スケールでの不確実性を適切に捉えられていない。
- 情報スケールでの不確実性と普遍性スケーリングクラスを満たす唯一のエントロピーを確立する。
- 最大化分布の情報スケールでの不確実性を測定するエントロピーは，唯一の普遍的なものであることが証明された。
- エントロピーの非加法性は，長距離依存性または非線形統計的結合に等しいことが示された。
- 本研究は，Tsallis $q$-統計が複雑系の物理的モデル化において誤りを生じる可能性を示唆している。
奇数法線を持つ全ての有向トーラスのハミルトン分解 [math.CO, cs.DM, cs.LO]目的：奇数法線を持つ全ての有向トーラスにおける，有向ハミルトンサイクルへの辺集合の分割の存在
- グラフ理論は，ネットワーク構造の解析や最適化に応用され，情報科学やオペレーションズリサーチにおいて不可欠である。
- 有向グラフのハミルトン分解問題は，計算複雑性が高く，特定の構造を持つグラフでのみ解法が知られている。
- 本研究は，奇数法線を持つ全ての有向トーラスにおいて，ハミルトン分解が可能であることを証明する。
- 本研究により，全ての$d \geq 2$および奇数$m \geq 3$に対して，有向トーラス$D_d(m)$の辺集合が$d$個の有向ハミルトンサイクルに分割可能であることが示された。
- 証明は，根平坦証明定理，接頭辞カウント原始性基準，モジュラートレードリフティング定理，およびカルト積と後者ステップ$b \mapsto 2b+1$という2つの閉包原理を組み合わせている。
- 特殊なケースである$D_7(3)$と$D_7(5)$については，明示的な根平坦証明書を用いて検証されており，その証明はLean 4で形式化されている。
複合逐次量子仮説検定における最適エラー指数 [quant-ph, cs.IT, math.IT, math.ST, stat.TH]目的：複合逐次量子仮説検定問題におけるエラー指数の最適化
- 量子技術の発展に伴い，量子状態の識別は重要な課題となっている。
- 既存の手法では，複数の仮説を効率的に識別することが困難である。
- 複合的な仮説検定におけるエラー指数領域の理論的限界を明らかにすること。
- 提案手法は，期待サンプルサイズ制約下で，Type-IおよびType-IIエラー指数を同時に達成する。
- これらの指数は，帰無状態と代替状態間の最小測定相対エントロピーによって特徴付けられる。
- 複合SQHTにおいて消失するエラー確率を達成するには，2つの固定状態間の逐次検定と同等以上のサンプル複雑度が必要となる。