Talk:Wave function

From Wikipedia, the free encyclopedia
Jump to: navigation, search
          This article is of interest to the following WikiProjects:
WikiProject Physics (Rated C-class, Top-importance)
WikiProject icon This article is within the scope of WikiProject Physics, a collaborative effort to improve the coverage of Physics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
C-Class article C  This article has been rated as C-Class on the project's quality scale.
 Top  This article has been rated as Top-importance on the project's importance scale.
WikiProject Chemistry (Rated C-class, Mid-importance)
WikiProject icon This article is within the scope of WikiProject Chemistry, a collaborative effort to improve the coverage of chemistry on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
C-Class article C  This article has been rated as C-Class on the project's quality scale.
 Mid  This article has been rated as Mid-importance on the project's importance scale.

so the wave function...[edit]

Is it the probability of a particle hitting a space. Like in the double slit experiment is it the probability of the electron hitting any of the points on the electron buildup? — Preceding unsigned comment added by (talk) 18:18, 11 December 2012 (UTC)

The second paragraph says:
"Although ψ is a complex number, |ψ|2 is real, and corresponds to the probability density of finding a particle in a given place at a given time, if the particle's position is measured."
which is how the wavefunction is interpreted. Strictly the probabilities are not "at" any points, but within an interval of points (see the integrals). For the double-slit experiment in QM, you could see Schrödinger equation (Particles as waves). Does that help? Maschen (talk) 18:27, 11 December 2012 (UTC)

Yes thank you! :) — Preceding unsigned comment added by (talk) 18:41, 11 December 2012 (UTC)

article contains no mention of wavefunction's importance to charge conservation[edit]

This article makes no mention of the deep connection between the gauge invariance of the wavefunction and conservation of electric charge. It would seem to me to be important to note that connection in this article. On a lesser note, don't particles without electric charge have wavefunctions? If so, then how does that work to conserve charge?

BrianStanton61 (talk) 22:42, 17 December 2012 (UTC)

I haven’t come across this particular point in the literature to understand in detail. Are you referring to this? Do you have any secondary sources (textbooks, papers, research monographs etc) that could cite this point your making in the article? Thanks and welcome, M∧Ŝc2ħεИτlk 22:58, 17 December 2012 (UTC)
The source I was referring specifically to was the Charge conservation article. It states: This (i.e. changes in the phase of a wavefunction being unobservable) is the ultimate theoretical origin of charge conservation. (talk) 23:18, 17 December 2012 (UTC)

Wikipedia articles don't count as sources or references; it's still necessary to provide sources as said to back up the statement. Of course you can link to the article. M∧Ŝc2ħεИτlk 23:52, 17 December 2012 (UTC)
It is surely worth mentioning somewhere in this article that the wave function of a charged particle is not gauge-invariant. It is important in practice, and it's also important conceptually to understand that a wavefunction is at least partly an arbitrary convention (even beyond the famous global phase factor).
But I don't think the connection to charge conservation needs to be mentioned in this article. The "main plot" is the (Noether's theorem) relationship between gauge invariance and charge conservation. Yes, changing the wavefunction happens to be one aspect of changing the electromagnetic gauge. But I don't think that adds up to a particularly direct connection between wavefunctions in general and charge conservation.
(I am not particularly knowledgeable about this and could be wrong.) --Steve (talk) 03:42, 18 December 2012 (UTC)

In light of this thread, would it be worth mentioning the Aharonov-Bohm effect? M∧Ŝc2ħεИτlk 11:16, 31 March 2013 (UTC)

Recent edits (late March → early April 2013)[edit]

Much of the vector spaces section has been almost completely trimmed/rewritten. The silly mix of inline LaTeX and HTML maths will be fixed later, no time right now. M∧Ŝc2ħεИτlk 12:28, 5 April 2013 (UTC)

Wave function as probability of feeling a sensation[edit]

On April 18, I changed the words "…the probability density of finding a particle…" to "…the probability density of sensing a particle…." This was reverted by Maschen with his personal comment, "'sensing'? 'finding' was clearer."

Another member of the priesthood, 52 years ago, had made the following statement about wave functions: "…the wave function permits one to foretell with what probabilities the object will make one or another impression on us if we let it interact with us either directly or indirectly." Also, in discussing the communicability of a wave function, he wrote, "If someone else somehow determines the wave function of a system, he can tell me about it and, according to the theory, the probabilities for the possible different impressions (or 'sensations') will be equally large…." (Eugene P. Wigner, "Remarks on the Mind-Body Question," The Scientist Speculates, I. J. Good, ed., pp. 284-302, Heinemann, London)

Professor Wigner clearly asserted that a wave function tells "one" the probability that "one" will see a flash, or a dark spot on a photographic plate, or some other sensation. This is of considerable importance because it relates a wave function's probability to "one's" subjective and inter-subjective private sensations or impressions, not to external, public, objective particles that can be found. The "one" who is mentioned by Professor Wigner is the observing subject in whose nervous system the sensations are felt.Lestrade (talk) 12:50, 19 April 2013 (UTC)Lestrade

"Sensing" has a connotation of human sensory perceptions like hear/see/taste/touch/feel... "Finding the particle" seems far clearer, more scientific and less philosophical, and direct, to me.
But if you feel strongly about this - then add it - I will not revert next time. If someone comes to this page in the future to post a section heading "what does "sensing" have to do with it?", be sure to explain to them.
P.S. In case you say it - I would never disparage/disregard Wigner, a crucial contributor to quantum theory. M∧Ŝc2ħεИτlk 17:26, 19 April 2013 (UTC)

Wigner seems to have been dragging science into the realm of the subjective. This is totally unacceptable to any scientist. Science’s supreme goal is to be totally objective. It wants to describe all observed objects without regard to the condition of the observing subject. But this may not be fruitful. It may be impossible to have an observed object without an observing subject. Einstein took the relativity of the object to the subject into account. Quantum mechanics seriously considers the role of the observer. Wigner’s definition of the wave function with regard to the probability of subjective sensation may not seem "far clearer, more scientific and less philosophical, and direct," but it might be a necessary part of the definition of "wave function."Lestrade (talk) 20:56, 19 April 2013 (UTC)Lestrade

Real valued wave function proposed by de Broglie[edit]

It should be mentioned in the article that a real valued wave function has been formulated by Louis de Broglie.-- (talk) 12:44, 2 August 2013 (UTC)

You need a reliable secondary source for this before mentioning it in the article. M∧Ŝc2ħεИτlk 07:03, 27 October 2013 (UTC)

Limited by the speed of light?[edit]

I'm not a quantum mechanic (can't handle those teeny, tiny wrenches) so forgive me if I'm not putting this question correctly, but I wonder if someone could say (and maybe put in the article) something about how causality and the speed of light relate to the time-dependent wavefunction. I assume the wavefunction is causal? If the boundary conditions or the potential are altered in one place, do the resulting changes in the wavefunction propagate to other places at the speed of light? And what about the delayed quantum eraser experiment? Thanks. --ChetvornoTALK 06:38, 27 October 2013 (UTC)

An interesting question.
Quantum entanglement itself does not violate special relativity because information is not transmitted "in" the wavefunction. For two observers to agree on the outcome of an experiment, one observer has to send a signal to the other, which is limited by c. For time-dependent potentials, presumably there would be time-dependent phase factors in the wavefunction related to the potential, like the Aharonov–Bohm effect.
In any case it would be a good addition to the article, thanks for raising this, will look into it. M∧Ŝc2ħεИτlk 07:03, 27 October 2013 (UTC)
In non-relativistic QM causality isn't a problem, while the speed of light certainly is a problem. In relativistic QFT, this can dealt with using the cluster decomposition principle, which is weaker (I believe) than a strict causality requirement, but has the advantage that one need not care about whether fields are measurable in any sense. This principle (roughly) implies that quantum fields commute at space-like distances, in turn yielding relativistic field equations, both for states and field operators. YohanN7 (talk) 17:12, 3 April 2014 (UTC)

units of psi[edit]

From the lede:

The SI units for ψ depend on the system. For one particle in three dimensions, its units are m–3/2. These unusual units are required so that an integral of |ψ|2 over a region of three-dimensional space is a unitless probability (i.e., the probability that the particle is in that region).

Question: Why isn't the ψ unit trivially L–3/2? To integrate the square of this with L3 (volume) over all space, to get unitless P = 1?

What you just said is exactly the case for one particle in 3d, which the example already is. What would the units be for two particles (with positions r1 and r2) in n (= 1, 2, 3...) dimensions? We need:
\int d^n \mathbf{r}_1 d^n \mathbf{r}_2 \left|\psi(\mathbf{r}_1, \mathbf{r}_2)\right|^2 = 1
so for this case ψ has dimensions of L–2n/2. In general for N particles (with positions r1, r2, ..., rN) in n dimensions we have:
\int d^n \mathbf{r}_1 d^n \mathbf{r}_2 \ldots d^n \mathbf{r}_N \left|\psi(\mathbf{r}_1, \mathbf{r}_2, \ldots \mathbf{r}_N)\right|^2 = 1
so ψ has dimensions of LNn/2. In momentum space the dimensions would be pNn/2 or (MLT–1)Nn/2 = (M–1L–1T)Nn/2. The results would be the same for particles with or without spin because the summations are over the dimensionless spin quantum number.
The units in the lead have been queried before. I think it's time we add a specialized section on this somewhere. The alternative would be to add the units after each normalization condition, although IMO it would be better to describe the units collectively. M∧Ŝc2ħεИτlk 10:19, 24 November 2013 (UTC)
You are using m for "metre" which even though linked is bad because so easily misunderstood to mean mass. This is a dimensional argument. For that we use "L" or length which cannot be misunderstood. Insisting on meters is like insisting that the dimensions of m in E =mc^2 is "kg". That's just bad writing. Fix it please. SBHarris 20:17, 24 November 2013 (UTC)
(edit conflict)Yes, m is for the SI unit metre (as the sentence "For one particle in three dimensions, its SI units are m–3/2." in the lead says), while L is for the dimension of length. Standard symbols for two different things. The reason for not discussing dimensions (in the context of units) and using associated symbols in the lead is to prevent any confusion/conflation with dimensions in the context of space. I'll try and clarify again. M∧Ŝc2ħεИτlk 20:27, 24 November 2013 (UTC)
I restored your [length]–3/2 in the lead and units section. Better? It should get the point across to the reader. Apologies for being slow on that particular uptake. M∧Ŝc2ħεИτlk 20:32, 24 November 2013 (UTC)
Thank you! SBHarris 01:11, 25 November 2013 (UTC)

Warning: idiot’s dashes in the thread (11 items). Also, several idiot’s dashes in the article as of now: unfortunately, I did not notice those then edited. Incnis Mrsi (talk) 21:31, 11 January 2014 (UTC)

If you're referring to my edits which used the minus sign the "special characters" -> "symbols" character map atop the edit window, I'm not insulted and will not argue. M∧Ŝc2ħεИτlk 22:09, 11 January 2014 (UTC)
Firefox has a nice feature: it can highlight all occurrences of a search term on the page. Can your browser do it? Enter the “–” symbol into the search term bar and look where does it appear in the article and here, on the talk page. Incnis Mrsi (talk) 08:36, 12 January 2014 (UTC)
Maschen deems I’m a great expert in wiki typography and waited for me to have abominations in the article slaughtered. Thanks, I fixed 8 instances of an idiot’s dash. Do not paste the code from this section to articles. Incnis Mrsi (talk) 16:48, 12 January 2014 (UTC)

Wave function #Requirements[edit]

First of all, “continuously differentiable in the sense of distributions” is an oxymoron. The continuous differentiability (C1) means that the derivative is a continuous function. Not more and not less. If one uses generalized function spaces for such definitions, such as D′, then a requirement to be differentiable certain number of times is meaningless. Any D′ “function”, by construction of the differentiation operator, is differentiable any finite number of times.

Second, if one source on the wave function formalism requires that it must be continuous, then it does not mean yet that the continuity as an absolute requirement represents a mainstream view. Incnis Mrsi (talk) 12:32, 10 January 2014 (UTC)

The line:
"It must everywhere be a continuous function, and continuously differentiable (in the sense of distributions, for potentials that are not functions but are distributions, such as the dirac delta function). "
seems to suggest delta potentials, but I agree it is badly worded to be useless (even if it was technically correct). (I didn't write it by the way, if that helps). The original line read:
"It must everywhere be a continuous function, and continuously differentiable (at least up to all possible first order derivatives)."
I may be able to add more sources to the section later, the Eisberg and Resnick book is a respected one, but agreeably not enough. M∧Ŝc2ħεИτlk 22:42, 10 January 2014 (UTC)
So, did you agree with letting W2,1W1,2 in? Incnis Mrsi (talk) 21:31, 11 January 2014 (UTC)
Yes, thanks for that. M∧Ŝc2ħεИτlk 22:09, 11 January 2014 (UTC)


Currently the article makes laborious reading in introducing wavefunctions as functions, then vectors, then several sections on wavefunctions as functions, then another several sections on wavefunctions as vectors, concluded by ontology. That's fine, but the article could be streamlined by explaining the two side by side, making more room for sections on examples and other interesting facts. I'll try, anyone is free to revert. M∧Ŝc2ħεИτlk 17:07, 11 January 2014 (UTC)

What facts about vector space do you deem very relevant? BTW, look at my recent change in quantum state: the article contains a stuff that this article misses, and it is relevant here more than there. Incnis Mrsi (talk) 21:31, 11 January 2014 (UTC)
For this article: linear combinations, the inner product (should be obvious why), normalization (again obvious), and completeness condition (useful for representing states and operators in an orthogonal basis), for the discrete and continuous bases, which should be orthonormal.
The edits to streamline were not finished, something else came up. I'll carry on now. M∧Ŝc2ħεИτlk 22:09, 11 January 2014 (UTC)

It hasn't worked... The article is top-heavy with abstractions... But rather than reverting, could we manually move the sections back (move the Dirac notation after the function space examples, then the Dirac notations for the individual examples like "one spin-0 particle in 1d", "one spin-0 particle in 3d", "one spin particle in 3d" etc...)? M∧Ŝc2ħεИτlk 01:11, 12 January 2014 (UTC)

I'll move things back. M∧Ŝc2ħεИτlk 12:41, 12 January 2014 (UTC)

Uncountably infinite dimensional Hilbert spaces[edit]

This section has problems; at the very least its title.

"Uncountable many components" is not the same thing as "Uncountably infinite dimensional Hilbert spaces". The Hilbert spaces involved here are countably infinite dimensional. YohanN7 (talk) 08:18, 12 January 2014 (UTC)

I agree: somebody learned poorly that the cardinality of the set of xes in ψ(x) counts dimensions only in the discrete case (i.e. “function” spaces built atop of an atomic measure). Paradoxically, the probability amplitude article now explains it better than this one. Incnis Mrsi (talk) 08:36, 12 January 2014 (UTC)
Fortunately, Maschen reduced it by now, AFAIK. Incnis Mrsi (talk) 16:48, 12 January 2014 (UTC)


Pauli and the Pauli equation belong in the history section. YohanN7 (talk) 08:21, 12 January 2014 (UTC)

What makes Pauli equation less relevant than Schrödinger equation? Incnis Mrsi (talk) 08:36, 12 January 2014 (UTC)
Not sure I understand what you mean. Let me rephrase; Pauli and the Pauli equation are missing from the history section.YohanN7 (talk) 11:28, 12 January 2014 (UTC)
Obviously, and anyone could add him. I'll do it now. M∧Ŝc2ħεИτlk 12:41, 12 January 2014 (UTC)
I briefly mentioned it. Incnis Mrsi (talk) 16:48, 12 January 2014 (UTC)

The "off-topic" section...[edit]

Just moved it to here after this edit so it is not sat in the article in the way of anything. M∧Ŝc2ħεИτlk 17:46, 12 January 2014 (UTC)

Non-interacting particles[edit]

The multi-particle free wave functions are usually considered to be tensor products, each particle living in a private Hilbert space, and the total wave function residing in the tensor product of these. The way of writing it as an ordinary product is just a matter or notation. Interpreting it as an ordinary product is wrong, because the "natural guess" as to what a multi-particle free wave function ought to be is a sum (by linearity of the governing equation) if it is supposed to be residing in a "single" Hilbert space. (Naturally, (at least some, haven't investigated in detail) operators are (sums of) tensor products too with the identity operator in appropriate places.) YohanN7 (talk) 21:04, 8 March 2014 (UTC)

Yes I'm aware of that, but the section is not about abstract vectors and tensor products only wavefunctions (The symmetrized/antisymmetrized tensor products are linked to through Identical particles#Wavefunction representation). M∧Ŝc2ħεИτlk 22:18, 8 March 2014 (UTC)
I am, of course, aware of that you are aware of that, but it still deserves mention in the article because it's borderline whether the average reader (taking QM101) is aware. The literature usually (very vaguely) introduces the tensor product notation (without much (if any) elaboration on tensor products) and then immediately scraps it. One sentence would suffice. I'll try to think of something. Cheers! YohanN7 (talk) 22:27, 8 March 2014 (UTC)

The edits are an improvement, but it is still problematical. The wave functions are state vectors, and that passage (state vectors and Dirac notation) is irrelevant. I'll sleep on the matter and see if I can reformulate it tomorrow. Nightie! YohanN7 (talk) 01:17, 9 March 2014 (UTC)

The section is blatantly wrong not for any of YohanN7’s reasons, but because it conflates concepts of interaction and quantum entanglement. We know that an interaction usually leads to entanglement, but it is egregiously wrong to assert that an entangled system of two particles always owes its entanglement to their interaction. Should I clarify the distinction with examples or you already understood me? Incnis Mrsi (talk) 13:55, 9 March 2014 (UTC)

No, please do not do that because no such assertion is made. Also, the quantum entanglement article is confused as to what the definition of entanglement is. On the on hand (consider a pair of identical particles), it's entangled if the state of one particle can't be described without mention of the other; Quantum entanglement is a physical phenomenon that occurs when pairs or groups of particles are generated or interact in ways such that the quantum state of each particle cannot be described independently – instead, a quantum state may be given for the system as a whole., (first sentence in lead). Using this definition we do not have entanglement here. On the other hand, the state of the two-particle system cannot be factorized (either for bosons or fermions) and using the alternative definition (given in quantum entanglement#concept); If the quantum state of a pair of particles is in a definite superposition, and that superposition cannot be factored out into the product of two states (one for each particle), then that pair is entangled, we do have entanglement in the present case.
Thus, let us keep entanglement at arms-length distance here. YohanN7 (talk) 23:25, 9 March 2014 (UTC)
The phrase in question is

For N non-interacting distinguishable particles, which do not interact mutually and move independently, the wavefunction can be separated into a product of separate wavefunctions for each particle…

I do not know what the 3 books referenced below this text say about interactions actually. But any person with a basic notion of quantum information knows that a state of the form |ψ1|ψ2 is called non-entangled. Not any state of a composite system of two non-interacting constituents is non-entangled. An entangled but (currently) non-interacting composite system can be produced by a decay, for example. In short, the quoted text is false. Also, I am not interested in what wiki cranks and waste-makers wrote about the quantum entanglement; I just expected that user:YohanN7 might be familiar with the concept. Incnis Mrsi (talk) 18:07, 10 March 2014 (UTC)
Seems like over-explanation. I reduced it. M∧Ŝc2ħεИτlk 18:20, 10 March 2014 (UTC)
Oops, I might have been jumping the gun above. I don't know much about this. Is Ψ1(x1, ...)Ψ2(x2, ...) + Ψ1(x2, ...)Ψ2(x1, ...) entangled? Does not Ψ1(x1, ...) describe one of the involved particles? If so, according to one of the definitions above, there is no entanglement, but according to the other definition (the one also given by Incnis) there is entanglement. I'm too confused at the moment to contribute with anything useful. YohanN7 (talk) 20:54, 10 March 2014 (UTC)
An interesting question that I initially ignored. Classification of Ψ1 ⊗ Ψ2 + Ψ2 ⊗ Ψ1 depends on whether the particles are identical. If they are not, then the state is entangled. If they are identical bosons, then the state is not. If they are identical fermions, then such state is not possible. Note that the definition of indiscernibility is tricky: you must ensure that all freedoms are accounted for before symmetrizing or antisymmetrizing the tensor square space. Incnis Mrsi (talk) 10:43, 15 March 2014 (UTC)
Thank you for an enlightening answer. YohanN7 (talk) 20:51, 15 March 2014 (UTC)

The second paragraph (idential bosons) is, at best, confusing. YohanN7 (talk) 23:25, 9 March 2014 (UTC)

What is confusing?
In response to both of you - the section was originally to sharpen up the previous statement of separability for non-interacting particles, for the cases of any number of distinguishable particles, bosons, and fermions. To have general formulae kept to a minimum of mathematics, and which almost always appear in QM books (hence the citations...). No entanglement. No tensor products or linear algebra, which are linked to Identical particles#Wavefunction representation and Bra–ket notation#Composite bras and kets, and could be described later in the sections which at least attempt to deal with linear algebra in abstract generality.
Would you give an example where particles are entangled and not interacting? Even so this is not the article on quantum entanglement. M∧Ŝc2ħεИτlk 17:47, 10 March 2014 (UTC)
It says that the Ψi, 1 ≤ iN all have distinct quantum numbers. Moreover, Ni, 1 ≤ iN is the number of particles with the quantum number of Ψi. This means that either some of the Ψi have the same quantum numbers or that there are fewer than N Ψi in case Ni > 1 for some i. (Also that reciprocal of the square root had me confused for a while, more immediate would be to say square root of the reciprocal.) YohanN7 (talk) 20:39, 10 March 2014 (UTC)

It's taking up more space than contributing useful content. So it has been temporarily deleted.

M∧Ŝc2ħεИτlk 21:05, 10 March 2014 (UTC)


This piece of Copenhagen currently resides in the “position space” section, that is misleading. The formula for the transition probability is correct, but it describes the situation where Ψ1 is an eigenvector of the measurement. This depends on observable and doesn’t depend on the presentation (the position space or whichever). Interpretation of |Ψ(x)| as the probability density corresponds to a measurement of the position operator when in position space (it would be another coordinate operator in other presentations). These are two different scenarios, that usually are incompatble: in the non-discrete case the position operator has a continuous spectrum only. It is sad that my work on probability amplitude did not result in significant improvements of QM literacy here. Incnis Mrsi (talk) 10:43, 15 March 2014 (UTC)

The new section Inner product should not be a subsection of “position space” section, but I don't have time a t m. YohanN7 (talk) 12:34, 15 March 2014 (UTC)
The additional material on the inner product was placed in that section for concreteness. The other inner products for more complicated systems are given later. Please keep the inner product section there at least for now.
What's missing from this article is a section on how the wavefunction is used to calculate the possible results of observables (eigenvalues of operators), as well as expectation values. Perhaps a general statement of the formula
could go in a section like this somewhere? M∧Ŝc2ħεИτlk 13:23, 15 March 2014 (UTC)
I thought to contain all the inner products and terminology together in its own section. M∧Ŝc2ħεИτlk 13:42, 15 March 2014 (UTC)
Yup, structurally, that looks good. With the inner product, we have an Inner product space. Then appeal to completeness of the set of eigenfunctions of Hermitean operators and (what more?) conclude that we have a Hilbert space of solutions to the Schrödinger equation, i.e. an inner product space with a complete metric. Just thinking out loud. Not much is needed here, a sentence or two. YohanN7 (talk) 14:48, 15 March 2014 (UTC)
Prior to yesterday, the reason for including superposition followed by the inner product in the first section (1d one particle states position representation) was to provide the very basic features of an inner product space in a concrete setting. This flow is a bit disjointed now, which is why I'm not sure if it was an improvement. M∧Ŝc2ħεИτlk 08:58, 16 March 2014 (UTC)
Ironically, the [complete] inner product space argument discredits all C1 and Sobolev space stuff presented above in the article. By the way I do not see where this completeness has actually any use. Although one can’t rely, without completeness, on the spectral theorem for an arbitrary self-ajoint operator, it will likely hold for practically important operators. In any case, the article must clarify why the metric completeness in one part of the article does not contradict to differentiability restrictions in another. Possibly, we should hint that the concepts of a wave function and of an abstract state vector have certain subtle differences. Namely, one gets a wave function from the Schrödinger equation, but operates with state vectors doing various measurements. Incnis Mrsi (talk) 09:20, 16 March 2014 (UTC)

Complex valued function?[edit]

"Typically, its values are complex numbers and, for a single particle, it is a function of space and time."

Is this true of any but a scalar particle? I know I'll probably spark a debate because this is not my area, but surely this is oversimplification to the point of confusion? For example, I'd expect any fermion to have a wavefunction that is spinor-valued, in which case complex numbers might come into it, depending on the representation chosen, but also might not. Shouldn't this description be changed? —Quondum 21:48, 15 March 2014 (UTC)

Yes, in general a spinor,or other things I don't know about, but we need to start from somewhere, and the first introduction to wavefunctions is always through complex numbers as far as I know. Presumably your'e thinking of multivector-valued wavefunctions in geometric algebra which have the "spinorial" behavior (according to Hestenes' use of the term "spinor")? For now, probably best left as complex numbers with a pointer saying other quantities are occur, maybe have a section on this too. M∧Ŝc2ħεИτlk 08:58, 16 March 2014 (UTC)
This, being an encyclopaedia and not a textbook, has rather strict guidelines about how it can present things. As such, the lead completely violates the guidelines. Even if one chose to take a pedagogical approach in the body of the text, I would have considered it necessary to make it clear that the approach is not the general one, and also to omit the invalid simplification from the lead. For example, one could say "Typically, for a single particle, it is a function of space and time."
I was thinking of spinors of any representation, be they Dirac's complexified vectors or either of the two most suitable GA representations, neither of which is an algebra over the complex numbers. From all perspectives (pedagogic and encyclopaedic), I think that it is important to maintain a clear distinction between what is being represented and the representation. I see the confusion in thinking that extends quite high (to some postgrads) when they use only one representation because they fail to disentangle these, for example with tensors and the Ricci calculus, where people are taught in effect that the collection of components is a tensor, and that the definition of a tensor is a set of components that transforms appropriately. Especially pedagogically, I feel that this is highly counterproductive because people are being taught the "arithmetic" of QM while glossing over its "mathematics", and encyclopaedically it is just plain wrong. —Quondum 16:05, 16 March 2014 (UTC)
Representation of what? Schrödingerian mechanics isn’t Lorentz/Poincaré invariant. It is Galilean-invariant. Usually, things that are Lorentz/Poincaré invariant are not called wave functions. These are fermionic fields and so. Incnis Mrsi (talk) 17:22, 16 March 2014 (UTC)
I can see this bogging down in undefined terminology. Would you care to put that statement ("things that are Lorentz/Poincaré invariant are not called wave functions") into the article? If true, it would certainly be helpful. Also, is the concept restricted to scalar particles? It would also help if this were made clear in the article. Coming from an outside perspective, I cannot even determine what the term wavefunction covers, and what it doesn't cover. With regard to representation, a particle is not a complex function of space and time, but it could be represented by a complex function. Or is the wavefunction by definition the complex value representation of a particle? The article seems to leave all these questions unanswered. —Quondum 06:03, 17 March 2014 (UTC)
Physics bogged down in terminology for a long time, but this is your “represented” verb that is undefined here. When I read about representations, I thought we talk about representation theory of symmetry groups. No, I won’t put the Lorentz/Poincaré invariance speculation into the article. The relativistic quantum mechanics uses hyperbolic (Lorentz-covariant) Hamiltonians with wave functions. Also, Wikipedia states:

Nevertheless, RQM is only an approximation to a fully self-consistent relativistic theory of known particle interactions because it does not describe cases where the number of particles changes; for example in matter creation and annihilation.

If you replace QM with wave function, then it will be consistent with my understanding. When you know how many (and which) particles do you have, then you have a wave function. When you don’t know it, then you have a field. Also, you can read here on a thought experiment that shows that “how many and which particles” concept is blurry, and it is related to your spinors. You can speak about spinor-valued wave functions only if you have some kind of Spin(3) symmetry. If you haven’t, then values are merely complex (finite-dimensional) vectors that represent some opaque states of the system. Yes, a particle, or a system of particles, is not obliged to have only one internal state. Incnis Mrsi (talk) 07:40, 17 March 2014 (UTC)
My use of the term representation is clearly confusing the matter, so let's drop the term. Whether we are dealing with (non-R)QM or RQM does not seem to be significant to the concept of a wavefunction. I agree that the concept of a wavefunction does not really apply to QFT. From what you say, you appear to consider solutions the single-particle Dirac equation as wavefunctions in the sense of the article, even if regarded as complex vector fields. This alone is enough to suggest that the description "its values are complex numbers" in the lead should be made more general. I'm suggesting that in the lead it should rather say something like "It is generally vector-valued and, for a single particle, it is a function of space and time." Or even simply "For a single particle, it is a function of space and time." The discussion of whether the vectors are considered to be over complex numbers or to be elements of a Clifford algebra need not be addressed in the lead. Scalar particles are simply a special case of vectors. —Quondum 18:40, 17 March 2014 (UTC)

Quondum, you refer to WP policies. One of the most important is to write from what most sources say: of course not like a textbook but as a plain English summary. Well, does anyone know how many introductory QM sources which do not use write wavefunctions as complex numbers or complex-valued vectors? Complex numbers are exclusively used in almost every single introductory QM book I've ever seen (anyone is welcome to contradict with examples). The only exception I can think of is when QM is written in the language of geometric algebra, which uses the field of real numbers. The restricted scope "introductory QM" is not meant to be pedagogic - this is one important level of sources we should use for this article.

As for:

"With regard to representation, a particle is not a complex function of space and time, but it could be represented by a complex function. Or is the wavefunction by definition the complex value representation of a particle? The article seems to leave all these questions unanswered"

the article has an ontology section linking to the main ontology article - saying the meaning of the wavefunction is unclear, and always has been from day 1. The sections on wavefunctions for one particle in 1d, and more particles in higher dimensions, all mention the Copenhagen interpretation, the most introductory interpretation of the wavefunction.

It's a bit unfair to say the lead totally violates the guidelines. It can be improved, but it gets the main points across. I'm not denying the article still needs work. But this discussion confuses me. M∧Ŝc2ħεИτlk 16:40, 22 March 2014 (UTC)

A sensible definition of what a wave function is might be that it solves a wave equation. This holds true in all cases I can think of. What a wave equation is is well defined as far as I know.
It is not true that wave functions aren't present in QFT. They are necessary to construct the Hilbert space. (Any complete set will do.) They just don't occupy the center of the stage; the dynamics (time evolution of the system) is moved to the operators on the Hilbert space. In addition, new operators are introduced to handle creation and destruction of particles. YohanN7 (talk) 23:40, 22 March 2014 (UTC)
QFT is beyond scope. I said nothing about the interpretation. I have evidently failed to communicate my point about the space from which the wave function may take its values (codomain), without which my comment about guidelines is also meaningless. I see little point in pursuing this. —Quondum 00:27, 23 March 2014 (UTC)
Quondum and YohanN7 - I was still thinking we could describe the role of the wavefunction in non-RQM, RQM, and QFT, all in a section for comparison. In all this time it just hasn't been done. Currently the article biases the Schrödinger picture. As I mentioned above, we could have a brief section on how operators act on the wavefunction in the Schrödinger picture (and related, briefly mention how statistical quantities like averages can be found), then go onto the Heisenberg picture, and possibly the interaction picture, again all in a section for comparison. No, we will not turn the article into a second Dynamical pictures (quantum mechanics), just an overview.
Quondum, no, you've raised a good point. There is a bias with complex numbers, sure, and having a variety of mathematical languages would remove the bias. Since you raised the point, others will probably ask the same question. I'm simply not sure how to do this yet.
Thanks. (P.S. YohanN7 sorry about not checking in Griffiths yet, I couldn't find it last week). M∧Ŝc2ħεИτlk 07:54, 23 March 2014 (UTC)
Wave functions take their values in Cn for n ≥ 1, and this covers the rare cases (e.g Majorana fermions, and certain potentials in one dimension (forgot details, see Landau and Lifshits)) when they can be taken as real-valued. Why talk about guidelines? I can't honestly see the point in having a huge debate about this. The GA representations are clearly fringe (unless something revolutionary has happened the last few years), so they can be left out. YohanN7 (talk) 09:40, 23 March 2014 (UTC)
This isn't just about guidelines, it's about content.
If it helps, I saved up enough to order Wienberg's vol 1 Quantum theory of fields, Landau and Lifshitz's vol 2 Classical theory of fields, and Doran and Lasenby's Geometric algebra for physicists (which includes QM formulated using geometric algebra). All fairly expensive, but there is no way round that, and they're top quality books so it's just about tolerable. Next week it will be the easter break too. Within the next week the books hopefully arrive and I get more time, it will be easier to make edits. M∧Ŝc2ħεИτlk 10:03, 23 March 2014 (UTC)
Excellent choices. The L&L book also covers general relativity (guess you knew this, much much better than MTW). YohanN7 (talk) 10:20, 23 March 2014 (UTC)
You might want to have a look at Field Quantization by Walter Greiner et al. Weinbergs attitude is that he doesn't quantize any pre-existing theory. But is quite useful to see that view too. It contains hundreds of detailed calculations, and it has a highly unusual description of classical field theory (Poisson-bracket formulation). Only $20 at amazon. YohanN7 (talk) 12:46, 23 March 2014 (UTC)
Greiner's books are OK (the classical mechanics, QM, RQM, QED, QCD, and Field quantization (if I recall correctly) are all at the library). But for now Weinberg's first volume is enough. Thanks for the suggestion. Yes, while MTW is a well-known and widely used classic, some bits are inadequate (e.g. the angular momentum sections are a bit vague, the relativistic heat conduction is not thorough, and there doesn't seem to be any description of the relativistic D, H, M, P fields in matter, all these are remedied either by Pauli or Tolman). LL's classical theory of fields seems to be loaded: SR, EM, GR using Lagrangian mechanics and field theory. M∧Ŝc2ħεИτlk 14:11, 23 March 2014 (UTC)
Mentioning that Cn may be the space is reasonable, mainly just not implying a limitation to C. No need (and it may be unwise especially in the lede) to mention GA or any specific space (vectors, matrices etc.), but preferably don't imply their exclusion by the wording. And forget my mention of guidelines: I was hoping to aid understanding of rather than to push my point. And my point does not imply any effort in adding detail about spaces, only wording that does not create misconceptions. We know that isomorphisms exist; we don't need them to be enumerated. —Quondum 16:33, 23 March 2014 (UTC)

────────────────────────────────────────────────────────────────────────────────────────────────────I'll have a very quick go at tweaking the lead along these lines. M∧Ŝc2ħεИτlk 16:56, 23 March 2014 (UTC)

Not so quick, please. First, wave mechanics is a dab page. Second, although it is true that a particle with spin has a spinor-valued wave function, I’d not assert that a spinless particle is always scalar. Which spin has a (non-rotating) ammonia molecule? With 14
3 it certainly isn’t zero (even number of electrons and odd number of nucleons), but I do not see a reason for it not to be spinless with an appropriate isotope composition. So, is it a scalar particle, is it really? Incnis Mrsi (talk) 18:24, 23 March 2014 (UTC)
Nice example. As far as I can make out it is a superposition of two states ("left" and "right" handed).
So what is the best wording for the lead then? M∧Ŝc2ħεИτlk 22:29, 23 March 2014 (UTC)
I hope the lead is better now. Anyone should boldly edit themselves. M∧Ŝc2ħεИτlk 23:15, 23 March 2014 (UTC)
Thank you: your edit is a massive improvement, and makes the lede both understandable and essentially complete in its description. —Quondum 18:10, 23 March 2014 (UTC)

Griffiths second edition[edit]

Just to update in case it helps anyone, I couldn't find Griffiths QM book (in the uni library) at the time the above thread took place. Later found it at, and it is free to view and download as a pdf here. M∧Ŝc2ħεИτlk 13:18, 7 December 2014 (UTC)

Relation between wave functions[edit]

I tried to explain a little. There are probably bugs in the new equations, possibly a missing minus sign (the plane wave), and possible a missing factor of one over two pi (delta function normalization). These things depend on conventions, including for the Fourier transform. Can anyone check what Griffith (the ref in the section) says? YohanN7 (talk) 22:47, 15 March 2014 (UTC)

Nice work. Except for one quibble: we now have the inner product of momentum states before the concepts of the inner product is introduced even in the position representation, so these should be moved down into the inner product section. I don't have Griffith's QM book now but may be able to check sometime in the week. M∧Ŝc2ħεИτlk 08:58, 16 March 2014 (UTC)
I have noticed the mentioned quibble. Will make an attempt later today to fix it. YohanN7 (talk) 10:33, 16 March 2014 (UTC)
Oops, I missed the time dependence. But, should we instead state that it is the solution of the time-independent Schrödinger equation? Time dependence is mostly disturbing in this section. YohanN7 (talk) 03:22, 24 March 2014 (UTC)
I moved the momentum inner product content down, and indicated the time-independent Schrödinger equation. M∧Ŝc2ħεИτlk 06:58, 24 March 2014 (UTC)

Hydrogen wave animation[edit]

May I destroy [1]? This flickering picture that does not, actually, “animate” anything useful, only distracts attention and wastes the processor time. Incnis Mrsi (talk) 13:36, 29 March 2014 (UTC)

It does not add anything; it is merely an attempt at a different presentation of what is already there. From the description "hydrogen wave animation" I had expected the evolution of a wavefunction in time, but it is nothing of the sort. I agree with Incnis that it should be removed. —Quondum 16:10, 29 March 2014 (UTC)

Inner product (again)[edit]

The definition of the "inner product" suffers from an annoying and confusing error omission that is present in most basic QM texts(, and some math texts too). The "inner product" is not an inner product, it is a semi-inner product. The resulting "norm" is a pseudo-norm semi-norm, and its "metric" is a pseudo-metric (not semi-metric).

There are standard ways (all equivalent I believe) of dealing with this. One way is to declare points at a zero distance apart to be equivalent. Then by passing to the quotient w r t this equivalence relation, one obtains a true inner product space. It's elements are equivalence classes of functions from the original "inner product space".

Before I (possibly) do anything, I'd like your opinion on whether this conceptually important, but practically unimportant, issue is worth mention in the article. IMO, QM books being generally crappy mathematically should not be a reason for this article to make the same mistakes.

There are probably three categories of students (of QM books or this article). The first category never notices the problem. The third category does notice the problem and also its solution. The second category will be left puzzled. I belonged once to the second category. The instructor did some hand-waving when I asked him (he really didn't know I think). YohanN7 (talk) 12:20, 3 April 2014 (UTC)

I'm not too sure how you're applying the metric. We're dealing with a Hilbert space, so the vectors are not 4-vectors to which a metric tensor would apply for this inner product. On a scalar (multi-particle) field, this seems to be unambiguously an inner product (it is always positive for a nonzero field used for both arguments, and the equivalence class issue should not occur), and it is not clear to me that for a spinor field it will be any different. But I'm not familiar with the area at all, just looking at it from the outside, so really I'm just asking. —Quondum 20:00, 3 April 2014 (UTC)
We are not dealing (yet) with a Hilbert space (or metrics for that matter). Hilbert spaces have inner products. What is defined here on a function space is a semi-inner product, since
\left\langle \Psi , \Psi \right\rangle = 0
does not imply
 \Psi = 0.
In other words, you have missed the axiom that distinguishes an inner product from a semi-inner product. It has nothing to do with spin or 4-vectors. (This puts you in category one of above :D)YohanN7 (talk) 20:19, 3 April 2014 (UTC)
What reference are you using for the definition of a semi-inner product outside of WP? Do you know any refs for semi-inner products in the context of QM? (Admittedly I'm in your categories 1 and 2 above). M∧Ŝc2ħεИτlk 20:24, 3 April 2014 (UTC)
See A course in Functional analysis by John B Conway or General topology by Willard. The latter explains how to systematically obtain a metric space from a pseudo-metric space. There is probably a note too in our article on Lp-spaces. (L2 isn't a Hilbert space before the mentioned identification and taking quotients.) YohanN7 (talk) 20:34, 3 April 2014 (UTC)
And oh, the integration must be taken as Lebesgue-integration. Riemann-integration will fail in some technical aspects to yield what we need, but this is probably definitely outside of the scope. YohanN7 (talk) 20:34, 3 April 2014 (UTC)
OK, thanks, I'll look into these. This article really has always been in turmoil... M∧Ŝc2ħεИτlk 20:52, 3 April 2014 (UTC)
The omission is no disaster, it is systematically made in the literature. The difference between the math literature and the QM literature is that the math literature takes it as an obvious standard thing to do (the metric identification procedure, that is, and it usually gets a parenthetical remark, math students are supposed to have seen it done). The QM literature should not be able to do the same thing, but it does, leaving some of us, including me, confused for a while. YohanN7 (talk) 21:17, 3 April 2014 (UTC)
Remark on Lebesgue vs Riemann integration: My ref is Byron and Fuller, Mathematics of Quantum and Classical Physics, a book I don't have at where I am now. I think Lebesgue integration is required for completeness of the inner product space (so that it is a Hilbert space), but the details have faded from my memory. At least, it is crucial for some proofs. Might perhaps be found in Conway, but that book by default uses Lebesgue-integration, so that it passes without mention. YohanN7 (talk) 21:36, 3 April 2014 (UTC)

For the purposes of this article, the following should be enough:

  • A remark, and link to Lp space#Lp spaces
  • A clarification that this is of no practical concern, i.e. which function one takes to represent an equivalence class doesn't matter.

Only the latter point has a problem. Such a statement needs to be sourced. YohanN7 (talk) 21:51, 3 April 2014 (UTC)

Then again, is it really possible for two continuous functions to differ from each other on a set of Lebesgue measure zero? A continuous function is completely determined by its values on a dense set (e.g the rationals). This requires some thought. I'd say no, so if attention is restricted to continuous square-integrable functions at the outset, then we do have a Hilbert space. Edit: Probably no, see below. YohanN7 (talk) 23:45, 3 April 2014 (UTC)
No, this procedure will probably not work either. I think I can imagine a Cauchy-sequence of continuous square-integrable functions with the limit being a discontinuous function. (Modify an example given here: Inner product space#Examples.) We get an inner product space, but not a Hilbert space. Adding further smoothness requirements probably wont help. YohanN7 (talk) 02:21, 4 April 2014 (UTC)

I think the conclusion may be this: With this choice of inner product, the space of functions should be the space of square-integrable functions period. No continuity assumptions allowed. Only then will we get a Hilbert space (upon taking an appropriate quotient). There are other possible Hilbert spaces to make use of, e.g. the Sobolev spaces. These are mentioned in the article. But, for these, the inner product given here is not the right one. YohanN7 (talk) 13:54, 4 April 2014 (UTC)

Careful authors would say that elements of L^2 are equivalence classes of functions, although this is seldom emphasized when it's expedient not to do so. I recently read a paper where the author placed "equivalence classes of" in parentheses at one point. That seems to be about as far as I'd be willing to push things. Of course, for continuous functions such as those that appear in quantum mechanics, it makes no difference whether you identify functions if they are equal outside a set of measure zero. I think a rather enlightening perspective is that in quantum mechanics it isn't really the Hilbert space itself that one sees, but rather its dual. But the continuous dual space of the space of all square integrable Lebesgue measurable functions (which is a nonhausdorff topological vector space with semi norm give by the usual hilbertian inner product) *is* a Hilbert space. No magic identifications are needed. This also explains why distributions have such a big role to play in the theory. Sławomir Biały (talk) 14:44, 4 April 2014 (UTC)
"Methods of Modern Mathematical Physics: Functional analysis", Volume 1, by Michael Reed, Barry Simon: page 17: element of L_1 is an equivalence class ... when f\in L_1, the symbol f(x) for a particular x does not make sense ...
Then they explain that for a continuous function f(x) is unproblematic, since two continuous functions cannot be equivalent (unless equal everywhere).
But then on page 40, "Example 4", L_2 consists of functions!
Boris Tsirelson (talk) 15:15, 4 April 2014 (UTC)
Thank you for your replies. I have follow up questions, the most itching one being this: Suppose we confine ourselves to square-integrable continuous functions. I can see that the articles inner product is a true inner product. We get an inner product space. But I don't think we have a Hilbert space. since it appears to me to exist Cauchy sequences (in this space, w r t the metric induced) that converges to a discontinuous function. True or false?
Surely, true; and moreover, every element of L2 is the limit of some sequence of continuous functions (that is, corresponding elements of L2). Indeed, given f and \varepsilon, we define f_\varepsilon by f_\varepsilon(x) = \frac1{2\varepsilon} \int_{x-\varepsilon}^{x+\varepsilon} f(t) \, dt and get f_\varepsilon \to f (in L2) as \varepsilon\to0; and each f_\varepsilon is continuous. Boris Tsirelson (talk) 18:27, 5 April 2014 (UTC)
Or alternatively, use Fourier series; its finite sums are continuous, and converge to a given element of L2 (on a finite interval; and this is enough, in the limit of long interval). Boris Tsirelson (talk) 19:06, 6 April 2014 (UTC)
@Slawomir: Let L2 denote the set of all square integrable Lebesgue measurable functions (no identifications) and let an asterisk denote the set of continuous linear functionals on it. You are saying that L2* is a Hilbert space? Hmm, this reminds me of something I have read, but not understood, in Conway. YohanN7 (talk) 15:47, 4 April 2014 (UTC)
Yes, that's precisely what I'm saying. Sławomir Biały (talk) 17:25, 4 April 2014 (UTC)
Thank you both. It is clear now. It remains only for me to come up with a sentence or two for the article. YohanN7 (talk) 19:41, 7 April 2014 (UTC)

So I finally took care of this. The beefing out can be found in a popup. YohanN7 (talk) 11:47, 7 November 2014 (UTC)

domain of the wave function[edit]

I have put into the lead some brief remarks on the domain of the wave function. To save editors the trouble of checking my sources, I copy quotes from them here.

"For Schrödinger's waves move not in ordinary space but in configuration space, that has as many dimensions as the degrees of freedom of the system (3N for N particles)."[1]
"The waves do not have immediate reality, of the kind we earlier ascribed to the waves of Maxwell's theory. One must interpret them as probability waves and therefore expect a sudden change at every observation."[2]
"Now, Schrödinger's work first of all contains some misunderstanding of the usual interpretation. He overlooks the fact that only the waves in configuration space (or the "transformational matrices") are probability waves in the usual interpretation, while the three-dimensional matter waves or radiation waves are not."[3]
"Bohr unequivocally rejected Schrödinger's interpretation of wave mechanics. Indeed, he immediately accepted Born's probabilistic interpretation, which was published just before Schrödinger's visit to Copenhagen."[4]
"Schrödinger's idea of identifying the Ψ wave of a system in configuration space at first shocked me very greatly, because, configuration space being a pure fiction, the conception deprives the Ψ wave of all physical reality. For me the wave of Wave Mechanics should have evolved in three-dimensional physical space. the numerous and brilliant successes that resulted from adopting Schrödinger's point of view obliged me to recognize its value;"[5]
"This dq is often called an element of volume in the configuration space of the system; for one particle, dq coincides with an element of volume dV in ordinary space."[6]
"The three parameters needed to identify the location of the particle are denoted by \vec q, the vector whose components are equal to its three Cartesian coordinates in Euclidean space. However, the vector \vec q, as a dynamical variable, does not denote a point in physical space but a point in configuration space. For two particles, a system of 6 degrees of freedom, the 6 needed dynamical variables are the Cartesian coordinates \vec q_1 and \vec q_2 which identify the locations of particles #1 and #2 in physical space which make up a vector in the six-dimensional configuration space.".[7]


  1. ^ Born, M. (1927). Physical aspects of quantum mechanics, Nature, 119, 354–357.
  2. ^ Heisenberg, W., (1927/1985/2009). Heisenberg is quoted by Camilleri, K. (2009), (from Bohr, N. (1985), Collected Works, edited by J. Kalckar, volume 6, 'Foundations of Quantum Mechanics I 1926–1932, Morth-Holland, Amsterdam, p. 140), Heisenberg and the Interpretation of Quantum Mechanics: the Physicist as Philosopher, Cambridge University Press, Cambridge UK, ISBN 978-0-521-88484-6, p. 71.
  3. ^ Heisenberg, W. (1958). Physics and Philosophy: the Revolution in Modern Science, Harper & Row, New York, p. 143.
  4. ^ Murdoch, D. (1987). Niels Bohr's Philosophy of Physics, Cambridge University Press, Cambridge UK, ISBN 0-521-33320-2, p. 43.
  5. ^ de Broglie, L., (1960). Non-linear Wave Mechanics: a Causal Interpretation, Elsevier, Amsterdam, p. 48.
  6. ^ Landau, L.D., Lifshitz, E.M. (1958/1965). Quantum Mechanics: Non-relativistic Theory, translated from Russian by J.B. Sykes and J.S. Bell, second edition 1965, Pergamon Press, Oxford UK, p. 6.
  7. ^ Newton, R.G. (2002). Quantum Physics: a Text for Graduate Students, Springer, New York, ISBN 0-387-95473-2, pp. 19–21.

Chjoaygame (talk) 14:51, 31 July 2014 (UTC)


This article too presents the misconception that spin is a consequence of the Dirac wave functions. (Other common and incorrect formulations include that spin is a consequence of the Dirac equation.) The truth is that spin is a consequence of the symmetry group of special relativity, the Poincaré group, more precisely its subgroup, the Lorentz group — even more specifically it originates in its subgroup SO(3), the rotation group, which is doubly connected.

More accurate would be to say that the Dirac equation is a consequence of (the existence of) charged spin 12 quantum particles coupled to the EM field via minimal coupling with parity inversion symmetry (without the latter the Weyl equations arise). Dirac spinors have spin 12, they don't predict it. Paraphrased, "The DE doesn't predict spin 12, but spin 12 predicts the (free) DE". YohanN7 (talk) 19:09, 28 August 2014 (UTC)

I want to emphasize that Dirac himself surely would have objected to the current article's formulation. He was well aware of the order of events. He actually published the Bargmann-Wigner equations a decade (or more, 1933?) before Bargmann and Wigner. Moreover, the investigations into the infinite-dimensional representations of the Lorentz group was instigated by him. That is, it is hardly to dishonor Dirac to take away the "prediction-of-spin-status" from the equation or its solutions.

The great thing that the Dirac equation actually did predict was the existence of positrons, or, in general, antiparticles for every particle obeying the DE. (Dirac initially speculated that they may be protons, this at a time before the discovery of the neutron. Someone else (don't remember who) showed that the positron must have the same mass as the electron, hence couldn't be a proton.) YohanN7 (talk) 11:43, 29 August 2014 (UTC)

For what its worth - I wrote (pretty much all of) the history section in relativistic wave equations. Perhaps we could take out the (trivial) reference to the Dirac wavefunction in this article (which could be potentially extended on RQM and other bits of abstract algebra), and concentrate on the history over there first, all in one place, before spreading misconceptions elsewhere? M∧Ŝc2ħεИτlk 00:48, 1 September 2014 (UTC)

Basic interpretation[edit]

I think there is a need for a basic interpretation of the wave function before introducing the Copenhagen interpretation, and even measurements. I am thinking about things that are often misinterpreted. For instance (in a toy model), if a wave function is a superposition of two delta-like functions located at A and B (in position space), it does not mean any of the following:

  • The particle is either at A OR B.
  • The particle is both at A AND B.

Both statements are provably not true (actually, some "plausible" statements of this nature are not true/false but plain nonsense), using Hilbert space theory alone (they lead to contradictions of mathematical and even logical nature), but both of these interpretations are easy to be picked up by a novice, especially when fed the Copenhagen interpretation. (Note, no measurements are involved in the statements above) An example of a correct statement would be

  • The particle is NOT anywhere else (C) than A or B.

A great source for stuff like this is Robert Griffith's Consistent Quantum Theory. This book is about an alternative (other than Copenhagen) interpretation of quantum theory, but the stuff I mentioned above is basic and independent of any interpretation. Well, my question is, should we have a "basic" section here or in a separate article, or does one already exist that handles matters like these? YohanN7 (talk) 20:12, 28 August 2014 (UTC)

Oh yes. I'd say, "the particle is at A" and "the particle is at B" are two "quantum possibilities"; and a quantum possibility is more real than a classical possibility, but less real than a classical reality. This is extremely hard to understand, since it is a new ontological category.Boris Tsirelson (talk) 06:22, 29 August 2014 (UTC)
What should be the scope of such a section? Should it appear in this article?
In my view, the presentation should be simplistic (use a "toy model"), define a little terminology, and make comparisions with classical mechanics (phase space formulation) for the defined terms, that would include "physical property of a system" as "subset of phase space with associated indicator function" contra "subspace of Hilbert space with associated projection operator". That would be a start. The inspiration comes from Griffith's book. I don't know to what extent he is biased, but it would surprise me if there are different views around, because this is from the very earliest chapters. YohanN7 (talk) 11:43, 31 August 2014 (UTC)

recent edits by Maschen[edit]

Editor Maschen has been making several edits which I do not wish myself to try to fiddle with. But I would point out some things that I think Maschen should fix.

It is not good to use footnotes in Wikipedia articles. Either something deserves to be in the main text, or it doesn't have a place at all. The scope for ever-expanding confusion with footnotes is obvious. So I have moved Maschen's footnote into the main text.

On the same topic, I have also moved the recent footnote by Editor YohanN7 into the main text.

A sentence that begins "Actually, ..." is very often a stylistic failure or error, for reasons that I will not here try to expound. In a nutshell, I think Maschen should remove the word 'actually' from the relevant text sentence, and make what other adjustment he thinks best. A problem is that Maschen's edit is in the lead, and it may be making the lead grow like Topsy. Perhaps the footnote stratagem was intended to by-pass this problem. I think it won't do. Somehow Maschen should deal with this.Chjoaygame (talk) 04:20, 6 December 2014 (UTC)

Not all text is directed to all readers. In fact, most readers will only be confused with having technicalities in the main flow of text. Yet, the content of the footnote does belong in the article since without it, the claims of the article are provably inconsistent. A footnote is the ideal middle path. The interested readers (less than 1% will notice the problem with the definition w/o the made qualifications) can pursue the matter by opening the notebox (which, b t w can be distinguished from an ordinary citation through its name = nbx).
A citation needed tag is never alone sufficient for deletion of content. Especially, since in this case, a citation was in place. YohanN7 (talk) 05:59, 6 December 2014 (UTC)
On the other hand, I am not sure that Maschen's nb at the top should stay at all. I do not know what it means.
This cost me about an hour because the reverts managed to re-revert each other having me to manually set things straight. Please discuss on the talk page before you make any more edits. YohanN7 (talk) 06:37, 6 December 2014 (UTC)
@Chjoaygame: I can see that you are at it again. The disputed chunk of text was, by design, created as a footnote, and a footnote it should remain. You wrote in your last revert that it was an issue for Maschen. He has had his say already. It is a footnote. Please discuss here before you make any more edits. YohanN7 (talk) 14:46, 6 December 2014 (UTC)

Sorry for the delay. Here is the edit in question for reference.

Basically, the objection is to the nb in the lead, on bosons described by spinors. That's fine, but I thought the flow would be fine to say "fermionic wavefunctions are spinorial while bosonic wavefunctions are tensorial", with a digression that spinors can describe particles of any spin (after all tensors can be replaced by spinors can't they?).

But maybe it is also excessive wording. I'm neutral on how we do this. Perhaps the best solution is to delete the nb and replace the statement by

"in general, the wavefunction for a particle with spin is a spinor"

(no reference to abstractions and unfamiliar terminology like "spinor rank" etc. keep it simple, this is elaborated later on in this article and other articles anyway). I'll make that change, any alternative wording is fine, people should feel free to edit.

For completeness, my only other edit to the lead was the deletion of the underlined part:

"The wave of the wave function, however, is not a wave in physical space; it is a wave in an abstract mathematical "space", which can be represented as 'configuration space', or can be represented as 'momentum space', and in this respect it differs fundamentally from water waves or waves on a string."

since in the next paragraph, the position space and momentum space wavefunctions are described anyway.

Hope that clarifies things, I'm fine if there's any other objections. Best, M∧Ŝc2ħεИτlk 23:04, 6 December 2014 (UTC)

Just to offer an alternative, if we wanted to reinstate mention of fermions and bosons:

"In general, all particles can be divided into two distinct groups according to their spin; bosons have integer spin (0, 1, 2, 3, ...) while fermions have half-integer spin (1/2, 3/2, 5/2, ...). Spinorial wavefunctions can describe particles with any spin, although tensorial wavefunctions can describe bosons only."

M∧Ŝc2ħεИτlk 23:25, 6 December 2014 (UTC)

On the technical side of affairs: Tensors (in that they transform under integer spin reps) are not spinors and spinors are not a generalization of tensors in any way. It is another matter that a, say, vector field has spin 1. It doesn't make it a spinor. They always concern half-integer spin. Then, of course, you can take the tensor product of two spin representations and extract irreducible modules with various integer spin (tensors). This is also another story. YohanN7 (talk) 05:29, 7 December 2014 (UTC)
You'll notice in the series of recent edits I never said spinors "are" tensors but can replace tensors (or wording to that effect). M∧Ŝc2ħεИτlk 09:24, 7 December 2014 (UTC)
How? YohanN7 (talk) 11:11, 7 December 2014 (UTC)
... Because in physics there are sources (e.g. Penrose and Carmeli's Theory of Spinors) which suggest spinors can be used where tensors cannot. If it isn't the case in general then it isn't the case. I'm not to going to debate over this. M∧Ŝc2ħεИτlk 13:10, 7 December 2014 (UTC)
I'm not saying Penrose or Carmeli are wrong, but I do say that you have with 100% certainty misunderstood what they are saying based on what you have written here and edited into the article. Wave functions governing integer spin particles simply aren't spinors or "spinorial in nature" - unless you use some weird non-standard GA terminology. YohanN7 (talk) 13:52, 7 December 2014 (UTC)
A spin j representation of the rotation group, whether j is integral or not, can be written as a symmetrized product of 2j spin 12-representations. See Van der Waerden notation or (better) Landau & Lifshitz Quantum Mechanics and Quantum Electrodynamics. This is an example of taking tensor products of spin representations and extracting irreducible modules with various, sometimes integer, spin. For instance, relativistic fields belonging to the (A, B)-representation of the Lorentz group are written with 2A two-valued (12, 0) indices (undotted) and 2B two-valued (0, 12) indices (dotted). This does not make the resulting space a space of spinors in the sense of normal usage of the word, and especially not in the sense of the spinor article. I don't know if this is precisely what the Carmeli and Malin are doing (have only parsed it quickly, seems to be a nice book), but they are surely doing something to the same effect. Well, either that or they say that the symmetry groups of physics are SU(2) and SL(2, C) instead of SO(3) and SO(3, 1), which is permissible (see Weinberg p 90.) provided you modify quantum mechanics accordingly. This still doesn't lead to spinors in the sense of Wikipedia. It is the other way around. The SU(2) and SL(2, C) are simply connected and have as such no goofy projective (spin) representations at all. They are called spin representations, and their elements spinors, because the groups in the guise of being universal covers of SO(3) and SO(3, 1) are called Spin(3) and Spin(3, 1). While your edits didn't say that spinors are tensors, they did say that tensors are spinors (In general, the wavefunction for a particle with spin is a spinor.), which is misleading, so you @Maschen: can hardly blame me and be in a bad mood because I reversed those changes. YohanN7 (talk) 11:53, 9 December 2014 (UTC)
What now?
I was not bitter/angry/whatever about "your reversion" and never will, I said "I'm neutral on how we do this". If anything the original wording (by me) was "The wave function is spinorial for fermions, namely particles with half-integer spin (1/2, 3/2, 5/2, ...), or tensorial for bosons, particles with integer spin (0, 1, 2, 3, ...).". But never mind. M∧Ŝc2ħεИτlk 19:39, 9 December 2014 (UTC)
Well, you said you didn't want to discuss it if I thought it was incorrect, which is kind of strange because In general, the wavefunction for a particle with spin is a spinor is a pretty wild claim (and unheard of) to put into the articleFace-smile.svg I have nothing against your original formulation of above, that could have been kept unless our friend the nb-hater had come in between.
By the way, the "dotted-undotted" formalism is widely used and badly covered in Wikipedia. Van der Waerden notation could be extended substantially with stuff from Carmeli & Malin, and L & L. YohanN7 (talk) 20:32, 9 December 2014 (UTC)

undue weight given to Nature paper by Pusey Barrett Rudolph 2012 in 'Ontology' section[edit]

I think the present account of the 2012 Nature paper by Pusey Barrett Rudolph gives it undue weight. In a brief section such as the current one headed Ontology, it is inappropriately recherché. The paper is, charitably read on its merits, of marginal value. And not suitable for an account, even a one-sentence one, appearing here. Editor Sbyrnes very kindly gave an interpretation of it. While admirable, that interpretation seems more original research or editorial commentary than immediate reporting of the source. I think the felt call for such interpretive explication would be better responded to by simply removing the present account of the paper.Chjoaygame (talk) 16:08, 6 December 2014 (UTC)

I assume you are talking about this: On the reality of the quantum state
While the paper is authentic, I can't say whether it has any value or is worth mentioning here. The sentence in question has been around in the article since (too!) shortly after the publication. You are probably right. YohanN7 (talk) 16:53, 6 December 2014 (UTC)
I think that the paper is quite explicit that it is only talking about pure states and I think it is straightforward paraphrasing rather than commentary to say that the paper proves "whenever two observers both think that a system is in a pure quantum state, they will always agree on exactly what state it is in". The other part "(but this may not be true if one or both of them thinks the system is in a mixed state)" is definitely editorial the way it's written now. But it could be fixed by moving the citation:
...whenever two observers both think that a system is in a pure quantum state, they will always agree on exactly what state it is in [26] (but this may not be true if one or both of them thinks the system is in a mixed state [??])
where [??] is a different reference, probably to any decent description of EPR and/or mixed states in a QM textbook.
I think this is valuable information for readers, and uncontroversial, and that it can be properly cited even if it isn't properly cited right now. So I vote against the option of deleting it altogether.
It would also help if, instead of just citing Pusey et al. for the first clause, we also cite a textbook or two. I do think that this fact about pure states has been well-known and uncontroversial since the early 20th century, even though Pusey et al. try to make it sound like new progress. --Steve (talk) 14:50, 7 December 2014 (UTC)

Born's conditions[edit]

This website refers to the 'requirements' as "Born's Conditions". I'm not sure if that is a common term. RJFJR (talk) 17:33, 17 December 2014 (UTC)

Wasn't it Born that came up with the probability density interpretation? In that case, the square-integrability could be attributed to him, but referring to the whole package to Born's conditions would require a reference. YohanN7 (talk) 05:36, 18 December 2014 (UTC)
I am not a physicist, and cannot vote here; but anyway, I think it is a fuss, to formulate, once and for all, conditions on the wave function.
If we do not idealize the conditions, then everything is smooth (infinitely differentiable, at least). Though, we always idealize, at least a little, since otherwise we have no quantum mechanics (but rather quantum field theory, or even worse) and therefore no wave function.
The truth is, the Hilbert space of state vectors, and operators ("observables") on it, rather than the wave function and its values at points.
The Hilbert space is complete; thus all functions of L2 must be here.
Dealing with bounded operators we can use all vectors.
But many observables are unbounded operators; their domains are dense in the Hilbert space, but not the whole space. This is the origin of restrictions. And it is hardly a good idea, to fix once and for all the "right" collection of "physically natural" observables and formulate the conditions accordingly. Relevant observables depend on context, and the same holds for conditions.
Boris Tsirelson (talk) 07:26, 18 December 2014 (UTC)
You are of course right. The problem is that the description (in the article) is all over the undergraduate literature. (I had similar concerns with the "inner product" as defined in the article. Those concerns ended up with an "nb" in the text.) Perhaps we should, in this case, focus more on what is actually correct than what is most often presented in the literature. I think so because this is a central article. The "truth" can of course be referenced too, but the difficulty of the article increases with its rigor. Perhaps there is a middle path. One could relegate the technical details to an "nb", and edit the text to talk about "physically realizable" wave functions. Physicists often talk about two Hilbert spaces, Hilbert space and physical Hilbert space. The latter isn't always a Hilbert space AFAIK, e.g. superpositions of states of half-integer and integer spin are assumed not to exist (hence not even a vector space). Just a thought. YohanN7 (talk) 11:46, 18 December 2014 (UTC)
About "physical Hilbert space", it seems, you mean superselection. Yes, indeed, we should not add vectors from different superselection sectors. We also do not need such sums, since anyway, observables never intermix these sectors. All my arguments should be applied only within a sector. But still, a sector is a Hilbert space. It is complete. It must contain non-smooth functions, etc. Boris Tsirelson (talk) 12:21, 18 December 2014 (UTC)
Yes, but my point is that we could perhaps retain the "requirements" as describing physically realizable states that have a reasonable interpretation, while leaving Hilbert space, with all its states, intact (complete). It does not represent my opinion (I don't have one), nor does it represent logical arguments, it is just a though, since the formulations exist in the literature. YohanN7 (talk) 13:03, 18 December 2014 (UTC)
Moreover, there is a kind of complementarity here. The less idealized observables, the more state vectors. Position measuring devices cannot have infinite resolution. Moreover, if not so much idealized, they are described by smooth functions (on the space) rather than points or even (smoothly bounded) domains. And if so, then the corresponding restrictions on the wave function disappear! No more values at points, and no more continuity. Just an equivalence class... The same holds for momentum observables, and whatever. (Is this my OR or POV?) Boris Tsirelson (talk) 08:00, 18 December 2014 (UTC)
Probably, the most "universally relevant" observables are Hamiltonians. Free-particle Hamiltonians. Interaction Hamiltonians (two-particle interactions, and many-particle interactions if needed). Ultimately, every measuring device must be a combination of particles, interacting with the object via these Hamiltonians. Though, in practice, classical external fields are a very convenient idealization. Boris Tsirelson (talk) 08:28, 18 December 2014 (UTC)
Now it may seem that a wave function must belong to the domain of the Hamiltonian(s). But wait; the Hamiltonian is nothing but the generator of dynamics. The self-adjoint generator of the one-parameter unitary group of evolution operators. Being continuous, evolution operators are well-defined on the whole Hilbert space. If a vector belongs to the domain of the Hamiltonian, then its time evolution is a classical solution of the Schrodinger equation. Otherwise it is not; so what? it is a generalized solution (the limit of a sequence of classical solutions, convergent in the metric of the Hilbert space).
In this sense, ultimately, a wave function is an arbitrary element of the relevant Hilbert space. Wow! Boris Tsirelson (talk) 09:51, 18 December 2014 (UTC)
True, the expected value of coordinate, momentum, energy, or any other unbounded variable is ill-defined for arbitrary state vector. The reason is rather mathematical, not physical: generally, the expectation is ill-defined for an arbitrary probability distribution. True, we like to calculate various expected values; and in order to do this, we need some conditions. However, we never observe an expected value in an experiment (just because it is too sensitive to the tail of the distribution). Remarkably, in quantum theory, everything empirically available depends continuously on the state vector. Not only evolution operators (being unitary) are continuous; but also the probability for a measurement outcome to belong to a given interval is continuous (being always of the form \langle A\psi, \psi \rangle with operator A satisfying 0\le A \le 1, therefore bounded). Boris Tsirelson (talk) 11:04, 18 December 2014 (UTC)

Quantum structure constructs compound wave function[edit]

quantum the smallest energy unit able to act or react with any other energy and cause change. wave function is simply the transfer of this change over time. compound wave function is simple the quantum change (singular) extended to quantum change (multi- singular) if the quantity of energy creating quantum change is greater than that required for 1st change further changes can occur, the compound wave function is the physical effect of energy's ability to create force and force creating change within that area of space at that point in time.Cubedmass 00:19, 22 December 2014 (UTC) — Preceding unsigned comment added by Cubedmass (talkcontribs)