arXiv雑要約
プログラム - 2026/03/17 公開
TriFusion-LLM：LLM仲裁による事前知識誘導型マルチモーダル融合による，詳細なコードクローン検出 [cs.SE]目的：詳細なコードクローンタイプの識別精度の向上
- ソフトウェアの保守，リファクタリング，セキュリティ分析において，コードクローン検出は重要な役割を果たす。
- 既存研究では，コードクローン検出を二値分類問題として扱うことが多く，クローンタイプの多様性や詳細な分類が困難である。
- 古典的な機械学習，AST，CodeBERTなどの様々な情報を統合し，LLMによる仲裁を行うことで，より詳細なコードクローン検出を実現する。
- 提案手法Full Modelは，BigCloneBenchにおけるMacro-F1値を0.695から0.875に向上させた。
- LLMによる選択的な仲裁が，盲目的な再分類よりも大幅に高い性能を示すことが明らかになった。
- 不確実性の高いサンプル（約0.2%）のみを仲裁することで，Macro-F1値がさらに0.3絶対的に向上した。
エージェント型AIシステムのC4による記述：産業プロジェクトからの教訓 [cs.SE, cs.AI]目的：エージェント型AIシステムのドキュメント化体系
- AIシステムの複雑化に伴い，保守性と拡張性を確保するための適切なドキュメント化が不可欠である。
- 従来のドキュメント化手法では，エージェント間の連携やアーティファクトの交換といったエージェント型AIシステムの特性を捉えきれていない。
- エージェント型AIシステムのアーキテクチャを明確化し，長期的な進化を支援するドキュメント化手法を確立すること。
- C4モデルを拡張し，エージェント，アーティファクト，ツール，連携パターンを記述するためのモデリング語彙とビューを定義した。
- 階層的な記述技術を用いて，抽象化レベルに応じてビューを構造化し，透明性と保守性の高いアーキテクチャドキュメントを生成できることを示した。
- 産業プロジェクトの事例を通じて，本手法が長期的な進化をサポートするドキュメント化に有効であることを実証した。
加法符号と線形符号の同値性について [eess.SY, cs.SY, cs.RO, cs.IT, math.IT]目的：加法符号と線形符号の同値性の判定
- 符号理論は，情報伝送における誤り検出・訂正の基礎であり，現代通信技術に不可欠である。
- 加法符号と線形符号の区別が難しく，真に加法的な符号と線形符号と同値な符号の識別が課題であった。
- 生成行列のみを用いて加法符号の厳密な加法性を判定する決定的なテストを開発し，その識別を可能にすること。
- 本研究で提案するテストは，最近報告されたいくつかの四元加法符号の厳密な加法性を検証するのに成功した。
- 既存の加法補完二重符号（ACD）が線形エルミートLCD符号と同値であることを示し，線形符号に対する既知の限界を改善した。
不安定な共有ネットワークにおける最適なアームの迅速な特定 [cs.IT, math.IT]目的：長期的な平均情報鮮度（AoI）の最小化
- リアルタイムなデータ更新は，情報鮮度が重要であり，デバイスネットワークが不可欠である。
- エッジノードの動的な変化に対応し，効率的に最適なノードを特定することが課題である。
- 未知の動的環境下で，高い信頼性をもって迅速に最適なエッジノードを特定することを目指す。
- 提案手法は，既存手法と比較してサンプリングコストを大幅に削減できることが示された。
- サンプル複雑度は，マルコフ連鎖の混合度に依存し，理論的な下界と整合性がある。
- Age-aware LUCBアルゴリズムにより，未知の動的環境下での情報鮮度を考慮したサンプリングが可能になった。
単一モデルを超えて：構成可能なニューロシンボリックアーキテクチャのための象徴的継ぎ目 [cs.SE]目的：構成可能なニューロシンボリックアーキテクチャの実現
- AIシステムは複雑化の一途を辿っており，柔軟性と透明性が求められている。
- 既存のAIシステムは，知覚，推論，意思決定が一体化しており，拡張性と検証が困難である。
- AIシステムを構成要素の集合と捉え，拡張性，透明性，進化可能性を高めることを目指す。
- 本研究では，象徴的継ぎ目を導入することで，ニューラルコンポーネントの適応性と，シンボリック制約の検証可能性を組み合わせる。
- 象徴的継ぎ目は，システムが検査可能な境界オブジェクト，バージョン管理された制約バンドル，決定トレースを明確にするアーキテクチャ的な区切りを提供する。
- これにより，AIシステムを交換可能な部品の集合として扱い，原則に基づいた進化を可能にする。
プロンプトエンジニアリングに基づくChatGPTを用いたプログラミング試験問題・解答の生成 [cs.ET, cs.PL]目的：プログラミング試験問題・解答の自動生成
- 情報科学教育において，多様な言語習得は不可欠であり，問題解決能力の育成に繋がる。
- 学生の創造性や応用力を測る客観的な試験問題の設計が困難である。
- ChatGPTとプロンプトエンジニアリングにより，質の高い試験問題の自動生成を目指す。
- ChatGPTを用いたプロンプトエンジニアリングにより，多様な難易度の試験問題・解答が生成可能となった。
- 生成された問題・解答は，手作りのものと同等かそれ以上の品質であり，問題作成の時間を大幅に削減する。
- 本研究は，教育における評価ツールとしての自動試験問題生成の有用性を示すものである。
円筒代数による関係代数の完全性 [cs.RO, cs.LO, cs.DB, math.LO]目的：関係代数の完全性の証明
- データベース理論の基礎であり，クエリ言語の設計や最適化に不可欠である。
- 従来の証明は煩雑であり，不完全情報や曖昧な情報への拡張が困難である。
- 不完全・曖昧な情報を取り扱う関係モデルへの一般化に適した完全性の証明を提供する。
- 関係代数を円筒代数に埋め込むことで，代数的な方法で完全性を証明した。
- 与えられた論理式と同等の関係式を生成する代替アルゴリズムを提示した。
- 本研究は，不完全または曖昧な情報を扱う関係モデルへの拡張を目指す。
見ることと習得することは異なる：プライベートライブラリを用いたコード生成をLLMに学習させる [cs.SE, cs.AI, cs.CL]目的：プライベートライブラリを用いたコード生成のためのLLMの学習
- 大規模言語モデルのコード生成能力は高いが，特定のライブラリに依存する生成は課題である。
- 既存手法では，ライブラリ情報をLLMに与えても，APIの有効な利用が難しい。
- 自動合成データによる学習で，LLMのプライベートライブラリAPI利用能力を向上させる。
- 提案手法PriCoderは，グラフ構造を用いたデータ合成により，多様性と品質を向上させる。
- 新しいベンチマークを用いた評価で，PriCoderは主要なLLMで20%以上の性能向上を示した。
- 一般的なコード生成能力への影響は軽微であり，プライベートライブラリ特化の性能向上が確認された。
普遍的な時間到達可能性の代償 [cs.RO, cs.DS]目的：動的ネットワークにおけるアナキー価格の評価
- 現実世界のネットワークは時間とともに変化するため，動的ネットワークの解析は重要である。
- 静的ネットワークにおけるアナキー価格の理論は，動的ネットワークには必ずしも適用されない。
- 時間依存的なネットワークにおけるアナキー価格の上限を明らかにすること。
- 最短距離を基準とした場合，アナキー価格は頂点数に比例する可能性があることが示された。
- これは，静的ネットワークで想定される定数的なアナキー価格とは対照的である。
階層型ソースに対する結合ソース・チャネル符号化の非漸近的限界について [cs.IT, math.IT]目的：階層型ソースを持つ結合ソース・チャネル符号化システムの非漸近的限界
- 情報伝送において，効率的な符号化は通信資源の有効活用に不可欠である。
- 有限ブロック長において，符号化性能を厳密に評価する手法が課題である。
- 階層型ソースにおける，両方のソース同時再構成の限界を解明する。
- 本研究では，階層型ソースを持つ特殊な結合ソース・チャネル符号化システムにおける，有限ブロック長における過剰歪み確率の上界と下界を導出した。
- 特に，可観測ソースと不可観測間接ソースの同時再構成が求められる状況を対象としている。
- この結果は，符号化方式の設計や性能評価に貢献すると期待される。
α完全ハッシュの上界 [cs.IT, math.IT]目的：α完全ハッシュ関数の空間要件の解析
- ハッシュ関数は，高速なデータ検索に不可欠であり，様々な応用分野で利用されている。
- 完全ハッシュは衝突を避けるが，空間効率が課題となる。
- 近似的な完全ハッシュ(α完全ハッシュ)の空間効率を向上させる。
- 本研究では，α完全ハッシュ関数を構築するための手法を提案し，その空間要件を解析した。
- 単純なベースライン方式と，サンプリングに基づくより洗練された方式を提示した。
- 提案手法は，既存手法と比較して，空間効率が大幅に向上することが示された。
AI支援開発がソフトウェアセキュリティに与える影響：Geminiと開発者経験の調査 [cs.SE, cs.HC]目的：ソフトウェアセキュリティに対するAI支援開発の影響
- ソフトウェア開発における人材不足が深刻であり，セキュリティ専門家の確保は特に困難である。
- AI開発ツールの導入が進む一方で，開発者経験とツール種類がセキュリティに及ぼす影響は不明である。
- 開発者経験がAI支援開発によるセキュリティ改善を代替できないか検証する。
- Geminiの利用は，ソフトウェアセキュリティに関して有意な差を生み出さなかった。
- プログラミング経験は，コードのセキュリティに有意な改善をもたらすことが示された。
- Geminiは，開発者の経験を完全に代替することはできないと考えられる。
回転アンテナ支援モバイルエッジコンピューティング [cs.IT, math.IT]目的：回転アンテナ支援モバイルエッジコンピューティングネットワークにおける計算レート最大化
- モバイルエッジコンピューティングは，遅延を減らし，ユーザー体験を向上させるために重要である。
- 固定アンテナシステムでは，ビームのずれが深刻な問題となり，性能を制限する。
- 回転アンテナの導入により，ビームのずれを軽減し，計算レートを向上させることを目指す。
- 提案する回転アンテナ支援モバイルエッジコンピューティングネットワークは，従来の固定アンテナシステムを大幅に上回る性能を示す。
- 動的な回転シナリオでは，低複雑度な逐次解法を可能にする閉形式の最適なアンテナ指示ベクトルを導出する。
- 静的な回転シナリオでは，反復的な凸近似を用いた代替最適化フレームワークを開発し，リソース割り当てと回転角度を最適化する。
公平性か正当性か？人間が直面する技術における研究倫理，学習技術を例として [cs.SE, cs.HC]目的：人間が直面する技術における研究ソフトウェアエンジニアリングの評価枠組み
- 科学研究の信頼性を担保するためには，研究ソフトウェアの品質評価が不可欠である。
- 既存の評価枠組みは信頼性とFAIR原則に焦点を当てており，妥当性の評価が不足している。
- 妥当性の側面を評価するための枠組みを構築し，人間が直面する技術の研究倫理課題を解決する。
- RIGHTフレームワークは，シミュレーション研究，デザインベース研究，ソフトウェア工学等の既存モデルを基盤としている。
- 妥当性の評価における空白を埋めるために，理論転移とプロセスモデリングの手法を用いた。
- 学習技術の事例研究を通じて，人間が直面するRSEにおけるフレームワークの実用性を示した。
SKILLS：LLM駆動型通信業務のための構造化知識注入 [cs.SE, cs.AI, cs.CR]目的：LLM駆動型通信業務における構造化知識注入の効果検証
- 通信業界ではAIによる自動化が加速しており，その実現にはLLMの活用が不可欠である。
- 汎用LLMはAPI連携を通して通信業務を信頼性高く実行できるか不明であり，ドメイン知識の必要性が課題である。
- LLMに構造化されたドメイン知識を注入することで，通信業務の実行精度向上を目指す。
- SKILLSベンチマークフレームワークを用いて，5つのオープンウェイトモデルを評価した結果，構造化知識注入により全モデルで性能向上が確認された。
- 特にMiniMax M2.5 (81.1%, +13.5pp)とNemotron 120B (78.4%, +18.9pp)で高い効果が認められた。
- 構造化知識注入は，LLM駆動型通信業務の自動化において有効な手段となり得ることが示唆された。
大規模言語モデルを用いたAsmetaにおける特性の形式化と検証 [cs.SE]目的：モデルベース開発における時間論理特性の定義支援
- モデルベース開発は，システムの信頼性向上に不可欠であり，その品質が重要視される。
- 時間論理特性の記述は難易度が高く，非形式な要求から形式仕様への変換が課題となる。
- 大規模言語モデルを用いて，時間論理特性の定義，形式化，説明，検証を支援し，その実現可能性を示す。
- 大規模言語モデルをAsmetaに統合するワークフローを提示し，モデルチェッカーからのフィードバックを活用する。
- 提示されたワークフローは，時間論理特性の定義支援において，大規模言語モデルの有効性を示す概念実証となる。
- 代表的な例を通して，この統合の利点と実現可能性を実証した。
メトリック時相論理の表現力に関する再検討： "Je t'aime, moi non plus." の物語 [cs.LO]目的：メトリック時相論理の表現力の比較
- 時相論理は，システムの振る舞いを形式的に記述するための基礎となる理論である。
- メトリック時相論理の表現力に関する過去の研究には誤りを含む可能性があった。
- 区間ベースとポイントベースの意味論の比較を通じて，表現力の正確な評価を目指す。
- 区間ベースとポイントベースの意味論は，比較不可能であることが示された。
- 従来の20年間の研究結果を覆す結果が得られた。
- 両者を統合した新しい混合意味論が提案された。
ヘカテ：モジュール型ゲノム圧縮器 [cs.CL, cs.DS, q-bio.GN]目的：ゲノムデータの効率的な圧縮
- ゲノム解析の進展に伴い，データ量の増大が課題となっている。
- 既存の圧縮手法では，速度と圧縮率のバランスが課題となっていた。
- 高速かつ高圧縮率を実現する新しい圧縮手法を開発すること。
- ヘカテは，FASTA/FASTQストリームを条件付き符号化問題として扱うモジュール型フレームワークである。
- ベンチマークテストの結果，ヘカテはMFCompress，NAF，bzip3，AGCといった既存ツールに対して，速度と圧縮率のトレードオフで優位性を示した。
- 特に大規模ゲノムや高類似性参照設定において，高い性能を発揮し，圧縮率が同じであれば2～10倍高速に処理が可能である。
異種エッジベース物体検出システムにおける多目的負荷分散 [eess.SY, cs.SY, cs.DC, cs.SE]目的：異種エッジベース物体検出システムにおける多目的負荷分散手法
- IoT機器の普及により，分散型センサーからのデータ量が急増しており，効率的なデータ処理が重要である。
- エッジデバイスはリソースに制約があるため，ハードウェア・ソフトウェアの異種性に対応した負荷分散が困難である。
- 動的な環境変化に対応し，精度・遅延・消費電力のバランスを取る負荷分散手法を確立すること。
- 提案手法は，許容範囲内の精度を確保できるデバイス候補を絞り込み，遅延と消費電力を考慮して実行ターゲットを選択する。
- 実環境データを用いた実験の結果，提案手法は消費電力を半減させ，エンドツーエンド遅延を80%削減した。
- 精度に関しては，精度重視のベースラインと比較して，最大10%のわずかな低下で済んだ。
SWE-Skills-Bench：エージェントスキルは実際のソフトウェアエンジニアリングに役立つか？ [cs.SE, cs.AI]目的：エージェントスキルが実際のソフトウェアエンジニアリングタスクに与える効果の検証
- ソフトウェア開発におけるLLMエージェント活用が拡大しており，その能力向上が重要視されている。
- エージェントスキル導入の有効性は十分に検証されておらず，効果が限定的である可能性が指摘されている。
- エージェントスキルがソフトウェアエンジニアリングタスクにおいて，実際にどの程度有効かを定量的に評価すること。
- 提示されたSWE-Skills-Benchを用いた評価の結果，49個のエージェントスキル中39個は合格率の向上に寄与しなかった。
- スキル注入による合格率の平均向上はわずか+1.2%であり，トークン数の増加を伴う場合もあった。
- ドメイン適合性，抽象化レベル，文脈適合性が低いスキルは，性能低下の原因となる可能性が示唆された。
ロボットミッションの仕様と実行のための形式手法：比較分析 [cs.CL, cs.DB, cs.SE, cs.RO]目的：ロボットミッションの仕様に適した形式手法の比較分析
- ロボットは多様な分野で活用され，その複雑化と動的環境への対応が求められている
- 単一または複数ロボットシステムのミッション仕様には標準的な形式手法が存在しない
- ロボットミッション設計に適したモデリング手法の選択を支援することを目的とする
- 本研究では，Behavior Trees，State Machines，Hierarchical Task Networks，Business Process Model and Notationの4つの形式手法を比較分析した
- 各手法の抽象度，表現力，人間との連携，外部デバイスとの統合に関するサポートを評価した結果，それぞれに長所と短所があることが示された
- 専門家への検証を通して，ロボットシステムモデリングにおける各手法の適用可能性に関する知見を提供した
VCSELベース発光型再構成可能インテリジェント表面によるmm波通信の実現 [cs.IR, cs.IT, math.IT]目的：ユーザー位置特定とmm波通信を共同でサポートする発光型再構成可能インテリジェント表面のアーキテクチャ
- 次世代無線通信では，周波数資源の有効活用と通信品質向上が不可欠である。
- 従来の無線環境は，電波の反射や干渉の影響を受けやすく，最適な通信経路の確保が困難である。
- 本研究は，可変な無線環境を構築し，高精度な位置特定と効率的なmm波通信を実現する。
- 提案システムは，3つのVCSEL光源のみを用いてミリメートル単位の精度でユーザー位置と姿勢を推定可能である。
- 推定された位置情報は，mm波ビームフォーミングのためのLeRISパネルの構成に活用され，最適な電波伝搬を可能にする。
- シミュレーション結果から，VCSEL統合型LeRISが6G環境におけるスケーラブルかつ多機能なソリューションとなり得ることが示された。
2-CNFからOBDDへのコンパイル可能性の閾値 [cs.DS]目的：ランダム2-CNF式に対するOBDDのコンパイル可能性に関する閾値の存在
- 組合せ論的論理設計において，式の表現サイズは効率的な処理に不可欠である。
- 2-CNF式からOBDDへの変換は，サイズの指数関数的な増加を招く場合がある。
- 2-CNF式の節数密度とOBDDサイズの相関を明らかにし，コンパイル可能な範囲を特定する。
- 節数密度$\delta$が0から1/2，または1より大きい場合，ランダム2-CNFは多項式サイズのOBDDを持つ。
- 節数密度が1/2から1の間の場合，ランダム2-CNFは指数関数サイズのOBDDしか持たない。
- 2つのコンパイル可能性の閾値は，それぞれ充足可能性閾値と木幅閾値と一致する。
Tucker分解を用いたMIMOチャネルのDMD予測 [cs.IT, eess.SP, math.IT]目的：次世代MIMO通信システムにおけるチャネル状態情報(CSI)の予測精度向上
- 次世代通信では，高効率な通信のために正確なチャネル状態情報の把握が不可欠である。
- 高次元かつ時間変動の激しいチャネルに対する従来の予測手法は，計算効率が低下する問題がある。
- MIMOチャネルの本質的な低ランクテンソル構造を利用し，計算量を削減した予測手法を開発する。
- 提案手法は，Tucker分解によって得られた低次元コアテンソルに対してDMDを適用することで，計算複雑さを大幅に低減する。
- シミュレーション結果から，提案手法が主要なチャネルダイナミクスを保持し，高い予測精度を達成することが示された。
確率モデル検査の嵐 [cs.SE, cs.LO]目的：確率モデル検査の実行可能性
- システム信頼性向上への貢献が期待される分野である。
- 複雑なシステムに対する検証が困難である。
- Stormを用いた効率的な検証手法を提示する。
- 本稿では，確率モデル検査ツールStormを用いた実用的な手法を紹介する。
- Markov決定過程(MDP)を中心とし，Pythonによるモデル化から特性検証，ポリシー抽出までの流れを解説する。
- 区間MDPやPOMDPといった不確実性の種類や，既存データ構造を用いたアルゴリズムの実装を支援する。
AIコーディングエージェントのための構造化知識プロトコルとしてのGitコミットメッセージの再利用 [cs.CC, cs.SE, cs.AI, cs.SY, eess.SY]目的：AIコーディングエージェント向けの構造化知識プロトコル
- AI技術の進化に伴い，ソフトウェア開発における知識の継承が重要になっている。
- Gitコミットメッセージはコード変更のみを記録し，意思決定の背景や理由が失われがちである。
- 失われた意思決定の背景情報を記録し，AIエージェントが利用可能な知識を増やす。
- Loreは，Gitコミットメッセージを構造化された意思決定記録として再利用する軽量なプロトコルである。
- Gitの機能を活用し，追加のインフラストラクチャを必要とせず，シェルコマンドで情報を取得可能である。
- 既存の手法との比較や検証を行い，実用的な検証パスも提示している。
ML-EcoLyzer：機械学習推論における環境コストの，フレームワークとハードウェアを通じた定量化 [cs.LG, cs.AI, cs.CV, cs.HC, cs.SE]目的：機械学習推論の環境コストの定量化
- 機械学習の利用拡大に伴い，環境負荷の評価と削減が重要課題となっている。
- 特に低リソースハードウェア環境下での環境影響は不明確であり，詳細な分析が必要である。
- 多様なハードウェア環境下での環境コストを定量化し，持続可能なモデル選択を支援する。
- ML-EcoLyzer は，CPU，GPU，データセンターアクセラレータなど，様々な環境での二酸化炭素排出量，エネルギー消費量，熱量，水使用量を測定するツールである。
- 量子化により，CO$_2$ 排出量あたりの有効パラメータ数が向上し，効率的な推論が可能になることが示された。
- 大規模アクセラレータは軽量なアプリケーションにおいて非効率的であり，モデルの最適化が重要であることが明らかになった。
量子制御状態と演算子の代数構造 [quant-ph, cs.LO]目的：量子制御状態と演算子の代数構造の解明
- 量子計算プログラムの基本要素であり，量子グラフィカル計算における等式推論に重要である。
- 量子制御状態と演算子の代数的な取り扱いが十分確立されていなかった。
- 制御状態と演算子が環を形成することを示すことで，強力な書き換え規則を確立する。
- 制御された図形が豊かな代数構造を持つことを示した。
- 制御された正方行列が環を形成し，強力な書き換え規則を満たすことを証明した。
- 制御された状態が多項式に同型な環を形成し，単一のグラフィカル計算内で任意の量子ビットハミルトニアンの因数分解を可能にする。
量子誤り検出とエンタングルメントの形式検証のためのビットベクター抽象化 [quant-ph, cs.ET, cs.LO]目的：量子位相推定回路の形式検証手法
- 量子コンピュータの発展には，正確な計算を保証する検証技術が不可欠である。
- 量子回路の複雑性により，網羅的な検証は困難であり，効率的な手法が求められている。
- 量子回路の機能的正確性を，メモリ使用量を抑えつつ検証すること。
- 本手法では，量子ビットの重ね合わせや回転，測定といった量子現象を捉えたビットベクター抽象化を用いる。
- 量子回路の機能をヒルベルト空間からビットベクター領域へマッピングし，形式的性質を検証する。
- 最大6精度の量子ビットと1024の位相量子ビットを持つQPE回路を，3.5GB以下のメモリで検証可能であることを示した。
ホログラフィック不変量記憶：ベクトル記号アーキテクチャによる設計時安全契約 [stat.ML, cs.CL, cs.IT, cs.LG, math.IT]目的：LLMのコンテキストドリフト軽減のための設計時安全契約
- 大規模言語モデルの性能は，コンテキストの変化に大きく左右されるため，安定性の確保が重要である。
- LLMは，コンテキストの変化によって性能が劣化する「コンテキストドリフト」の問題を抱えている。
- 設計段階で安全性を保証し，コンテキストドリフトの影響を軽減する手法を確立すること。
- 提案手法（HIS）は，設計時に評価可能な3つの保証（信号回復忠実度，ノイズ耐性，多信号容量劣化）を提供する。
- 信号回復忠実度は，ノイズの深さや内容に関わらず，約0.707に収束することが示された。
- 実験の結果，2B規模のLLMにおいて，安全性の再注入が遵守率の向上に貢献することが確認された。
想像性の資源理論における量の再検討 [quant-ph, cs.IT, math-ph, math.IT, math.MP, math.OC, math.QA]目的：想像性に関連する指標の減衰挙動の解析
- 量子情報科学の発展において，量子資源の定量化は不可欠である。
- 量子的な想像性の定量化は未だ発展途上であり，指標の明確化が課題である。
- 様々な量子チャネルにおける想像性指標の減衰傾向を明らかにし，その性質を解明する。
- 単一量子ビット状態および二量子ビット状態における，想像性に関連する指標の減衰挙動が解析された。
- 想像性の最大状態の概念が，分離可能な二量子ビット状態に拡張された。
- 単一量子ビットチャネルに加えて，二量子ビットチャネルに対する想像力と非想像力の定義が拡張され，具体的な計算が行われた。
復元なしサンプリングにおける経験的なレート関数による，より狭い信頼区間 [math.ST, cs.IT, math.IT, stat.ME, stat.TH]目的：母平均の信頼区間構築
- 統計的推論において，母集団に関する情報を効率的に推定することは重要である。
- 復元なしサンプリングでは，標本抽出に伴う依存関係が信頼区間の幅を広げる問題がある。
- 経験的なレート関数を用いることで，復元なしサンプリングにおける信頼区間の幅を狭めることを目指す。
- 経験的な逆レート関数を用いた新しい信頼区間を提案し，特定の条件下で理論的な下限に一致することを示した。
- ベルヌーイ結合のアイデアを用いて，区間[0,1]におけるほとんど確実な信頼区間を構築した。
- $(2,D)$滑らかなバナッハ空間においても，概念的に単純な非漸近的信頼区間を導出した。
量子プログラムの可逆的ライフタイム意味論 [quant-ph, cs.PL]目的：量子プログラムにおける可逆計算のライフタイム意味論の形式化
- 量子計算は，古典計算とは異なり，可逆性が必要不可欠であり，その効率的な実装が重要である。
- 従来の量子プログラミングでは，アンコンピュテーションは単なる技術的なクリーンアップ処理と見なされている。
- スコープと生存性解析に基づいたアンコンピュテーションの形式モデルを構築し，その有効性を示す。
- Qutes言語において，スコープ境界と生存性解析に基づくアンコンピュテーションの形式モデルを定義した。
- このモデルにより，プログラムの回路深度削減や，ライブキュービット数の抑制が可能となることが示された。
- パラメータ渡し方（値渡し，参照渡し）がライフタイム境界によって決定されることが明らかになった。
二次元の場合における古典的な等周不等式の形式化 [math.MG, cs.LO]目的：平面における古典的な等周不等式の形式的検証
- 幾何学における基本的な不等式であり，形状と面積の関係を理解する上で重要である
- 形式的な証明環境下での数学的定理の検証は，厳密性を保証する上で課題が多い
- Lean 4とMathlibを用いて，等周不等式の厳密な形式的証明を試みる
- 古典的な等周不等式 $L^2 \ge 4\pi A$ を，Lean 4とMathlibを用いて形式的に検証した。
- フーリエ解析の基礎を確立し，Hurwitzのアナリティックなアプローチを形式化した。
- 形式化の過程で発生した，無限和と積分の交換，項別微分などの課題についても議論した。
マルチモーダル大規模言語モデルに基づくビーム予測 [eess.SP, cs.IT, math.IT]目的：次世代無線通信システムのためのビーム予測手法
- 無線通信において，ビームフォーミングは通信品質と範囲を向上させるために不可欠である。
- 従来のビーム予測は，環境変化に弱く，精度の向上が課題であった。
- 本研究は，環境情報を活用し，よりロバストで高精度なビーム予測を実現することを目指す。
- 提案手法は，RGBカメラ画像とLiDAR点群などのセンサデータを用いて，文脈情報を効果的に活用する。
- 独自のモダリティエンコーダとビーム誘導型注意機構により，異種モダリティの統合を強化し，動的な環境下でも堅牢な特徴抽出を可能にした。
- 大規模マルチモーダルデータセット Multimodal-Wireless を構築し，様々な気象・交通条件下でのシミュレーション実験により有効性を検証した結果，Top-1精度で80.8%を達成した。
制約された三変数クラスにおけるAPN置換の無限族 [math.NT, cs.CR, cs.IT, math.IT]目的：$\mathbb{F}_{2^m}$上の三変数多項式におけるAPN置換族の拡張
- 暗号理論における安全性確保のため，APN置換の構成は重要な研究課題である。
- 既存のAPN置換族は数が限られており，新たな置換の構成が求められている。
- より多くのAPN置換を構成し，暗号化への応用可能性を広げることを目指す。
- Li-KaleyskiのAPN置換族を拡張し，スカラーパラメータを$\mathbb{F}_{2^m}^*$上で変化させることで，新たなAPN置換族を構成した。
- 特定の条件を満たすパラメータ$a$に対して，構成された多項式$G_a$と$H_a$がAPN置換となることを証明した。
- 構成されたAPN置換族は，既存のLi-Kaleyski族とはCCZ同値性において異なることを示した。
木の燃焼とその相同性 [math.AT, cs.IT, math.CO, math.IT]目的：グラフの燃焼に関する研究
- 社会やネットワークの相互作用をモデル化する上で，グラフ理論は重要な役割を果たす。
- 従来のグラフ燃焼モデルには，既に燃焼済みの頂点からの選択が可能であるという問題があった。
- 新たな燃焼プロセス定義に基づく代数トポロジー的手法によるグラフ燃焼の解析を目指す。
- グラフの燃焼と，その張る木の燃焼との関係について，古典的な場合と同様の結果が得られた。
- 木の燃焼が，木上のダイグラフ構造を定めることが示され，その構造が調査された。
- グラフの強燃焼配置空間と，燃焼ホモロジーに類似した新たな強燃焼ホモロジーが導入・研究された。
漸近的に良好なボソンFock状態符号：厳密および近似 [quant-ph, cs.IT, math.IT]目的：多モードFock状態符号による，振幅減衰ノイズに対する誤り訂正
- 量子情報処理において，量子ビットの誤りを訂正することは，安定した計算を実現するために不可欠である。
- 従来の誤り訂正符号は，Fock状態のような高次元量子状態への適用が困難である場合がある。
- 振幅減衰ノイズに対するFock状態符号の，効率的な構成法を確立し，性能を向上させる。
- 振幅減衰チャネルの新しい定式化により，Fock状態符号における厳密および近似的な誤り訂正の等価性が示された。
- 大規模な$\ell_1$距離を持つ古典符号に基づく構成法を活用し，漸近的に良好なFock状態符号を構築した。
- これらの符号は，モードごとの占有数の制限という特性を持ち，コード状態のコヒーレンス寿命を延ばし，光子損失確率を低減する。
縦断的な集合交差からWebクローリング網羅率を推定する [math.OC, cs.SY, eess.SY, math.DS, physics.soc-ph, cs.DL, cs.IR, cs.IT, math.IT]目的：Webクローリングの絶対的な網羅率の推定
- WebアーカイブはWebの断片を保存するが，その網羅性を定量的に評価することは重要である。
- 従来の網羅率推定は，複数のクローラ間での比較や外部データセットに依存しており，限界があった。
- アーカイブ自身の縦断データのみを用いて，絶対的な網羅率を推定することを試みる。
- 本研究では，縦断的なクローリングデータのURL重複から網羅率を推定する手法を提案した。
- 提案手法は，シンプルなurnモデルを用いており，線形回帰によってパラメータを推定する。
- ドイツ学術Webのクローリングデータを用いた実験で，安定したクローリング設定において約46%の網羅率が確認された。
エッジワース会計士：差分プライバシー合成への解析的アプローチ [cs.CR, cs.DS, cs.LG, stat.ML]目的：差分プライバシー合成のプライバシー損失の効率的な計算
- プライバシー保護データ分析は重要であり，個人情報保護とデータ利用のバランスが求められる。
- 複数のプライバシー保護メカニズムの合成におけるプライバシー損失の正確な評価が困難である。
- エッジワース会計士を用いて，合成におけるプライバシー損失をより正確に追跡し，効率的なプライバシー保証を提供する。
- エッジワース会計士は，$f$-差分プライバシーフレームワークを活用し，プライバシー損失ログ尤度比(PLLR)を通じて閉形式のプライバシー保証式を提供する。
- エッジワース展開を適用し，PLLRの和の確率分布を推定することで，複雑な分布を簡略化し，様々なノイズ付加メカニズムへの適用を可能にする。
- 従来の合成手法と比較して，計算コストが増加しにくい，非漸近的な$(\epsilon, \delta)$-差分プライバシー境界を提供する点が特徴である。
多様式タイプ理論の正規化 [cs.LO]目的：多様式依存型理論MTTの正規化
- 型理論は，プログラムの正当性保証の基礎であり，信頼性向上に不可欠である。
- 既存の型理論では，再帰や多様式性を扱うのが難しく，表現力に限界があった。
- 多様式型理論MTTを用いて，型チェックと変換の決定可能性を確立すること。
- 多様式依存型理論MTTの正規化が証明された。
- MTTにおける型チェックと変換の決定は，基盤となる様相状況における様相性の等価性の決定に帰着される。
- 本研究は，MTT自身の重要なケーススタディでもある。
公正な機械学習ソフトウェアの実現：反事実的思考によるモデルバイアスの理解と対処 [cs.SE, cs.AI]目的：機械学習ソフトウェアにおけるバイアスの理解と対処
- 機械学習の利用拡大に伴い，倫理的な問題が顕在化しており，公平性の確保が重要である。
- 既存手法では，公平性を向上させるために性能を犠牲にする必要があった。
- 公平性と性能の両立を図り，機械学習ソフトウェアのバイアスを根本的に解消することを目指す。
- 提案手法は，10のベンチマークタスクにおいて，性能と公平性の両面で優れた結果を示した。
- 5つの性能指標，3つの公平性指標，15の測定シナリオを用いた評価により，その有効性が確認された。
- 最先端手法と比較して，84.6%のケースで公平性が向上し，競争力のある性能を維持した。
プライバシーのための情報密度限界 [cs.IT, cs.CR, math.IT]目的：プライバシー保護における情報密度の下限設定の影響
- 現代社会において，個人情報の保護は極めて重要な課題であり，プライバシー保護技術の進展が求められている。
- 既存のプライバシー保護手法は，情報漏洩の定量化や，適切なプライバシーレベルの決定が難しいという課題を抱えている。
- 本研究は，情報密度に着目することで，より厳密かつ実用的なプライバシー保護の枠組みを確立することを目的とする。
- 本研究では，新たなプライバシー指標「点ごとの最大コスト (PMC)」を提案し，PMCの上限設定が情報密度の下限設定と同等であることを示した。
- PMCは，秘密の情報漏洩を定量化し，プライバシーメカニズムの安全性評価に役立つことが示唆された。
- PMCは，既存のプライバシー指標（PML，LDPなど）との関係性が明らかになり，プライバシー保護技術の体系化に貢献する。
差分プライバシーを持つ継続的メカニズムの同時構成 [cs.DS]目的：差分プライバシーを維持しつつ，データセットの更新と多様なクエリを任意の順序で実行できる継続的メカニズムの同時構成手法
- 差分プライバシーは個人情報保護に不可欠であり，統計的利用とプライバシー保護のバランスが求められる。
- 従来の同時構成定理は静的なデータセットを前提としており，動的なデータセット更新への対応が課題であった。
- 本研究は，適応的な攻撃者に対してもプライバシーを保証する，データセット更新に対応可能な同時構成定理を確立する。
- 本研究では，データセット更新とクエリの組み合わせに対する同時構成定理を証明し，プライバシー保護を保証した。
- 近似的DPにおけるプライバシー保護は，適応的な攻撃者に対しても成り立つことを証明した。
- 複数の中間メカニズムを用いる継続的メカニズムに対し，プライバシー解析を簡略化する条件を定式化した。
二者択一の推論を超えて：変換と帰納としての協調的問題解決パラダイム [cs.PL, cs.AI, cs.LG]目的：変換と帰納の協調的な問題解決
- プログラム合成は，限られた例からプログラムを生成する重要な技術であり，AI分野の発展に不可欠である。
- 既存の手法では，変換と帰納を相互に排他的に扱うか，一方のパラダイムが他方を支配する構造になっているため，潜在能力が制限されている。
- 変換と帰納を対等に組み合わせ，互いの自律性と推論能力を最大限に引き出すことで，より効果的な問題解決を目指す。
- 提案手法TIIPSは，3つのプログラム合成ドメインにおいて，最先端のベースラインを安定して上回り，良好な結果を得た。
- TIIPSが生成するプログラムは，構文と意味の両方において正解の軌跡により近いことが示され，意図されたプログラム行動との適合性が高い。
- 本研究は，記号的推論とニューラル推論を組み合わせた協調的な推論が，強力な問題解決の方向性を示すことを明らかにした。
DesignBench：MLLMベースのフロントエンドコード生成に関する包括的ベンチマーク [cs.SE, cs.AI]目的：MLLMベースのフロントエンドコード生成能力の評価
- フロントエンド開発は，現代のWeb開発において不可欠であり，その自動化は生産性向上に繋がる。
- 既存のベンチマークは，主要なフレームワークや実際の開発ワークフローを十分に考慮していない。
- フレームワーク，タスク，条件の多様性を考慮した詳細な性能分析を可能にすること。
- DesignBenchは，React，Vue，Angularを含む複数のフレームワークと，生成，編集，修正の3つの主要なタスクに対応。
- 900のウェブページサンプルを用いて，タスク難易度や入力の多様性といった様々な側面からMLLMの性能を評価。
- フレームワークごとの制限，タスクのボトルネック，条件による性能変動など，重要な知見が得られた。
ケメニー集約問題における最適化された多数決ルールによる効率的な空間削減手法 [cs.DS, cs.DM, math.CO]目的：ケメニー集約問題に対する空間削減
- 社会的選択，機械学習等に応用される重要な問題であり，多数の候補者間の順位決定が必要となる。
- ケメニー集約問題はNP困難であり，大規模なデータに対する計算が難しいという課題がある。
- 効率的な空間削減手法により，計算時間を短縮し，より大規模なデータへの適用を可能にすること。
- 提案手法により，既存手法よりも空間削減の精度が向上し，計算時間がほとんど増加しないことを示した。
- 本手法は，整数計画法やファイン・コンドルセ分割法といった他の手法と組み合わせることで，ケメニー集約問題に対する効率的かつスケーラブルな解法を提供する。
- 近似アルゴリズムについても評価を行い，得られる順位の品質に対する保証を与える方法を提示した。
砂利ゲームと代数的証明系 [cs.LO]目的：砂利ゲームと代数的証明系の間の新たな強い関連性
- 計算複雑性において，証明系の効率性は重要な研究課題である。
- 代数的証明系とゲーム間の関係は未だ十分に解明されていない。
- 砂利ゲームと代数的証明系の間の対応関係を明らかにすること。
- DAG $G$ に対し，Monomial Calculus による反証において次数 $s$，サイズ $t$ を持つ場合，空間 $s$，時間 $t+s$ の黒砂利戦略が存在する。
- 空間 $s$，時間 $t$ の黒砂利戦略が存在する場合，次数 $s$，サイズ $ts$ の MC 反証を抽出できる。
- 砂利ゲームにおける空間量は，対応する代数的証明系の変数空間量と一致することが示された。
QD論理におけるFMP：誤った証明 [cs.LO]目的：QD論理におけるFMPの証明とその誤り
- 論理学は厳密な推論の基礎であり，数学や計算機科学に不可欠である。
- 非古典論理は古典論理の限界を克服するが，その性質解明は困難である。
- QD論理におけるFMPの成立を証明し，論理体系の特性を明確にすること。
- 本研究は，当初QD論理がFMPを持つことの証明を目指したが，主要な欠陥が見つかった。
- その欠陥は修正不可能であり，当初の証明は誤りであったことが示された。
枯渇させず，無駄にしない [cs.PL]目的：リソースを意識したラムダ計算のセマンティクスと型システムの拡張
- 計算資源の利用は，現代の情報処理において不可欠であり，その効率的な管理が重要である。
- 既存の型システムでは，リソースの枯渇や無駄遣いを十分に防ぐことが難しいという課題がある。
- 型システムを通じて，リソースの枯渇や無駄遣いを伴わない計算を保証することを試みる。
- ラムダ計算に，リソース使用量を追跡するセマンティクスを導入し，リソースの枯渇や無駄遣いを検出する型システムを構築した。
- 型システムは，標準的な健全性に加え，リソースの枯渇や無駄遣いがない計算を保証する。
- この拡張は，特定の言語に依存せず，任意の「グレード代数」を用いて表現可能である。