Singular points of a star-finite tiling

Let be a star-finite tiling of a topological vector space of dimension greater than one and let S() denote the set of singular points of . We show that S() is either uncountable or empty by investigating the density in S() of certain subcollections of geometrically interesting singular points.     

Groups acting simply transitively on the vertices of a building of typeà 2, II: The casesq=2 andq=3

If (P, L) is a projective plane and is a triangle presentation compatible with a point-line correspondence :P L, then gives rise to a group and a thick building of typeà ₂ on the vertices of which acts simply transitively. We find all triangle presentations (up to natural equivalence) compatible with some point-line correspondence :P L, when (P, L) is the projective plane of orderq=2 orq=3. For some, but not all, of these , is isomorphic to the building associated withG=PGL(3,K) whereK is a local field with discrete valuation and residual field of orderq. We identify the for which this is the case, and in these cases, find embeddings of intoG. We also describe the arithmetic nature of these groups.     

Study of a filtration expanded to include an honest time

Summary Let (,, P) be a measurable space, and { _t} be a filtration on (,). Then, given a fixed honest timeL a new filtrationG _t} is defined, the smallest containing { _t} and for whichL is a stopping time, and the martingales, semimartingales and stopping times of this new filtration are characterised.     

Tessellations generated by hyperplanes

Let be a locally finite system of hyperplanes in ^d with the property that the cells of the induced cell complex decomposition of ^d have uniformly bounded diameters. If is simple and the density of the vertices in exists, then the density of thek-cells in exists and can be given explicitly (k = 1, ...,d). Also, the mean number ofj-faces of thek-cells in exists and can be calculated. For certain nonsimple systems , corresponding inequalities are obtained.     

On the divisibility of homogeneous hypergraphs

We denote byK _k ,k, 2, the set of allk-uniform hypergraphsK which have the property that every element subset of the base ofK is a subset of one of the hyperedges ofK. So, the only element inK ₂ ² are the complete graphs. If is a subset ofK _k then there is exactly one homogeneous hypergraphH whose age is the set of all finite hypergraphs which do not embed any element of . We callH -free homogeneous graphsH _n have been shown to be indivisible, that is, for any partition ofH _n into two classes, oue of the classes embeds an isomorphic copy ofH _n . [5]. Here we will investigate this question of indivisibility in the more general context of-free homogeneous hypergraphs. We will derive a general necessary condition for a homogeneous structure to be indivisible and prove that all-free hypergraphs for K _k with 3 are indivisible. The-free hypergraphs with K _k ² satisfy a weaker form of indivisibility which was first shown by Henson [2] to hold forH _n . The general necessary condition for homogeneous structures to be indivisible will then be used to show that not all-free homogeneous hypergraphs are indivisible.This research has been supported by NSERC grant 69–1325.     

On the homogeneous Riemannian structures of type ℐ1⊕ℐ3

We study homogeneous Riemannian structures belonging to the class ₁₃ of the classification given by Tricerri and Vanhecke. The main result is the following: a connected, simply connected Riemannian manifoldM admits a homogeneous structureT of type ₁₃,T₃, if and only ifM is isometric to a hyperbolic space ⁿ .This work was partially supported by M.P.I.     

Complements to ‘The Bruhat order on symmetric varieties’

We give several complements to the paper The Bruhat order on symmetric varieties. Our main result shows that the partial order on the set of twisted involutions in the Weyl groupW, which was introduced in the earlier paper, agrees with the partial order on induced by the usual Bruhat order onW.R. W. Richardson died on 15 June. 1993.     

On representing contexts in line arrangements

Acontext is defined to be a triple (G, M, J) of setsG, M and an incidence relationJ G×M.A finite set ofn oriented lines in general position in the euclidean plane induces a cell decomposition of the plane. For a givenk-element subset of cells of dimension 2, we define an incidence relationJ × as follows:t _i andl _j are incident if and only ift _i lies on the positive side with respect tol _j .We call a context (G, M, J)represented in a line arrangement if and only if there are relation preserving bijections betweenG and ,M and , respectively. We study conditions for a context to be representable in a line arrangement.Especially, we provide a non-trivial infinite class of contexts which can not be represented in a line arrangement.     

The Terwilliger algebras of certain association schemes over the Galois rings of characteristic 4

In a cyclotomic scheme over a finite field, there are some relations between the irreducible modules of the Terwilliger algebra and the Jacobi sums over the field. These relations were investigated in [3]. In this paper, we replace the finite field by a commutative local ring which is called a Galois ring of characteristic 4. Hence we want to find similar relations between the irreducible modules of the Terwilliger algebra and the Jacobi sums over the local ring. Specifically, if we let be a Galois ring of characteristic 4,X a cyclotomic scheme over with classD and the Terwilliger algebra ofX, then we show that most of the irreducible -modules have standard forms; otherwise, certain relations of the Jacobi sums hold. When the classD is three, we can completely determine the irreducible -modules using Jacobi sums.     

Realizations of regular polytopes

Let be a finite regular incidence-polytope. A realization of is given by an imageV of its vertices under a mapping into some euclidean space, which is such that every element of the automorphism group () of induces an isometry ofV. It is shown in this paper that the family of all possible realizations (up to congruence) of forms, in a natural way, a closed convex cone, which is also denoted by The dimensionr of is the number of equivalence classes under () of diagonals of , and is also the number of unions of double cosets ^{** *–1*} ( ^*), where ^* is the subgroup of () which fixes some given vertex of . The fine structure of corresponds to the irreducible orthogonal representations of (). IfG is such a representation, let its degree bed _G , and let the subgroup ofG corresponding to ^* have a fixed space of dimensionw _G . Then the relations

On the geometric structure of independence systems

A bouquet of matroids is a combinatorial structure that generalizes the properties of matroids. Given an independence system, there exist several bouquets of matroids having the same family of independent sets. We show that the collection of these geometries forms in general a meet semi-lattice and, in some cases, a lattice (for instance, when is the family of the stable sets in a graph). Moreover, one of the bouquets that correspond to the highest elements in the meet semi-lattice provides the smallest decomposition of into matroidal families, such that the rank functions of the different matroids have the same values for common sets. In the last section, we give sharp bounds on the performance of the greedy algorithm, using parameters of some special bouquets in the semi-lattice.     

On meromorphic solutions of algebraic differential equations in angular domains

We obtain asymptotic estimates of meromorphic solutions to the differential equationP _n (z, , )=P _n–1 (z, , ,..., ^(m) ) in the angular domain P={z: arg z · }. Here P_n(z, w, w) is a polynomial in all variables, and of degree n with respect to w and w; P_n–1(z, w, w, ..., w^(m)) is a polynomial in all variables, and of degree n –1 with respect to w, w, ..., w^(m) In the particular case, when the solutions are entire functions, these estimates are more precise than the known estimates that are obtained by using the method of Wiman-Valiron, which cannot be applied to meromorphic solutions in the domain P.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 4, pp. 514–523, April, 1992.     

Rep-tiling Euclidean space

Summary Arep-tiling is a self replicating, lattice tiling ofR ⁿ .Lattice tiling means a tiling by translates of a single compact tile by the points of a lattice, andself-replicating means that there is a non-singular linear mapø: R ⁿ Rⁿ such that, for eachT , the imageø(T) is, in turn, tiled by . This topic has recently come under investigation, not only because of its recreational appeal, but because of its application to the theory of wavelets and to computer addressing. The paper presents an exposition of some recent results on rep-tiling, including a construction of essentially all rep-tilings of Euclidean space. The construction is based on radix representation of points of a lattice. One particular radix representation, called thegeneralized balanced ternary, is singled out as an example because of its relevance to the field of computer vision.     

Transfinite interpolation on the medians of a triangle and best L 1-approximation

Let be a triangle in and let be the set of its three medians. We construct interpolants to smooth functions using transfinite (or blending) interpolation on The interpolants are of type f(₁)+g(₂)+h(₃), where (₁,₂,₃) are the barycentric coordinates with respect to the vertices of . Based on an error representation formula, we prove that the interpolant is the unique best L¹-approximant by functions of this type subject the function to be approximated is from a certain convexity cone in C³().Received: 17 December 2003     

On a Test Statistic for Linear Trend

Let {W(s)} _s 0 be a standard Wiener process. The supremum of the squared Euclidian norm Y (t)², of the R²-valued process Y(t)=(1/t W(t), {12/t ³ int_{0 t} s dW (s)– {3/t} W(t)), t [, 1], is the asymptotic, large sample distribution, of a test statistic for a change point detection problem, of appearance of linear trend. We determine the asymptotic behavior P {sup _t [, 1] Y(t)² > u as u , of this statistic, for a fixed (0,1), and for a moving = (u) 0 at a suitable rate as u . The statistical interest of our results lie in their use as approximate test levels.     

Modules over matrix near-rings and the ℐ0-radical

This paper clears up some questions concerning type 0 modules over matrix near-rings and the ₀-radical in matrix near-rings. It is shown that, unlike in the type 2 case, type 0 modules over matrix near-rings may arise in several non-isomorphic ways. As a result, we do not always have the same nice relationship between the ₀-radicals of a near-ring and the corresponding matrix near-ring, as we do for the ₂-radical. All near-rings concerned are zero-symmetric with identity element.     

Polynomially convex orbits of compact lie groups

LetV be a finite dimensional complex linear space and letG be a compact subgroup of GL(V). We prove that an orbitG, V, is polynomially convex if and only ifG is closed andG is the real form ofG . For every orbitG which is not polynomially convex we construct an analytic annulus or strip inG with the boundary inG. It is also proved that the group of holomorphic automorphisms ofG which commute withG acts transitively on the set of polynomially convexG-orbits. Further, an analog of the Kempf-Ness criterion is obtained and homogeneous spaces of compact Lie groups which admit only polynomially convex equivariant embeddings are characterized.Supported by Federal program Integratsiya, no. 586.Supported by INTAS grant 97/10170.     

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.     

Multiscale convergence and reiterated homogenization of parabolic problems

Reiterated homogenization is studied for divergence structure parabolic problems of the form u /t–div (a(x,x/,x/²,t,t/ ^k)u )=f. It is shown that under standard assumptions on the function a(x, y ₁,y ₂,t,) the sequence {u } of solutions converges weakly in L ² (0,T; H ₀ ¹ ()) to the solution u of the homogenized problem u/t– div(b(x,t)u)=f.This revised version was published online in April 2005 with a corrected missing date string.     

Homotopy types for tamely approximable Sobolev maps between manifolds

We define a class ^p (M,N) of Sobolev maps from a manifoldM into a manifoldN, in such a way that each mapu ^p (M, N) has a well defined [p]-homotopy type, providedN satisfies a topological hypothesis. Using this, we prove the existence of minimizers in [p]-homotopy classes for some polyconvex variational problems.