相关论文: Dold-Gauss Congruences, Norm Descent, and Rational…

Proper continued fractions are generalized continued fractions with positive integer numerators $a_i$ and integer denominators with $b_i\geq a_i$. In this paper we study the strength of approximation of irrational numbers to their…

Using Dwork's theory, we prove a broad generalisation of his famous p-adic formal congruences theorem. This enables us to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters; in particular,…

We prove a Noether type symmetry theorem to fractional problems of the calculus of variations with classical and Riemann-Liouville derivatives. As result, we obtain constants of motion (in the classical sense) that are valid along the mixed…

This work establishes a rigorous connection between stability properties of discrete-time algorithms (DTAs) and corresponding continuous-time dynamical systems derived through $ O(s^r) $-resolution ordinary differential equations (ODEs). We…

We study the topological $\mu$-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well as over $T_0$ and $T_D$ spaces. We also investigate…

As a first result we prove higher order Schauder estimates for solutions to singular/degenerate elliptic equations of type: \[ -\mathrm{div}\left(\rho^aA\nabla w\right)=\rho^af+\mathrm{div}\left(\rho^aF\right) \quad\textrm{in}\; \Omega \]…

We establish a crossed product decomposition theorem for stabilized Cuntz--Pimsner algebras. This result extends Cuntz's classical decomposition for the Cuntz algebras $\mathcal{O}_n$ and reveals an implicit symmetric structure within…

We study algebraic locality principles on a 2+1D closed lattice in the presence of a Gauss law for a non-invertible symmetry. Prior work in arXiv:2509.03589 showed that when enforcing the Gauss law of an invertible symmetry, the principle…

Dimensional reduction in two dimensions of gravity in higher dimension, or more generally of d=3 gravity coupled to a sigma-model on a symmetric space, is known to possess an infinite number of symmetries. We show that such a bidimensional…

If we replace first order logic by second order logic in the original definition of G\"odel's inner model $L$, we obtain HOD. In this paper we consider inner models that arise if we replace first order logic by a logic that has some, but…

We investigate the stable and retract rationality of multinorm one tori associated to finite {\'e}tale algebras. Our results are organized according to the greatest common divisor $d$ of the degrees of the factors. We show that these tori…

Empirically, modern deep learning training often occurs at the Edge of Stability (EoS), where the sharpness of the loss exceeds the threshold below which classical convergence analysis applies. Despite recent progress, existing theoretical…

Partition functions arise in statistical physics and probability theory as the normalizing constant of Gibbs measures and in combinatorics and graph theory as graph polynomials. For instance the partition functions of the hard-core model…

We generalize Breuil-Hellmann-Schraen's local model for the trianguline variety to certain points with non-regular Hodge-Tate weights. With the local models we are able to prove, under the Taylor-Wiles hypothesis, the existence of certain…

In this paper, we study the asymptotic behavior of continuous- and discrete-time gradient flows of a ``lower-unbounded" convex function $f$ on a Hadamard manifold $M$, particularly, their convergence properties to the boundary $M^{\infty}$…

We construct \Lambda-adic de Rham and crystalline analogues of Hida's ordinary \Lambda-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate…

Duality theorems play a fundamental role in convex optimization. Recently, it was shown how duality theorems for countable probability distributions and finite-dimensional quantum states can be leveraged for building relatively complete…

We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of…

We establish an infinite hierarchy of finite-time gradient catastrophes for smooth solutions of the 1D Euler equations of gas dynamics with non-constant entropy. Specifically, for all integers $n\geq 1$, we prove that there exist classical…

We fix $\ell$ a prime and let $M$ be an integer such that $\ell\not|M$; let $f\in S_2(\Gamma_1(M\ell^2))$ be a newform supercuspidal of fixed type related to the nebentypus, at $\ell$ and special at a finite set of primes. Let $\TT^\psi$ be…