分散計算、ゲーム理論、情報理論など。
説明安全な UAV 統合センシング通信向け生成拡散モデルとリアルタイム目標追跡
要約本論文は、センシングと通信を同時に行う無人航空機が監視任務で移動目標を追跡し、目標が保護区域に入ると地上局に警報を送る場合の安全性を扱っています。警報による通信トラフィックの変化から、盗聴者が目標の状況を推測できる恐れがあります。著者らは、条件付き拡散モデルで生成した消息に依存しない保護波形をデータ信号に重ね、鍵を使わずに警報時と非警報時のトラフィックを統計的に区別しにくくする方式を提案しています。数値結果では、盗聴者の判定精度は約0.5（推測と同等）に抑えられ、平均位置の後験クラメール・ラオ境界は0.59〜0.70平方メートルの範囲でした。
説明奇素数におけるZ_pZ_{p^2}線形とZ_{p^s}線形の一般化Hadamard符号の非同値性
要約本論文は、Z_pZ_{p^2}加法的符号のGray写像像である一般化Hadamard（GH）符号と、Z_{p^s}線形GH符号との関係を研究している。非線形符号H_p^{t_1,t_2}の核ブロックは同値な線形の削除符号を与えることを示し、関連する符号の階数も決定している。奇素数pについては、H_p^{t_1,t_2}はいかなるZ_{p^s}線形GH符号とも同値でないことが示される。階数の計算にはmod pのベルヌーイ数が関わる。
説明位置支援型UWBマルチキャスト音声のタイミングと信頼性の限界
要約本論文は、位置支援型超広帯域（UWB）による一対多の音声伝送について、統一的な実現可能性分析の枠組みを提示する。クロック・作動誤差、経過時間に依存する音響伝搬補正、相関のあるブロック消失、予約された通信リソースを区別して扱う。単一受聴者の到達ばらつきの条件付き上界、共通および受信機固有の損失下での全受信機ブロック配信の定常式を導出し、4,590件のモンテカルロ実験で検証している。位置支援により単一受聴者の音響到達ばらつきは大きく縮小するが、30マイクロ秒の基準では補正後の事象の大半が依然として超過することが示される。
説明主観的評価が公平な配分を難しくする：エージェント集団への資源配分の計算複雑性
要約本論文は、不可分割な物品をグループ共有の設定でEF1（一つ差の無羨望）配分するための計算複雑性をパラメータ化の観点から研究している。物品は個々のエージェントではなく複数のグループに割り当てられ、グループ内のエージェントが物品を共有する。グループ割当が事前に定められる場合（EF1-Fix）と可変の場合（EF1-Var）の両方を扱い、いずれも小定数のエージェント数でもNP困難であることを示している。さらに、主観的な物品の数や物品の種類数などのパラメータに関する固定パラメータ可解性の結果を提示している。
説明偶数標数におけるMDS予想に関する論文
要約本論文は、標数2の有限体上の非自明な線形 [n,k] 極大距離分離（MDS）符号について、n≤q+1が成り立つことを証明している。ただし次元 k=3 と k=q-1 の場合は n≤q+2 となる。これにより偶数標数における線形MDS予想が解決された。
注目点偶数標数の有限体上の線形MDS予想という長年の未解決問題を解決し、完全な証明を与えている。
説明(6,5,5)と(7,6,6)の厳密修復型再生符号における記憶域・修復帯域幅のトレードオフ
要約本論文は、(n,k,d)=(6,5,5)と(7,6,6)の場合について、記憶域と修復帯域幅のトレードオフ領域を完全に特徴づける情報理論的外界を示しています。Tianらが提案した階層符号がこのトレードオフを達成するため、最適であるとされています。証明は整数値の証明書として与えられ、Python検証プログラムも付属しています。
説明エピソード型マルコフ決定過程における最悪ケースのベイズCVaR後悔上界・下界
要約本論文は、有限期間・時間同次のエピソード型マルコフ決定過程において、累積擬似後悔の条件付きバリュー・アット・リスク（CVaR）を事前分布について最悪の場合に評価する。UCBVI-BFアルゴリズムに対する高確率保証から事前予測上界を導き、3状態MDPと逆KL不等式を用いて下界を示す。状態数が一定のとき、両者は期間、行動数、エピソード数について同じ多項式依存性を持ち、リスク水準に対数因子の差がある。
説明局所差分プライバシー下の対話型意思決定におけるベイズCVaRの下界
要約本論文は、対話型統計的意思決定における損失の事前予測条件付きバリュー・アット・リスク（CVaR）の下界を与える情報理論的手法を提案しています。一般化Fano不等式と有界ヒンジ変換により、問題をベルヌーイf-ダイバージェンス不等式に帰着させ、ガウス平均推定とガウス確率的多腕バンディットに対する明示的な下界を導いています。さらに観測段階に局所差分プライバシー（LDP）を課し、LDP収縮不等式と適応的KL連鎖律を組み合わせて、それぞれの設定におけるベイズCVaRの下界を得ています。
説明構造化された委員会選挙における両立的な比例性（事前と事後の双方で比例的代表を保証する確率的選挙の研究）
要約本論文は、加法的選好を持つ確率的委員会選挙を扱い、各委員の選出確率（事前）と実際に選ばれた各委員会（事後）の双方に強い比例性の保証を求める。単峰性を一般化した「反鎖単峰性」という制限的な選好領域を導入し、まず分数的な委員会を計算し、系統的丸め（systematic rounding）によって実際の委員会に分解する。事前のコア安定性と事後の正当化された代表性（JR）は両立しないことを示し、パラメータ αβ=2 という厳密な閾値を確立している。
説明KPage：ハードウェア効率の高いスパースアテンションのための跨ブロック・ページ圧縮手法
要約本論文は長系列ビデオTransformerのスパースアテンションを対象とし、3次元トークン配置では選択されたブロックが部分的にしか埋まらず、タイルの計算容量が無駄になる点を指摘しています。著者らはKPageを提案し、ロード時に論理ブロック境界をまたぐ有効な16行のK/Vページを大きなタイルへ詰め込み、Q側では64x256と128x128のタイル間でルーティングしてパディングを減らします。NVIDIA Block-Sparse Attention（BSA）に対する順伝播カーネルの高速化が1.35倍から2.06倍と報告されています。
説明代表状態と有界誤差を用いた決定的因果的量子化の研究
要約本論文は、経路ごとの誤差を ε 以下に抑える決定的な因果的量子化を研究し、送信されたアドレスのみから更新される共有代表点を用いる。先入れ先出し置換を伴う中点実現について、アドレスのエントロピー率をプロセスの ε エントロピーと比較し、有限のスカラー ε エントロピーをもつ定常源に対する差の上界を示す。さらに、格子初期化、自己回帰源、有限個の中心をもつ定常過程についての結論も示している。
説明既約巡回MDS符号の長さの上界
要約本論文は、非自明な既約巡回符号について、任意の合成数長におけるMDS長さの上界を証明したものである。古典的なトレース表現によりMDS性質を乗法部分群の元の独立性へ言い換えている。素数長の一般的な問題は本論文では解決されていない。
注目点トレース実現によりMDS性を乗法部分群の元の独立性に帰着させ、合成長の長さ上界を厳密に示すが、素数長の問題は未解決である。
説明一般化ビタビアルゴリズムによる二次元畳み込み符号の誤り訂正復号
要約二次元畳み込み符号は一次元畳み込み符号を一般化したもので、二次元データの符号化に自然に適している。理論的性質は確立されているが、誤り訂正復号アルゴリズムが不足しているため、実用的な応用は限られている。本論文では、古典的なビタビアルゴリズムの原理を二次元へ拡張した「二次元ビタビアルゴリズム」という復号法を提案する。このアルゴリズムは二次元畳み込み符号の線形システム表現に基づき、計算量は対応する二次元線形システムの次元に依存する。そのため、低次元の二次元実現を得るためのいくつかのアルゴリズムも併せて示している。
説明少数の直線で平面ネックレスを分割する
要約古典的なネックレス分割問題は、線上に並んだ色の違うビーズを、少ない切断回数で、複数の人に各色同数ずつ分ける問題です。本論文はその平面版を扱い、切断を直線とし、赤と青の点を直線で区切って k 人に公平に配分することを目指します。静的・動的アルゴリズムを提案し、切断本数の既知の差を一部縮めています。一般的なアルゴリズムは Θ(m log k) 時間で、高々 k + log₂(k+1) − 2 本の直線による分割を与えます。
説明infomeasure-rs：情報理論の指標と推定量のための高性能 Rust ライブラリ
要約本論文は、エントロピー、相互情報量、転移エントロピー、KL ダイバージェンス、JS ダイバージェンスなど多様な指標と、離散・カーネル・順序・近傍の推定量を、単一の移植可能な型安全パッケージにまとめたオープンソースの Rust ライブラリ infomeasure-rs を紹介する。単一 CPU コアでの比較では、他言語の複数パッケージの中で最速であり、相互情報量や条件付き・転移指標、一部の推定量で大幅に高速である。任意で利用できる GPU と並列処理により、一部の連続推定量はさらに高速化される。
説明14から70,000母線まで：CPU・GPU・機械学習による潮流計算ソルバーのベンチマーク
要約本論文は、同一入力に対する7種のオープンソースCPU潮流計算ソルバーの比較により、スループットが約2.5〜3桁も異なることを示し、単一のベースラインだけでは比較結論が覆りうると指摘しています。著者らは、新たに提案したバッチ処理GPUソルバーgpusim2grid（gpusim2grid）を含む9種の物理ベースソルバーと、発表済みの機械学習代理モデル3種を、14〜70,000母線の15系統で評価するベンチマークを構築しました。結果として、十分に並列化されたCPUソルバーまたはgpusim2gridは、試験した機械学習代理モデルと同等以上のスループットを示し、精度は数桁高いと報告されています。
注目点9種の解法と3つのMLサロゲートを統一ベンチマークで比較し、ベースラインの選択が結論を変えることを示し、新しいバッチGPU解法も提示している。
説明ほぼエントロピック・マトロイドと (k,L)-系
要約本論文は (k,L)-系、すなわち任意の相異なる二つの k 元集合の共通部分の大きさが集合 L に属する集合族を研究し、n 元の基礎集合上での最大サイズを m(n,k,L) と表記する。著者らは m(n,k,L) の漸近的な増加とほぼエントロピック・マトロイド（almost entropic matroids）との間に密接な関係があることを示した。その結果、既知のすべての上界を統一し強化する、計算可能な一般的上界が得られたとしている。
注目点(k,L)-系統の漸近上界を殆どエントロピー的マトロイドと結び付け、既存上界を統一し強化する可計算な上界を与えている。
説明機構の拡張：制限された評価域上の誘因両立メカニズムを全評価空間へ広げる研究
要約本論文は、単一の買い手に対して制限された評価域で設計された誘因両立（インセンティブ互換）メカニズムを、評価空間全体へ誘因両立を保ったまま拡張する方法を検討しています。二つの極端な拡張として、各点で買い手の利得を最小化し標準価格を最大化する「メニュー保持」拡張と、その逆の「価格設定保持」拡張を挙げています。
説明HPCシステムにおける実行時間予測と保守的なウォールタイム方針の評価
要約本論文は、本番のHPC環境で安全にウォールタイムを推奨するための、予測器に依存しないフレームワークを提案します。主な貢献は新しい予測モデルではなく、予測された実行時間を保守的で上限付きのウォールタイム推奨に変換するSAFE判断層です。Fugaku と NREL Eagle の約24Mおよび11Mジョブの履歴データで評価され、両システムでウォールタイムの差を約20〜26%縮小しつつ、ジョブの終了率を1%未満に保つ結果が示されています。
説明長い極符号向けの効率的な摂動型SC復号
要約本論文は、極符号の連続消去（SC）復号において軟情報に摂動を加える効果を理論的に分析しています。摂動は主に最初の誤りビット（FEB）の推定を訂正することで性能を高め、SC復号の誤り訂正能力を損なわないことを示しています。その分析に基づき最適な摂動を設計し、ランダム摂動と偏り摂動を組み合わせたハイブリッド摂動型SC（HPSC）復号を提案しています。シミュレーションでは、最適摂動のHPSCがCRC支援SCリスト（CA-SCL）復号に近い性能を、経路の並べ替えと拡張なしで達成することが示されています。
説明ポアソン化による離散無記憶通路の情報・推定・予測の関係
要約有限の入力・出力アルファベットを持つ任意の離散無記憶通路について、通路を固定したまま期待観測回数を変えることで、情報と推定の関係を導いています。相互情報量の観測予算に関する微分は、入力の出力分布を推定する際の最小期待相対エントロピー損失に等しいと示されています。後验平均の通路出力分布が最小損失を達成し、次の観測のベイズ予測器となります。さらに有限状態過程への拡張や、クーポン収集通路の容量損失についても扱われています。
説明車両エッジコンピューティングにおける安全なオフロードのための制約付き連合強化学習（CRAFT）
要約本論文は、車両エッジコンピューティング（VEC）におけるタスクオフロードのためのフレームワーク CRAFT を提案します。依存関係を持つサブタスクのオフロードと資源配分を制約付きマルコフ決定過程として定式化し、ラグランジュ緩和でタスク完了の制約を管理します。連合パラメータの交換には耐量子暗号と格子ベースの署名を用います。メルボルン中心業務地区のネットワークを用いた仮想マシン試験環境では、加重コストを最大42%削減し、完了率は約96%、セキュリティオーバーヘッドは6.4%と報告されています。
説明AoI対応ポーラー符号のブラインド・レート適応
要約本論文は、N個の座標のうち信頼性の高いK個のみを用いる符号化伝送において、適応的なプレフィックス長の選択を研究している。情報の鮮度（AoI）とスループットのバランスを取ることが目的である。制御器は直前の復号結果のみからプレフィックス長を更新し、チャネル推定は不要である。64座標のポーラー符号を二元対称通信路で行ったシミュレーションで理論予測を検証し、単一ビットのフィードバックのみを用いる場合のスループットの損失も定量化している。
説明ターン制の確定的ゲームにおけるDantzig則を用いた単純な戦略反復は強多項式ではない
要約本論文は、割引コストおよび長期平均コストを持つターン制の確定的ゼロ和ゲームを扱う。割引コストについては、制限のないコストと単位重みの下で、Dantzig則を用いた単純な戦略反復法に対し、指数的および超多項式的な反復下界を示している。長期平均コストについては、制限のないコストの下でDantzig則の対応手法の終了に対する指数的な反復下界を示し、単位重みの下では強多項式的に実装できることを証明している。
注目点割引コストで、Dantzigルールの方策反復に指数的および超多項式的な下界を示し、強多項式性を否定した理論的成果である。
説明Sionna Bench：無線通信分野におけるベンチマークに向けて
要約本論文は、無線通信の学術研究にはこれまでベンチマークの伝統がなく、手法ごとに少しずつ異なる条件で開発されて比較が難しいと指摘する。著者らは、MIMO-OFDM のチャネル推定を試験題材として Sionna Bench を提案し、AI 支援コーディングを用いて十本の論文から二十の手法を共通の比較枠組みに実装したと述べる。
説明非ハミング距離における線形符号のブロック基底簡約
要約本論文は、符号の基底簡約をハミング距離以外の距離へ一般化するものである。すべての座標加法的距離に適用できるブロック基底簡約（BKZ）アルゴリズムを提案し、これは Ghentiyala と Stephens-Davidowitz のアルゴリズムの一般化にあたる。ブロックサイズ2（LLL）については、符号長 n と符号アルファベットサイズ q に対し、F_q 上で O(n^4 q^3) の演算量となる多項式時間アルゴリズムを示している。さらに Lee 距離についてアルゴリズムを実装し、低い Lee 重みの符号語を探索する実験結果を提示している。
説明一般化回路の厳密な近似困難性
要約一般化回路（Generalized circuits）は、PPAD困難性や近似均衡問題の帰属を示すための基本的な道具である。本論文は近似パラメータの厳密な閾値を ε=1/6 と確定した。0<ε<1/6 の各定数に対してε-GCircuitはPPAD完全であり（四種類のゲームに制限しても）、ε≥1/6 の各定数に対しては多項式時間で解けることを示す。従来の困難性の境界1/10と多項式時間可解性の境界1/2の間の隙間を埋める。さらに一部のゲートの違反を許す緩和版も扱い、アルゴリズム・ゲーム理論の複数の問題に応用している。
注目点一般化回路の近似困難性に関する未解決の閾値（ε=1/6）を厳密に確定し、PPAD完全性と多項式時間可解性の両面を証明、分解定理から複数の応用を導く。
説明FaaSpot：スポットインスタンス上でフォールトトレラントなサーバーレスワークフローを実行する手法
要約本論文は、スポットインスタンス上でDAG形式のサーバーレスワークフローを実行するシステムFaaSpotを提案している。提出時にワークフローのDAG構造を解析し、プリエンプションの影響に応じて各タスクを分類したうえで、選択的チェックポイント、生存時間を考慮したスケーリング、系譜ベースの再試行を適用する。八つのDAGワークフローを用いた評価では、成功率89.03%、成功実行あたりのコストは0.018ドル、平均レイテンシは2.3倍短縮された。
説明線形符号の提供速度の上界と組合せ設計との関係
要約分散ストレージシステムにおいて、どのサーバーも過負荷にせずに同時に満たせる要求の組を、任意の有限体上の線形符号に基づいて研究した論文である。任意の t 個のデータ対象の部分集合について、双対距離と最小回復集合の大きさによる集約提供速度の上界を導いている。組織的生成行列の場合、この上界は符号長、双対距離、部分集合の要素数だけで表される。さらに上界が達成される条件を示し、MDS符号、Reed-Muller符号、定数巡回符号、拡張Golay符号に適用して最大集約提供速度の正確な値を求めている。
説明第m相対Feng-Rao距離の研究（C_ab曲線を中心に）
要約本論文は、原始的な第m相対Feng-Rao距離と双対の第m相対Feng-Rao距離を研究する。これらは、入れ子になった原始一点符号および双対一点符号の相対一般化ハミング重みの下界として機能する。一般の数値半群に対する統一的手法を提示し、二元で生成される多くの数値半群について閉じた式を与えている。さらに非特異C_ab曲線について、汎用手法が十分な結果を与えない領域で相対一般化ハミング重みを評価する方法を提案している。
説明CQTwin：HPCスケジューラの運用分析のためのデジタルツイン・ツールキット
要約本論文は、HPC（高性能計算）施設のジョブスケジューリングデータを分析するためのオープンソース・ツールキット「CQTwin」を紹介しています。Python 製の CQSim 離散事件シミュレータを基盤とし、アーカイブされたワークロードを再生するオフラインモードと、到着するジョブイベントを扱うオンラインモードを備えています。対話型ダッシュボードでワークロードの特性把握やスケジューリング方針の比較ができます。検証にはアルゴンヌ・リーダーシップ計算施設の 2016 年から 2023 年の本番トレースが用いられています。
説明複数の提案者が同時に存在する場合の包含型取引手数料メカニズムのベイズ分析
要約本論文は、n 人の提案者が同時にブロックを提案する状況で、取引手数料メカニズム（TFM）設計のベイズ均衡におけるトレードオフを検討する。ユーザー数が増えても相対的な混雑度を固定した極限で均衡列を調べ、解析が難しい有限ゲームの均衡を分析する手法を提示している。按一次收费の pay-once と、包含ごとに課金する PPI を比較し、PPI は均衡列の極限で効率的であり、pay-once は大規模市場でも非効率が残ることを示す。
注目点有限ベイズ均衡の解析手法を新たに提示し、PPIの効率性と漸近挙動を証明しており、理論的寄与が顕著である。
説明負に相関した指示変数の和の中で、与えられた平均と台に対してエントロピーを最大化する二項分布
要約本論文は、台が{0,1,…,n}、平均がnp（0<p<1）である負に相関した指示確率変数の和の類において、対応する二項分布がエントロピーを最大化することを示している。この結果は、より小さいクラスであるn次の超対数凹確率変数に限定したYu（2008）の主要結果を一般化したものである。証明には、Yu（2008）のマルコフ連鎖による構成と確率的順序の議論が用いられている。
