## Duke Mathematical Journal

### Explicit construction of a Ramanujan $(n_1,n_2,\ldots,n_{d-1})$-regular hypergraph

Alireza Sarveniazi

#### Abstract

Using the main properties of the skew polynomial rings $\mathbb{F}_{q^d}\{\tau\}$ and some related rings, we describe the explicit construction of Ramanujan hypergraphs, which are certain simplicial complexes introduced in the author's thesis [29] (see also [30]) as generalizations of Ramanujan graphs. Such hypergraphs are described in terms of Cayley graphs of various groups. We give an explicit description of our hypergraph as the Cayley graph of the groups $\mathrm{PSL}_d(\mathbb{F}_r)$ and $\mathrm{PGL}_d(\mathbb{F}_r)$ with respect to a certain set of generators, over a finite field $\mathbb{F}_r$ with $r$ elements

#### Article information

Source
Duke Math. J. Volume 139, Number 1 (2007), 141-171.

Dates
First available in Project Euclid: 13 July 2007

http://projecteuclid.org/euclid.dmj/1184341240

Digital Object Identifier
doi:10.1215/S0012-7094-07-13913-9

Mathematical Reviews number (MathSciNet)
MR2322678

#### Citation

Sarveniazi, Alireza. Explicit construction of a Ramanujan ( n 1 , n 2 , … , n d − 1 ) -regular hypergraph. Duke Math. J. 139 (2007), no. 1, 141--171. doi:10.1215/S0012-7094-07-13913-9. http://projecteuclid.org/euclid.dmj/1184341240.

#### References

• K. Brown, Buildings, Springer, New York, 1989.
• L. Carlitz, On polynomials in a Galois field, Bull. Amer. Math. Soc. 38 (1932), 736--744.
• —, On certain functions connected with polynomials in a Galois field, Duke Math. J. 1 (1935), 137--168.
• —, A set of polynomials, Duke Math. J. 6 (1940), 486--504.
• —, Some special functions over GF$(q,x)$, Duke Math. J. 27 (1960), 139--158.
• D. I. Cartwright, Harmonic Functions on Buildings of, Type $\tilde{A}_n$, Sympos. Math. 39, Cambridge Univ. Press, Cambridge, 1999.
• D. I. Cartwright and T. Steger, A family of $\tilde{A}_n$-groups, Israel J. Math. 103 (1998), 125--140.
• G. Davidoff, P. Sarnak, and A. Vallete, Elementary Number Theory, Group Theory, and Ramanujan Graphs, London Math. Soc. Stud. Texts 55, Cambridge Univ. Press, Cambridge, 2003.
• J. D. Dixon, M. P. F. Du Sautoy, A. Mann, and D. Segal, Analytic Pro-p-Groups, London Math. Soc. Lecture Note Ser. 157, Cambridge Univ. Press, Cambridge, 1991.
• V. G. Drinfel'D [drinfeld], Proof of the Petersson conjecture for $\rm{GL}(2)$ over a global field of characteristic p (in Russian), Funktsional. Anal. i Prilozhen. 22, no. 1 (1988), 34--54.; English translation in Funct. Anal. Appl. 22 (1988), 28--43.
• B. Farb and R. K. Dennis, Noncommutative Algebra, Grad. Texts in Math. 144, Springer, New York, 1993.
• N. Jacobson, Finite-Dimensional Division Algebras over Fields, Springer, Berlin, 1996.
• T. Y. Lam, A First Course in Noncommutative Rings, Grad. Texts in Math. 131, Springer, New York, 1986.
• —, $\rm{SL}_2(R)$, reprint of the 1975 ed., Grad. Texts in Math. 105, Springer, New York, 1985.
• W.-C. W. Li, Ramanujan hypergraphs, Geom. Funct. Anal. 14 (2004), 380--399.
• A. Lubotzky, R. Phillips, and P. Sarnak, Explicit expanders and the Ramanujan Conjectures'' in Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing (Berkeley, Calif., 1986), Assoc. for Computing Machinery, New York, 1986, 240--246.
• —, Ramanujan graphs, Combinatorica 8 (1988), 261--277.
• A. Lubotzky, B. Samuels, and U. Vishne, Explicit constructions of Ramanujan complexes of type $\tilde{A}_d$, European J. Combin. 26 (2005), 965--993.
• —, Ramanujan complexes of type $\tilde{A}_d$, Israel J. Math. 149 (2005), 267--299.
• C. C. Macduffee, An Introduction to Abstract Algebra, Wiley, New York, 1940.
• M. Morgenstern, Existence and explicit construction of $q+1$ regular Ramanujan graphs for every prime power q, J. Combin. Theory Ser. B 62 (1994), 44--62.
• O. Ore, On a special class of polynomials, Trans. Amer. Math. Soc. 35 (1933), 559--584.; Errata, Trans. Amer. Math. Soc. 36 (1934), 275. ${\!}$;
• —, Theory of non-commutative polynomials, Ann. of Math. (2) 34 (1933), 480--508.
• M. Ronan, Lectures on Buildings, Perspect. Math. 7, Academic Press, Boston, 1989.
• —, Buildings: Main ideas and applications, I: Main ideas, Bull. London Math. Soc. 24 (1992), 1--51.; II: Arithmetic groups, buildings and symmetric spaces, Bull. London Math. Soc. 24 (1992), 97--126. ${\!}$;
• M. Rosen, Number Theory in Function Fields, Grad. Texts in Math. 210, Springer, New York, 2002.
• P. Sarnak, Some Applications of Modular Forms, Cambridge Tracts in Math. 99, Cambridge Univ. Press, Cambridge, 1990.
• A. Sarveniazi, Ramanujan $(n_1,n_2,\ldots,n_{d-1})$-regular hypergraphs based on Bruhat-Tits buildings of type $\tilde{A}_{d-1}$, Ph.D. dissertation, University of Göttingen, Göttingen, Germany, 2003.
• —, Ramanujan $(n_1,n_2,\ldots,n_{d-1})$-regular hypergraphs, I: Definition and abstract construction, preprint, 2004.
• W. Scharlau, Quadratic and Hermitian Forms, Grundlehren Math. Wiss. 270, Springer, Berlin, 1985.
• J.-P. Serre, A Course in Arithmetic, Grad. Texts in Math. 7, Springer, New York, 1973.
• —, Linear Representations of Finite Groups, Grad. Texts in Math. 42, Springer, New York, 1977.
• —, Trees, Springer, New York, 1980.
• G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, Kanô Memorial Lectures 1, Publ. Math Soc. Japan 11, Princeton Univ. Press, Princeton, 1971.
• A. Terras, Fourier Analysis on Finite Groups and Applications, London Math. Soc. Stud. Texts 43, Cambridge Univ. Press, Cambridge, 1999.
• M.-F. Vignéras, Arithmétique des algèbres de quaternions, Lecture Notes in Math. 800, Springer, Berlin, 1980.
• A. Weil, Basic Number Theory, Grundlehren Math. Wiss. 144, Springer, New York, 1967.