Realy interesting thoughts can we simulate/emulate the same on a Quantum Processing Unit?
—R ________________________________ From: everything-list@googlegroups.com <everything-list@googlegroups.com> on behalf of Bruno Marchal <marc...@ulb.ac.be> Sent: Sunday, April 12, 2020 12:45:46 AM To: everything-list@googlegroups.com <everything-list@googlegroups.com> Subject: Re: Quantum Computers and Anyons On 11 Apr 2020, at 19:24, John Clark <johnkcl...@gmail.com<mailto:johnkcl...@gmail.com>> wrote: In the April 10 2020 issue of the Journal Science the best evidence yet for the existence of a quasiparticle called a "Anyon" is presented. Anyon's are important because when 2 Anyon's loop around each other their quantum state is altered and so that brading can be used to encode information. Such brading would be far less susceptible to quantum decoherence than other ways of encoding information, and decoherence is the only reason we don't have practical and scalable Quantum Computers right now. I agree. I guess you mean braiding, like the space time description of two particles going around each other, or around a third one, leading to a braid (in 3d space). It is why I except braiding from the projections obtained in arithmetic from the quantization. Braids and links, and knots are simple topological structure, but provides semantic for quantum logics, quantum computations, but also the computations as “seen from inside arithmetic” by universal machine/number/words/finite)-beings. The the fractional Hall effect, the “quantum field” of the condensed matter, are “shortcut” to Deutsch's quantum Turing universality. There are also extraordinary relations between Artin’s group of braids (a generalisation of the permutation group), Temperly-Lieb Algebra (and decoupling theory) and self-distributive algebra, related to the theory of high cardinal in Zermelo-Fraenkel set theory. A left-self-distibutive algebra is a set D with a a law * such that or all x, y, z: x*(y*z) = (x*y)*(x*z) For example, if G is a multiplicative group, the law x * y = xyx^(-1), conjugacy, makes (G, *) into a left-self-distributive algebra. Another typical exemple is a Ring, (or a Module) with a mean law: (x * y) = (x+y)/2, as you can easily verify, or more generally (x*y) = (1 - r)x + ry, with r in R. Such structure plays a transversal role from the “logic of space” to the logic of some models of “powerful" Turing machine. I recall that among the five (actually eight) mains variant of provability imposed by incompleteness, P []p []p & p []p & <>t []p & <>t & p on p partially computable (provable when true, sigma_1, obeying p -> []p), the observable is given by the three last one, which are five, as the two last one splits along G and G* (which I hope you all have an idea go the importance in self-reference, but ask if you have missed this). Now, they are all graded, by the fact that you have variant brought by replacing []p by [][]p,or []…[]p, with n boxes, written []^n p? <>^m t can replace <>t, and from those numbers comes the braiding, and normally the “illusion” of space, in self-introspecting universal machine. But here, that is not yet proven, and relies on conjecture in mathematical logic, set theory, etc. Anyon are cool, anyway! (Not easy mathematics though) Bruno Fractional statistics in anyon collisions<https://science.sciencemag.org/content/368/6487/173.full> John K Clark -- 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-list+unsubscr...@googlegroups.com<mailto:everything-list+unsubscr...@googlegroups.com>. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv1zZ-hmtiDkCMe3noR%3DFYC%3DavhGxgr28%2BCj1iP-g6W75g%40mail.gmail.com<https://groups.google.com/d/msgid/everything-list/CAJPayv1zZ-hmtiDkCMe3noR%3DFYC%3DavhGxgr28%2BCj1iP-g6W75g%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- 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-list+unsubscr...@googlegroups.com<mailto:everything-list+unsubscr...@googlegroups.com>. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/4267CEE4-1208-45BD-8550-6F96B1867A3B%40ulb.ac.be<https://groups.google.com/d/msgid/everything-list/4267CEE4-1208-45BD-8550-6F96B1867A3B%40ulb.ac.be?utm_medium=email&utm_source=footer>. -- 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-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/BL0PR05MB488303DEC25F39BF698B6C48F0DD0%40BL0PR05MB4883.namprd05.prod.outlook.com.
