Spherical 2-type hypersurfaces

A hypersurface (not necessarily compact) of a hypersphereS ⁿ⁺¹ of a Euclidean spaceE ⁿ⁺² is of 2-type if and only if it has constant nonzero mean curvature inS ⁿ⁺¹ and constant scalar curvature, unless it is a portion of a small hypersphere inS ⁿ⁺¹. This shows that the 2-type compact hypersurfaces of a hypersphere are mass-symmetric.     

Lagrangian Klein Bottles in {\mathbb{R}^{2n}}

It is shown that the n-dimensional Klein bottle admits a Lagrangian embedding into \mathbbR²ⁿ{\mathbb{R}^{2n}} if and only if n is odd.     

Independent perfect domination sets in Cayley graphs

In this paper, we show that a Cayley graph for an abelian group has an independent perfect domination set if and only if it is a covering graph of a complete graph. As an application, we show that the hypercube Q_n has an independent perfect domination set if and only if Q_n is a regular covering of the complete graph K_n+1 if and only if n = 2^m ? 1 for some natural number m. © 2001 John Wiley & Sons, Inc. J Graph Theory 37: 213–219, 2001     

On the Homotopy Type of the Unitary Group and the Grassmann Space of Purely Infinite Simple C*-Algebras

We completely determine the homotopy groups _n (.) of the unitary group and the space of projections of purely infinite simple C ^*-algebras in terms of K-theory. We also prove that the unitary group of a purely infinite simple C ^*-algebra A is a contractible topological space if and only if K0(A) = K1(A) = {0}, and again if and only if the unitary group of the associated generalized Calkin algebra L(HA) / K(HA) is contractible. The well-known Kuiper's theorem is extended to a new class of C ^*-algebras.     

A Remark on the Sobolev Regularity of Classical Solutions of Strongly Elliptic Equations

We prove that C^2,α(Ω ) solutions of problem (1.2) below are in H^m+2(Ω) for all m ∈ ?, if f and the coefficients are in H^m (Ω) n C^0,α (Ω ) Previously, this result was explicitly known only if m> n/2 (or if m = 0). A similar result holds for the quasi-linear equation (1.11) below.     

Unit-distance graphs,graphs on the integer lattice and a Ramsey type result

Summary Let (R ², 1) denote the graph withR ² as the vertex set and two vertices adjacent if and only if their Euclidean distance is 1. The problem of determining the chromatic number(R ², 1) is still open; however,(R ², 1) is known to be between 4 and 7. By a theorem of de Bruijn and Erdös, it is enough to consider only finite subgraphs of (R ², 1). By a recent theorem of Chilakamarri, it is enough to consider certain graphs on the integer lattice. More precisely, forr > 0, let (Z ²,r, ) denote a graph with vertex setZ ² and two vertices adjacent if and only if their Euclidean distance is in the closed interval [r – ,r + ]. A simple graph is faithfully -recurring inZ ² if there exists a real numberd > 0 such that, for arbitrarily larger, G is isomorphic to a subgraph of (Z ²,r, ) in which every pair of vertices are at least distancedr apart. Chilakamarri has shown that, ifG is a finite simple graph, thenG is isomorphic to a subgraph of (R ², 1) if and only ifG is faithfully -recurring inZ ². In this paper we prove that(Z ²,r, ) 5 for integersr 1. We also prove a Ramsey type result which states that for any integerr > 1, and any coloring ofZ ² either there exists a monochromatic pair of vertices with their distance in the closed interval [r – ,r + ] or there exists a set of three vertices closest to each other with three distinct colors.     

Reconstruction of a submanifold of Euclidean space from its Grassmannian image that degenerates into a line

We study the existence of a submanifoldF ⁿ of Euclidean spaceE ^n+p with prescribed Grassmannian image that degenerates into a line. We prove that is the Grassmannian image of a regular submanifoldF ⁿ of Euclidean spaceE ^n+p if and only if the curve in the Grassmann manifoldG ⁺ (p, n+p) is asymptoticallyC ^r -regular,r>1. HereG ⁺ (n, n+p) is embedded into the sphereS ^N ,N=C _n+p ^p =( _p ^n+p ), by the Plücker coordinates.Translated fromMatematicheskie Zametki, Vol. 59, No. 5, pp. 681–691, May, 1996.     

On the chromaticity of certain subgraphs of a q-tree

We show that a graph G on n ? q + 1 vertices (where q ? 2) has the chromatic polynomial P(G;λ) = λ(λ ? 1) … (λ ? q + 2) (λ ? q + 1)² (λ ? q)^n?q?1 if and only if G can be obtained from a q-tree Ton n vertices by deleting an edge contained in exactly q ? 1 triangles of T. Furthermore, we prove that these graphs are triangulated.     

Chromaticity of two-trees

The graphs called 2-trees are defined by recursion. The smallest 2-tree is the complete graph on 2 vertices. A 2-tree on n + 1 vertices (where n ≥ 2) is obtained by adding a new vertex adjacent to each of 2 arbitrarily selected adjacent vertices in a 2-tree on n vertices. A graph G is a 2-tree on n(≥2) vertices if and only if its chromatic polynomial is equal to γ(γ - 1)(γ - 2)^n—2.     

On the average genus of the random graph

The generalized Petersen graph GP (n, k), n ≤ 3, 1 ≥ k < n/2 is a cubic graph with vertex-set {u_j; i ? Z_n} ∪ {v_j; i ? Z_n}, and edge-set {u_iu_i, u_iv_i, v_iv_{i+k, i?}Z_n}. In the paper we prove that (i) GP(n, k) is a Cayley graph if and only if k² ? 1 (mod n); and (ii) GP(n, k) is a vertex-transitive graph that is not a Cayley graph if and only if k² ? -1 (mod n) or (n, k) = (10, 2), the exceptional graph being isomorphic to the 1-skeleton of the dodecahedon. The proof of (i) is based on the classification of orientable regular embeddings of the n-dipole, the graph consisting of two vertices and n parallel edges, while (ii) follows immediately from (i) and a result of R. Frucht, J.E. Graver, and M.E. Watkins [“The Groups of the Generalized Petersen Graphs,” Proceedings of the Cambridge Philosophical Society, Vol. 70 (1971), pp. 211-218]. © 1995 John Wiley & Sons, Inc.     

On convergence of information in spaces with infinite invariant measure

Summary The paper extends the ergodic theorems of information theory (Shannon-MacMillan-Breiman theorems) to spaces with an infinite invariant measure. An L ₁ difference theorem and a pointwisa ratio theorem are proved, for the information of spreading partitions. For the validity of the theorems it is assumed that the supremum f ^* of the conditional information given the increasing past is integrable. Simple necessary and sufficient conditions for the integrability of f ^* are obtained in special cases: If the initial partition is composed of one state of a null-recurrent Markov chain, then f ^* is integrable if and only if the partition of this state according to the first return times has finite entropy.Research of both authors was supported by the National Science Foundation (U. S. A.), under Grant GP 7693.     

The Simple Connectedness of a Tame Weakly Shod Algebra

Abstract

We prove that a tame weakly shod algebra A which is not quasi-tilted is simply connected if and only if the orbit graph of its pip-bounded component is a tree, or if and only if its first Hochschild cohomology group H¹(A) with coefficients in _A A _A vanishes. We also show that it is strongly simply connected if and only if the orbit graph of each of its directed components is a tree, or if and only if H¹(A) = 0 and it contains no full convex subcategory which is hereditary of type 𝔸?, or if and only if it is separated and contains no full convex subcategory which is hereditary of type 𝔸?.     

Existence of frame sols of type 2nu1

An SOLS (self-orthogonal latin square) of order n with n₁ missing sub-SOLS (holes) of order h_i (1 ? i ? k), which are disjoint and spanning (i.e., Σ _1?i?kn_ih_i = n), is called a frame SOLS and denoted by FSOLS(h₁ⁿ¹ h₂ⁿ² …h_k^nk). In this article, it is shown that for u ? 2, an FSOLS(2ⁿu¹) exists if and only if n ? 1 + u. © 1995 John Wiley & Sons, Inc.     

On the relationship between differentiability and absolute continuity of measures on ℝn

Summary We give an elementary proof of the fact that a finite Borel measure on ⁿ is absolutely continuous with a C ¹ density if and only if it has directional derivatives which are continuous almost everywhere. The Radon-Nikodym derivative of a differentiable measure is given in terms of the directional derivatives.     

On the group of polynomial functions in a group

Let G be a group and let n be a positive integer. A polynomial function in G is a function from G ⁿ to G of the form , where f(x ₁, . . . , x _n ) is an element of the free product of G and the free group of rank n freely generated by x ₁, . . . , x _n . There is a natural definition for the product of two polynomial functions; equipped with this operation, the set of polynomial functions is a group. We prove that this group is polycyclic if and only if G is finitely generated, soluble, and nilpotent-by-finite. In particular, if the group of polynomial functions is polycyclic, then necessarily it is nilpotent-by-finite. Furthermore, we prove that G itself is polycyclic if and only if the subgroup of polynomial functions which send (1, . . . , 1) to 1 is finitely generated and soluble.      

On a class of stably finite nuclear C*-algebras

In this note we show that a separable C^*-algebra is nuclear and has a quasidiagonal extension by (the ideal of compact operators on an infinite-dimensional separable Hilbert space) if and only if it is anuclear finite algebra (NF-algebra) in the sense of Blackadar and Kirchberg, and deduce that every nuclear C^*-subalgebra of aNF-algebra isNF. We show that strongNF-algebras satisfy a Følner type condition.     

A Noncharacteristic Cauchy Problem for Linear Parabolic Equations I: Solvability

Noncharacteristic Cauchy problems for parabolic equations arc frequently encountered in many areas of heat transfer. These problems are well known to be severely ill-posed. In this paper a solvability criterion for a class of such problems is established. It is proved that a weak solution of a noncharacteristic Cauchy problem for linear parabolic equations in divergence form with coefficients in a Holmgren class 2 in time exists if and only if the Cauchy data arc functions of a Holmgren class 2! A function g(t) defined on (α, β) is said to be of a Holmgren class 2, if g ?C^∞ (α, β) and for all nonnegative integers n there exist positive constants c and s such that |g⁽ⁿ⁾| < csⁿ(2n)!.     

Helly-Type Theorems on the Homology of the Space of Transversals

In this paper we ``measure' the size of the set of n -transversals of a family F of convex sets in R <sup>n+k</sup> according to its homological complexity inside the corresponding Grassmannian manifold. Our main result states that the ``measure' μ of the set of n -transversals of F is greater than or equal to k if and only if every k+1 members of F have a common point and also if and only if for some integer m , 1≤ m≤ n , and every subfamily F ^\prime of F with k+2 members, the ``measure' μ of the set of m -transversals of F ^\prime is greater than or equal to k . Received October 25, 2000, and in revised form September 27, 2001, and October 17, 2001. Online publication March 1, 2002.     

Maximal triangle-free graphs with restrictions on the degrees

We investigate the problem that at least how many edges must a maximal triangle-free graph on n vertices have if the maximal valency is ≤D. Denote this minimum value by F(n, D). For large enough n, we determine the exact value of F(n, D) if D ≥ (n ? 2)/2 and we prove that lim F(n, cn)/n = K(c) exists for all 0 < c with the possible exception of a sequence c_k → 0. The determination of K(c) is a finite problem on all intervals [γ, ∞). For D = cn^?, 1/2 < ? < 1, we give upper and lower bounds for F(n, D) differing only in a constant factor. (Clearly, D < (n - 1)^1/2 is impossible in a maximal triangle-free graph.)     

Companions of the inequalities of Fejér--Jackson and Young

Summary Applications of some well-known theorems of Jackson and Young lead to the sharp inequalities -1<ⁿ_k-1Σ(cos(kx)+sin(kx))/k (n ≥1; 1<x<π) and -1/2Si(π)<ⁿ_k-1Σ(cos(kx)·sin(kx))/k (n ≥1; xЄR) We prove that the following counterpart is valid for all integers n ≥1 and real numbers xЄ (0, π): -3/2≤ⁿ_k-1Σ(cos(kx)-sin(kx))/k where the sign of equality holds if and only if n =2 and x = π /2.