Related papers: ACC for log canonical thresholds

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…

For a toric log variety with standard coefficients, we show that the minimal log discrepancy at a closed invariant point bounds the Cartier index of a neighbourhood.

In this paper, we show that the log canonical threshold of a potentially klt triple can be computed by a quasi-monomial valuation. The notion of potential triples provides a larger and more flexible framework to work with than that of…

We obtain that the nonzero accumulation points of the set of 3-fold canonical thresholds $\ct(X,S)$ are precisely $1/k$ where $k\ge 2$ is an integer and $S$ is an effective integral divisor of a projective 3-fold $X$ with only terminal…

We establish a relative spannedness for log canonical pairs, which is a generalization of the basepoint-freeness for varieties with log-terminal singularities by Andreatta--Wi\'sniewski. Moreover, we establish a generalization for quasi-log…

We show that the Sarkisov program holds for $\mathbb{Q}$-factorial log surfaces and log canonical surfaces over any algebraically closed field.

In this paper, we show that the depth of an isolated log canonical center is determined by the cohomology of the -1 discrepancy diviors over it. A similar result also holds for normal isolated Du Bois singularities.

We compare the log motivic stable homotopy category and the usual motivic stable homotopy category over a perfect field admitting resolution of singularities. As a consequence, we show that the log motivic stable homotopy groups are…

The canonical components of SL_2-character varieties of arithmetic two bridge link groups are determined.

We present a formal logic for quantitative reasoning about security properties of network protocols. The system allows us to derive concrete security bounds that can be used to choose key lengths and other security parameters. We provide…

We present some results that show that bounds from classical coding theory still work in many cases of quantum coding theory.

The aim of this paper is to show that, in the limit circle case, the defect index of a symmetric relation induced by canonical systems, is constant on C. This provides an alternative proof of the De Branges theorem that the canonical…

The Brun-Titchmarsh theorem shows that the number of primes $\le x$ which are congruent to $a\pmod{q}$ is $\le (C+o(1))x/(\phi(q)\log{x})$ for some value $C$ depending on $\log{x}/\log{q}$. Different authors have provided different…

In this note, we observe that quantum logspace computations are verifiable by classical logspace algorithms, with unconditional security. More precisely, every language in BQL has an (information-theoretically secure) streaming proof with a…

We compare the minimal model of a log canonical pair with the minimal model of its reduced boundary. These results are then used to study the existence of the minimal model of a semi-log-canonical pair using its normalization.

In this short note, we consider the conjecture that the log canonical divisor (resp. the anti-log canonical divisor) $K_X + \Delta$ (resp. $-(K_X + \Delta)$) on a pair $(X, \Delta)$ consisting of a complex projective manifold $X$ and a…

We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…

We introduce the calculus of Classical Transitions (CT), which extends the research line on the relationship between linear logic and processes to labelled transitions. The key twist from previous work is registering parallelism in typing…

We prove that the $abc$-Conjecture implies upper bounds on Zsigmondy sets that are uniform over families of unicritical polynomials over number fields. As an application, we use the $abc$-Conjecture to prove that there exist uniform bounds…

We prove a conjecture stated in a previous paper by the author about the existence of canonical filtrations for a family of vertex operator algebras in rational levels.