3D face computational photography using PCA spaces

In this paper, we present a 3D face photography system based on a facial expression training dataset, composed of both facial range images (3D geometry) and facial texture (2D photography). The proposed system allows one to obtain a 3D geometry representation of a given face provided as a 2D photography, which undergoes a series of transformations through the texture and geometry spaces estimated. In the training phase of the system, the facial landmarks are obtained by an active shape model (ASM) extracted from the 2D gray-level photography. Principal components analysis (PCA) is then used to represent the face dataset, thus defining an orthonormal basis of texture and another of geometry. In the reconstruction phase, an input is given by a face image to which the ASM is matched. The extracted facial landmarks and the face image are fed to the PCA basis transform, and a 3D version of the 2D input image is built. Experimental tests using a new dataset of 70 facial expressions belonging to ten subjects as training set show rapid reconstructed 3D faces which maintain spatial coherence similar to the human perception, thus corroborating the efficiency and the applicability of the proposed system.

QUASISTATIONARY DISTRIBUTIONS AND FLEMING-VIOT PROCESSES IN FINITE SPACES

Consider a continuous-time Markov process with transition rates matrix Q in the state space Lambda boolean OR {0}. In In the associated Fleming-Viot process N particles evolve independently in A with transition rates matrix Q until one of them attempts to jump to state 0. At this moment the particle jumps to one of the positions of the other particles, chosen uniformly at random. When Lambda is finite, we show that the empirical distribution of the particles at a fixed time converges as N -> infinity to the distribution of a single particle at the same time conditioned on not touching {0}. Furthermore, the empirical profile of the unique invariant measure for the Fleming-Viot process with N particles converges as N -> infinity to the unique quasistationary distribution of the one-particle motion. A key element of the approach is to show that the two-particle correlations are of order 1/N.

The C(K, X) spaces for compact metric spaces K and X with a uniformly convex maximal factor

In this paper, we prove that if a Banach space X contains some uniformly convex subspace in certain geometric position, then the C(K, X) spaces of all X-valued continuous functions defined on the compact metric spaces K have exactly the same isomorphism classes that the C(K) spaces. This provides a vector-valued extension of classical results of Bessaga and Pelczynski (1960) [2] and Milutin (1966) [13] on the isomorphic classification of the separable C(K) spaces. As a consequence, we show that if 1 < p < q < infinity then for every infinite countable compact metric spaces K(1), K(2), K(3) and K(4) are equivalent: (a) C(K(1), l(p)) circle plus C(K(2), l(q)) is isomorphic to C(K(3), l(p)) circle plus (K(4), l(q)). (b) C(K(1)) is isomorphic to C(K(3)) and C(K(2)) is isomorphic to C(K(4)). (C) 2011 Elsevier Inc. All rights reserved.

Towards a maximal extension of Pelczynski`s decomposition method in Banach spaces

l Suppose that X, Y. A and B are Banach spaces such that X is isomorphic to Y E) A and Y is isomorphic to X circle plus B. Are X and Y necessarily isomorphic? In this generality. the answer is no, as proved by W.T. Cowers in 1996. In the present paper, we provide a very simple necessary and sufficient condition on the 10-tuples (k, l, m, n. p, q, r, s, u, v) in N with p+q+u >= 3, r+s+v >= 3, uv >= 1, (p,q)$(0,0), (r,s)not equal(0,0) and u=1 or v=1 or (p. q) = (1, 0) or (r, s) = (0, 1), which guarantees that X is isomorphic to Y whenever these Banach spaces satisfy X(u) similar to X(p)circle plus Y(q), Y(u) similar to X(r)circle plus Y(s), and A(k) circle plus B(l) similar to A(m) circle plus B(n). Namely, delta = +/- 1 or lozenge not equal 0, gcd(lozenge, delta (p + q - u)) divides p + q - u and gcd(lozenge, delta(r + s - v)) divides r + s - v, where 3 = k - I - in + n is the characteristic number of the 4-tuple (k, l, m, n) and lozenge = (p - u)(s - v) - rq is the discriminant of the 6-tuple (p, q, r, s, U, v). We conjecture that this result is in some sense a maximal extension of the classical Pelczynski`s decomposition method in Banach spaces: the case (1, 0. 1, 0, 2. 0, 0, 2. 1. 1). (C) 2009 Elsevier Inc. All rights reserved.

Banach spaces without minimal subspaces

We prove three new dichotomies for Banach spaces a la W.T. Gowers` dichotomies. The three dichotomies characterise respectively the spaces having no minimal subspaces, having no subsequentially minimal basic sequences, and having no subspaces crudely finitely representable in all of their subspaces. We subsequently use these results to make progress on Gowers` program of classifying Banach spaces by finding characteristic spaces present in every space. Also, the results are used to embed any partial order of size K I into the subspaces of any space without a minimal subspace ordered by isomorphic embeddability. (c) 2009 Elsevier Inc. All fights reserved.

EQUIVARIANT PATH FIELDS ON TOPOLOGICAL MANIFOLDS

A classical theorem of H. Hopf asserts that a closed connected smooth manifold admits a nowhere vanishing vector field if and only if its Euler characteristic is zero. R. Brown generalized Hopf`s result to topological manifolds, replacing vector fields with path fields. In this note, we give an equivariant analog of Brown`s theorem for locally smooth G-manifolds where G is a finite group.

An indecomposable Banach space of continuous functions which has small density

Using the method of forcing we construct a model for ZFC where CH does not hold and where there exists a connected compact topological space K of weight omega(1) < 2(omega) such that every operator on the Banach space of continuous functions on K is multiplication by a continuous function plus a weakly compact operator. In particular, the Banach space of continuous functions on K is indecomposable.

ALGEBRAIC AND GEOMETRIC THEORY OF THE TOPOLOGICAL RING OF COLOMBEAU GENERALIZED FUNCTIONS

We continue the investigation of the algebraic and topological structure of the algebra of Colombeau generalized functions with the aim of building up the algebraic basis for the theory of these functions. This was started in a previous work of Aragona and Juriaans, where the algebraic and topological structure of the Colombeau generalized numbers were studied. Here, among other important things, we determine completely the minimal primes of (K) over bar and introduce several invariants of the ideals of 9(Q). The main tools we use are the algebraic results obtained by Aragona and Juriaans and the theory of differential calculus on generalized manifolds developed by Aragona and co-workers. The main achievement of the differential calculus is that all classical objects, such as distributions, become Cl-functions. Our purpose is to build an independent and intrinsic theory for Colombeau generalized functions and place them in a wider context.

Dually discrete spaces

A neighbourhood assignment in a space X is a family O = {O-x: x is an element of X} of open subsets of X such that X is an element of O-x for any x is an element of X. A set Y subset of X is a kernel of O if O(Y) = U{O-x: x is an element of Y} = X. We obtain some new results concerning dually discrete spaces, being those spaces for which every neighbourhood assignment has a discrete kernel. This is a strictly larger class than the class of D-spaces of [E.K. van Douwen, W.F. Pfeffer, Some properties of the Sorgenfrey line and related spaces, Pacific J. Math. 81 (2) (1979) 371-377]. (c) 2008 Elsevier B.V. All rights reserved.

Generalizations of Pelczynski`s decomposition method for Banach spaces containing a complemented copy of their squares

Suppose that X and Y are Banach spaces isomorphic to complemented subspaces of each other. In 1996, W. T. Gowers solved the Schroeder- Bernstein Problem for Banach spaces by showing that X is not necessarily isomorphic to Y. However, if X-2 is complemented in X with supplement A and Y-2 is complemented in Y with supplement B, that is, { X similar to X-2 circle plus A Y similar to Y-2 circle plus B, then the classical Pelczynski`s decomposition method for Banach spaces shows that X is isomorphic to Y whenever we can assume that A = B = {0}. But unfortunately, this is not always possible. In this paper, we show that it is possible to find all finite relations of isomorphism between A and B which guarantee that X is isomorphic to Y. In order to do this, we say that a quadruple (p, q, r, s) in N is a P-Quadruple for Banach spaces if X is isomorphic to Y whenever the supplements A and B satisfy A(p) circle plus B-q similar to A(r) circle plus B-s . Then we prove that (p, q, r, s) is a P-Quadruple for Banach spaces if and only if p - r = s - q = +/- 1.

On moduli spaces for abelian categories

We show that if A is an abelian category satisfying certain mild conditions, then one can introduce the concept of a moduli space of (semi)stable objects which has the structure of a projective algebraic variety. This idea is applied to several important abelian categories in representation theory, like highest weight categories.

A family of Schroeder-Bernstein type theorems for Banach spaces

Motivated by a characterization of the complemented subspaces in Banach spaces X isomorphic to their squares X-2, we introduce the concept of P-complemented subspaces in Banach spaces. In this way, the well-known Pelczynski`s decomposition method can be seen as a Schroeder-Bernstein type theorem. Then, we give a complete description of the Schroeder-Bernstein type theorems for this new notion of complementability. By contrast, some very elementary questions on P-complementability are refinements of the Square-Cube Problem closely connected with some Banach spaces introduced by W.T. Gowers and B. Maurey in 1997. (C) 2007 Elsevier Inc. All rights reserved.

Some Schroeder-Bernstein type theorems for Banach spaces

We first introduce the notion of (p, q, r)-complemented subspaces in Banach spaces, where p, q, r is an element of N. Then, given a couple of triples {(p, q, r), (s, t, u)} in N and putting Lambda = (q + r - p)(t + u - s) - ru, we prove partially the following conjecture: For every pair of Banach spaces X and Y such that X is (p, q, r)-complemented in Y and Y is (s, t, u)-complemented in X, we have that X is isomorphic Y if and only if one of the following conditions holds: (a) Lambda not equal 0, Lambda divides p - q and s - t, p = 1 or q = 1 or s = 1 or t = 1. (b) p = q = s = t = 1 and gcd(r, u) = 1. The case {(2, 1, 1), (2, 1,1)} is the well-known Pelczynski`s decomposition method. Our result leads naturally to some generalizations of the Schroeder-B em stein problem for Banach spaces solved by W.T. Gowers in 1996. (C) 2007 Elsevier Inc. All rights reserved.

Countability and star covering properties

Whenever P is a topological property, we say that a topological space is star P if whenever U is an open cover of X, there is a subspace A subset of X with property P such that X = St(A, U). We study the relationships of star P properties for P is an element of {Lindelof, sigma-compact, countable} with other Lindelof type properties. (C) 2010 Elsevier B.V. All rights reserved.

Cantor-Bernstein Sextuples for Banach Spaces

Let X and Y be Banach spaces isomorphic to complemented subspaces of each other with supplements A and B. In 1996, W. T. Gowers solved the Schroeder-Bernstein (or Cantor-Bernstein) problem for Banach spaces by showing that X is not necessarily isomorphic to Y. In this paper, we obtain a necessary and sufficient condition on the sextuples (p, q, r, s, u, v) in N with p + q >= 1, r + s >= 1 and u, v is an element of N*, to provide that X is isomorphic to Y, whenever these spaces satisfy the following decomposition scheme A(u) similar to X(P) circle plus Y(q) B(v) similar to X(r) circle plus Y(s). Namely, Phi = (p - u)(s - v) - (q + u)(r + v) is different from zero and Phi divides p + q and r + s. These sextuples are called Cantor-Bernstein sextuples for Banach spaces. The simplest case (1, 0, 0, 1, 1, 1) indicates the well-known Pelczynski`s decomposition method in Banach space. On the other hand, by interchanging some Banach spaces in the above decomposition scheme, refinements of the Schroeder-Bernstein problem become evident.