Integer-Valued Polynomials over Matrix Rings

When D is a commutative integral domain with field of fractions K, the ring Int(D) = {f ∈ K[x] | f(D) ? D} of integer-valued polynomials over D is well-understood. This article considers the construction of integer-valued polynomials over matrix rings with entries in an integral domain. Given an integral domain D with field of fractions K, we define Int(M _n (D)): = {f ∈ M _n (K)[x] | f(M _n (D)) ? M _n (D)}. We prove that Int(M _n (D)) is a ring and investigate its structure and ideals. We also derive a generating set for Int(M _n (?)) and prove that Int(M _n (?)) is non-Noetherian.     

Sudakov-type minoration for gaussian chaos processes

Consider a setA of symmetricn×n matricesa=(a _i,j) _i,j≤n . Consider an independent sequence (g _i) _i≤n of standard normal random variables, and letM=Esup_a∈A|Σ_i,j⪯na_i,jg_ig_j|. Denote byN ₂(A, α) (resp.N _t(A, α)) the smallest number of balls of radiusα for thel ₂ norm ofR ^{n 2} (resp. the operator norm) needed to coverA. Then for a universal constantK we haveα(logN ₂(A, α))^1/4≤KM. This inequality is best possible. We also show that forδ≥0, there exists a constantK(δ) such thatα(logN _t≤K(δ)M. Work partially supported by an N.S.F. grant.     

Finite-dimensional Representations for a Class of Generalized Intersection Matrix Lie Algebras

In this paper, the authors study a class of generalized intersection matrix Lie algebras gim(M_n), and prove that its every finite-dimensional semisimple quotient is of type M(n, a, c, d). Particularly, any finite dimensional irreducible gim(M_n) module must be an irreducible module of Lie algebra of type M(n, a, c, d) and any finite dimensional irreducible module of Lie algebra of type M(n, a, c, d) must be an irreducible module of gim(M_n).     

Coinvariants for a coadjoint action of quantum matrices

Let K be a (algebraically closed ) field. A morphism A ⟼ g ⁻¹ Ag, where A ∈ M(n) and g ∈ GL(n), defines an action of a general linear group GL(n) on an n × n-matrix space M(n), referred to as an adjoint action. In correspondence with the adjoint action is the coaction α: K[M(n)] → K[M(n)] ⊗ K[GL(n)] of a Hopf algebra K[GL(n)] on a coordinate algebra K[M(n)] of an n × n-matrix space, dual to the conjugation morphism. Such is called an adjoint coaction. We give coinvariants of an adjoint coaction for the case where K is a field of arbitrary characteristic and one of the following conditions is satisfied: (1) q is not a root of unity; (2) char K = 0 and q = ±1; (3) q is a primitive root of unity of odd degree. Also it is shown that under the conditions specified, the category of rational GL _q × GL _q -modules is a highest weight category.     

Discrete Approximation of Unbounded Operators and Approximation of their Spectra

Let E be a Banach space over and let the densely defined closed linear operator A: (A)E→E be discretely approximated by the sequence ((A_n, (A_n)))_n of operators A_n where each A_n is densely defined in the Banach space F_n. Let σ_a(A) be the approximate point spectrum of A and let σ(A_n) denote the -pseudospectrum of A_n. Generalizing our own result, we show that σ_a(A)lim inf σ(A_n)=_n ∩_kn σ(A_k) holds for every >0. We deduce that then for every compact set K lim_n dist(σ_a(A)∩K, σ_a(A_n))=0 provided there exists M>0 such that (λ−A_n)⁻¹M dist(λ, σ(A_n))⁻¹ holds for every n and every λ in the resolvent set ρ(A_n) of A_n. We finally treat the problem under which conditions σ_a(A) can be approximated from below. More precisely we investigate the problem: Under which assumptions does ∩_>0 ∩_{n kn} σ_, a(A_k)σ_a(A) hold where σ_, a(A) denotes the -approximate pseudospectrum?     

The decompositions of line graphs,middle graphs and total graphs of complete graphs into forests

We construct decompositions of L(K_n), M(K_n) and T(K_n) into the minimum number of line-disjoint spanning forests by applying the usual criterion for a graph to be eulerian. This gives a realization of the arboricity of each of these three graphs.     

Clean matrices over commutative rings

A matrix A ∈ M _n (R) is e-clean provided there exists an idempotent E ∈ M _n (R) such that A-E ∈ GL _n (R) and det E = e. We get a general criterion of e-cleanness for the matrix [[a ₁, a ₂,..., a _n +1]]. Under the n-stable range ondition, it is shown that [[a ₁, a ₂,..., a _n +1]] is 0-clean iff (a ₁, a ₂,..., a _n +1) = 1. As an application, we prove that the 0-cleanness and unit-regularity for such n × n matrix over a Dedekind domain coincide for all n ⩾ 3. The analogous for (s, 2) property is also obtained.      

On conditions for Dirichlet series absolutely convergent in a half-plane to belong to the class of convergence

Let M(σ) = sup{|F(σ + it)|: t ∈ ℝ} and μ(σ) = max {|a _n |exp(σλ_n): n ≥ 0}, σ < 0, for a Dirichlet series {fx995-01} with abscissa of absolute convergence σ_a = 0. We prove that the condition ln ln n = o(ln λ_n), n → ∞, is necessary and sufficient for the equivalence of the relations {fx995-02}, for each series of this type. Translated from Ukrains'kyi Matematychnyi Zhurnal, Vol. 60, No. 6, pp. 851–856, June, 2008.     

Finite metric spaces needing high dimension for lipschitz embeddings in banach spaces

We construct a sequence of metric spaces (M _n) with cardM _n=3n satisfying that for everyc<2, there exists a real numbera(c)>0 such that, if the Lipschitz distance fromM _n to a subset of a Banach spaceE is less thanc, then dim(E) ≥a(c)n. We also prove several results about embeddings of metric spaces whose non-zero distance values are in the interval [1,2].     

On the torsion in K_2 of a field

For a field F,let Gn(F) = {{a,Φn(a)} ∈ K2(F) | a,Φn(a) ∈ F*},where Φn(x) is the n-th cyclotomic polynomial.At first,by using Faltings' theorem on Mordell conjecture it is proved that if F is a number field and if n = 4,8,12 is a positive integer having a square factor then Gn(F) is not a subgroup of K2(F),and then by using the results of Manin,Grauert,Samuel and Li on Mordell conjecture theorem for function fields,a similar result is established for function fields over an algebraically closed field.     

Korovkin type approximation theorem via Ka−convergence on weighted spaces

In this paper, we study the Korovkin type approximation theorem for K_a‐ convergence, which is an interesting convergence method on weighted spaces. We also study the rate of K_a?convergence by using the weighted modulus of continuity and afterwards, we present a nontrivial application.     

Homological stability for configuration spaces of manifolds

Let C _n (M) be the configuration space of n distinct ordered points in M. We prove that if M is any connected orientable manifold (closed or open), the homology groups H _i (C _n (M);ℚ) are representation stable in the sense of Church and Farb (). Applying this to the trivial representation, we obtain as a corollary that the unordered configuration space B _n (M) satisfies classical homological stability: for each i, H _i (B _n (M);ℚ)≈H _i (B _n+1(M);ℚ) for n>i. This improves on results of McDuff, Segal, and others for open manifolds. Applied to closed manifolds, this provides natural examples where rational homological stability holds even though integral homological stability fails.     

A rigidity result for highest order local cohomology modules

Let M be a finitely generated faithful module over a noetherian ring R of dimension d < ￥ \infty and let \mathfrak a \subseteqq R {\mathfrak a} \subseteqq R be an ideal. We describe the (finite) set Supp_R(H_{\mathfrak a}^d (M)) = Ass_R(H_{\mathfrak a}^d (M)) \textrm{Supp}_R(H_{\mathfrak a}^d (M)) = \textrm{Ass}_R(H_{\mathfrak a}^d (M)) of primes associated to the highest local cohomology module H_{\mathfrak a}^d (M) H_{\mathfrak a}^d (M) in terms of the local formal behaviour of \mathfrak a {\mathfrak a} . If R is integral and of finite type over a field, Supp_R(H_{\mathfrak a}^d (M)) \textrm{Supp}_R(H_{\mathfrak a}^d (M)) is the set of those closed points of X = Spec(R) whose fibre under the normalization morphism n: X￠? X \nu : X' \rightarrow X contains points which are isolated in n^-1(Spec(R/\mathfrak a)) \nu^{-1}(\textrm{Spec}(R/{\mathfrak a})) .     

Properties of a certain product of submodules

Let R be a commutative ring with identity, let M be an R-module, and let K ₁, . . . ,K _n be submodules of M: We construct an algebraic object called the product of K ₁, . . . ,K _n : This structure is equipped with appropriate operations to get an R(M)-module. It is shown that the R(M)-module M ⁿ   = M . . .M and the R-module M inherit some of the most important properties of each other. Thus, it is shown that M is a projective (flat) R-module if and only if M ⁿ is a projective (flat) R(M)-module.     

Estimating the dimension of a linear system

The problem considered is that of estimating the integer or integers that prescribe the dimension of a linear system. These could be the Kronecker indices. Though attention is concentrated on the order or McMillan degree, which specifies the dimension of a minimal state vector, the same results are available for other cases. A fairly complete theorem is proved relating to conditions under which strong or weak convergence will hold for an estimate of the McMillan degree when the estimation is based on minimisation of a criterion of the form log det( _n) + nC(T)/T, where _n, is the estimate of the prediction error covariance matrix and the McMillan degree is assumed to be n. The conditions relate to the prescribed sequence C(T).     

Convergence theorems for the Birkhoff integral

We give sufficient conditions for the interchange of the operations of limit and the Birkhoff integral for a sequence (f _n ) of functions from a measure space to a Banach space. In one result the equi-integrability of f _n ’s is involved and we assume f _n → f almost everywhere. The other result resembles the Lebesgue dominated convergence theorem where the almost uniform convergence of (f _n ) to f is assumed.     

Effect of the initial estimator on the asymptotic behavior of one-step M-estimator

For a general (real) parameter, let M _nbe the M-estimator and M _n ⁽¹⁾ be its one-step version (based on a suitable initial estimator M _n ⁽⁰⁾). It is known that, under certain regularity conditions, n(M _n ⁽¹⁾-M _n)=O _p(1). The asymptotic distribution of n(M _n ⁽¹⁾-M _n) is studied; it is typically non-normal and it reveals the role of the initial estimator M _n ⁽⁰⁾.Work of this author was partially supported by the Office of Naval Research, Contract No. N00014-83-K-0387     

Multidimensional version of M. A. Krasnoseľskii’s generalized contraction principle

Let M be a complete K-metric space with n-dimensional metric ρ(x, y): M × M → R ⁿ , where K is the cone of nonnegative vectors in R ⁿ . A mapping F: M → M is called a Q-contraction if ρ (Fx,Fy) ⩽ Qρ (x,y), where Q: K → K is a semi-additive absolutely stable mapping. A Q-contraction always has a unique fixed point x* in M, and ρ(x*,a) ⩽ (I - Q)^-1 ρ(Fa, a) for every point a in M. The point x* can be obtained by the successive approximation method x _k = Fx _k-1, k = 1, 2,..., starting from an arbitrary point x ₀ in M, and the following error estimates hold: ρ (x*, x _k ) ⩽ Q ^k (I - Q)^-1ρ(x ₁, _x ⁰) ⩽ (I - Q)^-1 Q ^k ρ(x ₁, x ₀), k = 1, 2,.... Generally the mappings (I - Q)^-1 and Q ^k do not commute. For n = 1, the result is close to M. A. Krasnosel’skii’s generalized contraction principle.     

Asymptotic Upper Bounds for Ramsey Functions

 We show that for any graph G with N vertices and average degree d, if the average degree of any neighborhood induced subgraph is at most a, then the independence number of G is at least Nf _{a +1}(d), where f _{a +1}(d)=∫₀ ¹(((1−t)^{1/( a +1)})/(a+1+(d−a−1)t))dt. Based on this result, we prove that for any fixed k and l, there holds r(K _k + _l ,K _n )≤ (l+o(1))n ^k /(logn) ^{k −1}. In particular, r(K _k , K _n )≤(1+o(1))n ^{k −1}/(log n) ^{k −2}. Received: May 11, 1998 Final version received: March 24, 1999     

Finiteness of Higher K -Groups of Orders and Group Rings

In this paper, we prove that if R is the ring of integers in a number field F, A any R-order in a semisimple F-algebra, then K_2n(A), G_2n(A) are finite groups for all positive integers n. Hence, even dimensional higher K- and G-groups of integral grouprings of finite groups are finite. We also show that in odd dimensions, SK_n of integral and p-adic integral grouprings of finite p-groups are also finite p-groups (Received: August 2005)