Iterating reflection over intuitionistic arithmetic
この論文は、Heyting 算術（HA）における一貫性、局所反射、および一様反射の反復を調査し、Rathjen の古典的結果の証明手法を援用して Dragalin による Feferman の完全性定理の HA への拡張に対する新たな証明を与えるものである。
🔢 Category
math
2571 件の論文
Long-range one-dimensional internal diffusion-limited aggregation
この論文は、内部拡散制限凝集（IDLA）モデルにおいて、歩行の増分分布のモーメント条件（有限分散か、$1<\alpha<2\alpha$-安定分布の吸引領域にあるか）に応じて、原点を中心としたクラスターの形状がほぼ完全な対称連続ブロックになるか、あるいはその一部が欠落するかを明らかにし、有限分散の場合には既存の結果を最適のモーメント条件まで強化したものである。
Analytic Properties of an Orthogonal Fourier-Jacobi Dirichlet Series
この論文は、直交群の尖点形式のフーリエ・ヤコビ係数を含むディリクレ級数の解析的性質を、クリンゲン型直交アイゼンシュタイン級数を用いた積分表示や、特定の格子におけるエプシュタインゼータ関数・シゲル型アイゼンシュタイン級数との対応を通じて研究し、その有理型接続や関数方程式を導出するものである。
Witt Group of Nondyadic Curves
この論文は、標数が 2 でない非アルキメデス局所体上の滑らかな固有曲線について、Theta 特性の存在に関する一般的な研究を通じて、その導来ウィット群を計算するものである。
Stochastic and incremental subgradient methods for convex optimization on Hadamard spaces
この論文は、非線形構造を持つハダマード空間における凸最適化の課題を解決するため、ブセマン関数に基づく新たな部分勾配の概念を提案し、これにより確率的および増分部分勾配法の一般化と複雑性保証、ならびに BHV 樹空間におけるメディアン計算などの応用を可能にしています。
On some Sobolev and Pólya-Szegö type inequalities with weights and applications
この論文は、重み付きソボレフ空間の埋め込み定理を確立し、新たなポリア・セゲオ型不等式を導出することで、3 次元における特定的一类の半線形退化楕円型方程式の境界値問題を研究し、既存の結果を 3 次元の文脈に拡張するものである。
Non-concentration estimates for Laplace eigenfunctions on compact manifolds with boundary
この論文は、滑らかな境界を持つコンパクト多様体上のラプラシアンの固有関数について、境界点を含む任意の点における非集中評価を証明し、それを用いて既知の最大値評価を導出する結果を示しています。
On the ergodicity of anti-symmetric skew products with singularities and its applications
本論文は、Borel-Cantelli 型論法に触発された新たな手法を導入し、対称的な区間交換変換と反対称な特異性を持つコサイクルのエルゴード性を証明するとともに、完全鞍点だけでなく非完全鞍点を含む局所ハミルトニアン流のスペクトル分解における誤差項の等分布性にも応用可能であることを示しています。
Continuity of asymptotic entropy on wreath products
この論文は、非退化で有限エントロピーを持つ確率測度に対して、 が任意の可算群、 が少なくとも3次の成長を持つ有限生成部分群を含む超 FC-中心群であるとき、 wreath 積 における漸近エントロピーの連続性を証明し、その過程で単位元への非再帰確率の連続性やポアソン境界上の調和測度の弱連続性と漸近エントロピーの連続性の関係を確立し、双曲群や線形群など新たな群クラスへの拡張を示したものである。
A Path Variant of the Explorer Director Game on Graphs
本論文は、グラフ上のエクスプローラー・ディレクターゲームにおいて、移動距離を「距離」から「パス長」に変更した変種を定義し、両者の到達頂点数の差が任意に大きくなり得ることを証明するものである。
Disintegration results for fractal measures and applications to Diophantine approximation
本論文は、自己共形測度およびアフィン既約な自己相似測度に対する分解定理を確立し、その応用として、これらの測度に関するディオファントス近似における特定の近似可能性が零測度であることを示し、またアフィン既約な自己相似測度に対してほとんどすべての点が特異ベクトルではないことを証明している。
A threshold for Poisson behavior of non-stationary product measures
非定常なベルヌーイ積測度において、パラメータの減衰率の指数が $1/2$ を閾値として、それより大きい場合はポアソン的性質がほぼすべての点で成り立ち、小さい場合は成り立たないことを示し、一様測度に対して特異でありながらポアソン的性質を満たす領域の存在を明らかにした。
The Second Moment of Sums of Hecke Eigenvalues I
この論文は、 の重さ の正則ヘッケ尖点形式のヘッケ固有値和 について、 の範囲で に関する平均的な第 1 次および第 2 次モーメントを計算し、 および において和の大きさの遷移が生じることを示しています。
Linear Logic and the Hilbert Scheme
この論文は、ヒルベルトスキームを用いて浅い乗法的指数線形論理（MELL）の証明を局所射影スキームとして幾何学的にモデル化し、カット除去による不変性を示すことで、証明論と代数幾何学の間に新たなつながりを確立するものである。
A proof of generic Green's conjecture in odd genus
この論文は、著者の先行研究の手法を踏襲しつつ複雑な計算を回避することで、奇数属の一般曲線に関するグリーン予想（ヴォワザンの定理）に対する新たな証明を提供するものである。
On Ruzsa's conjecture on congruence preserving functions
本論文は、ルザの予想（整数列が合同式を保存し指数成長条件を満たす場合、多項式列であるとする予想）について、その生成関数が において高々 2 つの特異方向しか持たないという追加条件のもとで予想が成り立つことを、カルソンの手法とハンケル行列の精密な解析を組み合わせることで証明し、反例が存在するならば少なくとも 3 つの特異方向を有しなければならないことを示したものである。
On the Conjecture of Stability Preservation in Arbitrary-Order Adams-Bashforth-Type Integrators
本論文は、Buvoli 氏によって提案された高次陽的時間積分スキームの安定性に関する既存の予想（精度が無限大に近づくにつれて安定性が維持されるという仮説）を調和解析の観点から反証し、その代わりに安定性と精度のトレードオフを定量化する基準や、拡散型偏微分方程式に対する統一的な安定性解析戦略を提示しています。
Norms in equivariant homotopy theory
この論文は、Bachmann-Hoyois によって導入された真正 -スペクトルにおけるノルム代数の -圏が、任意の有限群 に対して厳密に可換な -対称スペクトル内の代数によってモデル化されることを示し、さらに Schwede の超可換グローバル環スペクトルをより高次圏論的な観点から記述することで、それらの -圏を真正 -スペクトルの -圏の部分的に緩い極限として特徴づけています。
Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
この論文は、入出力が瞬間的に依存するメリー機械や在庫・フロー図を構成するための「依存付き有向配線図」のオペラドを導入し、その代数的構造とメリー機械への意味論的対応を確立するものである。
The largest subcritical component in inhomogeneous random graphs of preferential attachment type
本論文は、優先的接続型カーネルを持つ非均一ランダムグラフの臨界以下領域において、最大連結成分のサイズがグラフ規模の多項式で表され、その指数が最大次数の指数よりも厳密に大きいことを、分岐ランダムウォークの局所近似と新たな殺された分岐ランダムウォークの結果を用いて明らかにしたものである。