Related papers: Bantay's trace in Unitary Modular Tensor Categorie…
In this paper we show that every $L^1$-integrable function on $\partial\Omega$ can be obtained as the trace of a function of bounded variation in $\Omega$ whenever $\Omega$ is a domain with regular boundary $\partial\Omega$ in a doubling…
It is known that every monoidal bicategory has an associated braided monoidal category of scalars. In this thesis we show that every monoidal bicategory, which is closed both monoidally and compositionally, can be enriched over the monoidal…
In this paper we study twisted traces of products of intertwining operators for quantum affine algebras. They are interesting special functions, depending on two weights lambda, mu, three scalar parameters q, omega, k, and spectral…
The main result of this paper is a description of the space of functions on the unit circle, for which Krein's trace formula holds for arbitrary pairs of unitary operators with trace class difference. This space coincides with the space of…
The Frobenius-Schur indicator is a parameter $\kappa_a=\pm 1$ assigned to each self-dual particle $a$ in a TQFT. If $\kappa_a$ is negative then straightening out a timelike zig-zag in the worldline of a particle of type $a$ can incur a…
We point out that results of Shimizu on internal characters imply a useful non-semisimple variant of the categorical Verlinde formula for factorisable finite tensor categories. When combined with results on pseudo-trace functions by…
We prove that the trace of the Frobenius endofunctor of the category of automorphic sheaves with nilpotent singular support maps isomorphically to the space of unramified automorphic functions, settling a conjecture from [AGKRRV1]. More…
Specification languages are essential in deductive program verification, but they are usually based on first-order logic, hence less expressive than the programs they specify. Recently, trace specification logics with fixed points that are…
We develop filtered-graded techniques for algebras in monoidal categories with the main goal of establishing a categorical version of Bongale's 1967 result: A filtered deformation of a Frobenius algebra over a field is Frobenius as well.…
Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution of the procedure. This…
We compute the Fourier coefficients of analogues of Kohnen and Zagier's modular forms $f_{k,D}$ of weight $2$ and negative discriminant. These functions can also be written as twisted traces of certain weight $2$ Poincar\'e series with…
Assuming the completeness condition for boundaries we derive trace formulas for the annulus coefficients in 2-dimensional conformal field theory. We also derive polynomial equations that relate the annulus, Moebius and Klein bottle…
This article continues the investigation of the tracial geometry of classifiable $\mathrm{C}^*$-algebras that have real rank zero and stable rank one. Using the language of optimal transport, we describe several situations in which the…
We investigate invertible elements and gradings in braided tensor categories. This leads us to the definition of theta-, product-, subgrading and orbitcategories in order to construct new families of BTC's from given ones. We use the…
For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective…
Traces of singular moduli can be approximated by exponential sums of quadratic irrationals. Recently Andersen and Duke used theory of Maass forms to estimate generalized twisted traces with power-saving error bounds. We establish an…
This paper introduces a boundary integral equation for time-harmonic electromagnetic scattering by composite dielectric objects. The formulation extends the classical M\"uller equation to composite structures through the global multi-trace…
The deep interconnection between linear algebra and graph theory allows one to interpret classical matrix invariants through combinatorial structures. To each square matrix A over a commutative ring K, one can associate a weighted directed…
A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X}\rightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic…
We investigate the notion of partial trace ideals, recently introduced by Maitra. We first establish several properties of partial trace ideals and give affirmative answers to questions posed by Maitra. We then study the invariant defined…