Showing 1–20 of 20 results for author: Inoue, T

Nontrivial single axiom-schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$

Authors: Takao Inoué, Tadayoshi Miwa

Abstract: On March 8, 1995, was found the following nontrivial single axiom-schema characteristic of Leśniewski-Ishimoto's propositional ontology $\bf L_1$ (Inoué \cite{inoue16}). $$(\mbox{$\mathrm{A_{M8}}$)} \enspace εab \wedge εcd . \supset . εaa \wedge εcc \wedge (εbc \supset . εad \wedge εba).$$ In this paper, we shall present the progress about the above axiom-schema from 1995 and conjectures about it.… ▽ More On March 8, 1995, was found the following nontrivial single axiom-schema characteristic of Leśniewski-Ishimoto's propositional ontology $\bf L_1$ (Inoué \cite{inoue16}). $$(\mbox{$\mathrm{A_{M8}}$)} \enspace εab \wedge εcd . \supset . εaa \wedge εcc \wedge (εbc \supset . εad \wedge εba).$$ In this paper, we shall present the progress about the above axiom-schema from 1995 and conjectures about it. Here we shall give two criteria \it nontiriviality \rm and \it quasi-nontriviality \rm in order to distinguish two axiom-schemata. △ Less

Submitted 18 February, 2024; v1 submitted 10 February, 2024; originally announced February 2024.

Comments: 19 pages, corrected, one section added

MSC Class: 03B20; 03B60; 03F03; 03A05; 03A99

Ehrhart theory on periodic graphs II: Stratified Ehrhart ring theory

Authors: Takuya Inoue, Yusuke Nakamura

Abstract: We investigate the "stratified Ehrhart ring theory" for periodic graphs, which gives an algorithm for determining the growth sequences of periodic graphs. The growth sequence $(s_{Γ, x_0, i})_{i \ge 0}$ is defined for a graph $Γ$ and its fixed vertex $x_0$, where $s_{Γ, x_0, i}$ is defined as the number of vertices of $Γ$ at distance $i$ from $x_0$. Although the sequences… ▽ More We investigate the "stratified Ehrhart ring theory" for periodic graphs, which gives an algorithm for determining the growth sequences of periodic graphs. The growth sequence $(s_{Γ, x_0, i})_{i \ge 0}$ is defined for a graph $Γ$ and its fixed vertex $x_0$, where $s_{Γ, x_0, i}$ is defined as the number of vertices of $Γ$ at distance $i$ from $x_0$. Although the sequences $(s_{Γ, x_0, i})_{i \ge 0}$ for periodic graphs are known to be of quasi-polynomial type, their determination had not been established, even in dimension two. Our theory and algorithm can be applied to arbitrary periodic graphs of any dimension. As an application of the algorithm, we determine the growth sequences in several new examples. △ Less

Submitted 3 July, 2024; v1 submitted 30 October, 2023; originally announced October 2023.

Comments: 45 pages. The title has been changed. arXiv admin note: text overlap with arXiv:2305.08177

MSC Class: Primary 05A15; Secondary 52B20; 05C30

Hamiltonian Cycles for Finite Weyl Groupoids

Authors: Takato Inoue, Hiroyuki Yamane

Abstract: Let $Γ({\mathcal{W}})$ be the Cayley graph of a finite Weyl groupoid ${\mathcal{W}}$. In this paper, we show an existence of a Hamitonian cycle of $Γ({\mathcal{W}})$ for any ${\mathcal{W}}$. We exatctly draw a Hamiltonian cycle of $Γ({\mathcal{W}})$ for any (resp. some) irreducible ${\mathcal{W}}$ of rank three (resp. four). Moreover for the irreducible ${\mathcal{W}}$ of rank three, we give a sec… ▽ More Let $Γ({\mathcal{W}})$ be the Cayley graph of a finite Weyl groupoid ${\mathcal{W}}$. In this paper, we show an existence of a Hamitonian cycle of $Γ({\mathcal{W}})$ for any ${\mathcal{W}}$. We exatctly draw a Hamiltonian cycle of $Γ({\mathcal{W}})$ for any (resp. some) irreducible ${\mathcal{W}}$ of rank three (resp. four). Moreover for the irreducible ${\mathcal{W}}$ of rank three, we give a second largest eigenvalue of the adjacency matrix of $Γ({\mathcal{W}})$, and know if $Γ({\mathcal{W}})$ is a bipartite Ramanujan graph or not. △ Less

Submitted 9 March, 2024; v1 submitted 19 October, 2023; originally announced October 2023.

Comments: 38 pages, 6 figures, any comment is welcome

Epistemic systems and Flagg and Friedman's translation

Authors: Takao Inoué

Abstract: In 1986, Flagg and Friedman \cite{ff} gave an elegant alternative proof of the faithfulness of Gödel (or Rasiowa-Sikorski) translation $(\cdot)^\Box$ of Heyting arithmetic $\bf HA$ to Shapiro's epistemic arithmetic $\bf EA$. In §2, we shall prove the faithfulness of $(\cdot)^\Box$ without using stability, by introducing another translation from an epistemic system to corresponding intuitionistic s… ▽ More In 1986, Flagg and Friedman \cite{ff} gave an elegant alternative proof of the faithfulness of Gödel (or Rasiowa-Sikorski) translation $(\cdot)^\Box$ of Heyting arithmetic $\bf HA$ to Shapiro's epistemic arithmetic $\bf EA$. In §2, we shall prove the faithfulness of $(\cdot)^\Box$ without using stability, by introducing another translation from an epistemic system to corresponding intuitionistic system which we shall call \it the modified Rasiowa-Sikorski translation\rm . That is, this introduction of the new translation simplifies the original Flagg and Friedman's proof. In §3, we shall give some applications of the modified one for the disjunction property ($\mathsf{DP}$) and the numerical existence property ($\mathsf{NEP}$) of Heyting arithmetic. In §4, we shall show that epistemic Markov's rule $\mathsf{EMR}$ in $\bf EA$ is proved via $\bf HA$. So $\bf EA$ $\vdash \mathsf{EMR}$ and $\bf HA$ $\vdash \mathsf{MR}$ are equivalent. In §5, we shall give some relations among the translations treated in the previous sections. In §6, we shall give an alternative proof of Glivenko's theorem. In §7, we shall propose several(modal-)epistemic versions of Markov's rule for Horsten's modal-epistemic arithmetic $\bf MEA$. And, as in §4, we shall study some meta-implications among those versions of Markov's rules in $\bf MEA$ and one in $\bf HA$. Friedman and Sheard gave a modal analogue $\mathsf{FS}$ (i.e. Theorem in \cite{fs}) of Friedman's theorem $\mathsf{F}$ (i.e. Theorem 1 in \cite {friedman}): \it Any recursively enumerable extension of $\bf HA$ which has $\mathsf{DP}$ also has $\mathsf{NPE}$\rm . In §8, we shall give a proof of our \it Fundamental Conjecture \rm $\mathsf{FC}$ proposed in Inoué \cite{ino90a} as follows: $\mathsf{FC}: \enspace \mathsf{FS} \enspace \Longrightarrow \enspace \mathsf{F}.$ This is a new type of proofs. In §9, I shall give discussions. △ Less

Submitted 19 October, 2023; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: 33 pages

MSC Class: 00A30; 03A05; 03B45; 03B70; 03D20; 03D25; 03F03; 03F30; 03F50; 03F55; 03F99; 68Q99; 14A99

New bijective proofs pertaining to alternating sign matrices

Authors: Takuya Inoue

Abstract: The alternating sign matrices-descending plane partitions (ASM-DPP) bijection problem is one of the most intriguing open problems in bijective combinatorics, which is also relevant to integrable combinatorics. The notion of a signed set and a signed bijection is used in [Fischer, I. \& Konvalinka, M., Electron. J. Comb., 27 (2020) 3-35.] to construct a bijection between… ▽ More The alternating sign matrices-descending plane partitions (ASM-DPP) bijection problem is one of the most intriguing open problems in bijective combinatorics, which is also relevant to integrable combinatorics. The notion of a signed set and a signed bijection is used in [Fischer, I. \& Konvalinka, M., Electron. J. Comb., 27 (2020) 3-35.] to construct a bijection between $\text{ASM}_n \times \text{DPP}_{n-1}$ and $\text{DPP}_n \times \text{ASM}_{n-1}$. Here, we shall construct a more natural alternative to a signed bijection between alternating sign matrices and shifted Gelfand-Tsetlin patterns which is presented in that paper, based on the notion of compatibility which we introduce to measure the naturalness of a signed bijection. In addition, we give a bijective proof for the refined enumeration of an extension of alternating sign matrices with $n+3$ statistics, first proved in [Fischer, I. \& Schreier-Aigner, F., Advances in Mathematics 413 (2023) 108831.]. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 50 pages

Ehrhart theory on periodic graphs

Authors: Takuya Inoue, Yusuke Nakamura

Abstract: The purpose of this paper is to extend the scope of the Ehrhart theory to periodic graphs. We give sufficient conditions for the growth sequences of periodic graphs to be a quasi-polynomial and to satisfy the reciprocity laws. Furthermore, we apply our theory to determine the growth series in several new examples. The purpose of this paper is to extend the scope of the Ehrhart theory to periodic graphs. We give sufficient conditions for the growth sequences of periodic graphs to be a quasi-polynomial and to satisfy the reciprocity laws. Furthermore, we apply our theory to determine the growth series in several new examples. △ Less

Submitted 9 April, 2024; v1 submitted 14 May, 2023; originally announced May 2023.

Comments: 41 pages. To appear in Algebraic Combinatorics

MSC Class: 05A15; 52B20; 05C30; 92E10

Invariant measures for random piecewise convex maps

Authors: Tomoki Inoue, Hisayoshi Toyokawa

Abstract: We show the existence of Lebesgue-equivalent conservative and ergodic $σ$-finite invariant measures for a wide class of one-dimensional random maps consisting of piecewise convex maps. We also estimate the size of invariant measures around a small neighborhood of a fixed point where the invariant density functions may diverge. Application covers random intermittent maps with critical points or fla… ▽ More We show the existence of Lebesgue-equivalent conservative and ergodic $σ$-finite invariant measures for a wide class of one-dimensional random maps consisting of piecewise convex maps. We also estimate the size of invariant measures around a small neighborhood of a fixed point where the invariant density functions may diverge. Application covers random intermittent maps with critical points or flat points. We also illustrate that the size of invariant measures tends to infinite for random maps whose right branches exhibit a strongly contracting property on average, so that they have a strong recurrence to a fixed point. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: 24 pages, 2 figures

MSC Class: Primary 37A40; Secondary 37H12; 37A05

Comparison theorems for invariant measures of random dynamical systems

Authors: Tomoki Inoue

Abstract: We study a random dynamical system such that one transformation is randomly selected from a family of transformations and then applied on each iteration. For such random dynamical systems, we consider estimates of absolutely continuous invariant measures. Since the random dynamical systems are made by complicated compositions of many deterministic maps and probability density functions, it is diff… ▽ More We study a random dynamical system such that one transformation is randomly selected from a family of transformations and then applied on each iteration. For such random dynamical systems, we consider estimates of absolutely continuous invariant measures. Since the random dynamical systems are made by complicated compositions of many deterministic maps and probability density functions, it is difficult to estimate the invariant measures. To get rid of this difficulty, we present fundamental comparison theorems which make easier the estimates of invariant measures of random maps. We also demonstrate how to apply the comparison theorems to random maps with indifferent fixed points and/or with unbounded derivatives. △ Less

Submitted 17 March, 2023; originally announced March 2023.

MSC Class: 2020 AMS Mathematics Subject Classification: 37E05; 37H12

On humanization of mathematics: aesthetic mathematics

Authors: Takao Inoué

Abstract: In this short essay, I shall try to find a way to humanize mathematics. I shall give some mathematical remarks concerning that. I shall give some brief comments to my past works from the point of view of this paper. In this short essay, I shall try to find a way to humanize mathematics. I shall give some mathematical remarks concerning that. I shall give some brief comments to my past works from the point of view of this paper. △ Less

Submitted 5 February, 2023; originally announced February 2023.

Comments: 5 pages

MSC Class: 00A30; 00A05; 00A30; 03A05

Axiomatic Rejection for the Propositional Fragment of Leśniewski's Ontology

Authors: Takao Inoué, Arata Ishimoto, Mitsunori Kobayashi

Abstract: A Hilbert-type axiomatic rejection $\mathbf{HAR}$ for the propositional fragment $\mathbf{L_1}$ of Leśniewski's ontology is proposed. Also a Gentzen-type axiomatic rejection $\mathbf{GAR}$ of $\mathbf{L_1}$ is proposed. Models for $\mathbf{L_1}$ are introduced. By axiomatic rejection, Ishimoto's embedding theorem will be proved. One of our main theorems is: \noindent \textsc{Theorem} \rm (Main T… ▽ More A Hilbert-type axiomatic rejection $\mathbf{HAR}$ for the propositional fragment $\mathbf{L_1}$ of Leśniewski's ontology is proposed. Also a Gentzen-type axiomatic rejection $\mathbf{GAR}$ of $\mathbf{L_1}$ is proposed. Models for $\mathbf{L_1}$ are introduced. By axiomatic rejection, Ishimoto's embedding theorem will be proved. One of our main theorems is: \noindent \textsc{Theorem} \rm (Main Theorem) \it $\vdash_T A \enspace \Longleftrightarrow \enspace \vdash_H \enspace A$ $\enspace \enspace \enspace \enspace \enspace \enspace \Longleftrightarrow \enspace TA \enspace \mbox{is valid in first-order predicate logic with equality}$ $\enspace \enspace \enspace \enspace \enspace \enspace \Longleftrightarrow \enspace not \dashv_H A.$ \noindent where $\vdash_T A$ means that $A$ is provable in the tableau method of $\mathbf{L_1}$, while $\vdash_H A$ means that $A$ is provable in the Hilbert-type $\mathbf{L_1}$. \rm \smallskip In the last section, as the chracterization theorem, we shall show the theorem which contains six equivalent statements with the cut elimination theorem etc. △ Less

Submitted 14 August, 2021; originally announced August 2021.

Comments: 53 pages

MSC Class: 03A5; 03B60

How to Make a New Logic

Authors: Takao Inoué

Abstract: We discuss about how to make a new logic with considering a slogan: \it take the inversion of what you know. \rm Suppose that we have a Gentzen-style logical system $S$. The operation to make a new logic from $S$ is the following: \it for all the axioms and rules of $S$, change the direction of all the arrows occurred in the sequents of the axiom or the rule to the opposite side. \rm We call this… ▽ More We discuss about how to make a new logic with considering a slogan: \it take the inversion of what you know. \rm Suppose that we have a Gentzen-style logical system $S$. The operation to make a new logic from $S$ is the following: \it for all the axioms and rules of $S$, change the direction of all the arrows occurred in the sequents of the axiom or the rule to the opposite side. \rm We call this operation \it Stahlization. \rm We consider certain logics in this respect. △ Less

Submitted 12 August, 2021; originally announced August 2021.

Comments: 7 pages

MSC Class: 03B20; 03B47; 03B53; 03B55; 03B60

The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction

Authors: Takao Inoué

Abstract: In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without complete induction, for which two types of cut elimination theorems hold. One is $\bf SN$-cut elimination theorem for the full system $\bf SN$. The other is… ▽ More In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without complete induction, for which two types of cut elimination theorems hold. One is $\bf SN$-cut elimination theorem for the full system $\bf SN$. The other is $\bf PCN$-cut elimination theorem for a proposed subsystem $\bf PCN$ of $\bf SN$. The disjunction property and the E-theorem (existence property) for $\bf SN$ are also proved. As a novelty, we shall give a simple proof of a restricted version of $\bf SN$-cut elimination theorem as an application of the disjunction property, using $\bf PCN$-cut elimination theorem. △ Less

Submitted 12 August, 2021; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: 39 pages

MSC Class: 03F03; 03F25; 03F30; 03F50

On Bergman's Diamond Lemma for Ring Theory

Authors: Takao Inoué

Abstract: This expository and review paper deals with the Diamond Lemma for ring theory, which is proved in the first section of G. M. Bergman, The Diamond Lemma for Ring Theory, Advances in Mathematics, 29 (1978), pp. 178-218. No originality of the present note is claimed on the part of the author, except for some suggestions and figures. Throughout this paper, I shall mostly use Bergman's expressions in h… ▽ More This expository and review paper deals with the Diamond Lemma for ring theory, which is proved in the first section of G. M. Bergman, The Diamond Lemma for Ring Theory, Advances in Mathematics, 29 (1978), pp. 178-218. No originality of the present note is claimed on the part of the author, except for some suggestions and figures. Throughout this paper, I shall mostly use Bergman's expressions in his paper. In Remarks and Notes, the reader will find some useful information on this topic. △ Less

Submitted 21 September, 2023; v1 submitted 27 July, 2020; originally announced July 2020.

Comments: 15 pages

MSC Class: 16S15; 16-02

A sound interpretation of Leśniewski's epsilon in modal logic KTB

Authors: Takao Inoué

Abstract: In this paper, we shall show that the following translation $I^M$ from the propositional fragment $\bf L_1$ of Leśniewski's ontology to modal logic $\bf KTB$ is sound: for any formula $φ$ and $ψ$ of $\bf L_1$, it is defined as \smallskip (M1) $I^M(φ\vee ψ)$ = $I^M(φ) \vee I^M(ψ),$ (M2) $I^M(\neg φ)$ = $\neg I^M(φ),$ (M3) $I^M(εab)$ =… ▽ More In this paper, we shall show that the following translation $I^M$ from the propositional fragment $\bf L_1$ of Leśniewski's ontology to modal logic $\bf KTB$ is sound: for any formula $φ$ and $ψ$ of $\bf L_1$, it is defined as \smallskip (M1) $I^M(φ\vee ψ)$ = $I^M(φ) \vee I^M(ψ),$ (M2) $I^M(\neg φ)$ = $\neg I^M(φ),$ (M3) $I^M(εab)$ = $\Diamond p_a \supset p_a . \wedge . \Box p_a \supset \Box p_b . \wedge . \Diamond p_b \supset p_a,$ \smallskip \noindent where $p_a$ and $p_b$ are propositional variables corresponding to the name variables $a$ and $b$, respectively. In the last section, we shall give some open problems and my conjectures. △ Less

Submitted 2 October, 2021; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: 8 pages. arXiv admin note: text overlap with arXiv:2006.15421

On Blass translation for Leśniewski's propositional ontology and modal logics

Authors: Takao Inoué

Abstract: In this paper, we shall give another proof of the faithfulness of Blass translation (for short, $B$-translation) of the propositional fragment $\bf L_1$ of Leśniewski's ontology in the modal logic $\bf K$ \it by means of Hintikka formula\rm . And we extend the result to von Wright-type deontic logics, i.e., ten Smiley-Hanson systems of monadic deontic logic. As a result of observing the proofs we… ▽ More In this paper, we shall give another proof of the faithfulness of Blass translation (for short, $B$-translation) of the propositional fragment $\bf L_1$ of Leśniewski's ontology in the modal logic $\bf K$ \it by means of Hintikka formula\rm . And we extend the result to von Wright-type deontic logics, i.e., ten Smiley-Hanson systems of monadic deontic logic. As a result of observing the proofs we shall give general theorems on the faithfulness of $B$-translation with respect to normal modal logics complete to certain sets of well-known accessibility relations with a restriction that transitivity and symmetry are not set at the same time. As an application of the theorems, for example, $B$-translation is faithful for the provability logic $\bf PrL$ (= $\bf GL$), that is, $\bf K$ $+$ $\Box (\Box φ\supset φ) \supset \Box φ$. The faithfulness also holds for normal modal logics, e.g., $\bf KD$, $\bf K4$, $\bf KD4$, $\bf KB$. We shall conclude this paper with the section of some open problems and conjectures. △ Less

Submitted 31 October, 2020; v1 submitted 27 June, 2020; originally announced June 2020.

Comments: 25 pages

The 825 Smallest Right-Angled Hyperbolic Polyhedra

Authors: Taiyo Inoue

Abstract: An algorithm for determining the list of smallest volume right-angled hyperbolic polyhedra in dimension 3 is described. This algorithm has been implemented on computer using the program Orb to compute volumes, and the first 825 polyhedra in the list have been determined. An algorithm for determining the list of smallest volume right-angled hyperbolic polyhedra in dimension 3 is described. This algorithm has been implemented on computer using the program Orb to compute volumes, and the first 825 polyhedra in the list have been determined. △ Less

Submitted 6 December, 2015; originally announced December 2015.

Comments: 27 pages. Lots of figures. The programs used here are free and available on either the Internet or by request ([email protected])

MSC Class: 57M99

The 2-components of the 31-stem homotopy groups of the 9 and 10-spheres

Authors: Tomohisa Inoue, Juno Mukai

Abstract: Group structures of the 2-primary components of the 31-stem homotopy groups of spheres were studied by Oda in 1979. There are, however, two incompletely determined groups. In this paper, our investigation with Toda's composition method gives structures of them. Group structures of the 2-primary components of the 31-stem homotopy groups of spheres were studied by Oda in 1979. There are, however, two incompletely determined groups. In this paper, our investigation with Toda's composition method gives structures of them. △ Less

Submitted 3 October, 2012; originally announced October 2012.

Comments: 15 pages

MSC Class: 55Q40 (Primary) 55Q35 (Secondary)

Organizing Volumes of Right-Angled Hyperbolic Polyhedra

Authors: Taiyo Inoue

Abstract: This article defines a pair of combinatorial operations on the combinatorial structure of compact right-angled hyperbolic polyhedra in dimension three called decomposition and edge surgery. It is shown that these operations simplify the combinatorics of such a polyhedron, while kee** it within the class of right-angled objects, until it is a disjoint union of Löbell polyhedra, a class of polyh… ▽ More This article defines a pair of combinatorial operations on the combinatorial structure of compact right-angled hyperbolic polyhedra in dimension three called decomposition and edge surgery. It is shown that these operations simplify the combinatorics of such a polyhedron, while kee** it within the class of right-angled objects, until it is a disjoint union of Löbell polyhedra, a class of polyhedra which generalizes the dodecahedron. Furthermore, these combinatorial operations are shown to have geometric realizations which are volume decreasing. This allows for an organization of the volumes of right-angled hyperbolic polyhedra and allows, in particular, the determination of the polyhedra with smallest and second-smallest volumes. △ Less

Submitted 11 September, 2008; originally announced September 2008.

Comments: 34 pages, 8 figures, to appear in Algebraic & Geometric Topology

Journal ref: Algebr. Geom. Topol. 8 (2008) 1523-1565

Numerical Study of Length Spectra and Low-lying Eigenvalue Spectra of Compact Hyperbolic 3-manifolds

Authors: Kaiki Taro Inoue

Abstract: In this paper, we numerically investigate the length spectra and the low-lying eigenvalue spectra of the Laplace-Beltrami operator for a large number of small compact(closed) hyperbolic (CH) 3-manifolds. The first non-zero eigenvalues have been successfully computed using the periodic orbit sum method, which are compared with various geometric quantities such as volume, diameter and length of th… ▽ More In this paper, we numerically investigate the length spectra and the low-lying eigenvalue spectra of the Laplace-Beltrami operator for a large number of small compact(closed) hyperbolic (CH) 3-manifolds. The first non-zero eigenvalues have been successfully computed using the periodic orbit sum method, which are compared with various geometric quantities such as volume, diameter and length of the shortest periodic geodesic of the manifolds. The deviation of low-lying eigenvalue spectra of manifolds converging to a cusped hyperbolic manifold from the asymptotic distribution has been measured by $ζ-$ function and spectral distance. △ Less

Submitted 14 November, 2000; v1 submitted 8 November, 2000; originally announced November 2000.

Comments: 19 pages, 18 EPS figures and 2 GIF figures (fig.10) Description of cusped manifolds in section 2 is corrected

Report number: YITP-00-59

Journal ref: Class.Quant.Grav. 18 No.4 629-652 (2001)

Computation of eigenmodes on a compact hyperbolic 3-space

Authors: Kaiki Taro Inoue

Abstract: Measurements of cosmic microwave background (CMB) anisotropy are ideal experiments for discovering the non-trivial global topology of the universe. To evaluate the CMB anisotropy in multiply-connected compact cosmological models, one needs to compute the eigenmodes of the Laplace-Beltrami operator. Using the direct boundary element method, we numerically obtain the low-lying eigenmodes on a comp… ▽ More Measurements of cosmic microwave background (CMB) anisotropy are ideal experiments for discovering the non-trivial global topology of the universe. To evaluate the CMB anisotropy in multiply-connected compact cosmological models, one needs to compute the eigenmodes of the Laplace-Beltrami operator. Using the direct boundary element method, we numerically obtain the low-lying eigenmodes on a compact hyperbolic 3-space called the Thurston manifold which is the second smallest in the known compact hyperbolic 3-manifolds. The computed eigenmodes are expanded in terms of eigenmodes on the unit three-dimensional pseudosphere. We numerically find that the expansion coefficients behave as Gaussian pseudo-random numbers for low-lying eigenmodes. The observed gaussianity in the CMB fluctuations can partially be attributed to the Gaussian pseudo-randomness of the expansion coefficients assuming that the Gaussian pseudo-randomness is the universal property of the compact hyperbolic spaces. △ Less

Submitted 23 June, 1999; v1 submitted 2 October, 1998; originally announced October 1998.

Comments: 40 pages, 8 EPS figures; error estimation is included; accepted Classical and Quantum Gravity

Report number: YITP-98-66

Journal ref: Class.Quant.Grav. 16 (1999) 3071-3094