Subspaces and quotients of Banach spaces with shrinking unconditional bases

The main result is that a separable Banach space with the weak* unconditional tree property is isomorphic to a subspace as well as a quotient of a Banach space with a shrinking unconditional basis. A consequence of this is that a Banach space is isomorphic to a subspace of a space with a shrinking unconditional basis if and only if it is isomorphic to a quotient of a space with a shrinking unconditional basis, which solves a problem dating to the 1970s. The proof of the main result also yields that a uniformly convex space with the unconditional tree property is isomorphic to a subspace as well as a quotient of a uniformly convex space with an unconditional finite dimensional decomposition.     

Scalarization of Henig Proper Efficient Points in a Normed Space

In a general normed space equipped with the order induced by a closed convex cone with a base, using a family of continuous monotone Minkowski functionals and a family of continuous norms, we obtain scalar characterizations of Henig proper efficient points of a general set and a bounded set, respectively. Moreover, we give a scalar characterization of a superefficient point of a set in a normed space equipped with the order induced by a closed convex cone with a bounded base.     

关于伪准素环的注记

一个有单位元的交换环Ｒ称为伪准素环，如果Ｒ的每个非零理想都是某个准素理想之幂．本文证明了环Ｒ是伪准素环当且仅当Ｒ是准素环或Ｒ是两个域的直和或Ｒ是至多具有三个素理想的一维局部环，并且每个非零理想或是某个极小素理想之幂或是某个属于极大理想的准不比理想之幂.     

Continuous conjugation of special nonisentropic one-dimensional gas motions

The exact partially invariant solution of equations of motion of a compressible fluid describing the collapse of particles to a point and an instantaneous source from the point in a one-dimensional nonisentropic motion is cut off by the characteristics and glued into a continuous solution of a one-dimensional submodel in a finite domain. The possibility of a continuous periodic nonisentropic motion of a compressible fluid in a bounded domain under the action of a piston is shown.     

An algorithm for constructing star-shaped drawings of plane graphs

A straight-line planar drawing of a plane graph is called a convex drawing if every facial cycle is drawn as a convex polygon. Convex drawings of graphs is a well-established aesthetic in graph drawing, however not all planar graphs admit a convex drawing. Tutte [W.T. Tutte, Convex representations of graphs, Proc. of London Math. Soc. 10 (3) (1960) 304–320] showed that every triconnected plane graph admits a convex drawing for any given boundary drawn as a convex polygon. Thomassen [C. Thomassen, Plane representations of graphs, in: Progress in Graph Theory, Academic Press, 1984, pp. 43–69] gave a necessary and sufficient condition for a biconnected plane graph with a prescribed convex boundary to have a convex drawing.In this paper, we initiate a new notion of star-shaped drawing of a plane graph as a straight-line planar drawing such that each inner facial cycle is drawn as a star-shaped polygon, and the outer facial cycle is drawn as a convex polygon. A star-shaped drawing is a natural extension of a convex drawing, and a new aesthetic criteria for drawing planar graphs in a convex way as much as possible. We give a sufficient condition for a given set A of corners of a plane graph to admit a star-shaped drawing whose concave corners are given by the corners in A, and present a linear time algorithm for constructing such a star-shaped drawing.     

Latin Squares, Partial Latin Squares and Their Generalized Quotients

A (partial) Latin square is a table of multiplication of a (partial) quasigroup. Multiplication of a (partial) quasigroup may be considered as a set of triples. We give a necessary and sufficient condition for a set of triples to be a quotient of a (partial) Latin square. Received: April, 2003     

一致覆盖和度量空间的紧映象

本文利用一致覆盖的概念,讨论了度量空间的序列覆盖紧映象的结构.主要结果有: (1)空间X是局部可分度量空间的序列覆盖紧映象当且仅当X具有由cosmic子空间构成的一致sn网; (2)空间X是局部可分度量空间的序列覆盖,商紧映象当且仅当X是度量空间的序列覆盖,商紧映象且是局部cosmic空间.     

Subgradient Projectors: Extensions,Theory, and Characterizations

Subgradient projectors play an important role in optimization and for solving convex feasibility problems. For every locally Lipschitz function, we can define a subgradient projector via generalized subgradients even if the function is not convex. The paper consists of three parts. In the first part, we study basic properties of subgradient projectors and give characterizations when a subgradient projector is a cutter, a local cutter, or a quasi-nonexpansive mapping. We present global and local convergence analyses of subgradent projectors. Many examples are provided to illustrate the theory. In the second part, we investigate the relationship between the subgradient projector of a prox-regular function and the subgradient projector of its Moreau envelope. We also characterize when a mapping is the subgradient projector of a convex function. In the third part, we focus on linearity properties of subgradient projectors. We show that, under appropriate conditions, a linear operator is a subgradient projector of a convex function if and only if it is a convex combination of the identity operator and a projection operator onto a subspace. In general, neither a convex combination nor a composition of subgradient projectors of convex functions is a subgradient projector of a convex function.     

A generalized duality and applications

The aim of this paper is to present a nonconvex duality with a zero gap and its connection with convex duality. Since a convex program can be regarded as a particular case of convex maximization over a convex set, a nonconvex duality can be regarded as a generalization of convex duality. The generalized duality can be obtained on the basis of convex duality and minimax theorems. The duality with a zero gap can be extended to a more general nonconvex problems such as a quasiconvex maximization over a general nonconvex set or a general minimization over the complement of a convex set. Several applications are given.On leave from the Institute of Mathematics, Hanoi, Vietnam.     

Identification of a coefficient in the leading term of a pseudoparabolic equation of filtration

The identification problem of a leading coefficient in a linear pseudoparabolic equation is examined under an integral overdetermination condition on the boundary of a domain. We prove a local existence and uniqueness theorem of a strong solution. In a particular case the results obtained allow us to solve a problem of determining the rate of fluid exchange between fissures and pores in a model filtration equation for a fissured medium.     

Concept of a vertex in a matroid and 3-connected graphs

The concept of a matroid vertex is introduced. The vertices of a matroid of a 3-connected graph are in one-to-one correspondence with vertices of the graph. Thence directly follows Whitney's theorem that cyclic isomorphism of 3-connected graphs implies isomorphism. The concept of a vertex of a matroid leads to an equally simple proof of Whitney's theorem on the unique embedding of a 3-connected planar graph in the sphere. It also leads to a number of new facts about 3-connected graphs. Thus, consideration of a vertex in a matroid that is the dual of the matroid of a graph leads to a natural concept of a nonseparating cycle of a graph. Whitney's theorem on cyclic isomorphism can be strengthened (even if the nonseparating cycles of a graph are considered, the theorem is found to work) and a new criterion for planarity of 3-connected graphs is obtained (in terms of nonseparating cycles).     

On the intersections of circuits and cocircuits in matroids

Seymour has shown that a matroid has a triad, that is, a 3-element set which is the intersection of a circuit and a cocircuit, if and only if it is non-binary. In this paper we determine precisely when a matroidM has a quad, a 4-element set which is the intersection of a circuit and a cocircuit. We also show that this will occur ifM has a circuit and a cocircuit meeting in more than four elements. In addition, we prove that if a 3-connected matroid has a quad, then every pair of elements is in a quad. The corresponding result for triads was proved by Seymour.     

Topological representation of posets

There is a canonical imbedding of a poset into a complete Boolean lattice and hence into a Boolean lattice. This gives it a representation as a collection of clopen sets of a Boolean space. There are reflective functions from a category of distributive posets to the subcategories of distributive and Boolean lattices and consequently a topological dual equivalence that extends the Stone duality of Boolean lattices.Presented by B. Jonsson.     

On farthest points of sets

For a convex closed bounded set in a Banach space, we study the existence and uniqueness problem for a point of this set that is the farthest point from a given point in space. In terms of the existence and uniqueness of the farthest point, as well as the Lipschitzian dependence of this point on a point in space, we obtain necessary and su.cient conditions for the strong convexity of a set in several infinite-dimensional spaces, in particular, in a Hilbert space. A set representable as the intersection of closed balls of a fixed radius is called a strongly convex set. We show that the condition “for each point in space that is sufficiently far from a set, there exists a unique farthest point of the set” is a criterion for the strong convexity of a set in a finite-dimensional normed space, where the norm ball is a strongly convex set and a generating set.     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E     

A Decomposition of Markov Processes via Group Actions

We study a decomposition of a general Markov process in a manifold invariant under a Lie group action into a radial part (transversal to orbits) and an angular part (along an orbit). We show that given a radial path, the conditioned angular part is a nonhomogeneous Lévy process in a homogeneous space, we obtain a representation of such processes and, as a consequence, we extend the well-known skew-product of Euclidean Brownian motion to a general setting.      

The Relative Maximum Genus of a Graph

A relative embedding of a graph in a surface with respect to a set of closed walks is one where each of the prescribed closed walks bounds a face of the embedding In the special case where the set of closed walks is empty, this amounts to the usual concept of a graph embedding. We present a formula for the maximum (orientable) genus of the surface on which a graph has a relative embedding with respect to a set of closed walks.     

A pair of orthogonal frames

We start with a characterization of a pair of frames to be orthogonal in a shift-invariant space and then give a simple construction of a pair of orthogonal shift-invariant frames. This is applied to obtain a construction of a pair of Gabor orthogonal frames as an example. This is also developed further to obtain constructions of a pair of orthogonal wavelet frames.     

Harmonic and pulse excitations of multiply connected cylindrical bodies

The three-dimensional problem of the theory of elasticity of the harmonic oscillations of cylindrical bodies (a layer with several tunnel cavities on a cylinder of finite length) is considered for uniform mixed boundary conditions on its bases. Using the Φ-solutions constructed, the boundary-value problems are reduced to a system of well-known one-dimensional singular integral equations. The solution of the problem of the pulse excitation of a layer on the surface of a cavity is “assembled” from a packet of corresponding harmonic oscillations using an integral Fourier transformation with respect to time. The results of calculations of the dynamic stress concentration in a layer (a plate) weakened by one and two openings of different configuration are given, as well as the amplitude-frequency characteristics for a cylinder of finite length with a transverse cross section in the form of a square with rounded corners, and data of calculations for a trapeziform pulse, acting on the surface of a circular cavity, are presented.     

On bifurcations of multidimensional diffeomorphisms having a homoclinic tangency to a saddle-node

We study the main bifurcations of multidimensional diffeomorphisms having a nontransversal homoclinic orbit to a saddle-node fixed point. On a parameter plane we build a bifurcation diagram for single-round periodic orbits lying entirely in a small neighborhood of the homoclinic orbit. Also, a relation of our results to the well-known codimension one bifurcations of a saddle fixed point with a quadratic homoclinic tangency and a saddle-node fixed point with a transversal homoclinic orbit is discussed.