We present a type and effect system for proving correspondence assertions in a π-calculus with polarized channels, dependent pair types and effect terms. Given a process P and a type environment E, we describe how to generate constraints that are formulae in the Alternating Least Fixed-Point (ALFP) logic. A reasonable model of the generated constraints yields a type and effect assignment such t...

We investigate distances between pairs of nodes in digital trees (digital search trees (DST), and tries). By analytic techniques, such as the Mellin Transform and poissonization, we describe a program to determine the moments of these distances. The program is illustrated on the mean and variance. One encounters delayed Mellin transform equations, which we solve by inspection. Interestingly, th...

The screening properties of fullerene molecules are described by means of a continuum model which uses the electronic wavefunctions of planar graphite as a starting point. The long distance behavior of the system gives rise to a renormalizable theory, which flows towards a non trivial fixed point. Its existence implies an anomalous dielectric constant. The screening properties are neither metal...

Keywords: Analytic semigroup Banach fixed point theorem Caputo derivative Faedo–Galerkin approximations Nonlocal conditions Neutral fractional differential equation a b s t r a c t This paper is concerned with the approximation of the solution for neutral fractional differential equation with nonlocal conditions in an arbitrary separable Hilbert space H. We study an associated integral equation...

We study the distribution of finite-size pseudocritical points in a one-dimensional random quantum magnet with a quantum phase transition described by an infinite randomness fixed point. Pseudocritical points are defined in three different ways: the position of the maximum of the average entanglement entropy, the scaling behavior of the surface magnetization, and the energy of a soft mode. All ...

It has been shown by Voros [V1] that the spectrum of the one-dimensional homogeneous anharmonic oscillator (Schrödinger operator with potential q , M > 1) is a fixed point of an explicit non-linear transformation. We show that this fixed point is globally and exponentially attractive in spaces of properly normalized sequences.

Let H be the hyperbolic 3-space and IsomH be the group of isometries of H. Let G be a discrete subgroup of IsomH. The action of G on H extends to a continuous action on the compactification of H by the sphere at infinity S ∞. The limit set Λ(G) is the set of all accumulation points of the orbit of a point in H. The limit set does not depend on the choice of the point in H and the limit set is a...

This paper studies inference on fixed effects in a linear regression model estimated from network data. We derive bounds on the variance of the fixed-effect estimator that uncover the importance of the smallest non-zero eigenvalue of the (normalized) Laplacian of the network and of the degree structure of the network. The eigenvalue is a measure of connectivity, with smaller values indicating l...

We perform a quark model calculation of the quarkonia bb and cc spectra using smooth and sudden string breaking potentials. The screening parameter is scale dependent and can be related to an effective running gluon mass that has a finite infrared fixed point. A temperature dependence for the screening mass is motivated by lattice QCD simulations at finite temperature. Qualitatively different r...