Related papers: Upward confluence in the interaction calculus
Colloidal systems present exciting opportunities to study clusters. Unlike atomic clusters, which are frequently produced at extremely low density, colloidal clusters may interact with one another. Here we consider the effect of such…
We consider an evolution of two elementary quantum particles and ask the question: under what conditions such a system behaves as a single object? It is obvious that if the attraction between the particles is stronger than any other force…
A formalism for the study of highly interacting electronic systems is presented. The proposed scheme is based on two key concepts: composite operators and algebra constraints. Composite field operators, that naturally appear as a…
Analyzing the dynamics of open quantum systems has a long history in mathematics and physics. Depending on the system at hand, basic physical phenomena that one would like to explain are, for example, convergence to equilibrium, the…
We consider a general interacting particle system with interactions on a random graph, and study the large population limit of this system. When the sequence of underlying graphs converges to a graphon, we show convergence of the…
Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. A purely numeric mechanism, like those proposed so far, cannot provide a…
We show that (local) confluence of terminating locally constrained rewrite systems is undecidable, even when the underlying theory is decidable. Several confluence criteria for logically constrained rewrite systems are known. These were…
In this article, we study the large-population limit of interacting particle systems posed on weighted random graphs. In that aim, we introduce a general framework for the construction of weighted random graphs, generalizing the concept of…
To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close correspondence with the calculus, and a low-level language to create…
The theory of ``Markov-up'' processes is being developed. This is a new class of stochastic processes with ``partial'' markovian features; it could also be called ``one-sided Markov''. Such a behavior may be found in the real world and in…
This paper studies properties of the logic BV, which is an extension of multiplicative linear logic (MLL) with a self-dual non-commutative operator. BV is presented in the calculus of structures, a proof theoretic formalism that supports…
We investigate entanglement for a composite closed system endowed with a scaling property allowing to keep the dynamics invariant while the effective Planck constant hbar_eff of the system is varied. Entanglement increases as hbar_eff goes…
This paper gives a detailed account of the relationship between (a variant of) the call-by-value lambda calculus and linear logic proof nets. The presentation is carefully tuned in order to realize a strong bisimulation between the two…
This Paper investigate sequent calculi for certain weak subintuitionistic logics. We establish that weakening and contraction are height-preserving admissible for each of these calculi, and we provide a syntactic proof for the admissibility…
We have previously discussed the one-dimensional multitrap system of finite range and found the somewhat unexpected result that the larger is the number of imperfect traps the higher is the transmission through them. We discuss in this work…
The flow of contracting systems contracts 1-dimensional parallelotopes, i.e., line segments, at an exponential rate. One reason for the usefulness of contracting systems is that many interconnections of contracting sub-systems yield an…
The open-system dynamics of entanglement plays an important role in the assessment of the robustness of quantum information processes and also in the investigation of the classical limit of quantum mechanics. Here we show that, subjacent to…
We consider an analogue of the Lieb-Thirring inequality for quantum systems with homogeneous repulsive interaction potentials, but without the antisymmetry assumption on the wave functions. We show that in the strong-coupling limit, the…
Soft interactions are not easily disentangled from hard ones. In an operational definition of soft and hard processes one finds that at presently analyzed scales there is an interplay of soft and hard processes. As the scale increases, so…
In this work we give a proof of the mean-field limit for $\lambda$-convex potentials using a purely variational viewpoint. Our approach is based on the observation that all evolution equations that we study can be written as gradient flows…