その他の計算機科学 · 2026年9月29日(火)

分散計算、ゲーム理論、情報理論など。

★★★★★ 注目
arXiv cs.DC

FP64 Is All You Want, INT8 Is All You Need, FP4/6/8 Is All You Have

説明FP64で十分、INT8で足りる、手元にあるのはFP4/6/8:低精度行列積でFP64計算を模擬する手法

要約本論文は、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三機種での実測で最大83倍の高速化を報告している。

Pratyai Mazumder, Alexandru Calotoiu, Torsten Hoefler

arXiv cs.IT · math.IT

Order-Optimal Systematic Permutation Codes for Correcting t Deletions

説明t 個の削除を訂正する次数最適な系統的順列符号

要約本論文は、複数の削除を訂正できる完全系統的順列符号の構成を扱う。記号不変削除(SID)と順列不変削除(PID)の二つのモデルを対象とする。任意の固定した t≥1 と十分大きな符号長 n に対し、元の記号の順序を保ったまま冗長記号を挿入する符号化器を提案する。冗長性は PID で (7t−1)log n+O_t(1) ビット、SID で 4t log n+O_t(1) ビットである。符号化と復号は n^{O(t)} 時間で行える。

Bolin Wu, Quan D. Bui, Kai Niu ほか

arXiv cs.AR · cs.DC · cs.PF

MEDEM: Multi-Engine DL Accelerator Design Methodology

説明MEDEM:マルチエンジン型DLアクセラレータ設計手法

要約本論文は、多様な深層学習ワークロードに対応するため、補完的な演算エンジンを組み合わせたマルチエンジン型アクセラレータの設計手法MEDEMを提案する。汎用的なエンジン抽象を定義し、候補エンジンを協調設計したうえで、資源予算の下で総実行コストを最小化するエンジンの組み合わせを選択する。評価では、エネルギー遅延積とスループットの幾何平均がそれぞれ最大4.84倍、1.59倍改善したと報告されている。

Fareed Qararyah, Mohammad Ali Maleki, Pedro Trancoso

★★★★☆ 注目
arXiv cs.GT

Sharp Second-Best Welfare in Bilateral and Matching Markets

説明双方向市場およびマッチング市場における次善の社会厚生の精密な下限(価値が私的情報であることによる厚生損失の上限比率)

要約本論文は、価値が私的情報であるために市場が失う社会厚生の割合を、次善と最善の厚生の比として精密に決定しています。任意の事前分布では約0.8882516903、買い手が単調ハザードレートを持つ場合は約0.9113893681となります。両定数は双方向取引ですでに達成され、マッチング市場へも拡張されます。また、両定数の変分的特徴付けと数値評価のための区間証明を与えています。

注目点双方向取引と匹配市場における次善厚生比の鋭い定数を与え、任意事前分布と単調ハザード率の両場合で紧界を示した。

Zhengyang Liu, Ying Qin, Zihe Wang

arXiv cs.IT · eess.SP · math.IT

Rotatable Antenna-Enabled Space-Air-Ground Integrated Networks: Opportunities and Challenges

説明回転可能アンテナを用いた宇宙・空・地上統合ネットワーク:機会と課題

要約本論文は、宇宙・空・地上統合ネットワーク(SAGIN)において回転可能アンテナ(RA)技術が通信とセンシングを支える役割を検討したものです。RAは、アンテナ位置を固定したまま機械的または電子的にビーム方向を調整でき、異種プラットフォームの移動性や要求に対応します。広域カバレッジ、動的な指向性伝送、協調センシングにおける役割を整理し、チャネル取得や協調制御などの設計課題も論じています。最後にRAアレイの試作機と二つの代表的なシミュレーション結果により、実現可能性と性能向上の可能性を示しています。

Yanhua Tan, Beixiong Zheng, Tiantian Ma ほか

arXiv cs.IT · math.IT

Systematic Codes Correcting Two Deletions with Three Redundant Symbols over Large Alphabets

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

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

Valery (Binyamin) Grishin, Aryeh Lev Zabokritskiy (Yohananov)

arXiv cs.GT

Matroid Packing Games: The Core and the Nucleolus

説明マトロイド・パッキングゲーム:コアとヌクレオラス

要約本論文は協力ゲーム理論の視点からマトロイド基パッキング問題を研究し、対応するマトロイド基パッキングゲームを定義している。Baiou と Barahona(2020)のネットワーク強度ゲームを、グラフ的マトロイドから一般のマトロイドへ拡張するものである。マトロイドの交換構造を利用して、このゲームのコアとヌクレオラスを分析するグラフ理論的な枠組みを構築している。コアが空でないことの簡潔な特徴づけと、コアの非空性判定、コア配分の発見、ヌクレオラスの計算を多項式時間で行うアルゴリズムを示している。

Pengfei Liu, Han Xiao, Xin Chen ほか

arXiv cs.IT · math.IT

Performance Guarantees of SIC-Based Decoding for VLSF Codes in Hardcore-Regulated MAC

説明ハードコア規制型MACにおけるSICベースのVLSF符号復号の性能保証

要約本論文は、多元接続通信路で可変長ストップフィードバック(VLSF)符号を逐次干渉除去(SIC)復号と組み合わせた場合の遅延性能を扱う。ハードコア点過程でモデル化された配置に対し、カバレッジ領域内のすべての送信機について信号対干渉雑音比(SINR)に正の下界が存在することを示す。全体の誤り確率制約のもとで、これらの送信機は上界のある遅延内で復号可能であり、復号遅延は逆ガウス分布で近似できる。数値結果から、ハードコア規制がリンク間で一様な性能保証をもたらすことが確認された。

Kevin Zagalo, Guodong Sun, Philippe Mary ほか

arXiv cs.IT · math.IT

Six Families of Binary Codes Arising from Ding's Conjectures

説明丁の予想から生じる二元符号の六つの族

要約丁(Ding)は2016年、ブール関数から生じる二元線形符号に関する10個の予想を提唱した。そのうち38〜41番はGölo\u{g}luとKrasnayováによって証明済みである。本論文は残りの6つ(19、27、30、33、34、37番)を検討する。19番と27番については共通の重み制約と複数の無限五重み族を得た。30番では、許容されるすべての符号の非零重み数が3、4または5であることを示し、四重みの具体例により元の「3または5重み」の主張を反証した。34番では一般的な(2h+1)重みの上界を与え、六重みの反例を示した。37番はAhmadiとShafaeiabrの既知の結果と残る2つの類の処理を組み合わせて完全に解決された。

Xiaoqiang Wang, Shiyan Xiong, Mu yuan ほか

arXiv cs.NI · cs.IT · math.IT コードあり

Exponential Backoff: Meta-Stability and Implicit Admission Control

説明指数バックオフ:準安定性と暗黙的なアドミッション制御

要約本論文は、802.11 などのネットワーク規格と同様に、複数のユーザーが単一の通信チャネルを分散的に共有するために用いられる指数バックオフアルゴリズムを分析しています。著者らは、このアルゴリズムが準安定な挙動を示すこと、すなわち長い時間スケールでシステムが、一部の送信元だけが実際にチャネルを利用できる準安定な構成の間を振動することを示しています。これにより暗黙的なアドミッション制御が生じます。理論的手法と数値実験を提供しており、実験は完全に再現可能で、コードは Python パッケージとして公開されています。

Richard Combes, Fabien Mathieu, Thomas Bonald

arXiv cs.DC

Windowed and Quantized Group-Based ADMM for Distributed Optimization in Heterogeneous Edge Networks

説明異種エッジネットワークにおける分散最適化のための窓付き量子化グループ型ADMM(WQ-GADMM)

要約本論文は、限られた同時稼働容量と通信資源の下でエッジのクライアント群の更新を調整する、窓付き・量子化グループ型交互方向乗数法(WQ-GADMM)を提案します。クライアントは推定計算時間によってグループ化され、各窓では限られた数のグループが毎ラウンド起動され、クラウドはすべてのグループが一度更新した後に全体モデルを更新します。上り・下りのモデル交換を量子化して通信コストを抑えます。滑らかな非凸目標に対して、平均二乗KKT残差の上界を示しています。MNISTとCIFAR-10の実験では、12ビット通信により通信量と模擬的な実時間が減少し、テスト精度は全精度とほぼ同等に保たれました。

Gaiguo Wei, Qingying Zhang, Heqiang Wang ほか

arXiv cs.DC

Cobalt: Leveraging Expert Co-activation for Efficient Distributed MoE Training

説明Cobalt:専門家の同時活性化を利用した効率的な分散MoE学習

要約本論文は、混合専門家(MoE)モデルを効率よく学習するフレームワーク「Cobalt」を提案している。多くの専門家の組が同じトークンによって頻繁に同時に活性化されるという観察に基づき、そうした専門家を同一ノードに配置してノード間通信を減らし、ノード内で各ステップの負荷を調整する。32基のB200 GPUでの実験では、既存のMoE学習フレームワークと比べて最大1.53〜2.41倍(平均1.28〜1.89倍)の高速化を示し、ノード間のトークン転送量を75.74%〜99.26%削減したと報告している。

Junkang Zhou, Xinyi Liu, Fangcheng Fu

arXiv cs.DC

Efficient Agentic LLM Serving over SSD-based Sparse KV Storage

説明SSD ベースのスパース KV ストレージによる効率的なエージェント型 LLM 推論サービス(Janus)

要約本論文は、推論とツール呼び出しを繰り返すエージェント型セッションを対象に、履歴の KV キャッシュを SSD に保存しスパースアテンションを用いる推論サービス基盤 Janus を提案している。モデル自身の KV 選択モジュールで必要なデータを事前に予測し、SSD 読み出しを推論の関鍵経路から外している。読み出しの結合や書き込みの整理などでも SSD の効率を高めている。三つのモデルと三つのトレースで、初トークンまでの遅延は既存手法より最大 1.57~3.69 倍(平均 1.22~1.85 倍)改善し、デコード効率は維持されたと報告されている。

Wenhao He, Ping Zhang, Xiaohe Hu ほか

arXiv cs.DC

Reshaping Rollout Workloads for Asynchronous RL Post-Training on Heterogeneous Accelerators

説明異種アクセラレータ上の非同期RL事後学習に向けたロールアウト負荷の再構成

要約本論文は、異種ハードウェア上の強化学習(RL)事後学習におけるロールアウトのスケジューリング問題を扱い、CadenceRLというシステムを提案しています。短い軌跡への置換、長コンテキスト尾部の高親和性ワーカーへの集約、KV準備の遅延などにより、負荷構造を再構成して処理量と軌跡の完了時間の両立を図ります。原文によると、異種ロールアウトプールでデコード処理量が最大48%向上し、P95軌跡レイテンシは最大64%低減したとされています。

Jiahui Li, Hao Nie, Yibo Zhu ほか

arXiv cs.AR · cs.DC

Calibrating the Checksum: An Empirical False-Positive Bound for One-Sided ABFT on bfloat16 GEMM, and What It Fails to Catch

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

要約本論文は、行列積の誤りを検出する算術ベースの耐障害性(ABFT)を扱います。従来は float32 でのみ評価されていました。K=4096 の bfloat16 条件で約 8e7 個のクリーンな残差に一般化パレート分布を当てはめ、行列積あたりの誤検知率 1e-6 に対応する閾値は約 3.14e-6 と示されました。この出力レベルの摂動モデルでは、単一指数ビット反転の 304/400(76%)を検出し、低仮数ビット反転は 0/600 でした。実機の故障率を推定するものではありません。

Gautam Khosla

arXiv eess.SP · cs.IT · math.IT

Efficient Transmit Waveform Design for MIMO-OFDM DFRC Systems with 1-Bit DACS

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

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

Chenfei Huang, Mingjie Shao, Ya-Feng Liu

arXiv cs.IT · math.IT

HARS: LDPC Bit-Flipping Decoding With Initial-Syndrome-Conditioned Parameter Mapping and Local-Reliability Weighting

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

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

Tung Hsu Wu, Huang-Chang Lee

arXiv cs.IT · math.IT

On the Capacity of DNA Labeling in the Single-Label Setting

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

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

Zihan Wu, Qi Cao, Ling Liu ほか

arXiv cs.IT · math.CO · math.IT

Approximate Uniformity in Finite Convolution Models

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

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

Nilava Metya, Satyaki Mukherjee

arXiv cs.GT

Non-Linear Pricing Restores Tractability for a Data Seller

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

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

Bhaskar Ray Chaudhury, Jugal Garg, Eklavya Sharma ほか

arXiv cs.IT · eess.SP · math.IT

Surrogate-Enhanced Fractional Programming for MIMO Device-to-Device Interference Networks

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

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

Zihan Jiao, Xinping Yi, Shi Jin ほか

arXiv cs.IT · cs.NI · math.DS

On the Lack of Periodicity of Walker Satellite Constellation Routing Tables

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

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

Chang-Sik Choi, Fran\c{c}ois Baccelli

arXiv cs.DC

ParaAnya: Accelerating Parallel Diffusion Sampling with Plug-and-Play Output Caching

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

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

Chee-En Yu, Xiao-Xi Tan, Yi-Cheng Lin ほか

★★★★☆ 注目
arXiv cs.GT

A Polynomial Time Characterization For Strongly EFX Orientable Graphs

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

要約本論文は離散公正分配の図的評価モデルを扱い、頂点をエージェント、辺を財とみなします。著者らは、どのようなグラフが任意の評価関数に対してEFX向き付けを必ず持つか(強EFX可向き付け可能グラフ)を、多項式時間で判定できる形で特徴付けました。具体的には、連結グラフが二部グラフであるか、ブロック分解に非二部ブロックがちょうど1つ含まれ、その中に条件を満たす頂点が存在する場合に限ることを示しています。論文によると、この証明は人間の介入のもとでAIが発見したとされています。

注目点強EFX可定向グラフを多項式時間で完全に特徴付け、既知の未解決問題を厳密な証明で解決している。

Jinghan A Zeng

arXiv cs.IT · math.IT

Singleton-Optimal Rank-Metric CSS Codes : Equality Structure and Exact Projected-Recovery Radii

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

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

Myeongjun Kim, Suseong Lee, Jaeho Jeon ほか

arXiv cs.IT · math.IT

Conditional-Coverage Contributor Selection for Regional Digital Twins Under Mobility

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

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

Tao Yu

★★★★☆ 注目
arXiv cs.GT · econ.TH

Solving the Arctic Product-Mix Auction

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

要約本論文は、予算制約のある入札者が複数の代替可能な財への選好を表明できる北極型プロダクトミックス・オークションを扱う。競売人が分離可能な凸区分線形費用を持つ場合に競争均衡を求める、初の強多項式アルゴリズムを示している。このアルゴリズムは、費用のない北極型オークションへの強多項式帰着と、既存の費用なし北極型オークション用の強多項式アルゴリズムを組み合わせたものである。

注目点凸コストを持つArctic拍卖の競争均衡を強多項式時間で求める初のアルゴリズムを示し、線形Fisher市場への帰着も与えており、理論的貢献が明確。

Elizabeth Baldwin, Paul Klemperer, Edwin Lock

arXiv cs.GT · cs.DS

Arrival-Time Incentive Compatibility in Random Order Online Bipartite Matching

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

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

Arghya Chakraborty, Varun Gupta

arXiv cs.IT · math.CO · math.IT

LDPC Fractus Codes: Sparse Codes with Recursive Structure

説明LDPC Fractus 符号:再帰構造をもつ疎な符号

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

Jes\'us Carrillo-Pacheco

★★★★★ 注目
arXiv cs.DS · cs.GT

Maximizing Social Influence in Almost Linear Time

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

要約本論文は影響力最大化問題を扱う。n 個のノードと m 本のエッジを持つグラフから、標準的な拡散モデルのもとで情報の期待される伝播範囲が最大となる k 個のシードノードを選ぶ問題である。Borgs らの従来のアルゴリズムの実行時間は Õ((n+m)k) であり、その後の改良は対数因子の削減や ε への依存性の改善にとどまっていた。著者らは時間 Õ(n+m) で 1−1/e−ε の近似比を達成する新しいアルゴリズムを提案し、時間計算量から k への乗法的依存を取り除いたと述べている。

注目点影響力最大化で長年の未解決問題であった近線形時間化を達成し、k依存を除去。理論的証明の影響は子分野に大きい。

Saeed Seddighin

arXiv cs.IT · math.IT コードあり

Voronoi-Markov chain and spatial entropy for point pattern analysis

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

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

James C. Mathews Jr., Francisco Couzo, Aleksandr Petrov ほか

arXiv cs.IT · math.IT

Fundamental Limits of Dynamic Tracking and Communication: A Stationary Policy Formulation

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

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

Mohammadreza Bakhshizadeh Mohajer, Luca Barletta, Alex Dytso ほか

arXiv cs.IT · math.IT

DNN-Assisted Near-Optimal Codebook Design for Uplink SCMA Schemes over Rician Fading Channels

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

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

Wasif Ali, Yen-Ming Chen, and Fan-Shuo Tseng

arXiv cs.IT · math.CO · math.IT

A Hyperbolic Bound for File Retrieval in DNA-Based Data Storage

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

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

Constantinos Vasilios Argyris Vlachos, Daniella Bar-Lev

arXiv math.ST · cs.GT · cs.IT

Competitive optimality in testing by betting via Bell-Cover randomization

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

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

Aaditya Ramdas

★★★★☆ 注目
arXiv cs.GT · cs.DM

On the Power of Determinism in Multi-Item Auctions

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

要約本論文は、単一の加法的買い手と異なる価値分布をもつ複数商品を扱う多商品独占オークションを研究しています。商品を個別に販売する方式、一括で販売する方式、およびその良い方を選ぶ方式という3つの単純な決定的オークションの近似比を分析しています。独立同分布の2商品の場合には、近似比の厳密な上界を与えています。さらに、最適収入と両方式の収入の間に REV ≤ 3 max{SREV, BREV} という関係を示し、従来の界を改善しています。

注目点二つの同分布商品に対し新しいラグランジュ双対証明を構成して近似比を厳密に決定し、複数商品の収益比較の定数上界も改善しており、根拠は堅固である。

Yiannis Giannakopoulos, Johannes Hahn

★★★★☆ 注目
arXiv cs.GT

Truthful-in-Expectation Mechanism with Constant Maximin-Share Guarantee

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

要約本論文は、分割不能な財を加法的評価を持つ n 人の戦略的エージェントに公平に配分する問題を扱う。著者らは、各エージェントが実現されたどの配分においても、自分の最大最小シェア(MMS)の少なくとも 1/7 を得られる、期待下で真実性(TIE)を持つ乱択メカニズムを提案する。このメカニズムは事前に羨望のない性質を持ち、多項式時間で実装できる。これにより、基数情報があれば定数の事後MMS保証が可能になるとする Babaioff らの予想を肯定的に確認している。

注目点基数情報下で定数の事後MMS保証を持つ真実性期待機構を示し、提唱された予想を解決、多項式時間実装も与えている。

Mengfan Ma, Biaoshuai Tao, Fangxiao Wang

arXiv cs.DC

Dynamic Wakeup under Costly Collisions

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

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

Umesh Biswas, Maxwell Young

arXiv cs.IT · math.IT

A simple proof of the group-theoretic Zhang-Yeung inequality

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

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

Harold Nieuwboer, Lubashan Pathirana

arXiv cs.RO · cs.IT · math.IT

Memory in the Sky: Low-Altitude Question Answering with Multi-Agent Memory Aggregation

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

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

Chengyang Li, Yujie Wan, Shuai Wang ほか

arXiv cs.GT

Binary k-Center under a Hard Threshold with Applications to Delegated Voting

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

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

Jakub Dargaj, Aris Filos-Ratsikas, Paul W. Goldberg

arXiv cs.GT

Online Resource Allocation with Replenishable Budgets

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

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

Eleonora Fidelia Chiefari, Francesco Emanuele Stradi, Alberto Marchesi