@article{KretzschmarAshbyFearonetal.2022, author = {Kretzschmar, Mirjam E. and Ashby, Ben and Fearon, Elizabeth and Overton, Christopher E. and Panovska-Griffiths, Jasmina and Pellis, Lorenzo and Quaife, Matthew and Rozhnova, Ganna and Scarabel, Francesca and Stage, Helena B. and Swallow, Ben and Thompson, Robin N. and Tildesley, Michael J. and Villela, Daniel Campos}, title = {Challenges for modelling interventions for future pandemics}, series = {Epidemics}, volume = {38}, journal = {Epidemics}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1755-4365}, doi = {10.1016/j.epidem.2022.100546}, pages = {13}, year = {2022}, abstract = {Mathematical modelling and statistical inference provide a framework to evaluate different non-pharmaceutical and pharmaceutical interventions for the control of epidemics that has been widely used during the COVID-19 pandemic. In this paper, lessons learned from this and previous epidemics are used to highlight the challenges for future pandemic control. We consider the availability and use of data, as well as the need for correct parameterisation and calibration for different model frameworks. We discuss challenges that arise in describing and distinguishing between different interventions, within different modelling structures, and allowing both within and between host dynamics. We also highlight challenges in modelling the health economic and political aspects of interventions. Given the diversity of these challenges, a broad variety of interdisciplinary expertise is needed to address them, combining mathematical knowledge with biological and social insights, and including health economics and communication skills. Addressing these challenges for the future requires strong cross disciplinary collaboration together with close communication between scientists and policy makers.}, language = {en} } @phdthesis{Sareeto2024, author = {Sareeto, Apatsara}, title = {Algebraic properties of a subsemigroup of the symmetric inverse semigroup}, school = {Universit{\"a}t Potsdam}, pages = {92}, year = {2024}, language = {en} } @article{GerlachGlueck2017, author = {Gerlach, Moritz Reinhardt and Gl{\"u}ck, Jochen}, title = {On a convergence theorem for semigroups of positive integral operators}, series = {Comptes Rendus Mathematique}, volume = {355}, journal = {Comptes Rendus Mathematique}, publisher = {Elsevier}, address = {Paris}, issn = {1631-073X}, doi = {10.1016/j.crma.2017.07.017}, pages = {973 -- 976}, year = {2017}, abstract = {We give a new and very short proof of a theorem of Greiner asserting that a positive and contractive -semigroup on an -space is strongly convergent in case it has a strictly positive fixed point and contains an integral operator. Our proof is a streamlined version of a much more general approach to the asymptotic theory of positive semigroups developed recently by the authors. Under the assumptions of Greiner's theorem, this approach becomes particularly elegant and simple. We also give an outlook on several generalisations of this result.}, language = {en} } @article{Gerlach2018, author = {Gerlach, Moritz Reinhardt}, title = {Convergence of dynamics and the Perron-Frobenius operator}, series = {Israel Journal of Mathematics}, volume = {225}, journal = {Israel Journal of Mathematics}, number = {1}, publisher = {Hebrew univ magnes press}, address = {Jerusalem}, issn = {0021-2172}, doi = {10.1007/s11856-018-1671-7}, pages = {451 -- 463}, year = {2018}, abstract = {We complete the picture how the asymptotic behavior of a dynamical system is reflected by properties of the associated Perron-Frobenius operator. Our main result states that strong convergence of the powers of the Perron-Frobenius operator is equivalent to setwise convergence of the underlying dynamic in the measure algebra. This situation is furthermore characterized by uniform mixing-like properties of the system.}, language = {en} } @article{GerlachGlueck2019, author = {Gerlach, Moritz Reinhardt and Gl{\"u}ck, Jochen}, title = {Convergence of positive operator semigroups}, series = {Transactions of the American Mathematical Society}, volume = {372}, journal = {Transactions of the American Mathematical Society}, number = {9}, publisher = {American Mathematical Soc.}, address = {Providence}, issn = {0002-9947}, doi = {10.1090/tran/7836}, pages = {6603 -- 6627}, year = {2019}, abstract = {We present new conditions for semigroups of positive operators to converge strongly as time tends to infinity. Our proofs are based on a novel approach combining the well-known splitting theorem by Jacobs, de Leeuw, and Glicksberg with a purely algebraic result about positive group representations. Thus, we obtain convergence theorems not only for one-parameter semigroups but also for a much larger class of semigroup representations. Our results allow for a unified treatment of various theorems from the literature that, under technical assumptions, a bounded positive C-0-semigroup containing or dominating a kernel operator converges strongly as t ->infinity. We gain new insights into the structure theoretical background of those theorems and generalize them in several respects; especially we drop any kind of continuity or regularity assumption with respect to the time parameter.}, language = {en} } @article{EdekoGerlachKuehner2019, author = {Edeko, Nikolai and Gerlach, Moritz Reinhardt and K{\"u}hner, Viktoria}, title = {Measure-preserving semiflows and one-parameter Koopman semigroups}, series = {Semigroup forum}, volume = {98}, journal = {Semigroup forum}, number = {1}, publisher = {Springer}, address = {New York}, issn = {0037-1912}, doi = {10.1007/s00233-018-9960-3}, pages = {48 -- 63}, year = {2019}, abstract = {For a finite measure space X, we characterize strongly continuous Markov lattice semigroups on Lp(X) by showing that their generator A acts as a derivation on the dense subspace D(A)L(X). We then use this to characterize Koopman semigroups on Lp(X) if X is a standard probability space. In addition, we show that every measurable and measure-preserving flow on a standard probability space is isomorphic to a continuous flow on a compact Borel probability space.}, language = {en} } @article{GerlachGlueck2018, author = {Gerlach, Moritz Reinhardt and Gl{\"u}ck, Jochen}, title = {Lower bounds and the asymptotic behaviour of positive operator semigroups}, series = {Ergodic theory and dynamical systems}, volume = {38}, journal = {Ergodic theory and dynamical systems}, publisher = {Cambridge Univ. Press}, address = {New York}, issn = {0143-3857}, doi = {10.1017/etds.2017.9}, pages = {3012 -- 3041}, year = {2018}, abstract = {If (T-t) is a semigroup of Markov operators on an L-1-space that admits a nontrivial lower bound, then a well-known theorem of Lasota and Yorke asserts that the semigroup is strongly convergent as t -> infinity. In this article we generalize and improve this result in several respects. First, we give a new and very simple proof for the fact that the same conclusion also holds if the semigroup is merely assumed to be bounded instead of Markov. As a main result, we then prove a version of this theorem for semigroups which only admit certain individual lower bounds. Moreover, we generalize a theorem of Ding on semigroups of Frobenius-Perron operators. We also demonstrate how our results can be adapted to the setting of general Banach lattices and we give some counterexamples to show optimality of our results. Our methods combine some rather concrete estimates and approximation arguments with abstract functional analytical tools. One of these tools is a theorem which relates the convergence of a time-continuous operator semigroup to the convergence of embedded discrete semigroups.}, language = {en} } @article{GerlachGlueck2019, author = {Gerlach, Moritz Reinhardt and Gl{\"u}ck, Jochen}, title = {Mean ergodicity vs weak almost periodicity}, series = {Studia mathematica}, volume = {248}, journal = {Studia mathematica}, number = {1}, publisher = {Polska Akademia Nauk, Instytut Matematyczny}, address = {Warszawa}, issn = {0039-3223}, doi = {10.4064/sm170918-20-3}, pages = {45 -- 56}, year = {2019}, abstract = {We provide explicit examples of positive and power-bounded operators on c(0) and l(infinity) which are mean ergodic but not weakly almost periodic. As a consequence we prove that a countably order complete Banach lattice on which every positive and power-bounded mean ergodic operator is weakly almost periodic is necessarily a KB-space. This answers several open questions from the literature. Finally, we prove that if T is a positive mean ergodic operator with zero fixed space on an arbitrary Banach lattice, then so is every power of T .}, language = {en} } @inproceedings{HiortHugoZeinertetal.2022, author = {Hiort, Pauline and Hugo, Julian and Zeinert, Justus and M{\"u}ller, Nataniel and Kashyap, Spoorthi and Rajapakse, Jagath C. and Azuaje, Francisco and Renard, Bernhard Y. and Baum, Katharina}, title = {DrDimont: explainable drug response prediction from differential analysis of multi-omics networks}, series = {Bioinformatics}, volume = {38}, booktitle = {Bioinformatics}, publisher = {Oxford Univ. Press}, address = {Oxford}, issn = {1367-4803}, doi = {10.1093/bioinformatics/btac477}, pages = {ii113 -- ii119}, year = {2022}, abstract = {Motivation: While it has been well established that drugs affect and help patients differently, personalized drug response predictions remain challenging. Solutions based on single omics measurements have been proposed, and networks provide means to incorporate molecular interactions into reasoning. However, how to integrate the wealth of information contained in multiple omics layers still poses a complex problem. Results: We present DrDimont, Drug response prediction from Differential analysis of multi-omics networks. It allows for comparative conclusions between two conditions and translates them into differential drug response predictions. DrDimont focuses on molecular interactions. It establishes condition-specific networks from correlation within an omics layer that are then reduced and combined into heterogeneous, multi-omics molecular networks. A novel semi-local, path-based integration step ensures integrative conclusions. Differential predictions are derived from comparing the condition-specific integrated networks. DrDimont's predictions are explainable, i.e. molecular differences that are the source of high differential drug scores can be retrieved. We predict differential drug response in breast cancer using transcriptomics, proteomics, phosphosite and metabolomics measurements and contrast estrogen receptor positive and receptor negative patients. DrDimont performs better than drug prediction based on differential protein expression or PageRank when evaluating it on ground truth data from cancer cell lines. We find proteomic and phosphosite layers to carry most information for distinguishing drug response.}, language = {en} } @article{JulienMatthiasSaynischWagneretal.2022, author = {Julien, B{\"a}renzung and Matthias, Holschneider and Saynisch-Wagner, Jan and Thomas, Maik}, title = {Kalmag: a high spatio-temporal model of the geomagnetic field}, series = {Earth, planets and space}, volume = {74}, journal = {Earth, planets and space}, number = {1}, publisher = {Springer}, address = {New York}, issn = {1880-5981}, doi = {10.1186/s40623-022-01692-5}, pages = {22}, year = {2022}, abstract = {We present the extension of the Kalmag model, proposed as a candidate for IGRF-13, to the twentieth century. The dataset serving its derivation has been complemented by new measurements coming from satellites, ground-based observatories and land, marine and airborne surveys. As its predecessor, this version is derived from a combination of a Kalman filter and a smoothing algorithm, providing mean models and associated uncertainties. These quantities permit a precise estimation of locations where mean solutions can be considered as reliable or not. The temporal resolution of the core field and the secular variation was set to 0.1 year over the 122 years the model is spanning. Nevertheless, it can be shown through ensembles a posteriori sampled, that this resolution can be effectively achieved only by a limited amount of spatial scales and during certain time periods. Unsurprisingly, highest accuracy in both space and time of the core field and the secular variation is achieved during the CHAMP and Swarm era. In this version of Kalmag, a particular effort was made for resolving the small-scale lithospheric field. Under specific statistical assumptions, the latter was modeled up to spherical harmonic degree and order 1000, and signal from both satellite and survey measurements contributed to its development. External and induced fields were jointly estimated with the rest of the model. We show that their large scales could be accurately extracted from direct measurements whenever the latter exhibit a sufficiently high temporal coverage. Temporally resolving these fields down to 3 hours during the CHAMP and Swarm missions, gave us access to the link between induced and magnetospheric fields. In particular, the period dependence of the driving signal on the induced one could be directly observed. The model is available through various physical and statistical quantities on a dedicated website at https://ionocovar.agnld.uni-potsdam.de/Kalmag/.}, language = {en} } @article{TianLiang2022, author = {Tian, Peibo and Liang, Yingjie}, title = {Material coordinate driven variable-order fractal derivative model of water anomalous adsorption in swelling soil}, series = {Chaos, solitons \& fractals}, volume = {164}, journal = {Chaos, solitons \& fractals}, publisher = {Elsevier}, address = {Oxford}, issn = {0960-0779}, doi = {10.1016/j.chaos.2022.112754}, pages = {8}, year = {2022}, abstract = {The diffusion process of water in swelling (expansive) soil often deviates from normal Fick diffusion and belongs to anomalous diffusion. The process of water adsorption by swelling soil often changes with time, in which the microstructure evolves with time and the absorption rate changes along a fractal dimension gradient function. Thus, based on the material coordinate theory, this paper proposes a variable order derivative fractal model to describe the cumulative adsorption of water in the expansive soil, and the variable order is time dependent linearly. The cumulative adsorption is a power law function of the anomalous sorptivity, and patterns of the variable order. The variable-order fractal derivative model is tested to describe the cumulative adsorption in chernozemic surface soil, Wunnamurra clay and sandy loam. The results show that the fractal derivative model with linearly time dependent variable-order has much better accuracy than the fractal derivative model with a constant derivative order and the integer order model in the application cases. The derivative order can be used to distinguish the evolution of the anomalous adsorption process. The variable-order fractal derivative model can serve as an alternative approach to describe water anomalous adsorption in swelling soil.}, language = {en} } @misc{Reimann2024, type = {Master Thesis}, author = {Reimann, Hans}, title = {Towards robust inference for Bayesian filtering of linear Gaussian dynamical systems subject to additive change}, doi = {10.25932/publishup-64946}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-649469}, school = {Universit{\"a}t Potsdam}, pages = {ix, 156}, year = {2024}, abstract = {State space models enjoy wide popularity in mathematical and statistical modelling across disciplines and research fields. Frequent solutions to problems of estimation and forecasting of a latent signal such as the celebrated Kalman filter hereby rely on a set of strong assumptions such as linearity of system dynamics and Gaussianity of noise terms. We investigate fallacy in mis-specification of the noise terms, that is signal noise and observation noise, regarding heavy tailedness in that the true dynamic frequently produces observation outliers or abrupt jumps of the signal state due to realizations of these heavy tails not considered by the model. We propose a formalisation of observation noise mis-specification in terms of Huber's ε-contamination as well as a computationally cheap solution via generalised Bayesian posteriors with a diffusion Stein divergence loss resulting in the diffusion score matching Kalman filter - a modified algorithm akin in complexity to the regular Kalman filter. For this new filter interpretations of novel terms, stability and an ensemble variant are discussed. Regarding signal noise mis-specification, we propose a formalisation in the frame work of change point detection and join ideas from the popular CUSUM algo- rithm with ideas from Bayesian online change point detection to combine frequent reliability constraints and online inference resulting in a Gaussian mixture model variant of multiple Kalman filters. We hereby exploit open-end sequential probability ratio tests on the evidence of Kalman filters on observation sub-sequences for aggregated inference under notions of plausibility. Both proposed methods are combined to investigate the double mis-specification problem and discussed regarding their capabilities in reliable and well-tuned uncertainty quantification. Each section provides an introduction to required terminology and tools as well as simulation experiments on the popular target tracking task and the non-linear, chaotic Lorenz-63 system to showcase practical performance of theoretical considerations.}, language = {en} } @article{HanischStrohmaierWaters2022, author = {Hanisch, Florian and Strohmaier, Alexander and Waters, Alden}, title = {A relative trace formula for obstacle scattering}, series = {Duke mathematical journal}, volume = {171}, journal = {Duke mathematical journal}, number = {11}, publisher = {Duke Univ. Press}, address = {Durham, NC}, issn = {0012-7094}, doi = {10.1215/00127094-2022-0053}, pages = {2233 -- 2274}, year = {2022}, abstract = {We consider the case of scattering by several obstacles in Rd for d ≥ 2. In this setting, the absolutely continuous part of the Laplace operator Δ with Dirichlet boundary conditions and the free Laplace operator Δ0 are unitarily equivalent. For suitable functions that decay sufficiently fast, we have that the difference g(Δ) - g(Δ0) is a trace-class operator and its trace is described by the Krein spectral shift function. In this article, we study the contribution to the trace (and hence the Krein spectral shift function) that arises from assembling several obstacles relative to a setting where the obstacles are completely separated. In the case of two obstacles, we consider the Laplace operators Δ1 and Δ2 obtained by imposing Dirichlet boundary conditions only on one of the objects. Our main result in this case states that then g(Δ) - g(Δ1) - g(Δ2) C g(Δ0) is a trace-class operator for a much larger class of functions (including functions of polynomial growth) and that this trace may still be computed by a modification of the Birman-Krein formula. In case g(x) D x 2 , 1 the relative trace has a physical meaning as the vacuum energy of the massless scalar field and is expressible as an integral involving boundary layer operators. Such integrals have been derived in the physics literature using nonrigorous path integral derivations and our formula provides both a rigorous justification as well as a generalization.}, language = {en} } @article{FischerKeller2021, author = {Fischer, Florian and Keller, Matthias}, title = {Riesz decompositions for Schr{\"o}dinger operators on graphs}, series = {Journal of mathematical analysis and applications}, volume = {495}, journal = {Journal of mathematical analysis and applications}, number = {1}, publisher = {Elsevier}, address = {Amsterdam}, issn = {0022-247X}, doi = {10.1016/j.jmaa.2020.124674}, pages = {22}, year = {2021}, abstract = {We study superharmonic functions for Schrodinger operators on general weighted graphs. Specifically, we prove two decompositions which both go under the name Riesz decomposition in the literature. The first one decomposes a superharmonic function into a harmonic and a potential part. The second one decomposes a superharmonic function into a sum of superharmonic functions with certain upper bounds given by prescribed superharmonic functions. As application we show a Brelot type theorem.}, language = {en} } @article{MaoutsaOpper2022, author = {Maoutsa, Dimitra Despoina and Opper, Manfred}, title = {Deterministic particle flows for constraining stochastic nonlinear systems}, series = {Physical Review Research / American Physical Society}, volume = {4}, journal = {Physical Review Research / American Physical Society}, number = {4}, publisher = {American Physical Society}, address = {College Park}, issn = {2643-1564}, doi = {10.1103/PhysRevResearch.4.043035}, pages = {17}, year = {2022}, abstract = {Devising optimal interventions for constraining stochastic systems is a challenging endeavor that has to confront the interplay between randomness and dynamical nonlinearity. Existing intervention methods that employ stochastic path sampling scale poorly with increasing system dimension and are slow to converge. Here we propose a generally applicable and practically feasible methodology that computes the optimal interventions in a noniterative scheme. We formulate the optimal dynamical adjustments in terms of deterministically sampled probability flows approximated by an interacting particle system. Applied to several biologically inspired models, we demonstrate that our method provides the necessary optimal controls in settings with terminal, transient, or generalized collective state constraints and arbitrary system dynamics.}, language = {en} } @article{JendeKoppitz2022, author = {Jende, Alexander and Koppitz, J{\"o}rg}, title = {A characterization of strong semilattices of periodic groups and rectangular bands by disjunction of identities}, series = {Asian-European Journal of Mathematics (AEJM)}, volume = {15}, journal = {Asian-European Journal of Mathematics (AEJM)}, number = {11}, publisher = {World Scientific}, address = {Singapore}, issn = {1793-5571}, doi = {10.1142/S1793557122501960}, pages = {10}, year = {2022}, abstract = {Each completely regular semigroup is a semilattice of completely simple semigroups. The more specific concept of a strong semilattice provides the concrete product between two arbitrary elements. We characterize strong semilattices of rectangular groups by so-called disjunctions of identities. Disjunctions of identities generalize the classical concept of an identity and of a variety, respectively. The rectangular groups will be on the one hand left zero semigroups and right zero semigroups and on the other hand groups of exponent p is an element of P, where P is any set of pairwise coprime natural numbers.}, language = {en} } @phdthesis{Fischer2024, author = {Fischer, Florian}, title = {Hardy inequalities on graphs}, doi = {10.25932/publishup-64773}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-647730}, school = {Universit{\"a}t Potsdam}, pages = {vi, 160}, year = {2024}, abstract = {Die Dissertation befasst sich mit einer zentralen Ungleichung der nicht-linearen Potentialtheorie, der Hardy-Ungleichung. Sie besagt, dass das nicht-lineare Energiefunktional von unten durch eine p-te Potenz einer gewichteten p-Norm abgesch{\"a}tzt werden kann, p>1. Das Energiefunktional besteht dabei aus einem Divergenz- und einem beliebigen Potentialteil. Als zugrundeliegender Raum wurden hier lokal summierbare unendliche Graphen gew{\"a}hlt. Bisherige Ver{\"o}ffentlichungen zu Hardy-Ungleichungen auf Graphen haben vor allem den Spezialfall p=2 betrachtet, oder lokal endliche Graphen ohne Potentialteil. Zwei grundlegende Fragestellungen ergeben sich nun ganz nat{\"u}rlich: F{\"u}r welche Graphen gibt {\"u}berhaupt es eine Hardy-Ungleichung? Und, wenn es sie gibt, gibt es einen Weg um ein optimales Gewicht zu erhalten? Antworten auf diese Fragen werden in Theorem 10.1 und Theorem 12.1 gegeben. Theorem 10.1 gibt eine Reihe an Charakterisierungen an; unter anderem gibt es eine Hardy-Ungleichung auf einem Graphen genau dann, wenn es eine Greensche Funktion gibt. Theorem 12.1 gibt eine explizite Formel an, um optimale Hardy-Gewichte f{\"u}r lokal endliche Graphen unter einigen technischen Zusatzannahmen zu berechnen. In Beispielen wird gezeigt, dass Greensche Funktionen gute Kandidaten sind um in die Formel eingesetzt zu werden. Um diese beiden Theoreme beweisen zu k{\"o}nnen, m{\"u}ssen eine Vielzahl an Techniken erarbeitet werden, welche in den ersten Kapiteln behandelt werden. Dabei sind eine Verallgemeinerung der Grundzustandstransformation (Theorem 4.1), ein Agmon-Allegretto-Piepenbrink-artiges Resultat (Theorem 6.1) und das Vergleichsprinzip (Proposition 7.3) besonders hervorzuheben, da diese Resultate sehr h{\"a}ufig angewendet werden und somit das Fundament der Dissertation bilden. Es wird zudem darauf Wert gelegt die Theorie durch Beispiele zu veranschaulichen. Hierbei wird der Fokus auf die nat{\"u}rlichen Zahlen, Euklidische Gitter, B{\"a}ume und Sterne gelegt. Als Abschluss werden noch eine nicht-lineare Version der Heisenbergschen Unsch{\"a}rferelation und eine Rellich-Ungleichung aus der Hardy-Ungleichung geschlussfolgert.}, language = {en} } @phdthesis{Jende2018, author = {Jende, Alexander}, title = {On the characterization of particular orthogroups by disjunctions of identities}, school = {Universit{\"a}t Potsdam}, pages = {112}, year = {2018}, abstract = {In this thesis, we discuss the characterization of orthogroups by so-called disjunctions of identities. The orthogroups are a subclass of the class of completely regular semigroups, a generalization of the concept of a group. Thus there is for all elements of an orthogroup some kind of an inverse element such that both elements commute. Based on a fundamental result by A.H. Clifford, every completely regular semigroup is a semilattice of completely simple semigroups. This allows the description the gross structure of such semigroup. In particular every orthogroup is a semilattice of rectangular groups which are isomorphic to direct products of rectangular bands and groups. Semilattices of rectangular groups coming from various classes are characterized using the concept of an alternative variety, a generalization of the classical idea of a variety by Birkhoff. After starting with some fundamental definitions and results concerning semigroups, we introduce the concept of disjunctions of identities and summarize some necessary properties. In particular we present some disjunction of identities which is sufficient for a semigroup for being completely regular. Furthermore we derive from this identity some statements concerning Rees matrix semigroups, a possible representation of completely simple semigroups. A main result of this thesis is the general description of disjunctions of identities such that a completely regular semigroup satisfying the described identity is a semilattice of left groups (right groups / groups). In this case the completely regular semigroup is an orthogroup. Furthermore we define various classes of rectangular groups such that there is an exponent taken from a set of pairwise coprime positive integers. An important result is the characterization of the class of all semilattices of particular rectangular groups (taken from the classes defined before) using a set-theoretic minimal set of disjunctions of identities. Additionally we investigate semilattices of groups (so-called Clifford semigroups). For this purpose we consider abelian groups of particular exponents and prove some well-known results from the theory of Clifford semigroups in an alternative way applying the concept of disjunctions of identities. As a practical application of the results concerning semilattices of left zero semigroups and right zero semigroups we identify a particular transformation semigroup. For more detailed information about the product of two arbitrary elements of a semilattice of semigroups we introduce the concept of strong semilattices of semigroups. It is well-known that a semilattice of groups is a strong semilattice of groups. So we can characterize a strong semilattice of groups of particular pairwise coprime exponents by disjunctions of identities. Additionally we describe the class of all strong semilattices of left zero semigroups and right zero semigroups with the help of such kind of identity, and we relate this statement to the theory of normal bands. A possible extension of the already described semilattices of rectangular groups can be achieved by an auxiliary total order (in terms of chains of semigroups). To this end we present a corresponding characterization due to disjunctions of identities which is obviously minimal. A list of open questions which have arisen during the research for this thesis, but left crude, is attached.}, language = {en} }