Stochastic properties of INID progressive Type-II censored order statistics

Let X_1:n≤X_2:n≤?≤X_n:n denote the order statistics of random variables X₁,X₂,…,X_n which are independent but not necessarily identically distributed (INID), and let K₁,K₂ be two integer-valued random variables, independent of {X₁,…,X_n}, such that 1≤K₁≤K₂≤n. It is shown that if K₁ has a log-concave probability function and SI(K₂|K₁) then RTI(X_K2:n|X_K1:n), and if K₂ has a log-concave probability function and SI(K₁|K₂) then LTD(X_K1:n|X_K2:n), where SI, RTI and LTD are three notions of bivariate positive dependence. Based on these, we obtain that RTI and LTD whenever 1≤i<j≤m, where are progressive Type-II censored order statistics from INID random variables {X₁,…,X_n}. Furthermore, one result concerning the likelihood ratio ordering of the progressive Type-II censored order statistics is also given.     

Homology of certain algebras defined by graphs

Let K(G) for a finite graph G with vertices v₁,...,v_n denote the K-algebra with generators X₁,...,X_n and defining relations X_iX_j=X_jX_i if and only if v_i is not connected to v_j by an edge in G. We describe centralizers of monomials, show that the centralizer of a monomial is again a graph algebra, prove a unique factorization theorem for factorizations of monomials into commuting factors, compute the homology of K(G), and show that K(G) is the homology ring of a certain loop space. We also construct a K(π, 1) explicitly where π is the group with generators X₁,...,X_n and defining relations X_iX_j=X_jX_i if and only if v_i is not connected to v_j by an edge in G.     

Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

Let K(n) be the nth Morava K-theory at a prime p, and let T(n) be the telescope of a v_n-self map of a finite complex of type n. In this paper we study the K(n)_*-homology of Ω^∞X, the 0th space of a spectrum X, and many related matters.We give a sampling of our results.Let PX be the free commutative S-algebra generated by X: it is weakly equivalent to the wedge of all the extended powers of X. We construct a natural map

s_n(X):L_T(n)P(X)→L_T(n)Σ^∞(Ω^∞X)₊     

Games,covering properties and Eberlein compacts

Consider the following game played in a locally compact space X: at the nth move, K chooses a compact set K_n⊂X, and then P chooses a point p_n∉∪{K_i: i⩽n}. We say K wins ifP's points have no limit point in X. We show that X is metacompact (σ-metacompact) if and only if K has a strategy in this game which depends only on P's last move (and the number of the move). As a corollary we obtain a game characterization of Eberlein compact spaces. We also show that if P is allowed to choose compact sets instead of points, then K has a winning strategy if and only if X is paracompact.     

On the property of kelley in the hyperspace and Whitney continua

In this paper, we introduce the notion of property [K]¹ which implies property [K], and we show the following: Let X be a continuum and let ω be any Whitney map for C(X). Then the following are equivalent. (1) X has property [K]¹. (2) C(X) has property [K]¹. (3) The Whitney continuum ω⁻¹(t) (0⩽t<ω(X)) has property [K]¹.As a corollary, we obtain that if a continuum X has property [K]¹, then C(X) has property [K] and each Whitney continuum in C(X) has property [K]. These are partial answers to Nadler's question and Wardle's question ([10, (16.37)] and [11, p. 295]).Also, we show that if each continuum X_n (n=1,2,3,…) has property [K]¹, then the product ∏X_n has property [K]¹, hence C(∏X_n) and each Whitney continuum have property [K]¹. It is known that there exists a curve X such that X has property [K], but X×X does not have property [K] (see [11]).     

A note on a conjecture on permanents

Let Kn denote the set of all n × n nonnegative matrices whose entries have sum n, and let ϕ be a real function on K_n defined by ϕ (X) = Πⁿ_i=1Σⁿ_j=1x_ij + Πⁿ_j=1Σⁿ_i=1x_ij − per X for X = [x_ij] ϵ K_n. A matrix A ϵ K_n is called a ϕ -maximizing matrix on K_n if ϕ (A) ⩾ ϕ (X) for all X ϵ K_n. It is conjectured that J_n = [1/n]_{n × n} is the unique ϕ-maximizing matrix on K_n. In this note, the following are proved: (i) If A is a positive ϕ-maximizing matrix, then A = J_n. (ii) If A is a row stochastic ϕ-maximizing matrix, then A = J_n. (iii) Every row sum and every column sum of a ϕ-maximizing matrix lies between 1 − √2·n!/nⁿ and 1 + (n − 1)√2·n!/nⁿ. (iv) For any p.s.d. symmetric A ϵ K_n, ϕ (A) ⩽ 2 − n!/nⁿ with equality iff A = J_n. (v) ϕ attains a strict local maximum on K_n at J_n.     

Universal space in the Cartesian product of Peano curves without free arcs

We prove that there is the universal space for the class of n-dimensional separable metric spaces in the Cartesian product K₁×?×Kn+1 of Peano curves without free arcs. It is also shown that the set of embeddings of any n-dimensional separable metric space X into this universal space is a residual set in C(X,K₁×?×Kn+1). Other properties of product of Peano curves without free arcs are also proved.     

Duality and normal parts of operator modules

For an operator bimodule X over von Neumann algebras A⊆B(H) and B⊆B(K), the space of all completely bounded A,B-bimodule maps from X into B(K,H), is the bimodule dual of X. Basic duality theory is developed with a particular attention to the Haagerup tensor product over von Neumann algebras. To X a normal operator bimodule X_n is associated so that completely bounded A,B-bimodule maps from X into normal operator bimodules factorize uniquely through X_n. A construction of X_n in terms of biduals of X, A and B is presented. Various operator bimodule structures are considered on a Banach bimodule admitting a normal such structure.     

On J. Nagata's universal spaces

The main result of this paper is the following extension of an embedding theorem by Nagata: given a sequence of zero-dimensional sets X₁,X₂,… in a metrizable space X of weight τ⩾ℵ₀, the set of homeomorphic embeddings h of X into S(τ)^ℵ₀, satisfying h(X_n)⊂K_n-1(τ) for n= 1,2,…, is dense in the function space of all continuous mappings of X into S(τ)^ℵ₀, where K_n(τ) is the n-dimensional universal Nagata's space in the countable product of the star-space S(τ) of weight τ. This seems to be a new result even in the separable case τ=χ₀ and provides in particular an answer to a question asked by Kuratowski (see Remark 2.6 for the details).     

A note on shadowing with chain transitivity

Let f : X → X be a continuous map of a compact metric space X. The map f induces in a natural way a map f_M on the space M(X) of probability measures on X, and a transformation f_K on the space K(X) of closed subsets of X. In this paper, we show that if (X, f) is a chain transitive system with shadowing property, then exactly one of the following two statements holds:

(a)

fⁿ and (f_K)ⁿ are syndetically sensitive for all n ? 1.

(b)

fⁿ and (f_K)ⁿ are equicontinuous for all n ? 1.

In particular, we show that for a continuous map f : X → X of a compact metric space X with infinite elements, if f is a chain transitive map with the shadowing property, then fⁿ and (f_K)ⁿ are syndetically sensitive for all n ? 1. Also, we show that if f_M (resp. f_K) is chain transitive and syndetically sensitive, and f_M (resp. f_K) has the shadowing property, then f is sensitive.In addition, we introduce the notion of ergodical sensitivity and present a sufficient condition for a chain transitive system (X, f) (resp. (M(X), f_M)) to be ergodically sensitive. As an application, we show that for a L-hyperbolic homeomorphism f of a compact metric space X, if f has the AASP, then fⁿ is syndetically sensitive and multi-sensitive for all n ? 1.     

On a Conjecture of E. Dittert

Let K_n denote the set of all n X n nonnegative matrices whose entries have sum n, and let φ be a real valued function defined on K_n by φ(X) = π_iⁿ⁼¹ n, + π_j=1^c_j⁻ⁿ per X for X E K_n with row sum vector (r₁,…, r_n) and column sum vector (c_l,hellip;, c_n). For the same X, let φ_ij(X)= π_k≠ir_k + π_1≠jc₁ - per X(i| j). A ϵK_n is called a φ-maximizing matrix if φ(A) > φ(X) for all X ϵ K_n. Dittert's conjecture asserts that J_n = [1/n]_n×n is the unique (φ-maximizing matrix on K_n. In this paper, the following are proved: (i) If A = [a_ij] is a φ-maximizing matrix on K_n then φ_ij(A) = φ (A) if a_ij > 0, and φ_ij (A) ⩽ φ (A)if aij = 0. (ii) The conjecture is true for n = 3.     

On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

Sufficient conditions for ergodicity and recurrence of Markov chains on a general state space

Let {X_n} be a ?-irreducible Markov chain on an arbitrary space. Sufficient conditions are given under which the chain is ergodic or recurrent. These extend known results for chains on a countable state space. In particular, it is shown that if the space is a normed topological space, then under some continuity conditions on the transition probabilities of {X_n} the conditions for ergodicity will be met if there is a compact set K and an ? > 0 such that $\text{E}\text{{6X}{}_{\mathrm{n+1}}\text{6 — 6X}{}_{\mathrm{n}}\text{6 ∣ X}{}_{\mathrm{n}}\text{= x} ? ??}$ whenever x lies outside K and $\text{E}\text{{6X}{}_{\mathrm{n+1}}\text{6 ∣ X}{}_{\mathrm{n}}\text{=x}}$ is bounded, x ∈ K; whilst the conditions for recurrence will be met if there exists a compact K with $\text{E}\text{{6X}{}_{\mathrm{n+1}}\text{6 ? 6X}{}_{\mathrm{n}}\text{6 ∣ X}{}_{\mathrm{n}}\text{= x} ? 0}$ for all x outside K. An application to queueing theory is given.     

On projections inL 1 andL ∞

Let (X _n ) be an increasing sequence ofn-dimensional subspaces inL _∞. LetP _n be a sequence of projections fromL ₁ orL _t8 ontoX _n , written in the integral form(p _n f)(t)=∫K _n (s,t)f(s)ds. We prove that if ∥K _n ?K _n?1∥_∞<0(logn), then sup∥p _n ∥=∞. This theorem extends some results of Olevskii [3] and Kwapien and Szarek [2].     

On the stability of the first-order linear recurrence in topological vector spaces

Suppose that X is a sequentially complete Hausdorff locally convex space over a scalar field K, V is a bounded subset of X, (a_n)_n≥0 is a sequence in K?{0} with the property lim inf_n→∞|a_n|>1, and (b_n)_n≥0 is a sequence in X. We show that for every sequence (x_n)_n≥0 in X satisfying

     

Coupled connections on a compact Riemann surface

We consider holomorphic differential operators on a compact Riemann surface X whose symbol is an isomorphism. Such a differential operator of order n on a vector bundle E sends E to K^⊗n_X⊗E, where K_X is the holomorphic cotangent bundle. We classify all those holomorphic vector bundles E over X that admit such a differential operator. The space of all differential operators whose symbol is an isomorphism is in bijective correspondence with the collection of pairs consisting of a flat vector bundle E over X and a holomorphic subbundle of E satisfying a transversality condition with respect to the connection.     

A limit theorem for continuous selectors

Any (measurable) function K from Rⁿ to R defines an operator K acting on random variables X by K(X) = K(X₁,..., X_n), where the X_j are independent copies of X. The main result of this paper concerns continuous selectors H, continuous functions defined in Rn and such that H(x₁, x₂,..., x_n) ∈ {x₁, x₂,..., x_n}. For each such continuous selector H (except for projections onto a single coordinate) there is a unique point ω_H in the interval (0, 1) so that, for any random variable X, the iterates H^(N) acting on X converge in distribution as N → ∞ to the ωH-quantile of X.     

Fractional non-Archimedean calculus in one variable

Let ?? be a natural number. A function f: ? _p ?? K into a non-Archimedeanly valued complete field K ? ? _p is ??-times continuously differentiable if and only if its Mahler coefficients (a _n ) _n??? obey |a _n |n ^?? ?? 0 as n ?? ??. For a real number r ?? 0, this suggests the ad hoc definition by [1] of a C ^r -function f: ? _p ?? K by asking its Mahler coefficients (a _n ) _n??? to satisfy |a _n |n ^r ?? 0 as n?? ??. We will present for functions f: X ?? K on subsets X ? K without isolated points a general pointwise notion of r-fold differentiability through iterated difference quotients, subsequently shown on the domain X = ? _p to coincide with the one given above. For functions on open domains, we prove this notion to admit a handier characterization by its Taylor polynomial up to degree ?r?.     

Le Nullstellensatz de Hilbert et les polynômes à valeurs entières

We extend Hilbert's Nullstellensatz by replacing the fieldK by an integral domainA and the polynomial ringK[X ₁,...,X _n ] by the ring of integral-valued polynomials with respect toA. Necessary and sufficient conditions onA are given so that this generalized version holds.     

Analytic mappings between LB-spaces and applications in infinite-dimensional Lie theory

We give a sufficient criterion for complex analyticity of nonlinear maps defined on direct limits of normed spaces. This tool is then used to construct new classes of (real and complex) infinite dimensional Lie groups: The group DiffGerm (K, X) of germs of analytic diffeomorphisms around a compact set K in a Banach space X and the group ${\bigcup_{n\in\mathbb {N}}G_n}We give a sufficient criterion for complex analyticity of nonlinear maps defined on direct limits of normed spaces. This tool is then used to construct new classes of (real and complex) infinite dimensional Lie groups: The group DiffGerm (K, X) of germs of analytic diffeomorphisms around a compact set K in a Banach space X and the group è_{n ? \mathbb N}G_n{\bigcup_{n\in\mathbb {N}}G_n} where the G _n are Banach Lie groups.