Stochastic comparisons of order statistics from gamma distributions

Let (X₁,X₂,…,X_n) and (Y₁,Y₂,…,Y_n) be gamma random vectors with common shape parameter α(0<α?1) and scale parameters (λ₁,λ₂,…,λ_n), (μ₁,μ₂,…,μ_n), respectively. Let X₍₎=(X₍₁₎,X₍₂₎,…,X_(n)), Y₍₎=(Y₍₁₎,Y₍₂₎,…,Y_(n)) be the order statistics of (X₁,X₂,…,X_n) and (Y₁,Y₂,…,Y_n). Then (λ₁,λ₂,…,λ_n) majorizes (μ₁,μ₂,…,μ_n) implies that X₍₎ is stochastically larger than Y₍₎. However if the common shape parameter α>1, we can only compare the the first- and last-order statistics. Some earlier results on stochastically comparing proportional hazard functions are shown to be special cases of our results.     

On the range of heterogeneous samples

Let R_n be the range of a random sample X₁,…,X_n of exponential random variables with hazard rate λ. Let S_n be the range of another collection Y₁,…,Y_n of mutually independent exponential random variables with hazard rates λ₁,…,λ_n whose average is λ. Finally, let r and s denote the reversed hazard rates of R_n and S_n, respectively. It is shown here that the mapping t?s(t)/r(t) is increasing on (0,∞) and that as a result, R_n=X_(n)−X₍₁₎ is smaller than S_n=Y_(n)−Y₍₁₎ in the likelihood ratio ordering as well as in the dispersive ordering. As a further consequence of this fact, X_(n) is seen to be more stochastically increasing in X₍₁₎ than Y_(n) is in Y₍₁₎. In other words, the pair (X₍₁₎,X_(n)) is more dependent than the pair (Y₍₁₎,Y_(n)) in the monotone regression dependence ordering. The latter finding extends readily to the more general context where X₁,…,X_n form a random sample from a continuous distribution while Y₁,…,Y_n are mutually independent lifetimes with proportional hazard rates.     

Some stably tame polynomial automorphisms

We study the structure of length three polynomial automorphisms of R[X,Y] when R is a UFD. These results are used to prove that if SL_m(R[X₁,X₂,…,X_n])=E_m(R[X₁,X₂,…,X_n]) for all n≥0 and for all m≥3 then all length three polynomial automorphisms of R[X,Y] are stably tame.     

On the dependence between the extreme order statistics in the proportional hazards model

Let X₁,…,X_n be a random sample from an absolutely continuous distribution with non-negative support, and let Y₁,…,Y_n be mutually independent lifetimes with proportional hazard rates. Let also X₍₁₎<?<X_(n) and Y₍₁₎<?<Y_(n) be their associated order statistics. It is shown that the pair (X₍₁₎,X_(n)) is then more dependent than the pair (Y₍₁₎,Y_(n)), in the sense of the right-tail increasing ordering of Avérous and Dortet-Bernadet [LTD and RTI dependence orderings, Canad. J. Statist. 28 (2000) 151-157]. Elementary consequences of this fact are highlighted.     

S-Noetherian properties on amalgamated algebras along an ideal

Let A and B   be commutative rings with identity, f:A→B$f:A\to B$ a ring homomorphism and J an ideal of B  . Then the subring A?^fJ:={(a,f(a)+j)|a∈A and j∈J}$A{?}^{f}J:=\{(a,f(a)+j)|a\in A\text{and}j\in J\}$ of A×B$A\times B$ is called the amalgamation of A with B along with J with respect to f. In this paper, we investigate a general concept of the Noetherian property, called the S  -Noetherian property which was introduced by Anderson and Dumitrescu, on the ring A?^fJ$A{?}^{f}J$ for a multiplicative subset S   of A?^fJ$A{?}^{f}J$. As particular cases of the amalgamation, we also devote to study the transfers of the S  -Noetherian property to the constructions D+(_X1,…,_Xn)E[_X1,…,_Xn]$D+(X_1,\dots ,X_n)E[X_1,\dots ,X_n]$ and D+(_X1,…,_Xn)E?_X1,…,_Xn?$D+(X_1,\dots ,X_n)E?X_1,\dots ,X_n?$ and Nagata?s idealization.     

Derivations and right ideals of algebras

Let R be a K-algebra acting densely on V_D, where K is a commutative ring with unity and V is a right vector space over a division K-algebra D. Let ρ be a nonzero right ideal of R and let f(X₁,…,X_t) be a nonzero polynomial over K with constant term 0 such that μR≠0 for some coefficient μ of f(X₁,…,X_t). Suppose that d:R→R is a nonzero derivation. It is proved that if rankd(f(x₁,…,x_t))?m for all x₁,…,x_t∈ρ and for some positive integer m, then either ρ is generated by an idempotent of finite rank or d=ad(b) for some b∈End(V_D) of finite rank. In addition, if f(X₁,…,X_t) is multilinear, then b can be chosen such that rank(b)?2(6t+13)m+2.     

Polynomials over ordered fields

In this paper we determine which polynomials over ordered fields have multiples with nonnegative coefficients and also which polynomials can be written as quotients of two polynomials with nonnegative coefficients. This problem is related to a result given by Pólya in [G.H. Hardy, J.E. Littlewood, G. Pólya, Inequalities, Cambridge University Press, Cambridge, England, 1952] (as a companion of Artin’s theorem) that asserts that if F(X₁,…,X_n)∈R[X₁,…,X_n] is a form (i.e., a homogeneous polynomial) s.t.  with ∑x_j>0, then F=G/H, where G,H are forms with all coefficients positive (i.e., every monomial of degree degG or degH appears in G or H, resp., with a coefficient that is strictly positive). In Pólya’s proof H is chosen to be H=(X₁+?+X_n)^m for some m.At the end we give some applications, including a generalization of Pólya’s result to arbitrary ordered fields.     

An algorithm for unimodular completion over Laurent polynomial rings

We present a new and simple algorithm for completion of unimodular vectors with entries in a multivariate Laurent polynomial ring over an infinite field K. More precisely, given n?3 and a unimodular vector V=^t(v₁,…,v_n)∈Rⁿ (that is, such that 〈v₁,…,v_n〉=R), the algorithm computes a matrix M in M_n(R) whose determinant is a monomial such that MV=^t(1,0,…,0), and thus M^-1 is a completion of V to an invertible matrix.     

The inversion formulae for automorphisms of polynomial algebras and rings of differential operators in prime characteristic

Let K be an arbitrary field of characteristic p>0. We find an explicit formula for the inverse of any algebra automorphism of any of the following algebras: the polynomial algebra P_n?K[x₁,…,x_n], the ring of differential operators D(P_n) on P_n, D(P_n)⊗P_m, the n’th Weyl algebra A_n or A_n⊗P_m, the power series algebra K[[x₁,…,x_n]], the subalgebra T_k1,…,kn of D(P_n) generated by P_n and the higher derivations , 0≤j<p^k_i, i=1,…,n (where k₁,…,k_n∈N), T_k1,…,kn⊗P_m or an arbitrary central simple (countably generated) algebra over an arbitrary field.     

On the unlinking conjecture of independent polynomial functions

The celebrated U-conjecture states that under the N_n(0,I_n) distribution of the random vector X=(X₁,…,X_n) in Rⁿ, two polynomials P(X) and Q(X) are unlinkable if they are independent [see Kagan et al., Characterization Problems in Mathematical Statistics, Wiley, New York, 1973]. Some results have been established in this direction, although the original conjecture is yet to be proved in generality. Here, we demonstrate that the conjecture is true in an important special case of the above, where P and Q are convex nonnegative polynomials with P(0)=0.     

Conditional ordering of order statistics

For any positive integers m and n, let X₁,X₂,…,X_m∨n be independent random variables with possibly nonidentical distributions. Let X_1:n≤X_2:n≤?≤X_n:n be order statistics of random variables X₁,X₂,…,X_n, and let X_1:m≤X_2:m≤?≤X_m:m be order statistics of random variables X₁,X₂,…,X_m. It is shown that (X_j:n,X_j+1:n,…,X_n:n) given X_i:m>y for j−i≥max{n−m,0}, and (X_1:n,X_2:n,…,X_j:n) given X_i:m≤y for j−i≤min{n−m,0} are all increasing in y with respect to the usual multivariate stochastic order. We thus extend the main results in Dubhashi and Häggström (2008) [1] and Hu and Chen (2008) [2].     

The mixing advantage for bounded random variables

Corresponding to n independent non-negative random variables X₁,…,X_n concentrated on a bounded interval set are values M₁,…,M_n, where each M_i is the expected value of the maximum of n independent copies of X_i. We obtain a sharp upper bound for the expected value of the maximum of X₁,…,X_n in terms of M₁,…,M_n. This inequality is sharp. A similar result is demonstrated for minima.     

Likelihood ratio orderings of spacings of heterogeneous exponential random variables

Let X₁,X₂,…,X_n be independent exponential random variables such that X_i has failure rate λ for i=1,…,p and X_j has failure rate λ^* for j=p+1,…,n, where p≥1 and q=n-p≥1. Denote by D_i:n(p,q)=X_i:n-X_i-1:n the ith spacing of the order statistics , where X_0:n≡0. It is shown that D_i:n(p,q)?_lrD_i+1:n(p,q) for i=1,…,n-1, and that if λ?λ^* then , and for i=1,…,n, where ?_lr denotes the likelihood ratio order. The main results are used to establish the dispersive orderings between spacings.     

Minimal free resolution of the associated graded ring of monomial curves of generalized arithmetic sequences

Let A(C) be the coordinate ring of a monomial curve C⊆Aⁿ corresponding to the numerical semigroup S minimally generated by a sequence a₀,…,a_n. In the literature, little is known about the Betti numbers of the corresponding associated graded ring gr_m(A) with respect to the maximal ideal m of A=A(C). In this paper we characterize the numerical invariants of a minimal free resolution of gr_m(A) in the case a₀,…,a_n is a generalized arithmetic sequence.     

On the Bateman-Horn Conjecture

Let r be a positive integer and f₁,…,f_r be distinct polynomials in Z[X]. If f₁(n),…,f_r(n) are all prime for infinitely many n, then it is necessary that the polynomials f_i are irreducible in Z[X], have positive leading coefficients, and no prime p divides all values of the product f₁(n)···f_r(n), as n runs over Z. Assuming these necessary conditions, Bateman and Horn (Math. Comput.16 (1962), 363-367) proposed a conjectural asymptotic estimate on the number of positive integers n?x such that f₁(n),…,f_r(n) are all primes. In the present paper, we apply the Hardy-Littlewood circle method to study the Bateman-Horn conjecture when r?2. We consider the Bateman-Horn conjecture for the polynomials in any partition {f₁,…,f_s}, {f_s+1,…,f_r} with a linear change of variables. Our main result is as follows: If the Bateman-Horn conjecture on such a partition and change of variables holds true with some conjectural error terms, then the Bateman-Horn conjecture for f₁,…,f_r is equivalent to a plausible error term conjecture for the minor arcs in the circle method.     

On higher analogs of topological complexity

Farber introduced a notion of topological complexity TC(X) that is related to robotics. Here we introduce a series of numerical invariants TCn(X), n=2,3,… , such that TC₂(X)=TC(X) and TCn(X)?TCn+1(X). For these higher complexities, we define their symmetric versions that can also be regarded as higher analogs of the symmetric topological complexity.     

Simultaneous solutions of Sylvester equations and idempotent matrices separating the joint spectrum

We investigate simultaneous solutions of the matrix Sylvester equations A_iX-XB_i=C_i,i=1,2,…,k, where {A₁,…,A_k} and {B₁,…,B_k} are k-tuples of commuting matrices of order m×m and p×p, respectively. We show that the matrix Sylvester equations have a unique solution X for every compatible k-tuple of m×p matrices {C₁,…,C_k} if and only if the joint spectra σ(A₁,…,A_k) and σ(B₁,…,B_k) are disjoint. We discuss the connection between the simultaneous solutions of Sylvester equations and related questions about idempotent matrices separating disjoint subsets of the joint spectrum, spectral mapping for the differences of commuting k-tuples, and a characterization of the joint spectrum via simultaneous solutions of systems of linear equations.     

Vector-valued multiparameter singular integrals and pseudodifferential operators

We consider multiparameter singular integrals and pseudodifferential operators acting on mixed-norm Bochner spaces Lp₁,…,pN(Rn₁×?×RnN;X) where X is a UMD Banach space satisfying Pisier's property (α). These geometric conditions are shown to be necessary. We obtain a vector-valued version of a result by R. Fefferman and Stein, also providing a new, inductive proof of the original scalar-valued theorem. Then we extend a result of Bourgain on singular integrals in UMD spaces with an unconditional basis to a multiparameter situation. Finally we carry over a result of Yamazaki on pseudodifferential operators to the Bochner space setting, improving the known vector-valued results even in the one-parameter case.     

A distribution property of the solutions of a congruence modulo a large prime

A regularity in the distribution of the solutions of the congruence f(X₁ ,…, X_n)  0 (modp) is shown.