Related papers: Canonical Representatives of Morphic Permutations
We describe all closed permutation groups which act on the set of vectors of a countable vector space $V$ over a prime field of odd order and which contain all automorphisms of $V$. In particular, we prove that their number is finite. These…
This work builds on the notion of breadth-first signature of infinite trees and (prefix-closed) languages introduced by the authors in a previous work. We focus here on periodic signatures, a case coming from the study of rational base…
A minimal permutation representation of a finite group G is a faithful G-set with the smallest possible size. We study the structure of such representations and show that for certain groups they may be obtained by a greedy construction. In…
Extending earlier work of Guralnick and of Cai and Zhang, we classify the almost simple groups which have transitive permutation representations of prime power degree $p^k$, and those which have $p$-complements (stabilisers of order coprime…
We define basic notions in the category of conic representations of a topological group and prove elementary facts about them. We show that a conic representation determines an ordinary dynamical system of the group together with a…
In this paper we list all possible degrees of a faithful transitive permutation representation of the group of symmetries of a regular map of types $\{4,4\}$ and $\{3,6\}$ and we give examples of graphs, called CPR-graphs, representing some…
We generalize permutative representations of the Cuntz algebras for the \cka\ $\coa$ for any $A$. We characterize cyclic permutative representations by notions of cycle and chain, and show their existence and uniqueness. We show necessary…
This work addresses the existence of transitive extensions of certain infinite permutation groups which arise as the automorphism groups of model-theoretic structures which are generic in the Fra\"iss\'e sense. The study of transitive…
We construct a rank one infinite measure preserving transformation $T$ such that for all sequences of nonzero integers $\{k_{1},..., k_{r}\}$, $T^{k_{1}}\times...\times T^{k_{r}}$ is ergodic.
Formal languages are sets of strings of symbols described by a set of rules specific to them. In this note, we discuss a certain class of formal languages, called regular languages, and put forward some elementary results. The properties of…
We generalize the notion of proof term to the realm of transfinite reduction. Proof terms represent reductions in the first-order term format, thereby facilitating their formal analysis. We show that any transfinite reduction can be…
We propose an interpretation for the meets and joins in the lattice of experimental propositions of a physical theory, answering a question of Birkhoff and von Neumann in [1]. When the lattice is atomistic, it is isomorphic to the lattice…
We find a formula for the number of permutations of $[n]$ that have exactly $s$ runs up and down. The formula is at once terminating, asymptotic, and exact.
For representation by partial functions in the signature with intersection, composition and antidomain, we show that a representation is meet complete if and only if it is join complete. We show that a representation is complete if and only…
We study equivariant morphisms from zero dimensional schemes to varieties and show that, under suitable assumptions, all such morphisms factor via a canonical one. We relate the above to Algebraic Representations of Ergodic Actions.
Let $\varphi(x_1,\ldots,x_h,y) = u_1x_1 + \cdots + u_hx_h+vy$ be a linear form with nonzero integer coefficients $u_1,\ldots, u_h, v.$ Let $\mathcal{A} = (A_1,\ldots, A_h)$ be an $h$-tuple of finite sets of integers and let $B$ be an…
A one-parameter symplectic group $\{e^{t\dA}\}_{t\in\RR}$ derives proper canonical transformations on a Boson Fock space. It has been known that the unitary operator $U_t$ implementing such a proper canonical transformation gives a…
An orthomorphism is a permutation $\sigma$ of $\{1, \dots, n-1\}$ for which $x + \sigma(x) \mod n$ is also a permutation on $\{1, \dots, n-1\}$. Eberhard, Manners, Mrazovi\'c, showed that the number of such orthomorphisms is $(\sqrt{e} +…
An S-adic expansion of an infinite word is a way of writing it as the limit of an infinite product of substitutions (i.e., morphisms of a free monoid). Such a description is related to continued fraction expansions of numbers and vectors. A…
The critical exponent of an infinite word is defined to be the supremum of the exponent of each of its factors. For k-automatic sequences, we show that this critical exponent is always either a rational number or infinite, and its value is…