Related papers: Groupoid Semantics for Thermal Computing
Particle-style token machines are a way to interpret proofs and programs, when the latter are written following the principles of linear logic. In this paper, we show that token machines also make sense when the programs at hand are those…
We present a universal thermodynamic framework for quantum systems that may be strongly coupled to thermal environments. Unlike previous approaches, our method enables a clear definition of thermostatic properties while preserving the same…
We present a coupled cluster and linear response theory to compute properties of many-electron systems at non-zero temperatures. For this purpose, we make use of the thermofield dynamics, which allows for a compact wavefunction…
Landauer's erasure principle is generalized to nondeterministic processes on systems having an arbitrary number of non-symmetrical logical states. The condition that the process is applied in the same way, irrespective of the initial…
The separation of internal energy into heat and work in quantum thermodynamics is a controversial issue for a long time, and we revisit and solve this problem in this work. It is shown that the Hamiltonian plays dual roles for a quantum…
In this paper some reflections on the concept of transition are presented: groupoids are introduced as models for the construction of a ``generalized logic'' whose basic statements involve pairs of propositions which can be conditioned. In…
Temperature is usually defined for physical systems at thermal equilibrium. Nevertheless one may wonder if it would be possible to attribute a meaningful notion of temperature to an arbitrary quantum state, beyond simply the thermal (Gibbs)…
The path-integral quantization of thermal scalar, vector and spinor fields is performed newly in the coherent-state representation. In doing this, we choose the thermal electrodynamics and $\phi ^4$ theory as examples. By this quantization,…
We propose a generalization of quantum mechanical equations in the hydrodynamic form by introducing, into the Lagrangian density, terms taking into account the diffusion velocity at zero and finite temperatures and the diffusion pressure…
Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse…
In the previous article, we presented a quantum-inspired framework for modeling semantic representation and processing in Large Language Models (LLMs), drawing upon mathematical tools and conceptual analogies from quantum mechanics to offer…
Information is physical but information is also processed in finite time. Where computing protocols are concerned, finite-time processing in the quantum regime can dynamically generate coherence. Here we show that this can have significant…
In nano-scale systems coupled to finite-size reservoirs, the reservoir temperature may fluctuate due to heat exchange between the system and the reservoirs. To date, a stochastic thermodynamic analysis of heat, work and entropy production…
We present a quantum computing approach to analyzing Large Language Model (LLM) embeddings, leveraging complex-valued representations and modeling semantic relationships using quantum mechanical principles. By establishing a direct mapping…
Stochastic representation for interaction of quantum systems is formulated which allows to replace some of them by equivalent but purely commutative random sources. The formalism is applied to two-level systems interacting with Gaussian…
We develop team semantics for Linear Temporal Logic (LTL) to express hyperproperties, which have recently been identified as a key concept in the verification of information flow properties. Conceptually, we consider an asynchronous and a…
The thermodynamics of quantum systems coupled to periodically modulated heat baths and work reservoirs is developed. By identifying affinities and fluxes, the first and second law are formulated consistently. In the linear response regime,…
The development of a self-consistent thermodynamic theory of quantum systems is of fundamental importance for modern physics. Still, despite its essential role in quantum science and technology, there is no unifying formalism for…
A Lagrangian description of the qubit based on a generalization of Schwinger's picture of Quantum Mechanics using the notion of groupoids is presented. In this formalism a Feynman-like computation of its probability amplitudes is done. The…
The real-time operator formalism for thermal quantum field theories, thermofield dynamics, is formulated in terms of a path-integral approach in non-commutative spaces. As an application, the two-point function for a thermal non-commutative…