mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Mathematical Formulae Beyond the Tree Paradigm
Mälardalen University, School of Education, Culture and Communication, Educational Sciences and Mathematics. (MAM)ORCID iD: 0000-0001-6140-180X
2016 (English)Conference paper, Poster (with or without abstract) (Other academic)
Abstract [en]

A restriction in the traditional language of mathematics is that every formula has an underlying tree structure, wherein an expression decomposes into subexpressions that each contribute one result to the whole. Some modern mathematics (especially in higher algebra and differential geometry) is however not so well catered for by this tree paradigm, and would be much better off if this restriction was lifted; it is not that the mathematics requires a generalised formula language, but it becomes a whole lot easier to state and do when you use one.

This poster shows the formula language of networks that arises when one relaxes the tree restriction to instead allow an underlying directed acyclic graph (DAG) structure. Evaluation of networks is non-obvious, but can be carried out in any PROP/symocat; conversely, evaluation of networks characterises PROPs in much the same way as evaluation of words characterises monoids. Networks are isomorphic to the abstract index interpretation of Einstein convention tensor expressions, and demonstrate that these can in fact be given a coordinate-free interpretation. Special cases of the network notation that have been invented independently include the Penrose graphical notation and quantum gate arrays.

Place, publisher, year, edition, pages
2016.
Keyword [en]
coarity, PROP, network, monoidal category, directed acyclic graph, tensor product, entanglement, Penrose graphical notation, abstract index notation
National Category
Algebra and Logic
Research subject
Mathematics/Applied Mathematics
Identifiers
URN: urn:nbn:se:mdh:diva-31315OAI: oai:DiVA.org:mdh-31315DiVA: diva2:912891
Conference
27th Nordic Congress of Mathematicians, Stockholm
Available from: 2016-03-18 Created: 2016-03-18 Last updated: 2016-10-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Poster session abstracts

Authority records BETA

Hellström, Lars

Search in DiVA

By author/editor
Hellström, Lars
By organisation
Educational Sciences and Mathematics
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 55 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf