Related papers: The Abstract Lace Expansion
Generalizing work of Marin [12], we construct in a unified way all the "braids and ties'' algebras available in literature and new ones.
This paper extends the inductive approach to the lace expansion of van der Hofstad and Slade in order to prove Gaussian asymptotic behaviour for models with critical dimension other than 4. The results are applied by Holmes to study…
This talk is a write-up on some origins of abstract convexity and afew vexing limitations on the range of abstraction in convexity.
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…
In the note some construction of Lie algebras is introduced. It is proved that the construction has the same property as a well known wreath product of groups [1]: Any extension of groups can be embedded into their wreath product [2].
This is a survey report for the Bourbaki Seminar (Exp. no. 1028, November 2010) concerning sieve and expanders, in particular the recent works of Bourgain, Gamburd and Sarnak introducing "sieve in orbits", and the related developments…
Abstract separation systems provide a simple general framework in which both tree-shape and high cohesion of many combinatorial structures can be expressed, and their duality proved. Applications range from tangle-type duality and tree…
We study the relation between augmentations and sheaves in the context of framed oriented links. In this set up, we find slightly more sheaves than augmentations. After removing the sporadic sheaves, we construct a bijective correspondence…
In this article, the theory of sheaves is studied from a categorical point of view. This perspective vastly generalizes the usual theory of sheaves of sets to a more abstract setting which allows us to investigate the theory of sheaves with…
Recent work by Hermanns et al. and Kattenbelt et al. has extended counterexample-guided abstraction refinement (CEGAR) to probabilistic programs. These approaches are limited to predicate abstraction. We present a novel technique, based on…
We obtain a minimal supersymmetric extension of the Snyder algebra and study its representations. The construction differs from the general approach given in Hatsuda and Siegel ({\tt hep-th/0311002}), and does not utilize super-de Sitter…
An extension of Transformers is proposed that enables explicit relational reasoning through a novel module called the Abstractor. At the core of the Abstractor is a variant of attention called relational cross-attention. The approach is…
We introduce the concept of braided alternative bialgebra. The theory of cocycle bicrossproducts for alternative bialgebras is developed. As an application, the extending problem for alternative bialgebra is solved by using some non-abelian…
This is an extension and background to a talk I gave on 9 October 2013 to the Brown Graduate Student Seminar, called `A friendly intro to sieves with a look towards recent progress on the twin primes conjecture.' During the talk, I mention…
This is a brief overview of some applications of the ideas of abstract convexity to the upper semilattices of gauges in finite dimensions.
This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties…
The theory of abstract convexity, also known as convexity without linearity, is an extension of the classical convex analysis. There are a number of remarkable results, mostly concerning duality, and some numerical methods, however, this…
We consider the problem of formalizing the familiar notion of widening in abstract interpretation in higher-order logic. It turns out that many axioms of widening (e.g. widening sequences are ascending) are not useful for proving…
After reviewing the three well-known methods to obtain Lie algebras and superalgebras from given ones, namely, contractions, deformations and extensions, we describe a fourth method recently introduced, the expansion of Lie (super)algebras.…
A conjecture regarding the structure of expander graphs is discussed.