<p>We define matrix <i>q</i>-analogues of the higher-order Mersenne numbers via holomorphic functional calculus. For <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(q\in (0,1),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(k\in \mathbb {N},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and a complex square matrix <i>A</i>,&#xa0; let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(B_{k,q}(A):=[A^k]_q=(\varvec{I}-q^{A^k})/(1-q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <msub> <mrow> <mo stretchy="false">[</mo> <msup> <mi>A</mi> <mi>k</mi> </msup> <mo stretchy="false">]</mo> </mrow> <mi>q</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">I</mi> </mrow> <mo>-</mo> <msup> <mi>q</mi> <msup> <mi>A</mi> <mi>k</mi> </msup> </msup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and set <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(M^{(k)}_{n,q}(A)=\sum _{j=0}^{n-1}B_{k,q}(A)^j.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>M</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>0</mn> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> <msub> <mi>B</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mi>j</mi> </msup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> All single-matrix identities are polynomial or holomorphic identities in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(B_{k,q}(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and hence hold for arbitrary <i>A</i>,&#xa0; while commutativity is only required in genuinely multi-parameter matrix settings. We derive Binet-type formulas, matrix recurrences, a factorized Jackson <i>q</i>-exponential generating function, and a <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/40590_2026_932_IEq6_HTML.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="120" Type="Linedraw" Width="30" /> </InlineMediaObject> </InlineEquation>-embedding. A transfer-matrix method yields matrix <i>q</i>-Cassini, <i>q</i>-Catalan, and <i>q</i>-d’Ocagne identities, together with a determinantal Abel–Cassini identity for the nonautonomous system. We also prove spectral mapping results for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\sigma \!\big (M^{(k)}_{n,q}(A)\big )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mspace width="-0.166667em" /> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <msubsup> <mi>M</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>q</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and include explicit <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(2\times 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>×</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> examples, including a Jordan-block case. As <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(q\rightarrow 1^-,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo stretchy="false">→</mo> <msup> <mn>1</mn> <mo>-</mo> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> the scalar specialization <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(r=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(A=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> recovers the higher-order Mersenne formulas of Prasad et al. [9].</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Matrix q-higher-order Mersenne numbers: a basic hypergeometric and transfer-matrix framework

  • Phúc Võ Ɖặng

摘要

We define matrix q-analogues of the higher-order Mersenne numbers via holomorphic functional calculus. For \(q\in (0,1),\) q ( 0 , 1 ) , \(k\in \mathbb {N},\) k N , and a complex square matrix A,  let \(B_{k,q}(A):=[A^k]_q=(\varvec{I}-q^{A^k})/(1-q)\) B k , q ( A ) : = [ A k ] q = ( I - q A k ) / ( 1 - q ) and set \(M^{(k)}_{n,q}(A)=\sum _{j=0}^{n-1}B_{k,q}(A)^j.\) M n , q ( k ) ( A ) = j = 0 n - 1 B k , q ( A ) j . All single-matrix identities are polynomial or holomorphic identities in \(B_{k,q}(A)\) B k , q ( A ) and hence hold for arbitrary A,  while commutativity is only required in genuinely multi-parameter matrix settings. We derive Binet-type formulas, matrix recurrences, a factorized Jackson q-exponential generating function, and a -embedding. A transfer-matrix method yields matrix q-Cassini, q-Catalan, and q-d’Ocagne identities, together with a determinantal Abel–Cassini identity for the nonautonomous system. We also prove spectral mapping results for \(\sigma \!\big (M^{(k)}_{n,q}(A)\big )\) σ ( M n , q ( k ) ( A ) ) and include explicit \(2\times 2\) 2 × 2 examples, including a Jordan-block case. As \(q\rightarrow 1^-,\) q 1 - , the scalar specialization \(r=1\) r = 1 and \(A=2\) A = 2 recovers the higher-order Mersenne formulas of Prasad et al. [9].