配分函数和过配分函数行列式的正性

IF 2.1 2区 数学 Q1 MATHEMATICS, APPLIED
Larry Wang, Neil Yang
{"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>&gt;</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&gt;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>&gt;</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) &amp; p(n+m_1) &amp; p(n+m_1+m_2)\\\\ p(n-k_1) &amp; p(n) &amp; p(n+m_2)\\\\ p(n-k_1-k_2) &amp; p(n-k_2) &amp; p(n-k_2+m_2) \\end{vmatrix}&gt;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>&gt;</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}&gt;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>&gt;</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&gt;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>&gt;</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) &amp; p(n+m_1) &amp; p(n+m_1+m_2)\\\\\\\\ p(n-k_1) &amp; p(n) &amp; p(n+m_2)\\\\\\\\ p(n-k_1-k_2) &amp; p(n-k_2) &amp; p(n-k_2+m_2) \\\\end{vmatrix}&gt;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>&gt;</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}&gt;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 .
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Mathematics of Computation
Mathematics of Computation 数学-应用数学
CiteScore
3.90
自引率
5.00%
发文量
55
审稿时长
7.0 months
期刊介绍: All articles submitted to this journal are peer-reviewed. The AMS has a single blind peer-review process in which the reviewers know who the authors of the manuscript are, but the authors do not have access to the information on who the peer reviewers are. This journal is devoted to research articles of the highest quality in computational mathematics. Areas covered include numerical analysis, computational discrete mathematics, including number theory, algebra and combinatorics, and related fields such as stochastic numerical methods. Articles must be of significant computational interest and contain original and substantial mathematical analysis or development of computational methodology.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信