Coding theory in white Gaussian channel with feedback

The message m = {m(t)} is a Gaussian process that is to be transmitted through the white Gaussian channel with feedback: $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{F(s, Y}{}_0{}^{\mathrm{s}}\text{, m)ds + W(t)}$. Under the average power constraint, $\text{E[F}{}^2\text{(s, Y}{}_0{}^{\mathrm{s}}\text{, m)] ≤ P}{}_0$, we construct causally the optimal coding, in the sense that the mutual information I_t(m, Y) between the message m and the channel output Y (up to t) is maximized. The optimal coding is presented by $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{A(s)[m(s) ?}\text{m}\text{?}\text{(s)] ds + W(t)}$, where $\text{m}\text{?}\text{(s) = E[m(s) ¦ Y(u), 0 ≤ u ≤ s]}$ and A(s) is a positive function such that $\text{A}{}^2\text{(s) E |m(s) ?}\text{m}\text{?}\text{(s)|}{}^2\text{= P}{}_0$.     

Limit distributions for the maxima of stationary Gaussian processes

Let {X_n} be a stationary Gaussian sequence with E{X₀} = 0, {X²₀} = 1 and E{X₀X_n} = rⁿ_n Let c_n = (2ln n)^{$\text{built1}\text{2}$}, b_n = c_n? $\text{1}\text{2}$c^-1_n ln(4π ln n), and set M_n = max_{0 ?k?n}X_k. A classical result for independent normal random variables is that

$\text{P[c}{}_{\mathrm{n}}\text{(M}{}_{\mathrm{n}}\text{?b}{}_{\mathrm{n}}\text{)?x]→exp[-e}{}^{\mathrm{-x}}\text{] as n → ∞ for all x.}$

Berman has shown that (1) applies as well to dependent sequences provided r_nlnn = o(1). Suppose now that {r_n} is a convex correlation sequence satisfying r_n = o(1), (r_nlnn)^-1 is monotone for large n and o(1). Then

$\text{P[r}{}_{\mathrm{n}}{}^{\mathrm{<mtext>-1</mtext><mtext>2</mtext>}}\text{(M}{}_{\mathrm{n}}\text{? (1?r}{}_{\mathrm{n}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{b}{}_{\mathrm{n}}\text{)?x] → Ф(x)}$

for all x, where Ф is the normal distribution function. While the normal can thus be viewed as a second natural limit distribution for {M_n}, there are others. In particular, the limit distribution is given below when r_n is (sufficiently close to) γ/ln n. We further exhibit a collection of limit distributions which can arise when r_n decays to zero in a nonsmooth manner. Continuous parameter Gaussian processes are also considered. A modified version of (1) has been given by Pickands for some continuous processes which possess sufficient asymptotic independence properties. Under a weaker form of asymptotic independence, we obtain a version of (2).     

Corresponding residue systems in nonnormal extensions of prime degree

Let K₁ and K₂ be number fields and $\text{F = K}{}_1\text{? K}{}_2$. Suppose $\text{K}{}_1\text{F}$ and $\text{K}{}_2\text{F}$ are of prime degree p but are not necessarily normal. Let N₁ and N₂ be the normal closures of K₁ and K₂ over F, respectively, L = K₁K₂, N = N₁N₂, and $\text{B}$ be a prime divisor of N which divides p and is totally ramified in $\text{K}{}_1\text{F}$ and $\text{K}{}_2\text{F}$. Let ${}_{\mathrm{<mtext>N</mtext><mtext>L</mtext>}}$ be the ramification index of $\text{B}$ in $\text{N}\text{L}$, $\text{t}{}_{\mathrm{<mtext>L</mtext><mtext>F</mtext>}}$ be the total ramification number of $\text{B}$ in $\text{L}\text{F}$, and . Then $\text{M}$(K₁, K₂) is exactly divisible by $\text{B}$^M, where .     

A remark on the tail probability of a distribution

Let {X_n}_n≥1 be a sequence of independent and identically distributed random variables. For each integer n ≥ 1 and positive constants r, t, and ?, let S_n = Σ_j=1ⁿX_j and $\text{E{N}{}_{\mathrm{\infty }}\text{(r, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{r?2}}\text{P{|S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>r</mtext><mtext>t</mtext>}}\text{}}$. In this paper, we prove that (1) lim_?→0+?^α(r?1)E{N_∞(r, t, ?)} = K(r, t) if E(X₁) = 0, Var(X₁) = 1, and E(| X₁ |^t) < ∞, where 2 ≤ t < 2r ≤ 2t, $\text{K(r, t) =}\text{{2}{}^{\mathrm{<mtext>\alpha (r?1)</mtext><mtext>2</mtext>}}\text{Γ(}\text{(1 + α(r ? 1))}\text{2}\text{)}}\text{{(r ? 1) Γ(}\text{1}\text{2}\text{)}}$, and $\text{α =}\text{2t}\text{(2r ? t)}$; (2) $\text{lim}{}_{\mathrm{?\to 0+}}\text{G(t, ?)}\text{H(t, ?)}\text{= 0}$ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(|X₁|^t) < ∞, where G(t, ?) = E{N_∞(t, t, ?)} = Σ_n=1^∞n^t?2P{| S_n | > ?n} → ∞ as ? → 0+ and $\text{H(t, ?) = E{N}{}_{\mathrm{\infty }}\text{(t, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{t?2}}\text{P{| S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>2</mtext><mtext>t</mtext>}}\text{} → ∞}\text{as}\text{? → 0+}$, i.e., H(t, ?) goes to infinity much faster than G(t, ?) as ? → 0+ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(| X₁ |^t) < ∞. Our results provide us with a much better and deeper understanding of the tail probability of a distribution.     

Levy's stochastic area formula in higher dimensions

Let (W_t) = (W¹_t,W²_t,…,W^d_t), d ? 2, be a d-dimensional standard Brownian motion and let A(t) be a bounded measurable function from $\text{R}$⁺ into the space of d × d skew-symmetric matrices and x(t) such a function into $\text{R}$^d. A class of stochastic processes (L_t^A,x), a particular example of which is Levy's “stochastic area” $\text{L}{}_{\mathrm{t}}\text{=}\text{1}\text{2}\text{∝}{}_0{}^{\mathrm{?t}}\text{(W}{}^1{}_{\mathrm{s}}\text{,dW}{}^2{}_{\mathrm{s}}\text{? W}{}^2{}_{\mathrm{s}}\text{,dW}{}^1{}_{\mathrm{s}}\text{)}$, is dealt with.The joint characteristic function of W_t and L₁^A,x is calculated and based on this result a formula for fundamental solutions for the hypoelliptic operators which generate the diffusions (W_t,L_t^A,x) is given.     

Laws of iterated logarithm of multiparameter wiener processes

Let {$\text{X(}\text{t}\text{) :}\text{t}\text{∈ R}{}_{\mathrm{+}}{}^{\mathrm{N}}$} denote the N-parameter Wiener process on $\text{R}{}_{\mathrm{+}}{}^{\mathrm{N}}\text{= [0, ∞)}{}^{\mathrm{n}}$. For multiple sequences of certain independent random variables the authors find lower bounds for the distributions of maximum of partial sums of these random variables, and as a consequence a useful upper bound for the yet unknown function , c ≥ 0, is obtained where D_N = Π_{k = 1}^N [0, T_k]. The latter bound is used to give three different varieties of N-parameter generalization of the classical law of iterated logarithm for the standard Brownian motion process.     

Infinite-variate wide-sense Markov processes and functional analysis for bounded operator-forming vectors

Let p, q be arbitrary parameter sets, and let $\text{H}$ be a Hilbert space. We say that x = (xⁱ)_i?q, xⁱ ? $\text{H}$, is a bounded operator-forming vector (?$\text{H}$_F^q) if the Gram matrix 〈x, x〉 = [(xⁱ, x^j)]_i?q,j?q is the matrix of a bounded (necessarily ≥ 0) operator on $\text{l}{}_{\mathrm{q}}{}^2$, the Hilbert space of square-summable complex-valued functions on q. Let A be p × q, i.e., let A be a linear operator from $\text{l}{}_{\mathrm{q}}{}^2$ to $\text{l}{}_{\mathrm{p}}{}^2$. Then exists a linear operator ǎ from (the Banach space) $\text{H}$_F^q to $\text{H}$_F^p on $\text{D}$(A) = {x:x ? $\text{H}$_F^q, $\text{A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ is p × q bounded on $\text{l}{}_{\mathrm{q}}{}^2$} such that y = ǎx satisfies y^j?σ(x) = {space spanned by the xⁱ}, 〈y, x〉 = A〈x, x〉 and $\text{〈y, y〉 = A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}{}^1$. This is a generalization of our earlier [J. Multivariate Anal.4 (1974), 166–209; 6 (1976), 538–571] results for the case of a spectral measure concentrated on one point. We apply these tools to investigate q-variate wide-sense Markov processes.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.     

Definition and characterization of multivariate negative binomial distribution

The probability generating function (pgf) of an n-variate negative binomial distribution is defined to be [β(s₁,…,s_n)]^?k where β is a polynomial of degree n being linear in each s_i and k > 0. This definition gives rise to two characterizations of negative binomial distributions. An n-variate linear exponential distribution with the probability function h(x₁,…,x_n)$\text{exp}\text{(}\text{Σ}{}_{\mathrm{i=1}}{}^{\mathrm{n}}\text{θ}{}_{\mathrm{i}}\text{x}{}_{\mathrm{i}}\text{)}\text{f(θ}{}_1\text{,…,θ}{}_{\mathrm{n}}\text{)}$ is negative binomial if and only if its univariate marginals are negative binomial. Let S_t, t = 1,…, m, be subsets of {s₁,…, s_n} with empty ∩_t=1^mS_t. Then an n-variate pgf is of a negative binomial if and only if for all s in S_t being fixed the function is of the form of the pgf of a negative binomial in other s's and this is true for all t.     

A note on the functional law of iterated logarithm for maxima of Gaussian sequences

Let {X_n, n ≥ 1} be a real-valued stationary Gaussian sequence with mean zero and variance one. Let M_n = max{X_t, i ≤ n} and H_n(t) = (M_[nt] ? b_n)a_n^?1 be the maximum resp. the properly normalised maximum process, where $\text{c}{}_{\mathrm{n}}\text{= (2}\text{log}\text{n)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, $\text{a}{}_{\mathrm{n}}\text{=}\text{(}\text{log log}\text{n)}\text{c}{}_{\mathrm{n}}$ and $\text{b}{}_{\mathrm{n}}\text{= c}{}_{\mathrm{n}}\text{?}\text{1}\text{2}\text{(}\text{log}\text{(4π}\text{log}\text{n))}\text{c}{}_{\mathrm{n}}$. We characterize the almost sure limit functions of (H_n)_n≥3 in the set of non-negative, non-decreasing, right-continuous, real-valued functions on (0, ∞), if r(n) (log n)^3?Δ = O(1) for all Δ > 0 or if r(n) (log n)^2?Δ = O(1) for all Δ > 0 and r(n) convex and fulfills another regularity condition, where r(n) is the correlation function of the Gaussian sequence.     

Scaling limits of Gaussian vector fields

For Gaussian vector fields {X(t) ∈ Rⁿ:t ∈ R^d} we describe the covariance functions of all scaling limits Y(t) = $\text{L}$lim_α↓0 B^?1(α) X(αt) which can occur when B(α) is a d × d matrix function with B(α) → 0. These matrix covariance functions $\text{r(t, s) = EY(t) Y}{}^1\text{(s)}$ are found to be homogeneous in the sense that for some matrix L and each α > 0, $\text{(}{}^1\text{) r(αt, αs) = α}{}^{\mathrm{L1}}\text{r(t, s) α}{}^{\mathrm{L}}$. Processes with stationary increments satisfying (¹) are further analysed and are found to be natural generalizations of Lévy's multiparameter Brownian motion.     

Point processes of exits by bivariate Gaussian processes and extremal theory for the χ2-process and its concomitants

Let ζ(t), η(t) be continuously differentiable Gaussian processes with mean zero, unit variance, and common covariance function r(t), and such that ζ(t) and η(t) are independent for all t, and consider the movements of a particle with time-varying coordinates (ζ(t), η(t)). The time and location of the exists of the particle across a circle with radius u defines a point process in R³ with its points located on the cylinder {(t, u cos θ, u sin θ); t ≥ 0, 0 ≤ θ < 2π}. It is shown that if r(t) log t → 0 as t → ∞, the time and space-normalized point process of exits converges in distribution to a Poisson process on the unit cylinder. As a consequence one obtains the asymptotic distribution of the maximum of a χ²-process, χ²(t) = ζ²(t) + η²(t), P{sup_0≤t≤Tχ²(t) ≤ u²} → e^?τ if $\text{T(}\text{?r″(0)}\text{2π}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{u ×}\text{exp}\text{(}\text{?u}{}^2\text{2}\text{) → τ}$ as T, u → ∞. Furthermore, it is shown that the points in R³ generated by the local ?-maxima of χ²(t) converges to a Poisson process in R³ with intensity measure (in cylindrical polar coordinates) (2πr²)^?1dtdθdr. As a consequence one obtains the asymptotic extremal distribution for any function g(ζ(t), η(t)) which is “almost quadratic” in the sense that $\text{g}{}^1\text{(r}\text{cos}\text{θ, r}\text{sin}\text{θ) =}\text{1}\text{2}\text{(r}{}^2\text{? g(r}\text{cos}\text{θ, r}\text{sin}\text{θ))}$ has a limit $\text{g}{}^1\text{(θ)}$ as r → ∞. Then if $\text{T(}\text{?r″(0)}\text{2π}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{u}\text{exp}\text{(}\text{?u}{}^2\text{2}\text{) → τ}$ as T, u → ∞.     

On the value of a stopped set function process

For certain types of stochastic processes {X_n | n ∈ $\text{N}$}, which are integrable and adapted to a nondecreasing sequence of σ-algebras $\text{F}$_n on a probability space (Ω, $\text{F}$, P), several authors have studied the following problems: IfSdenotes the class of all stopping times for the stochastic basis {$\text{F}$_n | n ∈ $\text{N}$}, when is$\text{sup}{}_{\mathrm{s}}\text{∫}{}_{\mathrm{\Omega }}\text{| X}{}_{\mathrm{\sigma }}\text{| dP}$finite, and when is there a stopping time $\text{σ}$ for which this supremum is attained? In the present paper we set the problem in a measure theoretic framework. This approach turns out to be fruitful since it reveals the root of the problem: It avoids the use of such notions as probability, null set, integral, and even σ-additivity. It thus allows a considerable generalization of known results, simplifies proofs, and opens the door to further research.     

Extreme value distribution for normalized sums from stationary Gaussian sequences

Let {X_i, i?0} be a sequence of independent identically distributed random variables with finite absolute third moment. Then Darling and Erdös have shown that

for -∞<t<∞ where and $\text{X}{}_{\mathrm{n}}\text{= (2 ln ln n)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$. The result is extended to dependent sequences but assuming that {X_i} is a standard stationary Gaussian sequence with covariance function {r_i}. When {X_i} is moderately dependent (e.g. when $\text{v(∑}{}^{\mathrm{n}}{}_{\mathrm{i=1}}\text{X}{}_{\mathrm{i}}\text{) ? n}{}_{\mathrm{a}}\text{, 0 < a < 2)}$ we get

where H_a is a constant. In the strongly dependent case (e.g. when $\text{v(∑}{}^{\mathrm{n}}{}_{\mathrm{i=1}}\text{X}{}_{\mathrm{i}}\text{) ? n}{}^2\text{r(n))}$ we get

for-∞<t<∞.     

On the fair coin tossing process

Let Ω = {1, 0} and for each integer n ≥ 1 let $\text{Ω}{}_{\mathrm{n}}\text{= Ω × Ω × … × Ω}$ (n-tuple) and $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}\text{= {(a}{}_1\text{, a}{}_2\text{, …, a}{}_{\mathrm{n}}\text{)|(a}{}_1\text{, a}{}_2\text{, … , a}{}_{\mathrm{n}}\text{) ? Ω}{}_{\mathrm{n}}\text{and}\text{Σ}{}_{\mathrm{i=1}}{}^{\mathrm{n}}\text{a}{}_{\mathrm{i}}\text{= k}}$ for all k = 0,1,…,n. Let {Y_m}_m≥1 be a sequence of i.i.d. random variables such that $\text{P(Y}{}_1\text{= 0) = P(Y}{}_1\text{= 1) =}\text{1}\text{2}$. For each A in $\text{Ω}{}_{\mathrm{n}}$, let T_A be the first occurrence time of A with respect to the stochastic process {Y_m}_m≥1. R. Chen and A.Zame (1979, J. Multivariate Anal. 9, 150–157) prove that if n ≥ 3, then for each element A in $\text{Ω}{}_{\mathrm{n}}$, there is an element B in $\text{Ω}{}_{\mathrm{n}}$ such that the probability that T_B is less than T_A is greater than $\text{1}\text{2}$. This result is sharpened as follows: (I) for n ≥ 4 and 1 ≤ k ≤ n ? 1, each element A in $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}$, there is an element B also in $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}$ such that the probability that T_B is less than T_A is greater than $\text{1}\text{2}$; (II) for n ≥ 4 and 1 ≤ k ≤ n ? 1, each element A = (a₁, a₂,…,a_n) in $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}$, there is an element C also in $\text{Ω}{}_{\mathrm{n}}{}^{\mathrm{k}}$ such that the probability that T_A is less than T_C is greater than $\text{1}\text{2}$ if n ≠ 2m or n = 2m but a_i = a_{i + 1} for some 1 ≤ i ≤ n?1. These new results provide us with a better and deeper understanding of the fair coin tossing process.     

Periodic-type functionals and their extensions

Let Ω denote a simply connected domain in the complex plane and let $\text{K[Ω]}$ be the collection of all entire functions of exponential type whose Laplace transforms are analytic on Ω′, the complement of Ω with respect to the sphere. Define a sequence of functionals $\text{{L}{}_{\mathrm{n}}\text{}}\text{on}\text{K[Ω]}$ by $\text{L}{}_{\mathrm{n}}\text{(f) =}\text{1}\text{2πi}\text{∝}{}_{\mathrm{\Gamma }}\text{g}{}_{\mathrm{n}}\text{(ζ) F(ζ) dζ}$, where F denotes the Laplace transform of f, Γ ? Ω is a simple closed contour chosen so that F is analytic outside and on Ω, and g_n is analytic on Ω. The specific functionals considered by this paper are patterned after the Lidstone functions, L_2n(f) = f⁽²ⁿ⁾(0) and L_{2n + 1}(f) = f⁽²ⁿ⁾(1), in that their sequence of generating functions {g_n} are “periodic.” Set g_{pn + k}(ζ) = h_k(ζ) ζ^pn, where p is a positive integer and each h_k (k = 0, 1,…, p ? 1) is analytic on Ω. We find necessary and sufficient conditions for $\text{f ∈ k[Ω]}\text{with}\text{L}{}_{\mathrm{n}}\text{(f) = 0 (n = 0, 1,…)}$. DeMar previously was able to find necessary conditions [7]. Next, we generalize {L_n} in several ways and find corresponding necessary and sufficient conditions.     

Concrete model theory for a class of operators

The operator $\text{L?(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∝}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∝}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ acting on H=∝₀^2π⊕L²(v_t), where m and v_t, 0 ? t ? 2π are measures on [0, 2π] with m smooth and e(s, t) = exp[?∝_t^s∝_Tdv_λ(θ) dm(λ)], satisfies $\text{rank}\text{(I ? LL}{}^1\text{) =}\text{rank}\text{(I ? L}{}^1\text{L) = 1}$. It is, therefore, unitarily equivalent to a scalar Sz.-Nagy-Foia? canonical model. The purpose of this paper is to determine the model explicitly and to give a formula for the unitary equivalence.     

State estimation for cox processes with unknown probability law

Let N_i, i?1, be i.i.d. observable Cox processes on a compact metric space E, directed by unobservable random measures M_i. Assume that the probability law of the M_i is completely unknown. Techniques are developed for approximation of state estimators using data from the processes N₁,…,N_n to estimate necessary attributes of the unknown probability law of the time M_i. The techniques are based on representation of the state estimators in terms of reduced Palm distributions of the N_i and on estimation of these Palm distributions. Estimators of Palm distributions are shown to be strongly consistent and asymptotically normal. The difference between the true and the pseudo-state estimators converges to zero in L² at rate n^{?$\text{1}\text{4+δ}$} for each δ > 0.     

A note on computing the distribution of the norm of Hilbert space valued Gaussian random variables

Let X be a Gaussian rv with values in a separable Hilbert space H having a covariance operator R of the form $\text{R = L}{}_0{}^1\text{A}{}^1\text{AL}{}_0$, where L₀, A are linear operators on H. A method is given for computing in terms of $\text{R}{}_0\text{= L}{}_0{}^1\text{L}{}_0$ and A the distribution of |X|², |·| being the norm in H. The result is applied to the evaluation of the asymptotic distribution of Cramér-von Mises statistics when parameters are present. L₀ corresponds to the case where the true underlying parameter is known and A represents the effect of estimating the unknown parameter.     

Sampling distribution for a class of estimators for nonregular linear processes

Let {X_t; t = 1, 2,…} be a linear process with a location parameter θ defined by X_t ? θ = Σ₀^∞g_rZ_t?r where {Z_t; t = 0, ±1,…} is a sequence of independent and identically distributed random variables, with E∥Z₁∥^δ < ∞ for some δ > 0. If δ ? 1 we assume further than E(Z₁) = 0. Let η = δ if 0 < δ < 2, and η = 2 if δ ? 2. Then assume that Σ₀^∞∥ g_r ∥^η < ∞. Consider the class of estimators $\text{θ}\text{∧}{}_{\mathrm{n}}$ given by $\text{θ}\text{∧}{}_{\mathrm{n}}\text{= Σ}{}_1{}^{\mathrm{n}}\text{c}{}_{\mathrm{nt}}\text{X}{}_{\mathrm{t}}\text{where}\text{c}{}_{\mathrm{nt}}$ is of the form c_nt = Σ_{p = 0}^sβ_npt^p for some s ? 0. An attempt has been made to investigate the distributional properties of $\text{θ}\text{∧}{}_{\mathrm{n}}$ in large samples for various choices of β_np (0 ? p ? s), s, and the distribution of Z₁ under the constraints Σ₀^∞r^kg_r = 0, 0 ? k ? q where q in an arbitrary integer, 0 ? q ? s.