Related papers: The Complexity of Orbits of Computably Enumerable …

We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $\Sigma_\beta$ hierarchy. We focus on linear orderings. We show that at the $\Sigma_1$ level all linear…

We study the quantizations of the algebras of regular functions on nilpotent orbits. We show that such a quantization always exists and is unique if the orbit is birationally rigid. Further we show that, for special birationally rigid…

In this paper we will refine Sacksteder's theorem for groups of orientation-preserving homeomorphisms of the circle in the case that there exists a finite orbit set. We will give a categorization of the topological possibilities for the…

We show that every separable simple tracially approximately divisible $C^*$-algebra has strict comparison, is either purely infinite, or has stable rank one. As a consequence, we show that every (non-unital) finite simple ${\cal Z}$-stable…

Let $G$ be a finite solvable group, given through a refined consistent polycyclic presentation, and $\alpha$ an automorphism of $G$, given through its images of the generators of $G$. In this paper, we discuss algorithms for computing the…

We present a classification theorem for a class of unital simple separable amenable ${\cal Z}$-stable $C^*$-algebras by the Elliott invariant. This class of simple $C^*$-algebras exhausts all possible Elliott invariant for unital stably…

In this article, we study the complex symmetry of compositions operators $C_{\phi}f=f\circ \phi$ induced on weighted Bergman spaces $A^2_{\beta}(\mathbb{D}),\ \beta\geq -1,$ by analytic self-maps of the unit disk. One of ours main results…

We give compact extended formulations for the packing and partitioning orbitopes (with respect to the full symmetric group) described and analyzed in (Kaibel and Pfetsch, 2008). These polytopes are the convex hulls of all 0/1-matrices with…

Motivated by problems arising in the relative trace formula and arithmetic invariant theory we prove the existence of rational points on orbits arising from certain infinitesimal symmetric spaces. As an application, we prove analogous…

The purpose of this paper is to answer two questions left open in [B. Durand, A. Shen, and N. Vereshchagin, Descriptive Complexity of Computable Sequences, Theoretical Computer Science 171 (2001), pp. 47--58]. Namely, we consider the…

The Semialgebraic Orbit Problem is a fundamental reachability question that arises in the analysis of discrete-time linear dynamical systems such as automata, Markov chains, recurrence sequences, and linear while loops. An instance of the…

Let $A$ be a unital separable simple $C^*$-algebra with tracial rank zero and let $x, \, y\in A$ be two normal elements. We show that $x$ is in the closure of the convex full of the unitary obit of $y$ if and only if there exists a sequence…

We present a new proof of the following theorem of Benoist-Quint: Let $G:=SO^\circ(d,1)$, $d\ge 2$ and $\Delta<G$ a cocompact lattice. Any orbit of a Zariski dense subgroup $\Gamma$ of $G$ is either finite or dense in $\Delta\backslash G$.…

Let G be a simple algebraic group over an algebraically closed field k; assume that Char k is zero or good for G. Let \cB be the variety of Borel subgroups of G and let e in Lie G be nilpotent. There is a natural action of the centralizer…

This paper exploits adjacencies between the orbits of an ordered set P and a consequence of the classification of finite simple groups to, in many cases, exponentially bound the number of automorphisms. Results clearly identify the…

The rank of a finite algebraic structure with a single binary operation is the minimum number of elements needed to express every other element under the closure of the operation. In the case of groups, the previous best algorithm for…

Let $G$ be a reductive algebraic group and let $Z$ be the stabilizer of a nilpotent element $e$ of the Lie algebra of $G$. We consider the action of $Z$ on the flag variety of $G$, and we focus on the case where this action has a finite…

Let $G$ be a simple algebraic group and $\mathcal O$ a nilpotent orbit in $\mathfrak g$. Let ${\mathbf{CS}}(\mathcal O)$ denote the affine cone over the secant variety of $\overline{\mathbb P\mathcal O}\subset \mathbb P\mathfrak g$. Using…

Following Elliott's earlier work, we show that the Elliott invariant of any finite separable simple $C^*$-algebra with finite nuclear dimension can always be described as a scaled simple ordered group pairing together with a countable…

We study ruled submanifolds of Euclidean space. First, to each (parametrized) ruled submanifold $\sigma$, we associate an integer-valued function, called degree, measuring the extent to which $\sigma$ fails to be cylindrical. In particular,…