Related papers: On existence of log minimal models

Log-concave sampling has witnessed remarkable algorithmic advances in recent years, but the corresponding problem of proving lower bounds for this task has remained elusive, with lower bounds previously known only in dimension one. In this…

We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work…

In this article we prove the topological minimality of unions of several almost orthogonal planes of arbitrary dimensions. A particular case was proved in arXiv:1103.1468, where we proved the Almgren minimality (which is a weaker property…

This paper provides a small data global existence result for a class of quadratic derivative nonlinear Schr\"odinger systems in two space dimensions. This is an extension of the previous results by Li [Discrete Contin. Dyn. Syst., 32…

We prove that the variation in a smooth projective family of varieties admitting a good minimal model forms a lower bound for the Kodaira dimension of the base, if the dimension of the base is at most five and its Kodaira dimension is…

This short note presents a linear algebraic approach to proving dimension lower bounds for linear methods that solve $L^2$ function approximation problems. The basic argument has appeared in the literature before (e.g., Barron, 1993) for…

We prove the termination of 4-fold log flips for klt pairs of Kodaira dimension $\kappa\ge 2$.

In this article we prove that the union of two almost orthogonal planes in R4 is Almgren-minimal. This gives an example of a one parameter family of minimal cones, which is a phenomenon that does not exist in R3. This work is motivated by…

We continue our study of the relation between log minimal models and various types of Zariski decompositions. Let $(X,B)$ be a projective log canonical pair. We will show that $(X,B)$ has a log minimal model if either $K_X+B$ birationally…

In this work, we study the minimization of nonlinear functionals in dimension $d\geq 1$ that depend on a degenerate radial weight $w$. Our goal is to prove the existence of minimizers in a suitable functional class here introduced and to…

The minimal log discrepancy is an invariant of singularities that plays an important role in the birational classification of algebraic varieties. Shokurov conjectured that the minimal log discrepancy can always be bounded from above in…

We make four contributions to the theory of optimal subspace packings and equi-isoclinic subspaces: (1) a new lower bound for block coherence, (2) an exact count of equi-isoclinic subspaces of even dimension $r$ in $\mathbb{R}^{2r+1}$ with…

We compute the minimal log discrepancies of determinantal varieties of square matrices, and more generally of pairs $\bigl(D^k,\sum \alpha_i D^{k_i}\bigr)$ consisting of a determinantal variety (of square matrices) and an $\mathbb R$-linear…

Underdamped Langevin dynamics (ULD) is a widely-used sampler for Gibbs distributions $\pi\propto e^{-V}$, and is often empirically effective in high dimensions. However, existing non-asymptotic convergence guarantees for discretized ULD…

We obtain minimal dimension matrix representations for each indecomposable five-dimensional Lie algebra over $\R$ and justify in each case that they are minimal. In each case a matrix Lie group is given whose matrix Lie algebra provides the…

In this paper, we completely work out the log minimal model program for the moduli space of stable curves of genus three. We employ a rational multiple $\alpha\delta$ of the divisor $\delta$ of singular curves as the boundary divisor,…

We consider a class of stable smoothable n-dimensional varieties, the analogs of stable curves. Assuming the minimal model program in dimension n+1, we prove that this class is bounded. From Kollar's method of constructing projective moduli…

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 show that there is a strong minimal pair in the computably enumerable Turing degrees.

In this article, we use the cone of nef curves to study minimal log discrepancies. The first result is an improvement of the nef cone theorem in the case of log Calabi-Yau dlt pairs. Then, we prove that the ascending chain condition for…