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

In the mathematical framework of a restricted, slightly dissipative spin-orbit model, we prove the existence of periodic orbits for astronomical parameter values corresponding to all satellites of the Solar system observed in exact…

We investigate the orbits of automaton semigroups and groups to obtain algorithmic and structural results, both for general automata but also for some special subclasses. First, we show that a more general version of the finiteness problem…

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…

Let G be a semi-simple Lie group and Q a parabilic subgroup of its complexification G^\mathbb C, then Z:=G^\mathbb C/Q is a compact complex homogeneous manifold. Moreover, G as well as K^\mathbb C, the complexification of the maximal…

By varying a parameter of a one-dimensional piecewise smooth map, stable periodic orbits are observed. In this paper, complete analytic characterization of these stable periodic orbits is obtained. An interesting relationship between the…

Complete orthonormal sets of exponential-type orbitals with non-integer principal quantum numbers are discussed as basis functions in non-relativistic Hartree-Fock-Roothaan electronic structure calculations of atoms. A method is proposed to…

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…

We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…

We consider generalisations of the elliptic Calogero--Moser systems associated to complex crystallographic groups in accordance to [1]. In our previous work [2], we proposed these systems as candidates for Seiberg--Witten integrable systems…

"How much c.e. sets could cover a given set?" in this paper we are going to answer this question. Also, in this approach some old concepts come into a new arrangement. The major goal of this article is to introduce an appropriate definition…

Let $G$ be a group. The orbits of the natural action of $\mbox{Aut}(G)$ on $G$ are called "automorphism orbits" of $G$, and the number of automorphism orbits of $G$ is denoted by $\omega(G)$. In this paper the finite nonsolvable groups $G$…

Let G be a real, connected, noncompact, semisimple Lie group, let K be a maximal compact subgroup of G, and let g=k+p be the corresponding Cartan decomposition of the complexified Lie algebra of G. Sequences of strongly orthogonal…

We study a class of maps having the Collatz function (famously related to the Collatz Conjecture) as an example, under the topological and ergodic perspectives, including an approach with thermodynamic formalism. By introducing a key…

Let G be second countable locally compact Hausdorff groupoid with a continuous Haar system. We remove the assumption of amenability in a theorem of Clark about groupoids whose $C^*$-algebras are CCR. We show that if the groupoid C*-algebra…

We give a probabilistic proof of the orbit-counting lemma.

Let $X$ be a finite CW-complex having mod $p$ cohomology isomorphic to a wedge of three spheres $\mathbb{S}^n\vee \mathbb{S}^m \vee \mathbb{S}^l,~ 1\leq n \leq m \leq l$. The aim of this paper is to determine the fixed point sets of actions…

A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…

We consider groups of orientation-preserving real analytic diffeomorphisms of the circle which have a finite image under the rotation number function. We show that if such a group is nondiscrete with respect to the $C^1$-topology then it…

(1) Let 1\leq k\leq \omega. Call an atom structure \alpha weakly k neat representable, the term algebra is in \RCA_n\cap \Nr_n\CA_{n+k}, but the complex algebra is not representable. Call an atom structure neat if there is an atomic algebra…

Let G be a connected reductive linear algebraic group defined over an algebraically closed field of characteristic p. Assume that p is good for G. In this note we classify all the spherical nilpotent G-orbits in the Lie algebra of G. The…