The SQInstructor: a guide to SQIsign and the Deuring Correspondence with level structures
本論文は、レベル構造の対応付けを要件として含めることで SQIsign 署名方式を一般化する新たな枠組みを提案し、レベル構造付き超特異楕円曲線に対する明示的なデュエリン対応と拘束付きノルム方程式の解法を提供するものである。
2653 件の論文
本論文は、レベル構造の対応付けを要件として含めることで SQIsign 署名方式を一般化する新たな枠組みを提案し、レベル構造付き超特異楕円曲線に対する明示的なデュエリン対応と拘束付きノルム方程式の解法を提供するものである。
この論文は、証明論的意味論の観点から、ゲーデルの第二不完全性定理を「無矛盾性の証明不可能性」としてではなく、証明可能性と理論の推論的役割に基づいて定義される「支持(support)」という意味論的帰結との間の原理的な乖離として再解釈し、算術の意味決定性がその推論構造自体から生じ得ることを示すものである。
この論文は、ホモトピー集合や群、Postnikov 塔などの基本的なホモトピー論的概念を -圏および Gray 積に関して enriched な現代的な圏に拡張し、それらが Postnikov 塔を形成して -圏の極限として Postnikov 完全な -圏を記述することを示しています。
本論文は、局所スペクトル解析の手法を用いて、Kippenhahn 予想が成り立つための必要十分条件を、行列の生成する代数の特定要素の特性多項式を用いて導出したものである。
この論文は、適切な制御幾何学を持つ一般化された n 次元多様体からユークリッド空間への準正則写像に関するレスティニャクの定理を確立し、それによって直空間におけるカンガスニエミとオニネンの既存の結果を一般化するものである。
本論文は、不確実性定量化におけるモンテカルロシミュレーションの計算コストを削減するため、ランダムな欠陥の局所構造を利用し、少数の参照構成に対するオフライン計算と任意の実装に対するオンライン結合によって、多スケール異質係数を持つ楕円拡散問題に対してロバストな部分空間分解前処理法を提案するものである。
この論文は、3 次元ディリクレ境界問題における特異性を解決するために、グリーン関数の特異成分と正則成分を分離し、それぞれに高次数値積分法と調和基底を用いたコリケーション法を適用する二段階近似手法を提案している。
本論文は、放射対称な等エントロピー圧縮性オイラー方程式の滑らかな解の質的動態を解析し、3 つの異なる流れ場における波の性質(希薄・圧縮)の遷移メカニズムを理論的に解明するとともに、数値シミュレーションによってその知見を検証したものである。
この論文は、未知の目標関数に対する外挿領域での誤差上限を保証する「アンカー関数」を用いて、任意のベースライン近似を射影するモデル非依存の枠組みを提案し、外挿誤差の削減と理論的保証を実現する手法を開発したものである。
ホフスタッターが提起したこの数列の漸近挙動について、無限に多くの正整数を省略することを証明し、OEIS の予想を解決しました。
この論文は、Poincaré による平面ベクトル場の中心問題に対し、重み付き極座標におけるローラン級数の逆積分因子の存在を証明し、これに基づいて多項式ベクトル場の中心を特徴づけるパラメータ制約を決定する普遍的な手法を確立したものである。
この論文は、 の条件下で係数が不規則な分数次非線形シュレーディンガー方程式に対し、「非常に弱い解」の概念を用いてその存在・一意性および古典解との整合性を証明し、さらに数値実験を通じてその振る舞いを示すことで、非線形偏微分方程式における非常に弱い解の適正性の最初の例を提供するものである。
リーマン予想が偽であるという仮定のもと、特定の有理数に対してディリクレ関数の非自明な零点における級数の留数とある連続関数の間の漸近関係式を確立し、それがリーマン予想への示唆を与えることを示しています。
この論文は、エラトステネスの篩の幾何学的構造を研究し、「焦点」や「極値」といった概念を導入して素数の分布に隠された対称性や幾何的秩序を明らかにし、特定の商を与える最大の剰余に関する公式を導出するものである。
この論文は、 級滑らかな凸曲面における孤立した楕円点の半整数値の局所指数が 2 未満であることを、複素曲面における実曲面の「全実ブローアップ」と呼ばれる半局所的な手法を用いて、複素点の局所結果をラグランジュ曲面の存在に関する大域結果に帰着させることで証明している。
この論文は、局所コンパクト群の「内側アメンナブル」という性質を持つエタール群oidに対して、群の文脈で知られる6つの異なる「厳密性」の定義が同値であることを示し、群oidのアメンナブル性とそのC*-代数の完全性と縮約代数の一致との関係を調査するものである。
この論文では、あるモデルにおける実数の近似の「知性」を、その近似の品質を評価する指標を用いて定量化し、特に有理数近似モデルにおいて古典的なディオファントス近似理論と整合性があることを示しています。
この論文は、相関和を評価する一般的な手法を開発し、双子素数予想の証明を示すことで、双子素数が無限に存在することを主張しています。
本論文は、宇宙、誘導コミュニティ、およびセルとスポットの概念を導入し、任意の有限宇宙と誘導コミュニティに対して、その密度が少なくとも 1/2 となるスポットが存在することを示すことで、合併閉集合予想を証明したものである。
本論文は、有限次元の二変数多項式部分空間における有限次数の実行列に対する二変数多項式問題の存在性・一意性・構成をラグランジュ型二変数多項式補間問題との関連を通じて確立し、その数値的妥当性を検証するものである。