The Geometry and Moduli of K3 Surfaces

These notes will give an introduction to the theory of K3 surfaces. We begin with some general results on K3 surfaces, including the construction of their moduli space and some of its properties. We then move on to focus on the theory of polarized K3 surfaces, studying their moduli, degenerations and the compactification problem. This theory is then further enhanced to a discussion of lattice polarized K3 surfaces, which provide a rich source of explicit examples, including a large class of lattice polarizations coming from elliptic fibrations. Finally, we conclude by discussing the ample and Kahler cones of K3 surfaces, and give some of their applications.Comment: 34 pages, 2 figures. (R. Laza, M. Schutt and N. Yui, eds.

Separating Regular Languages by Piecewise Testable and Unambiguous Languages

Abstract. Separation is a classical problem asking whether, given two sets belonging to some class, it is possible to separate them by a set from another class. We discuss the separation problem for regular languages. We give a Ptime algorithm to check whether two given regular languages are separable by a piecewise testable language, that is, whether a BΣ1(<) sentence can witness that the languages are disjoint. The proof refines an algebraic argument from Almeida and the third author. When separation is possible, we also express a separator by saturating one of the original languages by a suitable congruence. Following the same line, we show that one can as well decide whether two regular languages can be separated by an unambiguous language, albeit with a higher complexity.

Maximum likelihood estimation in the proportional hazards cure model

Censoring, Maximum likelihood estimation, Mixture models, Proportional hazards cure model, Semiparametric efficiency,