Left annihilator of generalized derivations on Lie ideals in prime rings

Let \(R\) be a prime ring, \(L\) a noncentral Lie ideal of \(R\), \(F\) a generalized derivation with associated nonzero derivation \(d\) of \(R\). If \(a\in R\) such that \(a(d(u)^{l_1} F(u)^{l_2} d(u)^{l_3} F(u)^{l_4} \ldots F(u)^{l_k})^{n}=0\) for all \(u\in L\), where \(l_1,l_2,\ldots ,l_k\) are fixed non negative integers not all are zero and \(n\) is a fixed integer, then either \(a=0\) or \(R\) satisfies \(s_4\), the standard identity in four variables.     

The Dirichlet problem for Einstein metrics on cohomogeneity one manifolds

Let \(G{/}H\) be a compact homogeneous space, and let \(\hat{g}_0\) and \(\hat{g}_1\) be G-invariant Riemannian metrics on \(G/H\). We consider the problem of finding a G-invariant Einstein metric g on the manifold \(G/H\times [0,1]\) subject to the constraint that g restricted to \(G{/}H\times \{0\}\) and \(G/H\times \{1\}\) coincides with \(\hat{g}_0\) and \(\hat{g}_1\), respectively. By assuming that the isotropy representation of \(G/H\) consists of pairwise inequivalent irreducible summands, we show that we can always find such an Einstein metric.     

Minimization of transformed $$L_1$$ penalty: theory,difference of convex function algorithm,and robust application in compressed sensing

We study the minimization problem of a non-convex sparsity promoting penalty function, the transformed \(l_1\) (TL1), and its application in compressed sensing (CS). The TL1 penalty interpolates \(l_0\) and \(l_1\) norms through a nonnegative parameter \(a \in (0,+\infty )\), similar to \(l_p\) with \(p \in (0,1]\), and is known to satisfy unbiasedness, sparsity and Lipschitz continuity properties. We first consider the constrained minimization problem, and discuss the exact recovery of \(l_0\) norm minimal solution based on the null space property (NSP). We then prove the stable recovery of \(l_0\) norm minimal solution if the sensing matrix A satisfies a restricted isometry property (RIP). We formulated a normalized problem to overcome the lack of scaling property of the TL1 penalty function. For a general sensing matrix A, we show that the support set of a local minimizer corresponds to linearly independent columns of A. Next, we present difference of convex algorithms for TL1 (DCATL1) in computing TL1-regularized constrained and unconstrained problems in CS. The DCATL1 algorithm involves outer and inner loops of iterations, one time matrix inversion, repeated shrinkage operations and matrix-vector multiplications. The inner loop concerns an \(l_1\) minimization problem on which we employ the Alternating Direction Method of Multipliers. For the unconstrained problem, we prove convergence of DCATL1 to a stationary point satisfying the first order optimality condition. In numerical experiments, we identify the optimal value \(a=1\), and compare DCATL1 with other CS algorithms on two classes of sensing matrices: Gaussian random matrices and over-sampled discrete cosine transform matrices (DCT). Among existing algorithms, the iterated reweighted least squares method based on \(l_{1/2}\) norm is the best in sparse recovery for Gaussian matrices, and the DCA algorithm based on \(l_1\) minus \(l_2\) penalty is the best for over-sampled DCT matrices. We find that for both classes of sensing matrices, the performance of DCATL1 algorithm (initiated with \(l_1\) minimization) always ranks near the top (if not the top), and is the most robust choice insensitive to the conditioning of the sensing matrix A. DCATL1 is also competitive in comparison with DCA on other non-convex penalty functions commonly used in statistics with two hyperparameters.     

Approximation by Polynomials in Sobolev Spaces with Jacobi Weight

Polynomial approximation is studied in the Sobolev space \(W_p^r(w_{\alpha ,\beta })\) that consists of functions whose r-th derivatives are in weighted \(L^p\) space with the Jacobi weight function \(w_{\alpha ,\beta }\). This requires simultaneous approximation of a function and its consecutive derivatives up to s-th order with \(s \le r\). We provide sharp error estimates given in terms of \(E_n(f^{(r)})_{L^p(w_{\alpha ,\beta })}\), the error of best approximation to \(f^{(r)}\) by polynomials in \(L^p(w_{\alpha ,\beta })\), and an explicit construction of the polynomials that approximate simultaneously with the sharp error estimates.     

Convergence and Precise Asymptotics for Series Involving Self-normalized Sums

Let \(X, X_{1}, X_{2}, \ldots \) be i.i.d. random variables, and set \(S_{n}=X_{1}+\cdots +X_{n}\) and \( V_{n}^{2}=X_{1}^{2}+\cdots +X_{n}^{2}.\) Without any moment conditions on \(X\), assuming that \(\{S_{n}/V_{n}\}\) is tight, we establish convergence of series of the type (*) \(\sum \nolimits _{n}w_{n}P(\left| S_{n}\right| /V_{n}\ge \varepsilon b_{n}),\) \(\varepsilon >0.\) Then, assuming that \(X\) is symmetric and belongs to the domain of attraction of a stable law, and choosing \(w_{n}\) and \(b_{n}\) suitably\(,\) we derive the precise asymptotic behavior of the series (*) as \(\varepsilon \searrow 0. \)     

The Sharp Weighted Bound for Multilinear Maximal Functions and Calderón–Zygmund Operators

We investigate the weighted bounds for multilinear maximal functions and Calderón–Zygmund operators from \(L^{p_1}(w_1)\times \cdots \times L^{p_m}(w_m)\) to \(L^{p}(v_{\vec {w}})\), where \(1<p_1,\cdots ,p_m<\infty \) with \(1/{p_1}+\cdots +1/{p_m}=1/p\) and \(\vec {w}\) is a multiple \(A_{\vec {P}}\) weight. We prove the sharp bound for the multilinear maximal function for all such \(p_1,\ldots , p_m\) and prove the sharp bound for \(m\)-linear Calderón–Zymund operators when \(p\ge 1\).     

On an $$l_1$$ exact penalty result for mathematical programs with vanishing constraints

Recently, Hoheisel et al. (Nonlinear Anal 72(5):2514–2526, 2010) proved the exactness of the classical \(l_1\) penalty function for the mathematical programs with vanishing constraints (MPVC) under the MPVC-linearly independent constraint qualification (MPVC-LICQ) and the bi-active set being empty at a local minimum \(x^*\) of MPVC. In this paper, by relaxing the two conditions in the above result, we show that the \(l_1\) penalty function is still exact at a local minimum \(x^*\) of MPVC under the MPVC-generalized pseudonormality and a new assumption. Our \(l_1\) exact penalty result includes the one of Hoheisel et al. as a special case.     

Cohomogeneity one Kähler and Kähler–Einstein manifolds with one singular orbit I

Let M be a cohomogeneity one manifold of a compact semisimple Lie group G with one singular orbit \(S_0 = G/H\). Then M is G-diffeomorphic to the total space \(G \times _H V\) of the homogeneous vector bundle over \(S_0\) defined by a sphere transitive representation of G in a vector space V. We describe all such manifolds M which admit an invariant Kähler structure of standard type. This means that the restriction \(\mu : S = Gx = G/L \rightarrow F = G/K \) of the moment map of M to a regular orbit \(S=G/L\) is a holomorphic map of S with the induced CR structure onto a flag manifold \(F = G/K\), where \(K = N_G(L)\), endowed with an invariant complex structure \(J^F\). We describe all such standard Kähler cohomogeneity one manifolds in terms of the painted Dynkin diagram associated with \((F = G/K,J^F)\) and a parameterized interval in some T-Weyl chamber. We determine which of these manifolds admit invariant Kähler–Einstein metrics.     

Scalar Curvature Functions of Almost-Kähler Metrics

For a closed smooth manifold M admitting a symplectic structure, we define a smooth topological invariant Z(M) using almost-Kähler metrics, i.e., Riemannian metrics compatible with symplectic structures. We also introduce \(Z(M, [[\omega ]])\) depending on symplectic deformation equivalence class \([[\omega ]]\). We first prove that there exists a 6-dimensional smooth manifold M with more than one deformation equivalence class with different signs of \(Z(M, [[\omega ]] )\). Using Z invariants, we set up a Kazdan–Warner type problem of classifying symplectic manifolds into three categories. We finally prove that on every closed symplectic manifold \((M, \omega )\) of dimension \(\ge \!\!4\), any smooth function which is somewhere negative and somewhere zero can be the scalar curvature of an almost-Kähler metric compatible with a symplectic form which is deformation equivalent to \(\omega \).     

Combinatorial invariance of Kazhdan–Lusztig–Vogan polynomials for fixed point free involutions

When \(\mathrm {Sp}(2n,\mathbb {C})\) acts on the flag variety of \(\mathrm {SL}(2n,\mathbb {C})\), the orbits are in bijection with fixed point free involutions in the symmetric group \(S_{2n}\). In this case, the associated Kazhdan–Lusztig–Vogan polynomials \(P_{v,u}\) can be indexed by pairs of fixed point free involutions \(v\ge u\), where \(\ge \) denotes the Bruhat order on \(S_{2n}\). We prove that these polynomials are combinatorial invariants in the sense that if \(f:[u,w_0]\rightarrow [u',w_0]\) is a poset isomorphism of upper intervals in the Bruhat order on fixed point free involutions, then \(P_{v,u} = P_{f(v),u'}\) for all \(v\ge u\).     

Elimination of extremal index zeroes from generic paths of closed $$$$-forms

Let \( \alpha \) be a Morse closed \( 1 \)-form of a smooth \( n \)-dimensional manifold \( M \). The zeroes of \( \alpha \) of index \( 0 \) or \( n \) are called centers. It is known that every non-vanishing de Rham cohomology class \( u \) contains a Morse representative without centers. The result of this paper is the one-parameter analogue of the last statement: every generic path \( (\alpha _t)_{ t\in [0,1] }\) of closed \( 1 \)-forms in a fixed class \( u\ne 0 \) such that \( \alpha _0,\alpha _1 \) have no centers, can be modified relatively to its extremities to another such path \( (\beta _t)_{t \in [0,1]} \) having no center at all.     

Relationships Between the 2-Metric Dimension and the 2-Adjacency Dimension in the Lexicographic Product of Graphs

Given a connected simple graph \(G=(V(G),E(G))\), a set \(S\subseteq V(G)\) is said to be a 2-metric generator for G if and only if for any pair of different vertices \(u,v\in V(G)\), there exist at least two vertices \(w_1,w_2\in S\) such that \(d_G(u,w_i)\ne d_G(v,w_i)\), for every \(i\in \{1,2\}\), where \(d_G(x,y)\) is the length of a shortest path between x and y. The minimum cardinality of a 2-metric generator is the 2-metric dimension of G, denoted by \(\dim _2(G)\). The metric \(d_{G,2}: V(G)\times V(G)\longmapsto {\mathbb {N}}\cup \{0\}\) is defined as \(d_{G,2}(x,y)=\min \{d_G(x,y),2\}\). Now, a set \(S\subseteq V(G)\) is a 2-adjacency generator for G, if for every two vertices \(x,y\in V(G)\) there exist at least two vertices \(w_1,w_2\in S\), such that \(d_{G,2}(x,w_i)\ne d_{G,2}(y,w_i)\) for every \(i\in \{1,2\}\). The minimum cardinality of a 2-adjacency generator is the 2-adjacency dimension of G, denoted by \({\mathrm {adim}}_2(G)\). In this article, we obtain closed formulae for the 2-metric dimension of the lexicographic product \(G\circ H\) of two graphs G and H. Specifically, we show that \(\dim _2(G\circ H)=n\cdot {\mathrm {adim}}_2(H)+f(G,H),\) where \(f(G,H)\ge 0\), and determine all the possible values of f(G, H).     

Calabi-Yau manifolds with isolated conical singularities

Let \(X\) be a complex projective variety with only canonical singularities and with trivial canonical bundle. Let \(L\) be an ample line bundle on \(X\). Assume that the pair \((X,L)\) is the flat limit of a family of smooth polarized Calabi-Yau manifolds. Assume that for each singular point \(x \in X\) there exist a Kähler-Einstein Fano manifold \(Z\) and a positive integer \(q\) dividing \(K_{Z}\) such that \(-\frac{1}{q}K_{Z}\) is very ample and such that the germ \((X,x)\) is locally analytically isomorphic to a neighborhood of the vertex of the blow-down of the zero section of \(\frac{1}{q}K_{Z}\). We prove that up to biholomorphism, the unique weak Ricci-flat Kähler metric representing \(2\pi c_{1}(L)\) on \(X\) is asymptotic at a polynomial rate near \(x\) to the natural Ricci-flat Kähler cone metric on \(\frac{1}{q}K_{Z}\) constructed using the Calabi ansatz. In particular, our result applies if \((X, \mathcal{O}(1))\) is a nodal quintic threefold in \(\mathbf {P}^{4}\). This provides the first known examples of compact Ricci-flat manifolds with non-orbifold isolated conical singularities.     

Existence of self-Cheeger sets on Riemannian manifolds

Let \(({\mathcal M},g)\) be a smooth compact Riemannian manifold of dimension \(N\ge 2\). We prove the existence of a family \((\Omega _\varepsilon )_{\varepsilon \in (0,\varepsilon _0)}\) of self-Cheeger sets in \(({\mathcal M},g)\). The domains \(\Omega _\varepsilon \subset {\mathcal M}\) are perturbations of geodesic balls of radius \(\varepsilon \) centered at \(p \in {\mathcal M}\), and in particular, if \(p_0\) is a non-degenerate critical point of the scalar curvature of g, then the family \((\partial \Omega _\varepsilon )_{\varepsilon \in (0,\varepsilon _0)}\) constitutes a smooth foliation of a neighborhood of \(p_0\).     

An <Emphasis Type="Italic">A</Emphasis>-invariant subspace for bipartite distance-regular graphs with exactly two irreducible <Emphasis Type="Italic">T</Emphasis>-modules with endpoint 2, both thin

Let \(\Gamma \) denote a bipartite distance-regular graph with vertex set X, diameter \(D \ge 4\), and valency \(k \ge 3\). Let \({{\mathbb {C}}}^X\) denote the vector space over \({{\mathbb {C}}}\) consisting of column vectors with entries in \({{\mathbb {C}}}\) and rows indexed by X. For \(z \in X\), let \({{\widehat{z}}}\) denote the vector in \({{\mathbb {C}}}^X\) with a 1 in the z-coordinate, and 0 in all other coordinates. Fix a vertex x of \(\Gamma \) and let \(T = T(x)\) denote the corresponding Terwilliger algebra. Assume that up to isomorphism there exist exactly two irreducible T-modules with endpoint 2, and they both are thin. Fix \(y \in X\) such that \(\partial (x,y)=2\), where \(\partial \) denotes path-length distance. For \(0 \le i,j \le D\) define \(w_{ij}=\sum {{\widehat{z}}}\), where the sum is over all \(z \in X\) such that \(\partial (x,z)=i\) and \(\partial (y,z)=j\). We define \(W=\mathrm{span}\{w_{ij} \mid 0 \le i,j \le D\}\). In this paper we consider the space \(MW=\mathrm{span}\{mw \mid m \in M, w \in W\}\), where M is the Bose–Mesner algebra of \(\Gamma \). We observe that MW is the minimal A-invariant subspace of \({{\mathbb {C}}}^X\) which contains W, where A is the adjacency matrix of \(\Gamma \). We show that \(4D-6 \le \mathrm{dim}(MW) \le 4D-2\). We display a basis for MW for each of these five cases, and we give the action of A on these bases.     

Structural Properties of Word Representable Graphs

Given a word \(w=w_1w_2\cdots w_n\) of length n over an ordered alphabet \(\Sigma _k\), we construct a graph \(G(w)=(V(w), E(w))\) such that V(w) has n vertices labeled \(1, 2,\ldots , n\) and for \(i, j \in V(w)\), \((i, j) \in E(w)\) if and only if \(w_iw_j\) is a scattered subword of w of the form \(a_{t}a_{t+1}\), \(a_t \in \Sigma _k\), for some \(1 \le t \le k-1\) with the ordering \(a_t<a_{t+1}\). A graph is said to be Parikh word representable if there exists a word w over \(\Sigma _k\) such that \(G=G(w)\). In this paper we characterize all Parikh word representable graphs over the binary alphabet in terms of chordal bipartite graphs. It is well known that the graph isomorphism (GI) problem for chordal bipartite graph is GI complete. The GI problem for a subclass of (6, 2) chordal bipartite graphs has been addressed. The notion of graph powers is a well studied topic in graph theory and its applications. We also investigate a bipartite analogue of graph powers of Parikh word representable graphs. In fact we show that for G(w), \(G(w)^{[3]}\) is a complete bipartite graph, for any word w over binary alphabet.     

First eigenvalues of geometric operators under the Yamabe flow

Suppose \((M,g_0)\) is a compact Riemannian manifold without boundary of dimension \(n\ge 3\). Using the Yamabe flow, we obtain estimate for the first nonzero eigenvalue of the Laplacian of \(g_0\) with negative scalar curvature in terms of the Yamabe metric in its conformal class. On the other hand, we prove that the first eigenvalue of some geometric operators on a compact Riemannian manifold is nondecreasing along the unnormalized Yamabe flow under suitable curvature assumption. Similar results are obtained for manifolds with boundary and for CR manifold.     

A stochastic Gauss–Bonnet–Chern formula

We prove that a Gaussian ensemble of smooth random sections of a real vector bundle \(E\) over compact manifold \(M\) canonically defines a metric on \(E\) together with a connection compatible with it. Additionally, we prove a refined Gauss-Bonnet theorem stating that if the bundle \(E\) and the manifold \(M\) are oriented, then the Euler form of the above connection can be identified, as a current, with the expectation of the random current defined by the zero-locus of a random section in the above Gaussian ensemble.     

Bergman interpolation on finite Riemann surfaces. Part II: Poincaré-Hyperbolic Case

Let M be a 3-manifold with torus boundary components \(T_{1}\) and \(T_2\). Let \(\phi :T_{1} \rightarrow T_{2}\) be a homeomorphism, \(M_\phi \) the manifold obtained from M by gluing \(T_{1}\) to \(T_{2}\) via the map \(\phi \), and T the image of \(T_{1}\) in \(M_\phi \). We show that if \(\phi \) is “sufficiently complicated” then any incompressible or strongly irreducible surface in \(M_\phi \) can be isotoped to be disjoint from T. It follows that every Heegaard splitting of a 3-manifold admitting a “sufficiently complicated” JSJ decomposition is an amalgamation of Heegaard splittings of the components of the JSJ decomposition.