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.     

Interpolation theorems for a family of spanning subgraphs

Let G be a graph with order p, size q and component number . For each i between p – and q, let be the family of spanning i-edge subgraphs of G with exactly components. For an integer-valued graphical invariant if H H is an adjacent edge transformation (AET) implies |(H)-(H^')|1 then is said to be continuous with respect to AET. Similarly define the continuity of with respect to simple edge transformation (SET). Let M _j() and m _j() be the invariants defined by . It is proved that both M _p–() and m _p–(;) interpolate over , if is continuous with respect to AET, and that M _j() and m _j() interpolate over , if is continuous with respect to SET. In this way a lot of known interpolation results, including a theorem due to Schuster etc., are generalized.     

A decision theoretical characterization of weak ergodicity

Summary The relation between the ergodic coefficient and deficiency relative to the least informative experiment is investigated. The result is applied to nonhomogeneous Markov chains (NMC's). Our main result can be described as follows: Given an NMC, define the experiments _n ^(j) for n1 consisting in observing the (n+j)-th state of the chain, the j-th state being the unknown parameter. Then the chain is weakly ergodic if and only if for any j, _n ^(j) converges as n (with respect to deficiencies) to the least informative experiment. It is finally shown that in the homogeneous case, the rate of convergence is always exponential.     

On theA 0-acceptability of rational approximations to the exponential function with only real poles

We consider rational approximations to the exponential function with real poles, ₁ ^–1 ,..., _m ^–1 , that correspond to implicit Runge-Kutta collocation methods. We show that if _i 1/2,i=1,...,m, the rational approximation isA ₀-acceptable.     

A constructive approach to the quantum (cosh ϕ)2 model. I. The method of the Gel'fand-Levitan-Marchenko equations

In a Hubert , with the aid of the postulated Gel'fand-Levitan-Marchenko quantum equations, one introduces the fields ₁(x) and ₂(x), which are the quantum analogues of the classical fields cosh (x) and sinh (x) in the sinh-Gordon model. It is shown that the fields _j(x) satisfy the Wightman axioms, including the invariance relative to reflections of space-time and mutual local commutativity. In addition, one proves the asymptotic completeness of the theory and one computes explicitly the scattering operator. In the developed approach, no cut-offs are used and, therefore, there are no renormalization effects.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 146, pp. 147–190, 1985.     

Phragmén-Lindelöf theorems for second-order quasilinear elliptic equations

Analogues are formulated of the well-known, in the theory of analytic functions, Phragmen-Lindelöf theorem for the gradients of solutions of a broad class of quasilinear equations of elliptic type. Examples are given illustrating the accuracy of the results obtained for the gradients of solutions of the equations of the form div(|U|^–2u)=f(x, u, u), where f(x, u, u) is a function locally bounded in ²ⁿ⁺¹. f(x, 0, u)=0, uf(x, u, u) c¦u¦1+q(1+ ¦u|), > 1, c > 0, q > 0, is an arbitrary real number, and n >- 2. The basic role in the technique employed in the paper is played by the apparatus of capacitary characteristics.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 10, pp. 1376–1381, October, 1992.The author sincerely appreciates E. M. Landis's permanent attention and numerous useful discussions.     

Arithmetic of the Modular Function j1,8

Since the genus of the modular curve X_1 (8) = _1 (8) * is zero, we find a field generator j _1,8(z) = ₃(2z)/₃(4z) (₃(z) := _n ein ^2z ) such that the function field over X ₁(8) is (j _1,8). We apply this modular function j _1,8 to the construction of some class fields over an imaginary quadratic field K, and compute the minimal polynomial of the singular value of the Hauptmodul N(j _1,8) of (j _1,8).     

Bergman-Vekua theory in differential form

We develop Bergman-Vekua integral operator theory on the basis of a new kind of series suggested by polynomial operators (classP _j operators); in a sense, this is an analog of the Weierstrass approach as opposed to the Cauchy-Riemann approach in classical complex analysis, which also has advantages over the original form in boundary value problems and other applications.Dedicated to the memory of my friend, Peter Henrici     

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.     

О предельном распределении для сумм независимых слууайных велиуин на бикомпактных коммутативных топологиуеских группах

,      

A note on sub-multiplicative norms

Summary IfX is a finite-dimensional linear space andL(X) the linear space of linear operators onX thenL(X) may be represented asXX ^*. IfE={e ₁, ...,e _n } is a basis forX and e _j y _j ^* is a typical element ofXX ^*, then norms can be introduced onL(X) in the form y _j ^* e _j . Given that the norm onX isE-absolute we derive a necessary and sufficient condition for the norm onL(X) to be submultiplicative.     

Monotone subsequences in (0, 1)-matrices

A (0, 1)-matrix contains anS ₀(k) if it has 0-cells (i, j ₁), (i + 1,j ₂),..., (i + k – 1,j _k) for somei andj ₁ < ... < j_k, and it contains anS ₁(k) if it has 1-cells (i ₁,j), (i ₂,j + 1),...,(i _k ,j + k – 1) for somej andi ₁ < ... <i _k . We prove that ifM is anm × n rectangular (0, 1)-matrix with 1 m n whose largestk for anS ₀(k) isk ₀ m, thenM must have anS ₁(k) withk m/(k ₀ + 1). Similarly, ifM is anm × m lower-triangular matrix whose largestk for anS ₀(k) (in the cells on or below the main diagonal) isk ₀ m, thenM has anS ₁(k) withk m/(k ₀ + 1). Moreover, these results are best-possible.     

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.     

Interacting Brownian particles and the Wigner law

Summary In this paper, we study interacting diffusing particles governed by the stochastic differential equationsdX _j (t)= _n dB _j (t) –D _jØ_n(X ₁,...,X _n)dt,j=1, 2,...,n. Here theB _jare independent Brownian motions in ^d , and Ø _n (X ₁,...,X _n)= _{n ij} V(X _iX _j) + _ni U(X ₁). The potentialV has a singularity at 0 strong enough to keep the particles apart, and the potentialU serves to keep the particles from escaping to infinity. Our interest is in the behaviour as the number of particles increases without limit, which we study through the empirical measure process. We prove tightness of these processes in the case ofd=1,V(x)=–log|x|,U(x)=x ²/2 where it is possible to prove uniqueness of the limiting evolution and deduce that a limiting measure-valued process exists. This process is deterministic, and converges to the Wigner law ast. Some information on the rates of convergence is derived, and the case of a Cauchy initial distribution is analysed completely.Supported by SERC grant number GR/H 00444     

Convex independent sets and 7-holes in restricted planar point sets

For a finite setA of points in the plane, letq(A) denote the ratio of the maximum distance of any pair of points ofA to the minimum distance of any pair of points ofA. Fork>0 letc (k) denote the largest integerc such that any setA ofk points in general position in the plane, satisfying for fixed , contains at leastc convex independent points. We determine the exact asymptotic behavior ofc (k), proving that there are two positive constants=(), such thatk ^1/3c (k)k ^1/3. To establish the upper bound ofc (k) we construct a set, which also solves (affirmatively) the problem of Alonet al. [1] about the existence of a setA ofk points in general position without a 7-hole (i.e., vertices of a convex 7-gon containing no other points fromA), satisfying . The construction uses Horton sets, which generalize sets without 7-holes constructed by Horton and which have some interesting properties.     

Intrinsic ultracontractivity of Dirichlet Laplacians in non-smooth domains

We give a general criterion for the intrinsic ultracontractivity of Dirichlet Laplacians – _D on domainsD ofR ^d d 3, based on the Lieb's formula. It applies to various classes of domains (e.g. John, Hölder andL ^p-averaging domains) and gives new conditions for intrinsic ultracontractivity in terms of the Minkowski dimension of the boundary D. In particular, isotropic self-similar fractals and domains satisfying a c-covering condition are considered.     

A priori estimates of the solution of the dirichlet problem for the Monge-ampére equation in weight spaces

One proves that a priori boundedness of the norm of the solution of the problem det(U_xx)=f(x,u,u_x)>>0,u¦=0. The magnitudes of the exponents,() depends on whether the arguments u p occur or not in f (x,u,p).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 125, pp. 74–90, 1983.     

Spectral functions of zeros in the Besselq-functions

Zeta functions _v(z; q)= _n=1 [j_vn(q)]^–z and partition functions Z_v(t; q)=_n exp[–tj _vn ² (q)] related to the zeros j_vn(q) of the Bessel q-functions J_v(x; q) and J _v ⁽²⁾ (x; q) are studied and explicit formulas for _v(2n; q) at n=±1, ±2, ... are obtained. The poles of _v(z; q) in the complex plane and the corresponding residues are found. Asymptotics of the partition functions Z_v(t; q) at t 0 are investigated.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 107, No. 3, pp. 397–414, June, 1996.     

Mittelwert der Eulerschen φ-Funktion und des Quadrates der Dirichletschen Teilerfunktion in algebraischen Zahlkörpern

LetK be an algebraic number field, and for every integer K let () andd(), respectively, denote the number of relatively prime residue classes and the number of divisors of the principal ideal (). Asymptotic equalities are proved for the sums () and d ²(), where runs through certain finite sets of integers ofK.     

Solving systems of polynomial inequalities over a real closed field in subexponential time

Let _m= (₁,..., _m) denote an ordered field, where _i+1>0 is infinitesimal relative to the elements of _i, 0 < –i < m (by definition, ₀= ). Given a system of inequalities f₁ > 0, ..., f_s > 0, f_s+1 0, ..., f_k 0, where f_{j m} [X₁,..., X_n] are polynomials such that, and the absolute value of any integer occurring in the coefficients of the f_js is at most 2^M. An algorithm is constructed which tests the above system of inequalities for solvability over the real closure of _m in polynomial time with respect to M, ((d)ⁿd₀)^n+m. In the case _m=, the algorithm explicitly constructs a family of real solutions of the system (provided the latter is consistent). Previously known algorithms for this problem had complexity of the order ofM(d d ₀ ^{m 2U(n)} .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 174, pp. 3–36, 1988.