The bounded Fatou components for certain quadratic polynomials are attached to each other at the boundary and form chain-like structures called ``bubble rays". In the context of mating quadratic polynomials, these bubble rays can serve as a replacement for external rays. The main objective of this thesis is to apply this idea to the mating of starlike quadratics.

The bounded Fatou components for certain quadratic polynomials are attached to each other at the boundary and form chain-like structures called ``bubble rays". In the context of mating quadratic polynomials, these bubble rays can serve as a replacement for external rays. The main objective of this thesis is to apply this idea to the mating of starlike quadratics.

Thesis (Ph.D.)--City University of Hong Kong, 2009. / "Submitted to Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy." Includes bibliographical references (leaves [95]-100)

Thesis--M. Phil., University of Hong Kong. / Mimeographed.

No description available.

The performance of optical imaging systems relies on control of aberrations that can arise from limitations in the design, manufacture, or alignment. This dissertation addresses the form of aberrations that occur for misaligned reflective systems, such as telescopes. The relationship between a characteristic set of field-dependent aberrations and the misalignments that cause them is systematically explored. A comprehensive technique that quantifies field performance for a 5-mirror system is given, using Monte Carlo analysis to provide confidence levels of image quality as functions of manufacturing and alignment errors. This analysis is an example of the "forward problem"— determining optical performance of a system if the errors are assumed. The inverse problem — determining the state of alignment based on measurements of performance — is more difficult. The solution to the inverse problem for a multiple mirror system requires an understanding of the complex coupling between many degrees of freedom (tilt, decenter, despace, shape error) of the optical elements and field-dependent aberrations.This work builds on previous treatment of field dependent optical aberrations from Tessieres, Thompson, Shack, Buchroeder and others. A basis set of field-dependent aberrations orthogonal over both field and pupil are developed here and used to describe systems with misaligned and misshapen optics. This description allows complete representation of high order and non-linear effects. The functional form of aberrations that are characteristic of mirror tilt, shift, and deformation show some useful patterns that provide insight to the fundamental effects of misalignment.The use of singular value decomposition to create orthogonal combinations of the field dependent aberrations provides a powerful tool for evaluating a system and for estimating the state of alignment using wavefront measurements. The following optical systems are evaluated to investigate the linear coupling between misalignment and the resulting field dependent aberrations:* 2-mirror telescopes, evaluating well-understood effects for an axisymmetric system and developing the relationships for an unobscured system.* 4-mirror correctors for a spherical primary telescope.The tools and methods are applied to reflective optical systems for astronomical telescopes, but the methods are general and can be useful for any optical imaging system.

In this thesis, we prove unconditional lower bounds on resources needed to compute explicit functions in the following three models of computation: constant-depth boolean circuits, multivariate polynomials over commutative rings and the 'Number on the Forehead' model of multiparty communication. Apart from using tools from diverse areas, we exploit the rich interplay between these models to make progress on questions arising in the study of each of them. / Boolean circuits are natural computing devices and are ubiquitous in the modern electronic age. We study the limitation of this model when the depth of circuits is fixed, independent of the length of the input. The power of such constant-depth circuits using gates computing modular counting functions remains undetermined, despite intensive efforts for nearly twenty years. We make progress on two fronts: let m be a number having r distinct prime factors none of which divides ℓ. We first show that constant depth circuits employing AND/OR/MODm gates cannot compute efficiently the MAJORITY and MODℓ function on n bits if 'few' MODm gates are allowed, i.e. they need size nW&parl0;1s&parl0;log n&parr0;1/&parl0;r-1&parr0;&parr0; if s MODm gates are allowed in the circuit. Second, we analyze circuits that comprise only MOD m gates, We show that in sub-linear size (and arbitrary depth), they cannot compute AND of n bits. Further, we establish that in that size they can only very poorly approximate MODℓ. / Our first result on circuits is derived by introducing a novel notion of computation of boolean functions by polynomials. The study of degree as a resource in polynomial representation of boolean functions is of much independent interest. Our notion, called the weak generalized representation, generalizes all previously studied notions of computation by polynomials over finite commutative rings. We prove that over the ring Zm , polynomials need Wlogn 1/r-1 degree to represent, in our sense, simple functions like MAJORITY and MODℓ. Using ideas from arguments in communication complexity, we simplify and strengthen the breakthrough work of Bourgain showing that functions computed by o(log n)-degree polynomials over Zm do not even correlate well with MODℓ. / Finally, we study the 'Number on the Forehead' model of multiparty communication that was introduced by Chandra, Furst and Lipton [CFL83]. We obtain fresh insight into this model by studying the class CCk of languages that have constant k-party deterministic communication complexity under every possible partition of input bits among parties. This study is motivated by Szegedy's [Sze93] surprising result that languages in CC2 can all be extremely efficiently recognized by very shallow boolean circuits. In contrast, we show that even CC 3 contains languages of arbitrarily large circuit complexity. On the other hand, we show that the advantage of multiple players over two players is significantly curtailed for computing two simple classes of languages: languages that have a neutral letter and those that are symmetric. / Extending the recent breakthrough works of Sherstov [She07, She08b] for two-party communication, we prove strong lower bounds on multiparty communication complexity of functions. First, we obtain a bound of n O(1) on the k-party randomized communication complexity of a function that is computable by constant-depth circuits using AND/OR gates, when k is a constant. The bound holds as long as protocols are required to have better than inverse exponential (i.e. 2-no1 ) advantage over random guessing. This is strong enough to yield lower bounds on the size of an important class of depth-three circuits: circuits having a MAJORITY gate at its output, a middle layer of gates computing arbitrary symmetric functions and a base layer of arbitrary gates of restricted fan-in. / Second, we obtain nO(1) lower bounds on the k-party randomized (bounded error) communication complexity of the Disjointness function. This resolves a major open question in multiparty communication complexity with applications to proof complexity. Our techniques in obtaining the last two bounds, exploit connections between representation by polynomials over teals of a boolean function and communication complexity of a closely related function.

No description available.

No description available.

Thesis (Ph. D.)--Michigan State University. Dept. of Mathematics, 2008. / Title from PDF t.p. (viewed Aug. 17, 2009). Includes bibliographical references (p. 84-87). Also issued in print.