Element neighbourhoods in twofold triple systems

The method of differences is used to establish that every 2-regular multigraph onv– 10,2 (mod 3) points occurs as the neighbourhood graph of an element in a twofold triple system of orderv, with two exceptions: C₂C₃and C₃C₃.Dedicated to Professor Hanfried Lenz on the occasion of his seventieth birthday     

A general minimax theorem

This paper is concerned with minimax theorems for two-person zero-sum games (X, Y, f) with payofff and as main result the minimax equality inf supf (x, y)=sup inff (x, y) is obtained under a new condition onf. This condition is based on the concept of averaging functions, i.e. real-valued functions defined on some subset of the plane with min {x, y}< (x, y)x, y} forx y and (x, x)=x. After establishing some simple facts on averaging functions, we prove a minimax theorem for payoffsf with the following property: Forf there exist averaging functions and such that for any x₁, x₂ X, > 0 there exists x₀ X withf (x₀, y) > f (x₁,y),f (x₂,y))– for ally Y, and for any y₁, y₂ Y, > 0 there exists y₀ Y withf (x, y₀) (f (x, y₁),f (x, y₂))+. This result contains as a special case the Fan-König result for concave-convex-like payoffs in a general version, when we take linear averaging with (x, y)=x+(1–)y, (x, y)=x+(1–)y, 0 <, < 1.Then a class of hide-and-seek games is introduced, and we derive conditions for applying the minimax result of this paper.

---

Zusammenfassung In dieser Arbeit werden Minimaxsätze für Zwei-Personen-Nullsummenspiele (X, Y,f) mit Auszahlungsfunktionf behandelt, und als Hauptresultat wird die Gültigkeit der Minimaxgleichung inf supf (x, y)=sup inff (x, y) unter einer neuen Bedingung an f nachgewiesen. Diese Bedingung basiert auf dem Konzept mittelnder Funktionen, d.h. reellwertiger Funktionen, welche auf einer Teilmenge der Ebene definiert sind und dort der Eigenschaft min {x, y} < < (x, y)x, y} fürx y, (x, x)=x, genügen. Nach der Herleitung einiger einfacher Aussagen über mittelnde Funktionen beweisen wir einen Minimaxsatz für Auszahlungsfunktionenf mit folgender Eigenschaft: Zuf existieren mittelnde Funktionen und, so daß zu beliebigen x₁, x₂ X, > 0 mindestens ein x₀ X existiert mitf (x₀,y) (f (x ₁,y),f (x₂,y)) – für alley Y und zu beliebigen y₁, y₂ Y, > 0 mindestens ein y₀ Y existiert mitf (x, y₀) (f (x, y₁),f (x, y ₂))+ für allex X. Dieses Resultat enthält als Spezialfall den Fan-König'schen Minimaxsatz für konkav-konvev-ähnliche Auszahlungsfunktionen in einer allgemeinen Version, wenn wir lineare Mittelung mit (x, y)=x+(1–)y, (x, y)= x+(1–)y, 0 <, < 1, betrachten.Es wird eine Klasse von Suchspielen eingeführt, welche mit dem vorstehenden Resultat behandelt werden können.

     

Fourier series of additive vector measures and their term-by-term differentiation

On a measurable space (T, , ) we choose an additive measure: Z (Z is a Banach space) with the following property: for alle , we have ; this measure defines an indefinite integral over the measure onL ² (T, ,). We prove that if { _n (t)} _n ^=1/ is an orthonormal basis inL ² and _n (e)=e _n (t) d, then any additive measure: Z whose Radon-Nikodým derivatived/d belongs toL ² is uniquely expandable in a series(e)= _n ^=1/ _n n(e) that converges to(e) uniformly with respect toe can be differentiated term-by-term, and satisfies _n ^=1/ _n ^/2 <. In the caseL ²[0,2],Z=, the Fourier series of a 2-periodic absolutely continuous functionF(t) such thatF'(t) L ²[0, 2] is superuniformly convergent toF(t).Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 180–184, August, 1998.     

Monotonicity properties of zeros of generalized Airy functions

Summary We show, among other things, that the positive zeros of a solution ofy +x y=0,y(0)=0 decrease to 1 as increases, 0.

---

Sommario Si dimostra, tra l'altro, che gli zeri positivi d'una soiuzione diy +x y=0,y(0)=0 decrescono al limite 1, quando cresce, 0.

---

---

To the memory of Milo Háik

---

This research was supported by grants from the Natural Sciences and Engineering Research Council (Canada) and Consiglio Nazionale delle Ricerche (Italy). Some of the work was done while the second-named author was visiting the Department of Mathematics, University of Torino.     

The distortion of Hilbert space

The unit sphere of Hilbert space, ₂, is shown to contain a remarkable sequence of nearly orthogonal sets. Precisely, there exist a sequence of sets of norm one elements of ₂, (C _i ) _i=1 , and reals _i 0 so that a) each setC _i has nonempty intersection with every infinite dimensional closed subspace of ₂ and b) forij,xC, andyC _j , |x, y|<_{min(i, j)} E. Odell was partially supported by NSF and TARP. Th. Schlumprecht was partially supported by NSF and LEQSF.     

An efficient algorithm for solving semi-infinite inequality problems with box constraints

Many design objectives may be formulated as semi-infinite constraints. Examples in control design, for example, include hard constraints on time and frequency responses and robustness constraints. A useful algorithm for solving such inequalities is the outer approximations algorithm. One version of an outer approximations algorithm for solving an infinite set of inequalities(x, y) 0 for allyY proceeds by solving, at iterationi of the master algorithm, a finite set of inequalities ((x, y) 0 for allyY _i) to yieldx _i and then updatingY _i toY _i+1=Y _i {y_i } wherey _i arg max {(x _i,y)¦y Y}. Since global optimization is computationally extremely expensive, it is desirable to reduce the number of such optimizations. We present, in this paper, a modified version of the outer approximations algorithm which achieves this objective.The research reported herein was sponsored by the National Science Foundation Grants ECS-9024944, ECS-8816168, the Air Force Office of Scientific Research Contract AFOSR-90-0068, and the NSERC of Canada under Grant OGPO-138352.     

Quadratically constrained quadratic programming: Some applications and a method for solution

The problem (QPQR) considered here is: minimizeQ ₁ (x) subject toQ _i (x) 0,i M ₁ {2,...,m},x P R ⁿ, whereQ _i (x), i M {1} M ₁ are quadratic forms with positive semi-definite matrices, andP a compact nonempty polyhedron of Rⁿ. Applications of (QPQR) and a new method to solve it are presented.Letu S={u R ^m;u 0, u _i= l}be fixed;then the problem:iM minimize u _iQ_i (x (u)) overP, always has an optimal solutionx (u), which is either feasible, iM i.e. u C₁ {u S;Q _i (x (u)) 0,i M ₁} or unfeasible, i.e. there exists ani M ₁ withu C {u S; Q_i(x(u)) 0}.Let us defineC _i C_i S _i withS _i {u S; u _i=0}, i M. A constructive method is used to prove that C _i is not empty and thatx (û) withiM û C _i characterizes an optimal solution to (QPQR). Quite attractive numerical results have been reached with this method.

---

Zusammenfassung Die vorliegende Arbeit befaßt sich mit Anwendungen und einer neuen Lösungsmethode der folgenden Aufgabe (QPQR): man minimiere eine konvexe quadratische ZielfunktionQ _i (x) unter Berücksichtigung konvexer quadratischer RestriktionenQ _i (x) 0, iM ₁ {2,...,m}, und/oder linearer Restriktionen.·Für ein festesu S {u R ^m;u 0, u _i=1},M {1} M₁ besitzt das Problem:iM minimiere die konvexe quadratische Zielfunktion u _i Q_i (x (u)) über dem durch die lineareniM Restriktionen von (QPQR) erzeugten, kompakten und nicht leeren PolyederP R ⁿ, immer eine Optimallösungx (u), die entweder zulässig ist: u C₁ {u S;Q ₁ (x (u)) 0,i M ₁} oder unzulässig ist, d.h. es existiert eini M ₁ mitu C_i {u S;Q _i (x(u))0}.Es seien folgende MengenC _i C_i S _i definiert, mitS _i {u S;u _i=0}, i M. Es wird konstruktiv bewiesen, daß C _i 0 undx (û) mitû C _i eine Optimallösung voniM iM (QPQR) ist; damit ergibt sich eine Methode zur Lösung von (QPQR), die sich als sehr effizient erwiesen hat. Ein einfaches Beispiel ist angegeben, mit dem alle Schritte des Algorithmus und dessen Arbeitsweise graphisch dargestellt werden können.

---

---

An earlier version of this paper was written during the author's stay at the Institute for Operations Research, Swiss Federal Institute of Technology, Zürich.     

On the semimartingale representation of reflecting Brownian motion in a cusp

Summary LetC be the symmetric cusp {(x, y)²:–x yx ,x0} where >1. In this paper we decide whether or not reflecting Brownian motion inC has a semimartingale representation. Here the reflecting Brownian motion has directions of reflection that make constant angles with the unit inward normals to the boundary. Our results carry through for a wide class of asymmetric cusps too.     

Maslov Index and a Central Extension of the Symplectic Group

In this paper we show that over any field K of characteristic different from 2, the Maslov index gives rise to a 2-cocycle on the stable symplectic group with values in the Witt group. We also show that this cocycle admits a natural reduction to I ²(K) and that the induced natural homomorphism from K ₂ Sp(K)I ²(K) is indeed the homomorphism given by the symplectic symbol {x, y} mapping to the Pfister form 1, -x 1, –y.     

Triple Positive Solutions for Multipoint Conjugate Boundary Value Problems

For the nth order nonlinear differential equation y ⁽ⁿ⁾(t)=f(y(t)), t [0,1], satisfying the multipoint conjugate boundary conditions, y ^(j)(a_i) = 0,1 i k, 0 j n _i - 1, 0 =a ₁ < a ₂ < < a _k = 1, and _i=1 ^k n _i =n, where f: [0, ) is continuous, growth condtions are imposed on f which yield the existence of at least three solutions that belong to a cone.     

Approximation and regular perturbation of optimal control problems via Hamilton-Jacobi theory

We present two convergence theorems for Hamilton-Jacobi equations and we apply them to the convergence of approximations and perturbations of optimal control problems and of two-players zero-sum differential games. One of our results is, for instance, the following. LetT andT _h be the minimal time functions to reach the origin of two control systemsy = f(y, a) andy = f _h (y, a), both locally controllable in the origin, and letK be any compact set of points controllable to the origin. If f _h –f Ch, then |T(x) – T _h (x)| C _K h , for all x K, where is the exponent of Hölder continuity ofT(x).     

The classification of finite connected hypermetric spaces

A finite distance spaceX, d d: X ² is hypermetric (of negative type) if a _x a _y d(x, y) 0 for all integral sequences{a _x x X} that sum to 1 (sum to 0).X, d is connected if the set {(x, y)d(x, y) = 1, x, y X} is the edge set for a connected graph onX, and graphical ifd is the path length distance for this graph. Then we proveThe first author was partially supported by NSF grant DMS 8600882.     

On the Eigenvalues and Eigenfunctions of the Sturm--Liouville Operator with a Singular Potential

In this paper we consider the Sturm--Liouville operators generated by the differential expression -y+q(x)y and by Dirichlet boundary conditions on the closed interval [0,]. Here q(x) is a distribution of first order,, i.e., q(x)dx L ₂[0,]. Asymptotic formulas for the eigenvalues and eigenfunctions of such operators which depend on the smoothness degree of q(x) are obtained.     

Classification of twisted free tensor products

Summary We would like to monitor the homotopy type of the loop space of mapping cones (Y _tf CX) for X and Y fixed and varying f. The effect of f on the homotopy type is reflected by the cooperation of the loop space of the mapping cone induced by the usual cooperation of the mapping cone Y _tfCX Y _tfCXX. Using the singular complex functor we move to the category of differential graded algebras. Motivated by the cooperation of the loop space of the mapping cone we define a free co-module. We find universal objects in this category and two classification theorems.     

Finite Representability of ℓp in Quotients of Banach Spaces

A typical result of the paper states that if X is a Banach space with a basis and for some 1pq, the spaces _p and _q are finitely block representable in every block subspace of X, then every block subspace of X admits a block quotient Z such that for every r[p,q], the space _r is finitely block representable in Z. Results of a similar nature are also established for ^N _p-block-sequences and asymptotic spaces.     

Asymptotic stability at infinity of planar vector fields

Let >0 andX be aC ¹ vector field on the plane such that: (i) for allq², Det(DX(q))>0; and (ii) for allp², with p, Trace(D(X(p))<0. IfX has a singularity and ² Trace(DX)dxdy is less than 0 (resp. greater or equal than 0), then the point at infinity of the Riemann sphere ²{} is a repellor (resp. an attractor) ofX.     

О метрических свойст вах особых множеств г оломорфных функций нескольких п еременных

LetG be a domain inC ⁿ ,EG, mes E=0 for (r)=r ^2n–1(r), where (r) is a nondecreasing non-negative function (r>0). Iff(z) is holomorphic inGE and (,f, GE)(), C=const, thenf(z) is holomorphic inG.The impossibility of the relaxation of the stipulations on () and(r) is also established.The statement above is a corollary to a more general result about the representation of a holomorphic function from a certain class in the form of an integral with respect to -measure, extended over the set of singular points of the function.     

Lower functions for asymmetric Lévy processes

Summary Let {X _t } be a ¹ process with stationary independent increments and its Lévy measurev be given byv{yy>x}=x ^–L ₁ (x), v{yy<–x}=x ^–L ₂ (x) whereL ₁,L ₂ are slowly varying at 0 and and 0<1. We construct two types of a nondecreasing functionh(t) depending on 0<<1 or =1 such that lim inf a.s. ast 0 andt for some positive finite constantC.This research is partialy supported by a grant from Korea University     

Approximation of the Distribution of the Supremum of a Centered Random Walk. Application to the Local Score

Let (X _n ) _{n 0} be a real random walk starting at 0, with centered increments bounded by a constant K. The main result of this study is: |P(S _n n x)–P( sup_{0 u 1} B _u x)| C(n,K) n/n, where x 0, ² is the variance of the increments, S _n is the supremum at time n of the random walk, (B _u ,u 0) is a standard linear Brownian motion and C(n,K) is an explicit constant. We also prove that in the previous inequality S _n can be replaced by the local score and sup₀ u 1 B _u by sup₀ u 1|B _u |.     

Remarks on some classes of Fourier coefficients

In this paper equivalent classes of the classes M' and S' _{p r}, p >1, 0,r {0,1,2,...,[]} defined by Sheng [5] are obtained. Then it is shown that the classes of Fourier coefficients S _p, S' _p(case r==0) and S _p(), p>1, defined by . V. Stanojevi, V. B. Stanojevi Sheng and the author of the present note are identical. As a corollary of this result, the L ¹-estimate for cosine series, obtained in [10], is refined.