Related papers: Trace Forms of Symbol Algebras
Let $K$ be a field with characteristic different from 2 and let $S$ be a symbol algebra over $K$. We compute the symmetric powers of hyperbolic quadratic forms over $K$. Also, we compute the symmetric powers of the quadratic trace form of…
We explain the algebra needed to make sense of the log signature of a path, with plenty of examples. We show how the log signature can be calculated numerically, and explain some software tools which demonstrate it.
An arithmetical structure on a graph is given by a labeling of the vertices which satisfies certain divisibility properties. In this note, we look at several families of graphs and attempt to give counts on the number of arithmetical…
For $m\geq 2$, we study derivations on symbol algebras of degree $m$ over fields with characteristic not dividing $m$. A differential central simple algebra over a field $k$ is split by a finitely generated extension of $k$. For certain…
We survey old and new approaches to the study of symbolic powers of ideals. Our focus is on the symbolic Rees algebra of an ideal, viewed both as a tool to investigate its symbolic powers and as a source of challenging problems in its own…
As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and…
Traces and their extension called combined traces (comtraces) are two formal models used in the analysis and verification of concurrent systems. Both models are based on concepts originating in the theory of formal languages, and they are…
We give a description of traces on C(X)\rtimes G in terms of measurable fields of traces on the C*-algebras of the stabilizers of the action of G on X.
In this paper we provide an algorithm to compute the product between two elements in a symbol algebra of degree n and we find an octonion non-division algebra in a symbol algebra of degree three. Starting from this last idea, we try to find…
In the present talk we briefly demonstrate an elegant and effective technique for calculation of the trace expansion in the derivatives of background fields. One of main advantages of the technique is manifestly (super)symmetrical and gauge…
We establish how the coefficients of a sparse polynomial system influence the sum (or the trace) of its zeros. As an application, we develop numerical tests for verifying whether a set of solutions to a sparse system is complete. These…
{\small In this paper, we find a class of division quaternion algebras over the field }$\mathbb{Q}\left( i\right) ${\small \ and a class of division symbol algebras over a cyclotomic field.}
For a braided vector space $(V,\sigma)$ with braiding $\sigma$ of Hecke type, we introduce three associative algebra structures on the space $\oplus_{p=0}^{M}\mathrm{End}S_\sigma^p(V)$ of graded endomorphisms of the quantum symmetric…
Motivated by the theory of bi-singular pseudodifferential operators, we introduce a two dimensional version of the Adler-Manin trace. Our construction is rather general in the sense that it involves a twist afforded by an algebra…
This paper provides an introduction to trace diagrams at a level suitable for advanced undergraduates. Trace diagrams are a non-traditional notation for linear algebra. Vectors are represented by edges in a diagram, and matrices by markings…
We extend the Adler-Manin trace on the algebra of pseudodifferential symbols to a twisted setting.
In this paper we study certain quaternion algebras and symbol algebras which split.
The trace test in numerical algebraic geometry verifies the completeness of a witness set of an irreducible variety in affine or projective space. We give a brief derivation of the trace test and then consider it for subvarieties of…
Can the cross product be generalized? Why are the trace and determinant so important in matrix theory? What do all the coefficients of the characteristic polynomial represent? This paper describes a technique for `doodling' equations from…
For any real division algebra A of finite dimension greater than one, the signs of the determinants of left multiplication and right multiplication by a non-zero element are shown to form an invariant of A, called its double sign. The…