6
$\begingroup$

I have the following relation:

$$ \sum_{d|n} (1+1/x)^{d-1} F_{n/d}(x^d)=L_n(x) $$

where the right hand side is (for every $n$) a polynomial in $x$, which I have an expression for, but it's not extremely beautiful. The family of polynomials $F_k(x)$ is unknown, and is what I'm looking for.

Since this is close to Dirichlet convolution, I have not quite given up hope that there is something similar to Möbius inversion, that would give me $F_k(x)$ explicitely. Is this possible? Related instances of such a problem may also be interesting.

A possibly weaker, but still sufficient solution would be an expression in terms of $L_k$ and $R_k$ of the expression

$$ \sum_{d|n} R_d(x) F_{n/d}(x^d) $$

where $R_k(x)$ is another family of polynomials, which is also unknown.

$\endgroup$
1
  • 1
    $\begingroup$ A meta question: would a tag "inverse-relations" be appropriate? $\endgroup$ Commented Aug 7, 2010 at 10:16

1 Answer 1

2
$\begingroup$

At least computing $F_k(x)$ turned out not to be that hard after all. Slightly more generally, consider

$$ \sum_{d|k} Z_d(x) F_{n/d}(x^d) = L_n(x), $$ with $Z_1(x)=1$.

Then we have $$ F_n(x)=\sum_{1=d_0|d_1|\dots|d_k|n}L_{n/d_k}(x^{d_k}) (-1)^k\prod_{i=0}^{k-1} Z_{d_{i+1}/d_i}(x^{d_i}), $$

where in the sum $d_0 < d_1 < \dots < d_k \leq n$. In other words, we are summing over all chains starting at $1$, below $n$. The formula is easily shown by induction.

$\endgroup$
1
  • $\begingroup$ Shameless plug: I used this, to give an "explicit" expression for the number of ribbon Schur functions of given size and height, see arxiv.org/abs/1008.2501 . Of course, it would be very nice if the formulas in Theorem 4.2 could be simplified. $\endgroup$ Commented Aug 23, 2010 at 12:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .