A103314 conjecture

Max relf at unn.ac.ru
Fri May 20 17:54:06 CEST 2005


Mitchell Harris wrote:
> On Fri, 20 May 2005, David Wilson wrote:
> 
> 
>>To: "David Wilson" <davidwwilson at comcast.net>
>>
>>> f(p) = 2 (obvious, either all or none) [f = A103314]
>>
>>Can you explain to me why it's obvious?
> 
> 
> It's not obvious that it is obvious.
> First it happens to be true for small primes (inspection and symmetry 
> confirms visually up to 7 for me). Trying to formalize it, the best I can 
> think up is a Vandermode matrix (from fast fourier transforms) which is 
> singular but removing any rows/columns is not (which of course is even 
> less obvious). Any simpler justifications?

I think the same follows from irreducibility of T_p(x)/x for odd prime p,
where T_p(x) is Chebyshev polynomial.
http://www.artofproblemsolving.com/Forum/topic-35047.html

Max






More information about the SeqFan mailing list