Cholesky decompositions of integral operators and the Fredholm determinant

Niels Lundtorp Olsen

2024-10-22

Abstract:The Cholesky decomposition is a popular way of decomposing positive definite matrices; in particular it leads to a simple formula for computing the determinant. We present and proof an equivalent formula for computing the Fredholm determinant of a positive definite integral operator on $L^2 [0, 1]$.

Functional Analysis,Operator Algebras

What problem does this paper attempt to address?

The product formula for regularized Fredholm determinants: two new proofs

Nikolaos Koutsonikos-Kouloumpis,Matthias Lesch

2022-02-26

Abstract:For an $m$-summable operator $A$ in a separable Hilbert space the higher regularized Fredholm determinant $\det\nolimits_m(I+A)$ generalizes the classical Fredholm determinant. Recently, Britz et al presented a proof of a product formula \[ \det\nolimits_m\bigl( (I+A)\cdot(I+B) \bigr) = \det\nolimits_m (I+A) \cdot \det\nolimits_m (I+B) \cdot \exp\operatorname{Tr}\bigl({X_m(A,B)}\bigr), \] where $X_m(A,B)$ is an explicit polynomial in $A,B$ with values in the trace class operators. If $m=1$ then $X_1(A,B)=0$, hence the formula generalizes the classical determinant product formula. One of the purposes of this note is to present two very simple alternative proofs of the formula. The first proof is a priori analytic and makes use of the fact that $z\mapsto \det\nolimits_m(I+zA)$ is holomorphic, while the second proof is completely algebraic. The algebraic proof has, in our opinion, some interesting aspects in its own about the trace and commutators. Secondly, we extend the above mentioned formula to several factors \[ \det\nolimits_m\Bigl( \prod_{l=1}^r (I+A_l) \Bigr) =\left( \prod_{l=1}^r \det\nolimits_m (I+A_l) \right) \cdot \exp\operatorname{Tr}\bigl({X_{m,r}(A_r,\ldots,A_r)}\bigr). \] The latter is more than just a straightforward generalization as we will gain more insights into the combinatorics behind it. Also we will present an algebraized version of the analytic proof in the language of formal power series. The upshot is that the two identities are just combinatorial in nature.

Spectral Theory,Functional Analysis
A Riemann-Hilbert approach to Fredholm determinants of Hankel composition operators: scalar-valued kernels

Thomas Bothner

2023-09-13

Abstract:We characterize Fredholm determinants of a class of Hankel composition operators via matrix-valued Riemann-Hilbert problems, for additive and multiplicative compositions. The scalar-valued kernels of the underlying integral operators are not assumed to display the integrable structure known from the seminal work of Its, Izergin, Korepin and Slavnov \cite{IIKS}. Yet we are able to describe the corresponding Fredholm determinants through a naturally associated Riemann-Hilbert problem of Zakharov-Shabat type by solely exploiting the kernels' Hankel composition structures. We showcase the efficiency of this approach through a series of examples, we then compute several rank one perturbed determinants in terms of Riemann-Hilbert data and finally derive Akhiezer-Kac asymptotic theorems for suitable kernel classes.

Mathematical Physics,Classical Analysis and ODEs,Exactly Solvable and Integrable Systems
Determinants for integral forms in lattice type vertex operator algebras

Chongying Dong,Robert L. Griess

DOI: https://doi.org/10.1016/j.jalgebra.2019.09.006

IF: 0.908

2020-09-01

Journal of Algebra

Abstract:We prove a determinant formula for the standard integral form of a lattice vertex operator algebra.

mathematics
Factorization of positive-semidefinite operators with absolutely summable entries

Radu Balan,Fushuai Jiang

2024-09-30

Abstract:A problem by Feichtinger, Heil, and Larson asks whether a positive-definite integral operator with $M_1$ kernel admits a symmetric rank-one decomposition which is strongly square-summable with respect to the $M_1$ norm. In conjunction with a concurrent result by Bandeira-Mixon-Steinerberger, we provide a negative answer to the problem and study special cases where such factorization is possible. We also discuss an application of the results to the semidefinite relaxation of a quadratic program.

Functional Analysis,Classical Analysis and ODEs
Large Scale Electronic Structure Calculations with Multigrid Acceleration

E. L. Briggs,D. J. Sullivan,J. Bernholc

DOI: https://doi.org/10.1103/PhysRevB.52.R5471

1995-06-22

Abstract:We have developed a set of techniques for performing large scale ab initio calculations using multigrid accelerations and a real-space grid as a basis. The multigrid methods permit efficient calculations on ill-conditioned systems with long length scales or high energy cutoffs. The technique has been applied to systems containing up to 100 atoms, including a highly elongated diamond cell, an isolated C$_{60}$ molecule, and a 32-atom cell of GaN with the Ga d-states in valence. The method is well suited for implementation on both vector and massively parallel architectures.

Materials Science
Fredholm complements of upper triangular operator matrices

Qiu, Sinan

DOI: https://doi.org/10.1007/s43037-024-00340-2

2024-04-13

Banach Journal of Mathematical Analysis

Abstract:For a given operator pair , we denote by the operator acting on a complex infinite dimensional separable Hilbert space of the form . This paper focuses on the Fredholm complement problems of . Namely, via the operator pair ( A , B ), we look for an operator such that is Fredholm of finite ascent with nonzero nullity. As an application, we initiate the concept of the property ( C ) as a variant of Weyl's theorem. At last, the stability of property ( C ) for upper triangular operator matrices is investigated by the virtue of the so-called entanglement spectra of the operator pair ( A , B ).

mathematics, applied
From the Choi Formalism in Infinite Dimensions to Unique Decompositions of Generators of Completely Positive Dynamical Semigroups

Frederik vom Ende

DOI: https://doi.org/10.1142/S0219025724500115

2024-08-21

Abstract:Given any separable complex Hilbert space, any trace-class operator $B$ which does not have purely imaginary trace, and any generator $L$ of a norm-continuous one-parameter semigroup of completely positive maps we prove that there exists a unique bounded operator $K$ and a unique completely positive map $\Phi$ such that (i) $L=K(\cdot)+(\cdot)K^*+\Phi$, (ii) the superoperator $\Phi(B^*(\cdot)B)$ is trace class and has vanishing trace, and (iii) ${\rm tr}(B^*K)$ is a real number. Central to our proof is a modified version of the Choi formalism which relates completely positive maps to positive semi-definite operators. We characterize when this correspondence is injective and surjective, respectively, which in turn explains why the proof idea of our main result cannot extend to non-separable Hilbert spaces. In particular, we find examples of positive semi-definite operators which have empty pre-image under the Choi formalism as soon as the underlying Hilbert space is infinite-dimensional.

Functional Analysis,Mathematical Physics,Quantum Physics
Integrable Fredholm Operators and Dual Isomonodromic Deformations

J. Harnad,Alexander R. Its

DOI: https://doi.org/10.1007/s002200200614

IF: 2.361

2002-04-01

Communications in Mathematical Physics

Abstract:Abstract: The Fredholm determinants of a special class of integrable integral operators K supported on the union of m curve segments in the complex λ-plane are shown to be the τ-functions of an isomonodromic family of meromorphic covariant derivative operators \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}\end{document}, having regular singular points at the 2m endpoints of the curve segments, and a singular point of Poincaré index 1 at infinity. The rank r of the corresponding vector bundle over the Riemann sphere equals the number of distinct terms in the exponential sum defining the numerator of the integral kernel. The matrix Riemann–Hilbert problem method is used to deduce an identification of the Fredholm determinant as a τ-function in the sense of Segal–Wilson and Sato, i.e., in terms of abelian group actions onthe determinant line bundle over a loop space Grassmannian. An associated dual isomonodromic family of covariant derivative operators \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}\end{document}, having rank n= 2m, and r finite regular singular points located at the values of the exponents defining the kernel of K is derived. The deformation equations for this family are shown to follow from an associated dual set of Riemann–Hilbert data, in which the rôles of the r exponential factors in the kernel and the 2m endpoints of its support are interchanged. The operators \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}\end{document} are analogously associated to an integral operator \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}\end{document} whose Fredholm determinant is equal to that of K.

physics, mathematical
Fredholm properties of a class of coupled operator matrices and their applications

Jing Xu,Junjie Huang,Alatancang Chen

DOI: https://doi.org/10.1007/s43034-024-00318-z

IF: 0.993

2024-01-19

Annals of Functional Analysis

Abstract:This paper deals with Fredholm properties of the one-sided coupled operator matrix by means of generalized Schur factorization and the associated space decompositions. For some sufficient conditions are given for to be Fredholm (resp. left or right Fredholm), and these conclusions are further used to determine the essential spectra of a delay equation and a wave equation with acoustic boundary conditions.

mathematics, applied
A Hilbert-Schmidt integral operator and the Weil distribution

Xian-Jin Li

2024-04-21

Abstract:In this paper, a positive operator is given. It is shown that the product of this positive operator and the convolution operator is a trace class Hilbert-Schmidt integral operator and has nonnegative eigenvalues. A formula is given for the trace of this product operator. It seems that this product operator is the closest trace class integral operator which has nonnegative eigenvalues and is related to the Weil distribution. A relation is given between the trace of the product operator and the Weil distribution.

Classical Analysis and ODEs
Fredholm theory of the Toeplitz algebra on the space of all entire functions

M. Jasiczak

DOI: https://doi.org/10.1002/mana.202300495

2024-06-08

Mathematische Nachrichten

Abstract:We prove that an aggregate Toeplitz operator on the Fréchet space of all entire functions is a Fredholm operator if and only if its symbol does not vanish. The result is motivated by and closely resembles the classical result of Gohberg and Douglas from the Hardy space theory of Toeplitz operators. There are however some subtle differences which we also discuss.

mathematics
Linear systems, spectral curves and determinants

Gordon Blower,Ian Doust

2024-09-24

Abstract:Let $(-A,B,C)$ be a continuous time linear system with state space a separable complex Hilbert space $H$, where $-A$ generates a strongly continuous contraction semigroup $(e^{-tA})_{t\geq 0}$ on $H$, and $\phi (t)=Ce^{-tA}B$ is the impulse response function. Associated to such a system is a Hankel integral operator $\Gamma_\phi$ acting on $L^2((0, \infty ); C)$ and a Schr{ö}dinger operator whose potential is found via a Fredholm determinant by the Faddeev-Dyson formula. Fredholm determinants of products of Hankel operators also play an important role in the Tracy and Widom's theory of matrix models and asymptotic eigenvalue distributions of random matrices. This paper provide formulas for the Fredholm determinants which arise thus, and determines consequent properties of the associated differential operators. We prove a spectral theorem for self-adjoint linear systems that have scalar input and output: the entries of Kodaira's characteristic matrix are given explicitly with formulas involving the infinitesimal Darboux addition for $(-A,B,C)$. Under suitable conditions on $(-A,B,C)$ we give an explicit version of Burchnall-Chaundy's theorem, showing that the algebra generated by an associated family of differential operators is isomorphic to an algebra of functions on a particular hyperelliptic curve.

Spectral Theory
Opdam's hypergeometric functions: product formula and convolution structure in dimension 1

Jean-Philippe Anker,Fatma Ayadi,Mohamed Sifi

DOI: https://doi.org/10.48550/arXiv.1004.5203

2011-05-18

Abstract:Let $G_{\lambda}^{(\alpha,\beta)}$ be the eigenfunctions of the Dunkl-Cherednik operator $T^{(\alpha,\beta)}$ on $\mathbb{R}$. In this paper we express the product $G_{\lambda}^{(\alpha,\beta)}(x)G_{\lambda}^{(\alpha,\beta)}(y)$ as an integral in terms of $G_{\lambda}^{(\alpha,\beta)}(z)$ with an explicit kernel. In general this kernel is not positive. Furthermore, by taking the so-called rational limit, we recover the product formula of M. Rösler for the Dunkl kernel. We then define and study a convolution structure associated to $G_{\lambda}^{(\alpha,\beta)}$.

Classical Analysis and ODEs,Functional Analysis
Regularity Preserving Sum of Squares Decompositions

Sullivan F. MacDonald

2023-03-12

Abstract:In the process of proving a sharpened form of Gårding's inequality, Fefferman & Phong demonstrated that every non-negative function $f\in C^{3,1}(\mathbb{R}^n)$ can be written as a finite sum of squares of functions in $C^{1,1}(\mathbb{R}^n)$. In this thesis, we generalize their decomposition result to show that if $f\in C^{k,\alpha}(\mathbb{R}^n)$ is non-negative for $0\leq k\leq 3$ and $0<\alpha\leq 1$, then $f$ can be written as a finite sum of squares of functions that are each `half' as regular as $f$, in the sense that they belong to the Hölder space \[ C^\frac{k+\alpha}{2}(\mathbb{R}^n)=\begin{cases}\hfil C^{\frac{k}{2},\frac{\alpha}{2}}(\mathbb{R}^n) & k\textrm{ even}, \\ C^{\frac{k-1}{2},\frac{1+\alpha}{2}}(\mathbb{R}^n) & k\textrm{ odd}. \end{cases} \] We also investigate sufficient conditions for such regularity preserving decompositions to exist when $k\geq 4$, and we construct examples of functions which cannot be decomposed into finite sums of half-regular squares. The aforementioned result of Fefferman & Phong, as well as its subsequent refinements by Tataru, Sawyer & Korobenko, and many other authors, have been repeatedly used to investigate the properties of certain differential operators. We discuss similar applications of our generalized decomposition result to several problems in partial differential equations. In addition, we develop techniques for constructing non-negative polynomials which are not sums of squares of polynomials, and we prove related results which could not be found in a review of the literature.

Functional Analysis
On finite-temperature Fredholm determinants

Oleksandr Gamayun,Yuri Zhuravlev

2024-11-25

Abstract:We consider finite-temperature deformation of the sine kernel Fredholm determinants acting on the closed contours. These types of expressions usually appear as static two-point correlation functions in the models of free fermions and can be equivalently presented in terms of Toeplitz determinants. The corresponding symbol, or the phase shift, is related to the temperature weight. We present an elementary way to obtain large-distance asymptotic behavior even when the phase shift has a non-zero winding number. It is done by deforming the original kernel to the so-called effective form factors kernel that has a completely solvable matrix Riemann-Hilbert problem. This allows us to find explicitly the resolvent and address the subleading corrections. We recover Szego, Hartwig and Fisher, and Borodin-Okounkov asymptotic formulas.

Mathematical Physics,Statistical Mechanics,Exactly Solvable and Integrable Systems
An introspective algorithm for the integer determinant

Jean-Guillaume Dumas,Anna Urbanska

DOI: https://doi.org/10.48550/arXiv.cs/0511066

2007-09-13

Abstract:We present an algorithm computing the determinant of an integer matrix A. The algorithm is introspective in the sense that it uses several distinct algorithms that run in a concurrent manner. During the course of the algorithm partial results coming from distinct methods can be combined. Then, depending on the current running time of each method, the algorithm can emphasize a particular variant. With the use of very fast modular routines for linear algebra, our implementation is an order of magnitude faster than other existing implementations. Moreover, we prove that the expected complexity of our algorithm is only O(n^3 log^{2.5}(n ||A||)) bit operations in the dense case and O(Omega n^{1.5} log^2(n ||A||) + n^{2.5}log^3(n||A||)) in the sparse case, where ||A|| is the largest entry in absolute value of the matrix and Omega is the cost of matrix-vector multiplication in the case of a sparse matrix.

Symbolic Computation
Combinatorial Quantum Field Theory and Gluing Formula for Determinants

Nicolai Reshetikhin,Boris Vertman

DOI: https://doi.org/10.1007/s11005-015-0744-3

2015-01-01

Letters in Mathematical Physics

Abstract:We define the combinatorial Dirichlet-to-Neumann operator and establish a gluing formula for determinants of discrete Laplacians using a combinatorial Gaussian quantum field theory. In case of a diagonal inner product on cochains we provide an explicit local expression for the discrete Dirichlet-to-Neumann operator. We relate the gluing formula to the corresponding Mayer–Vietoris formula by Burghelea, Friedlander and Kappeler for zeta-determinants of analytic Laplacians, using the approximation theory of Dodziuk. Our argument motivates existence of gluing formulas as a consequence of a gluing principle on the discrete level.
Asymptotics of Fredholm Determinant Associated with the Pearcey Kernel

Dan Dai,Shuai-Xia Xu,Lun Zhang

DOI: https://doi.org/10.1007/s00220-021-03986-3

IF: 2.361

2021-01-01

Communications in Mathematical Physics

Abstract:The Pearcey kernel is a classical and universal kernel arising from random matrix theory, which describes the local statistics of eigenvalues when the limiting mean eigenvalue density exhibits a cusp-like singularity. It appears in a variety of statistical physics models beyond matrix models as well. We consider the Fredholm determinant of a trace class operator acting on L^2( -s, s) with the Pearcey kernel. Based on a steepest descent analysis for a 3× 3 matrix-valued Riemann-Hilbert problem, we obtain asymptotics of the Fredholm determinant as s→ +∞ , which is also interpreted as large gap asymptotics in the context of random matrix theory.
A duality formula between elliptic determinants

Kohei Motegi

DOI: https://doi.org/10.48550/arXiv.1901.01352

2019-01-05

Abstract:We prove a duality formula between two elliptic determinants. We present a proof which is a variant of the Izergin-Korepin method which is a method originally introduced to analyze and compute partition functions of integrable lattice models.

Classical Analysis and ODEs,Mathematical Physics

Cholesky decompositions of integral operators and the Fredholm determinant

The product formula for regularized Fredholm determinants: two new proofs

A Riemann-Hilbert approach to Fredholm determinants of Hankel composition operators: scalar-valued kernels

Determinants for integral forms in lattice type vertex operator algebras

Factorization of positive-semidefinite operators with absolutely summable entries

Large Scale Electronic Structure Calculations with Multigrid Acceleration

Fredholm complements of upper triangular operator matrices

From the Choi Formalism in Infinite Dimensions to Unique Decompositions of Generators of Completely Positive Dynamical Semigroups

Integrable Fredholm Operators and Dual Isomonodromic Deformations

Fredholm properties of a class of coupled operator matrices and their applications

A Hilbert-Schmidt integral operator and the Weil distribution

Fredholm theory of the Toeplitz algebra on the space of all entire functions

Linear systems, spectral curves and determinants

Opdam's hypergeometric functions: product formula and convolution structure in dimension 1

Regularity Preserving Sum of Squares Decompositions

On finite-temperature Fredholm determinants

An introspective algorithm for the integer determinant

Combinatorial Quantum Field Theory and Gluing Formula for Determinants

Asymptotics of Fredholm Determinant Associated with the Pearcey Kernel

A duality formula between elliptic determinants