On Piecewise-Constant Approximation of Continuous Functions of n Variables in Integral Metrics

We consider the approximation by piecewise-constant functions for classes of functions of many variables defined by moduli of continuity of the form (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ), where _i ( _i ) are ordinary moduli of continuity that depend on one variable. In the case where _i ( _i ) are convex upward, we obtain exact error estimates in the following cases: (i) in the integral metric L ₂ for (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ); (ii) in the integral metric L _p (p 1) for (₁, ..., _n ) = c ₁₁ + ... + c _{n n} ; (iii) in the integral metric L _{(2, ..., 2, 2r)} (r = 2, 3, ...) for (₁, ..., _n ) = ₁(₁) + ... + _{n – 1}( _{n – 1}) + c _{n n} .     

A note on the independent domination number of subset graph

The independent domination number i(G) (independent number (G)) is the minimum (maximum) cardinality among all maximal independent sets of G. Haviland (1995) conjectured that any connected regular graph G of order n and degree 1/2n satisfies i(G) 2n/3 1/2. For 1 k l m, the subset graph S _m (k, l) is the bipartite graph whose vertices are the k- and l-subsets of an m element ground set where two vertices are adjacent if and only if one subset is contained in the other. In this paper, we give a sharp upper bound for i(S _m (k, l)) and prove that if k + l = m then Havilands conjecture holds for the subset graph S _m (k, l). Furthermore, we give the exact value of (S _m (k, l)).This work was supported by National Natural Sciences Foundation of China (19871036).     

Problem of correctness of the best approximation in the space of continuous functions

Let W^rH _w be the subclass of those functions of C^r[a, b], for which (f ^(r),)(), where () is a given modulus of continuity, and P_n be the space of algebraic polynomials of degree at most n and _n(f) be the polynomial of best approximation for f(x) on [a, b]. Estimates for and moduli of continuity of the operators of best approximation on W^rH _w are established. For example, if ()=, then Translated from Matematicheskie Zametki, Vol. 23, No. 3, pp. 351–360, March, 1978.The author thanks S. B. Stechkin for the formulation of the problem and assistance with the article.     

Homothetic floating bodies

We show that a convex bodyK in ⁿ is homothetic to an ellipsoid if there is a sequence { _k }k converging to 0 so thatK is homothetic to its floating bodiesK _k.Supported by NSF grant DMS-9108003.     

On the improvement per iteration in Karmarkar's algorithm for linear programming

We investigate the decrease in potential at an iteration of Karmarkar's projective method for linear programming. For a fixed step length parameter (so that we must have 0 < 1) the best possible guarantee _n () inn dimensional space is essentially ln 2 0.69; and to achieve this we must take about 1. Indeed we show the precise result that _n () equals ln(1 +)-ln(1 –/(n – 1)) forn sufficiently large. If we choose an optimal step length at each iteration then this guarantee increases only to about ^* 0.72. We also shed some light on the remarkable empirical observation that the number of iterations required seems scarcely to grow with the size of the problem.     

On the lower Markov spectrum

C. Hightower found two infinite sequences of gaps in the Markov spectrum, ( _n , _n ) and ( _n , _n ) with _n and _n both Markov elements, converging to . This paper exhibits Markov elements _n ^* and _n ^* such that, for alln 1, ( _n ^* , _n ) and ( _{n n} ^* ) are gaps in the Markov spectrum. Other results include showing that, for alln 1, _n is completely isolated, while the other endpoints of the gaps are limit points in the Markov spectrum.     

D λ -cycles in 3-cyclable graphs

Letk and be positive integers, andG a 2-connected graph of ordern with minimum degree and independence number. A cycleC ofG is called aD -cycle if every component ofG – V(C) has order smaller than. The graphG isk-cyclable if anyk vertices ofG lie on a common cycle. A previous result of the author is that if k 2, G isk-connected and every connected subgraphH ofG of order has at leastn +k ² + 1/k + 1 – vertices outsideH adjacent to at least one vertex ofH, thenG contains aD -cycle. Here it is conjectured that k-connected can be replaced by k-cyclable, and this is proved fork = 3. As a consequence it is shown that ifn 4 – 6, or ifG is triangle-free andn 8 – 10, thenG contains aD ₃-cycle orG , where denotes a well-known class of nonhamiltonian graphs of connectivity 2. As an analogue of a result of Nash-Williams it follows that ifn 4 – 6 and – 1, thenG is hamiltonian orG . The results are all best possible and compare favorably with recent results on hamiltonicity of graphs which are close to claw-free.     

Blow-up rates for parabolic systems

Let ⁿ be a bounded domain andB _R be a ball in ⁿ of radiusR. We consider two parabolic systems: ut=u +f(), i= +g(u) in × (0,T) withu=v=0 on × (0,T) andu _t =u, v _t =v inB _r × (0,T) withe/v=f (v), e/v=g(u) onB _R × (0,T). Whenf(v) andg(u) are power law or exponential functions, we establish estimates on the blow-up rates for nonnegative solutions of the systems.     

A Statistic on Involutions

We define a statistic, called weight, on involutions and consider two applications in which this statistic arises. Let I(n) denote the set of all involutions on [n](={1,2,..., n}) and let F(2n) denote the set of all fixed point free involutions on [2n]. For an involution , let || denote the number of 2-cycles in . Let[ n] _q =1+q++q^n-1 and let denote the q-binomial coefficient. There is a statistic wt on I(n) such that the following results are true.(i) We have the expansion

Windschiefe Kongruenzflächen konstanten Dralls

In this paper we study the curves of a surface ( _T -lines) which are base curves of ruled surfaces for which the parameter of distribution O has a constant value. Moreover we assume that the ruled surfaces belong to a given congruenceT of surface tangents of . Relations are established between the _T -lines and other curves of (asymptotic lines, lines of curvature, k _T -lines). The _T -lines are used to characterize the pseudospheres and the helicoids. The _T -lines of the surfaces of revolution are determined if the congruenceT consists of the tangents of the circles of latitude.

---

---

Herrn WERNER BURAU zum 70.Geburtstag     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

Generalizations of Perfect, Semiperfect, and Semiregular Rings

For a ring R and a right R-module M, a submodule N of M is said to be -small in M if, whenever N + X = M with M/X singular, we have X = M. If there exists an epimorphism p: P M such that P is projective and Ker(p) is -small in P, then we say that P is a projective -cover of M. A ring R is called -perfect (resp., -semiperfect, -semiregular) if every R-module (resp., simple R-module, cyclically presented R-module) has a projective -cover. The class of all -perfect (resp., -semiperfect, -semiregular) rings contains properly the class of all right perfect (resp., semiperfect, semiregular) rings. This paper is devoted to various properties and characterizations of -perfect, -semiperfect, and -semiregular rings. We define (R) by (R)/Soc(R_R) = Jac(R/Soc(R_R)) and show, among others, the following results:

Weak solutions of the Stokes problem in weighted Sobolev spaces

For n2 we consider the Stokes problem in ⁿ, -u + p=f, -divu=g, in weighted Soboiev spaces H ₆ ^m,r , where the weights are proportional to (1+|x|). We prove the existence of weak solutions for any K, whereK is a discrete set of critical values. Furthermore, we characterize the solutions of the homogeneous problem.This research was supported by the DFG research group Equations of Hydrodynamics, Universities of Bayreuth and Paderborn.     

Bounds for bounded motion around a perturbed fixed point

We consider a dissipative map of the plane with a bounded perturbation term. This perturbation represents e.g. an extra time dependent term, a coupling to another system or noise. The unperturbed map has a spiral attracting fixed point. We derive an analytical/numerical method to determine the effect of the additional term on the phase portrait of the original map, as a function of the bound on the perturbation. This method yields a value _c such that for< _c the orbits about the attractor are certainly bounded. In that case we obtain a largest region in which all orbits remain bounded and a smallest region in which these bounded orbits are captured after some time (the analogue of basin and attractor respectively).The analysis is based on the Lyapunov function which exists for the unperturbed map.     

Spectral invariance,ellipticity, and the Fredholm property for pseudodifferential operators on weighted Sobolev spaces

The pseudodifferential operators with symbols in the Grushin classes \~S _inf0 ^sup, , 0 < 1, of slowly varying symbols are shown to form spectrally invariant unital Frécher-*-algebras (*-algebras) in L(L ²(R ⁿ )) and in L(H ^st ) for weighted Sobolev spaces H _inf ^supst defined via a weight d function . In all cases, the Fredholm property of an operator can be characterized by uniform ellipticity of the symbol. This gives a converse to theorems of Grushin and Kumano-Ta-Taniguchi. Both, the spectrum and the Fredholm spectrum of an operator turn out to be independent of the choices of s, t and .The characterization of the Fredholm property by uniform ellipticity leads to an index theorem for the Fredholm operators in these classes, extending results of Fedosov and Hörmander.     

Some applications of the nash-williams lemma to the edge-reconstruction conjecture

It is shown that a graph whose vertices have one of four possible degrees is edgereconstructible if either 8 ord 2log ₂ 68, where andd are the minimum and the average degree of a graph respectively.     

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

Uniformities for the convergence in law and in probability

The convergence (X _n, Y_n)0 is investigated and characterized for probability metrics which metrize convergence in distribution or in probability. Some related metrics are also considered.     

On upper bounds of Fourier-Walsh coefficients

An upper bound is established for the upper bounds of the Fourier-Walsh coefficients a_n(f) whose modulus of continuity (,f) does not exceed a given modulus of continuity (). In the case of convex majorants of (), these bounds are attained for individual ordinal numbers n.Translated from Matematicheskie Zametki, Vol. 6, No. 6, pp. 725–736, December, 1969.     

Compact operators whose singular numbers have powerlike asymptotics

For a compact operator in a Hilbert space, let s_n(A), n =1, 2,... be the singular numbers and let N(s; A) =card{n N:s_n(A)>, s>0. For 0

a _p and not on the individual elementAa, (H. Weyl's lemma); this allows us to write _p (a), _pp (a), a_p. One obtains certain results regarding the functionals _p, _p (and about the analogous functionals for the positive and negative eigenvalues in the casea=a ^*=A ^*:A a. In particular: I. Ifa ₁ a _2p, then. II.Let a ₁,a _{2 pP} ,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matetmaticheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 21–30, 1983.