Related papers: Ideal-adic semi-continuity problem for minimal log…
We study the computational complexity of the Escape Problem for discrete-time linear dynamical systems over compact semialgebraic sets, or equivalently the Termination Problem for affine loops with compact semialgebraic guard sets. Consider…
We show that there exists a positive real number $\delta>0$ such that for any normal quasi-projective $\mathbb{Q}$-Gorenstein $3$-fold $X$, if $X$ has worse than canonical singularities, that is, the minimal log discrepancy of $X$ is less…
This paper concerns the numerical solution of three-dimensional degenerate Kawarada equations. These partial differential equations possess highly nonlinear source terms, and exhibit strong quenching singularities which pose severe…
We classify possible supersymmetry-preserving relevant, marginal, and irrelevant deformations of unitary superconformal theories in $d \geq 3$ dimensions. Our method only relies on symmetries and unitarity. Hence, the results are model…
We prove that a Kawamata log terminal pair has the canonical model.
The paper aims at the development of an apparatus for analysis and construction of near optimal solutions of singularly perturbed (SP) optimal controls problems (that is, problems of optimal control of SP systems) considered on the infinite…
We obtain new partial H\"older continuity results for solutions to divergence form elliptic systems with discontinuous coefficients, obeying $p(x)$-type nonstandard growth conditions. By an application of the method of…
We study a crack lying along an imperfect interface in an anisotropic bimaterial. A method is devised where known weight functions for the perfect interface problem are used to obtain singular integral equations relating the tractions and…
We prove the existence and uniqueness of global, classical solutions to the 3D Muskat problem in the stable regime whenever the initial interface has sublinear growth and slope $||\nabla_x f_0||_{L^\infty}< 5^{-1/2}$. We show under these…
We study the standard-form ILP problem $\max\{ c^\top x \colon A x = b,\; x \in Z_{\geq 0}^n \}$, where $A\in Z^{k\times n}$ has full row rank. We obtain refined FPT algorithms parameterized by $k$ and $\Delta$, the maximum absolute value…
Minimal log discrepancies (mld's) are related not only to termination of log flips, and thus to the existence of log flips but also to the ascending chain condition (acc) of some global invariants and invariants of singularities in the Log…
We show that all integrally closed ideals on log terminal surfaces are multiplier ideals by extending an existing proof for smooth surfaces.
We exhibit a family of graphs that develop turning singularities (i.e. their Lipschitz seminorm blows up and they cease to be a graph, passing from the stable to the unstable regime) for the inhomogeneous, two-phase Muskat problem where the…
Let $(M^n,g)$ be simply connected, complete, with non-positive sectional curvatures, and $\Sigma$ a 2-dimensional closed integral current (or flat chain mod 2) with compact support in $M$. Let $S$ be an area minimising integral 3-current…
A 2D nonlinear model for the electrical potential in the edge plasma in a tokamak generates a stiff problem due to the low resistivity in the direction parallel to the magnetic field lines. An asymptotic-preserving method based on a…
We develop criteria based on a calibration argument via discrete PDE and semidiscrete optimal transport, for finding sharp isoperimetric inequalities of the form $(\sharp \Omega)^{d-1} \le C (\sharp \overrightarrow{\partial\Omega})^d$ where…
We are considering a two-stage optimal scheduling problem, which involves two similar projects with the same starting times for workers and the same deadlines for tasks. It is required that the starting times for workers and deadlines for…
To construct a resulting model in LMMP is sufficient to prove existence of log flips and their termination for certain sequences. We prove that LMMP in dimension $d-1$ and termination of terminal log flips in dimension $d$ imply, for any…
Varieties with log terminal and log canonical singularities are considered in the Minimal Model Program, see \cite{...} for introduction. In \cite{shokurov:hyp} it was conjectured that many of the interesting sets, associated with these…
We give a criterion for a divisorial sheaf on a log terminal variety to be Cohen-Macaulay. The log canonical case and applications to moduli are also considered.