Some Ricci-flat ($$\alpha ,\beta $$)-metrics

In this paper, we study a special class of Finsler metrics, \((\alpha ,\beta )\)-metrics, defined by \(F=\alpha \phi (\beta /\alpha )\), where \(\alpha \) is a Riemannian metric and \(\beta \) is a 1-form. We find an equation that characterizes Ricci-flat \((\alpha ,\beta )\)-metrics under the condition that the length of \(\beta \) with respect to \(\alpha \) is constant.     

Efficient construction of 2-chains representing a basis of $H_{2}(\overline {\Omega }, \partial {\Omega }; \mathbb {Z})$

We present an efficient algorithm for the construction of a basis of \(H_{2}(\overline {\Omega },\partial {\Omega };\mathbb {Z})\) via the Poincaré-Lefschetz duality theorem. Denoting by g the first Betti number of \(\overline {\Omega }\) the idea is to find, first g different 1-boundaries of \(\overline {\Omega }\) with supports contained in ?Ω whose homology classes in \(\mathbb {R}^{3} \setminus {\Omega }\) form a basis of \(H_{1}(\mathbb {R}^{3} \setminus {\Omega };\mathbb {Z})\), and then to construct a set of 2-chains in \(\overline {\Omega }\) having these 1-boundaries as their boundaries. The Poincaré-Lefschetz duality theorem ensures that the relative homology classes of these 2-chains in \(\overline {\Omega }\) modulo ?Ω form a basis of \(H_{2}(\overline {\Omega },\partial {\Omega };\mathbb {Z})\). We devise a simple procedure for the construction of the required set of 1-boundaries of \(\overline {\Omega }\) that, combined with a fast algorithm for the construction of 2-chains with prescribed boundary, allows the efficient computation of a basis of \(H_{2}(\overline {\Omega },\partial {\Omega };\mathbb {Z})\) via this very natural approach. Some numerical experiments show the efficiency of the method and its performance comparing with other algorithms.     

On partial disjunction properties of theories containing Peano arithmetic

Let \(\varGamma \) be a class of formulas. We say that a theory T in classical logic has the \(\varGamma \)-disjunction property if for any \(\varGamma \) sentences \(\varphi \) and \(\psi \), either \(T \vdash \varphi \) or \(T \vdash \psi \) whenever \(T \vdash \varphi \vee \psi \). First, we characterize the \(\varGamma \)-disjunction property in terms of the notion of partial conservativity. Secondly, we prove a model theoretic characterization result for \(\varSigma _n\)-disjunction property. Thirdly, we investigate relationships between partial disjunction properties and several other properties of theories containing Peano arithmetic. Finally, we investigate unprovability of formalized partial disjunction properties.     

A characterization of cut locus for $$C^1$$ hypersurfaces

Let \(\Omega \) be an open set in \(\mathbb {R}^n\) with \(C^1\)-boundary and \(\Sigma \) be the skeleton of \(\Omega \), which consists of points where the distance function to \(\partial \Omega \) is not differentiable. This paper characterizes the cut locus (ridge) \(\overline{\Sigma }\), which is the closure of the skeleton, by introducing a generalized radius of curvature and its lower semicontinuous envelope. As an application we give a sufficient condition for vanishing of the Lebesgue measure of \(\overline{\Sigma }\).     

Iterative reweighted methods for $$\ell _1-\ell _p$$ minimization

In this paper, we focus on the \(\ell _1-\ell _p\) minimization problem with \(0<p<1\), which is challenging due to the \(\ell _p\) norm being non-Lipschizian. In theory, we derive computable lower bounds for nonzero entries of the generalized first-order stationary points of \(\ell _1-\ell _p\) minimization, and hence of its local minimizers. In algorithms, based on three locally Lipschitz continuous \(\epsilon \)-approximation to \(\ell _p\) norm, we design several iterative reweighted \(\ell _1\) and \(\ell _2\) methods to solve those approximation problems. Furthermore, we show that any accumulation point of the sequence generated by these methods is a generalized first-order stationary point of \(\ell _1-\ell _p\) minimization. This result, in particular, applies to the iterative reweighted \(\ell _1\) methods based on the new Lipschitz continuous \(\epsilon \)-approximation introduced by Lu (Math Program 147(1–2):277–307, 2014), provided that the approximation parameter \(\epsilon \) is below a threshold value. Numerical results are also reported to demonstrate the efficiency of the proposed methods.     

Compact $$\lambda $$-translating Solitons with Boundary

A \(\lambda \)-translating soliton with density vector \(\mathbf {v}\) is a surface \(\varSigma \) in Euclidean space \(\mathbb {R}^3\) whose mean curvature H satisfies \(2H=2\lambda +\langle N,\mathbf {v}\rangle \), where N is the Gauss map of \(\varSigma \). In this article, we study the shape of a compact \(\lambda \)-translating soliton in terms of its boundary. If \(\varGamma \) is a given closed curve, we deduce under what conditions on \(\lambda \) there exists a compact \(\lambda \)-translating soliton \(\varSigma \) with boundary \(\varGamma \) and we provide estimates of the surface area depending on the height of \(\varSigma \). Finally, we study the shape of \(\varSigma \) related with the geometry of \(\varGamma \), in particular, we give conditions that assert that \(\varSigma \) inherits the symmetries of its boundary \(\varGamma \).     

rthogonality Property $$\mathcal {}$$ and Compact Perturbations

A bounded linear operator T acting on a Hilbert space is said to have orthogonality property \(\mathcal {O}\) if the subspaces \(\ker (T-\alpha )\) and \(\ker (T-\beta )\) are orthogonal for all \(\alpha , \beta \in \sigma _p(T)\) with \(\alpha \ne \beta \). In this paper, the authors investigate the compact perturbations of operators with orthogonality property \(\mathcal {O}\). We give a sufficient and necessary condition to determine when an operator T has the following property: for each \(\varepsilon >0\), there exists \(K\in \mathcal {K(H)}\) with \(\Vert K\Vert <\varepsilon \) such that \(T+K\) has orthogonality property \(\mathcal {O}\). Also, we study the stability of orthogonality property \(\mathcal {O}\) under small compact perturbations and analytic functional calculus.     

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.     

Cartoon Approximation with $$\alpha $$-Curvelets

It is well-known that curvelets provide optimal approximations for so-called cartoon images which are defined as piecewise \(C^2\)-functions, separated by a \(C^2\) singularity curve. In this paper, we consider the more general case of piecewise \(C^\beta \)-functions, separated by a \(C^\beta \) singularity curve for \(\beta \in (1,2]\). We first prove a benchmark result for the possibly achievable best N-term approximation rate for this more general signal model. Then we introduce what we call \(\alpha \)-curvelets, which are systems that interpolate between wavelet systems on the one hand (\(\alpha = 1\)) and curvelet systems on the other hand (\(\alpha = \frac{1}{2}\)). Our main result states that those frames achieve this optimal rate for \(\alpha = \frac{1}{\beta }\), up to \(\log \)-factors.     

Partial regularity and smooth topology-preserving approximations of rough domains

For a bounded domain \(\Omega \subset {\mathbb R}^m, m\ge 2,\) of class \(C^0\), the properties are studied of fields of ‘good directions’, that is the directions with respect to which \(\partial \Omega \) can be locally represented as the graph of a continuous function. For any such domain there is a canonical smooth field of good directions defined in a suitable neighbourhood of \(\partial \Omega \), in terms of which a corresponding flow can be defined. Using this flow it is shown that \(\Omega \) can be approximated from the inside and the outside by diffeomorphic domains of class \(C^\infty \). Whether or not the image of a general continuous field of good directions (pseudonormals) defined on \(\partial \Omega \) is the whole of \(S^{m-1}\) is shown to depend on the topology of \(\Omega \). These considerations are used to prove that if \(m=2,3\), or if \(\Omega \) has nonzero Euler characteristic, there is a point \(P\in \partial \Omega \) in the neighbourhood of which \(\partial \Omega \) is Lipschitz. The results provide new information even for more regular domains, with Lipschitz or smooth boundaries.     

Hölder continuity for continuous solutions of the singular minimal surface equation with arbitrary zero set

In this paper we prove the following theorem: Let \(\Omega \subset \mathbb {R}^{n}\) be a bounded open set, \(\psi \in C_{c}^{2}(\mathbb {R}^{n})\), \(\psi > 0\) on \(\partial \Omega \), be given boundary values and u a nonnegative solution to the problem

$$\begin{aligned}&u \in C^{0}(\overline{\Omega }) \cap C^{2}(\{u> 0\}) \\&u = \psi \quad \text { on } \; \partial \Omega \\&{\text {div}} \left( \frac{Du}{\sqrt{1 + |Du|^{2}}}\right) = \frac{\alpha }{u \sqrt{1 + |Du|^{2}}} \quad \text { in } \; \{u > 0\} \end{aligned}$$

where \(\alpha > 0\) is a given constant. Then \(u \in C^{0, \frac{1}{2}} (\overline{\Omega })\). Furthermore we prove strict mean convexity of the free boundary \(\partial \{u = 0\}\) provided \(\partial \{u = 0\}\) is assumed to be of class \(C^{2}\) and \(\alpha \ge 1\).

     

On some constacyclic codes over $$\mathbb {Z}_{4}\left[ u\right] /\left\langle u^{2}-1\right\rangle $$, their $$\mathbb {Z}_4$$Z4 images,and new codes

In this paper, we study \(\lambda \)-constacyclic codes over the ring \(R=\mathbb {Z}_4+u\mathbb {Z}_4\) where \(u^{2}=1\), for \(\lambda =3+2u\) and \(2+3u\). Two new Gray maps from R to \(\mathbb {Z}_4^{3}\) are defined with the goal of obtaining new linear codes over \(\mathbb {Z}_4\). The Gray images of \(\lambda \)-constacyclic codes over R are determined. We then conducted a computer search and obtained many \(\lambda \)-constacyclic codes over R whose \(\mathbb {Z}_4\)-images have better parameters than currently best-known linear codes over \(\mathbb {Z}_4\).     

Erratum to: Abstract commensurability and quasi-isometry classification of hyperbolic surface group amalgams

A fundamental result by Gromov and Thurston asserts that, if M is a closed hyperbolic n-manifold, then the simplicial volume \(\Vert M\Vert \) of M is equal to \(\mathrm{Vol}(M)/v_n\), where \(v_n\) is a constant depending only on the dimension of M. The same result also holds for complete finite-volume hyperbolic manifolds without boundary, while Jungreis proved that the ratio \(\mathrm{Vol}(M)/\Vert M\Vert \) is strictly smaller than \(v_n\) if M is compact with nonempty geodesic boundary. We prove here a quantitative version of Jungreis’ result for \(n\ge 4\), which bounds from below the ratio \(\Vert M\Vert /\mathrm{Vol}(M)\) in terms of the ratio \(\mathrm{Vol}(\partial M)/\mathrm{Vol}(M)\). As a consequence, we show that, for \(n\ge 4\), a sequence \(\{M_i\}\) of compact hyperbolic n-manifolds with geodesic boundary satisfies \(\lim _i \mathrm{Vol}(M_i)/\Vert M_i\Vert =v_n\) if and only if \(\lim _i \mathrm{Vol}(\partial M_i)/\mathrm{Vol}(M_i)=0\). We also provide estimates of the simplicial volume of hyperbolic manifolds with geodesic boundary in dimension 3.     

On Compactness of Hankel and the $$\overline{\partial }$$-Neumann Operators on Hartogs Domains in $$\mathbb {C}^2$$C2

We prove that on smooth bounded pseudoconvex Hartogs domains in \(\mathbb {C}^2\) compactness of the \(\overline{\partial }\)-Neumann operator is equivalent to compactness of all Hankel operators with symbols smooth on the closure of the domain.     

On the Diophantine equation $$X^{2N}+2^{2\alpha }5^{2\beta }{p}^{2\gamma } = Z^5$$

We prove that for each prime p, positive integer \(\alpha \), and non-negative integers \(\beta \) and \(\gamma \), the Diophantine equation \(X^{2N} + 2^{2\alpha }5^{2\beta }{p}^{2\gamma } = Z^5\) has no solution with N, X, \(Z\in \mathbb {Z}^+\), \(N > 1\), and \(\gcd (X,Z) = 1\).     

Zero varieties for the Nevanlinna class in weakly pseudoconvex domains of maximal type F in $$\mathbb {C}^2$$

Let \(\Omega \) be a bounded, uniformly totally pseudoconvex domain in \(\mathbb {C}^2\) with smooth boundary \(b\Omega \). Assume that \(\Omega \) is a domain admitting a maximal type F. Here, the condition maximal type F generalizes the condition of finite type in the sense of Range (Pac J Math 78(1):173–189, 1978; Scoula Norm Sup Pisa, pp 247–267, 1978) and includes many cases of infinite type. Let \(\alpha \) be a d-closed (1, 1)-form in \(\Omega \). We study the Poincaré–Lelong equation

$$\begin{aligned} i\partial \bar{\partial }u=\alpha \quad \text {on}\, \Omega \end{aligned}$$

in \(L^1(b\Omega )\) norm by applying the \(L^1(b\Omega )\) estimates for \(\bar{\partial }_b\)-equations in [11]. Then, we also obtain a prescribing zero set of Nevanlinna holomorphic functions in \(\Omega \).

     

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.     

Universal Padé approximants and their behaviour on the boundary

There are several kinds of universal Taylor series. In one such kind the universal approximation is required at every boundary point of the domain of definition \({\varOmega }\) of the universal function f. In another kind the universal approximation is not required at any point of \(\partial {\varOmega }\) but in this case the universal function f can be taken smooth on \(\overline{\varOmega }\) and, moreover, it can be approximated by its Taylor partial sums on every compact subset of \(\overline{\varOmega }\). Similar generic phenomena hold when the partial sums of the Taylor expansion of the universal function are replaced by some Padé approximants of it. In the present paper we show that in the case of Padé approximants, if \({\varOmega }\) is an open set and S, T are two subsets of \(\partial {\varOmega }\) that satisfy some conditions, then there exists a universal function \(f\in H({\varOmega })\) which is smooth on \({\varOmega }\cup S\) and has some Padé approximants that approximate f on each compact subset of \({\varOmega }\cup S\) and simultaneously obtain universal approximation on each compact subset of \((\mathbb {C}{\backslash }\overline{\varOmega })\cup T\). A sufficient condition for the above to happen is \(\overline{S}\cap \overline{T}=\emptyset \), while a necessary and sufficient condition is not known.     

$$u\tau $$-convergence in locally solid vector lattices

Let \((x_\alpha )\) be a net in a locally solid vector lattice \((X,\tau )\); we say that \((x_\alpha )\) is unbounded \(\tau \)-convergent to a vector \(x\in X\) if \(|x_\alpha -x |\wedge w \xrightarrow {\tau } 0\) for all \(w\in X_+\). In this paper, we study general properties of unbounded \(\tau \)-convergence (shortly \(u\tau \)-convergence). \(u\tau \)-convergence generalizes unbounded norm convergence and unbounded absolute weak convergence in normed lattices that have been investigated recently. We introduce \(u\tau \)-topology and briefly study metrizability and completeness of this topology.     

Rigidity of Free Boundary Surfaces in Compact 3-Manifolds with Strictly Convex Boundary

In this paper, we obtain an analogue of Toponogov theorem in dimension 3 for compact manifolds \(M^3\) with nonnegative Ricci curvature and strictly convex boundary \(\partial M\). Here we obtain a sharp upper bound for the length \(L(\partial \Sigma )\) of the boundary \(\partial \Sigma \) of a free boundary minimal surface \(\Sigma ^2\) in \(M^3\) in terms of the genus of \(\Sigma \) and the number of connected components of \(\partial \Sigma \), assuming \(\Sigma \) has index one. After, under a natural hypothesis on the geometry of M along \(\partial M\), we prove that if \(L(\partial \Sigma )\) saturates the respective upper bound, then \(M^3\) is isometric to the Euclidean 3-ball and \(\Sigma ^2\) is isometric to the Euclidean disk. In particular, we get a sharp upper bound for the area of \(\Sigma \), when \(M^3\) is a strictly convex body in \(\mathbb {R}^3\), which is saturated only on the Euclidean 3-balls (by the Euclidean disks). We also consider similar results for free boundary stable CMC surfaces.