Stories
Slash Boxes
Comments

SoylentNews is people

SoylentNews is powered by your submissions, so send in your scoop. Only 18 submissions in the queue.
posted by Fnord666 on Saturday August 22 2020, @05:21PM   Printer-friendly
from the just-when-you-thought-you-knew-how-things-worked dept.

Major quantum computational breakthrough is shaking up physics and maths:

MIP* = RE is not a typo. It is a groundbreaking discovery and the catchy title of a recent paper in the field of quantum complexity theory. Complexity theory is a zoo of "complexity classes" – collections of computational problems – of which MIP* and RE are but two.

The 165-page paper shows that these two classes are the same. That may seem like an insignificant detail in an abstract theory without any real-world application. But physicists and mathematicians are flocking to visit the zoo, even though they probably don't understand it all. Because it turns out the discovery has astonishing consequences for their own disciplines.

[...] RE stands for problems that can be solved by a computer. It is the zoo. Let's have a look at some subclasses.

[...] Allowing the provers of MIP to share an entangled qubit leads to the class MIP*.

It seems obvious that communication between the provers can only serve to help the provers coordinate lies rather than assist the interrogator in discovering truth. For that reason, nobody expected that allowing more communication would make computational problems more reliable and solvable. Surprisingly, we now know that MIP* = RE. This means that quantum communication behaves wildly differently to normal communication.

IP = Interactive Polynomial time solvable using an interactive proof.
MIP = Multiple Interactive Provers that are not allowed to communicate between each other.
RE = Recursively Enumerable.

[Edited to add a definition for RE and to correct the definition of IP. - Ed]


Original Submission

 
This discussion has been archived. No new comments can be posted.
Display Options Threshold/Breakthrough Mark All as Read Mark All as Unread
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
  • (Score: 3, Funny) by fustakrakich on Saturday August 22 2020, @06:24PM (5 children)

    by fustakrakich (6150) on Saturday August 22 2020, @06:24PM (#1040485) Journal

    allowing more communication would make computational problems more reliable and solvable.

    Are we delving into "million monkeys" territory here?

    --
    La politica e i criminali sono la stessa cosa..
    Starting Score:    1  point
    Moderation   +2  
       Funny=2, Total=2
    Extra 'Funny' Modifier   0  

    Total Score:   3  
  • (Score: 2) by RamiK on Saturday August 22 2020, @07:05PM (4 children)

    by RamiK (1813) on Saturday August 22 2020, @07:05PM (#1040495)

    Don't forget the Beowulf clusters..

    --
    compiling...
    • (Score: 1) by fustakrakich on Saturday August 22 2020, @07:17PM

      by fustakrakich (6150) on Saturday August 22 2020, @07:17PM (#1040496) Journal

      Well, with all the chatter, it certainly won't be very Zen...

      Maybe if they modulate the amplitude of the noise, they can transmit a useful signal

      --
      La politica e i criminali sono la stessa cosa..
    • (Score: 3, Funny) by mhajicek on Sunday August 23 2020, @04:58AM (2 children)

      by mhajicek (51) on Sunday August 23 2020, @04:58AM (#1040675)

      Imagine a Beowulf cluster of monkeys!

      --
      The spacelike surfaces of time foliations can have a cusp at the surface of discontinuity. - P. Hajicek
      • (Score: 2) by RamiK on Sunday August 23 2020, @07:22AM (1 child)

        by RamiK (1813) on Sunday August 23 2020, @07:22AM (#1040700)

        Quantum monkeys they all banned me COVID19...

        --
        compiling...
        • (Score: 2) by RamiK on Sunday August 23 2020, @07:25AM

          by RamiK (1813) on Sunday August 23 2020, @07:25AM (#1040702)

          Quantum monkeys < sea monkeys < monkeys < humans < quantum monkeys

          So there you have it, at the quantum scale, solutions prove you!

          p.s. normally I'd save this "quality" material for comp&math conferences but they all banned me COVID19...

          p.p.s. repost since last submit got chewed and spit by the html parser due to the less-than symbols...

          --
          compiling...