Related papers: Trace Forms of Symbol Algebras
Two automorphisms of a simple stable AF algebra with a finite dimensional lattice of lower semicontinuous traces are shown to be outer conjugate if they act in the same way on the K-group and the extremal traces are scaled by numbers which…
We establish the existence of several quantum trace maps. The simplest one is an algebra map between two quantizations of the algebra of regular functions on the $SL_n$-character variety of a surface $\mathfrak{S}$ equipped with an ideal…
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…
A network-theoretic approach for determining the complexity of a graph is proposed. This approach is based on the relationship between the linear algebra (theory of determinants) and the graph theory. In this paper we contribute a new…
We provide a systematic study of sesquilinear hermitian forms and a new proof of the calculus of some exponential sums defined with quadratic hermitian forms. The computation of the number of solutions of equations such as Tr(f(x)+v.x)=0 or…
Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind…
Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serves as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of…
It is shown that $A:=H_{1,\eta}(G)$, the Sympectic Reflection Algebra, has $T_G$ independent traces, where $T_G$ is the number of conjugacy classes of elements without eigenvalue 1 belonging to the finite group $G$ generated by the system…
Let $E/F$ be an extension of number fields with $\mathrm{Gal}(E/F)$ simple and nonabelian. In [G] the first named author suggested an approach to nonsolvable base change and descent of automorphic representations of $\mathrm{GL}_2$ along…
Following our joint work arXiv:1003.4578 with Robert Langlands, we make the first steps toward developing geometric methods for analyzing trace formulas in the case of the function field of a curve defined over a finite field. We also…
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the…
We prove multiplicity one for vector valued holomorphic Siegel modular forms of weights greater or equal to 3 and the full Siegel modular group and give a trace formula for the action of the Hecke operators T(p) in the regular cases.
A first order trace formula is obtained for a regular differential operator perturbed by a finite signed measure multiplication operator.
It is shown that the pairing of the K00 group of a C*-algebra with the densely defined traces of the algebra can be extended to a pairing with the densely defined weights. For traces the pairing can be extended to the K0 group without the…
An AF-algebra is assigned to each cusp form f of weight two; we study properties of this operator algebra, when f is a Hecke eigenform.
We study the ring of algebraic functions on the space of persistence barcodes, with applications to pattern recognition.
Let $S$ be a unital associative ring and $S[t;\sigma,\delta]$ be a skew polynomial ring, where $\sigma$ is an injective endomorphism of $S$ and $\delta$ a left $\sigma$-derivation. For each $f\in S[t;\sigma,\delta]$ of degree $m>1$ with a…
A representation $\pi$ of a locally compact group $G$ is called \e{trace class}, if for every test function $f$ the induced operator $\pi(f)$ is a trace class operator. The group $G$ is called \e{trace class}, if every $\pi\in G$ is trace…
We present a formula for vector-valued modular forms, expressing the value of the Hilbert-polynomial of the module of holomorphic forms evaluated at specific arguments in terms of traces of representation matrices, restricting the weight…
The aim of this article is to give a concise algebraic treatment of the modular symbols formalism, generalised from modular curves to Hecke triangle surfaces. A sketch is included of how the modular symbols formalism gives rise to the…