656 research outputs found
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
Recommended from our members
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
Recommended from our members
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 10\AA acts as a "superatom" with well-defined - and
-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
The phagocyte specific protein S100A12 as a novel biomarker in Muckle-Wells-Syndrome before and during therapy with Anakinra and Canakinumab (ACZ885)
12.4 ACZ885 (canakinumab), a new IL-1 beta blocking monoclonal antibody provides long-lasting remission in children with cryopyrin associated periodic syndrome (CAPS)
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
- …