Related papers: Linear lambda terms as invariants of rooted trival…
The broadly applied notions of Lie bialgebras, Manin triples, classical $r$-matrices and $\mathcal{O}$-operators of Lie algebras owe their importance to the close relationship among them. Yet these notions and their correspondences are…
Lambda Prolog is known to be well-suited for expressing and implementing logics and inference systems. We show that lemmas and definitions in such logics can be implemented with a great economy of expression. We encode a higher-order logic…
We investigate the relationship between finite terms in lambda-letrec, the lambda calculus with letrec, and the infinite lambda terms they express. As there are easy examples of lambda-terms that, intuitively, are not unfoldings of terms in…
We study configuration space integral formulas for Milnor's homotopy link invariants, showing that they are in correspondence with certain linear combinations of trivalent trees. Our proof is essentially a combinatorial analysis of a…
Various properties of a class of braid matrices, presented before, are studied considering $N^2 \times N^2 (N=3,4,...)$ vector representations for two subclasses. For $q=1$ the matrices are nontrivial. Triangularity $(\hat R^2 =I)$…
We characterize compatible families of real-rooted polynomials, allowing both positive and negative leading coefficients. Our characterization naturally generalizes the same-sign characterization used by Chudnovsky and Seymour in their…
It is shown that an algebra $\Lambda $ can be lifted with nilpotent Jacobson radical $r = r(\Lambda)$ and has a generalized matrix unit $\{e_{ii}\}_I$ with each $\bar e_{ii} $ in the center of $\bar \Lambda = \Lambda /r$ iff $\Lambda $ is…
We introduce a representation of compact 3-manifolds without spherical boundary components via (regular) 4-colored graphs, which turns out to be very convenient for computer aided study and tabulation. Our construction is a direct…
We obtain complete geometric invariants of cobordism classes of oriented simple fold maps of (n+1)-dimensional manifolds into an n-dimensional manifold N in terms of immersions with prescribed normal bundles. We compute that this cobordism…
We introduce proof terms for string rewrite systems and, using these, show that various notions of equivalence on reductions known from the literature can be viewed as different perspectives on the notion of causal equivalence. In…
In this article we study higher homological properties of $n$-levelled algebras and connect them to properties of the underlying graphs. Notably, to each $2$-representation-finite quadratic monomial algebra $\Lambda$ we associate a…
We consider the noncommutative space $\mathbb{R}^3_\lambda$, a deformation of the algebra of functions on $\mathbb{R}^3$ which yields a "foliation" of $\mathbb{R}^3$ into fuzzy spheres. We first construct a natural matrix base adapted to…
We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both…
Maps from links in thickened surfaces to flat-virtual links help to construct invariants of links using invariants of flat-virtual links. This work is dedicated to investigation of equivalence and invariants of flat-virtual diagrams…
We suggest a way to associate to a rational map of the Riemann sphere a three dimensional object called a hyperbolic orbifold 3-lamination. The relation of this object to the map is analogous to the relation of a hyperbolic 3-manifold to a…
We present several results on counting untyped lambda terms, i.e., on telling how many terms belong to such or such class, according to the size of the terms and/or to the number of free variables.
Given a feature set for the shape of a closed loop, it is natural to ask which features in that set do not change when the starting point of the path is moved. For example, in two dimensions, the area enclosed by the path does not depend on…
In the work are defined the concepts semi-canonical and canonical binary matrix. What is described is an algorithm solving the combinatorial problem for finding the semi-canonical matrices in the set \Lambda_n^k consisting of all n\times n…
The goal of the paper is to give a complete description of the images of noncommutative polynomials with zero constant term on upper triangular matrix algebras over an algebraically closed field. This is a variation of the old and famous…
In this paper we prove the case $dim(V_3)=3$ of a conjecture about the exterior operad ${\Lambda}^{S^2}_{V_d}$. For this we introduce a collection of natural involutions on the set of homogeneous cycle-free $d$-partitions of the complete…