Nonparametric estimation of mixed partial derivatives of a multivariate density

On the basis of a random sample of size n on an m-dimensional random vector X, this note proposes a class of estimators f_n^(p) of f^(p), where f is a density of X w.r.t. a σ-finite measure dominated by the Lebesgue measure on R^m, p = (p₁,…,p_m), p_j ≥ 0, fixed integers, and for x = (x₁,…,x_m) in R^m, f^(p)(x) = ?^p₁+…+p_m f(x)/(?^p₁x₁ … ?^p_mx_m). Asymptotic unbiasedness as well as both almost sure and mean square consistencies of f_n^(p) are examined. Further, a necessary and sufficient condition for uniform asymptotic unbisedness or for uniform mean square consistency of f_n^(p) is given. Finally, applications of estimators of this note to certain statistical problems are pointed out.     

On Fourier Transforms of Radial Functions and Distributions

We find a formula that relates the Fourier transform of a radial function on R ⁿ with the Fourier transform of the same function defined on R ⁿ⁺². This formula enables one to explicitly calculate the Fourier transform of any radial function f(r) in any dimension, provided one knows the Fourier transform of the one-dimensional function t?f(|t|) and the two-dimensional function (x ₁,x ₂)?f(|(x ₁,x ₂)|). We prove analogous results for radial tempered distributions.     

The maximal Fejér operator on the spacesH p (R×···×R)

It is shown that the maximal operator of the Fejér means of a tempered distribution is bounded from thed-dimensional Hardy spaceH _p (R×···×R) toL _p (R ^d ) (1/2<p<∞) and is of weak type (H ₁ ^?i ,L ₁) (i=1,…,d), where the Hardy spaceH ₁ ^?i is defined by a hybrid maximal function. As a consequence, we obtain that the Fejér means of a functionf ∈H ₁ ^?i ?L(logL) ^d?1 converge a.e. to the function in question. Moreover, we prove that the Fejér means are uniformly bounded onH _p (R×···×R) whenever 1/2<p<∞. Thus, in casef ∈H _p (R×···×R) the Fejér means converge tof inH _p (R×···×R) norm. The same results are proved for the conjugate Fejér means, too.     

Contraction mappings in interval analysis

Under certain conditions, the contraction mapping fixed point theorem guarantees the convergence of the iterationx _i+1=f(x _i ) toward a fixed point of the functionf:R ⁿ →R ⁿ. When an interval extensionF off is used in a similar iteration scheme to obtain a sequence of interval vectors these conditions need not provide convergence to a degenerate interval vector representing the fixed point, even if the width of the initial interval vector is chosen arbitrarily small. We give a sufficient condition on the extensionF in order that the convergence is guaranteed. The centered form of Moore satisfies this condition.     

Planar curve interpolation by piecewise conics of arbitrary type

Five points in general position inR ² always lie on a unique conic, and three points plus two tangents also have a unique interpolating conic, the type of which depends on the data. These well-known facts from projective geometry are generalized: an odd number 2n+1≥5 of points inR ², if they can be interpolated at all by a smooth curve with nonvanishing curvature, will have a uniqueGC ² interpolant consisting of pieces of conics of varying type. This interpolation process reproduces conics of arbitrary type and preserves strict convexity. Under weak additional assumptions its approximation order is ?(h ⁵), whereh is the maximal distance of adjacent data pointsf(t _i ) sampled from a smooth and regular planar curvef with nonvanishing curvature. Two algorithms for the construction of the interpolant are suggested, and some examples are presented.     

Critical sets in 3-space

Given a non-empty compact set C ?R ³, is C the set of critical points for some smooth proper functionf :R ³ →R ₊? In this paper we prove that the answer is “yes” for Antoine’s Necklace and most but not all tame links.     

The Zygmund Morse-Sard Theorem

The classical Morse-Sard Theorem says that the set of critical values off:R ^n+k →R ⁿ has Lebesgue measure zero iff ∈C ^k+1. We show theC ^k+1 smoothness requirement can be weakened toC ^k+Zygmund. This is corollary to the following theorem: For integersn >m >r > 0, lets = (n ?r)/(m ?r); iff:R ⁿ →R ^m belongs to the Lipschitz class Λ _s andE is a set of rankr forf, thenf(E) has measure zero.     

Weighted tight frames of exponentials on a finite interval

Given a finite intervalI?R, a characterization is given for those discrete sets of real numbers Λ and associated sequences {c _λ}_λ∈Λ, withc _λ>0, having the properties that every functionf∈L ²(I) can be expanded inL ²(I) as the unconditionally convergent series $$f = \sum\limits_{\lambda \in \Lambda } {\hat f} (\lambda )c_\lambda e^{2\pi i\lambda x} $$ and that the range of the mappingL ²(I)→L _μ ² :f→f has finite codimension inL _μ ² , iff denotes the Fourier transform off and μ is the measure μ = ∑_λ∈Λ c _λ δ_λ.     

Complexity of Finding Irreducible Components of a Semialgebraic Set

Let W ⊂ Rⁿ be a semialgebraic set defined by a quantifier-free formula with k atomic polynomials of the kind f ∈ Z[X₁, . . . , X_n] such that deg_{X1, . . . , Xn}(f) < d and the absolute values of coefficients of f are less than 2^M for some positive integers d, M. An algorithm is proposed for producing the complexification, Zariski closure, and also for finding all irreducible components of W. The running time of the algorithm is bounded from above by M^O(1)(kd)^nO(1). The procedure is applied to computing a Whitney system for a semialgebraic set and the real radical of a polynomial ideal.     

Geometric Realizations of Lusztig’s Symmetries of Symmetrizable Quantum Groups

Let U be the quantum group and f be the Lusztig’s algebra associated with a symmetrizable generalized Cartan matrix. The algebra f can be viewed as the positive part of U. Lusztig introduced some symmetries T _i on U for all i ∈ I. Since T _i (f) is not contained in f, Lusztig considered two subalgebras _i f and ⁱ f of f for any i ∈ I, where _i f={x ∈ f | T _i (x) ∈ f} and \({^{i}\mathbf {f}}=\{x\in \mathbf {f}\,\,|\,\,T^{-1}_{i}(x)\in \mathbf {f}\}\). The restriction of T _i on _i f is also denoted by \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\). The geometric realization of f and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig’s symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of _i f, ⁱ f and \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\) by using the language ’quiver with automorphism’ introduced by Lusztig.     

Calcul fonctionnel a plusieurs variables pour des operateurs pseudodifferentiels dansR n

We study aC ^∞ functional calculus with several variables forv pseudodifferential operatorsP ₁, …,P _v inR ⁿ . Whenf is a function belonging to the classS _1.0 ^r (R ^v ) of Hörmander, we prove that, under some conditions,f(P ₁,…,P _v) is a pseudodifferential operator, and we give an asymptotic formula for its symbol.     

Weighted restriction theorems for Bessel potentials

Пустьk-мерное евклид ово пространствоR ^k рассматривается как подмножествоR ⁿ . Зафиксируемр, 1<р<∞ иα >(n?k)/p, α≠п. Как обычно, бесселев потенциалJαf обобщенной функции Шварцаf наR ⁿ определяется с помощ ью ее преобразования Фурь е \((\widehat{G_\alpha f})(\xi ) = (2\pi )^{ - n/2} [1 + |\xi |^2 ]^{\alpha /2} f(\xi ), \xi \in R^n .B\) , ξ∈R ⁿ . В работе характ еризуются положител ьные весовые функцииw(x ₁,...,x _k ), которые при продолжении наR ⁿ с помощью равенстваw(x ₁,...,x _k ,...,x _n )=w(x ₁, ...,x _k ) обладают с ледующим свойством: существует числос>0, не зависящее отf, такое, что $$\begin{gathered} \int\limits_{R^k } {|(G_\alpha f)(x_1 ,...,x_k ,0,...,0)w(x_1 ,...,x_k )|^p dx_1 ...dx_k \leqq } \hfill \\ \leqq C\int\limits_{R^n } {|f(x_1 ,...,x_n )w(x_1 ,...,x_n )|^p dx_1 ...dx_n } \hfill \\ \end{gathered} $$      

On the symmetric Laplace derivative

Let f:?R??R be integrable in a neighbourhood of x??R. If there are real numbers ?? ₀,?? ₂,??,?? _2n?2 such that $$\lim_{s\to\infty}s^{2n+1} \int_0^\delta e^{-st}\left[\frac{f(x+t)+f(x-t)}{2}-\sum_{i=0}^{n-1}\frac{t^{2i}}{(2i)!}\alpha_{2i}\right]\, dt$$ exists for some ??>0 then the limit is called the 2n-th symmetric Laplace derivative at x. There is a corresponding definition of (2n+1)-th symmetric Laplace derivative. It is shown that this derivative is a generalization of the symmetric d.l.V.P. derivative. Some properties of this derivative are studied.     

A sharp weightedL 2-estimate for the solution to the time-dependent Schrödinger equation

For Ξ∈R ⁿ ,t∈R andf∈S(R ⁿ ) define $\left( {S^2 f} \right)\left( t \right)\left( \xi \right) = \exp \left( {it\left| \xi \right|^2 } \right)\hat f\left( \xi \right)$ . We determine the optimal regularitys ₀ such that $\int_{R^n } {\left\| {(S^2 f)[x]} \right\|_{L^2 (R)}^2 \frac{{dx}}{{(1 + |x|)^b }} \leqslant C\left\| f \right\|_{H^s (R^n )}^2 ,s > s_0 } ,$ holds whereC is independent off∈S(R ⁿ ) or we show that such optimal regularity does not exist. This problem has been treated earlier, e.g. by Ben-Artzi and Klainerman [2], Kato and Yajima [4], Simon [6], Vega [9] and Wang [11]. Our theorems can be generalized to the case where the exp(it|ξ|²) is replaced by exp(it|ξ|^a),a≠2. The proof uses Parseval's formula onR, orthogonality arguments arising from decomposingL ²(R ⁿ ) using spherical harmonics and a uniform estimate for Bessel functions. Homogeneity arguments are used to show that results are sharp with respect to regularity.     

A Class of Nonlinear Averaging Integral Operators

LetHbe the class of analytic functions defined in the unit discU, and let coEdenote the convex hull of a setEinC. IfK⊂H, then an operatorI:K→His an averaging operator ifI[f](0) =f(0) andI[f](U) ⊂ cof(U), for allf∈K. The authors show that the operatorI_β,γ[f](z) ≡ [γz^−γ∫^z₀f^β(t)t^γ−1dt]^1/βis an averaging operator on certain subsets ofH.     

On an approximation property for nondiscrete inequivalent representations of finitely generated groups

Let R(Γ, G) be the variety of representations of a finitely generated group Γ in a simple complex algebraic group G. We establish some sufficient conditions for the image of the diagonal representation ϱ = (ϱ₁, …, ϱ_t), ϱ_i ε R(Γ, G), to be dense in G^f in the complex topology (“weak approximation”).     

Inequalities for entire functions of exponential type satisfying f(z) \equiv e^{i\gamma } e^{i\tau z} \overline {f(\bar z)}

Let f be an entire function of exponential type satisfying the condition $ f(z) \equiv e^{i\gamma } e^{i\tau z} \overline {f(\bar z)} $ for some real γ. Lower and upper estimates for ∫ _?∞ ^∞ |f′(x)| ^p dx in terms of ∫ _?∞ ^∞ |f(x)| ^p dx, for such a function f belonging to L ^p (R), have been known in the case where p ? [1, ∞) and γ = 0. In this paper, these estimates are shown to hold for any p ? (0, ∞) and any real γ.     

Ombres Convexité, régularité et sous-harmonicité

Letf:V→R be a function defined on a subsetV ofR ⁿ ×R ^d let?:x→inf{f(x t);t such that(x t)∈V} denote theshadow off and letΦ={(x t)∈V; f(x t)=?(x)} This paper deals with the characterization of some properties of ? in terms of the infinitesimal behavior off near points ζ∈Φ proving in particular a conjecture of J M Trépreau concerning the cased=1 Characterizations of this type are provided for the convexity the subharmonicity or theC ^{1 1} regularity of ? in the interior ofI={x∈ R ⁿ;εR ^d (x t)∈V} and in theC ^{1 1} case an expression forD ²? is given To some extent an answer is given to the following question: which convex function ?:I→R I interval ?R (resp which function √:I→R of classC ^{1 1}) is the shadow of aC ² functionf:I×R→R?     

Difference Sets in {\mathbb{Z}}_4^m and {\mathbb{F}}_2^{2m}

Let R=GR(4,m) be the Galois ring of cardinality 4^m and let T be the Teichmüller system of R. For every map λ of T into { -1,+1} and for every permutation Π of T, we define a map φ _λ ^Π of Rinto { -1,+1} as follows: if x∈R and if x=a+2b is the 2-adic representation of x with x∈T and b∈T, then φ _λ ^Π (x)=λ(a)+2Tr(Π(a)b), where Tr is the trace function of R . For i=1 or i=-1, define D _i as the set of x in R such thatφ _λ ^Π =i. We prove the following results: 1) D _i is a Hadamard difference set of (R,+). 2) If φ is the Gray map of R into ${\mathbb{F}}_2^{2m}$ , then (D _i) is a difference set of ${\mathbb{F}}_2^{2m}$ . 3) The set of D _i and the set of φ(D _i) obtained for all maps λ and Π, both are one-to-one image of the set of binary Maiorana-McFarland difference sets in a simple way. We also prove that special multiplicative subgroups of R are difference sets of kind D _i in the additive group of R. Examples are given by means of morphisms and norm in R.     

Classes of orderings of measures and related correlation inequalities. I. Multivariate totally positive distributions

A function f(x) defined on $\text{X}$ = $\text{X}$₁ × $\text{X}$₂ × … × $\text{X}$_n where each $\text{X}$_i is totally ordered satisfying f(x ∨ y) f(x ∧ y) ≥ f(x) f(y), where the lattice operations ∨ and ∧ refer to the usual ordering on $\text{X}$, is said to be multivariate totally positive of order 2 (MTP₂). A random vector Z = (Z₁, Z₂,…, Z_n) of n-real components is MTP₂ if its density is MTP₂. Classes of examples include independent random variables, absolute value multinormal whose covariance matrix Σ satisfies ?DΣ^?1D with nonnegative off-diagonal elements for some diagonal matrix D, characteristic roots of random Wishart matrices, multivariate logistic, gamma and F distributions, and others. Composition and marginal operations preserve the MTP₂ properties. The MTP₂ property facilitate the characterization of bounds for confidence sets, the calculation of coverage probabilities, securing estimates of multivariate ranking, in establishing a hierarchy of correlation inequalities, and in studying monotone Markov processes. Extensions on the theory of MTP₂ kernels are presented and amplified by a wide variety of applications.