Related papers: ACC for log canonical thresholds for complex analy…

In this article, we investigate F-pure thresholds of polynomials that are homogeneous under some N-grading, and have an isolated singularity at the origin. We characterize these invariants in terms of the base p expansion of the…

We prove that for classes of analytic functions tree composition condition and composition condition coincide.

We present a logspace algorithm that constructs a canonical intersection model for a given proper circular-arc graph, where `canonical' means that models of isomorphic graphs are equal. This implies that the recognition and the isomorphism…

In is paper we present a labelled tableau proof system that serves a wide class of interpretability logics. The system is proved sound and complete for any interpretability logic characterised by a frame condition given by a set of…

Lower bounds for some explicit decision problems over the complex numbers are given.

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…

Sufficient conditions are given for the computation of accessing arcs and arcs that links boundary components of multiply connected domains. The existence of a not-computably-accessible but computable point on a computably compact arc is…

We show that minimal models of log canonical pairs exist, assuming the existence of minimal models of smooth varieties.

In this article, we will characterize the multiplier ideal sheaves with weights of log canonical threshold one by restricting the weights to complex regular surface.

In the paper we compute the global log canonical thresholds of the secondary Burniat surfaces with $K^2 = 5$. Furthermore, we establish optimal lower bounds for the log canonical thresholds of members in pluricanonical sublinear systems of…

In this paper we present analytic tableau proof systems for various justification logics. We show that the tableau systems are sound and complete with respect to Mkrtychev models. In order to prove the completeness of the tableaux, we give…

We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is…

We prove the termination of flips for 4-dimensional pseudo-effective NQC log canonical generalized pairs. As main ingredients, we verify the termination of flips for 3-dimensional NQC log canonical generalized pairs, and show that the…

We discuss the ACC conjecture and the LSC conjecture for minimal log discrepancies of generalized pairs. We prove that some known results on these two conjectures for usual pairs are still valid for generalized pairs. We also discuss the…

Logical atomicity has been widely accepted as a specification format for data structures in concurrent separation logic. While both lock-free and lock-based data structures have been verified against logically atomic specifications, most 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…

The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer \'etale and pro-Kummer \'etale topologies on log adic spaces. In particular, we show that log adic spaces…

We propose a subconjecture that implies the semiampleness conjecture for quasi-numerically positive log canonical divisors and prove the semiampleness in some elementary cases.

1) Assuming log Minimal Model Conjecture, we give a construction of a complete moduli space of stable log pairs of arbitrary dimension generalizing directly the space M_{g,n} of pointed stable curves. Each stable pair has semi log canonical…

We establish the generalized canonical bundle formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting, and we show that the discriminant b-divisor and moduli…