Das Ziel dieser Arbeit ist es die mathematische Theorie der Begriffsalgebren zu entwickeln. Wir betrachten dabei hauptsaechlich das Repraesentationsproblem dieser vor Kurzem eingefuehrten Strukturen. Motiviert durch die Suche nach einer geeigneten Negation sind die Begriffsalgebren entstanden. Sie sind nicht nur fuer die Philosophie oder die Wissensrepraesentation von Interesse, sondern auch fuer andere Felder, wie zum Beispiel Logik oder Linguistik. Das Problem Negationen geeignet einzufuehren, ist sicher eines der aeltesten der wissenschaftlichen oder philosophischen Gemeinschaft und erregt auch zur Zeit die Aufmerksamkeit vieler Wissenschaftler. Verschiedene Typen von Logik (die sich sehr stark durch die eigefuehrte Negation unterscheiden) unterstreichen die Wichtigkeit dieser Untersuchungen. In dieser Arbeit beschaeftigen wir uns hauptsaechlich mit der kontextuellen Logik, eine Herangehensweise der Formalen Begriffsanalyse, basierend auf der Idee, den Begriff als Einheit des Denkens aufzufassen. / The aim of this investigation is to develop a mathematical theory of concept algebras. We mainly consider the representation problem for this recently introduced class of structures. Motivated by the search of a "negation" on formal concepts, "concept algebras" are of considerable interest not only in Philosophy or Knowledge Representation, but also in other fields as Logic or Linguistics. The problem of negation is surely one of the oldest problems of the scientific and philosophic community, and still attracts the attention of many researchers. Various types of Logic (defined according to the behaviour of the corresponding negation) can attest this affirmation. In this thesis we focus on "Contextual Logic", a Formal Concept Analysis approach, based on concepts as units of thought.

Im Rahmen dieser Arbeit wurden die Kondo-Gitter YbT2Si2 (T = Rh, Ir, Co) und CeTPO (T = Ru, Os, Fe, Co) untersucht. In diesen Systemen treten starke ferromagnetische Korrelationen der 4f-Momente zusammen mit ausgeprägter Kondo-Wechselwirkung auf, deren theoretische Beschreibung bislang sehr kontrovers diskutiert wird. Diese Arbeit liefert damit einen essentiellen experimentellen Beitrag zur Physik von ferromagnetischen Kondo-Gittern. So konnten qualitativ hochwertige Einkristalle von YbRh2Si2 hergestellt und erstmalig an einem Schwere-Fermion-System deren kritische Fluktuationen um den magnetischen Phasenübergang analysiert werden. Weiterhin konnte das bis dahin unverstandene Auftreten einer Elektron-Spin-Resonanz (ESR)-Linie in YbT2Si2 auf ferromagnetische Korrelationen zurückgeführt werden. Außerdem wurde mit CeFePO ein neues Schwere-Fermion-System mit starken ferromagnetischen Korrelationen entdeckt sowie mit dem isoelektronischen CeRuPO der seltene Fall eines ferromagnetisch geordneten Kondo-Gitters realisiert. / Within the context of this thesis the Kondo lattices YbT2Si2 (T = Rh, Ir, Co) and CeTPO (T = Ru, Os, Fe, Co) were investigated. In these systems strong ferromagnetic correlations of the 4f-moments together with pronounced Kondo interactions are present, whose theoretical description are pres-ently controversial discussed. Therefore, this work gives an essential experimental contribution to the physics of ferromagnetic Kondo lattices. The main results include the growth of high-quality single crystals of YbRh2Si2 and the first analysis of the critical fluctuations around the magnetic phase transition in a heavy fermion system. Furthermore, the unexpected observation of an electron spin resonance in YbT2Si2 could be ascribed to ferromagnetic correlations. Moreover, a new heavy fermion system CeFePO with strong ferromagnetic correlations was found and with the isoelec-tronic CeRuPO the rare case of a ferromagnetic Kondo-lattice discovered.

In this thesis, we generalize clones (as well as their relational counterparts and the relationship between them) to categories. Based on this framework, we introduce a general duality theory for clones and apply it to obtain new results for clones on finite sets.

This thesis concerns the mathematical modelling of phase transformations with a special emphasis on martensitic phase transformations and their application to the modelling of steels. In Chapter 1, we develop a framework that determines the optimal transformation strain between any two Bravais lattices and use it to give a rigorous proof of a conjecture by E.C. Bain in 1924 on the optimality of the so-called Bain strain. In Chapter 2, we review the Ball-James model and related concepts. We present some simplification of existing results. In Chapter 3, we pose a conjecture for the explicit form of the quasiconvex hull of the three tetragonal wells, known as the three-well problem. We present a new approach to finding inner and outer bounds. In Chapter 4, we focus on highly compatible, so called self-accommodating, martensitic structures and present new results on their fine properties such as estimates on their minimum complexity and bounds on the relative proportion of each martensitic variant in them. In Chapter 5, we investigate the contrary situation when self-accommodating microstructures do not exist. We determine, whether in this situation, it is still energetically favourable to nucleate martensite within austenite. By constructing different types of inclusions, we find that the optimal shape of an inclusion is flat and thin which is in agreement with experimental observation. In Chapter 6, we introduce a mechanism that identifies transformation strains with orientation relationships. This mechanism allows us to develop a simpler, strain-based approach to phase transformation models in steels. One novelty of this approach is the derivation of an explicit dependence of the orientation relationships on the ratio of tetragonality of the product phase. In Chapter 7, we establish a correspondence between common phenomenological models for steels and the Ball-James model. This correspondence is then used to develop a new theory for the (5 5 7) lath transformation in low-carbon steels. Compared to existing theories, this new approach requires a significantly smaller number of input parameters. Furthermore, it predicts a microstructure morphology which differs from what is conventionally believed.

No description available.

Dans une première partie de cette thèse, nous donnons des minorations universelles ne dépendant que de la dimension – explicites, de trois invariants globaux des quotients des espaces hyperboliques quaternioniques : leur rayon maximal, leur volume, ainsi que leur caractéristique d’Euler. Nous donnons également une majoration de leur constante de Margulis, montrant que celle-ci décroit au moins comme une puissance négative de la dimension. Dans une seconde partie, nous étudions un réseau remarquable des isométries du plan hyperbolique quaternionique, le groupe modulaire d’Hurwitz. Nous montrons en particulier qu’il est engendré par quatres éléments, et construisons un domaine fondamental pour le sous-groupe des isométries de ce réseau qui stabilisent un point à l’infini. / In the first part of this thesis, we derive explicit universal – that is, depending only on the dimension – lower bounds on three global invariants of quaternionic hyperbolic sapces : their maximal radius, their volume, and their Euler caracteristic. We also exhibit an upper bound on their Margulis constant, showing that this last quantity decreases at least like a negative power of the dimension. In the second part, we study a specific lattice of isometries of the quaternionic hyperbolic plane : the Hurwitz modular group. In particular, we show that this group is generated by four elements, and we construct a fundamental domain for the subgroup of isometries of this lattice stabilising a point on the boundary of the quaternionic hyperbolic plane.

We prove that there exist three distinct, comprehensive classes of (formal) contexts with polynomially many concepts. Namely: contexts which are nowhere dense, of bounded breadth or highly convex. Already present in G. Birkhoff's classic monograph is the notion of breadth of a lattice; it equals the number of atoms of a largest boolean suborder. Even though it is natural to define the breadth of a context as being that of its concept lattice, this idea had not been exploited before. We do this and establish many equivalences. Amongst them, it is shown that the breadth of a context equals the size of its largest minimal generator, its largest contranominal-scale subcontext, as well as the Vapnik-Chervonenkis dimension of both its system of extents and of intents. The polynomiality of the aforementioned classes is proven via upper bounds (also known as majorants) for the number of maximal bipartite cliques in bipartite graphs. These are results obtained by various authors in the last decades. The fact that they yield statements about formal contexts is a reward for investigating how two established fields interact, specifically Formal Concept Analysis (FCA) and graph theory. We improve considerably the breadth bound. Such improvement is twofold: besides giving a much tighter expression, we prove that it limits the number of minimal generators. This is strictly more general than upper bounding the quantity of concepts. Indeed, it automatically implies a bound on these, as well as on the number of proper premises. A corollary is that this improved result is a bound for the number of implications in the canonical basis too. With respect to the quantity of concepts, this sharper majorant is shown to be best possible. Such fact is established by constructing contexts whose concept lattices exhibit exactly that many elements. These structures are termed, respectively, extremal contexts and extremal lattices. The usual procedure of taking the standard context allows one to work interchangeably with either one of these two extremal structures. Extremal lattices are equivalently defined as finite lattices which have as many elements as possible, under the condition that they obey two upper limits: one for its number of join-irreducibles, other for its breadth. Subsequently, these structures are characterized in two ways. Our first characterization is done using the lattice perspective. Initially, we construct extremal lattices by the iterated operation of finding smaller, extremal subsemilattices and duplicating their elements. Then, it is shown that every extremal lattice must be obtained through a recursive application of this construction principle. A byproduct of this contribution is that extremal lattices are always meet-distributive. Despite the fact that this approach is revealing, the vicinity of its findings contains unanswered combinatorial questions which are relevant. Most notably, the number of meet-irreducibles of extremal lattices escapes from control when this construction is conducted. Aiming to get a grip on the number of meet-irreducibles, we succeed at proving an alternative characterization of these structures. This second approach is based on implication logic, and exposes an interesting link between number of proper premises, pseudo-extents and concepts. A guiding idea in this scenario is to use implications to construct lattices. It turns out that constructing extremal structures with this method is simpler, in the sense that a recursive application of the construction principle is not needed. Moreover, we obtain with ease a general, explicit formula for the Whitney numbers of extremal lattices. This reveals that they are unimodal, too. Like the first, this second construction method is shown to be characteristic. A particular case of the construction is able to force - with precision - a high number of (in the sense of "exponentially many'') meet-irreducibles. Such occasional explosion of meet-irreducibles motivates a generalization of the notion of extremal lattices. This is done by means of considering a more refined partition of the class of all finite lattices. In this finer-grained setting, each extremal class consists of lattices with bounded breadth, number of join irreducibles and meet-irreducibles as well. The generalized problem of finding the maximum number of concepts reveals itself to be challenging. Instead of attempting to classify these structures completely, we pose questions inspired by Turán's seminal result in extremal combinatorics. Most prominently: do extremal lattices (in this more general sense) have the maximum permitted breadth? We show a general statement in this setting: for every choice of limits (breadth, number of join-irreducibles and meet-irreducibles), we produce some extremal lattice with the maximum permitted breadth. The tools which underpin all the intuitions in this scenario are hypergraphs and exact set covers. In a rather unexpected, but interesting turn of events, we obtain for free a simple and interesting theorem about the general existence of "rich'' subcontexts. Precisely: every context contains an object/attribute pair which, after removed, results in a context with at least half the original number of concepts.

The thesis deals with stochastic and algebraic aspects of the integer convex hull. In the first part, the intrinsic volumes of the randomized integer convex hull are investigated. In particular, we obtained an exact asymptotic order of the expected intrinsic volumes difference in a smooth convex body and a tight inequality for the expected mean width difference. In the algebraic part, an exact formula for the Bhattacharya function of complete primary monomial ideas in two variables is given. As a consequence, we derive an effective characterization for complete monomial ideals in two variables.

Les systèmes fortement corrélés, pouvant adopter des phases surprenantes de la matière, émergent dans le domaine des atomes ultra-froids ou dans celui de l’électrodynamique quantique en cavité (CQED). Ceux-ci sont au centre d’intenses travaux expérimentaux et théoriques. Dans cette thèse, nous présentons une étude de deux modèles de bosons avec deux ou zéro états internes. Ceux-ci peuvent se déplacer sur un réseau, et sont localement couplés avec des spins 1/2. Notre intérêt réside dans la détermination du diagramme de phase de l’état fondamental de ces systèmes ainsi que de l’étude des propriétés de phase et des transitions entre ces dernières. Nous avons utilisé deux outils : une approximation de champ moyen et des simulations de Monte-Carlo quantique, qui fournit des résultats numériquement exacts. Le premier modèle, appelé modèle de Kondo bosonique sur réseau, s’inscrit dans le contexte des atomes ultra-froids sur réseau. Nous trouvons que sa physique est proche de celle du modèle de Bose-Hubbard, présentant des phases de Mott et superfluide. Le couplage local renforce le caractère isolant et on observe l’émergence de phases magnétiques au travers de couplage direct ou indirect entre bosons et/ou spins. Les effets thermiques, inhérents à tout dispositif expériemental, sont aussi étudiés. Le second modèle s’inscrit dans le domaine de la CQED sur réseau, décrit un régime de couplage ultra-fort entre des photons et des atomes, et est appelé modèle de Rabi sur réseau. Le diagramme de phase présente juste deux phases : une phase cohérente dans laquelle les spins locaux s’ordonnent ferromagnétiquement ainsi qu’une phase incohérente compressible paramagnétique / Strongly correlated systems, where new surprising phases of matter may appear both in the context of ultra-cold atoms and cavity quantum electrodynamics, are the focus of intense experimental and theoritical activity. In this thesis we present a study of two models of bosons with two or zero internal states, that is to say spin-1/2 or spin-0 bosons. These particles can move around a lattice, and they are locally coupled to immobile spins 1/2. Our interest was to determine the ground state phase diagram, study phase properties and quantum phase transitions. We used two methods: an approximate one using a mean field approach and the other using quantum Monte-Carlo simulations, which provides numerically exact results. The first model, namely the bosonic Kondo lattice model, is in the context of ultra-cold atoms in optical lattices. We found that its physics is close to that of the Bose-Hubbard model, exhibiting Mott and superfluid phases. The local coupling strengthens the insulating behaviour of the system and magnetism emerges through indirect or direct coupling between bosons. Thermal effects, inherent in experiments, are also studied. The second model, which is in the context of light-matter interaction, describes a situation of an ultra-strong coupling between spin-0 bosons (photons) and local spins 1/2 (two levels atoms) and is known as the Rabi lattice model. The phase diagram generally consists of only two phases: a coherent phase and a compressible incoherent one. The locals

We prove that there exist three distinct, comprehensive classes of (formal) contexts with polynomially many concepts. Namely: contexts which are nowhere dense, of bounded breadth or highly convex. Already present in G. Birkhoff's classic monograph is the notion of breadth of a lattice; it equals the number of atoms of a largest boolean suborder. Even though it is natural to define the breadth of a context as being that of its concept lattice, this idea had not been exploited before. We do this and establish many equivalences. Amongst them, it is shown that the breadth of a context equals the size of its largest minimal generator, its largest contranominal-scale subcontext, as well as the Vapnik-Chervonenkis dimension of both its system of extents and of intents. The polynomiality of the aforementioned classes is proven via upper bounds (also known as majorants) for the number of maximal bipartite cliques in bipartite graphs. These are results obtained by various authors in the last decades. The fact that they yield statements about formal contexts is a reward for investigating how two established fields interact, specifically Formal Concept Analysis (FCA) and graph theory. We improve considerably the breadth bound. Such improvement is twofold: besides giving a much tighter expression, we prove that it limits the number of minimal generators. This is strictly more general than upper bounding the quantity of concepts. Indeed, it automatically implies a bound on these, as well as on the number of proper premises. A corollary is that this improved result is a bound for the number of implications in the canonical basis too. With respect to the quantity of concepts, this sharper majorant is shown to be best possible. Such fact is established by constructing contexts whose concept lattices exhibit exactly that many elements. These structures are termed, respectively, extremal contexts and extremal lattices. The usual procedure of taking the standard context allows one to work interchangeably with either one of these two extremal structures. Extremal lattices are equivalently defined as finite lattices which have as many elements as possible, under the condition that they obey two upper limits: one for its number of join-irreducibles, other for its breadth. Subsequently, these structures are characterized in two ways. Our first characterization is done using the lattice perspective. Initially, we construct extremal lattices by the iterated operation of finding smaller, extremal subsemilattices and duplicating their elements. Then, it is shown that every extremal lattice must be obtained through a recursive application of this construction principle. A byproduct of this contribution is that extremal lattices are always meet-distributive. Despite the fact that this approach is revealing, the vicinity of its findings contains unanswered combinatorial questions which are relevant. Most notably, the number of meet-irreducibles of extremal lattices escapes from control when this construction is conducted. Aiming to get a grip on the number of meet-irreducibles, we succeed at proving an alternative characterization of these structures. This second approach is based on implication logic, and exposes an interesting link between number of proper premises, pseudo-extents and concepts. A guiding idea in this scenario is to use implications to construct lattices. It turns out that constructing extremal structures with this method is simpler, in the sense that a recursive application of the construction principle is not needed. Moreover, we obtain with ease a general, explicit formula for the Whitney numbers of extremal lattices. This reveals that they are unimodal, too. Like the first, this second construction method is shown to be characteristic. A particular case of the construction is able to force - with precision - a high number of (in the sense of "exponentially many'') meet-irreducibles. Such occasional explosion of meet-irreducibles motivates a generalization of the notion of extremal lattices. This is done by means of considering a more refined partition of the class of all finite lattices. In this finer-grained setting, each extremal class consists of lattices with bounded breadth, number of join irreducibles and meet-irreducibles as well. The generalized problem of finding the maximum number of concepts reveals itself to be challenging. Instead of attempting to classify these structures completely, we pose questions inspired by Turán's seminal result in extremal combinatorics. Most prominently: do extremal lattices (in this more general sense) have the maximum permitted breadth? We show a general statement in this setting: for every choice of limits (breadth, number of join-irreducibles and meet-irreducibles), we produce some extremal lattice with the maximum permitted breadth. The tools which underpin all the intuitions in this scenario are hypergraphs and exact set covers. In a rather unexpected, but interesting turn of events, we obtain for free a simple and interesting theorem about the general existence of "rich'' subcontexts. Precisely: every context contains an object/attribute pair which, after removed, results in a context with at least half the original number of concepts.