Formal languages | Trace theory

Trace theory

In mathematics and computer science, trace theory aims to provide a concrete mathematical underpinning for the study of concurrent computation and process calculi. The underpinning is provided by an algebraic definition of the free partially commutative monoid or trace monoid, or equivalently, the history monoid, which provides a concrete algebraic foundation, analogous to the way that the free monoid provides the underpinning for formal languages. The power of trace theory stems from the fact that the algebra of dependency graphs (such as Petri nets) is isomorphic to that of trace monoids, and thus, one can apply both algebraic formal language tools, as well as tools from graph theory. While the trace monoid had been studied by Pierre Cartier and Dominique Foata for its combinatorics in the 1960s, trace theory was first formulated by in the 1970s, in an attempt to evade some of the problems in the theory of concurrent computation, including the problems of interleaving and non-deterministic choice with regards to refinement in process calculi. (Wikipedia).

Video thumbnail

Trace of an Operator and of a Matrix

Trace of an operator defined to be the sum of the eigenvalues (or of the eigenvalues of the complexification), repeated according to multiplicity. Trace of a matrix defined to be the sum of the squares of the diagonal enties. The connection between these two notions of trace.

From playlist Linear Algebra Done Right

Video thumbnail

On the Comparison of Trace Formulas - Jim Arthur

Jim Arthur University of Toronto April 28, 2011 GALOIS REPRESENTATIONS AND AUTOMORPHIC FORMS SEMINAR We shall recall the spectral terms from the trace formula for G and its stabilaization, as well as corresponding terms from the twisted trace formula for GL(N). We shall then discuss aspec

From playlist Mathematics

Video thumbnail

What are Connected Graphs? | Graph Theory

What is a connected graph in graph theory? That is the subject of today's math lesson! A connected graph is a graph in which every pair of vertices is connected, which means there exists a path in the graph with those vertices as endpoints. We can think of it this way: if, by traveling acr

From playlist Graph Theory

Video thumbnail

Introduction to Detection Theory (Hypothesis Testing)

http://AllSignalProcessing.com for more great signal-processing content: ad-free videos, concept/screenshot files, quizzes, MATLAB and data files. Includes definitions of binary and m-ary tests, simple and composite hypotheses, decision regions, and test performance characterization: prob

From playlist Estimation and Detection Theory

Video thumbnail

What is Reductionism?

There are two different types of reductionism. One is called methodological reductionism, the other one theory reductionism. Methodological reductionism is about the properties of the real world. It’s about taking things apart into smaller things and finding that the smaller things determ

From playlist Philosophy of Science

Video thumbnail

Peter Sarnak "Some analytic applications of the trace formula before and beyond endoscopy" [2012]

2012 FIELDS MEDAL SYMPOSIUM Date: October 17, 2012 11.00am-12.00pm We describe briefly some of the ways in which the trace formula has been used in a non comparative way. In particular we focus on families of automorphic L-functions symmetries associated with them which govern the distrib

From playlist Number Theory

Video thumbnail

Lecture 2: Motivation

In this video, we give an important motivation for studying Topological Cyclic Homology, so called "trace methods". Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.php?qa=tc-lecture Homepage with further information: https://w

From playlist Topological Cyclic Homology

Video thumbnail

James Arthur: Beyond Endoscopy and elliptic terms in the trace formula

Abstract: Beyond endoscopy is the strategy put forward by Langlands for applying the trace formula to the general principle of functoriality. Subsequent papers by Langlands (one in collaboration with Frenkel and Ngo), together with more recent papers by Altug, have refined the strategy. Th

From playlist Jean-Morlet Chair - Research Talks - Prasad/Heiermann

Video thumbnail

Teena Gerhardt - 1/3 Algebraic K-theory and Trace Methods

Algebraic K-theory is an invariant of rings and ring spectra which illustrates a fascinating interplay between algebra and topology. Defined using topological tools, this invariant has important applications to algebraic geometry, number theory, and geometric topology. One fruitful approac

From playlist Summer School 2020: Motivic, Equivariant and Non-commutative Homotopy Theory

Video thumbnail

Jamie Gabe: A new approach to classifying nuclear C*-algebras

Talk in the global noncommutative geometry seminar (Europe), 9 February 2022

From playlist Global Noncommutative Geometry Seminar (Europe)

Video thumbnail

Inna Zakharevich, Characteristic polynomials and traces

Global Noncommutative Geometry Seminar (Americas) on 10/22/21 https://globalncgseminar.org/talks/3584/

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Yonatan harpaz : The universal property of topological Hochschild homology

CONFERENCE Recording during the thematic meeting : « Chromatic Homotopy, K-Theory and Functors» the January 24, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Jean Petit Find this video and other talks given by worldwide mathematicians on CIR

From playlist Topology

Video thumbnail

Christopher Schafhauser: On the classification of nuclear simple C*-algebras, Lecture 3

Mini course of the conference YMC*A, August 2021, University of Münster. Abstract: A conjecture of George Elliott dating back to the early 1990’s asks if separable, simple, nuclear C*-algebras are determined up to isomorphism by their K-theoretic and tracial data. Restricting to purely i

From playlist YMC*A 2021

Video thumbnail

Trace Dynamics: Quantum theory as an emergent phenomenon by Tejinder Singh ( Lecture - 02)

21 November 2016 to 10 December 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Quantum Theory has passed all experimental tests, with impressive accuracy. It applies to light and matter from the smallest scales so far explored, up to the mesoscopic scale. It is also a necessary ingredie

From playlist Fundamental Problems of Quantum Physics

Video thumbnail

Christopher Schafhauser: On the classification of nuclear simple C*-algebras, Lecture 1

Mini course of the conference YMC*A, August 2021, University of Münster. Abstract: A conjecture of George Elliott dating back to the early 1990’s asks if separable, simple, nuclear C*-algebras are determined up to isomorphism by their K-theoretic and tracial data. Restricting to purely i

From playlist YMC*A 2021

Video thumbnail

Ex: Find the Trace and Determinant of a 3x3 Matrix Using Eigenvalues

This video explains how to determine the trace and determinant of a 3x3 matrix using eigenvalues. http://mathispower4u.com

From playlist Eigenvalues and Eigenvectors

Video thumbnail

Workshop 1 "Operator Algebras and Quantum Information Theory" - CEB T3 2017 - D.Farenick

Douglas Farenick (University of Toronto) / 13.09.17 Title: Isometric and Contractive of Channels Relative to the Bures Metric Abstract:In a unital C*-algebra A possessing a faithful trace, the density operators in A are those positive elements of unit trace, and the set of all density el

From playlist 2017 - T3 - Analysis in Quantum Information Theory - CEB Trimester

Related pages

Trace (linguistics) | Graph theory | Abstract algebra | Mathematics | Combinatorics | Petri net | Dependency graph | Free monoid | Formal language | Trace monoid | History monoid