Rational invariants of certain classical groups over finite fields

Let be a finite field with q elements, where q is a prime power. Let G be a subgroup of the general linear group over and be the rational function field over . We seek to understand the structure of the rational invariant subfield . In this paper, we prove that is rational (or, purely transcendental) by giving an explicit set of generators when G is the symplectic group. In particular, the set of generators we gave satisfies the Dickson property.      

The \bar \partial -Neumann operator and commutators of the Bergman projection and multiplication operators

We prove that compactness of the canonical solution operator to restricted to (0, 1)-forms with holomorphic coefficients is equivalent to compactness of the commutator defined on the whole L _(0,1)²(Ω), where is the multiplication by and is the orthogonal projection of L _(0,1)²(Ω) to the subspace of (0, 1) forms with holomorphic coefficients. Further we derive a formula for the -Neumann operator restricted to (0, 1) forms with holomorphic coefficients expressed by commutators of the Bergman projection and the multiplications operators by z and . Partially supported by the FWF grant P19147-N13.     

On $$ \mathcal{C} $$*-sets and decompositions of continuous and ηζ-continuous functions

The main purpose of this paper is to introduce the concepts of *-sets, *-continuous functions and to obtain new decompositions of continuous and ηζ-continuous functions. Moreover, properties of *-sets and some properties of -sets are discussed.      

On ideals and quotients of A \mathcal{T} -algebras

Some results on A -algebras are given. We study the problem when ideals, quotients and hereditary subalgebras of A -algebras are A -algebras or A -algebras, and give a necessary and sufficient condition of a hereditary subalgebra of an A -algebra being an A -algebra.     

Deterministic extractors for affine sources over large fields

An (n,k)-affine source over a finite field is a random variable X = (X ₁,..., X _n ) ∈ , which is uniformly distributed over an (unknown) k-dimensional affine subspace of . We show how to (deterministically) extract practically all the randomness from affine sources, for any field of size larger than n ^c (where c is a large enough constant). Our main results are as follows:

Compact solutions to the equation Tx = y in a weakly closed $$ \mathcal{T}(\mathcal{N}) $$-module

Given two vectors x, y in a Hilbert space and a weakly closed -module , we provide a necessary and sufficient condition for the existence of a compact operator T in satisfying Tx = y.     

Maximal subclasses of local fitting classes

A Fitting class $ \mathfrak{F} A Fitting class is said to be π-maximal if is an inclusion maximal subclass of the Fitting class of all finite soluble π-groups. We prove that is a π-maximal Fitting class exactly when there is a prime p ∊ π such that the index of the -radical in G is equal to 1 or p for every π-subgroup of G. Hence, there exist maximal subclasses in a local Fitting class. This gives a negative answer to Skiba’s conjecture that there are no maximal Fitting subclasses in a local Fitting class (see [1, Question 13.50]). Original Russian Text Copyright ? 2008 Savelyeva N. V. and Vorob’ev N. T. __________ Vitebsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 49, No. 6, pp. 1411–1419, November–December, 2008.     

Asymptotic behaviour for a nonlocal diffusion equation on a lattice

In this paper we study the asymptotic behaviour as t → ∞ of solutions to a nonlocal diffusion problem on a lattice, namely, with t ≥ 0 and . We assume that J is nonnegative and verifies . We find that solutions decay to zero as t → ∞ and prove an optimal decay rate using, as our main tool, the discrete Fourier transform.      

On some types of radical classes

Let be an infinite cardinal. We denote by the collection of all -representable Boolean algebras. Further, let be the collection of all generalized Boolean algebras B such that for each b ∈ B, the interval [0, b] of B belongs to . In this paper we prove that is a radical class of generalized Boolean algebras. Further, we investigate some related questions concerning lattice ordered groups and generalized MV-algebras. This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-032002. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information.     

Periodic subgroups of projective linear groups in positive characteristic

We classify the maximal irreducible periodic subgroups of PGL(q, ), where is a field of positive characteristic p transcendental over its prime subfield, q = p is prime, and ^× has an element of order q. That is, we construct a list of irreducible subgroups G of GL(q, ) containing the centre ^×1 _q of GL(q, ), such that G/ ^×1 _q is a maximal periodic subgroup of PGL(q, ), and if H is another group of this kind then H is GL(q, )-conjugate to a group in the list. We give criteria for determining when two listed groups are conjugate, and show that a maximal irreducible periodic subgroup of PGL(q, ) is self-normalising.      

Projectively condensed semigroups,generalized completely regular semigroups and projective orthomonoids

The class of projectively condensed semigroups is a quasivariety of unary semigroups, the class of projective orthomonoids is a subquasivariety of . Some well-known classes of generalized completely regular semigroups will be regarded as subquasivarieties of . We give the structure semilattice composition and the standard representation of projective orthomonoids, and then obtain the structure theorems of various generalized orthogroups. Partially supported by a UGC (HK) grant #2060123 (04-05).     

Stability of homogeneity almost everywhere

We consider approximately ϕ-homogeneous mappings almost everywhere, that is functions F such that the difference F(αx) − ϕ(α)F(x) is in some sense bounded almost everywhere in a product space. We will prove, under some assumptions, that then either we have some kind of boundedness of ϕ and F, or there exist a homomorphism and a -homogeneous function , which are almost everywhere equal to ϕ and F, respectively. From this result we derive the superstability effect for the multiplicativity almost everywhere.      

The information-based complexity of approximation problem by adaptive Monte Carlo methods

In this paper, we study the complexity of information of approximation problem on the multivariate Sobolev space with bounded mixed derivative MWpr,α(Td), 1 < p < ∞, in the norm of Lq(Td), 1 < q < ∞, by adaptive Monte Carlo methods. Applying the discretization technique and some properties of pseudo-s-scale, we determine the exact asymptotic orders of this problem.     

Oscillation theorems for second-order nonlinear neutral delay dynamic equations on time scales

By employing the generalized Riccati transformation technique, we will establish some new oscillation criteria and study the asymptotic behavior of the nonoscillatory solutions of the second-order nonlinear neutral delay dynamic equation

Perfect difference sets constructed from Sidon sets

A set of positive integers is a perfect difference set if every nonzero integer has a unique representation as the difference of two elements of . We construct dense perfect difference sets from dense Sidon sets. As a consequence of this new approach we prove that there exists a perfect difference set such that

The hardy and bellman operators in spaces connected with H( \mathbb{T} ) and BMO( \mathbb{T} )

Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series $ \sum\limits_{n = 1}^\infty {a_n } Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series cos nx. According to one result of G.H. Hardy, the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. But if 1 < p ≤ ∞ and f ∈ L ^p [0, π], then the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. Similar assertions are true for sine series. This allows one to define the Hardy operator on L ^p (), 1 ≤ p < ∞, and to define the Bellman operator on L ^p (), 1 < p ≤ ∞. In this paper we prove that the Bellman operator boundedly acts in VMO(), and the Hardy operator also maps a certain subspace C() onto VMO(). We also prove the invariance of certain classes of functions with given majorants of modules of continuity or best approximations in the spaces H(), L(), VMO() with respect to the Hardy and Bellman operators. Original Russian Text ? S.S. Volosivets and B.I. Golubov, 2008, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2008, No. 5, pp. 4–13.     

Nonlinear maps of convex sets in Hilbert spaces with application to kinetic equations

Let be a separable Hilbert space, an open convex subset, and f: a smooth map. Let Ω be an open convex set in with , where denotes the closure of Ω in . We consider the following questions. First, in case f is Lipschitz, find sufficient conditions such that for ɛ > 0 sufficiently small, depending only on Lip(f), the image of Ω by I + ɛf, (I + ɛf)(Ω), is convex. Second, suppose df(u): is symmetrizable with σ(df(u)) ⊆ (0,∞), for all u ∈ , where σ(df(u)) denotes the spectrum of df(u). Find sufficient conditions so that the image f(Ω) is convex. We establish results addressing both questions illustrating our assumptions and results with simple examples. We also show how our first main result immediately apply to provide an invariance principle for finite difference schemes for nonlinear ordinary differential equations in Hilbert spaces. The main application of the theory developed in this paper concerns our second result and provides an invariance principle for certain convex sets in an L ²-space under the flow of a class of kinetic transport equations so called BGK model.      

Three-dimensional sets with small sumset

We describe the structure of three dimensional sets of lattice points, having a small doubling property. Let be a finite subset of ℤ³ such that dim = 3. If and , then lies on three parallel lines. Moreover, for every three dimensional finite set that lies on three parallel lines, if , then is contained in three arithmetic progressions with the same common difference, having together no more than terms. These best possible results confirm a recent conjecture of Freiman and cannot be sharpened by reducing the quantity υ or by increasing the upper bounds for .     

Self-intersecting geodesics and entropy of the geodesic flow

Given a symmetric Finsler metric on T^2 whose geodesic flow has zero topological entropy, we show that the lift in the universal covering R^2 →T^2 of any closed geodesic on T^2 must be an embedded curve in R^2.