Related papers: Type invariants for non-abelian odometers
A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories. Among the most successful approaches are: the use of wellfounded relations,…
This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort…
We introduce an algebraic invariant for aperiodic inclusions of probability measure preserving equivalence relations. We use this invariant to prove that every stable orbit equivalence between free pmp actions of direct products of…
Types over a discrete valued field $(K,v)$ are computational objects that parameterize certain families of monic irreducible polynomials in $K_v[x]$, where $K_v$ is the completion of $K$ at $v$. Two types are considered to be equivalent if…
We study different pointwise recurrence notions for linear dynamical systems from the Ergodic Theory point of view. We show that from any reiteratively recurrent vector $x_0$, for an adjoint operator $T$ on a separable dual Banach space…
Let K be the product O(n_1) x O(n_2) x ... x O(n_r) of orthogonal groups. Let V the r-fold tensor product of defining representations of each orthogonal factor. We compute a stable formula for the dimension of the K-invariant algebra of…
Given a natural number $n \geq 1$, the odometer semigroup $O_n$, also known as the adding machine or the Baumslag-Solitar monoid with two generators, is a well-known object in group theory. This paper examines the odometer semigroup in…
We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that…
In the paper we throw the first light on studying systematically the local entropy theory for a countable discrete amenable group action. For such an action, we introduce entropy tuples in both topological and measure-theoretic settings and…
The second author had previously obtained explicit generating functions for moments of characteristic polynomials of permutation matrices (n points). In this paper, we generalize many aspects of this situation. We introduce random shifts of…
Let $\overline{\mathfrak{S}}_\infty$ denote the set of all bijections of natural numbers. Consider the action of $\overline{\mathfrak{S}}_\infty$ on a measure space $\left( X,\mathfrak{M},\mu \right)$, where $\mu$ is…
We construct an Alexander type invariant for oriented doodles from a deformation of the Tits representation of the twin group and from the Chebyshev polynomials of second kind. Similar to the Alexander polynomial, our invariant vanishes on…
In this paper we introduce a notion of {\it generalized operad} containing as special cases various kinds of operad--like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories…
We classify actions of generalized Taft algebras on preprojective algebras of extended Dynkin quivers of type $A$. This may be viewed as an extension of the problem of classifying actions on the polynomial ring in two variables. In cases…
The purpose of this paper is to present a certain combinatorial method of constructing invariants of isotopy classes of oriented tame links. This arises as a generalization of the known polynomial invariants of Conway and Jones. These…
Group algebras of permutations have proved highly useful in solving a number of problems in large N gauge theories. I review the use of permutations in classifying gauge invariants in one-matrix and multi-matrix models and computing their…
This paper defines, on the Galilean space-time, the group of asymptotically Euclidean transformations (AET), which are equivalent to Euclidean transformations at space-time infinity, and proposes a formulation of nonrelativistic quantum…
The f-invariant is a higher version of the e-invariant that takes values in the divided congruences between modular forms; it can be formulated as an elliptic genus of manifolds with corners of codimension two. In this thesis, we develop a…
By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type which is able to encode a number of fully coherent algebraic structures. In…
We present a new model of Guarded Dependent Type Theory (GDTT), a type theory with guarded recursion and multiple clocks in which one can program with, and reason about coinductive types. Productivity of recursively defined coinductive…