Rational Approximation of Functions in Hardy Spaces

Subsequent to our recent work on Fourier spectrum characterization of Hardy spaces \(H^p({\mathbb {R}})\) for the index range \(1\le p\le \infty ,\) in this paper we prove further results on rational Approximation, integral representation and Fourier spectrum characterization of functions for the Hardy spaces \(H^p({\mathbb {R}}), 0 < p\le \infty ,\) with particular interest in the index range \( 0< p \le 1.\) We show that the set of rational functions in \( H^p({\mathbb {C}}_{+1}) \) with the single pole \(-i\) is dense in \( H^p({\mathbb {C}}_{+1}) \) for \(0<p<\infty .\) Secondly, for \(0<p<1\), through rational function approximation we show that any function f in \(L^p({\mathbb {R}})\) can be decomposed into a sum \(g+h\), where g and h are, in the \(L^p({\mathbb {R}})\) convergence sense, the non-tangential boundary limits of functions in, respectively, \( H^p({\mathbb {C}}_{+1})\) and \(H^{p}({\mathbb {C}}_{-1}),\) where \(H^p({\mathbb {C}}_k)\ (k=\pm 1) \) are the Hardy spaces in the half plane \( {\mathbb {C}}_k=\{z=x+iy: ky>0\}\). We give Laplace integral representation formulas for functions in the Hardy spaces \(H^p,\) \(0<p\le 2.\) Besides one in the integral representation formula we give an alternative version of Fourier spectrum characterization for functions in the boundary Hardy spaces \(H^p\) for \(0<p\le 1\).     

Fourier Spectrum Characterizations of $$H^{p}$$ Spaces on Tubes Over Cones for $$1\le p \le \infty $$1≤p≤∞

We give Fourier spectrum characterizations of functions in the Hardy \(H^p\) spaces on tubes for \(1\le p \le \infty .\) For \(F\in L^p(\mathbb {R}^n), \) we show that F is the non-tangential boundary limit of a function in a Hardy space, \(H^{p}(T_\Gamma ),\) where \(\Gamma \) is an open cone of \(\mathbb {R}^n\) and \(T_\Gamma \) is the related tube in \(\mathbb {C}^n,\) if and only if the classical or the distributional Fourier transform of F is supported in \(\Gamma ^*,\) where \(\Gamma ^*\) is the dual cone of \(\Gamma .\) This generalizes the results of Stein and Weiss for \(p=2\) in the same context, as well as those of Qian et al. in one complex variable for \(1\le p\le \infty .\) Furthermore, we extend the Poisson and Cauchy integral representation formulas to the \(H^p\) spaces on tubes for \(p\in [1, \infty ]\) and \(p\in [1,\infty ),\) with, respectively, the two types of representations.     

Weighted Harmonic Bloch Spaces on the Ball

We study the family of weighted harmonic Bloch spaces \(b_\alpha , \alpha \in {\mathbb {R}}\), on the unit ball of \({\mathbb {R}}^n\). We provide characterizations in terms of partial and radial derivatives and certain radial differential operators that are more compatible with reproducing kernels of harmonic Bergman–Besov spaces. We consider a class of integral operators related to harmonic Bergman projection and determine precisely when they are bounded on \(L^\infty _\alpha \). We define projections from \(L^\infty _\alpha \) to \(b_\alpha \) and as a consequence obtain integral representations. We solve the Gleason problem and provide atomic decomposition for all \(b_\alpha , \alpha \in {\mathbb {R}}\). Finally we give an oscillatory characterization of \(b_\alpha \) when \(\alpha >-1\).     

Functional equations for the Stieltjes constants

The Stieltjes constants \(\gamma _k(a)\) appear as the coefficients in the regular part of the Laurent expansion of the Hurwitz zeta function \(\zeta (s,a)\) about \(s=1\). We present the evaluation of \(\gamma _1(a)\) and \(\gamma _2(a)\) at rational arguments, this being of interest to theoretical and computational analytic number theory and elsewhere. We give multiplication formulas for \(\gamma _0(a)\), \(\gamma _1(a)\), and \(\gamma _2(a)\), and point out that these formulas are cases of an addition formula previously presented. We present certain integral evaluations generalizing Gauss’ formula for the digamma function at rational argument. In addition, we give the asymptotic form of \(\gamma _k(a)\) as \(a \rightarrow 0\) as well as a novel technique for evaluating integrals with integrands with \(\ln (-\ln x)\) and rational factors.     

Regulating Hartshorne’s connectedness theorem

The tensor square conjecture states that for \(n \ge 10\), there is an irreducible representation V of the symmetric group \(S_n\) such that \(V \otimes V\) contains every irreducible representation of \(S_n\). Our main result is that for large enough n, there exists an irreducible representation V such that \(V^{\otimes 4}\) contains every irreducible representation. We also show that tensor squares of certain irreducible representations contain \((1-o(1))\)-fraction of irreducible representations with respect to two natural probability distributions. Our main tool is the semigroup property, which allows us to break partitions down into smaller ones.     

Disintegration of positive isometric group representations on $$\varvec{\mathrm {L}^{p}}$$-spaces

Let G be a Polish locally compact group acting on a Polish space \({{X}}\) with a G-invariant probability measure \(\mu \). We factorize the integral with respect to \(\mu \) in terms of the integrals with respect to the ergodic measures on X, and show that \(\mathrm {L}^{p}({{X}},\mu )\) (\(1\le p<\infty \)) is G-equivariantly isometrically lattice isomorphic to an \({\mathrm {L}^p}\)-direct integral of the spaces \(\mathrm {L}^{p}({{X}},\lambda )\), where \(\lambda \) ranges over the ergodic measures on X. This yields a disintegration of the canonical representation of G as isometric lattice automorphisms of \(\mathrm {L}^{p}({{X}},\mu )\) as an \({\mathrm {L}^p}\)-direct integral of order indecomposable representations. If \(({{X}}^\prime ,\mu ^\prime )\) is a probability space, and, for some \(1\le q<\infty \), G acts in a strongly continuous manner on \(\mathrm {L}^{q}({{X}}^\prime ,\mu ^\prime )\) as isometric lattice automorphisms that leave the constants fixed, then G acts on \(\mathrm {L}^{p}({{X}}^{\prime },\mu ^{\prime })\) in a similar fashion for all \(1\le p<\infty \). Moreover, there exists an alternative model in which these representations originate from a continuous action of G on a compact Hausdorff space. If \(({{X}}^\prime ,\mu ^\prime )\) is separable, the representation of G on \(\mathrm {L}^p(X^\prime ,\mu ^\prime )\) can then be disintegrated into order indecomposable representations. The notions of \({\mathrm {L}^p}\)-direct integrals of Banach spaces and representations that are developed extend those in the literature.     

Some remarks on energy inequalities for harmonic maps with potential

We call the \({\delta}\)-vector of an integral convex polytope of dimension d flat if the \({\delta}\)-vector is of the form \({(1,0,\ldots,0,a,\ldots,a,0,\ldots,0)}\), where \({a \geq 1}\). In this paper, we give the complete characterization of possible flat \({\delta}\)-vectors. Moreover, for an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^N}\) of dimension d, we let \({i(\mathcal{P},n)=|n\mathcal{P}\cap \mathbb{Z}^N|}\) and \({i^*(\mathcal{P},n)=|n(\mathcal{P} {\setminus}\partial \mathcal{P})\cap \mathbb{Z}^N|}\). By this characterization, we show that for any \({d \geq 1}\) and for any \({k,\ell \geq 0}\) with \({k+\ell \leq d-1}\), there exist integral convex polytopes \({\mathcal{P}}\) and \({\mathcal{Q}}\) of dimension d such that (i) For \({t=1,\ldots,k}\), we have \({i(\mathcal{P},t)=i(\mathcal{Q},t),}\) (ii) For \({t=1,\ldots,\ell}\), we have \({i^*(\mathcal{P},t)=i^*(\mathcal{Q},t)}\), and (iii) \({i(\mathcal{P},k+1) \neq i(\mathcal{Q},k+1)}\) and \({i^*(\mathcal{P},\ell+1)\neq i^*(\mathcal{Q},\ell+1)}\).     

Locally algebraic vectors in the Breuil–Herzig ordinary part

For a fairly general reductive group \({G_{/\mathbb{Q}_p}}\), we explicitly compute the space of locally algebraic vectors in the Breuil–Herzig construction \({\Pi(\rho)^{ord}}\), for a potentially semistable Borel-valued representation \({\rho}\) of \({Gal(\bar{\mathbb{Q}}_p/\mathbb{Q}_p)}\). The point being we deal with the whole representation, not just its socle—and we go beyond \({GL_n(\mathbb{Q}_p)}\). In the case of \({GL_2(\mathbb{Q}_p)}\), this relation is one of the key properties of the \({p}\)-adic local Langlands correspondence. We give an application to \({p}\)-adic local-global compatibility for \({\Pi(\rho)^{ord}}\) for modular representations, but with no indecomposability assumptions.     

Local theta correspondences between epipelagic supercuspidal representations

In this paper we study the local theta correspondences between epipelagic supercupsidal representations of a type I classical dual pair \((G,G')\) over p-adic fields. We show that, besides an exceptional case, an epipelagic supercupsidal representation \(\pi \) of \({\widetilde{G}}\) lifts to an epipelagic supercupsidal representation \(\pi '\) of \({\widetilde{G}}'\) if and only if the epipelagic data of \(\pi \) and \(\pi '\) are related by the moment maps.     

Pairs of Semisimple Lie Algebras and their Maximal Reductive Subalgebras

Let \(\mathfrak g\) be a semisimple Lie algebra over a field \(\mathbb K\), \(\text{char}\left( \mathbb{K} \right)=0\), and \(\mathfrak g_1\) a subalgebra reductive in \(\mathfrak g\). Suppose that the restriction of the Killing form B of \(\mathfrak g\) to \(\mathfrak g_1 \times \mathfrak g_1\) is nondegenerate. Consider the following statements: ( 1) For any Cartan subalgebra \(\mathfrak h_1\) of \(\mathfrak g_1\) there is a unique Cartan subalgebra \(\mathfrak h\) of \(\mathfrak g\) containing \(\mathfrak h_1\); ( 2) \(\mathfrak g_1\) is self-normalizing in \(\mathfrak g\); ( 3) The B-orthogonal \(\mathfrak p\) of \(\mathfrak g_1\) in \(\mathfrak g\) is simple as a \(\mathfrak g_1\)-module for the adjoint representation. We give some answers to this natural question: For which pairs \((\mathfrak g,\mathfrak g_1)\) do ( 1), ( 2) or ( 3) hold? We also study how \(\mathfrak p\) in general decomposes as a \(\mathfrak g_1\)-module, and when \(\mathfrak g_1\) is a maximal subalgebra of \(\mathfrak g\). In particular suppose \((\mathfrak g,\sigma )\) is a pair with \(\mathfrak g\) as above and σ its automorphism of order m. Assume that \(\mathbb K\) contains a primitive m-th root of unity. Define \(\mathfrak g_1:=\mathfrak g^{\sigma}\), the fixed point algebra for σ. We prove the following generalization of a well known result for symmetric Lie algebras, i.e., for m=2: (a) \((\mathfrak g,\mathfrak g_1)\) satisfies ( 1); (b) For m prime, \((\mathfrak g,\mathfrak g_1)\) satisfies ( 2).     

On some results for a class of meromorphic functions having quasiconformal extension

We consider the class \(\Sigma (p)\) of univalent meromorphic functions f on \({\mathbb D}\) having a simple pole at \(z=p\in [0,1)\) with residue 1. Let \(\Sigma _k(p)\) be the class of functions in \(\Sigma (p)\) which have k-quasiconformal extension to the extended complex plane \({\hat{\mathbb C}}\), where \(0\le k < 1\). We first give a representation formula for functions in this class and using this formula, we derive an asymptotic estimate of the Laurent coefficients for the functions in the class \(\Sigma _k(p)\). Thereafter, we give a sufficient condition for functions in \(\Sigma (p)\) to belong to the class \(\Sigma _k(p).\) Finally, we obtain a sharp distortion result for functions in \(\Sigma (p)\) and as a consequence, we obtain a distortion estimate for functions in \(\Sigma _k(p).\)     

Dilating Covariant Representations of a Semigroup Dynamical System Arising from Number Theory

In Cuntz et al. (Math Ann 355(4):1383–1423, 2013. doi:10.1007/s00208-012-0826-9), studied the \({C^*}\)-algebra \({\mathfrak {T}[R]}\) generated by the left-regular representation of the \({ax + b}\)-semigroup of a number ring R on \({\ell^2(R \rtimes R^\times)}\). They were able to describe it as a universal \({C^*}\)-algebra defined by generators and relations, and show that it has an interesting KMS-structure and that it is functorial for injective ring homomorphisms. In this paper we show that \({\mathfrak {T}[R]}\) can be realized as the \({C^*}\)-envelope of the isometric semicrossed product of a certain semigroup dynamical system \({(\mathcal {A}_R, \alpha, R^\times)}\). We do this by proving that a representation of \({\mathcal {A}_R \times_\alpha^{\rm is}R^\times}\) is maximal if it is also a representation of \({\mathfrak {T}[R]}\). We also show how to explicitly dilate any representation of \({\mathcal {A}_R \times_\alpha^{\rm is}R^\times}\) to a representation of \({\mathfrak {T}[R]}\).     

Integer Decomposition Property of Free Sums of Convex Polytopes

Let \({\mathcal{P} \subset \mathbb{R}^{d}}\) and \({\mathcal{Q} \subset \mathbb{R}^{e}}\) be integral convex polytopes of dimension d and e which contain the origin of \({\mathbb{R}^{d}}\) and \({\mathbb{R}^{e}}\), respectively. We say that an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^{d}}\) possesses the integer decomposition property if, for each \({n\geq1}\) and for each \({\gamma \in n\mathcal{P}\cap\mathbb{Z}^{d}}\), there exist \({\gamma^{(1)}, . . . , \gamma^{(n)}}\) belonging to \({\mathcal{P}\cap\mathbb{Z}^{d}}\) such that \({\gamma = \gamma^{(1)} +. . .+\gamma^{(n)}}\). In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of \({\mathcal{P}}\) and \({\mathcal{Q}}\) to possess the integer decomposition property will be presented.     

Extremal Unital Completely Positive Maps and Their Symmetries

We consider the set \(P_1({\mathcal A},{\mathcal M})\) (respectively \(CP_1({\mathcal A},{\mathcal M})\) of unital positive (completely) maps from a \(C^*\) algebra \({\mathcal A}\) to a von-Neumann sub-algebra \({\mathcal M}\) of \({\mathcal B}({\mathcal H})\), the algebra of bounded linear operators on a Hilbert space \({\mathcal H}\). We study the extreme points of the convex set \(P_1({\mathcal A},{\mathcal M})\) (\(CP_1({\mathcal A},{\mathcal M})\)) via their canonical lifting to the convex set of (unital) positive (completely) normal maps from \(\hat{{\mathcal A}}\) to \({\mathcal M}\), where \({\mathcal A}^{**}\) is the universal enveloping von-Neumann algebra over \({\mathcal A}\). If \({\mathcal A}={\mathcal M}\) then a (completely) positive map \(\tau \) admits a unique decomposition into a sum of a normal and a singular (completely) positive maps. Furthermore, if \({\mathcal M}\) is a factor then a unital complete positive map is a unique convex combination of unital normal and singular completely positive maps. We also used a duality argument to find a criteria for an element in the convex set of unital completely positive maps with a given faithful normal invariant state on \({\mathcal M}\) to be extremal. In our investigation, gauge symmetry in the minimal Stinespring representation of a completely positive map and Kadison theorem on order isomorphism played an important role.     

Reflection positivity on real intervals

We study functions \(f : (a,b) \rightarrow {{\mathbb {R}}}\) on open intervals in \({{\mathbb {R}}}\) with respect to various kinds of positive and negative definiteness conditions. We say that f is positive definite if the kernel \(f\big (\frac{x + y}{2}\big )\) is positive definite. We call f negative definite if, for every \(h > 0\), the function \(e^{-hf}\) is positive definite. Our first main result is a Lévy–Khintchine formula (an integral representation) for negative definite functions on arbitrary intervals. For \((a,b) = (0,\infty )\) it generalizes classical results by Bernstein and Horn. On a symmetric interval \((-a,a)\), we call f reflection positive if it is positive definite and, in addition, the kernel \(f\big (\frac{x - y}{2}\big )\) is positive definite. We likewise define reflection negative functions and obtain a Lévy–Khintchine formula for reflection negative functions on all of \({{\mathbb {R}}}\). Finally, we obtain a characterization of germs of reflection negative functions on 0-neighborhoods in \({{\mathbb {R}}}\).     

Hall Polynomials for Nakayama Algebras

Let \(\mathcal{A}\) be a representation finite algebra over finite field k. In this note we first show that the existence of Hall polynomials for \(\mathcal{A}\) equivalent to the existence of the Hall polynomial \(\varphi^{M}_{N L}\) for each \(M, L \in mod\mathcal{A}\) and \(N\in ind\mathcal{A}\). Then we show that for a basic connected Nakayama algebra \(\mathcal{A}\), \(\mathcal{H}(\mathcal{A})=\mathcal{L}(\mathcal{A})\) and Hall polynomials exist for this algebra. We also provide another proof of the existence of Hall polynomials for the representation directed split algebras.     

Disjunctive programming and relaxations of polyhedra

Given a polyhedron \(L\) with \(h\) facets, whose interior contains no integral points, and a polyhedron \(P\), recent work in integer programming has focused on characterizing the convex hull of \(P\) minus the interior of \(L\). We show that to obtain such a characterization it suffices to consider all relaxations of \(P\) defined by at most \(n(h-1)\) among the inequalities defining \(P\). This extends a result by Andersen, Cornuéjols, and Li.     

Finite representations for two small relation algebras

In this note, we prove that two different finite relation algebras are representable over finite sets. We give an explicit group representation of \(52_{65}\) over \( (\mathbb {Z}/2\mathbb {Z})^{10}\). We also give a representation of \(59_{65}\) over \(\mathbb {Z}/113\mathbb {Z}\) using a technique due to Comer.     

On determination of positive-definiteness for an anisotropic operator

We study the positive-definiteness of a family of \(L^2(\mathbb {R})\) integral operators with kernel \(K_{t, a} (x, y) = \pi ^{-1} (1 + (x - y)^2+ a(x^2 + y^2)^t)^{-1}\), for \(t > 0\) and \(a > 0\). For \(0 < t \le 1\) and \(a > 0\), the known theory of positive-definite kernels and conditionally negative-definite kernels confirms positive-definiteness. For \(t > 1\) and a sufficiently large, the integral operator is not positive-definite. For t not an integer, but with integer odd part, the integral operator is not positive-definite.     

Polynomially linked additive functions—II

We continue the study of additive functions \(f_k:R\rightarrow F \;(1\le k\le n)\) linked by an equation of the form \(\sum _{k=1}^n p_k(x)f_k(q_k(x))=0\), where the \(p_k\) and \(q_k\) are polynomials, R is an integral domain of characteristic 0, and F is the fraction field of R. A method is presented for solving all such equations. We also consider the special case \(\sum _{k=1}^n x^{m_k}f_k(x^{j_k})=0\) in which the \(p_k\) and \(q_k\) are monomials. In this case we show that if there is no duplication, i.e. if \((m_k,j_k)\ne (m_p,j_p)\) for \(k\ne p\), then each \(f_k\) is the sum of a linear function and a derivation of order at most \(n-1\). Furthermore, if this functional equation is not homogeneous then the maximal orders of the derivations are reduced in a specified way.