Graph with given achromatic number

An irreducible (point-determining) graph is one in which distinct vertices have distinct neighbourhoods. Every graph X can be reduced to an irreducible graph X¹ by identifying all vertices with the same neighbourhood; the colourability properties of X¹ carry over to X. Hence irreducible graphs are instrumental in the study of achromatic number. We prove that there are only finitely many irreducible graphs with a given achromatic number, and describe all graphs with achromatic number less than four. We deduce certain bounds on the achromatic number X in terms of the number of vertices of X¹. In the course of the proofs we calculate the achromatic numbers of paths and cycles. Generalizations of the main theorem to homomorphisms other than colourings are discussed.     

On the homotopy groups of separable metric spaces

The aim of this paper is to discuss the homotopy properties of locally well-behaved spaces. First, we state a nerve theorem. It gives sufficient conditions under which there is a weak n-equivalence between the nerve of a good cover and its underlying space. Then we conclude that for any (n−1)-connected, locally (n−1)-connected compact metric space X which is also n-semilocally simply connected, the nth homotopy group of X, πn(X), is finitely presented. This result allows us to provide a new proof for a generalization of Shelah?s theorem (Shelah, 1988 [18]) to higher homotopy groups (Ghane and Hamed, 2009 [8]). Also, we clarify the relationship between two homotopy properties of a topological space X, the property of being n-homotopically Hausdorff and the property of being n-semilocally simply connected. Further, we give a way to recognize a nullhomotopic 2-loop in 2-dimensional spaces. This result will involve the concept of generalized dendrite which introduce here. Finally, we prove that each 2-loop is homotopic to a reduced 2-loop.     

A partial analog of the integrability theorem for distributions on p-adic spaces and applications

Let X be a smooth real algebraic variety. Let ξ be a distribution on it. One can define the singular support of ξ to be the singular support of the D _X -module generated by ξ (sometimes it is also called the characteristic variety). A powerful property of the singular support is that it is a coisotropic subvariety of T*X. This is the integrability theorem (see [KKS, Mal, Gab]). This theorem turned out to be useful in representation theory of real reductive groups (see, e.g., [AG4, AS, Say]). The aim of this paper is to give an analog of this theorem to the non-Archimedean case. The theory of D-modules is not available to us so we need a different definition of the singular support. We use the notion wave front set from [Hef] and define the singular support to be its Zariski closure. Then we prove that the singular support satisfies some property that we call weakly coisotropic, which is weaker than being coisotropic but is enough for some applications. We also prove some other properties of the singular support that were trivial in the Archimedean case (using the algebraic definition) but not obvious in the non-Archimedean case. We provide two applications of those results:

• a non-Archimedean analog of the results of [Say] concerning Gel’fand property of nice symmetric pairs
• a proof of multiplicity one theorems for GL _n which is uniform for all local fields. This theorem was proven for the non-Archimedean case in [AGRS] and for the Archimedean case in [AG4] and [SZ].

     

Completeness of the Space of Separable Measures in the Kantorovich-Rubinshtein Metric

We consider the space M(X) of separable measures on the Borel σ-algebra ?(X) of a metric space X. The space M(X) is furnished with the Kantorovich-Rubinshtein metric known also as the “Hutchinson distance” (see [1]). We prove that M(X) is complete if and only if X is complete. We consider applications of this theorem in the theory of selfsimilar fractals.     

A metric variant of Frobenius's theorem and some other remarks on positive matrices

The theory of positive (=nonnegative) finite square matrices continues, three quarters of a century after the pioneering and well-known papers of Perron and Frobenius [4], to present a multitude of different aspects. This is evidenced, for example, by the recent papers [1] and [2], as well as by the vast literature concerned with extensions to operators on infinite dimensional spaces (see [5]). Supposing A to be a positive n × n matrix with spectral radius r(A) = 1, the main purpose of this note is to display the role of λ = 1 as a root of the minimal polynomial of A (or equivalently, of certain norm conditions on A, for the lattice structure of the space M spanned by the unimodular eigenvectors of A as well as for the permutational character of A on M. Proposition 1 can thus be viewed as a variant of Frobenius's theorem on the peripheral spectrum of indecomposable square matrices, and we hope that the proof of Proposition 2 will clarify to what extent indecomposability is responsible for the main results available in that special case. The remaining remarks (Propositions 3 and 4) are concerned with the spectral characterization of permutation matrices and with finite groups of positive matrices. Some of that material is undoubtedly known, but we give simple, transparent proofs.     

On the property of kelley in the hyperspace and Whitney continua

In this paper, we introduce the notion of property [K]¹ which implies property [K], and we show the following: Let X be a continuum and let ω be any Whitney map for C(X). Then the following are equivalent. (1) X has property [K]¹. (2) C(X) has property [K]¹. (3) The Whitney continuum ω⁻¹(t) (0⩽t<ω(X)) has property [K]¹.As a corollary, we obtain that if a continuum X has property [K]¹, then C(X) has property [K] and each Whitney continuum in C(X) has property [K]. These are partial answers to Nadler's question and Wardle's question ([10, (16.37)] and [11, p. 295]).Also, we show that if each continuum X_n (n=1,2,3,…) has property [K]¹, then the product ∏X_n has property [K]¹, hence C(∏X_n) and each Whitney continuum have property [K]¹. It is known that there exists a curve X such that X has property [K], but X×X does not have property [K] (see [11]).     

A variational approach to the Steiner network problem

Supposen points are given in the plane. Their coordinates form a 2n-vectorX. To study the question of finding the shortest Steiner networkS connecting these points, we allowX to vary over a configuration space. In particular, the Steiner ratio conjecture is well suited to this approach and short proofs of the casesn=4, 5 are discussed. The variational approach was used by us to solve other cases of the ratio conjecture (n=6, see [11] and for arbitraryn points lying on a circle). Recently, Du and Hwang have given a beautiful complete solution of the ratio conjecture, also using a configuration space approach but with convexity as the major idea. We have also solved Graham's problem to decide when the Steiner network is the same as the minimal spanning tree, for points on a circle and on any convex polygon, again using the variational method.     

Embedding Tn-like continua in Euclidean space

Many authors have been concerned with embedding ∏-like continua in Rⁿ where ∏ is some collection of polyhedra or manifolds. A similar concern has been embedding ∏-like continua in Rⁿ up to shape. In this paper we prove two main theorems. Theorem: If n ? 2 and X is Tⁿ-like, then X embeds in R²ⁿ. This result was conjectured by McCord for the case H¹(X) finitely generated and proved by McCord for the case that H¹(X) = 0 using a theorem of Isbell. The second theorem is a shape embedding theorem. Theorem: If X is Tⁿ-like, then X embeds in Rⁿ⁺² up to shape. This theorem is proved by showing that an n-dimensional compact connected abelian topological group embeds in Rⁿ⁺². Any Tⁿ-like continuum is shape equivalent to a k-dimensional compact connected abelian topological group for some 0 ? k ? n.     

On J. Nagata's universal spaces

The main result of this paper is the following extension of an embedding theorem by Nagata: given a sequence of zero-dimensional sets X₁,X₂,… in a metrizable space X of weight τ⩾ℵ₀, the set of homeomorphic embeddings h of X into S(τ)^ℵ₀, satisfying h(X_n)⊂K_n-1(τ) for n= 1,2,…, is dense in the function space of all continuous mappings of X into S(τ)^ℵ₀, where K_n(τ) is the n-dimensional universal Nagata's space in the countable product of the star-space S(τ) of weight τ. This seems to be a new result even in the separable case τ=χ₀ and provides in particular an answer to a question asked by Kuratowski (see Remark 2.6 for the details).     

On the Stability of Eaton’s Characterization by the Properties of Linear Forms

We consider a population and a sample X ₁,X ₂,…,X _n of n independent observations drawn from this population. We assume that two suitably chosen linear statistics of X ₁,X ₂,…,X _n are given. The assumption that these statistics are identically distributed or have the same distribution as the monomial X ₁ can be used to characterize various populations. This is an object of the so-called characterization theorems. But if the assumptions of a characterization theorem are fulfilled only approximately, then can we state that the conclusion of this characterization is also fulfilled approximately? Theorems concerning problems of this type are called stability theorems. By Eaton’s theorem, if, under additional conditions, two linear statistics $(X_{1}+\cdots +X_{k_{1}})/k_{1}^{1/\alpha}We consider a population and a sample X ₁,X ₂,…,X _n of n independent observations drawn from this population. We assume that two suitably chosen linear statistics of X ₁,X ₂,…,X _n are given. The assumption that these statistics are identically distributed or have the same distribution as the monomial X ₁ can be used to characterize various populations. This is an object of the so-called characterization theorems. But if the assumptions of a characterization theorem are fulfilled only approximately, then can we state that the conclusion of this characterization is also fulfilled approximately? Theorems concerning problems of this type are called stability theorems. By Eaton’s theorem, if, under additional conditions, two linear statistics and have the same distribution as the monomial X ₁, then this monomial has a symmetric stable distribution of order α. The stability estimation in this theorem is investigated in the λ ₀-metric.      

On the curvature of symmetric products of a compact Riemann surface

Let X be a compact connected Riemann surface of genus at least two. The main theorem of Bökstedt and Romão [3] says that for any positive integer n ≤ 2(genus(X) ? 1), the symmetric product S ⁿ (X) does not admit any Kähler metric satisfying the condition that all the holomorphic bisectional curvatures are nonnegative. Our aim here is to give a very simple and direct proof of this result of Bökstedt and Romão.     

Another Rigidity Theorem for Affine Immersions

The theorem of Beez-Killing in Euclidean differential geometry states as follows [KN, p.46]. Let f: M ⁿ → Rⁿ⁺¹ be an isometric immersion of an n-dimensional Riemannian manifold into a Euclidean (n + l)-space. If the rank of the second fundamental form of f is greater than 2 at every point, then any isometric immersion of M ⁿ into R ^{n +} 1 is congruent to f. A generalization of this classical theorem to affine differential geometry has been given in [O] (see Theorem 1.5). We shall give in this paper another version of rigidity theorem for affine immersions.     

On the symmetric hyperspace of the circle

By X(n), n?1, we denote the n-th symmetric hyperspace of a metric space X as the space of non-empty finite subsets of X with at most n elements endowed with the Hausdorff metric. In this paper we shall describe the n-th symmetric hyperspace S¹(n) as a compactification of an open cone over ΣDn−2, here Dn−2 is the higher-dimensional dunce hat introduced by Andersen, Marjanovi? and Schori (1993) [2] if n is even, and Dn−2 has the homotopy type of Sn−2 if n is odd (see Andersen et al. (1993) [2]). Then we can determine the homotopy type of S¹(n) and detect several topological properties of S¹(n).     

Une généralisation du théorème de Kobayashi-Ochiai

We establish relations between the growth of non-degenerate holomorphic maps \(\varphi\) from \({\mathbb{C}}^n\) to X, an n-dimensional compact Kähler manifold, and the positivity of the canonical bundle of X. The general principle is that the growth increases with this positivity. In the extreme case where X is of general type, such maps do not exist, a result of Kobayashi-Ochiai. In the other extreme, if the growth is sufficiently slow (see theorem 1), we show that X is uniruled if projective. K. Kodaira obtained the weaker property that X has no nonzero pluricanonical forms. Our results interpolate between, and include, these two extreme cases.     

On the unlinking conjecture of independent polynomial functions

The celebrated U-conjecture states that under the N_n(0,I_n) distribution of the random vector X=(X₁,…,X_n) in Rⁿ, two polynomials P(X) and Q(X) are unlinkable if they are independent [see Kagan et al., Characterization Problems in Mathematical Statistics, Wiley, New York, 1973]. Some results have been established in this direction, although the original conjecture is yet to be proved in generality. Here, we demonstrate that the conjecture is true in an important special case of the above, where P and Q are convex nonnegative polynomials with P(0)=0.     

Almost all triple systems with independent neighborhoods are semi-bipartite

The neighborhood of a pair of vertices u, v in a triple system is the set of vertices w such that uvw is an edge. A triple system H is semi-bipartite if its vertex set contains a vertex subset X such that every edge of H intersects X in exactly two points. It is easy to see that if H is semi-bipartite, then the neighborhood of every pair of vertices in H is an independent set. We show a partial converse of this statement by proving that almost all triple systems with vertex sets [n] and independent neighborhoods are semi-bipartite. Our result can be viewed as an extension of the Erd?s-Kleitman-Rothschild theorem to triple systems.The proof uses the Frankl-Rödl hypergraph regularity lemma, and stability theorems. Similar results have recently been proved for hypergraphs with various other local constraints.     

Bundle convergence of sequences of pairwise uncorrelated operators in von Neumann algebras and vectors in their L2-spaces

Let H be a separable complex Hilbert space, A a von Neumann algebra in ?(H),a faithful, normal state on A. We prove that if a sequence (X_n: n ≥ 1) of uncorrelated operators in A is bundle convergent to some operator X in A and Σ^∞_n=1n⁻² Var(X_n) log²(n + 1) < ∞, then X is proportional to the identity operator on H. We also prove an analogous theorem for certain uncorrelated vectors in the completion L₂=L₂(A,φ) of A given by the Gelfand-Naimark-Segal representation theorem. Both theorems were motivated by a recent one proved by Etemadi and Lenzhen in the classical commutative setting.     

Nilpotency of unstable K-theory

In the preceding papers [H. Hamanaka, A. Kono, On [X,U(n)], when dimX is 2n, J. Math. Kyoto Univ. 43 (2) (2003) 333-348; H. Hamanaka, On [X,U(n)], when dimX is 2n+1, J. Math. Kyoto Univ. 44 (3) (2004) 655-667; H. Hamanaka, Adams e-invariant, Toda bracket and [X,U(n)], J. Math. Kyoto Univ. 43 (4) (2003) 815-828], the group structure of the homotopy set [X,U(n)] with the pointwise multiplication is studied, where X is a finite CW-complex and U(n) is the unitary group. It is seen that nil[X,U(n)]=2 for some X with its dimension 2n, and, when dimX=2n+1 and n is even, [X,U(n)] is expressed as the two stage central extension of an Abelian group, i.e., nil[X,U(n)]?3.In this paper, we consider the nilpotency class of [X,U(n)], especially, for given k, the maximum of the nil[X,U(n)] under the condition dimX?2n+k is estimated and determined for k=0,1,2.     

A new existence proof for Steiner quadruple systems

A Steiner quadruple system of order v is an ordered pair ${(X, \mathcal{B})}$ , where X is a set of cardinality v, and ${\mathcal{B}}$ is a set of 4-subsets of X, called blocks, with the property that every 3-subset of X is contained in a unique block. Such designs exist if and only if ${v \equiv 2,4\, (\bmod\, 6)}$ . The first and second proofs of this result were given by Hanani in 1960 and in 1963, respectively. All the existing proofs are rather cumbersome, even though simplified proofs have been given by Lenz in 1985 and by Hartman in 1994. To study Steiner quadruple systems, Hanani introduced the concept of H-designs in 1963. The purpose of this paper is to provide an alternative existence proof for Steiner quadruple systems via H-designs of type 2 ⁿ . In 1990, Mills showed that for n > 3, n ≠ 5, an H-design of type g ⁿ exists if and only if ng is even and g(n ? 1)(n ? 2) is divisible by 3, where the main context is the complicated existence proof for H-designs of type 2 ⁿ . However, Mill’s proof was based on the existence result of Steiner quadruple systems. In this paper, by using the theory of candelabra systems and H-frames, we give a new existence proof for H-designs of type 2 ⁿ independent of the existence result of Steiner quadruple systems. As a consequence, we also provide a new existence proof for Steiner quadruple systems.     

Sequences with small subsum sets

A conjecture of Gao and Leader, recently proved by Sun, states that if is a sequence of length n in a finite abelian group of exponent n, then either some subsequence of X sums to zero or the set of all sums of subsequences of X has cardinality at least 2n−1. This conjecture turns out to be a simple consequence of a theorem of Olson and White; we investigate generalizations that are not implied by this theorem. In particular, we prove the following result: if is a sequence of length n, the terms of which generate a finite abelian group of rank at least 3, then either some subsequence of X sums to zero or the set of all sums of subsequences of X has cardinality at least 4n−5.