scholarly journals CONVEX STANDARD FUNDAMENTAL DOMAIN FOR SUBGROUPS OF HECKE GROUPS

2010 ◽  
Vol 83 (1) ◽  
pp. 96-107
Author(s):  
BOUBAKARI IBRAHIMOU ◽  
OMER YAYENIE

AbstractIt is well known that if a convex hyperbolic polygon is constructed as a fundamental domain for a subgroup of SL(2,ℝ), then its translates by the group form a locally finite tessellation and its side-pairing transformations form a system of generators for the group. Such a hyperbolically convex fundamental domain for any discrete subgroup can be obtained by using Dirichlet’s and Ford’s polygon constructions. However, these two results are not well adapted for the actual construction of a hyperbolically convex fundamental domain due to their nature of construction. A third, and most important and practical, method of obtaining a fundamental domain is through the use of a right coset decomposition as described below. If Γ2 is a subgroup of Γ1 such that Γ1=Γ2⋅{L1,L2,…,Lm} and 𝔽 is the closure of a fundamental domain of the bigger group Γ1, then the set is a fundamental domain of Γ2. One can ask at this juncture, is it possible to choose the right coset suitably so that the set ℛ is a convex hyperbolic polygon? We will answer this question affirmatively for Hecke modular groups.

Author(s):  
E.M. Waddell ◽  
J.N. Chapman ◽  
R.P. Ferrier

Dekkers and de Lang (1977) have discussed a practical method of realising differential phase contrast in a STEM. The method involves taking the difference signal from two semi-circular detectors placed symmetrically about the optic axis and subtending the same angle (2α) at the specimen as that of the cone of illumination. Such a system, or an obvious generalisation of it, namely a quadrant detector, has the characteristic of responding to the gradient of the phase of the specimen transmittance. In this paper we shall compare the performance of this type of system with that of a first moment detector (Waddell et al.1977).For a first moment detector the response function R(k) is of the form R(k) = ck where c is a constant, k is a position vector in the detector plane and the vector nature of R(k)indicates that two signals are produced. This type of system would produce an image signal given bywhere the specimen transmittance is given by a (r) exp (iϕ (r), r is a position vector in object space, ro the position of the probe, ⊛ represents a convolution integral and it has been assumed that we have a coherent probe, with a complex disturbance of the form b(r-ro) exp (iζ (r-ro)). Thus the image signal for a pure phase object imaged in a STEM using a first moment detector is b2 ⊛ ▽ø. Note that this puts no restrictions on the magnitude of the variation of the phase function, but does assume an infinite detector.


Author(s):  
Richard E. Hartman ◽  
Roberta S. Hartman ◽  
Peter L. Ramos

The action of water and the electron beam on organic specimens in the electron microscope results in the removal of oxidizable material (primarily hydrogen and carbon) by reactions similar to the water gas reaction .which has the form:The energy required to force the reaction to the right is supplied by the interaction of the electron beam with the specimen.The mass of water striking the specimen is given by:where u = gH2O/cm2 sec, PH2O = partial pressure of water in Torr, & T = absolute temperature of the gas phase. If it is assumed that mass is removed from the specimen by a reaction approximated by (1) and that the specimen is uniformly thinned by the reaction, then the thinning rate in A/ min iswhere x = thickness of the specimen in A, t = time in minutes, & E = efficiency (the fraction of the water striking the specimen which reacts with it).


1986 ◽  
Vol 100 (2) ◽  
pp. 281-301 ◽  
Author(s):  
Felix Leinen ◽  
Richard E. Phillips

Throughout, p will be a fixed prime, and will denote the class of all locally finite p-groups. For a fixed Abelian p-group A, we letwhere ζ(P) denotes the centre of P. Notice that A is not a class in the usual group-theoretic sense, since it is not closed under isomorphisms.


1984 ◽  
Vol 49 (3) ◽  
pp. 818-829 ◽  
Author(s):  
J. P. Jones ◽  
Y. V. Matijasevič

The purpose of the present paper is to give a new, simple proof of the theorem of M. Davis, H. Putnam and J. Robinson [1961], which states that every recursively enumerable relation A(a1, …, an) is exponential diophantine, i.e. can be represented in the formwhere a1 …, an, x1, …, xm range over natural numbers and R and S are functions built up from these variables and natural number constants by the operations of addition, A + B, multiplication, AB, and exponentiation, AB. We refer to the variables a1,…,an as parameters and the variables x1 …, xm as unknowns.Historically, the Davis, Putnam and Robinson theorem was one of the important steps in the eventual solution of Hilbert's tenth problem by the second author [1970], who proved that the exponential relation, a = bc, is diophantine, and hence that the right side of (1) can be replaced by a polynomial equation. But this part will not be reproved here. Readers wishing to read about the proof of that are directed to the papers of Y. Matijasevič [1971a], M. Davis [1973], Y. Matijasevič and J. Robinson [1975] or C. Smoryński [1972]. We concern ourselves here for the most part only with exponential diophantine equations until §5 where we mention a few consequences for the class NP of sets computable in nondeterministic polynomial time.


1920 ◽  
Vol 10 (2) ◽  
pp. 161-169 ◽  
Author(s):  
J. W. S. Macfie

The pupa is bilaterally symmetrical, that is, setae occur in similar situations on each side of the body, so that it will suffice to describe the arrangement on one side only. The setae on the two sides of the same pupa, however, often vary as regards their sub-divisions, and similar variations occur between different individuals; as an example, in Table I are shown some of the variations that were found in ten pupae taken at random. An examination of a larger number would have revealed a wider range. As a rule, a seta which is sometimes single, sometimes divided, is longer when single. For example, in one pupa the seta at the posterior angle ofthe seventh segment was single on the right side, double on the left; the former measuring 266μ, and the latter only 159μ in length. This fact is not specifically mentioned in the descriptions which follow, but should be understood.


1980 ◽  
Vol 23 (3) ◽  
pp. 371-372
Author(s):  
M. V. Subbarao

In a paper with the above title, T. M. Apostol and S. Chowla [1] proved the following result:Theorem 1.For relatively prime integers h and k, l ≤ h ≤ k, the seriesdoes not admit of an Euler product decomposition, that is, an identity of the form1except when h = k = l; fc = 1, fc = 2. The series on the right is extended over all primes p and is assumed to be absolutely convergent forR(s)>1.


1983 ◽  
Vol 15 (01) ◽  
pp. 54-80 ◽  
Author(s):  
Holger Rootzén

Let {ξ; t = 1, 2, …} be a stationary normal sequence with zero means, unit variances, and covariances let be independent and standard normal, and write . In this paper we find bounds on which are roughly of the order where ρ is the maximal correlation, ρ =sup {0, r 1 , r 2, …}. It is further shown that, at least for m-dependent sequences, the bounds are of the right order and, in a simple example, the errors are evaluated numerically. Bounds of the same order on the rate of convergence of the point processes of exceedances of one or several levels are obtained using a ‘representation' approach (which seems to be of rather wide applicability). As corollaries we obtain rates of convergence of several functionals of the point processes, including the joint distribution function of the k largest values amongst ξ1, …, ξn.


1895 ◽  
Vol 15 ◽  
pp. 194-201 ◽  
Author(s):  
E. F. Benson

There is among the fourth century works in the Central Museum at Athens a head found at Laurium. It is made of Parian marble but it has been completely discoloured by slag or refuse from the lead mines, and is now quite black. In its present condition it is quite impossible to obtain a satisfactory photograph of it, and the reproduction given of it in the figure is from a cast.It has been published, as far as I am aware, only in M. Kavvadias' catalogue. There it is described as a head of the Lykeian Apollo. This identification rests solely on a passage of Lucian, who mentions a statue of the Lykeian Apollo in the gymnasium at Athens.He says of it ( 7)—It will be seen from a glance at the photograph that the grounds for this identification are very slender. The left hand with the bow does not exist, and the only reason for supposing therefore that this is a head of the Lykeian Apollo consists in the fact that the right hand of the statue rests on the head. This in itself seems insufficient and, among other reasons, it is I think rendered impossible by the phrase For the hand is not idly resting, it is not a tired hand; the posture of the fingers is firm and energetic.


1947 ◽  
Vol 43 (2) ◽  
pp. 137-152 ◽  
Author(s):  
H. Davenport

Let ξ, η, ζ be linear forms in u, v, w with real coefficients and determinant Δ ≠ 0. A conjecture of Minkowski, which was subsequently proved by Remak, tells us that for any real numbers a, b, c there exist integral values of u, v, w for whichand the constant ⅛ on the right is best possible.


1944 ◽  
Vol 40 (3) ◽  
pp. 253-255
Author(s):  
J. Bronowski

1. Let a, b be positive constants; and let y1, y2, …, yn be real exponents, not all equal, having arithmetic mean y defined by(here, and in what follows, the summation ∑ extends over the values i = 1, 2, …, n). Then it is clear thatsince the right-hand sides are the geometric means of the positive numbers whose arithmetic means stand on the left-hand sides. I know of no results, however, which relate the ratios and and I have had occasion recently to require such results. This note gives an inequality between these ratios, subject to certain restrictions on a and b.


Sign in / Sign up

Export Citation Format

Share Document