Related papers: Log canonical inversion of adjunction

This paper is a short introduction to orthogonal polynomials, both the general theory and some special classes. It ends with some remarks about the usage of computer algebra for this theory.

In this note, we combine ideas of several previous proofs in order to obtain a quite short proof of Gr\"otzsch theorem.

In this short note we give counterexamples to several results related to extension theorems published recently.

It is a study note detailing the connection between Boolean inverse monoids and ample groupoids.

We present a simple inductive proof of the Lagrange Inversion Formula.

This is a summary of the proof of BAB conjecture. All material are taken from the two BAB paper in the reference. The aim of this summary is to help reader to understand the more technical side of the proof of BAB.

We prove the existence of log canonical modifications for a log pair. As an application, together with Koll\"ar's gluing theory, we remove the assumption in the first named author's work [Odaka11], which shows that K-semistable polarized…

These short notes are meant as a quick reference for the construction of SLR(1), of LR(1), and of LALR(1) parsing tables.

On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a…

This article gives a brief survey of the theory and applications of anomalies.

We prove the finiteness of relative log pluricanonical representations in the complex analytic setting. As an application, we discuss the abundance conjecture for semi-log canonical pairs within this framework. Furthermore, we establish the…

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…

The aim of this note is to share the observation that the set of elementary operations of Turing on lattice knots can be reduced to just one type of simple local switches.

An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical…

This paper is devoted to the study of the log-convexity of combinatorial sequences. We show that the log-convexity is preserved under componentwise sum, under binomial convolution, and by the linear transformations given by the matrices of…

Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has…

We give a simple proof of a recently result concerning Hardy $q$-inequalities.

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.

We apply a paraconsistent logic to reason about fractions.

This note addresses the signed-digit representation of nonnegative binary integers. Popular literature methods for the conversion into the canonical signed-digit representation are reviewed and revisited. A method based on string…