Abstract involutions of algebraic groups and of Kac-Moody groups

Based on the second author's thesis in this article we provide a uniform treatment of abstract involutions of algebraic groups and of Kac-Moody groups using twin buildings, RGD systems, and twisted involutions of Coxeter groups. Notably we simultaneously generalize the double coset decompositions established by Springer and by Helminck-Wang for algebraic groups and by Kac-Wang for certain Kac-Moody groups, we analyze the filtration studied by Devillers-Muhlherr in the context of arbitrary involutions, and we answer a structural question on the combinatorics of involutions of twin buildings raised by Bennett-Gramlich-Hoffman-Shpectorov

A Study of Assimilation Bias in Name-Based Sampling of Migrants

The use of personal names for screening is an increasingly popular sampling technique for migrant populations. Although this is often an effective sampling procedure, very little is known about the properties of this method. Based on a large German survey, this article compares characteristics of respondents whose names have been correctly classified as belonging to a migrant population with respondentswho aremigrants and whose names have not been classified as belonging to a migrant population. Although significant differences were found for some variables even with some large effect sizes, the overall bias introduced by name-based sampling (NBS) is small as long as procedures with small false-negative rates are employed

Ein neues Verfahren für namensbasierte Zufallsstichproben von Migranten

The set of best methods for sampling mi- grant populations includes name-based sampling. So far this is done using either ad-hoc lists or onomastic dictionaries for the classi cation of names. This paper pro- poses a new name-based procedure, which uses a Bayes-classi er for the n-grams of the name. The new procedure is fault-tol- erant of alternate spellings, and also allows the classi cation of names that are not found in dictionaries. It was tested using the names of about 1.600 foreigners in the PASS panel. Finally, a CATI survey based on the new method in Hesse is described

Electronic properties of alkali-metal loaded zeolites -- a "supercrystal" Mott insulator

First-principles band calculations are performed for the first time for an open-structured zeolite (LTA) with guest atoms (potassium) introduced in their cages. A surprisingly simple band structure emerges, which indicates that this system may be regarded as a "supercrystal", where each cluster of guest atoms with diameter $\sim$10\AA acts as a "superatom" with well-defined $s$- and $p$-like orbitals, which in turn form the bands around the Fermi energy. The calculated Coulomb and exchange energies for these states turn out to be in the strongly-correlated regime. With the dynamical mean-field theory we show the system should be on the Mott-insulator side, and, on a magnetic phase diagram for degenerate-orbital systems, around the ferromagnetic regime, in accord with experimental results. We envisage this class of systems can provide a new avenue for materials design.Comment: 4 pages, 4 figure

On the distortion of twin building lattices

We show that twin building lattices are undistorted in their ambient group; equivalently, the orbit map of the lattice to the product of the associated twin buildings is a quasi-isometric embedding. As a consequence, we provide an estimate of the quasi-flat rank of these lattices, which implies that there are infinitely many quasi-isometry classes of finitely presented simple groups. In an appendix, we describe how non-distortion of lattices is related to the integrability of the structural cocycle

Ice-core evidence of earliest extensive copper metallurgy in the Andes 2700 years ago

The importance of metallurgy for social and economic development is indisputable. Although copper (Cu) was essential for the wealth of pre- and post-colonial societies in the Andes, the onset of extensive Cu metallurgy in South America is still debated. Comprehensive archaeological findings point to first sophisticated Cu metallurgy during the Moche culture ~200–800 AD, whereas peat-bog records from southern South America suggest earliest pollution potentially from Cu smelting as far back as ~2000 BC. Here we present a 6500-years Cu emission history for the Andean Altiplano, based on ice-core records from Illimani glacier in Bolivia, providing the first complete history of large-scale Cu smelting activities in South America. We find earliest anthropogenic Cu pollution during the Early Horizon period ~700–50 BC, and attribute the onset of intensified Cu smelting in South America to the activities of the central Andean Chiripa and Chavin cultures ~2700 years ago. This study provides for the first time substantial evidence for extensive Cu metallurgy already during these early cultures

Certification of nontermination proofs using strategies and nonlooping derivations

© 2014 Springer International Publishing Switzerland. The development of sophisticated termination criteria for term rewrite systems has led to powerful and complex tools that produce (non)termination proofs automatically. While many techniques to establish termination have already been formalized—thereby allowing to certify such proofs—this is not the case for nontermination. In particular, the proof checker CeTA was so far limited to (innermost) loops. In this paper we present an Isabelle/HOL formalization of an extended repertoire of nontermination techniques. First, we formalized techniques for nonlooping nontermination. Second, the available strategies include (an extended version of) forbidden patterns, which cover in particular outermost and context-sensitive rewriting. Finally, a mechanism to support partial nontermination proofs further extends the applicability of our proof checker