Related papers: Upward confluence in the interaction calculus
A formalism using a double Laplace Fourier transform of the transport equation yields the return probabilities of the vacancy in the vicinity of the tracer atom in the presence of solute-vacancy interactions of arbitrary extension. Studying…
We consider a system of particles which interact through a jump process. The jump intensities are functions of the proximity rank of the particles, a type of interaction referred to as topological in the literature. Such interactions have…
We use cluster dynamical mean field theory to study the phase diagram of the square lattice bilayer Hubbard model with an interlayer interaction. The layers are populated by two-component fermions, and the densities in both layers and the…
We study transport through a strongly correlated quantum dot and show that Coulomb blockade can appear even in the presence of perfect contacts. This conclusion arises from numerical calculations of the conductance for a microscopic model…
Attractive interaction between spinless fermions in a two-dimensional lattice drives the formation of a topological superfluid. But the topological phase is dynamically unstable towards phase separation when the system has a high density of…
A simple model for the formation of a complex organism is introduced. Individuals can communicate and specialize, leading to an increase in productivity. If there are limits to the capacity of individuals to communicate with other…
Many one--dimensional quantum systems, in particular interacting electron and spin systems, can be described a Luttinger liquids. Here, some basic ideas of this picture of one--dimensional systems are briefly reviewed. I then discuss the…
System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the…
Within a general theoretical framework we study the effective, deformation-induced interaction between two colloidal particles trapped at a fluid interface in the regime of small deformations. In many studies, this interaction has been…
We propose a conjecture for the limit of mean-field spin glasses with a bipartite structure, and show that the conjectured limit is an upper bound. The conjectured limit is described in terms of the solution of an infinite-dimensional…
To support the understanding of declarative probabilistic programming languages, we introduce a lambda-calculus with a fair binary probabilistic choice that chooses between its arguments with equal probability. The reduction strategy of the…
The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching a la ML into a case analysis on constants and a commutation rule between case and application…
Based on a recent proposal [O.P. Sushkov, Phys. Rev. B 64, 155319 (2001)], we relate the quantum conductance through a sample in which electrons are strongly correlated to the persistent current of a large ring, composed of the sample and a…
We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity…
The sign problem appears in lattice QCD as soon as a non-zero chemical potential is introduced. This prevents direct simulations to determine the phase structure of the strongly interacting matter. Complex Langevin methods have been…
Interactive behaviors are ubiquitous in modern cryptography, but are also present in $\lambda$-calculi, in the form of higher-order constructions. Traditionally, however, typed $\lambda$-calculi simply do not fit well into cryptography,…
In this paper we construct scalar cumulants for stable random matrix models with single trace interactions of arbitrarily high even order by Weingarten calculus. We obtain explicit and convergent expansions for these scalar cumulants in the…
We analyze certain conservative interacting particle system and establish ergodicity of the system for a family of invariant measures. Furthermore, we show that convergence rate to equilibrium is exponential. This result is of interest…
This paper concerns the explicit treatment of substitutions in the lambda calculus. One of its contributions is the simplification and rationalization of the suspension calculus that embodies such a treatment. The earlier version of this…
Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development of such calculi in functional frameworks are surveyed in the…