求助PDF
{"title":"配分函数和过配分函数行列式的正性","authors":"Larry Wang, Neil Yang","doi":"10.1090/mcom/3810","DOIUrl":null,"url":null,"abstract":"In this paper, we give an iterated approach to concern with the positivity of <disp-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"det left-parenthesis p left-parenthesis n minus i plus j right-parenthesis right-parenthesis Subscript 1 less-than-or-equal-to i comma j less-than-or-equal-to k Baseline comma\"> <mml:semantics> <mml:mrow> <mml:mo movablelimits=\"true\" form=\"prefix\">det</mml:mo> <mml:mtext> </mml:mtext> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mi>j</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> <mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mn>1</mml:mn> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:msub> <mml:mo>,</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\begin{equation*} \\det \\ (p(n-i+j))_{1\\leq i,j\\leq k}, \\end{equation*}</mml:annotation> </mml:semantics> </mml:math> </disp-formula> where <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p left-parenthesis n right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">p(n)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is the partition function. We first apply a general method to prove that for given <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k 1 comma k 2 comma m 1 comma m 2\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">k_1,k_2,m_1,m_2</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, one can find a threshold <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper N left-parenthesis k 1 comma k 2 comma m 1 comma m 2 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">N(k_1,k_2,m_1,m_2)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> such that for <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n greater-than upper N left-parenthesis k 1 comma k 2 comma m 1 comma m 2 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>></mml:mo> <mml:mi>N</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">n>N(k_1,k_2,m_1,m_2)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, <disp-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"Start 3 By 3 Determinant 1st Row 1st Column p left-parenthesis n minus k 1 plus m 1 right-parenthesis 2nd Column a m p semicolon p left-parenthesis n plus m 1 right-parenthesis 3rd Column a m p semicolon p left-parenthesis n plus m 1 plus m 2 right-parenthesis 2nd Row 1st Column p left-parenthesis n minus k 1 right-parenthesis 2nd Column a m p semicolon p left-parenthesis n right-parenthesis 3rd Column a m p semicolon p left-parenthesis n plus m 2 right-parenthesis 3rd Row 1st Column p left-parenthesis n minus k 1 minus k 2 right-parenthesis 2nd Column a m p semicolon p left-parenthesis n minus k 2 right-parenthesis 3rd Column a m p semicolon p left-parenthesis n minus k 2 plus m 2 right-parenthesis EndDeterminant greater-than 0 period\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mo>|</mml:mo> <mml:mtable rowspacing=\"4pt\" columnspacing=\"1em\"> <mml:mtr> <mml:mtd> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mtd> </mml:mtr> <mml:mtr> <mml:mtd> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mtd> </mml:mtr> <mml:mtr> <mml:mtd> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mtd> </mml:mtr> </mml:mtable> <mml:mo>|</mml:mo> </mml:mrow> <mml:mo>></mml:mo> <mml:mn>0.</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\begin{equation*} \\begin {vmatrix} p(n-k_1+m_1) & p(n+m_1) & p(n+m_1+m_2)\\\\ p(n-k_1) & p(n) & p(n+m_2)\\\\ p(n-k_1-k_2) & p(n-k_2) & p(n-k_2+m_2) \\end{vmatrix}>0. \\end{equation*}</mml:annotation> </mml:semantics> </mml:math> </disp-formula> Based on this result, we will prove that for <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n greater-than-or-equal-to 656\"> <mml:semantics> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≥<!-- ≥ --></mml:mo> <mml:mn>656</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">n\\geq 656</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"det left-parenthesis p left-parenthesis n minus i plus j right-parenthesis right-parenthesis Subscript 1 less-than-or-equal-to i comma j less-than-or-equal-to 4 Baseline greater-than 0\"> <mml:semantics> <mml:mrow> <mml:mo movablelimits=\"true\" form=\"prefix\">det</mml:mo> <mml:mtext> </mml:mtext> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mi>j</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> <mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mn>1</mml:mn> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mn>4</mml:mn> </mml:mrow> </mml:msub> <mml:mo>></mml:mo> <mml:mn>0</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\det \\ (p(n-i+j))_{1\\leq i,j\\leq 4}>0</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. Employing the same technique, we will show that determinants <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis p overbar left-parenthesis n minus i plus j right-parenthesis right-parenthesis Subscript 1 less-than-or-equal-to i comma j less-than-or-equal-to k\"> <mml:semantics> <mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mover> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">¯<!-- ¯ --></mml:mo> </mml:mover> </mml:mrow> </mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mi>j</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> <mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mn>1</mml:mn> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:msub> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">({\\bar p}(n-i+j))_{1\\leq i,j\\leq k}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> are positive for <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k equals 3 and 4\"> <mml:semantics> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>=</mml:mo> <mml:mn>3</mml:mn> <mml:mtext> and </mml:mtext> <mml:mn>4</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">k=3 \\text { and } 4</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for overpartition <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"ModifyingAbove p With bar left-parenthesis n right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mover> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">¯<!-- ¯ --></mml:mo> </mml:mover> </mml:mrow> </mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">{\\bar p}(n)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. Furthermore, we will give an outline of how to prove the positivity of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"det left-parenthesis p left-parenthesis n minus i plus j right-parenthesis right-parenthesis Subscript 1 less-than-or-equal-to i comma j less-than-or-equal-to k Baseline\"> <mml:semantics> <mml:mrow> <mml:mo movablelimits=\"true\" form=\"prefix\">det</mml:mo> <mml:mtext> </mml:mtext> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mi>j</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> <mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> <mml:mrow class=\"MJX-TeXAtom-ORD\"> <mml:mn>1</mml:mn> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:msub> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\det \\ (p(n-i+j))_{1\\leq i,j\\leq k}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for general <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k\"> <mml:semantics> <mml:mi>k</mml:mi> <mml:annotation encoding=\"application/x-tex\">k</mml:annotation> </mml:semantics> </mml:math> </inline-formula>.","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"21 1","pages":"0"},"PeriodicalIF":2.1000,"publicationDate":"2023-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Positivity of the determinants of the partition function and the overpartition function\",\"authors\":\"Larry Wang, Neil Yang\",\"doi\":\"10.1090/mcom/3810\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we give an iterated approach to concern with the positivity of <disp-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"det left-parenthesis p left-parenthesis n minus i plus j right-parenthesis right-parenthesis Subscript 1 less-than-or-equal-to i comma j less-than-or-equal-to k Baseline comma\\\"> <mml:semantics> <mml:mrow> <mml:mo movablelimits=\\\"true\\\" form=\\\"prefix\\\">det</mml:mo> <mml:mtext> </mml:mtext> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mi>j</mml:mi> <mml:mo stretchy=\\\"false\\\">)</mml:mo> <mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\"> <mml:mn>1</mml:mn> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:msub> <mml:mo>,</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\begin{equation*} \\\\det \\\\ (p(n-i+j))_{1\\\\leq i,j\\\\leq k}, \\\\end{equation*}</mml:annotation> </mml:semantics> </mml:math> </disp-formula> where <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"p left-parenthesis n right-parenthesis\\\"> <mml:semantics> <mml:mrow> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">p(n)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is the partition function. We first apply a general method to prove that for given <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"k 1 comma k 2 comma m 1 comma m 2\\\"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">k_1,k_2,m_1,m_2</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, one can find a threshold <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper N left-parenthesis k 1 comma k 2 comma m 1 comma m 2 right-parenthesis\\\"> <mml:semantics> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">N(k_1,k_2,m_1,m_2)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> such that for <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n greater-than upper N left-parenthesis k 1 comma k 2 comma m 1 comma m 2 right-parenthesis\\\"> <mml:semantics> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>></mml:mo> <mml:mi>N</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">n>N(k_1,k_2,m_1,m_2)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, <disp-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"Start 3 By 3 Determinant 1st Row 1st Column p left-parenthesis n minus k 1 plus m 1 right-parenthesis 2nd Column a m p semicolon p left-parenthesis n plus m 1 right-parenthesis 3rd Column a m p semicolon p left-parenthesis n plus m 1 plus m 2 right-parenthesis 2nd Row 1st Column p left-parenthesis n minus k 1 right-parenthesis 2nd Column a m p semicolon p left-parenthesis n right-parenthesis 3rd Column a m p semicolon p left-parenthesis n plus m 2 right-parenthesis 3rd Row 1st Column p left-parenthesis n minus k 1 minus k 2 right-parenthesis 2nd Column a m p semicolon p left-parenthesis n minus k 2 right-parenthesis 3rd Column a m p semicolon p left-parenthesis n minus k 2 plus m 2 right-parenthesis EndDeterminant greater-than 0 period\\\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mo>|</mml:mo> <mml:mtable rowspacing=\\\"4pt\\\" columnspacing=\\\"1em\\\"> <mml:mtr> <mml:mtd> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mtd> </mml:mtr> <mml:mtr> <mml:mtd> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mtd> </mml:mtr> <mml:mtr> <mml:mtd> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mtd> <mml:mtd> <mml:mi>a</mml:mi> <mml:mi>m</mml:mi> <mml:mi>p</mml:mi> <mml:mo>;</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:msub> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>m</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mtd> </mml:mtr> </mml:mtable> <mml:mo>|</mml:mo> </mml:mrow> <mml:mo>></mml:mo> <mml:mn>0.</mml:mn> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\begin{equation*} \\\\begin {vmatrix} p(n-k_1+m_1) & p(n+m_1) & p(n+m_1+m_2)\\\\\\\\ p(n-k_1) & p(n) & p(n+m_2)\\\\\\\\ p(n-k_1-k_2) & p(n-k_2) & p(n-k_2+m_2) \\\\end{vmatrix}>0. \\\\end{equation*}</mml:annotation> </mml:semantics> </mml:math> </disp-formula> Based on this result, we will prove that for <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"n greater-than-or-equal-to 656\\\"> <mml:semantics> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≥<!-- ≥ --></mml:mo> <mml:mn>656</mml:mn> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">n\\\\geq 656</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"det left-parenthesis p left-parenthesis n minus i plus j right-parenthesis right-parenthesis Subscript 1 less-than-or-equal-to i comma j less-than-or-equal-to 4 Baseline greater-than 0\\\"> <mml:semantics> <mml:mrow> <mml:mo movablelimits=\\\"true\\\" form=\\\"prefix\\\">det</mml:mo> <mml:mtext> </mml:mtext> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mi>j</mml:mi> <mml:mo stretchy=\\\"false\\\">)</mml:mo> <mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\"> <mml:mn>1</mml:mn> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mn>4</mml:mn> </mml:mrow> </mml:msub> <mml:mo>></mml:mo> <mml:mn>0</mml:mn> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\det \\\\ (p(n-i+j))_{1\\\\leq i,j\\\\leq 4}>0</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. Employing the same technique, we will show that determinants <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"left-parenthesis p overbar left-parenthesis n minus i plus j right-parenthesis right-parenthesis Subscript 1 less-than-or-equal-to i comma j less-than-or-equal-to k\\\"> <mml:semantics> <mml:mrow> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\"> <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\"> <mml:mover> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">¯<!-- ¯ --></mml:mo> </mml:mover> </mml:mrow> </mml:mrow> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mi>j</mml:mi> <mml:mo stretchy=\\\"false\\\">)</mml:mo> <mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\"> <mml:mn>1</mml:mn> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:msub> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">({\\\\bar p}(n-i+j))_{1\\\\leq i,j\\\\leq k}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> are positive for <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"k equals 3 and 4\\\"> <mml:semantics> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>=</mml:mo> <mml:mn>3</mml:mn> <mml:mtext> and </mml:mtext> <mml:mn>4</mml:mn> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">k=3 \\\\text { and } 4</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for overpartition <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"ModifyingAbove p With bar left-parenthesis n right-parenthesis\\\"> <mml:semantics> <mml:mrow> <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\"> <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\"> <mml:mover> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">¯<!-- ¯ --></mml:mo> </mml:mover> </mml:mrow> </mml:mrow> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">{\\\\bar p}(n)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. Furthermore, we will give an outline of how to prove the positivity of <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"det left-parenthesis p left-parenthesis n minus i plus j right-parenthesis right-parenthesis Subscript 1 less-than-or-equal-to i comma j less-than-or-equal-to k Baseline\\\"> <mml:semantics> <mml:mrow> <mml:mo movablelimits=\\\"true\\\" form=\\\"prefix\\\">det</mml:mo> <mml:mtext> </mml:mtext> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>p</mml:mi> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>−<!-- − --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>+</mml:mo> <mml:mi>j</mml:mi> <mml:mo stretchy=\\\"false\\\">)</mml:mo> <mml:msub> <mml:mo stretchy=\\\"false\\\">)</mml:mo> <mml:mrow class=\\\"MJX-TeXAtom-ORD\\\"> <mml:mn>1</mml:mn> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>i</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>≤<!-- ≤ --></mml:mo> <mml:mi>k</mml:mi> </mml:mrow> </mml:msub> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\det \\\\ (p(n-i+j))_{1\\\\leq i,j\\\\leq k}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for general <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"k\\\"> <mml:semantics> <mml:mi>k</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">k</mml:annotation> </mml:semantics> </mml:math> </inline-formula>.\",\"PeriodicalId\":18456,\"journal\":{\"name\":\"Mathematics of Computation\",\"volume\":\"21 1\",\"pages\":\"0\"},\"PeriodicalIF\":2.1000,\"publicationDate\":\"2023-01-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematics of Computation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1090/mcom/3810\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematics of Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/mcom/3810","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 1
引用
批量引用
摘要
在这篇文章里,我们给一个iterated接近的地方to关注with positivity》det (p (n−i + j) 1≤i, j≤k, det开始{equation *} \ \ (p (n-i + j) {1 \ leq i, j的伦敦\ leq k}, {equation * p (n)的地方是p (n)是《partition功能。我们第一a方法为了证明这一点为将军专心给k k 1, 2, 1, m k_1 k_2、m_1 m_2,人能找到a门槛N k (k - 1, 2, 1, m (2) N k_1 k_2、m_1 m_2)为N >如此那;N k (k - 1, 2, 1, m) n> N (k_1 k_2、m_1 m_2 ) , | p (n k−1 + 1)a m p;p (n + m 1) a m p;p (n + m + 1 2) p k (n−1)a m p;p (n) a m p;p (n + k m 2) p (n−1−2)k a m p;p (n k−2)a m p;p (n + k−2 m 2 ) | & gt;0. p(n-k_1+m_1) &p (n + m_1) &p(n+m_1+m_2)\\ p(n-k_1) &p (n) &p(n+m_2)\\ p(n-k_1-k_2)和p (n-k_2) &p (n-k_2 + m_2) \ end {vmatrix} > 0 - 9。\ end {equation *的改编自这论点,我们会证明这给n≥n \ geq 656 656, det (p (n−i + j) 1≤i, j≤4 >- = tlf字幕组= -翻译:Employing不变技巧,我们会表演那determinants ( p¯(n−i + j) 1≤i, j p≤k({\酒吧{1}(n-i + j) _ leq i, j \ leq k}是积极为k = 3和4 k = 3 \短信{和}for overpartition¯p (n) {\ p (n)的酒吧。Furthermore,我们将如何证明给大纲》《det (p (n−positivity i + j) 1≤i, j≤k det \ (p (n-i + j) _ {1 leq i, j \ leq k k, k为将军。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Positivity of the determinants of the partition function and the overpartition function
In this paper, we give an iterated approach to concern with the positivity of det ( p ( n − i + j ) ) 1 ≤ i , j ≤ k , \begin{equation*} \det \ (p(n-i+j))_{1\leq i,j\leq k}, \end{equation*} where p ( n ) p(n) is the partition function. We first apply a general method to prove that for given k 1 , k 2 , m 1 , m 2 k_1,k_2,m_1,m_2 , one can find a threshold N ( k 1 , k 2 , m 1 , m 2 ) N(k_1,k_2,m_1,m_2) such that for n > N ( k 1 , k 2 , m 1 , m 2 ) n>N(k_1,k_2,m_1,m_2) , | p ( n − k 1 + m 1 ) a m p ; p ( n + m 1 ) a m p ; p ( n + m 1 + m 2 ) p ( n − k 1 ) a m p ; p ( n ) a m p ; p ( n + m 2 ) p ( n − k 1 − k 2 ) a m p ; p ( n − k 2 ) a m p ; p ( n − k 2 + m 2 ) | > 0. \begin{equation*} \begin {vmatrix} p(n-k_1+m_1) & p(n+m_1) & p(n+m_1+m_2)\\ p(n-k_1) & p(n) & p(n+m_2)\\ p(n-k_1-k_2) & p(n-k_2) & p(n-k_2+m_2) \end{vmatrix}>0. \end{equation*} Based on this result, we will prove that for n ≥ 656 n\geq 656 , det ( p ( n − i + j ) ) 1 ≤ i , j ≤ 4 > 0 \det \ (p(n-i+j))_{1\leq i,j\leq 4}>0 . Employing the same technique, we will show that determinants ( p ¯ ( n − i + j ) ) 1 ≤ i , j ≤ k ({\bar p}(n-i+j))_{1\leq i,j\leq k} are positive for k = 3 and 4 k=3 \text { and } 4 for overpartition p ¯ ( n ) {\bar p}(n) . Furthermore, we will give an outline of how to prove the positivity of det ( p ( n − i + j ) ) 1 ≤ i , j ≤ k \det \ (p(n-i+j))_{1\leq i,j\leq k} for general k k .