This thesis is based on four papers dealing with two different areas of mathematics.Paper I–III are in combinatorics, while Paper IV is in mathematical physics.In combinatorics, we work with design theory, one of whose applications aredesigning statistical experiments. Specifically, we are interested in symmetric incompleteblock designs (SBIBDs) and triple arrays and also the relationship betweenthese two types of designs.In Paper I, we investigate when a triple array can be balanced for intersectionwhich in the canonical case is equivalent to the inner design of the correspondingsymmetric balanced incomplete block design (SBIBD) being balanced. For this we derivenew existence criteria, and in particular we prove that the residual designof the related SBIBD must be quasi-symmetric, and give necessary and sufficientconditions on the intersection numbers. We also address the question of whenthe inner design is balanced with respect to every block of the SBIBD. We showthat such SBIBDs must possess the quasi-3 property, and we answer the existencequestion for all know classes of these designs.As triple arrays balanced for intersections seem to be very rare, it is natural toask if there are any other families of row-column designs with this property. In PaperII we give necessary and sufficient conditions for balanced grids to be balancedfor intersection and prove that all designs in an infinite family of binary pseudo-Youden designs are balanced for intersection.Existence of triple arrays is an open question. There is one construction of aninfinite, but special family called Paley triple arrays, and one general method forwhich one of the steps is unproved. In Paper III we investigate a third constructionmethod starting from Youden squares. This method was suggested in the literaturea long time ago, but was proven not to work by a counterexample. We show interalia that Youden squares from projective planes can never give a triple array bythis method, but that for every triple array corresponding to a biplane, there is asuitable Youden square for which the method works. Also, we construct the familyof Paley triple arrays by this method.In mathematical physics we work with solitons, which in nature can be seen asself-reinforcing waves acting like particles, and in mathematics as solutions of certainnon-linear differential equations. In Paper IV we study the non-commutativeversion of the two-dimensional Toda lattice for which we construct a family ofsolutions, and derive explicit solution formulas. / Denna avhandling baseras på fyra artiklar som behandlar två olika områden avmatematiken. Artikel I-III ligger inom kombinatoriken medan artikel IV behandlarmatematisk fysik.Inom kombinatoriken arbetar vi med designteori som bland annat har tillämpningardå man ska utforma statistiska experiment.I artikel I undersöker vi när en triple array kan vara snittbalanserad vilket i detkanoniska fallet är ekvivalent med den inre designen till den korresponderandesymmetriska balanserade inkompletta blockdesignen (SBIBD) är balanserad. För dettapresenterar vi nya nödvändiga villkor. Speciellt visar vi att den residuala designentill den korresponderande SBIBDen måste vara kvasi-symmetrisk och ger nödvändigaoch tillräckliga villkor för dess blockskärningstal. Vi adresserar ocksåfrågan om när den inre designen är balanserad med avseende på alla SBIBDensblock. Vi visar att en sådan SBIBD måste ha den egenskap som kallas kvasi-3 ochsvarar på existensfrågan för alla kända klasser av sådana designer.Eftersom snittbalanserade triple arrays verkar vara väldigt sällsynta är detnaturligt att fråga om det finns andra familjer av rad-kolumn designer som hardenna egenskap. I artikel II ger vi nödvändiga och tillräckliga villkor för att enbalanced grid ska vara snittbalanserad och visar att alla designer i en oändlig familjav binära pseudo-Youden squares är snittbalanserade.Existensfrågan för triple arrays är öppen fråga. Det finns en konstruktionsmetodför en oändlig men speciell familj kallad Paley triple arrays och så finns det enallmän metod för vilken ett steg är obevisat. I artikel III undersöker vi en tredjekonstruktionsmetod som utgår från Youden squares. Denna metod föreslogs i litteraturenför länge sedan men blev motbevisad med hjälp av ett motexempel. Vivisar bland annat att Youden squares från projektiva plan aldrig kan ge en triplearray med denna metod, men att det för varje triple array som korresponderartill ett biplan, så finns det en lämplig Youden square för vilken metoden fungerar.Vidare konstruerar vi familjen av Paley triple arrays med denna metod.Inom matematisk fysik arbetar vi med solitoner som man i naturen kan få sesom självförstärkande vågor vilka beter sig som partiklar. Inom matematiken ärde lösningar till vissa ickelinjära differentialekvationer. I artikel IV studerar vi dettvådimensionella Toda-gittret för vilken vi konstruerar en familj av lösningar ochäven explicita lösningsformler.

<p>The Road Administration wants to improve safety at a hazardous, rural road intersection near Åkersberga, Stockholm by changing the design of the intersection. The intersection today is a three-way connection with a small road connecting to a four-lane main road, much similar to a motorway with high speeds although with a speed limit of 90km/h. Drivers’ attention and velocity in different designs of the intersection are analysed in this thesis with data from two experiments, ordered by the Road Administration and conducted by the Swedish National Road and Research Institute (VTI). Four alternative designs of the intersection were tested using the VTI-simulator; a narrowing from two to one lane through the intersection, rumble strips, a wooden fence and trees at the road side, and a portal framing the intersection. In addition, the original intersection design, both with and without speed limit signs of 70km/h, were tested for comparisons. In the first of the two experiments, the four alternative intersection designs all had speed limit signs of 70km/h, and in the second experiment the alternative intersection designs were tested without the influence of the speed limit signs of 70km/h. Data used in the analyses are velocity data, lateral position, eye movements, brake data and subjective estimations.</p><p>Subjects were found to look at the critical areas of the intersection in time, independent of intersection design. Only small differences between the intersection designs were found, probably due to width of the main road being a larger design-influence than the measures tested. The results are in favour of the narrowing from two to one lane through the intersection, but traffic density and rhythm make a narrowing difficult to realise at the real intersection. Instead, rumble strips in addition to a speed limit of 70km/h can be recommended, although rumble strips are most likely to increase inattentive drivers’ readiness.</p>

The dissertation consists of two parts. In the first part several asymptotic properties of random intersection graphs are studied. They include birth thresholds for small complete subgraphs in the binomial random intersection graph, the clique number in sparse random intersection graphs and the chromatic index of random uniform hypergraphs. Several new methods and theoretically and practically relevant algorithms are proposed. Some results are illustrated with data from real-world networks. The second part deals with asymptotic enumeration and properties of graphs from minor-closed classes in the case when the excluded minors are disjoint. The class of graphs without k+1 (vertex-)disjoint cycles and more general classes of graphs without k+1 disjoint excluded minors (satisfying a condition related to fans) are considered. Typical graphs in such classes are shown to have a simple “k apex vertex” structure. Other asymptotic properties (connectivity, number of components, chromatic number, vertex degrees) are also determined. Finally, it is shown that typical graphs without k+1 disjoint minors K4 have a more complicated “2k+1 apex vertex” structure, and properties of such graphs are investigated. Part of the results is proved in greater generality. A variety of methods from computer science, graph theory, combinatorics and the theory of generating functions are applied. / Disertacijoje yra dvi pagrindinės dalys. Pirmojoje dalyje gaunami keli nauji rezultatai uždaviniams, susijusiems su atsitiktiniais sankirtų grafais. Nagrinėjamas pilnojo pografio gimimo slenkstis binominiame atsitiktiniame sankirtų grafe, didžiausios klikos eilė atsitiktiniame retame sankirtų grafe ir chromatinio indekso eilė atsitiktiniame reguliariajame hipergrafe. Sprendimams pasiūloma keletas naujų metodų, taip pat pateikiami teoriškai ir praktiškai svarbūs algoritmai. Kai kurie rezultatai iliustruojami duomenimis iš realių tinklų. Antrojoje dalyje pristatomi rezultatai grafų su uždraustaisiais minorais tematikoje, nagrinėjamas atvejis kai uždraustieji minorai yra nejungūs. Čia tiriamas asimptotinis grafų, neturinčių k+1 nepriklausomų ciklų, skaičius, rezultatai apibendrinami grafų, neturinčių k+1 uždraustųjų minorų, tačiau tenkinančių tam tikrą „vėduoklės“ apribojimą, klasėms. Įrodoma, kad tipiniai tokių klasių grafai turi paprastą „k dydžio blokatoriaus“ struktūrą, nustatomos kitos tokių grafų asimptotinės savybės (jungumas, komponenčių skaičius, viršūnių laipsniai). Galiausiai parodoma, kad tipiniai grafai, neturintys k+1 nepriklausomų minorų K4 turi sudėtingesnę „2k+1 dydžio blokatoriaus“ struktūrą ir ištiriamos kitos jų savybės. Dalis šių rezultatų įrodoma daug bendresniu atveju. Darbe pasitelkiami įvairūs informatikos, kombinatorikos, grafų, tikimybių ir generuojančiųjų funkcijų teorijos metodai.

This thesis describes and develops two experimental techniques, Time Resolved Photoelectron Spectroscopy (TRPES), and Time Resolved Coincidence Imaging Spectroscopy (TRCIS), to study ultrafast gas phase chemical dynamics. We use TRPES to investigate the effects of methyl substitution on the electronic dynamics of the simple alpha, beta-enones acrolein, crotonaldehyde, methylvinylketone, and methacrolein following excitation to the S2 state. We determine that following excitation, the molecules move rapidly away from the Franck-Condon region reaching a conical intersection promoting relaxation to the S1 state. Once on the S1 surface, the trajectories access another conical intersection leading them to the ground state. Only small variations between molecules are seen in their S2 decay times. However, the position of methyl group substitution greatly affects the relaxation rate from the S1 surface. Ab initio calculations used to compare the geometries, energies, and topographies of the S1/S0 conical intersections of the molecules are not able to explain the variations in relaxation behaviour. We propose a model that uses dynamical factors of specific motions in the molecules to explain the differing nonadiabatic S1/S0 crossing rates. The second part of this thesis examines the issues involved with design and construction of a Coincidence Imaging Spectrometer. This type of spectrometer measures the 3-dimensional velocities of both photoelectrons and photoions generated from probing of laser induced photodissociation reactions. Importantly, the photoelectrons and photoions are measured in coincidence from single molecules, enabling measurements such as recoil frame photoelectron angular distributions and correlated photoelectron/photoion energy maps, inaccessible using existing techniques. How to optimize the spectrometer resolution through design, tuning, and calibration is discussed. The power of TRCIS is demonstrated with the investigation of the photodissociation dynamics of the NO dimer. TRPES experiments first identified a sequential kinetic model following 209nm excitation resulting in NO(X) (ground state) and NO(A) (excited state) products. Using TRCIS, it was possible to measure time resolved vibrational energy distributions of the products, indicating the extent of vibrational energy redistribution within the dimers prior to dissociation. Recoil frame photoelectron angular distributions and theoretical support allow identification of a previously disputed intermediate on the dissociation pathway. / Thesis (Ph.D, Chemistry) -- Queen's University, 2007-04-01 10:12:39.968

La segmentation d'images est un domaine important dans le traitement d'images et un grand nombre d'approches différentes ent été développées pendant ces dernières décennies. L'approche des contours actifs est un des plus populaires. Dans ce cadre, cette thèse vise à développer des algorithmes robustes, qui peuvent segmenter des images avec des inhomogénéités d'intensité. Nous nous concentrons sur l'étude des énergies externes basées région dans le cadre des ensembles de niveaux. Précisément, nous abordons la difficulté de choisir l'échelle de la fenêtre spatiale qui définit la localité. Notre contribution principale est d'avoir proposé une échelle adaptative pour les méthodes de segmentation basées sur les statistiques locales. Nous utilisons l'approche d'Intersection des Intervalles de Confiance pour définir une échelle position-dépendante pour l'estimation des statistiques image. L'échelle est optimale dans le sens où elle donne le meilleur compromis entre le biais et la variance de l'approximation polynomiale locale de l'image observée conditionnellement à la segmentation actuelle. De plus, pour le model de segmentation basé sur une interprétation Bahésienne avec deux noyaux locaux, nous suggérons de considérer leurs valeurs séparément. Notre proposition donne une segmentation plus lisse avec moins de délocalisations que la méthode originale. Des expériences comparatives de notre proposition à d'autres méthodes de segmentation basées sur des statistiques locales sont effectuées. Les résultats quantitatifs réalisés sur des images ultrasonores de simulation, montrent que la méthode proposée est plus robuste au phénomène d'atténuation. Des expériences sur des images réelles montrent également l'utilité de notre approche.

This thesis addresses the challenges associated with thermal management systems (TMS) evaluation and selection in the conceptual design of hypersonic, air-breathing vehicles with sustained cruise. The proposed methodology identifies analysis tools and techniques which allow the proper investigation of the design space for various thermal management technologies. The design space exploration environment and alternative multi-objective decision making technique defined as Pareto-based Joint Probability Decision Making (PJPDM) is based on the approximation of 3-D Pareto frontiers and probabilistic technology effectiveness maps. These are generated through the evaluation of a Pareto Fitness function and Monte Carlo analysis. In contrast to Joint Probability Decision Making (JPDM), the proposed PJPDM technique does not require preemptive knowledge of weighting factors for competing objectives or goal constraints which can introduce bias into the final solution. Preemptive bias in a complex problem can degrade the overall capabilities of the final design. The implementation of PJPDM in this thesis eliminates the need for the numerical optimizer which is required with JPDM in order to improve upon a solution. In addition, a physics-based formulation is presented for the quantification of TMS safety effectiveness corresponding to debris impact/damage and how it can be applied towards risk mitigation. Lastly, a formulation loosely based on non-preemptive Goal Programming with equal weighted deviations is provided for the resolution of the inverse design space. This key step helps link vehicle capabilities to TMS technology subsystems in a top-down design approach. The methodology provides the designer more knowledge up front to help make proper engineering decisions and assumptions in the conceptual design phase regarding which technologies show greatest promise, and how to guide future technology research.

Consider distinct latin squares, L and M, of order n. Then the pair (T1, T2) where T1 = L \M and T2 = M \ L is called a latin bitrade. Furthermore T1 and T2 are referred to as latin trades, in which T2 is said to be a disjoint mate of T1 (and vice versa). Drápal (1991) showed that, under certain conditions, a partition of an equilateral triangle of side length n, where n is some integer, into smaller, integer length sided equilateral triangles gives rise to a latin trade within the latin square based on the addition table for the integers modulo n. A partial latin square P of order n is said to be completable if there exists a latin square L of order n such that P ⊆ L. If there is only one such possible latin square, L, of order n then P is said to be uniquely completable and P is called a defining set of L. Furthermore, if C is a uniquely completable partial latin square such that no proper subset of C is uniquely completable, C is said to be a critical set or a minimal defining set. These concepts, namely latin trades and defining sets in latin squares, are intimately connected by the following observation. If L is a latin square and D ⊆ L is a defining set, then D intersects all latin bitrades for which one mate is contained in L. In Part I of this thesis Dr´apal’s result is applied to investigate the structure of certain defining sets in latin squares. The results that are obtained are interesting in themselves; furthermore, the geometric approach to the problem yields additional appealing results. These geometric results are discussed in Chapters 3, 4, 5 and 6. They pertain to partitioning regions (polygons in R2 that satisfy certain obvious conditions) into equilateral, integer length sided, triangles, such that no point, in the region, is a corner of more than three distinct triangles. In Chapter 2 one of the main two theorems on defining sets is established, as is a method for using the above geometric results to prove the nonexistence of certain types of defining sets. In Part II of this thesis, intersection problems, for latin squares and Steiner triple systems, are considered. The seminal works, for problems of these types, are due to Lindner and Rosa (1975) and Fu (1980). A natural progression, from the established literature, for intersection problems between elements in a pair of latin squares or Steiner triple systems is to problems in which the intersection is composed of a number of disjoint configurations (isomorphic copies of some specified partial triple system). In this thesis solutions to two intersection problems for disjoint configurations are detailed. An m-flower, (F,F), is a partial triple system/configuration, such that: F = {{x, yi, zi} | {yi, zi} ∩ {yj , zj} = ∅, for 0 ≤ i, j ≤ m − 1, i 6= j}; and F = UX∈FX. The first such problem considered in this thesis asks for necessary and sufficient conditions for integers k and m ≥ 2 such that a pair of latin squares of order n exists that intersect precisely in k disjoint m-flowers. The necessary terminology, constructions, lemmas and proof for this result are contained in Chapters 7, 8 and 9. The second such problem considered in this thesis asks for necessary and sufficient conditions for integers k such that a pair of Steiner triple systems of order u exists that intersect precisely in k disjoint 2-flowers. This result relies on the solution to the latin square problem and an additional result from Chapter 9. The further constructions and lemmas used to prove this result are detailed in Chapter 10.

Consider distinct latin squares, L and M, of order n. Then the pair (T1, T2) where T1 = L \M and T2 = M \ L is called a latin bitrade. Furthermore T1 and T2 are referred to as latin trades, in which T2 is said to be a disjoint mate of T1 (and vice versa). Drápal (1991) showed that, under certain conditions, a partition of an equilateral triangle of side length n, where n is some integer, into smaller, integer length sided equilateral triangles gives rise to a latin trade within the latin square based on the addition table for the integers modulo n. A partial latin square P of order n is said to be completable if there exists a latin square L of order n such that P ⊆ L. If there is only one such possible latin square, L, of order n then P is said to be uniquely completable and P is called a defining set of L. Furthermore, if C is a uniquely completable partial latin square such that no proper subset of C is uniquely completable, C is said to be a critical set or a minimal defining set. These concepts, namely latin trades and defining sets in latin squares, are intimately connected by the following observation. If L is a latin square and D ⊆ L is a defining set, then D intersects all latin bitrades for which one mate is contained in L. In Part I of this thesis Dr´apal’s result is applied to investigate the structure of certain defining sets in latin squares. The results that are obtained are interesting in themselves; furthermore, the geometric approach to the problem yields additional appealing results. These geometric results are discussed in Chapters 3, 4, 5 and 6. They pertain to partitioning regions (polygons in R2 that satisfy certain obvious conditions) into equilateral, integer length sided, triangles, such that no point, in the region, is a corner of more than three distinct triangles. In Chapter 2 one of the main two theorems on defining sets is established, as is a method for using the above geometric results to prove the nonexistence of certain types of defining sets. In Part II of this thesis, intersection problems, for latin squares and Steiner triple systems, are considered. The seminal works, for problems of these types, are due to Lindner and Rosa (1975) and Fu (1980). A natural progression, from the established literature, for intersection problems between elements in a pair of latin squares or Steiner triple systems is to problems in which the intersection is composed of a number of disjoint configurations (isomorphic copies of some specified partial triple system). In this thesis solutions to two intersection problems for disjoint configurations are detailed. An m-flower, (F,F), is a partial triple system/configuration, such that: F = {{x, yi, zi} | {yi, zi} ∩ {yj , zj} = ∅, for 0 ≤ i, j ≤ m − 1, i 6= j}; and F = UX∈FX. The first such problem considered in this thesis asks for necessary and sufficient conditions for integers k and m ≥ 2 such that a pair of latin squares of order n exists that intersect precisely in k disjoint m-flowers. The necessary terminology, constructions, lemmas and proof for this result are contained in Chapters 7, 8 and 9. The second such problem considered in this thesis asks for necessary and sufficient conditions for integers k such that a pair of Steiner triple systems of order u exists that intersect precisely in k disjoint 2-flowers. This result relies on the solution to the latin square problem and an additional result from Chapter 9. The further constructions and lemmas used to prove this result are detailed in Chapter 10.

Consider distinct latin squares, L and M, of order n. Then the pair (T1, T2) where T1 = L \M and T2 = M \ L is called a latin bitrade. Furthermore T1 and T2 are referred to as latin trades, in which T2 is said to be a disjoint mate of T1 (and vice versa). Drápal (1991) showed that, under certain conditions, a partition of an equilateral triangle of side length n, where n is some integer, into smaller, integer length sided equilateral triangles gives rise to a latin trade within the latin square based on the addition table for the integers modulo n. A partial latin square P of order n is said to be completable if there exists a latin square L of order n such that P ⊆ L. If there is only one such possible latin square, L, of order n then P is said to be uniquely completable and P is called a defining set of L. Furthermore, if C is a uniquely completable partial latin square such that no proper subset of C is uniquely completable, C is said to be a critical set or a minimal defining set. These concepts, namely latin trades and defining sets in latin squares, are intimately connected by the following observation. If L is a latin square and D ⊆ L is a defining set, then D intersects all latin bitrades for which one mate is contained in L. In Part I of this thesis Dr´apal’s result is applied to investigate the structure of certain defining sets in latin squares. The results that are obtained are interesting in themselves; furthermore, the geometric approach to the problem yields additional appealing results. These geometric results are discussed in Chapters 3, 4, 5 and 6. They pertain to partitioning regions (polygons in R2 that satisfy certain obvious conditions) into equilateral, integer length sided, triangles, such that no point, in the region, is a corner of more than three distinct triangles. In Chapter 2 one of the main two theorems on defining sets is established, as is a method for using the above geometric results to prove the nonexistence of certain types of defining sets. In Part II of this thesis, intersection problems, for latin squares and Steiner triple systems, are considered. The seminal works, for problems of these types, are due to Lindner and Rosa (1975) and Fu (1980). A natural progression, from the established literature, for intersection problems between elements in a pair of latin squares or Steiner triple systems is to problems in which the intersection is composed of a number of disjoint configurations (isomorphic copies of some specified partial triple system). In this thesis solutions to two intersection problems for disjoint configurations are detailed. An m-flower, (F,F), is a partial triple system/configuration, such that: F = {{x, yi, zi} | {yi, zi} ∩ {yj , zj} = ∅, for 0 ≤ i, j ≤ m − 1, i 6= j}; and F = UX∈FX. The first such problem considered in this thesis asks for necessary and sufficient conditions for integers k and m ≥ 2 such that a pair of latin squares of order n exists that intersect precisely in k disjoint m-flowers. The necessary terminology, constructions, lemmas and proof for this result are contained in Chapters 7, 8 and 9. The second such problem considered in this thesis asks for necessary and sufficient conditions for integers k such that a pair of Steiner triple systems of order u exists that intersect precisely in k disjoint 2-flowers. This result relies on the solution to the latin square problem and an additional result from Chapter 9. The further constructions and lemmas used to prove this result are detailed in Chapter 10.

Consider distinct latin squares, L and M, of order n. Then the pair (T1, T2) where T1 = L \M and T2 = M \ L is called a latin bitrade. Furthermore T1 and T2 are referred to as latin trades, in which T2 is said to be a disjoint mate of T1 (and vice versa). Drápal (1991) showed that, under certain conditions, a partition of an equilateral triangle of side length n, where n is some integer, into smaller, integer length sided equilateral triangles gives rise to a latin trade within the latin square based on the addition table for the integers modulo n. A partial latin square P of order n is said to be completable if there exists a latin square L of order n such that P ⊆ L. If there is only one such possible latin square, L, of order n then P is said to be uniquely completable and P is called a defining set of L. Furthermore, if C is a uniquely completable partial latin square such that no proper subset of C is uniquely completable, C is said to be a critical set or a minimal defining set. These concepts, namely latin trades and defining sets in latin squares, are intimately connected by the following observation. If L is a latin square and D ⊆ L is a defining set, then D intersects all latin bitrades for which one mate is contained in L. In Part I of this thesis Dr´apal’s result is applied to investigate the structure of certain defining sets in latin squares. The results that are obtained are interesting in themselves; furthermore, the geometric approach to the problem yields additional appealing results. These geometric results are discussed in Chapters 3, 4, 5 and 6. They pertain to partitioning regions (polygons in R2 that satisfy certain obvious conditions) into equilateral, integer length sided, triangles, such that no point, in the region, is a corner of more than three distinct triangles. In Chapter 2 one of the main two theorems on defining sets is established, as is a method for using the above geometric results to prove the nonexistence of certain types of defining sets. In Part II of this thesis, intersection problems, for latin squares and Steiner triple systems, are considered. The seminal works, for problems of these types, are due to Lindner and Rosa (1975) and Fu (1980). A natural progression, from the established literature, for intersection problems between elements in a pair of latin squares or Steiner triple systems is to problems in which the intersection is composed of a number of disjoint configurations (isomorphic copies of some specified partial triple system). In this thesis solutions to two intersection problems for disjoint configurations are detailed. An m-flower, (F,F), is a partial triple system/configuration, such that: F = {{x, yi, zi} | {yi, zi} ∩ {yj , zj} = ∅, for 0 ≤ i, j ≤ m − 1, i 6= j}; and F = UX∈FX. The first such problem considered in this thesis asks for necessary and sufficient conditions for integers k and m ≥ 2 such that a pair of latin squares of order n exists that intersect precisely in k disjoint m-flowers. The necessary terminology, constructions, lemmas and proof for this result are contained in Chapters 7, 8 and 9. The second such problem considered in this thesis asks for necessary and sufficient conditions for integers k such that a pair of Steiner triple systems of order u exists that intersect precisely in k disjoint 2-flowers. This result relies on the solution to the latin square problem and an additional result from Chapter 9. The further constructions and lemmas used to prove this result are detailed in Chapter 10.