[seqfan] Re: Conjecture about A127750

[Jean-Paul Allouche]

Hi

Is it conceivable that this determinant has an explicit form (à la Hilbert
determinant or à la Cauchy determinant)?
best
jean-paul

Le mar. 9 févr. 2021 à 06:25, Allan Wechsler <acwacw at gmail.com> a écrit :

> Recently I was investigating a combinatorial system (a simple Turing
> machine, in fact), and became curious about a sequence it was displaying. I
> looked up the sequence on OEIS and found https://oeis.org/A127750, which
> matched perfectly.
>
> The description in the entry had absolutely nothing to do with my
> generating system. But there is a conjecture, apparently due to either the
> author, Dr. Paul Barry, or to Neil Sloane -- the entry isn't entirely
> clear.
>
> Obviously I wanted to know if my sequence and Barry's were the same. I was
> able to analyze my own sequence fairly easily, and the conjecture was quite
> trivially true for my sequence. If I could prove the identity of the two
> sequences, I would have proven the conjecture.
>
> Well, now I think I have proven it. What should I do next?
>
> --
> Seqfan Mailing list - http://list.seqfan.eu/
>