Issue 
A&A
Volume 529, May 2011



Article Number  A121  
Number of page(s)  12  
Section  Cosmology (including clusters of galaxies)  
DOI  https://doi.org/10.1051/00046361/201116521  
Published online  15 April 2011 
An improved cosmic crystallography method to detect holonomies in flat spaces
Institute of Astronomy, School of Science, University of Tokyo, 2211, Osawa, Mitaka, 1810015 Tokyo, Japan
email: hfujii@ioa.s.utokyo.ac.jp
Received: 14 January 2011
Accepted: 2 March 2011
A new, improved version of a cosmic crystallography method for constraining cosmic topology is introduced. Like the circlesinthesky method using CMB data, we work in a thin, shelllike region containing plenty of objects. Two pairs of objects (quadruplet) linked by a holonomy show a specific distribution pattern, and three filters of separation, vectorial condition, and lifetime of objects extract these quadruplets. Each object P_{i} is assigned an integer s_{i}, which is the number of candidate quadruplets including P_{i} as their members. Then an additional device of s_{i}histogram is used to extract topological ghosts, which tend to have high values of s_{i}. In this paper we consider flat spaces with Euclidean geometry, and the filters are designed to constrain their holonomies. As the second filter, we prepared five types that are specialized for constraining specific holonomies: one for translation, one for halfturn corkscrew motion and glide reflection, and three for nth turn corkscrew motion for n = 4,3, and 6. Every multiconnected space has holonomies that are detected by at least one of these five filters.Our method is applied to the catalogs of toy quasars in flat ΛCDM universes whose typical sizes correspond to z ~ 5. With these simulations our method is found to work quite well. These are the situations in which typeII pair crystallography methods are insensitive because of the tiny number of ghosts. Moreover, in the flat cases, our method should be more sensitive than the typeI pair (or, in general, ntuplet) methods because of its multifilter construction and its independence from n.
Key words: cosmology: theory / largescale structure of Universe
© ESO, 2011
1. Introduction
The shape of our space is one of the greatest and the oldest questions in human history. Ancient people tried to answer the question mythologically or philosophically, but in the present era, we are ready to answer it scientifically. When we consider the universe as a 4manifold consisting of 3space and 1time, answering the question is translated into determining the local geometry and the global topology of our Universe.
Local geometry is described by Einstein’s General Relativity (GR). The metric of spacetime plays a fundamental role, and the assumption of the cosmological principle, which states that our Universe is (locally) homogeneous and isotropic, leads us to a famous FriedmanLemaîtreRobertsonWalker (FLRW) metric, (1)where k is the normalized curvature of space, such as k = + 1 (spherical geometry), 0 (Euclidean geometry), or − 1 (hyperbolic geometry). Together with Einstein’s equations, curvature is related to the average energy density of the universe and then to other physical quantities. Recent observations favor a ΛCDM universe with curvature k ≃ 0 (e.g. from WMAP+BAO+SN data, by Hinshaw et al. 2009), suggesting that our Universe is one of the flat spaces with Euclidean geometry.
Global topology, on the other hand, has no reliable physical theories to describe it, so the easiest approach is to constrain it mathematically through direct observations. This situation is analogous to the case of Carl Friedrich Gauss who had to measure the angles of the large triangle formed by three peaks of mountains to know which geometry describes our space, since he did not know GR and modern cosmology.
Moreover, it is true that the global topology of the universe has been a relatively less popular concept than the local geometry. A pioneering work on cosmic topology was done by Ellis (1971). Other early works include Sokolov & Shvartsman (1974), Fang & Sato (1985), Gott (1980), Fangundes (1983), and so on. This theoretical or observational research has not attracted much notice due to the lack of observational data. In the past two decades, however, we have seen tremendous progress in this field, along with progress in observational techniques. Specifically, a possibility of the Poincaré dodecahedral space topology suggested by Luminet et al. (2003) was a breakthrough in cosmic topology. This field receives more and more interest these days, not only from theorists but also from observational astronomers. The overall topology of the Universe is now becoming one of the major concerns in astronomy and cosmology.
In modern cosmology with an FLRW metric, already described above, we have three geometries (scalar curvatures) according to their sign. For each geometry, there is only one type of space with a simply connected topology, namely, 3sphere S^{3}, 3Euclidean space E^{3}, and 3hyperbolic space H^{3}, for k = + 1,0, and − 1, respectively. It is possible to construct a space that is locally indistinguishable from the simply connected one, i.e., having the same curvature but with a different topology. It is not simply connected, but multiconnected.
We give a brief review of multiconnected spaces below. Detailed treatments are found in various reviews (e.g. LachièzeRey & Luminet 1995). A multiconnected space M is a quotient space of the simply connected space U with the same geometry, by a holonomy group Γ, where a holonomy is an isometry on U without any fixed points (except for the identity). Hence, M = U / Γ can be imagined as U tiled by polyhedra identified by holonomies γ ∈ Γ, possessing repeated structures. This polyhedron, called a fundamental cell, is a 2Kpolyhedron whose K pairs of faces are glued mathematically by holonomies. The definition of fundamental cell is not unique, and in this paper by fundamental cell we mean the Dirichlet domain seen from the “center” of the universe, D(x_{0}) = { x ∈ U ∀γ ∈ Γ,x − x_{0} ≤ x − γx_{0} } . In some space that is globally inhomogeneous, we can define a center, and the fundamental cells for 17 multiconnected flat spaces are found in Fig. 1. No two points in a Dirichlet domain can be linked by any holonomies; in this sense a Dirichlet domain represents the whole universe. In a globally homogeneous space, the shape of the Dirichlet domain is independent of the observer’s position, since it is always the same as that of the fundamental cell. In a globally inhomogeneous space, on the other hand, in general we do not stand at the center x_{0}, so the observed Dirichlet domain D(x_{obs}) can vary from the fundamental cell D(x_{0}).
Fig. 1
Illustration of fundamental cells for the 17 multiconnected spaces with Euclidean geometry. The chimney space family has two compact dimensions, while the slab space family only has one compact dimension. The others have three compact dimensions; they are compact. The simply connected space E^{3} is not shown here. Courtesy of Jeffrey Weeks and Adam Weeks Marano. This figure was first published in Cipra (2002). 
18 3D flat spaces.
Because of the repeated structures given by holonomies, we can observe multiple copies (ghost images) of single objects in a multiconnected space that is small compared to the observed region, and most methods for constraining cosmic topology are based on this prediction. If we find such copies in the sky, it suggests that our Universe is multiconnected, while finding no ghosts indicates that our Universe is simply connected, at least within our sight, so the lower limit to the size of our Universe is obtained.
There are mainly two methods for constraining cosmic topology. One is to use the 3D distributions of astronomical objects such as galaxies, quasars, and galaxy clusters, often called cosmic crystallography method, treated in detail in this paper. Use of the terminology of “cosmic crystallography” varies among authors, and in this paper we use it as the generic name for the 3D data methods. This method can be classified into two types according to the type of topological signatures of spatial patterns they search for. Those which search for typeI pairs (or, in general, ntuplets), (x,y) and (γx,γy), with the relation of x − y = γx − γy, have been proposed by, e.g. Roukema (1996) and Uzan et al. (1999). Roukema (1996) has developed a method of directly searching for two ntuplets whose spatial distributions are the same within a tolerance, while Uzan et al. (1999) have developed a method to count up the number of same separations seen in a catalog, which is expected to be larger in a small universe. TypeI pairs are found in every multiconnected space since any holonomies are isometries that preserve distance. The others, which search for typeII pairs, (x,γx) and (y,γy) with the relation of x − γx = y − γy, have been proposed by Lehoucq et al. (1996) and Marecki et al. (2005). TypeII pairs are only found in spaces where some of their holonomies are Clifford translations, which translate all the points by the same distance. Lehoucq et al. (1996) have developed a method to detect Clifford translations using pairseparation histograms. The existence of such holonomies can be found as sharp spikes in histograms at the separations corresponding to their translating distances. Marecki et al. (2005) have improved the method by also using vectorial condition, not just separation. This “typeI and typeII pair” terminology was first introduced in Lehoucq et al. (1999).
The other is to use the 2D cosmic microwave background (CMB) maps. Starobinsky (1993), and Stevens et al. (1993) have simulated CMB maps and angular power spectra of temperature fluctuations, assuming 3torus topology, and compared them with the observation by COBE satellite to obtain lower limits of the size of our Universe. Such simulations have been carried out by various authors (e.g. Luminet et al. 2003; Uzan et al. 2004; Riazuelo et al. 2004; Aurich et al. 2008; Aurich & Lustig 2011). These simulations and the observed quadrupole suppression suggest that we live in a small universe. There is another, direct observational method to detect topological signatures in CMB maps called circlesinthesky method (Cornish et al. 1998). This method uses pairs of circles with the same temperature fluctuation pattern, which may be the intersections of the lastscattering surface (LSS) and the observer’s Dirichlet domain. Cosmic crystallography method lost its popularity after the WMAP data release, since these CMBbased methods can constrain more topologies than the former, simply because the CMB data covers the larger region. Several authors have searched for these circles and obtained diverse results. Some claim that most of nontrivial topologies are ruled out (Cornish et al. 2004; Key et al. 2007). They have searched for antipodal or nearly antipodal pairs of circles in the WMAP map, and found no such circles to obtain the lower limit of the cell size as ~24 Gpc. This constraint cannot be applied to those spaces whose matched circles can be highly deviated from antipodal. Other authors claim that they have found the hints of multiconnected spaces using improved versions of the circlesinthesky method (e.g. Roukema et al. 2008a,b; Aurich 2008), which is inconsistent with the former claim. This disagreement suggests there are methodological problems, which motivates us to revisit the cosmic crystallography method.
As mentioned above, cosmic crystallography method has many versions since the original ones (Lehoucq et al. 1996; Roukema 1996) were introduced. These existing versions, however, are no longer useful in universes that are comparable to the observed region in size due to the lack of the topological ghosts, which makes them unrealistic for practical application.This indicates the need to construct a more sensitive method, and in this paper we present such a new method that assumes Euclidean geometry. We acknowledge that we have abandoned some generalities so as to enhance signal, but it is not serious because we have full mathematical knowledge about flat topologies. This paper focuses on methodology, and the simulated catalogs of “toy quasars” used here ignore some actual physics, such as spatial correlations and cycles of activity, since these effects do not affect the general results.
In Sect. 2 we review the 18 3D spaces described by Euclidean geometry and their holonomies. In Sect. 3 we describe the basics of the cosmic crystallography method and our new techniques for contrasting topological signals. To see the success of our improvements, we apply our method to catalogs of toy quasars. In Sect. 4 we describe our catalogs and models of topologies to be tested. In Sect. 5 we show the results and give some discussions. Conclusions are given in Sect. 6. All calculations throughout this paper are done in comoving space.
2. Flat spaces and their holonomies
2.1. Classification of the 3D flat manifolds
Throughout this paper we are interested in spaces with zero curvature, such as those, described by Euclidean geometry, as suggested by many observations (e.g. from WMAP+BAO+SN data, by Hinshaw et al. 2009). We therefore review a complete set of the 18 flat manifolds with three dimensions. There are no other such topologies mathematically (Nowacki 1934), meaning that our Universe is one of them, if Ω_{tot} is exactly equal to unity. The classification is summarized in Table 1.
According to this table, most of the spaces are globally inhomogeneous. The shapes of their Dirichlet domains depend on the observer’s location, and especially their linked faces can be highly deviated from antipodal. Moreover, E_{6},E_{7},E_{8},E_{9}, and E_{10} have nonantipodal faces linked by holonomies that are independent of the observer’s location in the universe (e.g. Riazuelo et al. 2004; Mota et al. 2010). Negative results to a multiconnected Universe obtained by Cornish et al. (2004) and Key et al. (2007) using WMAP data are based on the searches for antipodal or nearly antipodal pairs of circles, so their constraints L ≳ 24 Gpc cannot be applied to these spaces anyway. It means that these spaces remain as possible models of our Universe, and they may be detectable by a cosmic crystallography method.
The 17 manifolds E_{1},...,E_{17} are all multiconnected, whose fundamental cells are illustrated in Fig. 1. The doors or other marks on the faces represent the means for topological gluing. The unmarked faces are glued straight across by parallel translation, except for the HantzscheWendt space, where six pairs of faces are glued in the same way as the doored one.
Neighboring holonomies of each topology represented as products of elemental transformations.
2.2. Elemental transformations in flat spaces
Hereafter, we use a 4D coordinate system (w,x,y,z) to consider the 3plane w = 1 as the simply connected Euclidean space, so a point (x,y,z) in E^{3} is represented as (1,x,y,z). With this notation, transformations in 3Euclidean geometry can be written as 4 × 4 matrices. We introduce nine elemental transformations below. They are not commutative, but generators of the holonomy group of each space can be derived by their products. In this sense, they are elemental.
2.2.1. Parallel translation
These are the generators of parallel translation along three coordinate axes, by a distance L. Parallel translation induces no global inhomogeneity because it operates all points equally.
2.2.2. Rotation
These are the generators of rotation about three coordinate axes, by an angle θ. Rotation is a globally inhomogeneous isometry.For example, a point near the xaxis is translated to a nearby point, while a point distant from the xaxis is translated to a distant point, by the same rotation O_{x}(θ).
2.2.3. Reflection
These are the generators of reflection about three planes perpendicular to coordinate axes, e.g. R_{x} is a reflection about the y–z plane. Reflection is a globally inhomogeneous isometry. For example, a point near the y–z plane is translated to a nearby point, while a point distant from the y–z plane is translated to a distant point, by the same reflection R_{x}. Moreover, the nonorientability of a nonorientable space comes from reflection.
2.3. Neighboring holonomies
With these elemental transformations, generators of the holonomy groups of each space are given as their multiplications. Specifically, neighboring holonomies, i.e., holonomies that link an object in the observer’s Dirichlet domain to its topological copies in neighboring cells, are also written as products of elemental transformations as shown in Table 2. In Sects. 4 and 5 we consider the most conservative cases in which neighboring holonomies are barely detectable.
Along with Table 1, it can be seen that the spaces whose holonomy groups contain reflection or rotation are globally inhomogeneous, and those whose holonomy groups contain reflection are not orientable.
Neighboring holonomies can be classified into six types: halfturn corkscrew motion, quarterturn corkscrew motion, thirdturn corkscrew motion, sixthturn corkscrew motion, and glide reflection. Holonomies that come from different topologies, but belong to the same type, are indistinguishable by themselves. For example, if we observe a pair of antipodal translations, we live in one of the spaces that have translation as neighboring ones, but we cannot specify in which space we live.
In the following, the spaces in the parentheses are those that have the type of holonomies as neighboring ones.
2.3.1. Translation (E_{1},E_{2},E_{3},E_{4},E_{5},E_{7},E_{8},E_{9},E_{10},E_{11},E_{12}, E_{13},E_{14},E_{16})
Translation induces antipodal faces of the Dirichlet domain that are glued straight across. Translation is subdivided into three types of onepair translation (type I), twopair translation (type II), and threepair translation (type III). Twopair translation only exists in quarterturn space E_{3}; its four holonomies T_{x}(±L) and T_{y}(±L) have the common translating distance L, so either all four holonomies are detectable or all of them are undetectable. Threepair translation, on the other hand, exists in thirdturn space E_{4} and sixthturn space E_{5}; their six holonomies and T_{x}(±L) have the common translating distance L, so either all six holonomies are detectable or all of them are undetectable. Onepair translation exists in the other spaces.
2.3.2. Halfturn corkscrew motion (E_{2},E_{6},E_{10},E_{12},E_{15})
Halfturn corkscrew motion is the halfturn followed by parallel translation. Halfturn corkscrew motion is subdivided into two types of those that have rotational axes corresponding to translational directions (type I), and those with different rotational axes and translational directions (type II). Only E_{6} has the latter type, while the other four spaces have the former.
2.3.3. Quarterturn corkscrew motion (E_{3})
Quarterturn corkscrew motion is the quarterturn followed by parallel translation. Only E_{3} has quarterturn corkscrew motion, so detecting such holonomies suggests that we live in a quarterturn space.
2.3.4. Thirdturn corkscrew motion (E_{4})
Thirdturn corkscrew motion is the thirdturn followed by parallel translation. Only E_{4} has thirdturn corkscrew motion, so detecting such holonomies suggests that we live in a thirdturn space.
2.3.5. Sixthturn corkscrew motion (E_{5})
Sixthturn corkscrew motion is the sixthturn followed by parallel translation. Only E_{5} has sixthturn corkscrew motion, so detecting such holonomies suggests that we live in a sixthturn space.
2.3.6. Glide reflection (E_{7},E_{8},E_{9},E_{10},E_{13},E_{14},E_{15},E_{17})
Glide reflection is the reflection followed by parallel translation. They are subdivided into two types of those that have reflectional planes parallel to translational directions (type I) and those with nonparallel reflectional planes and translational directions (type II). The six spaces of E_{8},E_{9},E_{13},E_{14},E_{15}, and E_{17} have the former type, while the four spaces E_{7},E_{8},E_{9}, and E_{10} have the latter.
3. Method
3.1. Basic ideas
Cosmic crystallography is a series of statistical techniques to extract topological information from a given astronomical catalog first proposed by Lehoucq et al. (1996) and Roukema (1996). The former method is to search for typeII pairs, and the latter is to search for typeI ntuplets (generalization of typeI pairs to n objects). This typeI, typeII terminology is that of Lehoucq et al. (1999), and is unrelated to the definitions of types in Sect. 2.3. In this paper we propose a new version of crystallographic method, which is mainly for collecting typeI pairs as in Roukema (1996) and Uzan et al. (1999) and has filters that are related to those of Marecki et al. (2005). Flat spaces are assumed throughout the paper, but the methodology in this section can be applied to spaces with any curvature.
Fig. 2
Two pairs of objects linked by a holonomy γ ideally have the same separations. This ideal situation breaks down owing to peculiar velocities and observational limits. 
We assume that our Universe has topology M = E^{3} / Γ, where E^{3} is a simply connected 3Euclidean space, and Γ is a holonomy group on E^{3}. Suppose that in our catalog we have N objects P_{1},...,P_{N}, whose comoving positions are given by x_{1},...,x_{N}, respectively. We often indicate the object P_{i} itself by its positonal vector x_{i} for convenience. Ghosts of two objects x_{i} and x_{j} by a holonomy γ ∈ Γ are given by γx_{i} and γx_{j}, respectively. All holonomies are isometries that preserve the distance, so we have (2)independently of the holonomy’s other properties (Fig. 2). If we find two pairs (x_{i},x_{j}) and (x_{k},x_{l}) such that x_{i} − x_{j} = x_{k} − x_{l}, they can be ghosts of each other. We call the two pairs of objects a quadruplet hereafter (notice the difference between the typeI ntuplet and the quadruplet here), and the statement above is equal to saying that a quadruplet [(x_{i},x_{j}),(x_{k},x_{l})] with the relation x_{i} − x_{j} = x_{k} − x_{l} can be topological, and finding such quadruplets indicates the multiconnectedness of our Universe. However, in practice, these separations cannot be exactly the same because of various effects such as peculiar velocities and observational limits, so we search for pairs having separations deviated at most by some positive value ε. Because of this finite spatial resolution, some nontopological quadruplets stochastically pretend to be topological. The number of such quadruplets M is expected to be proportional to the total number of quadruplets , so the topological index is given by (3)In a small universe, there are real topological quadruplets added to false stochastic ones, so the index S will take a higher value than expected in a simply connected universe. This formulation is slightly different from the CCP method, but their essence is common to both.
Until now we have only used the general property of holonomies as isometries, i.e. preserving the distance. If a holonomy γ is a Clifford translation, which translates all points by the same distance, additional pairs have the same separations: (4)In this case, the topological signal by γ is multiplied by a factor of 2. Since we concentrate on spaces with Euclidean geometry, a Clifford translation is a normal parallel translation.
3.2. Sophistication
The existing crystallography method has been verified as useful for constraining cosmic topology, only for topologies whose fundamental cells are so small that the observed region contains no fewer than several tens of cells within it. However, in reality, the fundamental cell of our Universe can be comparable to the observed region in size. Of course it can be larger than the observed region, but in this case no methods can be used, so we do not consider it. For such situations, the crystallography method is no longer valid because the real signal is too weak compared to the false signal, which occurs by chance. It is necessary for us to make the methods more sophisticated in order to decrease the false signal, while keeping the real signal.
3.2.1. Imitation of the circlesinthesky method
First of all, we propose to concentrate on a thin, shelllike region r_{1} < r < r_{2}, like the circlesinthesky method using LSS. The reason we consider such a region is that we have to reasonably decrease the number of objects, since, roughly speaking, the real signal is proportional to N^{2}, while the false signal is proportional to N^{4}. If we can detect the signal of a space that is comparable to the shell region in size, then any smaller spaces are detectable since they produce stronger signals. In principle, therefore, the larger the region we consider, the more topologies we can constrain. However, the number of objects becomes too small when the region is too large, so we have to find a good balance.
When the region is chosen, then we have to put all the quadruplets through “filters” to drop any false stochastic ones. Here we introduce three filters: the first one has already been discussed both in the previous section and in Uzan et al. (1999), but the others are new ones.
3.2.2. The first filter: separation
All holonomies are isometries that preserve distance, and we consider the condition (5)as the first filter to extract information about topological lensing. This corresponds to selecting typeI pairs as in Roukema (1996) and Uzan et al. (1999).This filter, because of the finite resolution ε, is insufficient when the real signal is weak. Many false quadruplets pretending to be topological hide the real ones. This filter can be used in spaces with any curvature, unlike the other two, since it uses the general property of holonomies.
3.2.3. The second filter: vectorial condition
To extract information about repeated structures due to multiconnectedness, we should pay attention not only to separation but also to vectorial properties of holonomies. Vectorial properties are not common among holonomies, unlike the distancepreserving property, so this filter cannot constrain all holonomies at once. Here we introduce five kinds of filters that constrain their specialized holonomies. These choices are not unique; in particular, we can construct more specialized filters to constrain more specific holonomies, but it induces a drastic increase in free parameters. In some sense, our five filters can be regarded as the generalizations of bunchofpair (BoP) selection in Marecki et al. (2005), which selects typeII translational pairs that have both the same separations and the same directions, to nontranslational holonomies.
1: Translation This filter is for constraining the parallel translation γ = T_{x}(L_{1})T_{y}(L_{2})T_{z}(L_{3}). When a given quadruplet [(x_{i},x_{j}),(x_{k},x_{l})] is a γquadruplet, there are two possibilities such that γ(x_{i},x_{j}) = (x_{k},x_{l}) or γ(x_{i},x_{j}) = (x_{l},x_{k}). In the former case, we ideally have a relation: (6)In the latter case, on the other hand, we ideally have a relation: (7)We consider these possibilities together to construct a filter: independent of the translating distance and direction. Note that ε = (ε_{x},ε_{y},ε_{z}) here is different from ε in the first filter. This filter corresponds to the BoP selection in Marecki et al. (2005), but our filter also detects typeI pairs, not only typeII pairs. However, this means that our filter also detects false typeI and typeII pairs, so there seems to be no significant advantages and disadvantages between them. 2: Halfturn corkscrew motion and glide reflection This filter is for constraining halfturn corkscrew motion, e.g. γ_{1} = T_{x}(L_{1})T_{y}(L_{2}) T_{z}(L_{3})O_{z}(π), and glide reflection, e.g. γ_{2} = T_{x}(L_{1})T_{y}(L_{2})T_{z}(L_{3})R_{z}. For a given quadruplet [(x_{i},x_{j}),(x_{k},x_{l})] to be a γ_{n}quadruplet, there are two possibilities such that γ_{n}(x_{i},x_{j}) = (x_{k},x_{l}) or γ_{n}(x_{i},x_{j}) = (x_{l},x_{k}).
In the former case, we ideally have a relation for n = 1 (11)and for n = 2 (12)In the latter case, on the other hand, we ideally have a relation for n = 1 (13)and for n = 2 (14)We consider these possibilities together to construct a filter: (15)(16)(17)Here the rotation and reflection are based on the “global” directions of the universe about which we primarily have no idea, so in practice we have to find them by changing our choices of coordinate axes (see Sect. 5.2.1 for details).
3: nth turn corkscrew motion (n = 4,3,6) These filters are for constraining nth turn corkscrew motion for n = 4,3, and 6. It is, for example, a holonomy γ = T_{x}(L_{1})T_{y}(L_{2})T_{z}(L_{3})O_{z}(2π / n). As in the previous filters, there are two ways to pass through this filter for a given quadruplet.
We construct the filters by considering the two possibilities together, say, Corkscrew motion includes rotation based on the global directions, so we have to change our choices of coordinate axes to find it, as already mentioned.
An additional notice here is that in our calculations we do not distinguish two quadruplets [(x_{i},x_{j}),(x_{k},x_{l})] and [(x_{k},x_{l}),(x_{i},x_{j})] , so the above filters will ignore γ^{1}quadruplets. For this we also use the filters which are unnecessary for the previous two cases since γ^{1}quadruplets can also be constrained by the same filters.
3.2.4. The third filter: lifetime of objects
Astronomical objects have finite lifetimes t_{life}. Suppose two objects x_{i} and x_{j} whose cosmic times are t_{i} and t_{j}, respectively. In order that they are ghost images of each other, (24)is a necessary condition, so a quadruplet [(x_{i},x_{j}),(x_{k},x_{l})] should be dropped unless Δt_{ik},Δt_{jl} < t_{life} or Δt_{il},Δt_{jk} < t_{life}. This very closely corresponds to the redshift filter in Marecki et al. (2005), and the difference is only an expression. Some preceding studies ignore this effect and use all pairs despite their cosmic times. This is a crucial fault unless L ≪ ct_{life}, where L is a characteristic size of the universe.
3.2.5. Finishing: classification of objects
Though the above three filters can drop false stochastic quadruplets while keeping real topological ones, it is possible that the false signal is still strong enough to hide the real signal. For this situation, we introduce an additional technique to contrast real signals.
Each object x_{i} (i = 1,...,N) is assigned an integer s_{i}, the number of final candidate quadruplets that have passed through all filters and include x_{i} as their members. False signals are stochastic, so the members of false quadruplets are randomly distributed. As a result, the possibility that many final candidates share a single, common object is small, so s_{i} rarely takes a high value. Real signals, on the other hand, all come from ghost pairs. If there are n γpairs (x_{i},γx_{i}),...,(x_{j},γx_{j}) where γ is not a parallel translation, s_{k} ≥ n − 1 for each x_{k}, whereas s_{k} ≥ 2(n − 1) if γ is a parallel translation. As a result the histogram of s_{i} will contrast real topological signals from false stochastic ones. This technique corresponds to performing the ntuplet searching in Roukema et al. (1996), for all n simultaneously. The CCP method by Uzan et al. (1999) has no such techniques, and is therefore unable to distinguish, for example, one real ntuplet from n(n − 1)/2 false pairs.
Through these techniques, candidates of topological ghosts are sampled in a catalog, and their distributions in the sky give us a hint of the topology of our Universe. They trace the topological gluing of the faces of our Dirichlet domain.
3.3. Spatial resolutions
In this paper we do not consider any technical uncertainties; i.e., we assume that we have the fullsky, fullredshift, and 100% complete catalog with infinite accuracy. However, even in such a situation, peculiar velocity with respect to the comoving flame prevents us from having the ideal catalog where Eq. (2) holds precisely. Effects of peculiar velocities consist of two parts: (i) integrated effect and (ii) instantaneous effect. They were first discussed by Roukema (1996), while these terminologies are given by Lehoucq et al. (2000). The integrated effect comes from the true motion of objects, and the instantaneous effect comes from the fake positional change due to an additional redshift by the Doppler effect. To see these effects quantitatively, we consider two objects P_{i} and P_{j} = γP_{i}, linked by a holonomy γ. Their positions are given by x_{i} and x_{j} = γx_{i}, respectively, when the object is comoving. In practice, however, the observed positions are slightly different from those.
First we consider the integrated effect. Denoting the cosmic times of P_{i} and P_{j} by t_{i} and t_{j}, respectively, we obtain (25)as a motion of the object from t = t_{i} to t = t_{j}, so it affects the observed position of P_{j} as an additional term to γx_{i}. Here Δ_{int}x_{i} = 0 by definition.
Next we consider the instantaneous effect. Assuming the peculiar velocity v = v is timeindependent, the extra redshift by the Doppler effect is given by (26)to first order in v_{ ∥ } / c, where v_{ ∥ } is a radial component of v, and z_{cos} is a purely cosmological redshift. This extra term affects the observed comoving radial distance of objects via (27)This one, unlike the integrated effect, affects both P_{i} and P_{j} on their observed positions.
Incorporating these two effects simultaneously, the observed positions of P_{i} and P_{j} are given by (28)and (29)respectively. Here we have seen the effects of peculiar velocities on observed positions by which we would fail to recognize real topological quadruplets, which helps us to determine spatial resolutions ε in the first filter and ε in the second filter. They should be low enough to avoid missing the topological quadruplets that are distorted by these effects, however, simultaneously, they should be high enough to decrease the false signal. A balance between them determines ε and ε (details are in Sect. 5).
4. Simulations
4.1. Toy catalogs of quasars
To test our new method, on the level of methodology, we generated toy quasar distributions in flat spaces with the standard ΛCDM cosmology (Ω_{m} = 0.27,Ω_{Λ} = 0.73,H_{0} = 71 km s^{1} Mpc^{1}), and applied the method to them. We make complete, fullsky and fullredshift catalogs with infinite accuracy (more precisely, doubleprecision floatingpoint accuracy). As the nature of quasars, we consider the cosmological evolution of comoving density, peculiar velocity, and lifetime, since the most crucial factor is a ratio of the number of topological quadruplets to that of the false quadruplets. The lifetime of quasars concerns the former, and the comoving density and peculiar velocity concern the latter. The other natures of clustering and cycles of activity are ignored because we focus on methodology here, and these effects are not important at this level. The method itself can be applied to catalogs of any extragalactic objects, such as active galactic nuclei (AGNs), highz galaxies, and galaxy clusters.
The redshift evolution of the comoving density of quasars is taken from Osmer (2004), but we have extrapolated it to z ~ 7. We simplified the luminosity evolution of quasars such that they emit radiation with constant luminosity during the fixed duration t_{life} = 10^{8} yr. We also simplified the peculiar motion of quasars to move with constant speed v = 500 km s^{1} and with randomly chosen directions.
Every 10^{7} yr from t = 0 to the present t = 1.37 × 10^{10} yr, new quasars are generated and randomly distributed, and the quasars reaching their lifetime of 10^{8} yr are removed. For simplicity, no spatial correlations are considered in this paper. While the comoving density of quasars used in simulations is common, the actual number of quasars listed in the catalogs is different. This can be viewed as the cosmic variance.
The topological signal is searched for in a shell region 7.8 Gpc < r < 8.2 Gpc (corresponding to 4.7 < z < 5.5), in which about 2000 quasars are contained. This choice of radial width does not necessarily have significant meanings, but this is close to the limiting size (z ~ 7) of the actual distribution of quasars. Hereafter, any catalog mentioned is referred to as a part of the full catalog satisfying 7.8 Gpc < r < 8.2 Gpc.
4.2. Models of spaces
For each topology, the holonomies we target are assumed to have translational parts, e.g., T_{z}(L_{3}) for T_{z}(L_{3})O_{z}(π), satisfying (30)which is a limit size that can be detected with our catalog 7.8 Gpc < r < 8.2 Gpc. If they are detectable, then any other space that is smaller than them is also detectable. It would be difficult to make a detection in this case using other 3D methods.
In each calculation, our policy is “holonomy first”. According to the policy, unless otherwise stated, in each case we consider the most conservative cases in which all holonomies except for the targeted ones are beyond the observed region: they were undetectable. In other words, we consider the severest case for each topology to detect it. For example, when we target the zparallel translations T_{z}(±L) of 3torus, we neglect the other translation T_{x}(±L_{1}) and T_{y}(±L_{2}) by considering L_{1},L_{2} → ∞. When we target the parallel translation of thirdturn space, on the other hand, we must simultaneously consider the translation in all directions because of their common translating distance (see Table 2).
5. Results and discussions
5.1. Improvements in detecting topological signal
Here we show the results in detail for one type of holonomy. Those for the other types are given in the appendix. Two catalogs of toy quasars, one in a slab space with T_{z}(±L) and the other in the simply connected Euclidean space with no holonomies, are compared. Each catalog contains 1980 quasars. Among the 1980 ones in the former catalog, there are six pairs of ghosts, meaning that there are 30 (=_{6}C_{2} × 2) topological quadruplets. They are hidden in the large number of false stochastic ones. To see the effects of three filters introduced in Sect. 3, we have increased the number of filters one by one, and counted the number of quadruplets that have passed through the filters.
As for spatial resolution, we used ε = 3.7 Mpc in the first filter and ε = (6.0,6.0,6.0) in the second filter in units of Mpc. They are determined as follows. We generated 10 000 topological quadruplets [(x_{i},x_{j}),(T_{z}(±L)x_{i},T_{z}(±L)x_{j})] . The value of ε was chosen such that 99% of 10 000 quadruplets satisfied the condition x_{i} − x_{j} − T_{z}(±L)x_{i} − T_{z}(±L)x_{j} < ε. Then, each component ε_{x},ε_{y}, and ε_{z} were determined in the same way as ε. We denote ε′ = max { ε_{x},ε_{y},ε_{z} } and conservatively substitute (ε′,ε′,ε′) for ε. In principle, we have to set ε and ε such that 100% of the quadruplets satisfy the condition, but it needs very high resolution, and meaninglessly increases the false signal. We balanced them to obtain the values.
The total number of quadruplets is given by (31)This drastically large number of quadruplets are filtered, and the false stochastic ones are dropped as shown in Table 3. We can find that the first filter (separation) is insufficient for detecting holonomies when there are only a few ghosts in this case. It suggests that the existing crystallography method like the CCP method is no longer useful for this situation, since the real signal is too weak. The second filter plays an important role in extracting the real signal. The third filter only plays a compensative role here, but will be important in somewhat more delicate situations.
Fig. 3
Left: the s_{i}histograms of the two catalogs with 1980 quasars in the simply connected Euclidean space and in the slab space. s_{i} is the number of final candidate quadruplets that include the quasar P_{i}. In the slab space, a hill constituted by topological ghosts is clearly seen. Right: the objects with s_{i} ≥ 7 in the slab space. It can be seen that they are linked by parallel translation. 
The number of quadruplets (N_{quad}) that have passed through the filters of (1) separation, (2) vectorial condition, and (3) lifetime of objects.
Though the false signal has been decreased successfully, it still hides the real one, so we additionally need the classification of objects (Sect. 3.2.5). The s_{i}histogram, where s_{i} is the number of final candidate quadruplets, which include the object P_{i}, for each catalog that is fully filtered is shown in Fig. 3. There is a hill that peaks at s_{i} = 9, in the histogram for the slab space. It may be constituted by topological ghosts, as expected in Sect. 3.2.5. To check this in Fig. 3 we display the quasars with s_{i} ≥ 7 using the Lambert’s azimuthal projection in the z–x plane. The pair of five objects are clearly linked by parallel translation, confirming that our space has a translational pair.
Other examples for this projection are given in Fig. 4 where we get an advance of the results in Appendix. Quasars with high s_{i} values, which constitute the hills, are those of a onepair translation, as in the previous figure, halfturn corkscrew motion (type I), and glide reflection (type I). They clearly trace the way for topological gluing for each type of holonomies. If the objects that constitute the hills are randomly distributed, it is likely that they are merely stochastic. Moreover, in this stage, even if there are still some false stochastic ones, it is possible to find repeated patterns of real signal with somewhat additional techniques, if exist.
Fig. 4
The quasars that constitute the hill in the histogram for each simulation. Left: onepair translation (s_{i} ≥ 7), middle: halfturn corkscrew motion of type I (s_{i} ≥ 6), right: glide reflection of type I (s_{i} ≥ 6). They clearly trace the topological gluing for each holonomy. 
A relatively large number of quasars at s_{i} = 2,4, and 6 in both histograms are due to a condition for quadrilaterals to be parallelograms, i.e., one pair of opposite sides that are parallel and equal in length. If a quadruplet [(x_{i},x_{j}),(x_{k},x_{l})] has passed through all the filters, the quadrilateral P_{i}P_{j}P_{k}P_{l} is close to a parallelogram, and then another quadruplet [(x_{i},x_{k}),(x_{j},x_{l})] also tends to pass through the filters. This effect enhances the number of quasars with even values of s_{i}. Any other zigzag features of this and the other histograms (Figs. 5–A.2) are not meaningful, but are merely stochastic.
5.2. Some complexities due to global inhomogeneity
We have seen that our method is so sensitive to real signal that even the limiting case can be detected. A slab space topology has been assumed there, but the method is valid in any spaces as will be shown in Appendix. However, in globally inhomogeneous spaces (see Table 1), situations become somewhat complicated. First, globally inhomogeneous spaces have specific, preferred coordinate systems by which their holonomies are defined, and our filters are also based on them. It means that there is no signal unless we use the correct coordinate system. Second, the shape of the Dirichlet domain depends on the observer’s location in the universe, so the real signal may not be seen for some observers. We study these effects below.
To do this, we take, for example, a HantzscheWendt space topology with Gpc, and L_{2} → ∞, since all the “abnormal” effects due to global inhomogeneity can be seen in this space. With these parameters, four halfturn corkscrew motions T_{z}(±L_{3})T_{x}(±L_{1})O_{z}(π) are should be detectable.
As for spatial resolution, we have used ε = 5.8 Mpc and ε = (7.3,7.3,7.3) in units of Mpc. These values are determined in a similar way to that in the previous section, but we have set the lower confidence level of 90% and have taken the average values over 1000 observers randomly distributed in the fundamental cell. With the confidence level 99%, spatial resolution becomes so high that the false signal dominates in some cases. Taking this into account, we proceed with the value of 90%.
5.2.1. Choices of coordinate axes
In reality, we do not know the global directions of the Universe, so we have to find them, if they exist, by changing our choices of the coordinate axes. This situation is analogous to the circlesinthesky method where we have to search for the centers of circles.
As long as the zaxis is correctly chosen, rotation about the zaxis does not affect anything, when we consider , so we only have to find the zaxis with some accuracy. We can roughly estimate the angular resolution Δθ by (32)Substituting L = 16 Gpc and ε = 7.3 Mpc, we derive Δθ ≃ 0.05° ≃ 3′.
We have prepared two catalogs containing 1983 quasars in the HantzscheWendt space in which the observer is at the center and in the simply connected space. The former catalog includes 13 pairs of ghosts.Before searching for quadruplets and applying our filters, we rotated the catalog about the yaxis from the initial state, by Δθ = 1′,5′,10′, and 0.5°. The results are shown in Fig. 5. It can be seen that the limit is in between 5′ and 10′, roughly corresponding to the preestimated value Δθ ≃ 3′. The area of the half sky is A_{fullsky} / 2 = 360^{2} / 2π deg^{2}, so the number of trials needed to find the zaxis is (33)where we use Δθ = 5′. Simulation runs are mutually independent of each other, which takes about a few minutes with an ordinary personal computer. Therefore, a whole simulation can be accomplished faster by using many computers. No special computers are needed to clear up the grand mystery of the shape of our Universe.
Fig. 5
The s_{i}histograms in the HantzscheWendt space rotated about the yaxis by several angles. For comparison, the s_{i}histogram is shown in simply connected space. 
5.2.2. Observer’s location
Next we consider cases in which the observer deviates from the center of the universe. We do not enter into the general theory of this effect, and simply show that the method works well even in these situations. We have located the observer at several positions in the universe from which at least one pair of holonomies is detectable.
For an observer at X = (X,Y,Z), the condition X − γX/2 < r_{2} should be satisfied in order to detect a holonomy γ in a shell region of r_{1} < r < r_{2}. The lefthand side is the distance from the observer to the face of his Dirichlet domain, which corresponds to γ.Continuing with the same HantzscheWendt space as an example, the lefthand side can be written explicitly as (34)for , and (35)for , where L = 16 Gpc and r_{2} = 8.2 Gpc. An observer satisfying each condition can detect each pair of holonomies. It can be seen that the Zlocation of the observer affects nothing. However, the bigger the Ylocation becomes, the farther away all faces are located, hence the harder to detect all holonomies. The Xlocation has an effect of pushing two faces away, while drawing the other two, which is due to the translational direction that does not accord with the rotational axis. The last effect cannot be seen in spaces without halfturn corkscrew motion (type II) or glide reflection (type II).
According to these conditions, we chose six locations of (X,Y,Z) = (0, 0, 0), (1, 0, 0), (3, 0, 0), (5, 0, 0), (0, 0.5, 0), and (0, 1, 0), in units of Gpc. We prepared catalogs of toy quasars seen from these observers, and applied our method to them. The coordinate axes were chosen correctly here. Results for these observers are given in Table 4 and Fig. 6.
In this table, it can be seen that the signal gets weaker as the observer moves along the yaxis, since the faces get farther and the ghosts decrease in number. This is also seen in the histograms, where the hills constituted by ghosts disappear. It is necessary to use a larger shell region, if possible, to detect the ghosts.
As the observer moves along the xaxis, on the other hand, the signal and the hills remain like the initial one in which the observer is located at the center, since one pair of faces gets farther, but the others get closer. As long as the coordinate axes are chosen correctly, our method can detect holonomies that are close enough to the observer. Our method is suited to obtaining a lower limit to the size of the Universe.
Fig. 6
The dependence on the observer’s location in the universe. Top left: (0, 0, 0), top right: (0, 0.5, 0), mid left: (0, 1, 0), mid right: (1, 0, 0), down left: (3, 0, 0), down right: (5, 0, 0). 
The results for different locations of the observer at (X,Y,Z).
6. Summary and conclusions
In this paper we have developed a cosmic crystallography method that significantly extends previous methods. A thin, shelllike part (r_{1} < r < r_{2}) of the full catalog is used, similar to the circlesinthesky method. This region should be as large as possible, but the comoving density of objects should be simultaneously high enough there. The quadruplets of these objects are filtered three times; separation, vectorial condition, and lifetime of objects. These filters drop the false stochastic ones, while keeping the real topological ones. Flat spaces described by Euclidean geometry are assumed, and the second filter, vectorial condition, is specialized to detect their holonomies. This assumption is not fundamental, since similar filters for the holonomies in spherical or hyperbolic spaces can also be constructed.
The number of quadruplets having passed these filters is translated into an index of multiconnectedness of the universe, and then the objects are classified by s_{i}, the number of such quadruplets that include the object P_{i} as one of their members. The s_{i}histograms emphasize the topological ghosts: if ghost images really exist, they show some hills in the larges_{i} region.
We tested the method in catalogs of toy quasars with no observational uncertainties. We considered the severest cases for each type of holonomies, and any holonomies except for the targeted ones are assumed to be beyond the observed region. The translational distance of each holonomy is fixed with L = 16 Gpc for which 8 = (16 / 2) Gpc corresponds to z ~ 5, and the shell region is chosen as 7.8 Gpc < r < 8.2 Gpc (4.7 ≲ z ≲ 5.5). In this situation, where the space is comparable to the observed region in size, existing crystallography method is no longer valid due to the contamination of false signal. It is found that our filters are able to eliminate such contamination, and the existence of topological ghosts is clearly recognized by the s_{i}histograms. Our method considers isometries of flat spaces generically according to their type (translation, corkscrew motion, or glide reflection), without requiring the specific manifold to be chosen a priori. This is loosely analogous to the generic nature of the circlesinthesky method. Except for the case of translation, we have to search over several million possible orientations of the fundamental axes of the Universe, similar to the matched circles searching in the circlesinthesky method.
For practical application of our method, more realistic simulations are necessary, and will be carried out in the next paper. They will include more realistic characteristics of quasars such as spatial correlations, activity cycles, and anisotropic morphology. Technical problems such as magnitude limits and selection biases will also be considered there. One possible selection effect relevant to our method, at least for translation, is clustering, which mimics a topological signal as was discussed in Marecki et al. (2005). They constructed the L_{selec} filter, in the language of this paper, which removes a quadruplet [(x_{i},x_{j}),(x_{k},x_{l})] that is too compacted, i.e. satisfying x_{i} − x_{j},x_{k} − x_{l} < L_{selec}. This filter will also be useful for our method.
Presently available data in the latest versions of the VéronCetty & Véron quasar catalog (VélonCetty & Véron 2010) and the Sloan Digital Sky Survey (SDSS) quasar catalog (Schneider et al. 2010) will be used to make more precise constraints, when compared with the previous constraints that ignore the lifetime of quasars. Moreover, future observations that will detect hundreds of quasars with z > 6 (e.g., the Joint Astrophysics Nascent Universe Satellite (JANUS)), will enable us to remove the disagreement in the observational constraints using CMB data; specifically, we will detect or exclude the cubic 3torus topology with L ≃ 3.8L_{H} mentioned by Aurich (2008).
Acknowledgments
We thank Jeffrey Weeks and Adam Weeks Marano for beautiful figures of 17 multiconnected flat spaces.We also thank T. Minezaki, T. Tsujimoto, T. Yamagata, Y. Sakata, T. Kakehata, and K. Hattori for useful discussions and suggestions.
References
 Adams, C., & Shapiro, J. 2001, Amer. Sci., 89, 443 [NASA ADS] [Google Scholar]
 Aurich, R. 2008, Class. Quant. Grav., 25, 225017 [NASA ADS] [CrossRef] [Google Scholar]
 Aurich, R., & Lustig, S. 2011, Class. Quant. Grav., 28, 085017 [NASA ADS] [CrossRef] [Google Scholar]
 Aurich, R., Lustig, S., & Steiner, F. 2006, MNRAS, 369, 240 [NASA ADS] [CrossRef] [Google Scholar]
 Aurich, R., Janzer, H. S., Lustig, S., & Steiner, F. 2008, Class. Quant. Grav., 25, 125006 [NASA ADS] [CrossRef] [Google Scholar]
 Cipra, B. 2002, What’s happening in the Mathematical Sciences, American Mathematical Society, 4 [Google Scholar]
 Cornish, N. J., Spergel, D. N., & Starkman, G. D. 1998, Class. Quant. Grav., 15, 2657 [Google Scholar]
 Cornish, N. J., Spergel, D. N., Starkman, G. D., & Komatsu, E. 2004, Phys. Rev. Lett., 92, 201302 [NASA ADS] [CrossRef] [PubMed] [Google Scholar]
 Ellis, G. F. R. 1971, Gener. Relativ. Gravit., 2, 7 [Google Scholar]
 Fagundes, H. V. 1983, Phys. Rev. Lett., 51, 517 [NASA ADS] [CrossRef] [Google Scholar]
 Fagundes, H. V., & Gausmann, E. 1999, Phys. Lett. A, 261, 235 [NASA ADS] [CrossRef] [Google Scholar]
 Fang, L. Z., & Sato, H. 1985, Gener. Relativ. Gravit., 17, 1117 [NASA ADS] [CrossRef] [Google Scholar]
 Gott, III, J. R. 1980, MNRAS, 193, 153 [NASA ADS] [Google Scholar]
 Hinshaw, G., Weiland, J. L., Hill, R. S., et al. 2009, ApJS, 180, 225 [NASA ADS] [CrossRef] [Google Scholar]
 Key, J. S., Cornish, N. J., Spergel, D. N., & Starkman, G. D. 2007, Phys. Rev. D, 75, 084034 [NASA ADS] [CrossRef] [Google Scholar]
 LachiezeRey, M., & Luminet, J. 1995, Phys. Rep., 254, 135 [NASA ADS] [CrossRef] [Google Scholar]
 Lehoucq, R., LachiezeRey, M., & Luminet, J. P. 1996, A&A, 313, 339 [NASA ADS] [Google Scholar]
 Lehoucq, R., Luminet, J., & Uzan, J. 1999, A&A, 344, 735 [NASA ADS] [Google Scholar]
 Lehoucq, R., Uzan, J., & Luminet, J. 2000, A&A, 363, 1 [NASA ADS] [Google Scholar]
 Lew, B., & Roukema, B. 2008, A&A, 482, 747 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Luminet, J., Weeks, J. R., Riazuelo, A., Lehoucq, R., & Uzan, J. 2003, Nature, 425, 593 [NASA ADS] [CrossRef] [PubMed] [Google Scholar]
 Marecki, A., Roukema, B. F., & Bajtlik, S. 2005, A&A, 435, 427 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Mota, B., Reboucas, M. J., & Tavakol, R. 2010, Phys. Rev. D, 81, 103516 [NASA ADS] [CrossRef] [Google Scholar]
 Nowacki, W. 1934, Comment. Math. Helvet., 7, 81 [CrossRef] [Google Scholar]
 Osmer, P. S. 2004, Coevolution of Black Holes and Galaxies, 324 [Google Scholar]
 Riazuelo, A., Weeks, J., Uzan, J., Lehoucq, R., & Luminet, J. 2004, Phys. Rev. D, 69, 103518 [NASA ADS] [CrossRef] [Google Scholar]
 Roming, P. 2008, in COSPAR, 37th COSPAR Scientific Assembly, Plenary Meeting, 37, 2645 [NASA ADS] [Google Scholar]
 Roukema, B. F. 1996, MNRAS, 283, 1147 [NASA ADS] [Google Scholar]
 Roukema, B. F. 2010, A&A, 518, A34 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Roukema, B. F., Lew, B., Cechowska, M., Marecki, A., & Bajtlik, S. 2004, A&A, 423, 821 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Roukema, B. F., Buliński, Z., & Gaudin, N. E. 2008a, A&A, 492, 657 [Google Scholar]
 Roukema, B. F., Buliński, Z., Szaniewska, A., & Gaudin, N. E. 2008b, A&A, 486, 55 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
 Schneider, D. P., Richards, G. T., Hall, P. B., et al. 2010, AJ, 139, 2360 [NASA ADS] [CrossRef] [Google Scholar]
 Sokolov, D. D., & Shvartsman, V. F. 1974, Sov. J. Exp. Theor. Phys., 39, 196 [Google Scholar]
 Starobinsky, A. A. 1993, ZhETF Pis ma Redakt., 57, 606 [NASA ADS] [Google Scholar]
 Stevens, D., Scott, D., & Silk, J. 1993, Phys. Rev. Lett., 71, 20 [NASA ADS] [CrossRef] [Google Scholar]
 Uzan, J., Lehoucq, R., & Luminet, J. 1999, A&A, 351, 766 [NASA ADS] [Google Scholar]
 Uzan, J., Riazuelo, A., Lehoucq, R., & Weeks, J. 2004, Phys. Rev. D, 69, 043003 [NASA ADS] [CrossRef] [Google Scholar]
 VéronCetty, M., & Véron, P. 2010, A&A, 518, A10 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
Appendix A: Simulations for all types of holonomies
The spatial resolutions for each type of holonomies used here.
Fig. A.1
The s_{i}histograms for each type of holonomy. Top left: onepair translation; top right: twopair translation; middle left: threepair translation; middle right: halfturn corkscrew motion (type I); lower left: halfturn corkscrew motion (type II); lower right: quarterturn corkscrew motion. 
Fig. A.2
Same as in Fig. A.1, but for different holonomies. Top left: thirdturn corkscrew motion; top right: sixthturn corkscrew motion; lower left: glide reflection (type I); lower right: glide reflection (type II). 
The results for each type of holonomies.
We present the results for all types of holonomies here. The spatial resolutions used in these simulations are given in Table A.1. ε′ is defined as the maximum value of ε_{x}, ε_{y}, and ε_{z}, and we conservatively substitute (ε′,ε′,ε′) for ε. Those for glide reflection (type II) were determined in the same way as for halfturn corkscrew motion (type II), while the others were determined in the same way as for parallel translation. The reason we did so is that, for the latter types of holonomies, the deviation of the observer’s location from the center always pushes all the faces away, and makes it harder to detect them. We cannot observe any ghosts except for those that stand very close to the faces of our Dirichlet domain. Hence a relative cosmic time between a quasar P_{i} and its ghost γ(P_{i}) is very small, which leads to small positional uncertainties (integrated effect) and small spatial resolutions.
We located the observer at the center and used the correct coordinate axes. The situations in which these quantities deviate from them are discussed in Sect. 5.2. The results are given in Table A.2 and Figs. A.1 and A.2. Relatively strong signals for halfturn corkscrew motion (type II) and glide reflection (type II) stem from the large spatial resolution. The signals for nth corkscrew motion for n = 4,3, and 6 are also strong, since we have to use two filters to detect γ and γ^{1}.
We can see that the hills always appear, which are constituted by topological ghosts. For a case where the clear distinction between the multiconnected space and the simply connected one is not seen, s_{i}histograms are indispensable to distinguish them. Our method is valid for all flat spaces. As mentioned in Sect. 5.1, zigzag features seen in the hills are not notable. They are merely stochastic and different from calculation to calculation.
All Tables
Neighboring holonomies of each topology represented as products of elemental transformations.
The number of quadruplets (N_{quad}) that have passed through the filters of (1) separation, (2) vectorial condition, and (3) lifetime of objects.
All Figures
Fig. 1
Illustration of fundamental cells for the 17 multiconnected spaces with Euclidean geometry. The chimney space family has two compact dimensions, while the slab space family only has one compact dimension. The others have three compact dimensions; they are compact. The simply connected space E^{3} is not shown here. Courtesy of Jeffrey Weeks and Adam Weeks Marano. This figure was first published in Cipra (2002). 

In the text 
Fig. 2
Two pairs of objects linked by a holonomy γ ideally have the same separations. This ideal situation breaks down owing to peculiar velocities and observational limits. 

In the text 
Fig. 3
Left: the s_{i}histograms of the two catalogs with 1980 quasars in the simply connected Euclidean space and in the slab space. s_{i} is the number of final candidate quadruplets that include the quasar P_{i}. In the slab space, a hill constituted by topological ghosts is clearly seen. Right: the objects with s_{i} ≥ 7 in the slab space. It can be seen that they are linked by parallel translation. 

In the text 
Fig. 4
The quasars that constitute the hill in the histogram for each simulation. Left: onepair translation (s_{i} ≥ 7), middle: halfturn corkscrew motion of type I (s_{i} ≥ 6), right: glide reflection of type I (s_{i} ≥ 6). They clearly trace the topological gluing for each holonomy. 

In the text 
Fig. 5
The s_{i}histograms in the HantzscheWendt space rotated about the yaxis by several angles. For comparison, the s_{i}histogram is shown in simply connected space. 

In the text 
Fig. 6
The dependence on the observer’s location in the universe. Top left: (0, 0, 0), top right: (0, 0.5, 0), mid left: (0, 1, 0), mid right: (1, 0, 0), down left: (3, 0, 0), down right: (5, 0, 0). 

In the text 
Fig. A.1
The s_{i}histograms for each type of holonomy. Top left: onepair translation; top right: twopair translation; middle left: threepair translation; middle right: halfturn corkscrew motion (type I); lower left: halfturn corkscrew motion (type II); lower right: quarterturn corkscrew motion. 

In the text 
Fig. A.2
Same as in Fig. A.1, but for different holonomies. Top left: thirdturn corkscrew motion; top right: sixthturn corkscrew motion; lower left: glide reflection (type I); lower right: glide reflection (type II). 

In the text 
Current usage metrics show cumulative count of Article Views (fulltext article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 4896 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.