Further results on the covering radii of the Reed-Muller codes

LetR(r, m) by therth order Reed-Muller code of length2 ^m , and let (r, m) be its covering radius. We obtain the following new results on the covering radius ofR(r, m): 1. (r+1,m+2) 2(r, m)+2 if 0rm–2. This improves the successive use of the known inequalities (r+1,m+2)2(r+1,m+1) and (r+1,m+1) (r, m).2.(2, 7)44. Previously best known upper bound for (2, 7) was 46. 3. The covering radius ofR(1,m) inR(m–1,m) is the same as the covering radius ofR(1,m) inR(m–2,m) form4.     

Angular limits of holomorphic functions which satisfy an integrability condition

Let (–1,1), let 2/(1–)p<, letp denote the Hölder conjugate ofp, and let be an open arc of the unit circle. It is shown that, iff is a holomorphic function on the unit disc such that: (i) (1–|z|)log⁺|f(z)| isL ^p -integrable on the sector {r:0f has an infinite asymptotic value has -finite (2–(1+)p)-dimensional Hausdorff, measure, thenf has finite angular limits on a subset of of positive linear measure. In fact, a stronger conclusion will be established.     

On cyclic biquadratic fields related to a problem of Hasse

In this note we shall prove that there exist infinitely many cyclic biquadratic fieldsK whose integral bases are neither {1, , ², } nor {1, , , ³) for any numbers , inK. Next, we shall construct infinitely many cyclic biquadratic fieldsK which have the index 1, but still have not the integral basis {1, , ², ³) for every inK. Finally we shall give a class of biquadratic fields for a problem of Hasse concerning an integral basis.     

The central limit theorem for Chébli-Trimèche hypergroups

Let (S _nn>-1) be a random walk on a hypergroup ( ₊ , *), i.e., a Markov chain with transition kernelN(x, A) = _x * (A), where is a fixed probability measure on ₊ such that the second moment exists. Then depending on the growth of the hypergroup two situations can occur: when ( ₊ , *) is of exponential growth then it is shown thatS _n is asymptotically normal. In the case of polynomial growth {more precisely, if the densityA of the Haar measure of ( ₊ , *) satisfies lim[A()/A()]=}, the normalized variablesS _n/[n Var()/(+1)]^1/2 converge to a Rayleigh distribution with parameter .     

A class of non-Moufang Bol loops isomorphic to all their loop isotopes

For any two primes, , such that< and divides–1, it is shown that there exists a non-Moufang Bol loop of order ² which is isomorphic to each of its loop isotopes.     

On trees and tree dimension of ordered sets

We call an ordered set (X, ) a tree if no pair of incomparable elements ofX has an upper bound. It is shown that there is a natural way to associate a tree (T, ) with any ordered set (X, ), and (T, ) can be characterized by a universal property. We define the tree dimensiontd(X, ) of an ordered set as the minimal number of extensions of (X, ) which are trees such that the given order is the intersection of those tree orders. We give characterizations of the tree dimension, relations between dimension and tree dimension, and removal theorems.     

Fractional differentiation on the group of integers of ap-adic orp-series field

1973 . . . X. . , , , , . , , , . , , , , G - . , . , . 1) G . 2) - , . 3) , , . 4) C(G) L _r (G), lr<, .     

A randomly weighted estimate of the population mean

ＡＲＡＮＤＯＭＬＹＷＥＩＧＨＴＥＤＥＳＴＩＭＡＴＥＯＦＴＨＥＰＯＰＵＬＡＴＩＯＮ　ＭＥＡＮＣＨＥＮＸＩＲＵ（陈希孺）ＪＩＮＭＩＮＧＺＨＯＮＧ（金明仲）（ＧｒａｄｕａｔｅＳｃｈｏｏｌ,ＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌａｐｙｏｆ...     

Ergodicity of nonlinear first order autoregressive models

Criteria are derived for ergodicity and geometric ergodicity of Markov processes satisfyingX _n+1 =f(X _n )+(X _n ) _n+1 , wheref, are measurable, { _n } are i.i.d. with a (common) positive density,E| _n |>. In the special casef(x)/x has limits, , asx– andx+, respectively, it is shown that <1, <1, <1 is sufficient for geometric ergodicity, and that <-1, 1, 1 is necessary for recurrence.     

Sufficient conditions for bang-bang control in Hilbert space

Sufficient conditions for bang-bang and singular optimal control are established in the case of linear operator equations with cost functionals which are the sum of linear and quadratic terms, that is,Ax=u,J(u)=(r,x)+(x,x), >0. For example, ifA is a bounded operator with a bounded inverse from a Hilbert spaceH into itself and the control setU is the unit ball inH, then an optimal control is bang-bang (has norm l) if 0<1/2;A ^–1*r·A ^–1–2, but is singular (an interior point ofU) if >1/2A ^–1*r·A².This work was supported by NRC Grant No. A-4047 and NSF Grant No. GP-7445.     

Generalized ornstein-uhlenbeck process having a characteristic operator with polynomial coefficients

Summary Let be a weighted Schwartz's space of rapidly decreasing functions, the dual space and (t) a perturbed diffusion operator with polynomial coefficients from into itself. It is proven that (t) generates the Kolmogorov evolution operator from into itself via stochastic method. As applications, we construct a unique solution of a Langevin's equation on : whereW(t) is a Brownian motion and ^*(t) is the adjoint of (t) and show a central limit theorem for interacting multiplicative diffusions.     

Weak Sequential Completeness of β-duals of Double Sequence Spaces

We consider dual pairs E,E ⁽⁾ of double sequence spaces E and E ⁽⁾, where E ⁽⁾ is the -dual space of E with respect to the -convergence of double sequences for = p (Pringsheim convergence), bp (bounded p-convergence) and r (regular convergence). Motivated by Boos, Fleming and Leiger [3], we introduce two oscillating properties (signed P_OSCP(k), k {1,2}) for a double sequence space E such that the signed P_OSCP(1) guarantees the (E ^(p), E)-sequential completeness of E ^(p), whereas the signed P_OSCP(2) implies the equalities E ^(r) = E ^(bp) = E ^(p) and the (E ⁽⁾, E)-sequentialcompleteness of E ⁽⁾ for = bp and r.     

On the one-dimensional two-phase inverse Stefan problems

New formulations of the inverse nonstationary Stefan problems are considered: (a) forx [0,1] (the inverse problem IP₁; (b) forx [0, (t)] with a degenerate initial condition (the inverse problem IP). Necessary conditions for the existence and uniqueness of a solution to these problems are formulated. On the first phase {x [0, y(t)]{, the solution of the inverse problem is found in the form of a series; on the second phase {x [y(t), 1] orx [y(t), (t)]{, it is found as a sum of heat double-layer potentials. By representing the inverse problem in the form of two connected boundary-value problems for the heat conduction equation in the domains with moving boundaries, it can be reduced to the integral Volterra equations of the second kind. An exact solution of the problem IP is found for the self similar motion of the boundariesx=y(t) andx=(t).Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 8, pp. 1058–1065, August, 1993.     

Modified (0, 2)-Interpolation on the Roots of Jacobi Polynomials. II (Convergence)

In [4] A. M. Chak, A. Sharma and J. Szabados characterized the Jacobi matrices P(,), (, > –1) for which the (0,2)-interpolation problem is regular. It follows from their result, that if n is odd and = , or if , are both odd integers and n > 1 + ( + )/2, then the (0,2)-interpolation problem is not regular. Recently, the author proved that for , both odd integers, the (0,2)-interpolation problem augmented with boundary (Hermite-type) conditions at the endpoints of the interval [–1,1] is regular. In this paper the convergence of this modified (0,2)-interpolation procedure is studied, if the inner nodal points are the roots of the ultraspherical polynomials with odd integer parameter.     

Level set representation for the Gibbs states of the ferromagnetic ising model

Summary We prove the existence of a real valued random field with parameters in thed-dimensional cubic lattice, such that the distribution of the level set of this random field is a Gibbs state for the nearest neighbour ferromagnetic Ising model. Using this, we prove the continuity of the percolation probability with respect to the parameter (,h) in the uniqueness region except on the critical curve _c ={(,h _c ())}, whereh _c() is the critical level of the external field above which percolation takes place.Supported in part by JSPS, BiBoS, Grant in Aid for Cooperative research no. 62303006 and Grant in Aid for Scientific Research no. 63540168     

The length,the width and the cutset-number of finite ordered sets

The partially ordered set P is an (, , ) ordered set if the width of P, the length of any chain of P and the cut-set number . We will prove that if P is an (, , ) ordered set then P contains a simple (, , ) ordered set and use this result to prove that if P has the 3 cutset property, then width of P length of P+3.     

Optimal relaxation parameter for the Uzawa Method

Summary. We consider the Uzawa method to solve the stationary Stokes equations discretized with stable finite elements. An iteration step consists of a velocity update uⁿ⁺¹ involving the (augmented Lagrangian) operator ––÷ with 0, followed by the pressure update pⁿ⁺¹=pⁿ–div uⁿ⁺¹, the so-called Richardson update. We prove that the inf-sup constant satisfies 1 and that, if =1+^–1, the iteration converges linearly with a contraction factor ^2-1(2-) provided 0<<2. This yields the optimal value = regardless of .Mathematics Subject Classification (1991): 65N12, 65N15Partially supported by NSF Grant DMS-9971450Partially supported by NSF Grants DMS-9971450 and DMS-0204670Revised version received September 30, 2003     

On the Self-Decomposability of Euler's Gamma Function

Let be Euler's Gamma function. We prove that, for all 0, > 0, > 0, > 0, the function (( + iz)/() ^{i z)} , z R ¹, is a self-decomposable characteristic function from the Thorin class and derive its explicit canonical form. Similarly to [1], we also describe several classes of Lévy-type stochastic processes related to .     

Limits of certain iterates of Post-Widder operators

The paper is a study of the limiting behaviour of the [n t]-th iterates of the well-known Post-Widder operatorsL _{n, x} used in the real inversion of the Laplace transform. It is shown that the limiting operators constitute a semigroup T _t;t0 of class (C ₀) on a family C _,; , >0 of Banach spaces. Applications of the semigroup structure lead to a pointwise saturation theorem forL _{n, x} and a characterization of convex functions inC _, through an inequality involving the action ofL _{n, x}.