On 18 Feb 2020, at 11:55, Lawrence Crowell <goldenfield...@gmail.com> wrote:
The preprint at 165 pages is a bit much to tackle right away. This does though indicate that quantum computing can work a subset of recursively enumerable languagesLC
On Monday, February 17, 2020 at 1:44:55 PM UTC-6, Philip Thrift wrote:
Quantum computing, entanglement, and theorem provers
"We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages.”
MIP*=REby Scott AaronsonJanuary 14th, 2020Verifying proofs to very hard math problems is possible with infinite quantum entanglementby Tom SiegfriedFebruary 17, 2020A quantum strategy could verify the solutions to unsolvable problems — in theoryby Emily ConoverJanuary 24, 2020@philipthrift
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/81b5965b-caf5-4bfe-afe7-1ec3d7e304d9%40googlegroups.com.
On 18 Feb 2020, at 12:56, Philip Thrift <cloud...@gmail.com> wrote:Purely theoretically, not surprising that quantum computing - computing with qubits ( geometry of qubits: http://home.lu.lv/~sd20008/papers/essays/Geometry%20[paper].pdf ) - should be RE-language capable.
But of course theory may not end up in reality - of actually making a quantum computer that works according to the theory.
@philipthrift
On Tuesday, February 18, 2020 at 4:55:00 AM UTC-6, Lawrence Crowell wrote:The preprint at 165 pages is a bit much to tackle right away. This does though indicate that quantum computing can work a subset of recursively enumerable languagesLC
On Monday, February 17, 2020 at 1:44:55 PM UTC-6, Philip Thrift wrote:Quantum computing, entanglement, and theorem provers"We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages."MIP*=REby Scott AaronsonJanuary 14th, 2020Verifying proofs to very hard math problems is possible with infinite quantum entanglementby Tom SiegfriedFebruary 17, 2020A quantum strategy could verify the solutions to unsolvable problems — in theoryby Emily ConoverJanuary 24, 2020@philipthrift
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/5e27b503-b8de-4d53-984d-c9e4bf7850e4%40googlegroups.com.
On 18 Feb 2020, at 11:55, Lawrence Crowell <goldenfield...@gmail.com> wrote:The preprint at 165 pages is a bit much to tackle right away. This does though indicate that quantum computing can work a subset of recursively enumerable languagesLC
On Monday, February 17, 2020 at 1:44:55 PM UTC-6, Philip Thrift wrote:Quantum computing, entanglement, and theorem provers"We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages.”What does that mean? All universal machine is “equal" to the Class of all RE set. The main difference is that in the quantum case, the simulation can be done in (unbounded) polynomial time and space, where with classical machine some will need super-exponential time for some simulation.The quantum universal machine does not compute more, nor less, than the Babbage Machine (already Turing universal, although never completed as such).The class MIP should be better defined, I think. “multiple all-powerful quantum provers sharing entanglement” is a bit fuzzy too.Bruno
MIP*=REby Scott AaronsonJanuary 14th, 2020Verifying proofs to very hard math problems is possible with infinite quantum entanglementby Tom SiegfriedFebruary 17, 2020A quantum strategy could verify the solutions to unsolvable problems — in theoryby Emily ConoverJanuary 24, 2020@philipthrift--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everyth...@googlegroups.com.