On complexity of subset interconnection designs

Given a setX and subsetsX ₁,...,X _m, we consider the problem of finding a graphG with vertex setX and the minimum number of edges such that fori=1,...,m, the subgraphG _i; induced byX _i is connected. Suppose that for any pointsx ₁,...,x X, there are at mostX _i 's containing the set {x₁,...,x }. In the paper, we show that the problem is polynomial-time solvable for ( 2, 2) and is NP-hard for (3,=1), (=l,6), and (2,3).Support in part by the NSF under grant CCR-9208913 and CCR-8920505.Part work was done while this author was visiting at DIMACS and on leave from Institute of Applied Mathematics, Chinese Academy of Sciences, Beijing.     

A free convenient vector space for holomorphic spaces

In this paper we show that there exists a free convenient vector space for the case of holomorphic spaces and holomorphic maps. This means that for every spaceX with a holomorphic structure, there exists an appropriately complete locally convex vector space X and a holomorphic mapl _X:XX, such that for any vector space of the same kind the map (l _X )^*:L(X,E)(X,E) is a bijection. Analogously to the smooth case treated in [2, 5.1.1] the free convenient vector space X can be obtained as the Mackey closure of the linear subspace spanned by the image of the canonical mapX(X).In the second part of the paper we prove that in the case whereX is a Riemann surface, one hasX=(X,).     

Nonlinear programming,approximation, and optimization on infinitely differentiable functions

A nonnegative, infinitely differentiable function defined on the real line is called a Friedrichs mollifier function if it has support in [0, 1] and ₀ ¹ (t)dt=1. In this article, the following problem is considered. Determine _k =inf ₀ ¹ |^(k)(t)|dt,k=1, 2, ..., where ^(k) denotes thekth derivative of and the infimum is taken over the set of all mollifier functions , which is a convex set. This problem has applications to monotone polynomial approximation as shown by this author elsewhere. The problem is reducible to three equivalent problems, a nonlinear programming problem, a problem on the functions of bounded variation, and an approximation problem involving Tchebycheff polynomials. One of the results of this article shows that _k =k!2^2k–1,k=1, 2, .... The numerical values of the optimal solutions of the three problems are obtained as a function ofk. Some inequalities of independent interest are also derived.This research was supported in part by the National Science Foundation, Grant No. GK-32712.     

A characterization of semimartingales on nuclear spaces

Summary This work is devoted to prove the following fact: Suppose that is a nuclear space whose dual is nuclear under the strong topology. IfX is a weakly adapted mapping with values in such that for any,X'() has a modification which is a semimartingale then there exists a unique projective system of Hubert space-valued semimartingales indexed by the Hilbert-Schmidt neighbourhood base of the dual space whose projective limit isX.In the last part we study in detail a semimartingale defined as the convolution of a distribution by a random Dirac measure whose support is determined by the trajectories of a real-valued semimartingale.     

A Foliation of the Space of Conjugacy Classes of Representations of a Surface Group

Let be the fundamental group of a closed orientable surface of genus g 1, and let R(, G)/G be the space of conjugacy classes of representations of into a connected real reductive Lie group G. Motivated by the theory of geometric quantization, we define a map ¯ on R(, G)/G and investigate whether the fibres of ¯ are isotropic with respect to the natural symplectic structure on R(, G)/G. If g = 2 and G = SU(2), then the foliation given by the fibres of ¯ is equivalent to a real polarization defined by Weitsman, and we reprove his result that the fibres are isotropic in this case. If g = 1 then the fibres of ¯ are also isotropic, but we give an example to show that in general they are not.     

Large-Deviation Local Theorem for Additive Functionals of a Markov Gaussian Field. I

We prove a local limit theorem (LLT) on Cramer-type large deviations for sums S _V = _t V ( _t ), where _t , t Z , 1, is a Markov Gaussian random field, V Z , and is a bounded Borel function. We get an estimate from below for the variance of S _V and construct two classes of functions , for which the LLT of large deviations holds.     

The interactive fixed charge inhomogeneous flows optimization problem

An optimization problem of interactive inhomogenous flows (Steiner multicommodity network flow problem) is formulated. The problem's main characteristic is a fixed charge change when combining multicommodity communications. In this paper we propose a method for solving this problem which, in order to restrict the search on the feasible domain, reduces the original problem to a concave programming problem in the form: min {f(x)|xX} wheref:ⁿ is a concave function, andX ₀ ⁿ is a flow polytope defined by network transportation constraints. For practical large-scale problems arising from planning transportation networks on inhomogeneous surfaces defined by a digital model, a method of local optimization over a flow polytope vertex set is proposed, which is far more effective in comparison with the Gallo and Sodini method under polytope strong degeneracy conditions.     

Grid structure of a ballistic function and a computing instrument with linear potentiometers for its generation

Zusammenfassung Die Arbeit befasst sich mit der ballistischen Beziehung zwischen Schrägdistanzs, Lagewinkel und Geschossflugzeitt zum Ziel im Vakuum.Der 1. Teil behandelt die Gewebestruktur dieser Beziehung. Es zeigt sich, dass sie annähernd ein Sechseckgewebe ist. Eine topologische TransformationS(s), (),T(t) wird so gefunden, dass eine Zerlegung in Funktionen einer Variablen in der FormT(t)=S(s)+() die Beziehungt(s,) mit befriedigender Genauigkeit darstellt (der maximale relative Fehler ist weniger als 1%).Im 2. Teil wird auf dieser Grundlage ein Rechengerät zur Darstellung der Funktiont(s, ) konstruiert, das lineare Potentiometer als Schaltelemente benutzt.     

A Comparison of Two Spaces of Generalized White Noise Functionals

In the literature (see [5, 6, 8]) there are two families of spaces called Kondratiev spaces: (_c)^± and (S _c)^± for 0 1. We investigate the relation between the spaces and show that they are topologically isomorphic when (^d) L2 (^d) (^d) is the underlying Gel'fand triple for (_c)^±. In this case we also give the explicit relation between the S-transform and -transform on (_c)^-1 and (S _c)^-1, respectively.     

(φ,ξ,η,λ)‐Structures of Parabolic Type

We consider (,,,)structures of parabolic type on hypersurfaces of dual spaces and study the rank of the affinor . We consider almost contact metric structures of parabolic type of the first kind on hypersurfaces of 4dimensional dual metric space. We study the properties of these structures and give examples of normal, integrable, and Sasakian parabolic structures.     

Über den algorithmischen Nachweis von Ungleichungen I

We shall develop a method to prove inequalities in a unified manner. The idea is as follows: It is quite often possible to find a continuous functional : ⁿ , such that the left- and the right-hand side of a given inequality can be written in the form (u)(v) for suitable points,v=v(u). If one now constructs a map ^{n n} , which is functional increasing (i.e. for each x ⁿ (which is not a fixed point of ) the inequality (x)<((x)) should hold) one specially gets the chain (u)( u))( ²(u))... ⁿ (u)). Under quite general conditions one finds that the sequence { ⁿ (u)} _n converges tov=v(u). As a consequence one obtains the inequality (u)(v).     

A characterization of brownian motion in a lipschitz domain by its killing distributions

Let (Y _t, Q^x) be a strong Markov process in a bounded Lipschitz domainD with continuous paths up to its lifetime , and let (X _t, P^x) be a Brownian motion inD. IfY _– exists in D andQ ^x(Y_– C)=P^x(X_– C) for all Borel subsetsC of D and allx, thenY is a time change ofX.     

Perturbation des résolvantes et représentation des mesures excessives

Résumé Etant donnée une résolvante V=(V )_>0 sous-markovienne sur un espace mesurable (X, B) de noyau initial V propre; on étudie alors le balayage des mesures surmédianes au moyen de la résolvante perturbée V de V par une function mesurable positive bornée sur X.Dans le cas où (X, E _v) est un espace de balayage, on montre que toute mesure excessive vérifiant , s'écrit d'une manière unique sous la forme =V où est une mesure positive sur X.     

On a class of 3-dimensional contact metric manifolds

Let M³ be a 3-dimensional contact metric manifold with contact structure (, , , g), such that and =R(.,)) commute. Such a manifold is called 3--manifold. We prove that every 3--manifold with -parallel Weyl tensor is either flat or a Sasakian manifold with constant curvature 1.     

Limiting behavior of certain mixtures of distributions

U — [0, 1] Y — . X=[1–U ^1/v /Y], U Y.     

C 1 changes of variable: Beurling-Helson type theorem and Hörmander conjecture on Fourier multipliers

We prove that if aC ¹ smooth change of variable : generates a bounded composition operatorff° in the spaceA _p()=L ^p ,p2, then is linear (affine).We also prove that for a nonlinearC ¹ mapping , the norms of exponentialse ⁱ as Fourier multipliers inL ^p () tend to infinity (,||). In both results the condition C ¹ is sharp, it cannot be replaced by the Lipschitz condition.     

General Existence Theorem of Zero Points

Let X be a nonempty, compact, convex set in and let be an upper semicontinuous mapping from X to the collection of nonempty, compact, convex subsets of . It is well known that such a mapping has a stationary point on X; i.e., there exists a point X such that its image under has a nonempty intersection with the normal cone of X at the point. In the case where, for every point in X, it holds that the intersection of the image under with the normal cone of X at the point is either empty or contains the origin 0 ⁿ , then must have a zero point on X; i.e., there exists a point in X such that 0 ⁿ lies in the image of the point. Another well-known condition for the existence of a zero point follows from the Ky Fan coincidence theorem, which says that, if for every point the intersection of the image with the tangent cone of X at the point is nonempty, the mapping must have a zero point. In this paper, we extend all these existence results by giving a general zero-point existence theorem, of which the previous two results are obtained as special cases. We discuss also what kind of solutions may exist when no further conditions are stated on the mapping . Finally, we show how our results can be used to establish several new intersection results on a compact, convex set.     

On the Influence of Weights on Extremes

Let X ₁, ..., X_n be an i.i.d. sequence of random variables, from an unknown distribution F, and X ₁ ^W , ... X _n ^W be a sample from , the weighted empirical distribution function of X ₁, ..., X_n. We define the order statistics X _1,n ^W ... X _n,n ^W of X ₁ ^W , ..., X _n ^W . Under suitable assumptions on weights, we study the influence of the maxima in the construction of limit theorems. We choose a resample size m(n) and we derive conditions on m(n) for the in probability and with probability 1 consistency of X _m(n),m(n) ^W . The presence of weights has an influence on the resample size and requires the use of new tools. When X _n,n is in the domain of attraction of an extreme value distribution, m(n) , and , as n , all our results hold.     

Zeros in tables of characters for the groups Sn and An

In the representation theory of symmetric groups, for each partition of a natural number n, the partition h() of n is defined so as to obtain a certain set of zeros in the table of characters for S_n. Namely, h() is the greatest (under the lexicographic ordering ) partition among P(n) such that (g) 0. Here, is an irreducible character of S_n, indexed by a partition , and g is a conjugacy class of elements in S_n, indexed by a partition . We point out an extra set of zeros in the table that we are dealing with. For every non self-associated partition P(n), the partition f() of n is defined so that f() is greatest among the partitions of n which are opposite in sign to h() and are such that (g) 0 (Thm. 1). Also, for any self-associated partition of n > 1, we construct a partition () P(n) such that () is greatest among the partitions of n which are distinct from h() and are such that (g) 0 (Thm. 2).Supported by RFBR grant No. 04-01-00463 and by RFBR-BRFBR grant No. 04-01-81001.Translated from Algebra i Logika, Vol. 44, No. 1, pp. 24–43, January–February, 2005.     

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.