On projective planes admitting elations and homologies

We consider projective planes Π of ordern with abelian collineation group Γ of ordern(n?1) which is generated by (A, m)-elations and (B, l)-homologies wherem =AB andA εl. We prove

1. Ifn is even thenn=2^e and the Sylow 2-subgroup of Γ is elementary abelian.
2. Ifn is odd then the Sylow 2-subgroup of Γ is cyclic.
3. Ifn is a prime then Π is Desarguesian.
4. Ifn is not a square thenn is a prime power.

     

Curvature Dimension Inequalities and Subelliptic Heat Kernel Gradient Bounds on Contact Manifolds

We study curvature dimension inequalities for the sub-Laplacian on contact Riemannian manifolds. This new curvature dimension condition is then used to obtain:

• Geometric conditions ensuring the compactness of the underlying manifold (Bonnet–Myers type results);
• Volume estimates of metric balls;
• Gradient bounds and stochastic completeness for the heat semigroup generated by the sub-Laplacian;
• Spectral gap estimates.

     

Multidimensional symmetric stable processes

This paper surveys recent remarkable progress in the study of potential theory for symmetric stable processes. It also contains new results on the two-sided estimates for Green functions, Poisson kernels and Martin kernels of discontinuous symmetric α-stable process in boundedC ^1,1 open sets. The new results give explicit information on how the comparing constants depend on parameter α and consequently recover the Green function and Poisson kernel estimates for Brownian motion by passing α ↑ 2. In addition to these new estimates, this paper surveys recent progress in the study of notions of harmonicity, integral representation of harmonic functions, boundary Harnack inequality, conditional gauge and intrinsic ultracontractivity for symmetric stable processes. Here is a table of contents.

1. Introduction
2. Green function and Poisson kernel estimates

1. Estimates on balls
2. Estimates on boundedC ^1,1 domains
3. Estimates on boundedC ^1,1 open sets

1. Harmonic functions and integral representation
2. Two notions of harmonicity
3. Martin kernel and Martin boundary
4. Integral representation and uniqueness
5. Boundary Harnack principle
6. Conditional process and its limiting behavior
7. Conditional gauge and intrinsic ultracontractivity

     

Remarks on star countable discrete closed spaces

In this paper, we prove the following statements:

1. There exists a Tychonoff star countable discrete closed, pseudocompact space having a regular-closed subspace which is not star countable.
2. Every separable space can be embedded into an absolutely star countable discrete closed space as a closed subspace.
3. Assuming $2^{\aleph _0 } = 2^{\aleph _1 } $ , there exists a normal absolutely star countable discrete closed space having a regular-closed subspace which is not star countable.

     

Die Endlichen Polardreiseitgeometrien

LetG be a finite group which is generated by a subsetS of involutions satisfying the theorem of the three reflections: Ifa,b,x,y,z ∈ S, ab ≠ 1 and ifabx,aby,abz are involutions, thenxyz ∈ S. Assume thatS contains three elements which generate a four-group. IfS contains four elements of which no three have a product of order two, then one of the following occurs.

1. G?PGL(2,n), n≡1 (mod 2).
2. G?PSL(2,n), n≡1 (mod 2) and n≥5.
3. G?PSU(3,16).
4. G/Z(G)?PSL(2,9) with ¦Z(G)¦=3.

     

Pancyclism in Chvátal-Erdös's graphs

LetG = (X, E) be a simple graph of ordern, of stability numberα and of connectivityk withα ≤ k. The Chvátal-Erdös's theorem [3] proves thatG is hamiltonian. We have investigated under these conditions what can be said about the existence of cycles of lengthl. We have obtained several results:

1. IfG ≠ K _k,k andG ≠ C ₅,G has aC _n?1 .
2. IfG ≠ C ₅, the girth ofG is at most four.
3. Ifα = 2 and ifG ≠ C ₄ orC ₅,G is pancyclic.
4. Ifα = 3 and ifG ≠ K _3,3,G has cycles of any length between four andn.
5. IfG has noC ₃,G has aC _n?2 .

     

On an Ulam's problem

The existence and the uniqueness (with respect to a filtration-equivalence) of a vector flowX on ? ⁿ ,n≥3, such that:

1. X has not any stationary points on ? ⁿ ;
2. all orbits ofX are bounded;
3. there exists a filtration forX are proved in the present note.

     

Lifting measures to Markov extensions

Generalizing a theorem ofHofbauer (1979), we give conditions under which invariant measures for piecewise invertible dynamical systems can be lifted to Markov extensions. Using these results we prove:

1. IfT is anS-unimodal map with an attracting invariant Cantor set, then ∫log|T′|dμ=0 for the unique invariant measure μ on the Cantor set.
2. IfT is piecewise invertible, iff is the Radon-Nikodym derivative ofT with respect to a σ-finite measurem, if logf has bounded distortion underT, and if μ is an ergodicT-invariant measure satisfying a certain lower estimate for its entropy, then μ?m iffh _μ (T)=Σlogf dμ.

     

Indecomposable modules over right pure semisimple rings

The aim of this paper is to prove the following result. IfA is a right pure semisimple ring, then it satisfies one of the two following statements:

1. For any positive integern, there are at most finitely many indecomposable right modules of lengthn; or
2. There is an infinite number of integersd such that, for eachd, A has infinitely many indecomposable right modules of lengthd.

The result is derived with the aid of ultraproduct-technique.     

Elementary Abelianp-extensions of algebraic function fields

LetK be a field of characteristicp>0 andF/K be an algebraic function field. We obtain several results on Galois extensionsE/F with an elementary Abelian Galois group of orderp ⁿ.

1. E can be generated overF by some elementy whose minimal polynomial has the specific formT ^pn?T?z.
2. A formula for the genus ofE is given.
3. IfK is finite, then the genus ofE grows much faster than the number of rational points (as [E∶F] → ∞).
4. We present a new example of a function fieldE/K whose gap numbers are nonclassical.

     

Compactness and the axiom of choice

In the absence of the axiom of choice four versions of compactness (A-, B-, C-, and D-compactness) are investigated. Typical results:

1. C-compact spaces form the epireflective hull in Haus of A-compact completely regular spaces.
2. Equivalent are:
3. the axiom of choice,
4. A-compactness = D-compactness,
5. B-compactness = D-compactness,
6. C-compactness = D-compactness and complete regularity,
7. products of spaces with finite topologies are A-compact,
8. products of A-compact spaces are A-compact,
9. products of D-compact spaces are D-compact,
10. powers X ^k of 2-point discrete spaces are D-compact,
11. finite products of D-compact spaces are D-compact,
12. finite coproducts of D-compact spaces are D-compact,
13. D-compact Hausdorff spaces form an epireflective subcategory of Haus,
14. spaces with finite topologies are D-compact.

1. Equivalent are:
2. the Boolean prime ideal theorem,
3. A-compactness = B-compactness,
4. A-compactness and complete regularity = C-compactness,
5. products of spaces with finite underlying sets are A-compact,
6. products of A-compact Hausdorff spaces are A-compact,
7. powers X ^k of 2-point discrete spaces are A-compact,
8. A-compact Hausdorff spaces form an epireflective subcategory of Haus.

1. Equivalent are:
2. either the axiom of choice holds or every ultrafilter is fixed,
3. products of B-compact spaces are B-compact.

1. Equivalent are:
2. Dedekind-finite sets are finite,
3. every set carries some D-compact Hausdorff topology,
4. every T ₁-space has a T ₁-D-compactification,
5. Alexandroff-compactifications of discrete spaces and D-compact.

     

Fixed point theory and product,sub-, super-spaces

In this paper, we definen-segmentwise metric spaces and then we prove the following results:

1. (i)|Let (X, d) be ann-segmentwise metric space. ThenX ⁿ has the fixed point property with respect to uniformly continuous bounded functions if and only if, for any continuous functionF: C ^*(X) → C^*(X) and for anyn-tuple of distinct points x₁, x₂, ?, x_n ∈X, there exists anh ∈C ^*(X) such that $$F(h)(x_1 ) = h(x_1 ),i = 1,2,...,n;$$ whereC ^*(X) has either the uniform topology or the subspace product (Tychonoff) topology \((C^ * (X) \subseteq X^X )\) .
2. LetX _i (i = 1, 2, ?) be countably compact Hausdorff spaces such thatX ₁ × ? × X_n has the fixed point property for alln ∈N Then the product spaceX ₁ × X₂ × ? has the fixed point property. We shall also discuss several problems in the Fixed Point Theory and give examples if necessary. Among these examples, we have:
3. There exists a connected metric spaceX which can be decomposed as a disjoint union of a closed setA and an open setB such thatA andB have the fixed point property andX does not have.
4. There exists a locally compact metrizable spaceX which has the fixed point property but its one-point compactificationX ⁺ does not have the fixed point property.

Other relevant results and examples will be presented in this paper.     

On a certain type of commutators of operators

LetH be a separable infinite-dimensional Hilbert space and letC be a normal operator andG a compact operator onH. It is proved that the following four conditions are equivalent.

1. C +G is a commutatorAB-BA with self-adjointA.
2. There exists an infinite orthonormal sequencee _j inH such that |Σ _j ⁿ =1 (Ce _j, e_j)| is bounded.
3. C is not of the formC ₁ ⊕C ₂ whereC ₁ has finite dimensional domain andC ₂ satisfies inf {|(C ₂ x, x)|: ‖x‖=1}>0.
4. 0 is in the convex hull of the set of limit points of spC.

     

On the construction of ε-optimal strategies in partially observed MDPs

The purpose of the paper is to give a survey of methods, partly derived by the author in joint work with other researchers, concerning the problem of constructingε-optimal strategies for partially observable MDPs. The methods basically consist in transforming the problem into one of approximation: Starting from the original problem a sequence of approximating problems is constructed such that:

1. For each approximating problem an optimal strategy can actually be computed.
2. Givenε>0, there exists an approximating problem such that the optimal strategy for the latter isε-optimal for the original problem.

     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

A note on pseudocompactifications

There exists a countable spaceV _ω such that:

1. V _ω has a single non-isolated point,
2. V _ω has no pseudocompactificationX witht(X)=ω.

     

The universal Glivenko–Cantelli property

Let ${\mathcal{F}}$ be a separable uniformly bounded family of measurable functions on a standard measurable space ${(X, \mathcal{X})}$ , and let ${N_{[]}(\mathcal{F}, \varepsilon, \mu)}$ be the smallest number of ${\varepsilon}$ -brackets in L ¹(μ) needed to cover ${\mathcal{F}}$ . The following are equivalent:

1. ${\mathcal{F}}$ is a universal Glivenko–Cantelli class.
2. ${N_{[]}(\mathcal{F},\varepsilon,\mu) < \infty}$ for every ${\varepsilon > 0}$ and every probability measure μ.
3. ${\mathcal{F}}$ is totally bounded in L ¹(μ) for every probability measure μ.
4. ${\mathcal{F}}$ does not contain a Boolean σ-independent sequence.

It follows that universal Glivenko–Cantelli classes are uniformity classes for general sequences of almost surely convergent random measures.     

Analoga der steinerschen konstruktion in einer absoluten geometrie

We consider an absolute geometry with the following base of axioms: Hilbert's plane axioms of incidence, order and congruence and a circle axiom. Thus no parallelism and not much continuity is involved. In this geometry the metric cannot be determined by Steiner's basic structure “fixed circle with centre”. In this work it will be proved that the following basic figures are suitable for such an absolute geometry in the sense that, after tracing any one of them, all constructions of second order can be done only with a ruler:

1. Two non-concentric circles, one of them with centre.
2. A unit-turner and a non-concentric circle without centre.
3. A circle with centreO and a line segmentA B with midpointM, the linesA B andO M being not orthogonal.
4. A circle with centre and two orthogonal lines, none of them passing through the centre.
5. A circle with centre and a distance-line (with their two branches).

In the basic structures 1, 3, 4, 5, instead of a circle with centre, a finite arc of a circle with centre or two concentric circles without centre may be taken.     

Sobolev-Gagliardo-Nirenberg and Markov type inequalities on subanalytic domains

In this work we introduce a new parameter,s≥1, in the well known Sobolev-Gagliardo-Nirenberg (abbreviated SGN) inequalities and show their validity (with an appropriates) for any compact subanalytic domain. The classical form of these SGN inequalities (s=1 in our formulation) fails for domains with outward pointing cusps. Our parameters measures the degree of cuspidality of the domain. For regular domainss=1. We also introduce an extension, depending on a parameter σ≥1, to several variables of a local form of the classical Markov inequality on the derivatives of a polynomial in terms of its own values, and show the equivalence of Markov and SGN inequalities with the same value of parameters, σ=s. Our extension of Markov's inequality admits, in the case of supremum norms, a geometric characterization. We also establish several other characterizations: the existence of a bounded (linear) extension ofC ^∞ functions with a homogeneous loss of differentiability, and the validity of a global Markov inequality. Our methods may broadly be classified as follows:

1. Desingularization and anL _p -version of Glaeser-type estimates. In fact we obtain a bounds<-2d+1, whered is the maximal order of vanishing of the jacobian of the desingularization map of the domain.
2. Interpolation type inequalities for norms of functions and Bernstein-Markov type inequalities for multivariate polynomials (classical analysis).
3. Geometric criteria for the validity of local Markov inequalities (local analysis of the singularities of domains).
4. Multivariate Approximation Theory.

Thus our approach brings together the calculus of Glaeser-type estimates from differential analysis, the algebra of desingularization, the geometry of Markov type inequalities and the analysis of Sobolev-Nirenberg type estimates. Our exposition takes into account this interdisciplinary nature of the methods we exploit and is almost entirely self-contained. /lt>     

Every 4k-edge-connected graph is Weakly 3k-linked

We prove:

1. Fork ≥ 2 andα = 0, 1, every (4k + 2α)-edge-connected graph is weakly (3k + 2α)-linked.
2. IfG is ak-edge-connected graph (k ≥ 2),s, t are vertices andf is an edge, then there exists a pathP betweens andt such thatf ? E(P) andG ? E(P) ? f is (k ? 2)-edge-connected, whereE(P) denotes the edge set ofP.