arXiv雑要約
プログラム - 2026/05/04 公開
大規模SOSランクを持つ非重み最小ナップサック問題の分布について [math.OC, cs.CC, cs.DS]目的：非重み最小ナップサック問題におけるsum-of-squaresランクの分布
- ブール最適化におけるlift-and-project法の限界を理解するための重要なテストベッドである。
- 閾値パラメータqの選択によって，SOS階層の難易度が大きく左右される可能性がある。
- qの範囲全体における非重み最小ナップサック問題のSOSランクの上界と下界を定める。
- n-qがO(1)であれば，SOSランクは定数となることが示された。
- qがO(1)であり，かつ整数に指数関数的に近い場合，線形ランクが必要となる。
- qがO(1)の場合，線形ランクとなることは稀であり，ガウス分布による摂動後の期待SOSランクはO(√n log(n/σ))である。
合成されたシェルピンスキー円錐 [math.CT, cs.LO]目的：シェルピンスキー円錐の分類性質を保持する最大の部分宇宙の特定
- 空間のモデル化において，圏論的構造は重要な役割を果たす。
- 合成空間モデルでは，シェルピンスキー円錐の分類性質が常に保証されない。
- 分類性質を保持する最大の部分宇宙を明らかにすることで，理論の健全性を保つ。
- シェルピンスキー円錐が部分写像を分類する最大の部分宇宙は，区間パラメータ化された埋め込みの到達可能性局所化である。
- この部分宇宙はセガール型に包含されるが，区間が非自明な場合には，全てのセガール型がこの部分宇宙に含まれるわけではない。
- 同様の結果が写像円柱にも拡張され，新たな右利き普遍性質が導かれる。
虚二次体の整数環上の2×2空間時間ブロック符号における非ノルム基準と最適符号 [cs.IT, math.IT]目的：虚二次体の整数環上で定義される2×2空間時間ブロック符号の最適化
- 数体上の代数構造から生まれる符号は，算術不変量によって制御される決定式最適化問題に導く。
- 虚二次体整数環上の符号における，最適化のための効率的な基準が確立されていなかった。
- 虚二次体の整数環上の2×2空間時間ブロック符号の中で，最適解を明らかにすること。
- 本研究では，$\mathbb{Z}[\zeta_3]$ 上のアイゼンシュタイン構成が，検討対象の符号ファミリーの中で正規化された密度が最大となる最適な符号であることを証明した。
- $\mathbb{Q}(\sqrt{-d})$（$d\in\{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の実用化を促進すること。
- 提案するステム接続型MiLACは，容量を損なうことなく回路複雑性を大幅に削減できる。
- 理論的解析と数値シミュレーションにより，容量達成性能が確認された。
- 本研究により，高性能かつスケーラブルな巨大MIMOシステム構築の道が開かれる。
プロパティと構造的最小限のフィードバックによる効果的なLLMコード改善 [cs.SE, cs.AI]目的：LLMコードの機能的正確性を高めるための手法
- LLMはコード生成に優れるが，その出力の機能的正確性は課題である。
- 既存のテスト駆動開発は，質の低いテストケースとノイズの多い信号により改善が難しい。
- 質の高いフィードバックにより，LLMのコード修正能力を向上させる。
- 提案手法PGSは，高レベルなプログラム特性を検証し，LLMに最も単純な反例を提供する。
- PGSは，他のTDDベースの手法と比較して，pass@1で最大13.4%の改善を達成した。
- PGSは，既存のデバッグ手法よりも1.4倍～1.6倍高いバグ修正率を示し，新たな最先端技術を確立した。
課題とコミットの関連回復のための自律型LLMベースエージェントLinkAnchor [cs.SE, cs.AI]目的：ソフトウェアリポジトリにおける課題とコミットの関連回復
- ソフトウェア開発において，変更履歴の追跡やプロジェクト管理は不可欠であり，課題とコミットの関連付けが重要である。
- GitHubにおける課題とコミットの関連付け精度は低く，既存手法では課題解決の完全な論理を捉えきれていない。
- 大規模リポジトリでの効率的な関連回復を実現するため，コンテキストを動的に取得する自律型LLMベースエージェントを開発する。
- LinkAnchorは，LLMが関連性の高いコンテキストデータのみを動的に取得するlazy-accessアーキテクチャを導入することで，トークン制限を超えることなく処理を実現した。
- 既存手法が個別の課題-コミットペアに焦点を当てるのに対し，LinkAnchorは複数のコミットによる課題解決の連鎖的な依存関係を考慮する。
- これにより，大規模リポジトリにおける計算効率を向上させ，より正確な課題とコミットの関連回復が可能となる。
ニューラルネットワークモデルの個別公平性に対するコンコリックテスト [cs.LG, cs.SE]目的：ニューラルネットワークモデルの個別公平性の評価と検証
- 機械学習の社会実装が進む中，アルゴリズムの公平性は重要な課題となっている。
- 既存手法では，複雑なニューラルネットワークの公平性を厳密に検証することが困難である。
- 本研究は，ニューラルネットワークの公平性を系統的にテスト・検証する手法を提案する。
- PyFairは，既存のバイアス軽減技術を施したモデルを含む25のベンチマークモデルで評価された。
- PyFairは，差別的な事例を検出し，公平性を検証する有効性を示した。
- 複雑なモデルに対しては，スケーラビリティに課題が残ることも示された。
最適な超曲面決定木 [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]目的：近似最近傍探索における疎な近傍グラフの分析と最適化
- 大規模ベクトルデータセットにおける高速かつ高精度な検索が求められており，グラフベースの手法が注目されている。
- 疎な近傍グラフの性能はパラメータに大きく依存するが，その理論的理解が不足しており，パラメータ調整にコストがかかる。
- 疎な近傍グラフ構築時のパラメータ決定を理論的に解析し，最適な値を導き出すことで，パラメータ調整のコストを削減する。
- 本研究では，疎な近傍グラフの枝刈りプロセスをマルチンゲールモデルで解析し，グラフの最大外次数と探索パス長を理論的に導出した。
- その結果，最適なパラメータ選択のための閉形式の規則を導き出し，パラメータ探索の必要性をなくした。
- 実データを用いた実験により，提案手法がインデックス構築時間を平均5.9倍高速化し，検索性能を維持・向上することが示された。
エラーパターンツリー表現を用いた最適性保証付きGRANDの並列化戦略 [cs.IT, math.IT]目的：エラーパターンツリー表現によるGRANDの並列化戦略
- 現代の復号フレームワークにおいて，スループットとレイテンシの要件を満たすため，並列化は重要課題である。
- ソフトGRAND(SGRAND)は最大尤度復号を実現するが，エラーパターンのリアルタイム生成と尤度順位付けが並列化を困難にする。
- 本研究は，SGRANDの並列化と復号複雑度の低減を目指し，エラーパターンツリー表現を提案する。
- 提案する並列SGRANDは，最大尤度最適性を維持しながら，直列版と比較して復号遅延を3.96倍削減する。
- エラーパターンツリー表現に基づいた拡張ORBGRANDは，並列効率を維持しつつ，最大尤度への性能向上を実現する。
- 本研究は，統一されたツリーベースのフレームワークの有効性と，将来のアルゴリズムおよびハードウェア最適化の可能性を示す。
全ての制御を司る一つの枠組み [cs.LO, math.CT, quant-ph]目的：制御の形式的な枠組みの構築
- 可逆ブール回路や量子回路において，制御は基本的な構成要素であり，その重要性は高い。
- 既存の形式化では，制御が他の計算の側面と暗黙的に絡み合っており，明確な扱いが困難である。
- 半単純なリグ圏に基づき，制御を明示的に表現する枠組みを構築し，制御の理解を深める。
- 本研究では，適切なプロップに制御の概念を自由に追加する構成を提示し，8つの普遍方程式の健全性と完全性を証明した。
- これにより，得られた理論が半単純なリグ完備の回路部分理論と正確に同一化される普遍的性質を持つことが示された。
- この枠組みは，既存の量子回路の公理化を簡素化し，可逆ブール回路に対する多重制御Toffoliゲートセットの公理化も可能にする。
フィードバック昼食：安全通信のための学習されたフィードバック符号 [cs.IT, cs.AI, cs.CR, cs.LG, eess.SP, math.IT]目的：安全通信のための学習されたフィードバック符号の設計
- 通信セキュリティは，現代社会における情報保護の根幹をなす重要な研究分野である。
- 従来の暗号化手法では，盗聴者の能力向上に対応しきれない場合がある。
- チャネルフィードバックを活用し，盗聴者の優位性を克服する安全通信手法を確立すること。
- チャネル出力フィードバックを用いることで，正当な通信当事者間での秘密鍵の合意が可能となった。
- ユニバーサルハッシュ関数と学習に基づいたフィードバック符号を組み合わせることで，セキュリティと信頼性の両立が示された。
- 本研究は，統合センシング通信(ISAC)におけるセンシング支援型安全通信の符号設計に貢献する。
大規模な補題マイナー：LLMはハードウェアの帰納的証明を行えるか [cs.LO]目的：ハードウェア検証のための帰納的証明生成
- ハードウェアの信頼性確保は重要であり，検証技術の自動化が求められている。
- 形式検証は手間と専門知識を要し，効率化が課題となっている。
- LLMを活用し，帰納的証明の自動生成による検証作業の効率化を目指す。
- LLMは，適切なプロンプトと再プロンプトにより，ミドルサイズのオープンソースRTLデザインに対する帰納的証明を生成できる。
- 問題セットの84%において，少なくとも一つのプロンプト設定で証明可能な帰納的証明が生成された。
- 本研究は，LLMが形式検証エンジニアの作業の一部を代替し，産業界に貢献する可能性を示唆する。
周波数領域における可動信号を用いたスマート無線環境の実現 [cs.IT, eess.SP, math.IT]目的：周波数領域における可動信号の有効性
- 無線通信の性能向上は不可欠であり，電波環境の制御が鍵となる。
- RISやフレキシブルアンテナは実装が複雑で商業化に課題がある。
- 周波数領域で信号を動的に移動させることで，その課題を克服する。
- 可動信号は，量子化等利増幅伝送(EGT)よりも高い平均受信電力となりうる。
- 非直視回線環境下においても，固定知能表面(FIS)を活用することで有効性が維持される。
- FISと可動信号の組み合わせは，固定周波数信号を用いるRISよりも最大4倍の受信電力を実現可能である。
MLにおける全方向型推論：原理性のあらゆる道 [cs.PL]目的：原理性を回復するための全方向型推論手法
- ML型システムは原理性により効率的な型推論を可能とするため，広く利用されている。
- GADTs等MLの拡張機能は原理性を損ない，型推論を困難にする場合がある。
- 本研究は，原理性を回復し，より表現力豊かな型推論を実現することを目指す。
- 全方向型推論は，型情報の伝播順序を動的に決定することで，静的な型推論の制限を克服する。
- incremental instantiation を導入することで，部分的に解決された型スキームのインスタンス化を可能にした。
- OCamlのレコードラベルやデータ型コンストラクタに対する適用で，既存の型チェッカーよりも表現力豊かな型推論アルゴリズムが得られた。
自然言語要件からのUMLクラス図生成のためのマルチエージェントLLMシステムNOMAD [cs.SE]目的：UMLクラス図生成
- ソフトウェア開発におけるモデルの重要性が増しており，その自動化が求められている。
- 大規模言語モデルによる構造化された成果物（UML図など）の生成は未だ十分に進んでいない。
- 自然言語要件からUMLクラス図を生成する際の課題を克服し，信頼性の高いワークフローを確立すること。
- NOMADは，役割分担された複数のエージェントを活用することで，UML生成プロセスを効率化する。
- 大規模ケーススタディと人間が作成した演習を通して，既存のベースラインモデルを上回る性能を示した。
- LLM生成UML図におけるエラーの体系的な分類を行い，構造，関係，意味/論理の誤りを特定した。
グラフ理論を用いた低複雑度平面外対角線型RISアーキテクチャ設計 [cs.IT, eess.SP, math.IT]目的：平面外対角線型RISアーキテクチャの設計
- 無線環境の制御が重要視される現代のネットワークにおいて，RISは不可欠な技術である。
- 対角線型RISは柔軟性が高い反面，回路の複雑さが増加し，製造が困難になる。
- グラフ理論を用いて，二層PCBで実現可能な平面外対角線型RISを特定し，性能向上を目指す。
- グラフ理論を用いることで，二層PCBで実現可能な平面接続RISの特性を明らかにした。
- 可能な平面接続RISの中から，自由度の高いRISを特定し，実用的な制約下での性能向上が期待できる。
PyPIライブラリのメールアドレス利用可能性の分析 [cs.HC, cs.SE]目的：PyPIライブラリのメールアドレスの利用可能性
- 現代のソフトウェアシステムはOSSライブラリに支えられているため，その長期的な持続可能性が重要である。
- ライブラリのメンテナへの連絡手段が不足していることが，サポートやセキュリティ報告の遅れにつながる。
- PyPIライブラリのメールアドレス利用状況を分析し，メンテナへの連絡可能性を評価する。
- 79.1%のライブラリが少なくとも1つの有効なメールアドレスを記載しており，PyPIが主な情報源である(76.5%)。
- 依存関係チェーンを分析した結果，直接依存関係の97.7%，推移的依存関係の97.5%が有効な連絡先情報を提供していることがわかった。
- 一方で，793,000以上の無効なエントリが確認され，主な原因はフィールドの欠損である。
PyPIライブラリにおける顕著なメタデータ慣行の調査：リポジトリと寄付プラットフォームURLに関する経験的研究 [cs.SE]目的：PyPIライブラリにおけるメタデータ慣行に関する理解
- 現代のソフトウェアシステムにおいて，OSSライブラリは不可欠であり，その品質がシステム全体の信頼性に影響する。
- OSSライブラリのメタデータは不完全，古くなっている，または一貫性がない場合が多く，プロジェクトの持続可能性を脅かす。
- リポジトリや寄付プラットフォームへのリンクの状況を分析し，その要因を明らかにすること。
- リポジトリリンクの欠落は，見落とし，認識不足，または関連性の低さに関連していることが示された。
- プラットフォームの優位性は，イデオロギー，技術，組織的な要因によって推進されていることが明らかになった。
- LLMベースのトピックモデリング手法は，高いロバスト性と品質を示し，信頼性の高い分析が可能であると評価された。
GitHubセキュリティ勧告レビューパイプラインの特性評価とモデル化 [cs.CR, cs.SE]目的：GitHubセキュリティ勧告のレビュープロセスに関する特性とモデル
- オープンソースソフトウェアの脆弱性対策は重要であり，迅速な情報共有が不可欠である。
- GitHubセキュリティ勧告のレビュープロセスは不透明で，その効率性や公平性に課題がある。
- レビュープロセスの遅延要因を特定し，効率的な脆弱性対応を支援する。
- GitHubセキュリティ勧告のうち，一部のみがレビューされており，その選定基準が明らかになった。
- GitHubリポジトリ勧告とNVD先行勧告でレビュー遅延に二つの異なる傾向が確認された。
- 勧告処理パイプラインの構造を考慮した待ち行列モデルを開発し，レビュープロセスを定量的に評価した。
ISIガウスチャネルの識別 [cs.IT, math.IT]目的：ISIガウスチャネルの識別容量
- 無線通信の基本的なモデルであり，実用的なシステムの性能評価に不可欠である。
- チャネルの干渉により，信頼性の高い通信が困難になる場合がある。
- 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]目的：2スピン系のマルコフ連鎖の混合時間の解析
- 統計物理学における相転移現象の理解は，複雑系の振る舞いを解明する上で不可欠である。
- 2スピン系の混合時間は，計算困難な場合が多く，効率的なアルゴリズム開発の課題となっている。
- 一意性閾値における混合時間を解明し，効率的なサンプリング手法を確立すること。
- 反強磁性2スピン系において，一意性相転移の臨界閾値で多項式時間での混合が実現されることを証明した。
- 有界次数グラフ上の強磁性イジングモデルに対するSwendsen-Wangダイナミクスの混合時間に関する最適解 $O(\log n)$ を示した。
- エッジ(またはハイパーエッジ)の重みを傾斜させる新しい局所化スキームが，混合時間解析の鍵となる。
流体アンテナ支援無線ネットワーク最適化のための加速されたMARL学習：MAGRPO [cs.IT, math.IT]目的：流体アンテナ位置，ビームフォーミング，電力配分の最適化
- 次世代無線ネットワークにおいて，動的に有利なチャネル状況に適応する流体アンテナシステムが注目されている。
- 非凸性と基地局間の連携不足により，流体アンテナ支援無線ネットワークの最適化は困難である。
- 分散学習による効率的な最適化手法を開発し，計算複雑性を低減することを目的とする。
- 提案手法MAGRPOは，MAPPOと比較して計算複雑性をほぼ半減させることが示された。
- MAGRPOは，固定アンテナネットワークに対し，複数倍の合計スループット向上を達成した。
- テストにおいて，MAPPOと同等の合計スループットを得ながら，学習時間を30%～40%削減した。
プライバシーポリシーはログと一致するか：Androidアプリケーションログにおけるプライバシー開示の経験的研究 [cs.CR, cs.SE]目的：Androidアプリケーションログにおけるプライバシーポリシーと実際のログデータの整合性
- プライバシー保護は現代社会において重要であり，ユーザーの信頼を得る上で不可欠である。
- プライバシーポリシーの内容が曖昧または不完全であるため，ユーザーはデータ利用状況を正確に理解できない。
- プライバシーポリシーと実際のログデータの乖離を明らかにすることで，プライバシー保護の改善に貢献する。
- 調査の結果，プライバシーポリシーを公開しているアプリケーションは多いものの，ログに関する記述は限定的である。
- ログに関する記述がある場合でも，情報開示の程度は十分ではなく，曖昧な表現も散見された。
- 多くのアプリケーションで，プライバシーポリシーに記載されていない機密情報の漏洩が確認された。
CUJBench：ブラウザからバックエンドまでのクロスモーダル故障診断におけるLLMエージェントのベンチマーク [cs.CE, cs.SE]目的：クロスモーダル故障診断のベンチマーク
- システムの信頼性向上には，迅速かつ正確な故障診断が不可欠である。
- ブラウザとバックエンドの情報を統合した故障診断の評価基準が存在しない。
- LLMエージェントによるクロスモーダル故障診断の性能評価とボトルネックの特定。
- CUJBenchは，ブラウザとバックエンドのデータを組み合わせた初の故障診断ベンチマークである。
- 6つの最先端モデルの評価結果から，全体的な精度は19.7%であり，改善の余地が大きいことが示された。
- ブラウザのみの情報を用いたエージェントが，ツールセット全体を用いたエージェントよりも良い性能を示すことがわかった。
3GPP 5G-Advanced ISACネットワークにおける複数TRP支援UAV検知 [cs.CL, cs.RO, cs.IT, math.IT]目的：複数TRPを活用したISACネットワークにおけるUAV検知性能の評価
- セルラーインフラを活用したセンシング技術は，新たな応用分野の創出に不可欠である。
- 単一TRPによるセンシングでは，遮蔽や視野角の制限により，UAV検知の信頼性が低下する可能性がある。
- 複数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は，アイデア出し，実装，評価，根拠付け，論文執筆を連動させたワークスペースを提供する。
- A3という静的解析ツールを構築し，90ケースのベンチマークでF1スコア0.768を達成した。
- 監査と縮約のステップが，成功する開発の軌跡において重要な役割を果たすことが示された。
Claw-Eval-Live: 進化する現実世界のワークフローに対するライブエージェントベンチマーク [cs.RO, cs.SE, cs.AI]目的：現実世界のワークフローにおけるエージェントの性能評価
- AIエージェントは，ソフトウェアツールやビジネスサービスを横断した作業を自動化する上で重要である。
- 既存のベンチマークはタスクセットが固定されており，変化するワークフローへの対応が困難である。
- 現実世界のワークフローの変化に対応できる，継続的な性能評価手法を確立すること。
- Claw-Eval-Liveは，最新のワークフロー需要に基づいて更新される信号層と，再現性のあるリリーススナップショットを分離した。
- 最新のモデルでも，タスクの66.7%しか成功しておらず，70%を超えるモデルは存在しないことが明らかになった。
- 人事，管理，複数システムにまたがるビジネスワークフローが課題であり，ローカルワークスペースの修復は比較的容易であることが示された。
一般的な結晶学的位相復元問題 [math.FA, cs.IT, math.AG, math.IT]目的：疎な信号の復元
- 信号処理や画像処理において，信号の構造を理解する上で重要である。
- 信号の絶対値情報だけでは，信号を完全に復元できない場合がある。
- 疎な信号から，その信号を符号まで一意に決定することを目指す。
- 信号が基底に関して最大でN/2程度の疎性を持つ場合，その信号は絶対値情報から符号まで一意に決定される。
- 信号の疎性がN/4程度であれば，全ての疎な信号が符号まで一意に決定できる。
- これらの結果は，複素数ベクトルに対しても拡張可能である。
1ビットISACシステムの基本的な限界：容量領域と最適な電力制御 [math.DS, cs.FL, math.PR, eess.SP, cs.IT, math.IT]目的：1ビット受信量子化を用いた統合センシング・通信システムの容量領域と最適な電力制御
- 通信とセンシングの融合が，様々な分野で効率化と新たな応用を可能にするため。
- 低精度な量子化環境下でのISACシステムの性能限界が明確になっていない。
- 1ビット量子化環境における通信とセンシング性能のトレードオフを解明する。
- 通信チャネル状態情報（CSI）が受信側に利用可能な場合，通信とセンシングの間のトレードオフは存在しないことが示された。
- 特定の回転対称性を持つ定振幅入力分布を用いることで，通信容量とセンシング容量を同時に達成できることが明らかになった。
- 送信側にもCSIが利用可能な場合，最適な電力制御ポリシーが，重み付けパラメータに応じて変化することが示された。
- 1
- 2