On the closure of sets of attainability in ℝ2

We display a class of control systems in the plane for which it is generically true that the set attainable from any point in the plane is a closed Whitney prestratified set. That is, even if the attainable set of some given system is not closed, we can approximate the system as closely as we wish by another system whose attainable sets are closed.     

Comments on a selector theorem in Banach spaces

Recently, Cole (Ref. 1) presented a selection theorem in reflexive Banach spaces under certain convexity assumptions. In this paper, we present a proof of Cole's selection theorem without imposing the convexity condition. This makes the result more powerful for application in optimal control theory.The authors would like to thank Professor L. Cesari for pointing out a critical misprint in the original version of this note.     

A note on a theorem of heath

We propose a generalization of Heath's theorem that semi-metric spaces with point-countable bases are developable: A semi-metrizable space X is developabale if (and only if) there is on it a σ-discrete family $\text{C}\text{=?}{}_{\mathrm{m?N}}\text{C}{}_{\mathrm{m}}$ of closed sets, interior-preserving over each member C of which is a countable family {$\text{D}$_n(C): n ∈ N} of collections of open sets such that if U is a neighbourhood of ξ∈X, then there are such a Γ∈$\text{C}$ and such a v∈ N that ξ ? Γ and ξ∈ int ∩ (D: ξ: D∈$\text{D}$_v(Γ))?U.     

An existence theorem for Lagrange problems in Banach spaces

We give an existence theorem for a Lagrange problem in a reflexive separable Banach space. We prove the main theorem by means of the direct method of the calculus of variations introduced by Tonelli.This work has been supported by the Laboratorio per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Genova, Italy.The authors wish to thank Professor J. P. Cecconi who has drawn their attention to these problems.     

A minimal set-valued strong derivative for vector-valued Lipschitz functions

A set-valued derivative for a function at a point is a set of linear transformations whichapproximates the function near the point. This is stated precisely, and it is shown that, in general, there is not a unique minimal set-valued derivative for functions in the family of closed convex sets of linear transformations. For Lipschitz functions, a construction is given for a specific set-valued derivative, which reduces to the usual derivative when the function is strongly differentiable, and which is shown to be the unique minimal set-valued derivative within a certain subfamily of the family of closed convex sets of linear transformations. It is shown that this constructed set may be larger than Clarke's and Pourciau's set-valued derivatives, but that no irregularity is introduced.The author would like to thank Professor H. Halkin for numerous discussions of the material contained here.     

Differential entropy and tiling

This paper relates the differential entropy of a sufficiently nice probability density functionp on Euclideann-space to the problem of tilingn-space by the translates of a given compact symmetric convex setS with nonempty interior. The relationship occurs via the concept of the epsilon entropy ofn-space under the norm induced byS, with probability induced byp. An expression is obtained for this entropy as approaches 0, which equals the differential entropy ofp, plusn times the logarithm of 2/, plus the logarithm of the reciprocal of the volume ofS, plus a constantC(S) depending only onS, plus a term approaching zero with. The constantC(S) is called the entropic packing constant ofS; the main results of the paper concern this constant. It is shown thatC(S) is between 0 and 1; furthermore,C(S) is zero if and only if translates ofS tile all ofn-space.This paper presents the results of one phase of research carried out at the Jet Propulsion Laboratory, California Institute of Technology, under Contract No. NAS 7-100, sponsored by the National Aeronautics and Space Administration.     

The Lamplighter Group as a Group Generated by a 2-state Automaton, and its Spectrum

We realize the lamplighter group /2 as a group defined by a 2-state automaton. We study the corresponding action of this group on a binary tree and on its boundary. The final goal is the computation for a special system of generators of the spectrum of the Markov (or the random walk) operator which is [–1,1] in this case and of the spectral measure which is a discrete measure concentrated on a dense countable set of points in [–1,1] (a new effect unseen before for Markovian operators on groups which leads to a counterexample to the Strong Atiyah Conjecture). This is done by the computation of spectra of finite-dimensional approximations of the operator and uses an idea of fractalness in a similar way it was used by Bartholdi and Grigorchuk for the computation of the spectra of some branch groups. We also obtain the asymptotic of type e^–1/1–x of the spectral measure in the neighborhood of 1 and show that Følner sets grow exponentially.     

On Codes Identifying Sets of Vertices in Hamming Spaces

A code is called (t, 2)-identifying if for all the words x, y(x y) and the sets (B _t (x) B _t (y)) C and are nonempty and different. Constructions of such codes and a lower bound on the cardinality of these codes are given. The lower bound is shown to be sharp in some cases. We also discuss a more general notion of -identifying codes and introduce weakly identifying codes.     

Laplace Operators on Fractal Lattices with Random Blow-Ups

Starting from a finitely ramified self-similar set X we can construct an unbounded set X by blowing-up the initial set X. We consider random blow-ups and prove elementary properties of the spectrum of the natural Laplace operator on X (and on the associated lattice). We prove that the spectral type of the operator is almost surely deterministic with the blow-up and that the spectrum coincides with the support of the density of states almost surely (actually, our result is more precise). We also prove that if the density of states is completely created by the so-called Neuman–Dirichlet eigenvalues, then almost surely the spectrum is pure point with compactly supported eigenfunctions.