Fixed Point Structure

From a crazy model to a concrete question: is there a nice mathematical structure hidden here?

Once upon a time I wrote a crazy paper (arXiv:quant-ph/03091189) on quantum computation in the presence of closed time-like curves. In this model, one identifies two types of quantum systems: those that are "chronology respecting" and those that traverse "closed time-like curves." These two types of quantum systems can interact amongst themselves and also between each other. A typical setup is as in the figure at the right, where n chronology respecting qubits interact with l closed time-like qubits. One then makes two assumptions: (1) that the CTC qubits are "initially" unentangled from the non-CTC qubits and (2) that the evolution is consistent (no grandfather paradox.) These two imply the condition where is the density matrix for the CTC qubits, and is the density matrix input of the chronology respecting qubits. This is Deutsh's model of quantum computation in the presence of closed time-like curves. Deutsch showed that the above equation always has at least one solution: in other words you can formulate a theory in which the grandfather paradox never appears. But if you think a little bit about it, the above machinery, while consistent, is seen to be non-linear. Since the CTC input to the unitary depends on the output of the unitary, the non-CTC qubits will see a change which is nonlinear. Since nonlinearity in quantum computing gives us a lot of power (Abrahms and Lloyd: arXiv:quant-ph/9801041), you might guess that this model packs quite the computational punch.

And indeed, recently Aaronson and Watrous have shown that if you give a classical or quantum computer access to closed time-like curves, you end up with a model which has the computational power of PSPACE (arXiv:0808.2669) Wait: classical model? Doesn't th e classical model lead to paradoxes? Well if you insist on deterministic solutions then yes: if I take a single CTC bit and have a bit flip operation act on it, then there is no consistent solution. But if I loosen this restriction and allow solutions with probabilities then there is a consistent solution: if the bit is fifty percent 0 and fifty percent 1, then there is no paradox. In general, then one can imagine a classical model in which the U in the figure above is replaced by a stochastic map and on insists on consistency of a probability distribution.

Now there are many ways to sell Aaronson and Watrous' result. They like to sell it as "in the presence of time travel quantum computation and classical computation are equivalent." But one way I like to think about this result is it gives us the first model of classical information theory which can possibly, with an appropriate restriction, yield quantum theory. Whah? Well this random thought emerges from a sort of random thought process: the class of problems efficiently solvable on a quantum computer is called BQP. The relation of this complexity class to other complexity classes isn't well established (for example it isn't known if BQP lies in the polynomial hierarchy.) But one of the oldest known results is the BQP is in PSPACE. The best improvement we have on this is probably that BQP is in PP (or a slightly more complicated class), but lets just fixate on the BQP in PSPACE result. Because of the result of Aaronson and Watrous, this means that there is an efficient "simulation" of quantum computers using classical computers with closed time like curves. In other words, if we allow for classical models with closed time-like curves, we arrive at a model where simulating quantum theory wouldn't lead to any direct conflicts with complexity theory.

Now of course, it is important the classical computation with closed time-like curves is more powerful than quantum computers (unless BQP=PSPACE), so this really isn't telling us too much. Except I would argue that it motivates us to examine classical theories in which strange causality mucking phenomenon are used to "derive" quantum theory.

In thinking about these subjects over the last few years, I've toyed with a ton of different models which give rise to some interesting problems. Among these are a set of questions about the structure of fixed points under composition. Let be a stochastic matrix. "Stochastic" means that and that , i.e that this is the transition matrix for some probabilistic transform on a d dimensional space. Let be another stochastic matrix. Now at least one fixed point, i.e. a probability distribution such that (this follows from the Perron-Frobenius Theorem). The set of fixed points will be a convex set. Similarly has at least one fixed point and will have a convex set of fixed-points. Call the first set of fixed points and the second set of fixed points .

Now the general question that I keep running up against when thinking about these crazy classical models is: is there a nice mathematical structure for discussing how and are related to the fixed points of the composed stochastic matrix ? This feels like something that must be well understood, but my cursory scanning of literature hasn't turned up anything too interesting. Does anyone know of any set of tools or results which can be used to talk about this structure of fixed points under composition? Special cases where the matrices are not stochastic, but are doubly stochastic or are permutation matrices are also probably of interest in dreaming up these strange models.

More like this

Sorry to those who talked in the afternoon yesterday: I ran off to listen to Michael Nielsen talk at the Santa Fe Institute.
Charles Marcus, "Holding quantum information in electron spins"
Charlie gave a talk about the state of quantum computing in solid state quantum dot systems. Things Charlie…

In attempt to keep my reading more current, I'm going to try to post the top rated arXiv papers on SciRate each week and hopefully add about the papers. Let's see how long I can keep it up (bets?)
0807.2668 (7 scites) "Mixing doubly stochastic quantum channels with the completely depolarizing…

Today on the arXiv an new paper appeared of great significance to quantum computational complexity: arXiv:0907.4737 (vote for it on scirate here)Title: QIP = PSPACE
Authors: Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous
We prove that the complexity class QIP, which consists of all…

What started me on this whole complexity theory series was a question in
the comments about the difference between quantum computers and classical
computers. Taking the broadest possible view, in theory, a quantum computer
is a kind of non-deterministic machine - so in the best possible case,
a…

Are you looking for a general theory with general properties?

I did a quick scan of the P-F theorem [as always, I'm not good on the in depth thinking]. Basically, your conditions guarantee that the matrix will have an eigenvalue. It is a fixed point theorem, but that kind of clogs up how to think about it.

An eigenvector is a one-dimensional invariant subspace of a matrix. The fixed-pointedness comes from the fact that the problem is constrained by the the ball. So, your question is really about how eigenvectors are affected by matrix composition.

That's probably something like conformal theory. My guess, though, is that there is a lot to calculate on a case by case basis, and that there is sparse general information.

The fact that the CTC qubit's state is dependent on the chronology-respecting qubit's state is only one interpretation. You could just as easily say that this apparent dependency is a condition for which types of states may be coupled.

In fact, I have recently found that the most generalized version of Deutsch's condition is probably not restrictive enough since the underlying behavior is apparent in many seemingly normal instances.

Patrick Hayden had asked me to finish up a proof that CTC qubits and chronology-respecting qubits could not be entangled and instead I discovered that their ability to be entangled depends upon the unitary transformation and, in some cases, they *may* be entangled.

I'll send you the file (let me know if you want my Mathematica notebooks too - the algebra for the tripartite case is nasty).

R has at least one fixed point. If it's unique, there need be no relationship between fixed points of P and R. (Q can project to a single vector, which becomes the unique fixed point of R.)

If R has N > 1 fixed points, then things get more interesting. The fixed points are closed under linear combination, so they're a subspace (I'm actually assuming N is the dimension of the subspace). An N-dimensional fixed subspace gives an N-symbol noiseless code for N (not necessarily obvious, but see arxiv/0705.4282), and therefore an N-symbol correctable code for P. Q is the recovery map.

So, the dimensionality of R's fixed-point space (N) is tightly bounded by the size of P's largest zero-error code, and the fixed-point set itself has to be a subspace of one of those codes. You can also transpose R and get an identical bound in terms of QT's zero-error codes. (Yes, I know QT isn't necessarily stochastic, but it works anyway).

So you could say that quantum mechanics and general relativity are computationally equivalent?

Essentially. What I find interesting, though, is that the outline of Aaronson & Watrous' result goes something like this: something from GR (a CTC) is used to make QM and GR computationally equivalent. Since most people think CTCs don't exist, perhaps this at least gives us a blueprint for how we might reconcile QM and GR in general (or, perhaps, it even hints they can't be reconciled, but I doubt anyone buys that).

Sorry, my previous comment is unhelpful. Quantum horn gives you information about the eigenvalues of the product of two matrices in terms of the eigenvalues of the two factors. Here you are only interested in the multiplicity of the largest eigenvalue, namely 1, which can be deduced in a much more elementary fashion. The multiplicity tells you the dimension of the fixed point set.

If R = QP, then the subset of Fix(Q) \intersect Fix(P) is contained in Fix(R). Can Fix(R) contain anything else? The eigenvalues of a stochastic matrix are bounded in absolute value by 1, so if a candidate fixed point (aka eigenvector) is not in Fix(P), then the only way it can be in Fix(R) is that it is a common -1 eigenvalue of both P and Q.

Your intuition may have been based on the idea that because the operator norm (absolute value of largest eigenvalue) of a stochastic matrix is bounded by 1, the matrix must be contractive. It is -- but only in the 1-norm, not the 2-norm. Together with the fact that stochastic matrices aren't normal (and thus don't have to be diagonalizable), that ruins a lot of good intuitions. :(

I posted a more complete answer earlier, but it's either held up in moderation, or vanished into the ether.

Dave, this is a great topic! Let's approach this topic from an engineering point-of-view, namely, by asking "How can we break this machine?"

For computing devices, the usual answer is, "Let's feed it an unexpected input." So let's see ... we feed the device a strictly positive input state ... the device implements a surjective (possibly nonlinear) map onto strictly positive output states.

Let's take it for granted that Deutsch's causal self-consistency condition respects strict positivity (but has this ever been proved?) ... in which case we ask the natural question: "Is the computational map is a continuous function of the inputs?" ... and then (assuming the response is discontinuous, as seems most likely) we ask the further natural question: "What happens when we try to break closed-loop computations by supplying input states that are on the boundary of a discontinuity?"

The nice thing about quantum information science is how natural such questions are to ask, and how hard they are to answer! :)

It's very easy to loose sight of strict positivity's central importance when the quantum dynamics are POVM's applied sequentially, but (to paraphrase Gen. Turgidson in Dr. Stranglove) "Well, Mr. President, I would say that CCL physics has invalidated that policy!"

The CTC formalism of Deutsch preserves positivity. It's easy to see that: the evolution is always unitary. The only strange thing is that the input is equal to the output, i.e. that the CTC qubits are in a special initial state.

And Dave, I take your point ... yes, complete positivity is assured. The question of whether the CCL computational output is a non-smooth function of the computational input remains opaque (to me). These are fun questions!

One final note on this extremely interesting topic ... over on Shtetl Optimized, Scott Aaronson has posted the slides for his QIP talk on CCLs.

These notes give an example to show that yes, as discussed in the above posts, the CCL computational output is (in general) a non-smooth function of the computational input.

Scott's notes go on to assert (the mathematical details are not given, but the assertion is highly plausible) that there are some PSPACE-complete unitaries U for which the computational output is a continuous function of the input.

My own take on this (from an engineering perspective) is simple:

It is commonplace for the state-space trajectories of classical dynamical systems to be non-continuous functions of their initial conditions. When CCLs are added to quantum mechanics, then their state-space trajectories similarly becomes non-continuous functions of the starting conditions; this is (yet another) respect in which CCLs cause quantum systems to resemble classical systems.

My own interest in these phenomena is highly practical: these same questions arise naturally, not from CCLs, but from projecting the equations of linear quantum mechanics onto the curved state-spaces of KÃ¤hlerian tensor network manifolds.

The point being not that Nature does this projection, but that ordinary human beings do it, within the context of (almost all) known methods for efficient simulation of quantum dynamics. So if there are inherent aspects of the resulting (simulated) quantum physics that are unexpected, we quantum systems engineers definitely want to know about it!

This is yet another respect in which even the most arcane aspects of QIT are turning out to have surprising (and important) practical applications.

The CTC formalism of Deutsch preserves positivity. It's easy to see that: the evolution is always unitary. The only strange thing is that the input is equal to the output, i.e. that the CTC qubits are in a special initial state.

No, see, that's my point. We think it is strange, but if you break that equation down algebraically piece by piece, we find this condition is nothing special. You really ought to take a look at the file I sent you. This is why I think Deutsch's consistency condition is actually too weak. I can't distinguish between a CTC qubit and a chronology-respecting qubit except in certain cases (namely if the CTC qubit acts as a control qubit in some sort of controlled operation).

John Sidles has just made a fascinating variant of the Anthropic principal: "the quantum state-space of Nature is itself likely to be dynamically Kahlerian." This is over on the "Quantum Computing Since Democritus Lecture 19: Time Travel" thread of Professor Scott Aaronson's blog "Shtetl-Optimized."

I've wondered thus:

In a simple sense, the speedup [by embedding quantum trajectories on a suitably-curved Kahlerian manifold, so that the state-space geometry itself implicitly handles much of the computational complexity of calculating the trajectory, and hence that the resulting codes are tremendously fast] is because of results such as the Lefschetz Theorem (that each double point assigned to an irreducible algebraic curve whose curve genus is nonnegative imposes exactly one condition) which is itself a consequence of the Kahler condition (equivalently:
existence of a Kahler metric; existence of a Kahler form, i.e. a real closed nondegenerate two-form, i.e., a symplectic form, satisfying a technical condition with the almost complex structure induced by multiplication by i; existence of a Hermitian metric where the real part is a Kahler metric, and the imaginary part is a Kahler form; or existence of a metric for which the almost complex structure is parallel).

Similarly, the Hodge decomposition of cohomology stems from the Kahler condition for compact manifolds. But exactly why, other than 'neat Math?', should we suspect that "the quantum state-space of Nature is itself likely to be dynamically Kahlerian?"

Donate

ScienceBlogs is where scientists communicate directly with the public. We are part of Science 2.0, a science education nonprofit operating under Section 501(c)(3) of the Internal Revenue Code. Please make a tax-deductible donation if you value independent science communication, collaboration, participation, and open access.

You can also shop using Amazon Smile and though you pay nothing more we get a tiny something.

More by this author

This blog has moved. The new location is http://dabacon.org/pontiff.So long and thanks for all the fish!
Over the past three years I've had a good time blogging here at Scienceblogs. Though I rarely agree with much they say (haha, classic curmudgeon that I am) I can honestly say my fellow…

Yep, it's that time again. Paper dance time!arXiv:1006.4388Making Classical Ground State Spin Computing Fault-Tolerant
Isaac J. Crosson, Dave Bacon, Kenneth R. Brown
We examine a model of classical deterministic computing in which the ground state of the classical system is a spatial history of…

Congrats to Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, and John Watrous for being selected a best paper at STOC 2010 for their paper "QIP=PSPACE". (The best paper award was shared with "An improved LP-based approximation for Steiner Tree" by Jaroslaw Byrka, Fabrizio Grandoni , Thomas Rothvoss…

I grew up in the small town of Yreka, CA ("Yreka Bakery" backwards is...) that sits just minutes south of the Oregon-California border on Interstate 5. Yreka, population a little over 7000 brave souls, is the county seat of Siskiyou county. Siskiyou county is "god's country" meaning, yes, (a) it…

More reads

As I write this, I'm told that there are eleven water cannon vehicles heading to the disaster-stricken Fukushima Daiichi nuclear power plant, to attempt to cool down nuclear material that is exposed and exuding (I dare not use the word "leaking" lest I be thought an alarmist) radiation at a rate that seems to be as alarming to the engineers and nuclear experts on the scene as it is assuaging to…

Prepare yourself.
The Te Papa Museum of New Zealand has a new specimen locked in a vault: a colossal squid that will be thawed and dissected (they think!) on streaming video.
Here is the necromantic chamber.
Wait! No protective runes, no array of emergency thuribles, no pentagram, no mysterious idols of jade and obsidian? This may not go well.