Landauer Meets von Neumann: Reversibility in Categorical Quantum Semantics

Project funded by Independent Research Fund Denmark (DFF-International Postdoc), grant 0131-00025A. Runs n/a to 2022-09-30. Keywords: quantum computation, reversible computation, categorical semantics. Source: OpenAIRE Graph, from the funder's project data (collected by OpenAIRE on 2025-08-01); national funding data, not CORDIS. Abstract given by the source: Kvanteberegning dækker over en måde at bygge computere og skrive programmer på, der udnytter den bemærkelsesværdige opførsel af universets mindste partikler til at løse problemer der ikke kan løses indenfor en rimelig tidshorisont på selv de stærkeste af nutidens supercomputere. En af disse bemærkelsværdige egenskaber er, at alle kvantecomputere er reversible - kvanteprogrammer kan altså udføres både forlæns og baglæns, en egenskab der udnyttes af indtil flere af de kvantealgoritmer vi kender i dag. At programmere kvantecomputere er dog betydeligt mere kompliceret end at skrive programmer til almindelige computere: Dels fordi kvantecomputere er mere avancerede, men i lige så høj grad fordi de specialiserede kvanteprogrammeringssprog, i modsætning til almindelige programmeringssprog, kræver indgående kendskab til visse grene af matematiken. I dette forskningsprojekt vil jeg gøre det muligt at designe kvanteprogrammeringssprog der ikke kræver indgående kendskab til matematik at bruge, men i stedet vil sætte programmører med kendskab til de centrale koncepter bag kvanteberegningen – i særdeleshed reversibilitet – i stand til at skrive kvanteprogrammer. Jeg vil gøre dette ved at studere den såkaldte kategoriske kvantesemantik – abstrakte modeller for kvanteberegning der netop fokuserer på koncepterne bag kvanteberegning, snarere end konkret matematik.

Original source.

Source: OpenAIRE Graph: projects of national funders, OpenAIRE, from the project data of Independent Research Fund Denmark. Retrieved 2026-11-02. Licence: Creative Commons Attribution 4.0 (OpenAIRE Graph). Selected metadata, adapted presentation; the publisher's record is authoritative. No endorsement by the source is implied. Licence: Creative Commons Attribution 4.0 (CC BY 4.0).

AI-assisted summary: The project "Landauer Meets von Neumann: Reversibility in Categorical Quantum Semantics" is funded by the Independent Research Fund Denmark and focuses on quantum computation and reversible computation. It runs until September 30, 2022, and highlights the complexity of programming quantum computers. Suggested technology pillar: computing. Generated by AI from the public source text; it may contain errors and the original source is authoritative.