Related papers: Relative MMP without Q-factoriality
We give an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming the anticanonical divisor admits a birational Zariski decomposition. Moreover, we establish a structure theorem…
We prove that there exists a group which is not finitely generated, but admits a minimal sofic shift. This answers a question of Doucha, Melleray and Tsankov. The group is of the form $(F_4 \times F_2) \rtimes F_{\infty}$. The construction…
In this paper, we give an affirmative answer to a conjecture in the Minimal Model Program. We prove that log $Q$-Fano varieties of dim $n$ are rationally connected. We also study the behavior of the canonical bundles under projective…
Dynamic decision-making under distributional shifts is of fundamental interest in theory and applications of reinforcement learning: The distribution of the environment in which the data is collected can differ from that of the environment…
Generalizing work of Smith and Hara, we give a new characterization of log-terminal singularities for finitely generated algebras over $\mathbb C$, in terms of purity properties of ultraproducts of characteristic $p$ Frobenii. The first…
We introduce the first minimal and complete equational theory for quantum circuits. Hence, we show that any true equation on quantum circuits can be derived from simple rules, all of them being standard except a novel but intuitive one…
A new approach is demonstrated that QFTs can be UV finite if they are viewed as the low energy effective theories of a fundamental underlying theory (that is complete and well-defined in all respects) according to the nowaday's standard…
We use multiplication maps to give a characteristic-free approach to vanishing theorems on toric varieties. Our approach is very elementary but is enough powerful to prove vanishing theorems.
In view of solving nonsmooth and nonconvex problems involving complex constraints (like standard NLP problems), we study general maximization-minimization procedures produced by families of strongly convex sub-problems. Using techniques…
A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…
We describe an extension of Morse theory to smooth functions on compact Riemannian manifolds, without any nondegeneracy assumptions except that the critical locus must have only finitely many connected components.
We introduce a new quantification of nonuniform ellipticity in variational problems via convex duality, and prove higher differentiability and $2d$-smoothness results for vector valued minimizers of possibly degenerate functionals. Our…
There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…
We prove that for any two minimal models of an lc algebraically integrable foliated triple on potentially klt varieties, there exist small birational models that are connected by a sequence of flops. In particular, any two minimal models of…
We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…
We show that many statements of the Minimal Model Program, including the cone theorem, the base point free theorem and the existence of Mori fibre spaces, fail for 1-foliated surface pairs $(X,\mathcal{F})$ with canonical singularities in…
Using techniques from the theory of foliations, we establish the cone theorem and the contraction theorem for lc generalized pairs in full generality, and meanwhile develop the minimal model program for $\mathbb Q$-factorial foliated dlt…
We prove the (generalized) principal pivot transform is matrix monotone, in the sense of the L\"owner ordering, under minimal hypotheses. This improves on the recent results of J. E. Pascoe and R. Tully-Doyle, Monotonicity of the principal…
We present a globally convergent SQP-type method with the least constraint violation for nonlinear semidefinite programming. The proposed algorithm employs a two-phase strategy coupled with a line search technique. In the first phase, a…
A new electronic structure principle, viz. the minimum magnetizability principle (MMP) has been proposed and also has been verified through ab initio calculations, to extend the domain of applicability of the conceptual density functional…