Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

On Absolute Continuity of the Spectrum of a 3D Periodic Magnetic Dirac Operator

Absolute continuity of the spectrum of a 3D periodic magnetic Dirac operator is proved provided that the magnetic potential A belongs to the space \({H^q_{\mathrm{loc}},q >1 }\) , and the matrix potential \({\widehat V\in L^3_{\mathrm {loc}}}\) is represented in the form \({\widehat V=\widehat V_0+\widehat V_1}\) , where \({\widehat V_0}\) commutes and \({\widehat V_1}\) anticommutes with the Dirac matrices \({\widehat \alpha _j, j = 1, 2, 3}\) .     

Generators for Rings of Compactly Supported Distributions

Let \({{\tt C}}\) denote a closed convex cone in \({\mathbb R^d}\) with apex at 0. We denote by \({\mathcal E'({\tt C})}\) the set of distributions on \({\mathbb R^d}\) having compact support contained in \({{\tt C}}\). Then \({\mathcal E'({\tt C})}\) is a ring with the usual addition and with convolution. We give a necessary and sufficient analytic condition on \({\widehat{f}_1,\dots, \widehat{f}_n}\) for \({f_1,\dots ,f_n \in \mathcal E'({\tt C})}\) to generate the ring \({\mathcal E'({\tt C})}\). (Here \({\widehat{\;\cdot\;}}\) denotes Fourier-Laplace transformation.) This result is an application of a general result on rings of analytic functions of several variables by Lars Hörmander. En route we answer an open question posed by Yutaka Yamamoto.     

Orthogonal Polynomials for Modified Chebyshev Measure of the First Kind

Given numbers \({n,s \in \mathbb{N}}\), \({n \geq 2}\), and the \({n}\)th-degree monic Chebyshev polynomial of the first kind \({\widehat T_n(x)}\), the polynomial system “induced” by \({\widehat T_n(x)}\) is the system of orthogonal polynomials \({\{p_{k}^{n,s} \}}\) corresponding to the modified measure \({d \sigma^{n,s}(x)=\widehat T^{2s}_n(x) d\sigma(x)}\), where \({d\sigma(x)=1/\sqrt{1-x^{2}}dx}\) is the Chebyshev measure of the first kind. Here we are concerned with the problem of determining the coefficients in the three-term recurrence relation for the polynomials \({p^{n,s}_{k}}\). The desired coefficients are obtained analytically in a closed form.     

Continuity of the first eigenvalue for a family of degenerate eigenvalue problems

For each \({\alpha\in[0,2)}\) we consider the eigenvalue problem \({-{\rm div}(|x|^\alpha \nabla u)=\lambda u}\) in a bounded domain \({\Omega\subset \mathbb{R}^N}\) (\({N\geq 2}\)) with smooth boundary and \({0\in \Omega}\) subject to the homogeneous Dirichlet boundary condition. Denote by \({\lambda_1(\alpha)}\) the first eigenvalue of this problem. Using \({\Gamma}\)-convergence arguments we prove the continuity of the function \({\lambda_1}\) with respect to \({\alpha}\) on the interval \({[0,2)}\).     

Infra-nilmanifolds modeled on the group of uni-triangular matrices

Let \({\mathcal {N}}_m\) be the group of \(m\times m\) upper triangular real matrices with all the diagonal entries 1. Then it is an \((m-1)\)-step nilpotent Lie group, diffeomorphic to \({\mathbb {R}}^{\frac{1}{2} m(m-1)}\). It contains all the integer matrices as a lattice \(\Gamma _m\). The automorphism group of \({\mathcal {N}}_m \ (m\ge 4)\) turns out to be extremely small. In fact, \(\mathrm {Aut}({\mathcal {N}})=\mathcal {I} \rtimes \mathrm {Out}({\mathcal {N}})\), where \(\mathcal {I}\) is a connected, simply connected nilpotent Lie group, and \(\mathrm {Out}({\mathcal {N}})={{\tilde{K}}}={(\mathbb {R}^*)^{m-1}\rtimes \mathbb {Z}_2}\). With a nice left-invariant Riemannian metric on \({\mathcal {N}}\), the isometry group is \(\mathrm {Isom}({\mathcal {N}})= {\mathcal {N}} \rtimes K\), where \(K={(\mathbb {Z}_2)^{m-1}\rtimes \mathbb {Z}_2}\subset {{\tilde{K}}}\) is a maximal compact subgroup of \(\mathrm {Aut}({\mathcal {N}})\). We prove that, for odd \(m\ge 4\), there is no infra-nilmanifold which is essentially covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\). For \(m=2n\ge 4\) (even), there is a unique infra-nilmanifold which is essentially (and doubly) covered by the nilmanifold \(\Gamma _m\backslash {\mathcal {N}}_m\).     

Nonparametric signal detection with small type I and type II error probabilities

In the problem of signal detection in the heteroscedastic Gaussian white noise we show asymptotic minimaxity of kernel-based tests. The test statistics equal L ₂- norms of kernel estimators. The sets of alternatives are defined by the sets of all signals such that L ₂- norms of signals smoothed by the kernel exceed some constants \({\rho_\epsilon}\) . The constants \({\rho_\epsilon}\) depend on the power \({\epsilon}\) of noise and \({\rho_\epsilon \to 0}\) as \({\epsilon \to 0}\) . The setup is considered in the zone of moderate deviation probabilities. We suppose that type I or type II error probabilities of tests tend to zero as \({\epsilon \to 0}\).     

Szegő kernels and Poincaré series

Let \(M = {{\widetilde M} \mathord{\left/ {\vphantom {{\widetilde M} \Gamma }} \right. \kern-\nulldelimiterspace} \Gamma }\) be a Kähler manifold, where Γ ~ π₁(M) and \(\widetilde M\) is the universal Kähler cover. Let (L, h) → M be a positive hermitian holomorphic line bundle. We first prove that the L² Szeg? projector \({\widetilde \Pi _N}\) for L²-holomorphic sections on the lifted bundle \({\widetilde L^N}\) is related to the Szeg? projector for H⁰(M, L^N) by \({\widehat \Pi _N}\left( {x,y} \right) = \sum\nolimits_{\gamma \in \Gamma } {{{\widetilde {\widehat \Pi }}_N}} \left( {\gamma \cdot x,y} \right)\). We then apply this result to give a simple proof of Napier’s theorem on the holomorphic convexity of \(\widetilde M\) with respect to \({\widetilde L^N}\) and to surjectivity of Poincaré series.     

On generalized Hyers-Ulam stability of additive mapings on restricted domains of Banach spaces

Let \({(G,\cdot)}\) be a group (not necessarily Abelian) with unit \({e}\) and \({E}\) be a Banach space. In this paper, we show that there exist \({\alpha(p) > 0}\) for any \({0 < p < 1}\) and \({\beta(p,\varepsilon),\gamma(p,\varepsilon) > 0}\) for any \({0 < \varepsilon < \alpha(p)}\), such that for any surjective map \({f: G\rightarrow E}\) satisfying \({\big|\|f(x) + f(y)\|-\|f(xy) \|\big|\leq\varepsilon \|f(x)+f(y)\|^p}\) for all \({x,y\in G}\), there is a unique additive \({T:G\rightarrow E}\) such that \({\|f(x)-T(x)\|\leq\gamma(p,\varepsilon)\|f(x)\|^p}\) for all \({x\in G}\) satisfying \({\|f(x)\|\geq\beta(p,\varepsilon)}\). Moreover, we have \({\lim_{\varepsilon\rightharpoonup 0}\frac{\gamma(p,\varepsilon)}{\varepsilon} < \infty.}\)     

On complete sequences

A sequence A of nonnegative integers is called complete if all sufficiently large integers can be represented as the sum of distinct terms taken form A. For a sequence \({S=\{s_{1}, s_{2}, \dots\}}\) of positive integers and a positive real number α, let S _α denote the sequence \({\{\lfloor\alpha s_{1}\rfloor, \lfloor\alpha s_{2}\rfloor, \dots\}}\), where \({\lfloor x \rfloor}\) denotes the greatest integer not greater than x. Let \({{U_S = \{\alpha \mid S_\alpha} \, is complete\}}\). Hegyvári [6] proved that if \({\lim_{n\to\infty} (s_{n+1}-s_{n})=+ \infty}\), \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma < 2}\), and \({U_{S}\ne\emptyset}\), then \({\mu(U_{S}) > 0}\), where \({\mu(U_{S})}\) is the Lebesgue measure of U _S . Yong-Gao Chen and the first author [4] proved that, if \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma \leqq 7/4=1.75}\), then \({\mu(U_{S}) > 0}\). In this paper, we prove that the conclusion holds for \({1 < \gamma \leqq \sqrt[4]{13}=1.898\dots\;}\).     

Virtual Bound Levels in a Gap of the Essential Spectrum of the Weakly Perturbed Periodic Schrödinger Operator

In the space \({L_{2}(\mathbf{R}^{d}) (d \le 3)}\) we consider the Schrödinger operator \({H_{\gamma}=-{\Delta}+ V(\mathbf{x})\cdot+\gamma W(\mathbf{x})\cdot}\), where \({V(\mathbf{x})=V(x_{1}, x_{2}, \dots, x_{d})}\) is a periodic function with respect to all the variables, \({\gamma}\) is a small real coupling constant and the perturbation \({W(\mathbf{x})}\) tends to zero sufficiently fast as \({|\mathbf{x}|\rightarrow\infty}\). We study so called virtual bound levels of the operator \({H_\gamma}\), i.e., those eigenvalues of \({H_\gamma}\) which are born at the moment \({\gamma=0}\) in a gap \({(\lambda_-,\,\lambda_+)}\) of the spectrum of the unperturbed operator \({H_0=-\Delta+ V(\mathbf{x})\cdot}\) from an edge of this gap while \({\gamma}\) increases or decreases. We assume that the dispersion function of H₀, branching from an edge of \({(\lambda_-,\lambda_+)}\), is non-degenerate in the Morse sense at its extremal set. For a definite perturbation \({(W(\mathbf{x})\ge 0)}\) we show that if d ≤ 2, then in the gap there exist virtual eigenvalues which are born from this edge. We investigate their number and an asymptotic behavior of them and of the corresponding eigenfunctions as \({\gamma\rightarrow 0}\). For an indefinite perturbation we estimate the multiplicity of virtual bound levels. In particular, we show that if d = 3 and both edges of the gap \({(\lambda_-,\,\lambda_+)}\) are non-degenerate, then under additional conditions there is a threshold for the birth of the impurity spectrum in the gap, i.e., \({\sigma(H_\gamma)\cap(\lambda_-,\,\lambda_+)=\emptyset}\) for a small enough \({|\gamma|}\).     

Gauge functions,Eikonal equations and Bôcher’s theorem on stratified Lie groups

Let \({\mathcal{L} = \sum_{i=1}^m X_i^2}\) be a real sub-Laplacian on a Carnot group \({\mathbb{G}}\) and denote by \({\nabla_\mathcal{L} = (X_1,\ldots,X_m)}\) the intrinsic gradient related to \({\mathcal{L}}\). Our aim in this present paper is to analyze some features of the \({\mathcal{L}}\)-gauge functions on \({\mathbb{G}}\), i.e., the homogeneous functions d such that \({\mathcal{L}(d^\gamma) = 0}\) in \({\mathbb{G} \setminus \{0\}}\) , for some \({\gamma \in \mathbb{R} \setminus \{0\}}\). We consider the relation of \({\mathcal{L}}\)-gauge functions with: the \({\mathcal{L}}\)-Eikonal equation \({|\nabla_\mathcal{L} u| = 1}\) in \({\mathbb{G}}\); the Mean Value Formulas for the \({\mathcal{L}}\)-harmonic functions; the fundamental solution for \({\mathcal{L}}\); the Bôcher-type theorems for nonnegative \({\mathcal{L}}\)-harmonic functions in “punctured” open sets \({\dot \Omega:= \Omega \setminus \{x_0\}}\).     

Ground states of a nonlinear curl-curl problem in cylindrically symmetric media

We consider the nonlinear curl-curl problem \({\nabla\times\nabla\times U + V(x) U= \Gamma(x)|U|^{p-1}U}\) in \({\mathbb{R}^3}\) related to the Kerr nonlinear Maxwell equations for fully localized monochromatic fields. We search for solutions as minimizers (ground states) of the corresponding energy functional defined on subspaces (defocusing case) or natural constraints (focusing case) of \({H({\rm curl};\mathbb{R}^3)}\). Under a cylindrical symmetry assumption corresponding to a photonic fiber geometry on the functions V and \({\Gamma}\) the variational problem can be posed in a symmetric subspace of \({H({\rm curl};\mathbb{R}^3)}\). For a defocusing case \({{\rm sup} \Gamma < 0}\) with large negative values of \({\Gamma}\) at infinity we obtain ground states by the direct minimization method. For the focusing case \({{\rm inf} \Gamma > 0}\) the concentration compactness principle produces ground states under the assumption that zero lies outside the spectrum of the linear operator \({\nabla \times \nabla \times +V(x)}\). Examples of cylindrically symmetric functions V are provided for which this holds.     

Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

Rectifiability of harmonic measure

In the present paper we prove that for any open connected set \({\Omega\subset\mathbb{R}^{n+1}}\), \({n\geq 1}\), and any \({E\subset \partial \Omega}\) with \({\mathcal{H}^n(E)<\infty}\), absolute continuity of the harmonic measure \({\omega}\) with respect to the Hausdorff measure on E implies that \({\omega|_E}\) is rectifiable. This solves an open problem on harmonic measure which turns out to be an old conjecture even in the planar case \({n=1}\).     

Partial permutation decoding for binary linear and $$Z_4$$-linear Hadamard codes

In this paper, s-\({\text {PD}}\)-sets of minimum size \(s+1\) for partial permutation decoding for the binary linear Hadamard code \(H_m\) of length \(2^m\), for all \(m\ge 4\) and \(2 \le s \le \lfloor {\frac{2^m}{1+m}}\rfloor -1\), are constructed. Moreover, recursive constructions to obtain s-\({\text {PD}}\)-sets of size \(l\ge s+1\) for \(H_{m+1}\) of length \(2^{m+1}\), from an s-\({\text {PD}}\)-set of the same size for \(H_m\), are also described. These results are generalized to find s-\({\text {PD}}\)-sets for the \({\mathbb {Z}}_4\)-linear Hadamard codes \(H_{\gamma , \delta }\) of length \(2^m\), \(m=\gamma +2\delta -1\), which are binary Hadamard codes (not necessarily linear) obtained as the Gray map image of quaternary linear codes of type \(2^\gamma 4^\delta \). Specifically, s-PD-sets of minimum size \(s+1\) for \(H_{\gamma , \delta }\), for all \(\delta \ge 3\) and \(2\le s \le \lfloor {\frac{2^{2\delta -2}}{\delta }}\rfloor -1\), are constructed and recursive constructions are described.     

On von Neumann regular elements in <Emphasis Type="Italic">f</Emphasis>-rings

Let B be an Archimedean reduced f-ring. A positive element \({\omega}\) in B is said to satisfy the property \({(\ast)}\) if for every f-ring A with identity e and every \({\ell}\)-group homomorphism \({\gamma : A \rightarrow B}\) with \({\gamma(e) = \omega}\), there exists a unique \({\ell}\)-ring homomorphism \({\rho: B \rightarrow B}\) such that \({\gamma = \omega \rho}\) and \({\rho(e)^{\perp \perp} = \omega^{\perp \perp}}\). Boulabiar and Hager proved that any (positive) von Neumann regular element in B satisfies the property \({(\ast)}\) and proved that the converse holds in the C(X)-case. In this regard, they asked about this converse in the general case. Our main purpose in this note is to prove, via a counter-example, that the converse in question fails in general. In addition, we shall take the opportunity to extend the direct result obtained by Boulabiar and Hager, and to get the C(X)-case we were talking about in an easier way.     

Endomorphism rings of some Young modules

Let \({\Sigma_r}\) be the symmetric group acting on \({r}\) letters, \({K}\) be a field of characteristic 2, and \({\lambda}\) and \({\mu}\) be partitions of \({r}\) in at most two parts. Denote the permutation module corresponding to the Young subgroup \({\Sigma_\lambda}\), in \({\Sigma_r}\), by \({M^\lambda}\), and the indecomposable Young module by \({Y^\mu}\). We give an explicit presentation of the endomorphism algebra \({{\rm End}_{k[\Sigma_r]}(Y^\mu)}\) using the idempotents found by Doty et al. (J Algebra 307(1):377–396, 2007).     

{\mathbb{Z}_2}-bordism and the Borsuk–Ulam Theorem

The purpose of this work is to classify, for given integers \({m,\, n\geq 1}\), the bordism class of a closed smooth \({m}\)-manifold \({X^m}\) with a free smooth involution \({\tau}\) with respect to the validity of the Borsuk–Ulam property that for every continuous map \({\phi : X^m \to \mathbb{R}^n}\) there exists a point \({x\in X^m}\) such that \({\phi (x)=\phi (\tau (x))}\). We will classify a given free \({\mathbb{Z}_2}\)-bordism class \({\alpha}\) according to the three possible cases that (a) all representatives \({(X^m, \tau)}\) of \({\alpha}\) satisfy the Borsuk–Ulam property; (b) there are representatives \({({X_{1}^{m}}, \tau_1)}\) and \({({X_{2}^{m}}, \tau_2)}\) of \({\alpha}\) such that \({({X_{1}^{m}}, \tau_1)}\) satisfies the Borsuk–Ulam property but \({({X_{2}^{m}}, \tau_2)}\) does not; (c) no representative \({(X^m, \tau)}\) of \({\alpha}\) satisfies the Borsuk–Ulam property.     

A Generalization of Stenger’s Lemma to Maximal Dissipative Operators

It is shown that for any maximal dissipative operator A in some Hilbert space \({\mathcal H}\) , which is the orthogonal sum \({\mathcal H=\mathcal F\oplus \mathcal G}\) of two Hilbert spaces \({\mathcal F,\, \mathcal G}\) with \({{\rm dim}\,\mathcal G < \infty}\) , the compression \({\left. T:=P_\mathcal F\,A\right|_{{\rm dom}\,A\cap\mathcal F}}\) of A to \({\mathcal F}\) is again a maximal dissipative operator in \({\mathcal F}\) .