Periodic decomposition of integer valued functions

We study those functions that can be written as a finite sum of periodic integer valued functions. On ℤ we give three different characterizations of these functions. For this we prove that the existence of a real valued periodic decomposition of a ℤ → ℤ function implies the existence of an integer valued periodic decomposition with the same periods. This result depends on the representation of the greatest common divisor of certain polynomials with integer coefficients as a linear combination of the given polynomials where the coefficients also belong to ℤ[x]. We give an example of an ℤ → {0, 1} function that has a bounded real valued periodic decomposition but does not have a bounded integer valued periodic decomposition with the same periods. It follows that the class of bounded ℤ → ℤ functions has the decomposition property as opposed to the class of bounded ℝ → ℤ functions. If the periods are pairwise commensurable or not prescribed, then we get more general results. Supported by OTKA grants T 43623 and K 61908.     

<Emphasis Type="Italic">p</Emphasis>-Adic Mikusinski calculus and its applications to the fourier and the mahler expansions of locally constant functions

We consider the p-adic counterpart of Mikusinski’s operational calculus based on the algebra C(ℤ _p ) of continuous functions on ℤ _p taking values in ℂ _p and equipped with the discrete Laplace convolution. Elements of the field (hyperfunctions) corresponding to shift operators, difference operators, and the indefinite sum operator are considered. A notion of p-adic exponent is generalized. Applications to the Fourier and the Mahler expansions of the indicator function of a ball and the convolution of two indicator functions are provided. Two ways of applying the p-adic analog of Mikusinski’s operational calculus lead us to the Fourier expansion for the fractional part of a p-adic number.     

Conformal field theory approach to gapless 1D fermion systems and application to the edge excitations of ν=1/(2p+1) quantum Hall sequences

An effective conformal field theory (CFT) describing the low-energy excitations of a gas of spinless interacting fermions on a circle in the gapless regime (Luttinger liquid) is investigated. Functional techniques and modular-transformation properties are used to compute all correlation functions for a finite size and temperature. Forward-scattering disorder is treated exactly. Laughlin experiments on charge transport in a quantum Hall fluid on a cylinder are reviewed in this CFT framework. Edge excitations above a given bulk excitation are described by a twisted version of the Luttinger effective theory. Luttinger CFTs corresponding to the ν=1/(2p+1) filling fractions are rational CFTs (RCFT). Generators of the extended symmetry algebra are identified as edge-fermion creators and annihilators, thus giving a physical meaning to the RCFT viewpoint on edge excitations of these sequences. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 117, No. 1, pp. 3–91, October, 1998.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9     

On AdS/CFT correspondence of EYM fields

In the compactized Minkowski space, which is equivalent to the conformal spaceM ₄, we introduced a Lorentz metric d σ² and a Yang-Mills field θ. Later, we proved that dσ² and θ together satisfy the EYM (Einstein-Yang-Mills) equation. In this paper, it is proved that θ onM ₄ (which is the boundary of the anti-de-Sitter space AdS₅) can be extended to be a Yang-Mills field [^(q)]\hat \theta on AdS₅ such that Hua’s metric ds² on AdS₅, together with [^(q)]\hat \theta satisfies the EYM equation on AdS₅.     

The Littlewood-Gowers problem

The paper has two main parts. To begin with, suppose that G is a compact abelian group. Chang’s Theorem can be viewed as a structural refinement of Bessel’s inequality for functions ƒ ∈ L ²(G). We prove an analogous result for functions ƒ ∈ A(G), where A(G) is the space endowed with the norm , and generalize this to the approximate Fourier transform on Bohr sets. As an application of the first part of the paper, we improve a recent result of Green and Konyagin. Suppose that p is a prime number and A ⊂ ℤ/pℤ has density bounded away from 0 and 1 by an absolute constant. Green and Konyagin have shown that ‖χ _A ‖ _A(ℤ/pℤ) ≫ ɛ (log p)^1/3−ɛ; we improve this to ‖χ _A ‖ _A(ℤ/pℤ) ≫ ɛ (log p)^1/2−ɛ. To put this in context, it is easy to see that if A is an arithmetic progression, then ‖χ _A ‖ _A(ℤ/pℤ) ≪ log p.     

On isomorphity of measure-preserving ℤ<Superscript>2</Superscript>-actions that have isomorphic Cartesian powers

Assume that Δ and Π are representations of the group ℤ² by operators on the space L ₂(X, μ) that are induced by measure-preserving automorphisms, and for some d, the representations Δ^⨂d and Π^⨂d are conjugate to each other, Δ(ℤ² \(0, 0)) consists of weakly mixing operators, and there is a weak limit (over some subsequence in ℤ² of operators from Δ(ℤ²)) which is equal to a nontrivial, convex linear combination of elements of Δ(ℤ²) and of the projection onto constant functions. We prove that in this case, Δ and Π are also conjugate to each other. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 193–212, 2007.     

Sur le 2-groupe de classes d'idéaux de ℚ(√d,i)

Let ℕ,i=√−1,k=ℚ(√d,i) andC ₂ the 2-part of the class group ofk. Our goal is to determine alld such thatC ₂⋍ℤ/2ℤ×ℤ/2ℤ. Soientd∈ℕ,i=√−1,k=ℚ(√d,i), etC ₂ la 2-partie du groupe de classes dek. On s'intéresse à déterminer tous lesd tel queC ₂⋍ℤ/2ℤ×ℤ/2ℤ.      

Mappings of group shifts

A group shift is a proper closed shift-invariant subgroup ofG ^ℤ ₂ whereG is a finite group. We consider a class of group shifts in whichG is a finite field and show that mixing is a necessary and sufficient condition on such a group shift for all codes from it into another group shift to be affine and all codes from another group shift into it to be affine. As a corollary, it will follow forG=ℤ _p that two mixing group shifts are topologically conjugate if and only if they are equal.     

On the pontryagin-steenrod-wu theorem

We present a short and direct proof (based on the Pontryagin-Thom construction) of the following Pontryagin-Steenrod-Wu theorem: (a) LetM be a connected orientable closed smooth (n + 1)-manifold,n≥3. Define the degree map deg: π ⁿ (M) →H ⁿ (M; ℤ) by the formula degf =f*[S ⁿ ], where [S ⁿ ] εH ⁿ (M; ℤ) is the fundamental class. The degree map is bijective, if there existsβ εH ₂(M, ℤ/2ℤ) such thatβ ·w ₂(M) ε 0. If suchβ does not exist, then deg is a 2-1 map; and (b) LetM be an orientable closed smooth (n+2)-manifold,n≥3. An elementα lies in the image of the degree map if and only ifρ ₂ α ·w ₂(M)=0, whereρ ₂: ℤ → ℤ/2ℤ is reduction modulo 2.     

Invariant measures for certain expansive ℤ2-actions

Letp>1 be prime, and letY ⊂X=(ℤ/pℤ)^{ℤ 2}) be an infinite, closed, shift-invariant subgroup with the following properties: the restriction toY of the shift-actionσ of ℤ² onX is mixing with respect to the Haar measureλ _Y ofY, and every closed, shift-invariant subgroupZ ⊂Y is finite. We prove that every sufficiently mixing, non-atomic, shift-invariant probability measureμ onY is equal toλ _Y . The author would like to thank the Department of Mathematics, University of Vienna, for hospitality while this work was done.     

On the structure ofp-zero-sum free sequences and its application to a variant of Erdös-Ginzburg-Ziv theorem

Letp be any odd prime number. Letk be any positive integer such that . LetS = (a ₁,a ₂,...,a _2p−k ) be any sequence in ℤ_p such that there is no subsequence of lengthp of S whose sum is zero in ℤ_p. Then we prove that we can arrange the sequence S as follows:

Riesz basis, Paley-Wiener class and tempered splines

The Marcinkiewicz-Zygmund inequality and the Bernstein inequality are established on ∮2m(T,R)∩L2(R) which is the space of polynomial splines with irregularly distributed nodes T={tj}j∈Z, where {tj}j∈Z is a real sequence such that {eitξ}j∈Z constitutes a Riesz basis for L2([-π,π]). From these results, the asymptotic relation E(f,Bπ,2)2=lim E(f,∮2m(T,R)∩L2(R))2 is proved, where Bπ,2 denotes the set of all functions from L2(R) which can be continued to entire functions of exponential type ≤π, i.e. the classical Paley-Wiener class.     

Rate of escape on the lamplighter tree

Suppose we are given a homogeneous tree {ie173-01} of degree q ≥ 3, where at each vertex sits a lamp, which can be switched on or off. This structure can be described by the wreath product (ℤ/2)≀Γ, where Γ = * _i=1^qℤ/2 is the free product group of q factors ℤ/2. We consider a transient random walk on a Cayley graph of (ℤ/2) ≀Γ, for which we want to compute lower and upper bounds for the rate of escape, that is, the speed at which the random walk flees to infinity. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 50, Functional Analysis, 2007.     

Geometric approach to stable homotopy groups of spheres. Kervaire invariants. II

We present an approach to the Kervaire-invariant-one problem. The notion of the geometric (ℤ/2 ⨁ ℤ/2)-control of self-intersection of a skew-framed immersion and the notion of the (ℤ/2 ⨁ ℤ/4)-structure on the self-intersection manifold of a D ₄-framed immersion are introduced. It is shown that a skew-framed immersion ↬ℝ ⁿ , 0 < q ≪ n (in the -range), admits a geometric (ℤ/2 ⨁ ℤ/2)-control if the characteristic class of the skew-framing of this immersion admits a retraction of order q, i.e., there exists a mapping such that this composition → ℝP^∞ is the characteristic class of the skew-framing of f. Using the notion of (ℤ/2 ⨁ ℤ/2)-control, we prove that for a sufficiently large n, n = 2 ^l − 2, an arbitrarily immersed D ₄-framed manifold admits in the regular cobordism class (modulo odd torsion) an immersion with a (ℤ/2 ⨁ ℤ/4)-structure. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 17–41, 2007.     

Analysis of μ R,D -Orthogonality in Affine Iterated Function Systems

Let μ _R,D be a self-affine measure associated with an expanding integer matrix R∈M _n (ℤ) and a finite subset D⊆ℤ ⁿ . In the present paper we study the μ _R,D -orthogonality and compatible pair conditions. We also show that any set of μ _R,D -orthogonal exponentials contains at most 3 elements on the generalized plane Sierpinski gasket and the number 3 is the best.      

Normal Cayley graphs of finite groups

LetG be a finite group and let S be a nonempty subset of G not containing the identity element 1. The Cayley (di) graph X = Cay(G, S) of G with respect to S is defined byV (X)=G, E (X)={(g,sg)|g∈G, s∈S} A Cayley (di) graph X = Cay (G,S) is said to be normal ifR(G) ◃A = Aut (X). A group G is said to have a normal Cayley (di) graph if G has a subset S such that the Cayley (di) graph X = Cay (G, S) is normal. It is proved that every finite group G has a normal Cayley graph unlessG≅ℤ₄×ℤ₂ orG≅Q ₈×ℤ ₂ ^r (r⩾0) and that every finite group has a normal Cayley digraph, where Z_m is the cyclic group of orderm and Q₈ is the quaternion group of order 8. Project supported by the National Natural Science Foundation of China (Grant No. 10231060) and the Doctorial Program Foundation of Institutions of Higher Education of China.     

Gauss Sum of Index 4： （1） Cyclic Case

Let p be a prime, m ≥ 2, and （m,p（p - 1）） = 1. In this paper, we will calculate explicitly the Gauss sum G（X） = ∑x∈F＊qX（x）ζ^Tp^（x） in the case of [（Z/mZ）＊ ： （p）] = 4, and -1 （不属于） （p）, where q P^f, f =φ（m）/4, X is a multiplicative character of Fq with order m, and T is the trace map for Fq/Fp. Under the assumptions [（Z/mZ）＊ ： （p）] = 4 and 1（不属于） （p）, the decomposition field of p in the cyclotomic field Q（ζm） is an imaginary quartic （abelian） field. And G（X） is an integer in K. We deal with the case where K is cyclic in this oaDer and leave the non-cvclic case to the next paper.     

A sharper tits alternative for 3-manifold groups

The following theorem is proven. LetM be a closed, orientable, irreducible 3-manifold such that rankH ₁(M, ℤ/pℤ)≥3 for some primep. Then either π₁(M) is virtually solvable or it contains a free group of rank 2.