Radon extension of cylindrical measures on weak dual multi-Hilbertian spaces and the generalized Bochner theorem

This paper presents a nonstandard approach to Radon extension of cylindrical measures on weak dual multi-Hilbertian spaces. The results obtained are applied to characterize the Fourier transforms of Radon measures on weak dual multi-Hilbertian spaces (the generalized Bochner theorem).     

The Erd?s-Ginzburg-Ziv theorem for dihedral groups

Let n≥23 be an integer and let D_2n be the dihedral group of order 2n. It is proved that, if g₁,g₂,…,g_3n is a sequence of 3n elements in D_2n, then there exist 2n distinct indices i₁,i₂,…,i_2n such that g_i1g_i2?g_i2n=1. This result is a sharpening of the famous Erd?s-Ginzburg-Ziv theorem for G=D_2n.     

A generalization of the primitive normal basis theorem

The primitive normal basis theorem asks whether every finite field extension has a primitive normal basis of this extension. The proof of this problem has recently been completed by Lenstra and Schoof (1987) [6], and another proof is given by Cohen and Huczynska (2003) [3]. We present a more general result, where the primitive element generating a normal basis is replaced by a primitive element generating the finite Carlitz module. Such generators always exist except for finitely many cases which might not exist.     

A Hardy field extension of Szemerédi's theorem

In 1975 Szemerédi proved that a set of integers of positive upper density contains arbitrarily long arithmetic progressions. Bergelson and Leibman showed in 1996 that the common difference of the arithmetic progression can be a square, a cube, or more generally of the form p(n) where p(n) is any integer polynomial with zero constant term. We produce a variety of new results of this type related to sequences that are not polynomial. We show that the common difference of the progression in Szemerédi's theorem can be of the form [nδ] where δ is any positive real number and [x] denotes the integer part of x. More generally, the common difference can be of the form [a(n)] where a(x) is any function that is a member of a Hardy field and satisfies a(x)/xk→∞ and a(x)/xk+1→0 for some non-negative integer k. The proof combines a new structural result for Hardy sequences, techniques from ergodic theory, and some recent equidistribution results of sequences on nilmanifolds.     

Muckenhoupt weights and Lindelöf theorem for harmonic mappings

We extend the result of Lavrentiev which asserts that the harmonic measure and the arc-length measure are _A∞$A_{\infty }$ equivalent in a chord-arc Jordan domain. By using this result we extend the classical result of Lindelöf to the class of quasiconformal (q.c.) harmonic mappings by proving the following assertion. Assume that f is a quasiconformal harmonic mapping of the unit disk U onto a Jordan domain. Then the function A(z)=arg?(_∂φ(f(z))/z)$A(z)=\arg ?({\partial }_{\phi }(f(z))/z)$ where z=re^iφ$z=r{e}^{i\phi }$, is well-defined and smooth in U^?={z:0<|z|<1}${\mathbf{U}}^{?}=\{z:0<|z|<1\}$ and has a continuous extension to the boundary of the unit disk if and only if the image domain has C¹$C^1$ boundary.     

Gauss sums for symplectic groups over a finite field

For a nontrivial additive character and a multiplicative character of the finite field withq elements, the Gauss sums (trg) overgSp(2n,q) and (detg)(trg) overgGSp(2n, q) are considered. We show that it can be expressed as a polynomial inq with coefficients involving powers of Kloosterman sums for the first one and as that with coefficients involving sums of twisted powers of Kloosterman sums for the second one. As a result, we can determine certain generalized Kloosterman sums over nonsingular matrices and generalized Kloosterman sums over nonsingular alternating matrices, which were previously determined by J. H. Hodges only in the case that one of the two arguments is zero.Supported in part by Basic Science Research Institute program, Ministry of Education of Korea, BSRI 95-1414 and KOSEF Research Grant 95-K3-0101 (RCAA)Dedicated to my father, Chang Hong Kim     

A relative version of Webb’s theorem on the equivariant chain complex of a subgroup complex

We prove a relative version of the theorem of Webb that the augmented chain complex of the p-subgroup complex of a finite group, considered as a complex of modules for the group, is homotopy equivalent to a complex of projectives. This allows us to take into account the group of automorphisms of the group.     

On free spectra of finite completely regular semigroups and monoids

We show that a finite completely regular semigroup has a sub-log-exponential free spectrum if and only if it is locally orthodox and has nilpotent subgroups. As a corollary, it follows that the Seif Conjecture holds true for completely regular monoids. In the process, we derive solutions of word problems of free objects in a sequence of varieties of locally orthodox completely regular semigroups from solutions of word problems in relatively free bands.     

Infinite-vertex free profinite semigroupoids and symbolic dynamics

Some fundamental questions about infinite-vertex (free) profinite semigroupoids are clarified, putting in evidence differences with the finite-vertex case. This is done with examples of free profinite semigroupoids generated by the graph of a subshift. It is also proved that for minimal subshifts, the infinite edges of such free profinite semigroupoids form a connected compact groupoid.     

On Eisenstein polynomials and zeta polynomials

Eisenstein polynomials, which were defined by Oura, are analogues of the concept of an Eisenstein series. Oura conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In this paper, we provide new analogous properties of Eisenstein polynomials and zeta polynomials. These properties are finite analogies of certain properties of Eisenstein series.     

Two codes related to hermitian forms

Hermitian forms, exponential sums and linear algebra give us the opportunity to construct two trace-codes and obtain their parameters.     

Trace formulas for Hecke operators, Gaussian hypergeometric functions, and the modularity of a threefold

We present simple trace formulas for Hecke operators Tk(p) for all p>3 on Sk(Γ₀(3)) and Sk(Γ₀(9)), the spaces of cusp forms of weight k and levels 3 and 9. These formulas can be expressed in terms of special values of Gaussian hypergeometric series and lend themselves to recursive expressions in terms of traces of Hecke operators on spaces of lower weight. Along the way, we show how to express the traces of Frobenius of a family of elliptic curves equipped with a 3-torsion point as special values of a Gaussian hypergeometric series over Fq, when . As an application, we use these formulas to provide a simple expression for the Fourier coefficients of η⁸(3z), the unique normalized cusp form of weight 4 and level 9, and then show that the number of points on a certain threefold is expressible in terms of these coefficients.     

The k-orbit reconstruction and the orbit algebra

Let (G, W) be a permutation group on a finite set W = {w ₁,..., w _n}. We consider the natural action of G on the set of all subsets of W. Let h ₀, h ₁,..., h _N be the orbits of this action. For each i, 1 i N, there exists k, 1 k n, such that h _i is a set of k-element subsets of W. In this case h _i is called a symmetrized k-orbit of the group (G, W) or simply a k-orbit. With a k-orbit h _i we associate a multiset H(h _i ) = % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGGipm0dc9vqaqpepu0xbbG8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyykJeoaaa!3690!\[\langle \]h _i ⁽¹⁾, h _i ⁽²⁾,..., h _i ^(k)% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGGipm0dc9vqaqpepu0xbbG8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyOkJepaaa!36A1!\[\rangle \] of its (k – 1)-suborbits. Orbits h _i and h _j are called equivalent if H(h _i ) = H(h _j ). An orbit is reconstructible if it is equivalent to itself only. The paper concerns the k-orbit reconstruction problem and its connections with different problems in combinatorics. The technique developed is based on the notion of orbit and co-orbit algebras associated with a given permutation group (G, W).     

A structure theorem for right invariant right holoids

Communicated by Boris M. Schein     

Multivariable codes in principal ideal polynomial quotient rings with applications to additive modular bivariate codes over F4

In this work, we study the structure of multivariable modular codes over finite chain rings when the ambient space is a principal ideal ring. We also provide some applications to additive modular codes over the finite field ${\mathbb{F}}_4$.     

Variations on seven points: An introduction to the scope and methods of coding theory and finite geometries

We use a simple example (the projective plane on seven points) to give an introductory survey on the problems and methods in finite geometries — an area of mathematics related to geometry, combinatorial theory, algebra, group theory and number theory as well as to applied mathematics (e.g., coding theory, information theory, statistical design of experiments, tomography, cryptography, etc.). As this list already indicates, finite geometries is — both from the point of view of pure mathematics and from that of applications related to computer science and communication engineering — one of the most interesting and active fields of mathematics. It is the aim of this paper to introduce the nonspecialist to some of these aspects.To Professor Günter Pickert on the occasion of his 65th birthday     

The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras

The probability measures on compact Hausdorff spaces K form a compact convex subset PK of the space of measures with the vague topology. Every continuous map of compact Hausdorff spaces induces a continuous affine map extending f. Together with the canonical embedding associating to every point its Dirac measure and the barycentric map β associating to every probability measure on PK its barycenter, we obtain a monad (P,ε,β). The Eilenberg-Moore algebras of this monad have been characterised to be the compact convex sets embeddable in locally convex topological vector spaces by Swirszcz [T. Swirszcz, Monadic functors and convexity, Bul. Acad. Polon. Sci. Sér. Sci. Math. Astron. Phys. 22 (1974) 39-42].We generalise this result to compact ordered spaces in the sense of Nachbin [L. Nachbin, Topology and Order, Von Nostrand, Princeton, NJ, 1965. Translated from the 1950 monograph “Topologia e Ordem” (in Portugese). Reprinted by Robert E. Kreiger Publishing Co., Huntington, NY, 1967]. The probability measures form again a compact ordered space when endowed with the stochastic order. The maps ε and β are shown to preserve the stochastic orders. Thus, we obtain a monad over the category of compact ordered spaces and order preserving continuous maps. The algebras of this monad are shown to be the compact convex ordered sets embeddable in locally convex ordered topological vector spaces.This result can be seen as a step towards the characterisation of the algebras of the monad of probability measures on the category of stably compact spaces (see [G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, Continuous Lattices and Domains, Encyclopedia Math. Appl., vol. 93, Cambridge University Press, 2003, Section VI-6]).