Scaling relationship between the copositive cone and Parrilo’s first level approximation

We investigate the relation between the cone ${\mathcal{C}^{n}}$ of n × n copositive matrices and the approximating cone ${\mathcal{K}_{n}^{1}}$ introduced by Parrilo. While these cones are known to be equal for n ≤ 4, we show that for n ≥ 5 they are not equal. This result is based on the fact that ${\mathcal{K}_{n}^{1}}$ is not invariant under diagonal scaling. We show that for any copositive matrix which is not the sum of a nonnegative and a positive semidefinite matrix we can find a scaling which is not in ${\mathcal{K}_{n}^{1}}$ . In fact, we show that if all scaled versions of a matrix are contained in ${\mathcal{K}_{n}^{r}}$ for some fixed r, then the matrix must be in ${\mathcal{K}_{n}^{0}}$ . For the 5 × 5 case, we show the more surprising result that we can scale any copositive matrix X into ${\mathcal{K}_{5}^{1}}$ and in fact that any scaling D such that ${(DXD)_{ii} \in \{0,1\}}$ for all i yields ${DXD \in \mathcal{K}_{5}^{1}}$ . From this we are able to use the cone ${\mathcal{K}_{5}^{1}}$ to check if any order 5 matrix is copositive. Another consequence of this is a complete characterisation of ${\mathcal{C}^{5}}$ in terms of ${\mathcal{K}_{5}^{1}}$ . We end the paper by formulating several conjectures.     

Boundary Values of Harmonic Functions in Spaces of Triebel–Lizorkin Type

Triebel (J Approx Theory 35:275–297, 1982; 52:162–203, 1988) investigated the boundary values of the harmonic functions in spaces of the Triebel–Lizorkin type ${\mathcal F^{\alpha,q}_{p}}$ on ${\mathbb{R}^{n+1}_+}$ by finding an characterization of the homogeneous Triebel–Lizorkin space ${{\bf \dot{F}}^{\alpha,q}_p}$ via its harmonic extension, where ${0 < p < \infty, 0 < q \leq \infty}$ , and ${\alpha < {\rm min}\{-n/p, -n/q\}}$ . In this article, we extend Triebel’s result to α < 0 and ${0 < p, q \leq \infty}$ by using a discrete version of reproducing formula and discretizing the norms in both ${\mathcal{F}^{\alpha,q}_{p}}$ and ${{\bf{\dot{F}}}^{\alpha,q}_p}$ . Furthermore, for α < 0 and ${1 < p,q \leq \infty}$ , the mapping from harmonic functions in ${\mathcal{F}^{\alpha,q}_{p}}$ to their boundary values forms a topological isomorphism between ${\mathcal{F}^{\alpha,q}_{p}}$ and ${{\bf \dot{F}}^{\alpha,q}_p}$ .     

On Quadratic Differentials and Twisted Normal Maps of Surfaces in {\mathbb{S}^{2} \times\mathbb{R}} and {\mathbb{H}^{2} \times\mathbb{R}}

Given a Lie group G with a bi-invariant metric and a compact Lie subgroup K, Bittencourt and Ripoll used the homogeneous structure of quotient spaces to define a Gauss map ${\mathcal{N}:M^{n}\rightarrow{\mathbb{S}}}$ on any hypersupersurface ${M^{n}\looparrowright G/K}$ , where ${{\mathbb{S}}}$ is the unit sphere of the Lie algebra of G. It is proved in Bittencourt and Ripoll (Pacific J Math 224:45–64, 2006) that M ⁿ having constant mean curvature (CMC) is equivalent to ${\mathcal{N}}$ being harmonic, a generalization of a Ruh–Vilms theorem for submanifolds in the Euclidean space. In particular, when n = 2, the induced quadratic differential ${\mathcal{Q}_{\mathcal{N}}:=(\mathcal{N}^{\ast}g)^{2,0}}$ is holomorphic on CMC surfaces of G/K. In this paper, we take ${G/K={\mathbb{S}}^{2}\times{\mathbb{R}}}$ and compare ${\mathcal{Q}_{\mathcal{N}}}$ with the Abresch–Rosenberg differential ${\mathcal{Q}}$ , also holomorphic for CMC surfaces. It is proved that ${\mathcal{Q}=\mathcal{Q}_{\mathcal{N}}}$ , after showing that ${\mathcal{N}}$ is the twisted normal given by (1.5) herein. Then we define the twisted normal for surfaces in ${{\mathbb{H}}^{2}\times{\mathbb{R}}}$ and prove that ${\mathcal{Q}=\mathcal{Q}_{\mathcal{N}}}$ as well. Within the unified model for the two product spaces, we compute the tension field of ${\mathcal{N}}$ and extend to surfaces in ${{\mathbb{H}}^{2}\times{\mathbb{R}}}$ the equivalence between the CMC property and the harmonicity of ${\mathcal{N}.}$      

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

On the Intersection of the Normalizers of the \boldsymbol{\cal{F}}-Residuals of Subgroups of a Finite Group

In this paper we give criteria for a finite group to belong to a formation. As applications, recent theorems of Li, Shen, Shi and Qian are generalized. Let G  be a finite group, $\cal F$ a formation and p  a prime. Let $D_{\mathcal {F}}(G)$ be the intersection of the normalizers of the $\cal F$ -residuals of all subgroups of G, and let $D_{\mathcal {F}}^{p}(G)$ be the intersection of the normalizers of $(H^{\cal F}O_{p'}(G))$ for all subgroups H of G. We then define $D_{\mathcal F}^{0}(G)=D_{\mathcal F, p}^{~0}(G)=1$ and $D_{\mathcal F}^{i+1}(G)/D_{\mathcal F}^{i}(G)=D_{\mathcal F}(G/D_{\mathcal F}^{i}(G))$ , $D_{\mathcal F, p}^{i+1}(G)/D_{\mathcal F, p}^{~i}(G)=D_{\mathcal F, p}(G/D_{\mathcal F, p}^{~i}(G))$ . Let $D_{\mathcal {F}}^{\infty}(G)$ and $D_{\mathcal {F}, p}^{~\infty}(G)$ denote the terminal member of the ascending series of $D_{\mathcal F}^{i}(G)$ and $D_{\mathcal F, p}^{~i}(G)$ respectively. In this paper we prove that under certain hypotheses, the the $\cal F$ -residual $G^{\cal F}$ is nilpotent (respectively,p-nilpotent) if and only if $G=D_{\mathcal {F}}^{\infty}(G)$ (respectively, $G=D_{\mathcal {F}, p}^{~\infty}(G)$ ). Further more, if the formation $\cal F$ is either the class of all nilpotent groups or the class of all abelian groups, then $G^{\cal F}$ is p-nilpotent if and only if and only if every cyclic subgroup of G order p and 4 (if p?=?2) is contained in $D_{\mathcal {F}, p}^{~\infty}(G)$ .     

Donsker-type theorems for nonparametric maximum likelihood estimators

Let ${\mathcal{P}}$ be a nonparametric probability model consisting of smooth probability densities and let ${\hat{p}_{n}}$ be the corresponding maximum likelihood estimator based on n independent observations each distributed according to the law ${\mathbb{P}}$ . With $\hat{\mathbb{P}}_{n}$ denoting the measure induced by the density ${\hat{p}_{n}}$ , define the stochastic process ${\hat{\nu}}_{n}: f\longmapsto \sqrt{n} \int fd({\hat{\mathbb{P}}}_{n} -\mathbb{P})$ where f ranges over some function class ${\mathcal{F}}$ . We give a general condition for Donsker classes ${\mathcal{F}}$ implying that the stochastic process $\hat{\nu}_{n}$ is asymptotically equivalent to the empirical process in the space ${\ell ^{\infty }(\mathcal{F})}$ of bounded functions on ${ \mathcal{F}}$ . This implies in particular that $\hat{\nu}_{n}$ converges in law in ${\ell ^{\infty }(\mathcal{F})}$ to a mean zero Gaussian process. We verify the general condition for a large family of Donsker classes ${\mathcal{ F}}$ . We give a number of applications: convergence of the probability measure ${\hat{\mathbb{P}}_{n}}$ to ${\mathbb{P}}$ at rate ${\sqrt{n}}$ in certain metrics metrizing the topology of weak(-star) convergence; a unified treatment of convergence rates of the MLE in a continuous scale of Sobolev-norms; ${\sqrt{n}}$ -efficient estimation of nonlinear functionals defined on ${\mathcal{P}}$ ; limit theorems at rate ${\sqrt{n}}$ for the maximum likelihood estimator of the convolution product ${\mathbb{P\ast P}}$ .     

Composition Operators on Spaces of Fractional Cauchy Transforms

For ?? > 0, the Banach space ${\mathcal{F}_{\alpha}}$ is defined as the collection of functions f which can be represented as integral transforms of an appropriate kernel against a Borel measure defined on the unit circle T. Let ?? be an analytic self-map of the unit disc D. The map ?? induces a composition operator on ${\mathcal{F}_{\alpha}}$ if ${C_{\Phi}(f) = f \circ \Phi \in \mathcal{F}_{\alpha}}$ for any function ${f \in \mathcal{F}_{\alpha}}$ . Various conditions on ?? are given, sufficient to imply that C _?? is bounded on ${\mathcal{F}_{\alpha}}$ , in the case 0 < ?? < 1. Several of the conditions involve ???? and the theory of multipliers of the space ${\mathcal{F}_{\alpha}}$ . Relations are found between the behavior of C _?? and the membership of ?? in the Dirichlet spaces. Conditions given in terms of the generalized Nevanlinna counting function are shown to imply that ?? induces a bounded composition operator on ${\mathcal{F}_{\alpha}}$ , in the case 1/2 ?? ?? < 1. For such ??, examples are constructed such that ${\| \Phi \|_{\infty} = 1}$ and ${C_{\Phi}: \mathcal{F}_{\alpha} \rightarrow \mathcal{F}_{\alpha}}$ is bounded.     

Higher Order Transverse Bundles and Riemannian Foliations

The purpose of this paper is to prove that each of the following conditions is equivalent to that the foliation ${{\mathcal{F}}}$ is riemannian: (1) the lifted foliation ${{\mathcal{F}}^{r}}$ on the r-transverse bundle ${\nu^{r}{\mathcal{F}}}$ is riemannian for an r ≥  1; (2) the foliation ${{\mathcal{F}}_{0}^{r}}$ on a slashed ${\nu _{\ast }^{r}{\mathcal{F}}}$ is riemannian and vertically exact for an r ≥  1; (3) there is a positively admissible transverse lagrangian on a ${\nu _{\ast }^{r}{\mathcal{F}}}$ , for an r ≥  1. Analogous results have been proved previously for normal jet vector bundles.     

Order Bounded Weighted Composition Operators Mapping into the Bergman Space

We will investigate the order boundedness of weighted composition operators ${uC_{\varphi}}$ from weighted Bergman spaces ${L_{a}^p(dA_{\alpha})}$ , weighted-type spaces ${H_{\alpha}^{\infty}}$ or Bloch-type spaces ${\mathcal{B}_{\alpha}}$ into the space ${L_{a}^q(dA_{\beta})}$ .     

The Lagrangian Radon Transform and the Weil Representation

We consider the operator $\mathcal {R}$ , which sends a function on ${\mathbb {R}}^{2n}$ to its integrals over all affine Lagrangian subspaces in ${\mathbb {R}}^{2n}$ . We discuss properties of the operator $\mathcal {R}$ and of the representation of the affine symplectic group in several function spaces on ${\mathbb {R}}^{2n}$ .     

Lax embeddings of the Hermitian unital

In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital ${\mathcal{U}}$ of ${\mathsf{PG}(2,\mathbb{L}), \mathbb{L}}$ a quadratic extension of the field ${\mathbb{K}}$ and ${|\mathbb{K}| \geq 3}$ , in a ${\mathsf{PG}(d,\mathbb{F})}$ , with ${\mathbb{F}}$ any field and d ≥ 7, such that disjoint blocks span disjoint subspaces, is the standard Veronesean embedding in a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ (and d = 7) or it consists of the projection from a point ${p \in \mathcal{U}}$ of ${\mathcal{U}{\setminus} \{p\}}$ from a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ into a hyperplane ${\mathsf{PG}(6,\mathbb{K}^{\prime})}$ . In order to do so, when ${|\mathbb{K}| >3 }$ we strongly use the linear representation of the affine part of ${\mathcal{U}}$ (the line at infinity being secant) as the affine part of the generalized quadrangle ${\mathsf{Q}(4,\mathbb{K})}$ (the solid at infinity being non-singular); when ${|\mathbb{K}| =3}$ , we use the connection of ${\mathcal{U}}$ with the generalized hexagon of order 2.     

Atomic intersection of σ-fields and some of its consequences

Let ${(\Omega, \mathcal{F}, P)}$ be a probability space. For each ${\mathcal{G}\subset\mathcal{F}}$ , define ${\overline{\mathcal{G}}}$ as the σ-field generated by ${\mathcal{G}}$ and those sets ${F\in \mathcal{F}}$ satisfying ${P(F)\in\{0,1\}}$ . Conditions for P to be atomic on ${\cap_{i=1}^k\overline{\mathcal{A}_i}}$ , with ${\mathcal{A }_1,\ldots,\mathcal{A}_k\subset\mathcal{F}}$ sub-σ-fields, are given. Conditions for P to be 0-1-valued on ${\cap_{i=1}^k \overline{\mathcal{A}_i}}$ are given as well. These conditions are useful in various fields, including Gibbs sampling, iterated conditional expectations and the intersection property.     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Characterization of (generalized) Lie derivations on {\mathcal{J}}-subspace lattice algebras by local action

Let ${\mathcal{L}}$ be a ${\mathcal{J}}$ -subspace lattice on a Banach space X over the real or complex field ${\mathbb{F}}$ with dim X ≥ 2 and Alg ${\mathcal{L}}$ be the associated ${\mathcal{J}}$ -subspace lattice algebra. For any scalar ${\xi \in \mathbb{F}}$ , there is a characterization of any linear map L : Alg ${\mathcal{L} \rightarrow {\rm Alg} {\mathcal{L}}}$ satisfying ${L([A,B]_\xi) = [L(A),B]_\xi + [A,L(B)]_\xi}$ for any ${A, B \in{\rm Alg} {\mathcal{L}}}$ with AB = 0 (rep. ${[A,B]_ \xi = AB - \xi BA = 0}$ ) given. Based on these results, a complete characterization of (generalized) ξ-Lie derivations for all possible ξ on Alg ${\mathcal{L}}$ is obtained.     

Representation of Polynomials by Linear Combinations of Radial Basis Functions

Let ${\mathcal {P}_{n}^{d}}$ denote the space of polynomials on ? ^d of total degree n. In this work, we introduce the space of polynomials ${\mathcal {Q}_{2 n}^{d}}$ such that ${\mathcal {P}_{n}^{d}}\subset {\mathcal {Q}_{2 n}^{d}}\subset\mathcal{P}_{2n}^{d}$ and which satisfy the following statement: Let h be any fixed univariate even polynomial of degree n and $\mathcal{A}$ be a finite set in ? ^d . Then every polynomial P from the space  ${\mathcal {Q}_{2 n}^{d}}$ may be represented by a linear combination of radial basis functions of the form h(∥x+a∥), $a\in \mathcal{A}$ , if and only if the set $\mathcal{A}$ is a uniqueness set for the space  ${\mathcal {Q}_{2 n}^{d}}$ .     

Saturating Sperner Families

A family ${\mathcal{F} \subseteq 2^{[n]}}$ saturates the monotone decreasing property ${\mathcal{P}}$ if ${\mathcal{F}}$ satisfies ${\mathcal{P}}$ and one cannot add any set to ${\mathcal{F}}$ such that property ${\mathcal{P}}$ is still satisfied by the resulting family. We address the problem of finding the minimum size of a family saturating the k-Sperner property and the minimum size of a family that saturates the Sperner property and that consists only of l-sets and (l + 1)-sets.     

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.     

On additive decompositions of the set of primitive roots modulo p

It is conjectured that the set ${\mathcal {G}}$ of the primitive roots modulo p has no decomposition (modulo p) of the form ${\mathcal {G}= \mathcal {A} +\mathcal {B}}$ with ${|\mathcal {A}|\ge 2}$ , ${|\mathcal {B} |\ge 2}$ . This conjecture seems to be beyond reach but it is shown that if such a decomposition of ${\mathcal {G}}$ exists at all, then ${|\mathcal {A} |}$ , ${|\mathcal {B} |}$ must be around p ^1/2, and then this result is applied to show that ${\mathcal {G}}$ has no decomposition of the form ${\mathcal {G} =\mathcal {A} + \mathcal {B} + \mathcal {C}}$ with ${|\mathcal {A} |\ge 2}$ , ${|\mathcal {B} |\ge 2}$ , ${|\mathcal {C} |\ge 2}$ .     

Stability of contact discontinuity for steady Euler system in infinite duct

In this paper, we prove stability of contact discontinuities for full Euler system. We fix a flat duct ${\mathcal{N}_0}$ of infinite length in ${\mathbb{R}^2}$ with width W ₀ and consider two uniform subsonic flow ${{U_l}^{\pm}=(u_l^{\pm}, 0, pl,\rho_l^{\pm})}$ with different horizontal velocity in ${\mathcal{N}_0}$ divided by a flat contact discontinuity ${\Gamma_{cd}}$ . And, we slightly perturb the boundary of ${\mathcal{N}_0}$ so that the width of the perturbed duct converges to ${W_0+\omega}$ for ${|\omega| < \delta}$ at ${x=\infty}$ for some ${\delta >0 }$ . Then, we prove that if the asymptotic state at left far field is given by ${{U_l}^{\pm}}$ , and if the perturbation of boundary of ${\mathcal{N}_0}$ and ${\delta}$ is sufficiently small, then there exists unique asymptotic state ${{U_r}^{\pm}}$ with a flat contact discontinuity ${\Gamma_{cd}^*}$ at right far field( ${x=\infty}$ ) and unique weak solution ${U}$ of the Euler system so that U consists of two subsonic flow with a contact discontinuity in between, and that U converges to ${{U_l}^{\pm}}$ and ${{U_r}^{\pm}}$ at ${x=-\infty}$ and ${x=\infty}$ respectively. For that purpose, we establish piecewise C ¹ estimate across a contact discontinuity of a weak solution to Euler system depending on the perturbation of ${\partial\mathcal{N}_0}$ and ${\delta}$ .