StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis

離散時間確率システムの安全性検証向けに、半正定値計画や線形計画、勾配降下法などを用いて多様なシステム(線形、多項式、区分的アフィン、非線形)に対する確率的バリア関数を合成し、既存ツールよりも大幅に高速かつ高次元で優れた性能を発揮するオープンソースの Julia ツール「StochasticBarrier.jl」を提案する論文です。

Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian2026-03-09🔢 math

Quantum thermodynamics and semidefinite programming: regularization and algorithms

この論文は、有限の測定結果で制約された正温度における量子熱力学の変分問題を、非可換最適輸送に着想を得た手法を用いて解き、その双対定式化やゼロ温度極限の解析、量子状態トモグラフィへの応用、およびアルゴリズムの収束性について包括的に論じています。

Emanuele Caputo, Augusto Gerolin, Nataliia Monina, Pavlo Pelikh, Lorenzo Portinale2026-03-09🔢 math

Cutoff for the inversion walk on tournaments and the state space of restricted inversions

この論文は、ランダムな頂点部分集合の反転を繰り返すマルコフ連鎖が時間 nn で総変動距離におけるカットオフ現象を示すことを証明し、さらに kk 個の頂点の反転に制限された場合の状態空間が kk を 4 で割った余りによって決定される部分群の剰余類として特徴づけられることを示しています。

Jiangdong Ai2026-03-09🔢 math

mm-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees

本論文は、mm-剛性(mm-rigidity)の概念を用いて、典型的な多対一次数(many-one degrees)が有限一次数(finite-one degrees)の構造において、最小の有限一次数を含むこと、互いに比較不可能な無限個の有限一次数を含むこと、および単一の有限一次数内で厳密な昇鎖を形成する一次数列を構成することを示し、Richter、Stephan、Zhang によって提起された未解決問題に対する部分的解答を提供するものである。

Patrizio Cintioli2026-03-09🔢 math

Semistable intrinsic reduction loci for the iterations of non-archimedean quadratic rational functions

この論文は、非アルキメデス体上の二次有理写像の反復に対する半安定な内在的縮小点の概念を導入し、双曲的結果関数の縮小論的傾き公式を用いてその軌跡を計算するとともに、非アルキメデス多項式力学系の場合と同様にこれらの軌跡が反復に対して厳密に定着することを示しています。

Yûsuke Okuyama2026-03-09🔢 math

Strong Approximation for the Character Variety of the Four-Times Punctured Sphere

本論文は、4 点穴付き球面の特性多様体に関連するマルコフ型方程式の解が、特定の群作用の下で素数 pp の密度 1 の集合においてほとんどすべての解に対して推移的に作用することを示し、SL2(Fp)\text{SL}_2(\mathbb{F}_p) の組合せ的群論や一般化クラスター代数における既存の予想をほぼ証明する結果を得たものである。

Nathaniel Kingsbury-Neuschotz2026-03-09🔢 math

Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems

この論文は、離散事象システムのモデルが未知である状況下で、与えられたデータセットから非ブロッキングなマーク付け制御器を設計可能かどうかを判定する「マーク付けデータ情報性」という新概念を提案し、その検証アルゴリズムや制約付きの拡張概念、および最大部分仕様を計算する手法を開発するものである。

Yingying Liu, Kuma Fuchiwaki, Kai Cai2026-03-09🔢 math

Sobolev regularity of the symmetric gradient of solutions to a class of ϕ\phi-Laplacian systems

この論文は、有界領域における非線形成長条件を満たすϕ\phi-Laplacian 型の系に対して、外力項が適切なオルリッツ・ソボレフ空間に属する仮定の下で、弱解の対称勾配の非線形成長を反映した関数のソボレフ正則性を、特異な高次摂動を加えた近似問題の一様高次微分可能性評価を通じて証明するものである。

Flavia Giannetti, Antonia Passarelli di Napoli2026-03-09🔢 math