arXiv
cs.IT · math.IT
説明有限環 F_p[x]/⟨x^4⟩ に関連するグラフベース線形符号の研究
要約本論文は、奇素数 p に対する有限局所環 R=F_p[x]/⟨x^4⟩ の零因子グラフ Γ(R) から導かれる線形符号を研究している。Z*(R) の等分割を用いて Γ(R) の二元接続符号のパラメータを決定し、双対最小距離 4 を達成する誘導二部部分グラフ符号を構成している。F_p 上では隣接符号とラプラシアン符号をパラメータ化し、MacWilliams 恒等式によりラプラシアン符号の閉形式の重み分布を導出して、そのLCD性を示している。また、グラフと行列符号の自己同型群を決定し、Γ(R) の極値部分グラフから F_p 上の Griesmer 最適線形符号の二族を構成している。
Apurba Sarkar, Kalyan Hansda, and Makhan Maji
arXiv
physics.data-an · cs.IT · math.IT
説明ソート可変性をエントロピー汎関数として捉える理論と二つの応用
要約本論文は、明確なエントロピー的性格を持つ情報量としてソート可変性 ζ_S を検討する。ζ_S はデータ列の多様性に正比例し、シャノンエントロピーで表せることを示し、圧縮ベースの指標と従来の情報理論を結びつける。データの順序を保持する通常の可変性とは異なり、ソート可変性は順序を取り除き、観測値の分布を静的に特徴づける。二次元強磁性 Q クロックモデルと風力発電データの二つの場面で性質を示している。
Michel Aguilera, Eugenio E. Vogel, Francisco J. Pe\~na ほか
arXiv
cs.IT · math.IT
説明HintKD:帯域制約のあるクラウド・エッジ推論向けのヒント知識蒸留法
要約本論文は、6Gネットワークにおけるクラウドとユーザ端末の協調推論で、高次元の中間特徴量や軟確率ベクトルの伝送が無線帯域を圧迫する問題に取り組み、HintKDという枠組みを提案している。教師モデルの指導を、ベクトル量子化で得たコンパクトな離散ヒントのインデックスとして送信し、端末側ではFiLMアダプタで生徒の特徴量を変調する。DeepSense 6Gのビーム予測タスクでは、精度を保ちつつ推論側の通信量をO(1)に抑えたと報告しており、MNISTでの実験も手法の汎用性を示している。
Wanling Luo, Jiayi Zhang, Bokai Xu ほか
arXiv
cs.IT · math.IT
説明可動アンテナ支援セルフリー大規模MIMOシステムのためのマルチエージェント強化学習
要約可動アンテナがもたらす非凸の最小間隔制約により、アンテナ位置と送信戦略の同時最適化は困難です。本論文はこの問題に対し、異種マルチエージェント強化学習に基づくGLIIR-HAPPOアルゴリズムを提案します。元の結合最適化を協調する部分問題に分解し、幾何制約をペナルティ付き報酬構造に組み込みます。数値シミュレーションでは、既存のマルチエージェント手法より和レートが大きく向上し、集中型方式に近い性能を通信オーバーヘッドを大幅に抑えて実現することが示されています。
Bokai Xu, Jiayi Zhang, Shuaifei Chen ほか
arXiv
cs.AR · cs.DC
説明Lachesis:HBMと高帯域幅フラッシュにまたがる、寿命考慮型のKVキャッシュ配置手法(エージェント推論向け)
要約大規模言語モデルの推論では、エージェントとサブエージェントが文脈をKVキャッシュとして蓄積し、多くのメモリを消費します。高帯域幅フラッシュ(HBF)は容量が大きい一方、書き込み耐久性に限りがあります。本論文は、データの寿命に応じてKVキャッシュをHBMかHBFに配置するLachesisを提案し、読み取られなくなったブロックは解放します。トレースベースのシミュレーションでは、HBM優先の配置と比べてHBFの寿命が1.19〜3.13倍延び、3.3〜12.2デバイス年に達したと報告されています。
Jaehoon Yang, Jeongmin Lee, Haneul Park ほか
arXiv
cs.DC · cs.AR
説明vTen:ドメイン特化アクセラレータ向けテンソル中心の検証フレームワーク
要約テンソル中心のソフトウェアモデルと信号レベルのハードウェアテストベンチの間にある意味的ギャップが、ドメイン特化アクセラレータ(DSA)の検証における生産性のボトルネックになると論文は指摘します。著者らは、検証の意図と実行の仕組みを厳密に分離するデータ中心のフレームワーク vTen を提案し、宣言的 DSL とカーネル単位のバッチ処理によりホストとシミュレータの対話頻度を減らします。生産規模の 3D U-Net アクセラレータでの評価では、Cocotb と比べてシミュレーション遅延が約 2 倍改善し、コードの複雑さが 60.3% 減ったと報告されています。
Chanmin Baek, Keehyuk Lee, Mincheol Cha ほか
arXiv
cs.NI · cs.DC · eess.SP
説明6G NeXt:6G分割計算ネットワークアプリケーションに向けたユースケースとアーキテクチャ
要約本論文は研究プロジェクト6G NeXtが検討する2つの6G向けユースケース、ホログラフィック通信とドローン衝突防止システムと、それらが通信・計算基盤に求める異なる要件を説明しています。これらの場面では多数のクライアントが広く分散し相互に協調する必要があり、特にホログラフィック通信は高い処理能力を要するため、分割計算の概念を実現する高速な分散バックボーン計算基盤と無線ネットワークとの密な統合が求められます。論文はこれに対する解決アプローチを示し、全体の通信・計算アーキテクチャに基づく新しい技術的手法を論じています。
Sergiy Melnyk, Qiuheng Zhou, Hans D. Schotten ほか
arXiv
cs.IT · math.IT
説明分割領域 r^F<k^F<r^I におけるMDS変換可能符号の最適変換帯域幅
要約本論文は、分散ストレージで用いられるMDS変換可能符号(初期符号と最終符号がともにMDS符号である符号)を扱う。対象は r^F<k^F<r^I の範囲で、著者らは安定したMDS変換可能符号に対する新しいランク不等式を導出し、三つの場合に分かれる改良された帯域幅下界を示している。さらに各場合に対して明示的な構成を与え、この下界が厳密であることを証明している。
Lewen Wang, Sihuang Hu
arXiv
cs.IT · math.IT
説明不連続デノイザーを用いた近似メッセージパッシングの状態発展に関する研究
要約本論文は、ハードスライサ、量子化器、ハード閾値処理などの不連続デノイザーを用いる近似メッセージパッシング(AMP)を扱います。標準的なオンサーガー係数は跳躍点での境界項を欠くことを示します。独立同分布ガウス行列の条件で、この境界項を含む係数を用いれば AMP が状態発展(SE)に従うことを証明しています。4 値および 8 値のパルス振幅変調による数値実験では、修正版が SE に従い、ベイズ最適 AMP に近い性能を示すと報告されています。
Kuranage Roche Rayan Ranasinghe, Takumi Takahashi, Giuseppe Thadeu Freitas de Abreu
arXiv
cs.DC · cs.PF · cs.SE
説明Python cuda.compute を用いた Awkward Arrays の GPU 高速化
要約Awkward Array は高エネルギー物理で広く使われる、入れ子や可変長のデータを扱う Python ライブラリです。本論文は Python CUDA Core Compute Libraries(CCCL)をもとに Awkward Array の新しい CUDA 実行モデルを構築し、独自の CUDA カーネルを不要にしています。複数の演算を統合して起動回数を減らし、遅延実行により式グラフを事前に最適化します。著者らは従来の即時実行方式と比べた性能向上を報告し、ユーザー定義の Python コードを組み込みやすい拡張性も示しています。
Maksym Naumchyk, Ianna Osborne
arXiv
cs.IT · math.IT
説明非線形関数計算ブロードキャストに対するグラフ理論的境界
要約本論文は、送信側が持つN個のデータセットから、各々が側情報を持つK人のユーザーに共通メッセージを送り、ユーザーが自分の求める関数を得る非線形関数計算ブロードキャスト(NFCB)を扱う。著者はKörnerの特性グラフの枠組みを用いて放送グラフを構成し、任意のK、一般の情報源分布、有限体上の要求に対する達成可能方式を示す。また、一部の例では非線形符号化が線形方式より厳密に低いレートを達成することを示している。
Derya Malak, Vijith Kumar K. P., M. Reza Deylam Salehi
★★★★☆ 注目
arXiv
cs.GT
説明資格制約下のオンライン公平分割(適格性制約つきの分割不可能な品の公平な配分を扱う研究)
要約本論文は、各品物が一部の適格な参加者にしか割り当てられない条件下で、分割不可能な品の公平な分配を研究する。これはスケジューリングの制限付き割当問題と同等である。適格性を考慮した比例性と無嫉妒性の定義を用い、同一評価の場合について、オンラインアルゴリズムの近似係数を解析している。
注目点資格制約付き割当に適した公平性概念を提案し、オンライン近似の厳密な境界(Θ(√m)、Θ(log m))を示した。影響は主にスケジューリングと公平分割の理論分野に限られる。
Joes Biburger, Nicole Megow, Golnoosh Shahkarami
arXiv
cs.IT · math.IT
説明安定変数に対する情報ボトルネック問題
要約本論文は、ガウス情報ボトルネック問題を同時安定変数XとYへ一般化したものです。X=Y+Aの設定(AはYと独立な安定変数)で、T=kX+Nの形をもつ最適な線形安定エンコーダを求めています。線形安定情報ボトルネックを閉形式と臨界値で特徴づけ、ガウス以外の場合この種の確率的線形エンコーダは厳密には最適でないが、大きな圧縮率では漸近的に最適になることを示しています。また、同時ガウス変数の場合には古典的なガウス情報ボトルネックを特殊例として回復します。
Dongmin Park, Jihad Fahs, Mohamad Assaad
arXiv
cs.IT · math.IT
説明局所差分プライバシーの離散チャネルのための疎カーネル機構
要約本論文は、非負カーネルと入力に依存する許容出力台によって生成される、疎な局所プライベート離散機構を研究している。このカーネル類について、純粋および近似の局所差分プライバシーを厳密に特徴づけ、近似の場合のプライバシー欠損を台の漏洩と重なり超過損失に分解している。さらに、疎な階段機構、疎なランダム化応答、Skellam 摂動などの具体的な離散機構族に結果を適用している。
Amirreza Zamani, Parastoo Sadeghi, Mikael Skoglund
arXiv
cs.DC · cs.NI
説明検証可能なデジタル収蔵物のためのプライベート IPFS データ保管基盤
要約本論文は、ベルリン自然史博物館で七つのノードからなるプライベート IPFS(分散型ファイルシステム)の試験環境を構築し、原データの一時保管に用いた研究です。コンテンツ識別子(CID)で二つの実際の取得データを復元し、大規模な機械学習モデルの重みフォルダも取り込んで、ノードの稼働状況を継続的に記録しました。機関内での分散ファイルシステムが、検証可能なデジタル収蔵物の保管に実用的であることを示しています。
Joachim Snellings, Jasper Funk-Smit, Margot Belot ほか
arXiv
cs.GT · econ.TH
説明PoSガバナンスにおける情報に基づく投票への報酬設計
要約本論文は、費用をかけて情報を取得し二値のガバナンス提案に投票する委任代表者への報酬設計を研究しています。非中立的な事前分布の下では、すべての正の努力水準で誠実な投票を厳密に最適にする支払いルールは存在せず、大規模な対称委員会では固定予算が精度を制限することを示します。さらに、比例配分と、十分に大きな勝利連合の構成員のみに報酬を与える条件付きルールを比較しています。後者は対称的な正の努力のもとで誠実な投票を厳密に最適にし、適切な条件下でより高い努力と決定精度をもたらします。ただし、不誠実な均衡が共存する場合もあります。
Juan Beccuti, Manvir Schneider
arXiv
cs.IT · math.IT
説明都市環境における低軌道衛星機会信号を用いた航法:GLRT支援オフグリッドSBL手法
要約都市部では全地球航法衛星システム(GNSS)の信号が脆弱で利用できない場合があるため、本論文は低軌道(LEO)衛星の機会信号を用いた測位・航法を検討しています。マルチパスや非ガウス・時間相関のある雑音下で、GLRT(一般化尤度比検定)とオフグリッドスパースベイズ学習(SBL)を組み合わせ、見通し内の遅延・ドップラーパラメータを推定し、拡張カルマンフィルタで航法解を求めます。シミュレーションでは、GLRTベースの推定と比べ、遅延のRMSEを最大77%、位置のRMSEを88.5%低減したと報告されています。
Maedeh Sotoodenia, Mohammad Hossein Kahaei, Alireza Nezamalhosseini
arXiv
cs.GT · cs.CC
説明相関事前分布を持つ一位価格オークションにおける混合均衡の計算複雑性
要約本論文は、競売参加者の事前分布が相関している離散一位価格オークションにおいて、近似的な混合ベイズ・ナッシュ均衡を計算する問題がPPAD完全であることを示している。その帰着の鍵となる中間段階として、新たな標準形ゲーム「超グラフ離散一位価格オークション」における近似ナッシュ均衡の計算もPPAD完全であることを証明しており、この結果自体も独立した意義を持つとされている。
Mark Chen, Xi Chen, Hao Cui ほか
★★★★☆ 注目
arXiv
cs.DC
説明FailBench:分散学習アーキテクチャ間の耐障害性を評価するベンチマーク
要約本論文は、7種類の分散学習アーキテクチャ、8種類のクラッシュ耐障害性機構、および耐障害性なしのベースラインを対象とする統一評価フレームワーク「FailBench」を提案しています。単一、同時、連鎖的なフェイルストップ障害を扱い、8基のV100クラスタで142通りの組み合わせを評価しています。万能に最良の機構は存在せず、機構のコストはアーキテクチャに強く依存することが示されました(インメモリ複製のオーバーヘッドは3.7%から176%)。著者らは機構選択のための意思決定フレームワークを示し、本フレームワークをオープンなartifactとして公開しています。
注目点7種の並列アーキテクチャと8種の耐障害機構を統一的に比較し選定指針を示す。142組の実験に基づき証拠は十分で、分散学習分野への影響が中心。
Khaled Aljbab, Amine Barrak
arXiv
cs.IT · math.IT
説明高感度無線通信のための冷却原子リドベルグアレイと時空間多重化
要約本論文は、従来の熱蒸気セル型原子受信機で問題となる熱雑音、ドップラー広がり、光子ショットノイズを抑える冷却原子リドベルグアレイ(CoRA)を検討しています。パケット内のシンボル照射に途切れがないよう、サブアレイのスケジューリングに基づく時空間多重化(STM)を提案し、バースト単位の推定に結合二項粒子平滑化器(JBPS)を用いた検出法を提案しています。数値結果では、連続サンプリングの時間的制約が解消され、JBPSにより誤り率が低下することが示されています。また、原子数を増やすと量子射影雑音は抑えられるが、再送可能なパケット頻度は下がるという感度と持続性のトレードオフが報告されています。
Jian Xiao, Tierui Gong, and Chau Yuen
arXiv
cs.IT · math.IT
説明連続透過型RISを用いたマルチユーザ通信向けの結合ビームフォーミング
要約本論文は、連続透過型再構成可能知能表面(CT-RIS)を用いたマルチユーザ下りリンク通信を研究している。受動ビームフォーミングは連続開口上で定義される位相関数によって表される。基地局からCT-RISへのリンクには距離依存の球面波モデルを、CT-RISからユーザへのリンクには場応答ベクトルに基づく有限経路モデルを用いる。有限次元の基地局プリコーダと無限次元の位相関数を同時に最適化し、交互最適化アルゴリズムで解いている。数値結果では、提案方式が比較対象のベンチマークを一貫して上回ることが示されている。
Beining Han, Shumeng Zhang, Deyou Zhang ほか
arXiv
cs.DC · cs.AR
説明TRANSIT:多ノード LLM 学習のための透過的スケールイン手法
要約TRANSIT は、GPU 数を減らしても分散学習の効率を保てるよう、CPU の DRAM を GPU メモリの拡張として透過的に使う枠組みです。ユーザー空間の介入層により実現され、アプリケーション、学習フレームワーク、スケジューラ、ドライバ、OS の変更は不要です。最大 64 基の NVIDIA H100 GPU と RoCE ネットワーク上で、密なモデルと MoE モデルを評価しています。論文によれば、TorchTitan、ZeRO-Offload、ZeRO-Infinity に比べて GPU あたりのスループットが最大でそれぞれ 68%、59%、42% 高く、GPU を 50% 減らしても基準値の 90% 以上を維持できたとしています。
Hyungyo Kim, Nicholas Satchanov, Hrishi Shah ほか
arXiv
cs.DC
説明NCCL M2N:分散テンソル再シャーディング向けのレイアウト・トポロジー対応集合通信
要約本論文は、分散テンソルの再シャーディングのための集合通信プリミティブ NCCL M2N を提案します。送信元と送信先のメッシュおよび配置から、必要な転送領域と全体の通信スケジュールを導出します。256 基の GB200 GPU では、単一の FFN-MoE 層の転送が素朴な直接送信と比べて最大 7.9 倍高速化されました。DeepSeek-V3 の NeMo-RL 実験では、重み同期時間が 5.78 秒から 2.77 秒に短縮され、ステップ時間は 12.7% 削減されたと報告されています。
Kaushik Kandadi, Youngeun Kwon, Sreeram Potluri ほか
arXiv
cs.DC
説明Mosaic:カーネルレベルの干渉予測による遅延保証付きGPU共有
要約本論文は、カーネルレベルのGPU干渉予測器Mosaicを提案する。解析モデルと軽量な学習モデルを組み合わせ、スレッドブロック配置、メモリ階層の競合、SM内リソース競合といった干渉の仕組みを明示的にモデル化する。4種類のGPUアーキテクチャにおいて、従来の予測器と比べて予測誤差を最大で一桁削減したと報告している。さらにMosaicをスケジューラMosaicSchedに組み込み、遅延SLOを満たしつつ、GPU全体の共有とSM分割を選択してベストエフォート処理のスループットを高める。
Foteini Strati, Ethan Graham, Leo Stephan ほか
arXiv
cs.DC
説明HPCにおける生産性:SLOCと性能ポータビリティからAI支援プログラミングまでの批判的レビュー
要約本論文は、高性能計算(HPC)における生産性の測定手法を批判的にレビューし、ソースコード行数(SLOC)、静的複雑度、実証的なユーザビリティ研究から、開発時間モデルや意味論的アプローチへの発展を整理している。また、自動移行とAI支援プログラミングによって、コード変換と人的労力の対応関係が弱まり、作業の重心が検証、修正、性能チューニングへ移ることを検討している。各手法を測定対象、直接性、客観性、再現性などの観点から比較し、HPCの生産性を定量的に評価する上での主要な限界と未解決の課題を示している。
Ami Marowka
arXiv
cs.NI · cs.DC
説明オープンクラウドテストベッドにおける科学計算向け高速ネットワーク処理
要約本論文は、データ集約型の科学計算で生じるネットワーク課題に対応するためのFPGAベースのSmartNIC構成を提案している。P4でプログラム可能なデータプレーンにより、パケットの解析、マーキング、テレメトリ抽出、トラフィック制御、機械学習推論をホストCPUを介さずに行う。SciTags規格を統合し、IPv6のフローラベルでSciTag値ごとにパケットを計数するブリッジを実装した。OCTのAMD U280 FPGAでの評価では、ライン速度での処理と知覚できないほどの低遅延が示され、科学データフローを正確に監視できることが確認された。
Miriam Leeser, Michael Zink, Suranga Handagala ほか
★★★★☆ 注目
arXiv
cs.IT · math.IT
説明カバレッジ深度問題に対する最適符号とランダム符号の性能
要約DNA ストレージは合成された DNA 鎖をランダムにサンプリングして情報を読み出すため、復元に必要な読み取り回数が重要な性能指標となります。本論文は、ランダムにサンプリングされた列が情報空間全体を張るまでの期待回数を最小にする線形符号を求めるカバレッジ深度問題を扱います。著者らは期待値の一般公式を導き、対応するパラメータにおいて q 元単体符号と q 元ハミング符号が最適であることを示しています。さらに、ランダム線形符号の期待カバレッジ深度を分析し、一定レートの場合、MDS 基準からの加法的差が符号長に依らず有界であることを示しています。
注目点覆盖深度の期待値の一般式を導出し、単体符号とハミング符号の最適性を証明しており、理論的な前進は大きいが影響は符号理論の一分野に限られる。
Roee Gross, Yitzchak Grunbaum, Matteo Bertuzzo ほか
arXiv
cs.DC · cs.DS
説明拜占庭耐性を持つ因果的ユニキャスト:メッセージ空間オーバーヘッドは定数
要約本論文は、点対点メッセージに対して応用メッセージの空間オーバーヘッドが定数 O(1) である、拜占庭故障耐性の因果順序付けアルゴリズムを提案する。送信者の送信許可(SPS)不変条件と、ピアごとに独立したキューを用いる隔離バッファ楽観モデルを採用し、状態固定攻撃と先頭ブロッキング攻撃を回避する。著者らは、本アルゴリズムがシステム全体の活性を保証し、拥塞緩和因果配送(Congestion-Relaxed Causal Delivery)と呼ばれる弱化された因果安全性の抽象を満たすことを形式的に証明している。
Purv Patel, Ajay D. Kshemkalyani
arXiv
cs.GT · cs.SY · eess.SY
説明非協力的微分可能ゲームにおける計量ベースの均衡選択:学習ダイナミクスがどの均衡に収束するかを計量で制御する
要約本論文は、状態依存の対称正定値計量を用いて、ゲームの均衡点を動かさずに学習ダイナミクスの収束先を変える方法を研究しています。目標とする均衡を安定に保ち、競合する均衡を不安定にできる条件を示し、連続コミットメントの猟鹿ゲームとエントロピー正則化した反復囚人のジレンマで、目標の均衡を選択できることを検証しています。
Karan Mahesh, Runyu Zhang, Michael R. Benjamin ほか
arXiv
cs.DS · cs.GT · math.OC
説明STARSによる在庫付き取引:アルゴリズム設計と基本的限界のスペクトラム
要約本論文は、既知の分布から得られる独立同分布の価格列に対し、在庫制約のもとで取り消し不能な買い・売り・保持の判断を行うオンライン取引問題を扱います。アルゴリズムの性能は、事後的に最適な方策との期待利益の差である後悔(regret)で評価されます。価格が中央値の周辺にどの程度集中するかを表すパラメータβを導入し、その値に応じた後悔の基本的な下限を示しています。さらに、複数の将来価格シナリオを模擬して価値関数を近似するSTARSというアルゴリズムを提案し、広い分布族でほぼ最適な性能を達成することを示しています。
Jerry Anunrojwong, Akshit Kumar, Rachitesh Kumar
arXiv
cs.IT · math.IT
説明情報理論的手法による未解読メッセージの幾何学的・構造的側面の再構成
要約本論文は、非ランダムな情報から幾何学と位相を復元する先行研究の枠組みを、ファイストス円盤、アンデス地方のキプー、ロンゴロンゴ、インダス文字、ヴォイニッチ写本などの未解読資料へ拡張し、エジプトの図版とアレシボ・メッセージを対照例として用いています。アルゴリズム情報力学に基づき、情報量、圧縮、アルゴリズム確率による推定を組み合わせて構造を分析しています。意味の解読ではなく、復元可能な構造上の組織を区別することを目的としています。
Hector Zenil, Abicumaran Uthamacumaran
★★★★★ 注目
arXiv
cs.NI · cs.DC · cs.PF
説明Ofan:AI 学習向けの最適な負荷分散方式
要約AI 学習のトラフィックがフルラインレートで送られる場合、既存のパケットスプレー型負荷分散アルゴリズムでは効率よく負荷を分散できない問題を扱っています。ファットツリー(fat tree)では、パケットが上り経路を選ぶと宛先への下り経路が一意に決まるため、宛先を考慮しない方式ではその不均衡を解消できないと論じています。本論文は、スイッチ側で宛先を考慮する負荷分散方式 Ofan と、現行スイッチのパイプライン構造に適合する変種 pOfan を提案し、P4 による実装と Llama-3 405B モデルを用いた FSDP2 のエンドツーエンド評価を示しています。
注目点宛先認識型の負荷分散方式を提案し、既存方式の$\Theta(\sqrt{m})$キューイングを証明して$O(1)$を示す。P4実装と大規模学習での評価で裏付ける。
Sarah McClure, Evyatar Cohen, Jakob Krebs ほか
★★★★☆ 注目
arXiv
math.NT · cs.DC · cs.MS
説明CUDA-MPQS:GPU上で完結する自己初期化二次篩法と、RSA-155の素因数分解
要約本論文は、多項式初期化、篩処理、関係式の後処理、大素数マッチング、GF(2)行列の構築、Block Wiedemann線形代数、平方根計算のすべてをGPU上で実行する自己初期化二次篩法(QS)CUDA-MPQSを提案している。これを用いて512ビットのRSA-155を、GPU上で端から端まで分解したと報告している。総計は700.6 GPU時間、約242 kWhで、そのうち98.4%が篩処理に費やされた。著者らは、二次篩法で分解された最大の整数であり、従来のRSA-150の記録を上回るとしている。
注目点二次篩法の全段階をGPUで実行し、RSA-155を分解した点は新規性が高い。比較実験は充実しているが、影響は特定アルゴリズムに限られる。
Fabian Januszewski, Christoph Heinrichs
★★★★★ 注目
arXiv
cs.GT
説明支配戦略メカニズム設計の困難性の再検討
要約本論文は、組合せオークションにおける支配戦略インセンティブ両立(DSIC)メカニズムの通信計算量を研究する。さまざまな評価関数クラスについて、達成可能な近似比の下界を示している。GS(グロス代替)評価に関する下界は、先行研究の未解決問題に答えるものである。また、二入札者の場合には多項式通信量で (1+√5)/2 近似を実現するメカニズムも与えている。
注目点決定的DSIC機構の通信複雑性に統一的下界を与え、GSの未解決問題に答え、二者設定でも新しい近似結果を示す。証明は厳密で理論分野への影響が大きい。
Frederick V. Qiu
arXiv
math.CO · cs.GT · cs.IT
説明対称グラスマン公式:単調な次元欠損階層
要約本論文は、任意の体上の有限個の部分空間の次元欠損を研究し、それらの和の次元を与える対称で非再帰的なグラスマン型公式を導出します。この公式では、次元の総損失を一つの部分空間と残りの部分和との交によって表します。さらに、欠損プロファイルが単調であることを示し、その隣接差分を平均ランクプロファイルの離散曲率と同定します。
Masoud Gharahi, Diego Ponterio
arXiv
cs.DC
説明多数の GPU にまたがる単一のグローバルビーム:十億レコード規模の高スループットビーム探索
要約本論文は、保持する候補集合が一台の GPU に収まらない場合でも、複数の GPU が一つの探索として束探索(ビームサーチ)を協調実行する方法を扱います。状態と候補は GPU 上に保持され、CPU には小さな制御情報と祖先の記録のみが渡されます。完全な候補、整数スコア、Hash128 の等価性、物理配置に基づく並びの規則を満たし、各キーで一度だけグローバルな縮約を行い、経路設定に競合がないことを条件に、分散パイプラインが単一マシンと同じ上位 B 件を返すことを証明しています。八基の H200 での Cube4 の実行では、931.266 秒で深さ 8 の飽和探索が完了し、有効幅は 2,900,361,216 でした。導出値は毎秒約 7,474.6 万の親–生成器ペアです。
Ivan Litvak
arXiv
cs.DC
説明OrigaMIG:MIG対応の仮想マシン配置最適化とライブマイグレーション
要約本論文は、NVIDIA の Multi-Instance GPU(MIG)をクラウドデータセンターで使う際、配置規則により生じる断片化の問題に取り組みます。MIG 対応の仮想マシン配置を、受理率の向上、リソースの集約、移行コストの削減を目的とした二値整数線形計画(BILP)としてモデル化しています。提案手法 OrigaMIG は、新規要求を軽量な貪欲規則で配置し、配置できない場合や GPU が断片化した場合にのみ、物理マシンの近傍に対して BILP を解き、ライブマイグレーションで実行します。シミュレーションでは、128 台の物理マシン(A100 と A30 の GPU 計 256 基)において、比較した強力な方策より稼働する物理マシンが少なく、移行する仮想マシンは 29%から 49%少ないことが示されています。
Ahmad Siavashi, Mahmoud Momtazpour
arXiv
cs.ET · cs.DC · cs.PL
説明量子コンピューティングの普及を加速する古典・量子ハイブリッド解法
要約本論文は、古典計算と量子計算を連携させるクラウドアプリケーション、ミドルウェアフレームワーク、APIゲートウェイなどの既存ソフトウェアを検討し、古典・量子ハイブリッド計算のソフトウェア面を論じています。実務者向けに、アルゴリズム、フルスタックライブラリ、シミュレータ、クラウドサービス事業者の一覧を整理し、今後の研究課題と近期の開発優先事項を示しています。量子実行は古典的な前処理と後処理に深く依存するため、ハイブリッド計算は一時的な回避策ではなく、長期的に残る形態になりうると主張しています。
Advait Deshpande, Luciano Baresi, Arosha K. Bandara
★★★★☆ 注目
arXiv
cs.GT
説明効率性の脆弱さについて:一人の逸脱プレーヤーがいる場合の非連結学習
要約本論文は、ゲームにおける非連結学習を扱います。各プレーヤーが自身の過去の行動と効用のみを用い、通信なしに総効用を最大化する効率的な結果へ到達できるかを問います。既存の福祉最大化学習アルゴリズムを検証対象とし、一人だけが別の行動をとる場合の長期的挙動を分析しています。その結果、単一の逸脱者でも長期的な結果を大きく変えうること、またあらゆるゲームで頑健な完全非連結アルゴリズムは存在しないことが示されています。
注目点単一の逸脱プレイヤーが完全非結合型の福利最大化学習を崩すことを示し、どの算法も全ゲームで頑健でないことを証明する点が新しい。
Vade Shah, Jason R. Marden
★★★★☆ 注目
arXiv
cs.GT
説明再帰的な困難事例による双方向取引におけるランダム提示者メカニズムの上界の改善
要約本論文は、双方向取引におけるランダム提示者メカニズム(random-offerer mechanism)の、最適な取引利益に対する最悪ケースでの効率を研究している。作者は、比が0.436943488……に収束する独立な買い手の評価値と売り手のコストの分布族を構成し、従来の上界0.460242308……を改善した。この構成は、再帰的に入れ子にされた売り手分布と買い手評価値の下向きの輸送を組み合わせ、再帰式を通じて極限定数の解析的な特徴づけを与えている。
注目点再帰的に入れ子にした売り手分布で新たな困難事例を構成し、ランダム出価機構の効率上界を0.4602から0.4369へ改善し、解析的に特徴づけた。
Heyang Shang, Jing Chen
★★★★☆ 注目
arXiv
cs.IT · math.IT
説明一致長依存ウィンドウを用いたLempel-Ziv構文解析:普遍性と限界
要約LZ77符号化器は短い一致でも遠距離の距離フィールドに同じビット数を使いますが、長距離の短い一致はほとんど得になりません。本論文は、一致長ℓに応じて参照可能な範囲をW(ℓ)に制限する方式を分析します。一定の条件のもとで貪欲構文解析がLZ77の収束率と普遍性を維持することを示し、冗長項や関連する符号化改良による利得についても論じています。
注目点長さ依存ウィンドウ付きLZ77の貪欲構文解析の普遍性と収束率を証明し、冗長項の下界も示す。理論的寄与は大きいが影響は情報理論の下位分野に限られる。
Yingquan (Cody) Wu