Linear maps preserving M–P inverses of matrices between matrix spaces over fields

Suppose F is a field of characteristic not 2. Let n and m be two arbitrary positive integers with n≥2. We denote by M _n (F) and S _n (F) the space of n×n full matrices and the space of n×n symmetric matrices over F, respectively. All linear maps from S _n (F) to M _m (F) preserving M–P inverses of matrices are characterized first, and thereby all linear maps from S _n (F) (M _n (F)) to S _m (F) (M _m (F)) preserving M–P inverses of matrices are characterized, respectively.     

Følner sequences and Hilbert’s Irreducibility Theorem over Q

Letf(X; T ₁, ...,T _n) be an irreducible polynomial overQ. LetB be the set ofb teZ ⁿ such thatf(X;b) is of lesser degree or reducible overQ. Let ?={F _j}{F _j } _j?1 ^∞ be a Følner sequence inZ ⁿ — that is, a sequence of finite nonempty subsetsF _j ?Z ⁿ such that for eachvteZ ⁿ , $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap (F_j + \upsilon )} \right|}}{{\left| {F_j } \right|}} = 1$ Suppose ? satisfies the extra condition that forW a properQ-subvariety ofP ⁿ ?A ⁿ and ?>0, there is a neighborhoodU ofW(R) in the real topology such that $\mathop {lim sup}\limits_{j \to \infty } \frac{{\left| {F_j \cap U} \right|}}{{\left| {F_j } \right|}}< \varepsilon $ whereZ ⁿ is identified withA ⁿ (Z). We prove $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap B} \right|}}{{\left| {F_j } \right|}} = 0$ .     

Sebestyén's Moment Problem And Regular Dilations

We give a necessary and sufficient condition for a double indexed sequence {h _m ⁿ } of vectors in a Hilbert space such that it can be represented in the form h _m ⁿ = T ^m S ⁿ h ₀ ⁰ , (?)m, n ∈ N, where (T,S) is a pair of commuting contractions having regular unitary dilation.     

Boundary noncrossings of additive Wiener fields∗

Let {W _i (t), t ∈ ?₊}, i = 1, 2, be two Wiener processes, and let W ₃ = {W ₃(t), t ∈ ? ₊ ² } be a two-parameter Brownian sheet, all three processes being mutually independent. We derive upper and lower bounds for the boundary noncrossing probability P _f = P{W ₁(t ₁) + W ₂(t ₂) + W ₃(t) + f(t) ≤ u(t), t ∈ ? ₊ ² }, where f, u : ? ₊ ² → ? are two general measurable functions. We further show that, for large trend functions γf > 0, asymptotically, as γ → ∞, P _γf is equivalent to \( {P}_{\gamma}\underset{\bar{\mkern6mu}}{{}_f} \) , where \( \underset{\bar{\mkern6mu}}{f} \) is the projection of f onto some closed convex set of the reproducing kernel Hilbert space of the field W(t) = W ₁(t ₁) + W ₂(t ₂) + W ₃(t). It turns out that our approach is also applicable for the additive Brownian pillow.     

Partial integrability of Hamiltonian systems with homogeneous potential

In this paper we consider systems with n degrees of freedom given by the natural Hamiltonian function of the form $$ H = \frac{1} {2}p^T Mp + V(q), $$ where q = (q ₁, …, q _n ) ∈ ? ⁿ , p = (p ₁, …, p _n ) ∈ ? ⁿ , are the canonical coordinates and momenta, M is a symmetric non-singular matrix, and V (q) is a homogeneous function of degree k ∈ ?*. We assume that the system admits 1 ? m < n independent and commuting first integrals F ₁, … F _m . Our main results give easily computable and effective necessary conditions for the existence of one more additional first integral F _m+1 such that all integrals F ₁, … F _m+1 are independent and pairwise commute. These conditions are derived from an analysis of the differential Galois group of variational equations along a particular solution of the system. We apply our result analysing the partial integrability of a certain n body problem on a line and the planar three body problem.     

Hankel operators on planar domains

Let Ω be a bounded domain in the plane whose boundary consists of a finite number of disjoint analytic simple closed curves LetA denote the space of analytic functions on Ω which are square integrable over Ω with respect to area measure and letP denote the orthogonal projection ofL ²(Ω,dA) ontoA. A functionb inA induces a Hankel operator (densely defined) onA by the ruleH _b (g)=(I?P)bg. This paper continues earlier investigations of the authors and others by determining conditions under whichH _b is bounded, compact, or lies in the Schatten-von Neumann idealS _p , 1<p<∞     

Contraction mappings in interval analysis

Under certain conditions, the contraction mapping fixed point theorem guarantees the convergence of the iterationx _i+1=f(x _i ) toward a fixed point of the functionf:R ⁿ →R ⁿ. When an interval extensionF off is used in a similar iteration scheme to obtain a sequence of interval vectors these conditions need not provide convergence to a degenerate interval vector representing the fixed point, even if the width of the initial interval vector is chosen arbitrarily small. We give a sufficient condition on the extensionF in order that the convergence is guaranteed. The centered form of Moore satisfies this condition.     

A sharp weightedL 2-estimate for the solution to the time-dependent Schrödinger equation

For Ξ∈R ⁿ ,t∈R andf∈S(R ⁿ ) define $\left( {S^2 f} \right)\left( t \right)\left( \xi \right) = \exp \left( {it\left| \xi \right|^2 } \right)\hat f\left( \xi \right)$ . We determine the optimal regularitys ₀ such that $\int_{R^n } {\left\| {(S^2 f)[x]} \right\|_{L^2 (R)}^2 \frac{{dx}}{{(1 + |x|)^b }} \leqslant C\left\| f \right\|_{H^s (R^n )}^2 ,s > s_0 } ,$ holds whereC is independent off∈S(R ⁿ ) or we show that such optimal regularity does not exist. This problem has been treated earlier, e.g. by Ben-Artzi and Klainerman [2], Kato and Yajima [4], Simon [6], Vega [9] and Wang [11]. Our theorems can be generalized to the case where the exp(it|ξ|²) is replaced by exp(it|ξ|^a),a≠2. The proof uses Parseval's formula onR, orthogonality arguments arising from decomposingL ²(R ⁿ ) using spherical harmonics and a uniform estimate for Bessel functions. Homogeneity arguments are used to show that results are sharp with respect to regularity.     

On diversity and stability of unit bases for the Euclidean metric

We prove the existence of a family Ω(n) of 2 ^c (where c is the cardinality of the continuum) subgraphs of the unit distance graph (E ⁿ , 1) of the Euclidean space E ⁿ , n ≥ 2, such that (a) for each graph G ? Ω(n), any homomorphism of G to (E ⁿ , 1) is an isometry of E ⁿ ; moreover, for each subgraph G ₀ of the graph G obtained from G by deleting less than c vertices, less than c stars, and less than c edges (we call such a subgraph reduced), any homomorphism of G ₀ to (E ⁿ , 1) is an isometry (of the set of the vertices of G ₀); (b) each graph G ? Ω(n) cannot be homomorphically mapped to any other graph of the family Ω(n), and the same is true for each reduced subgraph of G.     

Dirichlet polyhedra for dihedral groups acting on complex hyperbolic space

We consider groups Γ generated by inversions in a pair of asymptotic complex hyperplanes in complex hyperbolic spaceH _? ⁿ . We show that there exists a Γ-invariant real hypersurfaceF ?H _? ⁿ such that the Dirichlet fundamental polyhedron for Γ centered at z₀ has two sides (resp. infinitely many sides) if and only ifz ₀ ∈F (resp.z ₀ ?F). The Dirichlet regions are determined explicitly in terms of coordinates on Γ-invariant horospheres and the geometry ofH _? ⁿ is developed in terms of these horospherical coordinates.     

Approximation by antiderivatives

Let Ω ?C be an open set with simply connected components and suppose that the functionφ is holomorphic on Ω. We prove the existence of a sequence {φ ^(?n)} ofn-fold antiderivatives (i.e., we haveφ ⁽⁰⁾(z)∶=φ(z) andφ ^(?n)(z)=dφ ^(?n?1)(z)/dz for alln ∈ N₀ and z ∈ Ω) such that the following properties hold:

1. For any compact setB ?Ω with connected complement and any functionf that is continuous onB and holomorphic in its interior, there exists a sequence {n _k} such that {φ^?nk} converges tof uniformly onB.
2. For any open setU ?Ω with simply connected components and any functionf that is holomorphic onU, there exists a sequence {m _k} such that {φ^?mk} converges tof compactly onU.
3. For any measurable setE ?Ω and any functionf that is measurable onE, there exists a sequence {p _k} such that {φ ^(-Pk)} converges tof almost everywhere onE.

     

Integro-local and integral theorems for sums of random variables with semiexponential distributions

We obtain some integro-local and integral limit theorems for the sums S(n) = ξ(1) + ? + ξ(n) of independent random variables with general semiexponential distribution (i.e., a distribution whose right tail has the form $P(\xi \ge t) = e^{ - t^\beta L(t)} $ , where β ∈ (0, 1) and L(t) is a slowly varying function with some smoothness properties). These theorems describe the asymptotic behavior as x → ∞ of the probabilities P(S(n) ∈ [x, x + Δ)) and P(S(n) ≥ x) in the zone of normal deviations and all zones of large deviations of x: in the Cramér and intermediate zones, and also in the “extreme” zone where the distribution of S(n) is approximated by that of the maximal summand.     

On rings whose number of centralizers of ideals is finite

LetR be a ring. For the setF of all nonzero ideals ofR, we introduce an equivalence relation inF as follows: For idealsI andJ, I～J if and only ifV _R (I)=V _R(J), whereV _R() is the centralizer inR. LetI _R=F/～. Then we can see thatn(I _R), the cardinality ofI _R, is 1 if and only ifR is either a prime ring or a commutative ring (Theorem 1.1). An idealI ofR is said to be a commutator ideal ifI is generated by{st?ts; s∈S, t∈T} for subsetS andT ofR, andR is said to be a ring with (N) if any commutator ideal contains no nonzero nilpotent ideals. Then we have the following main theorem: LetR be a ring with (N). Thenn(I _R) is finite if and only ifR is isomorphic to an irredundant subdirect sum ofS⊕Z whereS is a finite direct sum of non commutative prime rings andZ is a commutative ring (Theorem 2.1). Finally, we show that the existence of a ringR such thatn(I _R)=m for any given natural numberm.     

Fractional Covers for Convolution Products

A non-zero vector-valued sequence u ∈ ?^q(X′) is a cover for a subset M of ?_P(X) if, for some 0 < α ≤ 1, ∥u * h∥ _∞ ≥ α ∥u∥_q ∥h∥_p for all h ∈ M. Covers of ?¹ = ?¹(R) are important in worst case system identification in ?¹ and in the reconstruction of elements in a normed space from corrupted functional values. We investigate the existence of covers for certain naturally occurring subspaces of ?^p(X). We show that there exist finitely supported covers for some subspaces, and obtain lower bounds for their ’lengths’. We also obtain similar results for covers associated with convolution products for spaces of measurable vector-valued functions defined on the positive real axis.     

An embedding theorem for partial algebras and the free completion of a free partial algebra within a primitive class

Let U be any nontrivial primitive class of partial algebras, i.e. there existsA ∈ U with |A|≥2, and U is closed with respect to homomorphic images (in the weak sense), subalgebras (on closed subsets) and cartesian products of U-algebras, and let U _f denote the—also nontrivial and primitive—class of all full U-algebras. Then every U-algebra with at least two elements is a relative algebra of some U _f -algebra. For any U-algebraAsetU _A =U _i εI({i}×(A ^K _i—domf _i ^A )), where (K _i) _i εI is the type under consideration. Furthermore let F(N, U) denote any U-algebra U-freely generated by some setN (and let F (M, U _f ) be similarly defined). Then for every nonempty setM there exists a setN satisfyingM ?N such that there exists a bijective mapping σ:U _{F(N, U)} →N ?M satisfying σ((i, α)) ? α(K _i ) for all (i, α) ∈U _{F (N, U)}, and, for the structureg=(g _i)_iεI defined by ,g _i : =f _i ^{F(N, U)} ∪ {(α, σ((i, α))) | (i, α ∈U _{F(N, U)}} id _M induces an isomorphism betweenF(M, U _f ), and (F(N, U)g).     

Right inverses for linear, constant coefficient partial differential operators on distributions over open half spaces

Results of Hörmander on evolution operators together with a characterization of the present authors [Ann. Inst. Fourier, Grenoble 40, 619–655 (1990)] are used to prove the following: Let P ∈ ?[z₁,...,z _n ] and denote by P _m its principal part. If P ? P_m is dominated by P _m then the following assertions for the partial differential operators P(D) and P _m(D) are equivalent for N ∈ S ^n?1:

1. P(D) and/or P_m D)admit a continuous linear right inverse on C ^∞(H ₊(N)).
2. P(D) admits a continuous linear right inverse on C ^∞ (? ⁿ ) and a fundamental solution E ∈ C ^∞(?ⁿ) satisfying Supp $E \subset \overline {H - (N)} $

where H ₊(N) := {x ∈ ? ⁿ :±(x,N) τ; 0}.     

Minimal polynomials for compact sets of the complex plane

LetW _N(z)=a_Nz^N+... be a complex polynomial and letT _n be the classical Chebyshev polynomial. In this article it is shown that the polynomials (2a_N)^?n+1T_n(W_N), n ∈N, are minimal polynomials on all equipotential lines for {z∈C:|W _N(z)|≤1 Λ ImW _N(z)=0}     

The maximal Fejér operator on the spacesH p (R×···×R)

It is shown that the maximal operator of the Fejér means of a tempered distribution is bounded from thed-dimensional Hardy spaceH _p (R×···×R) toL _p (R ^d ) (1/2<p<∞) and is of weak type (H ₁ ^?i ,L ₁) (i=1,…,d), where the Hardy spaceH ₁ ^?i is defined by a hybrid maximal function. As a consequence, we obtain that the Fejér means of a functionf ∈H ₁ ^?i ?L(logL) ^d?1 converge a.e. to the function in question. Moreover, we prove that the Fejér means are uniformly bounded onH _p (R×···×R) whenever 1/2<p<∞. Thus, in casef ∈H _p (R×···×R) the Fejér means converge tof inH _p (R×···×R) norm. The same results are proved for the conjugate Fejér means, too.