{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6133630","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6133630","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6133630","kernelVersion":"v1","immutable":true,"modified":"2026-02-17T17:19:21Z","fdo:hasComponent":[{"@id":"#fulltext","componentId":"fulltext","mediaType":"application/pdf"}]},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6133630","name":"Linked partition ideals and a family of quadruple summations","headline":"Linked partition ideals and a family of quadruple summations","description":"scientific article; zbMATH DE number 7730226","url":"https://portal.mardi4nfdi.de/entity/Q6133630","datePublished":"2023-08-21","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q172379"},{"@id":"https://portal.mardi4nfdi.de/entity/Q249965"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q171729"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.JCTA.2023.105789","url":"https://doi.org/10.1016/J.JCTA.2023.105789"},"sameAs":["https://doi.org/10.1016/J.JCTA.2023.105789"],"comment":"The authors prove the following trivariate Rogers-Ramanujan type identity: \\begin{align*} (-xq;q^2)_{\\infty} (-yq^2;q^4)_{\\infty} = \\sum_{n_1,n_2,n_3,n_4 \\geq 0} \\frac{x^{n_1+n_2+2n_4}y^{n_2+n_3}q^{n_1+3n_2+2n_3+4n_4}(1+x^2yq^{6+8(n_1+n_2+n_3+n_4)})}{(q^2;q^2)_{n_1}(q^2;q^2)_{n_2}(q^4;q^4)_{n_3}(q^4;q^4)_{n_4}} \\\\ \\times q^{4\\binom{n_1}{2} + 6\\binom{n_2}{2} + 4\\binom{n_3}{2} + 8\\binom{n_4}{2} + 4n_1n_2 + 4n_1n_3 + 4n_1n_4 + 4n_2n_3 + 4n_2n_4 + 4n_3n_4}. \\end{align*} Here, \\((a;q)_n = \\prod_{k=0}^{n-1} (1-aq^k)\\) is the \\(q\\)-Pochhammer symbol as usual.  This identity is used to obtain a combinatorial relation, unifying earlier results of Andrews, on \\(4\\)-regular partitions and overpartitions. Here, a partition is called \\(k\\)-regular if none of its parts is divisible by \\(k\\), and an overpartition is a partition where the first occurrence of each distinct part may be overlined. Let \\(\\mathcal{A}_{\\{1\\}}^{\\veebar}\\) be the set of overpartitions with the following two properties: \\begin{itemize} \\item[1.] Only odd parts larger than \\(1\\) may be overlined. \\item[2.] The difference between any two parts is \\(\\geq 4\\), and the inequality is strict if the larger one is overlined or divisible by \\(4\\), with the exception that \\(\\overline{5}\\) and \\(1\\) may simultaneously appear as parts. \\end{itemize} For an (over-)partition \\(\\lambda\\), we write \\(\\#_{a,M}(\\lambda)\\) for the number of parts in \\(\\lambda\\) that are congruent to \\(a\\) modulo \\(M\\). Moreover, \\(O(\\lambda)\\) denotes the number of overlined parts in an overpartition \\(\\lambda\\).  Now the following holds:  Theorem. Let \\(A(n; m, \\ell)\\) be the number of overpartitions \\(\\lambda\\) of \\(n\\) in the set \\(\\mathcal{A}_{\\{1\\}}^{\\veebar}\\) that satisfy \\(\\#_{1,2}(\\lambda) + 2\\#_{0,4}(\\lambda) = m\\) and \\(\\#_{2,4}(\\lambda) + O(\\lambda) = \\ell\\). Moreover, let \\(B(n; m, \\ell)\\) be the number of \\(4\\)-regular partitions of \\(n\\) into distinct parts, of which \\(m\\) are odd and \\(\\ell\\) even. Then we have  \\[ A(n; m, \\ell) = B(n; m, \\ell). \\]","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1895577"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5549936"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2551780"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4777370"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4056078"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4109912"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4218535"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2120829"},{"@id":"https://portal.mardi4nfdi.de/entity/Q6098235"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2195136"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2840181"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2194084"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2678276"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2696025"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2182194"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4441767"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3282052"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3952291"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3194578"},{"@id":"https://portal.mardi4nfdi.de/entity/Q668049"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2299141"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1250160"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3926764"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1065915"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1065916"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1209815"},{"@id":"https://portal.mardi4nfdi.de/entity/Q6158146"},{"@id":"https://portal.mardi4nfdi.de/entity/Q496345"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4421466"}]},"provenance":{"prov:generatedAtTime":"2026-02-17T17:19:21Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}