Chapter 1 Introduction: Extensions and new developments in DEA

The extensions, new developments and new interpretations for DEA covered in this paper include: (1) new measures of efficiency, (2) new models and (3) new ways of implementing established models with new results and interpretations presented that include treatments of congestion, returns-to-scale and mix and technical inefficiencies and measures of efficiency that can be used to reflect all pertinent properties. Previously used models, such as those used to identify allocative inefficiencies, are extended by means of assurance region approaches which are less demanding in their information requirements and underlying assumptions. New opportunities for research are identified in each section of this chapter. Sources of further developments and possible sources for further help are also suggested with references supplied to other papers that appear in this volume and which are summarily described in this introductory chapter.     

On Locally Projective Graphs of Girth 5

Let be a graph and G be a 2-arc transitive automorphism group of . For a vertex x let G(x)^(x) denote the permutation group induced by the stabilizer G(x) of x in G on the set (x) of vertices adjacent to x in . Then is said to be a locally projective graph of type (n,q) if G(x)^(x) contains PSL_n(q) as a normal subgroup in its natural doubly transitive action. Suppose that is a locally projective graph of type (n,q), for some n 3, whose girth (that is, the length of a shortest cycle) is 5 and suppose that G(x) acts faithfully on (x). (The case of unfaithful action was completely settled earlier.) We show that under these conditions either n=4, q=2, has 506 vertices and , and contains the Wells graph on 32 vertices as a subgraph. In the latter case if, for a given n, at least one graph satisfying the conditions exists then there is a universal graph W(n) of which all other graphs for this n are quotients. The graph W(3) satisfies the conditions and has 2²⁰ vertices.     

On affine scaling algorithms for nonconvex quadratic programming

We investigate the use of interior algorithms, especially the affine-scaling algorithm, to solve nonconvex — indefinite or negative definite — quadratic programming (QP) problems. Although the nonconvex QP with a polytope constraint is a hard problem, we show that the problem with an ellipsoidal constraint is easy. When the hard QP is solved by successively solving the easy QP, the sequence of points monotonically converge to a feasible point satisfying both the first and the second order optimality conditions.Research supported in part by NSF Grant DDM-8922636 and the College Summer Grant, College of Business Administration, The University of Iowa.     

Multi-stage stochastic optimization applied to energy planning

This paper presents a methodology for the solution of multistage stochastic optimization problems, based on the approximation of the expected-cost-to-go functions of stochastic dynamic programming by piecewise linear functions. No state discretization is necessary, and the combinatorial explosion with the number of states (the well known curse of dimensionality of dynamic programming) is avoided. The piecewise functions are obtained from the dual solutions of the optimization problem at each stage and correspond to Benders cuts in a stochastic, multistage decomposition framework. A case study of optimal stochastic scheduling for a 39-reservoir system is presented and discussed.     

Problem of instability in the first approximation

Let E be a Banach space, A be a continuous linear operator such that (A) ; Re>0 Ø, and F(t, x) be a continuous function on [0, )×E satisfying the condition F(t, x) q x (q= const). An example of a system dx/dt=Ax + F(t, x) is given which has an exponentially stable zero solution for certain F(t, x) with arbitrarily small q.Translated from Matematicheskie Zametki, Vol. 23, No. 5, pp. 721–723, May, 1978.     

Atomic Hardy spaces

. , BMO VMO.

---

---

This paper is a part of the author's Ph.D. thesis written under the supervision of Prof. F. Schipp, Eötvös L. University, Budapest.     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Subgroups of free groups

With each subgroup A of a free group F there is associated a number FA called the quasi-index. It is proved that FA=ªA¦ if ¦FA¦ is finite. Some properties of the quasi-index are also established, in particular that the analog of Lagrange's theorem is valid for it: FB FA AB if A B as well as generalizations of Howson's and Byrnes' theorems.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, Nos. 7 and 8, pp. 1115–1119, July–August, 1991.     

On the parameter estimation of diffusional type processes with constant coefficients (Elementary Gaussian Processes)

, (1). 3, , ()=, (8) (16). [1], . (28) (31) ( 5), - (. [3]).

---

---

The author thanks Professor M.Arató for having pointed out this problem, and for his valuable suggestions.     

Stream vectors in three dimensional aerodynamics

Summary This work deals with the decomposition of a vector fieldu intou=×+. Non homogeneous boundary conditions on or are investigated; applications to the computation of inviscid flows are given; finally a conforming finite element implementation is studied and tested.     

Latteninterpolation bei einer Funktion von zwei Veränderlichen

Summary In each lattice point , of a rectangular net a numerical valueu is given. A bicubical and twice continuously differentiable function is constructed interpolating the valuesu . The method is known as «spline interpolation».     

Slope Estimates of Artin–Schreier Curves

Let X/F_p be an Artin–Schreier curve defined by the affine equation y ^p –y=f(x) where f(x)F_p[x] is monic of degree d. In this paper we develop a method for estimating the first slope of the Newton polygon of X. Denote this first slope by NP₁(X/F_p). We use our method to prove that if p>d2 then NP₁(X/F_p)(p–1)/d/(p–1). If p>2d4, we give a sufficient condition for the equality to hold.     

Asymptotic estimates of approximation of continuous periodic functions by Fourier sums

Asymptotic estimates, expressed in terms of the value of the modulus of continuity of r-th order (r2) at the point t=/n of a functionf C ₂ or of the (, )-derivative of a functionf C _B C, are established for the deviations of continuous periodic functions from their Fourier sums.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 6, pp. 747–755, June, 1990.     

The intuitionistic propositional calculus with quantifiers

Let L be the language of the intuitionistic propositional calculus J completed by the quantifiers and , and let calculus 2J in language L contain, besides the axioms of J, the axioms xB (x) B(y) and B(y) xB (x). A Kripke semantics is constructed for 2J and a completeness theorem is proven. A result of D. Gabbay is generalized concerning the undecidability of C2J⁺-extension of 2J by schemes x (x B) and x(A B(x))A xB (x) specificially: the undecidability is proven of each T theory in language L such that [2J]T [C2J+] ([2J] ([2J] denotes the set of all theorems of calculus 2J).Translated from Matematicheskie Zametki, Vol. 22, No. 1, pp. 69–76, July, 1977.     

Flag-Transitive 2-Designs Arising from Line-Spreads in PG(2n-1,2)

A Singer cycle in GL(n,q) is an element of order q permuting cyclically all the nonzero vectors. Let be a Singer cycle in GL(2n,2). In this note we shall count the number of lines in PG (2n-1,2) whose orbit under the subgroup of index 3 in the Singer group is a spread. The lines constituting such a spread are permuted cyclically by the group ³, hence gives rise to a flag-transitive 2-(2²ⁿ ,4,1) design.     

Large transversals to small families of unit disks

Summary It is proved that if the nonempty intersection of bounded closed convex sets AnB is contained in (A + F)U(B+F) and one of the following holds true: (i) the space X is less-than-three dimensional, (ii) AUB is convex, (iii) F is a one-point set, then AnBCA+F or AnBCB+F (Theorems 2 and 3). Moreover, under some hypotheses the characterization of A and B such that AnB is a summand of AUB is given (Theorem 3).     

The self-similar solutions to a fast diffusion equation

A quasilinear equation u -x·u/2+f(u)=0 is studied, wheref(u)=–u+u , > 0, 0<. <1, >1 andx R ⁿ. The equation arises from the study of blow-up self-similar solutions of the heat equation _t =+. We prove the existence and non-existence of ground state for various combination of , and . In particular, we prove that when / < forn=1,2 or / < (n + 2) /(n – 2) forn 3 there exists no non-constant positive radial self-similar solution of the parabolic equation, but for many cases where / > (n + 2)/(n – 2) there exists an infinite number of non-constant positive radial self-similar solutions.     

Additive functions

1<q<2 L:= _n=1 1/q ⁿ=1/q–1. [0,1] _n()=1, A _n:= _i=1 ^n–1 _i(x)/q^i+1/n x _n(x)=0, _n>. , = _{n=1 n}(x)/qⁿ. F: [0,L]R , F(x)= _{n=1 n}(x)a_n, _n=1 ¦a _n¦<. [0,L]. q(1,2), . , q(1, 2), . .     

Hausdorff Dimension of Spectrum of One-Dimensional Schrödinger Operator with Sturmian Potentials

Let (0,1) be an irrational, and [a ₁,a ₂,...] be the continued fraction expansion of . Let H be the one-dimensional Schrödinger operator with Sturmian potentials. We show that if the potential strength V>20, then the Hausdorff dimension of the spectrum (H ) is strictly great than zero for any irrational , and is strictly less than 1 if and only if liminf _k(a ₁ a ₂a _k ))^1/k <.     

Homogene mehrparametrische lineare Programmierung

Zusammenfassung Bei der Ausarbeitung von Verfahren zur Lösung von linearen Programmen mit mehreren Parametern in der rechten Seite oder in der Zielfunktion wurde bisher stillschweigend angenommen, daß der Vektorb0 oderc0 ist. In diesem Artikel wird der Fall erörtert, in dem die ursprüngliche rechte Seiteb=0 oder die ursprünglichen Zielfunktionskoeffizientenc=0 sind. Außerdem wird der Spezialfall behandelt, für den zwarb0, aber jede Komponenteb _i vonb mit jeweils einem Parameter _i 0 multipliziert wird (oder analog fürc _j).

---

Summary In working out methods for solving linear programming problems with a vector-parameter in the right hand side or in the objective function there has been always implicitely assumed thatb0 orc0. In this paper there is solved the multiparametric linear programming problem for the case when the originalb=0 or the originalc=0. Besides there is also treated a specific problem, namely,b0, but each componentb _i ofb is multiplied by a parameter _i 0 (or similarly forC _j).