Group Abstract Group Abstract

Message Boards Message Boards

Representation of the updates in Wolfram Model by linear operators

POSTED BY: Pavlo Bulanchuk
13 Replies
POSTED BY: Pavlo Bulanchuk

Just to summarize, I answered your question:

it is imperative to make sure that Wolfram model reproduces quantum mechanics to a satisfactory degree

with the reference of the Wolfram Model reproducing ZX calculus (a part of quantum mechanics). The other parts are work-in-progress. Concerning your other question

Representation of the updates in Wolfram Model by linear operators

I think that it is the other way around: the linear operators from quantum mechanics correspond to something in the Wolfram Model, but it is not that something in the Wolfram Model should be expressed as linear operators. I disagree with Jonathan's point of view (I am not saying that he is wrong, I just say that my conceptualization is different from his conceptualization)

we may interpret rewrite relations as being linear operators \hat{A} acting upon this space:

I prefer the other way around: the linear operator should be interpreted in the framework of the Wolfram model. The interpretation of the updates in the Wolfram Model as a linear operator is -in my opinion- a return to the previous paradigm.

The ZX paper is meant to answer the requirement

it is imperative to make sure that Wolfram model reproduces quantum mechanics to a satisfactory degree

ZX calculus is an important part of quantum mechanics. The adjective categorical is not about the physics, but about the mathematical framework in which quantum mechanics is expressed. Of course, ZX calculus is not the end of the story, it is just the beginning.

From what I can see, ZX calculus is a particular way of doing quantum computing. I am not sure though, what are the conclusions of the ZX paper about the mapping between ZX calculus and Wolfram model. The paper says in the conclusion:

[We] Demonstrated that the diagrammatic rewriting formalism of the ZX-calculus can indeed be embedded and realized within the more general formalism of Wolfram model multiway operator systems, using a novel reformulation of the Wolfram model in terms of double-pushout rewriting systems and adhesive categories.

I do not understand this. ZX calculus is "a graphical language for reasoning about linear maps between qubits", while Wolfram Model is a class of algorithms for updating graphs/strings/etc (with some physical meaning attached to the procedure). What does it even mean, that a language (ZX calculus) is imbedded into the model? Does it mean that "some "words" of the language are realized sometimes in some Wolfram models"? Or does it mean that we can "translate" ZX-calculus language into something made of Wolfram notations? To me, saying "ZX-calculus can be embedded and realized within the more general formalism of Wolfram model", is like saying "calculus can be realized and embedded within a more general formalism of electromagnetism" (in short, nonsense).

POSTED BY: Pavlo Bulanchuk

ZX calculus is a particular way of doing quantum computing.

Yes, any quantum circuit can be decomposed as spiders in ZX calculus. I agree with the possibility that you proposed:

it mean that we can "translate" ZX-calculus language into something made of Wolfram notation [I would prefer to use the word "framework" rather than "notation"]

Concerning

"calculus can be realized and embedded within a more general formalism of electromagnetism" (in short, nonsense).

I agree that differential and integral calculus can be realized and embedded in the general formalism of electromagnetism, but this is circular rather than nonsense, because the formalism of electromagnetism, at least in mainstream physics, is based on calculus. If someone proposes a formalism of electromagnetism that is not based on calculus, it will be nontrivial whether calculus can be embedded in some way in this formalism.

What is relevant of the embedding of ZX calculus into the Wolfram Model is that it corresponds to the interpretation of quantum mechanics in this model, i.e., it is a confirmation that the interpretation of quantum mechanics in the Wolfram Model is not just an isolated idea, but it is related to existing parts of quantum mechanics, namely, the ZX calculus. Here are two lectures of Jonathan concerning this embedding of ZX calculus into the Wolfram Model. The audience are experts in categorical quantum mechanics: Cambridge, Oxford.

I would prefer to use the word "framework" rather than "notation"

What is "framework"? By "translating into Wolfram's notation", I meant just enriching words and notations of Wolfram Models to include definitions from ZX calculus.

I agree that differential and integral calculus can be realized and embedded in the general formalism of electromagnetism

What do you mean by this? Like, the whole phrase is just a non-statement for me... basically, just a collection of words (no intend to insult here, the phrase really doesn't make any sense to me).

POSTED BY: Pavlo Bulanchuk

What is "framework"? By "translating into Wolfram's notation", I meant just enriching words and notations of Wolfram Models to include definitions from ZX calculus.

I prefer to use the word framework, rather than notation, because a framework is conceptual (interaction among several concepts), whereas a notation is just a way to write something.

What do you mean by this? (Me: I agree that differential and integral calculus can be realized and embedded in the general formalism of electromagnetism)

Imagine an intelligent extraterrestrial civilization where the formalism of electromagnetism was discovered before than differential and integral calculus because these people are more related to electromagnetism than to mechanics for some historical reason. Then they visit Earth and they find a textbook of differential and integral calculus. In order to understand this textbook, they will express calculus using their formalism of electromagnetism. For example, in order to understand analytic functions of a complex variable they may say: "people from Earth call analytic function what we call static electric fields in a region of the plane containing no electric charge".

In this sense, calculus can be developed from the formalism of electromagnetism, but for historical reasons, it is done the other way around: electromagnetism is developed using calculus. This is the reason why Bob Coecke used the phrase When worlds collide...in a good way! (his world of categorical quantum mechanics and the world of the Wolfram Model). In the example above, the worlds are the formalism of electromagnetism and the world of calculus.

Posted 5 years ago

The first quote you give is also by Wolfram (not by Gorard) from his technical introduction. Almost all of the phenomena we know comply with quantum mechanics, so it is imperative to make sure that Wolfram model reproduces quantum mechanics to a satisfactory degree. I am talking here about the general structure of quantum mechanics, not some specific examples of particular fields or Schrodinger equation (which also would can be useful).

POSTED BY: Updating Name

Here is a reference to the reproduction of a part of categorical quantum mechanics in the Wolfram Model: the ZX calculus.

I am not sure I see how the paper really helps with the questions in the original post. Could you elaborate, please (I am not particularly knowledgeable in ZX calculus or categorical quantum information theory, so would be nice if you could make your point more or less self-contained)?

POSTED BY: Pavlo Bulanchuk

Regarding the presence of dimensional constants in the theory, you can find some ideas in the technical introduction: Units and Scales.

Unfortunately, I cannot help you with your other questions, because I am still trying to understand the other papers on general relativity (which I think that pedagogically precede the one you mentioned).

POSTED BY: Ruggero Valli
Posted 5 years ago
POSTED BY: Updating Name
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard