How many entries of a typical orthogonal matrix can be approximated by independent normals?

We solve an open problem of Diaconis that asks what are the largest orders of p _n and q _n such that Z _n, the p _n × q _n upper left block of a random matrix Γ _n which is uniformly distributed on the orthogonal group O(n), can be approximated by independent standard normals? This problem is solved by two different approximation methods. First, we show that the variation distance between the joint distribution of entries of Z _n and that of p _nq _n independent standard normals goes to zero provided p _n = o(√/n) and q _n = o(√/n). We also show that the above variation distance does not go to zero if p _n = [x√/n] and q _n = [y√/n] for any positive numbers x and y. This says that the largest orders of p _n and q _n are o(n ^1/2) in the sense of the above approximation. Second, suppose Γ _n = (γij)n×n is generated by performing the GramSchmidt algorithm on the columns of Y _n = (yij)n×n, where {yij; 1 ≤ i, j ≤ n} are i.i.d. standard normals. We show that ε _n(m):=max _{1≤i≤n,1≤j≤m} |√n· γij - yij | goes to zero in probability as long as m = m _n = o(n/ log n). We also prove that ε _n (m _n) → 2√α in probability when m _n = [nα/ log n] for any α > 0. This says that m _n = o(n/log n) is the largest order such that the entries of the first m _n columns of Γ _n can be approximated simultaneously by independent standard normals.