The generalized Roper-Suffridge extension operator

Let f(z) be a normalized convex (starlike) function on the unit disc D. Let , where z=(z₁,z₂,…,z_n), z₁∈D, , p_i?1, i=2,…,n, are real numbers. In this note, we prove that Φ(f)(z)=(f(z₁),f′(z₁)^1/p₂z₂,…,f′(z₁)^1/p_nz_n) is a normalized convex (starlike) mapping on Ω, where we choose the power function such that (f′(z₁))^1/p_i|_z1=0=1, i=2,…,n. Some other related results are proved.     

The combinatorial structure of random polytopes

Choose n random points in , let P_n be their convex hull, and denote by f_i(P_n) the number of i-dimensional faces of P_n. A general method for computing the expectation of f_i(P_n), i=0,…,d−1, is presented. This generalizes classical results of Efron (in the case i=0) and Rényi and Sulanke (in the case i=d−1) to arbitrary i. For random points chosen in a smooth convex body a limit law for f_i(P_n) is proved as n→∞. For random points chosen in a polytope the expectation of f_i(P_n) is determined as n→∞. This implies an extremal property for random points chosen in a simplex.     

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.     

The Erd?s-Ginzburg-Ziv theorem for dihedral groups

Let n≥23 be an integer and let D_2n be the dihedral group of order 2n. It is proved that, if g₁,g₂,…,g_3n is a sequence of 3n elements in D_2n, then there exist 2n distinct indices i₁,i₂,…,i_2n such that g_i1g_i2?g_i2n=1. This result is a sharpening of the famous Erd?s-Ginzburg-Ziv theorem for G=D_2n.     

Stability of plane Couette flows with respect to small periodic perturbations

We consider the plane Couette flow v₀=(x_n,0,…,0) in the infinite layer domain , where n≥2 is an integer. The exponential stability of v₀ in Lⁿ is shown under the condition that the initial perturbation is periodic in (x₁,…,x_n−1) and sufficiently small in the Lⁿ-norm.     

Existence of positive solutions for 2nth-order singular sublinear boundary value problems

This paper investigates the existence of positive solutions for 2nth-order (n>1) singular sub-linear boundary value problems. A necessary and sufficient condition for the existence of C2n−2[0,1] as well as C2n−1[0,1] positive solutions is given by constructing lower and upper solutions and with the maximal theorem. Our nonlinearity f(t,x₁,x₂,…,xn) may be singular at xi=0, i=1,2,…,n, t=0 and/or t=1.     

Some trace formulae involving the split sequences of a Leonard pair

Let K denote a field, and let V denote a vector space over K with finite positive dimension. We consider a pair of linear transformations A : V → V and A^∗ : V → V that satisfy (i) and (ii) below:

(i)

There exists a basis for V with respect to which the matrix representing A is irreducible tridiagonal and the matrix representing A^∗ is diagonal.

(ii)

There exists a basis for V with respect to which the matrix representing A^∗ is irreducible tridiagonal and the matrix representing A is diagonal.

We call such a pair a Leonard pair on V. Let diag(θ₀, θ₁, … , θ_d) denote the diagonal matrix referred to in (ii) above and let denote the diagonal matrix referred to in (i) above. It is known that there exists a basis u₀, u₁, … , u_d for V and there exist scalars ?₁, ?₂, … , ?_d in K such that Au_i = θ_iu_i + u_i+1 (0 ? i ? d − 1), Au_d = θ_du_d, , . The sequence ?₁, ?₂, … , ?_d is called the first split sequence of the Leonard pair. It is known that there exists a basis v₀, v₁, … , v_d for V and there exist scalars ?₁, ?₂, … , ?_d in K such that Av_i = θ_d−iv_i + v_i+1 (0 ? i ? d − 1),Av_d = θ₀v_d, , . The sequence ?₁, ?₂, … , ?_d is called the second split sequence of the Leonard pair. We display some attractive formulae for the first and second split sequence that involve the trace function.     

Factorization of entire solutions of some algebraic differential equations

We investigate the factorization of entire solutions of the following algebraic differential equations:

bn(z)finjn(f^′)+bn−1(z)fin−1jn−1(f^′)+?+b₀(z)fi₀j₀(f^′)=b(z),     

On rational approximation of algebraic functions

We construct a new scheme of approximation of any multivalued algebraic function f(z) by a sequence {r_n(z)}_n∈N of rational functions. The latter sequence is generated by a recurrence relation which is completely determined by the algebraic equation satisfied by f(z). Compared to the usual Padé approximation our scheme has a number of advantages, such as simple computational procedures that allow us to prove natural analogs of the Padé Conjecture and Nuttall's Conjecture for the sequence {r_n(z)}_n∈N in the complement CP¹?D_f, where D_f is the union of a finite number of segments of real algebraic curves and finitely many isolated points. In particular, our construction makes it possible to control the behavior of spurious poles and to describe the asymptotic ratio distribution of the family {r_n(z)}_n∈N. As an application we settle the so-called 3-conjecture of Egecioglu et al. dealing with a 4-term recursion related to a polynomial Riemann Hypothesis.     

p-Harmonic functions with boundary data having jump discontinuities and Baernstein's problem

For p-harmonic functions on unweighted R², with 1<p<∞, we show that if the boundary values f has a jump at an (asymptotic) corner point z₀, then the Perron solution Pf is asymptotically a+barg(z−z₀)+o(|z−z₀|). We use this to obtain a positive answer to Baernstein's problem on the equality of the p-harmonic measure of a union G of open arcs on the boundary of the unit disc, and the p-harmonic measure of . We also obtain various invariance results for functions with jumps and perturbations on small sets. For p>2 these results are new also for continuous functions. Finally we look at generalizations to Rn and metric spaces.     

On certain classes of analytic functions defined by Noor integral operator

Integral operator, introduced by Noor, is defined by using convolution. Let f_n(z)=z/(1−z)ⁿ⁺¹, n∈N₀, and let f be analytic in the unit disc E. Then I_nf=f⁽⁻¹⁾_n★f, where f_n★f⁽⁻¹⁾_n=z/(1−z). Using this operator, certain classes of analytic functions, related with the classes of functions with bounded boundary rotation and bounded boundary radius rotation, are defined and studied in detail. Some basic properties, rate of growth of coefficients, and a radius problem are investigated. It is shown that these classes are closed under convolution with convex functions. Most of the results are best possible in some sense.     

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].     

On metric spaces with the properties of de Groot and Nagata in dimension one

A metric space (X,d) has the de Groot property GPn if for any points x₀,x₁,…,xn+2∈X there are positive indices i,j,k?n+2 such that i≠j and d(xi,xj)?d(x₀,xk). If, in addition, k∈{i,j} then X is said to have the Nagata property NPn. It is known that a compact metrizable space X has dimension dim(X)?n iff X has an admissible GPn-metric iff X has an admissible NPn-metric.We prove that an embedding f:(0,1)→X of the interval (0,1)⊂R into a locally connected metric space X with property GP₁ (resp. NP₁) is open, provided f is an isometric embedding (resp. f has distortion Dist(f)=‖fLip_‖⋅‖f−1Lip_‖<2). This implies that the Euclidean metric cannot be extended from the interval [−1,1] to an admissible GP₁-metric on the triode T=[−1,1]∪[0,i]. Another corollary says that a topologically homogeneous GP₁-space cannot contain an isometric copy of the interval (0,1) and a topological copy of the triode T simultaneously. Also we prove that a GP₁-metric space X containing an isometric copy of each compact NP₁-metric space has density ?c.     

Solving polynomial optimization problems via the truncated tangency variety and sums of squares

Let f,g_i,i=1,…,l,h_j,j=1,…,m, be polynomials on Rⁿ and S?{x∈Rⁿ∣g_i(x)=0,i=1,…,l,h_j(x)≥0,j=1,…,m}. This paper proposes a method for finding the global infimum of the polynomial f on the semialgebraic set S via sum of squares relaxation over its truncated tangency variety, even in the case where the polynomial f does not attain its infimum on S. Under a constraint qualification condition, it is demonstrated that: (i) The infimum of f on S and on its truncated tangency variety coincide; and (ii) A sums of squares certificate for nonnegativity of f on its truncated tangency variety. These facts imply that we can find a natural sequence of semidefinite programs whose optimal values converge, monotonically increasing to the infimum of f on S.     

On the geometry of generalized quadrics

Let {f₀,…,f_n;g₀,…,g_n} be a sequence of homogeneous polynomials in 2n+2 variables with no common zeros in P²ⁿ⁺¹ and suppose that the degrees of the polynomials are such that is a homogeneous polynomial. We shall refer to the hypersurface X defined by Q as a generalized quadric. In this note, we prove that generalized quadrics in for n≥1 are reduced.     

Oscillating rim hook tableaux and colored matchings

We find a correspondence between oscillating m-rim hook tableaux and m-colored matchings, where m is a positive integer. An oscillating m  -rim hook tableau is defined as a sequence (λ⁰,λ¹,…,λ2n)$({\lambda }^0,{\lambda }^1,\dots ,{\lambda }^{2n})$ of Young diagrams starting with the empty shape and ending with the empty shape such that λi${\lambda }^i$ is obtained from λi−1${\lambda }^{i-1}$ by adding an m-rim hook or by deleting an m-rim hook. Our bijection relies on the generalized Schensted algorithm due to White. An oscillating 2-rim hook tableau is also called an oscillating domino tableau. When we restrict our attention to two column oscillating domino tableaux of length 2n  , we are led to a bijection between such tableaux and noncrossing 2-colored matchings on {1,2,…,2n}$\{1,2,\dots ,2n\}$, which are counted by the product CnC_n+1$C_n{C}_{n+1}$ of two consecutive Catalan numbers. A 2-colored matching is noncrossing if there are no two arcs of the same color that are intersecting. We show that oscillating domino tableaux with at most two columns are in one-to-one correspondence with Dyck path packings. A Dyck path packing of length 2n   is a pair (D,E)$(D,E)$, where D is a Dyck path of length 2n, and E is a dispersed Dyck path of length 2n that is weakly covered by D. So we deduce that Dyck path packings of length 2n   are counted by CnC_n+1$C_n{C}_{n+1}$.     

Artinian level modules of embedding dimension two

We prove that a sequence of positive integers (h₀,h₁,…,h_c) is the Hilbert function of an artinian level module of embedding dimension two if and only if h_i−1−2h_i+h_i+1≤0 for all 0≤i≤c, where we assume that h₋₁=h_c+1=0. This generalizes a result already known for artinian level algebras. We provide two proofs, one using a deformation argument, the other a construction with monomial ideals. We also discuss liftings of artinian modules to modules of dimension one.     

Partitions of a set satisfying certain set of conditions

In this paper we present a new combinatorial class enumerated by Catalan numbers. More precisely, we establish a bijection between the set of partitions π₁π₂?π_n of [n] such that π_i+1−π_i≤1 for all i=,1,2…,n−1, and the set of Dyck paths of semilength n. Moreover, we find an explicit formula for the generating function for the number of partitions π₁π₂?π_n of [n] such that either π_i+?−π_i≤1 for all i=1,2,…,n−?, or π_i+1−π_i≤m for all i=1,2,…,n−1.     

Global residues for sparse polynomial systems

We consider families of sparse Laurent polynomials f₁,…,f_n with a finite set of common zeros Z_f in the torus Tⁿ=(C−{0})ⁿ. The global residue assigns to every Laurent polynomial g the sum of its Grothendieck residues over Z_f. We present a new symbolic algorithm for computing the global residue as a rational function of the coefficients of the f_i when the Newton polytopes of the f_i are full-dimensional. Our results have consequences in sparse polynomial interpolation and lattice point enumeration in Minkowski sums of polytopes.