Related papers: Multi-Dimensional Interpretations of Presburger Ar…
We determine all groups definable in Presburger arithmetic, up to a finite index subgroup.
For vectors in $\mathbb{E}_3$ we introduce an associative, commutative and distributive multiplication. We describe the related algebraic and geometrical properties, and hint some applications. Based on properties of hyperbolic (Clifford)…
Second-order superintegrable systems in dimensions two and three are essentially classified. With increasing dimension, however, the non-linear partial differential equations employed in current methods become unmanageable. Here we propose…
We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension.…
The matrix units of a digraph algebra, A, induce a relation, known as the diagonal order, on the projections in a masa in the algebra. Normalizing partial isometries in A act on these projections by conjugation; they are said to be order…
We show that the set of numbers that are $Q$-distribution normal but not simply $Q$-ratio normal has full Hausdorff dimension. It is further shown under some conditions that countable intersections of sets of this form still have full…
We construct a canonical irreducible representation for the orthofermion algebra of arbitrary order, and show that every representation decomposes into irreducible representations that are isomorphic to either the canonical representation…
Using recent results on string on $AdS_{3}\times N^d$, where N is a d-dimensional compact manifold, we re-examine the derivation of the non trivial extension of the (1+2) dimensional-Poincar\'e algebra obtained by Rausch de Traubenberg and…
The almost sure Hausdorff dimension of the limsup set of randomly distributed rectangles in a product of Ahlfors regular metric spaces is computed in terms of the singular value function of the rectangles.
We show that the nuclear dimension of a (twisted) group C*-algebra of a virtually polycyclic group is finite. This prompts us to make a conjecture relating finite nuclear dimension of group C*-algebras and finite Hirsch length, which we…
The notion of permutative representation is generalized to the $2$-adic ring $C^*$-algebra $\mathcal{Q}_{2}$. Permutative representations of $\mathcal{Q}_2$ are then investigated with a particular focus on the inclusion of the Cuntz algebra…
In this paper, we describe the irreducible representations and give a dimension formula for the Framisation of the Temperley-Lieb algebra. We then prove that the Framisation of the Temperley-Lieb algebra is isomorphic to a direct sum of…
We develop the relation between hyperbolic geometry and arithmetic equidistribution problems that arises from the action of arithmetic groups on real hyperbolic spaces, especially in dimension up to 5. We prove generalisations of Mertens'…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
In the present paper, we propose to give an extension to the context of Dunkl theory of the notion of translation and in connection with this a corresponding extension of Taylor's formula. More precisely, we prove some properties and…
In this note we present a more detailed and explicit exposition of the definition of a conformal representation of a Leibniz algebra. Recall (arXiv:math/0611501v3) that Leibniz algebras are exactly Lie dialgebras. The idea is based on the…
We review the motivation and fundamental properties of the Hausdorff dimension of metric spaces and illustrate this with a number of examples, some of which are expected and well-known. We also give examples where the Hausdorff dimension…
We extend the notion of triangle to "imaginary triangles" with complex valued sides and angles, and parametrize families of such triangles by plane algebraic curves. We study in detail families of triangles with two commensurable angles,…
We find a translation with particularly nice properties from intuitionistic propositional logic in countably many variables to intuitionistic propositional logic in two variables. In addition, the existence of a possibly-not-as-nice…
We study the ring of arithmetical functions with unitary convolution, giving an isomorphism to a generalized power series ring on infinitely many variables, similar to the isomorphism of Cashwell-Everett between the ring of arithmetical…