Optimal lower exponent for the higher gradient integrability of solutions to two-phase elliptic equations in two dimensions

We study the higher gradient integrability of distributional solutions u to the equation \({{\mathrm{div}}}(\sigma \nabla u) = 0\) in dimension two, in the case when the essential range of \(\sigma \) consists of only two elliptic matrices, i.e., \(\sigma \in \{\sigma _1, \sigma _2\}\) a.e. in \(\Omega \). In Nesi et al. (Ann Inst H Poincaré Anal Non Linéaire 31(3):615–638, 2014), for every pair of elliptic matrices \(\sigma _1\) and \(\sigma _2\), exponents \(p_{\sigma _1,\sigma _2}\in (2,+\infty )\) and \(q_{\sigma _1,\sigma _2}\in (1,2)\) have been found so that if \(u\in W^{1,q_{\sigma _1,\sigma _2}}(\Omega )\) is solution to the elliptic equation then \(\nabla u\in L^{p_{\sigma _1,\sigma _2}}_{\mathrm{weak}}(\Omega )\) and the optimality of the upper exponent \(p_{\sigma _1,\sigma _2}\) has been proved. In this paper we complement the above result by proving the optimality of the lower exponent \(q_{\sigma _1,\sigma _2}\). Precisely, we show that for every arbitrarily small \(\delta \), one can find a particular microgeometry, i.e., an arrangement of the sets \(\sigma ^{-1}(\sigma _1)\) and \(\sigma ^{-1}(\sigma _2)\), for which there exists a solution u to the corresponding elliptic equation such that \(\nabla u \in L^{q_{\sigma _1,\sigma _2}-\delta }\), but \(\nabla u \notin L^{q_{\sigma _1,\sigma _2}}\). The existence of such optimal microgeometries is achieved by convex integration methods, adapting to the present setting the geometric constructions provided in Astala et al. (Ann Scuola Norm Sup Pisa Cl Sci 5(7):1–50, 2008) for the isotropic case.     

The Sharp Weighted Bound for Multilinear Maximal Functions and Calderón–Zygmund Operators

We investigate the weighted bounds for multilinear maximal functions and Calderón–Zygmund operators from \(L^{p_1}(w_1)\times \cdots \times L^{p_m}(w_m)\) to \(L^{p}(v_{\vec {w}})\), where \(1<p_1,\cdots ,p_m<\infty \) with \(1/{p_1}+\cdots +1/{p_m}=1/p\) and \(\vec {w}\) is a multiple \(A_{\vec {P}}\) weight. We prove the sharp bound for the multilinear maximal function for all such \(p_1,\ldots , p_m\) and prove the sharp bound for \(m\)-linear Calderón–Zymund operators when \(p\ge 1\).     

Tempered representations of <Emphasis Type="Italic">p</Emphasis>-adic groups: special idempotents and topology

Let \(G=G(k)\) be a connected reductive group over a p-adic field k. The smooth (and tempered) complex representations of G can be considered as the nondegenerate modules over the Hecke algebra \({\mathcal {H}}={\mathcal {H}}(G)\) and the Schwartz algebra \({\mathcal {S}}={\mathcal {S}}(G)\) forming abelian categories \({\mathcal {M}}(G)\) and \({\mathcal {M}}^t(G)\), respectively. Idempotents \(e\in {\mathcal {H}}\) or \({\mathcal {S}}\) define full subcategories \({\mathcal {M}}_e(G)= \{V : {\mathcal {H}}eV=V\}\) and \({\mathcal {M}}_e^t(G)= \{V : {\mathcal {S}}eV=V\}\). Such an e is said to be special (in \({\mathcal {H}}\) or \({\mathcal {S}}\)) if the corresponding subcategory is abelian. Parallel to Bernstein’s result for \(e\in {\mathcal {H}}\) we will prove that, for special \(e \in {\mathcal {S}}\), \({\mathcal {M}}_e^t(G) = \prod _{\Theta \in \theta _e} {\mathcal {M}}^t(\Theta )\) is a finite direct product of component categories \({\mathcal {M}}^t(\Theta )\), now referring to connected components of the center of \({\mathcal {S}}\). A special \(e\in {\mathcal {H}}\) will be also special in \({\mathcal {S}}\), but idempotents \(e\in {\mathcal {H}}\) not being special can become special in \({\mathcal {S}}\). To obtain conditions we consider the sets \(\mathrm{Irr}^t(G) \subset \mathrm{Irr}(G)\) of (tempered) smooth irreducible representations of G, and we view \(\mathrm{Irr}(G)\) as a topological space for the Jacobson topology defined by the algebra \({\mathcal {H}}\). We use this topology to introduce a preorder on the connected components of \(\mathrm{Irr}^t(G)\). Then we prove that, for an idempotent \(e \in {\mathcal {H}}\) which becomes special in \({\mathcal {S}}\), its support \(\theta _e\) must be saturated with respect to that preorder. We further analyze the above decomposition of \({\mathcal {M}}_e^t(G)\) in the case where G is k-split with connected center and where \(e = e_J \in {\mathcal {H}}\) is the Iwahori idempotent. Here we can use work of Kazhdan and Lusztig to relate our preorder on the support \(\theta _{e_J}\) to the reverse of the natural partial order on the unipotent classes in G. We finish by explicitly computing the case \(G=GL_n\), where \(\theta _{e_J}\) identifies with the set of partitions of n. Surprisingly our preorder (which is a partial order now) is strictly coarser than the reverse of the dominance order on partitions.     

Nonlinear $$\ast$$-Lie-type derivations on von Neumann algebras

Let \({\mathcal{H}}\) be a complex Hilbert space, \({\mathcal{B(H)}}\) be the algebra of all bounded linear operators on \({\mathcal{H}}\) and \({\mathcal{A} \subseteq \mathcal{B(H)}}\) be a von Neumann algebra without nonzero central abelian projections. Let \({p_n(x_1,x_2 ,\ldots ,x_n)}\) be the commutator polynomial defined by n indeterminates \({x_1, \ldots , x_n}\) and their skew Lie products. It is shown that a mapping \({\delta \colon \mathcal{A} \longrightarrow \mathcal{B(H)}}\) satisfies

$$\delta(p_n(A_1, A_2 ,\ldots , A_n))=\sum_{k=1}^np_n(A_1 ,\ldots , A_{k-1}, \delta(A_k), A_{k+1} ,\ldots , A_n)$$

for all \({A_1, A_2 ,\ldots , A_n \in \mathcal{A}}\) if and only if \({\delta}\) is an additive *-derivation. This gives a positive answer to Conjecture 4.2 of [14].

     

A Sharp Weak-Type $$(\infty ,\infty )$$ Inequality for the Hilbert Transform

The paper is devoted to sharp weak type \((\infty ,\infty )\) estimates for \({\mathcal {H}}^{\mathbb {T}}\) and \({\mathcal {H}}^{\mathbb {R}}\), the Hilbert transforms on the circle and real line, respectively. Specifically, it is proved that

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {T}}f\right\| _{W({\mathbb {T}})}\le \Vert f\Vert _{L^\infty ({\mathbb {T}})} \end{aligned}$$

and

$$\begin{aligned} \left\| {\mathcal {H}}^{\mathbb {R}}f\right\| _{W({\mathbb {R}})}\le \Vert f\Vert _{L^\infty ({\mathbb {R}})}, \end{aligned}$$

where \(W({\mathbb {T}})\) and \(W({\mathbb {R}})\) stand for the weak-\(L^\infty \) spaces introduced by Bennett, DeVore and Sharpley. In both estimates, the constant \(1\) on the right is shown to be the best possible.

     

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

Why there is no an existence theorem for a convex polytope with prescribed directions and perimeters of the faces?

We choose some special unit vectors \({\mathbf {n}}_1,\ldots ,{\mathbf {n}}_5\) in \({\mathbb {R}}^3\) and denote by \({\mathscr {L}}\subset {\mathbb {R}}^5\) the set of all points \((L_1,\ldots ,L_5)\in {\mathbb {R}}^5\) with the following property: there exists a compact convex polytope \(P\subset {\mathbb {R}}^3\) such that the vectors \({\mathbf {n}}_1,\ldots ,{\mathbf {n}}_5\) (and no other vector) are unit outward normals to the faces of P and the perimeter of the face with the outward normal \({\mathbf {n}}_k\) is equal to \(L_k\) for all \(k=1,\ldots ,5\). Our main result reads that \({\mathscr {L}}\) is not a locally-analytic set, i.e., we prove that, for some point \((L_1,\ldots ,L_5)\in {\mathscr {L}}\), it is not possible to find a neighborhood \(U\subset {\mathbb {R}}^5\) and an analytic set \(A\subset {\mathbb {R}}^5\) such that \({\mathscr {L}}\cap U=A\cap U\). We interpret this result as an obstacle for finding an existence theorem for a compact convex polytope with prescribed directions and perimeters of the faces.     

On the classification of 4-dimensional $$(m,\rho )$$-quasi-Einstein manifolds with harmonic Weyl curvature

In this paper we study four-dimensional \((m,\rho )\)-quasi-Einstein manifolds with harmonic Weyl curvature when \(m\notin \{0,\pm 1,-2,\pm \infty \}\) and \(\rho \notin \{\frac{1}{4},\frac{1}{6}\}\). We prove that a non-trivial \((m,\rho )\)-quasi-Einstein metric g (not necessarily complete) is locally isometric to one of the following: (i) \({\mathcal {B}}^2_\frac{R}{2(m+2)}\times {\mathbb {N}}^2_\frac{R(m+1)}{2(m+2)}\), where \({\mathcal {B}}^2_\frac{R}{2(m+2)}\) is the northern hemisphere in the two-dimensional (2D) sphere \({\mathbb {S}}^2_\frac{R}{2(m+2)}\), \({\mathbb {N}}_\delta \) is a 2D Riemannian manifold with constant curvature \(\delta \), and R is the constant scalar curvature of g. (ii) \({\mathcal {D}}^2_\frac{R}{2(m+2)}\times {\mathbb {N}}^2_\frac{R(m+1)}{2(m+2)}\), where \({\mathcal {D}}^2_\frac{R}{2(m+2)}\) is half (cut by a hyperbolic line) of hyperbolic plane \({\mathbb {H}}^2_\frac{R}{2(m+2)}\). (iii) \({\mathbb {H}}^2_\frac{R}{2(m+2)}\times {\mathbb {N}}^2_\frac{R(m+1)}{2(m+2)}\). (iv) A certain singular metric with \(\rho =0\). (v) A locally conformal flat metric. By applying this local classification, we obtain a classification of the complete \((m,\rho )\)-quasi-Einstein manifolds given the condition of a harmonic Weyl curvature. Our result can be viewed as a local classification of gradient Einstein-type manifolds. A corollary of our result is the classification of \((\lambda ,4+m)\)-Einstein manifolds, which can be viewed as (m, 0)-quasi-Einstein manifolds.     

Interpolation Between $$H^{p(\cdot )}({\mathbb {R}}^n)$$ and $$L^\infty ({\mathbb {R}}^n)$$L∞(Rn): Real Method

Let \(p(\cdot ):\ {\mathbb {R}}^n\rightarrow (0,\infty )\) be a variable exponent function satisfying the globally log-Hölder continuous condition. In this article, the authors first obtain a decomposition for any distribution of the variable weak Hardy space into “good” and “bad” parts and then prove the following real interpolation theorem between the variable Hardy space \(H^{p(\cdot )}({\mathbb {R}}^n)\) and the space \(L^{\infty }({\mathbb {R}}^n)\): \((H^{p(\cdot )}(\mathbb R^n),L^{\infty }({\mathbb {R}}^n))_{\theta ,\infty }= WH^{p(\cdot )/(1-\theta )}({\mathbb {R}}^n),\quad \mathrm{where}~\theta \in (0,1), \mathrm{and}\) \(WH^{p(\cdot )/(1-\theta )}({\mathbb {R}}^n)\) denotes the variable weak Hardy space. As an application, the variable weak Hardy space \(WH^{p(\cdot )}({\mathbb {R}}^n)\) with \(p_-:=\mathop {\text {ess inf}}\limits _{x\in {{{\mathbb {R}}}^n}}p(x)\in (1,\infty )\) is proved to coincide with the variable Lebesgue space \(WL^{p(\cdot )}({\mathbb {R}}^n)\).     

Some Characterizations of Integral Operators Associated with Certain Classes of <Emphasis Type="Italic">p</Emphasis>-Valent Functions Defined by the Srivastava–Saigo–Owa Fractional Differintegral Operator

The purpose of this paper is to introduce new integral operators associated with Srivastava–Saigo–Owa fractional differintegral operator. We investigate some properties for the integral operators \({\mathcal {F}}_{p,\eta ,\mu }^{\lambda ,\delta }(z)\) and \({\mathcal {G}}_{p,\eta ,\mu }^{\lambda ,\delta }(z)\) to be in the classes \({\mathcal {R}}_{k}^{\zeta }\left( p,\rho \right) \) and \({\mathcal {V}}_{k}^{\zeta }\left( p,\rho \right) \).     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

Group divisible designs with large block sizes

For positive integers n, k with \(3\le k\le n\), let \(X=\mathbb {F}_{2^n}\setminus \{0,1\}\), \({\mathcal {G}}=\{\{x,x+1\}:x\in X\}\), and \({\mathcal {B}}_k=\left\{ \{x_1,x_2,\ldots ,x_k\}\!\subset \!X:\sum \limits _{i=1}^kx_i=1,\ \sum \limits _{i\in I}x_i\!\ne \!1\ \mathrm{for\ any}\ \emptyset \!\ne \!I\!\subsetneqq \!\{1,2,\ldots ,k\}\right\} \). Lee et al. used the inclusion–exclusion principle to show that the triple \((X,{\mathcal {G}},{\mathcal {B}}_k)\) is a \((k,\lambda _k)\)-GDD of type \(2^{2^{n-1}-1}\) for \(k\in \{3,4,5,6,7\}\) where \(\lambda _k=\frac{\prod _{i=3}^{k-1}(2^n-2^i)}{(k-2)!}\) (Lee et al. in Des Codes Cryptogr,  https://doi.org/10.1007/s10623-017-0395-8, 2017). They conjectured that \((X,{\mathcal {G}},{\mathcal {B}}_k)\) is also a \((k,\lambda _k)\)-GDD of type \(2^{2^{n-1}-1}\) for any integer \(k\ge 8\). In this paper, we use a similar construction and counting principles to show that there is a \((k,\lambda _k)\)-GDD of type \((q^2-q)^{(q^{n-1}-1)/(q-1)}\) for any prime power q and any integers k, n with \(3\le k\le n\) where \(\lambda _k=\frac{\prod _{i=3}^{k-1}(q^n-q^i)}{(k-2)!}\). Consequently, their conjecture holds. Such a method is also generalized to yield a \((k,\lambda _k)\)-GDD of type \((q^{\ell +1}-q^{\ell })^{(q^{n-\ell }-1)/(q-1)}\) where \(\lambda _k=\frac{\prod _{i=3}^{k-1}(q^n-q^{\ell +i-1})}{(k-2)!}\) and \(k+\ell \le n+1\).     

Global Existence of Heat-Conductive Incompressible Viscous Fluids

In this paper, we consider the Cauchy problem of non-stationary motion of heat-conducting incompressible viscous fluids in \(\mathbb{R}^{2}\), where the viscosity and heat-conductivity coefficient vary with the temperature. It is shown that the Cauchy problem has a unique global-in-time strong solution \((u, \theta)(x,t)\) on \(\mathbb{R}^{2}\times(0,\infty)\), provided the initial norm \(\|\nabla u_{0}\|_{L^{2}}\) is suitably small, or the lower-bound of the coefficient of heat conductivity (i.e. \(\underline{\kappa}\)) is large enough, or the derivative of viscosity (i.e. \(|\mu'(\theta)|\)) is small enough.     

Centralizing traces with automorphisms on triangular algebras

Let \({\mathcal{T}}\) be a triangular algebra over a commutative ring \({\mathcal{R}}\), \({\xi}\) be an automorphism of \({\mathcal{T}}\) and \({\mathcal{Z}_{\xi}(\mathcal{T})}\) be the \({\xi}\)-center of \({\mathcal{T}}\). Suppose that \({\mathfrak{q}\colon \mathcal{T}\times \mathcal{T}\longrightarrow \mathcal{T}}\) is an \({\mathcal{R}}\)-bilinear mapping and that \({\mathfrak{T}_{\mathfrak{q}}\colon \mathcal{T}\longrightarrow \mathcal{T}}\) is a trace of \({\mathfrak{q}}\). The aim of this article is to describe the form of \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the commuting condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}=0}\) (resp. the centralizing condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}\in \mathcal{Z}_\xi(\mathcal{T})}\)) for all \({x\in \mathcal{T}}\). More precisely, we will consider the question of when \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the previous condition has the so-called proper form.     

Homomorphisms of $$\ell ^1$$-Munn algebras and Rees matrix semigroup algebras

Let \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \) be an \(\ell ^1\)-Munn algebra over an arbitrary unital Banach algebra \({\mathcal {A}}\). We characterize homomorphisms from \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \) into an arbitrary Banach algebra \({\mathcal {B}}\) in terms of homomorphisms from \({\mathcal {A}}\) into \({\mathcal {B}}\). Then we discuss homomorphisms from arbitrary Banach algebras into \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \). Existence and uniqueness of homomorphisms under certain conditions are also discussed. We apply these results to the concrete case of \(\ell ^1(S)\) where S is a Rees matrix semigroup, to identify characters of \(\ell ^1(S)\) in both cases where S is with or without zero. As a consequence if the sandwich matrix of S has a zero entry, then \(\ell ^1(S)\) is character amenable.     

Conformal CR Positive Mass Theorem

In this paper, we prove the following version of conformal CR positive mass theorem: Suppose that \((N, J,\theta )\) and \((N, J,\hat{\theta }=e^{2f}\theta )\) are three-dimensional asymptotically flat pseudohermitian manifolds such that their Tanaka-Webster curvatures satisfy \(e^{2f}\hat{R}-R\ge 0.\) Then the p-mass of \((N, J, \theta )\) and \((N, J, \hat{\theta })\) satisfy \( m(J, \hat{\theta })-m(J, \theta )\ge 0, \) and equality holds if and only if \(\hat{\theta }=\theta \). We also prove that the p-mass is independent of the choice of the sequence of coordinates spheres.     

CLT for Random Walks of Commuting Endomorphisms on Compact Abelian Groups

Let \(\mathcal S\) be an abelian group of automorphisms of a probability space \((X, {\mathcal A}, \mu )\) with a finite system of generators \((A_1, \ldots , A_d).\) Let \(A^{{\underline{\ell }}}\) denote \(A_1^{\ell _1} \ldots A_d^{\ell _d}\), for \({{\underline{\ell }}}= (\ell _1, \ldots , \ell _d).\) If \((Z_k)\) is a random walk on \({\mathbb {Z}}^d\), one can study the asymptotic distribution of the sums \(\sum _{k=0}^{n-1} \, f \circ A^{\,{Z_k(\omega )}}\) and \(\sum _{{\underline{\ell }}\in {\mathbb {Z}}^d} {\mathbb {P}}(Z_n= {\underline{\ell }}) \, A^{\underline{\ell }}f\), for a function f on X. In particular, given a random walk on commuting matrices in \(SL(\rho , {\mathbb {Z}})\) or in \({\mathcal M}^*(\rho , {\mathbb {Z}})\) acting on the torus \({\mathbb {T}}^\rho \), \(\rho \ge 1\), what is the asymptotic distribution of the associated ergodic sums along the random walk for a smooth function on \({\mathbb {T}}^\rho \) after normalization? In this paper, we prove a central limit theorem when X is a compact abelian connected group G endowed with its Haar measure (e.g., a torus or a connected extension of a torus), \(\mathcal S\) a totally ergodic d-dimensional group of commuting algebraic automorphisms of G and f a regular function on G. The proof is based on the cumulant method and on preliminary results on random walks.     

Reconstructing Real-Valued Functions from Unsigned Coefficients with Respect to Wavelet and Other Frames

In this paper we consider the following problem of phase retrieval: given a collection of real-valued band-limited functions \(\{\psi _{\lambda }\}_{\lambda \in \Lambda }\subset L^2(\mathbb {R}^d)\) that constitutes a semi-discrete frame, we ask whether any real-valued function \(f \in L^2(\mathbb {R}^d)\) can be uniquely recovered from its unsigned convolutions \({\{|f *\psi _\lambda |\}_{\lambda \in \Lambda }}\). We find that under some mild assumptions on the semi-discrete frame and if f has exponential decay at \(\infty \), it suffices to know \(|f *\psi _\lambda |\) on suitably fine lattices to uniquely determine f (up to a global sign factor). We further establish a local stability property of our reconstruction problem. Finally, for two concrete examples of a (discrete) frame of \(L^2(\mathbb {R}^d)\), \(d=1,2\), we show that through sufficient oversampling one obtains a frame such that any real-valued function with exponential decay can be uniquely recovered from its unsigned frame coefficients.     

Duals of Weighted Exponential Systems

The paper considers the basis and frame properties of the system of weighted exponentials \({\mathcal{E}}(g,\mathbb{Z}\backslash F) = \{e^{2\pi i n x} g(x)\}_{n\in\mathbb{Z}\backslash F}\) in \(L^{2}({\mathbb{T}})\), where \(g \in L^{2}({\mathbb{T}}) \backslash\{0\}\) and F??. It is shown that many of the frame properties of \({\mathcal {E}}(g,\mathbb{Z}\backslash F)\) are affected by the cardinalities of F and the behavior of the zeros of g.     

Conformally Covariant Differential Operators for the Diagonal Action of $$O(p,\,q)$$ on Real Quadrics

Let \(X=G/P\) be a real projective quadric, where \(G=O(p,\,q)\) and P is a parabolic subgroup of G. Let \((\pi _{\lambda ,\epsilon },\, \mathcal H_{\lambda ,\epsilon })_{ (\lambda ,\epsilon )\in {\mathbb {C}}\times \{\pm \}}\) be the family of (smooth) representations of G induced from the characters of P. For \((\lambda ,\, \epsilon ),\, (\mu ,\, \eta )\in {\mathbb {C}}\times \{\pm \},\) a differential operator \(\mathbf D_{(\mu ,\eta )}^\mathrm{reg}\) on \(X\times X,\) acting G-covariantly from \({\mathcal {H}}_{\lambda ,\epsilon } \otimes {\mathcal {H}}_{\mu , \eta }\) into \({\mathcal {H}}_{\lambda +1,-\epsilon } \otimes {\mathcal {H}}_{\mu +1, -\eta }\) is constructed.