本サイトは 12 時間以上更新されていません（通常は 3 時間ごと）。以下の内容は最新でない可能性があります。
このページに条件に合う項目はありません（絞り込みはこのページ内のみ）。
説明有限レート信念共有下のマルチエージェント追跡における通信の価値の測定
要約本論文は、レート制約のある情報交換下での協調型マルチエージェント追跡における通信の価値（VoC）を調べたものです。静止したエージェントが距離と方位の測定により移動目標を観測し、局所拡張カルマンフィルタを実行して事後状態平均を量子化し、共分散交差（CI）によって情報を融合します。通信レートが低すぎると粗い量子化により性能が低下する一方、中程度のレートで追跡利得の大部分が得られ、それを超えると追加の通信資源による効果は小さくなることを示しています。
説明PhOSv1：GPUコンテキストの重複排除で単一サーバー上のモデルスリープを効率よく拡張する自動スケーリング手法
要約本論文は、モデル・アズ・ア・サービスシステムの自動スケーリングにおいて、既存のモデルスリープ手法がスリープ中のモデルごとにGPUコンテキストを保持するため、モデル数に比例して性能が低下する問題を扱っています。著者らはPhOSv1を提案し、API リモーティングを通じて各エンジンのGPUコンテキスト割り当てを中央デーモンに委譲してコンテキストを重複排除し、単一サーバーでより多くのモデルをスリープさせられるようにしました。評価では、バニラのvLLMスリープモードと同等のスケールアップ時間を保ちつつ、GPUメモリ使用量を大幅に削減したと報告されています。
説明並列実行時間と前処理時間のトレードオフを持つ、厳密な並列密行列ガウス・ザイデル法
要約ガウス・ザイデル反復法は収束性が良いため連立一次方程式の解法によく使われますが、各反復でのデータ依存のため並列化が容易ではありません。本論文では、前処理時間を増やす代わりにより良い並列実行時間を実現する新しい並列ガウス・ザイデル法を提案しています。このアルゴリズムは調整可能で、前処理時間と達成可能な最良の並列実行時間との間で都合のよいトレードオフを提供できます。
説明TRACEs：分散型科学ワークフローのための細粒度埋め込み型来歴アーキテクチャ
要約大規模な科学ワークフローは分散型HPC資源上で実行されるため、科学データ成果物がどのように生成されたのか、また類似の実行がなぜ大きく異なる結果を生むのかを説明することが難しくなっています。TRACEsは、分散コンテナ化科学ワークフローのための来歴アーキテクチャで、生成されたすべてのデータ成果物にデータ系譜と実行コンテキストを直接埋め込みます。既存のワークフロー管理システムとの互換性を保ちます。複数のHPCノードで動作する大腸菌の変異検出ワークフロー（7段階）で評価され、分散実行下で来歴の完全性100%を達成し、ワークフローを再実行せずに変異数の200倍の差を入力シーケンシングデータの違いまでたどれることが示されています。
説明独立な非定常フェージング過程の積に対するレベルクロッシングレート上下界
要約本論文は、独立な非定常正のフェージング過程の積について、瞬時の総レベルクロッシングレート（LCR）を扱う統一的な枠組みを構築している。積の導関数と符号付きクロッシング不均衡の厳密な分解から、各因子のクロッシング統計量のみを用いる普遍的な上下界を導出している。さらに、ドリフトを持つガウス導関数（DGD）クラスを導入し、ガウス混合による表現で総ドリフトと導関数の変動を同時に捉える界を与えている。数値結果では、DGDの界が厳密なLCRを近接して挟むことが示されている。
説明最適な自己直交二元線形符号
要約本論文は、与えられた最小距離をもつ8次元二元自己直交符号の最小可能長を決定し、9次元の場合には最小距離が64以下のときの正確な値と上下界を与えます。線形符号を点の多重集合として捉える幾何学的な再定式化を用い、次元7以下の分類を計算機を使わずに簡略化して完全にやり直しています。また、[93,9,44]_2符号が存在しないことを証明しています。
説明ヒルベルト多様体上のSinkhornダイバージェンスの情報幾何学
要約本論文は、エントロピー最適輸送コストを補正したSinkhornダイバージェンス（Sinkhorn divergence）が、曲線に沿って定義された確率測度上に定めるメトリックテンソルを研究する。著者らは光滑層上に実解析的なヒルベルト多様体を構成し、そのテンソルが弱リーマン計量であることを示し、Eguchiの幾何学的構成を三次まで拡張する。また、この計量は光滑層上でFisher-Rao計量の定数倍で上から抑えられることを論じている。
説明量子回路シミュレーションにおける動的リソーススケーリング
要約本論文は、量子状態ベクトルシミュレータ QuEST を動的リソース管理フレームワーク DMR に対応させ、1 つのジョブが回路ごとにノード数を変更できるようにする手法を示している。回路の間には状態ベクトルが存在しないため、データ再分配は不要であり、次の回路の番号を保存したチェックポイントから再開できる。MareNostrum 5 での評価により、異なる規模の回路を 1 つのジョブで実行し、ほぼ無視できるオーバーヘッドで資源を調整できることが確認された。
説明MSRD符号の台分布条件が一つの不等式に帰着することの説明
要約本論文は、線形最大和ランク距離（MSRD）符号において、与えられた非零の台を持つ符号語の個数を扱う。Byrne、Gluesing-Luerssen、Ravagnaniが予想した非負性条件の族が、最長ブロックから順に埋めて得られる全次元d+1のベクトルに対する単一の条件と同値であることを証明し、任意の有限体で使える明示的な判定基準を与えている。また、そのようなパラメータを満たしても線形符号が存在しない無限族の例も示している。
説明里デベルグ原子量子受信機による上りRSMAのエネルギー効率改善
要約本論文は、里デベルグ原子量子受信機（RAQR）を用いた上りリンクのレート分割多元接続（RSMA）ネットワークで、エネルギー効率（EE）の最大化を検討する。直接読み出し型RAQRは振幅しか測定できない制約があるため、受信信号を線形化しつつチャネルエネルギーを保持する位相整合機構を考案した。対称レート要件ではKKT条件から閉形式の電力配分を導出し、非対称要件では座標降下法に基づく電力配分と、低計算量の配対割当て方式を提案した。シミュレーションでは、KKT方式が最も高いEEを示し、低計算量方式は若干のEE低下で計算コストを大幅に削減することが確認された。
説明任意の正の種数を持つMDS代数幾何符号の長さの上界
要約本論文は、任意の正の種数を持つ曲線から得られる最大距離分離（MDS）代数幾何符号の長さを研究する。種数を固定した場合、次元と余次元がともに体の大きさの対数より速く増加するとき、長さと体の大きさの比の漸近値は1/2以下であることを証明する。対数的な次元条件のもとでの明示的な上界も与える。これらの上界はすべての標数で成り立ち、曲線と評価集合の取り方によらない。証明はヤコビ多様体上の指標和と、相異なる点の和の評価を組み合わせて行われる。
説明種数2の曲線から得られるMDS符号の長さに関する一様な上界
要約本論文は、有限体上の種数2の曲線から構成されるMDS代数幾何符号の最大長を研究している。長さn、次元kで3≤k≤n-3の場合に、任意の素数べき q とkの偶奇を問わず n<(2q+10√q+16)/3 を示す。これは最大長に対する2q/3+O(√q)の一様な上界であり、q≥125のとき明示的な上界はq+1より厳密に小さい。
説明ブール変数対に対する鋭いフィッシャー情報不等式：Amari–Kobayashi予想の証明
要約論文は、相関のある一様二値ベクトルを観測する二つの端末がそれぞれの観測を1ビットに圧縮する状況を扱います。任意のブロック長と任意の相関パラメータについて、得られた2ビットが保持するフィッシャー情報は、適切な次数の一致するパリティ関数で最大になることを証明し、Amari と Kobayashi の予想を解決しました。証明は、正規化共分散の導関数に対するフーリエ型の上界と、大域的な値域制約を受ける符号付き多項式に関するスカラー不等式を組み合わせています。
注目点ブール・ベクトル対のFisher情報量最大化に関するAmari--Kobayashi予想を、フーリエ界と符号付き多項式の不等式を組み合わせて証明している。
説明柔軟な反射板を用いた安全な無線通信：物理層セキュリティのための位置と回転の同時最適化
要約本論文は、非見通し経路において柔軟反射板（FR）で支援される安全通信を検討し、秘匿レートを最大化するよう反射板の位置と回転を同時に最適化する。単一の反射板に対してはフィボナッチ分割探索（FSS）法を、計算負荷を抑える方法として交差エントロピー探索（CES）法を提案し、その後両者を複数反射板の場合へ拡張する。シミュレーションの結果、FSS法は複数の比較手法に対して秘匿レートの明確な向上を示し、CES法は実行時間と性能の良好なトレードオフを達成した。
説明一点代数幾何符号の近接ギャップ
要約本論文は一般的な一点代数幾何（AG）符号について、対話型オラクル証明の健全性の基礎となる近接ギャップと相関一致性を扱う。Reed-Solomon 符号に対する既存結果を一般化し、相関一致性とソフトネス上界を示す。Garcia-Stichtenoth タワーを用いた符号族の構成も扱い、最小距離の半分を超える領域では性質に限界があることを二つの反例で示す。
注目点Reed-Solomon符号の近接ギャップと相関一致性を一般の一点代数幾何符号へ拡張し、長さに依存しない界と反例を作者が報告。
説明有限マルコフ連鎖を高速化するためのブレグマン射影と分割設計
要約所与の定常分布を持つ有限マルコフ連鎖に対するギブス平均化を研究する。状態空間の分割から誘導されるギブス核を用いたGPGが情報射影であることを示し、その双対的性質と分割の粗化に対する単調性を明らかにする。可逆なエルゴード的連鎖では、ギブス平均化が定常分布までの加重フロベニウス距離の二乗を増加させないため、混合時間も増えない。分割を選ぶための目的関数とアルゴリズムを与え、数値実験で局所的Metropolisサンプラーと比較する。
説明経路ゲームにおける断片化された従順均衡：競合する仲介者が経路を推奨する場合の均衡概念
要約本論文は、複数の競合する仲介者がそれぞれ固定された非原子的利用者集団に経路を推奨する経路ゲームを研究している。各仲介者は、推奨を無視した場合の利用者の条件付き期待利得が許容値ε以下であるという制約のもとで、ランダム化された流量配分により集団の期待移動コストを最小化する。著者は断片化された従順均衡（FOE）を定義し、従順な方策対応の下半連続性の仮定のもとで存在を示した。アフィンな辺遅延と独立な仲介者サンプリングの下で、問題は流量の一次・二次モーメントによる厳密な再定式化に帰着し、路線数が最大4本の場合、各仲介者の最適応答問題は厳密な半正定値計画となる。Braessネットワークでの数値例は、従順性の制約を緩めるとFOEのコストが下がる一方、社会的最適や最適なプールされた従順策との差が残りうることを示している。
説明異種混在はいつ効果を発揮するか：GPUとWSEのシステム補完性の理解
要約本論文は、GPUとウェハスケールエンジン（WSE）を組み合わせたAI向け異種システムを扱います。両者は計算、メモリ、通信の構成が大きく異なり、アーキテクチャ上の補完性と追加のオーバーヘッドの両方を生みます。著者らは、GPU–WSE異種実行と補完性を活用する条件を特徴づける階層的ベンチマーク手法を提案し、異種性がボトルネックになる場合とシステム全体の性能向上をもたらす場合を見分ける解析的性能モデルを示しています。
説明PDScope：メモリ制約下のMoE推論におけるプリフィルとデコードのトレードオフを解消する手法
要約本論文は、CPU-GPUノードでMoE型大規模言語モデルをローカル実行する際、GPUメモリ不足によりエキスパートの多くがCPUメモリに置かれる問題を扱います。プリフィルは計算律速で積極的なGPU読み込みが有利ですが、デコードはI/O律速で保守的なPCIe転送が必要で、低バッチ条件では両立しません。提案手法PDScopeは両フェーズを分離し、フェーズごとに予測・スケジューリング・実行を最適化します。静的計算グラフ、キャッシュプリフェッチ、ゼロコピー非同期I/Oを用いてオーバーヘッドの少ないパイプラインを構成し、主流のMoEモデルで既存システムに対しプリフィル2.5～10.3倍、デコード2.1～6.1倍のスループットを達成したと報告しています。
説明Morletウェーブレットと許容可能な伴関数を用いた帯域制限信号の位相復元
要約本論文は、複素数の帯域制限信号が、二つの周波数帯における、ナイキスト周波数の二倍でサンプリングしたウェーブレット変換の振幅の二族から、大域的位相因子を除いて一意に復元できることを示す。これらの族は、固定した拡大Morletウェーブレットと固定の伴関数ウェーブレットの並進から得られる。著者らは両族を補助的な帯域制限信号の二つの変調ガウス畳み込み測定として書き直し、ガウス畳み込みの一意性結果を用いて、(4B)^{-1}Z上の標本がPW_B^2のすべての信号を決定することを証明する。従来のウェーブレット位相復元の結果と比べ、必要な標本点数が大幅に少ない。
説明囚われた消費者がいる場合の市場細分化による厚生の限界
要約本論文は、囚われた消費者と争奪される消費者からなる複占市場を分析し、ある市場構成と公開された細分化のもとで生じうる消費者余剰と生産者余剰の組み合わせをすべて明らかにしている。その集合はレンズ型になり、業界利益の水準ごとに、囚われた消費者と争奪される消費者が完全に分離される場合に消費者の厚生が最も低くなることを示している。
説明共有秘密鍵を用いた分散ストレージにおける通信量とプライバシーのトレードオフ
要約公開通信路上で、共有秘密鍵によってプライバシーを実現する分散ストレージを研究しています。利用者はファイルを L 台のサーバーに保存し、任意の t 台以上でファイルを復元できる一方、任意の z 台以下の共謀サーバーが得る情報はファイルの α の割合を超えないようにします。各サーバーと利用者が長さ n ビットの鍵を共有する設定で、プライバシー漏えいパラメータ α と安全に保存できる最大ファイルサイズとのトレードオフを明らかにしています。さらに、その最適なトレードオフを達成するために必要な最小のローカル乱数、公開通信量、ストレージ量も求めています。
説明Zak-OTFS とモジュラ演算による過展開チャネルでの高速・遠距離目標センシング
要約本論文は、遅延・ドップラー（DD）変調で遅延とドップラーの広がりの積が1を超える場合に生じるエイリアシングの問題を扱う。周期の異なる複数の DD 基底を組み合わせた二フレーム設計を提案し、同じ帯域幅とフレーム長で過展開チャネルをカバーする。包絡ピーク位置のモジュラ演算により各目標を復元する手法を示し、対応付けが曖昧になる条件も導出している。受信機として、二フレーム感知（DS）と交差パイロット除去付き DS（DS-XC）を提案し、100km のドローン環境では DS-XC が目標の98%を検出し、最良のベースラインの81%を上回った。
説明リーマン多様体上の生成的レート歪み知覚理論
要約本論文は、コンパクトなリーマン多様体上の情報源について、受信側で確率的生成を制御するために必要な伝送レートを調べる。共通乱数を用いない生成的レート歪み知覚（GRDP）の枠組みを提案し、測地距離の歪み半径と失敗確率の制約の下での漸近的な操作的GRDP関数の単一文字表現を示す。高信頼性極限での情報論的定式化について幾何学的な下界と上界を導出し、均一分布の情報源ではこの二つが一致して極限GRDP関数が厳密に定まることを示す。単位球面では、次元d≥2の場合、情報源記号あたりd ビット多く伝送すると歪み半径を半分以上減らせることが具体的な式で示される。
説明DistOptimize：分散プロトコルの自動最適化器
要約本論文は、手作業による分散プロトコルの変更が安全性を損なうリスクを排除するための自動最適化器DistOptimizeを提案しています。学術言語のスループット最適化を本番環境で使われるフレームワークに適用し、書き換えの正しさをRocqで検証するとともに、キャリブレーションとILPベースの探索空間ナビゲーションで適用を自動化します。基本的な分散プロトコルとAWSで使われるプロトコルに適用した結果、スループットは最大4倍向上し、レイテンシの増加は最大0.3msでした。
説明RARE：価格ゲームにおける応答考慮型合理的均衡
要約本論文は、予算制約のある買い手が存在する市場での価格ゲームを研究し、各売り手が一つの商品に価格を設定する状況を扱う。著者らは、他の売り手が偏差に応答しうることを考慮した新たな均衡概念 RARE（Response-Aware Rational Equilibrium）を提案し、一定の条件下でその存在を示すとともに、近似的な RARE へ到達する動的過程も分析している。
説明適応的実験における委託者-代理人仮説検定
要約本論文は、委託者が代理人の生成したデータに応じて報酬を支払う、委託者-代理人型の仮説検定を扱う。既存研究の単一データ設定を、証拠が時間とともに蓄積し、報酬が最後にまたは段階的に支払われ、代理人が戦略的に選んだ停止時刻で契約を終了できる逐次設定へ拡張している。主要な概念的結果として、そのような契約はe過程によって特徴づけられることを示している。
説明匿名パリティ認証の厳密な境界
要約本論文は、匿名で半径1の局所認証モデルにおいて、ネットワークの頂点数が偶数であることを検証するために必要な証明書のサイズを扱う。一般のグラフでは、この課題の複雑さが Θ(log log n) ビットであることを示し、従来の未解決の差を埋めている。さらに、退化度が d 以下のグラフでは O(log d) ビットで認証でき、疎な構造のクラスによって複雑さが異なることを明らかにしている。
注目点新規性は、無名半径1モデルにおける偶数位数認証の計算量のギャップを Θ(log log n) で閉じ、退化数や疎性クラスの特徴付けを与える点にある。
説明ランダム非可換誤り訂正符号：古典的なランダム符号理論を任意の群へ拡張する研究
要約本論文は、Chapman、Dinur、Lubotzkyが提唱した非可換誤り訂正符号の理論を基に、任意の群上でのランダム符号の類似物を体系的に研究し、古典的なGilbert-Varshamov（GV）限界が非可換の場合にどの程度成り立つかを調べている。自由群における線形サイズのランダム汎用符号は漸近的に悪いことが示されている。さらに、有限群族が良いランダム符号（GV族）を持つための必要十分条件は、一様な多項式型の極大部分群増大を示すことであると特徴づけられている。また、固有パラメータに基づく符号率と最適距離範囲の明示的な定量的上界・下界が与えられ、有限可解群族は常にGV族であることが証明されている。
説明Slant：リソース効率の良いマイクロサービスのためのトラフィック整形
要約マイクロサービスの負荷分散装置は、リクエストを均等に振り分けることを主に目指しており、ルーティングが自動スケーリングの信号やリソース効率にどう影響するかは考慮されてきませんでした。本論文の Slant は、意図的に安全な範囲の負荷の偏りを作り、リソース利用率を高めるリソース認識型の負荷分散フレームワークです。3つのマイクロサービスのベンチマークでは、ラウンドロビンと比べて割り当てCPUコアを最大26%削減し、P99レイテンシを最大18%下げました。
説明センサ側に組み込まれた分散処理ユニット：ホストCPUを解放する並列画像前処理
要約本論文は、イメージセンサに直結した小型の固定データパス（HDPU）に、それぞれ常時動作する単一のタスクを担わせ、画素ストリームに対して並列に処理し、コンパクトな結果のみをホストへ送る方式を検討している。低コストのArtix-7 FPGA上で、Cannyエッジ、Harrisコーナー、操舵判断を行うライントラッカーの3つのユニットを2,568 LUT、推定0.318 Wで実装した。フレームベースのホスト処理との比較をシステムシミュレーションで行い、判断が相機ライン11.03本分以内に出力されることを示している。
注目点視覚前処理をセンサ側の並列ハードワイヤード回路へ移す点に新規性があり、FPGA実装とフルシステムシミュレーションでの比較を報告している。
説明局所復号可能符号を用いたCSP非冗長性の上界
要約制約充足問題（CSP）において、関係の非冗長性とは、CSPインスタンス中で論理的に独立な節の最大数を指す。本論文は、局所復号可能符号（LDC）と局所訂正可能符号（LCC）を用いて、一部の関係の非冗長性に上界を与える新手法を提示している。これにより、BCK述語およびそのブール変種の非冗長性について改良された上界が得られ、非冗長性が n^{k±o(1)} の形にならないことが証明できる最初のブール述語の例も示されている。
注目点2クエリ局所復号可能符号と局所修正可能符号の構造制約からCSP非冗長性の上界を与え、n^{k±o(1)}形でない初の布尔述語例を示すと報告している。