arXiv雑要約
プログラム - 2026/05/29 公開
安全に短い疑似MEMを破棄するための構文解析インデックス [cs.DS]目的：長い最大完全一致(MEM)検索を高速化する手法の安全性向上
- 大規模テキスト検索において，高速なMEM検索は重要課題である。
- 既存手法では，疑似MEMの破棄時に重要なMEMを誤って削除するリスクがある。
- 構文解析インデックスを用いて，安全な疑似MEMの破棄を実現する。
- 本研究では，疑似MEMと，それらが包含する最長MEM長の理論的下限を同時に生成する手法を提案した。
- この下限を用いることで，短い疑似MEMを削除しても，最長MEMを誤って削除するリスクを回避できる。
- 提案手法により，より効率的かつ安全なMEM検索が可能となる。
無線ネットワーク向け再構成可能な結合器アンテナ [cs.IT, eess.SP, math.IT]目的：無線通信ネットワークの性能向上
- 無線通信の需要増加に伴い，効率的なアンテナ技術が重要視されている。
- 既存のアンテナ技術は，コストやサイズ，消費電力の面で課題がある。
- 低コストな結合器を利用し，柔軟なビームフォーミングを実現することで，これらの課題を解決する。
- 再構成可能な結合器アンテナ（RCA）は，既存の技術と比較して，コスト効率が良い。
- RCAは，無線ネットワークにおけるビームフォーミングゲイン，経路損失の低減，フェージング対策に有効である。
- 数値シミュレーションの結果，RCAを用いることで無線ネットワークの容量増加が確認された。
挿入・削除符号に対する改良されたジョンソン型上限 [cs.IT, math.IT]目的：挿入・削除符号の上限改善
- 情報伝送における誤り訂正は，通信の信頼性を確保する上で不可欠である。
- 既存の上限では，符号化効率の改善の余地が残されている。
- 符号化率に関する新たな上限を導き，既存の結果を改善すること。
- 各局所リストを二値定荷重符号としてエンコードすることで，ジョンソン型上限を改善した。
- 十分大きなアルファベットに対して，局所リストサイズの限界が達成されることが示された。
- マクリース・ロデミッチ・ラムジー・ウェルチの上限を適用することで，ヤスナガのエリアス型上限よりも厳密に改善された漸近的符号化率上限が得られた。
2からqノルムに対する多項式的に改善された近似率を持つアルゴリズム，およびその応用 [cs.DS, cs.LG, math.ST, stat.ML, stat.TH]目的：2からqノルムの近似率向上のためのアルゴリズム開発
- 組合せ最適化，量子情報，統計的アルゴリズムなど，広範な分野における課題解決に繋がる重要な研究領域である。
- 多項式時間で達成可能な近似率が限られており，特に大規模データに対する近似アルゴリズムの改善が求められている。
- 既存の近似アルゴリズムの性能を多項式的に向上させ，より実用的な近似解を導き出すことを目指す。
- 本研究により，q>2における2からqノルムに対する，既存のアルゴリズムを多項式的に上回る近似アルゴリズムが提案された。
- 特にq=4の場合，dの1/8乗近似を達成し，これまでを超える近似率を達成した。
- さらに，頑健な平均，共分散推定，回帰，クラスタリングなどの問題に対しても，アルゴリズムの改善に貢献する。
KYA：検証可能な系統と階層的ポリシー合成を備えた自律システムのためのフレームワーク非依存型信頼層 [cs.CR, cs.AI, cs.CY, cs.MA, cs.SE]目的：自律システムにおける信頼とガバナンスの層
- 近年，自律システムの重要性が増しており，安全性の確保が不可欠である。
- 既存システムでは，信頼性やポリシーの遵守を検証することが困難である。
- 本研究は，自律システムの行動の正当性，準拠性，検証可能性を向上させることを目指す。
- KYAは，15以上のエージェントフレームワークとネイティブに連携する。
- 36個のバックエンドの検証マトリックスにおいて，全てのセルで正常に動作することを確認した。
- PyRITとGarakからの1,200回の敵対的プローブの89%を検出可能であり，セキュリティの有効性が示された。
Lean 4における効率的なタクティクス探索のためのスナップショット手法 [cs.LO, cs.AI]目的：Lean 4におけるタクティクス探索の効率向上
- 形式証明システムは数学の自動化やソフトウェアの検証に不可欠であり，その性能向上が求められている。
- タクティクス探索において，証明状態の再構築に多大な時間を要し，大規模な探索が困難になっている。
- 証明状態のスナップショットを用いて再構築のオーバーヘッドを削減し，効率的なタクティクス探索を実現する。
- 提案手法により，miniF2F-v2問題群において，標準的な手法と比較して5.6～50倍の高速化を達成した。
- 特に，探索ブランチ数が増加するほど，高速化の効果は顕著になる。
- 本手法は，インポートレベルのキャッシュとは異なり，定理本文の展開にかかるオーバーヘッドを削減する点が特徴である。
効率的な信号時相論理のオンライン監視 [cs.LO]目的：信号時相論理の高性能なオンライン監視
- 自動運転やロボティクスなど，リアルタイムシステムにおける安全性保証に不可欠な技術である。
- 既存の監視ツールは，複雑な時相論理式や大規模なデータに対して処理速度が課題となる場合が多い。
- 複雑な時相論理式を効率的に監視し，リアルタイムシステムの安全性向上に貢献すること。
- 本研究で開発したmstloライブラリは，複数のSTLセマンティクスを統一的にサポートし，高性能なオンライン監視を実現している。
- ボトムアップ動的計画法に基づくインクリメンタル監視アルゴリズムと，演算子ごとのキャッシュ，ストリーミング極値計算により，高いスケーラビリティとパフォーマンスを発揮する。
- ベンチマークテストの結果，mstloは最新ツールと比較して，特に深い時相深度やネストを持つ数式において，優れた性能を示すことが確認された。
エッジリスト上の量子アルゴリズム：隠蔽，シャッフル，サイクル探索 [quant-ph, cs.CC, cs.DS]目的：グラフに対する三角形探索問題の量子クエリ複雑性
- グラフ構造の解析は，ネットワーク，データベース，機械学習など，広範な分野で重要である。
- エッジリストモデルにおける量子アルゴリズムの効率性は未だ十分に解明されていない。
- エッジリストモデルにおける三角形探索問題の量子クエリ複雑性の限界を定める。
- エッジリストモデルにおける三角形探索問題の複雑性を，ターゲットエッジ，ターゲット頂点，および一般的な三角形探索のケースで解析した。
- 低最大次数グラフにおいて，長さ$k$サイクルの探索の量子クエリ複雑性が$m^{3/4-1/(2^{k+2}-4)\pm o(1)}$であることを示した。
- この下界証明には，Zhandryの記録クエリフレームワークを拡張した新しい技術が用いられており，$k$-distinctness問題への応用も示唆される。
ビョルク系列：任意の長さに拡張，相関解析，無線システムへの応用 [eess.SP, cs.IT, math.IT]目的：任意の長さのビョルク系列構築フレームワーク
- 無線通信において，高性能な符号系列は信号の効率的な伝送に不可欠である。
- 既存のCAZAC系列は，素数長の制約があり，柔軟性に欠ける場合がある。
- 素数長に限定されない，任意の長さのCAZAC系列の設計を可能にすること。
- 本研究では，ゴールドバッハの予想を利用し，ビョルク系列を任意の長さに拡張するフレームワークを提案した。
- 提案手法は，巡回シフト系列や異なる根指数を持つ系列にも適用でき，直交性を維持しつつ良好な相関特性を実現する。
- 特に，高速ドップラー環境下における非地球ネットワークにおいて，ZC系列と比較して優れた性能を示すことが示された。
2局所ハミルトニアンに対する予想される上限：トークングラフによる [quant-ph, cs.DS]目的：量子MaxCut，XY，EPRハミルトニアンの最大エネルギーに関する上限
- 量子コンピュータの性能向上には，複雑な系のエネルギー状態の理解が不可欠である。
- 既存の手法では，これらのハミルトニアンのエネルギー上限を厳密に求めることが困難である。
- グラフ構造を利用し，よりタイトなエネルギー上限の予想を提示し検証する。
- グラフのトークングラフのスペクトル半径とハミルトニアンの最大エネルギーとの関係が示された。
- 提示された予想は既存アルゴリズムの解析を改善し，近似比の向上に繋がる。
- 反強磁性ハイゼンベルクモデルの基底状態エネルギーに関する単純な組み合わせ上限も導出された。
重み付き隠れクリークの検出 [math.ST, cs.IT, math.IT, math.PR, stat.TH]目的：重み付きグラフにおける隠れクリークの検出問題
- ネットワーク構造の解析は，様々な分野で重要な役割を果たす。
- エッジの重みを考慮した隠れクリーク検出は困難である。
- 重み付きグラフにおける仮説検定の限界と効率的な検出手法を解明する。
- 分布PとQが完全に分かっている場合，仮説を区別できるkの統計的限界を導出した。
- QがPに対して絶対連続でない場合，仮説検定のリスクに関する上限を提示した。
- kが√nのオーダーであるとき，効率的なスペクトル検定が可能なことを示した。
ハードウェア障害に対するMIMO-AFDMのMIMO-OFDM優位性 [eess.SP, cs.IT, math.IT]目的：ハードウェア障害環境下におけるMIMO-AFDMシステムの性能評価
- 無線通信システムの性能向上は，現代社会における情報伝達の基盤であり，その重要性は増している。
- 現実の無線通信システムでは，ハードウェアの不完全性による障害が通信品質を低下させる。
- ハードウェア障害に強い通信方式を開発し，安定した通信環境を実現すること。
- MIMO-AFDMは，MIMO-OFDMと比較して，位相雑音やキャリア周波数オフセットなどの乗算的歪みに対してより高い耐性を示す。
- 加算的ハードウェア障害条件下においても，MIMO-AFDMは従来のMIMO-OFDMシステムよりも優れたBER性能を達成する。
- ハードウェア障害が存在する場合でも，AFDMシステムは完全なダイバーシティオーダーを維持する点が特徴である。
表現変化と推論における類似性に基づくエントロピー [math.PR, cs.IT, math.IT]目的：表現変化における情報損失の定量化
- 情報理論は，通信，機械学習，統計物理など広範な分野で基礎となる理論である。
- 状態間の識別可能性を考慮したエントロピーの取り扱いには，未解決の問題が多い。
- 表現変化やチャネルを通じた情報損失を数学的に評価する手法を確立すること。
- 類似性に基づくエントロピーの測度論的基礎を確立し，有限の類似性行列と一般的な確率空間の両方を扱えるようにした。
- 表現変化におけるエントロピー減少が，識別可能性の損失を定量的に示すことを明らかにした。
- 最近の凹性に関する予想に対する反例を示し，凹性が成り立つ特別なクラスを特定した。
束縛クリーク幅を持つグラフの整列良好なクラス [math.CO, cs.FL, cs.LO]目的：ラベル付き頂点を持つ，束縛クリーク幅のグラフクラスの整列良好性
- グラフ理論は，ネットワーク構造の解析に不可欠であり，様々な分野に応用されている。
- グラフクラスの整列良好性の判定は，一般に困難であり，効率的なアルゴリズムが求められている。
- 束縛クリーク幅を持つグラフクラスにおける整列良好性の判定可能性を明らかにすること。
- 有限提示されたグラフクラスがラベル付き整列良好であるかどうかを判定できることが示された。
- ラベル集合のサイズが2である場合，または無限整列良好集合を用いる場合が同値であることが証明された。
- 束縛クリーク幅を持ち，全ての有限パスクラスを存在的に変換しないクラスとして構造的に特徴付けられた。
フィッシャー正則化ワッサーシュタイン勾配フローにおける過渡的加速と相互消散干渉 [cond-mat.stat-mech, cs.IT, math.IT, math.PR]目的：フィッシャー正則化ワッサーシュタイン勾配フローにおける過渡的な非平衡力学
- 機械学習モデルの学習において，最適化の効率化と汎化性能向上が重要課題である。
- 勾配フロー法は計算コストが高い場合があり，特に高次元データや複雑な分布に対して問題となる。
- フィッシャー正則化により加速されるフローの力学的性質を明らかにし，加速メカニズムを解明する。
- フィッシャー情報幾何学による輸送消散と相互作用が，過渡的な符号変化を起こす消散メカニズムを生み出すことが示された。
- 分散のスケールに応じて，状態の加速と干渉という異なる過渡的レジームが存在することが明らかになった。
- フィッシャー曲率が，初期の自由エネルギーの降下を加速し，あるスケールを超えるとオーバーシュートを引き起こすことが示された。
複雑系の普遍的エントロピー [cond-mat.stat-mech, cs.IT, math.IT]目的：複雑系に対するエントロピーの公理的基礎
- 複雑系の理解は，物理，生物，社会など多岐にわたる分野で重要である。
- 既存のエントロピーの定義では，情報スケールでの不確実性を適切に捉えられていない。
- 情報スケールでの不確実性と普遍性スケーリングクラスを満たす唯一のエントロピーを確立する。
- 最大化分布における情報スケールでの不確実性を測るエントロピーの要件が満たされる。
- 結合されたストレッチドエクスポネンシャル分布によって最大化される結合エントロピーが，これらの要件を満たす普遍的エントロピーであることが証明された。
- エントロピーの非加法性は，長距離依存性または非線形統計的結合に等しいことが示された。