Related papers: Reversibility of additive CA as function of cylind…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
We determine the eigenvalues with multiplicity of each element of an alternating group in any irreducible representation. This is equivalent to determining the decomposition of cyclic representations of alternating groups into irreducibles.…
We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…
A set of cylindrical solutions to Einstein's field equations for power law densities is described. The solutions have a Bessel function contribution to the metric. For matter cylinders regular on axis, the first two solutions are the…
We investigate the representations of a class of conformal Galilei algebras in one spatial dimension with central extension. This is done by explicitly constructing all singular vectors within the Verma modules, proving their completeness…
We formulate a set of general rules for computing $d$-dimensional four-point global conformal blocks of operators in arbitrary Lorentz representations in the context of the embedding space operator product expansion formalism…
We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…
In this paper we use the Recursion Theorem to show the existence of various infinite sequences and sets. Our main result is that there is an increasing sequence e_0, e_1, e_2 .. such that W_{e_n}={e_{n+1}} for every n. Similarly, we prove…
Let $n$ be a positive integer, and let $R$ be a (possibly infinite dimensional) finitely presented algebra over a computable field of characteristic zero. We describe an algorithm for deciding (in principle) whether $R$ has at most finitely…
In the present article, real number representations, that are generalizations of classical positive and alternating representations of numbers, are introduced and investigated. The main metric relation, properties of cylinder sets are…
It is shown that, given any (n-1)-dimensional lattice L, there is a vector v in Z^n such that the projection of Z^n onto v^perp is arbitrarily close to L. The problem arises in attempting to find the largest cylinder anchored at two points…
In this paper we classify all the cyclic finite dimensional indecomposable\\ modules of the perfect Lie algebras $\mathfrak{sl}(n+1)\ltimes \mathbbm{C}^{n+1}$, given by the semidirect sum of the simple Lie algebra $A_n$ with its standard…
A block in a linear order is an equivalence class when factored by the block relation B(x,y), satisfied by elements that are finitely far apart. We show that every computable linear order with dense condensation-type (i.e. a dense…
The combinatorics of reduced words and commutation classes plays an important role in geometric representation theory. A string polytope is a lattice polytope associated to each reduced word of the longest element $w_0$ in the symmetric…
Several recent problems in the representation theory of finite groups require determining whether certain characters of almost simple groups belong to the principal block. Since the values of these characters are not yet known, we employ…
The aim of this paper is to show that the existence of attracting sets for quasiperiodically forced systems can be extended to appropriate skew-products on the cylinder, homotopic to the identity, in such a way that the general system will…
We prove some general recursions for the numbers of representations of positive integers as a sum x+y, x in X, y in Y, where X,Y are increasing sequences. In particular, we obtain recursions for the number of the Goldbach, Lemoine-Levy,…
The regular representation is related to Zhu's $A(V)$-theory and an induced module from an $A(V)$-module to a $V$-module is defined in terms of the regular representation. As an application, a new proof of Frenkel and Zhu's fusion rule…
A class of variable coefficient (1+1)-dimensional nonlinear reaction-diffusion equations of the general form $f(x)u_t=(g(x)u^nu_x)_x+h(x)u^m$ is investigated. Different kinds of equivalence groups are constructed including ones with…
By a conformal string in Euclidean space is meant a closed critical curve with non-constant conformal curvatures of the conformal arclength functional. We prove that (1) the set of conformal classes of conformal strings is in 1-1…