Packing random items of three colors

Consider three colors 1,2,3, and forj3, considern items (X _i,j)in of colorj. We want to pack these items inn bins of equal capacity (the bin size is not fixed, and is to be determined once all the objects are known), subject to the condition that each bin must contain exactly one item of each color, and that the total item sizes attributed to any given bin does not exceed the bin capacity. Consider the stochastic model where the random variables (X _i,jj)in,j3 are independent uniformly distributed over [0,1]. We show that there is a polynomial-time algorithm that produces a packing which has a wasted spaceK logn with overwhelming probability.Work partially supported by an N.S.F. grant.     

Hypersurfaces of restricted type in Minkowski space

A submanifold M _n ^r of Minkowski space is said to be of restricted type if its shape operator with respect to the mean curvature vector is the restriction of a fixed linear transformation of to the tangent space of M _n ^r at every point of M _n ^r . In this paper we completely classify hypersurfaces of restricted type in . More precisely, we prove that a hypersurface of is of restricted type if and only if it is either a minimal hypersurface, or an open part of one of the following hypersurfaces: S ^k × , S _k ¹ × , H ^k × , S _n ¹ , H ⁿ , with 1kn–1, or an open part of a cylinder on a plane curve of restricted type.This work was done when the first and fourth authors were visiting Michigan State University.Aangesteld Navorser N.F.W.O., Belgium.     

For Which Densities are Random Triangle-Free Graphs Almost Surely Bipartite?

Denote by the class of all triangle-free graphs on n vertices and m edges. Our main result is the following sharp threshold, which answers the question for which densities a typical triangle-free graph is bipartite. Fix > 0 and let . If n/2 m (1 – ) t ₃, then almost all graphs in are not bipartite, whereas if m (1 + )t ₃, then almost all of them are bipartite. For m (1 + )t ₃, this allows us to determine asymptotically the number of graphs in . We also obtain corresponding results for C -free graphs, for any cycle C of fixed odd length. Forschergruppe Algorithmen, Struktur, Zufall supported by Deutsche Forschungsgemeinschaft grant FOR 413/1-1     

∑II∑ threshold formulas

A II formula has the form, where eachL is either a variable or a negated variable. In this paper we study the computation of threshold functions by II formulas. By combining the proof of the Fredman-Komlós bound [5, 10] and a counting argument, we show that fork andn large andkn/2, every II formula computing the threshold functionT _k ⁿ has size at least exp . Fork andn large andkn ^2/3, we show that there exist II formulas for computingT _k ⁿ with size at most exp .     

Wave operators in a multistratified strip

One investigates the scattering theory for the positive self-adjoint operatorH=–· acting in with = × and a bounded open set in ^n–1,n2. The real-valued function belongs toL (), is bounded from below byc>0 and there exist real-valued functions ₁ and ₂ inL () such that – _j ,j=1,2 is a short range perturbation of _j when (–1) ^j x _n +. One assumes _j = ^(j) 1_R,j=1,2, with ^(j) L bounded from below byc>0. One proves the existence and completeness of the generalized wave operators _j ^± =s – _j e ^–itHj ,j=1,2, withH _j =–· _j and _j : equal to 1 if (–1) ^j x _n >0 and to 0 if (–1) ^j x _n <0. The ranges ofW _j ^± :=( _j ^± )^* are characterized so that W ₁ ^± =Ran and . The scattering operator can then be defined.     

On convergence of types and processes in Euclidean space

Let be an Euclidean space; Y _n , Z, U random vectors in ; h _n , g _n affine transformations and let þ be a subgroup of the group G of all the in vertible affine transformations, closed relative to G. Suppose that g_n and where Z is nonsingular. The behaviour of _n = h _n g _n ^–1 as n is discussed first. The results are used then to prove that if for all t(0, ), where h _n þ and Z ₁ is nonsingular and nonsymmetric with respect to þ then H, for all t(0,) and is a continuous homomorphism of the multiplicative group of (0, ) into þ. The explicit forms of the possible are shown.     

Beckman-Quarles type theorems for mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{C}^n $$

Summary. Let We say that preserves the distance d 0 if for each implies Let A _n denote the set of all positive numbers d such that any map that preserves unit distance preserves also distance d. Let D _n denote the set of all positive numbers d with the property: if and then there exists a finite set S _xy with such that any map that preserves unit distance preserves also the distance between x and y. Obviously, We prove: (1) (2) for n 2 D _n is a dense subset of (2) implies that each mapping f from to (n 2) preserving unit distance preserves all distances, if f is continuous with respect to the product topologies on and      

On the Weak Limiting Behavior of Almost Surely Convergent Row Sums from Infinite Arrays of Rowwise Independent Random Elements in Banach Spaces

For an array {V _nk ,k1,n1} of rowwise independent random elements in a real separable Banach space with almost surely convergent row sums , we provide criteria for S _n –A _n to be stochastically bounded or for the weak law of large numbers to hold where {A _n ,n1} is a (nonrandom) sequence in .     

Para-orthogonal Laurent polynomials and associated sequences of rational functions

On the space, , of Laurent polynomials (L-polynomials) we consider a linear functional which is positive definite on (0, ) and is defined in terms of a given bisequence, { _k } _– . Two sequences of orthogonal L-polynomials, {Q _n (z) ₀ and , are constructed which span in the order {1,z ^–1,z,z ^–2,z ²,...} and {1,z,z ^–1,z ²,z ^–2,...} respectively. Associated sequences of L-polynomials {P _n (z) ₀ , and are introduced and we define rational functions , wherew is a fixed positive number. The partial fraction decomposition and integral representation of,M _n (z, w) are given and correspondence of {M _n (z, w)} is discussed. We get additional solutions to the strong Stieltjes moment problem from subsequences of {M _n (z, w)}. In particular when { _k } _– is a log-normal bisequence, {M _2n (z, w)} and {M _2n+1 (z, w)} yield such solutions.Research supported in part by the National Science Foundation under Grant DMS-9103141.     

Set of involutions arising from an egglike inversive plane

To every egglike inversive plane there is associated a family of involutions of the point set of such that circles of are the fixed point sets of the involutions in . Korchmaros and Olanda characterized a family of involutions on a set of size n² + 1to be for an egglike inversive plane of order n by four conditions. In this paper, we give an alternative proof where the Galois space PG(3,n) in which is embedded is built up directly by using concepts and results on finite linear spaces.     

Limits of balayage measures

LetA be a subset of a balayage space (X,W) and a measure onX. It is shown that for every sequence _n of measures such that lim_nn and lim_{n n} ^A = the limit measure is of the formf+[(1-f)]^A for some (unique) Borel function 0f1_Cb(A). Furthermore, conditions are given such that any such functionf occurs.     

The Minimal Subgroup of a Random Walk

It is proved that for each random walk (S _n ) _n0 on ^d there exists a smallest measurable subgroup of ^d , called minimal subgroup of (S _n ) _n0, such that P(S _n )=1 for all n1. can be defined as the set of all x ^d for which the difference of the time averages n ^{–1 n} _k=1 P(S _k ) and n ^{–1 n} _k=1 P(S _k +x) converges to 0 in total variation norm as n. The related subgroup * consisting of all x ^d for which lim _n P(S _n )–P(S _n +x)=0 is also considered and shown to be the minimal subgroup of the symmetrization of (S _n ) _n0. In the final section we consider quasi-invariance and admissible shifts of probability measures on ^d . The main result shows that, up to regular linear transformations, the only subgroups of ^d admitting a quasi-invariant measure are those of the form ₁×...× _k × ^l–k ×{0} ^d–l , 0kld, with ₁,..., _k being countable subgroups of . The proof is based on a result recently proved by Kharazishvili⁽³⁾ which states no uncountable proper subgroup of admits a quasi-invariant measure.     

A Sharp Bound for the Number of Sets that Pairwise Intersect at <Emphasis Type="Italic">k</Emphasis> Positive Values

In this paper we prove that if is a set of k positive integers and {A ₁, ..., A _m } is a family of subsets of an n-element set satisfying , for all 1 i < j m, then . The case k = 1 was proven 50 years ago by Majumdar.     

Brownian processes in infinite dimension

LetE be a locally convex space endowed with a centered gaussian measure . We construct a continuousE-valued brownian motionW _t with covariance . The main goal is to solve the SDE of Langevin type dX _t= dW _t–AX _t wherea andA are unbounded operators of the Cameron-Martin space of (E, ). It appears as the unique linear measurable extension of the solution of the classical Cauchy problemv(t)= u–Av(t).     

On a theorem of Seidel and Walsh

Given a sequence ( _n ) _n in with there are functions such that , is a dense subset of , and the set of functions with this property is residual in . We will show that in and some related Banach spaceX there are functionsf with is dense in , and we will give a sufficient condition when the set of such functions is residual inX.     

Nonselfadjoint spectral problems for linear pencilsN-λP of ordinary differential operators with λ-linear boundary conditions: Completeness results

We study nonselfadjoint spectral problems for ordinary differential equationsN(y)–P(y)=0 with -linear boundary conditions where the orderp of the differential operatorP is less than the ordern ofN. The present paper addresses the question of the completeness of the eigenfunctions and associated functions in the Sobolev spacesW ₂ ^k (0,1) fork=0,1,...,n. To this end we associate a pencil – of operators acting fromL ₂(0,1) to the larger spaceL ₂x(0,1) ⁿ with the given problem. We establish completeness results for normal problems in certain finite codimensional subspaces ofW ₂ ^k (0,1) which are characterized by means of Jordan chains in 0 of the adjoint of the compact operator = ^–1.Dedicated to Professor Heinz Langer on the occasion of his 60th birthday     

Asymptotics of polynomials orthogonal with respect to varying measures

Letd be a finite positive Borel measure on the interval [0, 2] such that >0 almost everywhere; andW _n be a sequence of polynomials, degW _n =n, whose zeros (w _n ,1,,w _n,n lie in [|z|1]. Let d _n <> for each_nN, whered _n =d/|W _n (e ⁱ )|². We consider the table of polynomials _n,m such that for each fixednN the system _n,m,mN, is orthonormal with respect tod _n . If

On the speed of convergence in the central limit theorem of log-likelihood ratio processes

Let , the parameter space, be an open subset ofR ^k ,k1. For each , let the r.v.'sX _n ,n=1, 2,... be defined on the probability space (X, P ) and take values in (S,S,L) whereS is a Borel subset of a Euclidean space andL is the -field of Borel subsets ofS. ForhR _k and a sequence of p.d. normalizing matrices _n = _n ^{k × k} (₀ set _n ^* = ^* = ₀ + _n h, where ₀ is the true value of , such that ^*, . Let _n (^*, _*)( be the log-likelihood ratio of the probability measure with respect to the probability measure , whereP _n is the restriction ofP over _n = (X ₁,X ₂,...,X _n . In this paper we, under a very general dependence setup obtain a rate of convergence of the normalized log-likelihood ratio statistic to Standard Normal Variable. Two examples are taken into account.     

On construction ofk-wise independent random variables

A 0–1probability space is a probability space (, 2,P), where the sample space -{0, 1} ⁿ for somen. A probability space isk-wise independent if, whenY _i is defined to be theith coordinate or the randomn-vector, then any subset ofk of theY _i 's is (mutually) independent, and it is said to be a probability spacefor p ₁,p ₂, ...,p _n ifP[Y _i =1]=p _i .We study constructions ofk-wise independent 0–1 probability spaces in which thep _i 's are arbitrary. It was known that for anyp ₁,p ₂, ...,p _n , ak-wise independent probability space of size always exists. We prove that for somep ₁,p ₂, ...,p _n [0,1],m(n,k) is a lower bound on the size of anyk-wise independent 0–1 probability space. For each fixedk, we prove that everyk-wise independent 0–1 probability space when eachp _i =k/n has size (n _k ). For a very large degree of independence —k=[n], for >1/2- and allp _i =1/2, we prove a lower bound on the size of . We also give explicit constructions ofk-wise independent 0–1 probability spaces.This author was supported in part by NSF grant CCR 9107349.This research was supported in part by the Israel Science Foundation administered by the lsrael Academy of Science and Humanities and by a grant of the Israeli Ministry of Science and Technology.