home
January 6, 2009


Forum Home

Introduction
Terms of Use
Login

Order posts by:
 chronological order
 most recent first

Posts by the blogger are highlighted in orange; posts by FQXi Members are highlighted in blue.

By using the FQXi Forum, you acknowledge reading and agree to abide by the Terms of Use

 RSS feed | RSS help


Recent Blog Comments

Philip Gibbs: "The contest has succeeded in generating open discussions on the nature o..." in The End of Time (The E...

Kate: "I recently came accross your blog and have been reading along. I thought..." in Cosmology for Kids, FQ...

Myke: "Greetings Anthony, the essay contest is a great innovation at FQXi and a..." in The End of Time (The E...

Lost in Space: "I guess in part it depends how "real" the universe is and what sort of r..." in Shutdown of the LHC, b...

Count Iblis: "William, thanks for the links to these interesting articles!" in Impact

Count Iblis: "The experimentalists can experiment and interpret as much as they like. ..." in Has Superluminal Tunne...

intereesting: "hmm maybe they were right" in Shutdown of the LHC, b...

amrit: "see also Eleven steps to right understanding of time 1. Motion of obj..." in Has Superluminal Tunne...

Recent Articles
click titles to download PDF files

Back to Mach
Want a theory of quantum gravity? Then look to the man who inspired Einstein.

The End of the Quantum Road?
Have we already found the ultimate theory of nature, without realizing it?

The Universe's Odyssey?
How our youthful universe may have wandered the string landscape in search of home—with help from its anti-universe counterpart.

Hunting for Theories of (Not) Everything
The architect of "doubly special relativity" wants to probe the quantum nature of spacetime—one step at a time.

Quantum Darwinism
How does objective reality emerge from quantum fuzziness? It's a case of the survival of the fittest.


2008 Essay Contest

Don't miss the inaugural FQXi Essay Contest! read | submit

FQXi BLOGS

CATEGORY: Blog [back]
TOPIC: The Convexity Club [refresh]
Matthew Leifer (blogger) wrote on Aug. 15, 2007 @ 17:31 GMT
Plenty of people have been writing about the recent fqxi conference, which was excellent by the way, so I'll write instead about another fqxi-funded event that happened at the beginning of July in St. Catherine's college, Cambridge.

St. Catherine's College


The two-week workshop was entitled Operational Probabilistic Theories as Foils for Quantum Theory and organized by Rob Spekkens, Jonathan Barrett and Tony Short. It's aim was to try and understand quantum theory by setting it in a wider context of probabilistic theories that follow from more directly intuitive axioms.

This is what the people at the workshop looked like.

Preparing to punt. L to R: Me, Mana, Appleby, d'Ariano, Wootters, Short


Hard at work. L to R: Barrett, Dahlsten, Mana, Toner, Spekkens, arm of Barnum, Short


Much of this work takes place in the "Convex Sets Framework" that has become something of an addiction for a small band of researchers in quantum information recently, including myself. The basic idea is that you assume that states, whatever else they are, should be objects that assign probabilities to all possible measurements that can be made on a system. Since preparation procedures can be mixed, you assume that these form a convex set. Classical and quantum theories provide examples of this. In classical probability theory the state space is a simplex and in quantum theory it is the set of density operators on a Hilbert space.

However, the framework also contains much more general things, e.g. theories in which the Bell inequalities can be violated to a greater extent than in quantum theory whilst still not permitting signaling. This class of theories has attracted considerable attention recently because it is vastly more powerful than quantum theory for certain information processing tasks, e.g. it trivializes communication complexity. Questions that were addressed at the workshop include:

- How can we understand why the world obeys quantum theory rather than any of the other theories?

This has lead to a few new axiomatizations of quantum theory recently, e.g. the work of Hardy and d'Ariano.

- Which features of quantum theory are special to quantum theory and which of them hold generically in all convex theories?

Surprisingly, considering the paucity of assumptions that go into the framework, many of our most cherished ideas of what makes something "genuinely quantum" turn out to hold generically. Examples include no-cloning, no-broadcasting, existence of indistinguishable pure states, measurement-disturbance, violation of Bell inequalities, and many more.

I should also mention that a variety of other approaches and topics were discussed at the workshop, such as toy theories that are not convex (Spekkens), axiomatizations of quantum theory not in the convex sets framework (Goyal), theories in the decoherent histories framework (Dowker), operational approaches to quantum gravity (Hardy), generalizations of the quantum de Finetti theorem (Toner, Renner) and the concept of negative information (Oppenheim).

There was also plenty of free time for discussion at the workshop, and several papers should appear based on them in the coming months.
this post has been edited by the author since its original submission
paul valletta wrote on Aug. 16, 2007 @ 03:02 GMT
"How can we understand why the world obeys quantum theory rather than any of the other theories?"

One can start with the H.U.P?..can one really locate (measure) a particle..anywhere?

If you know a particle's position, you may not know it's momentum. Relative to the process of measure is what one is asking about the process of measure and measurer. The history of a particle WRT time, is "fixed". You can know a particles path in a past history, it is "fixed", without knowing it's path in a future trajectory, "random" and uncertain.

Now WRT the H.U.P, one can make assumptions based on position and momentum, thus:If one knows a particles future path, then it's location history is unknown. (this is my intepretation).

Seems straight forward for observers, time dictates an observer to be the measurer in a "now" context, if the measurer tries to observe a particles future, then the observation will fail to make sense?

Thinking about the "contact" needed for measurement, how does one locate something that has not yet reached there?..I mean I am trying to pinpoint an objects position of where it is "not" ( it's future location ), by determining where it is ( where it HAS been ), the possible way I can determine a full observation measurment, is to perform the measuments at a very fast rate,(signaling the results performed, to confirm measures taken) faster than the devise is capable of?

The is a limit of observation, random variables operate differently for every measure needed, if say one random variable becomes known (random variable of particles future location), then the corrsponding momentum (which is really nothing more than the particles history), will become unknown, or in the context of particle interactions, become a changed (as opposed to fixed, perminant) factor.

This can be translated to the appearance of "unmeasured" particles, and dissapearance of "measured" particles, as QM shows.
Matthew Leifer (blogger) wrote on Aug. 16, 2007 @ 16:48 GMT
I think this is a fairly conventional view, but I don't think the HUP can really be used as a founding principle for quantum theory, at least not in its usual form. In particular, it is not strong enough to entail the canonical commutation relations. In fact, having something like a HUP is another thing that's going to be generic in the framework I described.
Bee wrote on Aug. 20, 2007 @ 13:33 GMT
off topic: there's something wrong with the picture placement using Internet Explorer (pics are on top of each other and cover the text).
Ian Durham wrote on Aug. 27, 2007 @ 01:18 GMT
Actually, the commutation relations *lead* to HUP (well, to Schr??dinger's generalization of HUP) so, in a sense, you'd almost be better off building everything on that (the commutation relations). In essence, what I think Matt is describing is a generalization that contains sets of inequalities, one class of which are Schr??dinger's generalized HUP, and so forth. Reminds me a bit of something I tried to do once with set theory (http://arxiv.org/abs/quant-ph/0508076). I don't think I was terribly successful, but I'm sure these insanely smart folks will succeed.
paul valletta wrote on Aug. 28, 2007 @ 19:40 GMT
Ian, are you the same I T Durham, as cited in this co-incedetally topic relevant recent paper? :http://arxiv.org/abs/0708.3519

 

Add a New Post

  • Please enter the text of your post, then click the "Submit Your Post" button below. You may also optionally add images and file attachments below before submitting your edits.

  • HTML tags are not permitted in posts, and will automatically be stripped out. Links to other web sites are permitted. For instructions on how to add links, please read the link help page.

Your name: (optional)

Attachments

You may optionally attach up to two documents to your post. To add an attachment, use the following feature to browse your computer and select the file to attach. The maximum file size for attachments is 1MB.

Attachment #1:

Attachment #2:

Once you're done adding file attachments, click the "Submit Your Post" button to add your post.