Some best possible bounds concerning the traces of finite sets II

LetX be ann-element set and be a family of its subsets. Consider the family _x = {F – {x} : F } for a givenx X. We write(m, n) (m – k, n – 1), when for all with || m, there exists an elementx ofX such that| _x| m – k. We show that (m, n) (m – 10,n – 1) for allm 5n and (m, n) (m – 13,n – 1) for allm 29n/5.     

Finely holomorphic functions and quasi-analytic classes

We study the set of functions in quasi-analytic classes and the set of finely holomorphic functions. We show that no one of these two sets is contained in the other.LetI denote the set of complex functionsf: for which there exists a quasi-analytic classC{M _n} containingf. Let denote the set of complex functionsf: for which there exist a fine domainU containing the real line and a function finely holomorphic onU satisfyingf(x)= (x) for allx . The power of unique continuation is incomparable in these two cases (I\ is non-empty, \I is non-empty).Research supported by the grant No. 201/93/2174 of Czech Grant Agency and by the grant No. 354 of Charles University.     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

Randomly Weighted Sums of Subexponential Random Variables with Application to Ruin Theory

Let {X _k , 1 k n} be n independent and real-valued random variables with common subexponential distribution function, and let {k, 1 k n} be other n random variables independent of {X _k , 1 k n} and satisfying a _k b for some 0 < a b < for all 1 k n. This paper proves that the asymptotic relations P (max_{1 m n k=1} ^m _k X _k > x) P (sum _k=1 ⁿ _k X _k > x) sum _k=1 ⁿ P ( _k X _k > x) hold as x . In doing so, no any assumption is made on the dependence structure of the sequence { _k , 1 k n}. An application to ruin theory is proposed.     

The product of finitely based varieties of lattice-ordered groups

The question as to whether a product of two finitely based varieties of lattice-ordered groups is finitely based is considered. It is proved that varieties and are finitely based; here is a variety of lattice-ordered groups defined by identities [x ⁿ,y ⁿ] =e and [[x,y] z, [x ₁,y ₁] z ₁] =e; is a variety of lattice-ordered nilpotent groups of class s, defined by an identity [x ₁,x ₂,...,x _(s+1)] =e; V is an arbitrary finitely based variety of lattice-ordered groups. Translated fromAlgebra i Logika, Vol. 33, No. 3, pp. 255–263, May–June, 1994.Supported by the Russian Foundation for Fundamental Research, grant No. 93-011-1524.     

On a characterization of polynomials by divided differences

Summary We consider the functional equationf[x ₁,x ₂,, x _n ] =h(x ₁ + +x _n ) (x ₁,,x _n K, x _j x _k forj k), (D) wheref[x ₁,x ₂,,x _n ] denotes the (n – 1)-st divided difference off and prove Theorem. Let n be an integer, n 2, let K be a field, char(K) 2, with # K 8(n – 2) + 2. Let, furthermore, f, h: K K be functions. Then we have that f, h fulfil (D) if, and only if, there are constants a_j K, 0 j n (a := a_n, b := a_{n – 1}) such thatf = ax ⁿ +bx ^{n – 1} + +a ₀ and h = ax + b.     

On the Construction of Cosine Operator Functions and Semigroups on Function Spaces with Generator a(x)(d2dx2)+b(x)(d/dx)+c(x); Theory

In this paper we develop a method to solve exactly partial differential equations of the type ( ⁿ /t ⁿ )f(x,t)=(a(x)( ⁿ /x ⁿ )+b(x) (/x+c(x))f(x,t); n=1,2, with several boundary conditions, where f·,t) lies in a function space. The most powerful tool here is the theory of cosine operator functions and their connection to (holomorphic) semigroups. The method is that generally we are able to unify and generalize many theorems concerning problems in the theories of holomorphic semigroups, cosine operator functions, and approximation theory, especially these dealing with approximation by projections. These applications will be found in [14].     

The self-similar solutions to a fast diffusion equation

A quasilinear equation u -x·u/2+f(u)=0 is studied, wheref(u)=–u+u , > 0, 0<. <1, >1 andx R ⁿ. The equation arises from the study of blow-up self-similar solutions of the heat equation _t =+. We prove the existence and non-existence of ground state for various combination of , and . In particular, we prove that when / < forn=1,2 or / < (n + 2) /(n – 2) forn 3 there exists no non-constant positive radial self-similar solution of the parabolic equation, but for many cases where / > (n + 2)/(n – 2) there exists an infinite number of non-constant positive radial self-similar solutions.     

1-Homogeneous Graphs with Cocktail Party μ-Graphs

Let be a graph with diameter d 2. Recall is 1-homogeneous (in the sense of Nomura) whenever for every edge xy of the distance partition{{z V() | (z, y) = i, (x, z) = j} | 0 i, j d}is equitable and its parameters do not depend on the edge xy. Let be 1-homogeneous. Then is distance-regular and also locally strongly regular with parameters (v,k,,), where v = k, k = a ₁, (v – k – 1) = k(k – 1 – ) and c ₂ + 1, since a -graph is a regular graph with valency . If c ₂ = + 1 and c ₂ 1, then is a Terwilliger graph, i.e., all the -graphs of are complete. In [11] we classified the Terwilliger 1-homogeneous graphs with c ₂ 2 and obtained that there are only three such examples. In this article we consider the case c ₂ = + 2 3, i.e., the case when the -graphs of are the Cocktail Party graphs, and obtain that either = 0, = 2 or is one of the following graphs: (i) a Johnson graph J(2m, m) with m 2, (ii) a folded Johnson graph J¯(4m, 2m) with m 3, (iii) a halved m-cube with m 4, (iv) a folded halved (2m)-cube with m 5, (v) a Cocktail Party graph K _{m × 2} with m 3, (vi) the Schläfli graph, (vii) the Gosset graph.     

Efficient Regular Polygon Dissections

We study the minimum number g(m,n) (respectively, p(m,n)) of pieces needed to dissect a regular m-gon into a regular n-gon of the same area using glass-cuts (respectively, polygonal cuts). First we study regular polygon-square dissections and show that n/2 -2 g(4,n) (n/2) + o(n) and n/4 g(n,4) (n/2) + o(n) hold for sufficiently large n. We also consider polygonal cuts, i.e., the minimum number p(4,n) of pieces needed to dissect a square into a regular n-gon of the same area using polygonal cuts and show that n/4 p(4,n) (n/2) + o(n) holds for sufficiently large n. We also consider regular polygon-polygon dissections and obtain similar bounds for g(m,n) and p(m,n).     

Conditions for separately subharmonic functions to be subharmonic

Letu be a function on ^m × ⁿ , wherem2 andn2, such thatu(x, .) is subharmonic on ⁿ for each fixedx in ^m andu(.,y) is subharmonic on ^m for each fixedy in ⁿ . We give a local integrability condition which ensures the subharmonicity ofu on ^m × ⁿ , and we show that this condition is close to being sharp. In particular, the local integrability of (log⁺ u ⁺) ^m+n–2+ is enough to secure the subharmonicity ofu if >0, but not if <0.     

Asymptotic behavior of the dwell time distribution for a random walk on a positive semi-axis

Let ₁, ₂, ... be a sequence of independent identically distributed random variables with zero means. We consider the functional _n = _k=o ⁿ (S _k ) where S₁=0, S_k= _i=1 ^k _i (k1) and(x)=1 for x0,(x) = 0 for x<0. It is readily seen that _n is the time spent by the random walk S_n, n0, on the positive semi-axis after n steps. For the simplest walk the asymptotics of the distribution P (_n = k) for n and k, as well as for k = O(n) and k/n<1, was studied in [1]. In this paper we obtain the asymptotic expansions in powers of n^–1 of the probabilities P(h_n = nx) and P(nx_{1 n} nx₂) for 0<₁, x = k/n ₂<1, 0<₁x₁2₂<1.Translated from Matematicheskie Zametki, Vol. 15, No. 4, pp. 613–620, April, 1974.The author wishes to thank B. A. Rogozin for valuable discussions in the course of his work.     

Theorem on a convergence condition in the spaces

For a given -function (u), a condition on a -function (u) is found such that it is necessary and sufficient for the following to hold: if f_n(x) f(x) and f _n (x)M (n=1, 2, ...) where M>0 is an absolute constant, then f _n (x)–f(x)0(n). An analogous condition for convergence in Orlicz spaces is obtained as a corollary.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 615–626, May, 1977.The author thanks V. A. Skvortsov for his constant attention and guidance on this paper.     

A functional inequality for real-analytic functions

Summary Forf ( C ⁿ() and 0 t x letJ _n (f, t, x) = (–1)ⁿ f(–x)f ⁽ⁿ⁾(t) +f(x)f ⁽ⁿ⁾ (–t). We prove that the only real-analytic functions satisfyingJ _n (f, t, x) 0 for alln = 0, 1, 2, are the exponential functionsf(x) = c e ^x,c, . Further we present a nontrivial class of real-analytic functions satisfying the inequalitiesJ ₀ (f, x, x) 0 and ₀ ^x (x – t)^{n – 1}J_n(f, t, x)dt 0 (n 1).     

On the semimartingale representation of reflecting Brownian motion in a cusp

Summary LetC be the symmetric cusp {(x, y)²:–x yx ,x0} where >1. In this paper we decide whether or not reflecting Brownian motion inC has a semimartingale representation. Here the reflecting Brownian motion has directions of reflection that make constant angles with the unit inward normals to the boundary. Our results carry through for a wide class of asymmetric cusps too.     

The intuitionistic propositional calculus with quantifiers

Let L be the language of the intuitionistic propositional calculus J completed by the quantifiers and , and let calculus 2J in language L contain, besides the axioms of J, the axioms xB (x) B(y) and B(y) xB (x). A Kripke semantics is constructed for 2J and a completeness theorem is proven. A result of D. Gabbay is generalized concerning the undecidability of C2J⁺-extension of 2J by schemes x (x B) and x(A B(x))A xB (x) specificially: the undecidability is proven of each T theory in language L such that [2J]T [C2J+] ([2J] ([2J] denotes the set of all theorems of calculus 2J).Translated from Matematicheskie Zametki, Vol. 22, No. 1, pp. 69–76, July, 1977.     

Slope Estimates of Artin–Schreier Curves

Let X/F_p be an Artin–Schreier curve defined by the affine equation y ^p –y=f(x) where f(x)F_p[x] is monic of degree d. In this paper we develop a method for estimating the first slope of the Newton polygon of X. Denote this first slope by NP₁(X/F_p). We use our method to prove that if p>d2 then NP₁(X/F_p)(p–1)/d/(p–1). If p>2d4, we give a sufficient condition for the equality to hold.     

Lattice points in high-dimensional spheres

LetN(x, n, ) denote the number of integer lattice points inside then-dimensional sphere of radius (an)^1/2 with center at x. This numberN(x,n, ) is studied for fixed,n , andx varying. The average value (asx varies) ofN(x,n, ) is just the volume of the sphere, which is roughly of the form (2 e, ) ^n/2. it is shown that the maximal and minimal values ofN (x,n, ) differ from the everage by factors exponential inn, which is in contrast to the usual lattice point problems in bounded dimensions. This lattice point problem arose separately in universal quantization and in low density subset sum problems.     

Bestimmung der Eigenwerte und Eigenvektoren einer Matrix mit Hilfe des Quotienten-Differenzen-Algorithmus

Summary Two previous papers (in Vol. V) describe theory and some applications of the quotient-difference (=QD-) algorithm. Here we give an extension which allows the determination of the eigenvectors of a matrix. Letx ₍₀₎ ¹ , ...,x ₍₀₎ ⁿ be a coordinate system in whichA has Jacobi form (such a system may be constructed with methods ofC. Lanczos orW. Givens). Then the QD-algorithm allows the construction of a sequence of coordinate systemsx ₍₂₎ ¹ , ...,x ₍₂₎ ⁿ , (=0, 1, 2, ...) which converge for to the system of the eigenvectors ofA.     

Divergence of orthogonal series to +∞

An overall bounded orthonormal set of functions _n (x) is constructed for which there exists a series _m =1 a_nn(x) with coefficients a_n=o(ln'n/n), which diverges to + almost everywhere. The bibliography contains 4 references.Translated from Matematicheskie Zametki, Vol. 2, No. 5, pp. 483–494, November, 1967.