Related papers: Operational interpretation of the vacuum and proce…
This paper provides an abstract definition of some kinds of logics, called diagrammatic logics, together with a definition of morphisms and of 2-morphisms between diagrammatic logics. The definition of the 2-category of diagrammatic logics…
Single-file transport, which corresponds to the diffusion of particles that cannot overtake each other in narrow channels, is an important topic in out-of-equilibrium statistical physics. Various microscopic models of single-file systems…
We consider two particles performing continuous-time nearest neighbor random walk on $\mathbb Z$ and interacting with each other when they are at neighboring positions. Typical examples are two particles in the partial exclusion process or…
The dissipation and decoherence (for example, the effects of noise in quantum computations), interaction with thermostat or in general with physical vacuum, measurement and many other complicated problems of open quantum systems are a…
The one-dimensional kinetic contact process with parallel update is introduced and studied by the mean-field approximation and Monte Carlo (MC) simulations. Contrary to a more conventional scenario with single active phase for 1d models…
We study the decoupling of high dimension operators from the the description of the low-energy spectrum in theories where conformal symmetry is broken by a single scale, which we refer to as `broken CFTs'. Holographic duality suggests that…
We present a reduced density operator for electronically open molecules by explicitly averaging over the environmental degrees of freedom of the composite Hamiltonian. Specifically, we include the particle-number non-conserving…
This paper exposes a novel exploratory formalism, which end goal is the numerical simulation of the dynamics of a cloud of particles weakly or strongly coupled with a turbulent fluid. Giventhe large panel of expertise of the list of…
We argue that discourse plans must capture the intended causal and decompositional relations between communicative actions. We present a planning algorithm, DPOCL, that builds plan structures that properly capture these relations, and show…
Previous studies of the vacuum polarization on de Sitter have demonstrated that there is a simple, noncovariant representation of it in which the physics is transparent. There is also a cumbersome, covariant representation in which the…
Unitary matrices are the basis of a large number of signal processing applications. In many of these applications, finding ways to efficiently store, and even transmit these matrices, can significantly reduce memory and throughput…
In this article, we introduce a reference model for interaction semantics among communicating discrete systems to guide the discourse on interoperability. The necessary set of unifying concepts is small and comprises essentially the notion…
The effective Hamiltonian describing resonant interaction of an ensemble of identical quantum particles with a photon-free vacuum electromagnetic field has been obtained with allowance for the second-order terms over the coupling constant…
We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics. The purpose is to reduce the satisfaction problem of a formula for a process to…
We investigate the question which communication tasks can be accomplished within a given operational theory. The concrete task is to find out which communication matrices have a prepare-and-measure implementation with states and measurement…
Transaction processing has been an active area of research for several decades. A fundamental characteristic of classical transaction processing protocols is non-determinism, which causes them to suffer from performance issues on modern…
INTRODUCTION This papers deals with partial differential equations of second order, linear, with constant and not constant coefficients, in two variables, which admit real characteristics. I face the study of PDEs with the mentality of the…
Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the…
Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which different sites may act on behalf of a single role. It is…
We develop techniques for studying the effects of self-interactions in the conformal sector of an unparticle model. Their physics is encoded in the higher n-point functions of the conformal theory. We study inclusive processes and argue…