36 ms·
Is this (closely) related to Penrose tensor notation https://en.wikipedia.org/wiki/Penrose_graphical_notation https://en.wikipedia.org/wiki/Penrose_graphical_no
by Myrmornis 7y ago
Is this (closely) related to Penrose tensor notation https://en.wikipedia.org/wiki/Penrose_graphical_notation https://en.wikipedia.org/wiki/Penrose_graphical_notation?
- danharaj 7y agoYes
- OscarCunningham 7y agoYes. The difference is that here the operation represented by putting wires next to each other is the direct sum, whereas in the Penrose notation the operation is the tensor product. They're both examples of the string diagram notation for monoidal categories. (https://forum.azimuthproject.org/discussion/2335/lecture-73-chapter-4-string-diagrams-and-strictification https://forum.azimuthproject.org/discussion/2335/lecture-73-...)
- colah3 7y agoI expected it to -- graphically, it looks very similar to Penrose notation! -- but at first glance it seems to be quite different. Penrose notation is very high level: edges correspond to tensor dimensions, joining corresponds roughly to tensor contraction. When you're working with multiple complicated multi-dimensional tensors, it can be a beautiful way to express things. This notation seems to be expressing something a bit lower level: it seems that edges correspond to values and dots correspond to copy/add. So, roughly, they visually express linear functions. (I didn't read the full post, it's possible that they expand beyond this initial meaning.) Diagrams of a similar style are used in other contexts (eg. expressing the weights of neural networks), often as a pedagogical tool.
- mathgenius 7y agoIt might be easier to think of it as a kind of Feynman diagram: a sum over paths. That's what matrix multiplication is, it's a kind of sum over weighted paths. A matrix records all the ways to get from the set of "columns" to the set of "rows".