相关论文: On the Orbits of Computably Enumerable Sets

Let $G$ be a group acting on a finite set $\Omega$. Then $G$ acts on $\Omega\times \Omega$ by its entry-wise action and its orbits form the basis relations of a coherent configuration (or shortly scheme). Our concern is to consider what…

There are various statements in the physics literature about the stratification of quantum states, for example into orbits of a unitary group, and about generalized differentiable structures on it. Our aim is to clarify and make precise…

For a non-compact metrizable space $X$, let ${\mathcal E}(X)$ be the set of all one-point metrizable extensions of $X$, and when $X$ is locally compact, let ${\mathcal E}_K(X)$ denote the set of all locally compact elements of ${\mathcal…

There exists a family $\{B_{\alpha}\}_{\alpha<\omega_1}$ of sets of countable ordinals such that o $\max B_{\alpha}=\alpha$, o if $\alpha\in B_{\beta}$ then $B_{\alpha}\subseteq B_{\beta}$, o if $\lambda\leq \alpha$ and $\lambda$ is a limit…

In this paper we prove a new characterization of the distinguished unipotent orbits of a connected reductive group over an algebraically closed field of characteristic 0. For classical groups we prove the characterization by a combinatorial…

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…

Orbits in galaxy bars are generally complex, but simple closed loop orbits play an important role in our conceptual understanding of bars. Such orbits are found in some well-studied potentials, provide a simple model of the bar in…

We give a sufficient condition for isometric actions to have the congruency of orbits, that is, all orbits are isometrically congruent to each other. As applications, we give simple and unified proofs for some known congruence results, and…

Let G be a finitely generated, torsion-free, two-step nilpotent group. Let C^*(G) be the universal C^*-algebra of G. We show that acsr(C^*(G)) = acsr(C((\hat{G})_1)), where for a unital C^*-algebra A, acsr(A) is the absolute connected…

We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with…

Let $G$ be a compact group of linear transformations of an Euclidean space $V$. The $G$-invariant $C^\infty$ functions can be expressed as $C^\infty$ functions of a finite basic set of $G$-invariant homogeneous polynomials, called an…

We prove that there exists a $\Sigma^0_1$ closed subset of $[0,1]$ that is not homeomorphic to any computably compact space. We show that the index set of c.e. subspaces of $[0,1]$ that admit a computably compact presentation is not…

Let $\alpha, \beta \in (0,1)$ such that at least one of them is irrational. We take a random walk on the real line such that the choice of $\alpha$ and $\beta$ has equal probability $1/2$. We prove that almost surely the $\alpha\beta$-orbit…

We explore representing the compact subsets of a given represented space by infinite sequences over Plotkin's $\mathbb{T}$. We show that computably compact computable metric spaces admit representations of their compact subsets in such a…

Answering a question posed by Adam Epstein, we show that the collection of conjugacy classes of polynomials admitting a parabolic fixed point and at most one infinite critical orbit is a set of bounded height in the relevant moduli space.…

We describe a simple algorithm for classifying orbits into orbit families. This algorithm works by finding patterns in the sign changes of the principal coordinates. Orbits in the logarithmic potential are studied as an application; we…

A useful crude approximation for Abelian functions is developed and applied to orbits. The bound orbits in the power-law potentials A*r^{-alpha} take the simple form (l/r)^k = 1 + e cos(m*phi), where k = 2 - alpha > 0 and 'l' and 'e' are…

It is known that the antipodal set of a Riemannian symmetric space of compact type $G / K$ consists of a union of $K$-orbits. We determine the dimensions of these $K$-orbits of most irreducible symmetric spaces of compact type. The…

We study two complexity notions of groups - a computable Scott sentence and the index set of a group. Finding the exact complexity of one of them usually involves finding the complexity of the other, but this is not the case sometimes. J.…

Inspired by recent work of Aslanyan and Daw, we introduce the notion of $\Sigma$-orbits in the general framework of distinguished categories. In the setting of connected Shimura varieties, this concept contains many instances of…