On 21 Jan 2009, at 20:19, Mirek Dobsicek wrote:
>
>
>> My question has perhaps no sense at all. Is there a notion of quantum
>> computation done without any measurement?
>
> Quantum lambda calculus by Andre van Tonder does not containt
> measurement.
> http://arxiv.org/pdf/quant-ph/0307150v5
>
> From the abstract, he proves equivalence between his quantum lambda
> calculus and quantum Turing machine (also without measurement). That's
> all I know in this respect for the moment.
Do you know the work of Abramski (and of Coecke, and Kaufman (the knot
theorist) on categorical quantum protocol?
I find it more convincing than van Tonder when I read them sometimes
ago. But even there I have problem with the measurement issue.
Of course I am judging this with my "material hypostases" in the mind,
which is still a rather unconventional way to look at things.
>
>
>
>> Is there a purely unitary
>> transformation which "augment" the dimensionality of the initial
>> quantum machine. Does the notion of universal quantum dovetailing
>> makes sense.
>
> I am not too familiar with the process of dovetailing, but I'm fine
> with
> the general idea that there is program which systematically generates
> every possible C/Lisp code and in between steps of this generation it
> interprets parts of what is already generated.
>
> Can you sketch how should one think about such dovetailing in terms of
> classical logical gates, please?
You want to dovetail on the classical gates? You need to choose a
convenient representation of those logical gates and of their
assembling, to generate them in some total linear order, and, in
between, to simulate their execution. You have to generate more and
more of those assembling. You need your infinitely extensible memory
to do the dovetailing, and it is not clear for me how to do this in
the purely quantum context.
Best regards,
Bruno
>
>
>> I don't find my Shi papers, but from what I remind, it gives some
>> good
>> argument about the difficulty of redefining the halting problem
>> (halting in which universe? ...).
>
> Good, your note about the halting problem helped to refine my google
> search to the extend that I've found the Shi paper you are talking
> about. Hereby, I also apologize to the authors of QTM Revisited paper,
> their reference was correct.
>
> http://dx.doi.org/10.1016/S0375-9601(02)00015-4
>
> I'll read it.
>
> Regards,
> mirek
>
> >
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Thu Jan 22 2009 - 05:45:53 PST