Related papers: Counting with 3-valued truth tables of bracketed f…
In the last time some papers were devoted to the study of the con- nections between binary block codes and BCK-algebras. In this paper, we try to generalize these results to n-ary block codes, providing an algorithm which allows us to…
In this paper we propose an approach to implement specific relation-ship set between two entities called combinatorial relationship set. For the combinatorial relationship set B between entity sets G and I the mapping cardinality is…
The relationship between algebraic geometry and the inferential framework of the Bayesian Networks with hidden variables has now been fruitfully explored and exploited by a number of authors. More recently the algebraic formulation of…
The linearized double shuffle Lie algebra $\mathfrak{ls}$ is a well-studied Lie algebra, which reflects the depth-graded structure of multiple zeta values. We introduce a generalization $\mathfrak{lq}$, which is motivated from the…
Conditionals play a key role in different areas of logic and probabilistic reasoning, and they have been studied and formalized from different angles. In this paper we focus on the de Finetti's notion of conditional as a three-valued…
Given one of an infinite class of supersymmetric quiver gauge theories, string theorists can associate a corresponding toric variety (which is a Calabi-Yau 3-fold) as well as an associated combinatorial model known as a brane tiling. In…
Let $r$ be any positive integer, and let $x_1, x_2$ be indeterminates. We consider the sequence $\{x_n\}$ defined by the recursive relation $$ x_{n+1} =(x_n^r +1)/{x_{n-1}} $$ for any integer $n$. Finding a combinatorial expression for…
Relational verification encompasses information flow security, regression verification, translation validation for compilers, and more. Effective alignment of the programs and computations to be related facilitates use of simpler relational…
We prove a multivariate Lagrange-Good formula for functionals of uncountably many variables and investigate its relation with inversion formulas using trees. We clarify the cancellations that take place between the two aforementioned…
In this paper we investigate Lie bialgebra structures on a twisted Schr\"{o}dinger-Virasoro type algebra $\LL$. All Lie bialgebra structures on $\LL$ are triangular coboundary, which is different from the relative result on the original…
In this paper, we give a simple combinatorial explanation of a formula of A. Postnikov relating bicolored rooted trees to bicolored binary trees. We also present generalized formulas for the number of labeled k-ary trees, rooted labeled…
Let $p$ be a polynomial in several non-commuting variables with coefficients in a field $K$ of arbitrary characteristic. It has been conjectured that for any $n$, for $p$ multilinear, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by…
We study and classify faithfully balanced modules for the algebra of lower triangular $n$ by $n$ matrices. The theory extends known results about tilting modules, which are classified by binary trees, and counted with the Catalan numbers.…
We consider a scalar-valued implicit function of many variables, and provide two closed formulae for all of its partial derivatives. One formula is based on products of partial derivatives of the defining function, the other one involves…
We prove a closed formula for the derivative, of any order, of a implicit function, in terms of some binomial building blocks, and explain the combinatorics behind the coefficients appearing in the formula.
We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they are equivalent for the purpose of modeling higher-order…
Evidential reasoning is cast as the problem of simplifying the evidence-hypothesis relation and constructing combination formulas that possess certain testable properties. Important classes of evidence as identifiers, annihilators, and…
We establish a novel connection between algebraic number theory and knot theory. We show that the number of equivalence classes of integral binary quadratic forms of discriminant $t^2 - 4$ (for $t\neq \pm 2$) is equal to the number of…
It is conjectured that if a finite set of points in the plane contains many collinear triples then there is some structure in the set. We are going to show that under some combinatorial conditions such pointsets contain special…
A Lie algebra structure on variation vector fields along an immersed curve in a $2$-dimensional real space form is investigated. This Lie algebra particularized to plane curves is the cornerstone in order to define a Hamiltonian structure…