Equalities on the number of conjugacy classes of the Sylow p-subgroups of GL(n,q)

We denote by Gn the group of the upper unitriangular matrices over F_q, the finite field with q = p^t elements, and r(G_n) the number of conjugacy classes of G_n. In this paper, we obtain the value of r(G_n) modulo (q² -1)(q -1). We prove the following equalities     

Nonlinear trigonometric approximations of multivariate function classes

Order-sharp estimates are established for the best N-term approximations of functions from Nikol’skii–Besov type classes B_pq^sm(T^k) with respect to the multiple trigonometric system T^(k) in the metric of L_r(T^k) for a number of relations between the parameters s, p, q, r, and m (s = (s₁,..., s_n) ∈ R₊ⁿ, 1 ≤ p, q, r ≤ ∞, m = (m₁,..., m_n) ∈ Nⁿ, k = m₁ +... + m_n). Constructive methods of nonlinear trigonometric approximation—variants of the so-called greedy algorithms—are used in the proofs of upper estimates.     

On the pronormality of subgroups of odd index in finite simple symplectic groups

A subgroup H of a group G is pronormal if the subgroups H and H ^g are conjugate in 〈H,H ^g 〉 for every g ∈ G. It was conjectured in [1] that a subgroup of a finite simple group having odd index is always pronormal. Recently the authors [2] verified this conjecture for all finite simple groups other than PSL _n (q), PSU _n (q), E ₆(q), ² E ₆(q), where in all cases q is odd and n is not a power of 2, and P Sp_2n (q), where q ≡ ±3 (mod 8). However in [3] the authors proved that when q ≡ ±3 (mod 8) and n ≡ 0 (mod 3), the simple symplectic group P Sp²ⁿ (q) has a nonpronormal subgroup of odd index, thereby refuted the conjecture on pronormality of subgroups of odd index in finite simple groups.The natural extension of this conjecture is the problem of classifying finite nonabelian simple groups in which every subgroup of odd index is pronormal. In this paper we continue to study this problem for the simple symplectic groups P Sp_2n (q) with q ≡ ±3 (mod 8) (if the last condition is not satisfied, then subgroups of odd index are pronormal). We prove that whenever n is not of the form 2 ^m or 2 ^m (2^2k +1), this group has a nonpronormal subgroup of odd index. If n = 2 ^m , then we show that all subgroups of P Sp_2n (q) of odd index are pronormal. The question of pronormality of subgroups of odd index in P Sp_2n (q) is still open when n = 2 ^m (2^2k + 1) and q ≡ ±3 (mod 8).     

Blow-up of <Emphasis Type="Italic">p</Emphasis>-Laplacian evolution equations with variable source power

We study the blow-up and/or global existence of the following p-Laplacian evolution equation with variable source power

$${s_j} = {\beta _j} + \overline {{\beta _{n - j}}}p$$

where Ω is either a bounded domain or the whole space ? ^N , q(x) is a positive and continuous function defined in Ω with 0 < q _? = inf q(x) ? q(x) ? sup q(x) = q+ < ∞. It is demonstrated that the equation with variable source power has much richer dynamics with interesting phenomena which depends on the interplay of q(x) and the structure of spatial domain Ω, compared with the case of constant source power. For the case that Ω is a bounded domain, the exponent p ? 1 plays a crucial role. If q+ > p ? 1, there exist blow-up solutions, while if q ₊ < p ? 1, all the solutions are global. If q _? > p ? 1, there exist global solutions, while for given q _? < p ? 1 < q ₊, there exist some function q(x) and Ω such that all nontrivial solutions will blow up, which is called the Fujita phenomenon. For the case Ω = ? ^N , the Fujita phenomenon occurs if 1 < q _? ? q ₊ ? p ? 1 + p/N, while if q _? > p ? 1 + p/N, there exist global solutions.

     

Estimation of the depth of reversible circuits consisting of NOT,CNOT and 2-CNOT gates

The paper discusses the asymptotic depth of a reversible circuits consisting of NOT, CNOT and 2-CNOT gates. The reversible circuit depth function D(n, q) is introduced for a circuit implementing a mapping f: Z₂ⁿ → Z₂ⁿ as a function of n and the number q of additional inputs. It is proved that for the case of implementation of a permutation from A(Z₂ⁿ) with a reversible circuit having no additional inputs the depth is bounded as D(n, 0) ? 2ⁿ/(3log₂n). It is also proved that for the case of transformation f: Z₂ⁿ → Z₂ⁿ with a reversible circuit having q₀ ~ 2ⁿ additional inputs the depth is bounded as D(n,q₀) ? 3n.     

Regularization of Mickelsson generators for nonexceptional quantum groups

Let g′ ? g be a pair of Lie algebras of either symplectic or orthogonal infinitesimal endomorphisms of the complex vector spaces C ^N?2 ? C ^N and U _q (g′) ? U _q (g) be a pair of quantum groups with a triangular decomposition U _q (g) = U _q (g_-)U _q (g₊)U _q (h). Let Z _q (g, g′) be the corresponding step algebra. We assume that its generators are rational trigonometric functions h ? → U _q (g_±). We describe their regularization such that the resulting generators do not vanish for any choice of the weight.     

Sieve Functions in Arithmetic Bands,II

An arithmetic function f is called a sieve function of range Q if its Eratosthenes transform g = f * μ is supported in [1,Q] ∩ N, where g(q) ? _ε q ^ε (?ε > 0). We continue our study of the distribution of f(n) over short arithmetic bands, n ≡ ar + b (mod q), with n ∈ (N,2N] ∩ N, 1 ≤ a ≤ H = o(N) and r,b ∈ Z such that g:c:d:(r,q) = 1. In particular, the optimality of some results is discussed.     

On recognizability of some finite simple orthogonal groups by spectrum

It is proved that, if G is a finite group that has the same set of element orders as the simple group D _p (q), where p is prime, p ≥ 5 and q ∈ {2, 3, 5}, then the commutator group of G/F(G) is isomorphic to D _p (q), the subgroup F(G) is equal to 1 for q = 5 and to O _q (G) for q ∈ {2, 3}, F(G) ≤ G′, and |G/G′| ≤ 2.     

An improvement of the five halves theorem of J. Boardman

Let (M ^m , T) be a smooth involution on a closed smooth m-dimensional manifold and F = ∪ _j=0 ⁿ F ^j (n ≤ m) its fixed point set, where F ^j denotes the union of those components of F having dimension j. The famous Five Halves Theorem of J. Boardman, announced in 1967, establishes that, if F is nonbounding, then m ≤ 5/2n. In this paper we obtain an improvement of the Five Halves Theorem when the top dimensional component of F, F ⁿ , is nonbounding. Specifically, let ω = (i ₁, i ₂, …, i _r ) be a non-dyadic partition of n and s _ω (x ₁, x ₂, …, x _n ) the smallest symmetric polynomial over Z ₂ on degree one variables x ₁, x ₂, …, x _n containing the monomial \(x_1^{i_1 } x_2^{i_2 } \cdots x_r^{i_r }\). Write s _ω (F ⁿ ) ∈ H ⁿ (F ⁿ , Z ₂) for the usual cohomology class corresponding to s _ω (x ₁, x ₂, …, x _n ), and denote by ?(F ⁿ ) the minimum length of a nondyadic partition ω with s _ω (F ⁿ ) ≠ 0 (here, the length of ω = (i ₁, i ₂, …, i _r ) is r). We will prove that, if (M ^m , T) is an involution for which the top dimensional component of the fixed point set, F ⁿ , is nonbounding, then m ≤ 2n + ?(F ⁿ ); roughly speaking, the bound for m depends on the degree of decomposability of the top dimensional component of the fixed point set. Further, we will give examples to show that this bound is best possible.     

Seifert manifolds and (1, 1)-knots

The aim of this paper is to investigate the relations between Seifert manifolds and (1, 1)-knots. In particular, we prove that each orientable Seifert manifold with invariants

$\{ Oo,0| - 1;\underbrace {(p,q),...,(p,q)}_{n times},(l,l - 1)\} $

has the fundamental group cyclically presented by G _n ((x ₁ ^q ...x _n ^{q l} x _n ^?p ) and, moreover, it is the n-fold strongly-cyclic covering of the lens space L(|nlq ? p|, q) which is branched over the (1, 1)-knot K(q, q(nl ? 2), p ? 2q, p ? q) if p ≥ 2q and over the (1, 1)-knot K(p? q, 2q ? p, q(nl ? 2), p ? q) if p< 2q.

     

Equiconvergence of expansions in multiple Fourier series and in fourier integrals with “lacunary sequences of partial sums”

We investigate the equiconvergence on T^N = [?π, π)^N of expansions in multiple trigonometric Fourier series and in the Fourier integrals of functions f ∈ L_p(T^N) and g ∈ L_p(R^N), p > 1, N ≥ 3, g(x) = f(x) on T^N, in the case where the “partial sums” of these expansions, i.e., S_n(x; f) and J_α(x; g), respectively, have “numbers” n ∈ Z^N and α ∈ R^N (n_j = [α_j], j = 1,..., N, [t] is the integral part of t ∈ R¹) containing N ? 1 components which are elements of “lacunary sequences.”     

Lattices generated by joins of the flats in orbits under finite affine-singular symplectic group and its characteristic polynomials

Let ASG(2ν + l, ν;F _q ) be the (2ν + l)-dimensional affine-singular symplectic space over the finite field F _q and ASp_2ν+l,ν (F _q ) be the affine-singular symplectic group of degree 2ν + l over F _q . Let O be any orbit of flats under ASp_2ν+l,ν (F _q ). Denote by L ^J the set of all flats which are joins of flats in O such that O ? L ^J and assume the join of the empty set of flats in ASG(2ν + l, ν;F _q ) is ?. Ordering L ^J by ordinary or reverse inclusion, then two lattices are obtained. This paper firstly studies the inclusion relations between different lattices, then determines a characterization of flats contained in a given lattice L ^J , when the lattices form geometric lattice, lastly gives the characteristic polynomial of L ^J .     

Short cubic exponential sums over primes

For y ≥ x ^4/5 L ^8B+151 (where L = log(xq) and B is an absolute constant), a nontrivial estimate is obtained for short cubic exponential sums over primes of the form S ₃(α; x, y) = ∑ _x?y<n≤x Λ(n)e(αn ³), where α = a/q + θ/q ², (a, q) = 1, L ^32(B+20) < q ≤ y ⁵ x ^?2 L ^?32(B+20), |θ| ≤ 1, Λ is the von Mangoldt function, and e(t) = e ^2πit.     

Baum-Bott indices for curves of singularities

Let F be a holomorphic foliation on Pⁿ by curves such that the components of its singular locus are curves C_i and points p_j. We compute the Baum-Bott indices BB_φ(F, C_i) in terms of the main invariants of F and C_i. We also determine the sum of the BB_φ(F, p_i) in terms of the same invariants.When φ corresponds to the determinant, the latter result generalizes, from special to all holomorphic foliations, a formula for the number of isolated singularities of F, counted with multiplicities.     

Note edge-colourings of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n,n</Emphasis></Subscript> with no long two-coloured cycles

Consider the set of all proper edge-colourings of a graph G with n colours. Among all such colourings, the minimum length of a longest two-coloured cycle is denoted L(n, G). The problem of understanding L(n, G) was posed by Häggkvist in 1978 and, specifically, L(n, K _n,n ) has received recent attention. Here we construct, for each prime power q ≥ 8, an edge-colouring of K _n,n with n colours having all two-coloured cycles of length ≤ 2q ², for integers n in a set of density 1 ? 3/(q ? 1). One consequence is that L(n, K _n,n ) is bounded above by a polylogarithmic function of n, whereas the best known general upper bound was previously 2n ? 4.     

Bessel Property of the System of Root Functions of a Second-Order Singular Operator on an Interval

For the system of root functions of an operator defined by the differential operation ?u″ + p(x)u′ + q(x)u, x ∈ G = (0, 1), with complex-valued singular coefficients, sufficient conditions for the Bessel property in the space L₂(G) are obtained and a theorem on the unconditional basis property is proved. It is assumed that the functions p(x) and q(x) locally belong to the spaces L₂ and W₂^?1, respectively, and may have singularities at the endpoints of G such that q(x) = q_R(x) +q′S(x) and the functions q_S(x), p(x), q ₂ ^S (x)w(x), p²(x)w(x), and q_R(x)w(x) are integrable on the whole interval G, where w(x) = x(1 ? x).     

Quantum quaternion spheres

For the quantum symplectic group SP _q (2n), we describe the C ^?-algebra of continuous functions on the quotient space S P _q (2n)/S P _q (2n?2) as an universal C ^?-algebra given by a finite set of generators and relations. The proof involves a careful analysis of the relations, and use of the branching rules for representations of the symplectic group due to Zhelobenko. We then exhibit a set of generators of the K-groups of this C ^?-algebra in terms of generators of the C ^?-algebra.     

The product of octahedra is badly approximated in the <Emphasis Type="Italic">ℓ</Emphasis><Subscript>2,1</Subscript>-metric

We prove that the Cartesian product of octahedra B _1,∞ ^n,m = B ₁ ⁿ ×···× B ₁ ⁿ (m factors) is poorly approximated by spaces of half dimension in the mixed norm: d _N/2(B _1,∞ ^n,m , ? _2,1 ^n,m ) ≥ cm, N = mn. As a corollary, we find the order of linear widths of the Hölder–Nikol’skii classes H _p ^r (T ^d ) in the metric of L _q in certain domains of variation of the parameters (p, q).     

The Erdös-Kac theorem for additive arithmetical semigroups

We show that the Erdös-Kac theorem for additive arithmetical semigroups can be proved under the condition that the counting function of elements has the asymptotics G(n) = q ⁿ (A + O(1/(lnn)^k) as n → ∞ with A > 0, q > 1, and arbitrary k ∈ ? and that P(n) = O(q ⁿ /n) for the number of prime elements of degree n. This improves a result of Zhang.