arXiv雑要約
プログラム - 2026/05/05 公開
大規模SOSランクを持つ非重み付き最小ナップサック問題の分布について [math.OC, cs.CC, cs.DS]目的：非重み付き最小ナップサック問題のSOSランクの分布の解析
- ブール最適化問題におけるリフト＆プロジェクト法の限界を理解するための重要なテストベッドである。
- 閾値パラメータqの特定の値によってSOSランクが変化するため，困難なインスタンスの原因が不明確である。
- qの範囲におけるSOSランクの上限と下限を示すことで，その分布を明らかにする。
- n-qがO(1)以下の場合，SOSランクは定数であることが示された。
- qがO(1)以下で，qが整数に指数関数的に近い場合，線形ランクが必要となる。
- qがO(1)以下の範囲では，線形ランクとなることは稀であることが示された。
合成シェルピンスキー円錐 [math.CT, cs.LO]目的：シェルピンスキー円錐の分類特性を保持する最大の部分宇宙の構造
- 空間のモデル化において，圏論やトポス理論は重要な役割を果たす。
- 近年，ホモトピー型理論に基づく合成モデルでは，円錐の分類特性が常に成立しない問題がある。
- 円錐の分類特性が成立する最大の範囲を特定し，その構造を明らかにすること。
- シェルピンスキー円錐が部分写像を分類する最大の部分宇宙は，区間パラメータ化された埋め込みの到達可能性局所化である。
- この部分宇宙はセガル型に包含されるが，その包含関係は厳密であり，全てのセガル型が部分宇宙に含まれるわけではない。
- これらの結果をシェルピンスキー円錐から写像円筒へ拡張し，後者に対する新たな右手の普遍的性質を得た。
虚二次体の整数環上の非ノルム基準と最適な2x2時空ブロック符号 [cs.IT, math.IT]目的：虚二次体の整数環上で定義される2x2時空ブロック符号の最適化
- 数体上の代数構造から生成される符号は，算術不変量によって制御される行列式最適化問題に繋がる。
- 既存の研究では，虚二次体の整数環上の符号の性能限界が明確でなかった。
- 本研究は，虚二次体の整数環上での最適な2x2時空ブロック符号の構造を特定することを目的とする。
- アイゼンシュタイン構成が，検討対象の符号ファミリーの中で最大の正規化密度を持つ最適な符号であることが示された。
- アイゼンシュタイン構成を超える符号は，特定の虚二次体（d={2,7,11}）でのみ定義可能であることが示された。
- これらの追加の虚二次体での最適構成を決定した結果，アイゼンシュタイン符号を超えるものは存在しないことが確認された。
パス幅における一階述語論理の再検討 [cs.DS, cs.CC, cs.LO]目的：一階述語論理で表現可能なグラフの性質の決定可能性
- グラフ理論は，ネットワーク分析やデータ構造など，情報科学の基礎をなす重要な分野である。
- Courcelleの定理の隠れた定数は指数塔であり，計算量が大きいという問題があった。
- パス幅が制限されたグラフにおける一階述語論理の計算複雑性を改善することを目指す。
- パス幅が制限されたグラフでは，一階述語論理で表現可能な性質が初等的に決定可能となる。
- これは，ツリー幅とパス幅で複雑性挙動が異なる珍しい例である。
- 本研究は，Gajarsk{\'{y}}とHlin{\v{e}}n{\'{y}}のメタ定理を拡張し，より広いクラスのグラフに適用可能となる。
人間とLLMの相互作用の理解：プログラミングタスクにおけるLLM利用に関する文献調査 [cs.SE, cs.HC]目的：プログラミングタスクにおけるLLM利用に関する文献調査
- ソフトウェア開発の効率化が求められる中で，LLMは新たな可能性を秘めている。
- LLMの性能はタスクや利用状況によって大きく異なり，安定した効果が保証されない。
- 人間とLLMの相互作用パターンを理解し，その効果を最大化するための指針を提示すること。
- 先行研究では，LLMに対する要求の種類やタスク遂行戦略など，ユーザーのインタラクション行動が分析された。
- LLMの利用は，人間とタスクの両方に対してプラスとマイナスの影響をもたらすことが明らかになった。
- 人間，LLM，および両者の相互作用から，人間の能力向上やタスクパフォーマンスに影響を与える要因が特定された。
マイクロ波線形アナログコンピュータを用いたMIMOシステム：回路複雑性を低減した容量達成アーキテクチャ [cs.IT, eess.SP, math.IT]目的：巨大MIMOシステムにおける容量達成アーキテクチャの設計
- 次世代無線ネットワークでは，アンテナアレイの規模拡大が必須であり，巨大MIMO技術が注目されている。
- 従来の線形アナログコンピュータは回路の複雑性が高く，アンテナ数が増加すると実用化が困難であった。
- 本研究では，グラフ理論に基づくモデルを用いて，回路複雑性を低減したアナログコンピュータアーキテクチャを提案する。
- 提案するステム接続型アナログコンピュータは，回路複雑性を線形に削減し，巨大MIMOの実現可能性を高める。
- 理論解析と数値シミュレーションにより，提案アーキテクチャが容量達成性能を維持することが確認された。
- 本研究は，次世代無線通信における高効率なビームフォーミング技術への貢献が期待される。
プロパティと構造的最小限のフィードバックによる効果的なLLMコード改善 [cs.SE, cs.AI]目的：LLMによるコード改善の性能向上
- LLMはコード生成に優れるが，生成コードの機能的正確性は依然として課題である。
- 既存のテスト駆動開発は，高品質なテストケースの不足とノイズの多い信号により，改善効果が限定的である。
- プロパティに基づき，構造的に最小限のフィードバックにより，LLMのコード修正能力を向上させる。
- PGSは，他のTDD手法と比較して，pass@1の性能を最大13.4%向上させた。
- 初期失敗した問題に対して，64%以上の修正率を達成した。
- 既存のデバッグ手法を1.4倍～1.6倍上回る修正率で，自動コード改善の新たな最先端を確立した。
Issue-to-Commitリンク回復のための自律型LLMベースエージェント：LinkAnchor [cs.SE, cs.AI]目的：ソフトウェアリポジトリにおけるIssue-to-Commitリンクの回復
- ソフトウェアのトレーサビリティとプロジェクト管理において，Issueとコミットの関連付けは不可欠である。
- GitHub上のIssueとコミットのリンク率は約42.2%にとどまり，効果的な解決策が求められている。
- 大規模なリポジトリにおいて，Issue-to-Commitリンク回復の効率性と精度を向上させる。
- LinkAnchorは，LLMが関連性の高いコンテキストデータのみを動的に取得するLazy-accessアーキテクチャを採用している。
- これにより，トークン制限を超過することなく，Issue，コミット，コードファイルなどを処理できる。
- 既存手法が捉えきれない，Issue解決の背後にある複雑な依存関係を考慮し，より正確なリンク回復を実現する。
ニューラルネットワークモデルの個別公平性に関するコンコリックテスト [cs.LG, cs.SE]目的：ニューラルネットワークモデルの個別公平性の評価と検証
- AIの社会実装が進む中，公平性は重要な課題であり，差別や偏見の温存を防ぐ必要がある。
- 既存の公平性評価手法は網羅性に欠け，潜在的な差別事例を見落とす可能性がある。
- 本研究は，より厳密かつ体系的な公平性テスト手法を確立し，モデルの信頼性を高めることを目指す。
- PyFairは，既存のバイアス軽減技術を施したモデルを含む25のベンチマークモデルにおいて有効性が確認された。
- 差別的な事例の検出と公平性の検証が可能であり，複雑なモデルのスケーラビリティに課題が残ることも示された。
- 本研究は，公平性テストと検証のための厳密な手法を提供することで，アルゴリズムの公平性を向上させる。
最適な超曲面決定木 [cs.HC, cs.CY, cs.SI, cond-mat.stat-mech, physics.soc-ph, cs.LG, cs.DM, cs.DS]目的：最適な超曲面決定木のアルゴリズム開発
- 決定木は，解釈可能性の高い機械学習モデルとして広く利用されている。
- 既存の決定木アルゴリズムは表現力や大規模データへの対応に課題がある。
- 超曲面分割を用いた決定木の最適化問題を解決し，表現力と効率性を両立する。
- 本研究では，時間計算量$O\left(K!\times N^{DG+G}\right)$で超曲面決定木問題を解くアルゴリズムを提案した。
- 提案手法は，既存のアルゴリズムでは実現できなかった超曲面分割を持つ決定木を生成可能である。
- 効果的な剪定戦略と逐次的な処理手順により，計算コストを大幅に削減できることを示した。
疎な近傍グラフに基づく近似最近傍探索の再検討：理論的解析と最適化 [cs.DS]目的：近似最近傍探索における疎な近傍グラフの解析と最適化
- 大規模ベクトルの高速検索は，情報検索や機械学習において重要な課題である。
- 疎な近傍グラフの性能はパラメータに大きく依存するが，最適なパラメータ設定は困難である。
- グラフ構築過程の理論的解析に基づき，最適なパラメータを決定する手法を開発する。
- 提案手法OPT-SNGは，グラフの最大外次数が\(O(n^{2/3+\epsilon})\)であり，探索経路長が\(O(\log n)\)であることを証明した。
- 最適なパラメータ選択規則を導出し，コストのかかるパラメータ探索の必要性をなくした。
- 実データ実験により，OPT-SNGがインデックス構築時間を平均5.9倍高速化し，検索性能を維持または向上させることを示した。
エラーパターンツリー表現を用いた最適性保証付きGRANDの並列化戦略 [cs.IT, math.IT]目的：エラーパターンツリー表現によるGRANDの並列化戦略
- 現代の復号フレームワークにおいて，スループットと遅延の要求は厳しく，並列化は重要な課題である。
- ソフトGRANDは最尤復号を実現するが，リアルタイムなエラーパターン生成と尤度順序付けが並列化を困難にしている。
- エラーパターンツリー表現を用いることで，並列性を維持しつつ復号の複雑さを軽減することを目指す。
- 提案する並列SGRANDは，シリアル版と比較して復号遅延を3.96倍削減することに成功した。
- 改良されたORBGRANDは，4.21倍の高速化を実現し，本手法の有効性を示した。
- 統一されたツリーベースのフレームワークは，将来的なアルゴリズムおよびハードウェアの最適化の可能性を秘めている。
制御を司る唯一の構造 [cs.LO, math.CT, quant-ph]目的：制御命令の形式化
- 可逆ブール回路や量子回路において，制御は不可欠な要素である。
- 既存の形式化では，制御が他の計算要素と混在している場合が多い。
- 制御を明示的に扱う形式化を構築し，その健全性と完全性を証明すること。
- 半単式rig圏の概念に基づき，制御を回路理論に組み込むための構法を提示した。
- 提示された８つの普遍量化方程式が，制御の意図された意味論に対して健全かつ完全であることが示された。
- このフレームワークにより，量子回路や可逆ブール回路の公理化が簡素化され，必要最小限の生成規則と方程式で表現できるようになった。
フィードバック昼食：安全通信のための学習型フィードバック符号 [cs.IT, cs.AI, cs.CR, cs.LG, eess.SP, math.IT]目的：安全通信のための学習型フィードバック符号の設計
- 通信の安全性確保は重要であり，特に傍受リスクへの対策が不可欠である。
- 従来の暗号化技術では，チャネル特性の影響を受けやすく，安全な通信が困難な場合がある。
- チャネルフィードバックを活用し，傍受者の優位性を克服する安全通信技術を開発する。
- チャネル出力フィードバックを利用することで，正当な通信当事者間で秘密鍵を共有することが可能となった。
- 普遍ハッシュ関数と学習型フィードバック符号を組み合わせることで，安全性と信頼性の両立を実現した。
- 本研究は，統合センシング・通信（ISAC）におけるセンシング支援型安全通信の符号設計に貢献する。
大規模な補題マイナー：LLMはハードウェアの帰納的証明を行えるか [cs.LO]目的：ハードウェア検証のための帰納的証明の生成
- ハードウェアの複雑化に伴い，検証の自動化が不可欠となっている。
- 形式検証は手間がかかり，専門知識が必要となる。
- LLMを活用して形式検証の自動化と効率化を目指す。
- LLMは，適切なプロンプトと再プロンプトにより，ミドルサイズのオープンソースRTLデザインに対する帰納的議論を生成できる。
- 問題セットの84%において，少なくとも1つのプロンプト設定で証明可能な帰納的議論が生成された。
- LLMは，ハードウェア検証における形式検証エンジニアの作業を一部代替し，産業的な価値を提供できる可能性がある。
周波数領域における可動信号を用いたスマート無線環境の実現 [cs.IT, eess.SP, math.IT]目的：周波数領域における可動信号によるスマート無線環境の実現可能性
- 無線通信の性能向上には，電波伝搬経路の制御が不可欠である。スマート無線環境は，その実現に向けた重要な技術となる。
- 従来のスマート無線環境技術は，電子制御や可動部品に依存しており，実装の複雑さやコストが課題となっている。
- 本研究は，周波数領域における可動信号の概念を通して，実装の容易なスマート無線環境の実現を目指す。
- 可動信号は，従来の固定周波数伝送と比較して，平均受信電力を向上させることが示された。
- 非直視回線環境においても，固定の電磁特性を持つ固定インテリジェント面(FIS)を活用することで，可動信号の効果が維持されることが確認された。
- FISを用いた可動信号システムは，固定周波数信号を用いたRISシステムと比較して，最大で4倍の受信電力を達成可能であることが示された。
MLにおける全方向型推論：原理主義的なあらゆる方法 [cs.PL]目的：ML型システムの原理性を回復する手法の研究
- ML型システムは型推論の効率性と予測可能性に貢献しており，現代のプログラミング言語において重要な役割を担う。
- GADTsや高階多型などの拡張機能は，原理性を損ない，型推論を困難にする可能性がある。
- 全方向型推論により，原理性を維持しつつ，より表現力豊かな型システムを実現することを目指す。
- 全方向型推論は，型情報の伝播順序を動的に決定することで，既存の固定順序の型推論の制限を克服する。
- 部分的に解決された型スキームをインスタンス化する増分インスタンス化を導入し，let-generalizationの課題に対処する。
- 静的オーバーローディングや準明示的な一級多型など，OCamlの異なる機能に対して，より表現力豊かな原理性のある型推論アルゴリズムを確立した。
自然言語要件からのUMLクラス図生成のためのマルチエージェントLLMシステムNOMAD [cs.SE]目的：自然言語要件からのUMLクラス図生成
- ソフトウェア開発において，UML図はシステムの設計と理解に不可欠である。
- LLMがUML図のような構造化された成果物を生成する能力は，十分には探求されていない。
- LLMによるUMLクラス図生成の信頼性と解釈性を向上させることを目指す。
- NOMADは，役割を分担した複数のエージェントによるモジュール構成でUML生成を行う。
- NOMADは，大規模なケーススタディと人間が作成したUML演習において，既存のベースラインを上回る性能を示した。
- LLM生成UML図におけるエラーの体系的な分類を提示し，検証戦略の適応的アプローチの可能性を示唆した。
グラフ理論を用いた低複雑度平面型超対角線RISアーキテクチャ設計 [cs.IT, eess.SP, math.IT]目的：グラフ理論による平面型超対角線RISアーキテクチャの特性評価
- 無線環境をプログラム制御するRISは，次世代ネットワークの重要な要素技術である。
- 従来のRISを超えた超対角線RISは柔軟性が高いが，回路の複雑さが増大する。
- 二層PCBで実現可能な超対角線RISアーキテクチャを特定し，性能最大化を目指す。
- グラフ理論を用いることで，二層PCB上に実装可能な平面接続型RISの構造を特徴づけることができた。
- 平面接続型RISの中で，自由度が最も高い構造を特定し，実用的な制約下での性能向上が期待できる。
- 本研究は，RISの製造難易度を軽減しつつ，高い性能を実現するための基盤を提供する。
PyPIライブラリのメールアドレス可用性分析 [cs.HC, cs.SE]目的：PyPIのPythonライブラリにおけるメールアドレスの可用性
- 現代のソフトウェアシステムはOSSライブラリに依存しており，その長期的な維持には開発者の存在が不可欠である。
- OSSライブラリの維持者の連絡先情報が不足しており，サポートやセキュリティ対応が困難になる場合がある。
- PyPIライブラリにおけるメールアドレスの可用性を定量的に評価し，改善点を探る。
- 79.1%のライブラリが少なくとも1つの有効なメールアドレスを公開しており，主な情報源はPyPIである。
- 依存関係チェーンの分析では，直接依存関係の97.7%，推移的依存関係の97.5%が有効な連絡先情報を提供していることが分かった。
- 79万件以上の無効なエントリが確認され，これは主にフィールドの未入力に起因する。
PyPIライブラリにおける顕著なメタデータ慣行の調査：リポジトリと寄付プラットフォームURLに関する実証研究 [cs.SE]目的：PyPIライブラリにおけるメタデータ慣行
- 現代のソフトウェアシステムにおいて，OSSライブラリは不可欠な構成要素であるため，その管理が重要である。
- OSSライブラリのメタデータは不完全，古くなっている，または一貫性がない場合が多く，課題となっている。
- この研究は，リポジトリや寄付プラットフォームへの参照に関する問題を明らかにすることを目的としている。
- リポジトリリンクの欠落や古さは，主に注意不足，認識不足，または関連性の低さに起因することが明らかになった。
- プラットフォームの優位性は，イデオロギー的，技術的，組織的な要因によって推進されていることが示唆された。
- 寄付プラットフォームへのリンクは，懐疑心，限られたメリット，知識不足のため省略されることが多く，GitHubに優先的に配置される傾向がある。
- LLMベースのトピックモデリングアプローチは，高い堅牢性と高品質なトピックを示し，評価基準を満たす割合は約77〜78%であった。
GitHubセキュリティ勧告レビューパイプラインの特性評価とモデリング [cs.CR, cs.SE]目的：GitHubセキュリティ勧告レビュープロセスに関する特性評価とモデル構築
- オープンソースソフトウェアの脆弱性管理において，GitHubセキュリティ勧告は重要な役割を担う。
- レビュープロセスの仕組みが不明瞭であり，効率的な脆弱性対応の妨げとなっている。
- レビュー遅延の要因を分析し，より迅速な脆弱性対応を可能にするモデルを構築する。
- GitHubリポジトリ勧告（GRA）が中心の迅速なレビュー経路と，NVD優先の勧告が中心の遅延経路という2つの異なるレビュー遅延状態を特定した。
- レビューを受ける可能性が高い勧告の特徴や，レビュー遅延の程度を定量的に評価した。
- 勧告処理パイプラインの構造を考慮した待ち行列モデルを開発し，レビュープロセスの二分性を説明した。
ISI ガウスチャネルの識別 [cs.IT, math.IT]目的：ISIガウスチャネルの識別容量
- 無線通信において，チャネル特性を理解し，効率的な通信システムを構築する上で重要である。
- チャネル干渉により，従来の通信容量の評価が困難であるという課題がある。
- チャネル干渉の影響下における識別容量の上界と下界を確立し，信頼性の高い識別を可能とする。
- ISIタップ数がコード長$n$に対して$\sim n^{\kappa}$でスケールする場合でも，識別可能なメッセージ数は$2^{(n \log n)R}$として超指数的に増加する。
- 決定的なエンコーダとピーク電力制約下での識別容量の評価を確立した。
パラメータ化された単方向リングにおける実用的なリヴロック解析 [cs.DC, cs.DM, cs.FL, cs.LO]目的：自己無効化単方向リングプロトコルにおけるリヴロック解析の枠組み
- 分散システムにおける同期の問題解決は，システムの信頼性と効率性に不可欠である。
- リヴロックの検出と検証は計算困難であり，大規模システムへの適用が課題であった。
- 効率的なリヴロック解析手法を開発し，プロトコルの安全性を保証すること。
- 等価な積空間への解析の移行により，効果的な検証を可能にする構造が明らかになった。
- 生成される積遷移グラフを用いて，リヴロックの存在を多項式時間で判定できることを示した。
- 4,349のプロトコルに対する検証実験で，誤りなく結論を得られた。
エッジ傾斜場ダイナミクス：一意性閾値における迅速な混合とSwendsen-Wangダイナミクスにおける最適な混合 [cs.CE, cs.CL, cs.DS, math.PR]目的：二スピン系マルコフ連鎖の混合時間に関する理論的成果
- 統計物理学における相転移現象の理解は，複雑な系の振る舞いを予測する上で重要である。
- マルコフ連鎖の混合時間は，サンプリング効率を決定する重要な要素であり，計算困難な場合がある。
- この研究は，相転移の臨界点における混合時間を明らかにすることで，計算可能性の境界を明確にすることを目指す。
- 反強磁性二スピン系のギブス分布において，一意性相転移の閾値でGlauberダイナミクスが多項式時間で混合することを示した。
- 外部磁場を持つ有限次数グラフ上の強磁性イジングモデルに対し，Swendsen-Wangダイナミクスが$O(\log n)$の最適な混合時間を持つことを証明した。
- エッジ（またはハイパーエッジ）の重みを傾斜させる新しい局所化スキームを導入し，古典的なSwendsen-Wangダイナミクスを含むより広範な枠組みを確立した。
流体アンテナ支援ワイヤレスネットワーク最適化のための加速型マルチエージェント強化学習 [cs.IT, math.IT]目的：流体アンテナ位置，ビームフォーミング，電力割り当ての最適化
- 次世代ワイヤレスネットワークにおいて，位置可変な流体アンテナシステムは，より良好なチャネル条件への動的な適応を可能にする有望な手法である。
- 流体アンテナを用いたワイヤレスネットワークの最適化は，非凸性や基地局間の連携不足により困難である。
- 分散型部分観測マルコフ決定過程として問題を定式化し，効率的な学習アルゴリズムを提案することで最適化を達成する。
- 提案手法MAGRPOは，既存手法MAPPOと比較して，パラメータ共有時の計算量をほぼ半分に削減できる。
- 累積報酬の分散の上限を導出し，ネットワークパラメータ（基地局数，ユーザ数，流体アンテナ数など）との関係を明らかにした。
- シミュレーション結果から，流体アンテナ支援ネットワークは固定アンテナネットワークと比較して，大幅な合計スループットの向上を達成することが示された。
プライバシーポリシーとログの整合性：Androidアプリケーションログにおけるプライバシー開示の経験的研究 [cs.CR, cs.SE]目的：Androidアプリケーションログにおけるプライバシーポリシーと実際のログデータの整合性
- デジタル化が進む中，個人情報保護は重要性を増しており，プライバシーポリシーの透明性が求められている。
- プライバシーポリシーの内容が曖昧，または不完全であることが多く，ユーザーへの十分な情報提供がなされていない。
- プライバシーポリシーと実際のログデータの乖離を明らかにし，プライバシー保護の改善に貢献すること。
- 調査の結果，Androidアプリケーションの88.0%はプライバシーポリシーを提供しているものの，明示的にログ記録について言及しているのは28.5%に過ぎない。
- ログ記録に関する記述がある場合でも，27.7%の記述は単純または曖昧で，実際のデータ収集に関する洞察が限られている。
- アプリケーションログにおけるプライバシー漏洩は蔓延しており，67.6%のアプリがポリシーに記載されていない機密情報を漏洩していることが判明した。ポリシーとログデータの整合性はわずか0.4%に留まった。
CUJBench：ブラウザからバックエンドまでのクロスモーダル故障診断におけるLLMエージェントのベンチマーク [cs.CE, cs.SE]目的：クロスモーダル故障診断のベンチマーク
- 自動故障診断はシステム安定性に不可欠であり，迅速な問題解決に繋がる。
- 既存のベンチマークでは，ブラウザとバックエンド間の相互作用を評価するクロスモーダル推論が不足している。
- ブラウザとバックエンドの情報を統合し，故障診断の精度向上を目指す。
- CUJBenchは，ブラウザとバックエンドの可観測性データを組み合わせた最初のベンチマークである。
- 全体的な精度は19.7%であり，潜在能力は52%に留まることが示された。
- ブラウザのみのエージェントが，ツールセット全体を使用するエージェントよりも優れた性能を発揮することが判明した。
3GPP 5G-Advanced ISACネットワークにおける複数TRP支援UAV検出 [cs.CL, cs.RO, cs.IT, math.IT]目的：複数TRPを用いたUAV検出性能の向上
- 通信インフラによるセンシング技術は，新たな応用分野を開拓する可能性を秘めている。
- 単一TRPによるセンシングは，角度範囲の制限や遮蔽の影響を受けやすく，検出信頼性が低い場合がある。
- 複数TRPによる空間的多様性を活用し，UAV検出のロバスト性を向上させることを目指す。
- 複数TRPの支援により，UAVの観測可能性が向上し，誤検出が抑制され，位置特定誤差が縮小された。
- 2つのTRPによる投票閾値が，見逃し率と誤報抑制の最適なトレードオフを実現し，3GPPの性能目標を満たした。
- センシング更新間隔を延長することで，センシングオーバーヘッドを大幅に削減し，スケーラブルなネットワーク展開を可能にした。
直線と階段状集合におけるソロー・ポラスキー多様性部分集合選択に対する厳密な動的計画法 [cs.RO, cs.CG, cs.DS, math.OC]目的：ソロー・ポラスキー多様性部分集合選択の厳密解法
- 生物多様性保全や幾何学において重要な概念であり，多様性の評価や空間の特性解析に利用される。
- 大規模なデータセットに対する効率的なアルゴリズムが不足しており，計算コストが高いという課題がある。
- 動的計画法を用いて，効率的に最適な部分集合を選択することを目指す。
- ソロー・ポラスキー多様性は，連続する選択点間のギャップを用いて表現できることが示された。
- 指定されたカルディナリティを持つ部分集合に対して，多様性を最大化する動的計画法アルゴリズムが開発された。計算量はO(kn^2)である。
- 直線や階段状集合といった特定の構造を持つデータに対して，このアルゴリズムが適用可能であることが証明された。
リテラテ実行 [cs.PL]目的：プログラム実行と説明要素の統合
- プログラム理解の困難さ解消が重要である。複雑化するプログラムを可視化し，理解を深める必要がある。
- 従来のドキュメントは静的であり，プログラムの実行状況との連携が不足している。
- 実行時の情報を活用し，プログラムの内部動作を探索的に理解可能にすることを目指す。
- リテラテ実行により，プログラムの実行と説明を同時に行うことが可能になった。
- Fluid言語を用いて，入力と出力の依存関係を追跡し，可視化インタラクションを実現した。
- プログラムの探索性と自己説明性を向上させ，説明プログラムを容易に記述できる環境を提供する。
構築途上の理論：仕様が進化する研究ソフトウェアのための言語モデルの調整 [cs.SE, cs.AI]目的：研究ソフトウェア開発における言語モデルの活用方法
- 研究ソフトウェアは，コードと理論の両方を必要とし，その連携が重要である。
- コード，理論，モデルの記述が乖離し，一貫性を保つことが困難である。
- 言語モデルの特性に着目し，一貫性のある研究ソフトウェア開発を支援する。
- Comet-Hは，アイデア出し，実装，評価，検証，論文執筆を統合したワークスペースを構築する。
- プロンプト選択を文脈的バンディット問題として扱い，透明性の高い評価指標を用いることで，長期的な一貫性を確保する。
- Python静的解析ツールA3の開発において，90ケースのベンチマークでF1=0.768を達成し，既存のベースライン(0.364)を上回った。
Claw-Eval-Live：進化する現実世界のワークフローに対するライブエージェントベンチマーク [cs.RO, cs.SE, cs.AI]目的：進化するワークフロー需要に対応したエージェントの評価
- LLMエージェントはビジネスの中核を担うため，その性能評価は重要である。
- 既存のベンチマークはタスクセットが固定されており，変化する需要への対応が困難である。
- 現実世界のワークフローの変化に対応可能な，継続的な評価手法を確立する。
- Claw-Eval-Liveは，公開されているワークフロー需要に基づいたベンチマークであり，定期的に更新される。
- 最先端モデルでもタスクの66.7%しか成功しておらず，完全なワークフロー自動化には課題が残る。
- 人事，管理，複数システムを跨ぐビジネスワークフローがボトルネックであり，ローカルワークスペースの修復は比較的容易である。
一般的な結晶学的位相復元問題 [math.FA, cs.IT, math.AG, math.IT]目的：信号の回復
- 信号処理や画像処理において，信号の復元は重要な課題である。
- 信号のスペクトル情報だけでは，信号を一意に決定できない場合がある。
- 疎な信号のスペクトルから信号を復元する条件を明確化する。
- 信号が基底に対して疎である場合，そのスパース性は信号の一意な復元を可能にする。
- スパース性のレベルが信号長 $N$ の半分以下であれば，信号はスペクトルから符号まで一意に決定される。
- スパース性のレベルが $N$ の4分の1であれば，全ての疎なベクトルが符号まで一意に決定される。
1ビットISACシステムの基本的限界：容量領域と最適な電力制御 [math.DS, cs.FL, math.PR, eess.SP, cs.IT, math.IT]目的：1ビット受信量子化を用いた統合センシング・通信（ISAC）システムの基本的限界の解明
- 通信とセンシングを同時に行うISACは，次世代無線通信の重要な技術要素となる。
- 低ビット量子化はハードウェアコスト削減に有効だが，性能劣化が懸念される。
- 1ビット量子化環境下でのISACシステムの性能限界と最適な運用方法を明らかにする。
- 通信チャネル状態情報(CSI)が受信側に利用可能な場合，通信とセンシングの間にトレードオフは存在しないことが示された。
- 特定の回転対称性を持つ定振幅入力分布により，通信とセンシング容量を同時に達成できる。
- 送信側にもCSIが利用可能な場合，最適な電力制御ポリシーが導出され，重み付けパラメータの変化に応じて送信戦略が変化することが示された。
- 1
- 2