Related papers: Groupoid Semantics for Thermal Computing
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the first author's work on quantum flow-charts. We define a…
We develop a Born-Oppenheimer type formalism for the description of quantum thermal transport along hybrid nanoscale objects. Our formalism is suitable for treating heat transfer in the off-resonant regime, where e.g., the relevant…
Quantum-mechanical concepts can be formulated in constructive finite terms without loss of their empirical content if we replace a general unitary group by a unitary representation of a finite group. Any linear representation of a finite…
A key objective in nuclear and high-energy physics is to describe nonequilibrium dynamics of matter, e.g., in the early universe and in particle colliders, starting from the Standard Model. Classical-computing methods, via the framework of…
Master equations of Lindblad type have attained prominent status in the fields of quantum optics and quantum information since they are guaranteed to satisfy fundamental notions of quantum dynamics such as complete positivity. When Lindblad…
Energy transfer and information transmission are two fundamental aspects of nature. They are seemingly unrelated, while recent findings suggest that a deep connection between them is to be discovered. This amounts to asking: Can we phrase…
This work introduces novel numerical algorithms for computational quantum mechanics, grounded in a representation of the Laplace operator -- frequently used to model kinetic energy in quantum systems -- via the heat semigroup. The key…
Quantum-mechanical devices have the potential to transform cryptography. Most research in this area has focused either on the information-theoretic advantages of quantum protocols or on the security of classical cryptographic schemes…
Quantum computing has attracted the attention of the scientific community in the past few decades. However, despite some relevant advantages, near-term quantum devices remain severely limited by thermal effects, which induce decoherence and…
Landauer's principle, a cornerstone of quantum information and thermodynamics, appears to be violated when the thermal reservoir is replaced by a squeezed thermal state (STS), owing to the additional thermodynamic resources inherently…
While much of the current study on quantum computation employs low-level formalisms such as quantum circuits, several high-level languages/calculi have been recently proposed aiming at structured quantum programming. The current work…
This paper introduces a completely new approach to encryption based on group theoretic quantum framework. Quantum cryptography has essentially focused only on key distribution and proceeded with classical encryption algorithm with the…
The last decade has witnessed the remarkable progress in our understanding of thermalization in isolated quantum systems. Combining the eigenstate thermalization hypothesis with quantum measurement theory, we extend the framework of quantum…
We present a methodology to simulate the quantum thermodynamics of thermal machines which are built from an interacting working medium in contact with fermionic reservoirs at fixed temperature and chemical potential. Our method works at…
A theoretical description of quantum mechanical steady states is developed. Applications for simple quantum mechanical systems described in terms of coupled level structures yield a formulation equivalent to time independent scattering…
Simulating non-equilibrium phenomena in strongly-interacting quantum many-body systems, including thermalization, is a promising application of near-term and future quantum computation. By performing experiments on a digital quantum…
Understanding how much energy is needed and dissipated as heat for a given computational system and for a given program is a physically interesting and practically important problem. However, the thermodynamic costs of computational systems…
We consider quantum computer architectures where interactions are mediated between hot qubits that are not in their mechanical ground state. Such situations occur, e.g., when not cooling ideally, or when moving ions or atoms around. We…
The inherent properties of specific physical systems can be used as metaphors for investigation of the behavior of complex networks. This insight has already been put into practice in previous work, e.g., studying the network evolution in…
In this note we point out the fact that the proper conceptual setting of quantum computation is the theory of Linear Time Invariant systems. To convince readers of the utility of the approach, we introduce a new model of computation based…