{"entities":{"Q7290490":{"pageid":31156675,"ns":120,"title":"Item:Q7290490","lastrevid":105050212,"modified":"2026-09-16T02:03:21Z","type":"item","id":"Q7290490","labels":{"en":{"language":"en","value":"Formulas for the generalized Frobenius number of triangular numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8218398"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$9401D4C8-F3A6-4D2B-A492-3DA7B7E20F37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04097d9e39728b77efbeb0d10301fa50a10acbbf","datavalue":{"value":{"text":"Formulas for the generalized Frobenius number of triangular numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7290490$674EFC73-D2D5-471D-8BBA-95051267A8D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e51b7f2ff8d602d712b18e163b9b9d7b95376d8","datavalue":{"value":"10.5281/ZENODO.20597423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7290490$174302E7-F3E0-4EB2-AE54-DCC393103EA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae6ab0707b78f88fac8bd0067653345b60ee7df2","datavalue":{"value":{"entity-type":"item","numeric-id":4618485,"id":"Q4618485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$8428D8C0-C08F-44D2-932F-78B9279018B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7156ae6288d1cd7ff602ff259046eb2abb40ec71","datavalue":{"value":{"entity-type":"item","numeric-id":2882724,"id":"Q2882724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$FB9B3387-6CA0-4742-A38A-858643DDF9C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"383f6dc91c4ec07efba7eb56b04ce12972ed9077","datavalue":{"value":{"time":"+2026-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7290490$163D220E-4E53-4350-A7F5-878E58B4C937","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20b9df37991cabc6714b156e2e55bb4f6f246bea","datavalue":{"value":"The purpose of this paper is to provide a confirmation of Komatsu's conjecture on triangular numbers $t_n=\\frac{n(n+1)}{2}$ from [the reviewer, Ann. Comb. 26, No. 3, 757--779 (2022; Zbl 1498.11093)]. Let $A=(a_1,a_2,\\dots,a_k)$ be a $k$-tuple of positive integers with $\\gcd(a_1,a_2,\\dots,a_k)=1$. For a non-negative integer $n$, let $d(n;A)=d(n;a_1,a_2,\\dots,a_k)$ be the number of representations of $a_1 x_1+a_2 x_2+\\cdots+a_k x_k=n$. For a given integer $s\\ge 0$, define the generalized Frobenius number by \\N\\[\\Ng(A;s)=g(a_1,a_2,\\dots,a_k;s)=\\max\\{n\\in\\mathbb Z\\mid d(n;A)\\le s\\}, \\N\\]\\Nthat is the largest integer such that the number of representation by $a_1,a_2,\\dots,a_k$ is at most $s$ ways. Notice that $g(a_1,a_2,\\dots,a_k)=g(a_1,a_2,\\dots,a_k;0)$ is the original Frobenius number. Komatsu formulated a conjecture for the explicit formula for $s\\ge 0$ as follows. For some non-negative integer $s$, there exists an odd integer $q$ and integers $n_j$ ($j=1,2,3,4$) such that \\N\\[\\Ng(t_n,t_{n+1},t_{n+2};s)+1=\\begin{cases} \\frac{(q n)(n+1)(n+2)}{4}&\\text{  for even  }n\\ge n_2,\\\\\\N\\frac{(q n-3)(n+1)(n+2)}{4}&\\text{  for odd  }n\\ge n_1,\\end{cases}\\N\\]\\Nand \\N\\[\\Ng(t_n,t_{n+1},t_{n+2};s+1)+1=\\begin{cases} \\frac{(q n+6)(n+1)(n+2)}{4}&\\text{  for even  }n\\ge n_4,\\\\\\N\\frac{(q n+3)(n+1)(n+2)}{4}&\\text{  for odd  }n\\ge n_3, \\end{cases}\\N\\]\\N and so on. For some non-negative integer $s'$, there exists an even integer $q'$ and integers $n_j$ ($j=5,6$) such that \\N\\[\\Ng(t_n,t_{n+1},t_{n+2};s')+1= \\frac{(q' n)(n+1)(n+2)}{4}\\quad(n\\ge n_5) \\N\\]\\Nand \\N\\[\\Ng(t_n,t_{n+1},t_{n+2};s'+1)+1= \\frac{(q' n+6)(n+1)(n+2)}{4}\\quad(n\\ge n_6) \\N\\]\\Nand so on.\\N\\NThis paper can determine $g(t_n,t_{n+1},t_{n+2};s+1)$ from $g(t_n,t_{n+1},t_{n+2};s)$ for many integers $s\\ge 0$ (or $s'\\ge 0$) and the difference between those two is $6(n+1)(n+2)/4$. The first result of this paper presents an explicit formula for the generalized Frobenius number involving three consecutive triangular numbers for all $s\\ge 0$. For even $n>6\\lfloor{\\sqrt{s+1}\\rfloor}-6$, we have \\N\\[\\Ng(t_n,t_{n+1},t_{n+2};s)=\\frac{(n+1)(n+2)}{4}(q_s n+6 c_s)-1. \\N\\]\\NFor odd $n>6\\lfloor{(\\sqrt{4 s+5}-1)/2\\rfloor}-3$, we have \\N\\[\\Ng(t_n,t_{n+1},t_{n+2};s)=\\frac{(n+1)(n+2)}{4}(q_s n+6 c_s-3\\delta_s)-1.\\N\\]\\NHere, \\N\\[\\Nq_s=2\\lfloor{\\sqrt{s}\\rfloor}+2+\\delta_s,\\quad c_s=s-\\lfloor{\\sqrt{s}\\rfloor}^2-\\delta_s\\lfloor{\\sqrt{s}\\rfloor},\\quad \\delta_s=\\begin{cases} 1&\\text{  if  }s\\ge\\lfloor{\\sqrt{s}\\rfloor}^2+\\lfloor{\\sqrt{s}\\rfloor},\\\\\\N0&\\text{otherwise}. \\end{cases}\\N\\]\\NThe second result confirms Komatsu's conjecture and provides a precise statement for the above-mentioned phenomena. For non-negative integers $s$, suppose that \\N\\[\\Nn>\\begin{cases} 6\\lfloor{\\sqrt{s+2}\\rfloor}-6&\\text{  if }n\\text{ is even},\\\\\\N6\\lfloor{\\frac{\\sqrt{4s+9}-1}{2}\\rfloor}-3&\\text{  if  }n\\text{ is odd}. \\end{cases} \\N\\]\\NIf $s+1$ is in the form of neither $k^2$ nor $k(k+1)$, \\N\\[\\Ng(t_n,t_{n+1},t_{n+2};s+1)-g(t_n,t_{n+1},t_{n+2};s)=\\frac{6(n+1)(n+2)}{4}.\\N\\]\\NIf $n$ is even and $s+1$ is in the form of either $k^2$ or $k(k+1)$, \\N\\[\\Ng(t_n,t_{n+1},t_{n+2};s+1)-g(t_n,t_{n+1},t_{n+2};s)=\\frac{(n-6k+6)(n+1)(n+2)}{4}.\\N\\]\\NIf $n$ is odd and $s+1$ is in the form of either $k^2$ or $k(k+1)$, \\N\\[\\Ng(t_n,t_{n+1},t_{n+2};s+1)-g(t_n,t_{n+1},t_{n+2};s)=\\begin{cases} \\frac{(n-6k+9)(n+1)(n+2)}{4}&\\text{  if  }s+1=k^2,\\\\\\N\\frac{(n-6k+3)(n+1)(n+2)}{4}&\\text{  if  }s+1=k(k+1). \\end{cases}\\N\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q7290490$8164CB5C-E29E-4AB2-AC5F-478B05DB6769","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3c40ccf101f1116be404a15b0ef3081ee61e48fa","datavalue":{"value":{"entity-type":"item","numeric-id":250279,"id":"Q250279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$4FD402A1-EA0B-4747-9DE0-DD176BD991FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"221638ffca33675cdf942a4ef0bda6a6fb040b1e","datavalue":{"value":"11D07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7290490$D85850A6-EA50-4A31-BEA4-0DE456CE4166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f31233b552eca4a4ba62dfc962e070217fef4dcf","datavalue":{"value":"11D04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7290490$E7F99F69-BC5A-4952-A8BB-6B0A6C0DF26F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"954acb7e237bdf085abeb6f9ca8e3bd199ef48cc","datavalue":{"value":"8218398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7290490$8A9C6572-BB71-4F78-A331-C2AE510BC2BD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$5CBF1C79-B6D9-456B-87A8-8ED39D4AB865","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3b7b31e96cb48a6cfe94e477839e26b392789c","datavalue":{"value":{"entity-type":"item","numeric-id":5942491,"id":"Q5942491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$B66475BB-5E8B-4FAF-950C-4099EA980FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ad0bc48c00a30888d348f1751c1464f3218e5","datavalue":{"value":{"entity-type":"item","numeric-id":3096944,"id":"Q3096944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$A614407E-9A87-45A8-AAE8-BB0911BB7253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a0dccd92bccb8baab3b9b485eb80e5bd70c6a0","datavalue":{"value":{"entity-type":"item","numeric-id":4462826,"id":"Q4462826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$DA663BB7-1EC2-4C5B-8B4D-4C17D4309FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd178a13059781d060ab80b7775beacb3ea679a6","datavalue":{"value":{"entity-type":"item","numeric-id":5113818,"id":"Q5113818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$E98FC08D-0946-486F-BCA8-1B13F3F278EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf4996eeae5462236e88470dbaa3b346523b524","datavalue":{"value":{"entity-type":"item","numeric-id":627922,"id":"Q627922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$F37EF0F0-A081-4981-A48E-ABEB2D2B9998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c399db1c12bdd6f858c8c5bb9c1d235844b573","datavalue":{"value":{"entity-type":"item","numeric-id":4453854,"id":"Q4453854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$0D72C98A-0E41-4B6D-A75D-BA23D65A7C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740055d9e7629dd1b4f0447ca5636a4c707e869d","datavalue":{"value":{"entity-type":"item","numeric-id":2681062,"id":"Q2681062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$6DF24ECE-2820-476F-B962-A7BA0580565C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a57b7fcac9ee7a03f9fe6349c9fb5c4f2bcd161","datavalue":{"value":{"entity-type":"item","numeric-id":2674372,"id":"Q2674372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$F8C1674E-CD12-461B-8249-45E230F2C6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3590ec8a2e4c057083bfcbbc074636f5d99498","datavalue":{"value":{"entity-type":"item","numeric-id":1711716,"id":"Q1711716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$14FB34D5-6214-4055-BA21-FE0D6786DFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f5c38a65f273b9f988dc8accc049bda3efe294e","datavalue":{"value":{"entity-type":"item","numeric-id":7289511,"id":"Q7289511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$421957C1-1C23-424F-A9D9-31A18FBDA577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8f2dd7a630fb1eedc554aa43a11c94aba0db35","datavalue":{"value":{"entity-type":"item","numeric-id":1547473,"id":"Q1547473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$D9818F23-D910-4546-BAAA-C3ED16985C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee38f07e18ea883f88148fe6d83ad163a5b92c7","datavalue":{"value":{"entity-type":"item","numeric-id":4506047,"id":"Q4506047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$981D95E0-F085-4002-93B0-C44909E4AEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37a9805f0b77e5058972fc81d9829db34ddbf9c","datavalue":{"value":{"entity-type":"item","numeric-id":311484,"id":"Q311484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$DFB095FA-081F-4DEE-A14B-65675B170807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364fcb025e6c6a18af61d502baafc31da344cce9","datavalue":{"value":{"entity-type":"item","numeric-id":6199186,"id":"Q6199186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7290490$A105A5F3-40A4-49CE-8631-D7A756AAE596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formulas for the generalized Frobenius number of triangular numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formulas_for_the_generalized_Frobenius_number_of_triangular_numbers"}}}}}