A note on “small representations of finite distributive lattices as congruence lattices”

G. Grätzer, H. Lakser, and E. T. Schmidt proved that every distributive lattice with n join-irreducible elements can be represented as the congruence lattice of a small lattice L, that is, a lattice L with O(n ² ) elements. G. Grätzer, I. Rival, and N. Zaguia proved that, for any <2, O(n ² ) can not be improved to O(n ). In this note we show that the theorem about small representation can be improved further to get a more delicate result.     

On Some Interpolation Rules for Lattice Ordered Groups

Let be an infinite cardinal. In this paper we define an interpolation rule IR() for lattice ordered groups. We denote by C() the class of all lattice ordered groups satisfying IR(), and prove that C() is a radical class.     

Lattice Tensor Products i. Coordinatization

G. Grätzer and F. Wehrung introduced the lattice tensor product, A B, of the lattices A and B. One of the most important properties is that for a simple and bounded lattice A, the lattice A B is a congruence-preserving extension of B. The lattice A B is defined as the set of certain subsets of A B; there is no easy test when a subset belongs to A B. A special case, M ₃B, was earlier defined by G. Gräatzer and F. Wehrung as M ₃, the it Boolean triple construct, defined as a subset of B ³, with a simple criterion when a triple belongs. A~recent paper of G. Grätzer and E. T. Schmidt illustrates the importance of this Boolean triple arithmetic. In this paper we show that for any finite lattice A, we can ``coordinatize" A B, that is, represent A B as a subset of B ⁿ (where n is the number of join-irreducible elements of A), and provide an effective criteria to recognize the n-tuples of elements of B that occur in this representation. To show the utility of this coordinatization, we reprove a special case of the above result: for a finite simple lattice A, the lattice A B is a congruence-preserving extension of B.     

Pappussche affine Klingenbergebenen

The result in this paper complements that of Mäurer and Nolte in [8]. Here we show: If the epimorphic image() of an affine Klingenberg plane (, ) is a Fano plane then the configuration conditions (DP),(SD) and (¯ p) imply that is isomorphic to the affine Klingenberg plane over a commutative local ringR, where 1+1 is a non-unit.The corresponding result for the case that () is not a Fano plane has been proved without using (¯ p) (see [8], Theorem 2).

---

---

Herrn Professor Dr. H. Mäurer gewidmet     

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.     

Maximum of the fourth diameter in the family of continua with prescribed capacity

We obtain a complete solution of the problem of the maximum of the fourth diameter in the family of continua with capacity 1. Let E(o, eⁱ, e^–i). 0<i, e^–i; H(=cap E(o, eⁱ, e^–i). Let C() be the common point of three analytic arcs which form E(o, eⁱ, e^–i). One shows that the indicated maximum is realized by the continuum ={z:H(₀)z ²E(o, eⁱ, e^–i)} where ₀, o<₀z eⁱ z+C ( is a real and C is a complex constant). One finds the value of the required maximum. The paper contains a brief exposition of the proof of this result.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 59, pp. 60–79, 1976.     

Interpolation of monotone functions in lattices

We show that for every latticeL ₀ and for every cardinal there is a lattice on which every monotone function can be interpolated by a polynomial on any set of size .Presented by G. Grätzer.Dedicated to '"N     

Conjugate functions of several variables in the class Lip α

It is known that if a function f of a single variable belongs to the class Lip (, C(T)) (0<<1), then its conjugate function also belongs to the same class; in other words, the class Lip (, C(T)) (0<<1) is invariant with respect to the operator of conjugation acting in it. In the two-dimensional case the class Lip (, C(T²)) (0<<1) is no longer invariant with respect to conjugate functions of two variables. Here a final result elucidating the full character of violation of invariance of the class Lip (, C(T^N)) (0<<1) with respect to the multidimensional conjugation operator acting in it is established.Translated from Matematicheskie Zametki, Vol. 23, No. 3, pp. 361–372, March, 1978.     

On lower bounds for polynomials in the values of E-functions

The paper considers polynomials in ,f₁(),...,f_s(), where is an algebraic number satisfying certain conditions and f₁(z),...,f_s(z) are some E-functions, algebraically independent over the field of rational functions. Explicit lower bounds in terms of the heights of and the polynomial are obtained for the absolute values of these polynomials. The result is proved by using the method of Siegel and idlovskii.This work was carried out while the author was a research fellow of the Alexander von Humboldt Foundation.     

Designs and partial geometries over finite fields

Let be a finite field, and let (, B) be a nontrivial 2-(n, k, 1)-design over . Then each point induces a (k–1)-spread S on /. (, B) is said to be a geometric design if S is a geometric spread on / for each . In this paper, we prove that there are no geometric designs over any finite field .Research partially supported by NSF grant DMS-8703229.     

Finitely generated pseudosimple algebras

We prove that there exist finitely generated algebras, which are pseudosimple but not simple. This problem goes back to Henkin, Monk, Tarski [71]. In fact, for any limit ordinal i, there exists a pseudosimple algebra, which has no proper subalgebra and whose congruence lattice is ⁱ+1. (Here ⁱ denotes ordinal power).Presented by George Grätzer.Research supported by Hungarian National Foundation for Scientific Research grant No. 1810.     

Points cônes du mouvement brownien plan,le cas critique

Summary LetB=(B _t,t0) be a planar Brownian motion and let >0. For anyt0, the pointz=B _t is called a one-sided cone point with angle if there exist >0 and a wedgeW(,z) with vertexz and angle such thatB _sW(,z) for everys[t, t+]. Burdzy and Shimura have shown independently that one-sided cone points with angle exist when >/2 but not when      

On some classes of modules

The aim of this paper is to investigate quasi-corational, comonoform, copolyform and -(co)atomic modules. It is proved that for an ordinal a right R-module M is -atomic if and only if it is -coatomic. And it is also shown that an -atomic module M is quasi-projective if and only if M is quasi-corationally complete. Some other results are developed.     

On monotone and convex approximation by algebraic polynomials

The following results are obtained: If >0, 2, [3, 4], andf is a nondecreasing (convex) function on [–1, 1] such thatE _n (f) n ^– for any n>, then E _n ⁽¹⁾ (f)Cn ^– (E _n ⁽²⁾ (f)Cn ^–) for n>, where C=C(), E_n(f) is the best uniform approximation of a continuous function by polynomials of degree (n–1), and E _n ⁽¹⁾ (f) (E _n ⁽²⁾ (f)) are the best monotone and convex approximations, respectively. For =2 ( [3, 4]), this result is not true.Published in Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 9, pp. 1266–1270, September, 1994.     

Incidences between Points and Circles in Three and Higher Dimensions

We show that the number of incidences between m distinct points and n distinct circles in ^d, for any d 3, is O(m^6/11n^9/11(m³/n)+m^2/3n^2/3+m+n), where (n)=(log n)^O((n))2 and where (n) is the inverse Ackermann function. The bound coincides with the recent bound of Aronov and Sharir, or rather with its slight improvement by Agarwal et al., for the planar case. We also show that the number of incidences between m points and n unrestricted convex (or bounded-degree algebraic) plane curves, no two in a common plane, is O(m^4/7n^17/21+m^2/3n^2/3+m+n), in any dimension d 3. Our results improve the upper bound on the number of congruent copies of a fixed tetrahedron in a set of n points in 4-space and the lower bound for the number of distinct distances in a set of n points in 3-space. Another application is an improved bound for the number of incidences (or, rather, containments) between lines and reguli in three dimensions. The latter result has already been applied by Feldman and Sharir to obtain a new bound on the number of joints in an arrangement of lines in three dimensions.     

On the Measure of a Nonreciprocal Algebraic Number

Let M() be the Mahler measure of an algebraic number and let G() be the modulus of the product of logarithms of absolute values of its conjugates. We prove that if is a nonreciprocal algebraic number of degree d 2 then M()² G()^1/d 1/2d. This estimate is sharp up to a constant. As a main tool for the proof we develop an idea of Cassels on an estimate for the resultant of and 1/. We give a number of immediate corollaries, e.g., some versions of Smyth's inequality for the Mahler measure of a nonreciprocal algebraic integer from below.     

On cyclic biquadratic fields related to a problem of Hasse

In this note we shall prove that there exist infinitely many cyclic biquadratic fieldsK whose integral bases are neither {1, , ², } nor {1, , , ³) for any numbers , inK. Next, we shall construct infinitely many cyclic biquadratic fieldsK which have the index 1, but still have not the integral basis {1, , ², ³) for every inK. Finally we shall give a class of biquadratic fields for a problem of Hasse concerning an integral basis.     

Empirical and Poisson processes on classes of sets or functions too large for central limit theorems

Summary Let P be the uniform probability law on the unit cube I ^d in d dimensions, and P _n the corresponding empirical measure. For various classes of sets AI ^d , upper and lower bounds are found for the probable size of sup {¦P _n –P) (A)¦ A }. If is the collection of lower layers in I ², or of convex sets in I ³, an asymptotic lower bound is ((log n)/n) ^1/2(log log n)^––1/2 for any >0. Thus the law of the iterated logarithm fails for these classes.If >0, is the greatest integer <, and 0 d f(x₁,...,x _d-1)} where f has all its partial derivatives of orders bounded by K and those of order satisfy a uniform Hölder condition ¦D ^p (f(x)–f(y))¦K¦x –y¦ ^–. For 0<–/(d–1+) for a constant = (d,)>0. When = d-1 the same lower bound is obtained as for the lower layers in I ² or convex sets in I ³. For 0 – 1 there is also an upper bound equal to a power of log n times the lower bound, so the powers of n are sharp.This research was partially supported by National Science Foundation Grant MCS-79-04474     

Some Classes of L 1-Convergence of Fourier Series

In this paper equivalent classes of the classes M and S _pr , p > 1, > 0. r { 0,1,2, ... ,[]} defined by Shuyun [3] are obtained. Then, it is shown that the class S _pr , 1 > p 2, 0, r {0,1,2,...,[]} is a subclass of BVC _r , where S _pr is the equivalent class of the Shuyun's class S _pr , BV is the class of null sequences of bounded variation and C _r is the extension of the Garrett--Stanojevic class. As a corollary of this result, we have obtained the theorem, proved in [7].     

Reguläre Hjelmslev-Homomorphismen

Zusammenfassung Es werden Homomorphismen von Hjelmslev-Gruppen betrachtet und der Begriff des regulären Hjelmslev-Homomorphismus eingeführt. Ein Hjelmslev-Homomorphismus : (G, S)(G, S) heißt regulär, wenn für jede Drehung in (G, S) gilt: F()={C}F()={C}. Dabei bedeutet F()={C}, daß C der einzige Fixpunkt von ist. Reguläre Hjelmslev-Homomorphismen lassen sich unter Voraussetzung des Gitteraxioms durch homogene Überdeckungen aus vollständigen Flecken charakterisieren. Wichtige Spezialfälle sind die zu Drehungen konstruierten Hjelmslev-Homomorphismen. Wenn die Großgeometrie von (G, S) existiert, bilden die Kerne der regulären Hjelmslev-Homomorphismen, für die das Zentrum der geraden Bewegungen in der Bildgruppe gleich Eins ist, einen vollständigen Verband mit Z(S^ger) als kleinstem und der Gruppe der Nachbarbewegungen als größtem Element. Auf der analytischen Seite entsprechen diesen Hjelmslev-Homomorphismen die durch echte Ideale des Koordinatenringes induzierten Homomorphismen. Reguläre Hjelmslev-Homomorphismen eignen sich dazu, das Axiom von der Eindeutigkeit der Verbindungsgeraden innerhalb einer allgemeineren Theorie zu studieren.Friedrich Bachmann zum siebzigsten Geburtstag