Spectral measures,I: General theory in a topological vector space

Part I of this paper is devoted to the general theory of spectral measures in topological vector spaces. We extend the Hilbert space theory to this setting and generalize the notion of spectral measure in some useful ways to provide a framework for Part II, etc.     

A separable manifold failing to have the homotopy type of a CW-complex

We show that (a variation of) the Prüfer surface, which is an example of a separable non-metrizable 2-manifold, does not have the homotopy type of a CW-complex. Received: 6 February 2007 Revised: 21 August 2007     

Efficient construction of a small hitting set for combinatorial rectangles in high dimension

We describe a deterministic algorithm which, on input integersd, m and real number (0,1), produces a subset S of [m] ^d ={1,2,3,...,m} ^d that hits every combinatorial rectangle in [m] ^d of volume at least , i.e., every subset of [m] ^d the formR ₁×R ₂×...×R _d of size at least m ^d . The cardinality of S is polynomial inm(logd)/, and the time to construct it is polynomial inmd/. The construction of such sets has applications in derandomization methods based on small sample spaces for general multivalued random variables.A preliminary version of this paper appeared in Proceedings of the 25th Annual ACM Symposium on Theory of Computing, 1993.Research partially done while visiting the International Computer Science Institute. Research supported in part by a grant from the Israel-USA Binational Science Foundation.A large portion of this research was done while still at the International Computer Science Institute in Berkeley, California. Research supported in part by National Science Foundation operating grants CCR-9304722 and NCR-9416101, and United States-Israel Binational Science Foundation grant No. 92-00226.Supported in part by NSF under grants CCR-8911388 and CCR-9215293 and by AFOSR grants AFOSR-89-0512 AFOSR-90-0008, and by DIMACS, which is supported by NSF grant STC-91-19999 and by the New Jersey Commission on Science and Technology. Research partially done while visiting the International Computer Science Institute.Partially supported by NSF NYI Grant No. CCR-9457799. Most of this research was done while the author was at MIT, partially supported by an NSF Postdoctoral Fellowship. Research partially done while visiting the International Computer Science Institute.     

Transversals in long rectangular arrays

In this paper it is shown that every m×n array in which each symbol appears at most (mn-1)/(m-1) times has a transversal, when n?2m³.     

Polyhedra as domains of harmonic maps

Certain more or less known properties of polyhedra in combinatorial topology are established. In particular, the concept of normal pseudomanifolds is extended to so-called admissible polyhedra, whereby branching may occur. Admissible Riemannian polyhedra serve as domains of (generalized) harmonic functions or maps.     

Voisinages dérivés ε-barycentriques

Let Y be a finite full subcomplex of a simplicial complex X. For any subdivision X′ of X keeping Y invariant, and for ε small enough relatively to X′, we define the ε-barycentric derived neighbourhood V_ε(X′,Y) of Y in X′. Theorem: for small enoughε, and for any simplexKofY, the transverse stars ofKinV_ε(X,Y) andV_ε(X′,Y) have the same support. As a consequence, we derive at the end of the paper a decomposition theorem for p.l. homeomorphisms of a polyhedron keeping a finite subpolyhedron invariant. Keywords: Polyhedron; Simplicial complex; Derived neighbourhood; p.l. homeomorphism     

Vertex-minimal simplicial immersions of the Klein bottle in three space

Although the Klein bottle cannot be embedded inR ³, it can be immersed there, and in more than one way. Smooth examples of these immersions have been studied extensively, but little is known about their simplicial versions. The vertices of a triangulation play a crucial role in understanding immersions, so it is reasonable to ask: How few vertices are required to immerse the Klein bottle inR ³? Several examples that use only nine vertices are given in Section 3, and since any triangulation of the Klein bottle must have at least eight vertices, the question becomes: Can the Klein bottle be immersed inR ³ using only eight vertices? In this paper, we show that, in fact, eight isnot enough, nine are required. The proof consists of three parts: first exhibiting examples of 9-vertex immersions; second determining all possible 8-vertex triangulations ofK ²; and third showing that none of these can be immersed inR ³.     

Homology representations arising from the half cube

We construct a CW decomposition Cn of the n-dimensional half cube in a manner compatible with its structure as a polytope. For each 3?k?n, the complex Cn has a subcomplex Cn,k, which coincides with the clique complex of the half cube graph if k=4. The homology of Cn,k is concentrated in degree k−1 and furthermore, the (k−1)st Betti number of Cn,k is equal to the (k−2)nd Betti number of the complement of the k-equal real hyperplane arrangement. These Betti numbers, which also appear in theoretical computer science, numerical analysis and engineering, are the coefficients of a certain Pascal-like triangle (Sloane's sequence A119258). The Coxeter groups of type Dn act naturally on the complexes Cn,k, and thus on the associated homology groups.     

Fluid flow through a helical pipe

In this paper we study the flow of incompressible Newtonian fluid through a helical pipe with prescribed pressures at its ends. Pipe’s thickness and the helix step are considered as the small parameter ɛ. By rigorous asymptotic analysis, as ɛ→ 0 , the effective behaviour of the flow is found. The error estimate for the approximation is proved.     

The directed packing numbersDD(t,v, v), t≧4

A directed packing is a maximal collection ofk-subsets, called blocks, of a set of cardinalityv having the property that no orderedt-subset occurs in more than one block. A block contains an orderedt-set if its symbols appear, left to right, in the block. The cardinality of such a maximal collection is denoted byDD(t, k, v). We consider the special case whenk=v and derive some results on the sizes of maximal collections.     

The Hopf invariant of a Haefliger knot

We show that for any given differentiable embedding of the three-sphere in six-space there exists a Seifert surface (in six-space) with arbitrarily prescribed signature. This implies, according to our previous paper, that given such a (6,3)-knot endowed with normal one-field, we can construct a Seifert surface so that the outward normal field along its boundary coincides with the given normal one-field. This aspect enables us to understand the resemblance between Ekholm–Szűcs’ formula for the Smale invariant and a formula in our previous paper for differentiable (6,3)-knots. As a consequence, we show that an immersion of the three-sphere in five-space can be regularly homotoped to the projection of an embedding in six-space if and only if its Smale invariant is even. We also correct a sign error in our previous paper: “A geometric formula for Haefliger knots” [Topology 43: 1425–1447 2004].      

Decay estimates for homogeneous Boussinesq equations in a semi-infinite pipe

In this paper, we establish the spatial decay bounds for homogeneous Boussinesq equations in a semi-infinite pipe flow. Assuming that the entrance velocity and magnetic field data are restricted appropriately, and it converges to laminar flow as the distance down the pipe tends to infinity, we derive a second order differential inequality that leads to an exponential decay estimate for the energy E(z,t) defined in (27). We also indicate how to establish the explicit bound for the total energy.     

Lower bound theorem for normal pseudomanifolds

In this paper we present a self-contained combinatorial proof of the lower bound theorem for normal pseudomanifolds, including a treatment of the cases of equality in this theorem. We also discuss McMullen and Walkup's generalized lower bound conjecture for triangulated spheres in the context of the lower bound theorem. Finally, we pose a new lower bound conjecture for non-simply connected triangulated manifolds.     

Attractors for nonautonomous 2D Navier-Stokes equations with less regular symbols

We introduce a new class of functions satisfying normal Condition (C*), denoted by , which are translation bounded but not translation compact — in particular, which are more general than normal functions (see [S.S. Lu, H.Q. Wu, C.K. Zhong, Attractors for nonautonomous 2D Navier-Stokes equations with normal external forces, Discrete Contin. Dyn. Syst., 13 (2005) 701-719] for the definition), denoted by . Furthermore, we prove the existence of uniform attractors for 2D Navier-Stokes equations with external forces belonging to in .     

Attractors for nonautonomous 2D Navier-Stokes equations with less regular normal forces

First, the existence and structure of uniform attractors in H is proved for nonautonomous 2D Navier-Stokes equations on bounded domain with a new class of distribution forces, termed normal in (see Definition 3.1), which are translation bounded but not translation compact in . Then, the properties of the kernel section are investigated. Last, the fractal dimension is estimated for the kernel sections of the uniform attractors obtained.     

Modelling of topological derivatives for contact problems

The problem of topology optimization is considered for free boundary problems of thin obstacle types. The formulae for the first term of asymptotics for energy functionals are derived. The precision of obtained terms is verified numerically. The topological differentiability of solutions to variational inequalities is established. In particular, the so-called outer asymptotic expansion for solutions of contact problems in elasticity with respect to singular perturbation of geometrical domain depending on small parameter are derived by an application of nonsmooth analysis. Such results lead to the topological derivatives of shape functionals for contact problems. The topological derivatives are used in numerical methods of simultaneous shape and topology optimization. Partially supported by the grant 4 T11A 01524 of the State Committee for the Scientific Research of the Republic of Poland     

Recipe theorem for the Tutte polynomial for matroids,renormalization group-like approach

Using a quantum field theory renormalization group-like differential equation, we give a new proof of the recipe theorem for the Tutte polynomial for matroids. The solution of such an equation is in fact given by some appropriate characters of the Hopf algebra of isomorphic classes of matroids, characters which are then related to the Tutte polynomial for matroids. This Hopf algebraic approach also allows to prove, in a new way, a matroid Tutte polynomial convolution formula appearing in [W. Kook, V. Reiner, D. Stanton, A convolution formula for the Tutte polynomial, J. Combin. Theory Ser. B 76 (1999) 297–300] and [G. Etienne, M. Las Vergnas, External and internal elements of a matroid basis, Discrete Math. 179 (1998) 111–119].     

Elementary transformations of pfaffian representations of plane curves

Let C be a smooth curve in P² given by an equation F=0 of degree d. In this paper we consider elementary transformations of linear pfaffian representations of C. Elementary transformations can be interpreted as actions on a rank 2 vector bundle on C with canonical determinant and no sections, which corresponds to the cokernel of a pfaffian representation. Every two pfaffian representations of C can be bridged by a finite sequence of elementary transformations. Pfaffian representations and elementary transformations are constructed explicitly. For a smooth quartic, applications to Aronhold bundles and theta characteristics are given.     

A cycle-space invariant of the <2-distance-graph in the plane

By exhibiting a certain invariant, we prove that the cycle space of the distance<2 graph in the plane is not generated by the triangles inscribed in unit circles. This solves a problem of Lovász in the negative.     

Nonlinear age-dependent diffusive equations: A bifurcation approach

The main goal of this paper is the study of the existence and uniqueness of positive solutions of some nonlinear age-dependent diffusive models, arising from dynamic populations. We use a bifurcation method, for which it has been necessary to study in detail the linear and eigenvalue problems associated to the nonlinear problem in an appropriate space.