Semisummands and semiideals in banach spaces

Let |·| be a fixed absolute norm onR ². We introduce semi-|·|-summands (resp. |·|-summands) as a natural extension of semi-L-summands (resp.L-summands). We prove that the following statements are equivalent. (i) Every semi-|·|-summand is a |·|-summand, (ii) (1, 0) is not a vertex of the closed unit ball ofR ² with the norm |·|. In particular semi-L ^p-summands areL ^p-summands whenever 1<p≦∞. The concept of semi-|·|-ideal (resp. |·|-ideal) is introduced in order to extend the one of semi-M-ideal (resp.M-ideal). The following statements are shown to be equivalent. (i) Every semi-|·|-ideal is a |·|-ideal, (ii) every |·|-ideal is a |·|-summand, (iii) (0, 1) is an extreme point of the closed unit ball ofR ² with the norm |·|. From semi-|·|-ideals we define semi-|·|-idealoids in the same way as semi-|·|-ideals arise from semi-|·|-summands. Proper semi-|·|-idealoids are those which are neither semi-|·|-summands nor semi-|·|-ideals. We prove that there is a proper semi-|·|-idealoid if and only if (1, 0) is a vertex and (0, 1) is not an extreme point of the closed unit ball ofR ² with the norm |·|. So there are no proper semi-L ^p-idealoids. The paper concludes by showing thatw*-closed semi-|·|-idealoids in a dual Banach space are semi-|·|-summands, so no new concept appears by predualization of semi-|·|-idealoids.     

The Łojasiewicz exponent of an analytic function at an isolated zero

Let f be a real analytic function defined in a neighborhood of 0 ? \Bbb Rⁿ 0 \in {\Bbb R}^n such that f^-1(0)={0} f^{-1}(0)=\{0\} . We describe the smallest possible exponents !, #, / for which we have the following estimates: |f(x)| 3 c|x|^a |f(x)|\geq c|x|^{\alpha} , |grad f(x)| 3 c|x|^b |{\rm grad}\,f(x)|\geq c|x|^{\beta} , |grad f(x)| 3 c|f(x)|^q |{\rm grad}\,f(x)|\geq c|f(x)|^{\theta} for x near zero with c > 0 c > 0 . We prove that a = b+1 \alpha=\beta+1, q = b/a\theta=\beta/\alpha . Moreover b = N+a/b \beta=N+a/b where $ 0 h a < b h N^{n-1} $ 0 h a < b h N^{n-1} . If f is a polynomial then |f(x)| 3 c|x|^(degf-1)n+1 |f(x)|\geq c|x|^{(\deg f-1)^n+1} in a small neighborhood of zero.     

Large centralizers in finite solvable groups

In 1955 R. Brauer and K. A. Fowler showed that ifG is a group of even order >2, and the order |Z(G)| of the center ofG is odd, then there exists a strongly real) elementx∈G−Z whose centralizer satisfies|C _G(x)|>|G|^1/3. In Theorem 1 we show that every non-abeliansolvable groupG contains an elementx∈G−Z such that|C _G(x)|>[G:G′∩Z]^1/2 (and thus|C _G(x)|>|G|^1/3). We also note that if non-abelianG is either metabelian, nilpotent or (more generally) supersolvable, or anA-group, or any Frobenius group, then|C _G(x)|>|G|^1/2 for somex∈G−Z. In Theorem 2 we prove that every non-abelian groupG of orderp ^mqⁿ (p, q primes) contains a proper centralizer of order >|G|^1/2. Finally, in Theorem 3 we show that theaverage |C(x)|, x∈G, is ≧c|G| ^1/3 for metabelian groups, wherec is constant and the exponent 1/3 is best possible.     

Order and Chaos in Dynamical Systems

We consider the characteristics of order and chaos in dynamical systems, with emphasis on the orbits in astronomical systems. Celestial mechanics deals with orbits in the solar system, which are mainly ordered. On the other hand the orbits of stars in galaxies were considered to be chaotic. However numerical experiments have shown that in general a system contains both ordered and chaotic orbits. Thus a new classification of dynamical systems has been established. We describe ordered and chaotic orbits in galaxies and in mappings. Some ordered orbits appear even in strongly perturbed systems. The transition from order to chaos is due to resonance overlapping. Then we describe some recent developments concerning order and chaos in the solar system and in galaxies. The outer spiral arms in strong barred galaxies are composed mainly of sticky chaotic orbits. Ordered and chaotic orbits appear also in Bohmian quantum mechanics. If the initial probability p is not equal to the square of the wave function |ψ|², then in the case of ordered orbits p never approaches |ψ|², while in the case of chaotic orbits p → |ψ|² after a time interval called “quantum Nekhoroshev time”.     

Strong asymptotics in Lagrange interpolation with equidistant nodes

In this paper we prove three conjectures of Revers on Lagrange interpolation for f_λ(t)=|t|^λ,λ>0, at equidistant nodes. In particular, we describe the rate of divergence of the Lagrange interpolants L_N( f_λ,t) for 0<|t|<1, and discuss their convergence at t=0. We also establish an asymptotic relation for max_|t|1| |t|^λ−L_N( f_λ,t)|. The proofs are based on strong asymptotics for |t|^λ−L_N( f_λ,t), 0|t|<1.     

Scaling identity for crossing Brownian motion in a Poissonian potential

We consider d-dimensional Brownian motion in a truncated Poissonian potential (d≥ 2). If Brownian motion starts at the origin and ends in the closed ball with center y and radius 1, then the transverse fluctuation of the path is expected to be of order |y|^ξ, whereas the distance fluctuation is of order |y|^χ. Physics literature tells us that ξ and χ should satisfy a scaling identity 2ξ− 1 = χ. We give here rigorous results for this conjecture. Received: 31 December 1997 / Revised version: 14 April 1998     

A covering lemma for L(ℝ)

Jensen's celebrated Covering Lemma states that if 0^# does not exist, then for any uncountable set of ordinals X, there is a Y∈L such that X⊆Y and |X| = |Y|. Working in ZF + AD alone, we establish the following analog: If ℝ^# does not exist, then L(ℝ) and V have exactly the same sets of reals and for any set of ordinals X with |X| ≥Θ ^{L (ℝ)}, there is a Y∈L(ℝ) such that X⊆Y and |X| = |Y|. Here ℝ is the set of reals and Θ is the supremum of the ordinals which are the surjective image of ℝ. Received: 29 October 1999 / Published online: 12 December 2001     

On the compactness of constant mean curvature hypersurfaces with finite total curvature

In this work we consider a complete submanifold M with parallel mean curvature vector h immersed in a space form of constant sectional curvature c ￡ 0c\leq 0. If M has finite total curvature and |H|² > -c|H|^2>-c, we prove that M must be compact.     

On the Convexity of the Heinz Means

Let A, B, and X be operators on a complex separable Hilbert space such that A and B are positive, and let 0 ≤ v ≤ 1. The Heinz inequalities assert that for every unitarily invariant norm | | | ·| | | ,{\left\vert \left\vert \left\vert \cdot \right\vert \right\vert \right\vert ,}

Monochrome symmetric subsets of colored groups

In (Electron. J. Combin. 10 (2003); http://www.combinatorics.org/volume-10/Abstracts/v1oi1r28.html), the first author (Yuliya Gryshko) asked three questions. Is it true that every infinite group admitting a 2-coloring without infinite monochromatic symmetric subsets is either almost cyclic (i.e., have a finite index subgroup which is cyclic infinite) or countable locally finite? Does every infinite group G include a monochromatic symmetric subset of any cardinal <|G| for any finite coloring? Does every uncountable group G such that |B(G)|< |G| where B(G)={xG:x²=1}, admit a 2-coloring without monochromatic symmetric subsets of cardinality |G|? We answer the first question positively. Assuming the generalized continuum hypothesis (GCH), we give a positive answer to the second question in the abelian case. Finally, we build a counter-example for the third question and we give a necessary and sufficient condition for an infinite group G to admit 2-coloring without monochromatic symmetric subsets of cardinality |G|. This generalizes some results of Protasov on infinite abelian groups (Mat. Zametki 59 (1996) 468–471; Dopovidi NAN Ukrain 1 (1999) 54–57).     

The scaling window for a random graph with a given degree sequence

We consider a random graph on a given degree sequence D, satisfying certain conditions. Molloy and Reed defined a parameter Q = Q(D) and proved that Q = 0 is the threshold for the random graph to have a giant component. We introduce a new parameter R = R( \begin{align*}\mathcal {D}\end{align*}) and prove that if |Q| = O(n^‐1/3R^2/3) then, with high probability, the size of the largest component of the random graph will be of order Θ(n^2/3R^‐1/3). If |Q| is asymptotically larger than n^‐1/3R^2/3 then the size of the largest component is asymptotically smaller or larger than n^2/3R^‐1/3. Thus, we establish that the scaling window is |Q| = O(n^‐1/3R^2/3). © 2012 Wiley Periodicals, Inc. Random Struct. Alg., 2012     

Berger-Shaw's theorem forp-hyponormal operators

For an-multicyclicp-hyponormal operatorT, we shall show that |T|^2p –|T ^*|^2p belongs to the Schatten and that tr Area ((T)).     

Whaley's Theorem for Finite Lattices

Whaley's Theorem on the existence of large proper sublattices of infinite lattices is extended to ordered sets and finite lattices. As a corollary it is shown that every finite lattice L with |L|≥3 contains a proper sublattice S with |S|≥|L|^1/3. It is also shown that that every finite modular lattice L with |L|≥3 contains a proper sublattice S with |S|≥|L|^1/2, and every finite distributive lattice L with |L|≥4 contains a proper sublattice S with |S|≥3/4|L|. This revised version was published online in June 2006 with corrections to the Cover Date.     

Hyperreflexivity of the derivation space of some group algebras

Let T be a continuous linear operator on a Banach algebra A. We address the question of whether the constant ${{\rm sup}\{||aT(b)c||: a, b, c \in A, \, ab = bc = 0, ||a|| = ||b|| = ||c||=1\}}Let T be a continuous linear operator on a Banach algebra A. We address the question of whether the constant sup{||aT(b)c||: a, b, c ? A,  ab = bc = 0, ||a|| = ||b|| = ||c||=1}{{\rm sup}\{||aT(b)c||: a, b, c \in A, \, ab = bc = 0, ||a|| = ||b|| = ||c||=1\}} being small implies that the distance from T to the space Der(A) of all continuous derivations on A is small. We show that this is the case for amenable group algebras. As a consequence, we deduce that Der(L ¹(G)) is hyperreflexive for each amenable group in [SIN].     

On the <Emphasis Type="Italic">C</Emphasis>*-valued triangle equality and inequality in Hilbert <Emphasis Type="Italic">C</Emphasis>*-modules

We prove that for two elements x, y in a Hilbert C*-module V over a C*-algebra the C*-valued triangle equality |x + y| = |x| + |y| holds if and only if 〈x, y〉 = |x| |y|. In addition, if has a unit e, then for every x, y ∊ V and every ɛ > 0 there are contractions u, υ ∊ such that |x + y| ≦ u|x|u* + υ|y|υ* + ɛe.      

Modified Wave Operators for the Hartree Equation with Data,Image and Convergence in the Same Space,II

We study modified wave operators for the Hartree equation with a long-range potential |x|^-n |x|^{-\nu} , extending the result in [12] to the whole range of the Dollard type 1/2 < n \nu < 1. We construct the modified wave operators in the whole space of (1 + |x|)^-sL² (1 + |x|)^{-s}L^2 . We also have the image, strong continuity and strong asymptotic approximation in the same space. The lower bound $ s > 1 - \nu / 2 $ s > 1 - \nu / 2 of the weight is sharp from the scaling argument. Those maps are homeomorphic onto open subsets, which implies in particular asymptotic completeness for small data.     

Large Sets of Lattices without Order Embeddings

Let I and μ be an infinite index set and a cardinal, respectively, such that |I| ≤ μ and, starting from ?₀, μ can be constructed in countably many steps by passing from a cardinal λ to 2^λ at successor ordinals and forming suprema at limit ordinals. We prove that there exists a system X = {L_i: i ∈ I} of complemented lattices of cardinalities less than |I| such that if i, j ∈ I and φ: L_i → L_j is an order embedding, then i = j and φ is the identity map of L_i. If |I| is countable, then, in addition, X consists of finite lattices of length 10. Stating the main result in other words, we prove that the category of (complemented) lattices with order embeddings has a discrete full subcategory with |I| many objects. Still in other words, the class of these lattices has large antichains (that is, antichains of size |I|) with respect to the quasiorder “embeddability.” As corollaries, we trivially obtain analogous statements for partially ordered sets and semilattices.     

Eigenvalues of Finite Projective Planes with an Abelian Cartesian Group

Let M be an incidence matrix for a projective plane of order n. The eigenvalues of M are calculated in the Desarguesian case and a standard form for M is obtained under the hypothesis that the plane admits a (P,L)-transitivity G, |G| = n. The study of M is reduced to a principal submatrix A which is an incidence matrix for n ² lines of an associated affine plane. In this case, A is a generalized Hadamard matrix of order n for the Cayley permutation representation R(G). Under these conditions it is shown that G is a 2-group and n = 2^r when the eigenvalues of A are real. If G is abelian, the characteristic polynomial |xI – A| is the product of the n polynomials |x – (A)|, a linear character of G. This formula is used to prove n is a prime power under natural conditions on A and spectrum(A). It is conjectured that |xI – A| x ⁿ² mod p for each prime divisor p of n and the truth of the conjecture is shown to imply n = |G| is a prime power.     

Diameter bounds for planar graphs

The inverse degree of a graph is the sum of the reciprocals of the degrees of its vertices. We prove that in any connected planar graph, the diameter is at most 5/2 times the inverse degree, and that this ratio is tight. To develop a crucial surgery method, we begin by proving the simpler related upper bounds (4(|V|−1)−|E|)/3 and 4|V|²/3|E| on the diameter (for connected planar graphs), which are also tight.