On the image,characterization, and automatic continuity of $$\varvec{(\sigma }, \varvec{\tau }$$ )-derivations

The first main theorem of this paper asserts that any \((\sigma , \tau )\)-derivation d, under certain conditions, either is a \(\sigma \)-derivation or is a scalar multiple of (\(\sigma - \tau \)), i.e. \(d = \lambda (\sigma - \tau )\) for some \(\lambda \in \mathbb {C} \backslash \{0\}\). By using this characterization, we achieve a result concerning the automatic continuity of \((\sigma , \tau \))-derivations on Banach algebras which reads as follows. Let \(\mathcal {A}\) be a unital, commutative, semi-simple Banach algebra, and let \(\sigma , \tau : \mathcal {A} \rightarrow \mathcal {A}\) be two distinct endomorphisms such that \(\varphi \sigma (\mathbf e )\) and \(\varphi \tau (\mathbf e )\) are non-zero complex numbers for all \(\varphi \in \Phi _\mathcal {A}\). If \(d : \mathcal {A} \rightarrow \mathcal {A}\) is a \((\sigma , \tau )\)-derivation such that \(\varphi d\) is a non-zero linear functional for every \(\varphi \in \Phi _\mathcal {A}\), then d is automatically continuous. As another objective of this research, we prove that if \(\mathfrak {M}\) is a commutative von Neumann algebra and \(\sigma :\mathfrak {M} \rightarrow \mathfrak {M}\) is an endomorphism, then every Jordan \(\sigma \)-derivation \(d:\mathfrak {M} \rightarrow \mathfrak {M}\) is identically zero.     

Morrey Spaces on Domains: Different Approaches and Growth Envelopes

We deal with Morrey spaces on bounded domains \(\Omega \) obtained by different approaches. In particular, we consider three settings \(\mathcal {M}_{u,p}(\Omega )\), \(\mathbb {M}_{u,p}(\Omega )\) and \(\mathfrak {M}_{u,p}(\Omega )\), where \(0<p\le u<\infty \), commonly used in the literature, and study their connections and diversities. Moreover, we determine the growth envelopes \(\mathfrak {E}_{\mathsf {G}}(\mathcal {M}_{u,p}(\Omega ))\) as well as \(\mathfrak {E}_{\mathsf {G}}(\mathfrak {M}_{u,p}(\Omega ))\), and obtain some applications in terms of optimal embeddings. Surprisingly, it turns out that the interplay between p and u in the sense of whether \(\frac{n}{u}\ge \frac{1}{p}\) or \(\frac{n}{u} < \frac{1}{p}\) plays a decisive role when it comes to the behaviour of these spaces.     

Commutativity of the centralizer of a subalgebra in a universal enveloping algebra

Let G be a reductive algebraic group over an algebraically closed field of characteristic zero, and let \(\mathfrak{h}\) be an algebraic subalgebra of the tangent Lie algebra \(\mathfrak{g}\) of G. We find all subalgebras \(\mathfrak{h}\) that have no nontrivial characters and whose centralizers \(\mathfrak{U}(\mathfrak{g})^\mathfrak{h} \) and \(P(\mathfrak{g})^\mathfrak{h} \) in the universal enveloping algebra \(\mathfrak{U}(\mathfrak{g})\) and in the associated graded algebra \(P(\mathfrak{g})\), respectively, are commutative. For all these subalgebras, we prove that \(\mathfrak{U}(\mathfrak{g})^\mathfrak{h} = \mathfrak{U}(\mathfrak{h})^\mathfrak{h} \otimes \mathfrak{U}(\mathfrak{g})^\mathfrak{g} \) and \(P(\mathfrak{g})^\mathfrak{h} = P(\mathfrak{h})^\mathfrak{h} \otimes P(\mathfrak{g})^\mathfrak{g} \). Furthermore, we obtain a criterion for the commutativity of \(\mathfrak{U}(\mathfrak{g})^\mathfrak{h} \) in terms of representation theory.     

Existence and concentration of solution for a class of fractional Hamiltonian systems with subquadratic potential

In this article, we consider the following fractional Hamiltonian systems:

$$\begin{aligned} {_{t}}D_{\infty }^{\alpha }({_{-\infty }}D_{t}^{\alpha }u) + \lambda L(t)u = \nabla W(t, u), \;\;t\in \mathbb {R}, \end{aligned}$$

where \(\alpha \in (1/2, 1)\), \(\lambda >0\) is a parameter, \(L\in C(\mathbb {R}, \mathbb {R}^{n\times n})\) and \(W \in C^{1}(\mathbb {R} \times \mathbb {R}^n, \mathbb {R})\). Unlike most other papers on this problem, we require that L(t) is a positive semi-definite symmetric matrix for all \(t\in \mathbb {R}\), that is, \(L(t) \equiv 0\) is allowed to occur in some finite interval \(\mathbb {I}\) of \(\mathbb {R}\). Under some mild assumptions on W, we establish the existence of nontrivial weak solution, which vanish on \(\mathbb {R} \setminus \mathbb {I}\) as \(\lambda \rightarrow \infty ,\) and converge to \(\tilde{u}\) in \(H^{\alpha }(\mathbb {R})\); here \(\tilde{u} \in E_{0}^{\alpha }\) is nontrivial weak solution of the Dirichlet BVP for fractional Hamiltonian systems on the finite interval \(\mathbb {I}\). Furthermore, we give the multiplicity results for the above fractional Hamiltonian systems.

     

Characterization of some derivations on von Neumann algebras via left centralizers

Let \(\mathfrak {M}\) be a von Neumann algebra, and let \(\mathfrak {T}:\mathfrak {M} \rightarrow \mathfrak {M}\) be a bounded linear map satisfying \(\mathfrak {T}(P^{2}) = \mathfrak {T}(P)P + \Psi (P,P)\) for each projection P of \(\mathfrak {M}\), where \(\Psi :\mathfrak {M} \times \mathfrak {M} \rightarrow \mathfrak {M}\) is a bi-linear map. If \(\Psi \) is a bounded l-semi Hochschild 2-cocycle, then \(\mathfrak {T}\) is a left centralizer associated with \(\Psi \). By applying this conclusion, we offer a characterization of left \(\sigma \)-centralizers, generalized derivations and generalized \(\sigma \)-derivations on von Neumann algebras. Moreover, it is proved that if \(\mathfrak {M}\) is a commutative von Neumann algebra and \(\sigma :\mathfrak {M} \rightarrow \mathfrak {M}\) is an endomorphism, then every bi-\(\sigma \)-derivation \(D:\mathfrak {M} \times \mathfrak {M} \rightarrow \mathfrak {M}\) is identically zero.     

On Lipschitz continuity of solutions of hyperbolic Poisson’s equation

In this paper, we investigate solutions of the hyperbolic Poisson equation \(\Delta _{h}u(x)=\psi (x)\), where \(\psi \in L^{\infty }(\mathbb {B}^{n}, {\mathbb R}^n)\) and

$$\begin{aligned} \Delta _{h}u(x)= (1-|x|^2)^2\Delta u(x)+2(n-2)\left( 1-|x|^2\right) \sum _{i=1}^{n} x_{i} \frac{\partial u}{\partial x_{i}}(x) \end{aligned}$$

is the hyperbolic Laplace operator in the n-dimensional space \(\mathbb {R}^n\) for \(n\ge 2\). We show that if \(n\ge 3\) and \(u\in C^{2}(\mathbb {B}^{n},{\mathbb R}^n) \cap C(\overline{\mathbb {B}^{n}},{\mathbb R}^n )\) is a solution to the hyperbolic Poisson equation, then it has the representation \(u=P_{h}[\phi ]-G_{ h}[\psi ]\) provided that \(u\mid _{\mathbb {S}^{n-1}}=\phi \) and \(\int _{\mathbb {B}^{n}}(1-|x|^{2})^{n-1} |\psi (x)|\,d\tau (x)<\infty \). Here \(P_{h}\) and \(G_{h}\) denote Poisson and Green integrals with respect to \(\Delta _{h}\), respectively. Furthermore, we prove that functions of the form \(u=P_{h}[\phi ]-G_{h}[\psi ]\) are Lipschitz continuous.

     

Estimates for coefficients of certain <Emphasis Type="Italic">L</Emphasis>-functions

Let \(\pi _{\varphi }\) (or \(\pi _{\psi }\)) be an automorphic cuspidal representation of \(\text {GL}_{2} (\mathbb {A}_{\mathbb {Q}})\) associated to a primitive Maass cusp form \(\varphi \) (or \(\psi \)), and \(\mathrm{sym}^j \pi _{\varphi }\) be the jth symmetric power lift of \(\pi _{\varphi }\). Let \(a_{\mathrm{sym}^j \pi _{\varphi }}(n)\) denote the nth Dirichlet series coefficient of the principal L-function associated to \(\mathrm{sym}^j \pi _{\varphi }\). In this paper, we study first moments of Dirichlet series coefficients of automorphic representations \(\mathrm{sym}^3 \pi _{\varphi }\) of \(\text {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\), and \(\pi _{\psi }\otimes \mathrm{sym}^2 \pi _{\varphi }\) of \(\text {GL}_{6}(\mathbb {A}_{\mathbb {Q}})\). For \(3 \le j \le 8\), estimates for \(|a_{\mathrm{sym}^j \pi _{\varphi }}(n)|\) on average over a short interval have also been established.     

Global Boundedness in a Two-Competing-Species Chemotaxis System with Two Chemicals

This paper deals with a two-competing-species chemotaxis system with two different chemicals

$$\begin{aligned} \left \{ \textstyle\begin{array}{l@{\quad}l} \displaystyle u_{t}=\Delta u-\chi_{1}\nabla \cdot (u\nabla v)+\mu_{1} u(1-u-a _{1}w), & (x,t)\in \varOmega \times (0,\infty ), \\ \displaystyle \tau v_{t}=\Delta v-v+w, & (x,t)\in \varOmega \times (0,\infty ), \\ \displaystyle w_{t}=\Delta w-\chi_{2}\nabla \cdot (w\nabla z)+\mu_{2}w(1-a_{2}u-w), & (x,t)\in \varOmega \times (0,\infty ), \\ \displaystyle \tau z_{t}=\Delta z-z+u, & (x,t)\in \varOmega \times (0,\infty ), \end{array}\displaystyle \right . \end{aligned}$$

under homogeneous Neumann boundary conditions in a smooth bounded domain \(\varOmega \subset \mathbb{R}^{n}\) \((n\geq 1)\) with the nonnegative initial data \((u_{0},\tau v_{0},w_{0},\tau z_{0})\in C^{0}(\overline{\varOmega }) \times W^{1,\infty }(\varOmega )\times C^{0}(\overline{\varOmega })\times W ^{1,\infty }(\varOmega )\), where \(\tau \in \{0,1\}\) and the parameters \(\chi_{i},\mu_{i},a_{i}\) (\(i=1,2\)) are positive. When \(\tau =0\), based on some a priori estimates and Moser-Alikakos iteration, it is shown that regardless of the size of initial data, the system possesses a unique globally bounded classical solution for any positive parameters if \(n=2\). On the other hand, when \(\tau =1\), relying on the maximal Sobolev regularity and semigroup technique, it is proved that the system admits a unique globally bounded classical solution provided that \(n\geq 1\) and there exists \(\theta_{0}>0\) such that \(\frac{\chi_{2}}{ \mu_{1}}<\theta_{0}\) and \(\frac{\chi_{1}}{\mu_{2}}<\theta_{0}\).

     

Mean curvature bounds and eigenvalues of Robin Laplacians

We consider the Laplacian with attractive Robin boundary conditions,

$$\begin{aligned} Q^\Omega _\alpha u=-\Delta u, \quad \dfrac{\partial u}{\partial n}=\alpha u \text { on } \partial \Omega , \end{aligned}$$

in a class of bounded smooth domains \(\Omega \in \mathbb {R}^\nu \); here \(n\) is the outward unit normal and \(\alpha >0\) is a constant. We show that for each \(j\in \mathbb {N}\) and \(\alpha \rightarrow +\infty \), the \(j\)th eigenvalue \(E_j(Q^\Omega _\alpha )\) has the asymptotics

$$\begin{aligned} E_j(Q^\Omega _\alpha )=-\alpha ^2 -(\nu -1)H_\mathrm {max}(\Omega )\,\alpha +{\mathcal O}(\alpha ^{2/3}), \end{aligned}$$

where \(H_\mathrm {max}(\Omega )\) is the maximum mean curvature at \(\partial \Omega \). The discussion of the reverse Faber-Krahn inequality gives rise to a new geometric problem concerning the minimization of \(H_\mathrm {max}\). In particular, we show that the ball is the strict minimizer of \(H_\mathrm {max}\) among the smooth star-shaped domains of a given volume, which leads to the following result: if \(B\) is a ball and \(\Omega \) is any other star-shaped smooth domain of the same volume, then for any fixed \(j\in \mathbb {N}\) we have \(E_j(Q^B_\alpha )>E_j(Q^\Omega _\alpha )\) for large \(\alpha \). An open question concerning a larger class of domains is formulated.

     

Algebras of Convolution-Type Operators with Piecewise Slowly Oscillating Data on Weighted Lebesgue Spaces

Let \({\mathcal B}_{p,w}\) be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space \(L^p(\mathbb {R},w)\), where \(p\in (1,\infty )\) and w is a Muckenhoupt weight. We study the Banach subalgebra \(\mathfrak {A}_{p,w}\) of \({\mathcal B}_{p,w}\) generated by all multiplication operators aI (\(a\in \mathrm{PSO}^\diamond \)) and all convolution operators \(W^0(b)\) (\(b\in \mathrm{PSO}_{p,w}^\diamond \)), where \(\mathrm{PSO}^\diamond \subset L^\infty (\mathbb {R})\) and \(\mathrm{PSO}_{p,w}^\diamond \subset M_{p,w}\) are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of \(\mathbb {R}\cup \{\infty \}\), and \(M_{p,w}\) is the Banach algebra of Fourier multipliers on \(L^p(\mathbb {R},w)\). For any Muckenhoupt weight w, we study the Fredholmness in the Banach algebra \({\mathcal Z}_{p,w}\subset \mathfrak {A}_{p,w}\) generated by the operators \(aW^0(b)\) with slowly oscillating data \(a\in \mathrm{SO}^\diamond \) and \(b\in \mathrm{SO}^\diamond _{p,w}\). Then, under some condition on the weight w, we complete constructing a Fredholm symbol calculus for the Banach algebra \(\mathfrak {A}_{p,w}\) in comparison with Karlovich and Loreto Hernández (Integr. Equations Oper. Theory 74:377–415, 2012) and Karlovich and Loreto Hernández (Integr. Equations Oper. Theory 75:49–86, 2013) and establish a Fredholm criterion for the operators \(A\in \mathfrak {A}_{p,w}\) in terms of their symbols. A new approach to determine local spectra is found.     

Convergence of the solutions of the discounted equation: the discrete case

We derive a discrete version of the results of Davini et al. (Convergence of the solutions of the discounted Hamilton–Jacobi equation. Invent Math, 2016). If M is a compact metric space, \(c : M\times M \rightarrow \mathbb {R}\) a continuous cost function and \(\lambda \in (0,1)\), the unique solution to the discrete \(\lambda \)-discounted equation is the only function \(u_\lambda : M\rightarrow \mathbb {R}\) such that

$$\begin{aligned} \forall x\in M, \quad u_\lambda (x) = \min _{y\in M} \lambda u_\lambda (y) + c(y,x). \end{aligned}$$

We prove that there exists a unique constant \(\alpha \in \mathbb {R}\) such that the family of \(u_\lambda +\alpha /(1-\lambda )\) is bounded as \(\lambda \rightarrow 1\) and that for this \(\alpha \), the family uniformly converges to a function \(u_0 : M\rightarrow \mathbb {R}\) which then verifies

$$\begin{aligned} \forall x\in X, \quad u_0(x) = \min _{y\in X}u_0(y) + c(y,x)+\alpha . \end{aligned}$$

The proofs make use of Discrete Weak KAM theory. We also characterize \(u_0\) in terms of Peierls barrier and projected Mather measures.

     

The Minimal Size of Infinite Maximal Antichains in Direct Products of Partial Orders

For a partial order \(\mathbb {P}\) having infinite antichains by \(\mathfrak {a}(\mathbb {P})\) we denote the minimal cardinality of an infinite maximal antichain in \(\mathbb {P}\) and investigate how does this cardinal invariant of posets behave in finite products. In particular we show that \(\min \{ \mathfrak {a}(\mathbb {P}),\mathfrak {p} (\text {sq} \mathbb {P}) \} \leq \mathfrak {a} (\mathbb {P}^{n} ) \leq \mathfrak {a} (\mathbb {P})\), for all \(n\in \mathbb {N}\), where \(\mathfrak {p} (\text {sq} \mathbb {P})\) is the minimal size of a centered family without a lower bound in the separative quotient of the poset \(\mathbb {P}\), or \(\mathfrak {p} (\text {sq} \mathbb {P})=\infty \), if there is no such family. So we have \(\mathfrak {a} (\mathbb {P} \times \mathbb {P})=\mathfrak {a} (\mathbb {P})\) whenever \(\mathfrak {p} (\text {sq} \mathbb {P})\geq \mathfrak {a} (\mathbb {P})\) and we show that, in addition, this equality holds for all posets obtained from infinite Boolean algebras of size ≤ø ₁ by removing zero, all reversed trees, all atomic posets and, in particular, for all posets of the form \(\langle \mathcal {C} ,\subset \rangle \), where \(\mathcal {C}\) is a family of nonempty closed sets in a compact T ₁-space containing all singletons. As a by-product we obtain the following combinatorial statement: If X is an infinite set and {A _i ×B _i :i∈I} an infinite partition of the square X ², then at least one of the families {A _i :i∈I} and {B _i :i∈I} contains an infinite partition of X.     

On the Stationary Navier–Stokes Problem in $$\mathbb {R}^3$$: An Approach in Weighted Sobolev Spaces

In this paper, we study the steady-state Navier–Stokes equations in \(\mathbb {R}^3\). First, we establish the existence of very weak solution in \(\varvec{L}^p(\mathbb {R}^3)\) with \(3/2< p < +\infty \) under smallness conditions on the data. A uniqueness result is also given in case the data belong to \(\mathbb {L}^r(\mathbb {R}^3)\cap \mathbb {L}^{3/2}(\mathbb {R}^3)\) with \(3/2<r<3\). We also discuss the case where the data are not necessarily small. In particular, these results enhance those obtained by Bjorland et al. (Commun Partial Differ Equ 26:216–246, 2011), and are in agreement with those obtained by Kim and Kozono (J Math Anal Appl 395(2):486–495, 2012). Second, we prove a result of existence and uniqueness of weak solution in the weighted Sobolev space \(\varvec{W}_0^{1,p}(\mathbb {R}^3)\cap \varvec{W}_0^{1,\,3/2}(\mathbb {R}^3)\) in case of small external forces given by \(\mathrm{div}\mathbb {F}\) with \(\mathbb {F} \in \mathbb {L}^p(\mathbb {R}^3)\cap \mathbb {L}^{3/2}(\mathbb {R}^3)\) and \(1<p<3\).     

On discrete universality of the Riemann zeta-function with respect to uniformly distributed shifts

The Voronin universality theorem asserts that a wide class of analytic functions can be approximated by shifts \(\zeta (s+i\tau )\), \(\tau \in \mathbb {R}\), of the Riemann zeta-function. In the paper, we obtain a universality theorem on the approximation of analytic functions by discrete shifts \(\zeta (s+ix_kh)\), \(k\in \mathbb {N}\), \(h>0\), where \(\{x_k\}\subset \mathbb {R}\) is such that the sequence \(\{ax_k\}\) with every real \(a\ne 0\) is uniformly distributed modulo 1, \(1\le x_k\le k\) for all \(k\in \mathbb {N}\) and, for \(1\le k\), \(m\le N\), \(k\ne m\), the inequality \(|x_k-x_m| \ge y^{-1}_N\) holds with \(y_N> 0\) satisfying \(y_Nx_N\ll N\).     

Cohomogeneity one actions on Minkowski spaces

We study isometric cohomogeneity one actions on the \((n+1)\)-dimensional Minkowski space \(\mathbb {L}^{n+1}\) up to orbit-equivalence. We give examples of isometric cohomogeneity one actions on \(\mathbb {L}^{n+1}\) whose orbit spaces are non-Hausdorff. We show that there exist isometric cohomogeneity one actions on \(\mathbb {L}^{n+1}\), \(n \ge 3\), which are orbit-equivalent on the complement of an n-dimensional degenerate subspace \(\mathbb {W}^n\) of \(\mathbb {L}^{n+1}\) and not orbit-equivalent on \(\mathbb {W}^n\). We classify isometric cohomogeneity one actions on \(\mathbb {L}^2\) and \(\mathbb {L}^3\) up to orbit-equivalence.     

Regularity for Inhomogeneous Dirichlet Problems of Some Schrödinger Equations on Domains

Let \(n\ge 3, \Omega \) be a bounded, simply connected and semiconvex domain in \({\mathbb {R}}^n\) and \(L_{\Omega }:=-\Delta +V\) a Schrödinger operator on \(L^2 (\Omega )\) with the Dirichlet boundary condition, where \(\Delta \) denotes the Laplace operator and the potential \(0\le V\) belongs to the reverse Hölder class \(RH_{q_0}({\mathbb {R}}^n)\) for some \(q_0\in (\max \{n/2,2\},\infty ]\). Assume that the growth function \(\varphi :\,{\mathbb {R}}^n\times [0,\infty ) \rightarrow [0,\infty )\) satisfies that \(\varphi (x,\cdot )\) is an Orlicz function and \(\varphi (\cdot ,t)\in {\mathbb {A}}_{\infty }({\mathbb {R}}^n)\) (the class of uniformly Muckenhoupt weights). Let \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) be the Musielak–Orlicz–Hardy space whose elements are restrictions of elements of the Musielak–Orlicz–Hardy space, associated with \(L_{{\mathbb {R}}^n}:=-\Delta +V\) on \({\mathbb {R}}^n\), to \(\Omega \). In this article, the authors show that the operators \(VL^{-1}_\Omega \) and \(\nabla ^2L^{-1}_\Omega \) are bounded from \(L^1(\Omega )\) to weak-\(L^1(\Omega )\), from \(L^p(\Omega )\) to itself, with \(p\in (1,2]\), and also from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to the Musielak–Orlicz space \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself. As applications, the boundedness of \(\nabla ^2{\mathbb {G}}_D\) on \(L^p(\Omega )\), with \(p\in (1,2]\), and from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself is obtained, where \({\mathbb {G}}_D\) denotes the Dirichlet Green operator associated with \(L_\Omega \). All these results are new even for the Hardy space \(H^1_{L_{{\mathbb {R}}^n},\,r}(\Omega )\), which is just \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) with \(\varphi (x,t):=t\) for all \(x\in {\mathbb {R}}^n\) and \(t\in [0,\infty )\).     

Equilibrium Diffusion on the Cone of Discrete Radon Measures

Let \({\mathbb {K}(\mathbb {R}^{d})}\) denote the cone of discrete Radon measures on \(\mathbb {R}^{d}\). There is a natural differentiation on \(\mathbb {K}(\mathbb {R}^{d})\): for a differentiable function \(F:\mathbb {K}(\mathbb {R}^{d})\to \mathbb {R}\), one defines its gradient \(\nabla ^{\mathbb {K}}F\) as a vector field which assigns to each \(\eta \in \mathbb {K}(\mathbb {R}^{d})\) an element of a tangent space \(T_{\eta }(\mathbb {K}(\mathbb {R}^{d}))\) to \(\mathbb {K}(\mathbb {R}^{d})\) at point η. Let \(\phi :\mathbb {R}^{d}\times \mathbb {R}^{d}\to \mathbb {R}\) be a potential of pair interaction, and let μ be a corresponding Gibbs perturbation of (the distribution of) a completely random measure on \(\mathbb {R}^{d}\). In particular, μ is a probability measure on \(\mathbb {K}(\mathbb {R}^{d})\) such that the set of atoms of a discrete measure \(\eta \in \mathbb {K}(\mathbb {R}^{d})\) is μ-a.s. dense in \(\mathbb {R}^{d}\). We consider the corresponding Dirichlet form

$$\mathcal{E}^{\mathbb{K}}(F,G)={\int}_{\mathbb K(\mathbb{R}^{d})}\langle\nabla^{\mathbb{K}} F(\eta), \nabla^{\mathbb{K}} G(\eta)\rangle_{T_{\eta}(\mathbb{K})}\,d\mu(\eta). $$

Integrating by parts with respect to the measure μ, we explicitly find the generator of this Dirichlet form. By using the theory of Dirichlet forms, we prove the main result of the paper: If d ≥ 2, there exists a conservative diffusion process on \(\mathbb {K}(\mathbb {R}^{d})\) which is properly associated with the Dirichlet form \(\mathcal {E}^{\mathbb {K}}\).

     

Positive Systems of Kostant Roots

Let \(\mathfrak {g}\) be a simple complex Lie algebra and let \(\mathfrak {t} \subset \mathfrak {g}\) be a toral subalgebra of \(\mathfrak {g}\). As a \(\mathfrak {t}\)-module \(\mathfrak {g}\) decomposes as

$$\mathfrak{g} = \mathfrak{s} \oplus \left( \oplus_{\nu \in \mathcal{R}}~ \mathfrak{g}^{\nu}\right)$$

where \(\mathfrak {s} \subset \mathfrak {g}\) is the reductive part of a parabolic subalgebra of \(\mathfrak {g}\) and \(\mathcal {R}\) is the Kostant root system associated to \(\mathfrak {t}\). When \(\mathfrak {t}\) is a Cartan subalgebra of \(\mathfrak {g}\) the decomposition above is nothing but the root decomposition of \(\mathfrak {g}\) with respect to \(\mathfrak {t}\); in general the properties of \(\mathcal {R}\) resemble the properties of usual root systems. In this note we study the following problem: “Given a subset \(\mathcal {S} \subset \mathcal {R}\), is there a parabolic subalgebra \(\mathfrak {p}\) of \(\mathfrak {g}\) containing \(\mathcal {M} = \oplus _{\nu \in \mathcal {S}} \mathfrak {g}^{\nu }\) and whose reductive part equals \(\mathfrak {s}\)?”. Our main results is that, for a classical simple Lie algebra \(\mathfrak {g}\) and a saturated \(\mathcal {S} \subset \mathcal {R}\), the condition \((\text {Sym}^{\cdot }(\mathcal {M}))^{\mathfrak {s}} = \mathbb {C}\) is necessary and sufficient for the existence of such a \(\mathfrak {p}\). In contrast, we show that this statement is no longer true for the exceptional Lie algebras F₄,E₆,E₇, and E₈. Finally, we discuss the problem in the case when \(\mathcal {S}\) is not saturated.

     

Sharp MSE Bounds for Proximal Denoising

Denoising has to do with estimating a signal \(\mathbf {x}_0\) from its noisy observations \(\mathbf {y}=\mathbf {x}_0+\mathbf {z}\). In this paper, we focus on the “structured denoising problem,” where the signal \(\mathbf {x}_0\) possesses a certain structure and \(\mathbf {z}\) has independent normally distributed entries with mean zero and variance \(\sigma ^2\). We employ a structure-inducing convex function \(f(\cdot )\) and solve \(\min _\mathbf {x}\{\frac{1}{2}\Vert \mathbf {y}-\mathbf {x}\Vert _2^2+\sigma {\lambda }f(\mathbf {x})\}\) to estimate \(\mathbf {x}_0\), for some \(\lambda >0\). Common choices for \(f(\cdot )\) include the \(\ell _1\) norm for sparse vectors, the \(\ell _1-\ell _2\) norm for block-sparse signals and the nuclear norm for low-rank matrices. The metric we use to evaluate the performance of an estimate \(\mathbf {x}^*\) is the normalized mean-squared error \(\text {NMSE}(\sigma )=\frac{{\mathbb {E}}\Vert \mathbf {x}^*-\mathbf {x}_0\Vert _2^2}{\sigma ^2}\). We show that NMSE is maximized as \(\sigma \rightarrow 0\) and we find the exact worst-case NMSE, which has a simple geometric interpretation: the mean-squared distance of a standard normal vector to the \({\lambda }\)-scaled subdifferential \({\lambda }\partial f(\mathbf {x}_0)\). When \({\lambda }\) is optimally tuned to minimize the worst-case NMSE, our results can be related to the constrained denoising problem \(\min _{f(\mathbf {x})\le f(\mathbf {x}_0)}\{\Vert \mathbf {y}-\mathbf {x}\Vert _2\}\). The paper also connects these results to the generalized LASSO problem, in which one solves \(\min _{f(\mathbf {x})\le f(\mathbf {x}_0)}\{\Vert \mathbf {y}-{\mathbf {A}}\mathbf {x}\Vert _2\}\) to estimate \(\mathbf {x}_0\) from noisy linear observations \(\mathbf {y}={\mathbf {A}}\mathbf {x}_0+\mathbf {z}\). We show that certain properties of the LASSO problem are closely related to the denoising problem. In particular, we characterize the normalized LASSO cost and show that it exhibits a “phase transition” as a function of number of observations. We also provide an order-optimal bound for the LASSO error in terms of the mean-squared distance. Our results are significant in two ways. First, we find a simple formula for the performance of a general convex estimator. Secondly, we establish a connection between the denoising and linear inverse problems.