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     

Moments of an exponential functional of random walks and permutations with given descent sets

The exponential functional of simple, symmetric random walks with negative drift is an infinite polynomial Y = 1 + ξ₁ + ξ₁ξ₂ + ξ₁ξ₂ξ₃ + ⋯ of independent and identically distributed non-negative random variables. It has moments that are rational functions of the variables μ _k = E(ξ ^k ) < 1 with universal coefficients. It turns out that such a coefficient is equal to the number of permutations with descent set defined by the multiindex of the coefficient. A recursion enumerates all numbers of permutations with given descent sets in the form of a Pascal-type triangle. This revised version was published online in August 2006 with corrections to the Cover Date.     

Synthesis of paramagnetic BODIPY dyes as new double (spin and fluorescence) sensors

Paramagnetic pyrroline and 1,2,3,6-tetrahydropyridine derivatives of BODIPY and their diamagnetic analogs have been synthesized and characterized as novel redox double sensor and cation sensitive reagents.     

Symmetric presentations of Abelian groups

We characterise the abelianisation of a group that has a presentation for which the set of relations is invariant under the full symmetric group acting on the set of generators. This improves a result of Emerson.

     

Fermions in Odd Space-Time Dimensions: Back to Basics

It is a well-known feature of odd space-time dimensions d that there exist two inequivalent fundamental representations A and B of the Dirac gamma matrices. Moreover, the parity transformation swaps the fermion fields living in A and B. As a consequence, a parity-invariant Lagrangian can only be constructed by incorporating both the representations. Based upon these ideas and contrary to long-held belief, we show that in addition to a discrete exchange symmetry for the massless case, we can also define chiral symmetry provided the Lagrangian contains fields corresponding to both the inequivalent representations. We also study the transformation properties of the corresponding chiral currents under parity and charge-conjugation operations. We work explicitly in 2 + 1 dimensions and later show how some of these ideas generalize to an arbitrary number of odd dimensions.     

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.     

Non-Trivial t-Intersection in the Function Lattice

The function lattice, or generalized Boolean algebra, is the set of ℓ-tuples with the ith coordinate an integer between 0 and a bound n_i. Two ℓ-tuples t-intersect if they have at least t common nonzero coordinates. We prove a Hilton–Milner type theorem for systems of t-intersecting ℓ-tuples.Received September 29, 2004     

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.