Sum of combinations from k to n

  • Thread starter Thread starter Ediliter
  • Start date Start date
  • Tags Tags
    Combinations Sum
AI Thread Summary
The discussion focuses on finding a formula for the sum of combinations from an arbitrary k to n, specifically addressing the challenge of summing combinations for large n. The user notes that while the sum from k=0 to n equals 2^n, there is no known simple formula for sums starting from a specific k, such as 4. Attempts to identify patterns using Pascal's triangle have not yielded results. Suggestions include using the incomplete beta function or the cumulative distribution function of the binomial distribution for approximations. The conversation highlights the complexity of computing these sums directly for large values of n.
Ediliter
Messages
2
Reaction score
0
I have been trying to figure out a formula for the sum of combinations. For example:

\sumnk=0(\frac{n}{k}) = 2n

But what if you want to sum from any arbitrary k, like 4? I've tried looking at Pascal's triangle for nice values of n and k, but haven't been able to see a pattern. I would really appreciate any help with this. I want to apply this to combinations for large n, which are impractical to compute.

Thank you in advance.
 
Physics news on Phys.org
I don't know any nice formula for \sum_{k=0}^m \binom{n}{k} Your question made me curious and I searched the web. It apparently doesn't know a nice formula either. Perhaps if you give an example of the kind of computation you are trying to do, someone will see a way to compute the result - at least compute it on a computer.
 
The sum could be expressed in terms of the incomplete beta function, e.g. using the cdf of the binomial distribution with p=1/2.
 
For large n the binomial distribution is approximated by a normal distribution, so if you only want a close approximation you could use that.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top