User talk:Tsirel

From Wikipedia the free encyclopedia

RETIRED

2007

[edit]

2008

[edit]

2009

[edit]

2010

[edit]

2011

[edit]

2012

[edit]

2013

[edit]

2014

[edit]

2015

[edit]

Zero probability

[edit]

Hi Tsirel,

I disagree with the statement in the probability density function portion. I recognize the point you are trying to illustrate but the answer is too absolute. I recognize that you are in essence trying to describe: lim(x-->∞) 1/x (except x never reaches infinite, it just gets really really close so we round to zero).

At the same time I dont believe what you are describing exhibits the same behaviour. While the likelihood may be slim in my opinion you must always leave room for a highly improbable event to occur. For example if I flip a coin 2 million times - what is the chance I flip 2 million consecutive heads? Very unlikely but still _possible_. If I flip it 2 trillion times - what is the probability that I flip 2 trillion heads? Very very unlikely but it is still a possible outcome.

The only point I am trying to make is that while it is very very unlikely that any one event occurs at a very specific time it will always remain possible. Pretending that it is an absolute is misleading with respect to how probability works.

Sorry if this is poorly formatted - I am new to all of this!

Bobrossmademedoit (talk) 14:00, 23 January 2016 (UTC)[reply]

Hi. I know that many non-mathematicians somehow interpret "infinite" as "very large but still finite". Remarkably, many years ago I was asked by a student: "really, I do not understand, how are the points placed on the continuum; are they exactly next to each other, or are there small gaps between them?" I was confused and have not found an answer. I still can not answer. The mathematical continuum just cannot be discussed in such terms. (This is not about physical continuum; there, no one knows the ultimate truth.) Anyway, probability theory is based on measure theory. A single real number (or rather, the singleton - the set containing only this single number) cannot have any non-zero measure, since for every it is contained in some interval shorter than See Almost surely. True, the probability of 2000000 consecutive heads is 2-2000000, not zero. But the probability of the infinite sequence of heads is exactly zero (since it is less than 2-k for all k. You may wonder, how it happens that the total probability 1 is the sum of zeros. The answer (of the measure theory) is that the sum rule applies to finite sums, and to countably infinite sums, but fails for uncountable sums; and the continuum is an uncountable set. Boris Tsirelson (talk) 15:12, 23 January 2016 (UTC)[reply]
Additional reason for possible confusion: the limit, used in calculus/analysis, treats infinity as something only approached but never reached. Moreover, during many centuries this was the only approach to infinity in mathematics. But the last century (and a bit more) the actual infinity is allowed, and widely used, in mathematics. In particular, in measure theory, and therefore in probability. An infinite probability model is not an infinite sequence of finite models! Boris Tsirelson (talk) 15:33, 23 January 2016 (UTC)[reply]
You may say: if so, then probability theory is detached from reality, since an infinite experiment can be only a thought experiment, never a real experiment. Well... idealization is the way of mathematics. Geometry is about points of zero size, lines of zero width, etc. Does it mean that geometry is detached from reality? Boris Tsirelson (talk) 15:48, 23 January 2016 (UTC)[reply]
I think it is correct to say that an outcome having probability zero does not mean the same thing as the outcome being impossible. YohanN7 (talk) 12:36, 25 January 2016 (UTC)[reply]
Well, here is my opinion on this interesting point.
We do not ask the Euclidean geometry questions about the physical space: is it Euclidean in the large? in the small? what is the meaning of a curve of zero width? etc. We understand that mathematics is not philosophy; relations between mathematics and reality are a philosophical topic, not mathematical. (Still, mathematicians may actively discuss them; they may also play chess, make music etc. etc.) But the same applies to probability theory! It calculates probabilities. No less, no more. (Well, also expectations, spectral densities and many other things that ultimately boil down to probabilities.) Sometimes it says : this probability is zero. But you cannot ask it, what does this mean in reality. Ask philosophy, not probability theory.
I recall the expression "quantum silence" (means: you cannot ask the quantum theory, how it may be like that...); but similarly we could say "mathematical silence", "probabilistic silence" and so on. Boris Tsirelson (talk) 14:37, 25 January 2016 (UTC)[reply]
To be more specific: zero probabilities (and the notion "almost sure") do not occur in discrete probability (just like curves of zero width do not occur in finite geometries). They occur in continuous probability, and are about thought experiments only. Thus, they are not related to reality at all! Well, in some indirect way they are; but not directly. Before asking, whether an outcome of probability zero is possible or not, think, whether the corresponding experiment is feasible, or not. Boris Tsirelson (talk) 14:43, 25 January 2016 (UTC)[reply]
In simpler words: before asking "can a monkey type all digits of π at random?" ask "can a monkey type infinitely long at all?" (And even if you answer affirmatively, the next question: "can we observe and estimate the ultimate result, after the endless experiment is completed?") Boris Tsirelson (talk) 15:14, 25 January 2016 (UTC)[reply]
And if someone feels able to imagine that we can perform infinite probabilistic experiments and after that (!) collect their results and observe their statistics, then I have an interesting question to such person. Let A be a nonmeasurable(!) subset of [0,1] (its existence is ensured by the choice axiom). Let us choose at random a number on [0,1] and check, whether it belongs to A or not. Let us repeat this experiment 1000000 times. What will we observe, typically?
In some sense, both the choice axiom and the probability theory extend our intuition from finite to infinite. But these two extensions contradict each other! Boris Tsirelson (talk) 17:41, 25 January 2016 (UTC)[reply]
When I wrote the above I had in mind that we philosophically accept (for the sake of reasoning) that we actually can, say, throw darts at the unit disk and record the exact result. You partly already answered a question I then meant to ask about non-measurable sets. Another question about murky waters: What should one think about the axiom of symmetry? (I have an opinion, but not a very strong one.) YohanN7 (talk) 10:53, 26 January 2016 (UTC)[reply]
Wow! I did not hear about this. Thanks for letting me know. But generally, play with axioms is not my hobby. I am glad that the continuum hypothesis is not called "the continuum axiom" (nor its negation is); and I'd prefer the name "symmetry hypothesis" to "axiom of symmetry".
A physicists likes to play with his "axioms", written on a blackboard that has to be erased every five years (who said so? I do not remember). But a mathematician would prefer axioms to be engraved on the tablets. And no wonder: a physicist can test his axioms against empirical facts; a mathematician cannot.
We would be most happy with an axiom "the infinite behaves like the finite"; alas, this leads to contradictions. We take some special cases of this principle. But doing so we are in the trouble of Buridan's ass. For example, what to choose: the choice axiom, or the axiom "everything is measurable"? Here is my text about this, if you like.
I really enjoy the set theory. But its consistency is for me hardly more than an optimistic hope. I do not think I really understand what it is, the set of all points of the plane (or the disk). Boris Tsirelson (talk) 17:56, 26 January 2016 (UTC)[reply]
I think that the axiom of choice breaks the axiom of symmetry as well. At the risk of me blundering: Whatever the cardinality ℵα of the continuum is, wellorder the unit disk with order type ωα. Now throw the first dart. The ordinal corresponding to the first real number then has ℵβ predecessors with β < α, and hence is a set of measure zero. The next dart will hit a real number with corresponding ordinal bigger than the first with a probability of 100%. What happens to symmetry here? Am I making a blunder? (If CH holds, the first dart hits a countable ordinal. There are uncountably many countable ordinals bigger than it.) YohanN7 (talk) 11:04, 29 January 2016 (UTC)[reply]
"has ℵβ predecessors with β < α, and hence is a set of measure zero" — really? is there such theorem? Boris Tsirelson (talk) 12:15, 29 January 2016 (UTC)[reply]
I don't know, but I have read on talk pages here that sets of cardinality less than the continuum have Lebesgue measure zero. The post I think about was written by someone I really trust. Don't want to "out him" holding him responsible, because I may remember wrong. I'll try to find the post I am thinking about. YohanN7 (talk) 12:22, 29 January 2016 (UTC)[reply]
Found it: Talk:Vitali set#Vitali sets and the Continuum Hypotheses. Incidentally, it was my original question (many years ago, now I believe more or less that non-measurable sets are the norm rather than the exception) if not smaller sets could have badly behaves measures. Trovatore's reply mentions the ℵ2 case at least, but not the general case. I remembered wrong. Buit still, AC breaks symmetry if the continuum is ℵ2 or smaller? (I'll be unable to respond further for a couple of days.) YohanN7 (talk) 12:31, 29 January 2016 (UTC)[reply]
I see. But Trovatore does not say this is a theorem; rather, that this does not contradict ZFC. Play with axioms, still. What should we do with all these tempting (separately) but contradicting each other "new axioms"? Boris Tsirelson (talk) 13:07, 29 January 2016 (UTC)[reply]
As for me, if two "new axioms" are both tempting but contradict each other, then neither deserves the name "axiom", since neither is "a self-evident or universally recognized truth". Also, if a contradiction was not found during some centuries, this is not a reason to believe that it does not exist. In this sense, mathematics should not be experimental. Boris Tsirelson (talk) 14:42, 29 January 2016 (UTC)[reply]
I agree. I am also not entirely sure whether mathematics needs axioms beyond (say) ZFC. But just like physicists must search for dark matter, set theorists must search for new axioms, perhaps even search for, what they believe, are true new axioms. Besides all that, playing with axioms is fun – even for a layman. There are even respected set theorists that play with them to the extent that the continuum hypothesis and Bell's theorem are mentioned (Magidor) on the same page (section 5). YohanN7 (talk) 13:25, 4 February 2016 (UTC)[reply]
I suspect that the fun of playing with axioms leads to a kind of The Glass Bead Game. Boris Tsirelson (talk) 11:41, 5 February 2016 (UTC)[reply]

(Unindent)

Philosopher Nicolas Malebranche was the first to advance the hypothesis that each embryo could contain even smaller embryos ad infinitum, like a Matryoshka doll. According to Malebranche, "an infinite series of plants and animals were contained within the seed or the egg, but only naturalists with sufficient skill and experience could detect their presence."

(Quoted from Preformationism#Elaboration_of_preformationism.)

Could God create an infinite decreasing sequence of embedded embryos? Well, by definition, He could create anything. But, to this end, He should first create the physical space(-time) that follows the idea of the mathematical continuum. As far as we understand, He did not. Or do you believe that Banach–Tarski paradox tells us something physically meaningful? I do not. It seems to me that some reasonably good subsets of the mathematical continuum may be interpreted as parts of the physical space, but nonmeasurable sets surely cannot (and many measurable sets cannot, too; just think, how to distinguish physically a Borel set from an analytic set in the physical space). For me, the phrase "nonmeasurable set of points in the physical space" is as ridiculous as "nonmeasurable set of directions in the physical space". Thus, for me Pitowsky's idea is at best a good joke. Boris Tsirelson (talk) 15:52, 4 February 2016 (UTC) I tried once to voice my opinion about choice axiom in general and Pitowsky's idea in particular, see Sect. 4, page 33, here. Boris Tsirelson (talk) 19:09, 4 February 2016 (UTC)[reply]

Infinite decreasing sequence of embedded embryos would be ruled out by the axiom of regularity if spacetime is (described by) any set?
No, why? A decreasing sequence of embedded intervals surely exists, and is widely used in analysis. Boris Tsirelson (talk) 11:45, 5 February 2016 (UTC)[reply]
I confused belonging (∈) and subset (⊂) there (the description could be read that way). YohanN7 (talk) 11:49, 5 February 2016 (UTC)[reply]
I don't have any idea about the true nature of spacetime, but if it can truly be modeled by ℝ4, then non-measurable sets of spacetime must exist. (Notice I didn't say I believe this is the case, or that there is anything substantial (besides math) in Pitowsky's ideas.) I still don't think the Banach–Tarski paradox means anything physical in this case. For it to mean anything, we'd need a bunch of non-measurable sets to be filed with matter with matter only there. This is ridiculous, since even localization of a single particle to a point is physically impossible. I'd apply the same argument to Borel sets or any sets. But empty spacetime doesn't pose the exact same problems. The sets would be there but totally undetectable and devoid of physical meaning. YohanN7 (talk) 11:34, 5 February 2016 (UTC)[reply]
And what about Quantum foam? Boris Tsirelson (talk) 11:51, 5 February 2016 (UTC)[reply]
My knowledge about quantum foam is not even at the popular science level. I couldn't say. YohanN7 (talk) 13:35, 8 February 2016 (UTC)[reply]
Well, even if I admit existence of a nonmeasurable set of directions in the physical "empty space" (which I am reluctant to do), it does not save Pitowsky's idea. The Stern-Gerlach apparatus is material, and has no more than a finite number of states! (I recall this argument used by Bekenstein: the state space of everything in the given finite volume is finite-dimensional, since too high energy would lead to gravitational collapse...) Its orientation is a coherent combination of its spin states; these are a lot - but finite; and detection probability cannot be a nonmeasurable function of the orientation, since its is polynomial! Boris Tsirelson (talk) 14:37, 5 February 2016 (UTC)[reply]
Oops, no, we should not assume any property of nature beyond the local realism! Hmmm... then Pitowsky is right: violation of Bell inequality is possible in "classical" physics that admits nonmeasurable functions in basic interactions... a monstrous assumption... but the alternative is entanglement! Boris Tsirelson (talk) 15:27, 5 February 2016 (UTC)[reply]
No, Pitowsky is wrong. His nonmeasurable function explains the experimental fact only if the directions (of the apparata) are fixed ideally (with no error at all). But clearly, they are not, and still, Bell inequality is violated. Boris Tsirelson (talk) 16:18, 5 February 2016 (UTC)[reply]

After all, my point is ridiculously simple:
Every feasible sensor has a finite resolution.
Therefore any fine structure of a (mathematical) function on a (mathematical) continuum (including two-valued functions, a.k.a subsets) is physically meaningless.
Boris Tsirelson (talk) 17:24, 5 February 2016 (UTC)[reply]

Dark matter has (at least) gravitational effect. The fine structure (discussed above) cannot have any physical effect at all. Never. Much deeper darkness... Boris Tsirelson (talk) 17:30, 5 February 2016 (UTC)[reply]

I agree with you. But I also agree to some extent that (from Magidor)
As to be expected we do not have any definite case in which different set theories have an impact on physical theories, but we believe that the possibility that may happen in the future is not as outrageous as it may sound.
Mathematics itself cannot decide on new "true" axioms. There is Gödel's theorem (there are always new axioms), but, in addition, the disagreement among set theorists about which candidates for new axioms are "true", let alone that several "viable" axioms are incompatible. That physics could "decide" is outrageous. But it is not as outrageous as it might sound that physics could act as a tie-breaker. (This is clearly not the case with Pitowsky's theories, but suppose for the sake of reasoning that Pitowsky's theories were sound and that experimental evidence existed. Then this would be a strong argument for card c is not real valued measurable. (It is strong because it is more than nothing and deductive mathematical arguments, in any direction, from ZFC do not even exist.) Note that this is rather physics having an impact on set theories than the other way around.) I assign to it happening a nonzero probability, but nonzero numbers can be very small – hence I am not rushing to the betting shop – and can also not be held responsible for believing that it will happen. I don't. YohanN7 (talk) 13:35, 8 February 2016 (UTC)[reply]
Nice. I feel consoled to see that Magidor admits that "it may sound outrageous", and by your reservations. A consensus is reached, I'd say. But here is my reservation. After Einstein we know that, in some reasonable sense, the physical space is non-Euclidean (which was suspected by Gauss...). But it did not lead to any change in the axioms of mathematics. Mathematics provides models for everything (as Anatoly Vershik told me); vector space and Riemann manifold are just two of them. Imagine that, influenced by Einstein's theory, mathematicians switch to different foundations that exclude vector spaces from mathematical objects. Now what? Should Heisenberg describe quantum observables by (nonlinear) transformations of a manifold? Boris Tsirelson (talk) 14:10, 8 February 2016 (UTC)[reply]
Interesting and relevant reservation. No, imo physics could never invalidate (even parts of) mathematics because it applies to more than physics. But it could provide a pointer to what a Platonist might accept as true axioms, i.e. some axioms are more equal than others? Without a doubt, there will always be those taking the point of view that anything consistent goes (because it is just symbols scrapped down on a sheet of paper obeying some logic). But then Einstein's general relativity surely did change the direction of mathematics a little bit, by supplying beautiful application fairly early on after Riemann, making it (Riemannian geometry) even more of a subject worth of study. But this is just one example of mathematics and physics influencing each other. YohanN7 (talk) 15:02, 8 February 2016 (UTC)[reply]
Just one example? For now, unexpected physical revelations influence the choice of (a) relevant mathematical objects (Riemannian-like 4-dim manifold with indefinite metric? Inf-dim vector space over complex numbers?), and (b) their physical interpretation (general relativity? Copenhagen interpretation?), but not (c) axioms. Should this pattern be changed? When and why? Boris Tsirelson (talk) 15:12, 8 February 2016 (UTC)[reply]
Just one example?
That had me puzzled for a while. Now I see. Of course, experimentally verifiable physics having mathematical impact isn't discovered every year. Once per century at current pace? Maybe. Newton's second law is a differential equation, and needed prior development of analysis to be formulated. General relativity mentioned. Quantum mechanics has certainly had impact on mathematics. Figures like Hermann Weyl were physicists as much as mathematicians. Next event? Who knows.
But the current trend of physics at any time does have an impact, whether the physics is real or not. The prime example of the present day would be the continued failure of string theory to produce physics while pumping out massive mathematics, including a fields medal (Witten).
I think (a) and (b), but not (c) is what we will see with probability 1 – ε, ε > 0, 1⁄ε >> 1. Our intellect will guide (but can take us just that far for (c) (ZFC but not much more is the limit?)), not physics – unless something really unexpected happens. YohanN7 (talk) 11:24, 5 March 2016 (UTC)[reply]
Yes.
By the way, about "anything consistent goes": in some sense this is evidently absurd. Everyone can "invent" thousands of games more or less similar to chess but different. But then he can play these games with himself only (maybe, with two or three other eccentric persons). This is just "coagulation" with no real reason. Everyone can "invent" thousands of axiomatic systems whose consistency follows from that of ZFC (say). But his chance to find a partner is even much less than in the chess case. Axiomatics attracts not just by "coagulation"; it reminds us something that happens outside mathematics. When deducing theorems in a "random" axiomatics I would be much weaker than a computer. When deducing theorems in a "meaningful" axiomatics I am much stronger than a computer. This "meaningfullness" is a channel of strong influence of physics on mathematics. Boris Tsirelson (talk) 11:52, 5 March 2016 (UTC)[reply]
And here is another explanation why ZFC is (more or less) immune to physics and other influences. See my "Theory (mathematics)" [3] = [4], especially Section "Mathematics is not isolated". ZFC is like a unformatted harddisk. Then you define set inclusion, function, cardinality etc., and get something like a formatted disk. Then you build group theory, topology etc., and now the disk contains something useful. And so on. Some day you forget the *.mp3 file format and use *.mp4 format; but it does not mean you need another hard disk, as long as it is large enough and fast enough. This is the metaphor... Boris Tsirelson (talk) 12:43, 5 March 2016 (UTC)[reply]

Law of a stochastic process

[edit]

Hi Tsirel,

you reverted my edit to add an example of how to evaluate the probability measure of a single (possible) trajectory in the article about the law of a stochastic process. I think that example makes the article clearer for people without experience in mathematical formalities. I would like to restore that example, maybe separate it from the definition. Niout (talk) 12:36, 20 February 2016 (UTC)[reply]

But did you read the reason (on my edit summary)? "No, this formula makes sense when a single function has a positive chance, which is atypical." Your comment, please. Boris Tsirelson (talk) 15:12, 20 February 2016 (UTC)[reply]

Article needs help!

[edit]

Stochastic interpretation could perhaps use your particular expertise. Sławomir
Biały 15:13, 5 March 2016 (UTC)[reply]

Why? It is already seen by User:Headbomb. Boris Tsirelson (talk) 16:20, 5 March 2016 (UTC)[reply]
It doesn't offer much of a clue about the current state-of-the-art. Sławomir
Biały 16:46, 5 March 2016 (UTC)[reply]
I was never interested in that approach. Just now, after a look at Tsekov 2009 in arXiv (version of 2015), I did not find there anything able to produce an interpretation of quantum mechanics. A vague hint (in the Wikipedia article) about nonlocality could refer to microscopic wormholes able to violate Bell inequality. But Tsekov does not mention anything like that. Current state-of-the-art? What is it, really? The only non-Tsekov ref from the 2015 version of Tsekov to anything after 2000 is [4] that is hardly relevant to wormholes. Thus, I am still not interested. But, being not a physicist, I do not want to fight against it, given that Headbomb does not (and I do not know, why). Boris Tsirelson (talk) 17:49, 5 March 2016 (UTC)[reply]
According to Who'sWho, Roumen Tsekov is a chemistry educator. Hmmm... Boris Tsirelson (talk) 17:59, 5 March 2016 (UTC)[reply]
His ORCID data: [5]. Boris Tsirelson (talk) 18:08, 5 March 2016 (UTC)[reply]

Shall we continue somewhere else?

[edit]

Evidently I'm rather bitter about Wikipedia (and the mathematics section of it) I'd love someone to play devil's advocate for me. 90.199.52.141 (talk) 19:30, 17 March 2016 (UTC)[reply]

Clearly you are the (anonymous) author of this pearl.
Well, I am bitter, too. But, it seems, I understand that this is inevitable. In the "real world" (outside wikipedia) we have a lot of literature on every (notable) matter. Why? Since we readers are very different. Tensors are of interest for mathematicians, physicists, engineers, the last time even health professionals. Clearly no one can satisfy them all with a single text. (And moreover, no one can satisfy most students of mathematics with a single textbook for each course.) Wikipedia refuses the idea of having parallel articles for different readers. (I do not support this refusal; but anyway, I cannot fight it.) This is one of the inherent drawbacks of Wikipedia. If you have ideas how to overcome it, I'll be glad to hear. For now, every reader must suffer from the presence of other, very different readers. Such a communal apartment. Just a recent example: yesterday, someone marked "Gambler's ruin" as "too technical" (really?). Boris Tsirelson (talk) 19:45, 17 March 2016 (UTC)[reply]
I had prepared a long slight rant of an answer, after venting that there are clearly two cases. We have things where 1 word means different things to different groups (see any disambiguation page for that) and we have cases where something is used by groups in-the-same-way-even-if-they-don't-know-it-kindof. Obviously there is a point where we switch from separate pages to unified pages. I cannot hope to give you a specific set of rules for this. As I'm imagining you know too, we're neural networks, we're naff at remembering explicit lists of rules and checking something matches them but we are quite good at learning patterns and even if we cannot reconstruct explicit rules can still apply their sum.
The same applies to articles, I think (and have an example of a starting point) that expectation is on the "1 for all" side of "expectation, as in of a random variable" - I include my old answer below:
I meant better than edit and indent. But sure I do! This might give away who I am and I don't really want that (it's no one famous, or that you'd have heard of) but there are some doctrines I try to follow, the idea being that it is useful then to whichever level of reader (first year or beyond) ends up seeing it. Some things have to be "first year friendly" like sequences, or functions (like putting the set-view (relations) of functions before the lambda, but mentioning the lambda in a see-also section) and so forth. Expectation I give you is less clear-cut because the countably infinite (and finite, that's just one with a load of 0s) and on are two huge distinct chunks and it isn't the article's place to be like "Yeah these are specific cases of a general concept of integration" so I would start with the general and move down. We have sub-headings! That page is scattered all over the place.
I'm not making much sense and I really don't want to blow my cover.
What a page might look like, using indents as subheadings

(intro, __TOC__ maybe a nice infobox....)
Definition
Given a random variable, (a measurable map from a probability space (this is what I was looking for: to what? Borel sigma-algebra, naturals.... - there has to be some structure here; totally ordered?)) we define the expectation(references here) as:

Where (that integral) denotes the Lebesgue integral (it is NOT THAT HARD to get a reader to have some not-formal-but-I-can-see-how-that'd-work understanding of integrating this way - I can prove this claim)
Notable special cases

The integers and countably infinite AKA DRV case
CRV / real case
A vector of CRVs is isomorphic (perhaps wrong word) to a CRV of vectors (you know what I mean)


Immediate results
It's linear, that stuff
Intuitive understanding
I'd use the "expected value of 1/n" (being n) example here. Maybe another example like a game/distribution with 0.25 for 0.5 for 2, 0.25 for 3 and be like "if you did this 1 million" times
Examples
Why not, Maybe some non-trivial examples.

The reader will scroll down and at some point lock onto a familiar definition. If you want to prove it's linear for the general definition, DRVs and CRVs - add that. I like collapsible boxes for these.
  • May I apologise for the weird format of this comment, by the time I realised how strange it was I was already committed. I went surprisingly far with statistics before I went all formal (and knew measure theory was a thing) so I do see what you mean by accessibility, and evidently I'm only now doing it formally, but that's how I'd start the page. I've found that if people are "spooked" by the top of a page often they'll scroll down until they find something they can latch onto. It'd be a good place to put "but if you think about conceptually, there are a large number of parallels between expectation of CRVs and DRVs" but I digress.



Regarding bitterness, I mean Wikipedia's way of doing things. If someone is going to judge what I wrote or say something isn't notable and should be deleted, they better be from a circle in which if it was notable they've heard about it! Then you have these rules (this isn't a personal thing, I found this from reading about "duck typing") where you ignore votes that say basically the same thing. but on the voting to delete page it's like "but also if someone seems too contradictory we ignore that vote too" it's absurd.
I get deleting crap like when someone creates a page for their dog, but why would you put any weight on the option of deleting a page with some content and redirecting it somewhere barely related! EVEN IF you delete Mediawiki stores the deleted version just MOST PEOPLE cannot see it any more! No bytes are saved!
"We have a cleanup project" is code for "I just let my eyes loose focus and if I don't see enough little blue squares (citations) I put a vote-to-delete template on there and remove it from the work list" - I sometimes think for a "joke" I should build up a reputable account then when it comes to "cleaning up" training a neural network along similar lines to those I just mentioned.
THEN! When someone without an account sees this and thinks "this is crap" the same the program would go find people who are involved with polar opposite areas of Wikipedia to talk to the newbie and link to various internal wikipedia pages on said IP's talk page. The best troll doesn't dirty his or her hands.
Not entirely sure what I hope to gain from this and I do wish I'd chosen a better example 90.199.52.141 (talk) 20:35, 17 March 2016 (UTC)[reply]
I understand if it's TL;DR but do scan 90.199.52.141 (talk) 20:35, 17 March 2016 (UTC)[reply]
You express many thoughts; I understand only few, mostly because I seldom go outside math articles, and in addition, English is not my native language. Anyway, looking at your sketch of the article I see that you want it to be "Most general definition first, most accessible explanations last". Personally, I have no reason to object. But I know that Wikipedia is driven by wide audience, not by experts. And there is absolutely no chance that it will switch from "Most accessible first" to the opposite. In fact, I tried Citizendium (driven by experts), as you can see on my userpage. And it appears to be much worse than Wikipedia. It seems, "Wikipedia is the worst form of free information, except for all the others". Such is the life. Use it whenever it helps you, and use textbooks whenever it does not. There you can choose a presentation that fits your needs this time; here you cannot. Boris Tsirelson (talk) 21:48, 17 March 2016 (UTC)[reply]
(EDIT CONFLICT) Specifically, about the values of a random variable: generally it may be just a measurable space; but if expectation is used, then it has to be (at least) a linear topological space. This is not specific to probability; this is what is needed for integration in general. Though, integration of vector-functions (with inf-dim values) involves additional troubles; whether you need these this time, or not, depends on your needs. Boris Tsirelson (talk) 22:04, 17 March 2016 (UTC)[reply]
(RE CONFLICT) with some sort of (pointwise) multiplication. It's a job that requires a scrap of paper, I tried to take a short cut with wikipedia and here we are 90.199.52.141 (talk) 22:10, 17 March 2016 (UTC)[reply]
I guess we agree, and I love the "worst form of free information" bit, I've spent most of the last year (when I can) carefully referencing definitions, proving "differing" definitions the same and creating something I'd quite like your opinion on actually. Got a cyphered email address you'd be kind enough to put here?
I created a subdomain for one of my sites and said "if after a year it's still an active project, I'll make it permanent" 90.199.52.141 (talk) 21:57, 17 March 2016 (UTC)[reply]
Sorry, your English is again not so accessible to me (I mean "Got a cyphered email address..."). Anyway, my email address is public on my (professional) homepage that you can find easily. Alternatively, use "email this user" on Wikipedia. Boris Tsirelson (talk) 22:09, 17 March 2016 (UTC)[reply]
Sent, please pretend 90.199.52.141 never happened. 90.199.52.141 (talk) 22:52, 17 March 2016 (UTC)[reply]
Received and replied. Boris Tsirelson (talk) 15:41, 18 March 2016 (UTC)[reply]

Fortifying wikiquanta

[edit]

Two years ago the article "Affine space" was attacked by a non-expert. His position: the notion of affine space (like any other) must have just one definition treated literally; not only the structure, but also its encoding in the set theory must be fixed once and for all; otherwise mathematics is not rigorous. The attack was repulsed, but, bothered by the vulnerability, I built a bastion against possible attacks of this kind.

During almost two years, several articles in quantum mechanics were attacked by a non-expert. His position (as far as I understand): many authors use uncritically the mathematical formalism of quantum mechanics; one must follow literally Dirac's ideas about oven, anti-oven, analyzer etc., otherwise one gets some mathematics of doubtful physical meaning and relevance; in particular, most of the theory of entangled states is very unreliable. The attack is now repulsed, but, bothered by the vulnerability, I urge to erect a bastion against possible attacks of this kind.

It would be nice to have an article, or better several articles, that show how firm is the quantum theory, how reliable is its mathematics. With emphasis on successful experimental verification already done. We have "Quantum information science" and there on the bottom (footer template) "Physical implementations: Quantum optics, Ultracold atoms, Spin-based, Superconducting quantum computing." These articles are professional (which is good) and hardly accessible to non-physicists (which is worse). Their references (almost all) are articles, not books, in spite of existence of a number of books on these topics.

Various complicated entangled states of several qubits are prepared, then changed coherently by quantum gates, then measured, and results correspond to the theory. This holds uniformly for different physical realizations of the qubits, and holds both when all these qubits are situated together within a microscopically small volume, and when they (or at least some of them) are separated macroscopically. Joint probabilities of outcomes of measurements on different qubits are observed, and conform to the theory.

Therefore there cannot be any reasonable doubt that the quantum description of such states (generally highly entangled, and approximately pure) is successful. Boris Tsirelson (talk) 10:50, 14 April 2016 (UTC)[reply]

Discussion

[edit]

Looks like a good cause, but no memorable book jumps at me... I have my hands full at the moment, but will think about your quest. In some sense, I am a bit blase' about this... I had Feynman's volume III in college in the spring of 1971, and have not succeeded in questioning any of his pedagogical schemes and assertions there since... so have spent almost half a century scratching my head as to why people seem so metaphysically conflicted about QM... and what the fuss is about, really. Following the math, I have always thought these issues were settled before Acton's or EPR type experiments, Bell's inequalities, etc... (even though I am delighted by clever new schemes confirming orthodoxy like the Delayed choice quantum eraser.) Quantum computing types are breathing new life into this, but the issues have been settled in my mind for so long that they have become dull for me... almost as dull as arguing about the round earth... Will try to stay in the loop, making small, salutary changes when and where I could. Thanks, Cuzkatzimhut (talk) 19:14, 15 April 2016 (UTC)[reply]

Interesting! Are you a counterexample to the "rule" that those who are not shocked by the quantum theory did not understand it? Boris Tsirelson (talk) 20:22, 15 April 2016 (UTC)[reply]
I guess I am... I am happy with the part I do understand, and I see no reason to seek trouble. I mean, after 90 years of unremitting success and clearly bogus, harebrained, or worse, pseudo paradoxes, one would expect spirits to have calmed down— they actually largely have, in the professional community of users of QM. Since I am not interested in philosophy or psychology I would not get into the mode of how people keep on getting confused by Schr's cat nonsense and misconceptions... There are deeper mysteries to understand out there. Cuzkatzimhut (talk) 21:35, 15 April 2016 (UTC)[reply]

Hi Boris, this is really an appreciable aim. That articles are indeed rudimentary at best and just full of citations. Not so useful indeed. I cannot promise anything for sure but as I have some time I will approach some of these unsatisfactory articles. My current view about quantum optics, since the time were I was a contributor, is that is completely oriented to quantum computation. A respectable goal indeed but there are a lot of open questions yet that experiments like those by Serge Haroche could help to clarify, mostly for many-body systems. On the other side, all this mania about interpretations does not heat me up at all. My view is that this is just wasting precious time and resources. I hope to be helpful to your program.--Pra1998 (talk) 19:49, 15 April 2016 (UTC)[reply]

Thank you. Yes, I understand your feeling about interpretations. But this time the theory was attacked, not interpretation! It was claimed that most predictions for entangled states are not really predictions, but rather an abuse of the quantum theory. This is provably wrong, as we both know. But we are here on Wikipedia in order to (try to) spread our understanding, aren't we? Boris Tsirelson (talk) 20:15, 15 April 2016 (UTC)[reply]

I can see your point but I'm having a hard time imagining what the articles you say should be written should actually look like! A vast swathe of quantum mechanical articles have sources for experimental verifications of the predictions of quantum theory. Porphyro (talk) 10:42, 21 April 2016 (UTC)[reply]

To your first phrase: Yes; indeed, I feel the same.
To your second phrase: "verifications of the predictions", sure; but are they about entangled states?
The feature of both attacks (on affine spaces and quantum mechanics) is that the attacker is not stupid. He likes the theory! He objects to a careless overuse of the good theory (as he understands it).
The "quantum attacker" likes the wave function and all that. His red line is, an entangled state of a composite system whose subsystems are addressed separately. This case was indeed not experimentally available to the founding fathers. But now it is available; its "verifications of the predictions" are mentioned mostly in our articles on quantum information, and these are hardly accessible to non-experts, and do not emphasize this aspect: not only technological progress, but also verification of entanglement theory.
Now, back to your first phrase: maybe, a new section in the "Quantum information science" article? Boris Tsirelson (talk) 13:17, 21 April 2016 (UTC)[reply]

Sources (tentative)

[edit]
  • Goong Chen, David A. Church, Berthold-Georg Englert, Carsten Henkel, Bernd Rohwedder, Marlan O. Scully, M. Suhail Zubairy "Quantum computing devices: principles, designs, and analysis", Chapman & Hall/CRC 2007.
A wonderful book! Implementation of qubits and real experiments are discussed expertly; general conclusions are articulated (and the math of quantum computing is here, of course).
  • Our own writing has benefitted from many online resources. For example, Wikipedia, the free internet encyclopedia (http://en.wikipedia.org), is a constant source of ready help and valuable information. (p. xvii)   :-)
  • But seeds for quantum computing were planted more than half a century earlier. The following three profound events actually constitute the most important preludes that paved the way for the development of a modern quantum computer (QC):
(1) The Stern-Gerlach experiment (1920s);
(2) The Einstein-Podolsky-Rosen (EPR) paper [8] (1935) and its reply from Schrödinger [26];
(3) The Landauer principle on information erasure [19] (1961). (pp. 1–2)
  • There is no mechanism that decides whether the particle is spin-up or spin-down. Rather, it is a truly probabilistic phenomenon.
    As another consequence, we have deduced that there are nonlocal correlations in the real world. Hence there are no local hidden variable theories.     (p. 16)
Sect. 2.2 "Quantum mechanical systems; basics of atoms and molecules": no "axioms"; entanglement is introduced first, and the second is the Schrödinger equation. (Then, Sect. 2.3 "Hilbert spaces".)
Chapter 3 "Two-level atoms and cavity QED".
Chapter 5 "Quantum computation using cold, confined atomic ions".
  • N. Chandra, R. Ghosh "Quantum entanglement in electron optics", Springer 2013.
  • Quantum entanglement is one of the most intriguing phenomena in nature. (p. ix, Foreword by Uwe Becker)
  • Entanglement, like many others (e.g., wave-particle duality of light and matter, uncertainty principle), is a purely quantum phenomenon which defies all classical intuitions. (p. xii)
  • Availability of two or more qubits with entanglement (i.e., nonlocal correlation) is an essential ingredient for any quantum information related studies. These qubits can be of any kind of particles possessing two independent and simultaneously accessible states. Some of the well-known examples of such qubits are [17]: an electron or any other spin-½ particle; a two-level atom/ion; a photon with negative (left) and positive (right) helicities (circular polarizations), or with horizontal and vertical linear polarizations; states of two photons entangled with respect to their phase and momentum [19], or energy and momentum [20], etc. (p. 2)
  • <...> measurements on the entangled states of spatially separated subsystems allow physicists to test fundamental notions about the nature of the physical world in general, quantum theory in particular. The two kinds of of systems whose entangled states have hitherto been investigated [103] are those in which one can study properties of individual particles, or wherein collective measurements are possible. The later type includes, for example, cold clouds of 107 atoms(e.g, [104]), optical lattices consisting of 105 two-level atoms (e.g. [105]), etc. These ([104,105]) and other (e.g., [106, 107] etc.) collective measurements have shown [103] that multiparticle entanglement is capable of influencing macroscopi thermodynamical properties (e.g., magnetic susceptibility, heat capacity, etc) of solids. (p. 30)
  • Dieter Heiss (Ed) "Fundamentals of quantum information: quantum computation, communication, decoherence and all that", Springer 2002.
  • Modern experimental techniques have provided convincing evidence about various aspects of "quantum weirdness" in that, for instance, entanglement or teleportation are established as physical realities. Also, the mysterious collapse of the wave function is now replaced by a thorough understanding of the dynamical process which is decoherence. (Preface)
  • We accept the laws of quantum physics, mysterious and beautiful as they are, and try to explore them to design surprising and potentially useful devices. By doing so, it turns out that we do gain more and more insight into the working of quantum physics. (Bouwmeester, Howell, Lamas-Linares, p. 150)
  • Other principles, like the ones related to the measurement process and the superposition principle, have only recently become important in some applications. In particular, they form the basis of what is called quantum communication and quantum computation. These two fields have been strongly developed during the last few years, and they may well give rise to a technological revolution in the fields of communication and computation [1]. (Cirac, p. 199)
  • Entanglement plays an important role in most of the applications in the field of Quantum Information [1,2]. <...> Although for pure states of two systems, entanglement is well understood, ... (Cirac, p. 200)
  • For the moment, experimentalist have been able to perform certain quantum gates, and to entangle 3 or 4 atoms [19,12]. (Cirac, p. 202)
  • Generally, in Physics we associate physical quantities and situations with mathematical concepts. These mathematical concepts can then be processed using a series of rules (or axioms), which allows us to make predictions back on the physical systems. In particular, in Quantum Mechanics we associate different situations (states) of a physical system with the elements of a complex Hilbert space H. <...> The consequences of the mathematical structure of Quantum Mechanics are even more intriguing when we have a composite system. (Cirac, p. 210)
  • The existence of correlations, by itself, is not a property of entangled states. <...> However, the correlations carried by entangled states are, in some sense, different <...> we can perform things that are not possible using classical correlations. (Cirac, p. 212)
  • Implementation of an electron-spin entangler that make use of the s-wave (spin singlet) nature of conventional semiconductors were proposed in [13,14]. (Burkard, Engel, Loss p. 243)
  • Yoshihisa Yamamoto, Kouichi Semba (Eds) "Principles and methods of quantum information technologies", Springer Japan 2016 (Lect. Notes Phys. 911).
Basic rules of quantum mechanics (p. 3-10); generalized measurements and quantum operations (p. 15-23).
Cryptography: Quantum Key Distribution (p. 67) We have achieved QKD over 200 km of fiber <...> QKD is the first quantum information technology that can be put to practical use.
  • Jozef Gruska "Quantum computing", McGraw-Hill 1999.
Implementation of qubits and real experiments are (almost) not considered.
Sect. 2.2 Quantum entanglement
One of the most specific and also most important concepts for quantum computing and quantum information theory is that of quantum entanglement—also one of the most puzzling concepts of quantum physics. (p. 73)
Sect. 9 (Appendix)
Sect. 9.1.3 Quantum theory versus physical reality
  • Of course, there are attempts to assign physical reality to such concepts as quantum state, quantum systems and quantum measurement. However, they lead to hard-to-accept mysteries and so-called paradoxes. <...> the attempts to derive these theoretical concepts and principles only from the physical reality and to assign them physical meaning have not worked well. (p. 350)
Sect. 9.2 Hilbert space framework for quantum computing
(including density matrices, superoperators, and generalized measurements)
  • Frank Gaitan "Quantum error correction and fault tolerant quantum computing", CRC Press 2008.
Appendix B "Quantum mechanics" lists "axioms" of quantum mechanics. Implementation of qubits and real experiments are not considered.
  • Jonathan A. Jones, Dieter Jaksch "Quantum information, computation and communication", Cambridge 2012.
This book is aimed squarely at undergraduate physics students who want a brief but reasonably thorough introduction to the exciting ideas of quantum information, including its applications in computation and communication. <...> As this text is aimed at physics undergraduates, we believe that it is vital to cover experimental techniques, rather than merely presenting quantum information as a series of abstract quantum operations. We have, however, concentrated on the basic ideas underlying each approach, rather than worrying about particular experimental details. (p.1)
There are two ways to teach quantum mechanics. The first way — which for most physicists today is still the only way — follows the historical order in which the ideas were discovered. So, you start with classical mechanics and electrodynamics, solving lots of grueling differential equations at every step. Then, you learn about the "blackbody paradox" and various strange experimental results, and the great crisis these things posed for physics. Next you learn a complicated patchwork of ideas that physicists invented between 1900 and 1926 to try to make the crisis go away. Then, if you're lucky, after years of study you finally get around to the central conceptual point: that nature is described not by probabilities (which are always nonnegative), but by numbers called amplitudes that can be positive, negative, or even complex.
Look, obviously the physicists had their reasons for teaching quantum mechanics that way, and it works great for a certain kind of student. But the "historical" approach also has disadvantages, which in the quantum information age are becoming increasingly apparent. For example, I've had experts in quantum field theory — people who've spent years calculating path integrals of mind-boggling complexity — ask me to explain the Bell inequality to them, or other simple conceptual things like Grover's algorithm. I felt as if Andrew Wiles had asking me to explain the Pythagorean Theorem.
<...>
So, what is quantum mechanics? Even though it was discovered by physicists, it's not a physical theory in the same sense as electromagnetism or general relativity. In the usual "hierarchy of sciences" — with biology at the top, then chemistry, then physics, then math — quantum mechanics sits at a level between math and physics that I don't know a good name for. Basically, quantum mechanics is the operating system that other physical theories run on as application software (with the exception of general relativity, which hasn't yet been successfully ported to this particular OS). There's even a word for taking a physical theory and porting it to this OS: "to quantize."
But if quantum mechanics isn't physics in the usual sense — if it's not about matter, or energy, or waves, or particles — then what is it about? From my perspective, it's about information and probabilities and observables, and how they relate to each other. (pp. 109–110)
  • Nicolas Gisin "Quantum chance: nonlocality, teleportation and other quantum marvels", Springer 2014.
  • But does that mean that physicists must abandon all their endeavours to understand nature? It always surprises me that many physicists do not appear much concerned about this question. They seem satisfied by being able to do the necessary calculations. Perhaps these physicists would say that computers understand nature? <...> And yet science has always been characterised by the quest for good explanations. (p. 105)
  • Today, violation of a Bell inequality is the very signature of the quantum world. <...> We could usefully begin by dropping the old-fashioned term ‘quantum mechanics’ and replacing it systematically by ‘quantum physics’. There is nothing mechanical about this particular branch of physics! (p. 107)
  • <...>the distance we have come since Einstein, Schrödinger, and Bell. In those days, the question was: Do the nonlocal correlations predicted by quantum theory really exist? Today, no physicist could doubt this. (p. 109)
  • Lucien Hardy "Quantum Theory From Five Reasonable Axioms", arXiv:quant-ph/0101012.
  • A.M. Zagoskin "Quantum engineering: theory and design of quantum coherent structures", Cambridge 2011.
  • Lajos Diósi "A short course in quantum information theory", Springer 2007.

Annecdote and comment

[edit]

A primary source: the Alain Aspect experiments in 1985/1986 confirm that entanglement persists even when the measurements are made at space-like separations. Before this, faster-than-light was considered a loop-hole in various debates.

An anecdote for the "historical teaching": I was taught QM by Ugo Fano, from a textbook he wrote quite late in life: type-written, with hand drawings. It stepped through each of the historical experiments, and at each step, provided the simplest semi-classical explanation of the results of that experiment. It was quite difficult, and the class was a struggle. Then one day, a girl in the class approached me (later, it turned out she was ranked first in the graduating class; wish I remembered her name): she had gone to the stacks, and found OTHER books by Fano, from the 1950's. These books were ... night and day: they were ... standard textbooks, on glossy heavy-weight paper, excellent typography, top-notch graphics: first-rate textbooks. What's more, the explanations were straight-forward and EASY to understand! We pored over these, and, for the first time in a long time, started to understand what was going on. She and I looked at each other with a WTF? Why isn't he teaching from this book?

We left the question unanswered, but years later, I developed the idea that he was deeply unsatisfied with the state of QM, and had decided to go back to the beginning, to those very first experiments, and see if somehow, something had been missed or overlooked, hunting perhaps for some alternative explanation. This hunt lead him to write the new textbook. So I believe. And so you can put him into the "shocked by QM" category.

Here's another, much milder annecdote: in grad school, the chair was Nobel laureate C. N. Yang and he never taught class, but apparently, one year, someone shamed him into it. He only taught half a semester before he begged out and someone else took over. But ... he choose to lecture on the neutron interferometer. This was remarkable, because the upper and lower branches of the interferometer are entangled, and must be waves; yet neutrons have mass and "must be" particles, and so the question was: can entangled states of waves feel gravitational forces? The answer, from those experiments is clearly "yes", and the theory works out just fine. What was remarkable was the choice of topic to lecture on: of the zillions of things he could have talked about, e.g. reminiscing about TD Lee or talking about gauge fields ... no ... he talked about a basic experiment probing the deep fundamentals of QM. Call me sensationalist, but I think he was another that was secretly, privately shocked by QM.

The latest in this vein seems to be the proposed pigeonhole principle experiment from Aharonov. QM makes clear predictions, and I'm sure QM will carry the day, but its still an interesting experiment, if it could be done with charged particles, as charges repel, and reveal the (lack-of) pigeon-hole-ness taking place. 67.198.37.16 (talk) 01:53, 23 April 2016 (UTC)[reply]

p.s. reviewing the above, and looking a bit into the choygame disruption: I feel compelled to point out: entanglement is not just some aspect of QM limited to modern quantum computing or to Bell states or spin states: its rather deeply embedded into *all* of QM. Essentially, its due to the use of Hilbert spaces, in general, whether finite or infinite dimensional, and that essentially all state preps and measurements amount to a choice of basis for Hilbert space; entanglement is "nothing more" than a change-of-basis. Thus there are zillions of experiments over 100 years that confirm entanglement; you can't honestly single out a handful of modern ones. That said, the part about entanglement that gets most people all worked up is precisely this: the decomposition of products of representations of Lie algebras into direct sums of the irreducible reps. Specifically, for the Lie algebra of su(2), and when the decomposition is performed at spatially-separated locations. The math says "it must be so", the experiments confirm this; its just very difficult to visualize this, even when you have the requisite training. That there's a continuing crisis is undeniable: some of the weak measurement results are just plain bizzarre, and the firewall paradox has lead the leading figures to suggest that QM entanglement might be modelled by wormholes in spacetime, e.g. some variation on the black hole electron. However, no one knows how to write down e.g. the Kerr solution, and connect the two ends so that they look like above-mentioned direct sum of irreducible reps of su(2) (... and obey the myriad other properties needed viz path integral formulation, etc). Entanglement in QM is deeply and firmly established experimentally and theoretically in a zillion ways; yet basic concepts like "what is mass" "what is time" "what is space" remain in a deep crisis of not being understood and thoroughly befuddling.

67.198.37.16 (talk) 03:49, 23 April 2016 (UTC)[reply]

Thank you. (Why not register to Wikipedia and participate more systematically?)
  • About "shocked by QM".
It is interesting to see a similarity between Ugo Fano and our attacker (even though you put the former into the "shocked by QM" category, while the latter emphatically denies such affiliation).
What exactly shocks? I join the opinion of Scott Aaronson "Can Quantum Computing Reveal the True Meaning of Quantum Mechanics?":
<...> one of the wisest replies <...>: "a quantum possibility is more real than a classical possibility, but less real than a classical reality." In other words, this is a new ontological category, one that our pre-quantum intuitions simply don’t have a good slot for.
This is the shock: new ontological category! Not just a new form of matter (or even space-time). This is why "quantum mechanics sits at a level between math and physics that I don't know a good name for" (Scott Aaronson; already quoted above).
I'd say, Scott Aaronson shows that such "opposite" interpretations as Bohmian mechanics and many-worlds, even if enlightening for a while, are ultimately futile in the same way as the flywheel analogy in Maxwell's 1865 paper on electrodynamics. We really need fields (rather than flywheels) and the new ontological category (rather than a new combination of old ontological categories, including particles, worlds, wormholes etc).
More from Scott Aaronson:
David Deutsch, who’s considered one of the two founders of quantum computing (along with Feynman), is a diehard proponent of the Many Worlds interpretation, and saw quantum computing as a way to convince the world (at least, this world!) of the truth of Many Worlds.
  • About "zillions of experiments".
Yes, the neutron interferometry impressed me too. However, zillions of interferometric experiments, or zillions of spin experiments, leave some wulnerability, closed by the quantum information experiments.
Indeed, zillions of spin experiments have lead Joy Christian (another entanglement denier) to the idea that a nontrivial connection (parallelism) on a sphere is the key. Probably, zillions of interferometric experiments may lead another entanglement denier to some interferometer-specific idea.
In contrast, less than a hundred of quantum-information experiments can show that the shoking feature is purely informational. Being formulated in the language of qubits, quite diverse quantum predictions are confirmed using quite different qubits. Therefore it is futile to seek a key in specific details of a single physical realization of qubits. Boris Tsirelson (talk) 16:24, 23 April 2016 (UTC)[reply]

More off-topic remarks

[edit]

I've recently come to a conclusion about wave-function collapse that others (e.g. penrose) have been saying, but didn't make sense to me until just now: gravitation is essential. In a nutshell: QM and MWI holds true for assemblages of less than about 10^18 atoms, above that its classical. The number 10^18 is the planck mass. The idea is that when 10^18 atoms are involved, then you can no longer ignore the gravitational field: the gravitational field of a dead cat is different than that of a live cat. Notice that we have no quantum operators that can rotate the phase of a wave-function of |dead cat> + |live cat> -- formally, you can write that vector and call it a superposition, but there is no technology to alter the phase. Next: wave function collapse does NOT occur when you run photons through polarizers, slits, etc. and that is why quantum erasers work (you can still rotate the phase of a wave function after its gone through a birefringent crystal, etc.. Wave-function collapse *does* occur when photons hit silver nitrate in a piece of film, or a photomultiplier tube, or bubble chamber or cloud chamber because of the 10^18 atoms rule. (Note that chlorophyll is smaller than that, which is why biologists are seeing one-photon entanglement in chlorophyll)

Per Deutsch, the transactional interpretation seems to work: when a w.f. has not collapsed, you need to use the two-state vector formalism (TSVF) -- this is required by modern weak measurement experiments, and is implicitly in all the quantum computing work, in the guise of positive operator valued measure (POVM) that the computing guys like to use. Note that the TSVF has both a forward-time and a back-ward-time part: in essence, future measurements can go back in time to alter the past (this is the transactional interpretation) but the ONLY thing it can alter in the past are the qubits and NOT the classical bits. The alteration of qubits is exactly what you need for entanglement, and the backwards-time resolves the issues with e.g. space-like separated entanglement measurements.

Basically, the hard part is a change of focus: rather than saying, like in QM, a particle is in two places at once, one instead must say that there is a single particle, and it has, as its fiber, multiple space-time locations. That is, the base space are the particles themselves, and the (non-local) space-time locations of the particle are in the fiber. Particles in the base space are entangled in the usual sense: (I'm thinking entanglement is just the usual Lie-algebra decomposition of large representations into sums of irreducible ones; that's what is in the base space -- the base space is some big giant Lie algebra rep of say dimension 10^18 or something crazy like that).

So I find this gravity+TSVF relatively satisfying, and the new ER=EPR lends it new credence and weight. Things are moving in the right direction.

Next up: what is the mechanism of wave-function collapse? So: MWI is firmly anchored in the Feynmann functional integral, so if you want to explain collapse, you have to somehow argue that some of the trajectories in that integral vanish or go to (exactly) zero measure or something. Once upon a time, I used to think that this was the right approach, and so hunted around anything that could point there: e.g. groping through differences between measurable and non-measurable sets (thus stumbling over your work) and wondering if a quantum measurement caused some fraction of that Feynmann integral go non-measureable or something crazy. Or maybe some Hauptvermutung or something like that. Recently, I decided that cannot possibly work, because it does not explain why its 10^18 is the magic number.

Here's what can work: QCD confinement. Here's the idea: any non-abelian Yang-Mills field appears to confine fermions (although this is an unsolved millenium prize problem but lets assume we can prove it). The standard Einstein action is "just" a Yang-Mills field on the frame bundle, but essentially its got the same non-abelian terms (three-gluon vertexes, four-gluon vertexes, three-graviton vertexes, four graviton vertexes). Now, the gravitational coupling is about 10^40 weaker or about 10^18 atomic mass-scale weaker than the gluon coupling: there is a gravitational "confinement" preventing wave-functions of more than 10^18 atoms being coherent. Its the same non-linearity. So, for example, there's work by Dan Freed showing how spin connections can be rotated into baryonic solitons, and all this chiral bag stuff from QCD. I think some of that can be ported over to gravity, to give a characteristic size for the max size of a coherent wave function.

Here's some supporting evidence: experiments at RHIC show that the quark-gluon plasma behaves like a superfluid. Now, take a look at the BCS theory: it requires long-range entanglement of fermion pairs. So I envision the uncollapsed quantum system as being a kind-of "superfluid" of MWI wave-function phases floating about. There's an order parameter too: a kind of ratio between qubits and classical bits, e.g. see the article SIC-POVM. There's even some recent work that suggests that the surfaces of black holes behave is if they are superfluids (i.e. if ER=EPR then the superfluidity is an important part of it -- it explains why entanglement seems to be kind-of-ish conserved). The black-hole-superfluid stuff comes from some AdS/CFT formulation. Note, BTW, that AdS/CFT can also be used to simplify certain completely standard QCD amplitude calculations too: there's more than enough overlap in these areas.

Phew. That's it. Yes, I'm aware that the last few paragraphs sound totally nutty and insane, but the first few should be fairly convincing. I'm currently boiling the ocean to see if I can find some non-hand-waving way of expressing the above, but its very hard. I'm trying to avoid committing to some pre-existing theory of quantum gravity or to string theory, but for things like spin connections on bundles, ones hand might be forced. 67.198.37.16 (talk) 20:08, 7 May 2016 (UTC)[reply]

Well... this is much more than I could digest in a reasonable time (or at all). Basically, I understand that you treat gravity as the inherently non-quantal part of the nature, and accordingly, gravity is the ultimate decoherence. Thus, I guess, you believe that gravitons do not exist. Well... given that the classical gravitational wave is on the wedge of detection for now, I do not expect to hear an experimental confirmation or refutation of this idea. But wait; what do you think about "quantum gravity", Planck foam etc? If gravity (=space-time) is non-quantal at all, then there is no reason for its quantum fluctuations in the small. Or do you mean that the quantum-classical boundary separates weak gravitation field from strong one? Boris Tsirelson (talk) 20:48, 7 May 2016 (UTC)[reply]
A more practical question.
Cold crystal of mass 10-9 kg, electrically neutral, rests in zero gravity in a deep vacuum. I try to measure its momentum with an accuracy of 10-28 kg⋅m/s, thus creating for the center-of-mass a wave packet of width about 0.5⋅10-6 m. What happens? Does gravitation prevent formation of this wave packet? Or does it destroy it gradually? If so, how fast? Does the packet survive (that is, approximately follows the Schrodinger equation) during 1 sec? Boris Tsirelson (talk) 05:53, 8 May 2016 (UTC)[reply]

acknowledgement your contributions to a submitted article

[edit]

I was writing a draft for a Wikipedia article when the dean requested that I attempt to publish a paper. I have tenure and feel that my Wikimedia efforts have higher long-term value, but decided to humor him by submitting the draft to AJP. Your contribution involved the space-time figure and superdeterminsm. Let me know if you do not wish me to acknowledge you in the article The draft is at User:Guy vandegrift/AJP--Guy vandegrift (talk) 13:32, 9 May 2016 (UTC)[reply]

Nice; but indeed, I do not think that my misunderstanding about backward light cones is something to be acknowledged. Boris Tsirelson (talk) 15:38, 9 May 2016 (UTC)[reply]
I cannot disagree with that comment. I will remove the acknowledgement.--Guy vandegrift (talk) 16:56, 9 May 2016 (UTC)[reply]

Off topic personal attack

[edit]

Although I was attacked from david eppstein for a half year.--Takahiro4 (talk) 20:18, 7 June 2016 (UTC)[reply]

Mathematical point of view

[edit]

Hi, Tsirel! How do you see from a mathematical point of view (including a combinatorial context) the aspects discussed at talk:apparent molar property and user talk:Dirac66#Possibilities re the definitions and derivation of formulae for apparent properties in multicomponent solutions and as a consequence of this perspective the restoration of some content in the article removed in 28th of January this year? Your input is very valuable by coming from a professional mathematician.--5.2.200.163 (talk) 15:03, 19 July 2016 (UTC)[reply]

Oops, sorry, I cannot. I am not acquainted with these notions. I do not know, how to translate them into math language. Boris Tsirelson (talk) 18:29, 19 July 2016 (UTC)[reply]
Of course, some additional specifications are very useful to underline the mathematical background and problem formulation.--5.2.200.163 (talk) 12:37, 20 July 2016 (UTC)[reply]

The problem formulation starts with enumerating some definitions:

  • the definition of an ideal solution or mixture characterized by addivity of volumes of components : and heats of mixing,
  • the definition of a non-ideal solution where these ideal additivities do not hold and requires the introduction of partial molar property :which are additive and characterized by Euler homogenous function theorem,
  • the definition of an apparent molar property of a component which has the purpose of isolating each component's contribution to the non-ideality of the mixture. In the case of binary mixture the situation is somewhat simple; it gets more complex or more degrees of freedom of definition starting from the ternary case where the grouping of components by subsets or combinations from all possible subcombinations of components from the powerset associated with the cardinality (number of components) of the mixture leading to the definition of pseudobinary, pseudoternary,...mixtures.--5.2.200.163 (talk) 13:28, 20 July 2016 (UTC)[reply]

For further steps of reasoning deployment a source (Apelblat) has been found that deals with pseudobinaries along the lines of mathematical combinatorical intuition which assigns partial differences to submixtures in order to isolate the contribution of each component to total non-additivity by analysing partial non-additivity in mixing when forming, for instance, a ternary mixture from two binaries with a common component.

The main question is to what extent mathematical derivations and notations of formulae and/or expressions in the apparent property article can be allowed according to WP:CALC without being necessarily sourced (in contrast with political sciences or biography articles where controversial statements density requiring sourcing is far greater)?--5.2.200.163 (talk) 13:44, 20 July 2016 (UTC)[reply]

I see. It reminds me interaction potential for three and more bodies in the general relativity; in some approximation it is the sum of two-body potentials, but in the next approximation it involves three-body potentials, and so on. Also in the theory of Gibbs measures I recall a similar situation.
However, I do not think that a similar argument may be used in chemistry just according to WP:CALC, unless it was already used this way in some reliable sources. Boris Tsirelson (talk) 19:16, 20 July 2016 (UTC)[reply]
Perhaps there are some sources somewhere that partially address the issue (by the way, interesting comments about (zero) probability and other mathematical remarks on your talk page sections above) but considering the rather low probability of locating them and the less stringent need to source derivations based on followings from definitions I consider that mathematical reasoning can be deployed without too much anxiety of sources. Sources can be explored to extract particular data to exemplify some derivations.--5.2.200.163 (talk) 12:36, 21 July 2016 (UTC)[reply]
One can notice the unifying capacity of mathematical reasoning in various domain of science mentioned by you. From the point of view of applied mathematics it is very important to apply a consistent modus operandi in all scientific aspects, regardless of different affiliations like chemistry, celestial mechanics, statistical mechanics, etc.--5.2.200.163 (talk) 12:49, 21 July 2016 (UTC)[reply]
A very useful mathematical application to the mixing of solutions and associated non-additivity is to analyze what examples of (partial) canceling of non-ideality as function of composition occur when two binary mixtures with a common component, one having negative deviation from ideality and another with positive deviation, are mixed. This case surely requires data from sources.--5.2.200.163 (talk) 12:59, 21 July 2016 (UTC)[reply]
Speaking of two and three-body potentials and iterative reduction, are they applicable in ordinary celestial mechanics?--5.2.200.163 (talk) 13:35, 21 July 2016 (UTC)[reply]
About the latter: no, in Newtonian mechanics the two-body potentials exhaust all the gravitational interaction.
About other matter: well, in principle I like your approach... but I am afraid that Wikipedia is too conservative for accepting it. You know, all editors are equal here; no one is treated as expert; and because of this, no one is entitled to publish his/her "original research". Boris Tsirelson (talk) 14:14, 21 July 2016 (UTC)[reply]
Perhaps there is a potential misunderstanding of the concept of "original research" which could be adjusted by mentioning the improvement of articles and/or WP:IAR. No one need to boast with "expert" labels. The content and style of scientific seminaries could be adopted when dealing the level of presumed originality.--5.2.200.163 (talk) 14:29, 21 July 2016 (UTC)[reply]

About two-body potentials exhaust in Newtonian mechanics compared to GR, to which feature of GR is this exhaust due? Are the details mentioned somewhere on w'pedia?--5.2.200.163 (talk) 14:43, 21 July 2016 (UTC)[reply]

Basically, nonlinearity of the field equations.
In Newton gravity (as well as electrostatics) all possible space-time configurations ("histories") of the gravitational (or electrostatic) field are a vector space. That is, a linear combination of possible configurations is also a possible configuration. And moreover, the energy is a quadratic form on this vector space.
Thus, given a three-body system, the sum of the three "individual" potentials is the potential of the system. And the energy is the sum over pairs.
Nothing like that holds in general relativity. Boris Tsirelson (talk) 17:32, 21 July 2016 (UTC)[reply]

Newtonian gravitation extensions

[edit]

Since both GR and NG have been mentioned in the above lines, how do you view from a MPV (Mathematical Point of View) the extensions for classical gravitation law mentioned in Newtonian gravitation#Extensions (arXiv article link https://arxiv.org/abs/hep-ph/0608346 mentioning some experimental backup/tests of theoretical concepts), started by Newton himself?--5.2.200.163 (talk) 11:36, 22 July 2016 (UTC)[reply]

I am not interested in these; I'd leave them in the Newton era. Though, I say so from my personal taste (rather than Mathematical Point of View). Boris Tsirelson (talk) 15:26, 22 July 2016 (UTC)[reply]

Classical distribution of charge (and mass) density hypotheses

[edit]

Also from a MPV, how do you view classical models of charge and mass distributions in elementary particles like electron (as mentioned in talk:electron magnetic moment#section11)?--5.2.200.163 (talk) 11:54, 22 July 2016 (UTC)[reply]

I am not interested in these; I'd leave them in the pre-quantum era. Boris Tsirelson (talk) 15:29, 22 July 2016 (UTC)[reply]

Classical atomic model

[edit]

Ho do you view (also from MPV) the following classical free-fall atomic model?--5.2.200.163 (talk) 13:15, 22 July 2016 (UTC)[reply]

I am not interested in these; I'd leave them in the pre-quantum era. Boris Tsirelson (talk) 15:31, 22 July 2016 (UTC)[reply]

Extremely small probabilities and rare events

[edit]

Seeing the section above about zero probability, I want to ask you how do you see the connection between extremely small probabilities and some (possibly problematic) assumptions encountered in applications of probability theory to financial risk management? How do rare events and black swan theory concepts should influence the application of probability to risk management?--5.2.200.163 (talk) 13:49, 21 July 2016 (UTC)[reply]

How do the fat-tailed distributions and heavy-tailed distributions influence the creation of more accurate mathematical models of risk management?--5.2.200.163 (talk) 14:01, 21 July 2016 (UTC)[reply]

I do not know. In particular, I do not know, what do you mean here by "extremely small probabilities"? Something like 10-10? Or 10-20? Or 10-30? These are different things. Also, some of our models are, hopefully, close to reality up to 10-30, but some - hardly up to 10-10. Boris Tsirelson (talk) 14:23, 21 July 2016 (UTC)[reply]
Of course, further context details are required in analysis. I'll look for them.--5.2.200.163 (talk) 14:31, 21 July 2016 (UTC)[reply]
An important aspect of this issue which is criticized is the very frequent tacit assumption and use of the normal distribution in the field of risk management. Practical consequences of very rare, but catastrophic and very hard to predict events and their avoidance or mitigation in case of occurring are very important, as well as expert error in handling/steering large systems as the social ones.--5.2.200.163 (talk) 11:05, 22 July 2016 (UTC)[reply]
Yes. When I was young, normality of distributions was a usual assumption that simplifies analysis a lot, but of course need not be satisfied in reality; some statistical procedures were known to be more sensitive to non-normality, others less sensitive. But recently I was quite astonished by the independent component analysis; there, non-normality is the crucial resource rather than a pesky annoyance. Boris Tsirelson (talk) 15:22, 22 July 2016 (UTC)[reply]
Can usual assumptions be tricky and a form of subtle ideological infiltration?--5.2.200.163 (talk) 08:28, 25 July 2016 (UTC)[reply]
They are not invented for this goal; but maybe sometimes they can be used for it, I did not think in this direction. Boris Tsirelson (talk) 15:44, 25 July 2016 (UTC)[reply]

Moore method

[edit]

How do you view the (advantages) of Moore method style of mathematics education and teaching?--5.2.200.163 (talk) 14:34, 21 July 2016 (UTC)[reply]

Oh! I did not know it is Moore method, but most my understanding of mathematics, I owe it to this method! Just see the first paragraph of my reminiscences. Boris Tsirelson (talk) 16:48, 21 July 2016 (UTC)[reply]
I see that that the name differed (Youth School..) but the method and guiding lines were similar. I see also that you mention in last paragraphs the ideological intervention and labeling from competent bodies which is less likely (comparison of probabilities would be interesting in connection to a section above) to be encountered in an imperialist system that ruled the non-Soviet world.--5.2.200.163 (talk) 10:50, 22 July 2016 (UTC)[reply]
Sure, sure. The youth school was volunteered by mathematicians, not competent bodies. And, yes, I definitely prefer the non-Soviet world. Boris Tsirelson (talk) 15:12, 22 July 2016 (UTC)[reply]
Coming across the biography of Andrei Kolmogorov I've noticed his involvement in Luzin affair and also the participation of Ernst Kolman described as ideological watchdog in Soviet science.--5.2.200.163 (talk) 09:11, 25 July 2016 (UTC)[reply]