Dirichlet matrices: determinants, permanents and the \textit{Factorisatio Numerorum} problem (Q1979388)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dirichlet matrices: determinants, permanents and the \textit{Factorisatio Numerorum} problem
scientific article

    Statements

    Dirichlet matrices: determinants, permanents and the \textit{Factorisatio Numerorum} problem (English)
    0 references
    2 September 2021
    0 references
    A function \(g:\mathbb{N}\to\mathbb{C}\) and a vector \(\alpha=(\alpha_1,\dots,\alpha_n)\in\mathbb{C}^n\) define the \(n\times n\) Dirichlet matrix \(D(n,\alpha,g)=(d_{ij})\), where \(d_{1j}=\alpha_j\), \(d_{ij}=g(i/j)\) if \(i>1\) and \(j\mid i\), and \(d_{ij}=0\) otherwise. The author proves that if \(g(1)\ne 0\), then \[ \det{D(n,\alpha,g)}=g(1)^{n-1}\Big(\alpha_1- \sum_{j=2}^ng(j)\frac{\det{D(n_j,\alpha^{(j)},g)}}{g(1)^{n_j}}\Big), \] where \[ n_j=\lfloor\frac{n}{j}\rfloor,\quad\alpha^{(j)}=(\alpha_j,\alpha_{2j},\dots,\alpha_{n_jj}). \] By showing that \(\mathrm{per}\,D(n,\alpha,g)=-\det{D(n,-\alpha,\tilde{g})}\), where \(\tilde{g}(1)=g(1)\) and \(\tilde{g}(j)=-g(j)\) for \(j>1\), he obtains the corresponding formula for the permanent. Let \(1\) denote any identically-one function and also any vector \((1,\dots,1)\). \textit{H. S. Wilf} [Electron J. Combin. 11, R10 (2004; Zbl 1077.15009)] proved that \[ \mathrm{per}\,D(n,1,1)=F(n)=\sum_{j=1}^nf(j), \] where \(f(1)=1\) and \(f(j)\) is the number of ordered factorizations of \(j\ge 2\). \textit{L. Kalmár} [Acta Szeged Sci. Math. 5, 95--107 (1931; JFM 57.1365.02)] proved that \[ \lim_{n\to\infty}\frac{F(n)}{n^\rho}=-\frac{1}{\rho\zeta'(\rho)}, \] where \(\zeta\) is the Riemann zeta function and \(\zeta(\rho)=2\). More generally, the present author studies the asymptotics of \[ F(n,\nu,g)=\mathrm{per}\,D(n,\alpha[n,\nu],g), \] where \(\nu\in\mathbb{R}\), \[ \alpha[n,\nu]=\Big(1,\frac{1}{2^\nu},\dots,\frac{1}{n^\nu}\Big), \] and the values of \(g\) are real and nonnegative.
    0 references
    determinant
    0 references
    permanent
    0 references
    Dirichlet matrix
    0 references
    Redheffer matrix
    0 references

    Identifiers