On the number of words in the language {w σ W = w}

Let S be the set of all palindromes over Σ^*. It is well known, that the language S² is an ultralinear, inherently ambiguous context-free language. In this paper we derive an explicit expression for the number of words of length n in S². Furthermore, we show, that for card(Σ) > 1 the asymptotical density of the language S² is zero and that, in the average, each word w of length n in S² has exactly one factorization into two palindromes for large n; the variance is zero for large n. Finally, we compute an expression for the structure-generating- function T(S²;z) of the language S²; it remains the open problem, if T(S²;z) is a transcendental or an algebraic function.     

Smoothness of convolution powers of orbital measures on the symmetric space SU(n)/SO(n)

We prove that if m_a = m_K*d_a*m_K{\mu _{a}\,{=}\,m_{K}*\delta _{a}*m_{K}} is the K-bi-invariant measure supported on the double coset KaK í SU(n){KaK\subseteq SU(n)} , for K = SO(n), then m_a^k{\mu _{a}^{k}} is absolutely continuous with respect to the Haar measure on SU(n) for all a not in the normalizer of K if and only if k ≥ n. The measure, μ _a , supported on the minimal dimension double coset has the property that m_a^n-1{\mu _{a}^{n-1}} is singular to the Haar measure.     

Consecutive customer losses in oscillating GIX/M//n systems with state dependent services rates

We address the probability that k or more Consecutive Customer Losses take place during a busy period of a queue, the so-called k-CCL probability, for oscillating GI ^X /M//n systems with state dependent services rates, also denoted as GI ^X /M(m)−M(m)//n systems, in which the service rates oscillate between two forms according to the evolution of the number of customers in the system. We derive an efficient algorithm to compute k-CCL probabilities in these systems starting with an arbitrary number of customers in the system that involves solving a linear system of equations. The results derived are illustrated for specific sets of parameters.     

Minimal cyclic codes of length pq

Explicit expressions for all the 3n+2 primitive idempotents in the ring R_pⁿq=GF(ℓ)[x]/(x^pnq−1), where p,q,ℓ are distinct odd primes, ℓ is a primitive root modulo pⁿ and q both, , are obtained. The dimension, generating polynomials and the minimum distance of the minimal cyclic codes of length pⁿq over GF(ℓ) are also discussed.     

Relative ( pn , p , pn , n )-difference sets with GCD ( p , n )=1

Let p be an odd prime. We first get some non-existence and structural results on (pn,p,pn,n) relative difference sets with gcd(p,n)=1 through a group ring approach. We then give a construction of (p(p+1),p,p(p+1),p+1) relative difference sets with p a Mersenne prime. Supported by National Natural Science Foundation of China (10331030).     

Archimedean L -factors on GL ( n ) × GL ( n ) and generalized Barnes integrals

The Rankin-Selberg method associates, to each local factorL(s, π _v × π _v ^′ ) of an automorphicL-function onGL(n) ×GL(n), a certain local integral of Whittaker functions for π _v and _v ^′ . In this paper we show that, if ν is archimedean, and π _v and _v ^′ are spherical principal series representations with trivial central character, then the localL-factor and local integral are, in fact, equal. This result verifies a conjecture of Bump, which predicts that the archimedean situation should, in the present context, parallel the nonarchimedean one. We also derive, as prerequisite to the above result, some identities for generalized Barnes integrals. In particular, we deduce a new transformation formula for certain single Barnes integrals, and a multiple-integral analog of the classical Barnes’ Lemma.     

The Exceptional Compact Symmetric Spaces G 2 and G 2/ SO(4) as Tubes

In the present paper we discuss in detail the cohomogeneity one isometric actions of the Lie groups SU(3) × SU(3) and SU(3) on the exceptional compact symmetric spaces G₂ and G₂/SO(4), respectively. We show that the principal orbits coincide with the tubular hypersurfaces around the totally geodesic singular orbits, and the symmetric spaces G₂ and G₂/SO(4) can be thought of as compact tubes around SU(3) and P², respectively. Moreover, we determine the radii of these tubes and describe the shape operators of the principal orbits. Finally, we apply these results to compute the volumes of the two symmetric spaces.     

Connected subgroups of SO(2, n) acting irreducibly on ?2,n

We classify all connected subgroups of SO(2, n) that act irreducibly on ℝ^{2, n} . Apart from SO ₀(2, n) itself these are U(1, n/2), SU(1, n/2), if n even, S ¹ · SO(1, n/2) if n even and n ≥ 2, and SO ₀(1, 2) for n = 3. Our proof is based on the Karpelevich Theorem and uses the classification of totally geodesic submanifolds of complex hyperbolic space and of the Lie ball. As an application we obtain a list of possible irreducible holonomy groups of Lorentzian conformal structures, namely SO ₀(2, n), SU(1, n), and SO ₀(1, 2).     

On the Greatest Common Divisor of u ? 1 and v ? 1 with u and v Near S{\cal S}-units

In [2], it was shown that if a and b are multiplicatively independent integers and ɛ > 0, then the inequality gcd (aⁿ − 1,bⁿ − 1) < exp(ɛn) holds for all but finitely many positive integers n. Here, we generalize the above result. In particular, we show that if f(x),f₁(x),g(x),g₁(x) are non-zero polynomials with integer coefficients, then for every ɛ > 0, the inequality gcd (f(n)aⁿ+g(n), f₁(n)bⁿ+g₁(n)) < exp(ne){\rm gcd}\, (f(n)a^n+g(n), f_1(n)b^n+g_1(n)) < \exp(n\varepsilon) holds for all but finitely many positive integers n.     

A random construction for permutation codes and the covering radius

We analyse a probabilistic argument that gives a semi-random construction for a permutation code on n symbols with distance n − s and size Θ(s!(log n)^1/2), and a bound on the covering radius for sets of permutations in terms of a certain frequency parameter.      

Cocycle Twisting of E(n)-Module Algebras and Applications to the Brauer Group

We classify the orbits of coquasi-triangular structures for the Hopf algebra E(n) under the action of lazy cocycles and the Hopf automorphism group. This is applied to detect subgroups of the Brauer group BQ(k,E(n)) of E(n) that are isomorphic. For any triangular structure R on E(n) we prove that the subgroup BM(k,E(n),R) of BQ(k,E(n)) arising from R is isomorphic to a direct product of BW(k), the Brauer-Wall group of the ground field k, and Sym_n(k), the group of n × n symmetric matrices under addition. For a general quasi-triangular structure R on E(n) we construct a split short exact sequence having BM(k,E(n),R⁾ as a middle term and as kernel a central extension of the group of symmetric matrices of order r < n (r depending on R). We finally describe how the image of the Hopf automorphism group inside BQ(k,E(n)) acts on Sym_n (k).     

Augmenting Edge-Connectivity over the Entire Range inÕ(nm) Time

For a given undirected graphG = (V, E, c_G) with edges weighted by nonnegative realsc_G:E → R ⁺ , let Λ_G(k) stand for the minimum amount of weights which needs to be added to makeG k-edge-connected, and letG*(k) be the resulting graph obtained fromG. This paper first shows that function Λ_Gover the entire rangek [0, +∞] can be computed inO(nm + n² log n) time, and then shows that allG*(k) in the entire range can be obtained fromO(n log n) weighted cycles, and such cycles can be computed inO(nm + n² log n) time, wherenandmare the numbers of vertices and edges, respectively.     

Sampling Sets and Quadrature Formulae on the Rotation Group

In this paper, we construct sampling sets over the rotation group SO(3). The proposed construction is based on a parameterization, which reflects the product nature ² × ¹ of SO(3) very well, and leads to a spherical Pythagorean-like formula in the parameter domain. We prove that by using uniformly distributed points on ² and ¹, we obtain uniformly sampling nodes on the rotation group SO(3). Furthermore, quadrature formulae on ² and ¹ lead to quadratures on SO(3), as well. For scattered data on SO(3), we give a necessary condition on the mesh norm such that the sampling nodes possess nonnegative quadrature weights. We propose an algorithm for computing the quadrature weights for scattered data on SO(3) based on fast algorithms. We confirm our theoretical results with examples and numerical tests.     

On piecewise-polynomial approximation of functions with a bounded fractional derivative in an Lp-norm

We study the error in approximating functions with a bounded (r + α)th derivative in an L_p-norm. Here r is a nonnegative integer, α ε [0, 1), and ƒ^{(r + α)} is the classical fractional derivative, i.e., ƒ^{(r + α)}(y) = ∝₀¹, ^α d(ƒ^(r)(t)). We prove that, for any such function ƒ, there exists a piecewise-polynomial of degree s that interpolates ƒ at n equally spaced points and that approximates ƒ with an error (in sup-norm) ƒ^{(r + α)}_p O(n^{−(r+α−1/p}). We also prove that no algorithm based on n function and/or derivative values of ƒ has the error equal ƒ^{(r + α)}_p O(n^{−(r+α−1/p}) for any ƒ. This implies the optimality of piecewise-polynomial interpolation. These two results generalize well-known results on approximating functions with bounded rth derivative (α = 0). We stress that the piecewise-polynomial approximation does not depend on α nor on p. It does not depend on the exact value of r as well; what matters is an upper bound s on r, s r. Hence, even without knowing the actual regularity (r, α, and p) of ƒ, we can approximate the function ƒ with an error equal (modulo a constant) to the minimal worst case error when the regularity were known.     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

On the L convergence of Lagrange interpolating entire functions of exponential type

Let f: be a continuous, 2π-periodic function and for each n ε let t_n(f; ·) denote the trigonometric polynomial of degree n interpolating f in the points 2kπ/(2n + 1) (k = 0, ±1, …, ±n). It was shown by J. Marcinkiewicz that lim_{n → ∞} ∝₀^2π¦f(θ) − t_n(f θ)¦^p dθ = 0 for every p > 0. We consider Lagrange interpolation of non-periodic functions by entire functions of exponential type τ > 0 in the points kπ/τ (k = 0, ± 1, ± 2, …) and obtain a result analogous to that of Marcinkiewicz.     

Schur functions and the invariant polynomials characterizing U(n) tensor operators

We give a direct formulation of the invariant polynomials _μG_q⁽ⁿ⁾(, Δ_i,;, x_{i,i + 1},) characterizing U(n) tensor operators p, q, …, q, 0, …, 0 in terms of the symmetric functions S_λ known as Schur functions. To this end, we show after the change of variables Δ_i = γ_i − δ_i and x_{i, i + 1} = δ_i − δ_{i + 1} that_μG_q⁽ⁿ⁾(,Δ_i;, x_{i, i + 1},) becomes an integral linear combination of products of Schur functions S_α(, γ_i,) · S_β(, δ_i,) in the variables {γ₁,…, γ_n} and {δ₁,…, δ_n}, respectively. That is, we give a direct proof that _μG_q⁽ⁿ⁾(,Δ_i,;, x_{i, i + 1},) is a bisymmetric polynomial with integer coefficients in the variables {γ₁,…, γ_n} and {δ₁,…, δ_n}. By making further use of basic properties of Schur functions such as the Littlewood-Richardson rule, we prove several remarkable new symmetries for the yet more general bisymmetric polynomials _μ^mG_q⁽ⁿ⁾(γ₁,…, γ_n; δ₁,…, δ_m). These new symmetries enable us to give an explicit formula for both _μ^mG₁⁽ⁿ⁾(γ; δ) and ₁G₂⁽ⁿ⁾(γ; δ). In addition, we describe both algebraic and numerical integration methods for deriving general polynomial formulas for _μ^mG_q⁽ⁿ⁾(γ; δ).     

关于square-full数上的函数q_k~((e))(n)的均值估计

本文研究了指数k-free数的特征函数q_k~((e))(n)(k≥3)在square-full数集中的均值估计问题.利用黎曼Zeta函数的性质以及留数定理,获得了该均值的渐近公式,推广了q_k~((e))(n)在整数集中的均值估计相关结果.     

On difference between the spectra of the simple groups Bn(q) and Cn(q)

We prove that the nonisomorphic simple groups B _n (q) and C _n (q) have different sets of element orders. Original Russian Text Copyright ? 2007 Grechkoseeva M. A. __________ Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 48, No. 1, pp. 89–92, January–February, 2007.     

A generalization of adjoint crystals for the quantized affine algebras of type An(1) , Cn(1) and Dn+1(2)

We generalize Benkart-Frenkel-Kang-Lee’s adjoint crystals and describe their crystal structure for type A _n ⁽¹⁾, C _n ⁽¹⁾ and D _n+1⁽²⁾.