Diagonalization of the Finite Hilbert Transform on Two Adjacent Intervals

We continue the study of stability of solving the interior problem of tomography. The starting point is the Gelfand–Graev formula, which converts the tomographic data into the finite Hilbert transform (FHT) of an unknown function f along a collection of lines. Pick one such line, call it the x-axis, and assume that the function to be reconstructed depends on a one-dimensional argument by restricting f to the x-axis. Let \(I_1\) be the interval where f is supported, and \(I_2\) be the interval where the Hilbert transform of f can be computed using the Gelfand–Graev formula. The equation to be solved is \(\left. {\mathcal {H}}_1 f=g\right| _{I_2}\), where \({\mathcal {H}}_1\) is the FHT that integrates over \(I_1\) and gives the result on \(I_2\), i.e. \({\mathcal {H}}_1: L^2(I_1)\rightarrow L^2(I_2)\). In the case of complete data, \(I_1\subset I_2\), and the classical FHT inversion formula reconstructs f in a stable fashion. In the case of interior problem (i.e., when the tomographic data are truncated), \(I_1\) is no longer a subset of \(I_2\), and the inversion problems becomes severely unstable. By using a differential operator L that commutes with \({\mathcal {H}}_1\), one can obtain the singular value decomposition of \({\mathcal {H}}_1\). Then the rate of decay of singular values of \({\mathcal {H}}_1\) is the measure of instability of finding f. Depending on the available tomographic data, different relative positions of the intervals \(I_{1,2}\) are possible. The cases when \(I_1\) and \(I_2\) are at a positive distance from each other or when they overlap have been investigated already. It was shown that in both cases the spectrum of the operator \({\mathcal {H}}_1^*{\mathcal {H}}_1\) is discrete, and the asymptotics of its eigenvalues \(\sigma _n\) as \(n\rightarrow \infty \) has been obtained. In this paper we consider the case when the intervals \(I_1=(a_1,0)\) and \(I_2=(0,a_2)\) are adjacent. Here \(a_1 < 0 < a_2\). Using recent developments in the Titchmarsh–Weyl theory, we show that the operator L corresponding to two touching intervals has only continuous spectrum and obtain two isometric transformations \(U_1\), \(U_2\), such that \(U_2{\mathcal {H}}_1 U_1^*\) is the multiplication operator with the function \(\sigma (\lambda )\), \(\lambda \ge (a_1^2+a_2^2)/8\). Here \(\lambda \) is the spectral parameter. Then we show that \(\sigma (\lambda )\rightarrow 0\) as \(\lambda \rightarrow \infty \) exponentially fast. This implies that the problem of finding f is severely ill-posed. We also obtain the leading asymptotic behavior of the kernels involved in the integral operators \(U_1\), \(U_2\) as \(\lambda \rightarrow \infty \). When the intervals are symmetric, i.e. \(-a_1=a_2\), the operators \(U_1\), \(U_2\) are obtained explicitly in terms of hypergeometric functions.     

Chasing non-diagonal cycles in a certain system of algebras of operations

The \(\mod 2\) universal Steenrod algebra \(Q\) is a non-locally finite homogeneous quadratic algebra closely related to the ordinary \(\mod 2\) Steenrod algebra and the Lambda algebra. The algebra \(Q\) provides an example of a Koszul algebra which is a direct limit of a family of certain non-Koszul algebras \(R_k\)’s. In this paper we see how far the several \(R_k\)’s are to be Koszul by chasing in their cohomology non-trivial cocycles of minimal homological degree.     

Complete classification of pseudo <Emphasis Type="Italic">H</Emphasis>-type Lie algebras: I

Let \({\mathscr {N}}\) be a 2-step nilpotent Lie algebra endowed with a non-degenerate scalar product \(\langle .\,,.\rangle \), and let \({\mathscr {N}}=V\oplus _{\perp }Z\), where Z is the centre of the Lie algebra and V its orthogonal complement. We study classification of the Lie algebras for which the space V arises as a representation space of the Clifford algebra \({{\mathrm{{\mathrm{Cl}}}}}({\mathbb {R}}^{r,s})\), and the representation map \(J:{{\mathrm{{\mathrm{Cl}}}}}({\mathbb {R}}^{r,s})\rightarrow {{\mathrm{End}}}(V)\) is related to the Lie algebra structure by \(\langle J_zv,w\rangle =\langle z,[v,w]\rangle \) for all \(z\in {\mathbb {R}}^{r,s}\) and \(v,w\in V\). The classification depends on parameters r and s and is completed for the Clifford modules V having minimal possible dimension, that are not necessary irreducible. We find necessary conditions for the existence of a Lie algebra isomorphism according to the range of the integer parameters \(0\le r,s<\infty \). We present a constructive proof for the isomorphism maps for isomorphic Lie algebras and determine the class of non-isomorphic Lie algebras.     

On Borcherds type Lie algebras

For each even lattice \({\mathcal L}\), there is a canonical way to construct an infinite-dimensional Lie algebra via lattice vertex operator algebra theory, we call this Lie algebra and its subalgebras the Borcherds type Lie algebras associated to \({\mathcal L}\). In this paper, we apply this construction to even lattices arising from representation theory of finite-dimensional associative algebras. This is motivated by the different realizations of Kac-Moody algebras by Borcherds using lattice vertex operators and by Peng-Xiao using Ringel-Hall algebras respectively. For any finite-dimensional algebra \(A\) of finite global dimension, we associate a Borcherds type Lie algebra \(\mathfrak {BL}(A)\) to \(A\). In contrast to the Ringel-Hall Lie algebra approach, \(\mathfrak {BL}(A)\) only depends on the symmetric Euler form or Tits form but not the full representation theory of \(A\). However, our results show that for certain classes of finite-dimensional algebras whose representation theory is ’controlled’ by the Euler bilinear forms or Tits forms, their Borcherds type Lie algebras do have close relations with the representation theory of these algebras. Beyond the class of hereditary algebras, these algebras include canonical algebras, representation-directed algebras and incidence algebras of finite prinjective types.     

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.     

Simultaneous power factorization in modules over Banach algebras

Let A be a Banach algebra with a bounded left approximate identity \(\{e_\lambda \}_{\lambda \in \Lambda }\), let \(\pi \) be a continuous representation of A on a Banach space X, and let S be a non-empty subset of X such that \(\lim _{\lambda }\pi (e_\lambda )s=s\) uniformly on S. If S is bounded, or if \(\{e_\lambda \}_{\lambda \in \Lambda }\) is commutative, then we show that there exist \(a\in A\) and maps \(x_n: S\rightarrow X\) for \(n\ge 1\) such that \(s=\pi (a^n)x_n(s)\) for all \(n\ge 1\) and \(s\in S\). The properties of \(a\in A\) and the maps \(x_n\), as produced by the constructive proof, are studied in some detail. The results generalize previous simultaneous factorization theorems as well as Allan and Sinclair’s power factorization theorem. In an ordered context, we also consider the existence of a positive factorization for a subset of the positive cone of an ordered Banach space that is a positive module over an ordered Banach algebra with a positive bounded left approximate identity. Such factorizations are not always possible. In certain cases, including those for positive modules over ordered Banach algebras of bounded functions, such positive factorizations exist, but the general picture is still unclear. Furthermore, simultaneous pointwise power factorizations for sets of bounded maps with values in a Banach module (such as sets of bounded convergent nets) are obtained. A worked example for the left regular representation of \(\mathrm {C}_0({\mathbb R})\) and unbounded S is included.     

The Sobolev Stability Threshold for 2D Shear Flows Near Couette

We consider the 2D Navier–Stokes equation on \(\mathbb T \times \mathbb R\), with initial datum that is \(\varepsilon \)-close in \(H^N\) to a shear flow (U(y), 0), where \(\Vert U(y) - y\Vert _{H^{N+4}} \ll 1\) and \(N>1\). We prove that if \(\varepsilon \ll \nu ^{1/2}\), where \(\nu \) denotes the inverse Reynolds number, then the solution of the Navier–Stokes equation remains \(\varepsilon \)-close in \(H^1\) to \((e^{t \nu \partial _{yy}}U(y),0)\) for all \(t>0\). Moreover, the solution converges to a decaying shear flow for times \(t \gg \nu ^{-1/3}\) by a mixing-enhanced dissipation effect, and experiences a transient growth of gradients. In particular, this shows that the stability threshold in finite regularity scales no worse than \(\nu ^{1/2}\) for 2D shear flows close to the Couette flow.     

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.     

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\).     

Linear Independence of Time-Frequency Translates in $$\mathbb {R}^d$$

We establish the linear independence of time-frequency translates for functions \(f\) on \(\mathbb {R}^d\) having one-sided decay \(\lim _{x \in H,\ |x|\rightarrow \infty } |f(x)| e^{c|x| \log |x|} = 0\) for all \(c>0\), which do not vanish on an affine half-space \(H \subset \mathbb {R}^d\).     

Peano curves with smooth footprints

We construct Peano curves \(\gamma : [0,\infty ) \rightarrow \mathbb {R}^2\) whose “footprints” \(\gamma ([0,t])\), \(t>0\), have \(C^\infty \) boundaries and are tangent to a common continuous line field on the punctured plane \(\mathbb {R}^2 {\backslash }\{\gamma (0)\}\). Moreover, these boundaries can be taken \(C^\infty \)-close to any prescribed smooth family of nested smooth Jordan curves contracting to a point.     

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.     

Every synaptic algebra has the monotone square root property

A synaptic algebra is a common generalization of several ordered algebraic structures based on algebras of self-adjoint operators, including the self-adjoint part of an AW\(^{*}\)-algebra. In this paper we prove that a synaptic algebra A has the monotone square root property, i.e., if \(0\le a,b\in A\), then \(a\le b \Rightarrow a^{1/2}\le b^{1/2}\).     

Dimensions of irreducible modules for partition algebras and tensor power multiplicities for symmetric and alternating groups

The partition algebra \(\mathsf {P}_k(n)\) and the symmetric group \(\mathsf {S}_n\) are in Schur–Weyl duality on the k-fold tensor power \(\mathsf {M}_n^{\otimes k}\) of the permutation module \(\mathsf {M}_n\) of \(\mathsf {S}_n\), so there is a surjection \(\mathsf {P}_k(n) \rightarrow \mathsf {Z}_k(n) := \mathsf {End}_{\mathsf {S}_n}(\mathsf {M}_n^{\otimes k})\), which is an isomorphism when \(n \ge 2k\). We prove a dimension formula for the irreducible modules of the centralizer algebra \(\mathsf {Z}_k(n)\) in terms of Stirling numbers of the second kind. Via Schur–Weyl duality, these dimensions equal the multiplicities of the irreducible \(\mathsf {S}_n\)-modules in \(\mathsf {M}_n^{\otimes k}\). Our dimension expressions hold for any \(n \ge 1\) and \(k\ge 0\). Our methods are based on an analog of Frobenius reciprocity that we show holds for the centralizer algebras of arbitrary finite groups and their subgroups acting on a finite-dimensional module. This enables us to generalize the above result to various analogs of the partition algebra including the centralizer algebra for the alternating group acting on \(\mathsf {M}_n^{\otimes k}\) and the quasi-partition algebra corresponding to tensor powers of the reflection representation of \(\mathsf {S}_n\).     

On limit theorems for Banach-space-valued linear processes

Let \( {\left( {{\epsilon_i}} \right)_{i \in \mathbb{Z}}} \) be i.i.d. random elements in a separable Banach space \( \mathbb{E} \), and let \( \mathop {\left( {{a_i}} \right)}\nolimits_{i \in \mathbb{Z}} \) be continuous linear operators from \( \mathbb{E} \) to a Banach space \( \mathbb{F} \) such that \( \sum\nolimits_{i \in \mathbb{Z}} {\left\| {{a_i}} \right\|} \) is finite. We prove that the linear process \( \mathop {\left( {{X_n}} \right)}\nolimits_{n \in \mathbb{Z}} \) defined by \( {X_n}: = \sum\nolimits_{i \in \mathbb{Z}} {{a_i}} \left( {{\epsilon_{n - i}}} \right) \) inherits from \( \mathop {\left( {{\epsilon_i}} \right)}\nolimits_{i \in \mathbb{Z}} \) the central limit theorem and functional central limit theorems in various Banach spaces of \( \mathbb{F} \)-valued functions, including Hölder spaces.     

The ranks of certain semigroups of partial isometries

Let \(I_{n}\) be the symmetric inverse semigroup on \(X_{n}=\{1,\ldots ,n\}\), and let \(DP_{n}\) and \(ODP_{n}\) be its subsemigroups of partial isometries and of order-preserving partial isometries on \(X_{n}\) under its natural order, respectively. In this paper we find the ranks of the subsemigroups \(DP_{n,r}=\{ \alpha \in DP_{n}:|\mathrm {im\, }(\alpha )|\le r\}\) and \(ODP_{n,r}=\{ \alpha \in ODP_{n}: |\mathrm {im\, }(\alpha )|\le r\}\) for \(2\le r\le n-1\).     

Closed range and nonclosed range adjointable operators on Hilbert $$C^*$$-modules

In this paper, we show that for a positive operator A on a Hilbert \(C^*\)-module \( \mathscr {E} \), the range \( \mathscr {R}(A) \) of A is closed if and only if \( \mathscr {R}(A^\alpha ) \) is closed for all \(\alpha \in (0,1)\cup (1,+\,\infty )\), and this occurs if and only if \( \mathscr {R}(A)=\mathscr {R}(A^\alpha ) \) for all \(\alpha \in (0,1)\cup (1,+\,\infty )\). As an application, we prove that for an adjontable operator A if \(\mathscr {R}(A)\) is nonclosed, then \(\dim \left( \overline{\mathscr {R}(A)}/\mathscr {R}(A)\right) =+\,\infty \). Finally, we show that for an adjointable operator A if \( \overline{\mathscr {R}(A^*) } \) is orthogonally complemented in \( \mathscr {E} \), then under certain coditions there exists an idempotent C and a unique operator X such that \( XAX=X, AXA=CA, AX=C \) and \( XA=P_{A^*} \), where \( P_{A^*} \) is the orthogonal projection of \( \mathscr {E} \) onto \( \overline{\mathscr {R}(A^*)}\).     

Meromorphic tensor equivalence for Yangians and quantum loop algebras

Let \(\mathfrak{g}\) be a complex semisimple Lie algebra, and \(Y_{\hbar }(\mathfrak{g})\), \(U_{q}(L\mathfrak{g})\) the corresponding Yangian and quantum loop algebra, with deformation parameters related by \(q=e^{\pi \iota \hbar }\). When \(\hbar \) is not a rational number, we constructed in Gautam and Toledano Laredo (J. Am. Math. Soc. 29:775, 2016) a faithful functor \(\Gamma \) from the category of finite-dimensional representations of \(Y_{\hbar }(\mathfrak{g})\) to those of \(U_{q}(L \mathfrak{g})\). The functor \(\Gamma \) is governed by the additive difference equations defined by the commuting fields of the Yangian, and restricts to an equivalence on a subcategory of \(\operatorname{Rep}_{\operatorname{fd}}(Y_{\hbar }(\mathfrak{g}))\) defined by choosing a branch of the logarithm. In this paper, we construct a tensor structure on \(\Gamma \) and show that, if \(|q|\neq 1\), it yields an equivalence of meromorphic braided tensor categories, when \(Y_{\hbar }(\mathfrak{g})\) and \(U_{q}(L\mathfrak{g})\) are endowed with the deformed Drinfeld coproducts and the commutative part of their universal \(R\)-matrices. This proves in particular the Kohno–Drinfeld theorem for the abelian \(q\)KZ equations defined by \(Y_{\hbar }(\mathfrak{g})\). The tensor structure arises from the abelian \(q\)KZ equations defined by an appropriate regularisation of the commutative part of the \(R\)-matrix of \(Y_{\hbar }(\mathfrak{g})\).     

Brownian Paths Homogeneously Distributed in Space: Percolation Phase Transition and Uniqueness of the Unbounded Cluster

We consider a continuum percolation model on \(\mathbb {R}^d\), \(d\ge 1\). For \(t,\lambda \in (0,\infty )\) and \(d\in \{1,2,3\}\), the occupied set is given by the union of independent Brownian paths running up to time t whose initial points form a Poisson point process with intensity \(\lambda >0\). When \(d\ge 4\), the Brownian paths are replaced by Wiener sausages with radius \(r>0\). We establish that, for \(d=1\) and all choices of t, no percolation occurs, whereas for \(d\ge 2\), there is a non-trivial percolation transition in t, provided \(\lambda \) and r are chosen properly. The last statement means that \(\lambda \) has to be chosen to be strictly smaller than the critical percolation parameter for the occupied set at time zero (which is infinite when \(d\in \{2,3\}\), but finite and dependent on r when \(d\ge 4\)). We further show that for all \(d\ge 2\), the unbounded cluster in the supercritical phase is unique. Along the way a finite box criterion for non-percolation in the Boolean model is extended to radius distributions with an exponential tail. This may be of independent interest. The present paper settles the basic properties of the model and should be viewed as a springboard for finer results.