arXiv雑要約
プログラム - 2026/07/31 公開
平面幾何グラフにおける最大円形度領域の探索 [cs.DS]目的：地図上の領域からコンパクトな領域を生成すること
- 地理情報科学など様々な分野で，地図上の領域の形状が重要となる
- 選挙区画定などにおいて，不当な区割り（ジェリーマンダリング）を避ける必要性がある
- 領域の円形度を最大化する手法を確立し，その計算複雑性を明らかにすること
- α-円形度問題と呼ばれる，面積と周囲長の比の最大化問題を定義した。
- αが1より大きく2以下の範囲では，弱NP困難であることが示された。
- αが1より大きい場合，この問題に対する擬多項式時間アルゴリズムを提案した。
テキスト要件からマイクロサービスアーキテクチャへ - LLMベースの設計合成に関する包括的評価 [cs.SE, cs.AI]目的：LLMによるテキスト要件からのマイクロサービスアーキテクチャの合成可能性の評価
- モノリスシステムを現代化する上で，マイクロサービスアーキテクチャが重要視されている。
- 適切なサービスを特定することが難しく，手動による作業が中心である。
- 自然言語による要件から，完全なマイクロサービスアーキテクチャを生成することを目指す。
- Few-shotプロンプティングにおいて，サービス識別のF1スコアが向上した（ZS: 0.79，FS: 0.97）。
- Few-shotプロンプティングは，サービス間通信の復元精度も向上させ，F1スコアを0.61から0.82に改善した。
- 専門家による評価では，Few-shotプロンプティングによるアーキテクチャは，モジュール性，一貫性，妥当性が高いと判断された。
LLM生成マイクロサービス分割のソースコード依存性による構造的検証 [cs.SE]目的：LLM生成マイクロサービス分割の構造的適合性
- ソフトウェアモダナイゼーションにおいて，モノリシックシステムのマイクロサービス化は重要である。
- LLMによる分割提案が，既存のソースコードの構造的依存性をどれだけ保持しているか不明である。
- LLM生成分割の構造的適合性を検証し，適切な評価方法を確立することを目指す。
- OpenAI o3により生成された分割提案を，静的依存性分析を用いて検証した。
- 分割提案の構造的適合性を評価するため，依存性保持率(TPD)と依存性違反率(TVD)という指標を導入した。
- マッピングカバレッジを正規化することで，プロンプト戦略の違いが構造的適合性に影響しないことが示された。
低パス幅GRAND：相関ガウス雑音上におけるBPSK伝送のための正確な尤度順序列挙 [cs.IT, math.IT]目的：相関ガウス雑音環境下におけるBPSK伝送の最大尤度復号
- 信頼性の高い無線通信を実現するためには，雑音環境を考慮した正確な復号技術が不可欠である。
- 相関ガウス雑音下では，従来の復号手法が尤度順序を正確に保てず，誤った復号結果を招く可能性がある。
- 提案手法は，雑音の相関を考慮しつつ，正確な尤度順序を維持することで，復号性能の向上を目指す。
- 提案手法LP-GRANDは，半バンド幅が$\nu$の精度行列$Q$を持つBPSKにおいて，最大で$2^\nu$の状態を持つトレリス構造を実現する。
- 実数演算において，LP-GRANDはエネルギーが非減少的にパターンを列挙し，空でない二値符号語に対して最大尤度符号語を導出する。
- シミュレーションにより，LP-GRANDは$[20,12]$コードで網羅的な最大尤度復号と一致し，$[64,52]$コードで既存手法よりも低い誤ビット率を示すことが確認された。
ソラナボットの解明：GitHubの設計図からオンチェーンのフィンガープリントまで [cs.SE]目的：ソラナボットの実装とそのオンチェーンでの挙動に関する体系的な理解
- ソラナは高速・低コストなブロックチェーンであり，DeFi等の利用拡大に貢献している。
- 取引コストが安価なため，不正なボットによるスパムや金融搾取のリスクが増加している。
- ソラナボットの実態を把握し，そのオンチェーンでの特徴を明らかにすること。
- GitHub上の586のリポジトリと，200のアドレス，4400万件以上のオンチェーン取引を分析した。
- ソラナボットは，取引，MEV，オンチェーン分析など，15のカテゴリーに分類されることが分かった。
- ボットの実装には共通の5段階の運用パイプラインが存在し，プラットフォームや資産によって取引行動が異なることが明らかになった。
ニシモリ温度における疎グラフ上の Kohn-Sham スペクトル埋め込み：画像分類への応用 [cs.LG, cs.CV, cs.IT, math.IT]目的：画像分類のための，関連するランダム結合イジングモデルのニシモリ温度で評価される疎グラフスペクトル埋め込み
- 画像分類は，コンピュータビジョンの基盤技術であり，様々な応用分野で不可欠である。
- 深層ニューラルネットワークは高い性能を誇るが，モデルサイズが大きく，計算コストが高いという課題がある。
- 本研究は，疎グラフを用いた効率的なスペクトル埋め込みにより，軽量かつ高性能な画像分類器を開発する。
- 提案手法 KSSE は，ImageNet-1000 データセットにおいて 88.93% の Top-1 精度を達成した。
- KSSE は，Swin-L や ViT-H/14 と同等の性能でありながら，モデルサイズをそれぞれ 10 倍，30 倍削減した。
- グラフ構造の最適化技術である star-domain surgery により，効率的な計算と高い精度を実現した。
GenAI拡張システムにおける脅威モデリングの新たな課題：現場からの視点 [cs.MA, cs.SE, cs.CR]目的：GenAI拡張システムに対する脅威モデリング手法の評価
- ソフトウェアの安全性確保は重要であり，脅威モデリングはその中心的な役割を担う。
- 従来の脅威モデリング手法では，GenAI特有のリスクを十分に評価できないという課題がある。
- GenAI拡張システムにおける新たな脅威を特定し，評価手法の改善を目指す。
- 本研究では，中小企業を対象にGenAI対応型脅威モデリング手法の探索的評価を実施した。
- 手法によって特定される脅威に差異が見られ，特にソフトウェアサプライチェーンや人間中心のセキュリティに関するリスク評価が不十分であることが示された。
- 実務者の視点から，これらの手法の使いやすさや開発ワークフローへの統合における課題が報告された。
LeanCSP：制約変換と解法の検証のためのフレームワーク [cs.AI, cs.LO]目的：制約変換の検証と解法の保証
- 組合せ最適化問題解決の核技術であり，スケジューリング，計画，構成，検証等に応用が広がっている。
- 制約変換の正当性やソルバーの出力結果の信頼性に対する検証が課題であった。
- Lean定理証明器を用いて，制約変換と解法全体の信頼性を保証する。
- 本フレームワークにより，制約変換の等価性や対称性解消制約の正しさを問題クラス全体に対して証明可能である。
- ソルバーが出力した証明を外部形式に変換し検証することで，個々の問題インスタンスの正当性を確認できる。
- 検証済みの対称性解消により，ソルバーの探索コストを最大で2x10^7分の1に削減し，検証時間も妥当な範囲に収まっている。
気候変動シナリオ下におけるランドアートの予測 [cs.IT, math.IT]目的：ランドアートの将来像の予測
- ランドアートは自然環境と密接に関わる文化遺産であり，その保全が重要である。
- 気候変動がランドアートの景観に与える影響の予測は困難であった。
- 気候変動シナリオに基づき，ランドアートの将来的な変化を予測する。
- 過去の衛星画像データと気候データから，ランドアートの景観と気候条件の間に強い関係があることが確認された。
- IPCCの気候変動シナリオを用いて，2030年と2050年のランドアートの景観を予測した結果，乾燥が進む可能性が示された。
- 潜在拡散モデルを用いてランドアートの画像合成を行い，気候変動の影響を視覚的に表現した。
選択的信用度制限付き信念更新 [cs.DC, cs.AI, cs.LO]目的：信念更新の新たな枠組み
- 知識と信念のダイナミクスは，AIや意思決定において重要であり，合理的推論の基盤となる。
- 既存の信念更新手法では，情報源の信頼性や情報の分割可能性が十分に考慮されていない。
- 情報源の信頼度に応じて信念を更新し，部分的な情報の採用を可能とする手法を提案する。
- 選択的信用度制限付き信念更新は，既存の信用度制限付き信念更新を包含し，より表現力豊かな枠組みを提供する。
- 提示された枠組みは，変換関数と一貫性維持演算子によって特徴付けられ，理論的な基盤が確立されている。
- この研究は，情報源の信頼性に基づいて信念を柔軟に更新する新たなアプローチを提示し，AIの合理的な推論能力向上に貢献する。
CoGate：信頼度ゲートを用いた安全なコード生成のための共同デコーディング [cs.CL, cs.SE]目的：安全なコード生成のための信頼度ゲート共同デコーディング手法
- 大規模言語モデルはコード生成に広く利用されているが，セキュリティリスクを孕む可能性がある。
- 既存の共同デコーディングは，セキュリティ専門家の信頼度を考慮していないため，誤った誘導を引き起こす場合がある。
- セキュリティ専門家の信頼度に基づいて影響力を制御し，より安全なコード生成を目指す。
- 提案手法CoGateは，複数のLLMバックエンドで既存手法を上回り，CWEvalのFunc-Sec@10で最大12.6%の性能向上を達成した。
- セキュリティ専門家の信頼度をゲートすることで，誤った誘導を抑制し，より安全なコード生成を実現する。
- HumanEvalやセキュリティスイートといった複数のコード生成ベンチマークで有効性が確認された。
System-on-Chip設計における準同型暗号に基づくロジックロックの実装 [cs.CR, cs.LO]目的：System-on-Chipにおけるロジックロック方式
- 半導体デバイスの知的財産保護は，競争優位性を維持する上で不可欠である。
- 従来のロジックロックは，パラメータの漏洩リスクがあり，セキュリティが脆弱である。
- 本研究は，パラメータ非公開によるセキュリティ強化を目指す。
- 提案手法は，RISC-V System-on-Chipにおいて，特権切り替えプロセスを保護するロジックロックモジュールを実装した。
- 実装されたロックモジュールは，LUT 3519，レジスタ 2645を消費し，全体でLUT 6.0%，レジスタ 6.9%のオーバーヘッドとなる。
- アンロック処理には約2.6μsを要するが，ユーザーレベルの計算効率への影響は小さい。
ORCA-bench: 言語モデルエージェントはオンコール対応の準備ができているか [cs.HC, cs.CL, cs.AI, cs.SE]目的：オンコール時の根本原因分析における言語モデルエージェントの能力評価
- 現代のソフトウェアシステムは複雑化しており，迅速かつ正確な障害対応が不可欠である。
- 従来の障害対応は人手に頼る部分が多く，対応の遅延や誤診が発生しやすい。
- 言語モデルエージェントを活用することで，障害対応の自動化と効率化が期待される。
- ORCA-benchは，本番環境に近い設定で言語モデルエージェントのオンコール対応能力を評価するためのベンチマークである。
- 最新の5つのモデルにおいて，現実的な入力設定での根本原因分析の正解率は，難易度中レベルで最大25.3%であった。
- ソースコードへのアクセス制限や，システムの規模・動的な変化などが課題として残されており，実用化にはさらなる改善が必要である。
セキュリティの形式化 [eess.SY, cs.SY, cs.CY, cs.CR, cs.LO, cs.PL]目的：システムセキュリティの検証と証明支援
- 安全性が重要視される現代において，システムやソフトウェアの信頼性確保は不可欠である。
- 設計や実装の誤りがセキュリティ上の脆弱性となりうるため，厳密な検証が求められる。
- 形式的な手法を用いてセキュリティ特性を検証し，信頼性の高いシステム構築を目指す。
- 証明支援ツールは，設計・実装が期待されるセキュリティ特性を満たすことを検証するために利用される。
- 本研究は，システムセキュリティ，言語ベースのセキュリティ，安全なコンパイル，暗号学への応用を扱う。
- 証明支援ツールは，システムの認証をサポートする動機付けも存在する。
有限ピンホイールカバリング [cs.DS]目的：有限ピンホイールカバリング問題の計算複雑性
- スケジューリング理論における基本的な問題であり，資源配分やタスク実行順序の最適化に不可欠である。
- ピンホイールカバリング問題の計算複雑性は未解決であり，多項式時間アルゴリズムの存在が不明である。
- 有限ピンホイールカバリング問題の複雑性を解明し，NP困難性を示すことを目指す。
- 有限ピンホイールカバリング問題が，たとえ$k=2$の場合でも，強NP困難であることが証明された。
- 周波数が異なる場合のピンホイールカバリングの一般化も強NP困難であることが示された。
- 特定の条件下では，線形時間アルゴリズムまたは乱数多項式時間アルゴリズムが開発された。
チーレ投票ルールに基づく構造化選挙のためのアルゴリズム [cs.GT, cs.AI, cs.DS, cs.MA]目的：承認型委員会選挙における勝者決定問題の計算複雑性
- 選挙制度の効率的な設計は，民主的な意思決定の根幹をなす重要な課題である。
- 承認型選挙における勝者決定は，計算困難な問題であり，大規模選挙での実用性が課題となっている。
- チーレ投票ルールにおける特定の条件下での計算効率化を目指す。
- チーレ投票ルール下では，有権者の承認票パターンが候補者間の依存関係を形成することが示された。
- Voter Interval (VI)ドメインにおいて，Proportional Approval Voting (PAV)を含むチーレ投票ルールに対し，FPTアルゴリズムが設計された。
- 候補者を承認する有権者が2人以下のインスタンスに対し，多項式時間アルゴリズムが提供され，VIドメインにおけるPAVの計算複雑性に関する理解が深まった。
PAIChecker：SWE-Bench類似ベンチマークにおけるPR-Issue不整合の発見と検証 [cs.HC, cs.SE, cs.AI]目的：SWE-Bench類似ベンチマークにおけるPR-Issue不整合の検出と検証
- 大規模言語モデル(LLM)の性能評価において，SWE-Bench類似ベンチマークは重要な役割を担う。
- PRとIssueのペアリングは手動で行われるため，大規模リポジトリでは不整合が生じやすい。
- PR-Issueの不整合を自動的に検出し，ベンチマークの信頼性を高めることを目指す。
- PAICheckerは，SWE-Bench Verifiedインスタンスにおいて13.6%の不整合を5つのパターンで検出した。
- 本研究で提案するPAICheckerは，SWE-GymとSWE-bench Multilingualにおいて，4種類のLLMバックボーンで最高性能を達成した。
- PAICheckerは，それぞれ最大92.12%と91.67%の二値精度を達成し，高精度な不整合検出が可能であることを示した。
Change2Task：リポジトリの変更から実行可能なコーディングエージェントのタスクと環境へ [cs.SE, cs.CL, cs.LG]目的：コーディングエージェントのトレーニング，ベンチマーク，継続的な評価のための実行可能なデータ供給
- コーディングエージェントの性能向上には，継続的な学習データが不可欠である。
- 現実的なソフトウェアの状態と検証可能なタスクを大量に用意することが課題である。
- リポジトリの変更履歴から，検証済みのタスクを効率的に生成することを目的とする。
- Change2Taskは，プルリクエストの履歴から，同一リポジトリの健全な改訂における検証済みのタスクを生成する。
- 五つの一般的なタスクファミリーにおいて，79.6%のタスク構築成功率を達成した。
- ベースラインと比較して，29.2%多くの検証済みタスクを復元し，パイプライン全体のコストを10.8%削減した。
テンポ：OCaml 5エフェクトによる同期リアクティブプログラミングの再構築 [cs.PL, cs.LO]目的：同期リアクティブプログラミングの再構築
- リアクティブシステムにおいて，決定的な時間構造は重要である。論理的瞬間と信号に基づく通信によってシステムを構築する。
- 既存のリアクティブモデルは専用の言語拡張に依存しており，汎用プログラミング言語での実現が課題であった。
- OCaml 5のエフェクトを用いて，専用拡張なしにリアクティブプログラミングを再構築し，そのコストを評価する。
- Tempoライブラリランタイムは，代数的エフェクトと深いハンドラに基づき，リアクティブな中断点を区切り，論理的瞬間セマンティクスに基づいてタスクとしてスケジュールする。
- ReactiveMLとの比較研究により，ライブラリレベルでの再構築のオーバーヘッドを定量化し，コストを支配するランタイム機構を特定した。
- OCaml 5のエフェクトシステムを活用することで，同期リアクティブプログラミングの基本的なメカニズムを再現できることを示した。
データ場理論：信号検出のための関数型再正規化群理論とその応用 [physics.soc-ph, cs.MA, physics.data-an, cond-mat.stat-mech, cs.IT, math.IT, stat.ME]目的：高次元データにおける信号検出のための再正規化群枠組み
- データ解析において，ノイズに埋もれた微弱な信号を検出することは重要課題である。
- 従来の信号検出手法は，信号をノイズから明確に分離できる場合に限定される場合がある。
- 広範なランクを持つ信号の検出や，ノイズとの分離が困難な場合の信号検出を可能にすること。
- 再正規化群理論は，信号とノイズの区別を，ランダム行列の普遍性クラス近傍の準連続的なスペクトル領域において行う。
- この手法は，スペクトルの変形を直接的に追跡し，信号の分離に依存せずに検出限界を導き出す。
- スペクトル末尾における自由度の集団的振る舞いを記述する有効場理論のガウス固定点の安定性をテストすることで，信号の存在を特定できる。
木被覆に対するより強い下界：巡回対称性による [math.CO, cs.DS]目的：n点距離空間における木被覆の歪みに関する下界の改善
- 距離空間の近似的表現において，木被覆は重要な役割を果たす。
- 既存の下界では，上界との間に大きなギャップが存在していた。
- 木被覆の歪みの下界を改善し，上界とのギャップを縮小すること。
- 本研究では，木被覆の歪みの新たな下界として，$\Omega_k(n^{1/[k(p-1)]})$ を示した。
- この結果は，既存の下界よりも優れており，上界とのギャップを $O(k)$ の要因にまで縮小する。
- 巡回対称性の利用が，以前の二項対称性によるアプローチとの重要な違いである。
エントロピー平滑凸最適化は加速できない [math.OC, cs.IT, math.IT, stat.ML]目的：負エントロピーに関して凸かつL-滑らかな関数の最小化における収束率の限界
- 最適化問題は機械学習や統計学の基盤であり，効率的な解法が求められている。
- L1ノルムの滑らかさに基づく加速手法が利用可能だが，エントロピー平滑な関数クラスでは加速が難しい可能性がある。
- 特定のプロキシ関数において，加速手法が不可能であることを証明し，その限界を示す。
- 負エントロピーに関して凸かつL-滑らかな関数クラスにおいて，あらゆる一階最適化手法に対してΩ(L/T)の下限を確立した。
- 特に，この結果はミラー降下法が，このクラスにおいて対数因子までの最適性を持つことを示唆している。
- 同様の結果が，負のフォン・ノイマンエントロピーに関してL-滑らかな関数クラスに拡張された。
任意のアルファベット上の完全2進コード [math.NT, cs.IT, math.IT]目的：完全2進コードの存在可能性
- 符号理論は，情報伝送における誤り検出・訂正の基礎であり，通信技術に不可欠である。
- アルファベットサイズが素数のべき乗でない場合の完全2進コードの存在が未解決問題となっていた。
- 特定のアルファベットサイズにおける完全2進コードの存在を検証し，予想を裏付ける。
- アルファベットサイズが$q=2^\alpha p^\beta$の形で表される場合，ある条件の下で完全2進コードが存在しないことが確認された。
- 特に，$p$を素数とし，$\alpha$と$\beta$が正の整数であるとき，$\alpha \leq 20$または$\alpha$が十分に大きい場合に予想が成立することが示された。
$\mathbb{C}^4$ における位相復元に必要な測定回数は正確に11回である [quant-ph, cs.IT, math.DG, math.IT]目的：$\mathbb{C}^4$における位相復元に必要な最小限の測定回数の決定
- 位相復元は，信号処理，画像再構成，量子情報科学など幅広い分野に応用される重要な技術である。
- $\mathbb{C}^4$における位相復元に必要な最小測定回数は長年未解決問題であり，10回または11回である可能性が示唆されていた。
- 本研究は，位相復元の性質を持つベクトルの存在条件を数学的に厳密に評価し，最小測定回数を決定することを目的とする。
- 微分位相幾何学の特性類とコホモロジー群を用いることで，10個のベクトルでは位相復元が不可能であることを証明した。
- Vinzanの11個のベクトルによる構成と組み合わせることで，$\mathbb{C}^4$における位相復元の最小測定回数は正確に11回であることを示した。
- この結果は，純粋状態量子層描画法において，ランク1のPOVMが純粋状態に対して情報的に完全であるためには正確に11個の要素が必要であることを意味する。
C_7のシャノン容量の下限を改善する再帰的構成 [math.CO, cs.IT, math.IT]目的：C_7における独立集合の再帰的な再構成と拡張
- 符号理論は，情報伝送における信頼性と効率性を高めるために不可欠である。
- C_7グラフにおける大規模な独立集合の効率的な構成が課題となっている。
- C_7のシャノン容量の下限をより厳密に決定することを試みる。
- 既存の独立集合を再帰的に拡張することで，C_7^{200}における明確に定義された独立集合を得た。
- この構成により，C_7のシャノン容量の下限が少なくとも3.2587891539086910161967650155であることが示された。
- 5次元基本ガジェットに関する有限の主張はプログラムによって検証され，正確な整数計算が実行された。
疎性の下での最適T数：QROMから状態準備，ブロックエンコーディングへ [quant-ph, cs.CC, cs.DS]目的：疎QROMにおけるT数
- 量子アルゴリズムは古典データへのコヒーレントなアクセスを必要とし，QROMはそのモデルとなる。
- QROMの効率的な実装は，量子計算の実現可能性に大きな影響を与える。
- 疎QROMのT数を最適化することで，量子計算リソースの削減を目指す。
- 本研究では，疎QROMのT数の漸近的な上限と下限を$\Theta(\sqrt{sm} + \sqrt{sn})$と証明した。
- この結果は，状態準備および疎行列のブロックエンコーディングにおけるT数にも適用される。
- 測定や古典制御演算が許容される状況下でも，下限が成立することが示された。
時間発展からの任意のLindbladianの学習 [quant-ph, cs.ET, cs.PF, quant-ph, cs.DS]目的：時間発展へのアクセスから未知のマルコフ開系生成子を学習すること
- 量子系のダイナミクス理解には，開系における時間発展の正確なモデル化が不可欠である。
- Lindbladianの全ての係数を効率的に推定することは，計算量的に困難な問題である。
- 時間発展データから，効率的かつ高精度に任意のLindbladianを推定すること。
- 提案アルゴリズムは，最小限の仮定の下で任意のLindbladianを学習できる。
- 動的強度が$\Lambda$のLindbladianに対し，$\widetilde O(\Lambda^2/\epsilon^2)$回の実験と$\widetilde O(\Lambda/\epsilon^2)$の総進化時間で，全ての係数を誤差$\epsilon$で推定する。
- 実験回数と総進化時間のスケーリングは，対数因子を除いて下限に一致し，ほぼ最適なアルゴリズムである。
テンソル分解に基づく可逆論理回路合成アルゴリズム [cs.LO, cs.ET, quant-ph]目的：可逆論理回路の合成
- 低消費電力な計算機を実現するため，可逆論理回路の研究が重要である。
- 可逆論理回路の合成は，回路規模の増加や複雑化が課題となっている。
- テンソル分解を用いて，可逆論理回路の合成における回路規模を削減する。
- nビット置換マップをテンソルとして扱い，ランクを削減する手法を提案した。
- 置換マップをランク($2n-2$)テンソルと$2\times 2$の単位行列のテンソル積で表現することを目指した。
- この手法により，特にToffoliゲートの使用量を削減することが期待される。
深層Rプログラミング [cs.PL, cs.LG, stat.AP, stat.CO]目的：データサイエンスにおけるR言語の習得
- データ分析の重要性が増す中，R言語は広く利用されている。
- R言語の習得には，体系的な学習教材が不可欠である。
- 本書は，データ処理，数値計算，統計，機械学習など，広範な分野に対応するR言語の知識とスキルを提供する。
- 読者は，R言語を自立して活用し，データ分析の様々な課題に取り組めるようになる。
- 本書は非営利プロジェクトであり，オンライン版とPDF版が無料で公開されている。
セルフリー大規模MIMO ISACにおける超高信頼標的認識型作動のための省エネルギー化 [cs.IT, eess.SP, math.IT]目的：超高信頼標的認識型作動を可能にするセルフリー大規模MIMO ISACシステムにおける総エネルギー消費量の最小化
- 次世代6G通信では，センシングに基づく応用が重要となり，高精度かつタイムリーなセンシング情報が求められる。
- 通信とセンシングを同時に行うISACシステムでは，厳しい信頼性と低遅延の制約が課題となっている。
- 本研究は，通信・センシング両方の要件を満たしつつ，エネルギー消費量を削減する手法を提案する。
- 提案手法は，最大許容ブロック長を用いた方式と比較して，最大34%のエネルギー削減を達成する。
- クラッタ認識型検出器は複雑度は高いが，必要なアンテナ数とセンシングAP数を減らし，最大40%のエネルギー節約に貢献する。
- センシング情報更新レートを導入し，観測遅延と処理遅延を考慮した閉形式表現を導出した。
点集合原理と構成的次元忠実性 [cs.IT, math.IT]目的：ハウスドルフΦ次元に関する点集合原理の証明と，構成的Φ次元の特性付け
- フラクタル等の複雑な図形の次元を測る理論は，数学，物理学等に不可欠である。
- 従来の次元概念では，特定の条件下の図形しか扱えず，汎用性に課題があった。
- より広範な図形に対して次元を定義し，その性質を明らかにすることを目指す。
- ハウスドルフΦ次元の有効版である構成的Φ次元を導入し，Kolmogorov複雑性や$s$-galesを用いて特性付けを行った。
- カントール展開で生成される被覆族に対する構成的次元忠実性の必要十分条件を導出した。
- カントール被覆族におけるハウスドルフ次元忠実性と構成的次元忠実性が同値であることを証明した。
待ちのみの非ブロッキングブロードキャストプロトコルの安全性検証 [cs.LO, cs.CL, cs.MA]目的：待ちのみブロードキャストプロトコルの安全性に関する検証
- 分散システムにおけるプロセス間通信の信頼性と正確性は，システムの安定運用に不可欠である。
- ブロードキャストプロトコルの状態到達可能性や構成到達可能性問題は，計算複雑性が高く，効率的な検証が課題である。
- 待ちのみプロトコルに特化した検証手法を開発し，問題の複雑さを軽減することを目指す。
- 待ちのみプロトコルの状態到達可能性問題はP-完全であることが証明された。
- 待ちのみプロトコルの構成到達可能性問題はPSPACE-完全であることが証明された。
- これにより，待ちのみプロトコルの安全性検証の計算複雑性に関する新たな知見が得られた。
条件書き換え規則のモジュール式合同 [cs.LO, cs.PL, cs.SC]目的：条件付き書き換えシステムにおける合同
- 書き換えシステムは，計算の基礎であり，プログラムの変換や検証に不可欠である。
- 条件付き書き換えシステムにおける合同性の判定は，一般に困難である。
- 条件付き書き換えにおける合同性を効率的に判定するための手法を開発する。
- 本研究では，JouannaudとKirchnerの枠組みを条件付きシステムに適用し，有限個の条件付きペアを用いて合同性を証明・反証する方法を提案する。
- ロジックベースの条件付き臨界対，パラメータ付き条件付き変数対，下向き条件付きペアを導入し，合同性分析を可能にする。
- 本手法は，等式項書き換えシステムやMaudeなどの既存の書き換えシステムにも適用可能であり，既存の結果を改善する。
FC定義可能正則言語の特徴付けと決定可能性 [cs.LO, cs.FL]目的：FC定義可能正則言語の特徴付け
- 形式言語理論において，正則言語の表現力と限界を理解することは重要である。
- FC論理は正則言語を超える言語を定義可能だが，どの正則言語がFC定義可能か不明である。
- FC定義可能正則言語を決定的に特徴付ける手法を確立すること。
- FC定義不可能な正則言語が存在することが示された。
- FC定義可能正則言語は，代数，オートマトン，正規表現を用いて決定的に特徴付けられた。
- 特に，終端語のクリーネスターを拡張した星フリー一般正規表現が簡潔な表現を与える。
実践におけるセキュリティ負債：実務家からの微妙な洞察 [cs.SE]目的：ソフトウェア実務家によるセキュリティ負債の認識，管理，コミュニケーション
- ソフトウェア依存度が高まる中，セキュリティは不可欠であり，その重要性は増している。
- セキュリティよりも機能優先になりがちで，負債が蓄積し，適切な対処が不足している。
- 実務家の実態を把握し，より良いセキュリティ対策の統合を目指す。
- 実務家のセキュリティ負債に対する認識やリスクへの意識にはばらつきが見られた。
- 一部は開発速度を優先する一方，セキュリティを重視する実務家も存在した。
- SDLC全体でのセキュリティ実践の統合，対策の標準化，そしてバランスの重要性が示唆された。
鉄道図の自動レイアウト [cs.PL]目的：鉄道図の自動レイアウト手法
- 文法の視覚化は，プログラミング言語や記法の理解に不可欠である。
- 鉄道図の作成は手作業が中心で，ツールが限られており効率が悪い。
- 鉄道図のレイアウトを自動化し，記述の手間を省くことを目指す。
- 提案手法は，文法を記述する「図言語」から，図形を配置する「レイアウト言語」へのコンパイルとして問題を捉える。
- ターゲット幅に合わせた行折り返し，垂直方向の配置，水平方向の整列をユーザー指定のポリシーに基づいて実行する。
- 行折り返しを最適化問題として捉え，妥当性の次元を定義し，それに対応するヒューリスティクスを実装した。
DocPrism：コードとドキュメント間の誤り不整合の多言語検出 [cs.SE]目的：コードとドキュメント間の誤り不整合の検出
- ソフトウェア開発において，コードとドキュメントの一致性は，保守性や品質を向上させる上で不可欠である。
- コードとドキュメントが乖離している場合，開発者の誤解を招き，ソフトウェアの欠陥の原因となる。
- 大規模言語モデルを活用し，誤り不整合に焦点を当てた高精度な検出手法を確立すること。
- DocPrismは，標準的な大規模言語モデルを用いて，コードとドキュメント間の不整合を分析・説明するツールである。
- LCEF手法を導入することで，不整合検出率を大幅に削減し，F1スコアを向上させた（98%→14%, 0.22→0.77）。
- Python，TypeScript，C++，Javaの4言語での評価において，高い精度を維持し，既存手法を上回る性能を示した。
ゼロ知識証明による回路機能同値性の証明 [cs.CR, cs.LO]目的：第三者知的財産統合におけるセキュリティリスク解決のための，プライバシー保護型ハードウェア検証フレームワーク
- 現代の集積回路開発では，第三者IPの利用が増加しており，セキュリティが重要課題となっている。
- IPベンダーとシステムインテグレーター間の信頼関係構築が困難であり，設計情報の漏洩リスクがある。
- 設計情報を保護しながら，IPの正当性とセキュリティを検証する手法が求められている。
- 提案手法 ZK-CEC は，ゼロ知識証明と形式検証を組み合わせた初のプライバシー保護型ハードウェア検証フレームワークである。
- 秘密の設計に対して公開制約の充足不能性を証明する設計図を提供し，ソフトウェア，ハードウェア，サイバー物理システムに応用可能である。
- 実験結果から，ZK-CECはAES S-Boxのような実用的な回路の検証を現実的な時間内で実行できることが示された。
低出次数向き取りの高速並列バッチ動的アルゴリズム [cs.CL, cs.DC, cs.DS]目的：低出次数向き取りの維持
- グラフ理論における基本的な問題であり，ネットワーク設計やスケジューリングに応用される。
- 動的に変化するグラフにおいて，効率的な向き取りアルゴリズムが求められる。
- バッチ処理での並列化による，低出次数向き取りの効率化を目指す。
- 償却コストにおいて，$O(c)$-向き取りを期待平均$O(\log n)$作業量で維持するアルゴリズムを提案。
- 最悪の場合においても，$O(c+\log n)$-向き取りを$O(\log n)$の作業量で維持するアルゴリズムを提案。
- 提案アルゴリズムは，既存の並列アルゴリズムと比較して，作業量を大幅に削減。
線上ネットワークにおける貪欲なパケット転送 [cs.DS]目的：オンライン到着するパケットの最大フロー時間を最小化すること
- ネットワークにおけるパケット転送は，通信システムの効率に不可欠であり，遅延最小化は重要な課題である。
- 既存の転送アルゴリズムには，競争率の理論的限界があり，最適な解法が未だ確立されていない。
- この研究は，新たな貪欲アルゴリズムを提案し，その性能限界を明らかにすることで，この問題を解決する。
- 提案するGreedyアルゴリズムは，アクティブなルーター数kに対して，競争率2-2^{1-k}を達成する。
- ランダム化アルゴリズムに対しても，(4/3-ε)以上の競争率を持つアルゴリズムは存在しないことを示す，新たな下界を確立した。
- 特に，パケットが1つまたは2つのルーターを通過する場合に，Greedyアルゴリズムの性能が評価されている。
半空間の学習関数 [cs.DS, cs.CC]目的：半空間のBoolean関数学習アルゴリズム
- 機械学習において，複雑な関数を効率的に学習することは重要である。
- 高次元空間における半空間の交差は，学習が困難であることが知られている。
- 分布に依存しないPAC学習モデルで，半空間のBoolean関数を効率的に学習する。
- 本研究では，任意の$k$個の半空間のBoolean関数を，時間$2^{\sqrt{n} \cdot (\log n)^{O(k)}}$で学習するアルゴリズムを提案する。
- このアルゴリズムは，2つの半空間の交差を時間$2^{o(n)}$でPAC学習できる初のアルゴリズムである。
Javaライブラリ脆弱性エクスプロイトのクロスバージョン適用可能性の評価 [cs.SE, cs.CR]目的：Javaライブラリ脆弱性エクスプロイトのクロスバージョン適用可能性
- ソフトウェアサプライチェーンのセキュリティにおいて，ライブラリ脆弱性の影響を受けるバージョン特定は重要である。
- エクスプロイトはバージョン固有であり，ライブラリの異なるバージョンに直接適用できないという課題が存在する。
- エクスプロイトのバージョン間適用可能性を大規模に検証し，その課題を解決することを目的とする。
- エクスプロイトは，修正なしでJavaの脆弱バージョン特定において，既存の脆弱性データベースや評価ツールを上回る高い再現率（83.0%）と適合率（99.3%）を示した。
- 本研究により，CPE辞書に796件の確認された欠損脆弱バージョンが追加された。
- エクスプロイトの失敗は主にライブラリの進化や環境変化による互換性の問題に起因し，手動によるエクスプロイト移行により再現率が96.1%に向上した。
禁止するべきか否か？オープンソースプロジェクトにおけるGenAI貢献の統治方法 [cs.SE, cs.HC]目的：オープンソースプロジェクトにおけるGenAI貢献の統治に関する現状分析
- ソフトウェア開発において，GenAIの活用が拡大しており，その影響を理解することが重要である。
- GenAIの貢献に対する明確な統治フレームワークが存在せず，プロジェクト毎に散在している。
- GenAIの貢献を効果的に統治するための戦略と政策を明確化し，コミュニティに提示すること。
- 分析の結果，貢献ワークフロー全体に共通する懸念事項が特定され，３つの統治指向性が導き出された。
- GenAIの統治戦略は12種類，その政策手段が整理され，単なる禁止だけでは不十分であることが示された。
- 責任，検証，レビュー能力，コードの由来，プラットフォーム基盤など，多角的な対応がGenAI統治には必要である。
複数ソフトウェア成果物からの詳細なコード変更理由の復元 [cs.SE]目的：コード変更理由の理解
- コードの保守，レビュー，デバッグには変更理由の理解が不可欠である。
- 変更理由は断片的で，不整合な文書化がされており，複数の成果物に散在している。
- 複数の成果物から理由を統合し，簡潔な要約を生成することで理解を支援する。
- 実験の結果，ARGUSは理由の識別において高い再現率(93.2%)を示した。
- 生成された要約は，専門家による参照要約と比較して正確であると評価された。
- ユーザ調査の結果，ARGUSの要約はコード理解，レビュー，ドキュメント作成に役立つことが示された。
LLMエージェントによる自動ソフトウェア分析タスクの評価 [cs.SE]目的：自動ソフトウェア分析タスクにおけるLLMエージェントの有効性評価
- ソフトウェア品質向上には，多様な分析ツールの活用が不可欠である。
- 環境構築や依存関係解決の複雑さから，ツールを様々なプロジェクトに適用するのが困難である。
- LLMエージェントを活用し，ソフトウェア分析ツールの自動適用を可能にすること。
- 本研究で開発したAnalysisBenchを用いて，複数のエージェントアーキテクチャとLLMバックエンドを評価した。
- 提案手法AnalysisAgentは，Gemini-3-Flashにおいて94%の成功率を達成し，既存手法を上回った。
- エージェントアーキテクチャがLLMの能力以上に重要な役割を果たすこと，および自己検証による成功率の過大評価が課題として示された。
多面体の学習に関するタイトな上限 [cs.DS, cs.LG]目的：多面体のPAC学習における誤差とマージンに関するアルゴリズム
- 機械学習の分野において，複雑な形状の学習は重要な課題である。
- 既存手法では，多面体の次元数やマージンの逆数に対して指数的な計算量が必要となる。
- 本研究は，次元数とマージンに関する既存の上限を改善することを目指す。
- 提案アルゴリズムは，既存手法と比較して，計算量において次元数とマージンに対する指数依存性を低減する。
- このアルゴリズムは，暗号理論および統計的クエリの下限との整合性を示す。
- また，本手法は，多面体の境界からの距離に関する制約が緩和された設定にも適用可能である。
拡張ファジー論理プログラムに対するパラコンシステント意味論：近似不動点理論による拡張版 [cs.LO]目的：拡張ファジー論理プログラムに対するパラコンシステント意味論の定式化
- 論理プログラミングは，知識表現と推論の強力なフレームワークである。
- 両方の種類の否定を含む論理プログラムに対する意味論の定義は困難である。
- 失敗による否定と強い否定を併せ持つファジー論理プログラムの意味論を確立すること。
- 近似不動点理論の枠組みを用いて，整合性のある意味論を定式化した。
- 既存の意味論を一般化し，新たな意味論を創出する可能性を示した。
2つの生成元による単体複体からなる小さいプロトキンド欠陥を持つ四元コード [cs.IT, math.IT]目的：四元コードの無限族の構成とリー重み分布の決定
- 符号理論は，通信やデータ保存における誤りの検出と訂正に不可欠である。
- 既存の四元コードのパラメータは，改善の余地が多く残されている。
- プロトキンド欠陥が小さい，新しい四元線形コード族を構築すること。
- プロトキンド欠陥が1または2の3つの四元線形コード族を発見した。
- プロトキンド欠陥が小さい少なくとも32の新しい，または改善されたパラメータを報告した。
- 距離最適，ほぼ次元最適，最小の二項線形コードの無限族を確立した。
証明を考慮した特性指向到達可能性 [cs.LO, cs.AR]目的：ハードウェア安全性検証における到達可能性の探索
- ハードウェアの安全性確保は不可欠であり，その検証技術の重要性は高い。
- 従来の到達可能性検証は，証明の簡潔性や検証コストに課題があった。
- 証明の品質を向上させ，検証効率と信頼性を両立することを目指す。
- 提案手法CAPDRは，オフラインで学習したランク付け関数を用いて，PDRによる提案の順序を最適化する。
- CAPDRは，検証ベンチマークにおいて，ランク付けを無効にした場合と比較して，より多くのインスタンスを解決した。
- CAPDRは，証明のサイズと検証時間をそれぞれ24.6%，49%削減することに成功した。
SAOITHE：ハードウェア制約のあるエッジネットワークにおける持続可能な情報時代に基づくタイムリーな状態更新 [cs.NI, cs.IT, math.IT]目的：カーボンフットプリントを考慮した状態更新の最適化
- 次世代6Gネットワークでは，情報鮮度（AoI）が重要視される。
- エネルギー消費量の削減だけではカーボンフットプリントを最小化できない。
- カーボンフットプリントと情報鮮度の両立する状態更新手法を確立する。
- 提案手法SAOITHEは，カーボンフットプリントの予算内で，ベースライン手法よりも低いAoIを達成する。
- 特にカーボンインテンシティが高い地域では，最大75%のAoI改善効果が確認された。
- SAOITHEは，スケーラビリティを維持しつつ，リアルタイムなスケジューリングを可能にする。