Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 18th 2013
    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeApr 20th 2013
    • (edited Apr 20th 2013)

    I was convinced that John had discussed this as one of the topics planned for Azimuth Project, but my search did not find any directly related entry there, maybe John wrote about it elsewhere ? To some extent it s related to

    • John C. Baez, Mike Stay, Physics, topology, logic and computation: a rosetta stone, arxiv/0903.0340

    which I will quote in the entry. The first ideas on quantum computing were due a paper of Feynman I think, but can not search for it now.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2013

    I have added to the references at quantum computation and at monad (in computer science) and at functional programming a pointer to

    • Thorsten Altenkirch, Alexander Green, The quantum IO monad, in Semantic Techniques in Quantum Computation, January 2009, appeared in 2010
    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 23rd 2013

    added this reference here to quantum computation

    and slightly re-arranged and briefly commented on the items in the list of references

    (all still very stubby)

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2014

    added to quantum computation an explicit pointer to the article

    • Ugo Dal Lago, Claudia Faggian, On Multiplicative Linear Logic, Modality and Quantum Circuits (arXiv:1210.0613)

    which argues explicitly that linear (modal) logic is a good formalization of quantum compuation.

    But I need to stare at that article a bit more to get a better idea of what their modality does. Adding qbits? I am not sure if I got the point here.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeFeb 7th 2020

    added this pointer:

    diff, v29, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeFeb 13th 2020
    • (edited Feb 14th 2020)

    added this more recent review:

    [ah, wrong entry, moved now to topological quantum computing]

    diff, v31, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeFeb 14th 2020

    added this more recent survey:

    • National Academies of Sciences, Engineering, and Medicine, Quantum Computing: Progress and Prospects, The National Academies Press 2019 (doi:10.17226/25196)

    diff, v32, current

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeJan 6th 2021

    A reference on a recent experimental achievement.

    • Han-Shen Zhong et al. Quantum computational advantage using photons, Science 370, n. 6523 (2020) 1460-1463 doi

    diff, v35, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMay 13th 2021

    I have added little comments on

    1. “classical control/quantum data”,

    2. quantum programming languages as linear type theory

    3. the combination: dependent linear type theory as the language for classically controlled quantum computation

    diff, v47, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2021

    Added a bunch of very recent reviews:

    and some still fairly recent:

    • Qiang Zhang, Feihu Xu, Li Li, Nai-Le Liu, Jian-Wei Pan, Quantum information research in China, Quantum Sci. Technol. 4 040503 (doi:10.1088/2058-9565/ab4bea)

    • Farzan Jazaeri, Arnout Beckers, Armin Tajalli, Jean-Michel Sallese, A Review on Quantum Computing: Qubits, Cryogenic Electronics and Cryogenic MOSFET Physics (arXiv:1908.02656)

    diff, v49, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMay 22nd 2021

    added the pointers to claims of realizing quantum supremacy:

    and some review:

    diff, v52, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeDec 23rd 2021
    • (edited Dec 23rd 2021)

    added pointer to:

    diff, v62, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJun 16th 2022

    added pointer to today’s

    • Sophie Choe, Quantum computing overview: discrete vs. continuous variable models [[arXic:2206.07246]]

    diff, v65, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJun 17th 2022
    • (edited Jun 17th 2022)

    discovered that there are all these pages:

    But I don’t see a top-level page that would link to them (?)

    diff, v66, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)