Rational Approximation of Analytic Functions Having Generalized Orders of Rate of Growth

Let f be holomorphic on a domain G C¯ and _n be the error in best approximation of f in the supremum norm on a compact set E G by rational functions of order n. We obtain results characterizing the degree of decrease of the best approximation _n in terms connected with the condenser (E,F), F=C¯ \ G¯, and the rate of growth of the maximum modulus of f(z). In particular, if f has a generalized order (, , f) in the domain G, thenlim sup_n (n)/ (log (1/log⁺((_{0 1} ....... _n)^1/n(n+1) ))) (, , f),where = exp (1/C(E,F)), C(E,F) is the capacity of the condenser (E,F).     

On convergence of function series

, a _n f _n (x) . .     

GBRD's: Some new constructions for difference matrices,generalised hadamard matrices and balanced generalised weighing matrices

A new construction is given for difference matrices. The generalized Hadamard matrices GH(q(q – 1)²; EA(q)) are constructed whenq andq – 1 are both prime powers. Other generalised Hadamard matrices are also shown to exist. For example, there exist GH(n; G) forn = 5² 2 3, 2⁶ 3², 11² 2² 3, 17² 2 3², 53² 2 3³, 71² 2² 3², 107² 2² 3³, 149² 5² 2 3,.... Finally, a new construction for the BGW ((q ⁴ – 1)/(q – 1),q ³,q ²(q – 1);q _q-1), and a construction for the new BGW ((q ⁸ – 1)/(q ² – 1),q ⁶,q ⁴(q ² – 1);G) are given, wheneverq is a prime power, andG is a group of orderq + 1.     

Über konvergente Zerlegungen von Matrizen

LetA, M, N ben × n real matrices, letA=M–N, letA andM be nonsingular. LetMy0 implyNy0 (where the prime denotes the transpose). ThenAy0 impliesNy0 if and only if the spectral radius (M ^–1 N) ofM ^–1 N is less than one. This complements a result of Mangasarian, given in [1]. The same conclusions are true ifA, M, andN are replaced byA, M, andN respectively. The proof given here does not make use of the Perron-Frobenius theorem.

---

---

Herrn Professor Dr. Johannes Weissinger zum 60. Geburtstag gewidmet     

On meromorphic approximation

Let G be a bounded N-connected domain, the boundary of which consists of closed analytic Jordan curves. We assume that 0G. For any nonnegative integers n and m, denote by _n,m the class of all meromorphic functions on G that can be represented in the form h=p/qz ^m , where p belongs to the Smirnov class E (G), q is a polynomial of degree at most n, q0. Theorems giving necessary and sufficient conditions for a function belonging to the class _n,m to be an element of best approximation to a continuous function f on in the space L () by functions in the class _n,m are proved. Some questions concerning orthogonal polynomials and the theory of Hankel operators are also considered.     

The p-rank of Artin-Schreier curves

The groundfield k is algebraically closed and of characteristic p O. The p-rank of an abelian variety A/k is _A if there are _A copies of Z/pZ in the group of points of order p in A(k). The p-rank _X of a curve X/k is the p-rank of its Jacobian. In general the genus of X is _X. X is ordinary if equality holds.Proposition 3.2 proves that the Artin-Schreier curve X_p with equation (x^p–x)(y^p–y)=1 is ordinary. As its genus is (p–1)(p–1) and it has at least 2p. p. (p–1) automorphisms, it is an ordinary counter example of Hurwitz's theorem if p>37. Theorem 3.5 is the inductive step in extending this to smaller characteristics. Both are corollaries of Theorem 4.1 which is our principal result: if YX is a cyclic covering of degree p ramified at n distinct points, then (_Y–1+n)=(_X–1+n)×p. The particular case n=0, the unramiried case, is due to afarevi [7].The preparation of this paper was supported by the Memorial University of Newfoundland and NRC Grant A-8777.     

New Hadamard matrices and conference matrices obtained via Mathon's construction

We give a formulation, via (1, –1) matrices, of Mathon's construction for conference matrices and derive a new family of conference matrices of order 59^2t+1 + 1,t 0. This family produces a new conference matrix of order 3646 and a new Hadamard matrix of order 7292. In addition we construct new families of Hadamard matrices of orders 69^2t+1 + 2, 109^2t+1 + 2, 8499 ^t ,t 0;q ²(q + 3) + 2 whereq 3 (mod 4) is a prime power and 1/2(q + 5) is the order of a skew-Hadamard matrix); (q + 1)q ²9 ^t ,t 0 (whereq 7 (mod 8) is a prime power and 1/2(q + 1) is the order of an Hadamard matrix). We also give new constructions for Hadamard matrices of order 49 ^t 0 and (q + 1)q ² (whereq 3 (mod 4) is a prime power).This work was supported by grants from ARGS and ACRB.Dedicated to the memory of our esteemed friend Ernst Straus.     

A characterization of hadamard designs with SL(2,q) acting transitively

Given a hyperoval in a projective plane of even orderq, we can associate a Hadamard 2-design. In the case when is the Desarguesian plane P_2,q ,q=2 ^h ,h>1 and is a regular hyperoval (conic and its nucleus) then a design (q) is obtained. (q) has a point transitive automorphism group isomorphic to PSL(2,q)( SL(2,q)). We classify the designs (q) and P_2h–1,2 (the projective space of dimension 2h–1 overF ₂) among all the designsH with the same parameters as (q) admitting an automorphism groupGSL(2,q) acting transitively the points ofH. We also describe how all such designsH may be constructed and discuss the problem of when two such designs are isomorphic.This research was supported by Science and Engineering Research Council Grant GR/G 03359.     

On the positive definiteness of n ↦ epnα for α close to 2

For >2, let Q ⁺() be the infimum of those q>0 for which the function n e^pn is positive definite on N ₀ for every pq. We shall prove that Q ⁺()0 as 2.     

On some problems of interpolation by ℒ-splines

_n (D) — ,s — _n (D), _v (v=1, 2, ...,s/2) — . _m={0x ₀<x ₁<...<x _2m–1<2,x _2m =x ₀+2} , x _j +1–x _j <(4s max _v )^–1,j=0, 1, ..., 2m –1, ( ) 2- - _n,m 2m , _m . , L _q - (1q) W ( _n )={f ₂ :f ^(n–1)AC ₂ , _n (D)f 1} 2- - (s _n f), _m . , - - _n,m .

---

---

The author expresses his gratitude to Yu. N. Subbotin for a useful discussion on the results of this paper.     

Covering the Hecke Triangle Surfaces

In the mid-1980s an equivalence was established between the simple closed geodesics on the Riemann surfaces obtained as quotients of the upper half plane H by any of the following subgroups of the modular group (1) : , (3), and ³. An axis of a hyperbolic element of (1) projects to a simple closed geodesic on one of these surfaces if and only if it does so on the other two.This equivalence was used to obtain a variety of Diophantine and geometric results. In subsequent related investigations, the role of (1) was assumed by the Hecke triangle group G_q for q 3. (For q = 3, we have (1) = G₃.) These works employed the analog of ³, denoted _q.In the context of the G_q, the present paper gives the analog of , which we denote _q. As in the case q = 3, we have [_q:_q] = 2. A rather full discussion of geometry of _q\ H is given. In particular, we demonstrate that the equivalence of simple closed geodesics on _q\ H and _q\ H does not hold for q 7.As of this writing, we have not been able to obtain an appropriate analog of (3).     

On feasible sets defined through Chebyshev approximation

LetZ be a compact set of the real space with at leastn + 2 points;f,h1,h2:Z continuous functions,h1,h2 strictly positive andP(x,z),x(x ₀,...,x _n ) ⁿ⁺¹,z , a polynomial of degree at mostn. Consider a feasible setM {x ⁿ⁺¹z Z, –h ₂(z) P(x, z)–f(z)h ₁(z)}. Here it is proved the null vector 0 of ⁿ⁺¹ belongs to the compact convex hull of the gradients ± (1,z,...,z ⁿ ), wherez Z are the index points in which the constraint functions are active for a givenx* M, if and only ifM is a singleton.This work was partially supported by CONACYT-MEXICO.     

Tangential Limits of Potentials on Homogeneous Trees

Let T be a homogeneous tree of homogeneity q+1. Let denote the boundary of T, consisting of all infinite geodesics b=[b ₀,b ₁,b ₂,] beginning at the root, 0. For each b, 1, and a0 we define the approach region _,a (b) to be the set of all vertices t such that, for some j, t is a descendant of b _j and the geodesic distance of t to b _j is at most (–1)j+a. If >1, we view these as tangential approach regions to b with degree of tangency . We consider potentials Gf on T for which the Riesz mass f satisfies the growth condition _T f ^p (t)q ^–|t|<, where p>1 and 0<<1, or p=1 and 0<1. For 11/, we show that Gf(s) has limit zero as s approaches a boundary point b within _,a (b) except for a subset E of of -dimensional Hausdorff measure 0, where H (E)=sup_>0inf _i q ^{–|t i|}:E a subset of the boundary points passing through t _i for some i,|t _i |>log _q (1/).     

Approximation of differentiable functions by polynomial splines in domains with external peaks

For unbounded domains with external power-type peaks, we propose a method for the approximation of functionsf(x) w _p ^r () by polynomial splines in the metricw _p ^r (), 1pq, and present the corresponding estimates.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 9, pp. 1224–1233, September, 1994.     

The random-cluster model on the complete graph

Summary The random-cluster model of Fortuin and Kasteleyn contains as special cases the percolation, Ising, and Potts models of statistical physics. When the underlying graph is the complete graph onn vertices, then the associated processes are called mean-field. In this study of the mean-field random-cluster model with parametersp=/n andq, we show that its properties for any value ofq(0, ) may be derived from those of an Erds-Rényi random graph. In this way we calculate the critical point _c (q) of the model, and show that the associated phase transition is continuous if and only ifq2. Exact formulae are given for _C (q), the density of the largest component, the density of edges of the model, and the free energy. This work generalizes earlier results valid for the Potts model, whereq is an integer satisfyingq2. Equivalent results are obtained for a fixed edge-number random-cluster model. As a consequence of the results of this paper, one obtains large-deviation theorems for the number of components in the classical random-graph models (whereq=1).     

A Second Descent Problem for Quadratic Forms

Let F be a field of characteristic different from 2. We discuss a new descent problem for quadratic forms, complementing the one studied by Kahn and Laghribi. More precisely, we conjecture that for any quadratic form q over F and any Im(W(F) W(F(q))), there exists a quadratic form W(F) such that dim 2 dim and _F(q), where F(q) is the function field of the projective quadric defined by q = 0. We prove this conjecture for dim 3 and any q, and get partial results for dim {4, 5,6}. We also give other related results.     

The measure of a translated ball in uniformly convex spaces

Let (E, ¦·¦) be a uniformly convex Banach space with the modulus of uniform convexity of power type. Let be the convolution of the distribution of a random series inE with independent one-dimensional components and an arbitrary probability measure onE. Under some assumptions about the components and the smoothness of the norm we show that there exists a constant such that |{·<t}–{·+r<t}|r ^q , whereq depends on the properties of the norm. We specify it in the case ofL spaces, >1.     

On the representation type of one point extensions of tame concealed algebras

Letk be an algebraically closed field and a finite dimensionalk-algebra. Letq be the quadratic Tits form associated with . If is tame we show thatq is weakly semipositive. Let be a one-point extension of a tame concealed algebra, then is tame iffq is weakly semipositive.     

On local uniqueness of the solution of boundary-value problems

In this paper we present conditions under which differentiability of the mappings F: ACⁿ(I) Lⁿ(I) and :ACⁿ(I) Rⁿ at x₀ ACⁿ(I) and the uniqueness of the solution of the boundaryvalue problem u = F(x₀)(u), (x₀)(u) = 0 imply local uniqueness of the solution x₀ of the boundary-value problem x = F(x), (x) = 0.Translated from Matematicheskie Zametki, Vol. 15, No. 6, pp. 891–895, June, 1974.The author thanks A. Ya. Lepin for the help he has given him in the preparation of this paper.     

Characterization of complete exterior sets of conics

Let be a set of exterior points of a nondegenerate conic inPG(2,q) with the property that the line joining any 2 points in misses the conic. Ifq1 (mod 4) then consists of the exterior points on a passant, ifq3 (mod 4) then other examples exist (at least forq=7, 11, ..., 31).Support from the Dutch organization for scientific Research (NWO) is gratefully acknowledged