arXiv雑要約
プログラム - 2026/06/15 公開
スロットアロハ方式を用いたOWCベースIoTシステムの信頼性解析 [cs.IT, cs.NI, math.IT]目的：OWCベースIoTシステムにおけるスロットアロハ方式の信頼性
- IoTデバイスの増加に伴い，無線通信の効率化が重要となっている。
- 既存の無線アクセス方式では，干渉や通信品質の確保が課題である。
- OWC環境下でのスロットアロハ方式の信頼性を評価し，システム設計の指針を得る。
- 本研究では，受信側でのSINR統計量を導出し，復号信頼性を評価した。
- セル面積や送信機の半角といったOWCシステムパラメータと信頼性のトレードオフを明らかにした。
- 屋内OWCセルにおけるスロットアロハ方式の最適な設計に関する知見を得た。
税務コンプライアンスのためのソフトウェアアーキテクチャ記述に向けて [cs.IR, cs.CL, cs.CY, eess.SY, cs.SY, cs.CC, cs.SE]目的：国際税務における暗黙のライセンス状況の可視化
- グローバル化が進み，多国籍企業が増加する中で，国際税務の重要性が高まっている。
- ソフトウェア再利用は，税務上のライセンスとして認識される場合があり，アーキテクチャが税務当局にとって重要視されてきた。
- ソフトウェアアーキテクチャ記述を用いて，国際的なソフトウェア再利用を税務専門家が理解できるようにすること。
- 最小限のソフトウェアアーキテクチャ記述が，国境を越えた暗黙のライセンスを可視化し，税務専門家が解釈するのに役立つことが示された。
- 税務監査官および税務アドバイザーによる評価の結果，アーキテクチャ記述は，再利用の特定と税務監査議論の出発点として有効であることが確認された。
- しかし，ソフトウェアエンジニアリングと法的な所有権の概念の不一致，管轄権の不明確さ，依存関係数を経済的価値の指標とみなすリスクなどの限界が指摘された。
立方型理論における境界充填の自動化 [cs.LO]目的：立方型理論における境界充填問題の自動化手法の開発
- 型理論はプログラムの正当性検証に不可欠であり，より複雑な構造を扱えることが求められている。
- 立方型理論は複雑な組み合わせ論を伴い，手動での境界充填は困難を伴う。
- 境界充填の自動化により，立方型理論の実用性を向上させることを目指す。
- 本研究では，立方型理論における「ねじれ」問題とより一般的な「カン」問題を対象とした自動化手法を開発した。
- 特に複雑な「デデキント」および「ド・モルガン」ねじれ理論に対して，順序集合写像を用いた解法器を実装した。
- 「カン」問題に対しては，制約充足計画法を適用し，実験的なHaskellソルバーとして実装した結果，エックマン・ヒルトン定理の証明に活用できた。
開発チームは脆弱な依存関係をどの程度迅速に更新するか [cs.SE, cs.CR]目的：パッケージの依存関係更新の迅速性に関する理解の支援
- ソフトウェアサプライチェーンのセキュリティ確保は重要であり，依存関係の脆弱性は大きなリスクとなる。
- 既存の更新指標は，浮動バージョンや最新の更新の優先順位付けといった重要な要素を考慮していない。
- 既存指標の限界を克服し，開発チームの更新状況をより正確に把握すること。
- npm，PyPI，Cargoのパッケージ分析の結果，多くのパッケージは比較的迅速に依存関係を更新していることが分かった。
- 十分な脆弱性データがない場合，MTTUをMTTRの代替として利用できるか調査した結果，統計的に強い相関性は見られなかった。
- 脆弱性データが不足している場合，MTTUをMTTRの代替として利用することは限定的であると考えられる。
リュウディバーグ原子受波器の活用：量子物理学から無線通信へ [cs.IT, eess.SP, math.IT]目的：リュウディバーグ原子受波器を無線通信システムに統合すること
- 量子物理学の応用は，従来の無線通信の限界を超える可能性を秘めている。
- 既存の無線受信機は，量子的な限界により性能が制限されている。
- リュウディバーグ原子受波器による，高感度かつ低ノイズな無線通信を実現すること。
- LO付き受波器は，標準的な量子限界下で従来のRF受信機と比較して約40～50dBのSNR利得を実現した。
- このSNRの余裕により，シンボル誤り率が低減され，高次の変調方式による効率的で信頼性の高い伝送が可能となる。
- 本研究では，歪み効果とその発生条件を特定し，線形動的範囲を明確にした。
非線形歪準巡回符号 [cs.IT, math.IT, math.RA]目的：非線形歪準巡回符号のモジュール構造
- 符号理論は，通信やデータストレージにおける誤り検出・訂正の基礎となる重要な分野である。
- 従来の準巡回符号は線形であるため，表現力に限界があり，より強力な符号が必要とされている。
- 非線形歪準巡回符号の構造を解明し，効率的な誤り訂正能力を持つ符号の構築を目指す。
- 非線形歪準巡回符号は，歪多項式環上の行列のSmith標準形を二重に反復適用することで，モジュール構造を決定できることが示された。
- Smith標準形の単一適用でも，符号の基本因子を決定できることが示された。
- 適切な内積に関して，これらの符号の双対符号が記述された。
線形時間での部分列および超列正規表現マッチング [cs.DS, cs.FL]目的：部分列または超列が正規表現にマッチするかどうかの判定
- 正規表現マッチングは文字列処理の基本であり，様々な応用分野で利用されているため重要である。
- 既存の正規表現マッチングは文字列長と正規表現のサイズの積に対して二次時間かかるため，高速化が課題であった。
- 部分列や超列に対するマッチング問題を線形時間で解決することで，高速な文字列処理を実現する。
- 部分列および超列のマッチング問題は，線形時間 $O(|w| + |r|)$ で解決できるアルゴリズムが存在することが示された。
- 最長部分列または最短超列の計算問題は，古典的な最長共通部分列や最短共通超列問題と同等の複雑度 $O(|w|\cdot |r|)$ で解決可能である。
- 入力文字列の全ての部分列（または超列）が正規表現を満たすかどうかの判定問題は，関係性によって計算複雑度が異なることが示された。
ソフトウェアチームにおけるHEXACO性格特性がチームワークの質に与える影響：予備的研究アプローチ [cs.SE, cs.HC]目的：ソフトウェアチームにおけるチームワークの質の評価
- ソフトウェア開発において，プロセスや技術だけでなく，人的要因，特にチームワークの重要性が認識されている。
- 性格特性がチームワークに与える影響に関する体系的な研究が不足している。
- HEXACO性格特性とチームワークの質の関連性を定量的に明らかにすること。
- HEXACO性格特性，およびその構成がチームワークの質に有意な影響を与えることが示された。
- チームにおける女性の割合や年齢構成といった変数も，チームワークの質に影響を及ぼすことが示唆された。
- 本研究のデザインの有用性と妥当性が確認され，IT組織におけるチームワーク改善の可能性が示された。
サウジアラビアにおける電子政府ソリューションとサービスに対する市民の満足度 [cs.CL, cs.CL, cs.HC, cs.SE, cs.HC]目的：サウジアラビアにおける電子政府ソリューションとサービスに対する市民の満足度
- 世界各国が国民へのサービス向上と国連の電子政府開発指数（EGDI）での順位向上を目指し，技術的解決策の開発に取り組んでいる。
- 電子政府ソリューションとサービスは様々な側面から評価する必要があるが，その評価方法が確立されていない。
- 本研究は，サウジアラビアにおける電子政府ソリューションとサービスを市民の期待に基づいて評価し，改善点を明らかにすることを目的とする。
- サウジアラビアの電子政府サービスは，市民の満足度において，2024年のEGDIスコアと一貫性のある水準に達していることが示された。
- 本研究で開発された質問票は，サウジアラビアだけでなく，他の国々の電子政府評価にも応用可能である。
- 有効回答数276件は，大規模な母集団に対する標準的なサンプルサイズ推定式（95％信頼水準，5％許容誤差）を満たしている。
三角形制約を持つ2-クラブの構造パラメータ化について [cs.CL, eess.SY, cs.SY, eess.SP, cs.DS, cs.DM]目的：頂点r-三角形s-クラブ問題の構造パラメータに対する固定パラメータ効率アルゴリズムおよびXPアルゴリズムの開発
- グラフ理論は，ネットワーク構造の分析や最適化に不可欠であり，様々な応用分野で活用されている。
- s-クラブ問題はNP困難であり，大規模グラフに対する効率的な解法が課題となっている。
- グラフの構造パラメータを利用することで，s-クラブ問題を効率的に解くことが期待される。
- 入力グラフの木幅をパラメータとした場合，頂点r-三角形2-クラブ問題に対するFPTアルゴリズムが得られた。
- 入力グラフのh-indexをパラメータとした場合，頂点r-三角形2-クラブ問題に対するXPアルゴリズムが得られた。
- 入力グラフのフィードバックエッジ数をパラメータとした場合，頂点r-三角形s-クラブ問題に対するO(fes)エッジのカーネルが得られた。
二標本検定の第二次の漸近的性質 [cs.DC, cs.PF, cs.IT, math.IT]目的：二標本検定における型IIエラー確率の指数関数的減衰
- 統計的仮説検定は，科学的推論や意思決定において重要な役割を担う。
- 従来の検定では，分布の差異を正確に捉えきれない場合がある。
- 汎用的な発散量を用いた検定の漸近的性質を明らかにすること。
- 提案された発散量検定は，どのような発散量を選択しても最適な一次の指数を達成する。
- 不変な発散量を用いた発散量検定は，Gutman検定と同等の二次次の漸近的性質を持つ。
- 二標本検定とロバスト適合度検定との間の関連性が示された。
グラフ表現学習による大規模言語モデル誘導効率的なコード解析 [cs.SE]目的：効率的なコード解析手法
- ソフトウェアの脆弱性対策は重要であり，マルウェアの検出と除去に不可欠である。
- 大規模言語モデルはコード解析に有効だが，ファイル分散型の悪意のある挙動の検出が困難である。
- 大規模言語モデルの注意機構を誘導し，悪意のあるコードの局所化精度を向上させる。
- 提案手法は，コードをグラフとして解析し，GNNを用いた事前検出と注意誘導によって，効率的なコード解析を実現した。
- 実験結果から，既存手法と比較して，複数のデータセットで高い性能が確認された。
- 本手法は，ソフトウェアセキュリティの分野での実用的な展開が期待される。
熱流におけるツァリスエントロピーとツァリスエントロピー巾率の凹性 [cs.IT, math.IT]目的：熱流におけるツァリスエントロピーの進化とその凹性に関する証明
- 情報理論において，エントロピーは不確実性の尺度として重要であり，様々な応用がある。
- ツァリスエントロピーは，従来のシャノンエントロピーを一般化したものであり，その性質の解明が求められている。
- 熱流におけるツァリスエントロピーの凹性を示すことで，情報伝達の限界や効率に関する理解を深める。
- 任意の次元において，熱流に沿ったツァリスエントロピーの凹性が証明された。特に，$q$の値による次元への依存性が明らかになった。
- この結果から，一般化されたド・ブリュイン恒等式や，関連する$q$-フィッシャー情報量の単調性が導かれる。
- ツァリスエントロピー巾率についても凹性が示され，シャノンエントロピー巾率やCostaのEPIを含む特別な場合も確認された。
階層的符号ベース分散学習における異質性によるドリフトの軽減 [cs.RO, cs.DC, cs.IT, cs.LG, math.IT]目的：階層的符号ベース分散学習における異質性ドリフトの軽減策
- 大規模IoTシステムでは，通信制約が厳しく，効率的な分散学習が重要である。
- 符号ベース分散学習は効率的だが，階層型アーキテクチャとデータ異質性下での挙動が不明確である。
- データ異質性によるモデルのドリフトを抑制し，学習の安定性と精度を向上させる。
- 提案手法DC-HierSignSGDは，クラウド支援による勾配補正により，異質性によるバイアスを軽減する。
- デバイス-エッジ間の通信量を大幅に削減しながら，フル精度階層的SGDと同等の性能を達成する。
- 厳しいデータ異質性下での実験により，提案手法の安定性と精度の向上が確認された。
プロテアンコンパイラ：きめ細かいフェーズ順序決定を駆動するアジャイルフレームワーク [cs.PL, cs.AI, cs.CL, cs.LG, cs.PF]目的：きめ細かいフェーズ順序決定を可能にするアジャイルフレームワーク
- コンパイラ最適化は，プログラムの性能向上に不可欠であり，その効果は最適化の順序に大きく左右される。
- 最適化順序の決定は探索空間が広大で，手動では困難であり，ベンチマークスイート変更時に再調整が必要となる。
- 本研究は，機械学習をシームレスに統合し，コードセグメントレベルでのきめ細かい最適化順序決定を可能とする。
- Protean CompilerはLLVMに組み込まれ，Cbenchアプリケーションで平均4.1%，最大15.7%の高速化を達成した。
- 第三者のMLフレームワークとの連携も容易であり，SusanとJpegアプリケーションでそれぞれ10.1%，8.5%の高速化を実現した。
- Protean CompilerはLLVMにシームレスに統合され，高度なコンパイラとして利用可能である。
カラーガウスチャネルにおける識別容量 [cs.IT, math.IT]目的：相関ノイズとシンボル間干渉を持つ離散時間ガウスチャネルの識別容量
- 通信システムにおいて，信頼性の高い情報伝送は重要な課題である。特に，ノイズ環境下での性能評価は不可欠である。
- 従来の識別容量の解析は，ノイズや干渉が単純な場合に限られており，現実的なチャネルモデルへの適用が困難であった。
- 本研究は，相関ノイズとシンボル間干渉を持つガウスチャネルにおける識別容量を評価し，より実用的な通信システム設計に貢献する。
- チャネルの ISI メモリ長が $n$ に対して亜線形的に増加しても，コードブックサイズは $n$ に対して超指数関数的に成長することが示された。
- 識別容量の上限は，ISI メモリ長 $\kappa$ とスペクトルレート $\mu$ によってパラメータ化され，詳細な解析が可能となった。
- Mahalanobis 距離に基づく復号器を用いることで，カラーガウスノイズ統計量に基づく識別容量の限界を特定した。
大規模な類似ステップ検出：振る舞い駆動ソフトウェアテストにおけるSentence-Transformer埋め込みと110万ステップのオープンベンチマーク [cs.SE, cs.CL, cs.IR]目的：Gherkinステップの重複検出
- 振る舞い駆動開発(BDD)はソフトウェア品質向上に不可欠であり，テストの保守性を高める必要がある。
- Gherkinステップの重複は保守コスト増大の原因となるが，静的解析による解決策は限られていた。
- 大規模なBDDステップデータセットと，重複検出器の性能評価基盤を提供すること。
- ステップの厳密な重複率は80.2%であり，リポジトリのメジアン値は58.6%であった。
- ハイブリッドクラスタリングにより，2,245ファイルで20,737件の類似ステップが検出された。
- セマンティックF1スコアは0.906であり，重複ステップを削減することで，全体で893,357件のステップ削減が可能と推定された。
アナログ符号における単一誤り検出・訂正のための鋭い境界と新しい構成 [cs.IT, math.IT]目的：アナログ符号における単一誤り検出および訂正の性能指標に関する研究
- アナログ信号処理において誤り検出・訂正は，信頼性の高いデータ伝送に不可欠である。
- 既存のアナログ符号の性能限界が明確でなく，最適な設計が困難であった。
- 単一誤り検出・訂正能力の理論的限界を明確にし，より高性能な符号を構成すること。
- 実線形[n,k]符号の単一誤り検出能力下限 Γ_1(mathcal{C) を導出した。
- 実線形[n,n-2]符号の単一誤り訂正能力下限 Γ_2(mathcal{C) を導出し，Rothの問題を解決した。
- 固定冗長度におけるアナログ符号の新しい上限を提示し，高性能な符号構成の可能性を示した。
並列メトリックスキップリストと最近傍探索 [cs.DS]目的：メトリックスキップリストの並列構築アルゴリズム
- 最近傍探索は，機械学習やデータマイニングなど，多様な分野で基盤技術として重要である。
- 既存のメトリックスキップリストの構築は逐次処理であり，大規模データへの適用が困難であった。
- 定数拡張率を仮定することで，並列性と効率性を両立したメトリックスキップリスト構築を目指す。
- 本研究では，期待作業量がO(n log n)，スパンが多対数で高確率で達成される，高度に並列化された効率的なアルゴリズムを提案した。
- 提案手法は，逐次処理の改善に基づき，分割統治法を適用することで並列性を実現し，効率性を維持している。
- 本アルゴリズムは，二色最近点対問題や密度ベースクラスタリングなど，最近傍探索を基盤とする様々な応用分野において，性能向上が期待できる。
Leanにおけるエージェント定理証明器の費用対効果の最適化 [cs.CL, cs.LO]目的：エージェント定理証明器の費用対効果最適化手法
- 形式的証明は，ソフトウェアやハードウェアの信頼性向上に不可欠であり，その自動化が求められている。
- 大規模言語モデルを用いた形式的証明は計算コストが高く，特に失敗する試行にリソースを浪費しやすい。
- 失敗した証明の軌跡から学習し，費用対効果の高いリソース配分を実現する。
- 提案手法は，PutnamBenchの一部において，固定ステップベースラインと比較して平均で28.9%のコスト削減を実現した。
- 性能を維持しつつ，大幅に少ない計算資源で形式的証明が可能になった。
- 失敗したLeanの軌跡は，費用を意識したリソース配分に役立つシグナルを提供する。
乱流のない光無線通信路におけるQAM-MPPMの性能解析：正確な導出と実用的な近似 [eess.SP, cs.IT, math.IT]目的：QAM-MPPMの誤り確率の解析と性能評価
- 光通信技術は，大容量・高速な通信を可能にする基盤技術であり，その効率向上が求められている。
- 従来の変調方式では，通信速度やスペクトル効率の限界があり，新たな変調技術の開発が課題となっている。
- QAM-MPPM変調方式の性能を理論的に解析し，実用的な誤り確率の推定方法を提示することで，より効率的な光通信を実現する。
- 本研究では，QAM-MPPMの新しい復調方法を提案し，乱流のない光無線通信路における誤り確率の正確な解析式を導出した。
- 提案された新しい検出器は，従来の検出器と比較して，信号対雑音比で数dBの利得が得られ，複雑さが増加することはない。
- 得られた誤り確率の推定式は，既存の結果よりも高い精度を持つことが確認された。本研究は，QAM-MPPMの誤り確率性能を検証する初のシミュレーション結果を提供している。
一般化された脱バイアスLassoの安定性とリサンプリングに基づく変数選択への応用 [math.ST, cs.IT, cs.LG, math.IT, stat.ME, stat.ML, stat.TH]目的：一般化された脱バイアスLasso推定量の安定性
- 高次元データ解析において，変数選択は重要な課題である。モデルの解釈性向上や過学習防止に貢献する。
- 従来の変数選択手法では，計算コストが高い場合がある。特にリサンプリングに基づく手法は課題が多い。
- 本研究は，計算コストを削減しつつ，変数選択の精度を維持することを目指す。
- 提案手法は，設計行列の一列を摂動した場合に，元の解から簡単に更新できるシンプルな公式を持つ。
- サブガウス設計と良好な条件数を持つ共分散行列の下で，この近似はほぼ全ての座標に対して漸近的に正確である。
- 本近似は，条件付きランダム化検定やローカルノックオフフィルタを含む，リサンプリングに基づく変数選択手法の計算コストを大幅に削減する。
ホモトピー型理論における超立方体多様体 [math.AT, cs.LO]目的：超立方体多様体の型
- ホモトピー型理論は，幾何学的構成と証明を構文的に行う論理的枠組みであり，その重要性が増している。
- ホモトピー型理論における多様体の形式的な定義と計算は，未だ課題が残されている。
- 本研究は，ポアンカレが1895年に記述した超立方体多様体をホモトピー型理論で定義し，検証することを目指す。
- 本研究で導入した型は，実際に超立方体多様体に対応し，期待される性質，すなわち3次元球面のQによる作用によるホモトピー商と一致することが示された。
- この結果は，フラットニング補題に基づく繊細な組み合わせ計算を必要とするものであり，ホモトピー型理論の構成力を示すものである。
- さらに，この構成を拡張し，Qの細胞分解へのより正確な近似を提供する高次元の多様体を導入した。
符号付き脳ネットワークにおける(不)均衡の評価 [cond-mat.dis-nn, cs.ET, physics.app-ph, physics.optics, physics.soc-ph, cs.IT, math.IT, physics.data-an, physics.med-ph, stat.ME]目的：多変量時系列データから，単位間の静的な関係性の推論
- 金融，自然，社会システムなど複雑系の解析において，要素間の相互作用を理解することが重要である。
- 動的な振る舞いのみから静的な関係性を推論することは困難であり，統計的な検証が必要である。
- Shannonエントロピーの制約付き最大化に基づき，脳ネットワークのフラストレーションの程度を定量的に評価する。
- 提案手法を脳ネットワークに適用した結果，皮質下領域からの負のサブグラフへの寄与が大きかった。
- ベイズ情報量規準の最小化により，脳領域がRelaxed Balance Theoryの統計的バリアントに合致するモジュールに集まることが示された。
- 脳ネットワークにはフラストレーションが存在し，その程度は有意であることが示唆された。
Tsallisエントロピーのq-Caputo分数汎化 [cond-mat.stat-mech, cs.IT, math-ph, math.IT, math.MP]目的：Tsallisエントロピーのq-Caputo分数汎化の構築
- 非広範統計力学は，従来の統計力学では説明できない複雑系を扱う上で重要である。
- 従来のTsallisエントロピーは，時間的・空間的な記憶効果を考慮できないという課題がある。
- 分数演算を用いたTsallisエントロピーの汎化により，記憶効果を組み込んだエントロピーの定義を目指す。
- q-Caputo分数演算子を導入したTsallisエントロピーの新しい汎化形が導出された。
- 導出されたエントロピーは，確率分布の対数の級数として表され，0<α<1の範囲で定義される。
- 独立な部分系に対する合成則は，標準的なTsallisの擬加法性則を直接には継承しないことが示された。
- 1
- 2