A boundary Schwarz lemma on the classical domain of type <Emphasis Type="Italic">I</Emphasis>

Let R _I (m, n) be the classical domain of type I in ? ^m×n with 1 ≤ m ≤ n. We obtain the optimal estimates of the eigenvalues of the Fréchet derivative Df(\(\mathop Z\limits^ \circ \)) at a smooth boundary fixed point \(\mathop Z\limits^ \circ \)of R _I (m, n) for a holomorphic self-mapping f of R _I (m, n). We provide a necessary and sufficient condition such that the boundary points of R _I (m, n) are smooth, and give some properties of the smooth boundary points of R _I (m, n). Our results extend the classical Schwarz lemma at the boundary of the unit disk Δ to R _I (m, n), which may be applied to get some optimal estimates in several complex variables.     

Higher Algebraic <Emphasis Type="Italic">K</Emphasis>-theory of Ring Epimorphisms

Given a homological ring epimorphism from a ring R to another ring S, we show that if the left R-module S has a finite-type resolution, then the algebraic K-group K _n (R) of R splits as the direct sum of the algebraic K-group K _n (S) of S and the algebraic K-group K _n (R) of a Waldhausen category R determined by the ring epimorphism. This result is then applied to endomorphism rings, matrix subrings, rings with idempotent ideals, and universal localizations which appear often in representation theory and algebraic topology.     

Super (<Emphasis Type="Italic">a</Emphasis>, <Emphasis Type="Italic">d</Emphasis>)-edge-antimagic total labelings of complete bipartite graphs

An (a, d)-edge-antimagic total labeling of a graph G is a bijection f from V(G) ∪ E(G) onto {1, 2,…,|V(G)| + |E(G)|} with the property that the edge-weight set {f(x) + f(xy) + f(y) | xy ∈ E(G)} is equal to {a, a + d, a + 2d,...,a + (|E(G)| ? 1)d} for two integers a > 0 and d ? 0. An (a, d)-edge-antimagic total labeling is called super if the smallest possible labels appear on the vertices. In this paper, we completely settle the problem of the super (a, d)-edge-antimagic total labeling of the complete bipartite graph K_m,n and obtain the following results: the graph K_m,n has a super (a, d)-edge-antimagic total labeling if and only if either (i) m = 1, n = 1, and d ? 0, or (ii) m = 1, n ? 2 (or n = 1 and m ? 2), and d ∈ {0, 1, 2}, or (iii) m = 1, n = 2 (or n = 1 and m = 2), and d = 3, or (iv) m, n ? 2, and d = 1.     

(<Emphasis Type="Italic">m</Emphasis>,<Emphasis Type="Italic">r</Emphasis>)-central Riordan arrays and their applications

For integers m > r ≥ 0, Brietzke (2008) defined the (m, r)-central coefficients of an infinite lower triangular matrix G = (d, h) = (d_n,k)_n,k∈N as d_{mn+r,(m?1)n+r}, with n = 0, 1, 2,..., and the (m, r)-central coefficient triangle of G as

$${G^{\left( {m,r} \right)}} = {\left( {{d_{mn + r,\left( {m - 1} \right)n + k + r}}} \right)_{n,k \in \mathbb{N}}}.$$

It is known that the (m, r)-central coefficient triangles of any Riordan array are also Riordan arrays. In this paper, for a Riordan array G = (d, h) with h(0) = 0 and d(0), h′(0) ≠ 0, we obtain the generating function of its (m, r)-central coefficients and give an explicit representation for the (m, r)-central Riordan array G^(m,r) in terms of the Riordan array G. Meanwhile, the algebraic structures of the (m, r)-central Riordan arrays are also investigated, such as their decompositions, their inverses, and their recessive expressions in terms of m and r. As applications, we determine the (m, r)-central Riordan arrays of the Pascal matrix and other Riordan arrays, from which numerous identities are constructed by a uniform approach.

     

Some <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Rigidity Results for Complete Manifolds with Harmonic Curvature

Let (M ⁿ , g)(n ≥ 3) be an n-dimensional complete Riemannian manifold with harmonic curvature and positive Yamabe constant. Denote by R and R m? the scalar curvature and the trace-free Riemannian curvature tensor of M, respectively. The main result of this paper states that R m? goes to zero uniformly at infinity if for \(p\geq \frac n2\), the L ^p -norm of R m? is finite. Moreover, If R is positive, then (M ⁿ , g) is compact. As applications, we prove that (M ⁿ , g) is isometric to a spherical space form if for \(p\geq \frac n2\), R is positive and the L ^p -norm of R m? is pinched in [0, C ₁), where C ₁ is an explicit positive constant depending only on n, p, R and the Yamabe constant. We give an isolation theorem of the trace-free Ricci curvature tensor of compact locally conformally flat Riemannian n-manifolds with constant positive scalar curvature, which extends Theorem 1 of Hebey and M. Vaugon (J. Geom. Anal. 6, 531–553, 1996). This result is sharp, and we can precisely characterize the case of equality. In particular, when n = 4, we recover results by Gursky (Indiana Univ. Math. J. 43, 747–774, 1994; Ann. Math. 148, 315–337, 1998).     

The <Emphasis Type="Italic">p</Emphasis>-Adic order of the <Emphasis Type="Italic">k</Emphasis>-Fibonacci and <Emphasis Type="Italic">k</Emphasis>-Lucas numbers

Let (F _k,n ) _n and (L _k,n )n be the k-Fibonacci and k-Lucas sequence, respectively, which satisfies the same recursive relation a _n+1 = ka _n + a _n?1 with initial values F _k,0 = 0, F _k,1 = 1, L _k,0 = 2 and L _k,1 = k. In this paper, we characterize the p-adic orders ν _p (F _k,n ) and ν _p (L _k,n ) for all primes p and all positive integers k.     

Differences of Idempotents In <Emphasis Type="Italic">C</Emphasis>*-Algebras and the Quantum Hall Effect

Let ? be a trace on the unital C*-algebra A and M _? be the ideal of the definition of the trace ?. We obtain a C*analogue of the quantum Hall effect: if P,Q ∈ A are idempotents and P ? Q ∈ M _? , then ?((P ? Q)²ⁿ⁺¹) = ?(P ? Q) ∈ R for all n ∈ N. Let the isometries U ∈ A and A = A*∈ A be such that I+A is invertible and U-A ∈ M _? with ?(U-A) ∈ R. Then I-A, I?U ∈ M _? and ?(I?U) ∈ R. Let n ∈ N, dimH = 2n + 1, the symmetry operators U, V ∈ B(H), and W = U ? V. Then the operator W is not a symmetry, and if V = V*, then the operator W is nonunitary.     

On Linear Preservers of Two-Sided Gut-Majorization On <Emphasis Type="Bold">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">m</Emphasis></Subscript>

For X, Y ∈ M_n,m it is said that X is gut-majorized by Y, and we write X ?_gutY, if there exists an n-by-n upper triangular g-row stochastic matrix R such that X = RY. Define the relation ~_gut as follows. X ~_gutY if X is gut-majorized by Y and Y is gut-majorized by X. The (strong) linear preservers of ?_gut on ?ⁿ and strong linear preservers of this relation on M_n,m have been characterized before. This paper characterizes all (strong) linear preservers and strong linear preservers of ~_gut on ?ⁿ and M_n,m.     

<Emphasis Type="Italic">V</Emphasis>-Gorenstein injective modules preenvelopes and related dimension

Let R and S be associative rings and _S V _R a semidualizing (S-R)-bimodule. An R-module N is said to be V-Gorenstein injective if there exists a Hom _R (I _V (R),?) and Hom _R (?,I _V (R)) exact exact complex \( \cdots \to {I_1}\xrightarrow{{{d_0}}}{I_0} \to {I^0}\xrightarrow{{{d_0}}}{I^1} \to \cdots \) of V-injective modules I _i and I ⁱ , i ∈ N₀, such that N ? Im(I ₀ → I ⁰). We will call N to be strongly V-Gorenstein injective in case that all modules and homomorphisms in the above exact complex are equal, respectively. It is proved that the class of V-Gorenstein injective modules are closed under extension, direct summand and is a subset of the Auslander class A _V (R) which leads to the fact that V-Gorenstein injective modules admit exact right I _V (R)-resolution. By using these facts, and thinking of the fact that the class of strongly V-Gorenstein injective modules is not closed under direct summand, it is proved that an R-module N is strongly V-Gorenstein injective if and only if N ⊕ E is strongly V-Gorenstein injective for some V-injective module E. Finally, it is proved that an R-module N of finite V-Gorenstein injective injective dimension admits V-Gorenstein injective preenvelope which leads to the fact that, for a natural integer n, Gorenstein V-injective injective dimension of N is bounded to n if and only if \(Ext_{{I_V}\left( R \right)}^{ \geqslant n + 1}\left( {I,N} \right) = 0\) for all modules I with finite I _V (R)-injective dimension.     

The probability that <Emphasis Type="Italic">r</Emphasis> elements of a rank <Emphasis Type="Italic">n</Emphasis> free group generate a rank <Emphasis Type="Italic">r</Emphasis> subgroup

Granted the three integers n ≥ 2, r, and R, consider all ordered tuples of r elements of length at most R in the free group F _n . Calculate the number of those tuples that generate in F _n a rank r subgroup and divide it by the number of all tuples under study. As R → ∞, the limit of the ratio is known to exist and equal 1 (see [1]). We give a simple proof of this result.     

Periodic Groups Saturated with the Groups <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

Given an indexing set I and a finite field K_α for each α ∈ I, let ? = {L₂(K_α) | α ∈ I} and \(\mathfrak{N} = \{ SL_2 (K_\alpha )|\alpha \in I\}\). We prove that each periodic group G saturated with groups in \(\Re (\mathfrak{N})\) is isomorphic to L₂(P) (respectively SL₂(P)) for a suitable locally finite field P.     

<Emphasis Type="Italic">UA</Emphasis>-properties of modules over commutative Noetherian rings

A semigroup (R, ·) is said to be a UA-ring if there exists a unique binary operation “+” transforming (R, ·, +) into a ring. An R-module A is said to be a UA-module if it is not possible to define a new addition in A without changing the action of R on A. In this paper we investigate topics that are related to the structure of UA-rings of endomorphisms and UA-modules over commutative Noetherian rings.     

New Applications of the <Emphasis Type="Italic">p</Emphasis>-Adic Nevanlinna Theory

Let IK be an algebraically closed field of characteristic 0 complete for an ultrametric absolute value. Following results obtained in complex analysis, here we examine problems of uniqueness for meromorphic functions having finitely many poles, sharing points or a pair of sets (C.M. or I.M.) defined either in the whole field IK or in an open disk, or in the complement of an open disk. Following previous works in C, we consider functions fⁿ(x)f^m(ax + b), gⁿ(x)g^m(ax + b) with |a| = 1 and n ≠ m, sharing a rational function and we show that f/g is a n + m-th root of 1 whenever n + m ≥ 5. Next, given a small function w, if n, m ∈ IN are such that |n ? m|_∞ ≥ 5, then fⁿ(x)f^m(ax + b) ? w has infinitely many zeros. Finally, we examine branched values for meromorphic functions fⁿ(x)f^m(ax + b).     

The existence of eigenvalues for operators acting in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(<Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We present conditions that allow us to prove the existence of eigenvalues and characteristic values for operator F(D) ? C(λ): L ²(R ^m ) → L ²(R ^m ), where F(D) is a pseudo-differential operator with a symbol F(iξ) and C(λ): L ²(R ^m ) → L ²(R ^m ) is a linear continuous operator.     

Non-homogeneous <Emphasis Type="Italic">Tb</Emphasis> Theorem for Bi-parameter <Emphasis Type="Italic">g</Emphasis>-function

The main result of this paper is a bi-parameter Tb theorem for Littlewood–Paley g-function, where b is a tensor product of two pseudo-accretive function. Instead of the doubling measure, we work with a product measure μ = μ_n × μ_m, where the measures μ_n and μ_m are only assumed to be upper doubling. The main techniques of the proof include a bi-parameter b-adapted Haar function decomposition and an averaging identity over good double Whitney regions. Moreover, the non-homogeneous analysis and probabilistic methods are used again.     

On the centers of quantum groups of <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-type

Let g be the finite dimensional simple Lie algebra of type An, and let U? = U _q (g,Λ) and U = U _q (g,Q) be the quantum groups defined over the weight lattice and over the root lattice, respectively. In this paper, we find two algebraically independent central elements in U? for all n ≥ 2 and give an explicit formula of the Casimir elements for the quantum group U? = U _q (g,Λ), which corresponds to the Casimir element of the enveloping algebra U(g). Moreover, for n = 2 we give explicitly generators of the center subalgebras of the quantum groups U? = U _q (g,Λ) and U = U _q (g,Q).     

Rectangular <Emphasis Type="Italic">R</Emphasis>-Transform as the Limit of Rectangular Spherical Integrals

In this paper, we connect rectangular free probability theory and spherical integrals. We prove the analogue, for rectangular or square non-Hermitian matrices, of a result that Guionnet and Maïda proved for Hermitian matrices in (J. Funct. Anal. 222(2):435–490, 2005). More specifically, we study the limit, as n and m tend to infinity, of \(\frac{1}{n}\log\mathbb{E}\{\exp[\sqrt{nm}\theta X_{n}]\}\), where θ∈?, X _n is the real part of an entry of U _n M _n V _m and M _n   is a certain n×m deterministic matrix and U _n and V _m are independent Haar-distributed orthogonal or unitary matrices with respective sizes n×n and m×m. We prove that when the singular law of M _n converges to a probability measure μ, for θ small enough, this limit actually exists and can be expressed with the rectangular R-transform of μ. This gives an interpretation of this transform, which linearizes the rectangular free convolution, as the limit of a sequence of log-Laplace transforms.     

Skew <Emphasis Type="Italic">n</Emphasis>-derivation on prime and semi prime rings

Let \(n \ge 2\) be a fixed integer, R be a noncommutative n!-torsion free ring and I be any non zero ideal of R. In this paper we have proved the following results; (i) If R is a prime ring and there exists a symmetric skew n-derivation \(D: R^n \rightarrow R\) associated with the automorphism \(\sigma \) on R,  such that the trace function \(\delta : R \rightarrow R \) of D satisfies \([\delta (x), \sigma (x)] =0\), for all \(x\in I,\) then \(D=0;\,\)(ii) If R is a semi prime ring and the trace function \(\delta ,\) commuting on I,  satisfies \([\delta (x), \sigma (x)]\in Z\), for all \(x \in I,\) then \([\delta (x), \sigma (x)] = 0 \), for all \(x \in I.\) Moreover, we have proved some annihilating conditions for algebraic identity involving multiplicative(generalized) derivation.     

On <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-factorization of complete bipartite multigraphs

Let λK _m,n be a complete bipartite multigraph with two partite sets having m and n vertices, respectively. A K _p,q -factorization of λK _m,n is a set of edge-disjoint K _p,q -factors of λK _m,n which partition the set of edges of λK _m,n . When p = 1 and q is a prime number, Wang, in his paper [On K _1,q -factorization of complete bipartite graph, Discrete Math., 126: (1994), 359-364], investigated the K _1,q -factorization of K _m,n and gave a sufficient condition for such a factorization to exist. In papers [K _1,k -factorization of complete bipartite graphs, Discrete Math., 259: 301-306 (2002),; K _p,q -factorization of complete bipartite graphs, Sci. China Ser. A-Math., 47: (2004), 473-479], Du and Wang extended Wang’s result to the case that p and q are any positive integers. In this paper, we give a sufficient condition for λK _m,n to have a K _p,q -factorization. As a special case, it is shown that the necessary condition for the K _p,q -factorization of λK _m,n is always sufficient when p : q = k : (k + 1) for any positive integer k.