Higher power moments of the Riesz mean error term of symmetric square L-function

Let be the error term of the Riesz mean of the symmetric square L-function. We give the higher power moments of and show that if there exists a real number A₀:=A₀(ρ)>3 such that , then we can derive asymptotic formulas for , 3?h<A₀, h∈N. Particularly, we get asymptotic formulas for , h=3,4,5 unconditionally.     

Chow groups of the moduli spaces of weighted pointed stable curves of genus zero

The moduli space of weighted pointed stable curves of genus zero is stratified according to the degeneration types of such curves. We show that the homology groups of are generated by the strata of and give all additive relations between them. We also observe that the Chow groups and the homology groups are isomorphic. This generalizes Kontsevich-Manin's and Losev-Manin's theorems to arbitrary weight data A.     

Preservers of spectral radius, numerical radius, or spectral norm of the sum on nonnegative matrices

Let be the set of entrywise nonnegative n×n matrices. Denote by r(A) the spectral radius (Perron root) of . Characterization is obtained for maps such that r(f(A)+f(B))=r(A+B) for all . In particular, it is shown that such a map has the form

     

On wreathed lexicographic products of graphs

This paper proves a necessary and sufficient condition for the endomorphism monoid of a lexicographic product G[H] of graphs G,H to be the wreath product of the monoids and . The paper also gives respective necessary and sufficient conditions for specialized cases such as for unretractive or triangle-free graphs G.     

Singular-value-like decomposition for complex matrix triples

The classical singular value decomposition for a matrix A∈C^m×n is a canonical form for A that also displays the eigenvalues of the Hermitian matrices AA^∗ and A^∗A. In this paper, we develop a corresponding decomposition for A that provides the Jordan canonical forms for the complex symmetric matrices and . More generally, we consider the matrix triple , where are invertible and either complex symmetric or complex skew-symmetric, and we provide a canonical form under transformations of the form , where X,Y are nonsingular.     

A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees

We introduce a property of forcing notions, called the anti-, which comes from Aronszajn trees. This property canonically defines a new chain condition stronger than the countable chain condition, which is called the property .In this paper, we investigate the property . For example, we show that a forcing notion with the property does not add random reals. We prove that it is consistent that every forcing notion with the property has precaliber ℵ₁ and for forcing notions with the property fails. This negatively answers a part of one of the classical problems about implications between fragments of .     

The Stein phenomenon for monotone incomplete multivariate normal data

We establish the Stein phenomenon in the context of two-step, monotone incomplete data drawn from , a (p+q)-dimensional multivariate normal population with mean and covariance matrix . On the basis of data consisting of n observations on all p+q characteristics and an additional N−n observations on the last q characteristics, where all observations are mutually independent, denote by the maximum likelihood estimator of . We establish criteria which imply that shrinkage estimators of James-Stein type have lower risk than under Euclidean quadratic loss. Further, we show that the corresponding positive-part estimators have lower risk than their unrestricted counterparts, thereby rendering the latter estimators inadmissible. We derive results for the case in which is block-diagonal, the loss function is quadratic and non-spherical, and the shrinkage estimator is constructed by means of a nondecreasing, differentiable function of a quadratic form in . For the problem of shrinking to a vector whose components have a common value constructed from the data, we derive improved shrinkage estimators and again determine conditions under which the positive-part analogs have lower risk than their unrestricted counterparts.     

The coarse shape groups

The (pointed) coarse shape category Sh^* (), having (pointed) topological spaces as objects and having the (pointed) shape category as a subcategory, was recently constructed. Its isomorphisms classify (pointed) topological spaces strictly coarser than the (pointed) shape type classification. In this paper we introduce a new algebraic coarse shape invariant which is an invariant of shape and homotopy, as well. For every pointed space (X,?) and for every k∈N₀, the coarse shape group , having the standard shape group for its subgroup, is defined. Furthermore, a functor is constructed. The coarse shape and shape groups already differ on the class of polyhedra. An explicit formula for computing coarse shape groups of polyhedra is given. The coarse shape groups give us more information than the shape groups. Generally, does not imply (e.g. for solenoids), but from pro-πk(X,?)=0 follows . Moreover, for pointed metric compacta (X,?), the n-shape connectedness is characterized by , for every k?n.     

Subgroup distortion in wreath products of cyclic groups

We study the effects of subgroup distortion in the wreath products , where A is finitely generated abelian. We show that every finitely generated subgroup of has distortion function equivalent to some polynomial. Moreover, for A infinite, and for any polynomial l^k, there is a 2-generated subgroup of having distortion function equivalent to the given polynomial. Also, a formula for the length of elements in arbitrary wreath product easily shows that the group has distorted subgroups, while the lamplighter group has no distorted (finitely generated) subgroups. In the course of the proof, we introduce a notion of distortion for polynomials. We are able to compute the distortion of any polynomial in one variable over Z,R or C.     

The third homology of the special linear group of a field

We prove that for any infinite field F, the map is an isomorphism for all n≥3. When n=2 the cokernel of this map is naturally isomorphic to , where is the nth Milnor K-group of F. We deduce that the natural homomorphism from to the indecomposable K₃ of F, , is surjective for any infinite field F.     

Monotonicity of zeros of Laguerre-Sobolev-type orthogonal polynomials

Denote by , k=1,…,n, the zeros of the Laguerre-Sobolev-type polynomials orthogonal with respect to the inner product

     

Selfadjoint operators in S-spaces

We study S-spaces and operators therein. An S-space is a Hilbert space with an additional inner product given by , where U is a unitary operator in . We investigate spectral properties of selfadjoint operators in S-spaces. We show that their spectrum is symmetric with respect to the real axis. As a main result we prove that for each selfadjoint operator A in an S-space we find an inner product which turns S into a Krein space and A into a selfadjoint operator therein. As a consequence we get a new simple condition for the existence of invariant subspaces of selfadjoint operators in Krein spaces, which provides a different insight into this well-know and in general unsolved problem.     

Fonction asymptotique de Samuel des sections hyperplanes et multiplicité

Let (A,m_A,k) be a local noetherian ring and I an m_A-primary ideal. The asymptotic Samuel function (with respect to I) : A?R∪{+∞} is defined by , ∀x∈A. Similarly, one defines, for another ideal J, as the minimum of as x varies in J. Of special interest is the rational number . We study the behavior of the asymptotic Samuel function (with respect to I) when passing to hyperplane sections of A as one does for the theory of mixed multiplicities.     

Kirillov-Reshetikhin crystals for nonexceptional types

We provide combinatorial models for all Kirillov-Reshetikhin crystals of nonexceptional type, which were recently shown to exist. For types , , we rely on a previous construction using the Dynkin diagram automorphism which interchanges nodes 0 and 1. For type we use a Dynkin diagram folding and for types , a similarity construction. We also show that for types and the analog of the Dynkin diagram automorphism exists on the level of crystals.     

Liouville theorems for quasi-harmonic functions

Let N be a compact Riemannian manifold. A self-similar solution for the heat flow is a harmonic map from to N (n≥3), which was also called a quasi-harmonic sphere (cf. Lin and Wang (1999) [1]). (Here is the Euclidean metric in .) It arises from the blow-up analysis of the heat flow at a singular point. When and without the energy constraint, we call this a quasi-harmonic function. In this paper, we prove that there is neither a nonconstant positive quasi-harmonic function nor a nonconstant quasi-harmonic function. However, for all 1≤p≤n/(n−2), there exists a nonconstant quasi-harmonic function in .     

Fixed points of dual quantum operations

Let ?A be a normal completely positive map on B(H) with Kraus operators . Denote M the subset of normal completely positive maps by . In this note, the relations between the fixed points of ?A and are investigated. We obtain that , where K(H) is the set of all compact operators on H and is the dual of ?A∈M. In addition, we show that the map is a bijection on M.     

Sequences of integers with missing quotients

Let S be any set of natural numbers, and A be a given set of rational numbers. We say that S is an A-quotient-free set if x,y∈S implies y/x∉A. Let and , where the supremum is taken over all A-quotient-free sets S, and are the upper and lower asymptotic densities of S respectively. Let ρ(A)=sup_Sδ(S), where the supremum is taken over all A-quotient-free sets S such that δ(S) exists. In this paper we study the properties of , and ρ(A).     

Lifting Galois representations of number fields

Let F be a number field. Given a continuous representation with insoluble image we show, under moderate assumptions at primes dividing ?∞, that for some continuous representation which is unramified outside finitely many primes. We also establish level lowering when F is totally real, is the reduction of a nearly ordinary Hilbert modular form and is distinguished at ?.     

Semilinear ordinary differential equation coupled with distributed order fractional differential equation

The system , where D^γ,γ∈[0,2] are operators of fractional differentiation, is investigated and the existence of a mild and classical solution is proven. Also, a necessary and sufficient condition for the existence and uniqueness of a solution to a general linear fractional differential equation , in is given.