Related papers: Upward confluence in the interaction calculus
We provide a simple proof of the Lieb-Robinson bound and use it to prove the existence of the dynamics for interactions with polynomial decay. We then use our results to demonstrate that there is an upper bound on the rate at which…
A notion of probabilistic lambda-calculus usually comes with a prescribed reduction strategy, typically call-by-name or call-by-value, as the calculus is non-confluent and these strategies yield different results. This is a break with one…
Based purely on symmetry considerations, we derive the following result: in momentum space, the coefficient of the cubic interaction vertex for a spin $\lambda$ field is equal to the corresponding Yang-Mills (spin 1) coefficient, raised to…
We investigate the influence of the additional third level on the dynamic evolution of a Two-Level system interacting with a coherent field in the strong coupling regime where Rotating Wave Approximation is not valid. We find that the…
We investigate the generalized Hubbard model of $(2n+1)$ Fermion species interacting via a symmetric contact attraction potential. We prove that the ground state of such system is a gapless superfluid, where a full Fermi surface coexists…
The recapture relationship is an important element to any understanding of the connexion between different systems of logic. Loosely speaking, one system of logic recaptures another if it is possible to specify a subsystem of the former…
Lubrication forces depend to a high degree on elasticity, texture, charge, chemistry, and temperature of the interacting surfaces. Therefore, by appropriately designing surface properties, we may tailor lubrication forces to reduce…
We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $\beta\eta$-equivalence classes of…
Interacting systems are ubiquitous in nature and engineering, ranging from particle dynamics in physics to functionally connected brain regions. These interacting systems can be modeled by graphs where edges correspond to the interactions…
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
Strong repulsive interactions within a one dimensional Fermi system in a two-probe configuration normally lead to a reduced off-resonance conductance. We show that if the repulsive interaction extends to the contact regions, a strong…
We consider a model of weakly interacting, close-packed, dimers on the two-dimensional square lattice. In a previous paper, we computed both the multipoint dimer correlations, which display non-trivial critical exponents, continuously…
Unidirectionally coupled systems which exhibit phase transitions into an absorbing state are investigated at the multicritical point. We find that for initial conditions with isolated particles, each hierarchy level exhibits an…
Motivated by the recent preprint [arXiv:2004.08412] by Ayala, Carinci, and Redig, we first provide a general framework for the study of scaling limits of higher order fields. Then, by considering the same class of infinite interacting…
We consider a binary system of small and large objects in the continuous space interacting via a non-negative potential. By integrating over the small objects, the effective interaction between the large ones becomes multi-body. We prove…
We analyze the well-posedness of a flow-plate interaction considered in [22, 24]. Specifically, we consider the Kutta-Joukowski boundary conditions for the flow [20, 28, 26], which ultimately give rise to a hyperbolic equation in the…
We study the dynamics of a system composed of interacting units each with a complex internal structure comprising many subunits. We consider the case in which each subunit grows in a multiplicative manner. We propose a model for such…
This thesis analyze the Wasserstein gradient flow of a functional defined as a double convolution of a non-smooth repulsive interaction potential. To be more precise, the potential under investigation has a -|x| behavior close to the…
We consider a cloud of fermionic atoms in an optical lattice described by a Hubbard model with an additional linear potential. While homogeneous interacting systems mainly show damped Bloch oscillations and heating, a finite cloud behaves…
We propose a minimal interacting lattice model for two-dimensional class-$D$ higher-order topological superconductors with no free-fermion counterpart. A Lieb-Schultz-Mattis-type constraint is proposed and applied to guide our lattice model…