Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

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.     

On the classification of conditionally integrable evolution systems in (1 + 1) dimensions

We generalize earlier results of Fokas and Liu and find all locally analytic (1 + 1)-dimensional evolution equations of order n that admit an N-shock-type solution with N ≤ n + 1. For this, we develop a refinement of the technique from our earlier work, where we completely characterized all (1+1)-dimensional evolution systems u _t = F (x, t, u, ?u/?x,..., ?ⁿ u/? x ⁿ) that are conditionally invariant under a given generalized (Lie-Bäcklund) vector field Q(x, t, u, ?u/?x,..., ?^k u/?x ^k)?/?u under the assumption that the system of ODEs Q = 0 is totally nondegenerate. Every such conditionally invariant evolution system admits a reduction to a system of ODEs in t, thus being a nonlinear counterpart to quasi-exactly solvable models in quantum mechanics.     

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$ .     

An Erdös-Ko-Rado theorem for the subcubes of a cube

LetP be that partially ordered set whose elements are vectors x=(x ₁, ...,x _n ) withx _i ε {0, ...,k} (i=1, ...,n) and in which the order is given byx≦y iffx _i =y _i orx _i =0 for alli. LetN _i (P)={x εP : |{j:x _j ≠ 0}|=i}. A subsetF ofP is called an Erdös-Ko-Rado family, if for allx, y εF it holdsx ≮y, x ≯ y, and there exists az εN ₁(P) such thatz≦x andz≦y. Let ? be the set of all vectorsf=(f ₀, ...,f _n ) for which there is an Erdös-Ko-Rado familyF inP such that |N _i (P) ∩F|=f _i (i=0, ...,n) and let 〈?〉 be its convex closure in the (n+1)-dimensional Euclidean space. It is proved that fork≧2 (0, ..., 0) and \(\left( {0,...,0,\overbrace {i - component}^{\left( {\begin{array}{*{20}c} {n - 1} \\ {i - 1} \\ \end{array} } \right)}k^{i - 1} ,0,...,0} \right)\) (i=1, ...,n) are the vertices of 〈?〉.     

Effective analysis of integral points on algebraic curves

LetK be an algebraic number field,S?S _\t8 a finite set of valuations andC a non-singular algebraic curve overK. Letx∈K(C) be non-constant. A pointP∈C(K) isS-integral if it is not a pole ofx and |x(P)| _v >1 impliesv∈S. It is proved that allS-integral points can be effectively determined if the pair (C, x) satisfies certain conditions. In particular, this is the case if

1. x:C→P ¹ is a Galois covering andg(C)≥1;
2. the integral closure of $\bar Q$ [x] in $\bar Q$ (C) has at least two units multiplicatively independent mod $\bar Q$ *.

This generalizes famous results of A. Baker and other authors on the effective solution of Diophantine equations.     

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.     

Difference Sets in {\mathbb{Z}}_4^m and {\mathbb{F}}_2^{2m}

Let R=GR(4,m) be the Galois ring of cardinality 4^m and let T be the Teichmüller system of R. For every map λ of T into { -1,+1} and for every permutation Π of T, we define a map φ _λ ^Π of Rinto { -1,+1} as follows: if x∈R and if x=a+2b is the 2-adic representation of x with x∈T and b∈T, then φ _λ ^Π (x)=λ(a)+2Tr(Π(a)b), where Tr is the trace function of R . For i=1 or i=-1, define D _i as the set of x in R such thatφ _λ ^Π =i. We prove the following results: 1) D _i is a Hadamard difference set of (R,+). 2) If φ is the Gray map of R into ${\mathbb{F}}_2^{2m}$ , then (D _i) is a difference set of ${\mathbb{F}}_2^{2m}$ . 3) The set of D _i and the set of φ(D _i) obtained for all maps λ and Π, both are one-to-one image of the set of binary Maiorana-McFarland difference sets in a simple way. We also prove that special multiplicative subgroups of R are difference sets of kind D _i in the additive group of R. Examples are given by means of morphisms and norm in R.     

Variational Inequalities: an Elementary Approach

We will deal with the following problem: Let M be an n×n matrix with real entries. Under which conditions the family of inequalities: x∈? ⁿ ;x?0;M·x?0has non–trivial solutions? We will prove that a sufficient condition is given by m_i,j+m_j,i?0 (1?i,j?n); from this result we will derive an elementary proof of the existence theorem for Variational Inequalities in the framework of Monotone Operators.     

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.     

Existence and nonuniqueness of solutions to a functional-differential equation

We examine the functional-differential equation Δu(x) — div(u(H(x))f (x)) = 0 on a torus which is a generalization of the stationary Fokker-Planck equation. Under sufficiently general assumptions on the vector field f and the map H, we prove the existence of a nontrivial solution. In some cases the subspace of solutions is established to be multidimensional.     

Some matrix functional equations

We investigate the pair of matrix functional equations G(x)F(y) = G(xy) and G(x)G(y) = F(y/x), featuring the two independent scalar variables x and y and the two N×N matrices F(z) andG(z) (with N an arbitrary positive integer and the elements of these two matrices functions of the scalar variable z). We focus on the simplest class of solutions, i.e., on matrices all of whose elements are analytic functions of the independent variable. While in the scalar (N = 1) case this pair of functional equations only possess altogether trivial constant solutions, in the matrix (N > 1) case there are nontrivial solutions. These solutions satisfy the additional pair of functional equations F(x)G(y) = G(y/x) andF(x)F(y) = F(xy), and an endless hierarchy of other functional equations featuring more than two independent variables.     

The diagnonal multivariate natural exponential families and their classification

A natural exponential family (NEF)F in ? ⁿ ,n>1, is said to be diagonal if there existn functions,a ₁,...,a _n , on some intervals of ?, such that the covariance matrixV _F (m) ofF has diagonal (a ₁(m ₁),...,a _n (m _n )), for allm=(m ₁,...,m _n ) in the mean domain ofF. The familyF is also said to be irreducible if it is not the product of two independent NEFs in ? ^k and ? ^n-k , for somek=1,...,n?1. This paper shows that there are only six types of irreducible diagonal NEFs in ? ⁿ , that we call normal, Poisson, multinomial, negative multinomial, gamma, and hybrid. These types, with the exception of the latter two, correspond to distributions well established in the literature. This study is motivated by the following question: IfF is an NEF in ? ⁿ , under what conditions is its projectionp(F) in ? ^k , underp(x ₁,...,x _n )∶=(x ₁,...,x _k ),k=1,...,n?1, still an NEF in ? ^k ? The answer turns out to be rather predictable. It is the case if, and only if, the principalk×k submatrix ofV _F (m ₁,...,m _n ) does not depend on (m _k+1,...,m _n ).     

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.     

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.     

Time-Varying Fractionally Integrated Processes with Finite or Infinite Variance and Nonstationary Long Memory

Recently, Philippe et al. (C.R. Acad. Sci. Paris. Ser. I 342, 269–274, 2006; Theory Probab. Appl., 2007, to appear) introduced a new class of time-varying fractionally integrated filters A(d)x _t =∑ _j=0 ^∞ a _j (t)x _t?j , B(d)x _t =∑ _j=0 ^∞ b _j (t)x _t?j depending on arbitrary given sequence d=(d _t ,t∈?) of real numbers, such that A(d)^?1=B(?d), B(d)^?1=A(?d) and such that when d _t ≡d is a constant, A(d)=B(d)=(1?L) ^d is the usual fractional differencing operator. Philippe et al. studied partial sums limits of (nonstationary) filtered white noise processes X _t =B(d)ε _t and Y _t =A(d)ε _t in the case when (1) d is almost periodic having a mean value $\bar{d}\in (0,1/2)$ , or (2) d admits limits d _±=lim? _t→±∞ d _t ∈(0,1/2) at t=±∞. The present paper extends the above mentioned results of Philippe et al. into two directions. Firstly, we consider the class of time-varying processes with infinite variance, by assuming that ε _t ,t∈? are iid rv’s in the domain of attraction of α-stable law (1<α≤2). Secondly, we combine the classes (1) and (2) of sequences d=(d _t ,t∈?) into a single class of sequences d=(d _t ,t∈?) admitting possibly different Cesaro limits $\bar{d}_{\pm}\in(0,1-(1/\alpha))$ at ±∞. We show that partial sums of X _t and Y _t converge to some α-stable self-similar processes depending on the asymptotic parameters $\bar{d}_{\pm}$ and having asymptotically stationary or asymptotically vanishing increments.     

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.     

On Dirichlet Type Problems of Polynomial Dirac Equations with Boundary Conditions

Let ${{\bf D}_{\bf x} := \sum_{i=1}^n \frac{\partial}{\partial x_i} e_i}$ be the Euclidean Dirac operator in ${\mathbb{R}^n}$ and let P(X) = a _m X ^m + . . . + a ₁ X +  a ₀ be a polynomial with real coefficients. Differential equations of the form P(D _x )u(x) = 0 are called homogeneous polynomial Dirac equations with real coefficients. In this paper we treat Dirichlet type problems of the a slightly less general form P(D _x )u(x) = f(x) (where the roots are exclusively real) with prescribed boundary conditions that avoid blow-ups inside the domain. We set up analytic representation formulas for the solutions in terms of hypercomplex integral operators and give exact formulas for the integral kernels in the particular cases dealing with spherical and concentric annular domains. The Maxwell and the Klein–Gordon equation are included as special subcases in this context.     

On Some Extremal Varieties of Associative Algebras

Suppose that F is a field of prime characteristic p and V _p is the variety of associative algebras over F defined by the identities [[x, y], z] = 0 and x ^p = 0 if p > 2 and by the identities [[x, y], z] = 0 and x ⁴ = 0 if p = 2 (here [x, y] = xy ? yx). As is known, the free algebras of countable rank of the varieties V _p contain non-finitely generated T-spaces. We prove that the varieties V _p are minimal with respect to this property.     

On a J. C. C. Nitsche’s Type Inequality for the Hyperbolic Space H3

Let H ³ be the hyperbolic space identified with the unit ball B ³ = {x ∈ R ³ : |x| < 1} with the Poincaré metric d _h and let ??(x ₀, p, q) : = {x : p < d _h (x, x ₀) < q} ? H ³ be a hyperbolic annulus with the inner and outer radii 0 < p < q < ∞. We prove that if there exists a hyperbolic harmonic diffeomorphism between annuli ??(x ₀, a, b) and ?? (y ₀, α, β) in the hyperbolic space H ³, then β/α>1+ψ(a,b), where ψ is a positive function. In addition, for given two annuli in the hyperbolic space H ³, satisfying certain conditions, we construct radial harmonic mappings between them.