Talk:Wave function/Archive 10
From Wikipedia, the free encyclopedia
| This is an archive of past discussions about Wave function. Do not edit the contents of this page. If you wish to start a new discussion or revive an old one, please do so on the current talk page. |
| Archive 5 | ← | Archive 8 | Archive 9 | Archive 10 | Archive 11 |
Referencing
article topic is the wave function
Editor YohanN7 has made this edit.
The edit converts a sub-section that was directly about the topic of the article, Wave function, into a sub-section leading with a statement about the quantum state. This edit goes against the intention of the text that it changed. The overwritten intention was to state directly the facts about wave functions as such, the topic of the article. The new edit would perhaps be suitable for the article on the Quantum state, but I think it has degraded the present article, because it is primarily about that other topic, the quantum state.
The new sub-section perhaps is readily intelligible to sophisticated experts, for example those who were introduced to quantum mechanics only after several courses in mathematics and now have degrees in the subject. I think few such experts will come to Wikipedia to learn. But many readers of Wikipedia are not such experts. Editor Maschen has a good knowledge of this topic and has asked several questions in this edit above. I think those questions are sensible and reasonable, and will occur to many readers. The new edit has overwritten the former sub-section, that was an attempt to answer those questions directly in terms that a newcomer could relate to. The new edit has hidden the answers in a sophisticated expression that I think that newcomers would not easily grasp. The new edit is valid, and perhaps would be good as an addition to, but not as a total overwrite of, the former sub-section.
The new edit would perhaps be suitable for the article on the Quantum state, but I think it has degraded the present article.Chjoaygame (talk) 20:27, 1 March 2016 (UTC)
The new edit, in its current form, is in need of clarification. It writes of as "a basis element (thought of as variable over the complete domain)". The reader needs to be told here that such an is thought of in two distinct ways: as the label of a ket, and as the value of a variable in the domain. While the expression used in the new edit is conventional, it might be confusing for newcomers, as noted here in Wikipedia. The former version was intended to make such things directly evident.Chjoaygame (talk) 21:25, 1 March 2016 (UTC)
Another unclarity of the new edit is that it uses and chiefly relies on, without definition, the Dirac bra–ket notation before it has been otherwise introduced into the article.Chjoaygame (talk) 23:05, 1 March 2016 (UTC)
The new edit says "The Dirac way is a generalization of the Schrödinger wave functions to abstract Hilbert space." I think a preferable wording would be 'In the Dirac way, the state vector Ψ appears in two forms, known as the bra, ⟨Ψ|, and the ket, |Ψ⟩, which are elements of abstract vector spaces. The Schrödinger and Dirac formulations are intertranslatable.'Chjoaygame (talk) 23:50, 1 March 2016 (UTC)
The new edit unnecessarily leaves the reader in the dark as to the question asked above on this talk page by mathematician Editor Tashiro: What are the range and domain of the wave function? At the end of that conversation, Editor YohanN7 asked Editor Tashiro the following "Tashiro, do you find that the new edits to the lead and the section Wave functions and function spaces answer your questions?" Tashiro did not reply. I think it means he had given up trying to find out the answer to his questions. I think the new edit suffers from the very same superconcision that made mathematician Tashiro give up. The article also had respected and expert Editors Vaughan Pratt and W puzzled. I don't recall exactly VP's bio, but I do recall that he knows a lot about physics. Editor W says he is a lecturer on quantum mechanics.Chjoaygame (talk) 13:55, 2 March 2016 (UTC)
- First off, what is wrong with, in a section labeled "Dirac and Schrödinger formulations" (correctly) describing the relation between the two?
- I made the edit because some of what you wrote were nonsense. Dirac state vectors appear in one and only one form. The bras are not state vectors. They belong to the dual space, which is not the same space as the space of state vectors. Then what you call "wave function in the Dirac tradition" is just a (Schrödinger) wave function period.
- No need to go to near incomprehensible detours of "infinite array of complex numbers" → "array of complex number components can be recognized as a table of values of a function" → "recognition of that table is that it belongs to a differentiable function of multiple real variables, expressible as an analytic formula" → "solution of the Schrödinger equation for the specific system". (I'd like to see you rigorously justify these steps
). Do you really think anyone will understand what you are doing? You start with two things that are by definition the same. Then you "prove" that they are equal.
- It may comfort you (and perhaps others) that this article is now off of my watch list. I decided yesterday that the edit I made was to be the last. You are like a freight train. Totally impossible to stop when you gain some speed. I'll make one last edit. I'll change names appropriately. There is no such thing as "Schrödinger wave functions" and "Dirac wave functions" that I now see that you intended. There are wave functions and quantum states. It is probably undue to give Dirac ALL credit for generalizing "Schrödinger wave functions" to states. YohanN7 (talk) 14:42, 2 March 2016 (UTC)
- To learn about the contribution of Dirac, one way is to read what he wrote. He is a reliable source, recommended by Heisenberg and Einstein amongst many others.Chjoaygame (talk) 16:20, 2 March 2016 (UTC)
- Refering to YohanN7's last sentence, Wikipedia , History_of_quantum_mechanics , says: "Building on de Broglie's approach, modern quantum mechanics was born in 1925, when the German physicists Werner Heisenberg, Max Born, and Pascual Jordan developed matrix mechanics and the Austrian physicist Erwin Schrödinger invented wave mechanics and the non-relativistic Schrödinger equation as an approximation to the generalised case of de Broglie's theory. Schrödinger subsequently showed that the two approaches were equivalent." Schrödinger showed the isomorphism between the two theories, I was always taught. (Of course here we are speaking of the non-relativitic cases.) Since this article is about wave functions, maybe more of Schrödinger's approach would be appropiate, and at end mention the equivalence to Heisenberg matrix mechanics. I think this article is trying to cover too much. GangofOne (talk) 01:36, 3 March 2016 (UTC)
- To learn about the contribution of Dirac, one way is to read what he wrote. He is a reliable source, recommended by Heisenberg and Einstein amongst many others.Chjoaygame (talk) 16:20, 2 March 2016 (UTC)
- It may be useful here to quote Weinberg's Lectures, p. 53: "... the wave functions that we have been using to describe physical states in wave mechanics should be considered as the set of components ψ(x) of an abstract vector Ψ, known as the state vector, in an infinite-dimensional space in which we happen to choose coordinate axes that are labeled by all the values that can be taken by the position x."Chjoaygame (talk) 21:00, 3 March 2016 (UTC)
- I will start commenting in more detail on the foregoing remarks by Editor YohanN7.
First off, what is wrong with, in a section labeled "Dirac and Schrödinger formulations" (correctly) describing the relation between the two?
- This is argumentum ad verecundiam. No reply called for.
I made the edit because some of what you wrote were nonsense. Dirac state vectors appear in one and only one form. The bras are not state vectors. They belong to the dual space, which is not the same space as the space of state vectors.
- Editor YohanN7 is mistaken here. This is because he is not looking at what Dirac wrote, but is instead giving views of others. What I wrote is pretty nearly verbatim from Dirac, not nonsense as Editor YohanN7 claims. I am not saying the views of others that he is putting are wrong; I am saying that they do not make my report of Dirac's views nonsense. My report is accurate.
Then what you call "wave function in the Dirac tradition" is just a (Schrödinger) wave function period.
- I am trying to draw attention to the difference in presentation between the Dirac and Schrödinger traditions. They are intertranslatable, but not the same. Dirac starts with states as abstract vectors and develops waves functions from there, without concern about their nature as functions, while Schrödinger thinks immediately of them as functions.
No need to go to near incomprehensible detours of "infinite array of complex numbers" → "array of complex number components can be recognized as a table of values of a function" → "recognition of that table is that it belongs to a differentiable function of multiple real variables, expressible as an analytic formula" → "solution of the Schrödinger equation for the specific system". (I'd like to see you rigorously justify these steps
). Do you really think anyone will understand what you are doing? You start with two things that are by definition the same. Then you "prove" that they are equal.
- More argumentum ad verecundiam. No reply.
... It is probably undue to give Dirac ALL credit for generalizing "Schrödinger wave functions" to states.
- This is a valid point, and valuable. That's what I meant when I commented above on Editor YohanN7's remarks. I will bear it in mind. I think it is not a primary concern for the present article, which is about wave functions, not primarily Hilbert spaces, vector spaces, or quantum states. Dirac's work was pretty original, but he was not the only one to do useful work on this topic.Chjoaygame (talk) 14:04, 4 March 2016 (UTC)
- To clarify one of the above points:
I made the edit because some of what you wrote were nonsense. Dirac state vectors appear in one and only one form. The bras are not state vectors. They belong to the dual space, which is not the same space as the space of state vectors.
- I will cite Dirac:
Dirac 1st edition (1930), pp. 19–20: " We now introduce another set of symbols , , ... also denoting states. Any state denoted by a -symbol can be equally well denoted by a -symbol having the same suffix."
Dirac 2nd edition (1935), p. 22: "Thus the space of 's provides a representation of the states of our dynamical system just as well as the space of 's, each state being associated with one direction in the space of 's. There is, in fact, perfect symmetry between the 's and 's, which symmetry will survive all through the theory."
Dirac (1939) p. 418: "any expression containing an unclosed bracket symbol or is a vector in Hilbert space, of the nature of a or respectively."
Dirac 4th edition (1958), p. 21: "On account of the one-one correspondence between bra vectors and ket vectors, any state of our dynamical system at a particular time may be specified by the direction of a bra vector just as well as by the direction of a ket vector. In fact the whole theory will be symmetrical in its essentials between bras and kets."
- To check information of this kind, one may read what Dirac wrote.Chjoaygame (talk) 06:01, 6 March 2016 (UTC)
- Also it may be useful to clarify another point. Editor YohanN7 writes above "This article is all about Schrödinger's approach to QM." There he is distinguishing the wave mechanics of Schrödinger from the matrix mechanics of Heisenberg. The concern of the sub-section that is affected by edit in question is about the distinction between Schrödinger's way and Dirac's way.Chjoaygame (talk) 06:15, 6 March 2016 (UTC)
- These quotes are relevant. I'll interpret them. Dirac says that there is a one-to-one-correspondence between bras and kets. He's right. The article refers to this fact as well (Riesz representation theorem). He also says that the bra's constitute a representation of the kets. This is indeed almost so due to the above-mentioned one-to-one correspondence. The "almost" qualifier is due to the conjugate-linear nature of the correspondence. It is also true that bras and kets are elements of some Hilbert space. But it is not true that they are elements of the same space. Dirac doesn't say so either. The space of states is the space of kets. The space of bras is the space dual to that of the space of kets. Thus
- But
- Consider for instance a Hilbert finite-dimensional Hilbert space (could be the spin part of a system). If kets there in a representation correspond to column vectors,
- then
- in other words, the one-to-one-correspondence is conjugate transpose. Thus
- and they can obviously not belong to the same space, at least some sort of vector space without becoming extraordinarily contrived. You can find this material (low-dim example) in any modern treatment. I can recommend Shankar (listed in article ref section) Chapter 1.
- These quotes are relevant. I'll interpret them. Dirac says that there is a one-to-one-correspondence between bras and kets. He's right. The article refers to this fact as well (Riesz representation theorem). He also says that the bra's constitute a representation of the kets. This is indeed almost so due to the above-mentioned one-to-one correspondence. The "almost" qualifier is due to the conjugate-linear nature of the correspondence. It is also true that bras and kets are elements of some Hilbert space. But it is not true that they are elements of the same space. Dirac doesn't say so either. The space of states is the space of kets. The space of bras is the space dual to that of the space of kets. Thus
- One remedy is to abandon the Dirac notation (it is notation, there is no "extra physics"). It is observed over an over again that it leads to misunderstanding (albeit harmless such as described in the article) of the sort demonstrated here. YohanN7 (talk) 10:10, 7 March 2016 (UTC)
- Dirac does call elements of H∗ "states" (first quote). He is very explicit, and this is surely fine within the context of his book. This is utterly misleading when elevated to "truth" and should not find its way into the article. Though Dirac knows what he is doing, the average reader will be confused. Lack of precision in statements of this sort is not a virtue and should be a thing of the past and is not a good tradition to carry on, even if it is "verifiable". YohanN7 (talk) 10:26, 7 March 2016 (UTC)
- Dirac had in mind that a full experiment that gives a datum for a probability estimate consists of two views of the state: the state as prepared, before reduction of the wave function, and the state as observed, after reduction of the wave function. The literaure is clear about this. Dirac said that one can take either the ket to denote the prepared state and the bra as the detected state, or vice versa. He emphasizes that the theory is symmetrical between the two views. L&L and Feynman both recognize this. It gives the bra–ket distinction a physical meaning. The system passes through the experimental apparatus with its identity intact, but appearing twice, as a prepared state, and as a detected state. It is the reason why Dirac identifies the dual pairs before defining the scalar product. The identification is primary and physical and experimentally based. The scalar product is derived from the identification, rather than the identification being derived from the scalar product. Dirac puts the physical meaning first. That's because his topic of interest is physics. Mathematicians, whose topic is mathematics, do it their way, defining the inner product first. But the inner product is not physically observable. Dirac writes in the first edition "Products such as ψφ, ψ1ψ2, φ1φ2, have no meaning and will never appear in the analysis." Obviously, later, the outer product is defined in the bra–ket notation, and |ψ⟩⟨φ| does get a meaning, though of course not as a scalar product. Editor YohanN7 helpfully above reproduces Dirac's careful account of how a bra cannot be added to a ket. Editor YohanN7 recommends Shankar as a source for this, but Dirac himself is clear enough on the point.
- Personally, I find Dirac's physical view of his notation more helpful than evidently does Editor YohanN7. I think readers who come to Wikipedia to learn would also find it helpful. It is not that Dirac is "imprecise" as Editor YohanN7 proposes. It is that Dirac is primarily interested in the physics, and puts it first. Editor YohanN7 seems to deprecate the bra–ket notation, but the article is full of it, and many writers use it. Wikipedia readers are capable of following a grand master such as Dirac if they are given a fair account of what he wrote. They don't need to be given only a censored version. Dirac's work is not mathematically faulty as Editor YohanN7 suggests. It is just sound mathematics deliberately and specifically constructed (Editor YohanN7 says "contrived") for the purpose of expressing physical ideas. That mathematicians have different purposes is their privilege. It is not, however, a reason to censor Dirac, as Editor YohanN7 would like us to do. We may observe also that von Neumann did it in the mathematicians' way. Wikipedia reports the several viewpoints, it doesn't impose a single viewpoint.Chjoaygame (talk) 13:36, 7 March 2016 (UTC)
Editor YohanN7 wants the topic to be collapsed to the just above question that he has invented. I think the topic is the value of his edit. As things have gone here, a major aspect of that is his deprecatory view of Dirac's approach to and presentation of quantum mechanics. Against that deprecatory view is that Heisenberg wrote that Dirac's 4th edition was his go-to place for mathematical questions on quantum mechanics, and that Einstein wrote that Dirac's was the most logically perfect presentation of quantum mechanics. Perhaps Editor YohanN7 has improved on that, but I remain to be convinced of it. Editor YohanN7's question presupposes that is the one and only manifestation of the quantum state. That is not how Dirac saw it.Chjoaygame (talk) 19:53, 7 March 2016 (UTC)
- Instead of the usual off-topic ramble, why not simply answer Yohan's question?
- Or do you not understand what a vector space is, what its dual space is, what and are (in this context), and what and actually are?
- Just a thought, do and correspond two different physical things? Or do they correspond to the same quantum state?
- You have ignored Tsirelson's extensive explanations of what these things are, and maybe my brief comments also. M∧Ŝc2ħεИτlk 21:11, 7 March 2016 (UTC)
- Thank you for this comment.
- You ask "do and correspond two different physical things? Or do they correspond to the same quantum state?" According to Dirac they refer to different aspects of the same quantum state, as it is prepared, and as it is observed, two different physical things.
- Insinuations: I don't have a deprecatory view of Dirac's presentation of quantum mechanics. I have not said that Dirac is imprecise. I have said that Dirac becomes imprecise (even utterly misleading) when he is quoted out of context.
- Name-dropping (noun): The introduction into one's conversation, letters, etc., of the names of famous or important people as alleged friends or associates in order to impress others. Surely, Dirac, Heisenberg, Einstein, Landau & Lifshitz, Feyman, ..., I think this speaks for itself.
- Fallacious references to old threads: Chjoaygame, you also have a way of referring to old threads that is not really meant to put me in a good light. You speak of "...respected and expert Editors Vaughan Pratt and W", and implicitly suggess..., well, I don't know what.
- W questions the scope of the article (specifically length of lead) and in particular the general way in which we define wave function here. So what?
- Then VP's question: position and momentum wave functions represent the "same" object? I let the link speak for itself.
- If you want to claim in the article that bras are state vectors you better make that precise. Precise as hell. Therefore,
- or
- Which is it? The first? The second? No name-dropping, not even an innocent little quote, no fallacious references to earlier threads, no insinuations about me vetting all known Nobel laureates, no mention of "physics" as opposed to "mathematics".
- If you want to claim in the article that bras are state vectors you better make that precise. Precise as hell. Therefore,
- I also allow for "I actually don't know", which would be pretty honest by you.
- Over the past year you have cost me lots of time because I benevolently assumed, contrary to enormous piles of evidence to the contrary, that you could actually contribute. My patience with you is gone.
- Therefore, if you fail to answer the very simple question about the real issue without babbling, I'll never discuss with you again if I can help it. You might find that a relief. I'd find it a much better way to waste my time. So go on: Start babbling! YohanN7 (talk) 10:47, 8 March 2016 (UTC)