arXiv雑要約
プログラム - 2026/06/16 公開
LLMエージェントはコードリポジトリを認識できる [cs.SE]目的：コードリポジトリレベルの問題解決における視覚的表現の有効性
- ソフトウェア開発の効率化に貢献するため，LLMエージェントの能力向上は重要である。
- 従来のLLMエージェントはリポジトリをテキストとして扱うため，開発者の視覚的な理解が欠如している。
- 視覚的表現を統合することで，LLMエージェントの効率性と精度を向上させることを目指す。
- 厳密な画像のみの構成では精度が低下し，トークンコストが増加する。
- リポジトリ構造の視覚グラフをテキストと組み合わせることで，効率的に構造を理解できる。
- トークン消費量は最大26%削減され，問題解決の精度は維持または向上する。
平面上における普遍的TSPの下限 [math.MG, cs.DS]目的：普遍的TSPの計算量に関する下限
- 巡回セールスマン問題はNP困難であり，現実的な規模の問題を効率的に解くことが難しい。
- 近似アルゴリズムの性能評価には，計算量の下限が不可欠である。
- 既存の下限を改善し，より厳密な近似率を導出すること。
- 平面上の普遍的TSPに対する下限を，$\geq C \sqrt{\log |S| / \log \log |S|}$と示した。
- この下限は，Hajiaghayi, Kleinberg, Leighton (SODA 2006) の $\geq C \sqrt[6]{\log |S| / \log \log |S|}$ を改善する。
- 長距離経路が，遠方の2点間をジグザグに移動するか，小直径な集合内に留まるかの二分性を示すことで証明された。
量子チャネルの逆因果的容量：ノイズのある閉じた時間的曲線を通じた通信 [quant-ph, cs.IT, math.IT]目的：量子チャネルにおける逆因果的通信容量
- 時間的閉曲線は物理学の根源的な問題であり，因果律の理解に不可欠である。
- ノイズのある閉じた時間的曲線における通信容量は，これまで完全には解明されていなかった。
- 時間的曲線を通じた逆因果的通信の情報理論的限界を明らかにすること。
- 1ショットの逆因果的量子容量と古典容量を完全に特徴付けた。
- 漸近容量は，チャネルの最大情報量と正則化されたデブリン情報の平均と合計に等しいことが示された。
- この結果は，これらの情報量の新たな解釈を提供する。
ダイヤモンド距離における量子チャネルの最適学習 [quant-ph, cs.CC, cs.DS]目的：量子チャネルの学習に関するクエリ複雑性
- 量子情報理論において，未知の量子チャネルの推定は重要な課題である。
- 量子チャネルの学習に必要なチャネルの使用回数の下界・上界は未解決だった。
- 入力/出力次元とクラウスランクに基づいて，チャネル学習に必要なクエリ回数を決定する。
- 入力/出力次元が$d_{\mathrm{in}},d_{\mathrm{out}}$，クラウスランクが$k$のチャネルに対し，精度$\varepsilon$で学習するには，$O(d_{\mathrm{in}}d_{\mathrm{out}}k/\varepsilon^{2})$回のチャネル使用が必要である。
- 定数精度においては，$\Omega(d_{\mathrm{in}}d_{\mathrm{out}}k)$回の使用が不可避であり，非最小クラウスランクの場合には，追加で$\Omega(1/\varepsilon^{2})$が必要となる。
- 本研究は，量子状態，ユニタリー変換，アイソメトリ，測定などのトモグラフィータスクに適用できる統一的なフレームワークを提供する。
圧縮量子ビットノイズ分光法：区分線形モデリングとラデマッハ測定 [quant-ph, cs.IT, math.IT]目的：量子ビットノイズスペクトルの再構成
- 量子コンピュータ実現には，量子ビットのノイズ特性の正確な把握が不可欠である。
- 従来のノイズ分光法は計算コストが高く，複雑なノイズ構造の解析が困難であった。
- 本研究は，効率的かつ高精度なノイズ特性評価手法の確立を目指す。
- 区分線形ノイズスペクトルを対象とした新しい正則化手法を導入し，より詳細なスペクトル特徴の解析を可能にした。
- ラデマッハ測定を用いることで，実験的な複雑さを軽減しつつ，再構成精度を維持することに成功した。
- これらの成果により，現実的な量子システムにおけるノイズ特性評価の範囲が拡大する。
トーナメントの線形分解に関する変換 [math.CO, cs.DM, cs.LO]目的：トーナメントにおける線形分解の変換
- グラフ理論は，ネットワークや関係性のモデリングに不可欠であり，様々な応用分野で重要である。
- 線形クリーク幅が制限されたグラフにおいて，効率的なクリーク分解を見つけることが困難である。
- 線形クリーク幅が制限されたトーナメントにおいて，より効率的な分解方法を提供する。
- トーナメントにおいては，一次式変換のみで十分であることが示された。
- これは，線形クリーク幅が制限されたトーナメント上でCMSO論理と存在量化MSO論理が同等であることを意味する。
狭帯域フルアナログ多アンテナ送信機 [eess.SP, cs.IT, math.IT]目的：狭帯域フルデジタル多アンテナ送信機の機能をエミュレートする，狭帯域フルアナログNアンテナ送信機の提案
- 無線通信におけるアンテナアレイ技術は，通信速度や信頼性の向上に不可欠である。
- デジタルアレイは消費電力が大きいという課題があり，省電力化が求められている。
- 電力効率の高いアナログアレイ技術による，デジタルアレイの代替を目指す。
- 提案するフルアナログ送信機は，単一のRFトーンと調整可能な位相制御素子のみを用いて，任意の複素励起ベクトルを合成する。
- このアーキテクチャは，2N-1個の実数調整自由度を持ち，決定論的なO(N)プログラミング手順で実現可能である。
- シミュレーション結果から，N≤16の場合，フルアナログアーキテクチャはRFフロントエンドの電力消費において，同等のフルデジタルアレイよりも優れていることが示された。
一般確率理論における古典的説明 [quant-ph, cs.CE, math.QA, quant-ph, cs.DC, cs.ET, quant-ph, cs.LO]目的：確率モデル間の「説明」の概念
- 確率理論は，不確実性を扱うための基礎的枠組みであり，様々な分野に応用されている。
- 既存の枠組みでは，確率モデル間の関係性を形式的に記述し，理解することが困難である。
- 確率モデル間の「説明」を定義し，古典的な確率表現を導出することを目指す。
- 確率モデル間の「説明」は，圏論的な枠組みにおいて，ある種の「span」として定義される。
- この「説明」は標準的なpullback構成の下で合成されることが示された。
- 局所有限な確率モデルは，常に明確な古典的説明を持つことが証明された。
凸順序における鋭い一次元準ガウス比較 [math.PR, cs.IT, math.IT, math.ST, stat.ML, stat.TH]目的：凸順序における準ガウス変数の比較
- 確率論において，分布の比較は重要な研究テーマである。
- 分布の比較には様々な手法が存在するが，より厳密な順序関係の確立が課題である。
- 正規分布との比較を通して，準ガウス変数の上限を厳密に定める。
- 任意のモーメント母関数が標準正規分布で上界を持つ確率変数Xは，正規分布GをE[|G|]で割ったものによって凸順序で抑えられる。
- この上限は鋭いことが，一様分布{-1,1}と絶対値関数f(x) = |x|によって示される。
二変数量子信号処理による非エルミートハミルトニアンのシミュレーション [quant-ph, cs.CC, cs.DS]目的：非エルミートハミルトニアンのクエリ最適量子シミュレーション
- 量子シミュレーションは，物理学，化学，材料科学など幅広い分野で重要な役割を担う。
- 非エルミートハミルトニアンのシミュレーションは，従来のエルミート系に比べ著しく困難である。
- 本研究は，二変数量子信号処理を用いて，非エルミートハミルトニアンの効率的なシミュレーションを可能とする。
- 非可換信号演算子を用いた二変数量子信号処理拡張により，クエリ最適量子シミュレーションを達成した。
- 多変数量子信号処理回路における定数比条件により，任意の非可換信号演算子に対してスカラー角探索を保証する。
- 古典的な事前計算ステップで角度を決定的に計算し，ブロックエンコーディングによるクエリ複雑度において情報理論的な下限を達成した。