arXiv雑要約
プログラム - 2026/07/31 公開
ISACのための通信・センシングパレート境界に接近するAPSK変調方式の設計 [cs.IT, eess.SP, math.IT]目的：統合センシング通信(ISAC)のための振幅位相変調(APSK)信号の設計
- 通信とセンシングを統合するISACは，次世代の無線システムにおける重要な技術である。
- 従来の変調方式では，通信性能とセンシング性能のトレードオフが存在する。
- 通信・センシング性能のパレート境界に接近するAPSK変調方式を設計し，このトレードオフを改善すること。
- 提案手法は，通信性能を容量との差で評価し，最小ユークリッド距離と関連付ける。
- また，センシング性能は記号エネルギー分散で特徴づけられる。
- シミュレーション結果から，提案するAPSK変調族は，パレート境界に近い通信・センシング性能を発揮することが示された。
AGENTS.md ファイルにおける構成スメル：コーディングエージェント設定の共通ミス [eess.SY, cond-mat.stat-mech, cs.SY, math.DS, nlin.CD, cs.SE]目的：コーディングエージェント設定ファイルのスメルカタログ
- ソフトウェア開発の自動化において，コーディングエージェントの利用が拡大しており，その設定の重要性が増している。
- エージェント設定ファイルは適切に管理されていない場合が多く，設定の品質が課題となっている。
- コーディングエージェント設定ファイルに存在する問題点を特定し，品質改善に貢献することを目的とする。
- コーディングエージェント設定ファイルにおける6種類のスメルを特定した。
- Lint Leakage が最も多く（62%），次いで Context Bloat（42%）および Skill Leakage（35%）が頻繁に検出された。
- Context Bloat，Skill Leakage，Conflicting Instructions などのスメルが共起することが示された。
バースト性干渉チャネル向け，GRAND受信機を用いた閉ループ型ベイズバンディットエンコーダ [cs.IR, cs.SI, cs.IT, cs.LG, eess.SP, math.IT]目的：バースト性干渉チャネルにおける，ランダム線形符号と交差符号化線形符号のパケットレベル選択
- 無線通信において，干渉環境は常に変化するため，適応的な符号化方式が重要である。
- 従来の符号化方式では，干渉環境の変化に対応できず，通信品質が低下しやすい。
- 本研究は，ベイズバンディットエンコーダを用いて，干渉環境に適応的に符号化方式を選択することで，通信品質の向上を目指す。
- 提案手法では，チャネル推定が収束する前は交差符号化モードが選択される傾向にある。
- 学習済みのデコーダが有効になると，交差符号化の遅延がない非交差符号化モードの方が優れていることが示された。
- 学習されたノイズモデルは，ORBGRANDと比較してブロック誤り率を約1桁削減し，部分的なチャネル推定を用いることで，収束前のブロック誤り率を最大で4.5倍低減できる。
欲張り遅延ジョブ数最小化：締切木，最適プレフィックス，ティア matroid [cs.DS, math.OC]目的：単一機械における遅延ジョブ数最小化問題の効率的な解法
- スケジューリング問題は，製造，計算，物流など，様々な分野で重要な最適化課題である。
- 従来の解法は計算時間が長く，大規模な問題には適用が困難な場合がある。
- 締切木と matroid の構造を利用し，より高速な解法を開発することを目指す。
- Moore の SPT 挿入規則の効率的な実装法を提案し，計算量を $O(n\log n)$ に削減した。
- 締切木の構造を利用することで，遅延ジョブ数の最小化問題を効率的に解くことが可能となった。
- 貪欲法で得られる解が，マトロイドの構造を通じて完全に記述できることを示した。
奇サイクルに対するシャノン容量の下限の改善 [cs.IT, cs.AI, cs.DM, math.CO, math.IT]目的：奇サイクルグラフのシャノン容量の下限の向上
- 情報理論において，通信路容量は重要な指標であり，効率的な情報伝送の限界を示す。
- グラフのシャノン容量の下限を厳密に求めることは，計算困難な問題である。
- 大規模言語モデルを活用し，より大きな独立集合を構築することで，シャノン容量の下限を向上させる。
- グラフ$C_7^{10}$, $C_{11}^{6}$, $C_{13}^{6}$, $C_{15}^{8}$に対する独立集合のサイズをそれぞれ134753, 21909, 62530, 8076974と特定した。
- これにより，$\Theta(C_7)>3.258020$, $\Theta(C_{11})>5.289773$, $\Theta(C_{13})>6.300109$, $\Theta(C_{15})>7.301399$というシャノン容量の下限を改善した。
- 本研究は，大規模言語モデルが具体的な組み合わせ構造を見つける上で潜在的な有用性を持つことを実証した。
「帰れコパイロット，酔っぱらってるぞ」: エージェント生成コードレビューコメントに対する開発者の反応の理解 [cs.SE]目的：エージェント生成コードレビューコメントの解決状況に関する大規模な経験的研究
- ソフトウェア開発における品質保証は重要であり，コードレビューはその中核を担う。
- AIエージェントによるコードレビューは進んでいるが，開発者の反応に関する知見は不足している。
- AIエージェント生成のコードレビューコメントの解決状況を分析し，改善策を導き出す。
- エージェントごとの解決率に差があり，Copilotが解決済みのコメントの多数を占める(72.9%)。
- コア開発者は設計や拡張性に関するコメントを，末端開発者は機能欠陥に関するコメントを主に解決する。
- 未解決コメントの議論パターン分析から，誤った提案や意図的な設計決定が主な理由であることが判明した。
三人者微分ゲーム論理 [cs.LO, cs.GT]目的：三人者微分ゲームの検証
- 複数のエージェントが相互作用するシステムの検証が重要である。
- 従来のゲーム論理は，協力関係を考慮した検証が困難である。
- プレイヤー間の協調可能性を考慮した検証手法の確立。
- 本研究では，三人者微分ゲーム論理dGL3を提案し，離散動的システムと微分方程式のハイブリッドゲームの検証を可能にした。
- dGL3は，プレイヤーの個別の目標と協調の可能性を考慮することで，複雑な状況の検証に優れている。
- dGL3の構文と意味論を提示し，健全かつ完全な証明規則を導入した。
GitHubにおける大規模な毒性に関する人間介入型調査：低コストでのアプローチ [cs.SE]目的：GitHubにおける毒性判断のデータセット構築と，その特性の分析
- オープンソースプロジェクトの健全な発展には，建設的な議論環境が不可欠である。
- 既存の研究は小規模なデータに限定され，GitHub全体の毒性傾向を捉えられていない。
- 人間とLLMを組み合わせた効率的なアノテーション手法で，大規模な毒性データセットを構築する。
- 提案手法は，従来の信頼度に基づく手法や複数LLMを用いる手法よりも，毒性誤判定の検出性能が高い。
- 12万件以上のGitHubの会話データを用いて，既存研究の結果を検証し，新たな知見を得た。
- 毒性はプロジェクトの種類や議論の内容によって特徴が異なり，多様なオープンソースプロジェクトで異なる傾向が確認された。
隠しきれない秘密…：LLMネイティブIDEのセキュリティとプライバシー課題の解明 [cs.SE]目的：LLMネイティブIDEにおけるセキュリティおよびプライバシー課題
- ソフトウェア開発においてLLMの活用が進む中，開発環境の安全性確保が重要となる。
- LLMネイティブIDEは，その設計思想から新たなセキュリティリスクを内包する可能性が指摘されている。
- 開発者が報告するセキュリティ・プライバシー問題を分析し，安全なIDE設計の指針を提供する。
- 分析の結果，多くの問題はLLM自体ではなく，ユーザデータアクセスや自律的な動作など，システムレベルの設計に起因することが明らかになった。
- 開発者は，コードのサンドボックス化や手動レビューといった外部対策に依存しており，LLMネイティブIDEへの信頼が低い現状が示された。
- 本研究は，安全でプライバシーを重視したLLMネイティブIDE設計のための教訓を提供する。
分散結合サンプラーと証明済み経験的輸送のためのフィールドコード [cs.CC, cs.IT, cs.LG, math.IT, math.OC]目的：経験的最適輸送における分散結合サンプリング，コスト評価可能な結合出力，スカラー値認証サンプリングの通信タスク
- 最適輸送は，統計モデリング，機械学習，画像処理など広範な分野で不可欠なツールである。
- 大規模データセットにおける効率的な最適輸送計算は，計算コストと通信コストの面で課題が残る。
- フィールドコードを用いて通信量を削減し，認証可能なサンプラーを構築することで，効率的な輸送計算を実現すること。
- 本研究では，最適輸送フィールドを近似するフィールドコードを完成させるコンパイラを提案し，正確な周辺を持つ値認証サンプラーを生成する。
- 提案手法により，認証の精度はターゲット分割の直径のみに依存し，フィールド誤差は残差通信を制御することが示された。
- また，ギャップ・ハミング埋め込みを用いて，認証付き出力の困難性を示し，サンプラーと証明ベアリング出力モデルを分離した。
QAOAにおけるノイズ低減のためのグラフ疎化と分解の可能性：トラップイオンコンパイルへの分析 [quant-ph, cs.DS, math.OC]目的：Max-Cut問題解決のためのQAOAコンパイルのコスト削減
- 量子計算の発展において，より大規模な問題に取り組むための効率的なアルゴリズムが不可欠である。
- QAOAの実装には，量子回路の複雑さが増加し，ノイズの影響を受けやすいという課題がある。
- グラフ疎化と分解によって，量子回路の複雑さを軽減し，ノイズに対する耐性を向上させる。
- グラフの疎化と分解という手法を用いて，量子ノイズに対する耐性を向上させ，量子回路の複雑さを削減することに初めて理論的な保証を与えた。
- トラップイオン量子シミュレータにおいて，Max-Cut近似の損失（1-ε）に対して，$H_\text{Ising}$パルス数を$O(n^2)$から$O(n\log(n/\epsilon))$へ，Pauli-$X$ビット反転数を$O(n^2)$から$O\left(\frac{n\log(n/\epsilon)}{\epsilon^2}\right)$へ削減することを示した。
- 理論と数値計算により，提案するコンパイル手法がトラップイオンハードウェアにおいて有意なノイズ低減をもたらすことを示した。
鳩ノ巣階層の逆数学 [econ.TH, cs.SY, eess.SY, math.LO, cs.LO]目的：鳩ノ巣原理の逆数学的考察
- 組合せ論の根幹をなす原理であり，計算可能性理論や証明論にも重要な影響を与える。
- 算術階層における鳩ノ巣原理の厳密な位置づけが未解明であり，その計算量的な内容が不明である。
- 算術階層における鳩ノ巣原理の階層構造を厳密に決定し，その論理的帰結を明らかにする。
- $\mathsf{RCA}_0$ 上で，算術階層による鳩ノ巣原理の階層構造が厳密に成り立つことを示した。
- 複雑な反復ジャンプ制御構成を用いることで，この結果を得た。
- この研究は，組合せ論定理の計算量的な内容を研究するメタ数学的プログラムの一環である。
グラスマン符号の第二最小重み [math.CO, cs.IT, math.IT]目的：グラスマン符号の第二最小重みの計算
- 符号理論は，情報伝送における誤り訂正に不可欠であり，通信品質を向上させる。
- グラスマン符号の第二最小重みの解析は，符号の性能評価において重要な課題である。
- グラスマン符号の第二最小重みを組合せ論的に計算し，理論的理解を深める。
- ノギン(Nogin)の定理を，グラスマン多様体の特殊な分解を用いて独立に組合せ論的に証明した。
- そのアイデアを利用して，グラスマン符号の第二最小重みを計算することに成功した。
測定された相対エントロピーの高速最適化 [quant-ph, cs.IT, math-ph, math.IT, math.MP, math.OC]目的：測定された相対エントロピーおよび測定されたレーニィ相対エントロピーの計算
- 量子状態の識別可能性を測る重要な指標であり，量子情報科学の基礎をなす。
- 従来の計算手法は，メモリ効率が悪く，計算速度が遅い場合がある。
- より効率的かつ高速な計算アルゴリズムを開発し，高精度な測定された相対エントロピーを算出する。
- 測定された相対エントロピー及びレーニィ相対エントロピーの目的関数がβ-smoothかつγ-strongly convex/concaveである性質を確立した。
- 確立された性質により，ネステロフ加速勾配降下法/上昇法といった古典的な最適化手法を適用可能になった。
- 提案手法は，既存の半正定値計画法に基づくアルゴリズムよりもメモリ効率が良く，条件の良い状態に対しては高速である。
多線形形式Cayleyグラフとテンソル符号における固有値法 [math.CO, cs.IT, math.IT]目的：テンソル符号における固有値法を用いた次元の上界決定
- 符号理論は，情報の信頼性のある伝送・保存に不可欠であり，現代通信の基盤技術である。
- テンソル空間における距離測度やグラフ構造は複雑であり，符号の設計・解析が困難である。
- ランク1のテンソルで生成されるCayleyグラフのスペクトルを解析し，テンソル符号の性能評価に役立てる。
- ランク1テンソルで生成されるCayleyグラフのスペクトルが再帰的に表現可能であることが示された。
- 3次テンソルに対するスペクトルは，対応するランク距離符号のランク分布で表現できる。
- 2x3x3テンソルに対する完全なスペクトルを導出し，テンソル符号の次元に関する上限を得た。