Some inequalities about the covering radius of Reed-Muller codes

Let R(r, m) be the rth order Reed-Muller code of length 2 ^m , and let (r, m) be its covering radius. We prove that if 2 k m - r - 1, then (r + k, m + k) (r, m + 2(k - 1). We also prove that if m - r 4, 2 k m - r - 1, and R(r, m) has a coset with minimal weight (r, m) which does not contain any vector of weight (r, m) + 2, then (r + k, m + k) (r, m) + 2k(. These inequalities improve repeated use of the known result (r + 1, m + 1) (r, m).This work was supported by a grant from the Research Council of Wright State University.     

The Whitehead Group of the Novikov Ring

The Bass–Heller–Swan–Farrell–Hsiang–Siebenmann decomposition of the Whitehead group K ₁(A[z,z^-1]) of a twisted Laurent polynomial extension A[z,z^-1] of a ring A is generalized to a decomposition of the Whitehead group K ₁(A((z))) of a twisted Novikov ring of power series A((z))=A[[z]][z^-1]. The decomposition involves a summand W₁(A, ) which is an Abelian quotient of the multiplicative group W(A,) of Witt vectors 1+a₁z+a₂z²+ ··· A[[z]]. An example is constructed to show that in general the natural surjection W(A, )^ab W₁(A, ) is not an isomorphism.     

Best approximation and best unilateral approximation of the kernel of a biharmonic equation and optimal renewal of the values of operators

For the classB _p , 0 < 1, 1p , of 2-periodic functions of the form f(t)=u(,t), whereu (,t) is a biharmonic function in the unit disk, we obtain the exact values of the best approximation and best unilateral approximation of the kernel K(t) of the convolution f= K *g, gl, with respect to the metric of L₁. We also consider the problem of renewal of the values of the convolution operator by using the information about the values of the boundary functions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol.47, No. 11, pp. 1549–1557, November, 1995.     

Some remarks on the modulus of continuity of a conformal mapping of the disk onto a Jordan domain

Letd(;z, t) be the smallest diameter of the arcs of a Jordan curve with endsz andt. Consider the rapidity of decreasing ofd(;)=sup{d(;z, t):z, t , ¦z–t¦} (as 0,0) as a measure of nicety of . Letg(x) (x0) be a continuous and nondecreasing function such thatg(x)x,g(0)=0. Put¯g(x)=g(x)+x, h(x)=(¯g(x))². LetH(x) be an arbitrary primitive of 1/h ^–1(x). Note that the functionH ^–1 x is positive and increasing on (–, +),H ^–1 0 asx– andH ^–1+ asx +. The following statement is proved in the paper.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 176–184, August, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00236 and by the International Science Foundation under grant No. NCF000.     

Galerkin methods for parabolic equations with nonlinear boundary conditions

A variety of Galerkin methods are studied for the parabolic equationu _t =(a(x) u),x ⁿ ,t (O,T], subject to the nonlinear boundary conditionu _v =g(x,t,u),x,t (O,T] and the usual initial condition. Optimal order error estimates are derived both inL ² () andH ¹ () norms for all methods treated, including several that produce linear computational procedures.The authors were partially supported by The National Science Foundation during the preparation of this paper.     

The Hilbert–Poincaré Series for Some Algebras of Invariants of Cyclic Groups

Let be a linear representation of a finite group over a field of characteristic 0. Further, let R be the corresponding algebra of invariants, and let P (t) be its Hilbert–Poincaré series. Then the series P (t) represents a rational function (t)/(t). If R is a complete intersection, then (t) is a product of cyclotomic polynomials. Here we prove the inverse statement for the case where is an almost regular (in particular, regular) representation of a cyclic group. This yields an answer to a question of R. Stanley in this very special case. Bibliography: 3 titles.     

Bijectivity of -endomorphisms of ℬ(H) and the unilateral shift

LetH be a separable infinite-dimensional complex Hilbert space. We prove that if : (H)(H) is a^*-preserving ring homomorphism whose range contains a rank-one operator and an operator with dense range, then is an isometric linear or conjugate-linear algebra automorphism of (H). In particular, if the unilateral shift is contained in the range of a^*-endomorphism of (H), then is bijective.Research partially supported by the Hungarian National Research Science Foundation, Operating Grant Number OTKA 1652 and K&H Bank Ltd., Universitas Foundation.     

Linear cyclic codes of wordlength v over GF(q s ) which are also linear cyclic codes of wordlength sv over GF(q)

Any nonsingular linear transformation : GF(q^s) GF(q^s) can be used to treat a linear cyclic code of wordlength v over GF(q^s) as a linear code () of Wordlength sv over GF(q). This paper determines those linear cyclic codes and transformations for which the resulting linear code () is also cyclic.     

Posterior Sensitivity to the Sampling Distribution and the Prior: More than One Observation

Sensitivity of a posterior quantity (f, P) to the choice of the sampling distribution f and prior P is considered. Sensitivity is measured by the range of (f, P) when f and P vary in nonparametric classes ^f and ^P respectively. Direct and iterative methods are described which obtain the range of (f, P) over f ^f when prior P is fixed, and also the overall range over f ^f and P ^P . When multiple i.i.d. observations X ₁,...,X _k are observed from f, the posterior quantity (f, P) is not a ratio-linear function of f. A method of steepest descent is proposed to obtain the range of (f, P). Several examples illustrate applications of these methods.     

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.     

Positive Solutions for a Singular Nonlinear Problem on a Bounded Domain in R 2

For a bounded regular Jordan domain in R ², we introduce and study a new class of functions K() related on its Green function G. We exploit the properties of this class to prove the existence and the uniqueness of a positive solution for the singular nonlinear elliptic equation u+(x,u)=0, in D(), with u=0 on and uC(), where is a nonnegative Borel measurable function in ×(0,) that belongs to a convex cone which contains, in particular, all functions (x,t)=q(x)t ^–,>0 with nonnegative functions qK(). Some estimates on the solution are also given.     

Non removable edges in 3-connected cubic graphs

LetG be a cyclicallyk-edge-connected cubic graph withk 3. Lete be an edge ofG. LetG be the cubic graph obtained fromG by deletinge and its end vertices. The edgee is said to bek-removable ifG is also cyclicallyk-edge-connected. Let us denote by S _k (G) the graph induced by thek-removable edges and by N _k (G) the graph induced by the non 3-removable edges ofG. In a previous paper [7], we have proved that N ₃(G) is empty if and only ifG is cyclically 4-edge connected and that if N ₃(G) is not empty then it is a forest containing at least three trees. Andersen, Fleischner and Jackson [1] and, independently, McCuaig [11] studied N ₄(G). Here, we study the structure of N _k (G) fork 5 and we give some constructions of graphs such thatN _k (G) = E(G). We note that the main result of this paper (Theorem 5) has been announced independently by McCuaig [11].

---

Résumé SoitG un graphe cubique cyliquementk-arête-connexe, aveck 3. Soite une arête deG et soitG le graphe cubique obtenu à partir deG en supprimante et ses extrémités. L'arêtee est ditek-suppressible siG est aussi cycliquementk-arête-connexe. Désignons par S _k (G) le graphe induit par les arêtesk-suppressibles et par N _k (G) celui induit par les arêtes nonk-suppressibles. Dans un précédent article [7], nous avons montré que N ₃(G) est vide si et seulement siG est cycliquement 4-arête-connexe et que si N ₃(G) n'est pas vide alors c'est une forêt possédant au moins trois arbres. Andersen, Fleischner and Jackson [1] et, indépendemment, McCuaig [11] ont étudié N ₄(G). Ici, nous étudions la structure de N _k (G) pourk 5 et nous donnons des constructions de graphes pour lesquelsN _k (G) = E(G). Nous signalons que le résultat principal de cet article (Théorème 5) a été annoncé indépendamment par McCuaig [11].

     

Combined free and forced laminar convection in internally finned square ducts

Analysis is presented for the heat transfer performance of square ducts with internal fins from each wall in the case of combined free and forced convection by fully developed laminar flow. Numerical results are obtained for the Nusselt number and the pressure drop parameter for various values of finlengths and heat source parameter. For various values of Rayleigh numbers, the Nusselt number increases with the increase in finlength and decreases with the increase in heat source parameter.

---

Zusammenfassung Es wird eine Analyse für den Wärmeaustausch von quadratischen Rohren mit inneren Rippen an jeder Wand im Falle einer Kombination von freier und erzwungener Konvektion bei voll entwickelter laminarer Strömung gegeben. Numerische Resultate für die Nusselt-Zahl und den Druckabfall-Koeffizienten für verschiedene Rippenbreiten und Parameter der Wärmequelle werden erhalten. Für einige Werte der Rayleighzahl wächst die Nusselt-Zahl mit der Rippenbreite und fällt mit wachsendem Parameter der Wärmequelle.

---

Nomenclature A cross sectional area of the duct - B _2k Bernoulli numbers - c _p specific heat at constant pressure - D _h hydraulic diameter of finless duct - E _n complex constants (20) - F heat source parameter,Q/c _p - F _n () defined by Equation (14) - G(, , , ) Green's function (15, 16) - g gravitational acceleration - H() Heaviside function - h() defined by Equation (22) - i imaginary unit,i ²=–1 - ImW imaginary part ofW - K(,t) kernel of the integral equation, defined by (25) - k thermal conductivity - L pressure drop parameter, –D _h ² (p/x+ _w )/ - l fin length of each fin, Figure (1) - N _u Nusselt number, Equation (32) - p pressure - Q heat generation rate - R() defined by Equation (26) - R _A Rayleigh number, _w gc _p D _h ⁴ /k - ReW real part ofW - T dimensionless temperature, (t–t _w )/(c _p D _h ² /k) - T _mx dimensionless mixed mean temperature, Equation (33) - t fluid temperature - t ₀ reference temperature atx=0 - u local axial velocity - mean axial velocity - V u/ - W complex function defined by Equation (6) - w suffix denoting wall conditions - W ₀ defined by Equation (9) - W ₁ W–W ₀, Equation (18) - x axial coordinate along the length of the duct - y, z cross-sectional coordinates - constant temperature gradient, t/x - coefficient of thermal expansion of the fluid - fluid density - _n - dynamic viscosity - () Dirac delta function - ² Laplacian operator, ²/y ²/²/z ² - , y/D _h ,z/D _h      

Holomorphe Funktionen auf Gebieten über Banach-Räumen zu vorgegebenen Konvergenzradien

Given a function: ₊ on a domain spread over an infinite dimensional complex Banach space E with a Schauder basis such that -log is plurisubharmonic and d (d denotes the boundary distance on ) one can find a holomorphic function f: with _f, where _f is the radius of convergence of f. If, in addition, is locally Lipschitz continuous with constant 1, f can be chosen so that (3M)^–1 _f, where M is the basis constant of E. In the particular case of E= ₁ there are holomorphic functions f on with= _f.     

The conditions of selfadjointness of the operator of singular integration

It is proved that the operator of singular integration along a bounded rectifiable curve is self-adjoint in the weighted spaceL ₂(, ) if and only if is a circle and (t)=const.     

Asymptotic Density and the Asymptotics of Partition Functions

Let A be a set of positive integers with gcd (A) = 1, and let p _A (n) be the partition function of A. Let c ₀ = 2/3. If A has lower asymptotic density and upper asymptotic density , then lim inf log p _A (n)/c ₀ n and lim sup log p _A (n)/c ₀ n . In particular, if A has asymptotic density > 0, then log p _A (n) c₀n. Conversely, if > 0 and log p _A (n) c ₀ n, then the set A has asymptotic density .     

Circularity of Finite Groups without Fixed Points

Let be a fixed point free group given by the presentation where and are relative prime numbers, t = /s and s = gcd( – 1,), and is the order of modulo . We prove that if (1) = 2, and (2) is embeddable into the multiplicative group of some skew field, then is circular. This means that there is some additive group N on which acts fixed point freely, and |((a)+b)((c)+d)| 2 whenever a,b,c,d N, a0c, are such that (a)+b(c)+d.     

Flatness properties of monocyclic acts

In a previous paper the authors studied flatness properties of cyclic actsS/ (S denotes a monoid, and is a right congruence onS), and determined conditions onS under which all flat or weakly flat acts of this type are actually strongly flat or projective. In the present paper attention is restricted to monocyclic acts (cyclic acts in which is generated by a single pair of elements ofS), and further results on such collapsing of flatness properties are obtained. An observation which is used extensively in this study is the fact that forw andt inS withwtt,S/(wt,t) is flat if and only ift is a regular element ofS.Research supported by Natural Sciences and Engineering Research Council of Canada Operating Grant A4494.Research supported by Estonian Research Foundation Grant No. 930.     

The absolute convergence of orthogonal series

We obtain sufficient conditions for the absolute convergence of Fourier series for functions of L _d ² depending on the properties of the function being expanded and the rate of growth of the sums of the system of functions {_k(t)} orthonormalized in [a, b] with respect to d(t). We show that if at some point x [a, b] the function (t) has a discontinuity, at that point the Fourier series of any functionf(t) L _d ² , converges absolutely.Translated from Matematicheskie Zametki, Vol. 12, No. 5, pp. 511–516, November, 1972.     

Magneto-Hydrodynamic flow past a semi-infinite plate

Zusammenfassung Der Zustand der Strömung hängt von =R _m /R dem Verhältnis der magnetischen zu der Zähigkeits-Reynolds-Nummer, und von =µH ₀ ² /4U ₀ ² , dem Verhältnis der Dichte des magnetischen Feldes zur kinetischen Energie der Hauptströmung ab.Man schliesst, dass im Falle (unendliches Leitungsvermögen) und 1 der Strom einen zähigkeitslosen Zustand annimmt.=1 ist eine mathematische und nicht eine physikalische Singularität.