An official website of the United States government
Abstract Beginning with the work of Landau, Pollak and Slepian in the 1960s on time‐band limiting, commuting pairs of integral and differential operators have played a key role in signal processing, random matrix theory, and integrable systems. Previously, such pairs were constructed by ad hoc methods, which essentially worked because a commuting operator of low order could be found by a direct calculation. We describe a general approach to these problems that proves that every pointWof Wilson's infinite dimensional adelic Grassmannian gives rise to an integral operator , acting on for a contour , which reflects a differential operator with rational coefficients in the sense that on a dense subset of . By using analytic methods and methods from integrable systems, we show that the reflected differential operator can be constructed from the Fourier algebra of the associated bispectral function . The exact size of this algebra with respect to a bifiltration is in turn determined using algebro‐geometric methods. Intrinsic properties of four involutions of the adelic Grassmannian naturally lead us to consider the reflecting property above in place of plain commutativity. Furthermore, we prove that the time‐band limited operators of the generalized Laplace transforms with kernels given by the rank one bispectral functions always reflect a differential operator. A 90° rotation argument is used to prove that the time‐band limited operators of the generalized Fourier transforms with kernels admit a commuting differential operator. These methods produce vast collections of integral operators with prolate‐spheroidal properties, associated to the wave functions of all rational solutions of the KP hierarchy vanishing at infinity, introduced by Krichever in the late 1970s.
more »
« less
Integral operators, bispectrality and growth of Fourier algebras
Abstract In the mid 1980s it was conjectured that every bispectral meromorphic function {\psi(x,y)} gives rise to an integral operator {K_{\psi}(x,y)} which possesses a commuting differential operator.This has been verified by a direct computation for several families of functions {\psi(x,y)} where the commuting differential operator is oforder {\leq 6} . We prove a general version of this conjecture for all self-adjoint bispectral functions of rank 1and all self-adjoint bispectral Darboux transformations of the rank 2 Bessel and Airy functions.The method is based on a theorem giving an exact estimate of the second- and first-order terms ofthe growth of the Fourier algebra of each such bispectral function. From it we obtaina sharp upper bound on the order of the commuting differential operator for theintegral kernel {K_{\psi}(x,y)} leading to a fast algorithmic procedurefor constructing the differential operator; unlike the previous examples its order is arbitrarily high.We prove that the above classes of bispectral functions are parametrized by infinite-dimensionalGrassmannians which are the Lagrangian loci of the Wilson adelic Grassmannian and its analogsin rank 2.
more »
« less
- Award ID(s):
- 1901830
- PAR ID:
- 10154966
- Date Published:
- Journal Name:
- Journal für die reine und angewandte Mathematik (Crelles Journal)
- Volume:
- 0
- Issue:
- 0
- ISSN:
- 0075-4102
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Commuting integral and differential operators connect the topics of signal processing, random matrix theory, and integrable systems. Previously, the construction of such pairs was based on direct calculation and concerned concrete special cases, leaving behind important families such as the operators associated to the rational solutions of the Korteweg–de Vries (KdV) equation. We prove a general theorem that the integral operator associated to every wave function in the infinite-dimensional adelic Grassmannian G r a d of Wilson always reflects a differential operator (in the sense of Definition 1 below). This intrinsic property is shown to follow from the symmetries of Grassmannians of Kadomtsev–Petviashvili (KP) wave functions, where the direct commutativity property holds for operators associated to wave functions fixed by Wilson’s sign involution but is violated in general. Based on this result, we prove a second main theorem that the integral operators in the computation of the singular values of the truncated generalized Laplace transforms associated to all bispectral wave functions of rank 1 reflect a differential operator. A 9 0 ○ rotation argument is used to prove a third main theorem that the integral operators in the computation of the singular values of the truncated generalized Fourier transforms associated to all such KP wave functions commute with a differential operator. These methods produce vast collections of integral operators with prolate-spheroidal properties, including as special cases the integral operators associated to all rational solutions of the KdV and KP hierarchies considered by [Airault, McKean, and Moser, Commun. Pure Appl. Math. 30, 95–148 (1977)] and [Krichever, Funkcional. Anal. i Priložen. 12, 76–78 (1978)], respectively, in the late 1970s. Many examples are presented.more » « less
-
Let f: {0, 1}n → {0, 1} be a boolean function, and let f∧(x, y) = f(x ∧ y) denote the AND-function of f, where x ∧ y denotes bit-wise AND. We study the deterministic communication complexity of f∧ and show that, up to a logn factor, it is bounded by a polynomial in the logarithm of the real rank of the communication matrix of f∧. This comes within a logn factor of establishing the log-rank conjecture for AND-functions with no assumptions on f. Our result stands in contrast with previous results on special cases of the log-rank conjecture, which needed significant restrictions on f such as monotonicity or low F2-degree. Our techniques can also be used to prove (within a logn factor) a lifting theorem for AND-functions, stating that the deterministic communication complexity of f∧ is polynomially related to the AND-decision tree complexity of f. The results rely on a new structural result regarding boolean functions f: {0, 1}n → {0, 1} with a sparse polynomial representation, which may be of independent interest. We show that if the polynomial computing f has few monomials then the set system of the monomials has a small hitting set, of size poly-logarithmic in its sparsity. We also establish extensions of this result to multi-linear polynomials f: {0, 1}n → with a larger range.more » « less
-
We reformulate all general real coupled self-adjoint boundary value problems as integral operators and show that they are all finite rank perturbations of the free space Green’s function on the real line. This free space Green’s function corresponds to the nonlocal boundary value problem proposed earlier by Saito [Appl. Comput. Harmon. Anal. 25, 68–97 (2008)]. We prove these perturbations to be polynomials of rank up to 4. They encapsulate in a fundamental way the corresponding boundary conditions.more » « less
-
We study the mapping properties of the X-ray transform and its adjoint on spaces of conormal functions on Riemannian manifolds with strictly convex boundary. After desingularizing the double fibration, and expressing the X-ray transform and its adjoint using b-fibrations operations, we employ tools related to Melrose’s pushforward theorem to describe the mapping properties of these operators on various classes of polyhomogeneous functions, with special focus to computing how leading order coefficients are transformed. The appendix explains that a naive use of the pushforward theorem leads to a suboptimal result with non-sharp index sets. Our improved results are obtained by closely inspecting Mellin functions which arise in the process, showing that certain coefficients vanish. This recovers some sharp results known by other methods. A number of consequences for the mapping properties of the X-ray transform and its normal operator(s) follow.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1515/crelle-2019-0031
