The generalized cubic functional equation and the stability of cubic Jordan *-derivations

In the current work, we obtain the general solution of the following generalized cubic functional equation $$\begin{aligned}&f(x+my)+f(x-my)\\&\quad =2\left( 2\cos \left( \frac{m\pi }{2}\right) +m^2-1\right) f(x)-\frac{1}{2}\left( \cos \left( \frac{m\pi }{2}\right) +m^2-1\right) f(2x)\\&\qquad +m^2\{f(x+y)+f(x-y)\} \end{aligned}$$ for an integer $m \ge 1$ . We prove the Hyers–Ulam stability and the superstability for this cubic functional equation by the directed method and a fixed point approach. We also employ the mentioned functional equation to establish the stability of cubic Jordan $*$ -derivations on $C^*$ -algebras and $JC^*$ -algebras.     

3-Variable Additive {\rho} -Functional Inequalities and Equations

In this paper, we introduce and investigate additive \({\rho}\) -functional inequalities associated with the following additive functional equations $$\begin{array}{lll} \,\,\,\,\,\,\, f(x+y+z) - f(x)-f(y)-f(z) \,\,\,\, = 0 \\ 2f \left(\frac{x+y}{2}+z \right) - f(x)-f(y)-2f(z) = 0 \\ \,\,2f \left(\frac{x+y+z}{2} \right) - f(x)-f(y)-f(z) = 0\end{array}$$ Furthermore, we prove the Hyers–Ulam stability of the additive \({\rho}\) -functional inequalities in complex Banach spaces and prove the Hyers–Ulam stability of additive \({\rho}\) -functional equations associated with the additive \({\rho}\) -functional inequalities in complex Banach spaces.     

Fixed point homomorphisms for parameterized maps

Let X be an ANR (absolute neighborhood retract), ${\Lambda}$ a k-dimensional topological manifold with topological orientation ${\eta}$ , and ${f : D \rightarrow X}$ a locally compact map, where D is an open subset of ${X \times \Lambda}$ . We define Fix(f) as the set of points ${{(x, \lambda) \in D}}$ such that ${x = f(x, \lambda)}$ . For an open pair (U, V) in ${X \times \Lambda}$ such that ${{\rm Fix}(f) \cap U \backslash V}$ is compact we construct a homomorphism ${\Sigma_{(f,U,V)} : H^{k}(U, V ) \rightarrow R}$ in the singular cohomologies H* over a ring-with-unit R, in such a way that the properties of Solvability, Excision and Naturality, Homotopy Invariance, Additivity, Multiplicativity, Normalization, Orientation Invariance, Commutativity, Contraction, Topological Invariance, and Ring Naturality hold. In the case of a ${C^{\infty}}$ -manifold ${\Lambda}$ , these properties uniquely determine ${\Sigma}$ . By passing to the direct limit of ${\Sigma_{(f,U,V)}}$ with respect to the pairs (U, V) such that ${K = {\rm Fix}(f) \cap U \backslash V}$ , we define a homomorphism ${\sigma_{(f,K)} : {H}_{k}({\rm Fix}(f), Fix(f) \backslash K) \rightarrow R}$ in the ?ech cohomologies. Properties of ${\Sigma}$ and ${\sigma}$ are equivalent each to the other. We indicate how the homomorphisms generalize the fixed point index.     

f-algebras with a \sigma -bounded approximate unit

Let $X$ be a lattice ordered algebra ( $\ell $ -algebra). A positive element $x\in $ $X$ is said to be totally bounded if $x^{2}\le x$ . The $\ell $ -algebra $X$ is said to have a $\sigma $ -bounded approximate unit if for each positive linear functional $f$ on $X$ the set $\left\{ f(x)\text{: } x \text{ totally } \text{ bounded }\right\} $ is bounded in $\mathbb R $ . In this paper we study the class of $f$ -algebras with a $\sigma $ -bounded approximate unit which contains the class of all unital $f$ -algebras. In particular It is shown that an $f$ -algebra $X$ has a $\sigma $ -bounded approximate unit if and only if the order bidual $X^{\sim \sim }$ is a unital $f$ -algebra.     

Stability of mixed additive-quadratic Jensen type functional equation in non-Archimedean \ell -fuzzy normed spaces

In this papers we prove the generalized Hyers–Ulam–Rassias stability of the following mixed additive-quadratic Jensen functional equation $$\begin{aligned} 2f\left( \frac{x+y}{2}\right) +f\left( \frac{x-y}{2}\right) +f\left( \frac{y-x}{2}\right) =f(x)+f(y) \end{aligned}$$ in non- Archimedean \(\ell \) -fuzzy normed spaces.     

Geometric rigidity for sequences of W^{2,2} conformal immersions

We analyse sequences of discs conformally immersed in $ \mathbb{R }^ n$ with energy $ \int _{ D} |A_k |^ 2 \le \gamma _n$ , where $ \gamma _n = 8\pi $ if $ n=3$ and $ \gamma _n = 4 \pi $ when $n\ge 4$ . We show that if such sequences do not weakly converge to a conformal immersion, then by a sequence of dilations we obtain a complete minimal surface with bounded total curvature, either Enneper’s minimal surface if $ n=3$ or Chen’s minimal graph if $ n \ge 4$ . In the papers, (Kuwert and Li, Comm Anal Geom 20(2), 313–340, 2012; Rivière, Adv Calculus Variations 6(1), 1–31, 2013) it was shown that if a sequence of immersed tori diverges in moduli space then $\liminf _ {k\rightarrow \infty } \mathcal W ( f_k )\ge 8\pi $ . We apply the above analysis to show that in $ \mathbb{R }^3$ if the sequence diverges so that $ \lim _{ k \rightarrow \infty } \mathcal W (f_k) =8\pi $ then there exists a sequence of Möbius transforms $ \sigma _{k}$ such that $ \sigma _k\circ f _k$ converges weakly to a catenoid.     

A unified approach for minimizing composite norms

We propose a first-order augmented Lagrangian algorithm (FALC) to solve the composite norm minimization problem $$\begin{aligned} \begin{array}{ll} \min \limits _{X\in \mathbb{R }^{m\times n}}&\mu _1\Vert \sigma (\mathcal{F }(X)-G)\Vert _\alpha +\mu _2\Vert \mathcal{C }(X)-d\Vert _\beta ,\\ \text{ subject} \text{ to}&\mathcal{A }(X)-b\in \mathcal{Q }, \end{array} \end{aligned}$$ where $\sigma (X)$ denotes the vector of singular values of $X \in \mathbb{R }^{m\times n}$ , the matrix norm $\Vert \sigma (X)\Vert _{\alpha }$ denotes either the Frobenius, the nuclear, or the $\ell _2$ -operator norm of $X$ , the vector norm $\Vert .\Vert _{\beta }$ denotes either the $\ell _1$ -norm, $\ell _2$ -norm or the $\ell _{\infty }$ -norm; $\mathcal{Q }$ is a closed convex set and $\mathcal{A }(.)$ , $\mathcal{C }(.)$ , $\mathcal{F }(.)$ are linear operators from $\mathbb{R }^{m\times n}$ to vector spaces of appropriate dimensions. Basis pursuit, matrix completion, robust principal component pursuit (PCP), and stable PCP problems are all special cases of the composite norm minimization problem. Thus, FALC is able to solve all these problems in a unified manner. We show that any limit point of FALC iterate sequence is an optimal solution of the composite norm minimization problem. We also show that for all $\epsilon >0$ , the FALC iterates are $\epsilon $ -feasible and $\epsilon $ -optimal after $\mathcal{O }(\log (\epsilon ^{-1}))$ iterations, which require $\mathcal{O }(\epsilon ^{-1})$ constrained shrinkage operations and Euclidean projection onto the set $\mathcal{Q }$ . Surprisingly, on the problem sets we tested, FALC required only $\mathcal{O }(\log (\epsilon ^{-1}))$ constrained shrinkage, instead of the $\mathcal{O }(\epsilon ^{-1})$ worst case bound, to compute an $\epsilon $ -feasible and $\epsilon $ -optimal solution. To best of our knowledge, FALC is the first algorithm with a known complexity bound that solves the stable PCP problem.     

On the Generality of Assuming that a Family of Continuous Functions Separates Points

For an algebra ${\mathcal{A}}$ of complex-valued, continuous functions on a compact Hausdorff space (X, τ), it is standard practice to assume that ${\mathcal{A}}$ separates points in the sense that for each distinct pair ${x, y \in X}$ , there exists an ${f \in \mathcal{A}}$ such that ${f(x) \neq f(y)}$ . If ${\mathcal{A}}$ does not separate points, it is known that there exists an algebra ${\widehat{\mathcal{A}}}$ on a compact Hausdorff space ${(\widehat{X}, \widehat{\tau})}$ that does separate points such that the map ${\mathcal{A} \mapsto \widehat{\mathcal{A}}}$ is a uniform norm isometric algebra isomorphism. So it is, to a degree, without loss of generality that we assume ${\mathcal{A}}$ separates points. The construction of ${{\widehat{\mathcal{A}}}}$ and ${(\widehat{X}, \widehat{\tau})}$ does not require that ${\mathcal{A}}$ has any algebraic structure nor that ${(X, \tau)}$ has any properties, other than being a topological space. In this work we develop a framework for determining the degree to which separation of points may be assumed without loss of generality for any family ${\mathcal{A}}$ of bounded, complex-valued, continuous functions on any topological space ${(X, \tau)}$ . We also demonstrate that further structures may be preserved by the mapping ${\mathcal{A} \mapsto \widehat{\mathcal{A}}}$ , such as boundaries of weak peak points, the Lipschitz constant when the functions are Lipschitz on a compact metric space, and the involutive structure of real function algebras on compact Hausdorff spaces.     

On the Equality Problem of Conjugate Means

Let ${I\subset\mathbb{R}}$ be a nonvoid open interval and let L : I ²→ I be a fixed strict mean. A function M : I ²→ I is said to be an L-conjugate mean on I if there exist ${p,q\in\,]0,1]}$ and ${\varphi\in CM(I)}$ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q) \varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) : = A _χ(x, y) ${(x,y\in I)}$ is a fixed quasi-arithmetic mean with the fixed generating function ${\chi\in CM(I)}$ . We examine the following question: which L-conjugate means are weighted quasi-arithmetic means with weight ${r\in\, ]0,1[}$ at the same time? This question is a functional equation problem: Characterize the functions ${\varphi,\psi\in CM(I)}$ and the parameters ${p,q\in\,]0,1]}$ , ${r\in\,]0,1[}$ for which the equation $$L_\varphi^{(p,q)}(x,y)=L_\psi^{(r,1-r)}(x,y)$$ holds for all ${x,y\in I}$ .     

SIP: critical value functions have finite modulus of non-convexity

We consider semi-infinite programming problems ${{\rm SIP}(z)}$ depending on a finite dimensional parameter ${z \in \mathbb{R}^p}$ . Provided that ${\bar{x}}$ is a strongly stable stationary point of ${{\rm SIP}(\bar{z})}$ , there exists a locally unique and continuous stationary point mapping ${z \mapsto x(z)}$ . This defines the local critical value function ${\varphi(z) := f(x(z); z)}$ , where ${x \mapsto f(x; z)}$ denotes the objective function of ${{\rm SIP}(z)}$ for a given parameter vector ${z\in \mathbb{R}^p}$ . We show that ${\varphi}$ is the sum of a convex function and a smooth function. In particular, this excludes the appearance of negative kinks in the graph of ${\varphi}$ .     

Collapsibility and Vanishing of Top Homology in Random Simplicial Complexes

Let $\Delta _{n-1}$ denote the $(n-1)$ -dimensional simplex. Let $Y$ be a random $d$ -dimensional subcomplex of $\Delta _{n-1}$ obtained by starting with the full $(d-1)$ -dimensional skeleton of $\Delta _{n-1}$ and then adding each $d$ -simplex independently with probability $p=\frac{c}{n}$ . We compute an explicit constant $\gamma _d$ , with $\gamma _2 \simeq 2.45$ , $\gamma _3 \simeq 3.5$ , and $\gamma _d=\Theta (\log d)$ as $d \rightarrow \infty $ , so that for $c < \gamma _d$ such a random simplicial complex either collapses to a $(d-1)$ -dimensional subcomplex or it contains $\partial \Delta _{d+1}$ , the boundary of a $(d+1)$ -dimensional simplex. We conjecture this bound to be sharp. In addition, we show that there exists a constant $\gamma _d< c_d <d+1$ such that for any $c>c_d$ and a fixed field $\mathbb{F }$ , asymptotically almost surely $H_d(Y;\mathbb{F }) \ne 0$ .     

Rank-two stable sheaves with odd determinant on Fano threefolds of genus nine

According to Mukai and Iliev, a smooth prime Fano threefold $X$ of genus $9$ is associated with a surface $\mathbb{P }(\mathcal{V })$ , ruled over a smooth plane quartic $\varGamma $ , and the derived category of $\varGamma $ embeds into that of $X$ by a theorem of Kuznetsov. We use this setup to study the moduli spaces of rank- $2$ stable sheaves on $X$ with odd determinant. For each $c_2 \ge 7$ , we prove that a component of their moduli space $\mathsf{M}_X(2,1,c_2)$ is birational to a Brill–Noether locus of vector bundles with fixed rank and degree on $\varGamma $ , having enough sections when twisted by $\mathcal{V }$ . For $c_2=7$ , we prove that $\mathsf{M}_X(2,1,7)$ is isomorphic to the blow-up of the Picard variety $\text{ Pic}^{2}({\varGamma })$ along the curve parametrizing lines contained in $X$ .     

Heegner cycles and higher weight specializations of big Heegner points

Let ${\mathbf{{f}}}$ be a $p$ -ordinary Hida family of tame level $N$ , and let $K$ be an imaginary quadratic field satisfying the Heegner hypothesis relative to $N$ . By taking a compatible sequence of twisted Kummer images of CM points over the tower of modular curves of level $\Gamma _0(N)\cap \Gamma _1(p^s)$ , Howard has constructed a canonical class $\mathfrak{Z }$ in the cohomology of a self-dual twist of the big Galois representation associated to ${\mathbf{{f}}}$ . If a $p$ -ordinary eigenform $f$ on $\Gamma _0(N)$ of weight $k>2$ is the specialization of ${\mathbf{{f}}}$ at $\nu $ , one thus obtains from $\mathfrak{Z }_{\nu }$ a higher weight generalization of the Kummer images of Heegner points. In this paper we relate the classes $\mathfrak{Z }_{\nu }$ to the étale Abel-Jacobi images of Heegner cycles when $p$ splits in $K$ .     

C^*-algebras of Toeplitz type associated with algebraic number fields

We associate with the ring $R$ of algebraic integers in a number field a C*-algebra ${\mathfrak T }[R]$ . It is an extension of the ring C*-algebra ${\mathfrak A }[R]$ studied previously by the first named author in collaboration with X. Li. In contrast to ${\mathfrak A }[R]$ , it is functorial under homomorphisms of rings. It can also be defined using the left regular representation of the $ax+b$ -semigroup $R\rtimes R^\times $ on $\ell ^2 (R\rtimes R^\times )$ . The algebra ${\mathfrak T }[R]$ carries a natural one-parameter automorphism group $(\sigma _t)_{t\in {\mathbb R }}$ . We determine its KMS-structure. The technical difficulties that we encounter are due to the presence of the class group in the case where $R$ is not a principal ideal domain. In that case, for a fixed large inverse temperature, the simplex of KMS-states splits over the class group. The “partition functions” are partial Dedekind $\zeta $ -functions. We prove a result characterizing the asymptotic behavior of quotients of such partial $\zeta $ -functions, which we then use to show uniqueness of the $\beta $ -KMS state for each inverse temperature $\beta \in (1,2]$ .     

Sharpening the Norm Bound in the Subspace Perturbation Theory

Let $A$ be a (possibly unbounded) self-adjoint operator on a separable Hilbert space $\mathfrak H .$ Assume that $\sigma $ is an isolated component of the spectrum of $A$ , that is, $\mathrm{dist}(\sigma ,\Sigma )=d>0$ where $\Sigma =\mathrm spec (A)\setminus \sigma .$ Suppose that $V$ is a bounded self-adjoint operator on $\mathfrak H $ such that $\Vert V\Vert <d/2$ and let $L=A+V$ , $\mathrm{Dom }(L)=\mathrm{Dom }(A).$ Denote by $P$ the spectral projection of $A$ associated with the spectral set $\sigma $ and let $Q$ be the spectral projection of $L$ corresponding to the closed $\Vert V\Vert $ -neighborhood of $\sigma .$ Introducing the sequence $$\begin{aligned} \varkappa _n=\frac{1}{2}\left(1-\frac{(\pi ^2-4)^n}{(\pi ^2+4)^n}\right), \quad n\in \{0\}\cup {\mathbb N }, \end{aligned}$$ we prove that the following bound holds: $$\begin{aligned} \arcsin (\Vert P-Q\Vert )\le M_\star \left(\frac{\Vert V\Vert }{d}\right), \end{aligned}$$ where the estimating function $M_\star (x)$ , $x\in \bigl [0,\frac{1}{2}\bigr )$ , is given by $$\begin{aligned} M_\star (x)=\frac{1}{2}\,\,n_{_\#}(x)\,\arcsin \left(\frac{4\pi }{\pi ^2+4}\right) +\frac{1}{2}\,\arcsin \left(\frac{\pi ( x-\varkappa _{n_{_\#}(x)})}{1-2\varkappa _{n_{_\#}(x)})}\right), \end{aligned}$$ with $n_{_\#}(x)=\max \left\{ n\,\bigr |\,\,n\in \{0\}\cup {\mathbb N }\,, \varkappa _n\le x\right\} $ . The bound obtained is essentially stronger than the previously known estimates for $\Vert P-Q\Vert .$ Furthermore, this bound ensures that $\Vert P-Q\Vert <1$ and, thus, that the spectral subspaces $\mathrm{Ran }(P)$ and $\mathrm{Ran }(Q)$ are in the acute-angle case whenever $\Vert V\Vert <c_\star \,d$ , where $$\begin{aligned} c_\star =16\,\,\frac{\pi ^6-2\pi ^4+32\pi ^2-32}{(\pi ^2+4)^4}=0.454169\ldots . \end{aligned}$$ Our proof of the above results is based on using the triangle inequality for the maximal angle between subspaces and on employing the a priori generic $\sin 2\theta $ estimate for the variation of a spectral subspace. As an example, the boundedly perturbed quantum harmonic oscillator is discussed.     

On the topology of semi-algebraic functions on closed semi-algebraic sets

We consider a closed semi-algebraic set ${X \subset \mathbb{R}^n}$ and a C ² semi-algebraic function ${f : \mathbb{R}^n \rightarrow\mathbb{R}}$ such that ${f_{\vert X}}$ has a finite number of critical points. We relate the topology of X to the topology of the sets ${X \cap \{ f * \alpha \}}$ , where ${* \in \{\le,=,\ge \}}$ and ${\alpha \in \mathbb{R}}$ , and the indices of the critical points of ${f_{\vert X}}$ and ${-f_{\vert X}}$ . We also relate the topology of X to the topology of the links at infinity of the sets ${X \cap \{ f * \alpha\}}$ and the indices of these critical points. We give applications when ${X=\mathbb{R}^n}$ and when f is a generic linear function.     

Weighted Composition Operators from the Minimal Möbius Invariant Space into the Bloch Space

Let ${{\varphi}}$ be an analytic self-map of the open unit disk ${{\mathbb{D}}}$ in the complex plane ${{\mathbb{C}, H(\mathbb{D})}}$ the space of complex-valued analytic functions on ${{\mathbb{D}}}$ , and let u be a fixed function in ${{H(\mathbb{D})}}$ . The weighted composition operator is defined by $$(uC_{\varphi}f)(z) = u(z)f({\varphi}(z)), \quad z \in \mathbb{D}, f \in H(\mathbb{D}).$$ In this paper, we study the boundedness and the compactness of the weighted composition operators from the minimal Möbius invariant space into the Bloch space and the little Bloch space.     

Generalized stabilities of two functional equations

In this paper, we prove generalized stabilities of the functional equations ${\|f(x+y)\|=\|f(x)+f(y)\|}$ and ${\|f(x-y)\|=\|f(x)-f(y)\|}$ .     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

Regularity of semi-stable solutions to fourth order nonlinear eigenvalue problems on general domains

We examine the fourth order problem $\Delta ^2 u = \lambda f(u) $ in $ \Omega $ with $ \Delta u = u =0 $ on $ {\partial \Omega }$ , where $ \lambda > 0$ is a parameter, $ \Omega $ is a bounded domain in $\mathbb{R }^N$ and where $f$ is one of the following nonlinearities: $ f(u)=e^u$ , $ f(u)=(1+u)^p $ or $ f(u)= \frac{1}{(1-u)^p}$ where $ p>1$ . We show the extremal solution is smooth, provided $$\begin{aligned} N < 2 + 4 \sqrt{2} + 4 \sqrt{ 2 - \sqrt{2}} \approx 10.718 \text{ when} f(u)=e^u, \end{aligned}$$ and $$\begin{aligned} N < \frac{4p}{p-1} + \frac{4(p+1)}{p-1} \left( \sqrt{ \frac{2p}{p+1}} + \sqrt{ \frac{2p}{p+1} - \sqrt{ \frac{2p}{p+1}}} - \frac{1}{2} \right) \end{aligned}$$ when $ f(u)=(u+1)^p$ . New results are also obtained in the case where $ f(u)=(1-u)^{-p}$ . These are substantial improvements to various results on critical dimensions obtained recently by various authors. To do that, we derive a new stability inequality satisfied by minimal solutions of the above equation, which is more amenable to estimates as it allows a method of proof reminiscent of the second order case.