Inequalities in Discrete Subgroups of PSL(2, R)

1988 ◽  
Vol 40 (1) ◽  
pp. 115-130 ◽  
Author(s):  
Jane Gilman
Keyword(s):  
Discrete Group ◽  
Sufficient Conditions ◽  
Complete Classification ◽  
Necessary Condition ◽  
Discrete Subgroups ◽  
Elementary Subgroup ◽  
Van Vleck ◽  
Necessary And Sufficient ◽  
Number Of Authors

Conditions for a subgroup, F, of PSL(2, R) to be discrete have been investigated by a number of authors. Jørgensen's inequality [5] gives an elegant necessary condition for discreteness for subgroups of PSL(2, C). Purzitsky, Rosenberger, Matelski, Knapp, and Van Vleck, among others [12, 13, 14, 9, 16, 17, 18, 19, 20, 7, 21] studied two generator discrete subgroups of PSL(2, R) in a long series of papers. The complete classification of two generator subgroups was surprisingly complicated and elusive. The most complete result appears in [20].In this paper we use the results of [20] to prove that a nonelementary subgroup F of PSL(2, R) is discrete if and only if every non-elementary subgroup, G, generated by two hyperbolics is discrete (Theorem 5.2) and that F contains no elliptics if and only if each such G is free (Theorem 5.1). Thus, we produce necessary and sufficient conditions for a non-elementary subgroup F of PSL(2, R) to be a discrete group without elliptic elements (Theorem 6.1) or a discrete group containing only hyperbolic elements (Theorem 7.1).

Complete Moment Balancing of Contra Planar 5R Linkages

2012 ◽  
Author(s):  
Brian Moore ◽  
Clément Gosselin
Keyword(s):  
Special Class ◽  
Sufficient Conditions ◽  
Complete Classification ◽  
Necessary And Sufficient Conditions ◽  
Design Parameters ◽  
Balancing Conditions ◽  
Necessary And Sufficient

In this paper, the complete shaking force and moment balancing conditions for a special class of planar 5R linkages, the contra 5R linkage, is considered. Contra 5R linkages are planar 5R linkages in which the two input links are mechanically coupled and rotate at the same speed in opposite directions. A method to derive necessary and sufficient conditions on the design parameters to achieve moment balancing without introducing additional components is presented. Using this method, a complete classification of all shaking force and moment balanced contra 5R linkages is given.

Homoclinic and Big Bang Bifurcations of an Embedding of 1D Allee’s Functions into a 2D Diffeomorphism

2017 ◽  
Vol 27 (09) ◽  
pp. 1730030 ◽  
Author(s):  
J. Leonel Rocha ◽  
Abdel-Kaddous Taha ◽  
D. Fournier-Prunaret
Keyword(s):  
Fixed Point ◽  
Sufficient Conditions ◽  
Big Bang ◽  
Complete Classification ◽  
Two Dimensional ◽  
Contour Lines ◽  
Dimension One ◽  
Necessary And Sufficient ◽  
Homoclinic Tangencies

In this work a thorough study is presented of the bifurcation structure of an embedding of one-dimensional Allee’s functions into a two-dimensional diffeomorphism. A complete classification of the nature and stability of the fixed points, on the contour lines of the two-dimensional diffeomorphism, is provided. A necessary and sufficient condition so that the Allee fixed point is a snapback repeller is established. Sufficient conditions for the occurrence of homoclinic tangencies of a saddle fixed point of the two-dimensional diffeomorphism are also established, associated to the snapback repeller bifurcation of the endomorphism defined by the Allee functions. The main results concern homoclinic and big bang bifurcations of the diffeomorphism as “germinal” bifurcations of the Allee functions. Our results confirm previous predictions of structures of homoclinic and big bang bifurcation curves in dimension one and extend these studies to “local” concepts of Allee effect and big bang bifurcations to this two-dimensional exponential diffeomorphism.

scholarly journals On non-hyperbolic algebraic automorphisms of a two-dimensional torus

2021 ◽  
Vol 23 (3) ◽  
pp. 295-307
Author(s):  
Sergey V. Sidorov ◽  
Ekaterina E. Chilina
Keyword(s):  
Sufficient Conditions ◽  
Complete Classification ◽  
Orientable Surface ◽  
Topological Classification ◽  
Topological Conjugacy ◽  
Two Dimensional ◽  
Dimensional Torus ◽  
Algebraic Automorphism ◽  
Necessary And Sufficient

Abstract. This paper contains a complete classification of algebraic non-hyperbolic automorphisms of a two-dimensional torus, announced by S. Batterson in 1979. Such automorphisms include all periodic automorphisms. Their classification is directly related to the topological classification of gradient-like diffeomorphisms of surfaces, since according to the results of V. Z. Grines and A.N. Bezdenezhykh, any gradient like orientation-preserving diffeomorphism of an orientable surface is represented as a superposition of the time-1 map of a gradient-like flow and some periodic homeomorphism. J. Nielsen found necessary and sufficient conditions for the topological conjugacy of orientation-preserving periodic homeomorphisms of orientable surfaces by means of orientation-preserving homeomorphisms. The results of this work allow us to completely solve the problem of realization all classes of topological conjugacy of periodic maps that are not homotopic to the identity in the case of a torus. Particularly, it follows from the present paper and the work of that if the surface is a two-dimensional torus, then there are exactly seven such classes, each of which is represented by algebraic automorphism of a two-dimensional torus induced by some periodic matrix.

scholarly journals Smale flows on

2015 ◽  
Vol 35 (5) ◽  
pp. 1546-1581
Author(s):  
KETTY A. DE REZENDE ◽  
GUIDO G. E. LEDESMA ◽  
OZIRIDE MANZOLI NETO
Keyword(s):  
Sufficient Conditions ◽  
Complete Classification ◽  
Necessary And Sufficient Conditions ◽  
Smale Flows ◽  
Necessary And Sufficient ◽  
Lyapunov Graph

In this paper, we use abstract Lyapunov graphs as a combinatorial tool to obtain a complete classification of Smale flows on$\mathbb{S}^{2}\times \mathbb{S}^{1}$. This classification gives necessary and sufficient conditions that must be satisfied by an (abstract) Lyapunov graph in order for it to be associated to a Smale flow on$\mathbb{S}^{2}\times \mathbb{S}^{1}$.

Some generalized characters associated to a transitive permutation group

2020 ◽  
Vol 23 (3) ◽  
pp. 393-397
Author(s):  
Wolfgang Knapp ◽  
Peter Schmid
Keyword(s):  
Positive Integer ◽  
Permutation Group ◽  
Frobenius Group ◽  
Sufficient Conditions ◽  
Necessary Condition ◽  
Transitive Permutation Group ◽  
Point Stabilizer ◽  
Necessary And Sufficient ◽  
Regular Character ◽  
Permutation Character

AbstractLet G be a finite transitive permutation group of degree n, with point stabilizer {H\neq 1} and permutation character π. For every positive integer t, we consider the generalized character {\psi_{t}=\rho_{G}-t(\pi-1_{G})}, where {\rho_{G}} is the regular character of G and {1_{G}} the 1-character. We give necessary and sufficient conditions on t (and G) which guarantee that {\psi_{t}} is a character of G. A necessary condition is that {t\leq\min\{n-1,\lvert H\rvert\}}, and it turns out that {\psi_{t}} is a character of G for {t=n-1} resp. {t=\lvert H\rvert} precisely when G is 2-transitive resp. a Frobenius group.

The λ-classification of continuous-time birth-and-death processes

2003 ◽  
Vol 35 (04) ◽  
pp. 1111-1130 ◽  
Author(s):  
Andrew G. Hart ◽  
Servet Martínez ◽  
Jaime San Martín
Keyword(s):  
Continuous Time ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Birth And Death Processes ◽  
Positive Recurrent ◽  
Necessary And Sufficient

We study the λ-classification of absorbing birth-and-death processes, giving necessary and sufficient conditions for such processes to be λ-transient, λ-null recurrent and λ-positive recurrent.

scholarly journals On circulant codes with prescribed distances

1977 ◽  
Vol 16 (3) ◽  
pp. 361-369
Author(s):  
M. Deza ◽  
Peter Eades
Keyword(s):  
Sufficient Conditions ◽  
Difference Sets ◽  
Necessary And Sufficient Conditions ◽  
Necessary Condition ◽  
Weighing Matrices ◽  
Cyclic Difference Sets ◽  
The Matrix ◽  
Circulant Codes ◽  
Necessary And Sufficient ◽  
Square Matrix

Necessary and sufficient conditions are given for a square matrix to te the matrix of distances of a circulant code. These conditions are used to obtain some inequalities for cyclic difference sets, and a necessary condition for the existence of circulant weighing matrices.

Separability criteria based on the Bloch representation of density matrices

2007 ◽  
Vol 7 (7) ◽  
pp. 624-638
Author(s):  
J. de Vicente
Keyword(s):  
Sufficient Conditions ◽  
Quantum Systems ◽  
Necessary Condition ◽  
Sufficient Condition ◽  
Pure Product ◽  
Separability Problem ◽  
Arbitrary Dimensions ◽  
Necessary And Sufficient ◽  
Bloch Representation

We study the separability of bipartite quantum systems in arbitrary dimensions using the Bloch representation of their density matrix. This approach enables us to find an alternative characterization of the separability problem, from which we derive a necessary condition and sufficient conditions for separability. For a certain class of states the necessary condition and a sufficient condition turn out to be equivalent, therefore yielding a necessary and sufficient condition. The proofs of the sufficient conditions are constructive, thus providing decompositions in pure product states for the states that satisfy them. We provide examples that show the ability of these conditions to detect entanglement. In particular, the necessary condition is proved to be strong enough to detect bound entangled states.

scholarly journals An Application of Spherical Geometry to Hyperkähler Slices

2020 ◽  
pp. 1-30
Author(s):  
Peter Crooks ◽  
Maarten van Pruijssen
Keyword(s):  
Sufficient Conditions ◽  
Compact Subgroup ◽  
Spherical Geometry ◽  
Spherical Subgroup ◽  
Cotangent Bundles ◽  
Complex Semisimple ◽  
Reductive Subgroup ◽  
Necessary And Sufficient

Abstract This work is concerned with Bielawski’s hyperkähler slices in the cotangent bundles of homogeneous affine varieties. One can associate such a slice with the data of a complex semisimple Lie group  $G$ , a reductive subgroup $H\subseteq G$ , and a Slodowy slice $S\subseteq \mathfrak{g}:=\text{Lie}(G)$ , defining it to be the hyperkähler quotient of $T^{\ast }(G/H)\times (G\times S)$ by a maximal compact subgroup of  $G$ . This hyperkähler slice is empty in some of the most elementary cases (e.g., when $S$ is regular and $(G,H)=(\text{SL}_{n+1},\text{GL}_{n})$ , $n\geqslant 3$ ), prompting us to seek necessary and sufficient conditions for non-emptiness. We give a spherical-geometric characterization of the non-empty hyperkähler slices that arise when $S=S_{\text{reg}}$ is a regular Slodowy slice, proving that non-emptiness is equivalent to the so-called $\mathfrak{a}$ -regularity of $(G,H)$ . This $\mathfrak{a}$ -regularity condition is formulated in several equivalent ways, one being a concrete condition on the rank and complexity of $G/H$ . We also provide a classification of the $\mathfrak{a}$ -regular pairs $(G,H)$ in which $H$ is a reductive spherical subgroup. Our arguments make essential use of Knop’s results on moment map images and Losev’s algorithm for computing Cartan spaces.

Asymptotic stability of heteroclinic cycles in systems with symmetry. II

2004 ◽  
Vol 134 (6) ◽  
pp. 1177-1197 ◽  
Author(s):  
Martin Krupa ◽  
Ian Melbourne
Keyword(s):  
Asymptotic Stability ◽  
Transition Matrix ◽  
Sufficient Conditions ◽  
Systematic Investigation ◽  
Necessary And Sufficient Conditions ◽  
Sufficient Condition ◽  
Heteroclinic Cycles ◽  
Higher Dimensional ◽  
Necessary And Sufficient

Systems possessing symmetries often admit robust heteroclinic cycles that persist under perturbations that respect the symmetry. In previous work, we began a systematic investigation into the asymptotic stability of such cycles. In particular, we found a sufficient condition for asymptotic stability, and we gave algebraic criteria for deciding when this condition is also necessary. These criteria are satisfied for cycles in R3.Field and Swift, and Hofbauer, considered examples in R4 for which our sufficient condition for stability is not optimal. They obtained necessary and sufficient conditions for asymptotic stability using a transition-matrix technique.In this paper, we combine our previous methods with the transition-matrix technique and obtain necessary and sufficient conditions for asymptotic stability for a larger class of heteroclinic cycles. In particular, we obtain a complete theory for ‘simple’ heteroclinic cycles in R4 (thereby proving and extending results for homoclinic cycles that were stated without proof by Chossat, Krupa, Melbourne and Scheel). A partial classification of simple heteroclinic cycles in R4 is also given. Finally, our stability results generalize naturally to higher dimensions and many of the higher-dimensional examples in the literature are covered by this theory.

Sign in / Sign up

Export Citation Format

Share Document