Related papers: Krein's trace theorem revisited

DEKL 2.0 is a dependent type-theoretic framework for trace-indexed knowledge evolution. Its central claim is that the proof calculus remains monotone under standard structural rules, while non-monotonic behavior arises semantically from…

Using elementary pcf, we show that there is no $j:V\to M,$ $M$ transitive, $j\lambda =\lambda >crit(j),$ $j^{\prime \prime}\lambda \in M.$

The Krein--Tannaka duality for compact groups was a generalization the Pontryagin--Van Kampen duality for locally compact abelian groups and a remote predecessor of the theory of tensor categories. It is less known that it found…

In this short note we prove that the reduced group C*-algebra of a locally compact group admits a non-zero trace if and only if the amenable radical of the group is open. This completely answers a question raised by Forrest, Spronk and…

We reduce a strong version of the twist conjecture for Artin groups to Artin groups whose defining graphs have no separating vertices. This produces new examples of Artin groups satisfying the conjecture, and sheds more light on the…

We show that the Kauffman bracket skein algebra of any oriented surface F (possibly with marked points in its boundary) has no zero divisors and that its center is generated by knots parallel to the unmarked components of the boundary of F.…

We introduce four new elementary short proofs of the famous K\"onig's theorem which characterizes bipartite graphs by absence of odd cycles.

We improve the Chebotarev variant of the Brun-Titchmarsh theorem proven by Lagarias, Montgomery, and Odlyzko using the log-free zero density estimate and zero repulsion phenomenon for Hecke L-functions that were recently proved by the…

The Krein transform is the real counterpart of the Cayley transform and gives a one-to-one correspondence between the positive relations and symmetric contractions. It is treated with a slight variation of the usual one, resulting in an…

Generalized indefinite strings provide a canonical model for self-adjoint operators with simple spectrum (other classical models are Jacobi matrices, Krein strings and 2x2 canonical systems). We prove a number of Szeg\H{o}-type theorems for…

Trace theorems are proved for non-isotropic Sobolev and $L^p$-Lipschitz spaces defined by vector fields satisfying H\"ormander's bracket condition of order 2. It is shown that the loss of regularity by traces is the same as in the classical…

In this work, we revisit the Krein-Rutman theory for semigroups of positive operators in a Banach lattice framework and we provide some very general, efficient and handy results with constructive estimates about: the existence of a solution…

A trace on a C*-algebra is amenable (resp. quasidiagonal) if it admits a net of completely positive, contractive maps into matrix algebras which approximately preserve the trace and are approximately multiplicative in the 2-norm (resp.…

We introduce a new class of operator algebras -- tracially complete C*-algebras -- as a vehicle for transferring ideas and results between C*-algebras and their tracial von Neumann algebra completions. We obtain structure and classification…

We show, using the trace formula, that any Newton stratum of a Shimura variety of PEL-type of types (A) and (C) is non-empty at the primes of good reduction. Furthermore we prove conditionally the non-emptiness for Shimura data associated…

We prove a rank 1 version of the Hanna Neumann Theorem. This shows that every one-relator 2-complex without torsion has the nonpositive immersion property. The proof generalizes to staggered and reducible 2-complexes.

In this paper we study the metric geometry of the space $\Sigma$ of positive invertible elements of a von Neumann algebra ${\mathcal A}$ with a finite, normal and faithful tracial state $\tau$. The trace induces an incomplete Riemannian…

In earlier work, we constructed invariants of irreducible representations of the Kauffman skein algebra of a surface. We introduce here an inverse construction, which to a set of possible invariants associates an irreducible representation…

The Adler-Bardeen theorem has been proved only as a statement valid at all orders in perturbation theory, without any control on the convergence of the series. In this paper we prove a nonperturbative version of the Adler-Bardeen theorem in…

Koplienko \cite{Ko} found a trace formula for perturbations of self-adjoint operators by operators of Hilbert-Schmidt class $\mathcal{B}_2(\mathcal{H})$. Later, Neidhardt introduced a similar formula in the case of pair of unitaries…