940 research outputs found

    On graphs, geometries, and groups of Lie type

    Get PDF

    Abstract involutions of algebraic groups and of Kac-Moody groups

    Full text link
    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

    Local recognition of non-incident point-hyperplane graphs

    Get PDF

    The relationship of alignment hyperacuity to stereopsis

    Get PDF
    Human ability to monocularly detect spatial misalignment is functionally more precise than predicted by the diameter of one foveal cone. The spatial thresholds for vernier alignment are approximately 8 to 13 arc seconds of visual angle, which is more sensitive than expected. Although threshold stereopsis (another hyperacuity) seems to be approximately double alignment hyperacuity values, studies have not conclusively shown a definite relationship to ex1st. Additionally, these measurements have not been widely tested in clinical settings. This study examines the correlation between threshold stereoacuity and the monocular alignment hyperacuity measures. Twenty six subjects were evaluated measuring threshold stereopsis with the Mentor BVAT II Visual Acuity Tester and monocular alignment hyperacuity with software designed at Pacific University College of Optometry. This study supports a relationship of sum of one standard deviation of hyperacuity data distributed for each eye with stereopsis. However, the relationship is not statistically significant, most likely due to the lack of testing precision and variability in individual performance, specifically in binocular function and appreciation of stereopsis. Increased knowledge in the areas of monocular alignment hyperacuity and threshold stereopsis may aid optometric practitioners to better understand how these two factors play a role in such clinical conditions as unexplained asthenopia, amblyopia, strabismus and stereoacuity potential. However, clinical testing of an individual patient would not seem appropriate with this testing paradigm

    Loops under Strategies ... Continued

    Full text link
    While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically. Almost all of these techniques try to find loops, where the existence of a loop implies non-termination of the rewrite system. However, most programming languages use specific evaluation strategies, whereas loop detection techniques usually do not take strategies into account. So even if a rewrite system has a loop, it may still be terminating under certain strategies. Therefore, our goal is to develop decision procedures which can determine whether a given loop is also a loop under the respective evaluation strategy. In earlier work, such procedures were presented for the strategies of innermost, outermost, and context-sensitive evaluation. In the current paper, we build upon this work and develop such decision procedures for important strategies like leftmost-innermost, leftmost-outermost, (max-)parallel-innermost, (max-)parallel-outermost, and forbidden patterns (which generalize innermost, outermost, and context-sensitive strategies). In this way, we obtain the first approach to disprove termination under these strategies automatically.Comment: In Proceedings IWS 2010, arXiv:1012.533

    Behavior of Forging Steels under Cyclic Loading — the Benefit of Air‐Hardening Martensites

    Get PDF
    The development of air‐hardening martensitic forging (LHD: luft härtend duktil) steels offers high material performance with a short and simple process route. In this study, five alloys (L1–L5), based on the existing LHD alloy concept but with different contents of aluminum, titanium, boron, and molybdenum, are cast at laboratory scale. The casted blocks are hot forged into semifinished products and cooled in air (uncontrolled). The tensile properties, the Charpy V‐notch impact energy, the cyclic material behavior, and the fatigue strength of the alloys L1–L5 are opposed to each other. Furthermore, the material properties are compared with the standard quench and tempered (Q+T) steel 42CrMo4 (reference material) and ranked against previously developed forging steels. The tensile properties and Charpy V‐notch impact energy are comparable with those of the reference material, whereas the new alloy concepts show a significantly higher cyclic yield strength and fatigue strength

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

    Full text link
    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 \sim10\AA acts as a "superatom" with well-defined ss- and pp-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

    Full text link
    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
    corecore