Locally Closed Semirings

 We call a semiring S locally closed if for all a ∈ S there is some integer k such that 1 + a + ⋯ + a ^k  =1 + a + ⋯ + a ^k + 1 . In any locally closed semiring we may define a star operation a ↦ a ^*, where a ^* is the above finite sum. We prove that when S is locally closed and commutative, then S is an iteration semiring.     

Bounds on Maximal Families of Sets Not Containing Three Sets with A ∩ B ⊂ C, A ⊄ B

Lower and upper estimates are given on the size of a family of subsets of an n-element set containing no three distinct sets satisfying A ∩ B ⊂ C, A ⊄ B. This is a sharpening of an earlier result where the same question was solved under the condition that there are no three distinct sets such that A ∩ B ⊂ C. The second author was supported by the Hungarian National Foundation for Scientific Research grant numbers NK062321, AT048826, the Bulgarian National Science Fund under Grant IO-03/2005 and the projects of the European Community: INTAS 04-77-7171, FIST–MTKD-CT-2004-003006.     

On semirings whose additive reduct is a semilattice

A semiring S whose additive reduct is a semilattice is called a k-regular semiring if for every a∈S there is x∈S such that a+axa=axa. For a semigroup F, the power semiring P(F) is a k-regular semiring if and only if F is a regular semigroup. An element e∈S is a k-idempotent if e+e ²=e ². Basic properties of k-regular semirings whose k-idempotents are commutative have been studied.     

Largest Families Without an <Emphasis Type="Italic">r</Emphasis>-Fork

Let [n] = { 1,2,...,n} be a finite set, a family of its subsets, 2 ≤ r a fixed integer. Suppose that contains no r + 1 distinct members F, G ₁,..., G _r such that F ⊂ G ₁,...,F ⊂ G _r all hold. The maximum size is asymptotically determined up to the second term, improving the result of Tran. The work of the second author was supported by the Hungarian National Foundation for Scientific Research grant numbers NK0621321, AT048826, the Bulgarian National Science Fund under Grant IO-03/2005 and the projects of the European Community: INTAS 04-77-7171, COMBSTRU–HPRN-CT-2002-000278, FIST–MTKD-CT-2004-003006.     

On the number of triple points of an immersed surface with boundary

Given a generic immersionf:S ¹→S ² of a circle into the sphere, we find the best possible lower estimation for the number of triple points of a generic immersionF: (M, S ¹)→(B ³,S ²) extendingf, whereM is an oriented surface with boundary ∂M=S ¹,B ³ is the 3-dimensional ball with boundaryS ². Supported by the Hungarian National Science and Research Foundation OTKA 2505 Supported by the Hungarian National Science and Research Foundation OTKA T4232 This article was processed by the author using the Springer-Verlag T_EX P Jour1g macro package 1991.     

Generalized Jacobian for Functions with Infinite Dimensional Range and Domain

In this paper, locally Lipschitz functions acting between infinite dimensional normed spaces are considered. When the range is a dual space and satisfies the Radon–Nikodym property, Clarke’s generalized Jacobian will be extended to this setting. Characterization and fundamental properties of the extended generalized Jacobian are established including the nonemptiness, the β-compactness, the β-upper semicontinuity, and a mean-value theorem. A connection with known notions is provided and chain rules are proved using key results developed. This included the vectorization and restriction theorem, and the extension theorem. Therefore, the generalized Jacobian introduced in this paper is proved to enjoy all the properties required of a derivative like-set. Research of the first author is supported by the Hungarian Scientific Research Fund (OKTA) under grant K62316. Research of the second author is supported by the National Science Foundation under grant DMS-0306260.     

Transversals of additive Latin squares

LetA={a ₁, …,a _k} andB={b ₁, …,b _k} be two subsets of an Abelian groupG, k≤|G|. Snevily conjectured that, whenG is of odd order, there is a permutationπ ∈S _ksuch that the sums α _i +b _i , 1≤i≤k, are pairwise different. Alon showed that the conjecture is true for groups of prime order, even whenA is a sequence ofk<|G| elements, i.e., by allowing repeated elements inA. In this last sense the result does not hold for other Abelian groups. With a new kind of application of the polynomial method in various finite and infinite fields we extend Alon’s result to the groups (ℤ _p ) ^a and in the casek<p, and verify Snevily’s conjecture for every cyclic group of odd order. Supported by Hungarian research grants OTKA F030822 and T029759. Supported by the Catalan Research Council under grant 1998SGR00119. Partially supported by the Hungarian Research Foundation (OTKA), grant no. T029132.     

The generalized bisymmetric solutions of the matrix equation A 1 X 1 B 1 + A 2 X 2 B 2 + ? + A l X l B l = C and its optimal approximation

For fixed generalized reflection matrix P, i.e. P ^T  = P, P ² = I, then matrix X is said to be generalized bisymmetric, if X = X ^T  = PXP. In this paper, an iterative method is constructed to find the generalized bisymmetric solutions of the matrix equation A ₁ X ₁ B ₁ + A ₂ X ₂ B ₂ + ⋯ + A _l X _l B _l  = C where [X ₁,X ₂, ⋯ ,X _l ] is real matrices group. By this iterative method, the solvability of the matrix equation can be judged automatically. When the matrix equation is consistent, for any initial generalized bisymmetric matrix group , a generalized bisymmetric solution group can be obtained within finite iteration steps in the absence of roundoff errors, and the least norm generalized bisymmetric solution group can be obtained by choosing a special kind of initial generalized bisymmetric matrix group. In addition, the optimal approximation generalized bisymmetric solution group to a given generalized bisymmetric matrix group in Frobenius norm can be obtained by finding the least norm generalized bisymmetric solution group of the new matrix equation , where . Given numerical examples show that the algorithm is efficient. Research supported by: (1) the National Natural Science Foundation of China (10571047) and (10771058), (2) Natural Science Foundation of Hunan Province (06JJ2053), (3) Scientific Research Fund of Hunan Provincial Education Department(06A017).     

String world surfaces in spaces with compact factor-manifolds

The closed string with point-like masses as the string hadron model is considered in the D-dimensional space M = R^1,3 ×T^{D - 4} \mathcal{M} = {R^{1,3}} \times {T^{D - 4}} , which is the direct product of the Minkowski space and the compact manifold T ^D−4 = S ¹ × ⋯ × S ¹ ((D − 4)-dimensional torus). Exact solutions of dynamical equations are obtained; in a particular case of rotational states, they describe a uniform rotation of the system. These rotational states are classified, their physical properties are studied, and Regge trajectories are determined. Central and linear rotational states are tested for stability with respect to small disturbances. It is shown that the central rotational states are not stable if the central mass is less than some threshold value.     

Further cardinal arithmetic

We continue the investigations in the author’s book on cardinal arithmetic, assuming some knowledge of it. We deal with the cofinality of (S _{≤ℵ 0}(κ), ⊆) for κ real valued measurable (Section 3), densities of box products (Section 5,3), prove the equality cov(λ,λ,θ⁺,2) in more cases even when cf(λ)=ℵ₀ (Section 1), deal with bounds of pp(λ) for λ limit of inaccessible (Section 4) and give proofs to various claims I was sure I had already written but did not find (Section 6). Done mainly 1–4/1991. I thank Alice Leonhardt for typing and retyping so beautifully and accurately. Partially supported by the Basic Research Fund, Israel Academy of Sciences. Publication number 430.     

Differentiation Properties of Symmetric Measures

Let μ be a singular symmetric measure on a Euclidian space. Given 0 < a ≤ b < + ∞, the set, where the lower derivative of the measure μ is equal to a and the upper derivative is equal to b, is large in the sense of the Hausdorff dimension. Partially supported by RFBR.     

Zur Theorie der Stetigen Teilbarkeitshalbgruppen

O. CallS:=(S,·,∩) a d-semigroup ifS satisfies the axioms (A1) (S,·) is a semigroup, (A2) (S,∩) is a semilattice (A3), (S,·,∩) is a semiring, (A4) a ≤b⇒bε aS ∩ Sa. Call tεS positive if ÅaεS: ta ≥a≤at. Let S⁺ denote the set {t‖t positive}. Every d-semigroup is closed under sup and (s,·,∪) is a semiring, (S, ∩, ∪) is a distributive lattice. Denote by D□X the implication s=Xa_i⇒x□s□y=X(x□a_i□y) where □ε{·,∩,∪} and Xε{∪,∩}. CallS continuous ifS satisfies all D□X. The theory of d-semigroups (divisibility-semigroups) was established in [3], [4], [5], and is continued here by some contributions to the theory of continuous d-semigroups the main results of which are the two propositions: (1) LetS be a d-semigroup with 1. ThenS satisfies D□X iffS ⁺ satisfies this axiom. (2) LetS be continuous. Then (S,·) is commutative. Obviously Proposition (2) is an improvement of Iwasawa's theorem concerning conditionally complete lattice ordered groups.

---

Zur Theorie der Stetigen Teilbarkeitshalbgruppen

---

Klaus Wagner zum 70. Geburtstag gewidmet     

Uniform rates of approximation by short asymptotic expansions in the CLT for quadratic forms

Let X, X ₁, X ₂,… be i.i.d. \mathbbR^d {\mathbb{R}^d} -valued real random vectors. Assume that E X = 0 and that X has a nondegenerate distribution. Let G be a mean zero Gaussian random vector with the same covariance operator as that of X. We study the distributions of nondegenerate quadratic forms \mathbbQ[ S_N ] \mathbb{Q}\left[ {{S_N}} \right] of the normalized sums S _N  = N ^−1/2 (X ₁ + ⋯ + X _N ) and show that, without any additional conditions,

A Note on Linear Extension of Into-Isometries Between Two Unit Spheres of Atomic AL^p-Space （0 〈 p 〈∞）

In this paper, we shall present a short and simple proof on the isometric linear extension problem of into-isometries between two unit spheres of atomic abstract L^p-spaces （0 〈 p 〈 ∞）.     

Biflatness of semigroup algebras

We shall study the biflatness of the convolution algebra ℓ ¹(S) for a semigroup S. We show that for any semigroup S such that ℓ ¹(S) is biflat the canonical partial ordering on the idempotents must be uniformly locally finite. We use this to characterize the biflatness of ℓ ¹(S) for an inverse semigroup S.     

Saturation of the Shepard operators

We discuss the Shepard operators S_n (f; x) in this paper and establish the saturation of the sequence {S_n f} _n-1 ^∞ , as well as investigate some related questions. The research of this author was supported in part by the Hungarian Science Foundation for Research, Grant. N ^o . 1157.     

Every null-additive set is meager-additive

It is proved that every null-additive subset of^ω2 is meager-additive. Several characterizations of the null-additive subsets of^ω2 are given, as well as a characterization of the meager additive subsets of^ω2. Under CH, an uncountable null-additive subset of^ω2 is constructed. Publ. No. 445. First version written in April 1991. Partially supported by the Basic Research Fund of the Israel Academy of Sciences and the Edmund Landau Center for Research in Mathematical Analysis, supported by the Minerva Foundation (Germany).     

Codimension Two PL Embeddings of Spheres with Nonstandard Regular Neighborhoods

For a given polyhedron K(?)M,the notation RM(K)denotes a regular neigh- borhood of K in M.The authors study the following problem:find all pairs(m,k) such that if K is a compact k-polyhedron and M a PL m-manifold,then R_M(f(K))≌R_M(g(K))for each two homotopic PL embeddings f,g:K→M.It is proved that R_S~(k 2)(S~k)(?)S~k×D~2 for each k(?)2 and some PL sphere S~k(?)S~(k 2)(even for any PL sphere S~k(?)S~(K 2)having an isolated non-locally flat point with the singularity S~(k-1)(?) S~(k 1)such thatπ_1(S~(k 1)-S~(k-1))(?)Z).     

Existence Results for Systems of Vector Equilibrium Problems*

The purpose of this paper is to study systems of vector equilibrium problems. We establish some existence theorems for systems of vector equilibrium problems by using (S)₊-conditions and Kakutani–Fan–Glicksberg fixed point theorem *This work was supported by the Kyungnam University Research Fund 2004