Renormalization methods in KAM theory

It is well known that an integrable (in the sense of Arnold-Jost) Hamiltonian system gives rise to quasi-periodic motion with trajectories running on invariant tori. These tori foliate the whole phase space. If we perturb an integrable system, the Kolmogorow-Arnold-Moser (KAM) theorem states that, provided some non-degeneracy condition and that the perturbation is sufficiently small, most of the invariant tori carrying quasi-periodic motion persist, getting only slightly deformed. The measure of the persisting invariant tori is large together with the inverse of the size of the perturbation. In the first part of the thesis we shall use a Renormalization Group (RG) scheme in order to prove the classical KAM result in the case of a non analytic perturbation (the latter will only be assumed to have continuous derivatives up to a sufficiently large order). We shall proceed by solving a sequence of problems in which theperturbations are analytic approximations of the original one. We will finally show that the approximate solutions will converge to a differentiable solution of our original problem. In the second part we will use an RG scheme using continuous scales, so that instead of solving an iterative equation as in the classical RG KAM, we will end up solving a partial differential equation. This will allow us to reduce the complications of treating a sequence of iterative equations to the use of the Banach fixed point theorem in a suitable Banach space.

Topological stability through tame retractions

A smooth map is said to be stable if small perturbations of the map only differ from the original one by a smooth change of coordinates. Smoothly stable maps are generic among the proper maps between given source and target manifolds when the source and target dimensions belong to the so-called nice dimensions, but outside this range of dimensions, smooth maps cannot generally be approximated by stable maps. This leads to the definition of topologically stable maps, where the smooth coordinate changes are replaced with homeomorphisms. The topologically stable maps are generic among proper maps for any dimensions of source and target. The purpose of this thesis is to investigate methods for proving topological stability by constructing extremely tame (E-tame) retractions onto the map in question from one of its smoothly stable unfoldings. In particular, we investigate how to use E-tame retractions from stable unfoldings to find topologically ministable unfoldings for certain weighted homogeneous maps or germs. Our first results are concerned with the construction of E-tame retractions and their relation to topological stability. We study how to construct the E-tame retractions from partial or local information, and these results form our toolbox for the main constructions. In the next chapter we study the group of right-left equivalences leaving a given multigerm f invariant, and show that when the multigerm is finitely determined, the group has a maximal compact subgroup and that the corresponding quotient is contractible. This means, essentially, that the group can be replaced with a compact Lie group of symmetries without much loss of information. We also show how to split the group into a product whose components only depend on the monogerm components of f. In the final chapter we investigate representatives of the E- and Z-series of singularities, discuss their instability and use our tools to construct E-tame retractions for some of them. The construction is based on describing the geometry of the set of points where the map is not smoothly stable, discovering that by using induction and our constructional tools, we already know how to construct local E-tame retractions along the set. The local solutions can then be glued together using our knowledge about the symmetry group of the local germs. We also discuss how to generalize our method to the whole E- and Z- series.

Efficient Content-based Routing, Mobility-aware Topologies, and Temporal Subspace Matching

Event-based systems are seen as good candidates for supporting distributed applications in dynamic and ubiquitous environments because they support decoupled and asynchronous many-to-many information dissemination. Event systems are widely used, because asynchronous messaging provides a flexible alternative to RPC (Remote Procedure Call). They are typically implemented using an overlay network of routers. A content-based router forwards event messages based on filters that are installed by subscribers and other routers. The filters are organized into a routing table in order to forward incoming events to proper subscribers and neighbouring routers. This thesis addresses the optimization of content-based routing tables organized using the covering relation and presents novel data structures and configurations for improving local and distributed operation. Data structures are needed for organizing filters into a routing table that supports efficient matching and runtime operation. We present novel results on dynamic filter merging and the integration of filter merging with content-based routing tables. In addition, the thesis examines the cost of client mobility using different protocols and routing topologies. We also present a new matching technique called temporal subspace matching. The technique combines two new features. The first feature, temporal operation, supports notifications, or content profiles, that persist in time. The second feature, subspace matching, allows more expressive semantics, because notifications may contain intervals and be defined as subspaces of the content space. We also present an application of temporal subspace matching pertaining to metadata-based continuous collection and object tracking.

A Probabilistic Approach to the Primary Visual Cortex

What can the statistical structure of natural images teach us about the human brain? Even though the visual cortex is one of the most studied parts of the brain, surprisingly little is known about how exactly images are processed to leave us with a coherent percept of the world around us, so we can recognize a friend or drive on a crowded street without any effort. By constructing probabilistic models of natural images, the goal of this thesis is to understand the structure of the stimulus that is the raison d etre for the visual system. Following the hypothesis that the optimal processing has to be matched to the structure of that stimulus, we attempt to derive computational principles, features that the visual system should compute, and properties that cells in the visual system should have. Starting from machine learning techniques such as principal component analysis and independent component analysis we construct a variety of sta- tistical models to discover structure in natural images that can be linked to receptive field properties of neurons in primary visual cortex such as simple and complex cells. We show that by representing images with phase invariant, complex cell-like units, a better statistical description of the vi- sual environment is obtained than with linear simple cell units, and that complex cell pooling can be learned by estimating both layers of a two-layer model of natural images. We investigate how a simplified model of the processing in the retina, where adaptation and contrast normalization take place, is connected to the nat- ural stimulus statistics. Analyzing the effect that retinal gain control has on later cortical processing, we propose a novel method to perform gain control in a data-driven way. Finally we show how models like those pre- sented here can be extended to capture whole visual scenes rather than just small image patches. By using a Markov random field approach we can model images of arbitrary size, while still being able to estimate the model parameters from the data.

An exponential stability criterion for certain nonlinear systems

Improved sufficient conditions are derived for the exponential stability of a nonlinear time varying feedback system having a time invariant blockG in the forward path and a nonlinear time varying gain ϕ(.)k(t) in the feedback path. φ(.) being an odd monotone nondecreasing function. The resulting bound on is less restrictive than earlier criteria.

On energy-momentum tensors as sources of spin-2 fields

The improvement terms in the generalised energy-momentum tensor of Callan, Coleman and Jackiw can be derived from a variational principle if the Lagrangian is generalised to describe coupling between ‘matter’ fields and a spin-2 boson field. The required Lorentz-invariant theory is a linearised version of Kibble-Sciama theory with an additional (generally-covariant) coupling term in the Lagrangian. The improved energy-momentum tensor appears as the source of the spin-2 field, if terms of second order in the coupling constant are neglected.

Conformal invariance and scalar-tensor theories

A new generalisation of Einstein’s theory is proposed which is invariant under conformal mappings. Two scalar fields are introduced in addition to the metric tensor field, so that two special choices of gauge are available for physical interpretation, the ‘Einstein gauge’ and the ‘atomic gauge’. The theory is not unique but contains two adjustable parameters ζ anda. Witha=1 the theory viewed from the atomic gauge is Brans-Dicke theory (ω=−3/2+ζ/4). Any other choice ofa leads to a creation-field theory. In particular the theory given by the choicea=−3 possesses a cosmological solution satisfying Dirac’s ‘large numbers’ hypothesis.

A differential transformation technique for the analysis of a class of non-linear time varying systems

The scope of the differential transformation technique, developed earlier for the study of non-linear, time invariant systems, has been extended to the domain of time-varying systems by modifications to the differential transformation laws proposed therein. Equivalence of a class of second-order, non-linear, non-autonomous systems with a linear autonomous model of second order is established through these transformation laws. The feasibility of application of this technique in obtaining the response of such non-linear time-varying systems is discussed.

An exponential stability criterion for certain nonlinear systems

Improved sufficient conditions are derived for the exponential stability of a nonlinear time varying feedback system having a time invariant blockG in the forward path and a nonlinear time varying gain ϕ(.)k(t) in the feedback path. φ(.) being an odd monotone nondecreasing function. The resulting bound on $$\left( {{{\frac{{dk}}{{dt}}} \mathord{\left/ {\vphantom {{\frac{{dk}}{{dt}}} k}} \right. \kern-\nulldelimiterspace} k}} \right)$$ is less restrictive than earlier criteria.

A method for separation of stresses in Two- and three-dimensional photoelasticity

A method for separation of stresses in two and three-dimensional photo elasticity using the harmonisation ofjrst stress invariant along a straight section is deve- ,dped. For two-dimensions, the equations of equilibrium are reformulated in terms ojsum and difference of normal stresses and relations are obtained which can be used for harmonisation of the first invariant of stress along a straight section. A similar procedure is adopted for three-dimensions by making use of the Beltrmi-MicheN equations. The new relations are used in finite d~yerencefo rm to evaluate the sum of normal stresses along straight sections in a three-dimensional body. The method requires photoelastic data along the section as well ~rra djacent sections. This method could be used as an alternative to the shear d@erence method for separation of stresses in photoelasticity. 7he accuracy and reliability of the method is ver$ed by applying the method to problems whose solutions are known.

On the stability of a nonlinear system with periodic coefficients

A quasi-geometric stability criterion for feedback systems with a linear time invariant forward block and a periodically time varying nonlinear gain in the feedback loop is developed.

A Generalized Approach to Multiresolution Complex SAR Signal Processing

Multiresolution synthetic aperture radar (SAR) image formation has been proven to be beneficial in a variety of applications such as improved imaging and target detection as well as speckle reduction. SAR signal processing traditionally carried out in the Fourier domain has inherent limitations in the context of image formation at hierarchical scales. We present a generalized approach to the formation of multiresolution SAR images using biorthogonal shift-invariant discrete wavelet transform (SIDWT) in both range and azimuth directions. Particularly in azimuth, the inherent subband decomposition property of wavelet packet transform is introduced to produce multiscale complex matched filtering without involving any approximations. This generalized approach also includes the formulation of multilook processing within the discrete wavelet transform (DWT) paradigm. The efficiency of the algorithm in parallel form of execution to generate hierarchical scale SAR images is shown. Analytical results and sample imagery of diffuse backscatter are presented to validate the method.

Influence of Hydrophilic Surface Specificity on the Structural Properties of Confined Water

The influence of chemical specificity of hydrophilic surfaces on the structure of confined water in the subnanometer regime is investigated using grand canonical Monte Carlo Simulations. The structural variations for water confined between hydroxylated silica surfaces are contrasted with water confined between mica surfaces. Although both surfaces are hydrophilic, our Study shows that hydration of potassium ions on the mica surface has a strong influence on the water Structure and solvation force response of confined water. In contrast to the disrupted hydrogen bond network observed for water confined between Mica Surfaces, water between silica surfaces retains its hydrogen bond network displaying bulklike structural features down to surface separations as small as 0.45 nm. Hydrogen bonding of all invariant contact water layer with the surface silanol groups aids in maintaining a constant number of hydrogen bonds per water molecule for the silica surfaces. As a consequence water depletion and rearrangement upon decreasing confinement is a strong function of the hydrophilic surface specificity, particularly at smaller separations. An oscillatory solvation force response is only observed for water confined between Silica surfaces, and bulklike features are observed for both Surfaces above a surface separation of about 1.2 nm. We evaluate and contrast the water density, dipole moment distributions, pi pair correlation functions, and solvation forces as a function of the surface separation.

NKT cells from normal and tumor-bearing human livers are phenotypically and functionally distinct from murine NKT cells

A major group of murine NK T (NKT) cells express an invariant Vα14Jα18 TCR α-chain specific for glycolipid Ags presented by CD1d. Murine Vα14Jα18+ account for 30–50% of hepatic T cells and have potent antitumor activities. We have enumerated and characterized their human counterparts, Vα24Vβ11+ NKT cells, freshly isolated from histologically normal and tumor-bearing livers. In contrast to mice, human NKT cells are found in small numbers in healthy liver (0.5% of CD3+ cells) and blood (0.02%). In contrast to those in blood, most hepatic Vα24+ NKT cells express the Vβ11 chain. They include CD4+, CD8+, and CD4−CD8− cells, and many express the NK cell markers CD56, CD161, and/or CD69. Importantly, human hepatic Vα24+ T cells are potent producers of IFN-γ and TNF-α, but not IL-2 or IL-4, when stimulated pharmacologically or with the NKT cell ligand, α-galactosylceramide. Vα24+Vβ11+ cell numbers are reduced in tumor-bearing compared with healthy liver (0.1 vs 0.5%; p < 0.04). However, hepatic cells from cancer patients and healthy donors release similar amounts of IFN-γ in response to α-galactosylceramide. These data indicate that hepatic NKT cell repertoires are phenotypically and functionally distinct in humans and mice. Depletions of hepatic NKT cell subpopulations may underlie the susceptibility to metastatic liver disease.

CD1 expression and CD1-restricted T cell activity in normal and tumour-bearing human liver

CD1d-restricted natural killer T (NKT) cells expressing invariant Valpha14Jalpha18 T cell receptor alpha-chains are abundant in murine liver and are implicated in the control of malignancy, infection and autoimmunity. Invariant NKT cells have potent anti-metastatic effects in mice and phase I clinical trials involving their homologues in humans are ongoing. However, invariant NKT cells are less abundant in human liver ( approximately 0.5% of hepatic T cells) than in murine liver (up to 50%) and it is not known if other hepatic T cells are CD1-restricted. We have examined expression of CD1a, CD1b, CD1c and CD1d mRNA and protein in human liver and evaluated the reactivity of mononuclear cells (MNC) from histologically normal and tumour-bearing human liver specimens against these CD1 isoforms. Messenger RNA for all CD1 isotypes was detectable in all liver samples. CD1c and CD1d were expressed at the protein level by hepatic MNC. CD1d, only, was detectable at the cell surface, but CD1c and CD1d were found at an intracellular location in significant numbers of liver MNC. CD1b was not expressed by MNC from healthy livers but was detectable within MNC in all tumour samples tested. Hepatic T cells exhibited reactivity against C1R cells expressing transfected CD1c and CD1d, but neither CD1a nor CD1b. These cells secreted interferon-gamma (IFN-gamma) but not interleukin-4 (IL-4) upon stimulation. In contrast, similar numbers of peripheral T cells released 13- and 16-fold less IFN-gamma in response to CD1c and CD1d, respectively. CD1c and CD1d expression and T cell reactivity were not altered in tumour-bearing liver specimens compared to histologically normal livers. These data suggest that, in addition to invariant CD1d-restricted NKT cells, autoreactive T cells that recognise CD1c and CD1d and release inflammatory cytokines are abundant in human liver.