Related papers: A valuative approach to the anticanonical minimal …

We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a klt pair $(X,\Delta)$ can be detected on the base of the $(K_{X}+\Delta)$-trivial reduction map. Thus we show that…

We derive a formula for the entries of the (unitriangular) transition matrices between the standard monomial and dual canonical bases of the irreducible polynomial representations of U_q(gl_n) in terms of Kazhdan-Lusztig polynomials.

We study a pair consisting of a smooth variety over a field of positive characteristic and a multi-ideal with a real exponent. We prove the finiteness of the set of minimal log discrepancies for a fixed exponent if the dimension is less…

We propose a generalization of the Quantum Monte Carlo loop algorithm to the t-J model by a mapping to three coupled six-vertex models. The autocorrelation times are reduced by orders of magnitude compared to the conventional local…

We prove that the ACC conjecture for minimal log discrepancies holds for threefolds in $[1-\delta,+\infty)$, where $\delta>0$ only depends on the coefficient set. We also study Reid's general elephant for pairs, and show Shokurov's…

We test the effectiveness of the multicanonical algorithm for the tertiary structure prediction of peptides and proteins. As a simple example we study Met-enkephalin. The lowest-energy conformation obtained agrees with that determined by…

We discuss the relationship among various conjectures in the minimal model theory including the finite generation conjecture of the log canonical rings and the abundance conjecture. In particular, we show that the finite generation…

We present and analyse a Monte-Carlo algorithm to compute the minimal polynomial of an $n\times n$ matrix over a finite field that requires $O(n^3)$ field operations and O(n) random vectors, and is well suited for successful practical…

We calculate the expectation value of an arbitrary product of characteristic polynomials of complex random matrices and their hermitian conjugates. Using the technique of orthogonal polynomials in the complex plane our result can be written…

In this note, we show how to apply the original $L^2$-extension theorem of Ohsawa and Takegoshi to the standard basis of a multiplier ideal sheaf associated with a plurisubharmonic function. In this way, we are able to reprove the strong…

We prove Koll\'ar-type effective basepoint-free theorems for quasi-log canonical pairs.

In this short note we provide an unbiased multilevel Monte Carlo estimator of the log marginal likelihood and discuss its application to variational Bayes.

It is shown that the log-canonical threshold of a curve with an isolated singularity is computed by the term ideal of the curve in a suitable system of local parameters at the singularity. The proof uses the Enriques diagram of the…

In this paper, we study the log-likelihood function and Maximum Likelihood Estimate (MLE) for the matrix normal model for both real and complex models. We describe the exact number of samples needed to achieve (almost surely) three…

Let $X$ be a minimal projective 3-fold of general type. The pluricanonical section index $\delta(X)$ is defined to be the minimal integer $m$ so that $P_{m}(X)\geq 2$. According to Chen-Chen, one has either $1\leq \delta(X)\leq 15$ or…

We establish the minimal model program for log canonical and Q-factorial surfaces over excellent base schemes.

In this paper, we extend the theory of minimal limit key polynomials of valuations on the polynomial ring $\kx$. We use the theory of cuts on ordered abelian groups to show that the previous results on bounded sets of key polynomials of…

The continuous modal mu-calculus is a fragment of the modal mu-calculus, where the application of fixpoint operators is restricted to formulas whose functional interpretation is Scott-continuous, rather than merely monotone. By…

We introduce real log canonical threshold and real jumping numbers for real algebraic functions. A real jumping number is a root of the $b$-function up to a sign if its difference with the minimal one is less than 1. The real log canonical…

ksmt is a CDCL-style calculus for solving non-linear constraints over real numbers involving polynomials and transcendental functions. In this paper we investigate properties of the ksmt calculus and show that it is a $\delta$-complete…