Related papers: Local loop lemma
In \cite{Kramer11} Kramer proves for a large class of semisimple Lie groups that they admit just one locally compact $\sigma$-compact Hausdorff topology compatible with the group operations. We present two different methods of generalising…
We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem.
We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense.…
We investigate the filtration corresponding to the degree function induced by a non-zero locally nilpotent derivations and its associated graded algebra. As an application we provide an efficient method to recover the Makar-Limanov…
We illustrate with several new applications the power and elegance of the Bendixson Dulac theorem to obtain upper bounds of the number of limit cycles for several families of planar vector fields. In some cases we propose to use a function…
For Young systems, i.e. for hyperbolic systems without/with singularities satisfying Lai-Sang Young's axioms (which imply exponential decay of correlation and the CLT) a local CLT is proven. In fact, a unified version of the local CLT is…
We provide a classification of all dynamical Lie algebras generated by 2-local spin interactions on undirected graphs. Building on our previous work where we provided such a classification for spin chains, here we consider the more general…
We obtain a local central limit theorem for cocycles associated with a class of non abelian and non compact group extensions of Gibbs Markov maps. This class consists of multidimensional infinite dihedral groups. Unlike in the set up of the…
Let $H$ be a subdigraph of a digraph $D$. An ear of $H$ in $D$ is a path or a cycle in $D$ whose ends lie in $H$ but whose internal vertices do not. An \emph{ear decomposition} of a strong digraph $D$ is a nested sequence $(D_0,D_1,\ldots ,…
The local intertwining relation is an identity that gives precise information about the action of normalized intertwining operators on parabolically induced representations. We prove several instances of the local intertwining relation for…
We show that under certain technical assumptions any weakly nonlocal Hamiltonian structure compatible with a given nondegenerate weakly nonlocal symplectic structure $J$ can be written as the Lie derivative of $J^{-1}$ along a suitably…
The validity of the Addition Theorem for algebraic entropies $\ent_L$ induced by non-discrete length functions $L$ on the category of locally $L$-finite modules over arbitrary rings is proved. Concrete examples of non-discrete length…
The "loop equations" of random matrix theory are a hierarchy of equations born of attempts to obtain explicit formulae for generating functions of map enumeration problems. These equations, originating in the physics of 2-dimensional…
The local (central) limit theorem precisely describes the behavior of iterated convolution powers of a probability distribution on the $d$-dimensional integer lattice, $\mathbb{Z}^d$. Under certain mild assumptions on the distribution, the…
Indexed Linear Logic has been introduced by Ehrhard and Bucciarelli, it can be seen as a logical presentation of non-idempotent intersection types extended through the relational semantics to the full linear logic. We introduce an…
We prove the existence of a loop type component of non-negative solutions for an indefinite elliptic equation with homogeneous Neumann boundary conditions. This result complements our previous results obtained in [12], where the existence…
The response of the one loop effective action for a gauge theory with local couplings $g(x),\theta(x)$ under a local Weyl rescaling of the background metric is calculated. Apart from terms which may be removed by local contributions to the…
We present results for Wilson loops in strongly coupled gauge theories. The loops may be taken around an arbitrarily shaped contour and in any field theory with a dual IIB geometry of the form M x S^5. No assumptions about supersymmetry are…
A weighted digraph is a digraph such that every arc is assigned a nonnegative number, called the weight of the arc. The weighted outdegree of a vertex $v$ in a weighted digraph $D$ is the sum of the weights of the arcs with $v$ as their…
We prove a general result about the behaviour of minimizing sequences for nonlocal shape functionals satisfying suitable structural assumptions. Typical examples include functions of the eigenvalues of the fractional Laplacian under…