Bases,spanning sets,and the axiom of choice

Two theorems are proved: First that the statement “there exists a field F such that for every vector space over F, every generating set contains a basis” implies the axiom of choice. This generalizes theorems of Halpern, Blass, and Keremedis. Secondly, we prove that the assertion that every vector space over ?₂ has a basis implies that every well‐ordered collection of two‐element sets has a choice function. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Symplectic Yang–Mills theory,Ricci tensor,and connections

A Yang–Mills theory in a purely symplectic framework is developed. The corresponding Euler–Lagrange equations are derived and first integrals are given. We relate the results to the work of Bourgeois and Cahen on preferred symplectic connections.     

Zeta regularized determinants for conic manifolds

We study (relative) zeta regularized determinants of Laplace type operators on compact conic manifolds. We establish gluing formulae for relative zeta regularized determinants. For arbitrary self-adjoint extensions of the Laplace-Beltrami operator, we express the relative ζ-determinants for these as a ratio of the determinants of certain finite matrices. For the self-adjoint extensions corresponding to Dirichlet and Neumann conditions, the formula is particularly simple and elegant.     

Differential algebraic equations with after-effect

In this paper, we are concerned with the solution of delay differential algebraic equations. These are differential algebraic equations with after-effect, or constrained delay differential equations. The general semi-explicit form of the problem consists of a set of delay differential equations combined with a set of constraints that may involve retarded arguments. Even simply stated problems of this type can give rise to difficult analytical and numerical problems. The more tractable examples can be shown to be equivalent to systems of delay or neutral delay differential equations. Our purpose is to highlight some of the complexities and obstacles that can arise when solving these problems, and to indicate problems that require further research.     

Epitaxy: the motion picture

The engineering of many modern electronic devices demands control over a crystal down to the thickness of a single layer of atoms—and future demands will be even more challenging. Such control is achieved by the method of crystal growth known as epitaxy, and that makes this method the subject of intense study. More than that, recent advances are revolutionizing our knowledge of how surfaces grow. In fact, growing surfaces show a beautifully rich variety of phenomena, many of which are only now beginning to be uncovered. In the past few years many surface imaging techniques have been used to give us a close look at how crystals grow—while they are growing. The purpose of this article will be to illustrate some of the ways real surfaces grow and change as revealed by some of the latest in situ microscopic imaging technologies.

It is often said that crystal growth is more of an art than a science. Here we will show that it is emphatically both.     

Increasing Reliability in Cable-Free Radio LANs Low Level Forwarding in HIPERLAN

Radio LANs are emerging in the computing world. They are supported by distinct configurations: on the one hand radio LANs with base stations and a wired backbone, on the other hand radio LANs implementing Intra-forwarding. Adding a new node in a radio LAN with Intra-forwarding, increases the reliability, while this reliability decreases with ad hoc or hub configurations. This advantage of Intra-forwarding is quantified. Intra-forwarding, as defined in the HIPERLAN standard, is based on a hop-by-hop policy and link check procedures. It is shown how point-to-point packets and broadcast packets are forwarded. The three basic components of Intra-forwarding needed to build and update the Intra-forwarding database are described. The originality of this approach is the use of multipoint relays which enable better scalability. The correctness of the Intra-forwarding protocol is proved and its cost is evaluated.