Universal codes for finite sequences of integers drawn from a monotone distribution

We offer two noiseless codes for blocks of integers Xⁿ = (X₁, ..., X_n). We provide explicit bounds on the relative redundancy that are valid for any distribution F in the class of memoryless sources with a possibly infinite alphabet whose marginal distribution is monotone. Specifically, we show that the expected code length L (Xⁿ) of our first universal code is dominated by a linear function of the entropy of Xⁿ. Further, we present a second universal code that is efficient in that its length is bounded by nH_F + o(nH_F), where H_F is the entropy of F which is allowed to vary with n. Since these bounds hold for any n and any monotone F we are able to show that our codes are strongly minimax with respect to relative redundancy (as defined by Elias (1975)). Our proofs make use of the elegant inequality due to Aaron Wyner (1972)