Related papers: Groupoid Semantics for Thermal Computing
In a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules, without giving preference to any subset of those. In this…
Accurately describing work extraction from a quantum system is a central objective for the extension of thermodynamics to individual quantum systems. The concepts of work and heat are surprisingly subtle when generalizations are made to…
Among the emerging technologies with prophesied quantum advantage, quantum communications has already led to fascinating demonstrations -- including quantum teleportation to and from satellites. However, all optical communication…
The interpretation of quantum theory is one of the longest-standing debates in physics. Type I interpretations see quantum probabilities as determined by intrinsic properties of the observed system. Type II see them as relational…
We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probabilistic team semantics, adapting a relational framework…
Thermodynamics and information have intricate inter-relations. The justification of the fact that information is physical, is done by inter-linking information and thermodynamics - through Landauer's principle. This modern approach towards…
A thermodynamic framework that predicts the thermal conductivity $\lambda$ of simple fluids beyond the dilute-gas limit is introduced. By generalizing the transition-rate approach of particles on a lattice to conserved quantities in…
Quantum systems of indistinguishable particles are commonly described using the formalism of second quantisation, which relies on the assumption that any admissible quantum state must be either symmetric or anti-symmetric under particle…
Large deviation theory (LDT) provides a mathematical framework to quantify the probabilities of rare events in stochastic systems. In this study, we applied LDT to model a chemical reaction system and demonstrated that the fluctuation…
By using twist construction, we obtain a quantum groupoid $\cald\ot_{q}\uqg$ for any simple Lie algebra $\frakg$. The underlying Hopf algebroid structure encodes all the information of the corresponding elliptic quantum group-the quasi-Hopf…
We review the physical foundations of Landauer's Principle, which relates the loss of information from a computational process to an increase in thermodynamic entropy. Despite the long history of the Principle, its fundamental rationale and…
A unified semiclassical framework is presented to describe the evaporative cooling of trapped atomic gases, accounting for both classical and quantum statistics. By combining global thermodynamics with phase-space distributions, general…
According to the Landauer principle, any logically irreversible process accompanies entropy production, which results in heat dissipation in the environment. Erasing of information, one of the primary logically irreversible processes, has a…
Thermodynamics and information have intricate interrelations. Often thermodynamics is considered to be the logical premise to justify that information is physical - through Landauer's principle -, thereby also linking information and…
In this short letter we review Schwinger's formulation of Quantum Mechanics and we argue that the mathematical structure behind Schwinger's "Symbolism of Atomic Measurements" is that of a groupoid. In this framework, both the Hilbert space…
We outline a bicategorical syntax for the interaction between public and private information in classical information theory. We use this to give high-level graphical definitions of encrypted communication and secret sharing protocols,…
An exact stochastic model for the thermalisation of quantum states is proposed. The model has various physically appealing properties. The dynamics are characterised by an underlying Schrodinger evolution, together with a nonlinear term…
The amount of heat generated by computers is rapidly becoming one of the main problems for developing new generations of information technology. The thermodynamics of computation sets the ultimate physical bounds on heat generation. A lower…
The meaning and evolution of the notion of "temperature" (which is a key concept for the condensed and gaseous matter theories) are addressed from the different points of view. The concept of temperature turns out to be much more…
Landauer's principle sets a fundamental limit on the heat dissipated when one classical bit of information is erased from a memory, thereby establishing a direct link between information theory and thermodynamics. With the advent of quantum…