Related papers: Upward confluence in the interaction calculus
Within the framework of mode-coupling theory, the glass-transition scenario is investigated for a system of particles interacting with a hard-core repulsion and an additional square-shoulder soft core at larger distances. The static…
Two or more quantum systems are said to be in an entangled or non-factorisable state if their joint (supposedly pure) wave-function is not expressible as a product of individual wave functions but is instead a superposition of product…
We consider systems of weakly interacting fermions on a lattice. The corresponding free fermionic system is assumed to have a ground state separated by a gap from the rest of the spectrum. We prove that, if both the interaction and the free…
Including pairwise interactions between the predictors of a regression model can produce better predicting models. However, to fit such interaction models on typical data sets in biology and other fields can often require solving enormous…
The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…
We present two theoretical results on the computation of lambda-contractive sets for linear systems with state and input constraints. First, we show that it is possible to a priori compute a number of iterations that is sufficient to…
We study a process of pattern formation for a generic model of species anchored to the nodes of a network where local reactions take place, and that experience non-reciprocal long-range interactions, encoded by the network directed links.…
Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural…
Recent experimental results indicate that mixing is enhanced by a reciprocal flow induced inside a levitated droplet with an oscillatory deformation [T. Watanabe et al. Sci. Rep. 8, 10221 (2018)]. Generally, reciprocal flow cannot convect…
We study a contact process running in a random environment in $\mathbb {Z}^d$ where sites flip, independently of each other, between blocking and nonblocking states, and the contact process is restricted to live in the space given by…
We generalize the technique of linked cluster expansions on hypercubic lattices to actions that couple fields at lattice sites which are not nearest neighbours. We show that in this case the graphical expansion can be arranged in such a way…
The interaction of fluid membranes with a scaffold, which can be a planar surface or a more complex structure, is intrinsic to a number of systems - from artificial supported bilayers and vesicles to cellular membranes. In principle, these…
We study the existence of equilibrium when agents' preferences may not beconvex. For some specific utility functions, we provide a necessary and sufficientcondition under which there exists an equilibrium. The standard approach cannot be…
We calculate the correlation functions and the DC conductivity of Luttinger liquid superlattices, modeled by a repeated pattern of interacting and free Luttinger liquids. In a specific realization, where the interacting subsystem is a…
This paper concerns the long-term behaviour of a system of interacting random walks labeled by vertices of a finite graph. The model is reversible which allows to use the method of electric networks in the study. In addition, examples of…
Transparency is a fundamental requirement for decision making systems when these should be deployed in the real world. It is usually achieved by providing explanations of the system's behavior. A prominent and intuitive type of explanations…
I explore properties of the inflationary flow equations. I show that the flow equations do not correspond directly to inflationary dynamics. Nevertheless, they can be used as a rather complicated algorithm for generating inflationary…
We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of…
The thermodynamics of the lattice model of intercalation of ions in crystals is considered in the mean field approximation. Pseudospin formalism is used for the description of interaction of electrons with ions and the possibility of…
We answer Klop and de Vrijer's question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a "syntactic" proof that the extensional…