A Variation of an Extremal Theorem Due to Woodall

We consider a variation of an extremal theorem due to Woodall [12, or 1, Chapter 3] as follows: Determine the smallest even integer (₃C₁,n), such that every n-term graphic sequence = (d₁, d₂,..., d_n) with term sum () = d₁ + d₂ + ... + d_n (₃C₁,n) has a realization G containing a cycle of length r for each r = 3,4,...,l. In this paper, the values of (₃C_l,n) are determined for l = 2m – 1,n 3m – 4 and for l = 2m,n 5m – 7, where m 4.AMS Mathematics subject classification (1991) 05C35Project supported by the National Natural Science Foundation of China (Grant No. 19971086) and the Doctoral Program Foundation of National Education Department of China     

Linear best approximation using a class ofk-majorl p norms

Consideration is given to problems of linear best approximation using a variant of the usuall _p norms referred to ask-majorl _p norms, for the cases when 1<p<. The underlying problem is the minimization of a piecewise smooth function. Best approximations are characterized, and a descent algorithm is developed.     

Primal-dual interior point approach for computingl 1-solutions andl ∞-solutions of overdetermined linear systems

This paper concerns solving an overdetermined linear systemA ^T x=b in the leastl ₁-norm orl -norm sense, whereA ^m×n ,m<n. We show that the primal-dual interior point approach for linear programming can be applied, in an effective manner, to linear programming versions of thel ₁ andl -problems. The resulting algorithms are simple to implement and can attain quadratic or superlinear convergence rate. At each iteration, the algorithms must solve a linear system with anm×m positive-definite coefficient matrix of the formADA ^T , whereD is a positive diagonal matrix. The preliminary numerical results indicate that the proposed algorithms offer considerable promise.This research was supported in part by Grants NSF DMS-91-02761 and DOE DE-FG05-91-ER25100.     

Embedding into l ∞2 Is Easy, Embedding into l ∞3 Is?NP-Complete

We give a new algorithm for enumerating all possible embeddings of a metric space (i.e., the distances between every pair within a set of n points) into ℝ² Cartesian space preserving their l _∞ (or l ₁) metric distances. Its expected time is (i.e., within a poly-log of the size of the input) beating the previous algorithm. In contrast, we prove that detecting l _∞³ embeddings is NP-complete. The problem is also NP-complete within l ₁² or l _∞² with the added constraint that the locations of two of the points are given or alternatively that the two dimensions are curved into a three-dimensional sphere. We also refute a compaction theorem by giving a metric space that cannot be embedded in l _∞³; however, it can be embedded if any single point is removed. This research is partially supported by NSERC grants. I would like to thank Steven Watson for his extensive help on this paper.     

Controlled dual perturbations for l p -programming

l _p -programming is a common generalization of linear programming, quadratically constrained quadratic programming,l _p -constrainedl _p -approximation, and multiple criteria compromise programming. It is a type of convex programming with objective function and inequality constraints expressed by means ofl _p -norms. The dual program established by Peterson and Ecker is a maximization problem with a concave, upper-semicontinuous objective function over a set of constraints that are essentially linear. In developing a dual method for this problem, we face two major difficulties. One is the non-differentiability of the dual objective function and the other one is an efficient dual-to-primal conversion.In this paper, we introduce a mechanism to construct a suitably perturbed dual program with a differentiable concave objective function over linear constraints. Solving this well-constructed perturbed dual program, we can obtain an-optimal dual solution for an arbitrarily small number. Moreover, we show a way of constructing a linear program based on this dual solution. Then an-optimal primal solution can be obtained by solving the dual of this simple linear program.

---

Zusammenfassung Diel _p -Optimierung ist eine Verallgemeinerung, die die lineare Optimierung, quadratische Optimierung mit quadratischen Restriktionen,l _p -Approximation mitl _p -Restriktionen, wie auch Vektoroptimierung umfaßt. Es handelt sich dabei um konvexe Optimierungsaufgaben, bei denen Zielfunktions- und Ungleichungsrestriktionen mittelsl _p -Normen ausgedrückt werden. Das duale Problem nach Peterson and Eckert ist ein Maximierungsproblem mit einer konkaven oberhalb-halbstetigen Zielfunktion über einer Menge von im wesentlichen linearen Restrictionen. Bei der Entwicklung einer dualen Lösungsmethode treten zwei Hauptschwierigkeiten auf: Die eine ist die Nicht-Differenzierbarkeit der dualen Zielfunktion, die andere besteht darin, eine effiziente Übertragung der dualen Lösung in eine primale zu finden.In dieser Arbeit führen wir eine Methode ein, die es gestattet, ein entsprechendes gestörtes duales Programm mit differenzierbarer konkaver Zielfunktion und linearen Restriktion aufzustellen. Bei der Lösung dieses wohl-strukturierten, gestörten dualen Problems erhalten wir eine-optimale Duallösung für beliebig kleines. Ferner zeigen wir einen Weg auf, wie, basierend auf dieser Duallösung, ein lineares Programm formuliert werden kann. Löst man das Dualproblem dieses einfachen linearen Programms, so erhält man eine-optimale Lösung für das Ausgangsproblem.

     

Some greedyt-intersecting families of finite sequences

Letn, s ₁,s ₂, ... ands _n be positive integers. Assume is an integer for eachi}. For , , and , denotes _p (a)={j|1jn,a _j p}, , and . is called anI _t ^p -intersecting family if, for any a,b ,a _i b _i =min(a _i ,b _i )p for at leastt i's. is called a greedyI _t ^P -intersecting family if is anI _t ^p -intersecting family andW _p (A)W _p (B+A ^c ) for anyAS _p ( ) and any with |B|=t–1.In this paper, we obtain a sharp upper bound of | | for greedyI _t ^p -intersecting families in for the case 2ps _i (1in) ands ₁>s ₂>...>s _n .This project is partially supported by the National Natural Science Foundation of China (No.19401008) and by Postdoctoral Science Foundation of China.     

Controller design to optimize a composite performance measure

This paper studies a mixed objective problem of minimizing a composite measure of thel ₁, ₂, andl -norms together with thel -norm of the step response of the closed loop. This performance index can be used to generate Pareto-optimal solutions with respect to the individual measures. The problem is analyzed for discrete-time, single-input single-output (SISO), linear time-invariant systems. It is shown via Lagrange duality theory that the problem can be reduced to a convex optimization problem with a priori known dimension. In addition, continuity of the unique optimal solution with respect to changes in the coefficients of the linear combination that defines the performance measure is estabilished.This research was supported by the National Science Foundation under Grants No. ECS-92-04309, ECS-92-16690 and ECS-93-08481.     

Two Characterizations of the Standard Unit Vector Basis of l 1

We show that for a sequence in a Banach space, the property of being stable under large perturbations characterizes the property of being equivalent to the unit vector basis of l ₁. We show that a normalized unconditional basic sequence in l ₁ that is semi-normalized in l is equivalent to the standard unit vector basis of l ₁.     

<Emphasis Type="Italic">r</Emphasis>-Minimal submanifolds in space forms

Let be an n-dimensional compact, possibly with boundary, submanifold in an (n + p)-dimensional space form R ^n+p (c). Assume that r is even and , in this paper we introduce rth mean curvature function S _r and (r + 1)-th mean curvature vector field . We call M to be an r-minimal submanifold if on M, we note that the concept of 0-minimal submanifold is the concept of minimal submanifold. In this paper, we define a functional of , by calculation of the first variational formula of J _r we show that x is a critical point of J _r if and only if x is r-minimal. Besides, we give many examples of r-minimal submanifolds in space forms. We calculate the second variational formula of J _r and prove that there exists no compact without boundary stable r-minimal submanifold with in the unit sphere S ^n+p . When r = 0, noting S ₀ = 1, our result reduces to Simons’ result: there exists no compact without boundary stable minimal submanifold in the unit sphere S ^n+p .      

On some homotopical and homological properties of monoid presentations

If a monoid S is given by some finite complete presentation ℘, we construct inductively a chain of CW-complexes

Integral Formulas for the r-Mean Curvature Linearized Operator of a Hypersurface

For a normal variation of a hypersurface M ⁿ in a space form Q _c ⁿ⁺¹ by a normal vector field fN, R. Reilly proved:

On the Wl q-Regularity of Solutions to Systems of Differential Equations in the Case When the Equations Are Constructed from Discontinuous Functions

Some solution, final in a sense from the standpoint of the theory of Sobolev spaces, is obtained to the problem of regularity of solutions to a system of (generally) nonlinear partial differential equations in the case when the system is locally close to elliptic systems of linear equations with constant coefficients. The main consequences of this result are Theorems 5 and 8. According to the first of them, the higher derivatives of an elliptic C ^l -smooth solution to a system of lth-order nonlinear partial differential equations constructed from C ^l -smooth functions meet the local Hoelder condition with every exponent , 0<<1. Theorem 8 claims that if a system of linear partial differential equations of order l with measurable coefficients and right-hand sides is uniformly elliptic then, under the hypothesis of a (sufficiently) slow variation of its leading coefficients, the degree of local integrability of lth-order partial derivatives of every W ^l _q,loc-solution, q>1, to the system coincides with the degree of local integrability of lower coefficients and right-hand sides.     

The free spectrum of the variety of bands

In this short note we give an asymptotic formula for the p _n sequence of the variety of bands, namely, for some constant K. This yields a formula for the free spectrum of this variety.     

Uniformly non-l n (1) Musielak-Orlicz sequence spaces

We give a necessary and sufficient condition for the uniformly non-l _n ⁽¹⁾ property of Musielak-Orlicz sequence spacesl ^Φ generated by a sequence Φ=(ϕ_n:n⩾l) of finite Orlicz functions such that for eachn∈ℕ. As a result, forn ₀⩾2, there exist spacesl ^Φ which are only uniformly non-l _n ⁽¹⁾ forn⩾n ₀. Moreover we obtain a characterization of uniformly non-l _n ⁽¹⁾ and reflexive Orlicz sequence spaces over a wide class of purely atomic measures and of uniformly non-l _n ⁽¹⁾ Nakano sequence spaces. This extends a result of Luxemburg in [19]. Submitted in memory of Professor W. Orlicz     

p-Banach Spaces and p-Totally Convex Spaces. II

We show that the results about the set S : ={ [0, 1] ^{1 / p} x + (1 – )^{1 / p} z ^{1 / p} y + (1 – )^{1 / p} z}, where x, y, z elements of a p-absolutely convex space D and `' is a congruence relation on D are the best possible. Finally, we give an explicit construction of the left adjoint of the comparison functor Ô _p : B an _p T C _p (resp. Ô _{p, fin} : V ec _p A C _p ).     

Residues of higher order and holomorphic vector fields

LetX ₁ andX ₂ be two holomorphic vector fields on a manifoldV with complex dimensionp. Assume that they have the same singular set . For all , it is known (after Chern-Bott) that each of the vector fields defines a residual characteristic classC ₁(V,X ₁)(resp.C ₁(V,X ₂)) inH ^2p (V, V-), which is a lift of the usual characteristic classC ₁ (V) of the tangent bundle. The differenceC ₁ (V,X ₂)-C ₁ (V,X ₁) belongs then to the image of in the exact sequence. In fact, there exists a canonical liftC ₁ (V,X ₁,X ₂) of this difference inH ^2p–1(V-): we will call itthe residual class of order 2 (associated toI, X ₁ andX ₂). This class is localized near the points whereX ₁ andX ₂ are colinear: we will explain this precisely in terms of Grothendieck residues. The formula that we obtain can be interpreted as a generalization of the purely algebraic identity, obtained from the general one as a byproduct: where ( ₁, , _p) and ( ₁,, _p ) denote two families of non-zero complex numbers, such that all denominators in this formula do not vanish. (This identity corresponds in fact to the case whereX ₁ andX ₂ are non-degenerate at the same isolated singular point.)If the _i 's (1ip) depend now differentiably (resp. holomorphically) on a real (resp. complex) parametert then, denoting by the derivative with respect tot, and assuming all numbers lying in a denominator not to be 0, we can deduce from the above identity the following derivation formula:     

Characterizations of spaces in the unit ball of

Let B denote the unit ball of . For 0<p<∞, the holomorphic function spaces Q_p and Q_p,0 on the unit ball of are defined as

and

In this paper, we give some derivative-free, mixture and oscillation characterizations for Q_p and Q_p,0 spaces in the unit ball of .     

An extension of Takahashi theorem for the linearized operators of the higher order mean curvatures

We study hypersurfaces in Euclidean space whose position vector x satisfies the condition L _k x = Ax + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed , is a constant matrix and is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature and open pieces of round hyperspheres and generalized right spherical cylinders of the form , with . This extends a previous classification for hypersurfaces in satisfying , where is the Laplacian operator of the hypersurface, given independently by Hasanis and Vlachos [J. Austral. Math. Soc. Ser. A 53, 377–384 (1991) and Chen and Petrovic [Bull. Austral. Math. Soc. 44, 117–129 (1991)].      

A priori estimates of strong solutions of semilinear parabolic equations

We study an initial boundary value problem for the semilinear parabolic equation