Symmetric incidence groupoids

In [7] point-reflection geometries were studied which can be derived from commutative kinematic spaces without involutory elements. But the class of point-reflection geometries is larger. For example, elliptic planes with their reflections cannot be derived from commutative kinematic spaces. Here we investigate a larger class of reflection geometries.This paper was sponsored by Vigoni Program 1999.     

On Romanoff's constant

In 1934, Romanoff proved that there are a positive proportion natural numbers which can be expressed as the sum of a prime and a power of 2. In this paper, a quantitative version of this theorem is given. We show that the proportion is larger than 0.0868 and for a positive proportion of odd integers the number of such representations is between 1 and 16.     

Multiple harmonic series related to multiple Euler numbers

In this paper, we define the multiple Euler numbers and consider some multiple harmonic series of Mordell-Tornheim's type, which is a partial sum of the Mordell-Tornheim zeta series defined by Matsumoto. Indeed, we prove a certain reducibility of these series as well as the multiple zeta values.     

Precise measurement of magnetic moment of short-lived β-emitting nuclei12B ( I π=1+, T 1/2=20.18 ms)

The spin polarized β-emitting nuclei¹²B (I ^π=1⁺,T _1/2=20.18 ms) were produced by the nuclear reaction¹¹B(d, p)¹²B and by the selection technique of the incident deuteron energy and the¹²B recoil angle following the nuclear reaction. The nuclear magnetic moment of the short-lived nuclei¹²B was measured by β-NMR with the β-NMR and β-NQR setup established for the first time in China. The nuclear magnetic moment of¹²B was determined to be μ=0.99993±0.00048 nm org=0.99993±0.00048 after the precise correction of the Knight shift.     

The solvable radical of Sylow factorizable groups

Let G be a finite group. A complete Sylow product of G is a product of Sylow subgroups of G, one for each prime divisor of |G|. We shall call G a Sylow factorizable group if it is equal to at least one of its complete Sylow products. We prove that if G is a Sylow factorizable group then the intersection of all complete Sylow products of G is equal to the solvable radical of G. We generalize the concepts and the result to Sylow products which involve an arbitrary subset of the prime divisors of |G|. Received: 26 January 2005     

Electronic structure and topography of annealed SrTiO3(1 1 1) surfaces studied with MIES and STM

Perovskites of ABO₃ type like strontium titanate (SrTiO₃) are of great practical concern as materials for oxygen sensors operating at high temperatures. It is well known that the surface layer shows different properties compared to the bulk. Numerous studies exist for the SrTiO₃(1 0 0) and (1 1 0) surfaces which have investigated the changes in the electronic structure and topography as a function of the preparation conditions. They have indicated a rather complex behaviour of the surface and the near surface region of SrTiO₃ at elevated temperatures. Up to now, the behaviour of the SrTiO₃(1 1 1) surfaces under thermal treatment is not sufficiently known. This contribution is intended to work out the relation between alteration of the surface topography with respect to the preparation conditions and the simultaneous changes of the electronic structure. We applied scanning tunneling microscopy (STM) to investigate the surface topography and, additionally, metastable impact electron spectroscopy (MIES) to study the surface electronic structure of reconstructed SrTiO₃(1 1 1) surfaces. The crystals were heated up to 1000 °C under reducing and oxidizing conditions. Both preparation conditions cause strong changes of the surface topography and electronic structure. A microfaceting of the topmost layers is found.     

On the null-controllability of the heat equation in unbounded domains

We make two remarks about the null-controllability of the heat equation with Dirichlet condition in unbounded domains. Firstly, we give a geometric necessary condition (for interior null-controllability in the Euclidean setting) which implies that one cannot go infinitely far away from the control region without tending to the boundary (if any), but also applies when the distance to the control region is bounded. The proof builds on heat kernel estimates. Secondly, we describe a class of null-controllable heat equations on unbounded product domains. Elementary examples include an infinite strip in the plane controlled from one boundary and an infinite rod controlled from an internal infinite rod. The proof combines earlier results on compact manifolds with a new lemma saying that the null-controllability of an abstract control system and its null-controllability cost are not changed by taking its tensor product with a system generated by a non-positive self-adjoint operator.     

A $\Gamma$-convergence result for doubling metric measures and associated perimeters

Abstract. In this paper we study the notion of perimeter associated with doubling metric measures or strongly weights. We prove that the metric perimeter in the sense of L. Ambrosio and M. Miranda jr. coincides with the metric Minkowski content and can be obtained also as a -limit of Modica-Mortola type degenerate integral functionals. Received: 27 August 2001 / Accepted: 29 November 2001 / Published online: 10 June 2002 Investigation supported by University of Bologna, funds for selected research topics and by GNAMPA of INdAM, Italy. The authors are very grateful to Luigi Ambrosio and Francesco Serra Cassano for making their preprints available to them, for listening with patience and for many unvaluable suggestions.     

Combinatorial Lie bialgebras of curves on surfaces

Goldman (Invent. Math. 85(2) (1986) 263) and Turaev (Ann. Sci. Ecole Norm. Sup. (4) 24 (6) (1991) 635) found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of curves on a surface. When the surface has non-empty boundary, this vector space has a basis of cyclic reduced words in the generators of the fundamental group and their inverses. We give a combinatorial algorithm to compute this Lie bialgebra on this vector space of cyclic words. Using this presentation, we prove a variant of Goldman's result relating the bracket to disjointness of curve representatives when one of the classes is simple. We exhibit some examples we found by programming the algorithm which answer negatively Turaev's question about the characterization of simple curves in terms of the cobracket. Further computations suggest an alternative characterization of simple curves in terms of the bracket of a curve and its inverse. Turaev's question is still open in genus zero.