Restarting Automata with Auxiliary Symbols and Small Lookahead

We present a study on lookahead hierarchies for restarting automata with auxiliary symbols and small lookahead. In particular, we show that there are just two different classes of languages recognised RRWW automata, through the restriction of lookahead size. We also show that the respective (left-) monotone restarting automaton models characterise the context-free languages and that the respective right-left-monotone restarting automata characterise the linear languages both with just lookahead length 2.Comment: Full version of the paper accepted to LATA 201

Phase diagrams of correlated electrons: systematic corrections to the mean field theory

Perturbative corrections to the mean field theory for particle-hole instabilities of interacting electron systems are computed within a scheme which is equivalent to the recently developed variational approach to the Kohn-Luttinger superconductivity. This enables an unbiased comparison of particle-particle and particle-hole instabilities within the same approximation scheme. A spin-rotation invariant formulation for the particle-hole instabilities in the triplet channel is developed. The method is applied to the phase diagram of the t-t' Hubbard model on the square lattice. At the Van Hove density, antiferromagnetic and d-wave Pomeranchuk phases are found to be stable close to half filling. However, the latter phase is confined to an extremely narrow interval of densities and away from the singular filling, d-wave superconducting instability dominates

The IDEAL (Insulin therapy DE-intensificAtion with iglarLixi) randomised controlled trial—study design and protocol

Introduction Multiple daily injection insulin regimen (MDI) represents the most intensive insulin regimen used in the management of people with type 2 diabetes (PwT2D). Its efficacy regarding glycaemic control is counterbalanced by the increased risk of hypoglycaemia, frequently observed tendency to weight gain and necessity for frequent glucose monitoring. Recent introduction of novel antidiabetic medications with pleiotropic effects reaching far beyond the reduction of glycaemia (HbA1c), such as the glucagon-like peptide 1 receptor agonist (GLP-1 RA), has significantly widened the therapeutic options available for management of T2D. Consequently, there is currently a substantial number of PwT2D for whom the MDI regimen was initiated at a time when no other options were available. Yet, in present times, these individuals could benefit from simplified insulin regimens ideally taking advantage of the beneficial effects of the novel classes of antidiabetic medications. iGlarLixi (Suliqua®) is a once-daily fixed-ratio combination of basal insulin analogue glargine 100 U/ml and a GLP-1 RA lixisenatide. Methods Insulin therapy DE-intensificAtion with iglarLixi (IDEAL) is a six-centre, open-label, parallel-group, active comparator, phase IV randomised controlled trial with a 24-week active treatment period examining the efficacy and safety of MDI regimen de-intensification with once-daily administration of iGlarLixi versus MDI regimen continuation in PwT2D on a backgroud therapy with metformin ± sodium-glucose cotransporter 2 inhibitor. Planned Outcomes The primary objective is to compare the effects of MDI therapy de-intensification with iGlarLixi versus MDI regimen continuation regarding glycaemic control (HbA1c). Secondary objectives include detailed evaluation of the effects of MDI regimen de-intensification with iGlarLixi on glycaemic control using standardised continuous glucose monitoring (CGM) metrics and self-monitoring of plasma glucose. Furthermore, body weight and body composition analysis, quality of life and safety profile are evaluated. Trial Registration ClinicalTrials.gov, identifier NCT04945070

Alpine Crossroads or Origin of Genetic Diversity? Comparative Phylogeography of Two Sympatric Microgastropod Species

The Alpine Region, constituting the Alps and the Dinaric Alps, has played a major role in the formation of current patterns of biodiversity either as a contact zone of postglacial expanding lineages or as the origin of genetic diversity. In our study, we tested these hypotheses for two widespread, sympatric microgastropod taxa – Carychium minimum O.F. Müller, 1774 and Carychium tridentatum (Risso, 1826) (Gastropoda, Eupulmonata, Carychiidae) – by using COI sequence data and species potential distribution models analyzed in a statistical phylogeographical framework. Additionally, we examined disjunct transatlantic populations of those taxa from the Azores and North America. In general, both Carychium taxa demonstrate a genetic structure composed of several differentiated haplotype lineages most likely resulting from allopatric diversification in isolated refugial areas during the Pleistocene glacial periods. However, the genetic structure of Carychium minimum is more pronounced, which can be attributed to ecological constraints relating to habitat proximity to permanent bodies of water. For most of the Carychium lineages, the broader Alpine Region was identified as the likely origin of genetic diversity. Several lineages are endemic to the broader Alpine Region whereas a single lineage per species underwent a postglacial expansion to (re)colonize previously unsuitable habitats, e.g. in Northern Europe. The source populations of those expanding lineages can be traced back to the Eastern and Western Alps. Consequently, we identify the Alpine Region as a significant ‘hot-spot’ for the formation of genetic diversity within European Carychium lineages. Passive dispersal via anthropogenic means best explains the presence of transatlantic European Carychium populations on the Azores and in North America. We conclude that passive (anthropogenic) transport could mislead the interpretation of observed phylogeographical patterns in general