分散計算、ゲーム理論、情報理論など。
説明データ重複排除のためのコンテンツ定義チャンキング（CDC）アルゴリズムのベンチマーク
要約本論文はデータ重複排除で使われるコンテンツ定義チャンキング（CDC）の基本アルゴリズム8種を、4種類の実用的なワークロードで、スループット、重複排除率、平均チャンクサイズ、チャンクサイズの分散という4指標により比較評価しています。またAE、RAM、MIIについて、パラメータと期待チャンクサイズの関係式を導出しています。広く使われているAEのパラメータ設定に誤りがあり、チャンクが意図より13〜39%小さくなって、AEの重複排除効果が過大に報告されていたことを明らかにしています。
説明χ²効用を用いた有界α-リフト漏えい制約下のプライバシー機構設計
要約本論文は、有界α-リフト漏えい制約のもとでの統計的プライバシー機構の設計を研究している。エージェントは私的データXと任意に相関する有用データYを観測してUを公開し、各点プライバシー制約を満たしつつPearson χ²情報を最大化することを目指す。閉形式の二次近似、可行な二値機構、効用ギャップの上界を示し、さらに点ごとのRényi距離プライバシーへの拡張と数値評価を行っている。
説明コルモゴロフ＝ラブランド乱数性はマルティン＝レーフ乱数性からどれほど離れているか
要約本論文は、基本集合を閉集合へ写す「符号化」であって、一様ルベーグ測度と非交和性を保つものを扱います。非マルティン＝レーフ乱数（非MLR）の列をどのような乱数性概念の非乱数へ写せるかを問い、部分計算可能乱数性（PCR）についてはそのような計算可能な符号化が存在しないことを示します。一方、コルモゴロフ＝ラブランド乱数性については全計算可能な符号化と、非単調なベッティング戦略の組が存在し、非MLR列の像上で少なくとも一方の戦略が勝つことを示します。
説明信源符号化向けニューラル極性符号：データから学習する無損失・有損失圧縮手法
要約本論文は、極性符号を用いた無損失および有損失の信源圧縮に対するデータ駆動型の手法を提案している。著者らは、明示的な信源モデルを必要とせず、合成極性座標の条件付き分布をデータから直接学習するニューラル極性復号器を開発し、エントロピーレート、相互情報量、歪み率関数の推定と、明示的な極性圧縮方式の構成を可能にしている。実験では、解析的な手法が使える場合には学習済み復号器が解析的復号器に近い結果を示し、従来手法が計算上困難な場合や信源モデルが得られない場合にも適用できることが示されている。
説明CompileMask：注意マスクの表現力と効率のギャップを埋める手法
要約現代の注意計算は実行時メタデータに依存する多様なマスクを必要としますが、効率的な注意カーネルが標準でサポートするパターンは限られています。本論文はオフラインのコンパイラで可視性ルールを解析し、マスク専用の前処理カーネルを生成するCompileMaskを提案します。ルールは領域ベースのDSLであるMaskSpecで記述します。オンライン段階では、生成されたカーネルが圧縮された実行記述子を作成し、要素インデックスを事前計算された端点と比較して可視性を効率的に判定します。実験では従来手法に対して最大3.8倍の高速化が示されています。
説明目標指向の順序付きオートエンコーディング：段階的伝送のための逐次精緻化
要約本論文は、ソース信号の再構成ではなくタスク効用に基づいて最適化される、段階的に精緻化可能な量子化潜在系列GO-OAE（Goal-Oriented Ordered AutoEncoding）を提案している。受信側は符号インデックス系列の任意の先頭部分から推論でき、受信するインデックスが増えるほど性能が向上する。MiniImageNetでは、1画像あたり324ビットで無損失上界の分類精度の96%以上を達成し、送信インデックスの70%だけで上界の94%以上に到達する。
説明Ember：離散メモリGPUで統一仮想メモリを実用的にする手法
要約GPUの作業セットがGPUメモリを超えつつあり、アプリケーションはホットなデータのみをGPUに置くメモリの過剰利用が必要になっている。本論文はEmberという、UVMの過剰利用向け管理フレームワークを提案する。ハイブリッドアドレス空間、ハードウェアカウンタによる領域昇格、衰退ベースの積極的な回収を組み合わせ、1.5倍の過剰利用時に三つのPCIe GPU上の六つのアプリケーションでUVMより6.8〜10.6倍高速になったと報告している。
注目点UVMに混在アドレス空間や計数器駆動の昇格・減衰回収を導入し、6アプリ・3種のPCIe GPUで6.8〜10.6倍の高速化を示し、証拠は比較的充分。
説明再構成可能な寄生アンテナを用いた三重ハイブリッド同時無線情報・電力伝送
要約本論文は、再構成可能な寄生アンテナを用いた同時無線情報・電力伝送（SWIPT）のための、結合を考慮した三重ハイブリッドプリコーディング構成を提案している。アンテナ領域に相互結合と無効エネルギー蓄積を考慮する第三のプリコーディング層を加えている。低複雑度の解法を示し、数値結果では提案構成がハイブリッドプリコーディングより周波数効率と非線形収集エネルギーで優れ、ハードウェアコストも抑えられることを示している。
説明ShoreKeeper：分散型・再計算コスト考慮キャッシュによるクラウド上の反復データ分析の高速化
要約本論文は、反復的なグラフ処理や機械学習に基づく大規模データ集約型ワークロードが、新たな中間データを継続的に生成するため大量のメモリを必要とする問題を扱います。提案するShoreKeeperは、クラスタ全体のメモリを統一された弾力的なプールとして扱うフレームワークです。分散データフローを単一のグラフに写像する大域的最適化モデルにより、キャッシュから追い出されたデータの再計算コストを抑えます。論文の実験では、既存の先進的なシステムより一貫して高い性能を示したと報告されています。
説明次世代無線通信網のリソース割当てを量子アニーリングで解く：QUBOモデリングガイド
要約本論文は、無線通信のリソース割当て問題に量子アニーリングを適用するためのQUBOモデリング指針を示す。地上・空中のリソース割当てを例に、分数形のSINR最大化問題を2ビットのQUBOに変換し、Isingモデルを経て無線スケジューリングの決定に復号する過程を説明している。さらに、符号化、制約処理、ハードウェア埋め込み、実行可能性の検証を論じ、モデリングの準備状況を評価する指標としてQUBO互換性指数を導入している。セルフリー大規模MIMOの上り送信電力制御を題材にした事例研究も含む。
説明エッジネットワークにおける協調推論のための積層型インテリジェントメタサーフェスによるマルチモーダル特徴融合
要約本論文は、6G時代の協調推論（CI）の計算・通信負荷を軽減するため、積層型インテリジェントメタサーフェス（SIM）を用いた協調推論（SIM-CI）の実現可能性を検討しています。SIMは物理的な計算ユニットとして、同一周波数帯で複数ユーザーの空中集約（OTA）特徴量を受信し、一度の電波伝搬で空間・周波数の結合と推論を行います。異種データや異種モデルに対応する適応器や、特徴を統一空間に整合させる品質認識型対照学習も提案されています。実験では、様々な異種条件下で従来のデジタル領域協調推論の98.6%の精度を達成し、計算エネルギーを25%削減、送信タイムスロットを75%削減したと報告されています。
説明SnapShare：サーバーレス・スナップショット向けの分離を保つ重複排除システム
要約サーバーレスコンピューティングは関数の高速起動に依存しており、仮想マシンのスナップショットからの復元で対応されることが増えています。ただし内容の重複排除はタイミング・サイドチャネル攻撃により機密データを漏えいさせる恐れがあるため、AWS Lambdaのような本番環境では租户間のスナップショットを完全に分離しています。本論文のSnapShareは、サービス提供者が承認した供給元のページと内容が完全に一致する場合にのみ共有可能とみなし、共通インフラを選択的に重複排除してクラスタ内に固定します。Knativeへの拡張として実装した結果、従来方式と比べて末尾遅延が10〜29%低減し、リモートストレージ要件は39%、ローカルキャッシュ使用量は38%削減されたと報告されています。
説明未知のシステム統計量下での情報年齢（AoI）の構造認識型オンライン最適化
要約本論文は、システムの統計量が未知の場合に、情報の鮮度を測る指標である情報年齢（AoI）を最小化するための更新生成レートを適応的に調整する方法を研究しています。AoIの勾配の解析表現を利用し、学習問題を有限個のシステム量の推定に帰着させ、それらを同時に推定しながらレートを最適化するオンライン確率近似アルゴリズムを提案しています。穏やかな条件の下で最適レートへのほぼ確実な収束を証明し、情報が不完全な四つの場面で枠組みを示しています。
説明OpenAirInterfaceによる5G NR測位のレイトレーシング・デジタルツイン
要約本論文は、EURECOMのGEO-5Gテストベッドのレイトレーシング型デジタルツインを提案します。Sionna-RTでアンテナごとのチャネルを計算し、無改変のOpenAirInterface（OAI）5Gスタックを駆動します。分散配置された基地局アンテナを独立した無線機器として扱い、到来時間差（TDoA）測位に必要な絶対遅延を保持しました。その結果、UL-TDoA測位は実機と整合するメートル級の精度に達しました。さらに、載波帯域幅を広げると水平誤差の裾が切り詰められる一方、垂直誤差はアレイ幾何によって制限され変化しないことを示し、高さの異なるアンテナ配置で高さのRMS誤差が4分の1になることを報告しています。
説明流体アンテナ受信機の認証可能な障害率次元設計：必要SNR、開口、ポート数
要約本論文は、固定送信アンテナと単一RFの流体アンテナ受信機を用いた単一ユーザ下り回線で、目標の障害率（アウテージ）を満たすために必要なSNR、開口、ポート数を検討する。既知の空間相関レイリー通信路と理想的なポート選択を前提に、サンプリングを用いない残差証明により連続SNR区間での縮退ランク誤差を制御する。1 bit/s/Hz、障害率10^-5の条件では、4波長・10ポートの受信機が4.40〜4.55 dBを必要とし、95%の結合確率では、ポート数を256から10に減らすと0.70〜1.25 dBの損失が生じる。
説明再構成可能な光ネットワークによる電力の好機の活用：複数地域のAIデータセンターを対象とした転送考慮型スケジューリング
要約本論文は、AIデータセンターが地域ごとの電気料金や再生可能エネルギーの利用可能性に応じて学習ワークロードを移行する方法を研究しています。学習の配置、チェックポイントの転送、光回線交換（OCS）を調整する転送考慮型の計算・電力・ネットワーク統合スケジューリング枠組みを提案しています。5か所のAIデータセンターによるベンチマークでは、静的な光ネットワーク運用と比べて、リアルタイムの系統購入コストが12.50%減少し、地域の再生可能エネルギー利用率が2.724ポイント向上しました。
説明再生可能エネルギー主体のAIデータセンター向けLLM事前学習負荷の実行可能な配電計画
要約本論文は、再生可能エネルギーが主体となるAIデータセンターにおいて、LLM事前学習の負荷を実行可能な形で配電計画する枠組みを提案している。LLMの記述をチェックポイント単位の日次ワークロードに変換し、スループット、GPU容量、メモリ、IT電力の制約を満たす3D並列GPUモードに対応付ける。2048基のGPUを用いた事例では、固定的な連続学習と比べて運用コストを20.02%削減し、再生可能エネルギーの出力抑制量を1.077MWhから0.014MWhへ減らした。
説明超収縮性を超えて：Rényi収縮による、より強い通信逆定理
要約本論文は、Rényi ダイバージェンスに対する強いデータ処理不等式と超収縮性（hypercontractivity）の関係を研究する。次数が1より大きいRényi ダイバージェンスについて、双対マルコフ作用素の「べき収縮」と呼ばれる性質によって収縮を特徴づけ、収縮係数を用いて周辺分布から矩形確率への上界を導く。この上界は超収縮性から得られる対応する上界以上に強い。さらに二値Rényi ダイバージェンスの逆変換と組み合わせ、一方向通信支援の合意蒸留に対する通信下界を導出し、二元対称通信路と稀事象Zチャネルの例で標準的な超収縮逆定理からの改善を示す。
説明SlackSwap：帯域幅を考慮した活性化値のスワップと再計算によるメモリ効率的なDNN学習
要約本論文はSlackSwapを提案し、GPUとホストメモリ間のデータ転送時間を明示的な資源として扱って計画します。一度のプロファイリングの結果をもとに、どの活性化値をホストへ退避し、どれを再計算するかを決定します。A100上でBERT-Large、GPT-2 XLなどを対象としたトレースベースのシミュレーションでは、活性化メモリを半分にしつつ、メモリ無制限時のGPUスループットの96〜100%を維持したと報告されています。
説明離脱を伴う動的マッチング：静的優先度方策による最適な保証
要約本論文は、異なる種類のエージェントが時間とともに到着し、待機中に離脱することがあり、種類に応じた報酬で二つずつマッチングされる確率的動的マッチング問題を扱う。著者らは、多項式時間で計算可能な単純な静的優先度方策が、すべての事例で全知ベンチマークの少なくとも0.5を達成することを示し、最適競合比がちょうど0.5であることを確立した。これは一般モデルにおける従来の0.192という保証を改善するものである。
注目点放棄を伴う確率的動的マッチングの長年の未解決問題を解決し、最適競争比0.5を確立。多項式時間の静的優先度方策と新たな確率下界を与え、理論的証明が完全。
説明ネットワーク構造がAI介入による欺瞞抑制の効果を左右する：正直主義エージェントと調査エージェントの比較
要約本論文は、欺瞞者ゲームを構造化ネットワークに拡張した進化ゲーム理論モデルを用いて研究を行っています。エージェントは欺瞞、正直な発言、調査の戦略を採ることができます。固定戦略を持つ確約型AIエージェントを導入し、3種類のネットワーク構造でエージェントベースのシミュレーションを実施しています。その結果、受動的な正直型エージェントは欺瞞を助長しうる一方、調査型エージェントは振動領域で適応的な正直さを増やすことが示されました。効果は配置密度に対して非単調に変化し、ピークはネットワーク構造に依存します。
説明Clef プログラミング言語における余指数的探索
要約本論文は、並行プログラミング言語 Clef のコンパイラが状態の所有権、待機中の計算、要求の依存関係をどのように追跡するかを扱います。有状態サービスとクライアントプールを余指数的な枠組みで記述し、状態所有権と応答の保存性を証明しています。さらに、明示された仮定の下で循環待機の排除を導き、コンパイラが複数のハードウェア向けの変換後も服務の組み合わせを保つ仕組みを示しています。
説明より小さい強ブロッキング集合の単純な明示的構成法
要約Alon、Bishnoi、Das、Neri は以前、サイズが k に比例し係数が q に依存しない強ブロッキング集合の列を構成し、正の符号化率をもつ極小符号に相当する結果を示した。本論文は (q-1) 乗交差代数幾何符号の連接に基づき、サイズ約 2(q²-1)k の明示的な構成を与える。q≤11 の場合は従来より改善されるが、q が大きい場合は前者の方が優れる。一方、本手法はより単純で、拡大グラフに依存しない。
説明長さ2^ℓの既約巡回符号の重み列挙子
要約本論文は、著者らが最近見出した既約巡回符号（ICC）と一般化Paley（GP）グラフとのスペクトル関係を用い、長さ2^ℓの既約巡回符号の重み分布を研究する。これらの符号はSharma、Bakshi、Rakaによって先行研究されており、2つの族（それぞれ2つの場合を含む）に分けられている。著者らはこれらの族とスペクトル的に関係するGPグラフを特徴づけ、そのスペクトルを計算して、長さ2^ℓのすべての既約巡回符号の重み列挙子の明示的な式を得ている。
説明低複雑度SVDベースのプリコーディング（ゼロパディングISIチャネル）
要約本論文は、メモリ長1の符号間干渉（ISI）チャネル向けに、ゼロパディングを用いた低複雑度のSVDベース送受信機を提案する。nシンボルのブロックに1つのゼロパディングシンボルを付加すると、Gram行列が厳密な対称三重対角Toeplitz構造となり、FFTによる厳密なSVDプリコーディングと等化が可能になる。計算量はO(n log n)で、レート損失は1/nである。符号化率約0.945の条件でシミュレーションを行い、FER 10^-5においてハード判定RS復号を用いるTX-FFE/RX-DFE方式より約5 dB優れることを示している。高SNR領域では、SOVAベースの受信機とLDPC復号を用いた場合とほぼ同等のFER性能を達成する。
説明ゲーム・ペトリネット：大規模戦略システムの合成的モデリングと分析
要約本論文は、保守ワークフローやサイバー攻撃などの大規模な戦略システムを、結果駆動の合成的ゲーム・ペトリネット（OCGPN）として形式化して分析する手法を提案している。局所的なゲームを有色ペトリネットのプレースに付与し、ゲームの結果を型付きトークンに変換して後続のゲームを有効化・同期・阻止する。並行ネットに対しては不変量とFarkas証明書に基づく操作的意味論と構造理論を与え、順次ネットに対しては全体の均衡が局所ゲームの均衡と継続値の組であることを証明している。保守ワークフローと侵入キャンペーンの二つの例で理論を説明している。
説明平衡半球を用いた奇数次元球面5型・7型デザインの効率的な持ち上げ構成
要約本論文は、偶数次元デザインの平衡半分を適切な緯度の複数層に持ち上げることで、奇数次元の球面5型および7型デザインを構成する手法を提案している。各奇数次元について、点数が60(d²−1)以下の明示的な球面5型デザインを与え、次元に関する最適な二次のオーダーを達成する。Zauner予想を仮定すると、この上界は7.5(d−1)²に改善される。さらに奇数d≥9について、CP^((d−3)/2)上のM点からなる複素射影3型デザインから、110M点の球面7型デザインを構成している。
説明一般カーネルによるランダム幾何グラフの検出
要約本論文は、固定カーネルのランダム幾何グラフと、同じ辺密度のErdős–Rényiグラフを区別する問題を扱います。原点で微分可能でないカーネル、および原点での最初の非零導関数の階数が1より大きいなめらかなカーネルについて、臨界次元を特徴づけています。これらのクラスでは、符号付きの三角形または四角形のカウントが最適な検出閾値を達成します。
説明決定的識別符号を用いたガウス通信路上のコミットメント方式
要約本論文は、基本的な暗号プリミティブであるコミットメント（BC）と、ポストシャノン型の通信方式である決定的識別（DI）との間の関係を示している。加法的白色ガウス雑音通信路について、決定的識別符号から信頼性のあるコミットメント方式を構成できることを、正直だが好奇心のある（honest but curious）場合と完全に不正直な場合の両方で示している。線形対数スケールでのコミットメント容量の下界は、前者で1/2以上、後者で1/4以上とされている。
説明FeatureZ：点ごとの境界と星分類による特徴保存圧縮の汎用フレームワーク
要約本論文は、構造化されたボリュームスカラー場に対する有損圧縮フレームワーク「FeatureZ」を提案する。等値面、分位数、マージツリー、Morse-Smale複体などの幾何・位相的特徴を保存することを目指す。点ごとの上下限を保証するとともに、各点の星（接続するセル）の分類を基盤メッシュ上で一貫させる。既存の有損圧縮器の出力を補正する拡張層として動作し、量子化で点ごとの境界を満たしたのち、反復処理で星分類の一貫性を確保する。原文によれば、少ないオーバーヘッドで多様な特徴を保存でき、圧縮率は個別の特徴に特化した手法と同等以上とされる。
説明6G向け事象ネイティブ没入型通信：マルチモーダルストリームから事象信念へ
要約本論文は、サービスに関係する物理事象を通信対象とし、無線伝送の前後に送受信端末が得られる情報を事象信念として表す、事象ネイティブの没入型通信フレームワークを提案する。これに基づき、従来の正規化平均二乗誤差（NMSE）とは異なる、体験品質を評価する指標として事象信念欠損（EBD）を導入し、ガウス型の事象信念とレイリーフェージング下での関連する解析結果を導出している。シミュレーションでは、事象ネイティブ伝送が平均二乗誤差志向のインターフェースと比べ、正規化log-det EBDを最大63.6%削減し、評価条件下で必要な平均受信SNRを3.47 dB下げることが示されている。
説明データ保護付き関数訂正 Lee 距離符号の研究
要約本論文は、Z_m 上で Lee 距離を用いる、データ保護付きの関数訂正符号（FCLMC）を提案し、データとそれに対応する関数値の両方に誤り保護を与えるとしている。一般的な構成法を示し、Plotkin 型の下界を含む最適冗長度の上下界を導出している。さらに、局所二値 Lee 関数、Lee 重み関数、モジュラー和関数などについて冗長度の明示的な上界を示している。Lee 距離は Z_2 上でハミング距離と一致するため、結果は Z_2 上のハミング距離でも成り立つとされる。
説明クロック非同期下のマルチパネル大規模MIMO測位の統一手法：幾何モデルとチャネルチャーティングを組み合わせたUNILocMPフレームワークの提案。
要約本論文は、モデルベースの幾何学的手法とチャネルチャーティング（CC）を組み合わせた統一測位フレームワークUNILocMPを提案し、クロック非同期のあるマルチパネル大規模MIMOに適用する。少なくとも二つのパネルと見通し（LoS）リンクを持つユーザーには位置とクロックバイアスの同時推定を行い、それ以外のユーザーには教師なしCCモデルで測位する。数値評価では、従来のモデルベースおよびCCベースの手法を上回り、全教師あり型のフィンガープリント法にも許容できる性能を示した。アンテナ総数が同じ場合、マルチパネル構成は単一パネル基地局に比べて精度と頑健性を大きく改善し、特にクロック非同期がある状況で効果が大きい。
