A determinant identity for the sum of contour integral matrices
arXiv:2604.24747
Abstract
We derive an identity for the determinant of the sum of two matrices, and , whose entries are defined via contour integrals. Specifically, we consider and . Under suitable assumptions on the functions , we show that can be expressed as a Fredholm determinant , where is an integral kernel acting on the contour . The kernel depends on a function that solves a system of integral equations. When and are specialized to certain rational functions depending on two sets of parameters and , becomes the characteristic function associated with inhomogeneous directed last passage percolation (DLPP) and inhomogeneous totally asymmetric simple exclusion process (TASEP) models. Furthermore, we obtain an explicit random walk hitting expectation representation of this characteristic function. Our work generalizes a recent identity by Baik, Liao, and Liu (2026), which plays an important role in finding the multipoint distribution formula of the periodic KPZ fixed point. Finally, we demonstrate three applications of our general formulas in integrable probability: a new Fredholm determinant formula for the distribution of the path-to-point last passage time in the inhomogeneous DLPP, an indirect proof of a new path-to-line joint distribution formula in the homogeneous DLPP, and a novel proof of the TASEP path-integral formula previously obtained by Matetski, Quastel, and Remenik (2021).
33 pages. Major revision. The main result is improved. Several applications are added