A Proof of a Conjecture of C.L. Siegel
โ Scribed by J.T. Ding
- Publisher
- Elsevier Science
- Year
- 1994
- Tongue
- English
- Weight
- 243 KB
- Volume
- 46
- Category
- Article
- ISSN
- 0022-314X
No coin nor oath required. For personal study only.
โฆ Synopsis
Let (M_{n}) be the Minkowski fundamental domain for the space of (n \times n) real, symmetric, and positive definite matrices under the action of the unimodular group (S L_{n}(Z)). C. L. Siegel conjectured that (d(A, B)-f(A, B) \leqslant C(n)), for (A, B \in M_{n}), where (d) and (f) are the geodesic and the reduced geodesic distances, respectively, and (C(n)) is a constant depending only on (n). This conjecture appears in his book ("Zur Reduktionstheorie Quadratischer Formen," The Mathematical Society of Japan, 1959). By reducing the problem to the diagonal matrices in (M_{n}), we obtain a proof. 1994 Academic Press, Inc
๐ SIMILAR VOLUMES
Let P(G, \*) denote the chromatic polynomial of a graph G. It is proved in this paper that for every connected graph G of order n and real number \* n, (\*&2) n&1 P(G, \*)&\*(\*&1) n&2 P(G, \*&1) 0. By this result, the following conjecture proposed by Bartels and Welsh is proved: P(G, n)(P(G, n&1))
Simion had a unimodality conjecture concerning the number of lattice paths in a rectangular grid with the Ferrers diagram of a partition removed. Hildebrand recently showed the stronger result that these numbers are log concave. Here we present a simple proof of Hildebrand's result.
We give a new and elementary proof that the equation x 3 &1=31y 2 has only the integral solutions (x, y)=(1, 0), (5, 2), (5, &2).
A tree T is said to be bad, if it is the vertex-disjoint union of two stars plus an edge joining the center of the first star to an end-vertex of the second star. A tree T is good, if it is not bad. In this article, we prove a conjecture of Alan Hartman that, for any spanning tree T of K 2m , where
## Abstract The game domination number of a (simple, undirected) graph is defined by the following game. Two players, \documentclass{article}\usepackage{amssymb}\usepackage{amsbsy}\usepackage[mathscr]{euscript}\footskip=0pc\pagestyle{empty}\begin{document}${\mathcal{A}}$\end{document} and \docume