Source author record

Kristian Seip

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

27works
8topics
4close collaborators

Published work

27 publications

preprint2021arXiv

Idempotent Fourier multipliers acting contractively on HpH^p spaces

We describe the idempotent Fourier multipliers that act contractively on HpH^p spaces of the dd-dimensional torus Td\mathbb{T}^d for d≥1d\geq 1 and 1≤p≤∞1\leq p \leq \infty. When pp is not an even integer, such multipliers are just restrictions of contractive idempotent multipliers on LpL^p spaces, which in turn can be described by suitably combining results of Rudin and Andô. When p=2(n+1)p=2(n+1), with nn a positive integer, contractivity depends in an interesting geometric way on nn, dd, and the dimension of the set of frequencies associated with the multiplier. Our results allow us to construct a linear operator that is densely defined on Hp(T∞)H^p(\mathbb{T}^\infty) for every 1≤p≤∞1 \leq p \leq \infty and that extends to a bounded operator if and only if p=2,4,…,2(n+1)p=2,4,\ldots,2(n+1).

preprint2016arXiv

Gál-type GCD sums beyond the critical line

We prove that ∑k,ℓ=1N(nk,nℓ)2α(nknℓ)α≪N2−2α(log⁡N)b(α) \sum_{k,{\ell}=1}^N\frac{(n_k,n_{\ell})^{2α}}{(n_k n_{\ell})^α} \ll N^{2-2α} (\log N)^{b(α)} holds for arbitrary integers 1≤n1<⋯<nN1\le n_1<\cdots < n_N and 0<α<1/20<α<1/2 and show by an example that this bound is optimal, up to the precise value of the exponent b(α)b(α). This estimate complements recent results for 1/2≤α≤11/2\le α\le 1 and shows that there is no "trace" of the functional equation for the Riemann zeta function in estimates for such GCD sums when 0<α<1/20<α<1/2.

preprint2016arXiv

The multiplicative Hilbert matrix

It is observed that the infinite matrix with entries (mnlog⁡(mn))−1(\sqrt{mn}\log (mn))^{-1} for m,n≥2m, n\ge 2 appears as the matrix of the integral operator Hf(s):=∫1/2+∞f(w)(ζ(w+s)−1)dw\mathbf{H}f(s):=\int_{1/2}^{+\infty}f(w)(ζ(w+s)-1)dw with respect to the basis (n−s)n≥2(n^{-s})_{n\ge 2}; here ζ(s)ζ(s) is the Riemann zeta function and HH is defined on the Hilbert space H02{\mathcal H}^2_0 of Dirichlet series vanishing at +∞+\infty and with square-summable coefficients. This infinite matrix defines a multiplicative Hankel operator according to Helson's terminology or, alternatively, it can be viewed as a bona fide (small) Hankel operator on the infinite-dimensional torus T∞{\Bbb T}^{\infty}. By analogy with the standard integral representation of the classical Hilbert matrix, this matrix is referred to as the multiplicative Hilbert matrix. It is shown that its norm equals ππ and that it has a purely continuous spectrum which is the interval [0,π][0,π]; these results are in agreement with known facts about the classical Hilbert matrix. It is shown that the matrix (m1/pn(p−1)/plog⁡(mn))−1(m^{1/p} n^{(p-1)/p}\log (mn))^{-1} has norm π/sin⁡(π/p)π/\sin(π/p) when acting on ℓp\ell^p for 1<p<∞1<p<\infty. However, the multiplicative Hilbert matrix fails to define a bounded operator on H0p{\mathcal H}^p_0 for p≠2p\neq 2, where H0p{\mathcal H}^p_0 are HpH^p spaces of Dirichlet series. It remains an interesting problem to decide whether the analytic symbol ∑n≥2(log⁡n)−1n−s−1/2\sum_{n\ge 2} (\log n)^{-1} n^{-s-1/2} of the multiplicative Hilbert matrix arises as the Riesz projection of a bounded function on the infinite-dimensional torus T∞{\Bbb T}^\infty.

preprint2015arXiv

An inequality of Hardy--Littlewood type for Dirichlet polynomials

The LqL^q norm of a Dirichlet polynomial F(s)=∑n=1Nann−sF(s)=\sum_{n=1}^{N} a_n n^{-s} is defined as ∥F∥q:=(lim⁡T→∞1T∫0T∣F(it)∣qdt)1/q\| F\|_q:=(\lim_{T\to\infty}\frac{1}{T}\int_{0}^T |F(it)|^qdt)^{1/q} for 0<q<∞0<q<\infty. It is shown that (∑n=1N∣an∣2∣μ(n)∣[d(n)]log⁡qlog⁡2−1)1/2≤∥F∥q (\sum_{n=1}^{N} |a_n|^2|μ(n)|[d(n)]^{\frac{\log q}{\log 2} -1})^{1/2}\le \| F\|_q when 0<q<20<q<2; here μμ is the Möbius function and dd the divisor function. This result is used to prove that the LqL^q norm of DN(s):=∑n=1Nn−1/2−sD_N(s):=\sum_{n=1}^{N} n^{-1/2-s} satisfies ∥DN∥q≫(log⁡N)q/4\|D_N\|_q\gg (\log N)^{q/4} for 0<q<∞0<q<\infty. By Helson's generalization of the M. Riesz theorem on the conjugation operator, the reverse inequality ∥DN∥q≪(log⁡N)q/4\|D_N\|_q \ll (\log N)^{q/4} is shown to be valid in the range 1<q<∞1<q<\infty. Similar bounds are found for a fairly large class of Dirichlet series including, on one of Selberg's conjectures, the Selberg class of LL-functions.

preprint2015arXiv

Approximation numbers of composition operators on HpH^p spaces of Dirichlet series

By a theorem of Bayart, φφ generates a bounded composition operator on the Hardy space $\Hp$of Dirichlet series (1≤p<∞1\le p<\infty) only if φ(s)=c0s+ψ(s)φ(s)=c_0 s+ψ(s), where c0c_0 is a nonnegative integer and ψψ a Dirichlet series with the following mapping properties: ψψ maps the right half-plane into the half-plane $\Real s >1/2$ if c0=0c_0=0 and is either identically zero or maps the right half-plane into itself if c0c_0 is positive. It is shown that the nnth approximation numbers of bounded composition operators on $\Hp$ are bounded below by a constant times rnr^n for some 0<r<10<r<1 when c0=0c_0=0 and bounded below by a constant times n−An^{-A} for some A>0A>0 when c0c_0 is positive. Both results are best possible. Estimates rely on a combination of soft tools from Banach space theory (ss-numbers, type and cotype of Banach spaces, Weyl inequalities, and Schauder bases) and a certain interpolation method for $\Ht$, developed in an earlier paper, using estimates of solutions of the ∂‾\overline{\partial} equation. A transference principle from HpH^p of the unit disc is discussed, leading to explicit examples of compact composition operators on $\Ho$ with approximation numbers decaying at a variety of sub-exponential rates. Finally, a new Littlewood--Paley formula is established, yielding a sufficient condition for a composition operator on $\Hp$ to be compact.

preprint2015arXiv

Helson's problem for sums of a random multiplicative function

We consider the random functions SN(z):=∑n=1Nz(n)S_N(z):=\sum_{n=1}^N z(n) , where z(n)z(n) is the completely multiplicative random function generated by independent Steinhaus variables z(p)z(p). It is shown that E∣SN∣≫N(log⁡N)−0.05616{\Bbb E} |S_N|\gg \sqrt{N}(\log N)^{-0.05616} and that (E∣SN∣q)1/q≫qN(log⁡N)−0.07672({\Bbb E} |S_N|^q)^{1/q}\gg_{q} \sqrt{N}(\log N)^{-0.07672} for all q>0q>0.

preprint2014arXiv

Approximation numbers of composition operators on the H2H^2 space of Dirichlet series

By a theorem of Gordon and Hedenmalm, φφ generates a bounded composition operator on the Hilbert space H2\mathscr{H}^2 of Dirichlet series ∑nbnn−s\sum_n b_n n^{-s} with square-summable coefficients bnb_n if and only if φ(s)=c0s+ψ(s)φ(s)=c_0 s+ψ(s), where c0c_0 is a nonnegative integer and ψψ a Dirichlet series with the following mapping properties: ψψ maps the right half-plane into the half-plane Re⁡s>1/2\operatorname{Re} s >1/2 if c0=0c_0=0 and is either identically zero or maps the right half-plane into itself if c0c_0 is positive. It is shown that the nnth approximation numbers of bounded composition operators on H2\mathscr{H}^2 are bounded below by a constant times rnr^n for some 0<r<10<r<1 when c0=0c_0=0 and bounded below by a constant times n−An^{-A} for some A>0A>0 when c0c_0 is positive. Both results are best possible. The case when c0=0c_0=0, ψψ is bounded and smooth up to the boundary of the right half-plane, and sup⁡Re⁡ψ=1/2\sup \operatorname{Re} ψ=1/2, is discussed in depth; it includes examples of non-compact operators as well as operators belonging to all Schatten classes SpS_p. For φ(s)=c1+∑j=1dcqjqj−sφ(s)=c_1+\sum_{j=1}^d c_{q_j} q_j^{-s} with qjq_j independent integers, it is shown that the nnth approximation number behaves as n−(d−1)/2n^{-(d-1)/2}, possibly up to a factor (log⁡n)(d−1)/2(\log n)^{(d-1)/2}. Estimates rely mainly on a general Hilbert space method involving finite linear combinations of reproducing kernels. A key role is played by a recently developed interpolation method for H2\mathscr{H}^2 using estimates of solutions of the ∂ˉ\bar{\partial} equation. Finally, by a transference principle from H2H^2 of the unit disc, explicit examples of compact composition operators with approximation numbers decaying at essentially any sub-exponential rate can be displayed.

preprint2014arXiv

Convergence of series of dilated functions and spectral norms of GCD matrices

We establish a connection between the L2L^2 norm of sums of dilated functions whose jjth Fourier coefficients are O(j−α)\mathcal{O}(j^{-α}) for some α∈(1/2,1)α\in (1/2,1), and the spectral norms of certain greatest common divisor (GCD) matrices. Utilizing recent bounds for these spectral norms, we obtain sharp conditions for the convergence in L2L^2 and for the almost everywhere convergence of series of dilated functions.

preprint2014arXiv

GCD sums and complete sets of square-free numbers

It is proved that ∑k,ℓ=1Ngcd⁡(nk,nℓ)nknℓ≪Nexp⁡(Clog⁡Nlog⁡log⁡log⁡Nlog⁡log⁡N) \sum_{k,{\ell}=1}^N\frac{\gcd(n_k,n_{\ell})}{\sqrt{n_k n_{\ell}}} \ll N\exp\left(C\sqrt{\frac{\log N \log\log\log N}{\log\log N}}\right) holds for arbitrary integers 1≤n1<⋯<nN1\le n_1<\cdots < n_N. This bound is essentially better than that found in a recent paper of Aistleitner, Berkes, and Seip and can not be improved by more than possibly a power of 1/log⁡log⁡log⁡N1/\sqrt{\log\log\log N}. The proof relies on ideas from classical work of Gál, the method of Aistleitner, Berkes, and Seip, and a certain completeness property of extremal sets of square-free numbers.

preprint2013arXiv

Decay rates for approximation numbers of composition operators

A general method for estimating the approximation numbers of composition operators on $\Ht$, using finite-dimensional model subspaces, is studied and applied in the case when the symbol of the operator maps the unit disc to a domain whose boundary meets the unit circle at just one point. The exact rate of decay of the approximation numbers is identified when this map is sufficiently smooth at the point of tangency; it follows that a composition operator with any prescribed slow decay of its approximation numbers can be explicitly constructed. Similarly, an asymptotic expression for the approximation numbers is found when the mapping has a sharp cusp at the distinguished boundary point. Precise asymptotic estimates in the intermediate cases, including that of maps with a corner at the distinguished boundary point, are also established.

preprint2013arXiv

GCD sums from Poisson integrals and systems of dilated functions

Upper bounds for GCD sums of the form [\sum_{k,{\ell}=1}^N\frac{(\gcd(n_k,n_{\ell}))^{2α}}{(n_k n_{\ell})^α}] are proved, where (nk)1≤k≤N(n_k)_{1 \leq k \leq N} is any sequence of distinct positive integers and 0<α≤10<α\le 1; the estimate for α=1/2α=1/2 solves in particular a problem of Dyer and Harman from 1986, and the estimates are optimal except possibly for α=1/2α=1/2. The method of proof is based on identifying the sum as a certain Poisson integral on a polydisc; as a byproduct, estimates for the largest eigenvalues of the associated GCD matrices are also found. The bounds for such GCD sums are used to establish a Carleson--Hunt-type inequality for systems of dilated functions of bounded variation or belonging to $\lip12$, a result that in turn settles two longstanding problems on the a.e.\ behavior of systems of dilated functions: the a.e. growth of sums of the form ∑k=1Nf(nkx)\sum_{k=1}^N f(n_k x) and the a.e.\ convergence of ∑k=1∞ckf(nkx)\sum_{k=1}^\infty c_k f(n_kx) when ff is 1-periodic and of bounded variation or in $\lip12$.

preprint2012arXiv

Zeros of functions in Hilbert spaces of Dirichlet series

The Dirichlet--Hardy space $\Ht$ consists of those Dirichlet series ∑nann−s\sum_n a_n n^{-s} for which ∑n∣an∣2<∞\sum_n |a_n|^2<\infty. It is shown that the Blaschke condition in the half-plane Re⁡s>1/2\operatorname{Re} s>1/2 is a necessary and sufficient condition for the existence of a nontrivial function ff in $\Ht$ vanishing on a given bounded sequence. The proof implies in fact a stronger result: every function in the Hardy space H2H^2 of the half-plane Re⁡s>1/2\operatorname{Re} s>1/2 can be interpolated by a function in $\Ht$ on such a Blaschke sequence. Analogous results are proved for the Hilbert space $\Da$ of Dirichlet series ∑nann−s\sum_n a_n n^{-s} for which ∑n∣an∣2[d(n)]α<∞\sum_n |a_n|^2[d(n)]^α<\infty; here d(n)d(n) is the divisor function and αα a positive parameter. In this case, the zero sets are related locally to the zeros of functions in weighted Dirichlet spaces of the half-plane Re⁡s>1/2\operatorname{Re} s>1/2. Partial results are then obtained for the zeros of functions in $\Hp$ (LpL^p analogues of $\Ht$) for 2<p<∞2<p<\infty, based on certain contractive embeddings of $\Da$ in $\Hp$.

preprint2011arXiv

A lower bound in Nehari's theorem on the polydisc

By theorems of Ferguson and Lacey (d=2) and Lacey and Terwilleger (d>2), Nehari's theorem is known to hold on the polydisc D^d for d>1, i.e., if H_ψis a bounded Hankel form on H^2(D^d) with analytic symbol ψ, then there is a function ϕin L^\infty(\T^d) such that ψis the Riesz projection of ϕ. A method proposed in Helson's last paper is used to show that the constant C_d in the estimate \|ϕ\|_\infty\le C_d \|H_ψ\| grows at least exponentially with d; it follows that there is no analogue of Nehari's theorem on the infinite-dimensional polydisc.

preprint2011arXiv

Hankel operators on Fock spaces and related Bergman kernel estimates

Hankel operators with anti-holomorphic symbols are studied for a large class of weighted Fock spaces on $\cn$. The weights defining these Hilbert spaces are radial and subject to a mild smoothness condition. In addition, it is assumed that the weights decay at least as fast as the classical Gaussian weight. The main result of the paper says that a Hankel operator on such a Fock space is bounded if and only if the symbol belongs to a certain BMOA space, defined via the Berezin transform. The latter space coincides with a corresponding Bloch space which is defined by means of the Bergman metric. This characterization of boundedness relies on certain precise estimates for the Bergman kernel and the Bergman metric. Characterizations of compact Hankel operators and Schatten class Hankel operators are also given. In the latter case, results on Carleson measures and Toeplitz operators along with Hörmander's L2L^2 estimates for the ∂ˉ\bar{\partial} operator are key ingredients in the proof.

preprint2010arXiv

L∞L^\infty to LpL^p constants for Riesz projections

The norm of the Riesz projection from $L^\infty(\T^n)$ to $L^p(\T^n)$ is considered. It is shown that for n=1n=1, the norm equals 11 if and only if p≤4p\le 4 and that the norm behaves asymptotically as p/(πe)p/(πe) when p→∞p\to \infty. The critical exponent pnp_n is the supremum of those pp for which the norm equals 11. It is proved that 2+2/(2n−1)≤pn<42+2/(2^n-1)\le p_n <4 for n>1n>1; it is unknown whether the critical exponent for n=∞n=\infty exceeds 22.

preprint2010arXiv

Unitary discrete Hilbert transforms

Weighted discrete Hilbert transforms (an)n↦(∑nanvn/(λj−γn))j(a_n)_n \mapsto \big(\sum_n a_n v_n/(λ_j-γ_n)\big)_j from ℓv2\ell^2_v to ℓw2\ell^2_w are considered, where Γ=(γn)Γ=(γ_n) and Λ=(λj)Λ=(λ_j) are disjoint sequences of points in the complex plane and v=(vn)v=(v_n) and w=(wj)w=(w_j) are positive weight sequences. It is shown that if such a Hilbert transform is unitary, then Γ∪ΛΓ\cupΛ is a subset of a circle or a straight line, and a description of all unitary discrete Hilbert transforms is then given. A characterization of the orthogonal bases of reproducing kernels introduced by L. de Branges and D. Clark is implicit in these results: If a Hilbert space of complex-valued functions defined on a subset of $\CC$ satisfies a few basic axioms and has more than one orthogonal basis of reproducing kernels, then these bases are all of Clark's type.

preprint2009arXiv

Discrete Hilbert transforms on sparse sequences

Weighted discrete Hilbert transforms (an)n↦∑nanvn/(z−γn)(a_n)_n \mapsto \sum_n a_n v_n/(z-γ_n) from ℓv2\ell^2_v to a weighted L2L^2 space are studied, with Γ=(γn)Γ=(γ_n) a sequence of distinct points in the complex plane and v=(vn)v=(v_n) a corresponding sequence of positive numbers. In the special case when ∣γn∣|γ_n| grows at least exponentially, bounded transforms of this kind are described in terms of a simple relative to the Muckenhoupt (A2)(A_2) condition. The special case when zz is restricted to another sequence ΛΛ is studied in detail; it is shown that a bounded transform satisfying a certain admissibility condition can be split into finitely many surjective transforms, and precise geometric conditions are found for invertibility of such two weight transforms. These results can be interpreted as statements about systems of reproducing kernels in certain Hilbert spaces of which de Branges spaces and model subspaces of H2H^2 are prime examples. In particular, a connection to the Feichtinger conjecture is pointed out. Descriptions of Carleson measures and Riesz bases of normalized reproducing kernels for certain "small" de Branges spaces follow from the results of this paper.

preprint2009arXiv

The Bohnenblust--Hille inequality for homogeneous polynomials is hypercontractive

The Bohnenblust--Hille inequality says that the ℓ2mm+1\ell^{\frac{2m}{m+1}}-norm of the coefficients of an mm-homogeneous polynomial PP on $\C^n$ is bounded by ∥P∥∞\| P\|_\infty times a constant independent of nn, where ∥⋅∥∞\|\cdot \|_\infty denotes the supremum norm on the polydisc $\D^n$. The main result of this paper is that this inequality is hypercontractive, i.e., the constant can be taken to be CmC^m for some C>1C>1. Combining this improved version of the Bohnenblust--Hille inequality with other results, we obtain the following: The Bohr radius for the polydisc $\D^n$ behaves asymptotically as (log⁡n)/n\sqrt{(\log n)/n} modulo a factor bounded away from 0 and infinity, and the Sidon constant for the set of frequencies {log⁡n:na positive integer≤N}\bigl\{\log n: n \text{a positive integer} \le N\bigr\} is Nexp⁡{(−1/2+o(1))log⁡Nlog⁡log⁡N}\sqrt{N}\exp\{(-1/\sqrt{2}+o(1))\sqrt{\log N\log\log N}\} as N→∞N\to \infty.

preprint2007arXiv

Integral means and boundary limits of Dirichlet series

We study the boundary behavior of functions in the Hardy spaces HD^p for ordinary Dirichlet series. Our main result, answering a question of H. Hedenmalm, shows that the classical F. Carlson theorem on integral means does not extend to the imaginary axis for functions in HD^\infty, i.e., for ordinary Dirichlet series in H^\infty of the right half-plane. We discuss an important embedding problem for HD^p, the solution of which is only known when p is an even integer. Viewing HD^p as Hardy spaces of the infinite-dimensional polydisc, we also present analogues of Fatou's theorem.

preprint2006arXiv

Local interpolation in Hilbert spaces of Dirichlet series

We denote by $\Hp$ the Hilbert space of ordinary Dirichlet series with square-summable coefficients. The main result is that a bounded sequence of points in the half-plane σ>1/2σ>1/2 is an interpolating sequence for $\Hp$ if and only if it is an interpolating sequence for the Hardy space H2H^2 of the same half-plane. Similar local results are obtained for Hilbert spaces of ordinary Dirichlet series that relate to Bergman and Dirichlet spaces of the half-plane σ>1/2σ>1/2.

preprint1995arXiv

A Hilbert space of Dirichlet series and systems of dilated functions in L2(0,1)L^2(0,1)

For a function φφ in L2(0,1)L^2(0,1), extended to the whole real line as an odd periodic function of period 2, we ask when the collection of dilates φ(nx)φ(nx), n=1,2,3,…n=1,2,3,\ldots, constitutes a Riesz basis or a complete sequence in L2(0,1)L^2(0,1). The problem translates into a question concerning multipliers and cyclic vectors in the Hilbert space H\cal H of Dirichlet series f(s)=∑nann−sf(s)=\sum_n a_nn^{-s}, where the coefficients ana_n are square summable. It proves useful to model H\cal H as the H2H^2 space of the infinite-dimensional polydisk, or, which is the same, the H2H^2 space of the character space, where a character is a multiplicative homomorphism from the positive integers to the unit circle. For given ff in H\cal H and characters χχ, fχ(s)=∑nanχ(n)n−sf_χ(s)=\sum_na_nχ(n)n^{-s} is a vertical limit function of ff. We study certain probabilistic properties of these vertical limit functions.

preprint1995arXiv

Complete interpolating sequences for Paley-Wiener spaces and Muckenhoupt's (Ap)(A_p) condition

We describe the complete interpolating sequences for the Paley-Wiener spaces LπpL^p_π (1<p<∞1<p<\infty) in terms of Muckenhoupt's (Ap)(A_p) condition. For p=2p=2, this description coincides with those given by Pavlov (1979), Nikol'skii (1980), and Minkin (1992) of the unconditional bases of complex exponentials in L2(−π,π)L^2(-π,π). While the techniques of these authors are linked to the Hilbert space geometry of Lπ2L^2_π, our method of proof is based on turning the problem into one about boundedness of the Hilbert transform in certain weighted LpL^p spaces of functions and sequences.

preprint1992arXiv

Density theorems for sampling and interpolation in the Bargmann-Fock space

We give a complete description of sampling and interpolation in the Bargmann-Fock space, based on a density concept of Beurling. Roughly speaking, a discrete set is a set of sampling if and only if its density in every part of the plane is strictly larger than that of the von Neumann lattice, and similarly, a discrete set is a set of interpolation if and only if its density in every part of the plane is strictly smaller than that of the von Neumann lattice.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.