Skip to main content
Chitsai Liu's user avatar
Chitsai Liu's user avatar
Chitsai Liu's user avatar
Chitsai Liu
  • Member for 14 years, 7 months
  • Last seen more than 2 years ago
awarded
revised
Loading…
awarded
awarded
awarded
revised
Loading…
comment
How to prove this polynomial always has integer values at all integers?
@Allen Knutson, Thank you for your useful idea. I have listed the polynomials in basis $\{ {x\choose k} \}$. I think it is also hard to prove that $Q(x)$ is $\mathbb Z$-valued as you mentioned.
revised
Loading…
revised
Loading…
revised
Loading…
Loading…
awarded
awarded
comment
How to prove that the following double sum is always an integer?
Thank you for your good ideas and suggestions for this question. I have proved the third-order recurrence by Multi-Varible Zeilberger algorithm. In my proof, I obtain a very complicated fifth-order recurrence. What I have done is that: $M(s),N(s)$ denote the third recurrence and fifth-order recurrence respectively. Then I prove $c_0(s)N(s)+d_0(s)M(s)+d_1(s)M(s+1)+d_2(s)M(s+2)=0$ where $c_0(s),d_0(s),d_1(s),d_2(s)$ are polynomials with integer coefficients, from this fact, I prove the third-order recurrence by induction. If proof without software is found, it will be better.
awarded
awarded
comment
How to prove that the following double sum is always an integer?
I use the corrected version and verify it via maple, it is correct recurrence, you are right! The sequence is not in OEIS. I can't find the recurrence by zeilberger algorithm. How do you find the recurrence?Thank you very much!
comment
How to prove that the following double sum is always an integer?
I verify the recurrence via maple, and find $a_s$ don't satisfy the recurrence. Could you tell me how you find this third-order recurrence? If the right recurrence is found, it is helpful to solve this problem. Thanks!
revised
Loading…