Theorems of the Alternative and Duality

This paper investigates the relations between theorems of the alternative and the minimum norm duality theorem. A typical theorem of the alternative is associated with two systems of linear inequalities and/or equalities, a primal system and a dual one, asserting that either the primal system has a solution, or the dual system has a solution, but never both. On the other hand, the minimum norm duality theorem says that the minimum distance from a given point z to a convex set is equal to the maximum of the distances from z to the hyperplanes separating z and . We consider the theorems of Farkas, Gale, Gordan, and Motzkin, as well as new theorems that characterize the optimality conditions of discrete l ₁-approximation problems and multifacility location problems. It is shown that, with proper choices of , each of these theorems can be recast as a pair of dual problems: a primal steepest descent problem that resembles the original primal system, and a dual least–norm problem that resembles the original dual system. The norm that defines the least-norm problem is the dual norm with respect to that which defines the steepest descent problem. Moreover, let y solve the least norm problem and let r denote the corresponding residual vector. If r=0, which means that z , then y solves the dual system. Otherwise, when r0 and z , any dual vector of r solves both the steepest descent problem and the primal system. In other words, let x solve the steepest descent problem; then, r and x are aligned. These results hold for any norm on . If the norm is smooth and strictly convex, then there are explicit rules for retrieving x from r and vice versa.     

M-estimators of structural parameters in pseudolinear models

Real valued M-estimators in a statistical model 1 with observations are replaced by -valued M-estimators in a new model with observations where are regressors, is a structural parameter and a structural function of the new model. Sufficient conditions for the consistency of are derived, motivated by the sufficiency conditions for the simpler parent estimator The result is a general method of consistent estimation in a class of nonlinear (pseudolinear) statistical problems. If F has a natural exponential density e^{x–b( x )} then our pseudolinear model with u = (g o )^–1 reduces to the well known generalized linear model, provided () = db()/d and g is the so-called link function of the generalized linear model. General results are illustrated for special pairs and leading to some classical M-estimators of mathematical statistics, as well as to a new class of generalized -quantile estimators.     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

On a General Projection Algorithm for Variational Inequalities

Let H be a real Hilbert space with norm and inner product denoted by and . Let K be a nonempty closed convex set of H, and let f be a linear continuous functional on H. Let A, T, g be nonlinear operators from H into itself, and let be a point-to-set mapping. We deal with the problem of finding uK such that g(u)K(u) and the following relation is satisfied: , where >0 is a constant, which is called a general strong quasi-variational inequality. We give a general and unified iterative algorithm for finding the approximate solution to this problem by exploiting the projection method, and prove the existence of the solution to this problem and the convergence of the iterative sequence generated by this algorithm.     

An Intersection Theorem on an Unbounded Set and Its Application to the Fair Allocation Problem

We prove the following theorem. Let m and n be any positive integers with mn, and let be a subset of the n-dimensional Euclidean space ⁿ . For each i=1, . . . , m, there is a class of subsets M _i ^j of ^Tn . Assume that for each i=1, . . . , m, that M _i ^j is nonempty and closed for all i, j, and that there exists a real number B(i, j) such that and its jth component _{xjB(i, j)} imply . Then, there exists a partition of {1, . . . , n} such that for all i and We prove this theorem based upon a generalization of a well-known theorem of Birkhoff and von Neumann. Moreover, we apply this theorem to the fair allocation problem of indivisible objects with money and obtain an existence theorem.     

The Invariants of the Clifford Groups

The automorphism group of the Barnes-Wall lattice L _m in dimension 2 ^m (m ; 3) is a subgroup of index 2 in a certain Clifford group of structure 2 ₊ ^1+2m . O ⁺(2m,2). This group and its complex analogue of structure .Sp(2m, 2) have arisen in recent years in connection with the construction of orthogonal spreads, Kerdock sets, packings in Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs. In this paper we give a simpler proof of Runge@apos;s 1996 result that the space of invariants for of degree 2k is spanned by the complete weight enumerators of the codes , where C ranges over all binary self-dual codes of length 2k; these are a basis if m k - 1. We also give new constructions for L _m and : let M be the -lattice with Gram matrix . Then L _m is the rational part of M ^m, and = Aut(M^m). Also, if C is a binary self-dual code not generated by vectors of weight 2, then is precisely the automorphism group of the complete weight enumerator of . There are analogues of all these results for the complex group , with doubly-even self-dual code instead of self-dual code.     

Divisibility in the K0‐Group of the Algebra of Operators on a Banach Space

Let Figiel's reflexive Banach space which is not isomorphic to its Cartesian square. We show that the K ₀group of the algebra of continuous, linear operators on contain a subgroup isomorphic to the group c ₀₀( ) of sequences rational numbers with z _n=0 eventually.     

Majorants and Extreme Points of Unit Balls in Bernstein Spaces

The Bernstein space B ^p () (1 $$ " align="middle" border="0"> 0) is the set of functions from L ^p( ) having Fourier transforms (in the sense of generalized functions) with supports in the compact segment [- , ]. Every function f has an analytic continuation onto the complex plane, which is an entire function of exponential type . The spaces B ^p ()\, are conjugate Banach spaces. Therefore, the closed unit ball in B ^p () has a rich set of extreme (boundary) points: coincides with the weakly ^* closed convex hull of its extreme points. Since, for 1< p< , B ^p () is a uniformly convex space, only the balls and have nontrivially arranged sets of extreme points. In this paper, in terms of zeros of entire functions, we obtain necessary and sufficient conditions of extremeness for functions from .     

Generalized Quasi-Variational Inequalities in Infinite-Dimensional Normed Spaces

In this paper, we deal with the following problem: given a real normed space E with topological dual E*, a closed convex set XE, two multifunctions :X2^X and , find such that We extend to the above problem a result established by Ricceri for the case (x)X, where in particular the multifunction is required only to satisfy the following very general assumption: each set (x) is nonempty, convex, and weakly-star compact, and for each yX–:X the set is compactly closed. Our result also gives a partial affirmative answer to a conjecture raised by Ricceri himself.     

Decomposition Method for a Class of Monotone Variational Inequality Problems

In the solution of the monotone variational inequality problem VI(, F), with

Conditions of Local Asymptotic Normality for Gaussian Stationary Processes

Let {\bold x}[] be a stationary Gaussian process with zero mean and spectral density f, let be the -algebra induced by the random variables {\bold x}[], D(R¹), and let _t, t > 0, be the -algebra induced by the random variables x[],supp [-t,t]. Denote by (f) the Gaussian measure on generated by {\bold x}. Let _t(f) be the restriction of (f) to _t. Let f and g be nonnegative functions such that the measures _t(f) and _t(g) are absolutely continuous. Put

Steepest Descent with Curvature Dynamical System

Let H be a real Hilbert space and let <..,.> denote the corresponding scalar product. Given a function that is bounded from below, we consider the following dynamical system:

Convergence of Double Fourier Series after a Change of Variable

In this paper, we prove that for any compact set there exists a homeomorphism of the closed interval such that for an arbitrary function f the Fourier series of the function F(x,y) = f((x),(y)) converges uniformly on simultaneously over rectangles, over spheres, and over triangles.     

Higher Degrees of Distributivity in MV-Algebras

In this paper we deal with the (, )-distributivity of an MV-algebra , where and are nonzero cardinals. It is proved that if is singular and (, 2)-distributive, then it is (, )-distributive. We show that if is complete then it can be represented as a direct product of MV-algebras which are homogeneous with respect to higher degrees of distributivity.     

Divergence of a Random Walk Through Deterministic and Random Subsequences

Let {S _n} _n0 be a random walk on the line. We give criteria for the existence of a nonrandom sequence n _i for which respectively We thereby obtain conditions for to be a strong limit point of {S _n} or {S _n /n}. The first of these properties is shown to be equivalent to for some sequence a _i , where T(a) is the exit time from the interval [–a,a]. We also obtain a general equivalence between and for an increasing function fand suitable sequences n _i and a _i. These sorts of properties are of interest in sequential analysis. Known conditions for and (divergence through the whole sequence n) are also simplified.     

Auxiliary Problem Principle and Proximal Point Methods

An extension of the auxiliary problem principle to variational inequalities with non-symmetric multi-valued operators in Hilbert spaces is studied. This extension concerns the case that the operator is split into the sum of a single-valued operator , possessing a kind of pseudo Dunn property, and a maximal monotone operator . The current auxiliary problem is k constructed by fixing at the previous iterate, whereas (or its single-valued approximation ^k) k is considered at a variable point. Using auxiliary operators of the form ^k+ , with _k>0, the standard for the auxiliary problem principle assumption of the strong convexity of the function h can be weakened exploiting mutual properties of and h. Convergence of the general scheme is analyzed and some applications are sketched briefly.     

Symplectic Reduction and the Homogeneous Complex Monge–Ampère Equation

A Riemannian manifold ( ⁿ , g) is said to be the center of thecomplex manifold ⁿ if is the zero set of a smooth strictly plurisubharmonic exhaustion function ² on such that is plurisubharmonic and solves theMonge–Ampère equation ( ) ⁿ = 0 off , and g is induced by the canonical Kähler metric withfundamental two-form ². Insisting that be unbounded puts severe restrictions on as acomplex manifold as well as on ( , g). It is an open problemto determine the class Riemannian manifolds that are centers of complexmanifolds with unbounded . Before the present work, the list of knownexamples of manifolds in that class was small. In the main result of thispaper we show, by means of the moment map corresponding to isometric actionsand the associated bundle construction, that such class is larger than originally thought and contains many metrically and diffeomorphically`exotic' examples.     

The Fourier Formula for Discontinuous Functions of Several Variables

An analog of the classical Fourier formula for the characteristic function of a convex compact set is considered:

On Asymptotic Properties of Solutions of Diffusion Equations

In this work the authors study the conditions for the existence of diffusion equations

On positive solutions of quasilinear elliptic systems

In this paper, we consider the existence and nonexistence of positive solutions of degenerate elliptic systems where –_p is the p-Laplace operator, p > 1 and is a C ^1,-domain in . We prove an analogue of [7, 16] for the eigenvalue problem with and obtain a non-existence result of positive solutions for the general systems.