その他の計算機科学 · 諦聽 Diting Lab

超立方体の部分集合における平均二点間ハミング距離

2026-10-30T00:00:00+09:00

Average pairwise Hamming distance of a subset in a hypercube arXiv · 2026年10月30日本論文は、密度 1/8 の {0,1}^n の部分集合について、平均二点間ハミング距離が少なくとも (n-3)/2 であることを証明し、等号が成り立つのは (n-3) 次元部分立方体のみであることを示す。これは Lei Yu の問いに答えるものであり、1977 年に Ahlswede と Katona が提起した一般的問題の重要な未解決事例を解決している。 ★★★★ 注目：著者は、超立方体の密度1/8の部分集合について、平均2点間ハミング距離が少なくとも(n-3)/2であり、等号は(n-3)次元部分立方体に限ると示したと報告している。これはYuの問いに答え、Ahlswede と Katona が1977年に提起した一般問題の重要な未解決事例を扱うものである。

プラットフォーム手数料・税・補助金を含むオンライン市場での競争均衡の探索

2026-10-30T00:00:00+09:00

Finding Competitive Equilibria in Online Marketplaces with Platform Fees, Taxes, and Subsidies arXiv · 2026年10月30日本論文は、一般化された完全代替性を満たす評価値と、買い手・取引ごとに異なる区分線形の移転関数を持つ複数単位取引ネットワークにおける均衡計算を研究している。この移転関数は、オンラインマーケットプレイスのプラットフォーム手数料、税、補助金、会員割引を表す。提案する昇順手続きは価格を異なる速度で引き上げ、有限回の反復で最小均衡価格ベクトルに到達する。各反復は強多項式時間で実行可能で、その後均衡配分を効率的に復元できる。手法は、購入と販売の補完性を子モジュラーフロー定式化で扱うことで、昇順オークションの原始双対技法を拡張している。 ★★★★ 注目：プラットフォーム手数料や税・補助金を含む多単位取引ネットワークに原始双対オークション手法を拡張し、強多項式時間の均衡計算を与える。

合意ダイナミクスにおけるサンプル数と合意時間の近最適なトレードオフ

2026-10-30T00:00:00+09:00

Nearly-Optimal Time-Sample Trade-off in Consensus Dynamics arXiv · 2026年10月30日本論文は、分散合意ダイナミクスにおいて各ノードが参照する意見のサンプル数が、合意に至るまでの時間にどう影響するかを研究している。各ラウンドで各ノードがh個のノードを無作為に抽出し、最も多く現れた意見を採用する同期型のh-Majorityを分析する。その結果、幅広い合意ダイナミクスの中で、h-Majorityがサンプル規模と合意時間の間の近最適なトレードオフを達成することを示している。 ★★★★ 注目：h≥3の全ての値と任意の初期配置に対し、h-Majorityの合意時間の上界を示し、対数因子を除き一致する下界も与えている。

ブール変数対に対する鋭いフィッシャー情報不等式：Amari–Kobayashi予想の証明

2026-10-29T00:00:00+09:00

A Sharp Fisher-Information Inequality for Boolean Pairs: Proof of the Amari--Kobayashi Conjecture arXiv · 2026年10月29日論文は、相関のある一様二値ベクトルを観測する二つの端末がそれぞれの観測を1ビットに圧縮する状況を扱います。任意のブロック長と任意の相関パラメータについて、得られた2ビットが保持するフィッシャー情報は、適切な次数の一致するパリティ関数で最大になることを証明し、Amari と Kobayashi の予想を解決しました。証明は、正規化共分散の導関数に対するフーリエ型の上界と、大域的な値域制約を受ける符号付き多項式に関するスカラー不等式を組み合わせています。 ★★★★ 注目：ブール・ベクトル対のFisher情報量最大化に関するAmari--Kobayashi予想を、フーリエ界と符号付き多項式の不等式を組み合わせて証明している。

一点代数幾何符号の近接ギャップ

2026-10-29T00:00:00+09:00

On Proximity Gaps for One-Point Algebraic Geometric Codes arXiv · 2026年10月29日本論文は一般的な一点代数幾何（AG）符号について、対話型オラクル証明の健全性の基礎となる近接ギャップと相関一致性を扱う。Reed-Solomon 符号に対する既存結果を一般化し、相関一致性とソフトネス上界を示す。Garcia-Stichtenoth タワーを用いた符号族の構成も扱い、最小距離の半分を超える領域では性質に限界があることを二つの反例で示す。 ★★★★ 注目：Reed-Solomon符号の近接ギャップと相関一致性を一般の一点代数幾何符号へ拡張し、長さに依存しない界と反例を作者が報告。

匿名パリティ認証の厳密な境界

2026-10-29T00:00:00+09:00

Tight Bounds for Anonymous Parity Certification arXiv · 2026年10月29日本論文は、匿名で半径1の局所認証モデルにおいて、ネットワークの頂点数が偶数であることを検証するために必要な証明書のサイズを扱う。一般のグラフでは、この課題の複雑さが Θ(log log n) ビットであることを示し、従来の未解決の差を埋めている。さらに、退化度が d 以下のグラフでは O(log d) ビットで認証でき、疎な構造のクラスによって複雑さが異なることを明らかにしている。 ★★★★ 注目：新規性は、無名半径1モデルにおける偶数位数認証の計算量のギャップを Θ(log log n) で閉じ、退化数や疎性クラスの特徴付けを与える点にある。

センサ側に組み込まれた分散処理ユニット：ホストCPUを解放する並列画像前処理

2026-10-29T00:00:00+09:00

Hardwired Distributed Processing Units at the Sensor: Truly Parallel Vision Pre-Processing that Frees the Host CPU arXiv · 2026年10月29日本論文は、イメージセンサに直結した小型の固定データパス（HDPU）に、それぞれ常時動作する単一のタスクを担わせ、画素ストリームに対して並列に処理し、コンパクトな結果のみをホストへ送る方式を検討している。低コストのArtix-7 FPGA上で、Cannyエッジ、Harrisコーナー、操舵判断を行うライントラッカーの3つのユニットを2,568 LUT、推定0.318 Wで実装した。フレームベースのホスト処理との比較をシステムシミュレーションで行い、判断が相機ライン11.03本分以内に出力されることを示している。 ★★★★ 注目：視覚前処理をセンサ側の並列ハードワイヤード回路へ移す点に新規性があり、FPGA実装とフルシステムシミュレーションでの比較を報告している。

局所復号可能符号を用いたCSP非冗長性の上界

2026-10-29T00:00:00+09:00

Upper Bounds for CSP Non-redundancy via Locally Decodable Codes arXiv · 2026年10月29日制約充足問題（CSP）において、関係の非冗長性とは、CSPインスタンス中で論理的に独立な節の最大数を指す。本論文は、局所復号可能符号（LDC）と局所訂正可能符号（LCC）を用いて、一部の関係の非冗長性に上界を与える新手法を提示している。これにより、BCK述語およびそのブール変種の非冗長性について改良された上界が得られ、非冗長性が n^{k±o(1)} の形にならないことが証明できる最初のブール述語の例も示されている。 ★★★★ 注目：2クエリ局所復号可能符号と局所修正可能符号の構造制約からCSP非冗長性の上界を与え、n^{k±o(1)}形でない初の布尔述語例を示すと報告している。

SCL復号を考慮したPAC符号の設計：リスト復号向けの符号設計手法

2026-10-30T00:00:00+09:00

An SCL-Aware Design of PAC Codes arXiv · 2026年10月30日本論文は、連続消去リスト（SCL）復号に適した極性調整畳み込み（PAC）符号のレートプロファイルを設計する手法を提案する。誤りがある場合の復号過程を解析するため条件付き密度進化ガウス近似（CDEGA）を、有限リスト内のビット誤りの条件付き占有を求めるため危険経路占有指標を導入している。これらを用いて設計した長さ512以下の符号は、FER10^-3において従来のPAC符号より少なくとも0.5dB優れるとされている。

SPECTRUM：欧州のエクサスケール研究データ・計算基盤に向けた戦略的枠組みと技術ブループリント

2026-10-30T00:00:00+09:00

SPECTRUM: A Strategic Framework and Technical Blueprint for European Exascale Research Data and Compute Infrastructure arXiv · 2026年10月30日本論文は、SPECTRUMプロジェクトによる二つの成果物、「技術ブループリント」と「戦略的研究・イノベーション・展開アジェンダ（SRIDA）」を概説するものです。HL-LHC、SKA天文台、LOFAR 2.0により、今後10年で高エネルギー物理学と電波天文学がエクサバイト規模のデータに直面することを指摘しています。両文書は同じ根拠に基づき、技術的行動の提言と段階的なロードマップを示しています。あわせて、その協議の方法とSRIDAが見込む効果もまとめています。

エッジ・クラウド連続体にわたるサービス編成を言語モデルに任せられるか？

2026-10-30T00:00:00+09:00

Can We Rely on Language Models to Orchestrate Services across the Edge-Cloud Continuum? arXiv · 2026年10月30日本論文は、エッジ・クラウド連続体におけるサービス編成で言語モデルを用いる研究39件を体系的にレビューしています。システム文脈、編成判断、言語モデルの権限、運用上の安全策、評価根拠の5つの観点からなる分析枠組みを提案しています。レビューの結果、言語モデルは解釈、候補案の生成、緩和策の立案を担い、実行可能性の検証と実行権限は後段のコンポーネントが保持する混合型設計が主流であることが分かりました。

非真実的オークション設計のための一次双レベル最適化

2026-10-30T00:00:00+09:00

First-Order Bilevel Optimization for Non-truthful Auction Design arXiv · 2026年10月30日本論文はオークション設計を複数の追随者を持つシュタッケルベルクゲームとして定式化し、非真実的オークションの収益最適化を行う完全一次の手法を提案しています。超勾配近似について非漸近的な保証を示し、標準的な滑らかさと強単調性の仮定の下で、約 O(ε⁻²) 回の一次オラクル呼び出しで O(ε) 定常点に到達することを示しています。対称・非対称の単一財オークションおよび複数財オークションの実験では、二次・ゼロ次の基準手法より速く収束し、入札者数の増加にも良く対応すること、真実的オークションに近い収益を達成する機構を発見できることが報告されています。

真の3Dホログラフィー：6Gに向けた次世代通信サービスと新たな融合型クラウド・ネットワーク構造への要件

2026-10-30T00:00:00+09:00

True 3D Holography: A Communication Service of Tomorrow and Its Requirements for a New Converged Cloud and Network Architecture on the Path to 6G arXiv · 2026年10月30日本論文は、研究プロジェクト6G NeXtがユースケースとして真の3Dホログラフィーを検討している背景のもとで、通信およびコンピューティング基盤に課される要件を示しています。分散型の高速バックボーン計算基盤による分割計算と、処理設備と無線ネットワークの密な統合が不可欠であると論じています。また、提案する通信・計算の全体アーキテクチャに基づき、新たな技術的アプローチを検討しています。

有限レート信念共有下のマルチエージェント追跡における通信の価値の測定

2026-10-29T00:00:00+09:00

Measuring the Value of Communication in Multi-Agent Tracking Under Finite-Rate Belief Sharing arXiv · 2026年10月29日本論文は、レート制約のある情報交換下での協調型マルチエージェント追跡における通信の価値（VoC）を調べたものです。静止したエージェントが距離と方位の測定により移動目標を観測し、局所拡張カルマンフィルタを実行して事後状態平均を量子化し、共分散交差（CI）によって情報を融合します。通信レートが低すぎると粗い量子化により性能が低下する一方、中程度のレートで追跡利得の大部分が得られ、それを超えると追加の通信資源による効果は小さくなることを示しています。

PhOSv1：GPUコンテキストの重複排除で単一サーバー上のモデルスリープを効率よく拡張する自動スケーリング手法

2026-10-29T00:00:00+09:00

PhOSv1: Efficient Scaling of Model Sleeping on a Single Server for Autoscaling with GPU-Context Deduplication arXiv · 2026年10月29日本論文は、モデル・アズ・ア・サービスシステムの自動スケーリングにおいて、既存のモデルスリープ手法がスリープ中のモデルごとにGPUコンテキストを保持するため、モデル数に比例して性能が低下する問題を扱っています。著者らはPhOSv1を提案し、API リモーティングを通じて各エンジンのGPUコンテキスト割り当てを中央デーモンに委譲してコンテキストを重複排除し、単一サーバーでより多くのモデルをスリープさせられるようにしました。評価では、バニラのvLLMスリープモードと同等のスケールアップ時間を保ちつつ、GPUメモリ使用量を大幅に削減したと報告されています。

並列実行時間と前処理時間のトレードオフを持つ、厳密な並列密行列ガウス・ザイデル法

2026-10-29T00:00:00+09:00

An Exact Parallel Dense Gauss-Seidel Algorithm with Trade-Offs between Parallel Execution Time and Preprocessing Time arXiv · 2026年10月29日ガウス・ザイデル反復法は収束性が良いため連立一次方程式の解法によく使われますが、各反復でのデータ依存のため並列化が容易ではありません。本論文では、前処理時間を増やす代わりにより良い並列実行時間を実現する新しい並列ガウス・ザイデル法を提案しています。このアルゴリズムは調整可能で、前処理時間と達成可能な最良の並列実行時間との間で都合のよいトレードオフを提供できます。

TRACEs：分散型科学ワークフローのための細粒度埋め込み型来歴アーキテクチャ

2026-10-29T00:00:00+09:00

TRACEs: Fine-Grained Embedded Provenance for Distributed Scientific Workflows arXiv · 2026年10月29日大規模な科学ワークフローは分散型HPC資源上で実行されるため、科学データ成果物がどのように生成されたのか、また類似の実行がなぜ大きく異なる結果を生むのかを説明することが難しくなっています。TRACEsは、分散コンテナ化科学ワークフローのための来歴アーキテクチャで、生成されたすべてのデータ成果物にデータ系譜と実行コンテキストを直接埋め込みます。既存のワークフロー管理システムとの互換性を保ちます。複数のHPCノードで動作する大腸菌の変異検出ワークフロー（7段階）で評価され、分散実行下で来歴の完全性100%を達成し、ワークフローを再実行せずに変異数の200倍の差を入力シーケンシングデータの違いまでたどれることが示されています。

独立な非定常フェージング過程の積に対するレベルクロッシングレート上下界

2026-10-29T00:00:00+09:00

Level Crossing Rate Bounds for Products of Independent Nonstationary Fading Processes arXiv · 2026年10月29日本論文は、独立な非定常正のフェージング過程の積について、瞬時の総レベルクロッシングレート（LCR）を扱う統一的な枠組みを構築している。積の導関数と符号付きクロッシング不均衡の厳密な分解から、各因子のクロッシング統計量のみを用いる普遍的な上下界を導出している。さらに、ドリフトを持つガウス導関数（DGD）クラスを導入し、ガウス混合による表現で総ドリフトと導関数の変動を同時に捉える界を与えている。数値結果では、DGDの界が厳密なLCRを近接して挟むことが示されている。

最適な自己直交二元線形符号

2026-10-29T00:00:00+09:00

Optimal self-orthogonal binary linear codes arXiv · 2026年10月29日本論文は、与えられた最小距離をもつ8次元二元自己直交符号の最小可能長を決定し、9次元の場合には最小距離が64以下のときの正確な値と上下界を与えます。線形符号を点の多重集合として捉える幾何学的な再定式化を用い、次元7以下の分類を計算機を使わずに簡略化して完全にやり直しています。また、[93,9,44]_2符号が存在しないことを証明しています。

ヒルベルト多様体上のSinkhornダイバージェンスの情報幾何学

2026-10-29T00:00:00+09:00

The information geometry of the Sinkhorn divergence on a Hilbert manifold arXiv · 2026年10月29日本論文は、エントロピー最適輸送コストを補正したSinkhornダイバージェンス（Sinkhorn divergence）が、曲線に沿って定義された確率測度上に定めるメトリックテンソルを研究する。著者らは光滑層上に実解析的なヒルベルト多様体を構成し、そのテンソルが弱リーマン計量であることを示し、Eguchiの幾何学的構成を三次まで拡張する。また、この計量は光滑層上でFisher-Rao計量の定数倍で上から抑えられることを論じている。

量子回路シミュレーションにおける動的リソーススケーリング

2026-10-29T00:00:00+09:00

Enabling Dynamic Resource Scaling in Quantum Circuit Simulations arXiv · 2026年10月29日本論文は、量子状態ベクトルシミュレータ QuEST を動的リソース管理フレームワーク DMR に対応させ、1 つのジョブが回路ごとにノード数を変更できるようにする手法を示している。回路の間には状態ベクトルが存在しないため、データ再分配は不要であり、次の回路の番号を保存したチェックポイントから再開できる。MareNostrum 5 での評価により、異なる規模の回路を 1 つのジョブで実行し、ほぼ無視できるオーバーヘッドで資源を調整できることが確認された。

MSRD符号の台分布条件が一つの不等式に帰着することの説明

2026-10-29T00:00:00+09:00

The Support-Distribution Conditions for MSRD Codes Reduce to a Single Inequality arXiv · 2026年10月29日本論文は、線形最大和ランク距離（MSRD）符号において、与えられた非零の台を持つ符号語の個数を扱う。Byrne、Gluesing-Luerssen、Ravagnaniが予想した非負性条件の族が、最長ブロックから順に埋めて得られる全次元d+1のベクトルに対する単一の条件と同値であることを証明し、任意の有限体で使える明示的な判定基準を与えている。また、そのようなパラメータを満たしても線形符号が存在しない無限族の例も示している。

里デベルグ原子量子受信機による上りRSMAのエネルギー効率改善

2026-10-29T00:00:00+09:00

Improving Energy Efficiency of Uplink RSMA via Rydberg Atomic Quantum Receiver arXiv · 2026年10月29日本論文は、里デベルグ原子量子受信機（RAQR）を用いた上りリンクのレート分割多元接続（RSMA）ネットワークで、エネルギー効率（EE）の最大化を検討する。直接読み出し型RAQRは振幅しか測定できない制約があるため、受信信号を線形化しつつチャネルエネルギーを保持する位相整合機構を考案した。対称レート要件ではKKT条件から閉形式の電力配分を導出し、非対称要件では座標降下法に基づく電力配分と、低計算量の配対割当て方式を提案した。シミュレーションでは、KKT方式が最も高いEEを示し、低計算量方式は若干のEE低下で計算コストを大幅に削減することが確認された。

任意の正の種数を持つMDS代数幾何符号の長さの上界

2026-10-29T00:00:00+09:00

Length Bounds for MDS Algebraic Geometry Codes of Arbitrary Positive Genus arXiv · 2026年10月29日本論文は、任意の正の種数を持つ曲線から得られる最大距離分離（MDS）代数幾何符号の長さを研究する。種数を固定した場合、次元と余次元がともに体の大きさの対数より速く増加するとき、長さと体の大きさの比の漸近値は1/2以下であることを証明する。対数的な次元条件のもとでの明示的な上界も与える。これらの上界はすべての標数で成り立ち、曲線と評価集合の取り方によらない。証明はヤコビ多様体上の指標和と、相異なる点の和の評価を組み合わせて行われる。

種数2の曲線から得られるMDS符号の長さに関する一様な上界

2026-10-29T00:00:00+09:00

A Uniform Upper Bound on the Length of MDS Codes from Genus-Two Curves arXiv · 2026年10月29日本論文は、有限体上の種数2の曲線から構成されるMDS代数幾何符号の最大長を研究している。長さn、次元kで3≤k≤n-3の場合に、任意の素数べき q とkの偶奇を問わず n<(2q+10√q+16)/3 を示す。これは最大長に対する2q/3+O(√q)の一様な上界であり、q≥125のとき明示的な上界はq+1より厳密に小さい。

柔軟な反射板を用いた安全な無線通信：物理層セキュリティのための位置と回転の同時最適化

2026-10-29T00:00:00+09:00

Secure Wireless Communications with Flexible Reflectors: Joint Position and Rotation Optimization for Physical Layer Security arXiv · 2026年10月29日本論文は、非見通し経路において柔軟反射板（FR）で支援される安全通信を検討し、秘匿レートを最大化するよう反射板の位置と回転を同時に最適化する。単一の反射板に対してはフィボナッチ分割探索（FSS）法を、計算負荷を抑える方法として交差エントロピー探索（CES）法を提案し、その後両者を複数反射板の場合へ拡張する。シミュレーションの結果、FSS法は複数の比較手法に対して秘匿レートの明確な向上を示し、CES法は実行時間と性能の良好なトレードオフを達成した。

有限マルコフ連鎖を高速化するためのブレグマン射影と分割設計

2026-10-29T00:00:00+09:00

Bregman projections and partition design for accelerating finite Markov chains arXiv · 2026年10月29日所与の定常分布を持つ有限マルコフ連鎖に対するギブス平均化を研究する。状態空間の分割から誘導されるギブス核を用いたGPGが情報射影であることを示し、その双対的性質と分割の粗化に対する単調性を明らかにする。可逆なエルゴード的連鎖では、ギブス平均化が定常分布までの加重フロベニウス距離の二乗を増加させないため、混合時間も増えない。分割を選ぶための目的関数とアルゴリズムを与え、数値実験で局所的Metropolisサンプラーと比較する。

経路ゲームにおける断片化された従順均衡：競合する仲介者が経路を推奨する場合の均衡概念

2026-10-29T00:00:00+09:00

Fragmented Obedient Equilibria in Routing Games arXiv · 2026年10月29日本論文は、複数の競合する仲介者がそれぞれ固定された非原子的利用者集団に経路を推奨する経路ゲームを研究している。各仲介者は、推奨を無視した場合の利用者の条件付き期待利得が許容値ε以下であるという制約のもとで、ランダム化された流量配分により集団の期待移動コストを最小化する。著者は断片化された従順均衡（FOE）を定義し、従順な方策対応の下半連続性の仮定のもとで存在を示した。アフィンな辺遅延と独立な仲介者サンプリングの下で、問題は流量の一次・二次モーメントによる厳密な再定式化に帰着し、路線数が最大4本の場合、各仲介者の最適応答問題は厳密な半正定値計画となる。Braessネットワークでの数値例は、従順性の制約を緩めるとFOEのコストが下がる一方、社会的最適や最適なプールされた従順策との差が残りうることを示している。

異種混在はいつ効果を発揮するか：GPUとWSEのシステム補完性の理解

2026-10-29T00:00:00+09:00

When Does Heterogeneity Pay Off? Understanding GPU-WSE System Complementarity arXiv · 2026年10月29日本論文は、GPUとウェハスケールエンジン（WSE）を組み合わせたAI向け異種システムを扱います。両者は計算、メモリ、通信の構成が大きく異なり、アーキテクチャ上の補完性と追加のオーバーヘッドの両方を生みます。著者らは、GPU–WSE異種実行と補完性を活用する条件を特徴づける階層的ベンチマーク手法を提案し、異種性がボトルネックになる場合とシステム全体の性能向上をもたらす場合を見分ける解析的性能モデルを示しています。

PDScope：メモリ制約下のMoE推論におけるプリフィルとデコードのトレードオフを解消する手法

2026-10-29T00:00:00+09:00

PDScope: Breaking the Prefill-Decode Seesaw for Memory-Bound MoE Inference arXiv · 2026年10月29日本論文は、CPU-GPUノードでMoE型大規模言語モデルをローカル実行する際、GPUメモリ不足によりエキスパートの多くがCPUメモリに置かれる問題を扱います。プリフィルは計算律速で積極的なGPU読み込みが有利ですが、デコードはI/O律速で保守的なPCIe転送が必要で、低バッチ条件では両立しません。提案手法PDScopeは両フェーズを分離し、フェーズごとに予測・スケジューリング・実行を最適化します。静的計算グラフ、キャッシュプリフェッチ、ゼロコピー非同期I/Oを用いてオーバーヘッドの少ないパイプラインを構成し、主流のMoEモデルで既存システムに対しプリフィル2.5～10.3倍、デコード2.1～6.1倍のスループットを達成したと報告しています。

Morletウェーブレットと許容可能な伴関数を用いた帯域制限信号の位相復元

2026-10-29T00:00:00+09:00

Phase Retrieval of Bandlimited Signals Using a Morlet Wavelet and an Admissible Companion arXiv · 2026年10月29日本論文は、複素数の帯域制限信号が、二つの周波数帯における、ナイキスト周波数の二倍でサンプリングしたウェーブレット変換の振幅の二族から、大域的位相因子を除いて一意に復元できることを示す。これらの族は、固定した拡大Morletウェーブレットと固定の伴関数ウェーブレットの並進から得られる。著者らは両族を補助的な帯域制限信号の二つの変調ガウス畳み込み測定として書き直し、ガウス畳み込みの一意性結果を用いて、(4B)^{-1}Z上の標本がPW_B^2のすべての信号を決定することを証明する。従来のウェーブレット位相復元の結果と比べ、必要な標本点数が大幅に少ない。

囚われた消費者がいる場合の市場細分化による厚生の限界

2026-10-29T00:00:00+09:00

The Welfare Limits of Market Segmentation with Captive Consumers arXiv · 2026年10月29日本論文は、囚われた消費者と争奪される消費者からなる複占市場を分析し、ある市場構成と公開された細分化のもとで生じうる消費者余剰と生産者余剰の組み合わせをすべて明らかにしている。その集合はレンズ型になり、業界利益の水準ごとに、囚われた消費者と争奪される消費者が完全に分離される場合に消費者の厚生が最も低くなることを示している。

共有秘密鍵を用いた分散ストレージにおける通信量とプライバシーのトレードオフ

2026-10-29T00:00:00+09:00

Communication and Privacy Trade-Offs in Distributed Storage With Shared Secret Keys arXiv · 2026年10月29日公開通信路上で、共有秘密鍵によってプライバシーを実現する分散ストレージを研究しています。利用者はファイルを L 台のサーバーに保存し、任意の t 台以上でファイルを復元できる一方、任意の z 台以下の共謀サーバーが得る情報はファイルの α の割合を超えないようにします。各サーバーと利用者が長さ n ビットの鍵を共有する設定で、プライバシー漏えいパラメータ α と安全に保存できる最大ファイルサイズとのトレードオフを明らかにしています。さらに、その最適なトレードオフを達成するために必要な最小のローカル乱数、公開通信量、ストレージ量も求めています。

Zak-OTFS とモジュラ演算による過展開チャネルでの高速・遠距離目標センシング

2026-10-29T00:00:00+09:00

Sensing Fast and Distant Targets in Overspread Channels with Zak-OTFS and Modular Arithmetic arXiv · 2026年10月29日本論文は、遅延・ドップラー（DD）変調で遅延とドップラーの広がりの積が1を超える場合に生じるエイリアシングの問題を扱う。周期の異なる複数の DD 基底を組み合わせた二フレーム設計を提案し、同じ帯域幅とフレーム長で過展開チャネルをカバーする。包絡ピーク位置のモジュラ演算により各目標を復元する手法を示し、対応付けが曖昧になる条件も導出している。受信機として、二フレーム感知（DS）と交差パイロット除去付き DS（DS-XC）を提案し、100km のドローン環境では DS-XC が目標の98%を検出し、最良のベースラインの81%を上回った。

リーマン多様体上の生成的レート歪み知覚理論

2026-10-29T00:00:00+09:00

Generative Rate-Distortion-Perception Theory on Riemannian Manifolds arXiv · 2026年10月29日本論文は、コンパクトなリーマン多様体上の情報源について、受信側で確率的生成を制御するために必要な伝送レートを調べる。共通乱数を用いない生成的レート歪み知覚（GRDP）の枠組みを提案し、測地距離の歪み半径と失敗確率の制約の下での漸近的な操作的GRDP関数の単一文字表現を示す。高信頼性極限での情報論的定式化について幾何学的な下界と上界を導出し、均一分布の情報源ではこの二つが一致して極限GRDP関数が厳密に定まることを示す。単位球面では、次元d≥2の場合、情報源記号あたりd ビット多く伝送すると歪み半径を半分以上減らせることが具体的な式で示される。

DistOptimize：分散プロトコルの自動最適化器

2026-10-29T00:00:00+09:00

DistOptimize: Automatic Optimization of Distributed Protocols arXiv · 2026年10月29日本論文は、手作業による分散プロトコルの変更が安全性を損なうリスクを排除するための自動最適化器DistOptimizeを提案しています。学術言語のスループット最適化を本番環境で使われるフレームワークに適用し、書き換えの正しさをRocqで検証するとともに、キャリブレーションとILPベースの探索空間ナビゲーションで適用を自動化します。基本的な分散プロトコルとAWSで使われるプロトコルに適用した結果、スループットは最大4倍向上し、レイテンシの増加は最大0.3msでした。

RARE：価格ゲームにおける応答考慮型合理的均衡

2026-10-29T00:00:00+09:00

RARE: Response-Aware Rational Equilibrium in Pricing Games arXiv · 2026年10月29日本論文は、予算制約のある買い手が存在する市場での価格ゲームを研究し、各売り手が一つの商品に価格を設定する状況を扱う。著者らは、他の売り手が偏差に応答しうることを考慮した新たな均衡概念 RARE（Response-Aware Rational Equilibrium）を提案し、一定の条件下でその存在を示すとともに、近似的な RARE へ到達する動的過程も分析している。

適応的実験における委託者-代理人仮説検定

2026-10-29T00:00:00+09:00

Principal-agent hypothesis testing under adaptive experimentation arXiv · 2026年10月29日本論文は、委託者が代理人の生成したデータに応じて報酬を支払う、委託者-代理人型の仮説検定を扱う。既存研究の単一データ設定を、証拠が時間とともに蓄積し、報酬が最後にまたは段階的に支払われ、代理人が戦略的に選んだ停止時刻で契約を終了できる逐次設定へ拡張している。主要な概念的結果として、そのような契約はe過程によって特徴づけられることを示している。

ランダム非可換誤り訂正符号：古典的なランダム符号理論を任意の群へ拡張する研究

2026-10-29T00:00:00+09:00

Random Non-Commutative Error-Correcting Codes arXiv · 2026年10月29日本論文は、Chapman、Dinur、Lubotzkyが提唱した非可換誤り訂正符号の理論を基に、任意の群上でのランダム符号の類似物を体系的に研究し、古典的なGilbert-Varshamov（GV）限界が非可換の場合にどの程度成り立つかを調べている。自由群における線形サイズのランダム汎用符号は漸近的に悪いことが示されている。さらに、有限群族が良いランダム符号（GV族）を持つための必要十分条件は、一様な多項式型の極大部分群増大を示すことであると特徴づけられている。また、固有パラメータに基づく符号率と最適距離範囲の明示的な定量的上界・下界が与えられ、有限可解群族は常にGV族であることが証明されている。

Slant：リソース効率の良いマイクロサービスのためのトラフィック整形

2026-10-29T00:00:00+09:00

Slant: Shaping Traffic for Resource-Efficient Microservices arXiv · 2026年10月29日マイクロサービスの負荷分散装置は、リクエストを均等に振り分けることを主に目指しており、ルーティングが自動スケーリングの信号やリソース効率にどう影響するかは考慮されてきませんでした。本論文の Slant は、意図的に安全な範囲の負荷の偏りを作り、リソース利用率を高めるリソース認識型の負荷分散フレームワークです。3つのマイクロサービスのベンチマークでは、ラウンドロビンと比べて割り当てCPUコアを最大26%削減し、P99レイテンシを最大18%下げました。

3D デジタル文化遺産オブジェクト向けのデータ・メタデータ・パラデータ統合管理システム：ワークフロー自動化、連携認証、公開に関する論文

2026-10-28T00:00:00+09:00

Integrated data, metadata, and paradata management system for 3D Digital Cultural Heritage objects: Workflow automation, federated authentication, and publication arXiv · 2026年10月28日本論文は、高品質な3Dデジタル化文化遺産オブジェクトを管理する際の課題に対応するため、グローバルな連携認証・認可の仕組み、データとメタデータの管理システム、そしてデータとメタデータの処理を支援する自動化ワークフローの設計・実行用統合エンジンを提案している。三つの異なる3Dデジタル化文化遺産オブジェクトを用いて評価を行い、データのアップロードから文化遺産オブジェクトの公開までの一連のプロセスを示している。

F₂上の次元に依存しない指数的エントロピー商

2026-10-28T00:00:00+09:00

Dimension-free exponential entropy quotients over 𝔽₂ arXiv · 2026年10月28日本論文は有限体F₂上の確率ベクトルのエントロピー商を扱う。任意のε>0に対し、次元が2^{320(1+ε)/ε}·H(X)以下である部分空間Gが存在し、H(q_GX)が(1+ε)(H(q_GX+q_GX')−H(q_GX))以下となることを示す。係数は環境の次元に依存せず、1/εに関する指数オーダーが必要であることも示される。

長さ60の二元極値自己双対符号の重み列挙子の決定

2026-10-28T00:00:00+09:00

Determination of weight enumerators of binary extremal self-dual codes of length 60 arXiv · 2026年10月28日本論文は、長さ60の二元極値自己双対符号を3つ構成した。これらの重み列挙子については、従来そのような符号の存在が知られていなかった。これにより、長さ60の二元極値自己双対符号に現れる重み列挙子の決定が完了する。

ランダム中心と平面グラフ上の定数ラウンド支配問題のε依存性

2026-10-28T00:00:00+09:00

Random Centres and the ǎrepsilon-Dependence of Constant-Round Planar Domination arXiv · 2026年10月28日本論文は、平面グラフ上の最小支配集問題に対する定数ラウンドLOCAL近似アルゴリズムを扱い、クラスタリングの段階で最重辺スター選択をランダム中心規則に置き換えています。これにより、ラウンド数の指数が改善されることを示しています。また、近似比εとラウンド数の関係を分析し、パス上では Ω(1/ε) ラウンドが必要であること、森と外平面グラフ上では Θ(1/ε) ラウンドが最適であることを明らかにしています。 ★★★★ 注目：最重辺選択を無作為中心規則に置き換え、平面グラフ上の定数ラウンド法の指数を約25.81から5.89未満へ下げたと報告している。

一次価格オークションにおける同時勾配学習：私的情報のもとで勾配ベースの学習が均衡へ収束する仕組みを検討

2026-10-28T00:00:00+09:00

Simultaneous Gradient Learning in First-Price Auctions arXiv · 2026年10月28日本論文は、一次価格オークションを例に、離散化されたベイズゲームにおける均衡学習を検討しています。著者らは、ベイズ粗相関均衡（BCCE）よりも精緻な概念であるベイズ準粗相関均衡（BSCCE）を提案し、その線形計画法による特徴づけを示しています。主な結論は、ベイズゲームの離散化を細かくするにつれ、多くの場合BSCCE集合が縮小し、その多面体の直径がゼロに近づき、連続ゲームの唯一のベイズ・ナッシュ均衡へ収束することです。

リュードベリ原子量子受信機を用いたハイブリッド非直交多元接続

2026-10-28T00:00:00+09:00

Rydberg Atomic Quantum Receiver Empowered Hybrid Non-orthogonal Multiple Access arXiv · 2026年10月28日本論文は、リュードベリ原子量子受信機（RAQR）を支援とする上りハイブリッド非直交多元接続（NOMA）構造を提案し、エネルギー効率の向上を目指す。位相測定と多ユーザー電力配分を組み合わせた、総送信電力を最小化する最適化問題を定式化し、三層の階層的分解フレームワークで解く。シミュレーションでは、直交多元接続（OMA）の基準方式と比べて総消費電力が約93％削減されたと報告されている。

最適復号下における対称線形アンサンブルのランダムアクセスに関するπ/4下界

2026-10-28T00:00:00+09:00

A π / 4 lower bound for random access in symmetric linear ensembles under optimal decoding arXiv · 2026年10月28日本論文は、指定した情報記号を復元するのに必要なランダム線形観測の期待回数を研究している。サポートが一様ランダムで、非零係数が独立にサンプリングされ、列重みが一様に有界なアンサンブルについて、最適復号の下で漸近的に正規化された期待復元時間が少なくとも π/4 であることを証明している。結果は有限体・無限体のいずれでも成り立ち、剥離復号下の二元完全対称符号について以前に得られた下界を拡張している。

DNA通信路のブロックMAP復号におけるMacKay-Neal符号の達成可能性証明

2026-10-28T00:00:00+09:00

MacKay-Neal Codes for DNA Channels under Block-MAP Decoding arXiv · 2026年10月28日本論文は、DNAリードのモデル化に用いる四元挿入・削除・置換通信路上で、固定次数のMacKay-Neal（MN）ソケットアンサンブルをブロック最大事後確率（MAP）復号で用いた場合の性能を扱う。若干数のリードの同時対称情報率が、離散的な符号化率族における極限レート6/ℓを超えるとき、アンサンブル平均のブロック誤り確率はO(1/n)であることを証明している。決定的なグラフオフセット列でも同じ極限レートと誤り上界が得られることも示している。

線形符号から多項式時間で構成する漸近的に良いランダムアクセス符号

2026-10-28T00:00:00+09:00

Polynomial-Time Constructions of Asymptotically Good Random Access Codes from Linear Codes arXiv · 2026年10月28日ランダムアクセス符号（RAC）は、q 元の入力列をより少ない q 元記号に符号化し、要求された任意の入力記号を、ランダム推測の確率 1/q より高い確率で復元できるようにする。本論文は漸近的に良い RAC という概念を導入し、多項式時間で構成する二つの方法を示す。一つは線形符号の直交配列性に基づく OA-RAC、もう一つは q 元ハミング符号などを用いた直和戦略による、任意の符号化率で実現できる符号族である。数値結果は有限長でも両構成が良好に動作することを示している。

デュアル偏波は常に最適か？新たな空間自由度の活用

2026-10-28T00:00:00+09:00

Is Dual Polarization Always Optimal? Unlocking New Spatial Degrees of Freedom arXiv · 2026年10月28日本論文は、近傍界通信で得られる新たな空間自由度に着目し、2.4 GHz帯で動作する低コストのモジュラー型三偏波アンテナを設計したものです。2つの屋内環境と1つの屋外環境で実験を行い、送信側は複数の三偏波アンテナ、受信側は単一の三偏波アンテナを用いています。その結果、このアンテナによって空間ストリーム数を最大3つまで増やせること、また2つの空間ストリームを達成できる領域を広げられることが示されています。

FlatCake：大規模言語モデル推論向けのフラットな KV キャッシュ記憶アーキテクチャ

2026-10-28T00:00:00+09:00

FlatCake: A Flat KVCache Storage Architecture for LLM Serving arXiv · 2026年10月28日本論文は、ホスト DRAM と NVMe SSD を階層的なキャッシュではなく、統一された 64 ビットアドレス空間の対等な媒体として扱う FlatCake を提案している。各 KV ブロックは作成時に、セッション単位で連続し層優先の順序で目標媒体に直接配置され、以後移動しない。実運用の Claude Code トレースでは、負荷が増えても 94% のキャッシュヒット率を維持し（Mooncake は 64%）、ピーク負荷時の平均 TTFT を 1.6 倍削減したと報告している。

ガウス型 Gray-Wyner 問題の厳密な二次漸近解析

2026-10-28T00:00:00+09:00

Exact Second-Order Asymptotics for the Gaussian Gray--Wyner Problem arXiv · 2026年10月28日本論文は、二次歪み尺度の下での二変量ガウス情報源の有損圧縮問題（Gray-Wyner 問題）を再検討し、その厳密な二次漸近結果を導出する。まず Yu（TIT 2023）による明示的な一次漸近結果を用いて境界速度の組を特定し、結合超過歪み確率の制約の下で三つの二次符号化速度間のトレードオフを特徴づける。主要な貢献は達成可能性の証明であり、離散の場合の型被覆補題に相当する共分散シェル被覆補題を導入している。最後に Berry-Esseen 定理を用いて漸近解析を行う。

無政府状態の価値を理解する：最適応答動学に関する実証研究

2026-10-28T00:00:00+09:00

Toward Understanding the Value of Anarchy: Empirical Studies on Best Response Dynamics arXiv · 2026年10月28日本論文は、ランダムに生成された重み付き行動ネットワーク型マルチエージェント最適化問題において、最適応答動学（BRD）の実験結果を検討し、文献で示された無政府状態の代償（PoA）およびランダムに均衡を選んだ場合の期待値と比較している。その結果、エージェントが他の全エージェントの行動を観測できない場合でも、単純な最適応答の仕組みはPoAの予測や一様ランダムな均衡選択を上回る傾向があることが示されている。また、複数の均衡が存在する場合、BRDはより高い性能の均衡に偏るように見えるとしている。

短時間フーリエ変換の並列実装の比較研究

2026-10-28T00:00:00+09:00

A Comparative Study of Parallel Implementations of Short-Time Fourier Transform arXiv · 2026年10月28日短時間フーリエ変換（STFT）は、長い信号の短い窓に対してフーリエ変換を行い、周波数が時間とともにどう変化するかを表します。本研究では、FFTベースの並列アルゴリズムと準並列フィードフォワード型アルゴリズムの2種類を実装して比較しています。共有メモリ、分散メモリ、ハイブリッドの3つの並列方式について、実行時間、メモリ使用量、通信コストを分析しています。

ヒント付きリスト復号のための改良ジョンソン界

2026-10-28T00:00:00+09:00

An Improved Johnson Bound for List-Decoding with Hints arXiv · 2026年10月28日本論文は、受信語の近くに距離の近い符号語（「ヒント」）が既知の場合に、誤り訂正符号のリスト復号半径が古典的なジョンソン半径を超えられるかを研究している。単一ヒントと複数ヒントの場合について最適なリスト復号半径を求め、それが自然な凸計画問題の最適値に等しいことを示している。さらに、重み付き Guruswami-Sudan 復号器に基づき、Reed-Solomon 符号をこの最適半径まで復号する効率的なアルゴリズムを与えている。

双対 Melas 符号の b シンボル重み分布と、ポアソン的ランダム性仮説について

2026-10-28T00:00:00+09:00

On the b-Symbol Weight Distribution of Dual Melas Codes and a Poisson Randomness Postulate arXiv · 2026年10月28日本論文は、双対 Melas 符号の符号語における b シンボル重みに対して、既知の結果より厳密に良い新たな下界を証明しています。線形帰還シフトレジスタ列におけるパターン計数問題を、二値多項式の特定の作用による軌道の問題に読み替える手法を用いています。同じ手法で Melas 符号のバースト被覆半径の改良下界と、双対 Melas 符号の臨界指数の新たな上界も得ています。さらに、無限ポアソン一般列の定義に基づき二値列の新たなランダム性仮説を提案し、双対 Melas 符号の符号語がこれを満たすと予想して、その一部の進展を示しています。

KSG相互情報量推定量におけるポアソン遷移と偏りの法則

2026-10-28T00:00:00+09:00

A Poisson Transition and Bias Law for KSG Mutual-Information Estimation arXiv · 2026年10月28日本論文は、サンプル数が増え、チャネルがほぼ決定的になる場合について、ガウス通信路上のKSG-1相互情報量推定量の誤差を調べている。分解能パラメータu_n=n·e^(-I_n)を定義し、その極限が正の値に収束するとき、推定誤差は計算可能な確定的な偏りB_{p,k}(u)へ平均二乗収束することを示す。この偏りは近傍計数の明示的なマーク付きポアソン法則から導かれる。

安全な無人航空機ネットワークのための軌道最適化と資源配分の同時最適化：深層強化学習によるアプローチ

2026-10-28T00:00:00+09:00

Efficient Joint Trajectory Optimization and Resource Allocation for Secure UAV Networks: A Deep Reinforcement Learning Approach arXiv · 2026年10月28日本論文は、係留型無人航空機の飛行センターと悪意ある地上の盗聴者が存在する場合の、無人航空機ネットワークにおける軌道最適化と資源配分の同時問題を扱う。無人航空機はエネルギー収穫機能を備え、送信、妨害、中継の役割を適応的に切り替えて、係留型センターへデータを届ける。秘匿レート、エネルギー消費、干渉のバランスを取る効用関数の最大化問題を定式化し、近似方策最適化（PPO）に基づく深層強化学習アルゴリズムで解く。シミュレーションでは、従来手法や他の深層強化学習手法と比べ、秘匿性能、低エネルギー消費、干渉低減の面で優れた結果が示された。

ConfluxServe：LLM推論におけるプリフィルとデコードの資源利用率と並列効率の両立

2026-10-28T00:00:00+09:00

ConfluxServe: Reconciling Resource Utilization and Parallelism Efficiency across Prefill and Decode in LLM Serving arXiv · 2026年10月28日プリフィルとデコードは資源使用が相補的である一方、好ましい並列化方式は異なります。本論文はConflux Parallelism（XP）を提案し、同一バッチ内で異なる並列方式により両フェーズを同時実行します。これを基に、TTFTとTBTの制約下でクラスタのgoodputを最大化するSLO対応サービングシステムConfluxServeを設計しました。本番ワークロードでの評価では、最も強力なベースラインに対し1.26～1.62倍のサービングgoodputの向上が示されています。

干渉共役変換：無線ネットワークの電力制御・スケジューリング・ビームフォーミングのための最も厳密な干渉線形代理

2026-10-28T00:00:00+09:00

The Interference-Conjugate Transform: The Tightest Interference-Linear Surrogate for Power Control, Scheduling and Beamforming in Wireless Networks arXiv · 2026年10月28日本論文は、無線ネットワークにおける重み付き和レート最大化の問題に対し、干渉共役変換（ICT）を提案している。ICTは、FP、WMMSE、SEFP、XMMSEなど既存の干渉線形代理の族の中で唯一の最良の要素であり、基準手法を各点で上回ることを示している。上りリンクのスケジューリング実験では、ICTは比例公平効用においてFPやSEFPより高く、1時間スロットあたりの反復回数も少ない。多セルMISOビームフォーミングでは、より速く収束する。

混雑下のプール検査：プールサイズ選択のための運用スケーリング則

2026-10-27T00:00:00+09:00

Pooled Testing under Congestion: Operational Scaling Laws for Pool-Size Selection arXiv · 2026年10月27日本論文は、確率的な到着と有限の検査能力をもつプール検査を待ち行列システムとして定式化し、固定バッチのDorfman検査と動的二閾値方策について、厳密な性能表現と漸近的スケーリング則を導出している。最適なプールサイズは有病率、検査能力、遅延の相互作用で決まり、場合によって平方根則、立方根則、あるいは有界となることを示している。

割集界を達成する線形修復付きリード・ソロモン符号の最小サブパケット化

2026-10-28T00:00:00+09:00

The Minimum Subpacketization of Reed-Solomon Codes with Linear Repair Achieving the Cut-Set Bound arXiv · 2026年10月28日本論文は、有限体上のリード・ソロモン符号について、任意のd個の補助ノードから各座標を線形かつ正確に修復でき、割集界に最適となる場合の最小サブパケット化を研究している。下界 sG_s(d+1) を導き、d(d+2)≥4(n+1) のときにはその値が sG_s(n) に一致することを示す。また、G_s(n) の有限公式と漸近的な増加の評価を与え、一般には sG_s(n) が普遍的な式ではないことを示すアフィン平面による構成例も挙げている。 ★★★★ 注目：著者らは、精密な線形修復下のRS符号の最小サブパケット数について下界sG_s(d+1)を示し、d(d+2)≥4(n+1)の場合に正確な値sG_s(n)を与えたとしている。分散ストレージ符号に関わる。

要求ごとに実行を切り替える、効率的なハイブリッドLLM推論の方式

2026-10-28T00:00:00+09:00

Request-Adaptive Execution for Efficient Hybrid LLM Inference arXiv · 2026年10月28日本論文は、モデル構造と実行環境を共同設計し、リクエストごとに推論の構成を適応させるMorphシステムを提案する。各ブロックにAttention層とSSM層を配置し、プリフィル段階のゲーティングで、デコード中は固定されるリクエスト固有の層構成を選ぶ。6つのデータセットでの実験では、既存の静的なハイブリッド基準手法より品質と効率のバランスが良いと示されている。また、システム評価ではスループットが最大3.87倍向上し、推論レイテンシも大幅に低減したとされる。

ユーザー中心クラスタリングを用いたセルフリー大規模MIMOにおける、プライバシー保護型エアオーバーザエア連合学習

2026-10-28T00:00:00+09:00

Privacy-Preserving Over-the-Air Federated Learning over Cell-Free Massive MIMO System with User-Centric Clustering arXiv · 2026年10月28日本論文は、セルフリー大規模MIMOネットワーク上で、空中波集約（OTA）により差分プライバシー付き連合学習を行うクロスレイヤー設計を検討しています。無線受信に伴う熱雑音をプライバシー保護に活用して人工雑音を減らし、アクセスポイントとユーザーの対応付け、送信電力、人工雑音分散を同時に最適化して集約分散を抑えます。数値実験では、従来の基準方式と比べて集約分散が最大89%低く、MNISTで97%のテスト精度を達成し、CIFAR-10でも一貫した改善が示されています。

合謀・頑健・ビザンチン型サーバーを含む符号化ストレージにおける私的情報検索の容量

2026-10-28T00:00:00+09:00

The Capacity of Private Information Retrieval from Coded Storage Systems with Colluding, Robust and Byzantine Servers arXiv · 2026年10月28日本論文は、T 台の合謀サーバー、U 台の頑健サーバー、B 台のビザンチンサーバーを含む MDS 符号化データベースからの私的情報検索（U-B-MDS-TPIR）を扱う。線形かつ満支持ランクの方式について容量の式を示し、K=1 または T=1 の場合には線形性と満支持ランクの制約がなくても同じ式が容量を与えると述べている。さらに、M 個のファイルから P 個を検索する場合へ構成を拡張し、P≥M/2 かつ K=1 または T=1 のとき、その多ファイル方式が容量を達成するとしている。

空間色彩モデルにおける4セル連結非交差クラスタの符号一意性

2026-10-28T00:00:00+09:00

Code uniqueness of 4-cell connected disjoint clusters in spatial chromatic model arXiv · 2026年10月28日本論文は、実体指向の空間データモデルである空間色彩モデル（SCM）における符号の問題を扱う。SCMでは各部分空間（セル）が色彩符号を持つ。先行研究で2セルおよび3セルの連結非交差クラスタの符号一意性が示されたことを踏まえ、本論文は4セルの連結非交差クラスタの色彩符号が一意であることを証明している。

TAO：LLMベースのエージェントサービス向けツール認識型共同スケジューリング

2026-10-27T00:00:00+09:00

TAO: Tool-Aware Joint Scheduling for LLM-Based Agentic Serving arXiv · 2026年10月27日本論文は、LLMベースのエージェントサービスのためのツール認識型共同スケジューリングフレームワーク「TAO」を提案しています。ツールの戻り準備状況、時間減衰を伴うノード固有のキャッシュ価値、トークン占有量を組み合わせ、容量制約の下で動的計画法により待機中のセッションを選択・配置します。報告された12のモデル・ワークロード・並列度の設定において、各指標で最良の評価済みベースラインと比べ、遅延は最大26.8%、平均初トークン時間（TTFT）は最大36.3%削減され、デコードスループットは最大29.5%向上しました。

PipeLink：契約に基づくGPUカーネルコンポーネントのリンク手法

2026-10-27T00:00:00+09:00

PipeLink: Contract-Guided Linking of GPU Kernel Components arXiv · 2026年10月27日本論文は、GPUカーネルコンポーネントを契約に基づいてリンクするツールPipeLinkを提案する。各コンポーネントは要求と提供を記述した契約を持つLTOオブジェクトとして個別にコンパイルされ、PipeLinkが契約を照合し、SMの資源配置を一括で求めてコンポーネント間の転送を生成する。HopperおよびBlackwell GPU上の51構成で、一体としてコンパイルした場合との差は0.2%以内であった。 ★★★★ 注目：PipeLinkは契約に基づくGPUカーネル部品リンカで、各部品が要求と提供を記した契約付きで個別にコンパイルされ、SMのリソース配置を一括で解いて部品間の転送を生成する。著者らはHopperとBlackwellの51構成で単一ユニットとの差が0.2%以内だと報告し、デコードを2.16倍高速化する合成例などを示している。

チャネルエイジング下における互恵性ベースの空中分割学習の否定的結果：安定性、整列、幾何学

2026-10-27T00:00:00+09:00

Negative Results for Reciprocity-Based Over-the-Air Split Learning Under Channel Aging: Stability, Alignment, and Geometry arXiv · 2026年10月27日本論文は、チャネルエイジングによって送信機へ戻される微分信号が回転・減衰する、互恵性ベースの空中分割学習を検討しています。7つのケーススタディで数値予測、メカニズム検証、競合する予測を組み合わせて分析し、多くの学習精度の予測は支持されなかったものの、一部の局所的な物理関係は成り立つことを示しています。

深い穴と開口：格子サンプリングされたランダム波場の経験相関に関する符号則（格子上でサンプリングしたランダム波の経験相関の符号規則に関する論文）

2026-10-27T00:00:00+09:00

Deep Holes and Aperture: Sign Laws for the Empirical Correlation of Lattice-Sampled Random Wave Fields arXiv · 2026年10月27日本論文は、有界な開口内で格子上にサンプリングしたガウス型ランダム波場について、再インデックス後の残差がVoronoi胞内で経験的ラグ相関の実部を正に保つかを検討する。正方格子、六角格子、単純立方格子、体心立方格子の符号クラス数を示し、失敗確率の漸近的および非漸近的な開口則を導出する。レイリーフェージングの鏡面経路がある場合の失敗の下限が生じる条件も扱う。

二値信念伝播の不動点の個数の計算：一般次数、シジジー、実数解

2026-10-27T00:00:00+09:00

Counting the Fixed Points of Binary Belief Propagation: Generic Degree, Syzygies, and Real Solutions arXiv · 2026年10月27日本論文は、二値対ごとモデル上の信念伝播（belief propagation）の不動点の個数を研究する。複素パラメータの下で、有限な無ループ多重グラフから得られる代数族の一般次数を決定し、次数1の頂点を含まない辺集合上の和として与える。その二つの幾何学的実現を示し、強磁場の下で実不動点の下界を分析して、辺接続環の最小加群生成元の個数との関係を明らかにする。関連する結果は Lean 4 で形式化されている。

デジタルツインと確率的逆学習に基づく無線測位手法

2026-10-27T00:00:00+09:00

Digital Twin-Guided Wireless Localization via Probabilistic Inverse Learning arXiv · 2026年10月27日本論文は、サイト固有のデジタルツイン（DT）を、簡易な分散インフラで無線測位に活用する方法を検討しています。単一アンテナのアクセスポイントを用いる確率的手法PRISMを提案し、測位を確率的逆問題として定式化します。多ノードのチャネルインパルス応答から学習した提案分布で候補位置を生成し、DTとの整合性で候補を重み付けして推定を洗練します。10台の単一アンテナAPを用いた場合、中央値誤差は約0.7mで、再学習なしでもDT特徴が劣化した状況で有効性を保ちます。

稀疏行列積における多次元の偏りを、競合を考慮したスケジューリングで抑える（技術報告）

2026-10-27T00:00:00+09:00

Taming Multi-Dimensional Skew in Sparse Matrix Multiplication with Contention-Aware Scheduling [Technical Report] arXiv · 2026年10月27日本論文は、データの偏りによって稀疏行列積（SpGEMM）の性能が低下する問題を扱う。原因として、計算コスト・出力密度・データ局所性の間の多次元的な不均衡と、密な部分構造によるキャッシュ競合の二つを挙げる。著者らは、適応的morselスケジューリング（AMS）を提案し、競合を考慮した負荷分散、データを考慮した同時マルチスレッディング起動機構、morselごとに累積器を選ぶハイブリッド方式を組み合わせる。行列の二乗、関係クエリ、グラフ解析などの評価では、偏りのある負荷でAMSが既存手法を大きく上回り、偏りのない負荷では同等の性能を示したと報告している。

流体アンテナシステムのチャネル推定の再考：物理情報付き演算子学習

2026-10-27T00:00:00+09:00

Rethinking Channel Estimation for Fluid Antenna Systems: A Physics-Informed Operator Learning arXiv · 2026年10月27日本論文は、流体アンテナシステムのチャネル推定を、射影されたヘルムホルツモデルで制約された確率的逆場再構成問題として定式化します。電磁情報理論に基づくスペクトル漏れ解析により、この問題が周波数領域の逆デコンボリューションに帰着することを示しています。雑音が多く劣決定な無線環境向けのU字型フーリエニューラル演算子（UFNO）を提案し、物理を考慮したSobolev損失で学習させます。シミュレーションでは、既存のベンチマークより高精度で、高い空間・周波数分解能において反復解法より推論遅延が桁違いに小さいことが示されています。

33 GHz時変チャネルにおけるRMS遅延拡がり推定の電力遅延プロファイル閾値への感度

2026-10-27T00:00:00+09:00

Sensitivity of RMS Delay Spread Estimation to Power Delay Profile Thresholding in Time-Varying Channels at 33 GHz arXiv · 2026年10月27日本論文は、33 GHzのミリ波時変チャネルにおいて、RMS遅延拡がりの推定値が相対的な電力遅延プロファイル（PDP）の閾値によってどう変化するかを調べたものです。解析には、移動車両のある動的な道路環境で行った広帯域チャネルサウンディング測定データを用いています。閾値を-20 dBから-50 dBまで変えたところ、中央値は約140 nsから168 nsへ、90パーセンタイル値は200 nsから210 nsへ増加しました。両統計量は低い閾値で収束し、-40 dBが実用的な収束水準となることが示されています。

トークン系はいつ安定するか：互換性制約とコミュニティ構造

2026-10-27T00:00:00+09:00

When do token systems stabilize? Compatibility constraints and community structure arXiv · 2026年10月27日本論文は、エージェント間に互換性制約がある場合のトークンによるサービス交換システムを研究している。システムが安定するための必要十分条件を示し、利用可能な提供者のうち残高が最も少ない者を選ぶ最小トークン規則が最適な安定領域を達成することを証明している。さらに、この判定基準を確率ブロックモデルから生成したランダムなトークン系に適用し、安定を妨げる要因として、コミュニティ群または個々のエージェントのサービス機会の不足という二つを挙げている。

有限体：根集合、フロベニウス写像、代数構造（専門書）

2026-10-27T00:00:00+09:00

Finite Fields: Root Sets, Frobenius, and Algebraic Structure arXiv · 2026年10月27日根集合、フロベニウス軌道、トレース双対性、巡回加群を通じて有限体の理論を展開する専門書である。多項式の構成と代数符号理論への応用を扱い、巡回符号、BCH 符号、ランク距離符号、トレース符号などを取り上げている。指標の直交性、ガウス和、ヤコビ和、およびWeil 界の証明にも触れ、体の構造・軌道構造・線形従属性を結びつける明示的な議論を重視している。

最大ナッシュ厚生の特徴づけ：羨望のなさと比例性

2026-10-27T00:00:00+09:00

Characterizing Maximum Nash Welfare: Envy-Freeness and Proportionality arXiv · 2026年10月27日分割不可能な財の配分問題において、最大ナッシュ厚生ルールを検討する。このルールは「1財までの羨望のなさ」を満たす唯一の厚生主義ルールであることが知られている。本論文は、この公平性条件を、任意の固定された整数kに対する「k財までの羨望のなさ」または「k財までの比例性」というより弱い要件に置き換えてもよいことを示す。この特徴づけは、同一の財を含む選好プロファイルに対しても成り立つ。

Reed-Muller符号RM(m-7,m)の厳密な重みスペクトル：Carlet-Solé予想の反例

2026-10-27T00:00:00+09:00

The Exact Weight Spectrum of RM(m-7,m): A Counterexample to the Carlet-Solé Conjecture arXiv · 2026年10月27日この論文は、ブール関数とReed-Muller符号RM(m-7,m)の重みスペクトル、すなわち各重みがどの程度現れるかを研究している。著者はアフィン幾何学とフーリエ解析を組み合わせ、RM(7,14)について従来予想されていた八つの重みを除外し、その結論をm≥14のすべての場合に拡張した。これによりCarlet-Solé予想の反例を与えている。

一般化ピンチングアンテナによるDoF頑健なMIMO設計

2026-10-27T00:00:00+09:00

Design of DoF-Robust MIMO via Generalized Pinching Antennas arXiv · 2026年10月27日本論文は、ユーザーと基地局の距離のばらつきによりマルチユーザーのチャネル行列がランク落ちし、空間自由度（DoF）が失われる問題を扱っている。ピンチングアンテナをユーザーの近くに配置することで、マルチユーザーのチャネルGram行列を条件の良いほぼ対角構造にできることを示している。ランク落ち確率と不通確率により評価され、解析とシミュレーションの結果から、空間的に離れたユーザーへの接続を支えつつ空間自由度を維持できることが示されている。

Agar：マイクロサービス・アプリケーションのWhat-if分析

2026-10-27T00:00:00+09:00

Agar: What-If Analysis for Microservice Applications arXiv · 2026年10月27日本論文はマイクロサービス向けの反事実的性能分析ツール AGAR を提案する。各コンポーネントの正確な値を予測する代わりに、観測されたすべての振る舞いを含み、かつ端から端までの結論に役立つ程度に厳密な、単純で解釈しやすい境界を学習し、それらを組み合わせてSLO（サービスレベル目標）の実現可能性を問う。これにより自動スケーリングを、SLOを満たす最小のリソース割り当ては何か、という反事実的な問いとして定式化する。三つのマイクロサービス・アプリケーションでの評価では、導出された自動スケーラーは最先端の水平自動スケーラーに比べ、アプリケーションのSLOを満たしつつCPU割り当てを最大36.8%削減した。

ノイズがもたらす余剰利得：後悔なし学習者に対する戦略的プレイ

2026-10-27T00:00:00+09:00

Noise Shapes the Surplus: Strategic Play Against No-Regret Learners arXiv · 2026年10月27日本論文は、ゼロ和ゲームにおいて、摂動された利得情報と減衰する学習率を用いる後悔なし学習者（FTRL型アルゴリズム）から、オプティマイザーがミニマックス基準を上回る累積利得（余剰）をどの程度得られるかを検討している。被択的な戦略では定数オーダーの余剰しか得られないこと、更新規則と平均応答を知る最適化者は平均応答が有利な場合にΩ(1/η_T)の余剰を得られること、平均応答が不利な場合でも交互の能動的プレイによりΩ(∑η_t)の余剰を得られることを示している。標準的な学習率では、平均ゼロで有限分散の摂動に対してΩ(√T)の速度が回復されるとしている。 ★★★★ 注目：ゼロ和ゲームで、減衰学習率とノイズを持つFTRL学習者に対しても戦略的余剰を得られると示す。定数、Ω(1/η_T)、Ω(∑η_t)の3種の結果を挙げ、η_t∝t^{-1/2}ではΩ(√T)を回復するとしている。

多次元における戦略耐性のある施設配置の最適性と不可能性

2026-10-27T00:00:00+09:00

Optimality and Impossibility in Multidimensional Strategyproof Facility Location arXiv · 2026年10月27日本論文は、社会的費用（各エージェントから最寄りの施設までの距離の総和）の最小化を目的として、多次元ノルム空間における施設配置問題を検討する。ユークリッド平面における単一施設について、決定論的な戦略耐性（SP）メカニズムの最適近似比が、座標ごとの中央値（CM）で得られる比と一致することを示し、その最適性結果から匿名性の仮定を除いている。また、非ユークリッド空間ではCMが常に最適とは限らないことを示し、二つ以上の施設の場合については不可能性結果を提示している。

学習強化型調整メカニズム：需要予測を用いて渋滞ゲームの均衡効率を改善する研究

2026-10-27T00:00:00+09:00

Learning-Augmented Coordination Mechanisms arXiv · 2026年10月27日本論文は、利己的行動によって資源配分の効率が低下する問題を扱う。需要の予測（不正確な場合もある）を用いてコストを修正する学習強化型調整メカニズムを提案し、信頼度パラメータβによって予測が正確な場合は最適に近い性能を、最悪の場合でも良い均衡（PoS）を保証する。さらに、PoAロバスト性の上界や不可能性の結果も示している。 ★★★★ 注目：混雑ゲームの協調機構に学習強化の考えを導入し、正確な予測の下で近似最適性能を、最悪の良い均衡（PoS）の保証とともに目指す機構を提案し、不可能性結果も示している。

JustGoal：目標だけで与えるAIベースラインが専門家によるGPUカーネルを上回る

2026-10-27T00:00:00+09:00

JustGoal: With Only a Goal, the AI Baseline Is Above the Expert Kernels arXiv · 2026年10月27日本論文は、汎用エージェントに最適化目標と制約のみを与え、カーネル専用の知識ベースや事前定義されたワークフローを与えないベースライン手法JustGoalを提案している。NVIDIA B200 GPUでは、10個の演算子のうち8個でオープンソースライブラリを上回り、演算子ごとの幾何平均高速化率は1.14倍から2.34倍であった。比較可能な9個の演算子のうち5個では、公開されている最速の専用エージェントによるカーネルも上回った。著者らは、専用の仕組みは同じモデル・同じ範囲の目標専用ベースラインに対して明確な利点を示すべきであり、基盤モデルが変わるたびに再評価すべきだと結論づけている。

ベクトルチャネル上のバイスタティックISACの基本限界

2026-10-27T00:00:00+09:00

On the Fundamental Limits of Bistatic ISAC Over Vector Channels arXiv · 2026年10月27日本論文は、ベクトルチャネル上のバイスタティック統合センシング・通信（ISAC）システムの基本限界を研究している。まず並列チャネルのクラスについて、可達性と逆定理を示し、容量-歪み関数C(D)の単一文字による特徴づけを得ている。加法的ガウス状態を持つベクトルガウスチャネルについては、ガウス重畳符号化の最適性を証明し、容量-歪み-電力関数C(D,P)の厳密な特徴づけを導いている。 ★★★★★ 注目：ベクトル通信路上のバイスタティックISACの基本限界を扱い、並列通信路では容量-歪み関数の単一文字による一致する達成性・逆定理を示す。加法的ガウス状態を持つベクトルガウス通信路では、チャネル増強とフィッシャー情報行列の不等式により、ガウス重畳符号化が最適であることを示し、C(D,P)を特徴づけるとしている。

メッセージパッシング復号器の熱力学的特徴づけ：枠組みと初期研究

2026-10-27T00:00:00+09:00

Thermodynamic characterization of message-passing: Framework and initial study arXiv · 2026年10月27日本論文は、ミスマッチコスト枠組みを用いてメッセージパッシング復号器の熱力学的効率を研究する。この枠組みは、回復不能なエネルギー損失の計算可能な下限を与える。二元消失通路上で伝送された[7,4]ハミング符号を例に、チャネルが誘導する初期化統計と復号中のアルゴリズム状態分布の段階的な変化が、総ミスマッチコストをどのように決めるかを示す。復号動態、入力統計、ハードウェア特性が共同で熱力学的コストを決定し、省エネルギーな復号器設計への道筋を示す。

INC-MoE：ネットワーク内集合通信と専門家計算を重ね合わせる専門家並列MoE推論手法

2026-10-27T00:00:00+09:00

INC-MoE: Overlapping In-Network Collectives and Expert Computation for Expert-Parallel Mixture-of-Experts Inference arXiv · 2026年10月27日本論文は、専門家並列の混合専門家（MoE）層を提案し、トークンの配送と結果の集約という2つの通信処理をネットワークスイッチにオフロードし、それらの集合通信と専門家計算を互いに重ね合わせる手法（INC-MoE）を示している。四ノードの拡張構成をエミュレートした環境で、OLMoEのプリフィル処理を用いて評価され、vLLMの標準の集合通信経路と比べて、最初のトークンまでの時間が最大33%短縮、スループットが最大50%向上し、出力は一致したと報告されている。

低ランク特異値摂動による辛交錯の逆定理

2026-10-26T00:00:00+09:00

Converse symplectic interlacing via low-rank singular value perturbations arXiv · 2026年10月26日本論文は辛交錯定理の逆を証明する。大域的な辛スペクトルと、2k段の交錯不等式を満たす局所的な辛スペクトルが与えられたとき、指定された大域スペクトルをもち、ある主部分行列が指定された局所スペクトルをもつ実対称正定値行列を構成する。主要な手法は、s主圧縮を秩kの特異値摂動に帰着させることである。ガウス量子周辺問題において、辛交錯不等式は大域と局所モードの周辺問題の完全なスペクトル両立条件であることを示す。 ★★★★ 注目：著者らは辛スペクトル交錯定理の逆命題を示し、2k 段交錯不等式を満たす全体・局所辛スペクトルを実現する実対称正定値行列を構成したとし、その鍵は低ランク特異値摂動への帰着である。

学習が均衡をどのように選択し、いつ共謀につながるか

2026-10-27T00:00:00+09:00

How Learning Selects Equilibria and When It Leads to Collusion arXiv · 2026年10月27日本論文は、有限の状態と行動を持つ無限期割引マルコフゲームにおいて、学習アルゴリズムの設計が均衡選択にどう影響するかを検討している。確率的に安定な状態が、各プレイヤーの変換後割引価値の最小値を最大化する近似定常ナッシュ均衡に対応することを示す。繰り返しクールノー競争では、確率的に安定なすべての状態が、各企業の割引利潤の最小値がクールノー・ナッシュ基準を上回る近似的公共完全均衡に対応し、これらの条件下では共謀が不可避であるとしている。 ★★★★★ 注目：著者らは確率的安定性により均衡選択を特徴づけ、反復クールノー博弈で学習動学が近似的共謀へ至るとの議論を示し、アルゴリズム共謀研究への新たな均衡選択の視点を提供するとしている。

無後悔学習者に対する戦略最適化の計算複雑性：容易な場合は純粋戦略、混合戦略でも困難

2026-10-27T00:00:00+09:00

The Complexity of Strategizing Against No-Regret Learners: Pure When It Is Easy, Hard Even When Mixed arXiv · 2026年10月27日本論文は、有限期間の繰り返しゲームにおいて既知のオンライン学習者に対する先見的な戦略最適化の計算複雑性を研究している。一般和ゲームでは、P≠NPの仮定の下で、混合戦略を出力できても、多項式時間の最適化器は最適な純粋行動系列の報酬に対し定数cの範囲内の報酬を達成できないことを示す。対照的に、ゼロ和ゲームでは決定論的な純粋行動で、混合戦略に匹敵する利得保証を効率的に得られる。 ★★★★ 注目：既知の学習者に対する戦略最適化の計算複雑性を扱い、一般和ゲームでは混合出力を許しても純粋行動列の報酬に対する定数倍の近似が多項式時間では不可能（P≠NPの下）と示し、その困難性を平均ベースの学習者へ拡張する。一方、ゼロ和ゲームでは純粋戦略でFTRL相手の余剰保証を効率的に回復できるとしている。

明示的なリード・ソロモン部分空間設計：最適なリストおよび線形復号

2026-10-27T00:00:00+09:00

Explicit Reed-Solomon Subspace Designs: Optimal List and Line Decoding arXiv · 2026年10月27日本論文は、拡大体上のリード・ソロモン符号を明示的に構成する方法を示し、誤り割合1-R-εまでリスト復号でき、リストサイズがO((1-R)/ε)で最適であることを述べています。より単純な強明示的構成として、リストサイズ(1/ε)^O(1/ε)の評価点の構成も与えています。両構成に対して決定的なリスト復号アルゴリズムを提示しています。 ★★★★★ 注目：著者は明示的なReed-Solomon符号の構成を与え、子空間設計によりリストサイズを定数かつ近最適としている。線復号と近接性に関する新たな帰着も示すと述べている。

代表状態と有界誤差を用いた決定的因果的量子化の研究

2026-10-20T00:00:00+09:00

Deterministic Causal Quantization with Representative States and Bounded Error arXiv · 2026年10月20日本論文は、経路ごとの誤差を ε 以下に抑える決定的な因果的量子化を研究し、送信されたアドレスのみから更新される共有代表点を用いる。先入れ先出し置換を伴う中点実現について、アドレスのエントロピー率をプロセスの ε エントロピーと比較し、有限のスカラー ε エントロピーをもつ定常源に対する差の上界を示す。さらに、格子初期化、自己回帰源、有限個の中心をもつ定常過程についての結論も示している。

ラウンドロビン方式の純粋ナッシュ均衡の公平性の再検討

2026-10-17T00:00:00+09:00

Revisiting the Fairness of Pure Nash Equilibria of Round-Robin arXiv · 2026年10月17日加法的評価関数の下で、ラウンドロビン方式のすべての純粋ナッシュ均衡が、真の評価に基づいて1財除去後の無羨望（EF1）を満たす配分をもたらすわけではないことを証明した。これは Amanatidis らの先行研究（WINE 2021、Math. Oper. Res. 2024）の主張を訂正するものである。また、固定された再帰的均衡ピッキング系列機構のすべての純粋ナッシュ均衡が、1/2-EF1 および1財除去後の比例性（PROP1）を満たすことを示した。さらに、すべての均衡について 2/3-EF1 より厳密に良い保証は得られないことを示す例を与えている。

最適な台集合サイズ検定

2026-10-14T00:00:00+09:00

Optimal Support Size Testing arXiv · 2026年10月14日本論文は、未知の確率分布が n 個の要素の上に台を持つのか、全変動距離で ε 以上離れているのかを判定する、最適な台集合サイズ（support size）検定器を提示している。そのサンプル複雑度は Θ(n/(ε log n)) であり、Ferreira Pinto Jr. と Harms（STOC 2025）による従来の最良結果 O(n/(ε log n) · log(min{1/ε, n})) を改善している。さらに台集合サイズに対する比較的良い下界も与えている。 ★★★★★ 注目：著者は台集合サイズの最適検定器を提示し、標本複雑度をΘ(n/(ε log n))とした。先行結果の対数因子を改善し、下界も与えている。

LZ77 と LZ-End・文法圧縮の間の対数的分離

2026-10-24T00:00:00+09:00

Logarithmic Separation between LZ77 and LZ-End and Grammar Compression arXiv · 2026年10月24日本論文は、LZ77 と LZ-End の間、および LZ77 と文法圧縮（grammar compression）の間に対数的な分離が存在することを示している。つまり、これらの圧縮手法の圧縮効率の差が対数オーダーに達することを証明している。

散乱測度と情報幾何：有限測度で散乱実験を記述し、Fisher計量でその情報構造を解析

2026-09-28T00:00:00+09:00

Scattering Measures and Information Geometry arXiv · 2026年9月28日著者は散乱実験を結果空間上のパラメータ付き有限測度として定式化し、Fisher計量によって定まる情報幾何を構築しています。散乱測度は全質量と正規化された形状に分解され、Fisher情報は散乱強度全体の変化と結果間の再配分に分けて扱われます。測定過程は散乱測度に作用する確率核または劣確率核で表され、これらが Fisher 情報を縮小することで、最適実験計画の理論と結び付けられています。同じ有限測度の構造は、検出が不完全な量子測定にも現れるとされています。

統計的ダークマター：シナジーは至る所にあるが捉えにくい

2026-09-28T00:00:00+09:00

Statistical Dark Matter: Synergy is everywhere but is hard to capture arXiv · 2026年9月28日本論文は、三つ以上の変数全体にのみ存在し、どの部分集合にも含まれない情報理論上の「シナジー（相乗効果）」を扱う。多変量情報理論の最新成果を用い、複雑系ではシナジーが従来考えられていたより遥かに広く見られることを示す。また、一般的な統計モデリングの手法はこうした相乗構造を大きく過小評価することも明らかにしている。

bfloat16 行列積向け片側 ABFT の誤検知上限の較正と、検出できない場合

2026-09-29T00:00:00+09:00

Calibrating the Checksum: An Empirical False-Positive Bound for One-Sided ABFT on bfloat16 GEMM, and What It Fails to Catch arXiv · 2026年9月29日本論文は、行列積の誤りを検出する算術ベースの耐障害性（ABFT）を扱います。従来は float32 でのみ評価されていました。K=4096 の bfloat16 条件で約 8e7 個のクリーンな残差に一般化パレート分布を当てはめ、行列積あたりの誤検知率 1e-6 に対応する閾値は約 3.14e-6 と示されました。この出力レベルの摂動モデルでは、単一指数ビット反転の 304/400（76%）を検出し、低仮数ビット反転は 0/600 でした。実機の故障率を推定するものではありません。

強EFX可向き付け可能グラフの多項式時間による特徴付け

2026-09-29T00:00:00+09:00

A Polynomial Time Characterization For Strongly EFX Orientable Graphs arXiv · 2026年9月29日本論文は離散公正分配の図的評価モデルを扱い、頂点をエージェント、辺を財とみなします。著者らは、どのようなグラフが任意の評価関数に対してEFX向き付けを必ず持つか（強EFX可向き付け可能グラフ）を、多項式時間で判定できる形で特徴付けました。具体的には、連結グラフが二部グラフであるか、ブロック分解に非二部ブロックがちょうど1つ含まれ、その中に条件を満たす頂点が存在する場合に限ることを示しています。論文によると、この証明は人間の介入のもとでAIが発見したとされています。 ★★★★ 注目：強EFX可定向グラフを多項式時間で特徴付けた。連結グラフは二部グラフであるか、非二部ブロックが1つだけあり次数2の頂点を除くと二部になる場合に限るとし、Christodoulouらの未解決問題に答えたと報告している。

複数商品オークションにおける決定的メカニズムの有効性（単一買い手・複数商品の最適収入と単純な決定的オークションの近似比を扱う研究）

2026-09-29T00:00:00+09:00

On the Power of Determinism in Multi-Item Auctions arXiv · 2026年9月29日本論文は、単一の加法的買い手と異なる価値分布をもつ複数商品を扱う多商品独占オークションを研究しています。商品を個別に販売する方式、一括で販売する方式、およびその良い方を選ぶ方式という3つの単純な決定的オークションの近似比を分析しています。独立同分布の2商品の場合には、近似比の厳密な上界を与えています。さらに、最適収入と両方式の収入の間に REV ≤ 3 max{SREV, BREV} という関係を示し、従来の界を改善しています。 ★★★★ 注目：単一買い手・複数商品のオークションにおける三つの決定的拍卖の近似比を分析し、二商品同分布の場合に紧界1+W(1/e)≈1.278を示し、REV≤3·max{SREV,BREV}を改善結果として挙げている。

複数の同時提案者の地理的インセンティブに関する研究

2026-09-28T00:00:00+09:00

On the Geographic Incentives of Multiple Concurrent Proposers arXiv · 2026年9月28日本論文は、複数の同時提案者（MCP）を持つシステムで、提案者が地理的に分散する動機があるかを検討している。モデルでは、提案者は利用者の市場シェアを最大化するため立地を戦略的に選び、利用者は包含までの時間を比較して送信先を決める。包含までの時間は、利用者と提案者の距離、および提案者と最寄りの定足数の証明者との距離（quorum radius）から成る。論文は、提案者がquorum radiusを最小化するように立地を選ぶことを証明する。提案者が証明者を兼ねる場合は同所配置に、役割が分かれる場合は地理的多様性につながる。さらに、事前確認や高速な検証者間接続がquorum radiusの影響を弱め、同所配置の動機をさらに不安定にすることも示している。

有限畳み込みモデルにおける近似一様性（有限個の台をもつ二つの分布の和が一様分布にどれだけ近いかを調べる研究）

2026-09-29T00:00:00+09:00

Approximate Uniformity in Finite Convolution Models arXiv · 2026年9月29日本論文は、台が固定された二つの独立な分布の和が一様分布をどの程度近似できるかを調べる。距離として、マンハッタン距離、ユークリッド距離、前向きカルバック・ライブラー発散、直線距離に基づくワッサースタイン1距離を用いる。二つのモデルで明示的な結果を示し、加法的雑音通信路の符号化容量に関する最近の予想にも応用している。

MIMO機器間（D2D）干渉ネットワーク向けサロゲート拡張分数計画法（SEFP）

2026-09-29T00:00:00+09:00

Surrogate-Enhanced Fractional Programming for MIMO Device-to-Device Interference Networks arXiv · 2026年9月29日本論文は、マルチストリームMIMO機器間（D2D）干渉ネットワークにおける重み付き和レート最大化問題を扱います。スカラー形式のSEFPを、エルミート関数計算を用いて行列形式へ拡張し、行列SEFPの枠組みを構築しています。また、XMMSE法がSEFPの特殊ケースであることを示し、その見方に基づいて柔軟な関連付けのMIMO D2Dネットワーク向けSEFPLinQを提案しています。数値結果では一貫した性能向上が示されています。

リード・ソロモン符号のサンフラワー：共通部分空間を持つ符号族の研究

2026-09-27T00:00:00+09:00

Sunflowers of Reed--Solomon Codes arXiv · 2026年9月27日本論文は、任意の二つの符号の共通部分が同一の固定部分空間となるリード・ソロモン符号の族「リード・ソロモン・サンフラワー」を提案し研究している。一般化されたV行列を用いた代数的判定基準を与え、計数と構成によって族の大きさを調べている。次元2では、すべての異なる符号がサンフラワーを形成し、その大きさを決定している。高次元では、再帰的構成と貪欲法による存在論証を示している。

Heddle：異種GPUクラスタにおける並列化計画のための構造テンプレート学習

2026-09-28T00:00:00+09:00

Heddle: Learning Structural Templates for Parallelism Planning on Heterogeneous GPU Clusters arXiv · 2026年9月28日本論文は、異種GPUクラスタ向けの学習ベースの並列化計画器Heddleを提案します。計画問題をパイプライン構造の探索に還元し、多様なクラスタ構成からオフラインで構造テンプレートを学習して計画を構築します。評価では、GPUの種類やノード規模の異なるクラスタで、既存の5つの計画器の中で最良の計画と同等以上の性能を示し、高密度モデルではスループットが最大84.5%向上、MoEモデルでは最大4.6倍になったと報告されています。

1ビットDACを用いたMIMO-OFDM型レーダー通信一体化システムの効率的な送信波形設計

2026-09-29T00:00:00+09:00

Efficient Transmit Waveform Design for MIMO-OFDM DFRC Systems with 1-Bit DACS arXiv · 2026年9月29日本論文は、1ビットデジタル-アナログ変換器（DAC）を備えたMIMO-OFDM型レーダー通信一体化（DFRC）システムの効率的な波形設計を検討しており、この分野は文献でまだ十分に研究されていない。目標の角度Fisher情報行列のトレースを最大化し、相互干渉（CI）による記号誤り確率の制約と時間領域の1ビット送信アルファベット制約を課した大規模な非線形整数計画問題として定式化している。時間領域と周波数領域を交互に更新する非厳密交互方向乗数法（ADMM）を提案し、シミュレーションでは良好なDFRC性能が示されている。

HARS：初期シンドロームに基づくパラメータ写像と局所信頼度重み付けを用いたLDPCビットフリッピング復号

2026-09-29T00:00:00+09:00

HARS: LDPC Bit-Flipping Decoding With Initial-Syndrome-Conditioned Parameter Mapping and Local-Reliability Weighting arXiv · 2026年9月29日本論文は、局所的な通信路信頼度と初期シンドロームによるパラメータ選択を組み合わせたビットフリッピング復号器HARSを提案します。初期シンドロームの重みに応じて、フレームごとの基本重み、信頼度係数、閾値減衰係数、摂動振幅が決まります。PEGRegおよびWiMAX符号のシミュレーションでは、校正済みのSM-NGDBFベースラインと比べて誤り率と平均反復回数が低減されました。XC7A200T FPGAへの実装結果も示されています。

単一ラベル設定におけるDNAラベリング容量の研究

2026-09-29T00:00:00+09:00

On the Capacity of DNA Labeling in the Single-Label Setting arXiv · 2026年9月29日DNAラベリングは、ラベルの位置を記録することでDNA配列を区別する手法で、その容量は配列長が無限大に近づく際に区別できる配列数の指数的増加率として定義されます。本論文ではラベリング過程を決定的通信路として定式化し、その零誤り容量がラベリング容量に等しいことを示します。単一ラベルの場合はスターグラフで表され、すべてのスターグラフの零誤り容量を導出することで、単一ラベルのすべてのケースを完全に特徴づけています。

非線形価格設定により、データ販売者の最適化問題が再び解けるようになる

2026-09-29T00:00:00+09:00

Non-Linear Pricing Restores Tractability for a Data Seller arXiv · 2026年9月29日予算制約のある買い手に複数のデータセットを販売する際の価格設計を扱う論文です。販売者は各データセットに、購入量を支払総額に対応させる価格関数を割り当てます。先行研究は線形価格に限定すると最適化が計算困難であることを示していましたが、本論文は一般的な関数による価格設定を許すと、収益が向上し計算も多項式時間で可能になることを示します。最適な価格関数は区分線形凸となり、全体の屈曲点数は買い手の数以下です。

Walker衛星コンステレーションの経路表が周期的でないことについての研究

2026-09-29T00:00:00+09:00

On the Lack of Periodicity of Walker Satellite Constellation Routing Tables arXiv · 2026年9月29日本論文は、Walkerコンステレーションにおける衛星配置の時間変化を、トーラス上の平行移動による力学系として解析し、固定地上中継局を利用した経路制御へ拡張する。決定論的で時間不変な経路規則から得られる経路表は、地球自転と衛星の角速度比が有理数なら周期的に、無理数なら非周期的になるという、トーラス流の二分性を受け継ぐことが示される。非周期の場合でも長期平均は明示的な不変測度に関する系集団平均として計算できる。さらに、遠隔都市間の往復遅延について、星座と地上光ファイバーを比較する例が示される。

ParaAnya：プラグアンドプレイの出力キャッシュで並列拡散サンプリングを高速化する手法

2026-09-29T00:00:00+09:00

ParaAnya: Accelerating Parallel Diffusion Sampling with Plug-and-Play Output Caching arXiv · 2026年9月29日拡散モデルのサンプリングは時間順に逐次進むため計算負荷が大きい。並列時間ソルバーはスライディングウィンドウで並列に生成するが、ウィンドウの重なりにより同じ時刻を繰り返し計算することになる。ParaAnya は入出力のペアをキャッシュし、重なる時刻でその結果を再利用して、キャッシュミスした時刻だけを GPU に割り当て、関数評価回数を減らす。Stable Diffusion v1.5 では、キャッシュなしの版に比べ 1.30〜2.43 倍の高速化を示し、CLIP スコアは同程度を保った。

特異点最適なランク距離 CSS 符号：等号構造と厳密な射影回復半径

2026-09-29T00:00:00+09:00

Singleton-Optimal Rank-Metric CSS Codes : Equality Structure and Exact Projected-Recovery Radii arXiv · 2026年9月29日本論文は、共有制御に起因する相関故障（物理的な台は密だが基底体上ではランクが低い）を扱うため、ランク距離量子符号を研究している。Calderbank–Shor–Steane 符号（縮退符号を含む）について非対称なランク距離 Singleton 限界を証明し、可換な最大ランク距離行列符号によって等号条件を特徴づけている。論理次元が正のSingleton最適対では、測定されたシンドロームが扇区ランク距離の半分より小さい半径で、安定化子を法とした射影誤りを正確に決定する。

移動環境における地域デジタルツインのための条件付きカバレッジ貢献者選択

2026-09-29T00:00:00+09:00

Conditional-Coverage Contributor Selection for Regional Digital Twins Under Mobility arXiv · 2026年9月29日本論文は、固定インフラのない移動環境で、混雑した放送ネットワーク上の地域デジタルツインへの貢献者の受け入れをどう調整するかを扱います。提案プロトコルは、周期の期限内に、タイムリーかつ重複のないカバレッジ向上が混雑価格を上回る貢献者だけを受け入れ、送信前の評価には13バイトのビーコン要約を用います。標準準拠のシミュレーションでは、ETSI冗長性緩和と同程度の負荷で、及び時のアクション可能なカバレッジ不足が5.6%から1.4%に低下したと報告されています。

北極型プロダクトミックス・オークションの解法

2026-09-29T00:00:00+09:00

Solving the Arctic Product-Mix Auction arXiv · 2026年9月29日本論文は、予算制約のある入札者が複数の代替可能な財への選好を表明できる北極型プロダクトミックス・オークションを扱う。競売人が分離可能な凸区分線形費用を持つ場合に競争均衡を求める、初の強多項式アルゴリズムを示している。このアルゴリズムは、費用のない北極型オークションへの強多項式帰着と、既存の費用なし北極型オークション用の強多項式アルゴリズムを組み合わせたものである。 ★★★★ 注目：可分凸コストを持つArctic拍卖の競争均衡を求める初の強多項式アルゴリズムを示し、線形Fisher市場およびArrow-Debreu交換市場への帰着を与えている。

ランダム到着順のオンライン二部マッチングにおける、到着時刻に対するインセンティブ両立な競合アルゴリズム

2026-09-29T00:00:00+09:00

Arrival-Time Incentive Compatibility in Random Order Online Bipartite Matching arXiv · 2026年9月29日本研究は、利用者はサービスを受けられるかどうかだけを気にし、プラットフォームは総マッチング報酬の最大化を目指す、ランダム順序のオンライン二部マッチング問題を扱う。完全二部グラフ上で、定数競合比をもつ初のインセンティブ両立な辺重み付きマッチングアルゴリズムを提案する。競合比はオンライン側とオフライン側のノード数の比に依存する。二値報酬の場合には、より高い競合比のアルゴリズムも示している。

LDPC Fractus 符号：再帰構造をもつ疎な符号

2026-09-29T00:00:00+09:00

LDPC Fractus Codes: Sparse Codes with Recursive Structure arXiv · 2026年9月29日本論文は、自己相似な再帰的過程で構成される疎行列（Fractus 行列）の新しいファミリーを提案し、低密度パリティ検査（LDPC）符号の構成に用いる。この構成により得られる Tanner グラフの周囲長は 6 で、最小ハミング距離は少なくとも ℓ+1 と保証される。また、Fractus 行列の疎性、正則性、再帰分解、反転転置に対する対称性、および格構造を持つことを示している。

ほぼ線形時間での社会的影響力の最大化

2026-09-29T00:00:00+09:00

Maximizing Social Influence in Almost Linear Time arXiv · 2026年9月29日本論文は影響力最大化問題を扱う。n 個のノードと m 本のエッジを持つグラフから、標準的な拡散モデルのもとで情報の期待される伝播範囲が最大となる k 個のシードノードを選ぶ問題である。Borgs らの従来のアルゴリズムの実行時間は Õ((n+m)k) であり、その後の改良は対数因子の削減や ε への依存性の改善にとどまっていた。著者らは時間 Õ(n+m) で 1−1/e−ε の近似比を達成する新しいアルゴリズムを提案し、時間計算量から k への乗法的依存を取り除いたと述べている。 ★★★★★ 注目：影響力最大化を近線形時間で1-1/e-εの近似比により解く新アルゴリズムを提示し、実行時間のk依存を除去した。長年の未解決問題に答えている。

Voronoi-Markov連鎖と空間エントロピーによる点パターン解析

2026-09-29T00:00:00+09:00

Voronoi-Markov chain and spatial entropy for point pattern analysis arXiv · 2026年9月29日本論文は、空間的文脈におけるエントロピーの概念を再検討し、組織病理学などの分野における点パターン解析のための計算可能かつ解釈可能な指標の導出を目指している。ポアソン等質性や単純逐次抑制（SSI）といった確率点過程の仮定を議論し、帰無分布による経験的仮説検定に用いうるVoronoi・Delaunay分割の既知の結果を概観している。提案手法として、Voronoi盆地上のOrd分布で定義される「密集盆地エントロピー」（クラスタリングに敏感）と、平面上のブラウン運動を簡略化・近似するマルコフ連鎖を示す。シミュレーションと組織病理学の実験により、これらの指標が他の空間解析におけるエントロピーの形式と補完的な知見を与えることが示されている。

動的追跡と通信の基本限界：定常方策による定式化

2026-09-29T00:00:00+09:00

Fundamental Limits of Dynamic Tracking and Communication: A Stationary Policy Formulation arXiv · 2026年9月29日本論文は、マルチアンテナ送信機が受信機と通信しながら、安定なガウス・マルコフモデルに従って動く目標を追跡する統合センシング・通信問題を扱う。通信レートと追跡誤差の間のトレードオフをレート歪み問題として定式化し、事後クラメル・ラオ界を用いて感知歪みの扱いやすい外界を導出する。仮定の下で定常ランダム化マルコフ方策で十分であることを示し、高ブロック条件でガウス共分散制御の外界を導く。数値実験では拡張カルマンフィルタに基づく可達フロンティアと比較している。

ライシアンフェージング通信路におけるアップリンクSCMAのDNN支援による準最適コードブック設計

2026-09-29T00:00:00+09:00

DNN-Assisted Near-Optimal Codebook Design for Uplink SCMA Schemes over Rician Fading Channels arXiv · 2026年9月29日本論文は、次世代通信網で用いられる疎符号多元接続（SCMA）方式のための、深層ニューラルネットワーク（DNN）支援型の準最適アップリンク・コードブック設計手法を提案します。DNNは教師なし方式で学習され、生成されたコードブックの構造的特性から導かれた損失関数を用いるため、ラベル付きデータは不要です。レイシアン因子に依存する設計基準を導出し、AWGNとレイリーフェージングを極限ケースとして含みます。また平均相互情報量の上下界を示し、高SNR領域での漸近的な整合性を分析しています。数値結果では、幅広いレイシアン因子において代表的なベンチマーク方式より優れた性能を示し、誤り率の床領域でも良好な特性が確認されています。

DNAデータストレージにおけるファイル検索の双曲線境界

2026-09-29T00:00:00+09:00

A Hyperbolic Bound for File Retrieval in DNA-Based Data Storage arXiv · 2026年9月29日本論文は、DNAストレージで二つのファイルが符号化冗長性をどのように共有するかが期待検索時間に与える影響を研究している。任意の有限体上の系統的線形符号で符号化された二ファイルについて、少なくとも一方のファイル次元が1より大きい場合に、各次元を期待検索時間で割った値の和が1以下であるという予想を扱う。証明は生成行列の列が張る空間の成長を追跡し、射影境界を用いて行われる。

AFDM上の高解像度リモートセンシング画像伝送に向けた、インデックス圧縮付きデュアルブランチ・ベクトル量子化衛星デジタルセマンティック通信

2026-09-28T00:00:00+09:00

Dual-Branch Vector-Quantization-Aided Satellite Digital Semantic Communication with Index Compression for High-Resolution RSI Over AFDM arXiv · 2026年9月28日本論文は、仿射周波数分割多重（AFDM）上で高解像度リモートセンシング画像（RSI）を伝送するための、デュアルブランチ型ベクトル量子化支援衛星デジタルセマンティック通信フレームワーク（DVQ-SDSC）を提案している。高周波残差と低周波の構造的意味情報を別々に処理し、PCAによる码本の並べ替えと群差分パルス符号変調（G-DPCM）によってインデックスのビットレートを下げる。FAIR1M データセットと3GPP NTN-TDL-D チャネルでの実験では、0.0625 bpp の基本レートにおいて従来の JPEG-LDPC 方式を上回る結果が示されている。

木構造データ取引における利益再配分メカニズム

2026-09-27T00:00:00+09:00

Profit Reallocation Mechanisms in Tree-based Data Trading arXiv · 2026年9月27日データは複製が容易で、購入者が加工して多数の下流買い手に転売するため、取引が木構造の連鎖を形成します。しかし上流の売り手は下流で生まれた価値を得られず、取引意欲が低下します。本論文は、木構造のデータ市場における利益再配分の枠組みとして、逐次的な取引ゲームと予算実行可能な再配分メカニズムを提案し、均衡を計算する効率的アルゴリズムを示します。理論分析と合成市場での実験により、均衡での取引量が増え、予算均衡の場合は社会厚生も改善することが示されています。

Bell-Cover ランダム化による投資型検定の競争的最適性

2026-09-29T00:00:00+09:00

Competitive optimality in testing by betting via Bell-Cover randomization arXiv · 2026年9月29日本論文は Bell と Cover によるランダム化の結果を投資型検定（testing by betting）へ拡張しています。複合帰無仮説と単純対立仮説に対し、ランダム乗数 U と数値（numeraire）e 変数 E* を組み合わせた UE* が、他の任意の e 変数に少なくとも二分の一の確率で勝ることを示します。また、この競争的最適性は期待 E_Q[E/E*]≤1 と同値であることを示し、ランダム化は任意の e 変数の競争優位を改善しないと述べています。さらに、期待対数富と検出力の面でのコストについても論じています。

定数の最大最小シェア保証を持つ期待下での真実性メカニズム

2026-09-29T00:00:00+09:00

Truthful-in-Expectation Mechanism with Constant Maximin-Share Guarantee arXiv · 2026年9月29日本論文は、分割不能な財を加法的評価を持つ n 人の戦略的エージェントに公平に配分する問題を扱う。著者らは、各エージェントが実現されたどの配分においても、自分の最大最小シェア（MMS）の少なくとも 1/7 を得られる、期待下で真実性（TIE）を持つ乱択メカニズムを提案する。このメカニズムは事前に羨望のない性質を持ち、多項式時間で実装できる。これにより、基数情報があれば定数の事後MMS保証が可能になるとする Babaioff らの予想を肯定的に確認している。 ★★★★ 注目：著者らは基数情報の下で、実現されたすべての配分において各エージェントに最大最小シェアの1/7以上を保証する真実性期待機構を示し、Babaioffらの予想に応えたとしている。事前無嫉妒性と多項式時間実装も述べている。

衝突コストが高い場合の動的ウェイクアップ（衝突が高くつく状況での乱択アルゴリズム）

2026-09-29T00:00:00+09:00

Dynamic Wakeup under Costly Collisions arXiv · 2026年9月29日本論文は、共有通信路上の機器がウェイクアップする問題を扱います。パケットは任意の時刻に活性化され、ちょうど一つのパケットだけが送信したときに成功となります。著者らは、衝突検出や総パケット数の知識を必要としない乱択アルゴリズム Lowball を提案し、衝突1回あたりのコスト C で遅延と衝突コストを評価します。C が十分大きいとき、期待遅延と期待衝突コストはそれぞれ O(C^{1/2+ε} ln C) と O(√C) になると述べています。

群論版 Zhang-Yeung 不等式の簡単な証明

2026-09-29T00:00:00+09:00

A simple proof of the group-theoretic Zhang-Yeung inequality arXiv · 2026年9月29日本論文は、Zhang と Yeung（1998年）が示した、すべてのエントロピーベクトルに成り立つ最初の非シャノン型情報不等式を扱っています。Chan と Yeung（2002年）は、線形エントロピー不等式と有限群の部分群の位数に関する乗法的不等式との一対一対応を示しました。従来、Zhang-Yeung 不等式を群論の枠組みに直接翻訳する証明は得られていませんでした。本論文は、初等的な群論と計数の議論を用いて、有限群の部分群の位数に関する群論版 Zhang-Yeung 不等式の直接証明を与えています。

空の記憶：複数ドローンの記憶集約による低高度質問応答

2026-09-29T00:00:00+09:00

Memory in the Sky: Low-Altitude Question Answering with Multi-Agent Memory Aggregation arXiv · 2026年9月29日本論文は低高度質問応答（LAQA）を研究し、分散した無人航空機（UAV）の記憶を地上サーバーに集めて、長い時間範囲にわたる観測に関する質問に答えます。論文は記憶の質を測る「生成的敵対試験」（GAE）を提案し、通信制約下でUAVの選択と送信電力の配分を行う記憶中心フレームワーク（MemCen）を構築しています。CARLAのTown04とTown05では、それぞれ92.4%と84.0%の質問応答精度を、実世界実験のPMASベンチマークでは88.5%の精度を報告しています。

硬しきい値下の二値 k-中心問題と委任投票への応用

2026-09-29T00:00:00+09:00

Binary k-Center under a Hard Threshold with Applications to Delegated Voting arXiv · 2026年9月29日本論文は、同じ長さの二値文字列（一部の要素が欠損している場合を含む）を、固定数の中心文字列で覆う問題を研究している。各入力文字列は、最も近い中心からの相対距離が与えられたしきい値以内に収まる必要がある。主な動機は計算社会選択における複数論点の承認投票であり、選挙の前に代表者をどのように設計すれば、より多くの有権者が委任に同意するかを扱う。中心の数と合意しきい値という二つのパラメータについて、欠損要素がある場合の計算複雑性の全体像を示している。欠損のない特殊ケースでは、任意の数の中心と大きなしきい値に対して硬さの結果を拡張している。

補充可能な予算を伴うオンライン資源配分

2026-09-29T00:00:00+09:00

Online Resource Allocation with Replenishable Budgets arXiv · 2026年9月29日オンライン資源配分は、予算制約下で逐次的に意思決定を行う基本的な枠組みです。従来のモデルでは資源は減少のみと仮定されていましたが、本論文は行動によって資源を消費することも補充することもできる、より一般的な設定を検討します。双対性に基づくアルゴリズムを提案し、補充係数が0の標準的な場合には両面の保証を回復し、0より大きい場合にはそれを改善すると述べています。また、予算制約を厳密に満たすことも保証されます。

家事の割り当てにおける期待的正直性と事後MMS近似の機構

2026-09-28T00:00:00+09:00

Truthful-in-Expectation MMS Allocations for Chores arXiv · 2026年9月28日本論文は、分割不可能な「家事」（負の効用をもつ財）の割り当てについて、期待値の意味で正直（TIE）な機構を研究する。任意の人数に対して事後の最大最小シェア（MMS）近似比が定数となる、初のTIE機構を提示している。人数が2人のときは4/3、3人のときは3/2の近似比を達成する。2人の場合の下界を4/3に引き上げ、この機構が2人の場合に最適であることを示す。任意のn≥3についても、TIE機構で達成可能な近似比の下界が13/12であることを示している。

Weaver：AI-RANの遊休GPU計算資源で基盤モデルを学習するシステム

2026-09-28T00:00:00+09:00

Weaver: A System for AI-RAN Compute Sharing with Foundation Model Training arXiv · 2026年9月28日本論文は、基地局にGPUを備えたAI-RAN基盤における遊休計算資源を調査し、GPU容量の40〜85%が未使用であることを報告しています。この資源を、無線アクセスネットワーク（RAN）の性能を損なわずに基盤モデル（FM）の学習に活用するシステム「Weaver」を提案しています。原文によると、プロトタイプでは利用可能な遊休計算資源が最大4.9倍に増え、複数拠点の試験では学習スループットが基準手法より2.1〜3.7倍向上したとされています。

有限分解能マイクロ波線形アナログ計算機（MiLAC）支援型マルチユーザービームフォーミング

2026-09-28T00:00:00+09:00

Finite-Resolution Microwave Linear Analog Computer (MiLAC)-Aided Multiuser Beamforming arXiv · 2026年9月28日本論文は、調整可能なアドミタンス素子からなるマイクロ波線形アナログ計算機（MiLAC）でビームフォーミングを行う際、素子の設定状態が有限個しかない場合を研究しています。無損失・相反の制約の下で、離散サセプタンスと電力配分を同時に最適化し、チャネル統計に基づいて離散コードブックを設計します。離散問題と厳密に等価な連続ペナルティモデルとADMMアルゴリズムを提案しています。数値結果では、3ビット・スタム接続のMiLACが、非量子化の全結合MiLACの和レートの95%以上を、可調素子22%で達成することが示されています。

ランダム割当の無羨望分解：4人の場合の解決とその先の課題

2026-09-28T00:00:00+09:00

Envy-Free Decompositions of Random Assignments: Settling Four Agents, and What Lies Beyond arXiv · 2026年9月28日本論文は、ランダム割当行列を確定的な割当へ分解する際に、各エージェントが他者に羨望を抱く確率を1/2以下にできるかを研究している。4人の場合については、計算機支援による証明で、確率的優越の意味で無羨望（SD-EF）な行列はすべてこの分解を持つことを示している。一般のnについては1/2が最良の閾値であることを示し、いくつかの特別な場合の証明を与えている。さらに、自然な分解法が失敗する例を挙げ、任意のランダム割当がこの分解を持つかを判定する問題が強NP完全であると述べている。 ★★★★ 注目：四人の場合、確率的優越による無嫉妬な割当行列はすべて、各エージェントが他者に嫉妬する確率が1/2以下となる分解を持つと著者らは示し、計算機支援による証明とNP完全性の結果を報告している。

AReaL-TIK：最適化IRを通じた統一RLカーネルのステートフルなエージェント的最適化

2026-09-28T00:00:00+09:00

AReaL-TIK: Stateful Agentic Optimization of Unified RL Kernels through an Optimization IR arXiv · 2026年9月28日強化学習の事後学習では、ロールアウトと方策更新で別々のGPUカーネルが使われることが多く、数値の差が確率比に影響します。本論文は、手作業で調整されたビット単位で一貫した統一カーネルを出発点とする、エージェント型フレームワークKernelBraidを提案します。最適化中間表現によりコード探索を整理し、正当性検査を通過し全体の遅延が改善された変更のみを採用します。H20上の12の学習構成で、対数確率の再計算を行うAReaLに対し平均スループットは1.10倍でした。 ★★★★ 注目：ビット一致の統合RLカーネルを、最適化IRでソースコード探索を整理するエージェント型フレームワークKernelBraidで最適化。著者らは12構成で平均1.10倍のスループット向上を報告している。

AIの助言は助けになるか、害になるか？AI助言を伴う内生的情報取得の研究

2026-09-28T00:00:00+09:00

Does AI Help or Harm? Endogenous Information Acquisition with AI Advice arXiv · 2026年9月28日この論文は、人間が最終判断を下す前にAIの助言が示される場合に、判断の質（最終行動の総効用で測定）がどう変わるかを研究しています。均一後験分離可能（UPS）コストの情報取得モデルを用い、助言を受けた後の最適な取得から生じる継続価値関数の凸性を特徴づけています。この凸性が、あらゆる事前確率のもとでAI信号が総効用を弱く改善するための必要十分条件であると示しています。 ★★★★ 注目：AI助言が意思決定の総効用を改善するかを継続価値関数の凸性で判定する基準を示し、二値状態での紧密な結果と三状態・四状態の反例を与える。

定電力・低電力誤り訂正冷却符号の上界の改良

2026-09-28T00:00:00+09:00

Improved bounds for constant-power and low-power error-correcting cooling codes arXiv · 2026年9月28日本論文は、オンチップバスで消費電力と熱効果を抑えつつ誤り訂正を行う、二元の定電力誤り訂正冷却符号（CPECC）と低電力誤り訂正冷却符号（LPECC）を e=w-3 の場合について研究します。CPECC では、Zhao と Zhang の上界の適用条件を w≥2t(t+1)+2 から w≥w0(t)（w0(t) は約 √2·t^(3/2)）へ拡張し、Steiner系を用いて固定の t、w で上界が達成可能かつ漸近的に厳密であることを示します。LPECC では、w≥μ(t)（μ(t) は約 √2·t^(3/2)）に対し新たな上界 ⌊C(n+2,3)/C(w+t,3)⌋ を示し、適用範囲では従来の上界より厳密に小さく、漸近的に厳密です。

キッシング数の構成を大規模に自律発見

2026-09-28T00:00:00+09:00

Large-Scale Autonomous Discovery of Kissing Number Constructions arXiv · 2026年9月28日キッシング数問題は離散幾何学の古典的問題で、厳密解が知られているのは一部の次元に限られます。著者らは自律型マルチエージェント研究システム Qiushi Engine を用い、19 の次元でキッシング数の新しい下界を得たと報告しています。結果は独立に検証可能な有限の証明書として示され、K(25)≥197580、K(55)≥53301140 などの下界が挙げられています。 ★★★★ 注目：自律型マルチエージェントシステムQiushi Engineにより19次元で接吻数の新たな下界を与え、多様な構成機構と独立に検証可能な有限証明書を示すと報告されている。

一般化パッキング・カバリング予想の証明

2026-09-28T00:00:00+09:00

A proof of the generalized packing-covering conjecture arXiv · 2026年9月28日本論文は、線形符号に関する一般化パッキング・カバリング予想を証明しています。任意の線形符号と許容される次数 t に対し、第 t 一般化ハミング重みと第 t 一般化被覆半径の間に d_t ≤ 2R_t + 2 が成り立つことを示します。証明は計算機支援によるもので、t≥32 のすべての場合を扱い、残りの有限個のパラメータ組は厳密な計算機検証で排除しています。 ★★★★ 注目：著者は計算機援用により一般化パッキング・カバリング予想を証明したとし、すべての線形符号と許容される位数 t について d_t(C) ≤ 2R_t(C)+2 が成り立つと報告している。パリティ検査による言い換え、長さの上界、逐次穿孔を組み合わせ、残りの有限個のパラメータを厳密計算で排除している。

TLA+トレースチェックによるマルチテナントKubernetesクラスタの監視と検証

2026-09-28T00:00:00+09:00

Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking arXiv · 2026年9月28日本論文は、設計段階で抽象モデルを網羅的に検査する従来のモデル検査とは異なり、TLA+仕様をランタイムのトレースチェックに用いる監視ツールを提案している。Kubernetesの監査ログから推定された振る舞いに対して、TLA+のトレースチェック仕様で違反を検出する。主な用途はマルチテナントの違反検出だが、この仕組みはそれに限定されない。形式的推論を稼働中のKubernetes環境に組み込み、監視と正しさの検査を改善する方法を示している。

ゲームベース拡張の有界モデル検査による更新スケジュール合成

2026-09-28T00:00:00+09:00

Synthesizing Update Schedules with Game-Based Extension of Bounded Model Checking arXiv · 2026年9月28日本論文は、安全重視システムにおいて、運用を中断せず、予備のハードウェアを用意せずにソフトウェア更新を安全に行う調度問題を扱う。システムと更新を二人用の定時ゲームとしてモデル化し、有界SMT符号化により固定の大域時刻による更新スケジュールを合成する。このスケジュールは、システムの自律的な振る舞いに関係なく、更新の安全かつ完全な展開を保証するとされ、自動運転の軌道計画器を例に示される。

WaveAlign：長尺動画生成のスパースアテンション向けキャッシュ対応クエリ行スケジューリング

2026-09-28T00:00:00+09:00

WaveAlign: Cache-Aware Query-Row Scheduling for Sparse Attention in Long-Video Generation arXiv · 2026年9月28日拡散トランスフォーマ（DiT）による長尺動画生成は非常に長いトークン列を扱うため、アテンションが推論の主要なボトルネックになります。本論文は軽量なWaveAlignを提案し、スパースマスク行の低ランクSVD表現でクエリ行をグループ化し、GPUのウェーブ内でK/Vブロック数の降順に並べ替えることで、L2キャッシュヒット率を向上させ、HBM読み出しを削減します。クエリ行とマスク行の並べ替えのみを行うため、スパースアテンションの意味は保たれます。二種類のGPU、二つの動画DiT、四つのスパースアテンション手法で、品質低下なしにカーネル最大1.25倍、エンドツーエンド最大1.17倍の高速化が報告されています。

並列チャネルと記憶をもつチャネルのためのダイバージェンス最小化分布マッチング

2026-09-28T00:00:00+09:00

Divergence-Minimizing Distribution Matching for Parallel Channels and Channels with Memory arXiv · 2026年9月28日本論文は分布マッチャ（DM）の理論を記憶をもつ分布へ拡張し、ダイバージェンス最小化DMが無記憶の場合と同様に目標確率の最も高い系列を選択することを示している。また、イノベーション過程によって駆動される分布に対するダイバージェンスのスケーリング則も拡張されている。理論は並列の加法性白色ガウス雑音チャネルに適用され、重み付きエネルギー制約を持つ改良型枚挙球面整形（ESS）法が実装に用いられている。3チャネルの例では、短いブロック長において、積型DMと比べてチャネル間の結合ESSが速度損失を大きく低減することが示された。この利得は確率的振幅整形と5G-NR低密度パリティ検査符号を用いたシミュレーションで確認されている。

CSI不確実性下のOTFS大規模MIMO向けGPU高速化ロバストビームフォーミング

2026-09-28T00:00:00+09:00

GPU-Accelerated Robust Beamforming for OTFS Massive MIMO with CSI Uncertainty arXiv · 2026年9月28日本論文は、チャネル状態情報（CSI）に不確実性がある場合の、OTFSを用いた大規模MIMOシステムのロバストビームフォーミングを扱う。著者らは、指定された停止確率を保証しつつ総送信電力を最小化する機会制約付き最適化問題を定式化し、支持ベクトルクラスタリング（SVC）で不確実なCSIを非対称な不確実性集合としてモデル化する。さらに、そのロバスト等価問題を半正定値計画に変換し、GPUで並列化可能な交互方向乗数法（ADMM）を設計した。シミュレーションでは、提案手法が従来方式より送信電力を削減し、GPU高速化ADMMが速度向上を示したと報告されている。

自動自己還元による分散下限の証明

2026-09-28T00:00:00+09:00

Distributed Lower Bounds via Automatic Self-Reduction arXiv · 2026年9月28日本論文は、分散計算におけるグラフ問題の乱択下限を研究している。著者らは、自己還元（self-reduction）が古典的なラウンド除去（round elimination）の特別な場合であることを示し、アルゴリズムの誤りを測る新しい尺度を導入した。その結果、古典的ラウンド除去で log log n を超える乱択下限が得られるとしている。さらに、極大マッチングなど複数のグラフ問題について Ω(√log n) の乱択下限を証明している。 ★★★★★ 注目：自己還元を古典的ラウンド消去の特殊例として位置づけ、新たな誤り尺度のもとでω(log log n)を超える乱択下界を得る。正則2色グラフの極大マッチング等にΩ(√log n)下界を示す。

DNN駆動のチャネル不確実性学習を用いた空地宇宙統合ネットワーク（SAGIN）向けロバスト資源管理

2026-09-28T00:00:00+09:00

Robust Resource Management for SAGIN using DNN-Driven Channel Uncertainty Learning arXiv · 2026年9月28日本論文は、チャネル状態情報（CSI）が不確実な場合の空地宇宙統合ネットワーク（SAGIN）におけるロバストなビームフォーミングと資源割り当ての同時最適化を扱う。所定の中断確率のもとで利用者の品質要求を満たしつつ総送信電力を最小化する機会制約付き最適化問題を定式化し、半正定値緩和によって目的関数を変換する。次に、深層ニューラルネットワーク（DNN）で不確実なCSIを非対称な不確実性集合としてモデル化する手法を提案し、事前学習済みパラメータに基づくロバスト対応手法を構築する。シミュレーションでは、提案手法が従来のロバスト・非ロバスト手法よりエネルギー効率と信頼性で優れることが示されている。

超大規模流体アンテナシステム上の秘匿通信：チャネル硬化が検出に与える影響

2026-09-28T00:00:00+09:00

Covert Communications over Enormous Fluid Antenna Systems (E-FAS): Impact of Channel Hardening on Detection arXiv · 2026年9月28日本論文は、導波表面波伝搬によって形成され、ランダムな共分散スケールを持つ超大規模流体アンテナシステム（E-FAS）における秘匿通信を検討しています。受動的な監視者が存在する場合について、監視者の最適尤度比検定がエネルギー検出器に帰着することを示し、誤警報確率と見逃し確率を導出しています。有限観測区間では、有限モードのE-FASチャネルは、同じ平均電力の完全硬化レイリー極限より秘匿性が高いと報告されています。チャネル硬化の役割は非対称であることも示されています。

二値行動の多エージェント契約における計算複雑性の全体像（総代替（gross substitutes）報酬クラス内の性質の違いを整理）

2026-09-28T00:00:00+09:00

Settling the Complexity Landscape of Multi-Agent Contracts with Binary Actions arXiv · 2026年9月28日本論文は、二値行動の多エージェントモデルにおける最適契約設計の計算複雑性を研究し、総代替（gross substitutes）報酬関数とその関連クラスに焦点を当てています。OXS報酬（総代替の厳密な部分クラス）に対しても最適契約問題はAPX完全であることを示しました。加重マトロイド階数関数にはEPTASを与え、一般には乱択FPTASが存在しないことを示しています。分割マトロイド階数関数にはFPTASを与えています。さらに、ultra報酬関数について、値クエリを用いる多項式時間の乱択アルゴリズムでは期待値で2^{o(n)}近似を達成できないことを示しています。 ★★★★ 注目：多エージェント二値行動契約において、グロス代替報酬クラス内の近似計算量の境界を精密に描き、OXS報酬でのAPX完全性、加重マトロイド階数関数でのEPTAS、分割マトロイド階数関数でのFPTASを報告している。

Torch-PIM：PyTorch向けにプロファイル情報を用い、メモリ内演算（PIM）へのオフロードを自動決定するコンパイラ枠組み

2026-09-28T00:00:00+09:00

Torch-PIM: Automated Profile-Guided PIM Offloading for PyTorch arXiv · 2026年9月28日本論文は、PyTorchが生成する並列ループネストをホストで実行するかPIM（メモリ内演算）に任せるかを、プロファイル誘導最適化で決定するコンパイラ枠組みTorch-PIMを提案している。各ループは処理量とメモリ依存度の二段階で評価され、その入力はホストでのプロファイルまたはMLIRから得られる。原文によると、32～128コアのPIM構成で、CPUのみの実行と比べテンソル演算最大8.6倍、MLP 2.9倍、Attention 4.4倍、GPT-J-6B 5.1倍、LLaMA-7B 3.6倍の高速化を報告している。

離散チャネルにおけるレニイ・ダイバージェンスの収縮（レニイ・ダイバージェンスの縮小性に関する研究）

2026-09-28T00:00:00+09:00

Contraction of Rényi Divergences for Discrete Channels arXiv · 2026年9月28日本論文は、有限空間上のレニイ・ダイバージェンスに対する強データ処理不等式（SDPI）定数を調べ、その次数αへの依存性を分析しています。定数の境界や値の決定に関する結果を示し、局所差分プライバシー（LDP）とマルコフ連鎖の解析に応用しています。 ★★★★ 注目：有限空間上のRényi発散のSDPI定数を体系的に解析し、α依存の単調性・凸性、台の制限、テンソル化境界を示した上で、LDPとマルコフ連鎖に応用している。

ペーシング戦略付きオークションにおけるナッシュ均衡：計算複雑性と非効率性

2026-09-28T00:00:00+09:00

Nash Equilibria in Auctions with Pacing Strategies: Complexity and Inefficiency arXiv · 2026年9月28日本論文は、複数の同時一価オークションに参加する効用最大化型入札者がそれぞれ単一のペーシング乗数を選び、評価額を一様に入札額へ縮小する完全情報モデル「APSゲーム」を扱います。近似純粋ナッシュ均衡が存在しないインスタンスがあることを示し、均衡の存在判定は一般にNP完全である一方、入札者数または物品数が固定されていれば多項式時間で解けることを証明しています。均衡が存在する場合の非効率性は、無政府状態の代償と安定化の代償がともに e/(e-1) に等しいと厳密に特徴づけられています（Price of Anarchy／Price of Stability）。 ★★★★ 注目：APSゲームを導入し、近似純粋ナッシュ均衡の存在しない例、均衡判定のNP完全性、無政府状態の価格と安定の価格がともにe/(e-1)になることを報告している。

セマンティクス、ワークフロー、インフラ：本番規模でのエージェント提供の理解

2026-09-28T00:00:00+09:00

Semantics, Workflows, and Infrastructure: Understanding Agent Serving at Production Scale arXiv · 2026年9月28日本論文は、大規模な汎用エージェント本番プラットフォームから収集された2週間分、1,170万件のリクエストのトレースを分析しています。このプラットフォームは1万を超えるGPUからなる推論インフラで支えられています。タスク開始の意味、ワークフロー実行パターン、インフラの提供需要という3つのレベルで特徴を明らかにしています。セッション間でのリクエスト量の大きな偏り、同列のリクエスト間での実行重複の少なさ、タスク境界をまたぐコンテキストの再利用などが観察されました。

分散量子回路シミュレーションにおけるパーティション形状と1ノードあたりのランク密度の影響

2026-09-28T00:00:00+09:00

The Shape of Speed: Impacts of Partition Geometry and Rank Density in Distributed Quantum Circuit Simulations arXiv · 2026年9月28日本論文は、富岳上で1,024ノード・39量子ビットの分散量子回路シミュレーションを、検証済みの764構成で評価したものです。トーラス分割の幾何形状が実行時間を大きく左右し、データ転送量が同じでも扁平な分割は立方体に近い分割より1.73〜2.31倍遅いと報告しています。ランク密度の影響は副次的で、コンパクトな形状でのみ約11%の短縮が見られます。

VarioPath：PCIe GPUクラスタ向けの負荷認識型全対全通信

2026-09-28T00:00:00+09:00

VarioPath: Workload-Aware All-to-All Communication for PCIe GPU Clusters arXiv · 2026年9月28日本論文は、PCIe GPUシステム向けのAlltoAllv通信スケジューリング枠組みVarioPathを提案している。混合エキスパートモデルなどの分散大規模モデル推論を対象とし、オフラインのトポロジ認識型アナライザとオンラインの需要認識型スケジューラを組み合わせる。4つのプラットフォーム（最大256GPU）での評価では、AlltoAllvの平均速度向上はFASTに対して5.88倍、DeepEPに対して1.72倍と報告されている。エンドツーエンド実験では、Qwen3の推論遅延が最大27.2%、Wan2.1の生成遅延が6.1%削減された。

HyDra：本番規模の動的コンテキスト並列化の問題点を明らかにし改善するシステム

2026-09-28T00:00:00+09:00

HyDra: Demystifying and Taming Dynamic Context Parallelism at Production Scale arXiv · 2026年9月28日本論文は、長文脈学習における動的コンテキスト並列化（DCP）の計算負荷の偏りを扱う。Megatron-Core（Mcore）DCPはメモリ量に基づいて並列度を決めるため、同程度のトークン数でも計算量が大きく異なり、11,000台超のGPUによる256K文脈の本番ジョブでは、ランク間のマイクロバッチ時間が最大5倍ずれたと報告している。提案システムHyDraは負荷を基準に計算を均衡させるスケジューラと、外側のリングと内側のUlysses群を組み合わせたCPエンジンを備える。2,048 GPUの本番ジョブでは、パイプラインの空き時間が36%から14%に減り、Mcore DCPに対するスループットは1.10〜1.43倍となった。

送受信機ハードウェア歪みと不完全CSIを考慮したRIS支援マルチユーザーNOMAネットワーク

2026-09-28T00:00:00+09:00

RIS-Assisted Multiuser NOMA Networks With Imperfect CSI Under Transceiver Hardware Impairments arXiv · 2026年9月28日本論文は、送受信機のハードウェア歪み（HWI）と不完全なCSIを伴う、RIS支援の単一ビームおよびマルチビームNOMAネットワークを扱います。目標レートを満たしつつ基地局の送信電力を最小化する頑健な設計手法を提案し、Bernstein型不等式と半正定値緩和を組み合わせて非凸問題を解きます。数値結果では、HWIと不完全CSIを無視する非頑健方式より提案手法が優れ、マルチビーム方式はより高いビーム利得を得ることが示されています。

オフライン分散設計に基づく並列逐次キャンセル摂動強化極性符号復号法

2026-09-28T00:00:00+09:00

Parallel Successive Cancellation Perturbation-Enhanced Decoding of Polar Codes via Offline Variance Design arXiv · 2026年9月28日本論文は、短・中程度の長さの極性符号に対する並列SCP復号法（OVD-PSCP）を提案する。受信側の摂動の分散を復号前にオフラインで決定するため、元のSC分岐と全ての摂動分岐を同時に開始でき、前回の復号結果に基づく摂動生成による遅延を避けられる。符号化率1/2、符号長64から512の極性符号のシミュレーションでは、同じ摂動分岐数の従来のSCPよりブロック誤り率が低く、符号長が短いほど、また分岐数が多いほど利得が大きいことが示されている。

リンク障害下でのDAGワークフローのスケジュール修復

2026-09-28T00:00:00+09:00

Schedule Repair for DAG Workflows under Link Disruptions arXiv · 2026年9月28日ネットワーク化されたIoTシステムにおけるDAGワークフローのスケジュールを、リンク障害が発生した後にどこまで再スケジュールすべきかを研究しています。待機、迂回、局所的な再スケジュール、全体的な再スケジュールという四つの修復範囲を比較し、最適解を基準に評価するとともに、修復判断の遅延も考慮しています。100の作業負荷と異なる障害パターンでの実験の結果、単一の方式が常に優れるわけではなく、修復範囲は障害の過程と修復コストに応じて調整すべきだとしています。

戦略的操作に耐性のある線形回帰の効率保証（厳密な理論的上界）

2026-09-28T00:00:00+09:00

Tight Efficiency Guarantees for Strategyproof Linear Regression arXiv · 2026年9月28日本論文は、線形回帰における予測精度と誘因両立性（インセンティブ適合性）のトレードオフを研究している。参加者は公開された特徴量に対応する非公開のラベルを報告し、真のラベルに近い予測を望む。作者らは、最小二乗最適解に対して (d+1) 近似を達成する決定論的な群戦略耐性メカニズムを設計し、普遍的戦略耐性を持つ確率的メカニズムの中でも最適であることを証明した。これは Chen ら（EC 2018）の未解決問題への回答である。期待値での戦略耐性に緩和すると、二乗個別損失は依然として係数 d+1 を保つ一方、絶対個別損失では厳密な比率 2-1/(⌈d/2⌉+1) が得られる。 ★★★★★ 注目：著者らは線形回帰に対して決定的な群戦略耐性機構を設計し、近似比d+1を達成したとしている。また、普遍的に戦略耐性を持つ確率的機構の中でも最適であると主張し、Chenらの未解決問題に答えたと報告している。

異種HPC環境における性能と移植性：実行前ベンチマークが必要な理由

2026-09-28T00:00:00+09:00

Performance vs Portability in Heterogeneous HPC Environments: Why Pre-execution Benchmarking is Required arXiv · 2026年9月28日本論文は、HPCシステム上でPodmanコンテナを使う場合と、システム上で直接実行する場合の量子化学ソフトウェアの性能を比較しています。対象は事前コンパイル済みの実行ファイルで、CPU最適化版と複数の計算ノードで検証し、ネットワークの追加最適化は行っていません。結果として、性能はソフトウェアのコンパイル方法、起動オーバーヘッド、実行構成に依存することが示されています。短時間のタスクではコンテナの準備時間が大部分を占める一方、長時間の計算では進捗の監視が必要だとしています。そのため、HPCでコンテナによる科学アプリケーションを展開する際には、ワークロードごとのベンチマークとユーザーレベルの監視が重要だと述べています。

ソフト出力GRAND支援マクロシンボル（SOGRAND-AM）：NOMAシステム向けの統合多元接続検出・復号手法

2026-09-28T00:00:00+09:00

Soft-Output GRAND-Aided Macrosymbol arXiv · 2026年9月28日本論文は非直交多元接続（NOMA）システムを対象に、GRAND-AMを拡張したソフト出力版SOGRAND-AMを提案する。多元接続ユーザー検出と誤り訂正を同時に行い、較正されたビット単位の事後誤り確率を出力する。既存のソフト判定外側前方誤り訂正復号器と連携できる。論文によれば、ハード入力のGRAND-AMと比べ、外側ソフト入力復号器の出力で誤りビット率が約2 dB改善する。

二元部分空間符号のBraun-Etzion-Vardy上界の証明

2026-09-28T00:00:00+09:00

A proof of the Braun-Etzion-Vardy bound for binary subspace codes arXiv · 2026年9月28日線形部分空間符号は射影空間における符号の一種である。Braun、Etzion、Vardy（2013年）は、射影空間の線形部分空間符号の符号語数は高々2^n個であるという予想を立てた。本論文はこの予想を解決し、新しい指標論的議論を用いて証明を与える。証明は自己完結している。 ★★★★★ 注目：Braun・Etzion・Vardy(2013)が提起した予想を解決したと報告。射影空間上の線形部分空間符号の符号語数は高々2^nであるという予想に対し、新しい指標理論的議論による証明を与え、自己完結的であるとしている。

一意復号可能な符号対に対する連続射影の逆定理と重み付き構成

2026-09-27T00:00:00+09:00

A Continuous Projection Converse and a Weighted Construction for Uniquely Decodable Code Pairs arXiv · 2026年9月27日本論文は、一意復号可能な符号対の最大和レートを研究している。補集合接合構成を重み付きで改良し、長さ 672 で和レートが 1.318639029203 を超える明示的な符号を得ている。また、反復射影の議論を条件付きエントロピー評価と連続極限の正当化と組み合わせ、上界 1.480063425539 を与えている。

劣加法的評価関数の下で事前・事後の公平性を両立する配分

2026-09-27T00:00:00+09:00

On best of both worlds allocations with subadditive valuations arXiv · 2026年9月27日本論文は、権利が等しい主体に分割不可能な財を配分する問題で、評価関数が劣加法的な場合を扱う。ρ-MMS（最大最小シェア）配分を出力するアルゴリズムを、事後にρ-MMSを満たし、事前にはη-MES（最大期待シェア）を満たす乱択配分アルゴリズムへ変換する方法を提案する。著者らはηが少なくとも min[ρ/(2+ρ), 1/4] であることを示し、既存アルゴリズムへの適用結果も示している。

エッジネットワークにおける連合学習ワークフロー管理のための適応的クライアントクラスタリングと協調手法（A-CoDa）

2026-09-27T00:00:00+09:00

Adaptive Client Clustering and Coordination for Federated Learning Workflow Management in Edge Networks arXiv · 2026年9月27日本論文は、エッジネットワーク上で依存関係を持つ連合学習のサービスフローを管理するための適応型フレームワーク A-CoDa を提案します。ラベル分布の乖離に基づいてクライアントをグループ化し、FedMIX が損失・遅延・不確実性によって参加者を選択します。さらに依存関係を考慮した DAG スケジューラが層ごとのタスク実行を調整します。手書き文字、ウェアラブルセンシング、商品画像、医用画像の各タスクでの実験により、端から端までの完了時間の短縮と、競争力のある精度の維持が示されています。

ベイズ型スケジューリングにおけるギャップと資源拡張

2026-09-27T00:00:00+09:00

Gaps and Augmentations in Bayesian Scheduling arXiv · 2026年9月27日本論文は、事前情報、ベイズ的インセンティブ両立性、ランダム化、機械側の資源拡張が、非関連機械上のメイクスパン最小化の近似比の限界をどう変えるかを研究しています。2台の機械に対するランダム化BIC機構の漸近下界は4/3であり、確定的機構との整数性ギャップは8/7と示されています。また、ジョブ割当が十分に分散している場合、O(m/ε)個のサンプル層で標準のMinWork機構が1+ε近似を達成できることが示されています。

クラウド・HPC・エッジを組み合わせ可能な AI プラットフォームのためのシステム・オブ・システムズ統合に向けて

2026-09-27T00:00:00+09:00

Toward System-of-Systems Integration for Composable Cloud-HPC-Edge AI Platforms arXiv · 2026年9月27日現代の AI プラットフォームは、クラウドサービス、HPC ジョブ管理、クラウドネイティブなオーケストレーション、データ系、エッジ環境など、異なる前提で設計された基盤を組み合わせることが増えています。本論文は、独立して有用なシステムがそれぞれの制御・ライフサイクル・故障特性を保ちつつ、上位の AI プラットフォーム機能に寄与する構成を、システム・オブ・システムズ（SoS）として捉えることを提案します。対等な構成システムの視点、境界判定の方法、七つの統合インターフェース、横断的ワークフローの例を示し、相互運用性やガバナンス、可観測性の評価に用いる証拠の類型と研究課題を挙げています。

幾何情報を考慮した複数UAVの全二重通信：システム設計と実験

2026-09-27T00:00:00+09:00

Geometry-Aware Multi-UAV Full-Duplex Communication: System Design and Experiment arXiv · 2026年9月27日本論文は、高利得指向性アンテナと上り・下りチャネルの分離を用いて自己干渉を制御可能な同一チャネル干渉に変換する、幾何情報を考慮した複数UAVの帯域内全二重（MU-IBFD）通信システムを提案します。UAV上で電力消費の大きい自己干渉キャンセラを不要にする点が特徴です。著者らは幾何を考慮した干渉モデルを導出し、3次元空域でSINR要件を満たす信頼動作領域（ROR）を定義しています。2機のUAVと地上局からなる試作機で実地試験を行い、ほとんどの空域で下りの容量が理想的な全二重に近いことを示しました。

笛卡ル積による動的システムの符号化計算

2026-09-30T00:00:00+09:00

Coded Computing for Dynamic System via Cartesian Products arXiv · 2026年9月30日符号化分散計算は符号化マルチキャストによりShuffle通信のボトルネックを緩和しますが、ワーカー数が固定された既存方式は、ワーカーの参加や切断にそのまま対応できません。本研究では、生き残ったワーカーのキャッシュとReduce割り当てを維持し、参加したクラスタのストレージを活用する動的符号化分散計算方式を提案します。ファイル配置には、クラスタごとの配置交付配列（PDA）のデカルト積を用います。貪欲アルゴリズムが放棄されたReduce関数を再割り当てし、通信配列によりReduce関数を持たないワーカーも符号化送信者として働けます。任意の実行可能な切断に対する正確な通信負荷も導出されています。一回通信と非符号化配置の仮定の下、切断がない場合、新規クラスタ到着時は下界の2倍以内、それ以外は4倍以内であることが示されています。

大きなアルファベット上で、冗長記号3個により2つの削除を訂正する系統的符号

2026-09-29T00:00:00+09:00

Systematic Codes Correcting Two Deletions with Three Redundant Symbols over Large Alphabets arXiv · 2026年9月29日本論文は、多項式サイズのアルファベット上で、冗長記号3個により2つの削除を訂正する系統的q元符号を構成し、多項式時間の符号化と復号を与えている。Liu と Xing の濃度上界により冗長記号3個は必要であるため、この指標において構成は最適である。また、サイズ O(n^4) のアルファベット上で同じ冗長度をもつ符号の存在を示し、隣接する2つの削除からなる単一のバースト誤りに対しても多項式時間の構成を与えている。

4つの新しい単一誤り訂正二元符号

2026-10-17T00:00:00+09:00

Four New Single-Error-Correcting Binary Codes arXiv · 2026年10月17日本論文は、(16, 3072, 3)符号、(17, 6144, 3)符号、(18, 12288, 3)符号、(19, 24576, 3)符号の4つの二元符号を構成している。これにより A(16,3) ≥ 3072、A(17,3) ≥ 6144、A(18,3) ≥ 12288、A(19,3) ≥ 24576 という4つの新しい下界が得られた。各符号は線形符号の剰余類の和集合であり、構成はタブー探索アルゴリズムによる計算機探索の結果である。

メカニズムデザインにおけるロバスト性：オークションと取引メカニズムの最悪ケース分析の概説

2026-10-01T00:00:00+09:00

Robustness in Mechanism Design arXiv · 2026年10月1日本論文はオークションのロバストな設計と分析を概説し、計算機科学分野で主流の枠組みとして、あらゆる環境における、ロバストなオークションと最適オークションの性能比の最悪値でロバスト性を測る手法に焦点を当てています。一価オークションの社会厚生目的でのロバスト分析、収益目的の事前分布にロバストなオークション設計、取引利益目的の交換メカニズム設計などを扱います。さらに、ロバストなメカニズム設計では表示原理が必ずしも損失なしではないことを指摘し、その損失を、表示メカニズムに制限した場合に失われる最適なロバスト保証の割合である「表示ギャップ」で定量化します。

試験から本番へ：機関横断の連合学習と科学向けAIの教訓

2026-09-30T00:00:00+09:00

From Pilots to Production: Lessons in Cross-Institutional Federated Training and Artificial Intelligence for Science arXiv · 2026年9月30日多くの貴重な科学データは、専有、輸出管理、機密、データ主権の制約などのため一箇所に集められません。そこで、モデルをデータのある場所へ移して学習させる連合人工知能（連合AI）が重要になっています。本論文は、米国エネルギー省の国立研究所、産業界の導入事例、オープンソースコミュニティの五つの並行的な取り組みを整理し、連合AIを試験段階から複数拠点の本番運用へ移す際の枠組みを示しています。システム面の教訓、プライバシー・セキュリティ・信頼性の要件、そして非同期連合や漏えい監査などの未解決課題も挙げられています。

Plotkin型構成で得られる符号の回復集合構造とサービス率

2026-10-02T00:00:00+09:00

Recovery Set Structures and Service Rates of Codes Obtained by the Plotkin-type Construction arXiv · 2026年10月2日本論文は、分散ストレージシステムにおける二元符号の回復集合とサービス率領域を扱う。Plotkin型構成により得られる符号について、その回復集合が基礎となる符号の回復集合からどのように導かれるかを示し、回復ハイパーグラフを用いてサービス率の上下界を与えている。さらに、一次の二元Reed-Muller符号に適用し、任意のmに対するR(1,m)のサービス率がR(1,2)の生成行列から再帰的に求まることを示している。

タスク指向のブール関数計算：実用的な符号構成

2026-10-01T00:00:00+09:00

Task-Oriented Boolean Function Computation: Practical Code Constructions arXiv · 2026年10月1日本論文は二値の判断タスクを対象に、リード・ソロモン符号に基づくブール関数計算（BFC）の実用的な符号構成を提案し、ノイズのない二値通信路と雑音のある通信路の両方を扱います。有限ブロック長での最悪ケース誤り上界を導出し、関数族ごとのレートと信頼性のトレードオフを特徴づけています。雑音のある通信路では、通信路符号レートの半分の計算レートを達成すると報告され、数値結果では従来の伝送に比べた信号対雑音比の利得が示されています。

クラウド計算における多資源公平配分での耐戦略性の代償（耐戦略性を満たす公平な資源配分にはどれだけ効率を犠牲にするかを論じた論文）

2026-09-30T00:00:00+09:00

The Price of Strategyproofness in Fair Multi-Resource Allocation for Cloud Computing arXiv · 2026年9月30日本論文はクラウド計算を動機として、レオンチェフ効用を持つ複数の分割可能資源の公平かつ耐戦略性（strategy-proof）な配分を研究している。近年提案された公平比（fair-ratio）ベンチマークを用い、2資源の場合には共有インセンティブ、無羨望、耐戦略性、パレート最適性を満たすCRB機制を提案し、公平比が高々1+1/nであることを示している。またm≥3の場合、共有インセンティブと耐戦略性を満たす決定的機制の公平比は正確にmになるとしている。 ★★★★ 注目：適応速度公平フレームワーク（ASF）と修正資源バランス機構（CRB）を提案し、著者らは二資源の公平比を約1.268から1+Θ(1/n)へ改善したとしている。

認証付き分割：最大munch トークナイゼーションにおける決定可能性とアンカー供給

2026-10-05T00:00:00+09:00

Certified Splitting: Decidability and Anchor Supply for Maximal-Munch Tokenization arXiv · 2026年10月5日本論文は、最長一致（maximal-munch）トークン化において、あるバイト窓が「認証済みアンカー」であるかどうかを判定する方法を扱います。窓が完全にトークン化可能な入力に現れるとき、窓の最終バイトを覆うトークンが窓の始点から始まることが認証の条件です。著者はリテラル語彙向けのオンライン判定と、任意の正規トークン集合向けのオフライン判定の二つを示し、アンカーで切った後に各チャンクを独立に走査しても逐次分割と同じ結果になることを証明しています。 ★★★★ 注目：決定可能な錨点認証の枠組みを示し、分割・編集の影響範囲・差分監査の定理を与える。各定理に実行可能な検査が付き、分割スキャンの実測出力を根拠とする。

IO500ベンチマークのリポジトリ規模での性能特性分析

2026-10-05T00:00:00+09:00

Repository-Scale Performance Characterization of the IO500 Benchmark arXiv · 2026年10月5日本論文は、2019年から2025年にかけて116サイトから提出された、リセット後の294件のIO500結果を分析しています。個々のベンチマークフェーズとランキングの総合スコアとの関係を調べています。同様のI/O動作を測定するフェーズ同士は強い相関を示す一方、帯域幅とメタデータ性能の関係は弱く、システム規模に影響されることが示されました。時系列およびログ分析からは、総合スコアだけでは見えない情報も得られています。

流体アンテナ通信路の極値分布フィッティング手法による中断性能の高精度評価

2026-10-04T00:00:00+09:00

A FAS Channel Fitting Strategy Using Extreme Value Distributions for Accurate Outage Performance Evaluation arXiv · 2026年10月4日本論文は、中断確率（OP）評価を目的とした流体アンテナシステム（FAS）の通信路フィッティング手法を提案する。単一アンテナFASの通信路を極値分布でモデル化し、左裾を一般化パレート分布、全体挙動を一般化極値分布で表す組合せ極値分布（CEVD）を目標分布とする。対数領域の誤差を用いる修正平均二乗誤差基準と、累積分布関数の対数上での一様な評価点配置により、裾の誤差を重視している。シミュレーションでは、超低中断確率領域でOP評価精度が大きく向上することが示された。

ファイルと需要のプライバシーを両立する次数最適な符号化キャッシング

2026-10-04T00:00:00+09:00

Order-Optimal Coded Caching With File and Demand Privacy arXiv · 2026年10月4日本論文は、ファイル内容と利用者の需要の双方を保護する符号化キャッシングを研究します。各利用者は自分が要求したファイルのみを取得でき、残りのファイルや他の利用者の要求を推測できません。最悪ケースの配信レートが最適値の9/2倍以下となる方式を示し、キャッシュ容量ごとの下界と厳密な結果も与えています。 ★★★★ 注目：ファイルと要求の両方を保護する符号化キャッシュ方式を提案し、著者らは最悪ケースの配信レートが最適値の9/2倍以下だと述べ、結合キャッシュエントロピーによる下界も示している。

SyclKittens：インテルGPU向けのタイル型プログラミングモデル（プログラマーとコーディングエージェント向け）

2026-10-03T00:00:00+09:00

SyclKittens: A Tile Programming Model for Programmers and Coding Agents on Intel GPUs arXiv · 2026年10月3日本論文は、インテルGPU向けにハードウェアを意識したタイル型プログラミングモデルSyclKittensを提案しています。既知の高効率な手法を演算に組み込み、同じ条件下でエージェントが生成するGEMMカーネルの性能を、生のSYCLでの57.5%から82.1%（インテルのoneDNNライブラリ比）へ向上させたと報告しています。このモデルで構築したカーネル群は、GEMMの幾何平均でoneDNNの約96%に達し、Llama-3.1-8B推論は単一GPUでtorch.compileより1.59倍速いとされています。 ★★★★ 注目：Intel GPU向けのハードウェア認識型タイルモデルSyclKittensを提案し、既知の最適化手法を組み込む。著者らはGEMMがoneDNNの82.1%に達し、Llama-3.1-8B推論がtorch.compileより1.59倍速いと報告している。

スタックド知的メタサーフェス支援型LEO放送のワンショットビームトラッキング

2026-10-05T00:00:00+09:00

One-Shot Beam Tracking for Stacked Intelligent Metasurfaces-Assisted LEO Broadcasting arXiv · 2026年10月5日本論文は、多層のスタックド知的メタサーフェス（SIM）を用いた低軌道衛星（LEO）リンクに対し、物理情報に基づくワンショットのビームトラッキング手法を提案している。予測可能な軌道運動からユーザーの信号対雑音比の変動を推定し、解析的なヤコビ行列で各層の位相係数へ対応付けて、一度の補正で追跡を行う。数値結果では、反復的な再最適化に比べて約92〜94%の伝送速度を維持しつつ、計算は大幅に高速であることが示されている。

3ステップで実現する楽観的信頼性ブロードキャスト

2026-10-05T00:00:00+09:00

Optimistic Reliable Broadcast in Three Steps arXiv · 2026年10月5日本論文は、署名を用いない非同期信頼性ブロードキャストにおける、楽観的な2ステップ配信の遅延トレードオフを研究している。著者らは2つの構成法を示し、特定のパラメータ範囲で楽観的遅延、誠実なブロードキャスタの遅延、全体性遅延を抑えている。また対応する範囲での下界も証明し、最大の楽観性予算では全体性遅延が Bracha のプロトコルより一ステップ多くなるが、正常時の遅延は増えないと述べている。 ★★★★★ 注目：著者は署名なし非同期信頼性ブロードキャストの新構成を提案し、楽観的予算で2ステップ配送を実現するとしている。3f+1≤n<4fの場合の下界証明も示し、第二の構成は(2,3,3)の遅延を達成すると報告している。

二つの入力源を持つ局所処理器における変調と統合：部分情報分解による分析

2026-10-05T00:00:00+09:00

Modulation and Integration in a local processor having input from two distinct sources arXiv · 2026年10月5日本論文は部分情報分解を用いて、二系統の統合された入力を受け取る局所処理器における情報伝達を分析します。部分情報分解の成分に基づく文脈変調の条件を修正し、信号統合の存在を判定する条件を新たに導入しています。Ibroja法により情報理論的指標と部分情報分解の成分の厳密な結果を求め、複数の活性化関数で条件を検証しています。さらに、第5b層錐体細胞モデルのシミュレーションデータに適用し、基底入力と頂端入力の間の変調と統合の証拠を示しています。

双行列ゲームの近似ナッシュ均衡で1/3の壁を破る単純なアルゴリズム

2026-10-05T00:00:00+09:00

A Simple Algorithm Breaking the 1/3 Barrier for Approximate Nash Equilibria in Bimatrix Games arXiv · 2026年10月5日双行列ゲームのナッシュ均衡の計算はPPAD完全問題であり、この論文は多項式時間で達成可能な最強の近似保証を扱う。著者らは、調整すべきハイパーパラメータを持たない単純で対称的な決定論的多項式時間アルゴリズムを提案し、約0.30954+δの近似保証を達成して、長く残されていた1/3の壁を破った。Tsaknakis と Spirakis の最適化枠組みに、戦略混合と自動近似解析に関する著者らの研究の要素を組み込んでいる。 ★★★★★ 注目：著者は、調整パラメータを持たない単純な決定的多項式時間アルゴリズムを提案し、双行列ゲームで約0.30954+δの近似保証を報告して1/3障壁を破ったとし、その概念的説明も与えている。

ランダム正則LDPC符号の剥離復号における重み制限付き冗長検査の限界

2026-10-04T00:00:00+09:00

Limits of Weight-Bounded Redundant Checks for Peeling Decoding of Random Regular LDPC Codes arXiv · 2026年10月4日本論文は、二元消失通路上の剥離復号を、冗長な検査を個数制限なく追加できるが各検査の行重みには制約がある場合について研究する。ランダムな単純二元正則低密度パリティ検査（LDPC）符号に対し、所定の重み以下のすべての非零双対符号語からなる検査行列を考える。明示的な対数行重み範囲において、この冗長検査の完全な族は、元のLDPC行列による剥離復号と同じ漸近的な正規化残差閾値を持つことを示す。 ★★★★ 注目：対数的な行重の範囲で、低重みの冗長検査をすべて加えても剥離しきい値が元のLDPC行列と漸近的に同じままだと報告され、行重は依然として漸近的な制限であるとされている。

4 つの確率変数の Ingleton スコアに対する改良された上界

2026-10-04T00:00:00+09:00

Improved Bounds on the Ingleton Score of Four Random Variables arXiv · 2026年10月4日本論文は、4 つの有限離散確率変数について、Ingleton 式の負値を結合エントロピーで割った値が 19/124（約 0.15323）以下であることを証明しています。これは従来報告されていた 3/19 の上界を 11/2356 改善するものです。証明には 4 つの複製ステップと 6 つの補助変数を持つ複製プログラムを用い、厳密な有理数線形計画の証明書で検証しています。

安全なマルチアクセス符号化キャッシュ：リフティング手法

2026-10-04T00:00:00+09:00

Secure Multi-Access Coded Caching: A Lifting Approach arXiv · 2026年10月4日本論文は、安全な単一アクセス方式のキャッシュを再符号化し、そのマルチキャストメッセージをそのまま再利用することで、安全な巡回マルチアクセス符号化キャッシュ方式を構成する手法を提案している。各ユーザは連続するL個の共有キャッシュを読み取り、他のファイルについての情報を一切漏らさずに要求ファイルを復元する。決定的エンコーダと乱択エンコーダの二種類を示し、適切な有限体上で分割ごとの最小記憶量を達成する。さらに、達成可能なメモリ・レート族の近似保証と、L=K-1の場合のトレードオフの厳密な証明を与えている。

HiNa-MoE：行列エンジンを備えたCPU上での高性能・非侵襲的なMoE推論

2026-10-04T00:00:00+09:00

HiNa-MoE: High-Performance, Non-Intrusive MoE Inference on CPUs with Matrix Engines arXiv · 2026年10月4日本論文は、Intel AMXを搭載したCPU向けのMixture-of-Experts（MoE）推論オペレータライブラリHiNa-MoEを提案します。標準的な重みレイアウトを維持したままAMXを活用し、単純なページインターリーブ方式でNUMAを考慮したタスク分割を行い、フレームワークのアロケータを変更せずに済ませています。また、デコード段階の行列・ベクトル演算を小規模な行列・行列演算に変換しています。複数のMoEモデルで、FFNカーネルは最大3.37倍、エンドツーエンドの推論は最大2.09倍の高速化を報告しており、既存フレームワークにそのまま組み込めるとしています。

CommuteProp：通信がボトルネックとなる分割型LLMファインチューニングのための分離学習手法

2026-10-04T00:00:00+09:00

CommuteProp: Decoupled Training for Communication Bound Split LLM Fine-Tuning arXiv · 2026年10月4日本論文は、プライバシーを保護した大規模言語モデルの分割学習型ファインチューニングにおいて、クライアントがサーバー側の勾配を待つ間に遊休してしまい学習効率が低下する問題を扱います。非同期の分割学習アルゴリズムCommutePropを提案し、学習をブロック間の順伝播・逆伝播とブロック内の重み更新という二つの並行フェーズに分離します。これにより計算と通信を重ねて、一周期の時間を各段階の遅延の総和から主要な計算ボトルネックへと減らします。また非同期の誤差と収束性の解析を示し、陳腐化した勾配によるノイズを抑えるNS前処理手法も導出しています。実験では同期手法と同程度の精度を保ちつつスループットが大きく向上し、既存のプライバシー強化手法にも組み込めることが示されています。

半径制限接続下での提升法による安全なD2D符号化キャッシュ

2026-10-04T00:00:00+09:00

Secure D2D Coded Caching under Radius-Limited Connectivity via Lifting arXiv · 2026年10月4日本論文は、通信が近隣のユーザーに限られる機器間（D2D）ネットワークにおいて、安全な符号化キャッシュの方式を扱う。利用者は、要求していないファイルについて情報が漏れないまま、必要なファイルを復元できる必要がある。論文では構成方式を提示し、特定のパラメータ範囲で最小のピーク総負荷と近似比に関する保証を示している。

二度だけ変換する：連鎖テンソルモード積のための Ozaki スキーム II

2026-10-04T00:00:00+09:00

You Only Convert Twice: Ozaki Scheme II for Chained Tensor Mode Products arXiv · 2026年10月4日本論文は、Ozaki スキーム II において連鎖テンソルモード積を剰余（residue）形式のまま持続的に実行する手法 OzII-RescaleBE を提案する。中間テンソルを浮動小数点に繰り返し変換せず、連鎖の開始時に一度変換し、終了時に一度再構成する。INT8 テンソルコアを用いた CuTe DSL による実装で検証している。連鎖深度 d=3 から 7 では法線相対誤差が概ね 10^-16 から 10^-15 の範囲にあるが、d=8 では約 10^-13 の水準に増加する。スループットとデバイスメモリ使用量は、GEMMul8 ライブラリによる二つの基準手法と比べて条件により優劣がある。

社会的最適性は無重みMax-k-Cutゲームの連携安定性を意味しない

2026-10-04T00:00:00+09:00

Social Optimality Does Not Imply Coalitional Stability in Unweighted Max-k-Cut Games arXiv · 2026年10月4日本論文は、無重みグラフ上のMax-k-Cutゲームを扱う。各k≥3について、最適彩色が強均衡でない有限・単純・連結な無重みグラフを示し、全参加者が利益を得る連携的逸脱が存在することを示す。その逸脱後も別の最適彩色となり、連携外のプレイヤーは損失を被るが社会的厚生は変わらない。また連携による利得、割値の変化、内部の衝突を関係づける厳密な恒等式を与え、一般のナッシュ均衡からの強い逸脱に関する上界も示す。

フロントホール制約のあるセルフリーMIMOネットワーク向けのスケーラブルな歪み考慮型クラスタリング

2026-10-04T00:00:00+09:00

Scalable Distortion-Aware Clustering for Fronthaul-Limited Cell-Free MIMO Networks arXiv · 2026年10月4日本論文は、最大比合成（MRC）を用いる上り回線のフロントホール制約付きセルフリーMIMOネットワークにおける、歪みを考慮したクラスタリングを研究している。小規模フェージングに依存せず、大規模フェージング係数のみで定義される目標関数を最適化し、漸近解析により量子化歪みに着目した平均ネットワーク和レートの確定的等価表現を導出している。この目標関数の構造を利用して多項式時間で大域的最適解を得る手法を提案しており、数値結果では既存研究の改良版より高い性能を示し、全探索による小規模フェージングベースの大域的最適解と競合するとされている。

マイクロ波アナログ計算のLean形式化に向けて（マイクロ波信号で線形変換を行う計算方式の定式化）

2026-10-04T00:00:00+09:00

Toward a Lean Formalization of Analog Computing with Microwaves arXiv · 2026年10月4日マイクロ波信号はネットワークを伝搬する間に、アナログ領域で線形変換を直接行えます。本論文は、この計算をLean（定理証明支援系）で形式化する第一歩です。ハイブリッドカプラと移相器などの部品、およびその直列・並列接続と、それらで実現できるネットワーククラスを定式化しています。また、そのネットワークが実現できる変換の必要十分条件を証明し、任意の2のべき乗サイズの離散フーリエ変換（DFT）が実装可能であることを示しています。証明はすべてLeanカーネルで検証され、コードは公開されています。

エッジでのセンシング・計算・通信を統合する空中計算型連合学習の枠組み

2026-10-04T00:00:00+09:00

Learning OTA: A Unified Framework for Edge Sensing, Computation, and Communication arXiv · 2026年10月4日本論文は、連合学習で必要な学習データがエッジ機器の多様なセンサーで取得される点に着目し、その取得の品質とコストが学習性能に影響することを扱います。空中計算（OTA）を用いる連合学習システムについて、センシングノイズ、消費エネルギー、遅延、OTA集約の歪みをモデル化し、非凸の収束上界を導出しています。これに基づき、エネルギー、遅延、学習品質を両立させる各ラウンドの最適化問題を定式化し、交互解法で解いています。数値実験により、センシング・計算・通信の決定を同時に最適化する利点が示されています。

流体アンテナによる安全チャネル駆動コンステレーション（FASCC）：物理層セキュリティの手法

2026-10-04T00:00:00+09:00

Fluid Antenna Secure Channel-driven Constellation (FASCC): a Physical Layer Security approach arXiv · 2026年10月4日本論文は、下り通信のための流体アンテナ安全チャネル駆動コンステレーション（FASCC）フレームワークを提案しています。情報は、流体アンテナのポート選択と位相調整によって生成されるチャネル領域のコンステレーション点で伝送されます。盗聴者のチャネル状態情報が利用可能かどうかに応じて、二つの補完的な方式が開発されています。数値結果によれば、盗聴者が正規受信者より基地局に大幅に近い場合でも、ビット誤り率と相互情報量の秘匿性能で有意な秘匿利得が得られます。

制約付き微分ゲームにおける近似フィードバックナッシュ均衡：上界保証を持つモデル予測制御による手法

2026-10-04T00:00:00+09:00

Approximate Feedback Nash Equilibria in Constrained Differential Games via Model Predictive Control with Upper Bound Guarantees arXiv · 2026年10月4日本論文は、多エージェント制御で求めにくいフィードバックナッシュ均衡（FNE）を、有限ホライズンの開ループゲームを繰り返し解くモデル予測制御（MPC）で近似する手法を提案している。補助ゲームの定式化により予測ホライズンと終端コストを選び、制約付き開ループゲームを通じてハード制約も扱う。制約なしの場合には、MPCによる軌道とFNE軌道の状態偏差の解析的上界を導出し、既存手法との数値比較も示している。

ブロック消失通路上のガウス源の結合信源通路符号化：非漸近限界と通路一様な正規近似

2026-09-30T00:00:00+09:00

Joint Source-Channel Coding of Gaussian Sources over Block Erasure Channels: Nonasymptotic Bounds and Channel-Uniform Normal Approximations arXiv · 2026年9月30日本論文は、無記憶（非定常の可能性もある）ブロック消失通路上で、有限ブロック長におけるガウス無記憶信源の有損伝送を、超過平均二乗歪み基準のもとで検討する。計算可能な非漸近の達成可能限界と逆限界を導き、三次で一致する通路一様な正規近似を確立している。数値評価では、非漸近の結合符号化限界とその共通の三次近似を、最適化された対称化の分離符号化達成可能ベンチマークと比較している。

単項式写像に対する関数訂正符号のPlotkin型上界

2026-10-03T00:00:00+09:00

Plotkin-type Bound on Function-Correcting Codes for Monomial Mappings arXiv · 2026年10月3日本論文は、受信側に対して特定の関数値をメッセージより高い水準で保護する関数訂正符号（FCC）を扱う。有限体上の任意の関数について、ハミング距離の下でFCCの冗長度に関する一般化されたPlotkin型上界を導出し、これは古典的誤り訂正符号のPlotkin限界を特殊な場合として含む。さらに、線形関数、ハミング重み関数、ハミング重み閾値関数に対する明示的な上界を示す。また、有限体F_{q^k}上の単項式写像f(x)=x^nに対するFCCを研究し、明示的なPlotkin型冗長度上界を導出する。

V2X-ISAC システムにおける QoS 制約付きリソースパターン設計

2026-10-03T00:00:00+09:00

QoS-Constrained Resource Pattern Design for V2X-ISAC Systems arXiv · 2026年10月3日本論文は、車車・路車間通信（V2X）向けの統合センシング・通信（ISAC）システムで、通信の信頼性とセンシング性能を同時に考慮してセンシング用リソースパターンを選択する手法を提案しています。センシング目標は、距離と速度を同時推定するためのフィッシャー情報行列に基づいて定式化されています。通信側ではサービス品質（QoS）制約として最小パケット受信率（PRR）を課しています。全探索の計算負荷を避けるため、1回の入れ替えによる改善を組み合わせた貪欲選択アルゴリズムを開発しています。シミュレーションでは、PRR 要件を満たしつつ従来のリソースパターンより高いセンシング性能を示し、全探索の最適解に近い性能が得られたと報告されています。

対立する送信者によるタイムリーな説得：競争は受信者に有利になるのか？

2026-10-03T00:00:00+09:00

Timely Persuasion with Opposing Senders: When Does Competition Help the Receiver? arXiv · 2026年10月3日立場が対立する2人の送信者が、それぞれ個別の予算の下で、二値の連続時間マルコフ連鎖に関する状態更新を送ります。受信者は、報告に従った推定の長期的な加重効用が事前分布に基づく既定の推定以上の場合にのみ、その報告に従います。本論文はこの相互作用をシュタッケルベルクゲームとしてモデル化し、純粋戦略均衡を閉形式で特徴づけます。さらに、単一の送信者と競争する送信者とで受信者の効用がどう変わるかを分析し、数値結果で受信者最適報告のベンチマークと比較しています。

部分的な軌跡からの線形動力学の同定と復元

2026-10-03T00:00:00+09:00

Identification and Recovery of Linear Dynamics from Partial Trajectories arXiv · 2026年10月3日本論文は、状態座標の一部しか観測できない線形動力学の軌跡から、未知のシステム行列Aと低ランクの初期状態行列X0を同時に復元する問題を扱います。同定可能性の必要条件と観測数の下限を示し、特定の条件下で局所同定可能であることを示します。初期状態が基底を成す軌跡が完全に観測される場合には、大域的復元の必要十分なランク条件と明示的な再構成式を与えています。合成データと実データでの数値実験により、空間的な採取率と観測期間の違いによる復元性能を評価しています。

共有制約付き整数計画ゲームにおける均衡の計算

2026-10-03T00:00:00+09:00

Computing Equilibria in Integer Programming Games with Shared Constraints arXiv · 2026年10月3日本論文は、共有制約を持つ有限整数ゲームで純粋ナッシュ均衡を計算するための割平面アルゴリズムを提案している。条件付き均衡不等式によって、逸脱の実行可能性が相手の戦略に依存することを表現し、分岐切除法に遅延制約として組み込んでいる。3,300件のインスタンスで評価され、大半で社会的に最適な均衡を求めることができ、均衡が存在しない場合も証明している。

OACM：大規模スパイキングニューラルネットワーク・シミュレーションのための楽観的非同期通信モデル

2026-10-03T00:00:00+09:00

OACM: Optimistic Asynchronous Communication Model for Large-Scale SNN Simulation arXiv · 2026年10月3日本論文は、大規模分散環境におけるスパイキングニューラルネットワーク（SNN）シミュレーションで生じる同期オーバーヘッド、過剰なロールバック、非効率な通信という課題に対処するOACMモデルを提案します。手法は、同期窓内での楽観的ハイブリッドSNNシミュレーション、UNRライブラリを用いた非同期片側通信、2D-HyperX仮想トポロジーにおける適応的メッセージ集約・経路制御からなります。高性能計算クラスタでのマーモセット脳の多領域モデル（最大174計算ノード）の評価では、元のCORTEXシミュレータに対して最大1.4倍、NESTに対して22.6倍超の高速化が示されています。

期待利得を持つ大規模集団の学習：Bregman発散とWillems・Lyapunovの融合

2026-10-03T00:00:00+09:00

Learning in Large Populations With Anticipatory Payoffs: Bregman Meets Willems and Lyapunov arXiv · 2026年10月3日本論文は、動的メカニズムによって利得が生じる大規模集団における進化的ナッシュ均衡学習を検討する。反時計回り散逸性（CCW）の枠組みを用い、利得と整合的な良好な学習規則について収束を示す。さらにCCWの貯蔵関数から規則に依存しないLyapunov関数を構成し、収束のみで安定性が示されていなかった点を補う。現在の利得と平滑化された集団状態に対応する利得を比較する非線形の期待メカニズムについては、貯蔵関数をBregman発散として導出でき、大域的漸近安定性が示される。非線形の混雑増加料金を伴う混雑ゲームを例として結果を説明している。

BitIR：異種GPUアプリケーションの耐障害性分析のためのクロスアーキテクチャ故障注入

2026-10-03T00:00:00+09:00

BitIR: Cross-Architecture Fault Injection for Resilience Analysis of Heterogeneous GPU Applications arXiv · 2026年10月3日本論文は、LLVM IR段階で決定的な単一ビット故障を注入するBitIRフレームワークを提案する。バックエンドへの変換前に意味的に等価な摂動を与えるため、NVIDIA、Intel、AMDのGPU間で直接比較できる。3台のスーパーコンピュータで異種ベンチマークに対して大規模な注入実験を行い、結果をマスク、サイレントデータ破損（SDC）、障害に分類した。同一の故障でもベンダーごとに挙動が大きく異なり、耐障害性はバックエンドに依存しないことが示された。

ロボタクシー割当ゲームにおける決定的シュタッケルベルク戦略

2026-10-03T00:00:00+09:00

Deterministic Stackelberg Strategies in Robotaxi Assignment Games arXiv · 2026年10月3日この論文は、乗客の取り合いをする2つのプラットフォームを扱い、先行事業者が後発参入者に需要を奪われないよう車両を配車する問題を、ゼロ和ゲームとしてモデル化しています。最適な決定的戦略を求める厳密な整数線形計画と、多項式時間の近似アルゴリズムを示し、最適利得の計算や近似が困難であることも証明しています。さらに、直線上の場合の厳密な動的計画法と、実際の配車データによる評価も行われています。

SIC 復号に基づく RIS 支援の多方向通信システム

2026-10-03T00:00:00+09:00

RIS Aided Multi-Way Communication Systems based on SIC Decoding Techniques arXiv · 2026年10月3日本研究は、QPSK を用いた再構成可能知的表面（RIS）支援の多方向通信システムを扱います。RIS の全二重機能を利用して、複数のユーザーが相互に情報をやり取りすることを目指しています。3 種類の SIC（逐次干渉除去）順序付け方法のビット誤り率を比較し、反射素子の振幅が位相に依存する場合への拡張も検討しています。シミュレーションの結果、RIS 素子数が少ない場合は平均二乗誤差の昇順による SIC が最良で、素子数が増えると最適化手法に基づく順序付けが最良となりました。

回復対（recovering pair）の改良された上界

2026-10-03T00:00:00+09:00

An Improved Upper Bound for Recovering Pairs arXiv · 2026年10月3日本論文は、n 元集合の部分集合族からなる回復対 (A, B) について、|A||B| ≤ (2.23949)^n が成り立つことを示している。Mond、Souza、Versteegen の結果と、Fang と Huang による (9/4)^n の上界を組み合わせると (2.2499)^n が得られていたが、本論文はこれを改良している。証明では二つのエントロピー不等式を凸結合によって組み合わせている。 ★★★★ 注目：著者は二つのエントロピー不等式を組み合わせ、リカバリング対の指数上界を(2.2499)^nから(2.23949)^nへ改善したと報告している。

ピンチングアンテナシステムにおける多元接続：サーベイ、劣化解析、評価

2026-10-02T00:00:00+09:00

Multiple Access in Pinching-Antenna Systems: A Survey, Impairment Analysis, and Evaluation arXiv · 2026年10月2日本論文は、ピンチングアンテナ（pinching-antenna）システムにおける多元接続技術をサーベイし、56件の研究を空間自由度に基づく統一的な分類体系に整理しています。同一導波路上のユーザーは時間、周波数、電力、ガイドモードでのみ分離でき、複数の導波路によって空間領域が加わります。さらに、ユーザー分離に影響する各種の劣化要因を整理し、同一のチャネルおよび劣化モデルの下で四つの領域のアクセス方式を統一的に評価しています。

格子上の剰余符号に対する高速復調法（高速量子化ウォーク復調）

2026-10-01T00:00:00+09:00

Efficient Demodulation for Coset Codes on Lattices arXiv · 2026年10月1日本論文は、格子コンステレーション変調における軟判定復調の計算量が大きい問題に対し、高速量子化ウォーク復調（FQWD）を提案する。D4 および E8 格子のボロノイセルへの径方向射影を用いることで、多段剰余符号（MLCC）の復調計算量を O(d2^{sd}) から O(sd2^d) に削減する。AWGN 通信路において、誤りブロック率の最尤復調に対する損失はわずかであることが実験で示された。

任意の選好を持つ橋の立地に関するメカニズム設計

2026-09-30T00:00:00+09:00

Mechanism Design for Bridge Location with Optional Preferences arXiv · 2026年9月30日本論文は、2つの分離された地域にそれぞれ事前配置された施設があり、各エージェントが関心を持つ施設の非空部分集合を選ぶ橋の立地問題を研究する。個人のコストは最大・和・最小の3種類の定義で測られる。設計者は真実の申告を引き出す決定的な戦略耐性メカニズムを設計し、社会的コストまたは最大コストを近似的に最小化する。最適メカニズム、近似比、下界が示されている。

非同型のグラフは異なる頂点ラムゼー類を持つ

2026-10-03T00:00:00+09:00

Non-isomorphic graphs have distinct vertex-Ramsey classes arXiv · 2026年10月3日論文は、グラフHのk色頂点ラムゼー類、すなわち頂点をk色で任意に塗り分けたときに単色の（誘導）Hのコピーが必ず現れるようなグラフGの集合を扱う。著者は、任意のkについて、互いに同型でないグラフのラムゼー類は互いに異なることを証明している。

単一サンプル預言者不等式：組合せ配分から単一財への帰着

2026-10-03T00:00:00+09:00

Single-Sample Prophet Inequalities: A Combinatorial to Single-Item Reduction arXiv · 2026年10月3日本論文はオンライン組合せ配分における単一サンプル預言者不等式を研究します。組合せ型の評価関数を、適切な支持価格を持つ場合に単一財の預言者不等式へ帰着させる一般的な手法を提案し、自由廃棄価値を用いて買い手側の組合せ制約と財側の供給制約を分離します。この枠組みにより、XOS 評価関数に対する単一サンプルおよび k サンプルの競争比の結果が得られ、分割可能資源や上限付き XOS 評価への拡張も示されています。

OpenMP メタ・ロワリング：性能移植性のある並列コード生成への宣言的アプローチ

2026-10-03T00:00:00+09:00

OpenMP Meta-Lowering: A Declarative Approach to Performance Portable Parallel Code Generation arXiv · 2026年10月3日本論文は MLIR フレームワークに基づき、OpenMP 構文を対象ごとにどう下位化（lowering）するかを領域特化言語（DSL）で記述する、モジュール型の並列コード生成手法を提案している。この手法は「OpenMP メタ・ロワリング」と呼ばれる。PolyBench/C-OMP による評価では、主要なコンパイラツールチェーンと同等の性能を示し、コードサイズの増加は 0.7% 未満であった。対象実装の下位化コードは Clang より約 32%、GCC より約 76% 少なく、新しいランタイムへの対応も少ない記述で済むとされている。

Add-and-Remove変換下における行列ランク距離符号の符号距離

2026-10-03T00:00:00+09:00

Code distances of matrix rank-metric codes under Add-and-Remove transformations arXiv · 2026年10月3日本論文は、行列ランク距離符号に対する「Add-and-Remove」構成の下で、部分符号距離がどのように変化するかを研究している。この構成では、余次元ℓsの部分符号を保持し、次元ℓaの空間を追加する。任意の行列符号について元の符号と新しい符号の部分符号距離の間の不等式を与え、Delsarte双対がℓsとℓaを入れ替えることを示す。行列Gabidulin符号については、部分符号距離の変化を明示的に示し、新しい符号の最小距離を追加空間と共通部分符号の間のランク距離で表す。MIRANDA署名方式にも関係する。

HPCにおける複数施設をまたぐLLM事前学習：弾力的集約、データリース、キュー認識型配置

2026-10-03T00:00:00+09:00

Cross-Facility LLM Pre-training on HPC: Elastic Aggregation, Data Leasing, and Queue-Aware Placement arXiv · 2026年10月3日本論文は、2大陸に分散し最大7,400km離れた3台のスーパーコンピュータ（Snellius、LUMI、Frontier）に分かれて割り当てられた計算資源を束ね、1つの言語モデルを事前学習するシステムを提案しています。二重ループ型の弾力的集約、ハートビートに基づくデータリース（学習データの重複や欠落を防ぐ）、キューの状況を見て投入先を決める仕組みを組み合わせています。Qwen3-0.6BをC4で学習した実験では、3拠点での保持データに対する困惑度は34.7で、集中型のベースラインは28.2でした。 ★★★★ 注目：弾力的な跨拠点事前学習、データリース、キュー認識配置を組み合わせ、三台のスーパーコンピュータでQwen3-0.6Bを訓練し、困惑度34.7（集中型基線28.2）と報告している。

RailWave：エキスパート並列通信のための適応的な空間・時間スケジューリング

2026-10-03T00:00:00+09:00

RailWave: Adaptive Spatial and Temporal Scheduling for Expert-Parallel Communication arXiv · 2026年10月3日本論文は、Mixture-of-Experts（MoE）モデルのエキスパート並列処理における不規則な All-to-All 通信のボトルネックを扱い、DeepEP 上に構築された通信層 RailWave を提案しています。ルーティング層の下位で、トラフィックの空間的・時間的な分散を行います。106B の GLM-4.5-Air モデルの学習由来の通信負荷において、Native と比べ H800 で最大 5.84 倍、H20 で最大 4.36 倍の高速化を報告しています。

置換多項式から構成する高ガース低密度パリティ検査符号

2026-10-02T00:00:00+09:00

Low-Density Parity-Check Codes of High Girth from Permutation Polynomials arXiv · 2026年10月2日準循環型低密度パリティ検査符号（QC-LDPC）の構成を扱う論文です。巡回置換行列の可換性が、ガースと最小距離の上限を制約し、反復復号の性能に影響していることに着目しています。著者らは、より高次の置換多項式、特に非可換な二項式置換多項式を用いたプロトグラフ符号を構成し、従来の上限を超えることを示しています。シミュレーションでは、アフィン置換多項式に基づく構成と比べて復号性能が改善されたと報告されています。

並列サンプリングにおける決定的適応性を超えるランダム化

2026-10-02T00:00:00+09:00

Randomization Beyond Deterministic Adaptivity in Parallel Sampling arXiv · 2026年10月2日本論文は、各座標を一度だけ明らかにし、各バッチの座標を正確な条件付き周辺分布から独立に抽出する並列サンプラーを研究しています。三ラウンドの上限のもとで、ランダム化は既に観測された値に応じてバッチを適応させるすべての決定的方策より精度を高めうることを示します。明示的な全台二値族では、最適な決定的適応方策の前向きKLダイバージェンスは次元とともに線形に増加する一方、四つの固定スケジュールの一様混合は指数的に小さくなります。スケジュールの選択には独立な公平なビット二つで足ります。

VenusRL：優先度スケジューリングとスケーラブルな対話を備えた完全分離型エージェント強化学習システム

2026-10-02T00:00:00+09:00

VenusRL: A Fully Disaggregated Agentic RL System with Priority Scheduling and Scalable Interaction arXiv · 2026年10月2日本論文は、大規模言語モデルのエージェントを訓練するための完全分離型強化学習システムVenusRLを提案している。多段階のツール対話で生じる二つのシステム的ボトルネック、すなわち最も遅い軌跡に制約される訓練スループットと、ツールサンドボックスのメモリ過剰割り当てに対処する。優先度を考慮したスケジューリングとメモリ認識型のページ共有により解決を図る。原文によれば、既存の基準手法に対し端到端の訓練を最大4.24倍高速化し、環境コストを最大89%削減したという。

任意のユーザー数と記号レートにおけるMR-NOMAの性能解析（多速率非直交多元接続の誤り率評価）

2026-10-02T00:00:00+09:00

Performance Analysis of MR-NOMA with Arbitrary Number of Users and Symbol Rates arXiv · 2026年10月2日本論文は、Nakagami-m フェージング通信路における下りリンクの多速率NOMA（MR-NOMA）の誤り率（BER）性能を、任意のユーザー数と記号レートについて解析したものです。3ユーザーの場合から出発し、完全逐次干渉除去を仮定して一般化しています。記号パターンに依存するSINR解析により、記号速率の多様性が干渉除去につながり、従来の単一記号速率NOMAより誤り率が優れる理由を説明しています。さらに、ユーザーの電力配分について平均誤り率を最小化する問題を定式化し、数値的に解いています。

プロンプトの表現が、集合行為におけるLLMのデフォルト追従を左右する研究

2026-10-02T00:00:00+09:00

Prompt framing governs LLM default following in collective-action arXiv · 2026年10月2日本論文は、大規模言語モデルが、インターフェースに事前入力されたデフォルト値の影響を受けるかを、二つの一回限りの社会的ジレンマゲーム（共有資源の採取ゲームと閾値型公共財ゲーム）で検証しています。事前入力されたデフォルトは選択確率を引き寄せますが、その強さは文言、デフォルト値の種類、選択肢の粒度によって大きく変わります。著者らは、選択アーキテクチャを統制せずに評価すると、行動の差異の重要な要因を見落とす可能性があると述べています。

AFORE：注意機構とFFNを分離した構成でエキスパートを動的に再配置するMoE推論システム

2026-10-02T00:00:00+09:00

AFORE: Attention-FFN Disaggregation with Overlapped Reconfiguration of Experts arXiv · 2026年10月2日本論文は、Mixture-of-Experts（MoE）モデルの推論サービングにおいて、注意機構とFFNを分離するAFD構成下では、エキスパートの負荷の偏りがFFN段の処理を遅らせる問題を扱っています。提案システムAFOREは、AFDによって次の微小バッチのエキスパート分布を事前に把握し、その移行を先行するバッチの計算と重ね合わせます。110Bパラメータ規模のMoEモデルによる四種の動的ワークロードの評価では、最強の比較手法と比べて出力スループットが10.1～17.6%向上し、P95のトークン間遅延が7.1～9.5%低減したと報告されています。

予測ギャップの解消：実機の挙動と予測の時間・電力・エネルギー・割り当てを一致させるための機械形状の補完

2026-10-02T00:00:00+09:00

Closing the Prediction Gap: Completing Machine Shape So That Predicted Time, Power, Energy, and Mapping Match What Real Hardware Does arXiv · 2026年10月2日本論文は、異種・複数機関からなるデバイス群を対象とした通信不要の分割手法について、既存のデバイス形状定義に欠けていた五つの項目（メモリ容量、消費電力、実行ユニット能力、コンパイラ指令設定、メモリ予約オーバーヘッド）を補完しています。さらに、NVIDIA の fp16 における消費電力の変化を説明するため、コンパイル済みコードが特殊ハードウェアに振り分けられるかを示す論理値 reached(d) を導入しています。A100、H100、V100、MI100、Max 1550 の五種類のデバイスで検証しており、メモリ予約オーバーヘッドは約 0.004 から 0.030 の範囲、除外された Triton 自動チューナーの残差は負の 9.8% です。

PaNGEA：GPU上で並列にノードを生成・探索するアルゴリズム

2026-10-02T00:00:00+09:00

PaNGEA: Parallel Node Generation and Exploration Algorithm on GPU arXiv · 2026年10月2日本論文は、混合整数最適化（MIO）ソルバー向けに、高品質な実行可能解を見つけるGPU対応の原始的ヒューリスティックPaNGEAを提案する。線形緩和の求解と、GPUでのバッチ実行に適した局所探索を組み合わせ、制限付き部分問題を並列に生成・探索する。283のMIPcc26およびMIPLIBインスタンスでの評価では、単一ノードのGPU実装がCPU版に比べ平均ギャップ積分を8〜18%削減し、複数ノードの並列探索ではさらに12〜19%削減した。

Coda：コーディングエージェント向けに受付の柔軟性を活用するサービング手法

2026-10-02T00:00:00+09:00

Coda: Exploiting Admission Flexibility for Coding-Agent Serving arXiv · 2026年10月2日コーディングエージェントは、モデル推論とツール呼び出しを繰り返すため、再利用可能なKVキャッシュ状態を持つ長期セッションを形成します。本論文は、共有サービング環境における受付効率の不一致を指摘し、階層化エイジング状態受付と互換性認識型実行受付の2つの仕組みで受付の柔軟性を活用するシステム Coda を提案しています。単一ワーカーと複数ワーカーの実験では、既存のコーディングエージェント向けシステムや vLLM と比べ、出力トークンおよびSLO準拠のスループットが平均でそれぞれ20.3%、70.5%向上し、ピーク時の向上率は29.3%、140.2%でした。

分散DNAデータストレージにおけるカバレッジ深度問題：シーケンシングコストを削減できる条件

2026-10-02T00:00:00+09:00

The Coverage Depth Problem in Distributed DNA Data Storage arXiv · 2026年10月2日本論文は、ノイズのない一様サンプリングの下で、分散DNAストレージから全メッセージを復元する際に必要なカバレッジ深度を研究している。任意の線形符号と順序付き分割について、復元時間の分布と期待値の厳密な式を導出し、MDS符号が各固定分割で最適であることを証明している。また、単体符号が同じパラメータの符号の中で単一コンテナの最小化器として一意であることも示している。 ★★★★ 注目：分散DNAストレージにおけるランダム採取の被覆深度問題について、著者らは任意の線形符号に対する復元時間の分布と期待値の厳密な式を与え、MDS符号が各固定分割で最適であることを示し、Bertuzzoらの単純形符号に関する予想を解決したとしている。

トークンだけでなく時間にも価格を付ける：LLM推論のための遅延考慮型メカニズム設計

2026-10-01T00:00:00+09:00

Pricing Time, Not Just Tokens: Latency-Aware Mechanism Design for LLM Inference arXiv · 2026年10月1日本論文はLLM推論をサービス市場として捉え、買い手の支払意思額、タスク量、時間選好という三次元の私的情報と、トークン量および遅延の余裕に依存する効用をモデル化しています。主要な結果は分離定理で、離散的なハードウェア階層によって時間選好が内生的に自己選択され、各階層内の三次元スクリーニングが一次元のスクリーニングに帰着するとしています。仮想価値法で最適な階層型メカニズムを特徴づけ、H100およびB200の8GPUクラスタに合わせて校正して検証しています。

相対論的慣性系におけるPaxosLease

2026-10-02T00:00:00+09:00

PaxosLease in Relativistic Inertial Frames arXiv · 2026年10月2日本論文は、分散型リース（占有権）プロトコルPaxosLeaseを相対論的な枠組みで扱う問題を論じています。著者は光円錐を用いて古典的な安全性の性質を言い直し、リースの期限切れが、別の保持者による後続の取得の因果的過去に入る必要があると述べています。さらに、包含規則と隔離規則に相対論的ドップラー因子を加えるよう古典的PaxosLeaseを修正しています。

ByteSplat：GPU内外の通信削減による効率的な分散3Dガウシアン・スプラッティング学習

2026-10-02T00:00:00+09:00

ByteSplat: Efficient Distributed 3D Gaussian Splatting Training via Intra- and Inter-GPU communication reduction arXiv · 2026年10月2日3Dガウシアン・スプラッティング（3DGS）は写真のように精緻な3次元シーン再構成を可能にしますが、大規模シーンの学習には多くのメモリと計算が必要です。ByteSplatは、前向きおよび後向きラスタライズ時のオフチップメモリアクセスと、GPU間での部分的なガウシアン勾配の通信という二つの主要なボトルネックに対処する分散3DGS学習フレームワークです。カーネルの融合、ハードウェア対応の剪定、勾配の疎性の活用によりデータ移動を削減します。六つのデータセットでの評価では、ベースラインと比べてGPU内オフチップトラフィックと後向きGPU間通信量をそれぞれ63.4%、65.8%削減し、8GPUで最大6.1倍の学習高速化を達成しつつ再構成品質を維持しました。

非周期測距におけるOFDMの最適性に関する研究

2026-10-02T00:00:00+09:00

On the Optimality of OFDM for Aperiodic Ranging arXiv · 2026年10月2日本論文は、ユニタリ変調行列を通して送信されるランダム通信シンボルの期待非周期自己相関サイドローブを検討する。四次絶対モーメントが2未満で擬分散がゼロの適正なサブガウス星座（一般的な一様QAMやPSKを含む）を対象とする。各時間遅れについて、最小期待サイドローブレベル（ESL）と、それを達成するユニタリ変調を厳密に決定している。完全なOFDM変調が最小値を達成するのは、時間遅れがブロック長Nを割り切る場合に限られる。 ★★★★★ 注目：著者らは、一般的な適正サブガウス星座について、各ラグでの期待サイドローブの最小値と達成する酉変調を導き、ラグがブロック長を割り切る場合にOFDMがこれを達成すると示し、r=N-1の完全EISL予想を解決したと報告している。

少体ボソン系の確率的変分法に対するAI支援GPU最適化

2026-10-02T00:00:00+09:00

AI-Assisted GPU optimization of the Stochastic Variational Method for Few-Body Boson System arXiv · 2026年10月2日確率的変分法（SVM）は、原子核や原子物理などの分野で量子少体系を高精度に解くための強力な手法です。本論文では、4He原子の少体クラスター向けの並列SVMコードを開発し、NVIDIA GH200とAMD Instinct MI300Aの2種類のGPU向けに最適化しました。コード全体はAIコーディングエージェントが作成しています。SVMの枠組みで一般化固有値問題を解くため、Gu–Eisenstat補正を伴う永年方程式法を導入しています。4800個のSVM基底状態を持つ五体系では、最適化したコードが同じく最適化されたIntel Xeon Max CPUシステムより、GH200で16.2倍、MI300Aで14.7倍高速でした。

ServeTwin：分散型LLMアーキテクチャ探索のための、ベンチマーク検証済みシミュレータ

2026-10-02T00:00:00+09:00

ServeTwin: A Benchmark-Validated Simulator for Distributed LLM Architecture Exploration arXiv · 2026年10月2日本論文は、実機クラスタを使わずに分散型LLM推論サービスの設計を評価するためのクローズドループ型シミュレータ ServeTwin を提案しています。仕様に基づく解析的タイミング予測と状態を持つサービスループを組み合わせ、未改変のサービングベンチマークを直接実行できます。実際の展開との比較では、定常状態のスループットと対話性のフロンティアを平均誤差3.6%で再現し、マルチターン性能は誤差9.9%で予測しています。

注釈駆動による CUDA プログラムの Tenstorrent Blackhole への移行

2026-10-02T00:00:00+09:00

Annotation-Driven Migration of CUDA Programs to Tenstorrent Blackhole arXiv · 2026年10月2日本論文は、静的形状のアフィン CUDA サブセットから、データ配置、コア間通信、タイル計算を導出する MLIR ベースのコンパイラを提案します。原文で固定されていない選択（計算とデータ移動の演算の配置、ストリーミングの粒度など）は、宣言的な注釈で指定します。ガウス消去法、五点スティンシル、対称ランク k 更新で評価した結果、コンパイラの既定実装と比べて、最良の構成では BF16 のガウス消去法で 4.2 倍、FP32 のガウス消去法と Jacobi 法で 2.1〜2.2 倍の高速化が得られました。周辺のポリシー、精度、ループスケジュールによって個々の選択の性能効果が逆転するため、ポリシーを独立に選ぶのではなく、コアごとの代替実装を比較すべきだと論じています。

Beaver：機械学習と遅延重視の仮想無線アクセスネットワーク（vRAN）負荷のための弾力的GPU共有システム

2026-10-02T00:00:00+09:00

Beaver: Elastic GPU Sharing between ML and Latency-Critical vRAN Workloads arXiv · 2026年10月2日本論文は、遅延に厳しい制約があるvRAN処理と、スループット重視の機械学習処理を同一GPU上で共存させるBeaverシステムを提案している。各スロットの予定負荷に応じてストリーミングマルチプロセッサの割り当てを動的に分割し、vRANのメモリ負荷が高い段階でHBM帯域を譲るようにML用カーネルを書き換える。H200での評価では、vRANのp99.9遅延を1.5msの上りリンク期限内に保ちつつ、Llama-3.3-70Bの推論スループットの74%を維持したと報告されている。

Rademacher行列による両側積拡大符号の存在証明

2026-10-02T00:00:00+09:00

Two-Sided Product Expanding Codes via Rademacher Matrices arXiv · 2026年10月2日本論文は、漸近的に最適な局所テスト可能符号（c³-LTC）の明示的構成に依存せずに、両側積拡大符号が存在することを証明しています。分量符号の個数と次元が固定され、符号化率がゼロと1から離れている場合、十分大きい素体上の独立なランダム線形符号が、確率1に収束して定数の両側積拡大性を持つことを示しています。その代償として、証明では標数がブロック長とともに増大する必要があり、Kalachev と Panteleev の先行研究（F₂の拡大体を使用）とは異なります。 ★★★★ 注目：明示的なc^3-LTCの構成の代わりに実数上のRademacher行列を用い、作者はトレースべき法で両側積拡大符号の存在を示すとし、十分大きな素体上のランダム線形符号が定数の両側積拡大性を持つとしている。

符号付きグラフの燃焼：二色の火が符号付きグラフ上で競合し、一方の色の頂点をできるだけ多く燃やすことを目指すモデル。

2026-10-02T00:00:00+09:00

Burning Signed Graphs arXiv · 2026年10月2日本論文は、符号付きグラフ上で黄色と緑色の二つの火が頂点を点火し辺に沿って広がる、新しいグラフ燃焼モデルを提案します。辺の符号により、火が辺を伝わる際に色が変わるかどうかが決まります。各ステップでプレイヤーは色を選んで新たな頂点を点火します。得られる最適値（plurality number）を、グラフに対応する二値符号へのハミング距離で表し、特定の符号付きパスについて正確な値を求め、関連問題の計算困難性も示しています。

エクサスケール計算基盤での実験向けシミュレーション・データ処理パイプラインのリアルタイム最適化

2026-10-02T00:00:00+09:00

Real-time Optimization of Simulation and Data Processing Pipelines for Experiments on Exascale Computing Platforms arXiv · 2026年10月2日本論文は、高エネルギー物理学や宇宙論などの大規模実験で増大するデータ量に対し、エクサスケール計算機上で資源を効率よく使う方法を扱っています。著者らは複数段階からなるタスクスケジューリング手法を提案し、短基線近傍検出器（SBND）のモンテカルロシミュレーションパイプラインを例に示しています。さらに、最適なスケジューリング戦略の特定や問題規模に応じた資源選択に使える、タスクスケジューリングのモデル化のための理論的・数値的ツールも提示しています。

リスト復号における条件付き正しさ：後順位の第二符号語が第一候補への信頼度を回復させる仕組み

2026-10-02T00:00:00+09:00

Conditional Correctness in List Decoding: How a Late Second Codeword Can Rescue Confidence in the First arXiv · 2026年10月2日本論文は、誤り訂正における雑音系列の尤度順位と復号の正しさの事後確率との関係を研究している。ランダム符号帳モデルの下で、リスト復号のソフト出力式が有限ブロック長における正しさの条件付き確率と一致することを示し、硬判定最尤復号における第一リスト項の漸近的信頼性を特徴づけている。その信頼性は第一、第二、最後の順位のみに依存することが示され、リスト長が二の場合は第二項の順位が十分に後であれば、第一項は単独では不十分に見える順位であっても漸近的に正しいとされる。

大規模低高度無線ネットワークにおけるトポロジー考慮型の感知・通信・充電一体化

2026-10-02T00:00:00+09:00

Topology-Aware Integrated Sensing, Communication, Charging in Massive Low-Altitude Wireless Network arXiv · 2026年10月2日本論文は、低高度無線ネットワーク（LAWN）で感知・通信・充電を同時に支える必要性に着目し、既存の多目的最適化手法が計算量の大きさと大規模化への対応の難しさを抱えると指摘しています。著者らは、地上機器と非地上機器をノード、その相互作用をエッジとして二部グラフで表す統一的なトポロジー考慮型（TA）フレームワークを提案し、統一的な資源調整規則に基づく低計算量のトポロジー再構成アルゴリズムを開発しています。シミュレーションでは、多機能の協調効率で既存手法を上回り、大規模な地上・空中ユーザー機器の環境でも頑健性と拡張性を保つことが示されています。

アラートの洪水から優先順位フォレストへ：事前知識ゼロのインシデント振り分けLOGOS

2026-10-02T00:00:00+09:00

From Alert Floods to Precedence Forests: Zero-Prior-Knowledge Incident Triage with LOGOS arXiv · 2026年10月2日本論文は、加工されていない生のテキストログだけで障害の伝播経路を特定できるかを検討しています。著者らは、エンティティとイベントの共起関係および時間的な前後関係を利用して数百万行のログを小さな優先順位フォレストにまとめる、教師なしシステム LOGOS を提案しています。本番環境の企業障害25件とオープンソースの問題12件で評価され、事前知識は一切不要です。中央値の実行時間は4.5分で、バックグラウンドノイズの中央値の99.8%を除去し、平均再現率は0.76でした。

ストリーム遅延下におけるリアルタイム機械学習推論の特徴量鮮度予算

2026-10-01T00:00:00+09:00

Feature Freshness Budgets for Real-Time ML Inference Under Stream Lag arXiv · 2026年10月1日本論文は、オンライン特徴量ストア（feature store）をイベントストリーム上のマテリアライズドビューとしてモデル化し、特徴量ごとの鮮度予算（特徴量が使われる判断ウィンドウと、サービング経路による陳腐化との差）を定義します。単一特徴量の陳腐化上限と閉形式の閾値を証明し、離散事件シミュレーションおよび Kafka・Redis・PostgreSQL による実環境パイプラインで検証しています。シミュレーションと実環境の差は主にサンプリング位相によるもので、位相をランダム化すると特徴量ごとの欠落率の平均絶対誤差は 0.018 となりました。 ★★★★ 注目：オンライン特徴の鮮度を有界な予算として定式化し閉形式の閾値を示す。実際のKafka・Redis・PostgreSQLで検証し、位相固定のシミュレーションが陈旧性を過小評価することを報告している。

MoE-CORE：メモリ制約下のMoE推論向け、エキスパートのオフロードと常駐を協調させるシステム

2026-10-02T00:00:00+09:00

MoE-CORE: Coordinated Expert Offloading and Residency for Memory-Constrained MoE Inference arXiv · 2026年10月2日本論文は、デバイスメモリが限られた環境で混合エキスパート（MoE）大規模モデルを推論するためのシステム MoE-CORE を提案している。プリフィル段階では完全なエキスパート層を交互のバッファに段階的に読み込み、デコード段階では層ごとのキャッシュ容量配分、ルーティング履歴を考慮した置換、層間プリフェッチを組み合わせて、ホストとデバイス間の転送を抑える。DeepSeek-V4-Flash-W4A8 および GLM-5.2-W4A8C8 において、比較対象の vLLM Prefetch より出力トークンあたりの時間（TPOT）が大幅に短いと報告されている。

ePACT：LLM推論サービス向けのエネルギー・性能を考慮した契約量追従制御

2026-10-01T00:00:00+09:00

ePACT: Energy-Performance-Aware Commitment Tracking for LLM Serving arXiv · 2026年10月1日LLM推論サービスの消費電力を下げるだけでは、電力調達で事前の契約量から外れた場合に不利なコストが生じうるため、部署全体のコストは必ずしも下がらないことを指摘しています。著者らは、超過利用と過少利用のコストが非対称になりうる時間単位の契約量を対象とし、サービス容量とGPUクロックを調整する二層制御器ePACTを提案しています。H20およびH200のGPUプールによる1日分のトレース模擬実験では、vLLMと比べて非対称な偏差コストを73.8%および75.7%削減し、SLO達成率はvLLMに近い水準を維持したと報告しています。

二元BCH符号から得られる、漸近的に単位レートの記憶符号

2026-10-01T00:00:00+09:00

Asymptotically unit-rate storage codes from binary BCH codes arXiv · 2026年10月1日記憶符号とは、グラフの各頂点に記号を割り当て、その記号を隣接頂点から復元できるようにする符号である。本論文は、少なくとも2誤り訂正能力を持つ原始BCH符号の三角形を含まない剰余類グラフ上で、二元全パリティ記憶符号のレートが1に近づくことを証明している。双誤り訂正族（体はF_{2^m}）については、記憶の不足量がΘ(((1+√5)/4)^m)であることを示している。

快速車線による公平で効率的な高速道路渋滞管理のためのトークン経済設計

2026-10-01T00:00:00+09:00

Token Economy Design for Fair and Efficient Highway Congestion Management with Express Lanes arXiv · 2026年10月1日本論文は、交通効率を損なわずに公平性を高めることを目的とした、高速道路車線配分のためのトークン経済の設計を研究している。研究対象はサンマテオ101快速車線プロジェクトで、高乗車率車両は快速車線を制限なく利用でき、その他の利用者は非金銭的トークンを獲得・消費することで一般車線と快速車線を切り替えられる。マイクロスコピックな交通シミュレーションと実際の需要データにより評価され、提案された価格は快速車線を設けない基準シナリオとほぼ同じ平均移動時間をもたらし、緊急度で重み付けした体感移動時間を大幅に削減したことが示された。

大規模言語モデルを社会的価値志向（SVO）で条件付けると、逐次的社会的ジレンマにおける人間の行動との整合性が向上する

2026-10-01T00:00:00+09:00

Conditioning LLMs on Social Value Orientation improves behavioural alignment in a sequential social dilemma arXiv · 2026年10月1日研究者は、ムカデゲーム（Centipede Game）の二つの変種について、八つの大規模言語モデルの既定の行動を人間の実験データと比較しました。既定の戦略はモデルごとに大きく異なり、概して人間の分布から離れていました。人間サンプルから抽出した社会的価値志向（SVO）のプロファイルで条件付けすると、人間の基準との整合性が既定値に比べて最大70%向上しました。SVOを高く設定するほどゲームを中止する確率が下がり、人間に見られる利他性と協力の関係が再現されました。

計算律速と메モリ律速カーネルの相互作用を利用したMPIアプリケーションの高速化

2026-10-01T00:00:00+09:00

Exploiting the Interplay of Compute- and Memory-Bound kernels in MPI Applications arXiv · 2026年10月1日通信が少なく、計算律速とメモリ律速の実行が交互に現れる並列アプリケーションでは、MPIの通信待ちがメモリ帯域の競合を偶発的に緩和しうることを示した論文である。光線追跡（計算律速）と光流推定（メモリ律速）を組み合わせた並列オプティカルフローソルバで、非同期化による大きな高速化を確認した。可変の二重カーネル・マイクロベンチマークとモデルベースのシミュレータでも検証している。

整数の最適ユニバーサル符号化：最小膨張係数の数値決定

2026-10-01T00:00:00+09:00

Optimal Universal Coding of Integers arXiv · 2026年10月1日本論文は整数のユニバーサル符号化（UCI）を扱い、非増加の任意の源分布に対して平均符号長が max{1,H(P)} の K 倍以内に収まる二進符号語を正の整数に割り当てる問題を検討する。著者らは、どの符号についても最悪比が「1点と一様な裾」からなる分布族で達成されることを証明し、プレフィックス符号におけるクラフトの不等式に相当する UCI 不等式を導入して、最適最小膨張係数 C* の同値な定義を得る。数値計算により C* = 2.000124757036101… が得られ、小数点以下15桁が検証されている。

実測データを用いたエージェント型無線デジタルツインの構築と校正

2026-10-01T00:00:00+09:00

Agentic Wireless Digital Twin Construction and Calibration Using Real-World Measurements arXiv · 2026年10月1日本論文は、Agentic WDT（AWDT）という、無線デジタルツインを自律的に構築・校正するフレームワークを提案しています。3つのエージェントが、伝搬環境の構築（EnvAgent）、基地局とセクター設定の推定（OpAgent）、電波材料特性の校正（MatAgent）を担い、LTE/NRの参照信号受信電力（RSRP）の測定値とレイトレーシング予測の差を使って反復的にモデルを改善します。実環境での実験では、RSRP予測の平均絶対誤差が11.46 dBから5.25 dBに低減されました。独立した測定システムでの評価では、機器固有の軽量なバイアス補正により機器間での転用可能性も示されています。

GPU 主導の通信：基盤レベルまで分解して解析

2026-10-01T00:00:00+09:00

GPU-Initiated Communication: Dissecting Down to the Bone arXiv · 2026年10月1日本論文は、GPU スレッドが RDMA 操作を NIC へ直接投入する通信方式を、GPU と NIC の境界から詳しく分析しています。NVSHMEM、NCCL GIN、DeepEP などのライブラリの性能を、ハードウェアの仕組みとライブラリの処理に分けて比較しています。最小構成の GPU 経路では操作の発行に約 0.7 マイクロ秒、完了に約 4.0 マイクロ秒かかり、ライブラリによる追加の発行時間は最大 4.6 マイクロ秒です。提出経路だけでは通信性能を予測できないことも示しています。 ★★★★ 注目：GPUからNICへの通信経路を分解し、最小限の転送層mini-gdaとmini-proxyで複数ライブラリをH100・H200・B200・GB200上で比較測定し、ハードウェアとライブラリの遅延を切り分けた。

ビーム位置ずれ誤差下におけるUAV回廊の通信・センシング・カバレッジ

2026-10-01T00:00:00+09:00

Communication and Sensing Coverage of UAV Corridor under Beam Misalignment Error arXiv · 2026年10月1日本論文は、地上基地局が現実的な三次元3GPPアンテナパターンを用いた際の、UAV回廊支援ネットワークにおける通信・センシング統合（JCAS）のカバレッジ確率を研究しています。UAV端末は有限円柱としてモデル化した空中回廊内に三次元二項点過程で配置され、基地局はレーダーセンシングにより既知のUAV端末を追跡します。三次元ビーム位置ずれ誤差は多変量正規分布に従うと仮定しています。クラッタと上り通信干渉の下で、JCASカバレッジ確率の厳密な解析式を導出し、高高度では回廊長の効果が飽和すること、およびビーム幅が干渉抑圧と位置ずれ感度の間でトレードオフになることを示しています。

空中回廊における通信とセンシングの統合：新しい確率幾何学フレームワーク

2026-10-01T00:00:00+09:00

Joint Communication and Sensing in Aerial Corridors: A Novel Stochastic Geometry Framework arXiv · 2026年10月1日本論文は、空中回廊に存在する無人機群を対象に、通信・センシング統合（JCAS）のカバレッジ確率を解析する確率幾何学フレームワークを提案します。回廊は有限円柱としてモデル化され、無人機ユーザーは三次元二項点過程に従って分布します。基地局は三次元3GPPアンテナパターンを用い、既知のユーザーをレーダーで追跡します。クラッターと上りリンク干渉の下で、JCAS カバレッジ確率の厳密な解析式が導出されています。基地局アンテナビームの指向性を高めると、特に短い回廊で性能が大きく向上することが示されています。

無人機の姿勢を活用した秘匿通信：動力学に整合した軌道・姿勢の共同設計

2026-10-01T00:00:00+09:00

Exploiting UAV Attitude for Covert Communications: Dynamics-Consistent Trajectory-Attitude Co-Design arXiv · 2026年10月1日既存の無人機秘匿通信の軌道設計は多くが質点モデルに基づき、飛行運動とアンテナ向きの結合を無視している。本論文は、監視者が存在する状況で、指向性アンテナを備えた回転翼無人機が正規受信機へ機密情報を送信する場面を扱い、加速度による姿勢変化とその指向性チャネル利得への影響を明示的にモデル化する。監視者側のKLダイバージェンスに基づく秘匿制約を導出し、MM法で軌道と姿勢を共同最適化して平均秘匿レートを最大化する手法を提案する。姿勢制御に誤差がある場合へのロバスト設計も扱う。

RapidMoE：大規模MoE推論のための適応的残差オフローディング（非対称性の活用）

2026-10-01T00:00:00+09:00

RapidMoE: Exploiting Cross-Asymmetry via Adaptive Residual Offloading for Large-Scale MoE Inference arXiv · 2026年10月1日本論文は、CPU-GPUのヘテロジニアス環境で大規模Mixture-of-Experts（MoE）モデルを推論する際に、アルゴリズムの負荷と硬件特性が噛み合わず、PCIe帯域がボトルネックになる問題を扱います。専門家単位から比特単位へとオフロードを細分化する残差オフローディングシステムRapidMoEを提案し、コンパクトで分離されたデータ表現、ハードウェア能力に合わせた二経路のルーティング、均衡のとれた計算スケジューリングを組み合わせます。実験では、最先端のオフローディングシステムと比べ、デコードで最大3.5倍、プリフィルで最大2.1倍の高速化が示されています。

修正可能な世界へのサービス提供：中断可能なエージェントのためのバージョン管理実行

2026-10-01T00:00:00+09:00

Serving a Revisable World: Versioned Execution for Interruptible Agents arXiv · 2026年10月1日本論文は、LLM エージェントがタスクの途中で修正される場合に対応する、RETIRE というサービス制御プレーンの設計を提案する。実行バージョンが出力の公開や状態の導入の権限を持ち、古いタスクを取り消したうえで、後継が引き継げる完了済みプレフィックスを確認する。vLLM への実装では、対照実験において、修正から後継の最初のトークンまでの時間が中央値で 17.1% 短縮されたと報告している。 ★★★★ 注目：版本化実行により古い作業の取り消しと完了済みKV状態の継承を一つの版本遷移にまとめた制御面を提案し、vLLMで実装した。作者は対照実験で中央値17.1%のTTFT短縮を報告している。

兄弟姉妹と既存の入園を含むマッチングにおける公平性と無駄のなさ：両立性と計算複雑性

2026-10-01T00:00:00+09:00

Fairness and Non-wastefulness in Matching with Siblings and Initial Enrollments: Compatibility and Complexity arXiv · 2026年10月1日本論文は、家族と保育所の間の双方向マッチング問題を研究する。ある家族は複数の子どもを持ち共同の選好を持つことがあり、一部の子どもは既に保育所に在籍して転園を希望している。著者らは、元の割り当てに戻れる「再配置（resettlement）」の概念を導入し、無駄のなさと再配置に基づく公平性を同時に満たすマッチングの存在を貪欲改善アルゴリズムで示す。また、これらの解概念の計算複雑性も分析し、一部の判定問題はNP完全、coNP完全であり、再配置結果の計算はPLS困難であることを明らかにしている。

DAG-BFTのシームレスな再構成：非同期ネットワークでシステムを止めずにノードを追加・削除する方式

2026-10-01T00:00:00+09:00

Seamless Reconfiguration for DAG-BFT arXiv · 2026年10月1日本論文は、非同期ネットワーク上で有向非巡回グラフ（DAG）を用いるビザンチン原子ブロードキャスト・プロトコルに対し、シームレスな再構成方式を提案するものである。既存のDAG型プロトコルは多くが参加ノードを固定と仮定しており、既存の解決策もシステムの停止や、事前に定めたエポック境界までのメンバー変更の遅延を伴う。本研究のプロトコルは、メンバーおよび対応する定足数の閾値が変わる間もDAGの成長を続け、システムを停止させない。著者らの知る限り、完全非同期ネットワークでDAG型ビザンチン原子ブロードキャストにシームレスな再構成を提供する初のプロトコルであるとしている。

書きながら読む：分子神経インターフェースに必要な基準情報

2026-10-01T00:00:00+09:00

Reading While Writing: Baseline Information Requirements for Molecular Neural Interfaces arXiv · 2026年10月1日神経伝達物質を送達すると同時に検出する分子神経インターフェースが、自身の化学入力のもとで内因性放出をどう推定するかを扱う論文です。飽和取り込みと濃度変化の測定を共有する二つの領域を解析し、未知の安静時濃度差が源領域の増分取り込みの不確実性につながることを示しています。ドーパミンを例にした検討で、基準情報や送達情報が放出の分類に与える影響も論じられています。

MANTA：機械学習で強化されたメモリ階層化アドバイザー（ページ配置の判断を改善する仕組み）

2026-10-01T00:00:00+09:00

MANTA: Machine Learning Augmented Tiering Advisor arXiv · 2026年10月1日メモリ階層化は、高速なDRAMとCXL接続メモリなどの低速な階層を組み合わせ、メモリ容量を拡張する手法です。本論文は参照用のオフライン最適化器ChOMPと軌跡駆動型シミュレータを用いて分析を行い、その結果を踏まえて、実行時のアクセス特徴からページの将来の有用性を予測する軽量な学習モデルをARMSに統合したMANTAを提案しています。エミュレートされたCXL上の8つのワークロードでは、4GBの高速メモリ時にARMSに対して幾何平均で1.12倍（Linux 6.2）と1.08倍（Linux 6.18）の高速化を達成し、Optane上の6つのワークロードでは1.69倍でした。

Ditto：汎用的に再構成可能な線形化可能読み取り手法

2026-10-01T00:00:00+09:00

Ditto: Generalized Reconfigurable Linearizable Reads arXiv · 2026年10月1日本論文は、分散データストアにおける線形化可能な読み取りの遅延を扱い、既存の読み取りアルゴリズムを一般化された空間に分類するフレームワークと、その遅延の数学的分析を示しています。分析から、読み取りと書き込みの遅延の間、および読み取りと書き込みのネットワーク変動への耐性の間という2つの基本的トレードオフが明らかになっています。著者らは新アルゴリズム Pairwise Quorums と、実行時に条件に応じて再構成する Ditto を提案し、既存の各アルゴリズムに対して優位に立つか、真のトレードオフがある場合には同等になると主張しています。

MegaFlux：パイプライン化されたエキスパート複製による偏りに強い MoE メガカーネル

2026-10-01T00:00:00+09:00

MegaFlux: Skew-Resilient MoE Megakernels via Pipelined Expert Replication arXiv · 2026年10月1日本論文は、混合エキスパート（MoE）モデルでルーティングが偏ると一部の GPU が過負荷になり層全体の遅延を招く問題を扱い、MegaFlux を提案します。実行時に人気の高いエキスパートを複製するか判断し、複製に伴う重み転送と逆伝播の勾配削減をエキスパート計算と重ねてパイプライン化します。8 基の NVIDIA B200 GPU での 147 構成の測定では、固定配置と比べ順伝播で幾何平均 1.45 倍、逆伝播で 1.28 倍の高速化が報告されています。

戦争の霧の中での同盟形成：一般ロット理論からの考察

2026-10-01T00:00:00+09:00

Forming Alliances in the Fog of War: A General Lotto Perspective arXiv · 2026年10月1日本論文は、共通の敵に対して二人のプレイヤーが協力する場合に、不確実な情報のもとで同盟が有利になりうるかを検討しています。モデルは連合型の一般ロットゲーム（General Lotto game）で、プレイヤーは複数の価値ある競争に資源予算を配分します。相手や味方の予算が乗数の範囲でしか分からない場合に、双方に利益をもたらす予算移転がどのようなゲームで存在するかを特徴づけています。すべての不確実性の水準で、そのような頑健な移転が正の測度をもつゲームの集合に存在することを示しています。

LDPC符号化QPSKのための変調拡張とコンステレーション整形

2026-10-01T00:00:00+09:00

Modulation Augmentation and Constellation Shaping for LDPC-Coded QPSK arXiv · 2026年10月1日LDPC符号化QPSKシステムに短い整形符号を組み込む方式を提案している。LDPC符号語の一部ビットを整形ビットとして用い、整形符号で疎な符号語に写像して低エネルギー点を高頻度で送信し、ガウス様の分布を実現する。受信側はLDPC復号器のフィードバックで整形ビットの対数尤度比を改良し、整形符号帳、ビットとシンボルの写像、コンステレーションを同時最適化する。5G NR のLDPC符号化QPSKおよびQAM-16と比べ、最大で0.6 dBおよび0.53 dBの利得が得られるとしている。

双方向市場の設計と自動入札の融合：広告取引で売り手と買い手の双方が戦略的に振る舞う場合の交換メカニズムを研究

2026-10-01T00:00:00+09:00

Two-sided Market Design Meets Autobidding arXiv · 2026年10月1日本論文は、オンライン広告で自動入札者が支払いに対する価値比率（RoS）を最大化する双方向市場を分析します。まず無事前情報の設定では、価値最大化エージェントが存在する場合、多くの効用真実性・予算均衡型メカニズムの無秩序価格（PoA）が無限大になることを示します。次に、RoS入札の下でMcAfeeの取引縮小メカニズムが流動的余剰に対して定数のPoAを達成することを示します。分布情報がある場合には、少なくとも一方がRoS価値最大化者であれば一階最適な流動的余剰を達成する双方向メカニズムを設計し、Myerson-Satterthwaiteの不可能性定理との対比を述べています。 ★★★★ 注目：自動入札者を含む両面市場を初めて扱い、先験情報なしでは多くの機構のPoAが無界になると示し、分布情報下で一階最適な流動性余剰を達成する機構を設計して、Myerson-Satterthwaiteの不可能性と対比させている。

L2R-EV：有限充電器待ち行列下の電動ライドシェアにおける修復対象の学習

2026-10-01T00:00:00+09:00

L2R-EV: Learning What to Repair in Electric Ride-Pooling with Finite Charger Queues arXiv · 2026年10月1日電動ライドシェアでは、乗客サービス、経路、バッテリー、有限数の充電器を同時に管理する必要がある。本論文は、離散事件シミュレータと、共通ディスパッチャ上に載せた学習型修復層を提案し、未回収の乗客の車両間移動を監督スコアと二段階PPOで選別する。マンハッタンの検証エピソード12件では、修復なしと比べ運用コストが6.57%低下し（12件すべてで優位）、充電待ちは41.0%減少した。

LatencyLab：FPGAスマートNIC向けDPDKベースのP4パイプライン遅延測定フレームワーク

2026-10-01T00:00:00+09:00

LatencyLab: A DPDK-Based P4 Pipeline Latency Measurement Framework for FPGA SmartNICs arXiv · 2026年10月1日本論文はLatencyLab（DPDKベースの測定フレームワーク）を提案し、FPGAスマートNIC上でP4プログラムが追加する遅延を測定します。データパスでのPHC/PTPやクロック同期は不要です。スイッチがプローブパケットを2つのポートに複製し、一方はVitisNetP4パイプライン、他方は対応するバイパス経路を通ります。CPUのタイムスタンプカウンタで到着時刻を記録し、その差分からパイプライン遅延を求めます。AMD Alveo U280上で4つのVitisNetP4プログラムを評価し、測定結果の分布は安定して再現性が高いと報告されています。

オンラインオークションにおける一般化された予言者不等式：予算と多様な目的を持つエージェント

2026-09-30T00:00:00+09:00

Generalized Prophet Inequalities for Online Auctions arXiv · 2026年9月30日本論文はオンラインオークションにおける予言者不等式（prophet inequality）を扱う。従来のモデルは準線形効用を最大化するエージェントを仮定しているが、現実には予算制約があり、目的も異なる場合（自動入札における価値最大化者など）がある。著者らは、エージェントの目的の種類と予算を、評価額分布と同様の確率的入力としてモデル化し、匿名の固定価格メカニズムを分析した。一般化された平衡価格の枠組みを提示し、劣加法的な評価関数を含む主要な設定で定数の競争比を示した。また、競争比とエージェントの価格感度とのトレードオフを明らかにし、予算ありの設定から予算なしの価値最大化者への一般的な帰着も与えている。 ★★★★ 注目：予算制約があり目標も異なる確率的エージェントへ予言者不等式を拡張し、均衡価格型機構について多くの設定で定数競争比を報告、予算なし価値最大化への帰着も示す。

Darpan：次世代コンピューティングコンティニュアムのためのデジタルツインフレームワーク

2026-09-30T00:00:00+09:00

Darpan: A Digital Twin Framework for the Next-Generation Computing Continuum arXiv · 2026年9月30日本論文は、デバイス、エッジ、フォグ、クラウドにまたがるコンピューティングコンティニュアムに向けたデジタルツインフレームワーク「Darpan」を提案しています。物理側では実アプリケーションを実行して実行状態を継続的に観測し、デジタル側ではその観測に基づき実行可能な仮想コピーを更新します。候補となる決定は同じ出発点から独立に評価され、選ばれた決定は実行前に物理側の最新状態で実行可能性を検証されます。実DAGワークロードでの平均絶対誤差は0.485秒、40ノードでのスケールアウト効率は93.1%と報告されています。

低空経済におけるミッション効率の最適化：異種無人機群の協調のための適応的電力配分

2026-09-30T00:00:00+09:00

Mission Efficiency Optimization in Low-Altitude Economy: Adaptive Power Allocation for Coordinating Heterogeneous Aircraft Swarms arXiv · 2026年9月30日本論文は、低空経済において複数の異種低空航空機が協調して複雑なミッションを遂行する場面を対象としています。センシング、通信、計算、実行といった役割分担によって構成される閉ループを扱い、各機の有効な作業能力を定量化する「作業能力エントロピー（OCE）」を提案しています。OCEと通信路条件を考慮し、ミッション効率の指標として線形二次形式レギュレータ（LQR）のコストを最小化する電力配分問題を定式化しています。この問題は二つの凸部分問題に分解して反復的に解かれ、それぞれに閉形式解が導出されています。シミュレーションの結果、提案手法は従来の手法より優れた性能を示しました。

広域ネットワークにおける遅延改善のための適応型ビザンチン定足数システムの検討

2026-09-30T00:00:00+09:00

Exploring Adaptive Byzantine Quorum Systems to Improve Latency in the WAN arXiv · 2026年9月30日ビザンチン障害耐性のある状態機械レプリケーションでは、値が確定する前に一部のレプリカ（定足数）が投票を交わす必要があります。広域ネットワークでは定足数の大きさと構成がレプリカの進行速度を左右し、クライアントが感じる遅延に影響します。本論文は BFT-SMaRt を拡張し、多様な定足数構成を同一フレームワーク内で、同じ最適化技術と組み合わせて扱えるモジュール式の定足数システム抽象を導入します。そのうえでネットワークシミュレーションにより、定足数システムの構成の違いが広域ネットワークにおけるクライアント観測遅延に与える影響を調べます。

Erlang 損失系統における情報鮮度（AoI）の分布

2026-09-30T00:00:00+09:00

Distribution of Age of Information in the Erlang Loss System arXiv · 2026年9月30日本論文は、バッファのない M/M/c/c（Erlang 損失系）における情報鮮度（AoI）とピーク AoI（PAoI）の厳密な分布を調べる。ポアソン到着の更新は、全サーバが使用中のとき、到着を棄却する・同一ソースの更新をランダムに先取りする・最も古い更新を先取りする、という三つの方針で扱われる。著者らは吸収マルコフ連鎖法により行列指数形式の厳密な分布を導き、複数ソースがサーバを共有する場合にも拡張できることを示している。

Kirin：クラウドネイティブ向け WebAssembly サービスオーケストレーター

2026-09-30T00:00:00+09:00

Kirin: Cloud-native WebAssembly Service Orchestration arXiv · 2026年9月30日本論文は、クラウドネイティブな WebAssembly サービスのためのオーケストレーター Kirin を提案している。リソーススケジューリング、ライフサイクル管理、スケーリング、リクエストルーティングなどの中核機能を備える。コンテナベースの展開と比較評価を行い、サービスのライフサイクル管理で良好な結果を示した一方、CPU 負荷の高いワークロードには既知の制約があることも確認した。典型的なサービスワークロードでは競争力のある性能を示している。

線形計画双対性による予算制約付きオークションの厳密な流動性厚生保証

2026-09-30T00:00:00+09:00

Tight Liquid Welfare Guarantees for Auctions with Budgets via LP Duality arXiv · 2026年9月30日本論文は、予算制約のある入札者を含むオークションの効率性を研究し、粗相関均衡（CCE）に対する厳密な無政府価格（PoA）の上界を導出します。PoA保証の証明を線形計画の双対問題の実行可能解を見つける問題に帰着させる一般的な枠組みを提示し、予算制約環境に適した新しい平滑性の概念を導入しています。この枠組みにより、複数の拍卖形式について流動性厚生の厳密な保証を得ており、予算制約のない統一価格オークションと一般化第二価格オークションについても新たな下界を示しています。 ★★★★★ 注目：LP双対に基づく一般的枠組みと、予算制約環境向けの新しい平滑性概念を提案し、同時一位価格・二位価格・全支払い等の競売で緊密なPoA境界を示す。統一価格競売の下界は既知の上界3.146と一致すると報告している。

版数情報年齢に基づく意味的秘匿領域の解析：無線ステータス更新システムで、情報の新鮮さと盗聴防止のバランスを意味レベルで評価する研究です。

2026-09-30T00:00:00+09:00

Version Age-of-Information-based Semantic Secrecy Region Analysis arXiv · 2026年9月30日本論文は無線ステータス更新システムにおける意味的秘匿性を扱い、版数情報年齢（VAoI）を用いて更新情報の価値を評価します。3ノードの盗聴通信路モデルで、情報更新と秘匿性のトレードオフを表現しています。著者らは意味的秘匿領域（SSR）の概念を導入して幾何学的に解析し、二次元マルコフ連鎖により宛先の平均VAoIと盗聴者に意味的非対称性が生じる確率の閉形式を導出しています。レイリーフェージング通信路では最適なSSR境界と電力配分を示し、固定電力の方式と比べて最適化された電力配分が秘匿領域を大きく広げることを数値結果で確認しています。

複数事業者のISAC環境におけるUAV追跡のための運動不確実性の連合キャリブレーション

2026-09-30T00:00:00+09:00

Federated Calibration of Motion Uncertainty for UAV Tracking in Multi-Operator ISAC Systems arXiv · 2026年9月30日本論文は、複数事業者の統合センシング・通信（ISAC）システムにおけるUAV（無人航空機）追跡を扱います。各事業者の生のセンシングデータ、チャネル情報、送信決定はローカルに保持されます。低速時間スケールで、ローカルのレーダーイノベーションを用いて未モデル化のUAV運動に対する不確実性を校正し、在線段階では共分散交差（CI）により局所推定を融合して予測ビームフォーミングに利用します。シミュレーションでは、運動モデルの不一致が大きい場合に追跡不確実性の整合性が向上し、通信のみを考慮した送信設計と比べてRMSEが約31%低減、追加電力は2%未満でした。

センチピード・ゲームにおいて公正な結果の見込みが向社会的行動を引き起こす

2026-09-30T00:00:00+09:00

The prospect of a fair outcome triggers prosocial behaviour in the Centipede Game arXiv · 2026年9月30日本研究は、逐次的な資源交換を表す増分型センチピード・ゲーム（ICG）を用いた行動実験により、人々の意思決定を検討しています。最後の段階で期限切れで利得がない「zero-end」条件と、最後に公正な分配が得られる「fair-end」条件を比較しています。公正な結果は不確実であっても参加者が自己利益を超えて行動することを促し、進化モデルでは、十分に向社会的で確率的戦略を用いるプレイヤーの場合に、公正な分配が相互利益的な戦略への移行をもたらすことが示されています。

FissionReady：小型モジュール炉で稼働するデータセンターの負荷と電力の統合スケジューリング

2026-09-30T00:00:00+09:00

FissionReady: Joint Workload and Power Scheduling for Data Centers Powered by Small Modular Reactors arXiv · 2026年9月30日本論文は、小型モジュール炉（SMR）で電力を供給するデータセンター向けスケジューラ「FissionReady」を提案する。各モジュールの燃料経過期間、キセノン状態、残りの柔軟性を追跡して運転範囲を決め、二つの時間スケールの最適化により、負荷追従、バッチ処理の延期、系統からの電力購入を調整する。同規模の基準構成と比べ、非自発的停止と締切超過のバッチ処理がゼロで、用水量は約3分の1、系統電力コストは約半分になったと報告している。

通信効率の良い (1+ε)Δ 辺彩色と Lovász 局所補題

2026-09-30T00:00:00+09:00

Communication-Efficient (1+ǎrepsilon)Δ-Edge Coloring and Lovász Local Lemma arXiv · 2026年9月30日本論文は、二者辺分割モデルにおける辺彩色を扱う。AliceとBobはそれぞれ辺集合の一部を持ち、少ない通信量で正則な彩色を共同で作る必要がある。著者らは、公開コインのLas Vegasプロトコルにより、十分大きなΔに対して期待 O(ne^{-γΔ}+1) ビットと期待 O(log n/Δ+1) ラウンドで (1+ε)Δ 辺彩色を得る。さらに二者向けの構成的Lovász局所補題を示し、他の古典的問題にも応用している。 ★★★★ 注目：新しいランダム彩色手法と二者向け構成的LLLを提案し、色数を(1+ε)Δ、通信量をo(n)ビットに削減したとしている。同LLLは他の古典問題への応用も示すとされる。

可用性付き局所回復可能符号の多視点ブロック距離分布と線形計画限界

2026-09-30T00:00:00+09:00

Multi-View Block Distance Distributions and Linear Programming Bounds for Locally Recoverable Codes with Availability arXiv · 2026年9月30日可用性が任意の固定値 a である局所回復可能符号について、多視点線形計画の枠組みを提案している。各ブロック上のハミング距離を記録して結合分布を作り、計数恒等式、積クラヴチュク正値性、衝突不等式などの制約を課すことで、多項式サイズの緩和が得られる。a=2 の四ブロック場合について詳しく解析し、厳密な有理数の原始・双対証明書によって M_max(2,8,4,2,2,2)=8、M_max(3,7,3,2,2,2)=27、M_max(4,7,3,2,2,2)=64 を示し、四ブロック限界が両方の粗い模型より厳しいことを示している。

Vosti：決定論的LLM推論の仕様定義・実装・形式検証

2026-09-30T00:00:00+09:00

Vosti: Specifying, Implementing, and Verifying Deterministic LLM Inference arXiv · 2026年9月30日本論文は「決定論的LLM推論」を形式的に定義します。モデルと配置設定が固定されていれば、同じプロンプトと初期サンプラー状態のリクエストは、実行方法が異なっても対応する出力位置で同一ビットのlogitsを生成します。著者らは、vLLMのバッチ不変モードとSGLangの決定論的モードが一部の実行変更下で異なるlogitsを生むことを確認しました。これに対し、この仕様に基づいて設計・検証された推論エンジンVostiを提案し、スケジューリングとKVキャッシュの保持をVerusで、カーネル出力の一致をTritonアナライザで証明しています。 ★★★★ 注目：決定的LLM推論の形式仕様を定式化し、要旨ではVosti がVerusの帰納的証明でスケジューリングとページ化KVキャッシュがlogitsを保つことを示し、Tritonアナライザで選択カーネルが異なるバッチ・クエリ長・KV配置で逐一同一であることを証明したと報告している。

完全二部グラフの情報距離埋め込み、格子の非埋め込み性、および情報距離の非ユークリッド的べき乗

2026-09-30T00:00:00+09:00

Complete bipartite embeddings, lattice non-embeddability, and non-Euclidean powers of information distance arXiv · 2026年9月30日本論文は、有限完全二部グラフの各頂点を各スケールで二進文字列に符号化し、文字列間の情報距離がスケールに依らない定数誤差で、スケール化されたグラフ距離を近似することを示す。また各頂点に固定の無限二進数列を割り当てる。これによりHutterによる有限完全二部グラフのスケール埋め込みに関する未解決問題を解決し、情報距離の正のべき乗は実ヒルベルト空間の距離で厳密に表現できないことを示す。さらに整数格子の埋め込みが不可能であることを示し、(R^m, ||·||_1)についても同じ結論を得る。 ★★★★ 注目：著者は完全二部グラフの文字列埋め込みを与え、情報距離の冪と格子の埋め込みに関するHutterの二つの問題に答えたと報告している。

エージェント向け高効率HPCシステムに向けて：課題と機会

2026-09-30T00:00:00+09:00

Towards Efficient HPC Systems for Agents: Challenges and Opportunities arXiv · 2026年9月30日本論文は、コーディングエージェントがHPCシステムの実利用者となっている一方、既存のHPCの抽象化・インターフェース・ポリシーが人間主導のワークフロー向けに設計されたままである点に着目する。原文の計測によれば、コーディングエージェントを利用するユーザーは観測母集団の19.5%だが、ジョブ投入の55.8%、CPUコア時間の29.1%、GPU時間の42.7%を占める。著者らは施設がエージェントを第一級の主体として扱う協調設計を提唱し、計算、ストレージ、エージェントメモリ、安全性における課題と機会を示している。

LLM推論の共有KVキャッシュにおける出所情報の保持：誤った再利用の防止

2026-09-30T00:00:00+09:00

Preserving Provenance in Shared KV Caches for LLM Serving arXiv · 2026年9月30日論文は、LLMサービングにおいて、ローカルのプレフィックスキャッシュはアダプタや重み設定などの出所情報で要求を区別する一方、共有KVキャッシュ層はトークン内容と粗いモデルメタデータだけでキーを付けるため、異なる計算文脈の同一トークンが誤って再利用されうることを示します。vLLMとSGLangの複数バージョン、複数モデルでの実験により、アダプタ間の衝突で正解率が0.94から0.64に低下することが確認されました。著者は、来源情報を正規化された記述子でルックアップと格納のキーに結び付ける「KV出所契約」を提案し、3つのキャッシュ経路で実装しました。これにより安全でない再利用は排除され、正当な共有は維持され、ヒット時の遅延変化は0.34ミリ秒以内に収まりました。 ★★★★ 注目：共有KVキャッシュにおける出所情報の欠落を初めて体系的に調査し、著者らは注入可能な出所契約を提案、vLLMとSGLangで実装したと報告している。

自動入札下における一般化比例一価オークションの効率性

2026-09-30T00:00:00+09:00

Efficiency of Generalized Proportional First-Price Auctions Under Auto-bidding arXiv · 2026年9月30日オンライン広告で広く使われる自動入札（投資収益率の制約の下で総価値の最大化を目指す広告主の設定）を前提に、比例一価オークションの効率損失（無政府性価格，PoA）を分析した論文です。2人の入札者では標準的な比例一価オークション（r=1）のPoAが1.5以下で、この上界は厳密であると示されています。n人の入札者ではr=2nとすると2-1/(4n+1)が達成され、確定的な機構の下限2を破ることが示されています。 ★★★★ 注目：自動入札下の一般化比例一価オークションの効率損失を扱う。著者らは二入札者で標準的な比例一価オークションのPoA上界を1.5とし、一致する下界も示した。任意のn≥2ではr=2nとすると、PoAが2-1/(4n+1)以下になり、障壁2を破るとしている。

社会5.0の多アプリケーション向けFL-as-a-Serviceにおける効率的なクライアント選択

2026-09-30T00:00:00+09:00

Enabling Efficient Client Selection in FL-as-a-Service for Multi-Application based Society 5.0 arXiv · 2026年9月30日本論文は、IoTにおける連合学習サービス（FLaaS、FL-as-a-Service）を扱い、生データを共有せずに複数のアプリケーションで協調学習を行う仕組みを検討しています。遅延、消費電力、リンク状態などの指標に基づき、モデル学習に適したクライアントノードを選ぶ手法を提案しています。人間行動認識データセットとシミュレートされたIoTネットワーク環境で、ランダム選択およびQ学習ベースの選択手法と比較し、遅延とエネルギー効率の改善が報告されています。

価格予測を用いたオークション：予測を活用して収益を最大化する単一商品の競売設計

2026-09-30T00:00:00+09:00

Auctions with Price Predictions arXiv · 2026年9月30日本論文は、無制限供給の単一商品を売る際に、収益を最大化する一様価格の予測値one つだけを与えられた場合のオークション設計を扱います。従来研究の多くが各入札者の評価額の予測を仮定していたのとは異なります。著者らは、あらゆる普遍的真実性を持つオークションで達成可能な一貫性と頑健性のパレートフロンティアを特徴付け、予測価格の提示と事前分布を用いない後備オークションの間でランダムに選択する仕組みがパレート最適であることを示します。さらに、予測精度に応じて収益が緩やかに低下する拡張や、履歴市場データから学習理論の観点で予測を得る方法も検討しています。 ★★★★ 注目：収益最大化の統一価格という単一の予測のみから、無限供給の単一財オークションを設計し、一貫性と頑健性のパレート境界および履歴データからの学習の理論を示す。

回転可能アンテナを用いた宇宙・空・地上統合ネットワーク：機会と課題

2026-09-29T00:00:00+09:00

Rotatable Antenna-Enabled Space-Air-Ground Integrated Networks: Opportunities and Challenges arXiv · 2026年9月29日本論文は、宇宙・空・地上統合ネットワーク（SAGIN）において回転可能アンテナ（RA）技術が通信とセンシングを支える役割を検討したものです。RAは、アンテナ位置を固定したまま機械的または電子的にビーム方向を調整でき、異種プラットフォームの移動性や要求に対応します。広域カバレッジ、動的な指向性伝送、協調センシングにおける役割を整理し、チャネル取得や協調制御などの設計課題も論じています。最後にRAアレイの試作機と二つの代表的なシミュレーション結果により、実現可能性と性能向上の可能性を示しています。

スケール不変な後悔マッチングの最終反復が線形に収束する理由は？

2026-09-30T00:00:00+09:00

Why Last-Iterate Scale-Invariant Regret Matching Converges Linearly? arXiv · 2026年9月30日本論文はIREG-PRM+アルゴリズムを扱います。累積後悔ベクトルを自身のノルムで正規化し、利得の尺度を知らなくても最適な後悔を達成します。ゼロ和行列ゲームでは最終反復が線形に収束しますが、その理由は説明されていませんでした。著者らは、後悔ノルムが有限の極限に上昇してステップサイズが固定される「ノルム飽和」がその仕組みだと示し、すべての行列ゲームで最終反復のナッシュギャップが0に向かうことを証明します。唯一の厳密相補的均衡の近傍では、閉形式の線形収束率を与え、観測可能なノルム増分比による証明書も提案しています。 ★★★★ 注目：パラメータ不要の正規化リグレットマッチングが零和行列ゲームで線形収束する理由を、ノルム飽和機構で説明し、陽的な界と閉形式の速度、比率証明書による監視を提示している。

情報恒等式が明らかにする逸脱事象の幾何構造

2026-09-30T00:00:00+09:00

An information identity reveals the geometry of deviation events arXiv · 2026年9月30日本論文は、n 個の独立標本の経験分布がある分布集合に入る逸脱事象の確率の指数を扱う。この指数は、任意の n で非負の二項に分解される。一つは速度項で、事象下の典型的標本の分布と母集団との相対エントロピーの n 倍である。もう一つは条件付けによって標本間に生じる依存性で、全相関によって測られる。両項の相対的な大きさは集合の幾何に依存し、本論文はこの分解と両項の相互作用が示す幾何構造を検討する。 ★★★★ 注目：偏差事件の指数を速度項と全相関の精密な分解として示し、両項の相対的な大きさが集合の幾何を明らかにすると論じている。単一集合、群不変集合、半空間などの場合の結論も挙げている。

200Gbps C帯直接検出PONのための受信機情報活用型送信機（FFE不要ONU対応）

2026-09-30T00:00:00+09:00

Receiver-Informed Transmitter for 200Gbps C-Band Direct-Detection PON With FFE-Free ONU arXiv · 2026年9月30日本論文は、200 Gb/s PAM-4 C帯直接検出受動光ネットワーク（PON）向けの受信機情報活用型送信機（RITX）波形設計を提案し、数値シミュレーションで実証した。50 GHz光電子デバイスを用い、RITXはFFE不要のONUでN1/E1損失クラスを達成し、40 kmの伝送距離を可能にする。分岐比1:64および1:128では、ネットワーク全体の複雑度がそれぞれ48.1%および66.7%削減される。

単純な機構の力：マッチング市場における取引利益の緊密な e 近似

2026-09-30T00:00:00+09:00

The Power of Simple Mechanisms: A Tight e-Approximation for Gains from Trade in Matching Markets arXiv · 2026年9月30日本論文は、買い手の価値と売り手のコストが独立な双方向マッチング市場で、単純な機構が取引利益（GFT）をどれだけよく近似できるかを研究している。広義ランダム提示者機構（GRO、GSOMとGBOMの等確率混合）について、最適な取引利益に対する厳密な最悪ケース近似比が e であることを示し、従来の 3.15 を改善した。さらに、正則な分布、互いに素な取引辺、単一のナップサック制約を持つ市場を構成し、この上界が緊密であることを示している。 ★★★★★ 注目：要旨によれば、GROは第一最善の貿易利得に対する最悪ケース近似比をeとし、従来の3.15を改善した。正則分布の市場例でタイトさを示したとしている。

GPUサーバートポロジー・並列化方式・輻輳制御がMoE推論に与える共同影響：制御されたシミュレーション研究

2026-09-30T00:00:00+09:00

Joint Effects of GPU Server Topology, Parallelism, and Congestion Control on MoE Inference: A Controlled Simulation Study arXiv · 2026年9月30日本論文はASTRA-simとNS-3離散事件バックエンドを用い、32 GPUランクの制御されたシミュレーションでMoEモデル推論の通信と完了時間を比較しています。6種のサーバートポロジー、4種のTP/EP分割、2種のTP集合通信アルゴリズム、4種のネットワーク・輻輳制御モードを対象に、768件の決定的シミュレーションを行っています。露出した通信は平均完了時間の89.9%から95.8%を占め、トポロジー、並列化方式、集合通信の実装、輻輳制御が共同で通信量と完了時間を決定することが示されています。

新しい情報に基づくイノベーション・サンプリング：情報の方向とタイミングで伝える手法

2026-09-30T00:00:00+09:00

Innovation-Based Sampling for New Information arXiv · 2026年9月30日本論文は連続確率過程のイノベーション・サンプリングを提案し、過程が既存のすべてのサンプルに対して「十分に新しい」情報を示したときのみサンプルを生成する方式を示す。ウィーナー過程について、イノベーションの方向・タイミング・頻度を特徴づけ、イノベーションは次第にまばらになり、サンプリングレートは漸近的にゼロへ向かうことを示す。さらに、まばらに受信されるイノベーションに基づく遠隔推定を検討し、イノベーションが無いこと自体が情報を持つこと、従来の零次ホールド推定器に比べ平均二乗誤差を大きく削減できることを示す。

FP64で十分、INT8で足りる、手元にあるのはFP4/6/8：低精度行列積でFP64計算を模擬する手法

2026-09-29T00:00:00+09:00

FP64 Is All You Want, INT8 Is All You Need, FP4/6/8 Is All You Have arXiv · 2026年9月29日本論文は、OzakiスキームII（Ozaki scheme II）およびそのFP8・FP4版を一つのファミリーとして扱い、法（モジュラス）による剰余を使い低精度の行列積（GEMM）でFP64の行列積を模擬する方法を検討しています。スキームの選択を、低精度GEMMの回数を最小化する組合せ最適化問題として定式化し、ファミリー全体に対するGEMM回数の下界も導出しています。3基のBlackwell GPUに実装した結果、INT8、FP8、FP4の各スキームはネイティブのFP64より高速で、B300では最大83倍でした。 ★★★★★ 注目：Ozaki系スキームを組合せ最適化問題として統一し、GEMM数の下界を導出。初のFP6方案を示し、摘要によればBlackwell GPU三機種でINT8・FP8・FP4方案が原生FP64より高速で、B300では最大83倍としている。

t 個の削除を訂正する次数最適な系統的順列符号

2026-09-29T00:00:00+09:00

Order-Optimal Systematic Permutation Codes for Correcting t Deletions arXiv · 2026年9月29日本論文は、複数の削除を訂正できる完全系統的順列符号の構成を扱う。記号不変削除（SID）と順列不変削除（PID）の二つのモデルを対象とする。任意の固定した t≥1 と十分大きな符号長 n に対し、元の記号の順序を保ったまま冗長記号を挿入する符号化器を提案する。冗長性は PID で (7t−1)log n+O_t(1) ビット、SID で 4t log n+O_t(1) ビットである。符号化と復号は n^{O(t)} 時間で行える。

MEDEM：マルチエンジン型DLアクセラレータ設計手法

2026-09-29T00:00:00+09:00

MEDEM: Multi-Engine DL Accelerator Design Methodology arXiv · 2026年9月29日本論文は、多様な深層学習ワークロードに対応するため、補完的な演算エンジンを組み合わせたマルチエンジン型アクセラレータの設計手法MEDEMを提案する。汎用的なエンジン抽象を定義し、候補エンジンを協調設計したうえで、資源予算の下で総実行コストを最小化するエンジンの組み合わせを選択する。評価では、エネルギー遅延積とスループットの幾何平均がそれぞれ最大4.84倍、1.59倍改善したと報告されている。

【訂正】 Accelerated Dataflow：ストリーミング分析における推論のスケーリングと効率化

2026-10-30T17:04:41+09:00

この項目はこのフィードから外れました：「その他の計算機科学」から「AI アルゴリズム」へ移動 Accelerated Dataflow: scaling inference in streaming data analytics with efficiency arXiv · 2026年10月16日

その他の計算機科学 · 諦聽 Diting Lab

超立方体の部分集合における平均二点間ハミング距離

プラットフォーム手数料・税・補助金を含むオンライン市場での競争均衡の探索

合意ダイナミクスにおけるサンプル数と合意時間の近最適なトレードオフ

ブール変数対に対する鋭いフィッシャー情報不等式：Amari–Kobayashi予想の証明

一点代数幾何符号の近接ギャップ

匿名パリティ認証の厳密な境界

センサ側に組み込まれた分散処理ユニット：ホストCPUを解放する並列画像前処理

局所復号可能符号を用いたCSP非冗長性の上界

SCL復号を考慮したPAC符号の設計：リスト復号向けの符号設計手法

SPECTRUM：欧州のエクサスケール研究データ・計算基盤に向けた戦略的枠組みと技術ブループリント

エッジ・クラウド連続体にわたるサービス編成を言語モデルに任せられるか？

非真実的オークション設計のための一次双レベル最適化

真の3Dホログラフィー：6Gに向けた次世代通信サービスと新たな融合型クラウド・ネットワーク構造への要件

有限レート信念共有下のマルチエージェント追跡における通信の価値の測定

PhOSv1：GPUコンテキストの重複排除で単一サーバー上のモデルスリープを効率よく拡張する自動スケーリング手法

並列実行時間と前処理時間のトレードオフを持つ、厳密な並列密行列ガウス・ザイデル法

TRACEs：分散型科学ワークフローのための細粒度埋め込み型来歴アーキテクチャ

独立な非定常フェージング過程の積に対するレベルクロッシングレート上下界

最適な自己直交二元線形符号

ヒルベルト多様体上のSinkhornダイバージェンスの情報幾何学

量子回路シミュレーションにおける動的リソーススケーリング

MSRD符号の台分布条件が一つの不等式に帰着することの説明

里デベルグ原子量子受信機による上りRSMAのエネルギー効率改善

任意の正の種数を持つMDS代数幾何符号の長さの上界

種数2の曲線から得られるMDS符号の長さに関する一様な上界

柔軟な反射板を用いた安全な無線通信：物理層セキュリティのための位置と回転の同時最適化

有限マルコフ連鎖を高速化するためのブレグマン射影と分割設計

経路ゲームにおける断片化された従順均衡：競合する仲介者が経路を推奨する場合の均衡概念

異種混在はいつ効果を発揮するか：GPUとWSEのシステム補完性の理解

PDScope：メモリ制約下のMoE推論におけるプリフィルとデコードのトレードオフを解消する手法

Morletウェーブレットと許容可能な伴関数を用いた帯域制限信号の位相復元

囚われた消費者がいる場合の市場細分化による厚生の限界

共有秘密鍵を用いた分散ストレージにおける通信量とプライバシーのトレードオフ

Zak-OTFS とモジュラ演算による過展開チャネルでの高速・遠距離目標センシング

リーマン多様体上の生成的レート歪み知覚理論

DistOptimize：分散プロトコルの自動最適化器

RARE：価格ゲームにおける応答考慮型合理的均衡

適応的実験における委託者-代理人仮説検定

ランダム非可換誤り訂正符号：古典的なランダム符号理論を任意の群へ拡張する研究

Slant：リソース効率の良いマイクロサービスのためのトラフィック整形

3D デジタル文化遺産オブジェクト向けのデータ・メタデータ・パラデータ統合管理システム：ワークフロー自動化、連携認証、公開に関する論文

F₂上の次元に依存しない指数的エントロピー商

長さ60の二元極値自己双対符号の重み列挙子の決定

ランダム中心と平面グラフ上の定数ラウンド支配問題のε依存性

一次価格オークションにおける同時勾配学習：私的情報のもとで勾配ベースの学習が均衡へ収束する仕組みを検討

リュードベリ原子量子受信機を用いたハイブリッド非直交多元接続

最適復号下における対称線形アンサンブルのランダムアクセスに関するπ/4下界

DNA通信路のブロックMAP復号におけるMacKay-Neal符号の達成可能性証明

線形符号から多項式時間で構成する漸近的に良いランダムアクセス符号

デュアル偏波は常に最適か？新たな空間自由度の活用

FlatCake：大規模言語モデル推論向けのフラットな KV キャッシュ記憶アーキテクチャ

ガウス型 Gray-Wyner 問題の厳密な二次漸近解析

無政府状態の価値を理解する：最適応答動学に関する実証研究

短時間フーリエ変換の並列実装の比較研究

ヒント付きリスト復号のための改良ジョンソン界

双対 Melas 符号の b シンボル重み分布と、ポアソン的ランダム性仮説について

KSG相互情報量推定量におけるポアソン遷移と偏りの法則

安全な無人航空機ネットワークのための軌道最適化と資源配分の同時最適化：深層強化学習によるアプローチ

ConfluxServe：LLM推論における プリフィルとデコードの資源利用率と並列効率の両立

干渉共役変換：無線ネットワークの電力制御・スケジューリング・ビームフォーミングのための最も厳密な干渉線形代理

混雑下のプール検査：プールサイズ選択のための運用スケーリング則

割集界を達成する線形修復付きリード・ソロモン符号の最小サブパケット化

要求ごとに実行を切り替える、効率的なハイブリッドLLM推論の方式

ユーザー中心クラスタリングを用いたセルフリー大規模MIMOにおける、プライバシー保護型エアオーバーザエア連合学習

合謀・頑健・ビザンチン型サーバーを含む符号化ストレージにおける私的情報検索の容量

空間色彩モデルにおける4セル連結非交差クラスタの符号一意性

TAO：LLMベースのエージェントサービス向けツール認識型共同スケジューリング

PipeLink：契約に基づくGPUカーネルコンポーネントのリンク手法

チャネルエイジング下における互恵性ベースの空中分割学習の否定的結果：安定性、整列、幾何学

深い穴と開口：格子サンプリングされたランダム波場の経験相関に関する符号則（格子上でサンプリングしたランダム波の経験相関の符号規則に関する論文）

二値信念伝播の不動点の個数の計算：一般次数、シジジー、実数解

デジタルツインと確率的逆学習に基づく無線測位手法

稀疏行列積における多次元の偏りを、競合を考慮したスケジューリングで抑える（技術報告）

流体アンテナシステムのチャネル推定の再考：物理情報付き演算子学習

33 GHz時変チャネルにおけるRMS遅延拡がり推定の電力遅延プロファイル閾値への感度

トークン系はいつ安定するか：互換性制約とコミュニティ構造

有限体：根集合、フロベニウス写像、代数構造（専門書）

最大ナッシュ厚生の特徴づけ：羨望のなさと比例性

Reed-Muller符号RM(m-7,m)の厳密な重みスペクトル：Carlet-Solé予想の反例

ConfluxServe：LLM推論におけるプリフィルとデコードの資源利用率と並列効率の両立