Quasilinearization and curvature of Aleksandrov spaces

We present a new distance characterization of Aleksandrov spaces of non-positive curvature. By introducing a quasilinearization for abstract metric spaces we draw an analogy between characterization of Aleksandrov spaces and inner product spaces; the quasi-inner product is defined by means of the quadrilateral cosine—a metric substitute for the angular measure between two directions at different points. Our main result states that a geodesically connected metric space is an Aleksandrov domain (also known as a CAT(0) space) if and only if the quadrilateral cosine does not exceed one for every two pairs of distinct points in . We also observe that a geodesically connected metric space is an domain if and only if, for every quadruple of points in , the quadrilateral inequality (known as Euler’s inequality in ) holds. As a corollary of our main result we give necessary and sufficient conditions for a semimetric space to be an domain. Our results provide a complete solution to the Curvature Problem posed by Gromov in the context of metric spaces of non-positive curvature.      

Semicrossed products of simple C*-algebras

Let and be C*-dynamical systems and assume that is a separable simple C*-algebra and that α and β are *-automorphisms. Then the semicrossed products and are isometrically isomorphic if and only if the dynamical systems and are outer conjugate. K. R. Davidson was partially supported by an NSERC grant. E. G. Katsoulis was partially supported by a summer grant from ECU     

The geometric invariants $${\Omega^{n}}$$ of a product of groups

We compute the geometric invariants of a product G × H of groups in terms of and . This gives a sufficient condition in terms of and for a normal subgroup of G × H with abelian quotient to be of type F _n . We give an example involving the direct product of the Baumslag–Solitar group BS_1,2 with itself.      

Minimal non-$${\mathcal {F}}$$ -groups

Let be a saturated formation. We describe minimal non- -, minimal non- -, and minimal non-metabelian groups. Dedicated to L. A. Shemetkov on the occasion of his seventieth birthday.     

Projective re-normalization for improving the behavior of a homogeneous conic linear system

In this paper we study the homogeneous conic system . We choose a point that serves as a normalizer and consider computational properties of the normalized system . We show that the computational complexity of solving F via an interior-point method depends only on the complexity value of the barrier for C and on the symmetry of the origin in the image set , where the symmetry of 0 in is

Analytic properties in the spectrum of certain Banach algebras

We show a sufficient condition for a domain in to be a H ^∞-domain of holomorphy. Furthermore if a domain has the Gleason property at a point and the projection of the n − 1th order generalized Shilov boundary does not coincide with Ω then is schlicht. We also give two examples of pseudoconvex domains in which the spectrum is non-schlicht and satisfy several other interesting properties.      

Reduced Minimum Modulus Preserving in Banach Space

Let be the algebra of all bounded linear operators on a complex Banach space X and γ(T) be the reduced minimum modulus of operator . In this work, we prove that if , is a surjective linear map such that is an invertible operator, then , for every , if and only if, either there exist two bijective isometries and such that for every , or there exist two bijective isometries and such that for every . This generalizes for a Banach space the Mbekhta’s theorem [12].      

On automorphisms of A-groups

Let G be an A-group (i.e. a group in which xx ^α  = x ^α x for all and let denote the subgroup of Aut(G) consisting of all automorphisms that leave invariant the centralizer of each element of G. The quotient is an elementary abelian 2-group and natural analogies exist to suggest that it might always be trivial. It is shown that, in fact, for any odd prime p and any positive integer r, there exist infinitely many finite pA-groups G for which has rank r. Received: 23 March 2008, Revised: 20 May 2008     

$${\mathcal{M}}$$ -decomposability and symmetric unimodal densities in one dimension

In this paper, we introduce the notion of -decomposability of probability density functions in one dimension. Using -decomposability, we derive an inequality that applies to all symmetric unimodal densities. Our inequality involves only the standard deviation of the densities concerned. The concept of -decomposability can be used as a non-parametric criterion for mode-finding and cluster analysis.     

On the Circumference of 2-Connected $$\mathcal{P}_{3}$$-Dominated Graphs

Let G be a connected graph. For at distance 2, we define , and , if then . G is quasi-claw-free if it satisfies , and G is P ₃-dominated() if it satisfies , for every pair (x, y) of vertices at distance 2. Certainly contains as a subclass. In this paper, we prove that the circumference of a 2-connected P ₃-dominated graph G on n vertices is at least min or , moreover if then G is hamiltonian or , where is a class of 2-connected nonhamiltonian graphs.     

On ideals and quotients of A \mathcal{T} -algebras

Some results on A -algebras are given. We study the problem when ideals, quotients and hereditary subalgebras of A -algebras are A -algebras or A -algebras, and give a necessary and sufficient condition of a hereditary subalgebra of an A -algebra being an A -algebra.     

Chains and antichains in partial orderings

We study the complexity of infinite chains and antichains in computable partial orderings. We show that there is a computable partial ordering which has an infinite chain but none that is or , and also obtain the analogous result for antichains. On the other hand, we show that every computable partial ordering which has an infinite chain must have an infinite chain that is the difference of two sets. Our main result is that there is a computably axiomatizable theory K of partial orderings such that K has a computable model with arbitrarily long finite chains but no computable model with an infinite chain. We also prove the corresponding result for antichains. Finally, we prove that if a computable partial ordering has the feature that for every , there is an infinite chain or antichain that is relative to , then we have uniform dichotomy: either for all copies of , there is an infinite chain that is relative to , or for all copies of , there is an infinite antichain that is relative to .     

On the Intertwining of \partial{\mathcal{D}}-Isometries

Let be a strictly pseudoconvex bounded domain in with C ² boundary . If a subnormal m-tuple T of Hilbert space operators has the spectral measure of its minimal normal extension N supported on , then T is referred to as a -isometry. Using some non-trivial approximation theorems in the theory of several complex variables, we establish a commutant lifting theorem for those -isometries whose (joint) Taylor spectra are contained in a special superdomain Ω of . Further, we provide a function-theoretic characterization of those subnormal tuples whose Taylor spectra are contained in Ω and that are quasisimilar to a certain (fixed) -isometry T (of which the multiplication tuple on the Hardy space of the unit ball in is a rather special example). Submitted: September 9, 2007. Revised: October 10, 2007. Accepted: October 24, 2007.     

On pointed Hopf algebras associated with the symmetric groups

Let G be the symmetric group . It is an important open problem whether the dimension of the Nichols algebra is finite when is the class of the transpositions and ρ is the sign representation, with m ≥ 6. In the present paper, we discard most of the other conjugacy classes showing that very few pairs might give rise to finite-dimensional Nichols algebras. This work was partially supported by CONICET, ANPCyT and Secyt (UNC).     

Fuzzy power structures

Power structures are obtained by lifting some mathematical structure (operations, relations, etc.) from an universe X to its power set . A similar construction provides fuzzy power structures: operations and fuzzy relations on X are extended to operations and fuzzy relations on the set of fuzzy subsets of X. In this paper we study how this construction preserves some properties of fuzzy sets and fuzzy relations (similarity, congruence, etc.). We define the notions of good, very good, Hoare good and Smith good fuzzy relation and establish some connections between them, generalizing some results of Brink, Bošnjak and Madarász on power structures.     

Intersection homology Künneth theorems

Cohen, Goresky, and Ji showed that there is a Künneth theorem relating the intersection homology groups to and , provided that the perversity satisfies rather strict conditions. We consider biperversities and prove that there is a Künneth theorem relating to and for all choices of and . Furthermore, we prove that the Künneth theorem still holds when the biperversity p, q is “loosened” a little, and using this we recover the Künneth theorem of Cohen–Goresky–Ji.     

Compactness and local compactness for {\mathbb{R}}-trees

We establish (geometric) criteria for an -tree to be compact and to be locally compact. It follows that locally compact -trees are separable. Received: 10 September 2007     

On $${\mathcal{F}}$$ -supplemented subgroups of finite groups

Let G be a finite group and a formation of finite groups. We say that a subgroup H of G is -supplemented in G if there exists a subgroup T of G such that G = TH and is contained in the -hypercenter of G/H _G . In this paper, we use -supplemented subgroups to study the structure of finite groups. A series of previously known results are unified and generalized. Research of the author is supported by a NNSF grant of China (Grant #10771180).     

Three-dimensional sets with small sumset

We describe the structure of three dimensional sets of lattice points, having a small doubling property. Let be a finite subset of ℤ³ such that dim = 3. If and , then lies on three parallel lines. Moreover, for every three dimensional finite set that lies on three parallel lines, if , then is contained in three arithmetic progressions with the same common difference, having together no more than terms. These best possible results confirm a recent conjecture of Freiman and cannot be sharpened by reducing the quantity υ or by increasing the upper bounds for .