Kinetic Models for Chemotaxis and their Drift-Diffusion Limits

Kinetic models for chemotaxis, nonlinearly coupled to a Poisson equation for the chemo-attractant density, are considered. Under suitable assumptions on the turning kernel (including models introduced by Othmer, Dunbar and Alt), convergence in the macroscopic limit to a drift-diffusion model is proven. The drift-diffusion models derived in this way include the classical Keller-Segel model. Furthermore, sufficient conditions for kinetic models are given such that finite-time-blow-up does not occur. Examples are given satisfying these conditions, whereas the macroscopic limit problem is known to exhibit finite-time-blow-up. The main analytical tools are entropy techniques for the macroscopic limit as well as results from potential theory for the control of the chemo-attractant density.Present address: Centro de Matemática e Aplicações Fundamentais, Universidade de Lisboa, Av. Prof. Gama Pinto 2, 1649-003, Lisboa, Portugal     

Expressive equivalence of least and inflationary fixed-point logic

We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have the same expressive power. On infinite structures however, the question whether there is a formula in IFP not equivalent to any LFP-formula was left open.

In this paper, we answer the question negatively, i.e. we show that the two logics are equally expressive on arbitrary structures. We give a syntactic translation of IFP-formulae to LFP-formulae such that the two formulae are equivalent on all structures.

As a consequence of the proof we establish a close correspondence between the LFP-alternation hierarchy and the IFP-nesting depth hierarchy. We also show that the alternation hierarchy for IFP collapses to the first level, i.e. the complement of any inflationary fixed point is itself an inflationary fixed point.     

Digital Sums and Divide-and-Conquer Recurrences: Fourier Expansions and Absolute Convergence

We propose means for computing the Fourier expansions of periodic functions appearing in higher moments of the sum-of-digits function and in the solutions of some divide-and-conquer recurrences. The expansions are shown to be absolutely convergent. We also give a new approach to efficiently compute numerically the coefficients involved to high precision.     

Thinking and Turing's test

The questions raised by A. M. Turing in his paper on thought and machines are discussed. Human thought is considered in turn as a concept of normal language usage, as a basic concept of psychology, and as the basis of intellectual activity. It is concluded that neither of these notions of thought identifies something specific that a human being can or cannot do. The imitation game proposed by Turing for deciding whether a machine can think is found to result from an arbitrary empoverishment of the channel of communication between the interrogator and the item under investigation. Turing's notions of thinking are shown to lead to logical difficulties. An alternative view of consciousness, that would place it beyond the reach of any finite test, is finally discussed.     

The accurate dimensional measurements within small internal structures

This paper shows that the dimension of internal structure of a component can be measured remotely to a resolution better than 5 μm by use of the combination of high resolution optical microscopy and image processing.A specialised high resolution, long working distance and diffraction limited lens was used to image within the component. A series of digital images were made to map spatially the interior of the component. An edge detector was then used to localise the specific location of features in order that an accurate internal measurement could be made. A visualisation of the internal surface finish was also achieved.     

Field optimized initial state based control of photodissociation

A new scheme for controlling photodissociation through preparation of a variationally optimized linear superposition of field free vibrational eigenstates is applied for selective control of IBr and HI dissociation. The dependence of photodissociation on various field parameters and initial conditions is examined to investigate the mechanistic basis of selective control. The parametric equations of motion approach for determining vibrational dynamics as a function of field parameters without having to solve the time dependent Schrödinger equation explicitly for each field parameter separately is outlined and its use to identify field characteristics which will provide the requisite population mix represented by the optimal linear superposition of vibrational states is advocated.     

Properties of nonparametric estimators of autocovariance for stationary random fields

Summary We introduce nonparametric estimators of the autocovariance of a stationary random field. One of our estimators has the property that it is itself an autocovatiance. This feature enables the estimator to be used as the basis of simulation studies such as those which are necessary when constructing bootstrap confidence intervals for unknown parameters. Unlike estimators proposed recently by other authors, our own do not require assumptions such as isotropy or monotonicity. Indeed, like nonparametric function estimators considered more widely in the context of curve estimation, our approach demands only smoothness and tail conditions on the underlying curve or surface (here, the autocovariance), and moment and mixing conditions on the random field. We show that by imposing the condition that the estimator be a covariance function we actually reduce the numerical value of integrated squared error.