Related papers: Semi-stable minimal model program for varieties wi…

We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…

The problem of constructing a necessary and sufficient condition for establishing the separability of continuous variable systems is revisited. Simon [R. Simon, Phys. Rev. Lett. 84, 2726 (2000)] pointed out that such a criterion may be…

We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then…

We obtain necessary and sufficient conditions for the regular variation of the variance of partial sums of functionals of discrete and continuous-time stationary Markov processes with normal transition operators. We also construct a class…

In this work we study the existence, uniqueness and polynomial stability of the pseudo almost periodic mild solutions of semi-linear diffusion equations with rough coefficients in certain interpolation spaces. First, we rewirte the…

The stationary asymptotic properties of the diffusion limit of a multi-type branching process with neutral mutations are studied. For the critical and subcritical processes the interesting limits are those of quasi-stationary distributions…

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…

Using a semiclassical ansatz we analytically predict for the fidelity of delta-kicked rotors the occurrence of revivals and the disappearance of intermediate revival peaks arising from the breaking of a symmetry in the initial conditions. A…

We show that termination of flips for $\mathbb Q$-factorial klt pairs in dimension $r$ implies existence of minimal models for algebraically integrable foliations of rank $r$ with log canonical singularities over a $\mathbb Q$-factorial klt…

We obtain necessary and sufficient conditions for abelian varieties to acquire semistable reduction over fields of low degree. Our criteria are expressed in terms of torsion points of small order defined over unramified extensions.

In this paper, we establish a central limit theorem (CLT) and the moderate deviation principles (MDP) for a class of semilinear stochastic partial differential equations driven by multiplicative noise on a bounded domain. The main results…

Let $(X, \Delta)$ be a four-dimensional log variety that is projective over the field of complex numbers. Assume that $(X, \Delta)$ is not Kawamata log terminal (klt) but divisorial log terminal (dlt). First we introduce the notion of "log…

We propose an extension of the discretization approaches for multilayer shallow water models, aimed at making them more flexible and efficient for realistic applications to coastal flows. A novel discretization approach is proposed, in…

An asymptotic formula for the Tian-Paul CM-line of a flat family blown-up at a flat closed sub-scheme is given. As an application we prove that the blow-up of a polarized manifold along a (relatively) Chow-unstable submanifold admits no…

We prove the abundance theorem for numerically trivial log canonical divisors of log canonical pairs and semi-log canonical pairs.

We present necessary and sufficient conditions for the termination of linear homogeneous programs. We also develop a complete method to check termination for this class of programs. Our complete characterization of termination for such…

We present an efficient approach to prove termination of monotone programs with integer variables, an expressive class of loops that is often encountered in computer programs. Our approach is based on a lightweight static analysis method…

Let $L$ be a local system on a smooth quasi projective variety over $\cnum$. We see that $L$ is semisimple if and only if there exists a tame pure imaginary pluri-harmonic metric on $L$. Although it is a rather minor refinement of a result…

This paper deals with the gradient stability and the gradient stabilizability of Caputo time fractional diffusion linear systems. First, we give sufficient conditions that allow the gradient Mittag-Leffler and strong stability, where we use…

We discuss a minimization problem of the degree of the CM line bundle among all possible fillings of a polarized family with fixed general fibers. We show that such minimization implies the slope semistability of the fiber if the central…