A presentation for the singular part of the full transformation semigroup

The (full) transformation semigroup T_n\mathcal{T}_{n} is the semigroup of all functions from the finite set {1,…,n} to itself, under the operation of composition. The symmetric group S_n í T_n{\mathcal{S}_{n}\subseteq \mathcal{T}_{n}} is the group of all permutations on {1,…,n} and is the group of units of T_n\mathcal{T}_{n}. The complement T_n\S_n\mathcal{T}_{n}\setminus \mathcal{S}_{n} is a subsemigroup (indeed an ideal) of T_n\mathcal{T}_{n}. In this article we give a presentation, in terms of generators and relations, for T_n\S_n\mathcal{T}_{n}\setminus \mathcal{S}_{n}, the so-called singular part of T_n\mathcal{T}_{n}.     

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).     

A modified BLM approach to quantum affine {\mathfrak{gl}_n}

We introduce a spanning set of Beilinson–Lusztig–MacPherson type, {A(j, r)} _A,j , for affine quantum Schur algebras S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and construct a linearly independent set {A(j)} _A,j for an associated algebra [^(K)]_\vartriangle(n){{{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n)} . We then establish explicitly some multiplication formulas of simple generators E^\vartriangle_h,h+1(0){E^\vartriangle_{h,h+1}}(\mathbf{0}) by an arbitrary element A(j) in [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle(n)}} via the corresponding formulas in S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle(n, r)}} , and compare these formulas with the multiplication formulas between a simple module and an arbitrary module in the Ringel–Hall algebras \mathfrak H_\vartriangle(n){{{\boldsymbol{\mathfrak H}_\vartriangle(n)}}} associated with cyclic quivers. This allows us to use the triangular relation between monomial and PBW type bases for \mathfrak H_\vartriangle(n){{\boldsymbol{\mathfrak H}}_\vartriangle}(n) established in Deng and Du (Adv Math 191:276–304, 2005) to derive similar triangular relations for S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n) . Using these relations, we then show that the subspace \mathfrak A_\vartriangle(n){{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)} of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} spanned by {A(j)} _A,j contains the quantum enveloping algebra U_\vartriangle(n){{{\mathbf U}_\vartriangle}(n)} of affine type A as a subalgebra. As an application, we prove that, when this construction is applied to quantum Schur algebras S(n,r){\boldsymbol{\mathcal S}(n,r)} , the resulting subspace \mathfrak A_\vartriangle(n){{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}} is in fact a subalgebra which is isomorphic to the quantum enveloping algebra of \mathfrakgl_n{\mathfrak{gl}_n} . We conjecture that \mathfrak A_\vartriangle(n){{{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}}} is a subalgebra of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} .     

On the sum of a prime and a k-th power of prime in short intervals

Let H_k\mathcal{H}_{k} denote the set {n∣2|n, n\not o 1 (mod p)n\not\equiv 1\ (\mathrm{mod}\ p) ∀ p>2 with p−1|k}. We prove that when X^{\frac1120(1-\frac12k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{2k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n ? \allowbreak H_k ?(X, X+H]n\in\allowbreak {\mathcal{H}_{k} \cap (X, X+H]} can be represented as the sum of a prime and a k-th power of prime for k≧3. Moreover, when X^{\frac1120(1-\frac1k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n∈(X,X+H] can be represented as the sum of a prime and a k-th power of integer for k≧3.     

Boundedness of the anisotropic maximal and anisotropic singular integral operators in generalized Morrey spaces

In this paper we give the conditions on the pair (ω ₁, ω ₂) which ensures the boundedness of the anisotropic maximal operator and anisotropic singular integral operators from one generalized Morrey space M_p,w1 \mathcal{M}_{p,\omega _1 } to another M_p,w2 \mathcal{M}_{p,\omega _2 }, 1 < p < g8, and from the space M_1,w1 \mathcal{M}_{1,\omega _1 } to the weak space WM_1,w2 W\mathcal{M}_{1,\omega _2 }.     

Symmetric groups and expander graphs

We construct explicit generating sets S _n and of the alternating and the symmetric groups, which turn the Cayley graphs and into a family of bounded degree expanders for all n.     

Micro-Local Analysis with Fourier Lebesgue Spaces. Part?I

Let ω,ω ₀ be appropriate weight functions and q∈[1,∞]. We introduce the wave-front set, WF_FL^q(w)(f)\mathrm{WF}_{\mathcal{F}L^{q}_{(\omega)}}(f) of f ? S￠f\in \mathcal{S}' with respect to weighted Fourier Lebesgue space FL^q_(w)\mathcal{F}L^{q}_{(\omega )}. We prove that usual mapping properties for pseudo-differential operators Op (a) with symbols a in S^(w₀)_r,0S^{(\omega _{0})}_{\rho ,0} hold for such wave-front sets. Especially we prove that

On Hankel Nonnegative Definite Sequences, the Canonical Hankel Parametrization, and Orthogonal Matrix Polynomials

This paper continues recent investigations started in Dyukarev et al. (Complex anal oper theory 3(4):759–834, 2009) into the structure of the set H_q,2n ³ {\mathcal{H}_{q,2n}^{\ge}} of all Hankel nonnegative definite sequences, (s_j)_j=0²ⁿ{(s_{j})_{j=0}^{2n}}, of complex q × q matrices and its important subclasses H_q,2n ^{3 ,e}{\mathcal{H}_{q,2n}^{\ge,{\rm e}}} and ${\mathcal{H}_{q,2n}^>}${\mathcal{H}_{q,2n}^>} of all Hankel nonnegative definite extendable sequences and of all Hankel positive definite sequences, respectively. These classes of sequences arise quite naturally in the framework of matrix versions of the truncated Hamburger moment problem. In Dyukarev et al. (Complex anal oper theory 3(4):759–834, 2009) a canonical Hankel parametrization [(C_k)_k=1ⁿ, (D_k)_k=0ⁿ]{[(C_k)_{k=1}^n, (D_k)_{k=0}^n]} consisting of two sequences of complex q × q matrices was associated with an arbitrary sequence (s_j)_j=0²ⁿ{(s_{j})_{j=0}^{2n}} of complex q × q matrices. The sequences belonging to each of the classes H_q,2n ³ , H_q,2n ^{3 ,e}{\mathcal{H}_{q,2n}^{\ge}, \mathcal{H}_{q,2n}^{\ge,{\rm e}}}, and ${\mathcal{H}_{q,2n}^>}${\mathcal{H}_{q,2n}^>} were characterized in terms of their canonical Hankel parametrization (see, Dyukarev et al. in Complex anal oper theory 3(4):759–834, 2009; Proposition 2.30). In this paper, we will study further aspects of the canonical Hankel parametrization. Using the canonical Hankel parametrization [(C_k)_k=1ⁿ, (D_k)_k=0ⁿ]{[(C_k)_{k=1}^n, (D_k)_{k=0}^n]} of a sequence (s_j)_j=0²ⁿ ? H_q,2n ³ {(s_{j})_{j=0}^{2n} \in \mathcal{H}_{q,2n}^{\ge}}, we give a recursive construction of a monic right (resp. left) orthogonal system of matrix polynomials with respect to (s_j)_j=0²ⁿ{(s_{j})_{j=0}^{2n}} (see Theorem 5.5). The matrices [(C_k)_k=1ⁿ, (D_k)_k=0ⁿ]{[(C_k)_{k=1}^n, (D_k)_{k=0}^n]} will be expressed in terms of an arbitrary monic right (resp. left) orthogonal system with respect to (s_j)_j=0²ⁿ{(s_{j})_{j=0}^{2n}} (see Theorem 5.11). This result will be reformulated in terms of nonnegative Hermitian Borel measures on \mathbbR{\mathbb{R}}. In this way, integral representations for the matrices [(C_k)_k=1ⁿ, (D_k)_k=0ⁿ]{[(C_k)_{k=1}^n, (D_k)_{k=0}^n]} will be obtained (see Theorem 6.9). Starting from the monic orthogonal polynomials with respect to some classical probability distributions on \mathbbR{\mathbb{R}}, Theorem 6.9 is used to compute the canonical Hankel parametrization of their moment sequences. Moreover, we discuss important number sequences from enumerative combinatorics using the canonical Hankel parametrization.     

On Some Properties of Randomly Indexed Sequences of Random Elements

Let be a probability space with a nonatomic measure P and let (S,ρ) be a separable complete metric space. Let {N _n ,n≥1} be an arbitrary sequence of positive-integer valued random variables. Let {F _k ,k≥1} be a family of probability laws and let X be some random element defined on and taking values in (S,ρ). In this paper we present necessary and sufficient conditions under which one can construct an array of random elements {X _n,k ,n,k≥1} defined on the same probability space and taking values in (S,ρ), and such that , and moreover as  n→∞. Furthermore, we consider the speed of convergence to X as n→∞.      

Uniformly Accurate Quantile Bounds for Sums of Arbitrary Independent Random Variables

Fix any n≥1. Let X ₁,…,X _n be independent random variables such that S _n =X ₁+⋅⋅⋅+X _n , and let S^*_n=sup_{1 ￡ k ￡ n}S_kS^{*}_{n}=\sup_{1\le k\le n}S_{k} . We construct upper and lower bounds for s _y and s_y^*s_{y}^{*} , the upper \frac1y\frac{1}{y} th quantiles of S _n and S^*_nS^{*}_{n} , respectively. Our approximations rely on a computable quantity Q _y and an explicit universal constant γ _y , the latter depending only on y, for which we prove that

Asymptotic formulas for the hyperġeometric function2 F 1 of matrix argument,useful in multivariate analysis

Summary LetS _i have the Wishart distributionW _p(∑_i,n_i) fori=1,2. An asymptotic expansion of the distribution of for large n=n₁+n₂ is derived, when∑ ₁∑ ₂ ⁻¹ =I+n^−1/2θ, based on an asymptotic solution of the system of partial differential equations for the hypergeometric function₂ F ₁, obtained recently by Muirhead [2]. Another asymptotic formula is also applied to the distributions of −2 log λ and −log|S ₂(S ₁+S ₂)⁻¹| under fixed∑ ₁∑ ₂ ⁻¹ , which gives the earlier results by Nagao [4]. Some useful asymptotic formulas for₁ F ₁ were investigated by Sugiura [7].     

On Approximate Spectral Factorization of Matrix Functions

It is proved that if positive definite matrix functions (i.e. matrix spectral densities) S _n , n=1,2,… , are convergent in the L ₁-norm, ||S_n-S||_L1? 0\|S_{n}-S\|_{L_{1}}\to 0, and ò₀^2plogdetS_n(e^iq) dq?ò₀^2plogdetS(e^iq) dq\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S_{n}(e^{i\theta})\,d\theta\to\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S(e^{i\theta})\,d\theta, then the corresponding (canonical) spectral factors are convergent in L ₂, ||S⁺_n-S⁺||_L2? 0\|S^{+}_{n}-S^{+}\|_{L_{2}}\to 0. The formulated logarithmic condition is easily seen to be necessary for the latter convergence to take place.     

Inclusion-exclusion inequalities

Ifμ is a positive measure, andA ₂, ...,A _n are measurable sets, the sequencesS ₀, ...,S _n andP _[0], ...,P _[n] are related by the inclusion-exclusion equalities. Inequalities among theS _i are based on the obviousP _[k]≧0. Letting =the average average measure of the intersection ofk of the setsA _i , it is shown that (−1) ^k Δ ^k M _i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS ₀=1, whenS ₁≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM ₀, ...,M _n of sufficiently large length if and only if for 0<t<1.     

On some homotopical and homological properties of monoid presentations

If a monoid S is given by some finite complete presentation ℘, we construct inductively a chain of CW-complexes

Homotopy Categories for Simply Connected Torsion Spaces

For each n > 1 and each multiplicative closed set of integers S, we study closed model category structures on the pointed category of topological spaces, where the classes of weak equivalences are classes of maps inducing isomorphism on homotopy groups with coefficients in determined torsion abelian groups, in degrees higher than or equal to n. We take coefficients either on all the cyclic groups with s ∈ S, or in the abelian group where is the group of fractions of the form with s ∈ S. In the first case, for n > 1 the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion. In the second case, for n > 1 we obtain that the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion and the nth homotopy group is divisible. These equivalences of categories are given by colocalizations , obtained by cofibrant approximations on the model structures. These colocalization maps have nice universal properties. For instance, the map is final (in the homotopy category) among all the maps of the form Y → X with Y an (n − 1)-connected CW-complex whose homotopy groups are S-torsion and its nth homotopy group is divisible. The spaces , are constructed using the cones of Moore spaces of the form M(T, k), where T is a coefficient group of the corresponding structure of models, and homotopy colimits indexed by a suitable ordinal. If S is generated by a set P of primes and S ^p is generated by a prime p ∈ P one has that for n > 1 the category is equivalent to the product category . If the multiplicative system S is generated by a finite set of primes, then localized category is equivalent to the homotopy category of n-connected Ext-S-complete CW-complexes and a similar result is obtained for .     

Refinement of Convergence Rates for Tail Probabilities

Let X₁, X₂,... be, i.i.d. random variables, and put . We find necessary and sufficient moment conditions for , where δ≥ 0 and q>0, and with a_n>0 and b_n is either or The series f(x) we deal with are classical series studied by Hsu and Robbins, Erdős, Spitzer, Baum and Katz, Davis, Lai, Gut, etc     

Distortio n theorems o n the Lie ball $$ \mathcal{R}_{IV} $$ ( n) i n ℂ n

In this paper, we introduce the subfamilies H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) of holomorphic mappings defined on the Lie ball $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n) which reduce to the family of holomorphic mappings and the family of locally biholomorphic mappings when m = 1 and m → +∞, respectively. Various distortion theorems for holomophic mappings H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are established. The distortion theorems coincide with Liu and Minda’s as the special case of the unit disk. When m = 1 and m → +∞, the distortion theorems reduce to the results obtained by Gong for $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n), respectively. Moreover, our method is different. As an application, the bounds for Bloch constants of H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are given.     

On rigidity of Clifford torus in a unit sphere

We extend the scalar curvature pinching theorems due to Peng-Terng, Wei-Xu and Suh-Yang. Let M be an n-dimensional compact minimal hypersurface in S n+1 satisfying Sf 4 f_3~2 ≤ 1/n S~3 , where S is the squared norm of the second fundamental form of M, and f_k =sum λ_i~k from i and λ_i (1 ≤ i ≤ n) are the principal curvatures of M. We prove that there exists a positive constant δ(n)(≥ n/2) depending only on n such that if n ≤ S ≤ n + δ(n), then S ≡ n, i.e., M is one of the Clifford torus S~k ((k/n)~1/2 ) ×S~...     

Structure theorems of <Emphasis Type="Italic">E</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)-Azumaya algebras

Let k be a field and E(n) be the 2 ⁿ⁺¹-dimensional pointed Hopf algebra over k constructed by Beattie, Dăscălescu and Grünenfelder [J. Algebra, 2000, 225: 743–770]. E(n) is a triangular Hopf algebra with a family of triangular structures R _M parameterized by symmetric matrices M in M _n (k). In this paper, we study the Azumaya algebras in the braided monoidal category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } and obtain the structure theorems for Azumaya algebras in the category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } , where M is any symmetric n×n matrix over k.