The existence of Thom classes

In this paper we consider the category of unstable modules over the Steenrod algebra. We prove the existence of finite primary decompositions in this category. Moreover, we prove the existence of Thom classes in noetherian unstable modules, i.e., elements that generate cyclic unstable submodules that are closed under the action of the Steenrod algebra. This in turn leads to the proof of the prime filtration theorem in the category of noetherian unstable modules. As an application we present a proof of the Landweber-Stong conjecture (now a theorem by D. Bourguiba and S. Zarati) that does not make use of the classification of injectives.     

On the recognition problem of quasi-homogeneous locally nilpotent derivations in dimension three

We give a criterion to decide if a given w-homogeneous derivation on A?k[X₁,X₂,X₃] is locally nilpotent. We deduce an algorithm which decides if a k-subalgebra of A, which is finitely generated by w-homogeneous elements, is the kernel of some locally nilpotent derivation.     

On a Definitizable Analog of the Trigonometric Moment Problem Generating an Indefinite Toeplitz Form

We prove the existence of an integro-polynomial representation for a sequence of numbers such that there exists a difference operator mapping this sequence to a sequence that generates the solvable trigonometric moment problem. A similar result related to the power moment problem was given in [12].     

Multilevel a posteriori error analysis for reaction–convection–diffusion problems

We present a new approach to the a posteriori error analysis of stable Galerkin approximations of reaction–convection–diffusion problems. It relies upon a non-standard variational formulation of the exact problem, based on the anisotropic wavelet decomposition of the equation residual into convection-dominated scales and diffusion-dominated scales. The associated norm, which is stronger than the standard energy norm, provides a robust (i.e., uniform in the convection limit) control over the streamline derivative of the solution. We propose an upper estimator and a lower estimator of the error, in this norm, between the exact solution and any finite dimensional approximation of it. We investigate the behaviour of such estimators, both theoretically and through numerical experiments. As an output of our analysis, we find that the lower estimator is quantitatively accurate and robust.     

Drift transforms and Green function estimates for discontinuous processes

In this paper, we consider Girsanov transforms of pure jump type for discontinuous Markov processes. We show that, under some quite natural conditions, the Green functions of the Girsanov transformed process are comparable to those of the original process. As an application of the general results, the drift transform of symmetric stable processes is studied in detail. In particular, we show that the relativistic α-stable process in a bounded C^1,1-smooth open set D can be obtained from symmetric α-stable process in D through a combination of a pure jump Girsanov transform and a Feynman-Kac transform. From this, we deduce that the Green functions for these two processes in D are comparable.     

An entropy-based uncertainty principle for a locally compact abelian group

We classify all functions on a locally compact, abelian group giving equality in an entropy inequality generalizing the Heisenberg Uncertainty Principle. In particular, for functions on a real line, we proof a conjecture of Hirschman published in 1957.     

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 Witt ring of a Brauer–Severi variety

For a Brauer–Severi variety X over a field k of characteristic not two, every symmetric bilinear space over X up to Witt equivalence is defined over k. Received: 2 February 1998     

Shell effects in the symmetric-modal fission of pre-actinide nuclei

Mass distributions of fragments in the low-energy fission of nuclei from ¹⁸⁷Ir to ²¹³At have been analysed. This analysis has shown that shell effects in symmetric-mode fragment mass yields from the fission of pre-actinide nuclei could be described if one assumes the existence of two strongly deformed neutron shells in the arising fragments with neutron numbers N₁ ≈ 52 and N₂ ≈ 68. A new method has been proposed for quantitatively describing the mass distributions of the symmetric fission mode for pre-actinides with A ≈ 180–220.     

A note on minimization problems and multistep methods

Summary. We use the qualitative properties of the solution flow of the gradient equation to compute a local minimum of a real-valued function . Under the regularity assumption of all equilibria we show a convergence result for bounded trajectories of a consistent, strictly stable linear multistep method applied to the gradient equation. Moreover, we compare the asymptotic features of the numerical and the exact solutions as done by Humphries, Stuart (1994) and Schropp (1995) for one-step methods. In the case of -stable formulae this leads to an efficient solver for stiff minimization problems. Received July 10, 1995 / Revised version received June 27, 1996