Related papers: Inversion of adjunction on log canonicity
This note formally defines the concept of coinductive validity of judgements, and contrasts it with inductive validity. For both notions it shows how a judgement is valid iff it has a formal proof. Finally, it defines and illustrates the…
We note an inversion property of the fusion map associated to many semibialgebras.
The article presents the proof of Casas-Alvero conjecture.
We prove some statements of left- and right-continuous variants of generalized inverses of non-decreasing real functions.
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…
We introduce the antipodal pairs property for probability measures on finite Boolean algebras and prove that conditional versions imply strong forms of log-concavity. We give several applications of this fact, including improvements of some…
We prove that the moduli b-divisor of an lc-trivial fibration from a log canonical pair is log abundant. The result follows from a theorem on the restriction of the moduli b-divisor, based on a theory of lc-trivial morphisms, which allows…
The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].
We prove that the class of log canonical rational singularities is closed under the basic operations of the minimal model program. We also give some supplementary results on the minimal model program for log canonical surfaces.
This letter introduces a new, substantially simplified version of the branching recurrence operation of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and proves its equivalence to the old, "canonical" version.
We settle a conjecture of B\'ona regarding the log-concavity of a certain statistic on parking functions by utilizing recent log-concavity results on matroids. This result allows us to also prove that connected, labeled graphs graded by…
We prove the Cone Theorem for algebraically integrable foliations. As a consequence, we show that termination of flips implies the b-nefness of the moduli part of a log canonical pair with respect to a contraction, generalising the case of…
We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…
We prove mean comparison from a different perspective, where we introduce the concept of partial convolution.
We provide a permutation-invariant version of the Koml\'os' theorem for non-negative random variables. The proof is quite elementary in the sense that it did not use the Axiom of Choice, and was based on a recent result in [3].
We prove that the non-vanishing conjecture and the log minimal model conjecture for projective log canonical pairs can be reduced to the non-vanishing conjecture for smooth projective varieties such that the boundary divisor is zero.
We prove new results, related to the Littlewood and Mixed Littlewood conjectures in Diophantine approximation.
We study (weak) log abelian varieties with constant degeneration in the log flat topology. If the base is a log point, we further study the endomorphism algebras of log abelian varieties. In particular, we prove the dual short exact…
We give a more strong heuristic justification of our conjecture on the excess of the odious primes.
We prove that the (B) conjecture and the Gardner-Zvavitch conjecture are true for all log-concave measures that are rotationally invariant, extending previous results known for Gaussian measures. Actually, our result apply beyond the case…