Stream: quantum computing

Topic: table of contents


view this post on Zulip Anthony Bordg (Jul 02 2019 at 19:01):

To recap for potential newcomers: Yijun and I have completed the formalizations of the no-cloning theorem and of the quantum teleportation algorithm :tada:
@Yijun He is formalizing the quantum Fourier transform in his fork.
@Hanna Lachnitt is formalizing Deutsch's algorithm in her fork.

view this post on Zulip Hanna Lachnitt (Jul 02 2019 at 22:06):

Deutsch's algorithm is complete :party_ball: Next is Deutsch-Jozsa.

view this post on Zulip Anthony Bordg (Jul 02 2019 at 22:36):

@Hanna Lachnitt Congrats! :+1:
I will have a look at your file as soon as possible.

view this post on Zulip Anthony Bordg (Aug 20 2019 at 14:43):

Thanks to @Hanna Lachnitt The Deutsch-Jozsa algorithm is now part of the library.

view this post on Zulip Anthony Bordg (Aug 23 2019 at 21:17):

Thanks to @Yijun He and @Hanna Lachnitt the quantum prisoners's dilemma is now part of the library.
However, much remains to be done:
- Formal specifications for Nash equilibrium and Pareto optimum in the context of thelocale restricted_strategic_space, then prove that in the maximally entangled case DDD \otimes D is no longer a Nash equilibrium and QQQ \otimes Q is a new Nash equilibrium which is also Pareto optimal.
- A fourth section on the biased strategic space and the "miracle move" MM.


Last updated: Oct 01 2022 at 10:26 UTC