Orthmodular lattices whose MacNeille completions are not orthomodular

The only known example of an orthomodular lattice (abbreviated: OML) whose MacNeille completion is not an OML has been noted independently by several authors, see Adams [1], and is based on a theorem of Ameniya and Araki [2]. This theorem states that for an inner product space V, if we consider the ortholattice ?(V,⊥) = {A \( \subseteq \) V: A = A ^⊥⊥} where A ^⊥ is the set of elements orthogonal to A, then ?(V,⊥) is an OML if and only if V is complete. Taking the orthomodular lattice L of finite or confinite dimensional subspaces of an incomplete inner product space V, the ortholattice ?(V,⊥) is a MacNeille completion of L which is not orthomodular. This does not answer the longstanding question Can every OML be embedded into a complete OML? as L can be embedded into the complete OML ?(V,⊥), where V is the completion of the inner product space V. Although the power of the Ameniya-Araki theorem makes the preceding example elegant to present, the ability to picture the situation is lost. In this paper, I present a simpler method to construct OMLs whose Macneille completions are not orthomodular. No use is made of the Ameniya-Araki theorem. Instead, this method is based on a construction introduced by Kalmbach [7] in which the Boolean algebras generated by the chains of a lattice are glued together to form an OML. A simple method to complete these OMLs is also given. The final section of this paper briefly covers some elementary properties of the Kalmbach construction. I have included this section because I feel that this construction may be quite useful for many purposes and virtually no literature has been written on it.     

Search

This paper reviews the theory of search. The main viewpoint is statistical but considerable space is spent on connections with other fields such as logic and optimisation. Three primitive ideas dominate: consistency, entropy, and Bayes' methods. The theory of screening provides one of the central examples and there is a section on nonsequential random search deriving from the work of Renyi. The game of Bulls and Cows provides a motivating example for both sequential and nonsequential algorithms.     

Differential calculus on quantized simple lie groups

Differential calculi, generalizations of Woronowicz's four-dimensional calculus on SU _q (2), are introduced for quantized classical simple Lie groups in a constructive way. For this purpose, the approach of Faddeev and his collaborators to quantum groups was used. An equivalence of Woronowicz's enveloping algebra generated by the dual space to the left-invariant differential forms and the corresponding quantized universal enveloping algebra, is obtained for our differential calculi. Real forms for q are also discussed.     

Functional inequality characterizing nonnegative concave functions in (0, ∞) k

Summary In the present note we prove that every functionf: (0, ) [0, ) satisfying the inequalityaf(s) + bf(t) f(as + bt), s, t > 0, for somea andb such that 0 <a < 1 <a + b must be of the formf(t) = f(1)t, (t > 0). This improves our recent result in [2], where the inequality is assumed to hold for alls, t 0, and gives a positive answer to the question raised there.An analogue for functions of several real variables of the above result characterizes concave functions. Conjugate functions and some relations to Hölder's and Minkowski's inequalities are mentioned.     

Some properties of the riesz charge associated with a δ-subharmonic function

The first property is a refinement of earlier results of Ch. de la Vallée Poussin, M. Brelot, and A. F. Grishin. Let w=u–v with u, v superharmonic on a suitable harmonic space (for example an open subset of R ⁿ ), and let [w]=[u]–[v] denote the associated Riesz charge. If w0, and if E denotes the set of those points of at which the lim inf of w in thefine topology is 0, then the restriction of [w] to E is 0. Another property states that, if e denotes a polar subset of such that the fine lim inf of |w| at each point of e is finite, then the restriction of [w] to e is 0.     

On the topology of compact smooth three-dimensional Levi-flat hypersurfaces

We study topological conditions that must be satisfied by a compactC ^∞ Levi-flat hypersurface in a two-dimensional complex manifold, as well as related questions about the holonomy of Levi-flat hypersurfaces. As a consequence of our work, we show that no two-dimensional complex manifold admits a subdomain Ω with compact nonemptyC ^∞ boundary such that Ω ? ?².     

Chern forms,chern numbers and curvature conditions on a Kähler-Einstein surface

In this paper we considered curvature conditions on a Kähler-Einstein surface of general type. In particular we showed that it has negative holomorphic sectional curvature if theL ²-norm of (3C ₂ ?C ₁ ² )/C ₁ ² is sufficiently small, whereC ₁ andC ₂ are the first and second Chern classes of the surfaces. This generalizes a result of Yau on the uniformization of Kähler-Einstein surfaces of general type and with 3C ₂ ?C ₁ ² = 0. Also in the process, we obtain a necessary condition in terms of an inequality between Chern numbers for a Kähler-Einstein metric to have negative holomorphic sectional curvature.     

Factorial regular representation of groups in complete graphs

A necessary and sufficient condition for the group of isomorphisms involved in a factorization of a complete graph into isomorphic factors is established.     

Conditional solubility versus pO2− of cerium(III) oxide in molten equimolar NaCl+KCl at 727°C

Reactions between cerium trichloride and oxide ions were studied in NaCl+KCl (1/1) at 1000°K, by potentiometry with a calcia-stabilized zirconia membrane electrode. Titration curves clearly demonstrated the existence of soluble cerium oxychloride (CeO⁺) and precipitated cerium oxide (Ce₂O₃), with respective dissociation constants 10^?11 and 10^?30 (molality scale). The corresponding conditional solubility diagram {log S (Ce^III)=f(pO^2?)} is presented and discussed.     

Unusual Reactivities of ortho-Hydroxy-β-nitrostyrene

Nitrostyrene derivatives are widely used in organic syntheses as a substrate for Michael addition, photoisomerization and cycloaddition. In contrast, ortho-hydroxy derivatives exhibit unusual behaviors in these reactions. Conjugate addition proceeded upon treatment of the ortho-hydroxy-β-nitrostyrene with an amine; however, subsequent C–C bond cleavage readily occurred to afford the corresponding imine. Moreover, conversion of the trans-isomer to a cis-isomer did not occur efficiently, even when UV light was irradiated. We studied these unusual behaviors of β-nitrostyrene, focusing on the role of the ortho-hydroxy group.