arXiv雑要約

• Top
• AI
• プログラム
• 画像・音声
• セキュリティ
• 数値解析

プログラム - 2026/03/04 公開

• 汎用ダイクストラ法 [cs.NI, cs.DS]目的：連続・連続的な資源を持つネットワークにおける最短経路探索

  • ネットワーク最適化は通信，物流など幅広い分野で不可欠であり，効率的な経路探索アルゴリズムが求められる。
  • 資源の連続性や連続性制約があるネットワークの最短経路問題は，従来のアルゴリズムでは効率的な解法が確立されていなかった。
  • 本研究は，連続・連続的な資源を持つネットワークにおける最短経路問題を効率的に解決することを目標とする。
  • 近年提案された汎用ダイクストラ法は，連続・連続的な資源を持つネットワークにおいて最短経路を探索できる。
  • 本研究では，そのアルゴリズムの正当性証明と欠点の修正を行った。
  • 偏序構造を持つ代数的構造への貪欲法とベルマン最適性の原理の拡張により，問題の実行可能性を理論的に示した。

  Link: https://arxiv.org/abs/2204.13547

• 情報理論への視覚的入門 [cs.IT, math.IT]目的：情報理論における主要概念の理解

  • 科学技術の進歩において，データ圧縮と伝送の限界を理解することは重要である。
  • 情報理論の概念は抽象的であり，直感的な理解が困難であるという課題がある。
  • 確率論に基づき，情報理論の主要概念を視覚的に理解するためのガイドを提供すること。
  • エントロピー，相互情報量，チャネル容量といった主要概念が確率論からどのように導かれるかを解説する。
  • データの圧縮と伝送における限界を，視覚的なアプローチを通じて明確に示す。
  • 基本的な確率論の知識があれば理解できる，直感的で分かりやすい情報理論の入門書である。

  Link: https://arxiv.org/abs/2206.07867

• 待ちのみの非ブロッキングブロードキャストプロトコルの安全性検証 [cs.LO, cs.CL, cs.MA]目的：待ちのみブロードキャストプロトコルの状態到達可能性と構成到達可能性の問題

  • 分散システムにおけるプロセス間通信の安全性確保は重要である。ブロードキャストはその基本的な要素。
  • ブロードキャストプロトコルの状態・構成到達可能性問題は計算困難であることが知られている。
  • 待ちのみプロトコルにおける状態・構成到達可能性問題の計算複雑性を明らかにする。
  • 待ちのみプロトコルにおいて，状態到達可能性問題はP-完全であることが示された。
  • また，構成到達可能性問題はPSPACE-完全であることが示された。
  • これにより，待ちのみ制約が問題の複雑さを大幅に軽減することが明らかになった。

  Link: https://arxiv.org/abs/2403.18591

• γ-縮約とβ-縮約：彩色を保存するグラフ縮約の統一的枠組み [cs.DS, math.CO]目的：彩色を保存するグラフ縮約の統一的枠組み

  • グラフは情報科学や離散数学の基本的な抽象概念であり，様々な問題に応用されている。
  • グラフの構造を簡略化する際に，重要な構造的特性を維持することが課題となる。
  • 彩色情報に基づいたグラフ縮約の数学的定式化と，そのアルゴリズム的な処理方法を確立する。
  • γ-縮約を圏論的な連結性を保存する商のような構成として厳密に数学的に定式化した。
  • β-縮約をγ-縮約の基盤となるメカニズムを捉える局所的な反復変形として導入した。
  • β-縮約がγ-縮約に黄金比を底とする対数時間で収束し，その限界が漸近的にタイトであることを証明した。

  Link: https://arxiv.org/abs/2404.12080

• WAFFLE：自動フロントエンド開発のためのマルチモーダルモデルのファインチューニング [cs.HC, cs.CL, cs.SE, cs.CL, cs.CV]目的：UIデザインからHTMLコードへの変換に関する研究

  • Web開発は，初心者から経験者まで，HTMLの複雑な構造とスタイル設定が課題となる。
  • LLMによるUI-HTML変換において，HTMLの階層構造の表現と視覚情報とコードの整合性の確保が困難である。
  • 構造認識型Attention機構とコントラスティブ学習により，LLMのHTML構造理解とUI-HTML対応を改善する。
  • WAFFLEでファインチューニングしたモデルは，既存手法を上回り，HTMLマッチ率が最大9.00pp向上した。
  • CW-SSIMは0.0982，CLIPは32.99，LLEMは27.12pp向上し，WebSight-TestおよびDesign2Codeで優れた性能を示した。
  • 本研究は，UIデザインから高品質なHTMLコードを生成するための効果的なファインチューニング戦略を提供する。

  Link: https://arxiv.org/abs/2410.18362

• コードとテストの生成：自己対戦による学習フレームワーク [cs.SE]目的：コード生成とテスト生成能力の向上

  • 大規模言語モデルのコーディング能力向上は，ソフトウェア開発の自動化に不可欠である。
  • 既存の高品質データの枯渇により，モデルの性能向上が鈍化している。
  • 自己生成データのエラー蓄積を抑制し，モデル自身の検証能力を活用する。
  • Sol-Verフレームワークは，コード生成（solver）とテスト生成（verifier）を自己対戦的に改善する。
  • 人間の注釈や大規模な教師モデルに依存せず，両方の能力を向上させる。
  • Llama 3.1 8Bモデルを用いた実験で，MBPPとLiveCodeBenchにおいて，コード生成が19.63%，テスト生成が17.49%の平均的な相対改善を達成した。

  Link: https://arxiv.org/abs/2502.14948

• 逐次交換モンテカルロ法：パラメータ調整を必要としないベイズデータ解析のためのサンプリング手法 [cs.CL, cs.IT, math.IT]目的：ベイズデータ解析のためのサンプリング手法

  • ベイズデータ解析は幅広い分野で活用されており，材料科学等の複雑なモデルの解析に不可欠である。
  • 多峰性分布からの効率的なサンプリングが課題であり，既存手法はパラメータ調整の困難さが伴う。
  • パラメータ調整を必要とせず，堅牢な収束性を持つベイズ推論手法を確立すること。
  • 逐次交換モンテカルロ法（SEMC）は，様々な問題設定において追加の調整なしに堅牢な収束性を示した。
  • 非可逆並列テンパリング（NRPT）はパラメータ調整に計算時間を要し，逐次モンテカルロサンプラー（SMCS）は温度ごとのMCMCステップ数を調整する必要がある。
  • SEMCは，ベイズ推論の実用性を高める可能性を持つ。

  Link: https://arxiv.org/abs/2502.17858

• 大規模言語モデルを用いたソフトウェア工学における実証研究のガイドライン [cs.CL, cs.CL, cs.IR, cs.SE]目的：大規模言語モデルが関与するソフトウェア工学の実証研究の設計と報告に関するガイドライン

  • ソフトウェア工学分野では，実証的検証が不可欠であり，その信頼性が研究の進展を左右する。
  • 大規模言語モデルの非決定性や不透明性により，研究の再現性や複製性が損なわれる可能性が指摘されている。
  • 大規模言語モデルを用いた研究における再現性と信頼性を高めるための指針を提示すること。
  • 本研究では，大規模言語モデルの関与度合いによる7つの研究タイプを分類した。
  • 大規模言語モデルを用いた研究を行う上で考慮すべき8つのガイドラインを提案した。
  • 提案されたガイドラインと研究タイプとの適合性をマトリクス形式で示し，著者と査読者向けのチェックリストも提供した。

  Link: https://arxiv.org/abs/2508.15503

• 最小データ，最大の説明力：最適化を説明するためのヒューリスティック [cs.SE]目的：最適化のためのデータ効率と解釈可能性の向上

  • ソフトウェアエンジニアリングにおいて，大規模な設定空間と高コストなラベル付けが課題。
  • 従来の最適化手法では，十分な説明性や透明性が確保されていない場合が多い。
  • 少ないデータでも効果的かつ理解しやすい最適化モデルを構築すること。
  • EZRフレームワークは，アクティブラーニングと決定木を用いて，効率的な最適化と説明を実現した。
  • 実世界の60データセットで，既存手法の90%以上の性能を達成し，説明の明瞭性においても優位性を示した。
  • 「より少ないが質の高い」データを使用することで，ラベル効率の良い最適化と説明が可能となることが示された。

  Link: https://arxiv.org/abs/2509.08667

• WebDevJudge：ウェブ開発の品質評価における（M）LLMを批評家として評価する [eess.SY, cs.RO, cs.SY, cs.RO, cs.SY, eess.SY, cs.SE, cs.AI]目的：ウェブ開発の品質評価におけるLLMを批評家としての性能評価

  • LLMの進化は，人間の評価に代わる効率的な手段として注目されている。自動評価の精度向上が求められている。
  • 複雑な環境やインタラクションを伴うオープンエンドなタスクにおいて，LLMの評価の信頼性は未検証である。
  • ウェブ開発におけるLLMを批評家としての限界を明らかにし，より信頼性の高い自動評価システムの開発に貢献する。
  • WebDevJudgeは，ウェブ開発の品質を評価するためのベンチマークであり，静的評価と動的なインタラクティブ評価に対応している。
  • 実験の結果，LLMの評価能力と人間の専門家との間には大きな差があることが示された。
  • その差は，機能的同等性の認識，タスク実行可能性の検証，およびバイアスの軽減におけるモデルの限界に起因することが示唆された。

  Link: https://arxiv.org/abs/2510.18560

• VeriStruct：Verusにおけるデータ構造モジュールのAI支援自動検証 [cs.SE, cs.AI]目的：Verusにおけるデータ構造モジュールのAI支援自動検証フレームワーク

  • ソフトウェアの信頼性確保が重要であり，特にデータ構造はプログラムの根幹をなすため，その検証は不可欠である。
  • 形式検証は厳密だが，手動でのアノテーション作成に多大な労力が必要であり，自動化が課題となっている。
  • LLMを活用し，アノテーション生成やエラー修正を自動化することで，形式検証の効率化を目指す。
  • VeriStructは，アノテーションの構文ガイダンスと自動修正機能を組み込み，LLMの理解度向上を図った。
  • 11個のRustデータ構造モジュールで評価した結果，10個のモジュール全体で129個の関数中128個(99.2%)の検証に成功した。
  • この結果は，AI支援による自動形式検証への重要な一歩を示すものである。

  Link: https://arxiv.org/abs/2510.25015

• QiMeng-CRUX: 回路設計のための明確なVerilog生成に向けた，中核的な理解表現の精緻化 [cs.LG, cs.AR, cs.PL]目的：自然言語とVerilog間のギャップ縮小

  • デジタル回路設計において，自動化のニーズが高まっており，効率的なHDL生成が不可欠である。
  • 既存手法では，曖昧で構造化されていない自然言語入力が，高品質なVerilogコード生成の妨げとなっている。
  • 本研究は，自然言語の意図を正確に捉え，Verilog生成に適した構造化された中間表現を提案することで，この問題を解決する。
  • 提案手法であるCRUXは，ユーザーの意図の本質を捉え，Verilogコード生成に必要な情報を整理する構造化された中間表現である。
  • CRUXを用いたモデルCRUX-Vは，複数のVerilog生成ベンチマークにおいて，最先端の性能を達成した。
  • CRUXは汎用性が高く，他のコードモデルへの入力プロンプトとしても有効であり，自然言語とVerilog間のギャップ縮小に貢献する。

  Link: https://arxiv.org/abs/2511.20099

• 5つの確率変数の情報不平等 [cs.IT, math.IT]目的：5つの確率変数におけるシャノンエントロピー以外の不平等を求めること

  • 情報理論は，通信，暗号，機械学習など，広範な分野に応用される重要な学問分野である。
  • 変数の数が増えると，エントロピー領域の構造は複雑になり，解析が困難となる。
  • 5変数におけるシャノンエントロピー以外の不平等を明らかにし，エントロピー領域を特定すること。
  • 最大エントロピー法を応用し，5つの確率変数に関するシャノンエントロピー以外の不平等を計算した。
  • 最初の9世代の計算により，計算量の削減に成功し，無限個の不平等の集合を定義した。
  • これらの不平等がエントロピー不平等であることを証明し，極値不平等を列挙するアルゴリズムを開発した。

  Link: https://arxiv.org/abs/2512.23316

• 実践的な技術的負債管理ガイド（実務者向け） [cs.SE]目的：技術的負債管理の確立

  • ソフトウェア開発における品質維持と迅速な機能提供の両立が重要である。
  • 技術的負債の放置は，開発効率の低下やシステムの陳腐化を招く。
  • チームに合わせた技術的負債管理体制の構築を支援するガイドラインを提供する。
  • 本ガイドは，複数の企業チームへの支援を通して得られた知見に基づいている。
  • 実践的な観点から，学術的な成果を絞り込み，チームが導入しやすい内容に整理した。
  • 「必須事項」と「推奨事項」を区別し，チームでの合意形成を重視したプロセス設計を促している。

  Link: https://arxiv.org/abs/2601.11430

• ゼロパーミッション操作：大規模マルチモーダルモデル搭載GUIエージェントは信頼できるか [cs.CR, cs.AI, cs.SE]目的：大規模マルチモーダルモデル搭載GUIエージェントのセキュリティ脆弱性

  • モバイルプラットフォームにおけるGUI自動化の需要が高まっており，エージェントの信頼性が重要である。
  • 現在のGUIエージェントは，UI状態の不変性を前提としているが，実際にはその前提が成り立たない場合がある。
  • UI状態の変化を利用した攻撃からエージェントを保護し，安全なGUI自動化を実現すること。
  • Androidシステムにおいて，エージェントの実行を別のアプリに再バインドする「アクションリバインディング」攻撃が可能であることが示された。
  • この攻撃は，危険な権限を一切必要とせず，マルウェアスキャナによる検出を回避できることが確認された。
  • 「インテントアライメント戦略」により，確認ダイアログなどの検証ゲートをバイパスする成功率が大幅に向上した。

  Link: https://arxiv.org/abs/2601.12349

• チャネル符号のブラインド識別：部分空間符号化アプローチ [cs.IT, math.IT]目的：チャネル符号のブラインド識別手法

  • 通信システムにおいて，信頼性の高い情報伝送は不可欠であり，符号化はその重要な要素である。
  • 既存手法は特定の符号構造に依存し，計算コストが高い場合がある。また，性能保証が不十分である。
  • 未知の符号を効率的に識別し，理論的な性能保証を提供する。
  • 本研究では，演算子チャネルにおける部分空間符号の枠組みに着想を得た新しい識別手法を提案する。
  • 提案手法は，ハミング距離と部分空間距離の復号原理を組み合わせた最小化されたノイズ除去部分空間不一致復号器である。
  • シミュレーションにより，提案手法がランダム線形符号において，既存手法よりも優れた性能を示すことが確認された。

  Link: https://arxiv.org/abs/2601.15903

• zkCraft：プロンプト駆動LLMによるゼロショット変異パターンオラクルとTCCTを活用したZKファジング [cs.DM, math.OC, cs.CR, cs.SE]目的：ゼロ知識回路における意味的整合性の検出

  • ゼロ知識回路はプライバシー保護とスケーラビリティを実現するが，実装の正確性が課題である。
  • 証人計算と回路制約の密接な結合により，回路の誤りの検出が困難である。
  • LLMを活用し，効率的な変異パターン探索と誤りの検出を目指す。
  • zkCraftは，決定論的なR1CS対応ローカリゼーションと証明付き探索を組み合わせることで，意味的整合性を検出する。
  • 制約編集候補をRow-Vortex多項式にエンコードし，検証用IOPを用いることで，ソルバーとのコストのかかるインタラクションを削減する。
  • LLM駆動の変異テンプレートにより，エッジケースへの探索を誘導し，誤検出を抑制する。

  Link: https://arxiv.org/abs/2602.00667

• 構造グラフの洗練のための連続的フレームワークDRESS [cs.DS, cs.LG]目的：構造グラフの識別能力向上

  • グラフ構造の解析は，化学，ソーシャルネットワーク等に応用され，重要性が高い。
  • 高次のWeisfeiler-Lehmanテストは計算コストが高く，大規模グラフへの適用が困難である。
  • DRESSフレームワークを用いて，計算コストを抑えつつグラフ識別能力を高める。
  • DRESSは，1-WLや3-WLでは識別できないグラフを識別可能であることが示された。
  • モチーフDRESSは，特定の条件下で一意の固定点に収束することが示された。
  • Δ-DRESSは，Strongly Regular Graphsの識別において3-WLよりも優れていることが実証された。

  Link: https://arxiv.org/abs/2602.20833

• DRESSとWL階層：ワンデリートずつ登っていく [cs.DS, cs.DM]目的：グラフの構造的洗練フレームワークDRESSを繰り返し適用し，WL階層を系統的に探索すること

  • グラフ同型性判定は計算機科学の重要な課題であり，大規模グラフの処理において不可欠である。
  • 従来のWLアルゴリズムでは，複雑なグラフ構造の識別が困難な場合がある。
  • DRESSフレームワークの反復適用により，WL階層の性能限界を実証的に検証すること。
  • DRESSの反復適用 ($\Delta^k$-DRESS) が，$(k+2)$-WLと同等以上の識別能力を持つことを証明した。
  • 理論的限界を検証した結果，Original-DRESSは2-WL，k=3では5-WLに相当する性能を発揮した。
  • CFI(K7)の識別失敗により，$(k+2)$-WLにおける明確な境界が確認された。

  Link: https://arxiv.org/abs/2602.21557

• 今すぐ話せ：マルチパーティセッション型による安全なアクタープログラミング（拡張版） [cs.PL]目的：アクター言語における通信安全性の保証

  • 大規模で信頼性の高い分散アプリケーション構築において，アクター言語が広く利用されている。
  • アクター間の通信パターンが明確に定義されていないため，通信不一致やデッドロックなどのエラーが発生しやすい。
  • マルチパーティセッション型を用いて，アクター言語における通信の安全性を静的に検証することを目指す。
  • Matyは，マルチパーティセッション型とアクターの機能を両立する初の言語設計である。
  • フロー感度効果システムとイベント駆動プログラミング様式により，セッション型をアクター言語に適用した。
  • これにより，予期しないメッセージの送受信やセッションの停止を防ぎ，通信の安全性を保証する。

  Link: https://arxiv.org/abs/2602.24054

• CIRCLE：現実世界の視点からのAI評価フレームワーク [cs.AI, cs.SE]目的：AI技術の現実世界における成果の評価手法

  • AI技術の社会実装が進む中，その影響を適切に評価することが重要である。
  • 既存の評価指標はモデルの性能に偏っており，実際の利用状況を反映していない。
  • ステークホルダーの懸念を定量的な指標に変換し，AI技術の評価を体系化する。
  • CIRCLEは，AI技術のライフサイクル全体を捉えた評価フレームワークである。
  • 現場テスト，レッドチーム，縦断的研究を統合し，コンテキストに敏感な評価を可能にする。
  • 理論的な能力ではなく，現実世界におけるAI技術の影響に基づいたガバナンスを支援する。

  Link: https://arxiv.org/abs/2602.24055

• コード空間の理論：コードエージェントはソフトウェアアーキテクチャを理解しているか？ [cs.CL, cs.SE, cs.AI]目的：ソフトウェアアーキテクチャ理解能力の評価

  • ソフトウェア開発の複雑化に伴い，モジュール間の関係性を理解する能力が重要になっている。
  • 既存のAIコードエージェントは，単一タスクには優れるが，複数ファイルにわたる複雑なソフトウェア開発では苦戦している。
  • コードベース探索中に一貫したアーキテクチャの理解を構築・維持・更新する能力を評価することで，その課題を克服する。
  • 本研究では，手続き的に生成されたコードベースを用いて，モジュール間の依存関係や設計意図に関する構造化された信念状態を構築する能力を評価するbenchmarkを提案した。
  • 実験の結果，LLMエージェントは構文的なインポートだけでは見えない意味的なエッジタイプを発見したが，性能にはばらつきが見られた。
  • 内部理解を構造化されたJSONとして外部化すること自体が難しい課題であり，信念プローブbenchmarkにおける重要な交絡因子であることが示された。

  Link: https://arxiv.org/abs/2603.00601

• シグナル一階述語論理の定量的監視 [cs.LO, cs.SE, cs.SY, eess.SY]目的：ハイブリッドシステムのシグナルに対する定量的監視手法

  • 制御システム等の安全性評価に不可欠であり，複雑化するシステムへの応用が求められている。
  • 従来のSFOはブール値の意味論のみであり，定量的な評価や監視ツールが存在しなかった。
  • SFOの定量的意味論を定義し，オンライン監視アルゴリズムを開発することで，より高精度な監視を実現する。
  • SFOに対するロバスト性に基づく定量的意味論を初めて提供し，豊富なリアルタイム特性の表現と評価を可能にした。
  • SFOの過去時間フラグメントを特定し，監視アルゴリズムを開発することで，オンライン監視を実現した。
  • ベンチマーク評価により，提案手法の実用性と有効性が確認された。公に入手可能なプロトタイプも提供された。

  Link: https://arxiv.org/abs/2603.00728

• 大規模言語モデルを用いた持続可能なコード生成：体系的文献レビュー [cs.SE]目的：大規模言語モデルによるコード生成の持続可能性

  • ソフトウェアは社会基盤であり，その効率性はエネルギー消費に直結する。
  • LLM生成コードの効率性は評価されておらず，環境負荷が懸念される。
  • LLM生成コードの持続可能性評価手法の確立を目指す。
  • LLM生成コードの持続可能性に関する研究は限定的かつ分断されている。
  • 持続可能性の定義や評価方法，ベンチマークが標準化されていない現状が示された。
  • 環境に配慮したAI支援ソフトウェアエンジニアリングを推進するため，明確な定義と標準化された評価手法の必要性が強調された。

  Link: https://arxiv.org/abs/2603.00989

• FastCode：高速かつ費用対効果の高いコード理解と推論 [cs.SE, cs.AI]目的：大規模コードベースにおけるコード理解と推論の効率化

  • AI支援ソフトウェアエンジニアリングにおいて，大規模コードベースの推論は不可欠である。
  • 既存手法は，コード全体を探索する非効率性により，計算資源を浪費しやすい。
  • 効率的な構造探索により，コード推論の精度向上とコスト削減を目指す。
  • FastCodeは，コードベースの構造的マッピングを利用し，効率的な依存関係の追跡を可能にする。
  • SWE-QA等のベンチマークテストにおいて，既存手法を上回る推論精度とトークン消費量の削減を実証した。
  • 構造を意識したナビゲーションとコストを考慮したポリシーにより，最適化されたコンテキスト構築を実現する。

  Link: https://arxiv.org/abs/2603.01012

• 3GPPにおけるMIMO設計と性能要件のギャップを埋めるチャネルモデルについて [cs.IT, math.IT]目的：MIMO性能評価のためのチャネルモデルの比較分析

  • 5G標準化の成熟と6G研究の開始に伴い，正確なチャネルモデルが重要になっている。
  • 既存のTDLモデルは，現実的なMIMO評価に必要な空間伝搬特性を捉えられていない。
  • より正確で計算量も抑えられたrCDLモデルの有効性を検証し，MIMO性能評価への利用を促す。
  • rCDLモデルは，角度特性および空間プロファイルにおいて，実世界測定値とより良く一致することが示された。
  • Tapped Delay Line (TDL)モデルには明確な欠陥があり，rCDLモデルの方が測定された伝搬挙動により合致する。
  • シングルユーザーMIMOシナリオにおいて，rCDLモデルは適切なパラメータ設定により，CSI報告スキームの識別を可能にした。

  Link: https://arxiv.org/abs/2603.01843

• 剛性 matroid と線形代数 matroid：行列補完とテンソル符号への応用 [math.CO, cs.DM, cs.IT, math.IT]目的：剛性理論と線形代数的な構成から生じる matroid の関連性

  • 組み合わせ最適化や符号理論など，様々な分野で matroid は重要な数学的構造である。
  • 行列補完やテンソル符号における誤り訂正可能なパターンは，解析が難しい場合が多い。
  • matroid の特性を利用し，これらのパターンをより明確に記述することを試みる。
  • 剛性理論と線形代数的な matroid の間に新たな対応関係が示された。
  • 誤り訂正可能なパターンを記述する問題と，低ランクで補完可能なパターンを記述する問題の関連性が明らかになった。
  • (m, n, a=2, b=2) 型の最大可復元テンソル符号における誤り訂正可能なパターンについての初めての組み合わせ的な記述が提供された。

  Link: https://arxiv.org/abs/2405.00778

• 深層ReLUネットワークの被覆数：関数近似とノンパラメトリック回帰への応用 [stat.ML, cs.AI, cs.IT, cs.LG, math.IT]目的：深層ReLUネットワークの近似理論的性能，ノンパラメトリック回帰における予測誤差の上界，分類能力の定量化

  • 深層学習の理論的理解は，その性能向上と限界の把握に不可欠である。
  • 深層ネットワークの複雑さの定量的評価が困難であり，汎化性能の解析を阻害している。
  • ネットワークの被覆数を評価し，スパース性，量子化などの影響を解明すること。
  • 深層ネットワークの被覆数に対し，漸近的にタイトな上限と下限を導出した。
  • スパース性，量子化，重みの制限などがネットワーク性能に与える影響を定量的に示した。
  • ノンパラメトリック回帰におけるサンプル複雑度の上界を改善し，深層ネットワークの最適性を確立した。

  Link: https://arxiv.org/abs/2410.06378

• ホモトピー基数とエントロピー [math.CT, cs.IT, math-ph, math.IT, math.MP]目的：ホモトピー基数と情報理論の間の関連性

  • 型理論と情報理論の融合は，計算機科学と数学の進歩に不可欠である。
  • 既存の基数概念は，ホモトピー型理論における複雑な型に対して不十分である。
  • ホモトピー基数を活用し，情報量概念を型理論的に定式化すること。
  • ホモトピー基数は，切断と決定可能性の仮定の下で依存和を尊重することが示された。
  • しかし，ホモトピー基数は一般に依存積を尊重しないことが示された。
  • 対数関数のべき級数展開を用いて，エントロピーをホモトピー基数として定式化し，エントロピーの連鎖律を導出した。

  Link: https://arxiv.org/abs/2501.10672

• ほぼ線形漸化式の正定性 [math.DS, cs.LO]目的：ほぼ線形漸化式に対する正定性問題

  • 制御理論やプログラム解析における線形時間不変系の基礎となるため。
  • 線形漸化式における正定性問題の一般化であり，決定が困難。
  • 2次漸化式に対する正定性問題の決定手順を確立すること。
  • 2次漸化式に対する正定性問題に対し，決定可能な手順を開発した。
  • その決定手順の終了証明には，無限級数に関する新たな超越性結果が用いられた。
  • 本研究で得られた超越性結果は，独立した興味を持つものと考えられる。

  Link: https://arxiv.org/abs/2508.00944

• SU(2)を超える量子誤り訂正：スピン，ボソン，置換不変符号と凸幾何学 [quant-ph, cs.IT, math.IT]目的：量子誤り訂正符号および論理ゲートの構成手法

  • 量子コンピュータ実現には，量子情報の保護が不可欠であり，誤り訂正技術はそのための重要な要素である。
  • 従来の誤り訂正符号は，限られた種類の量子状態空間にしか適用できず，多様な量子システムへの対応が課題であった。
  • 本研究は，より広範な量子状態空間に対応可能な誤り訂正符号の構成を目指す。
  • 離散単体とSU(q)群の表現を用いることで，異なる量子状態空間間の符号とゲートの相互変換可能性を示す。
  • 凸幾何学の定理（Tverbergの定理）やSidon集合に基づいた古典的なℓ1符号を用いることで，新たな量子符号を構成した。
  • 符号長Nに対してほぼ線形に距離がスケールする符号族が得られ，既存のデザインを改善した。

  Link: https://arxiv.org/abs/2509.20545

• 全てのバックオフプロトコルの不安定性 [gr-qc, cs.MS, physics.comp-ph, math.PR, cs.DM, cs.DS, cs.IT, cs.NI, math.IT]目的：バックオフプロトコルの安定性

  • 共有リソースへのアクセスにおいて，衝突回避は効率的な通信に不可欠である。
  • 既存のバックオフプロトコルは，特定の条件下で不安定になる可能性がある。
  • 全てのバックオフプロトコルが，正の到着率下で安定しないことを証明する。
  • 1987年のAldousの予想が証明された。正の到着率下では，安定なバックオフプロトコルは存在しない。
  • Kellyモデルにおいて，ポアソン過程でメッセージが到着する場合，二項指数バックオフを含む全てのプロトコルが不安定となる。
  • メッセージの衝突を解決するためのランダム化アルゴリズムであるバックオフプロトコルの限界が明らかになった。

  Link: https://arxiv.org/abs/2602.21315

• 1
• 2