On the dimension of invariant measures of endomorphisms of $${\mathbb{C}\mathbb{P}^k}$$

Let f be an endomorphism of \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and ν be an f-invariant measure with positive Lyapunov exponents (λ ₁, . . . , λ _k ). We prove a lower bound for the pointwise dimension of ν in terms of the degree of f, the exponents of ν and the entropy of ν. In particular our result can be applied for the maximal entropy measure μ. When k = 2, it implies that the Hausdorff dimension of μ is estimated by dim_Hm 3 [(log d)/(l₁)] + [(log d)/(l₂)]{{\rm dim}_\mathcal{H}\mu \geq {{\rm log} d \over \lambda_1} + {{\rm log} d \over \lambda_2}}, which is half of the conjectured formula. Our method for proving these results consists in studying the distribution of the ν-generic inverse branches of f ⁿ in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} . Our tools are a volume growth estimate for the bounded holomorphic polydiscs in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and a normalization theorem for the ν-generic inverse branches of f ⁿ .     

Remarks on enlargements of generalized topologies

The concept of enlargement of a generalized topology was introduced by á. Császár [4]. He also introduced the concepts of (κ,λ)-continuity and (κ _μ ,λ _ν)-continuity on enlargements. In this paper, we characterize the (κ,λ)-continuity and introduce the concept of strong (κ,λ)-continuity on enlargements. In particular, we study characterizations for the strong (κ,λ)-continuity and the relationships among (μ,ν)-continuity, (κ,λ)-continuity, strong (κ,λ)-continuity and (κ _μ ,λ _ν)-continuity.     

The structure of limit measures and their supports on topological semigroups

Given a sequence of measures (μ _n ) on a topological semigroupS, a measure λ onS is called a tail limit of (μ _n ) if for some subsequence of integers (n _i ), converges weakly to ν _k for allk and λ is a weak limit point of the sequence (ν _k ). The main theorem of this paper characterizes the supports of the tail limits on compact completely simple semigroups. Some applications of the theorem and various open problems are discussed.     

Dense analytic subspaces in fractalL 2-spaces

We show that for certain self-similar measures μ with support in the interval 0≤x≤1, the analytic functions {e ^i2πnx :n=0,1,2, …} contain an orthonormal basis inL ² (μ). Moreover, we identify subsetsP ⊂ ℕ₀ = {0,1,2,...} such that the functions {e _n :n ∈ P} form an orthonormal basis forL ² (μ). We also give a higher-dimensional affine construction leading to self-similar measures μ with support in ℝ ^ν , obtained from a given expansivev-by-v matrix and a finite set of translation vectors. We show that the correspondingL ² (μ) has an orthonormal basis of exponentialse ^i2πλ·x , indexed by vectors λ in ℝ ^ν , provided certain geometric conditions (involving the Ruelle transfer operator) hold for the affine system. Work supported by the National Science Foundation.     

The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

On Point-Cyclic Resolutions of the 2-(63,7,15) Design Associated with PG(5,2)

 A t(v,k,λ) design is a set of v points together with a collection of its k-subsets called blocks so that t points are contained in exactly λ blocks. PG(n,q), the n-dimensional projective geometry over GF(q) is a 2(q ⁿ +q ⁿ⁻¹ +⋯+q+1,q ²+q+1, q ⁿ⁻² + q ⁿ⁻³ +⋯+q+1) design when we take its points as the points of the design and its planes as the blocks of the design. A 2(v,k,λ) design is said to be resolvable if the blocks can be partitioned as ℱ={R ₁,R ₂,…,R _s }, where s=λ(v−1)/(k−1) and each R _i consists of v/k disjoint blocks. If a resolvable design has an automorphism σ which acts as a cycle of length v on the points and ℱ^σ=ℱ, then the design is said to be point-cyclically resolvable. The design consisting of points and planes of PG(5,2) is shown to be point-cyclically resolvable by enumerating all inequivalent resolutions which are invariant under a cyclic automorphism group G=〈σ〉 where σ is a cycle of length v. These resolutions are shown to be the only resolutions which admit point-transitive automorphism group. Received: November 10, 1999 Final version received: September 18, 2000 Acknowledgments. The author would like to thank A. Munemasa for his assistance in writing computer programs on constructing projective spaces and searching for partial spreads. Moreover, she's thankful to T. Hishida and M.␣Jimbo for helpful discussions and for verifying the results of this paper. Present address: Mathematics Department, Ateneo de Manila University, Loyola Heights, Quezon City 1108, Philippines. e-mail: jumela@mathsci.math.admu.edu.ph     

On K 1,k -factorization of bipartite multigraphs

A K1,k-factorization of λKm,n is a set of edge-disjoint K1,k-factors of λKm,n, which partition the set of edges of λKm,n. In this paper, it is proved that a sufficient condition for the existence of K1,k-factorization of λKm,n, whenever k is any positive integer, is that （1） m ≤ kn, （2） n ≤ km, （3） km-n = kn-m ≡ 0 （mod （k^2- 1）） and （4） λ（km-n）（kn-m） ≡ 0 （mod k（k- 1）（k^2 - 1）（m ＋ n））.     

Dominated estimates of convex combinations of commuting isometries

The principal result of this paper is that the convex combination of two positive, invertible, commuting isometries ofL _p(X,F, μ) 1<p<+∞, one of which is periodic, admits a dominated estimate with constantp/p−1. In establishing this, the following analogue of Linderholm’s theorem is obtained: Let σ and ε be two commuting non-singular point transformations of a Lebesgue Space with τ periodic. Then given ε>O, there exists a periodic non-singular point transformation σ′ such that σ′ commutes with τ and μ(x:σ′x≠σx}<ε. Byan approximation argument, the principal result is applied to the convex combination of two isometries ofL _p (0, 1) induced by point transformations of the form τx=x ^k,k>0 to show that such convex combinations admit a dominated estimate with constantp/p−1. Research supported in part by NSF Grant No. GP-7475. A portion of the contents of this paper is based on the author’s doctoral dissertation written under the direction of Professor R. V. Chacon of the University of Minnesota.     

On the replications of certain multiplicative designs

Bounds on the number of row sums in ann×n, non-singular (0,1)-matrixA sarisfyingA ^tA=diag (k ₁-λ₁,…,k _n-λ_n),k _j>λ_j>0,λ₁=…=λ_e,λ_e+1=…=λ_n are obtained which extend previous results for such matrices.     

Special functions associated with a certain fourth-order differential equation

We develop a theory of “special functions” associated with a certain fourth-order differential operator D_m,n\mathcal{D}_{\mu,\nu} on ℝ depending on two parameters μ,ν. For integers μ,ν≥−1 with μ+ν∈2ℕ₀, this operator extends to a self-adjoint operator on L ²(ℝ₊,x ^μ+ν+1 dx) with discrete spectrum. We find a closed formula for the generating functions of the eigenfunctions, from which we derive basic properties of the eigenfunctions such as orthogonality, completeness, L ²-norms, integral representations, and various recurrence relations.     

Fundamental rectangles of admissible lattices

Let Λ be a unimodular lattice in ℝ², μ a homogeneous minimum of Λ; let P(a,b)⊂ℝ² be a rectangle with vertices at the points (a,0), ...(0,b), P(a, b)+X its image under the translation by a vector X ∈ ℝ². We prove that there exists a sequence of positive numbers v₁<v₂<...<v_k<... with , such that for u>μ the rectangle P(u, v_k)+X contains T=S(P)+R points of Λ, where |R|<5; here S(P) is the area of the rectangle. Bibliography: 4 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 204, 1993, pp. 82–89. Translated by O. A. Ivanov.     

Mixed weak continuity on generalized topological spaces

We introduce the notion of mixed weak (μ,ν₁ν₂)-continuity between a generalized topology μ and two generalized topologies ν₁, ν₂. We characterize such continuity in terms of mixed generalized open sets: (ν₁,ν₂)′-semiopen sets, (ν₁,ν₂)′-preopen sets, (ν₁,ν₂)-preopen sets [2], (ν₁,ν₂)′-β′-open sets and θ(ν₁,ν₂)-open sets [3]. In particular, we show that for a given mixed weakly (μ,ν₁ν₂)-continuous function, if the codomain of the given function is mixed regular (=(ν₁,ν₂)-regular), then the function is also (μ,ν₁)-continuous.     

The continuity of superposition operators on some sequence spaces defined by moduli

Let λ and μ be solid sequence spaces. For a sequence of modulus functions Φ = (ϕ k) let λ(Φ) = {x = (x _k ): (ϕk(|x _k |)) ∈ λ}. Given another sequence of modulus functions Ψ = (ψ_k), we characterize the continuity of the superposition operators P _f from λ(Φ) into μ (Ψ) for some Banach sequence spaces λ and μ under the assumptions that the moduli ϕk (k ∈ ℕ) are unbounded and the topologies on the sequence spaces λ(Φ) and μ(Ψ) are given by certain F-norms. As applications we consider superposition operators on some multiplier sequence spaces of Maddox type. This research was supported by Estonian Science Foundation Grant 5376.     

Relative entropy and mixing properties of infinite dimensional diffusions

Summary. Let η be a diffusion process taking values on the infinite dimensional space T ^Z , where T is the circle, and with components satisfying the equations dη _i =σ _i (η) dW _i +b _i (η) dt for some coefficients σ _i and b _i , i∈Z. Suppose we have an initial distribution μ and a sequence of times t _n →∞ such that lim _{n →∞}μS _tn =ν exists, where S _t is the semi-group of the process. We prove that if σ _i and b _i are bounded, of finite range, have uniformly bounded second order partial derivatives, and inf _{i ,η}σ _i (η)>0, then ν is invariant. Received: 12 September 1996 / In revised form: 10 November 1997     

Maximizing a congruence with respect to its partition of idempotents

For a congruence σ on a semigroupS a congruence μ(σ) onS, containing σ, is defined such that the semigroupS/σ is fundamental if and only if σ=μ(σ). The congruence μ(σ) is shown to possess maximality properties and for idempotent-surjective semigroups, μ(σ) is the maximum congruence with respect to the partition of the idempotents determined by σ. Thus μ is the maximum idempotent-separating congruence on any idempotent-surjective semigroup. It is shown that μ(μ(σ))=μ(σ). If ρ is another congruence onS, possibly with the same partition of the idempotents as σ, then it is of interest to know when ρ⊆σ (or ρ⊆μ(σ)) implies μ(ρ)⊆μ(σ) or even μ(ρ)=μ(σ). These implications are not true in general but if σ⊆ρ⊆μ(σ) then μ(ρ)⊆μ(σ). IfS is an idempotent-surjective semigroup and ρ and σ have the same partition of the idempotents then μ(ρ)=μ(σ).     

Asymptotic behavior of eigenvalues of two-parameter nonlinear Sturm-Liouville problems

The nonlinear two-parameter Sturm-Liouville problemu ^"+μg(u)=λf(u) is studied for μ, λ>0. By using Ljusternik-Schnirelman theory on the general level set developed by Zeidler, we shall show the existence of ann-th variational eigenvalue λ=λ_n(μ). Furthermore, for specialf andg, the asymptotic formula of λ₁(μ)) as μ→∞ is established.     

Higher order Riesz transforms associated with Bessel operators

In this paper we investigate Riesz transforms R _μ ^(k) of order k≥1 related to the Bessel operator Δ_μ f(x)=-f”(x)-((2μ+1)/x)f’(x) and extend the results of Muckenhoupt and Stein for the conjugate Hankel transform (a Riesz transform of order one). We obtain that for every k≥1, R _μ ^(k) is a principal value operator of strong type (p,p), p∈(1,∞), and weak type (1,1) with respect to the measure dλ(x)=x ^2μ+1  dx in (0,∞). We also characterize the class of weights ω on (0,∞) for which R _μ ^(k) maps L ^p (ω) into itself and L ¹(ω) into L ^1,∞(ω) boundedly. This class of weights is wider than the Muckenhoupt class of weights for the doubling measure dλ. These weighted results extend the ones obtained by Andersen and Kerman.