Related papers: Colored compositions, Invert operator and elegant …
We introduce a new two-sided type system for verifying the correctness and incorrectness of functional programs with atoms and pattern matching. A key idea in the work is that types should range over sets of normal forms, rather than sets…
In many instances one has to deal with parametric models. Such models in vector spaces are connected to a linear map. The reproducing kernel Hilbert space and affine- / linear- representations in terms of tensor products are directly…
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial…
We study invariant operators in general tensor models. We show that representation theory provides an efficient framework to count and classify invariants in tensor models. In continuation and completion of our earlier work, we present two…
Link/knot invariants are series with integer coefficients, and it is a long-standing problem to get them positive and possessing cohomological interpretation. Constructing positive "superpolynomials" is not straightforward, especially for…
We study the Fox coloring invariants of rational knots. We express the propagation of the colors down the twists of these knots and ultimately the determinant of them with the help of finite increasing sequences whose terms of even order…
In this paper, we study the weighted composition operator on the Fock space $\mf$ of slice regular functions. First, we characterize the boundedness and compactness of the weighted composition operator. Subsequently, we describe all the…
By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…
In this paper the spectrum of composition operators on the space of real analytic functions is investigated. In some cases it is completely determined while in some other cases it is only estimated.
We investigate some types of composition operators, linear and not, and conditions for some spaces to be mapped into themselves and for the operators to satisfy some good properties.
In this paper, we introduce two differential equations arising from the generating function of the Catalan numbers which are `inverses' to each other in some sense. From these differential equations, we obtain some new and explicit…
We tackle three optimization problems in which a colored graph, where each node is assigned a color, must be partitioned into colorful connected components. A component is defined as colorful if each color appears at most once. The problems…
We show the existence of several infinite monochromatic patterns in the integers obtained as values of suitable symmetric polynomials. The simplest example is the following. For every finite coloring of the natural numbers…
We give a formula for the derivatives of a correlation function of composite operators with respect to the parameters (i.e., the strong fine structure constant and the quark mass) of QCD in four-dimensional euclidean space. The formula is…
We discuss some applications of fusion rules and intertwining operators in the representation theory of cyclic orbifolds of the triplet vertex operator algebra. We prove that the classification of irreducible modules for the orbifold vertex…
We construct two rainbow tensor models with multi-tensors of rank-$3$ and present their $W$-representations. We give the formula of counting number of independent gauge-invariant operators in terms of Hurwitz numbers and establish a…
Both the higher energy and the initial state colored partons contribute to making exact calculations in QCD color space more important at the LHC than at its predecessors. This is applicable whether the method of assessing QCD is fixed…
We express the colored Jones polynomial as the inverse of the quantum determinant of a matrix with entries in the $q$-Weyl algebra of $q$-operators, evaluated at the trivial function (plus simple substitutions). The Kashaev invariant is…
Methods of construction of the composition function, left- and right-invariant vector fields and differential 1-forms of a Lie group from the structure constants of the associated Lie algebra are proposed. It is shown that in the second…
There is a commutative algebra of differential-difference operators, acting on polynomials on R_2, associated with the reflection group B2. This paper presents an integral transform which intertwines this algebra, allowing one free…