Weakly union-free twofold triple systems

In this paper, we settle a problem of Frankl and Füredi, which is a special case of a problem of Erdös, determining the maximum number of hyperedges in a 3-uniform hypergraph in which no two pairs of distinct hyperedges have the same union. The extremal case corresponds to the existence of weakly union-free twofold triple systems, which is settled here with six definite and four possible exceptions. An application to group testing is also given.     

Element neighbourhoods in twofold triple systems

The method of differences is used to establish that every 2-regular multigraph onv– 10,2 (mod 3) points occurs as the neighbourhood graph of an element in a twofold triple system of orderv, with two exceptions: C₂C₃and C₃C₃.Dedicated to Professor Hanfried Lenz on the occasion of his seventieth birthday     

Every effect algebra can be made into a total algebra

We prove that every effect algebra (E,+, 0, 1) can easily be made into a total algebra (E,⊕, ¬, 0) of type (2, 1, 0) in such a way that two elements are compatible in (E,+, 0, 1) if and only if they commute in (E,⊕, ¬, 0).     

Every finite lattice can be embedded in a finite partition lattice

Conclusions There are many questions, which arise in connection with the theorem presented. In general, we would like to know more about the class of embeddings of a given lattice in the lattices of all equivalences over finite sets. Some of these problems are studied in [4]. In this paper, an embedding is called normal, if it preserves 0 and 1. Using regraphs, our result can be easily improved as follows: THEOREM.For every lattice L, there exists a positive integer n ₀,such that for every n≥n ₀,there is a normal embedding π: L→Eq(A), where |A|=n. Embedding satisfying special properties are shown in Lemma 3.2 and Basic Lemma 6.2. We hope that our method of regraph powers will produce other interesting results. There is also a question about the effectiveness of finding an embedding of a given lattice. In particular, the proof presented here cannot be directly used to solve the following. Problem. Can the dual of Eq(4) be embedded into Eq(2¹⁰⁰⁰)? Presented by G. Gr?tzer.     

Every integer can be written as a square plus a squarefree

In the paper we can prove that every integer can be written as the sum of two integers, one perfect square and one squarefree. We also establish the asymptotic formula for the number of representations of an integer in this form. The result is deeply related with the divisor function. In the course of our study we get an independent result about it. Concretely we are able to deduce a new upper bound for the divisor function fully explicit.     

Extended directed triple systems

Let {n;b₂,b₁} denote the class of extended directed triple systems of the order n in which the number of blocks of the form [a,b,a] is b₂ and the number of blocks of the form [b,a,a] or [a,a,b] is b₁. In this paper, we have shown that the necessary and sufficient condition for the existence of the class {n;b₂,b₁} is b₁≠1, 0?b₂+b₁?n and

(1)

for ;

(2)

for .

     

Disjoint finite partial steiner triple systems can be embedded in disjoint finite steiner triple systems

This paper shows that a pair of disjoint finite partial Steiner triple systems can be embedded in a pair of disjoint finite Steiner triple systems.     

Simple and indecomposable twofold cyclic triple systems from Skolem sequences

We construct simple indecomposable twofold cyclic triple systems TS₂(v) for all v ≡ 0, 1, 3, 4, 7, and 9(mod 12), where v = 4 or v ≥ 12, using Skolem‐type sequences. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 402–410, 2000     

Every weakly compact set can be uniformly embedded into a reflexive Banach space

Based on an application of the Davis-Figiel-Johnson-Pelzyski procedure, this note shows that every weakly compact subset of a Banach space can be uniformly embedded into a reflexive Banach space. As its application, we present the recent renorming theorems for reflexive spaces of Odell- Schlumprecht and Hajek-Johanis can be extended and localized to weakly compact convex subsets of an arbitrary Banach space.     

Cyclic antiautomorphisms of directed triple systems

A transitive triple, (a,b,c), is defined to be the set {(a,b), (b,c), (a,c)} of ordered pairs. A directed triple system of order v, DTS(v), is a pair (D,β), where D is a set of v points and β is a collection of transitive triples of pairwise distinct points of D such that any ordered pair of distinct points of D is contained in precisely one transitive triple of β. An antiautomorphism of a Directed triple system, (D,β), is a permutation of D that maps β to β⁻¹, where β ⁻¹ = {(c,b,a)|(a,b,c) E β}. In this article we give necessary and sufficient conditions for the existence of a Directed triple system of order v admitting an antiautomorphism consisting of a single cycle of length d and having v − d fixed points. Further, we give a more general result for partial Directed triple systems in which the missing ordered pairs are precisely those containing two fixed points. © 1996 John Wiley & Sons, Inc.     

Embeddings of simple directed triple systems

In this paper, we completely solve the embedding problem of simple directed triple systems by proving that the necessary conditions for the embeddings of directed triple systems are also sufficient. This project is supported by the Science and Technology Foundation of Shanghai Jiao Tong University     

Embeddings of pure mendelsohn triple systems and pure directed triple systems

It is proved in this article that the necessary and sufficient conditions for the embedding of a λ-fold pure Mendelsohn triple system of order v in λ-fold pure Mendelsohn triple of order u are λu(u ? 1) ≡ 0 (mod 3) and u ? 2v + 1. Similar results for the embeddings of pure directed triple systems are also obtained. © 1995 John Wiley & Sons, Inc.     

Every real Banach space can be renormed to satisfy the denseness of numerical radius attaining operators

First we show that every real Banach space satisfying a certain property, calledβ (used by Lindenstrauss and Partington) verifies the denseness of the numerical radius attaining operators. Using this result and a renorming theorem by Partington we conclude that every Banach space is isomorphic to a new one satisfying the denseness of the numerical radius attaining operators.