On certain incomplete statistics

The foundations of the incomplete statistics recently proposed by Wang is rediscussed in the context of the canonical statistical ensemble. It is found that the incomplete normalization condition, ∑p^q_i=1 (i=1,…,w), where p_i is the probability of a given microstate, is not compatible with the entropic non-extensive formula proposed by Tsallis. It is proved that the entropic function proposed by Wang must be written as S_q=−k_B∑p_i^2q−1ln_qp_i, whereas the form proposed by Tsallis namely, S_q=−k_B∑p_i^qln_qp_i, is directly associated with the standard normalization condition (∑_ip_i=1).     

An efficient algorithm for the parametric resource allocation problem

The parametric resource allocation problem asks to minimize the sum of separable single-variable convex functions containing a parameter λ, Σ_{i = 1}ⁿ (ƒ_i(x_i + λg_i(x_i)), under simple constraints Σ_{i = 1}ⁿ x_i = M, l_i≤x_i≤u_i and x_i: nonnegative integers for i = 1, 2, …, n, where M is a given positive integer, and l_i and u_i are given lower and upper bounds on x_i. This paper presents an efficient algorithm for computing the sequence of all optimal solutions when λ is continuously changed from 0 to ∞. The required time is O(G√Mlog² n + n log n + n log(M/n)), where G = Σ_{i = 1}ⁿ u_i − Σ_{i = 1n} l_i and an evaluation of ƒ_i(·) or g_i(·) is assumed to be done in constant time.     

Boundedness and asymptotic behavior of the solutions of a fuzzy difference equation

In this paper we study the existence, the uniqueness, the boundedness and the asymptotic behavior of the positive solutions of the fuzzy difference equation x_n+1=∑_i=0^kA_i/x_n−i^p_i, where k{1,2,…,}, A_i, i{0,1,…,k}, are positive fuzzy numbers, p_i, i{0,1,…,k}, are positive constants and x_i, i{−k,−k+1,…,0}, are positive fuzzy numbers.     

A dense planar point set from iterated line intersections

Given S₁, a starting set of points in the plane, not all on a line, we define a sequence of planar point sets {S_i}_i=1^∞ as follows. With S_i already determined, let L_i be the set of all the lines determined by pairs of points from S_i, and let S_i+1 be the set of all the intersection points of lines in L_i. We show that with the exception of some very particular starting configurations, the limiting point set _i=1^∞S_i is everywhere dense in the plane.     

MEROMORPHIC FUNCTIONS SHARING TWO FINITE SETS

Let S1 ＝ {∞} and S2 ＝ {w: Ps(w)＝ 0}, Ps(w) being a uniqueness polynomial under some restricted conditions. Then, for any given nonconstant meromorphic function f, there exist at most finitely many nonconstant meromorphic functions g such that f-1(Si) ＝ g-1(Si)(i ＝ 1,2), where f-1(Si) and g-1(Si) denote the pull-backs of Si considered as a divisor, namely, the inverse images of Si counted with multiplicities, by f and g respectively.     

Limiting values of the variance and the moments of the dimension of a sum or intersection of random vector subspaces

Let W be an n-dimensional vector space over a field F; for each positive integer m, let the m-tuples (U₁, …, U_m) of vector subspaces of W be uniformly distributed; and consider the statistics X_m,1 dim_F(∑_i=1^m U_i) and X_m,2 dim_F (∩_i=1^m U_i). If F is finite of cardinality q, we determine lim E(X_m,1^k), and lim E(X_m,2^k), and hence, lim var(X_m,1) and lim var(X_m,2), for any k > 0, where the limits are taken as q → ∞ (for fixed n). Further, we determine whether these, and other related, limits are attained monotonically. Analogous issues are also addressed for the case of infinite F.     

A sufficient and necessary condition for an OWA bag mapping having the self-identity

A mapping ƒ : _n=1^∞Iⁿ → I is called a bag mapping having the self-identity if for every (x₁,…,x_n) ε _i=1^∞Iⁿ we have (1) ƒ(x₁,…,x_n) = ƒ(x_i1,…,x_in) for any arrangement (i₁,…,i_n) of {1,…,n}; monotonic; (3) ƒ(x₁,…,x_n, ƒ(x₁,…,x_n)) = ƒ(x₁,…,x_n). Let {ω_i,n : I = 1,…,n;n = 1,2,…} be a family of non-negative real numbers satisfying Σ_i=1ⁿω_i,n = 1 for every n. Then one calls the mapping ƒ : _i=1^∞Iⁿ → I defined as follows an OWA bag mapping: for every (x₁,…,x_n) ε _i=1^∞Iⁿ, ƒ(x₁,…,x_n) = Σ_i=1ⁿω_i,ny_i, where y_i is the it largest element in the set {x₁,…,x_n}. In this paper, we give a sufficient and necessary condition for an OWA bag mapping having the self-identity.     

Two theorems on Euclidean distance matrices and Gale transform

We present a characterization of those Euclidean distance matrices (EDMs) D which can be expressed as D=λ(E−C) for some nonnegative scalar λ and some correlation matrix C, where E is the matrix of all ones. This shows that the cones

where is the elliptope (set of correlation matrices) and is the (closed convex) cone of EDMs.

The characterization is given using the Gale transform of the points generating D. We also show that given points , for any scalars λ₁,λ₂,…,λ_n such that

∑_j=1ⁿλ_jp^j=0, ∑_j=1ⁿλ_j=0,

we have

∑_j=1ⁿλ_jpⁱ−p^j2= forall i=1,…,n,

for some scalar independent of i.     

On the area of the intersection of disks in the plane

Let C₁,…, C_n and C′₁,…, C′_n be two collections of equal disks in the plane, with centers c₁,…, c_n and c′₁,…, c′_n. According to a well-known conjecture of Klee and Wagon (1991), if |c_i − c_j| ≥ |c′_i − c′_j| for all i, j, then Area(∩_i C_i) ≤ Area(∩_i C′_i).

We prove this statement in the special case when there is a continuous contraction of {c₁,…, c_n} onto {c′₁,…, c′_n}.     

Combinatorial theorems on contractive mappings in power sets

We prove that to every positive integer n there exists a positive integer h such that the following holds: If S is a set of h elements and ƒ a mapping of the power set of S into such that ƒ(T)T for all T , then there exists a strictly increasing sequence T₁T_n of subsets of S such that one of the following three possibilities holds: (a) all sets ƒ(T_i), i= 1,…,n, are equal; (b) for all i=1,…, n, we have ƒ(T_i)=T_i; (c) T_i=ƒ(T_i+1) for all i= 1,…,n-1. This theorem generalizes theorems of the author, Rado, and Leeb. It has applications for subtrees in power sets.     

On the degree of regularity of some equations

In this paper we investigate the behaviour of the solutions of equations Σ_I=1ⁿ a_ix_i = b, where Σ_i=1ⁿ, a_i = 0 and b ≠ 0, with respect to colorings of the set N of positive integers. It turns out that for any b ≠ 0 there exists an 8-coloring of N, admitting no monochromatic solution of x₃ − x₂ = x₂ − x₁ + b. For this equation, for b odd and 2-colorings, only an odd-even coloring prevents a monochromatic solution. For b even and 2-colorings, always monochromatic solutions can be found, and bounds for the corresponding Rado numbers are given. If one imposes the ordering x₁ < x₂ < x₃, then there exists already a 4-coloring of N, which prevents a monochromatic solution of x₃ − x₂ = x₂ − x₁ + b, where b ε N.     

Balanced partitions of two sets of points in the plane

We prove the following theorem. Let m≥2 and q≥1 be integers and let S and T be two disjoint sets of points in the plane such that no three points of ST are on the same line, |S|=2q and |T|=mq. Then ST can be partitioned into q disjoint subsets P₁,P₂,…,P_q satisfying the following two conditions: (i) conv(P_i)∩conv(P_j)=φ for all 1≤i<j≤q, where conv(P_i) denotes the convex hull of P_i; and (ii) |P_i∩S|=2 and |P_i∩T|=m for all 1≤i≤q.     

A theorem on independence

Suppose we are given a family of sets , where S(j) = ∩^k_i=1 H_i(j), and suppose each collection of sets H_i(j₁),…,H_i(j_k+1) has a lower bound under the partial ordering defined by inclusion, then the maximal size of an independent subcollection of is k. For example, for a fixed collection of half-spaces H₁,…,H_k in , we define to be the collection of all sets of the form

where χ_i, I=1,…, k are points in . Then the maximal size of an independent collection of such sets us k. This leads to a proof of the bound of 2d due to Rényi et al. (1951) for the maximum size of an independent family of rectangles in with sides parallel to the coordinate axes, and to a bound of d+1 for the maximum size of an independent family of simplices in with sides parallel to given hyperplanes H₁,…,H_d+1.     

Extremal properties of strong quadrature weights and maximal mass results for truncated strong moment problems

A bisequence of complex numbers {μ_n}_−∞^∞ determines a strong moment functional satisfying L[xⁿ] = μ_n. If is positive-definite on a bounded interval (a,b) R{0}, then has an integral representation , n=0, ±1, ±2,…, and quadrature rules {w_ni,x_ni} exist such that μ_k = ∑_i=i^n_ns_ni^kw_ni. This paper is concerned with establishing certain extremal properties of the weights w_ni and using these properties to obtain maximal mass results satisfied by distributions ψ(x) representing when only a finite bisequence of moments {μ_k}_k=−nⁿ⁻¹ is given.     

Individual behaviors of oriented walks

Given an infinite sequence t=(_k)_k of −1 and +1, we consider the oriented walk defined by S_n(t)=∑_k=1ⁿ₁₂…_k. The set of t's whose behaviors satisfy S_n(t)bn^τ is considered ( and 0<τ1 being fixed) and its Hausdorff dimension is calculated. A two-dimensional model is also studied. A three-dimensional model is described, but the problem remains open.     

An extension theorem for t-designs

In 1994, van Trung (Discrete Math. 128 (1994) 337–348) [9] proved that if, for some positive integers d and h, there exists an S_λ(t,k,v) such that

then there exists an S_λ(v−t+1)(t,k,v+1) having v+1 pairwise disjoint subdesigns S_λ(t,k,v). Moreover, if B_i and B_j are any two blocks belonging to two distinct such subdesigns, then d|B_i∩B_j|<k−h. In 1999, Baudelet and Sebille (J. Combin. Des. 7 (1999) 107–112) proved that if, for some positive integers, there exists an S_λ(t,k,v) such that

where m=min{s,v−k} and n=min{i,t}, then there exists an

having pairwise disjoint subdesigns S_λ(t,k,v). The purpose of this paper is to generalize these two constructions in order to produce a new recursive construction of t-designs and a new extension theorem of t-designs.     

On some properties of the series ∑k=0 kx and the Stirling numbers of the second kind

We partially characterize the rational numbers x and integers n 0 for which the sum ∑_k=0^∞ kⁿx^k assumes integers. We prove that if ∑_k=0^∞ kⁿx^k is an integer for x = 1 − a/b with a, b> 0 integers and gcd(a,b) = 1, then a = 1 or 2. Partial results and conjectures are given which indicate for which b and n it is an integer if a = 2. The proof is based on lower bounds on the multiplicities of factors of the Stirling number of the second kind, S(n,k). More specifically, we obtain for all integers k, 2 k n, and a 3, provided a is odd or divisible by 4, where v_a(m) denotes the exponent of the highest power of a which divides m, for m and a> 1 integers.

New identities are also derived for the Stirling numbers, e.g., we show that ∑_k=0²ⁿk! S(2n, k) , for all integers n 1.     

Loopless generation of up–down permutations

An up–down permutation P=(p₁,p₂,…,p_n) is a permutation of the integers 1 to n which satisfies constraints specified by a sequence C=(c₁,c₂,…,c_n−1) of U's and D's of length n−1. If c_i is U then p_i<p_i+1 otherwise p_i−1>p_i. A loopless algorithm is developed for generating all the up–down permutations satisfying any sequence C. Ranking and unranking algorithms are discussed.     

Existence results for doubly near resolvable (υ, 3, 2)-BIBDs

Let V be a set of υ elements. A (1, 2; 3, υ, 1)-frame F is a square array of side v which satisfies the following properties. We index the rows and columns of F with the elements of V, V={x₁,x₂,…,x_υ}. (1) Each cell is either empty or contains a 3-subset of V. (2) Cell (x_i, x_i) is empty for i=1, 2,…, υ. (3) Row x_i of F contains each element of V−{x_i} once and column x_i of F contains each element of V−{x_i} once. (4) The collection of blocks obtained from the nonempty cells of F is a (υ, 3, 2)-BIBD. A (1, 2; 3, υ, 1)-frame is a doubly near resolvable (υ, 3, 2)-BIBD. In this paper, we first present a survey of existence results on doubly near resolvable (υ, 3, 2)-BIBDs and (1, 2; 3, υ, 1)-frames. We then use frame constructions to provide a new infinite class of doubly near resolvable (υ, 3, 2)-BIBDs by constructing (1, 2; 3, υ, 1)-frames.     

Length-bounded disjoint paths in planar graphs

The following problem is considered: given: an undirected planar graph G=(V,E) embedded in , distinct pairs of vertices {r₁,s₁},…,{r_k,s_k} of G adjacent to the unbounded face, positive integers b₁,…,b_k and a function ; find: pairwise vertex-disjoint paths P₁,…,P_k such that for each i=1,…,k, P_i is a r_i−s_i-path and the sum of the l-length of all edges in P_i is at most b_i. It is shown that the problem is NP-hard in the strong sense. A pseudo-polynomial-time algorithm is given for the case of k=2.