Ergodic properties of Poisson processes with almost periodic intensity

Summary We discuss in this paper a non-homogeneous Poisson process A driven by an almost periodic intensity function. We give the stationary version A ^* and the Palm version A ⁰ corresponding to A ^*. Let (T _i ,i) be the inter-point distance sequence in A and (T _i ⁰ ,i) in A ⁰. We prove that forj, the sequence (T _i+j,i) converges in distribution to (T _i ⁰ ,i). If the intensity function is periodic then the convergence is in variation.     

A remark on covering graphs

Every graph G may be transformed into a covering graph either by deletion of edges or by subdivision. Let _E (G) and _V (G) denote corresponding minimal numbers. We prove _E (G) = _V (G) for every graph G.     

Product Representations in ΠΣ-Fields

-fields are a very general class of difference fields that enable one to discover and prove multisum identities arising in combinatorics and special functions. In this article we focus on the problem how such multisums can be represented in terms of -fields. In particular we consider product representations and their simplifications in -fields.Received July 09, 2003     

A note on theΠ 2 0 -induction rule

It is well-known (due to C. Parsons) that the extension of primitive recursive arithmeticPRA by first-order predicate logic and the rule of ₂ ⁰ -induction ₂ ⁰ -IR is ₂ ⁰ -conservative overPRA. We show that this is no longer true in the presence of function quantifiers and quantifier-free choice for numbersAC ^0,0-qf. More precisely we show that :=PRA ² + ₂ ⁰ -IR+AC ^0,0-qf proves the totality of the Ackermann function, wherePRA ² is the extension ofPRA by number and function quantifiers and ₂ ⁰ -IR may contain function parameters.This is true even forPRA ² + ₁ ⁰ -IR+ ₂ ⁰ -IR ^–+AC ^0,0-qf, where ₂ ⁰ -IR ^– is the restriction of ₂ ⁰ -IR without function parameters.I am grateful to an anonymous referee whose suggestions led to an improved discussion of our results     

Besov Spaces and a Trace Ideal

Let 2 be the operator ideal of all absolutely 2-summing operators and let (2)2,1(a) be the ideal of operators of 2-approximation type l2,1. In this paper we give some sufficient conditions for matrices and kernels related to Besov spaces to generate operators belonging to the ideal (2)2,1(a).     

Extensions of Laguerre operators in indefinite inner product spaces

The Laguerre-Sonin polynomialsL _n ⁽⁾ are orthogonal in linear spaces with indefinite inner product if<–1. We construct the completion () of this space and describe self-adjoint extensions of the Laguerre operatorl(y)=xy+(1+–x)y,<–1, in the space (). In particular, we write out the self-adjoint extension of the Laguerre operator whose eigenfunctions coincide with the Laguerre-Sonin polynomials and form an orthogonal basis in ().Translated fromMatematicheskie Zametki, Vol. 63, No. 4, pp. 509–521, April, 1998.This research was partially supported by the INTAS foundation under grant No. 93-02449.     

A Foliation of the Space of Conjugacy Classes of Representations of a Surface Group

Let be the fundamental group of a closed orientable surface of genus g 1, and let R(, G)/G be the space of conjugacy classes of representations of into a connected real reductive Lie group G. Motivated by the theory of geometric quantization, we define a map ¯ on R(, G)/G and investigate whether the fibres of ¯ are isotropic with respect to the natural symplectic structure on R(, G)/G. If g = 2 and G = SU(2), then the foliation given by the fibres of ¯ is equivalent to a real polarization defined by Weitsman, and we reprove his result that the fibres are isotropic in this case. If g = 1 then the fibres of ¯ are also isotropic, but we give an example to show that in general they are not.     

Rate of approximation by rectangular partial sums of double orthogonal series

( ) . .

---

---

Dedicated to Professor K. Tandori on his seventieth birthday

---

This research was supported in part by Grant # K41 100 of the Joint Fund of the Government of Ukraine and the International Science Foundation.     

Standard completeness theorem for ΠMTL

MTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that MTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the class of MTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all MTL-algebras.The work was supported by the Grant Agency of the Czech Republic under projects GACR 201/02/1540, 401/03/H047, and by Net CEEPUS SK-042.Set offprint requests to: Rostislav Horík     

The odd ordér analogue of Dempwolff's B-group problem

Let be a translation plane of odd order p^2R for p a prime. Let admit at least two p-groups, B_i, i=1, 2, B₁B₂ of orders > p^R/2 which fix Baer subplanes _i, i = 1,2, ₁₂ pointwise. It is shown that under these assumptions must be a Hall plane.     

The existence of probability measures with specified projections

Let X and Y be locally compact-compact topological spaces, F X×Y is closed, and P(F) is the set of all Borel probability measures on F. For us to find, for the pair of probability measures (_x, _y P (X)×P(Y), a probability measure P(F) such that _X = _X ^–1 , _Y = _Y ^–1 it is necessary and sufficient that, for any pair of Borel sets A X, B Y for which (A× B) F=Ø, the condition _XA+ _YB 1 holds.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 573–576, October, 1973.     

On contiguity of probability measures corresponding to semimartingales

, (ⁿ), - (P ⁿ ), P ⁿ (A ⁿ )>0P ⁿ (A ⁿ )0,n. [15] - , . , P ⁿ P ⁿ T ⁿ T ⁿ .     

Change in the degree of anisotropy of unidirectional glass-reinforced plastics during winding

The change in the degree of anisotropy of the principal elastic and strength properties of unidirectional glass-reinforced plastics during the winding process is described. Two such materials — LSB-F and LSO-R-2M — have been experimentally investigated. The anisotropy of the elastic properties is characterized by the parameter and that of the strength properties by the parameter =/_r.Institute of Polymer Mechanics, Academy of Sciences of the Latvian SSR, Riga. Translated from Mekhanika Polimerov, No. 5, pp. 953–956, September–October, 1970.     

Doubly β-Derived Translation Planes

Existence and uniqueness of a doubly -derived translation plane of order 49 are proved. Furthermore, we give a complete classification of those translation planes of order 49 which can be obtained from the desarguesian plane of order 49 by a mixed double derivation, namely by applying a -derivation on and a classical derivation (also called Ostrom's derivation or -derivation) on .     

Schwarz-Pick Inequalities for Hyperbolic Domains in the Extended Plane

Let and be two hyperbolic simply connected domains in the extended complex plane C¯ = C¯ {}. We derive sharp upper bounds for the modulus of the nth derivative of a holomorphic, resp. meromorphic function f: at a point z ₀ . The bounds depend on the densities (z ₀) and (f(z ₀)) of the Poincaré metrics and on the hyperbolic distances of the points z ₀ and f(z ₀) to the point .     

Some extremal results on circles containing points

We define (n) to be the largest number such that for every setP ofn points in the plane, there exist two pointsx, y P, where every circle containingx andy contains (n) points ofP. We establish lower and upper bounds for (n) and show that [n/27]+2(n)[n/4]+1. We define for the special case where then points are restricted to be the vertices of a convex polygon. We show that .     

Sur l'homotopie rationnelle des espaces fonctionnels

Let X be a nilpotent space such that it exists k1 with H^p (X,) = 0 p > k and H^k (X,) 0, let Y be a (m–1)-connected space with mk+2, then the rational homotopy Lie algebra of Y^X (resp. is isomorphic as Lie algebra, to H^* (X,) (_* (Y) ) (resp.⁺ (X,) (_* (Y) )). If X is formal and Y -formal, then the spaces Y^X and are -formal. Furthermore, if dim _* (Y) is infinite and dim H^* (Y,Q) is finite, then the sequence of Betti numbers of grows exponentially.     

Onp-Helson sets in R n

p- . E R ⁿ -, f () _p(R ⁿ)., ER ⁿ 2nq ₀, E— - q ₀(q ₀-1). : q₀>2 n1 E R ⁿ 2nq ₀, p- p<₀. , f-[-, ]ⁿ, f A _p(R ⁿ) , _p([-, ]ⁿ) (1 << ).