Research projects
Classical simulation of quantum circuits
Team
Kamil Korzekwa
Oliver Reardon-Smith
Collaborators
Hakop Pashayan (Freie Universität Berlin)
Stephen Bartlett (University of Sydney)
Michał Oszmaniec (CFT PAN, Warszawa)
Project description
January 2020 - November 2023
Background: For the future development of quantum technologies, it is crucial for us to understand what components of the quantum theory are responsible for quantum supremacy, i.e. the potential ability of quantum computers to solve problems that cannot be solved efficiently on classical machines. One of the most promising ways to achieve this is to identify sub-theories of the quantum theory that can be efficiently simulated on classical computers. The first result of this kind was the celebrated Gottesman-Knill theorem, which states that the stabiliser sub-theory, where one is restricted to state preparation and measurements in the computational basis and evolution according to Clifford gates, can be simulated in such a way. Moreover, the addition of a single type of a pure “magic” (non-stabiliser) state allows one to promote this classically simulable sub-theory to universal quantum computing, making magic states a proper resource for quantum computation when Clifford gates are considered free (easy to implement experimentally).
Goals: We want to develop a unified scheme for classical simulation of universal quantum circuits based on a three-step algorithm: identifying a free sub-theory, gadgetizing all resources (i.e. replacing non-free quantum gates with resource states), sampling and propagating the free states taken from optimal decomposition of resource states into free states of the theory. This three-step algorithm should unify many known simulation schemes, thus deepening our understanding of the nature of quantum computing, but also will provide a clear way to develop novel simulation algorithms. First, we want to apply this approach to build a fast classical algorithm to simulate Clifford+T circuits. We then want to extend it to circuits built from Gaussian+non-Gaussian gates and matchgate circuits with a resource SWAP gate. Finally, we would like to design a fully universal treatment of the problem. Complementary to this, we aim at implementing our algorithms on classical computers and use the developed software to verify near-term intermediate scale quantum devices.
Output
Classical simulation of quantum circuits
Faster classical estimation of Born rule probabilities for Clifford + T circuits
Clifford-T-estimator
Fast estimation of outcome probabilities for quantum circuits
PRX Quantum 3, 020361 (2022) | Talk | Slides 1 | Slides 2 | Poster
Resource theory based simulation of quantum circuits
Improved classical simulation of quantum circuits dominated by Fermionic linear optical gates
Resource theories and quantum communication
Team
Kamil Korzekwa
Roberto Salazar
Collaborators
Marco Tomamichel (NU Singapore)
Paweł Horodecki (ICTQT Gdańsk)
Zbigniew Puchała (IITiS PAN Gliwice)
Hanna Wojewódka-Ściążko(IITiS PAN Gliwice)
Karol Życzkowski (JU Kraków)
Jakub Czartowski (JU Kraków)
Project description
January 2020 - November 2023
Background: Communication problems lie at the very heart of quantum information science, with protocols such as quantum teleportation and super-dense coding capturing the essence of quantum information processing. A typical communication scenario consists of encoding a message in a quantum system, sending it via a channel, and then decoding it on the other side. All three stages require a fine control over quantum systems and the ability to manipulate them efficiently. It is then very natural to ask: how would the communication be affected, if the control is not perfect or the state manipulation is constrained?
Goals: Our aim will be to describe constrained communication scenarios in the language of resource theories, and then apply its formalism to relate constrained communication rates to appropriate quantum resources. On a more technical side, we would like to develop physically relevant resource theories of channels, which would provide useful quantifiers for important information processing tasks such as error correction or entanglement sharing.
Output
Optimal allocation of quantum resources
Quantum 5, 407 (2021) | Slides
No-go theorem for device-independent security in relativistic causal theories
Phys. Rev. Research 3, 033148 (2021)
Dephasing superchannels
Phys. Rev. A 104, 052611 (2021) | Slides
Allocation of quantum resources in optical networks
Encoding classical information into quantum resources
IEEE Trans. Inf. Theory 68, 4518 (2022) | Talk | Slides
The rank of contextuality
New J. Phys. 25, 073003 (2023)
Resource engines
Quantum 8, 1222 (2024) | Slides | Poster
Perfect quantum protractors
Dissipation of quantum resources
Team
Kamil Korzekwa
Alexssandre de Oliveira Junior
Collaborators
Michał Horodecki (ICTQT Gdańsk)
Tanmoy Biswas (ICTQT Gdańsk)
Maria Quadeer (University of Sydney)
Marco Tomamichel (NU Singapore)
Matteo Lostaglio (PsiQuantum)
Jakub Czartowski (JU Kraków)
Joe Renes (ETH Zurich)
Chris Chubb (ETH Zurich)
Patryk Lipka-Bartosik (University of Geneva)
Project description
March 2020 - November 2023
Background: In principle, while processing quantum information, any initial state can be transformed into any final state. One could thus conclude that all quantum states are equally valuable or resourceful. In reality, however, some transformations are harder to implement than others, which results in a partial ordering of the set of quantum states, with the hardest to prepare at the top, and easiest at the bottom. Such a resource hierarchy arises naturally when we face any kind of restriction: from the locality constraint, through experimental difficulties in preparing particular superpositions, to fundamental constraints induced by physical laws like energy conservation. Moreover, these constraints on processing quantum information result in irreversibility, i.e. during the interconversion process some resource content is unavoidably lost. From both the fundamental and applied perspective it is then important to understand the nature and limits of the dissipation of quantum resources.
Goals: We would like to develop a general framework allowing one to quantitatively study resource dissipation for various resource theories (thermodynamics, entanglement, magic, etc.), and to characterise optimal state transformation protocols that minimise dissipation. We would also like to explore the phenomenon of resource resonance (leading to lossless interconversion) and design experimental setups employing it. Finally, we aim at employing our results to derive general fluctuation-dissipation relations for quantum resources, thus generalising the known thermodynamic phenomenon to a general resource-theoretic setting.
Output
Work fluctuations due to partial thermalizations in two-level systems
Phys. Rev. E 103, 042141 (2021)
Fluctuation-dissipation relations for thermodynamic distillation processes
Phys. Rev. E 105, 054127 (2022) | Talk | Slides | Poster
Geometric structure of thermal cones
Phys. Rev. E 106, 064109 (2022) | Talk | Slides 1 | Slides 2 | Poster | Algorithm
Finite-size effects in quantum thermodynamics
Quantum dichotomies and coherent thermodynamics beyond first order asymptotics
PRX Quantum 5, 020335 (2024) | Slides 1 | Slides 2 | Poster
Finite-size catalysis in quantum resource theories
Quantum thermodynamics: advantages and applications
Team
Kamil Korzekwa
Fereshte Shahbeigi
Alexssandre de Oliveira Junior
Collaborators
Matteo Lostaglio (PsiQuantum)
Chris Chubb (ETH Zurich)
Ryszard Kukulski (IITiS PAN Gliwice)
Łukasz Pawela (IITiS PAN Gliwice)
Patryk Lipka-Bartosik (University of Geneva)
Project description
January 2020 - November 2023
Background: Most of the resource-theoretic results concerning quantum thermodynamics have a very fundamental character, telling us whether a given transformation is possible in principle. The problem is that in many cases optimal transformation protocols require a very fine control over the transformed systems and their interactions with the environment. It is then important to extend this theory so that it does not only characterise fundamental constraints of physical processes, but also faithfully describes the limitations arising in realistic experimental scenarios. This way the predictions of resource theories could be tested experimentally, which is a necessary condition for a theory to play an active role in developing future quantum technologies. Moreover, in order for such technologies to be useful, we need to investigate possibilities for real quantum advantage within thermodynamics, analogous to quantum supremacy in the computational field, i.e., we need to identify thermodynamic protocols whose performance cannot be explained within classical theory.
Goals: On the applicational side, we would like to explore the capabilities of resource-theoretic formalism under the restrictions of limited control due to access only to transformations that could be implemented experimentally (e.g. local Hamiltonian control, partial thermalisations, or coarse-grained operations), and to assess and quantify the role of memory in performing optimal thermodynamic transformations. Concerning quantum advantages, we want to investigate the potential of coherence to act as a memory, both in thermodynamic and information-processing scenarios (e.g. enhanced cooling or exponential improvement in space-time cost of realising a given process). On a more mathematical side, we would like to characterise quantum embeddable stochastic processes, i.e. these processes that can be implemented quantumly without employing a memory. Finally, we will also try to employ the developed framework to bridge the gap between the resource theories and control theory.
Output
Spin-orbit implementation of Solovay-Kitaev decomposition of single-qubit channels
Phys. Rev. A 102, 062601 (2020)
Quantum advantage in simulating stochastic processes
Phys. Rev. X 11, 021019 (2021) | Slides
Machine classification for probe based quantum thermometry
Phys. Rev. A 105, 022413 (2022) | Poster
Unravelling the non-classicality role in Gaussian heat engines
Sci. Rep. 12, 10412 (2022)
Fundamental constraints of quantum thermodynamics in the Markovian regime
Phys. Rev. A 106, 012426 (2022) | Phys. Rev. Lett. 129, 040602 (2022) | Physics 15, 110 (2022)
Talk 1 | Talk 2 | Talk 3 | Slides 1 | Slides 2 | Slides 3 | Algorithm
Quantum-embeddable stochastic matrices
Quantum 8, 1404 (2024) | Slides 1 | Slides 2 | Poster
Thermal recall: Memory-assisted Markovian thermal processes
PRX Quantum 4, 040304 (2023) | Poster
Quantum catalysis in cavity QED
Phys. Rev. Research 6, 023127 (2024)
Structural differences between classical and quantum randomness
Team
Kamil Korzekwa
Roberto Salazar
Alexssandre de Oliveira Junior
Collaborators
Zbigniew Puchała (IITiS PAN Gliwice)
Grzegorz Rajchel (CFT PAN, Warszawa)
Karol Życzkowski (JU Kraków)
Jakub Czartowski (JU Kraków)
Paweł Horodecki (ICTQT Gdańsk)
Project description
February 2020 - May 2022
Background: Random processes are ubiquitous in both classical and quantum physics. However, the nature of randomness in these two regimes differs significantly. On the one hand, classical random evolution is necessarily irreversible. On the other hand, quantum evolution may be completely deterministic (and thus reversible if no measurement is performed), but nevertheless lead to random measurement outcomes of observable A by transforming a system into a coherent superposition of eigenstates of A. When probing the dynamics of the system one can therefore observe the same random transitions, irrespectively of whether the evolution is coherent or incoherent. The questions then arise: to what extent an observed random transformation can be explained via the underlying deterministic and coherent process, and how much unavoidable classical randomness must be involved in it?
Goals: Our main goal will be to study what kind of transition matrices can be induced by reversible unitary dynamics, i.e. we wish to understand the structure of unistochastic matrices. These technical results will not only characterise random processes with a potentially deterministic cause, but could also be employed to the studies of quantum walks on graphs. More generally, we would like to investigate what structural aspects of quantum randomness, as compared to classical probability theory, may lead to enhanced processing of information.
Output
Universal structure of objective states in all fundamental causal theories
Phys. Rev. Research 3, 033148 (2021)
Algebraic and geometric structures inside the Birkhoff polytope
J. Math. Phys. 63, 012202 (2022)
Resource theory of absolute negativity