Related papers: The product formula for regularized Fredholm deter…

For a rational $q=u+\frac{\alpha}{d}$ with $u, \alpha, d\in \ACOBZ$ with $u\ge 0, 1\le \alpha<d$, $\gcd(\alpha, d)=1$, the \emph{generalized Hermite-Laguerre polynomials $G_q(x)$} are defined by \begin{align*} G_q(x)&=a_nx^n+a_{n-1}(\alpha…

For $n$ a nonnegative integer, we consider the $n$-Laplacian $\Delta_n$ acting on the space of $n$-differentials on a confinite Riemann surface $X$ which has ramification points. The trace formula for the resolvent kernel is developed along…

Given an abstract simplicial complex G, the connection graph G' of G has as vertex set the faces of the complex and connects two if they intersect. If A is the adjacency matrix of that connection graph, we prove that the Fredholm…

For any two arithmetic functions $f,g$ let $\bullet$ be the commutative and associative arithmetic convolution $(f\bullet g)(k):=\sum_{m=0}^k \left( \begin{array}{c} k m \end{array} \right)f(m)g(k-m)$ and for any $n\in\mathbb{N},$…

We answer a question in [Landsberg, Ressayre, 2015], showing the regular determinantal complexity of the determinant det_m is O(m^3). We answer questions in, and generalize results of [Aravind, Joglekar, 2015], showing there is no rank one…

Let $(-A,B,C)$ be a linear system in continuous time $t>0$ with input and output space ${\mathbb C}$ and state space $H$. The scattering (or impulse response) functions $\phi_{(x)}(t)=Ce^{-(t+2x)A}B$ determines a Hankel integral operator…

In this work, the determinants of matrices constructed by evaluating homogeneous bivariate polynomials at pairs of vectors are investigated. For a polynomial $p(x,y)=\sum\limits_{i=0}^k \alpha_i x^{k-i}y^i$, an explicit factorization of the…

The diagonal spin-spin correlations of the square lattice Ising model, originally expressed as Toeplitz determinants, are given by two distinct Fredholm determinants - one with an integral operator having an Appell function kernel and…

We prove novel results on interpolation of Fredholm operators including an abstract factorization theorem. The main result of this paper provides sufficient conditions on the parameters $\theta \in (0,1)$ and $q\in \lbrack 1,\infty ]$ under…

The Fredholm determinants of a special class of integral operators K supported on the union of m curve segments in the complex plane are shown to be the tau-functions of an isomonodromic family of meromorphic covariant derivative operators…

We prove a strengthened form of a conjecture of Sun on a determinant attached to a binary quadratic form. Let $n>3$ and let $c,d\in\Z$. If $n$ is composite, then \[ \det\big[(i^2+cij+dj^2)^{n-2}\big]_{0\leq i,j\leq n-1}\equiv 0\pmod {n^2}…

Barvinok introduced the symmetrized determinant ($\sdet$) as a \emph{non-commutative} analogue of the determinant. Intuitively, given a square matrix over an associative algebra, we can obtain the symmetrized determinant by averaging over…

We consider a large family of product operations of formal power series in noncommuting indeterminates, the classes of automata they define, and the respective equivalence problems. A $P$-product of series is defined coinductively by a…

We provide a proof of strong normalisation for lambda+, a recently introduced, explicitly typed, non-deterministic lambda-calculus where isomorphic propositions are identified. Such a proof is a non-trivial adaptation of the reducibility…

We compute two parametric determinants in which rows and columns are indexed by compositions, where in one determinant the entries are products of binomial coefficients, while in the other the entries are products of powers. These results…

This note concerns bounded derivations on maximal triangular operator algebras on a Hilbert space. Given any bounded derivation $\delta$ on a maximal triangular algebra whose invariant lattice is continuous at 1, an operator which is shown…

For a family of compact Riemann surfaces X_t of genus g>1 parametrized by the Schottky space S_g, we define a natural basis for the holomorphic n-differentials on X_t which varies holomorphically with t and generalizes the basis of…

A determinant in algebraic $K$-theory is associated to any two almost commuting Fredholm operators. On the other hand, one can calculate a homologically defined invariant known as joint torsion. We answer in the affirmative a conjecture of…

Let $A$ and $B$ be two -non necessarily bounded- normal operators. We give new conditions making their product normal. We also generalize a result by Deutsch et al on normal products of matrices.

The Hermitian decomposition of a linear operator is generalized to the case of two or more operations. An additive expansion of the product of three octonions into three parts is constructed, wherein each part either preserve or change the…