Plane Sections of Convex Bodies of Maximal Volume

Let K = {K ₀ ,... ,K _k } be a family of convex bodies in R ⁿ , 1≤ k≤ n-1 . We prove, generalizing results from [9], [10], [13], and [14], that there always exists an affine k -dimensional plane A _k (subset, dbl equals) R ⁿ , called a common maximal k-transversal of K , such that, for each i∈ {0,... ,k} and each x∈ R ⁿ , where V _k is the k -dimensional Lebesgue measure in A _k and A _k +x . Given a family K = {K _i } _i=0 ^l of convex bodies in R ⁿ , l < k , the set C _k ( K ) of all common maximal k -transversals of K is not only nonempty but has to be ``large' both from the measure theoretic and the topological point of view. It is shown that C <sub>k</sub> ( K ) cannot be included in a ν -dimensional C <sup>1</sup> submanifold (or more generally in an ( H <sup>ν</sup> , ν) -rectifiable, H <sup>ν</sup> -measurable subset) of the affine Grassmannian AGr <sub>n,k</sub> of all affine k -dimensional planes of R <sup>n</sup> , of O(n+1) -invariant ν -dimensional (Hausdorff) measure less than some positive constant c <sub>n,k,l</sub> , where ν = (k-l)(n-k) . As usual, the ``affine' Grassmannian AGr _n,k is viewed as a subspace of the Grassmannian Gr _n+1,k+1 of all linear (k+1) -dimensional subspaces of R ⁿ⁺¹ . On the topological side we show that there exists a nonzero cohomology class θ∈ H ^n-k (G _n+1,k+1 ;Z ₂ ) such that the class θ ^l+1 is concentrated in an arbitrarily small neighborhood of C _k ( K ) . As an immediate consequence we deduce that the Lyusternik—Shnirel'man category of the space C _k ( K ) relative to Gr _n+1,k+1 is ≥ k-l . Finally, we show that there exists a link between these two results by showing that a cohomologically ``big' subspace of Gr _n+1,k+1 has to be large also in a measure theoretic sense. Received May 22, 1998, and in revised form March 27, 2000. Online publication September 22, 2000.     

Asymptotic Primes of Delta Closures of Ideals

Abstract

For an ideal H in a Noetherian ring R let H? = ∪{H ⁱ⁺¹ : _R H ⁱ | i ≥ 0} and for a multiplicatively closed set Δ of nonzero ideals of R let H _Δ = ∪{HK: _R K | K ? Δ}. It is shown that four standard results concerning the associated prime ideals of the integral closure (bR)_a of a regular principal ideal bR do not hold for certain Δ closures (bR)_Δ of bR. To do this it is first shown that if I is an ideal in R such that height (I) ≥ 1, then each radical ideal J of R containing I is of the form J = K? :_R cR for some ideal K closely related to I, and if I _a :_R J ? U = ∪{I?R _P ∩ R | P is a minimal prime divisor of J} (where I _a is the integral closure of I), then J = I _Δ :_R CR and I ? I _Δ ? I _a).     

Computation of Topological Indices of Some Graphs

Let G=(V,E) be a simple connected graph with vertex set V and edge set E. The Wiener index of G is defined by W(G)=∑_{x,y}⊆V d(x,y), where d(x,y) is the length of the shortest path from x to y. The Szeged index of G is defined by Sz(G)=∑ _e=uv∈E n _u (e|G)n _v (e|G), where n _u (e|G) (resp. n _v (e|G)) is the number of vertices of G closer to u (resp. v) than v (resp. u). The Padmakar–Ivan index of G is defined by PI(G)=∑ _e=uv∈E [n _eu (e|G)+n _ev (e|G)], where n _eu (e|G) (resp. n _ev (e|G)) is the number of edges of G closer to u (resp. v) than v (resp. u). In this paper we find the above indices for various graphs using the group of automorphisms of G. This is an efficient method of finding these indices especially when the automorphism group of G has a few orbits on V or E. We also find the Wiener indices of a few graphs which frequently arise in mathematical chemistry using inductive methods.     

Dimensions of Formal Fibers of Height One Prime Ideals

Let T be a complete local (Noetherian) ring with maximal ideal M, P a nonmaximal ideal of T, and C = {Q ₁, Q ₂,…} a (nonempty) finite or countable set of nonmaximal prime ideals of T. Let {p ₁, p ₂,…} be a set of nonzero regular elements of T, whose cardinality is the same as that of C. Suppose that p _i  ∈ Q _j if and only if i = j. We give conditions that ensure there is an excellent local unique factorization domain A such that A is a subring of T, the maximal ideal of A is M ∩ A, the (M ∩ A)-adic completion of A is T, and so that the following three conditions hold: (1) p _i  ∈ A for every i; (2) A ∩ P = (0), and if J is a prime ideal of T with J ∩ A = (0), then J ? P or J ? Q _i for some i; (3) for each i, p _i A is a prime ideal of A, Q _i ∩ A = p _i A, and if J is a prime ideal of T with J ? Q _i , then J ∩ A ≠ p _i A.     

Existence of frame SOLS of type ab

An SOLS (self-orthogonal latin square) of order v with n_i missing sub-SOLS (holes) of order h_i (1ik), which are disjoint and spanning (i.e. ∑_i=1^k n_ih_i=v), is called a frame SOLS and denoted by FSOLS(h₁^n₁h₂^n₂ h_k^n_k). It has been proved that for b2 and n odd, an FSOLS(aⁿb¹) exists if and only if n4 and n1+2b/a. In this paper, we show the existence of FSOLS(aⁿb¹) for n even and FSOLS(aⁿ1¹) for n odd.     

On relative widths of classes of differentiable functions. II

We obtain an upper bound for the least value of the factor M for which the Kolmogorov widths d _n (W _C ^r , C) are equal to the relative widths K _n (W _C ^r , MW _C ^j , C) of the class of functions W _C ^r with respect to the class MW _C ^j , provided that j > r. This estimate is also true in the case where the space L is considered instead of C.     

Decomposition tree of a lexicographic product of binary structures

Given a set S and a positive integer k, a binary structure is a function . The set S is denoted by V(B) and the integer k is denoted by . With each subset X of V(B) associate the binary substructure B[X] of B induced by X defined by B[X](x,y)=B(x,y) for any x≠y∈X. A subset X of V(B) is a clan of B if for any x,y∈X and v∈V(B)?X, B(x,v)=B(y,v) and B(v,x)=B(v,y). A subset X of V(B) is a hyperclan of B if X is a clan of B satisfying: for every clan Y of B, if X∩Y≠0?, then X⊆Y or Y⊆X. With each binary structure B associate the family Π(B) of the maximal proper and nonempty hyperclans under inclusion of B. The decomposition tree of a binary structure B is constituted by the hyperclans X of B such that Π(B[X])≠0? and by the elements of Π(B[X]). Given binary structures B and C such that , the lexicographic product B⌊C⌋ of C by B is defined on V(B)×V(C) as follows. For any (x,y)≠(x^′,y^′)∈V(B)×V(C), B⌊C⌋((x,x^′),(y,y^′))=B(x,y) if x≠y and B⌊C⌋((x,x^′),(y,y^′))=C(x^′,y^′) if x=y. The decomposition tree of the lexicographic product B⌊C⌋ is described from the decomposition trees of B and C.     

Bounded edge-connectivity and edge-persistence of Cartesian product of graphs

The bounded edge-connectivity λ_k(G) of a connected graph G with respect to is the minimum number of edges in G whose deletion from G results in a subgraph with diameter larger than k and the edge-persistence D⁺(G) is defined as λ_d(G)(G), where d(G) is the diameter of G. This paper considers the Cartesian product G₁×G₂, shows λ_k1+k2(G₁×G₂)≥λ_k1(G₁)+λ_k2(G₂) for k₁≥2 and k₂≥2, and determines the exact values of D⁺(G) for G=C_n×P_m, C_n×C_m, Q_n×P_m and Q_n×C_m.     

Approximation of the vth Root of N

We present a class of functions g_K(w), K ≥ 2, for which the recursive sequences w_{n + 1} = g_K(w_n) converge to N^1/v with relative error . Newton's method results when K = 2. The coefficients of the g_K(w) form a triangle, which is Pascal's for v = 2. In this case, if w₁ = x₁/y₁, where x₁, y₁ is the first positive solution of Pell's equation x² ? Ny² = 1, then w_{n + 1} = x_{n + 1}/y_{n + 1} is the Kⁿpth or 2Kⁿpth convergent of the continued fraction for , its period p being even or odd.     

On the diameter and radius of randon subgraphs of the cube

The n-dimensional cube Qⁿ is the graph whose vertices are the subsets of {1,…n}, with two vertices adjacent if and only if their symmetric difference is a singleton. Clearly Qⁿ has diameter and radious n. Write M = n2^n-1 = e(Qⁿ) for the size of Qⁿ. Let Q = (Q_t)_o^M be a random Qⁿ-process. Thus Q^t is a spanning subgraph of Qⁿ of size t, and Q_t is obtained from Q_t–1 by the random addition of an edge of Qⁿ not in Q_t–1, Let t^(k) = τ(Q;δ?k) be the hitting time of the property of having minimal degree at least k. We show that the diameter d_t = diam (Q_t) of Q_t in almost every Q? behaves as follows: d_t starts infinite and is first finite at time t⁽¹⁾, it equals n + 1 for t⁽¹⁾ ? t⁽²⁾ and d_t, = n for t ? t⁽²⁾. We also show that the radius of Q_t, is first finite for t = t⁽¹⁾, when it assumes the value n. These results are deduced from detailed theorems concerning the diameter and radius of the almost surely unique largest component of Q_t, for t = Ω(M). © 1994 John Wiley & Sons, Inc.     

Families of Finite Subsets of ℕ of Low Complexity and Tsirelson Type Spaces

We study Tsirelson type spaces of the form T[(ℳ︁_k, θ_k)^l_k=1] defined by a finite sequence (ℳ︁_k)^l_k=1 of compact families of finite subsets of ℕ. Using an appropriate index, denoted by i(ℳ︁), to measure the complexity of a family ℳ︁, we prove the following: If i(ℳ︁_k) < ω for all k = 1, …, l, then the space T[(ℳ︁_k, θ_k)^l_k=1] contains isomorphically some l_p, 1 < p < ∞, or c₀. If i(ℳ︁) = ω, then the space T[ℳ︁, θ] contains a subspace isomorphic to a subspace of the original Tsirelson's space.     

Correlations of functions of normal variables

Let (X₁, X₂,…, X_k, Y₁, Y₂,…, Y_k) be multivariate normal and define a matrix C by C_ij = cov(X_i, Y_j). If (i) (X₁,…, X_k) = (Y₁,…, Y_k) and (ii) C is symmetric positive definite, then 0 < varf(X₁,…, X_k) < ∞ corr(f(X₁,…, X_k),f(Y₁,…, Y_k)) > 0. Condition (i) is necessary for the conclusion. The sufficiency of (i) and (ii) follows from an infinite-dimensional version, which can also be applied to a pair of jointly normal Brownian motions.     

图和线图的谱性质

Let G be a simple connected graph with n vertices and m edges,Lo be the line graph of G and λ1(LG)≥λ2 (LG)≥...≥λm(LG) be the eigenvalues of the graph LG,.. In this paper, the range of eigenvalues of a line graph is considered. Some sharp upper bounds and sharp lower bounds of the eigenvalues of Lc. are obtained. In oarticular,it is oroved that-2cos(π/n)≤λn-1(LG)≤n-4 and λn(LG)=-2 if and only if G is bipartite.     

Distortion Properties of Holomorphic Functions of Several Complex Variables

Let Q(D) be a class of functions q, q(0) = 0, |q(z)| < 1 holomorphic in the Reinhardt domain D ? C ⁿ, a and b — arbitrary fixed numbers satisfying the condition — 1 ≤ b < a ≤ 1. ??(a, b; D) — the class of functions p such that p ? ??(a, b; D) iff for some q ? Q(D) and every z ? D. S*(a, b; D) — the class of functions f such that f ? S*(a, g; D) iff S^c(a, b; D) — the class of functions q such that q ? S^c(a, b; D) iff , where p ε ??(a, b; D) and K is an operator of the form for z=z₁,z₂,…z_n. The author obtains sharp bounds on |p(z)|, f(z)| g(z)| as well as sharp coefficient inequalities for functions in ??(a, b; D), S*(a, b; D) and S^c(a, b; D).     

Study of Hopficity in Certain Classes of Rings

The main results proved in this paper are:

1. For any non-zero vector space V _Dover a division ring D, the ring R= End(V _D) is hopfian as a ring

2. Let Rbe a reduced π-regular ring &; B(R) the boolean ring of idempotents of R. If B(R) is hopfian so is R.The converse is not true even when Ris strongly regular.

3. Let Xbe a completely regular spaceC(X) (resp. C ^?(X)) the ring of real valued (resp. bounded real valued) continuous functions on X. Let Rbe any one of C(X) or C ^?(X). Then Ris an exchange ring if &; only if Xis zero dimensional in the sense of Katetov. for any infinite compact totally disconnected space X C(X) is an exchange ring which is not von Neumann regular.

4. Let Rbe a reduced commutative exchange ring. If Ris hopfian so is the polynomial ring R[T ₁,…,T _n] in ncommuting indeterminates over Rwhere nis any integer ≥ 1.

5. Let Rbe a reduced exchange ring. If Ris hopfian so is the polynomial ring R[T].     

Volume approximation of smooth convex bodies by three-polytopes of restricted number of edges

For a given convex body K in \Bbb R³{\Bbb R}^3 with C ² boundary, let P ^c _n be the circumscribed polytope of minimal volume with at most n edges, and let P ⁱ _n be the inscribed polytope of maximal volume with at most n edges. Besides presenting an asymptotic formula for the volume difference as n tends to infinity in both cases, we prove that the typical faces of P ^c _n and P ⁱ _n are asymptotically regular triangles and squares, respectively, in a suitable sense.     

On Stable Equivalence of Tensor Products of Algebras

The paper investigates the following problem. Let bimodules N, M yield a stable equivalence of Morita type between self-injective K-algebras A and E. Further, let bimodules S, T yield a stable equivalence of Morita type between self-injective K-algebras B and F. Then we want to know whether the functor M ? _A  ? ? _B S: mod(A ? _K B ^op ) → mod(E ? _K F ^op ) induces a stable equivalence between A ? _K B ^op and E ? _K F ^op . There is given a reduction of this problem to some smaller subcategories for self-injective algebras. Moreover, new invariants of stable equivalences of Morita type are constructed in a general case of arbitrary finite-dimensional algebras over a field.     

On the integral of mean curvature of a flattened convex body in space forms

Under the assumptions that E _λ ⁿ is an n-dimensional, simply connected Riemannian manifold of constant sectional curvature λ and L _λ ^r is an r-dimensional, totally geodesic submanifold of E _λ ⁿ , the paper investigates the q-th integral of the mean curvature M _q ⁿ of a convex body K ^r in E _λ ⁿ and gives the expression of M _q ⁿ in the terms of M _p ^r , where M _p ^r is the p-th integral of the mean curvature of K ^r > in L _λ ^r . A result of L. A. Santaló [2] holds in particular.     

Nonsingularity and group invertibility of linear combinations of two k-potent matrices

An n × n complex matrix A is said to be k-potent if A ^k = A. Let T ₁ and T ₂ be k-potent and c ₁ and c ₂ be two nonzero complex numbers. We study the range space, null space, nonsingularity and group invertibility of linear combinations T = c ₁ T ₁ + c ₂ T ₂ of two k-potent matrices T ₁ and T ₂.     

Analog of a theorem of forelli for boundary values of holomorphic functions on the unit ball of ?n

Let f ∈ C ^ω (∂B ⁿ ), where B ⁿ is the unit ball of ℂ ⁿ . We prove that if a,b ? [`(B)] ⁿa,b \in {\overline B ^n}, a ≠ b, for every complex line L passing through one of a or b, the restricted function f|_{L ??Bⁿ}f{|_{L \cap \partial {B^n}}} has a holomorphic extention to the cross-section L∩B ⁿ , then f is the boundary value of a holomorphic function in B ⁿ .