How Is the Permutation Approximation Proven for Large N?

Click For Summary

Discussion Overview

The discussion revolves around proving the approximation \(\frac{N!}{(N-n)!} \approx N^n\) for large \(N\) and fixed \(n\). Participants explore various mathematical approaches, including Stirling's approximation and product notation, to understand the asymptotic behavior of the factorial ratio.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant suggests using Stirling's approximation to express \(\frac{N!}{(N-n)!}\) but struggles to reach the desired conclusion.
  • Another participant argues that Stirling's approximation may not be necessary and provides a product-based approach to show that \(\frac{N!}{(N-n)!} = N(N-1)\cdots(N-n+1)\), leading to a simpler analysis.
  • A different participant emphasizes the importance of formally expressing the relationship between \(N\) and \(n\) and suggests using product notation to avoid ellipses in the expressions.
  • One participant proposes that if \(n\) is much smaller than \(N\), the approximation holds, and discusses the implications of setting \(n = \log N\) for the analysis.
  • Another participant acknowledges a mistake in their previous calculations and attempts to correct it by re-evaluating the last steps of their approach, leading to a different expression involving exponentials.
  • One participant expresses uncertainty about how to proceed and requests a more explicit derivation of the steps involved in the approximation.
  • A later reply provides a detailed breakdown using product notation and limits, concluding that the ratio \(\frac{N!}{N^n(N-n)!}\) approaches 1 as \(N\) becomes large, suggesting the two expressions are asymptotically equivalent.

Areas of Agreement / Disagreement

Participants exhibit a mix of agreement on the general approach to proving the approximation, but there are differing opinions on the necessity of Stirling's approximation and the specific steps involved in the derivation. The discussion remains unresolved regarding the most effective method to demonstrate the approximation.

Contextual Notes

Participants note that the validity of the approximation may depend on the relationship between \(N\) and \(n\), particularly when \(n\) is fixed or grows logarithmically with \(N\). There are also references to potential errors in calculations that could affect the outcome.

ppedro
Messages
22
Reaction score
0
How can I prove that, for N\gg n

\frac{N!}{(N-n)!}\approx N^{n}

I've tried doing

\frac{N!}{(N-n)!}=\exp\left(\ln\frac{N!}{(N-n)!}\right)=\exp\left(\ln N!-\ln\left(N-n\right)!\right)

\underset{stirling}{\approx}\exp\left(N\ln N-N-\left(N-n\right)\ln\left(N-n\right)+N-n\right)

=N^{N}+\left(N-n\right)^{n-N}+\exp-n

But it doesn't look like I'm getting there
 
Physics news on Phys.org
I don't think you need Stirling's Approximation to show this:

\frac{N!}{(N-n)!} = N(N-1)...(N-n+1)
\frac{N!}{N^n(N-n)!} = \left(1-\frac{1}{N}\right)\left(1-\frac{2}{N}\right)...\left(1-\frac{n-1}{N}\right)

So for any fixed n, N^n becomes a better approximation as N becomes larger. (How good depending on the size of n).
 
Last edited:
  • Like
Likes   Reactions: 1 person
I understand what you wrote in the first line. I have n factors involving N minus something which is to be small compared with N. But I should be able to say it formally.
 
Well to avoid the ...'s, you can use the \prod product notation, and then take the limit as N goes to infinity of both sides, using the properties of the limit of a finite product.
 
I'm afraid I don't know how to do it. Could you write it explicitly? Many thanks
 
You were almost there in the first post -- you just need to use the fact that n is much smaller than N.

How big is n? Let's say that ##n = \log N##. (If n is too big, it won't be true any more!)

Then ##\log(N - n) = \log\left(N - \log N\right) = \log N - \int_{N-\log N}^N {1 \over x}\,dx.## And ##\int_{N-\log N}^N {1 \over x}\,dx = {\log N \over N} + O\left((\log N)^2 \over N^2\right),## so
##\log(N - n) = \log N - {\log N \over N} + O\left((\log N)^2 \over N^2\right)##.

Now you can do the last step:

##N\log N - (N−n)\log(N−n) − n = N\log N - (N-\log N)\left(\log N - {\log N \over N} + O\left((\log N)^2 \over N^2\right)\right) - \log N = (\log N)^2 + O\left((\log N)^2/N\right).## Then you can exponentiate to get the answer you wanted (don't forget that ##n = \log N##).

I hope I did all the math correctly there...
 
  • Like
Likes   Reactions: 1 person
I saw I made a careless mistake on the last step of my approach. I was summing the terms where they should be multiplied. So I end up with

=N^{N}\left(N-n\right)^{n-N}e^{-n}=e^{-n}\frac{N^{N}}{\left(N-n\right)^{N-n}}=e^{-n}N^{n}\left(\frac{N}{N-n}\right)^{N-n}

and I see that\left(\frac{N}{N-n}\right)^{N-n}=e^{n} leading to the final answer.
 
ppedro said:
I'm afraid I don't know how to do it. Could you write it explicitly? Many thanks

Oh sorry I should've been more clear I guess:

\frac{N!}{(N-n)!} = \prod_{k=0}^{n-1}(N-k)
\frac{N!}{N^n(N-n)!} = \frac{1}{N^n}\prod_{k=0}^{n-1}(N-k)
\frac{N!}{N^n(N-n)!} = \left(\prod_{k=0}^{n-1}\frac{1}{N}\right)\left(\prod_{k=0}^{n-1}(N-k)\right)
\frac{N!}{N^n(N-n)!} = \prod_{k=0}^{n-1}\frac{N-k}{N}
\frac{N!}{N^n(N-n)!} = \prod_{k=0}^{n-1}\left(1-\frac{k}{N}\right)

Now, assuming n is constant, take the limit as N approaches ∞.
\lim_{N \rightarrow ∞} \frac{N!}{N^n(N-n)!} = \lim_{N \rightarrow ∞}\prod_{k=0}^{n-1}\left(1-\frac{k}{N}\right) = \prod_{k=0}^{n-1}\lim_{N \rightarrow ∞}\left(1-\frac{k}{N}\right) = \prod_{k=0}^{n-1}1 = 1

which proves that for large enough N, the ratio of \frac{N!}{N^n(N-n)!} ≈ 1. So the two expressions are asymptotically the same (in terms of ratio).
 

Similar threads

  • · Replies 29 ·
Replies
29
Views
5K
  • · Replies 0 ·
Replies
0
Views
2K
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
10K