Generalized fractal dimensions: equivalences and basic properties

Given a positive probability Borel measure μ on , we establish some basic properties of the associated functions τ_μ^±(q) and of the generalized fractal dimensions D_μ^±(q) for . We first give the equivalence of the Hentschel–Procaccia dimensions with the Rényi dimensions and the mean-q dimensions, for q>0. We then use these relations to prove some regularity properties for τ_μ^±(q) and D_μ^±(q); we also provide some estimates for these functions, in particular estimates on their behaviour at ±∞, as well as for the dimensions corresponding to convolution of two measures. We finally present some calculations for specific examples illustrating the different cases met in the article.     

Analysis on the minimal representation of O(p,q): III. Ultrahyperbolic equations on

For the group O(p,q) we give a new construction of its minimal unitary representation via Euclidean Fourier analysis. This is an extension of the q=2 case, where the representation is the mass zero, spin zero representation realized in a Hilbert space of solutions to the wave equation. The group O(p,q) acts as the Möbius group of conformal transformations on , and preserves a space of solutions of the ultrahyperbolic Laplace equation on . We construct in an intrinsic and natural way a Hilbert space of solutions so that O(p,q) becomes a continuous irreducible unitary representation in this Hilbert space. We also prove that this representation is unitarily equivalent to the representation on L²(C), where C is the conical subvariety of the nilradical of a maximal parabolic subalgebra obtained by intersecting with the minimal nilpotent orbit in the Lie algebra of O(p,q).     

Enumerating Permutation Polynomials I: Permutations with Non-Maximal Degree

Let be a conjugation class of permutations of a finite field _q. We consider the function N (q) defined as the number of permutations in for which the associated permutation polynomial has degree <q−2. In 1969, Wells proved a formula for N_[3](q) where [k] denotes the conjugation class of k-cycles. We will prove formulas for N_[k](q) where k=4,5,6 and for the classes of permutations of type [2 2],[3 2],[4 2],[3 3] and [2 2 2]. Finally in the case q=2ⁿ, we will prove a formula for the classes of permutations which are product of 2-cycles.     

Norms Concerning Subdivision Sequences and Their Applications in Wavelets

Let a:=(a(α))_{α ^s} be a finitely supported sequence of r×r matrices and M be a dilation matrix. The subdivision sequence {(a_n(α))_{α ^s}:n } is defined by a₁=a and

Full-size image

Let 1≤p≤∞ and f=(f¹,…,f^r)^T be a vector of compactly supported functions in L_p( ^s). The stability is not assumed for f. The purpose of this paper is to give a formula for the asymptotic behavior of the L_p-norms of the combinations of the shifts of f with the subdivision sequence coefficients: Such an asymptotic behavior plays an essential role in the investigation of wavelets and subdivision schemes. In this paper we show some applications in the convergence of cascade algorithms, construction of inhomogeneous multiresolution analyzes, and smoothness analysis of refinable functions. Some examples are provided to illustrate the method.     

Cyclotomic numbers and primitive idempotents in the ring GF(q)[x]/(x−1)

Let q be an odd prime power and p be an odd prime with gcd(p,q)=1. Let order of q modulo p be f, and q^f=1+pλ. Here expressions for all the primitive idempotents in the ring R_pⁿ=GF(q)[x]/(x^pn−1), for any positive integer n, are obtained in terms of cyclotomic numbers, provided p does not divide λ if n2. The dimension, generating polynomials and minimum distances of minimal cyclic codes of length pⁿ over GF(q) are also discussed.     

Invariants of 2×2-Matrices over Finite Fields

Let _q be the finite field with q elements, q=p^ν, p a prime, and Mat_2.2( _q) the vector space of 2×2-matrices over . The group GL(2, ) acts on Mat_2,2( _q) by conjugation. In this note, we determine the invariants of this action. In contrast to the case of an infinite field, where the trace and determinant generate the ring of invariants, several new invariants appear in the case of finite fields.     

On constants in some inequalities for intermediate derivatives on a finite interval

Let L_q (1q<∞) be the space of functions f measurable on I=[−1,1] and integrable to the power q, with normL_∞ is the space of functions measurable on I with normWe denote by AC the set of all functions absolutely continuous on I. For nN, q[1,∞] we setW_n,q={f:f⁽ⁿ⁻¹⁾AC, f⁽ⁿ⁾L_q}.In this paper, we consider the problem of accuracy of constants A, B in the inequalities (1)|| f^(m)||_qA|| f||_p+B|| f^(m+k+1)||_r, mN, kW; p,q,r[1,∞], fW_m+k+1,r.     

A Class of Polynomials over Finite Fields

Generalizing the norm and trace mappings for _q^r/ _q, we introduce an interesting class of polynomials over finite fields and study their properties. These polynomials are then used to construct curves over finite fields with many rational points.     

Galois Reconstruction of Finite Quantum Groups

Let be a (small) category and let F:  →  alg_f be a functor, where alg_f is the category of finite-dimensional measured algebras over a field k (or Frobenius algebras). We construct a universal Hopf algebra A_aut(F) such that F factorizes through a functor :  →  coalg_f(A_aut(F)), where coalg_f(A_aut(F)) is the category of finite-dimensional measured A_aut(F)-comodule algebras. This general reconstruction result allows us to recapture a finite-dimensional Hopf algebra A from the category coalg_f(A) and the forgetful functor ω: coalg_f(A) →  alg_f: we have A  A_aut(ω). Our universal construction is also done in a C*-algebra framework, and we get compact quantum groups in the sense of Woronowicz.     

Hyperplane Sections of Grassmannians and the Number of MDS Linear Codes

We obtain some effective lower and upper bounds for the number of (n,k)-MDS linear codes over _q. As a consequence, one obtains an asymptotic formula for this number. These results also apply for the number of inequivalent representations over _q of the uniform matroid or, alternately, the number of _q-rational points of certain open strata of Grassmannians. The techniques used in the determination of bounds for the number of MDS codes are applied to deduce several geometric properties of certain sections of Grassmannians by coordinate hyperplanes.     

Classification of Embeddings of the Flag Geometries of Projective Planes in Finite Projective Spaces, Part 2

The flag geometry Γ=( ,  , I) of a finite projective plane Π of order s is the generalized hexagon of order (s, 1) obtained from Π by putting equal to the set of all flags of Π, by putting equal to the set of all points and lines of Π, and where I is the natural incidence relation (inverse containment), i.e., Γ is the dual of the double of Π in the sense of H. Van Maldeghem (1998, “Generalized Polygons,” Birkhäuser Verlag, Basel). Then we say that Γ is fully and weakly embedded in the finite projective space PG(d, q) if Γ is a subgeometry of the natural point-line geometry associated with PG(d, q), if s=q, if the set of points of Γ generates PG(d, q), and if the set of points of Γ not opposite any given point of Γ does not generate PG(d, q). In two earlier papers we have shown that the dimension d of the projective space belongs to {6, 7, 8}, that the projective plane Π is Desarguesian, and we have classified the full and weak embeddings of Γ (Γ as above) in the case that there are two opposite lines L, M of Γ with the property that the subspace U_L, M of PG(d, q) generated by all lines of Γ meeting either L or M has dimension 6 (which is automatically satisfied if d=6). In the present paper, we partly handle the case d=7; more precisely, we consider for d=7 the case where for all pairs (L, M) of opposite lines of Γ, the subspace U_L, M has dimension 7 and where there exist four lines concurrent with L contained in a 4-dimensional subspace of PG(7, q).     

Nilpotent Lie Algebras of Maximal Rank and of Kac–Moody Type: E6

Let be the Kac–Moody algebra associated to the affine Cartan matrix E₆⁽¹⁾. Each nilpotent Lie algebra of type E₆⁽¹⁾ is isomorphic to a quotient of the positive part of . We determine the isomorphism classes of nilpotent Lie algebras of type E₆⁽¹⁾.     

Compressing Mappings on Primitive Sequences over Z/(2) and Its Galois Extension

Let f(x) be a strongly primitive polynomial of degree n over Z/(2^e), η(x₀,x₁,…,x_e−2) a Boolean function of e−1 variables and (x₀,x₁,…,x_e−1)=x_e−1+η(x₀,x₁,…,x_e−2)G (f(x),Z/(2^e)) denotes the set of all sequences over Z/(2^e) generated by f(x), F₂^∞ the set of all sequences over the binary field F₂, then the compressing mapping

Full-size image

is injective, that is, for , G(f(x),Z/(2^e)), = if and only if Φ( )=Φ( ), i.e., ( ₀,…, _e−1)=( ₀,…, _e−1) mod 2. In the second part of the paper, we generalize the above result over the Galois rings.     

Abelian fourfold of Mumford-type and Kuga-Satake varieties

Let X be a complex abelian fourfold of Mumford-type and let V = H¹(X, ). The complex Mumford-Tate group of X is isogenous to SL(2)³. We recover information about the Hodge structure of X using representations of the Lie algebras (2)³ and (8) acting on V . Using these techniques we show that there is a Kuga-Satake variety A associated to X in such a way that A is isogenous to X³².     

Boundedness of generalized higher commutators of Marcinkiewicz integrals

Let (b) ＝ (b1,…,bm) be a finite family of locally integrable functions. Then,we introduce generalized higher commutator of Marcinkiwicz integral as follows:μ(b)Ω=(∫∞o|F(b)Ω,t(f)(x)|2et/t)1/2,whereF(b)Ω(f)(x)＝1/t∫|x-y|≤tΩ(x-y)/|x-y|n-1m∏j=1(bj(x)-bj(y))f(y)dy.When bj ∈(A)βj, 1≤j≤m, 0＜βj＜1,m∑j=1βj =β＜n, and Ω is homogeneous of degree zero and satisfies the cancelation condition, we prove that μ(b)Ω is bounded from Lp(Rn)to Ls(Rn), where 1 ＜ p ＜ n/β and 1/s = 1/p -β/n. Moreover, if Ω also satisfies some Lq-Dini condition, then μ(b)Ω is bounded from Lp(Rn) to (F)β,∞p(Rn) and on certain Hardy spaces. The article extends some known results.     

Interpolatory Subdivision Schemes Induced by Box Splines

This paper is devoted to a study of interpolatory refinable functions. If a refinable function φ on ^sis continuous and fundamental, i.e., φ(0)=1 and φ(α)=0 for α ^s\{0}, then its corresponding mask bsatisfies b(0)=1 and b(2α)=0 for all α ^s\{0}. Such a refinement mask is called an interpolatory mask. We establish the existence and uniqueness of interpolatory masks which are induced by masks of box splines whose shifts are linearly independent.     

Continuity envelopes of spaces of generalised smoothness, entropy and approximation numbers

We study continuity envelopes in spaces of generalised smoothness B_pq^(s,Ψ) and F_pq^(s,Ψ) and give some new characterisations for spaces B_pq^(s,Ψ). The results are applied to obtain sharp asymptotic estimates for approximation numbers of compact embeddings of type id:B_pq^(s₁,Ψ)(U)→B_∞∞^s₂(U), where and U stands for the unit ball in . In case of entropy numbers we can prove two-sided estimates.     

Complexity of Weighted Approximation over

We study approximation of multivariate functions defined over ^d. We assume that all rth order partial derivatives of the functions considered are continuous and uniformly bounded. Approximation algorithms (f) only use the values of f or its partial derivatives up to order r. We want to recover the function f with small error measured in a weighted L_q norm with a weight function ρ. We study the worst case (information) complexity which is equal to the minimal number of function and derivative evaluations needed to obtain error . We provide necessary and sufficient conditions in terms of the weight ρ and the parameters q and r for the weighted approximation problem to have finite complexity. We also provide conditions guaranteeing that the complexity is of the same order as the complexity of the classical approximation problem over a finite domain. Since the complexity of the weighted integration problem is equivalent to the complexity of the weighted approximation problem with q=1, the results of this paper also hold for weighted integration. This paper is a continuation of [7], where weighted approximation over was studied.     

Walsh-Type Wavelet Packet Expansions

We consider a family of basic nonstationary wavelet packets generated using the Haar filters except for a finite number of scales where we allow the use of arbitrary filters. Such a system, which we call a system of Walsh-type wavelet packets, can be considered as a smooth generalization of the Walsh functions. We show that the basic Walsh-type wavelet packets share a number of metric properties with the Walsh system. We prove that the system constitutes a Schauder basis for L^p( ), 1<p<∞, and we construct an explicit function in L¹( ) for which the expansion fails. Then we prove that expansions of L^p( )-functions, 1<p<∞, in the Walsh-type wavelet packets converge pointwise a.e. Finally, we prove that the analogous results are true for periodic Walsh-type wavelet packets in L^p[0,1).     

Voronovskaya-type formulas and saturation of convergence for q-Bernstein polynomials for

In the paper, we discuss Voronovskaya-type theorem and saturation of convergence for q-Bernstein polynomials for arbitrary fixed q, 0<q<1. We give explicit formulas of Voronovskaya-type for the q-Bernstein polynomials for 0<q<1. If , we show that the rate of convergence for the q-Bernstein polynomials is o(qⁿ) if and only ifWe also prove that if f is convex on [0,1] or analytic on (-ε,1+ε) for some ε>0, then the rate of convergence for the q-Bernstein polynomials is o(qⁿ) if and only if f is linear.