{"entities":{"Q1216331":{"pageid":1227080,"ns":120,"title":"Item:Q1216331","lastrevid":66486918,"modified":"2026-04-12T10:23:40Z","type":"item","id":"Q1216331","labels":{"en":{"language":"en","value":"A note on inversions and generalized Dedekind sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3475519"}},"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":"Q1216331$94E73D24-E408-4733-92CE-862ECBAD1ED1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19c8ea88e87d0cccbb497f3338f2f8d1721fdb1f","datavalue":{"value":{"text":"A note on inversions and generalized Dedekind sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1216331$C11F9E4E-D611-4820-917B-5ABF5B219D68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"234e47714a61ffda36117b5bb17487f7ece69e83","datavalue":{"value":"0304.10005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216331$415F49A6-41BB-430F-BF46-72C68276A17F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5792ec56a26eaef8aedb25b557aaad75ebd70133","datavalue":{"value":"10.1007/BF02995944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216331$193D60B2-C0E3-4D5E-AA71-05798070D837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75e4a3d6798e6f285b51e8f7fbfd16c2006bb84b","datavalue":{"value":{"entity-type":"item","numeric-id":1216330,"id":"Q1216330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216331$7BDBB64B-B3AB-47E6-8DAB-1970989E2CF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c7a36fed93a2c5106c0dd147c45f135ff18693b","datavalue":{"value":{"entity-type":"item","numeric-id":227705,"id":"Q227705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216331$63DBF073-E2D5-43EB-B6D7-ECE58ED758B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1216331$BC27C35A-998E-4A5A-8046-985039BDA22D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f4ddb84645bfc5022737501994bb00d31f5a801","datavalue":{"value":"The Dedekind sum \\(s(h,k)\\) is defined by  \\[  s(h,k) = \\sum_{r\\pmod k} \\left(\\left(\\frac{r}{k}\\right)\\right) \\left(\\left(\\frac{hr}{k}\\right)\\right), \\]  where \\(((x)) = x - [x] -\\tfrac12\\) \\((x \\ne \\) integer); \\(=0\\) \\((x = \\) integer). Assume \\((h,k) = 1\\) and let \\(\\lambda_f\\) denote the least positive residue of \\(hr\\pmod k\\). Let \\(I(h,k)\\) denote the number of inversions in the sequence that is, the number of times a larger entry precedes a smaller one. \\textit{C. Meyer} [J. Reine Angew. Math. 198, 143--203 (1957; Zbl 0079.10303)]; see also \\textit{H. Rademacher} and \\textit{E. Grosswald} [Dedekind sums. Carus Math. Monographs No. 16. Washington, D. C.: The Mathematical Association of America (1972; Zbl 0251.10020), p. 35] proved that  \\[  I(h,k) = -3ks(h,k) + \\tfrac14(k - 1)(k - 2). \\tag{*} \\]  Hence, by the reciprocity theorem for \\(s(h,k)\\),  \\[ hI(h,k)+ kI(k,h) = \\tfrac14 (h-1)(k-1)(h+k-1). \\tag{**} \\]  The reviewer [Abh. Math. Sem. Univ. Hamb. 42, 41--52 (1974; Zbl 0292.10007)] extended the notion of inversion and obtained results corresponding to (*) and (**). In the present paper this extension is further generalized.   Define an inversion as a pair \\((r_1, \\ldots, r_n)\\), \\((s_1, \\ldots, s_n)\\)  such that \\(1\\le s_i \\le r_i <k\\), \\(1 \\le i\\le n\\), and \\(\\lambda_{r_1, \\ldots, r_n} < \\lambda_{s_1, \\ldots, s_n}\\), where \\(\\lambda_{r_1, \\ldots, r_n}\\) denotes the least non-negative residue of \\(\\sum_{i=1}^n h_ir_i \\pmod k\\) and where \\(h_1,\\ldots, h_n, k\\) are relatively prime in pairs. Let \\(I(h_1,\\ldots, h_n;k)\\) denote the number of these inversions. For \\(n=2\\) this reduces to the reviewer's definition. The author proves first that  \\[ \\begin{aligned}  I(h_1,\\ldots, h_n;k) &= (1 - 2(-1)^n)S(h_1,\\ldots, h_n;k)  \\\\  &+ \\frac1{3.2^n} (1-2(-1)^n)(1-2k)k^{n-1}(k-1)^n+ \\sum_{i=1}^n h_i \\\\  &+ \\frac1{2^{n+1}}k^{n-1}(k-1)\\{(k+1)^n + (1-2(-1)^n)(k-1)^n\\},  \\end{aligned} \\]  where  \\[  S(h_1,\\ldots, h_n;k) = \\sum_{r_1, \\ldots, r_n=0}^{k-1} r_1\\cdots r_n \\frac{h_1r_1+\\cdots h_nr_n}{k}. \\]    Next let \\(f(r,k) = \\frac{r}{k} - \\left[\\frac{r}{k}\\right] - \\frac12 + \\frac1{2k}\\) \\((k\\ge 1)\\) and define  \\[   s(h_1,\\ldots, h_n;k) = \\sum_{r_i\\pmod k} f(r_1,k)\\cdots (f(r_n,k)  f(h_1r_1+\\cdots h_nr_n). \\]    The reviewer [Duke Math. J. 21, 399--403 (1954; Zbl 0057.03802)] obtained \\(n+1\\) and \\(n+2\\)-relations for \\(s(h_1,\\ldots, h_n;k)\\). The author (Th. 1) shows that \\(S(h_1,\\ldots, h_n;k)\\) can be expressed in terms of \\(s(h_1,\\ldots, h_n;k)\\) and therefore \\(I(h_1,\\ldots, h_n;k)\\) can also be expressed in a similar way. She also obtains \\(n+1\\) term relations for \\(S(h_1,\\ldots, h_n;k)\\) and \\(I(h_1,\\ldots, h_n;k)\\) by applying the \\(n+1\\) term relations for \\(s(h_1,\\ldots, h_n;k)\\). The \\(n+1\\) term relation for \\(S(h_1,\\ldots, h_n;k)\\) extends (**).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1216331$DD56DC85-5177-4C75-98B1-C591C92CB739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"76c61979e4c3d4177dcdda5982fb7e1952a991fc","datavalue":{"value":"11F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216331$FDBB7A6E-2060-4FF2-8BA0-DFE699CBF5DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f22159a0533e17892f2b469fdd2802ae1fe9e67","datavalue":{"value":"3475519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1216331$41CD2C49-0464-4982-ACB2-7081D7DB04F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b12ff661f7a2aa084e4bb43ea3d85ff58492b6","datavalue":{"value":"inversions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1216331$852C7ABB-AF6D-48A8-A596-B9ACF9DFBAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cccde08448a347cd59d395387b619bd7739b5e2e","datavalue":{"value":"generalized Dedekind sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q1216331$A1A0E67E-B80C-4B7B-9AF7-035049E41FD6","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":"Q1216331$47A7B4BD-391D-4A7A-89BC-E1C16A288BC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b07ff7de56d015bae79175a08b1fbb24466be9b","datavalue":{"value":{"entity-type":"item","numeric-id":1211527,"id":"Q1211527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216331$897F019A-5E18-41D6-A373-F1BBD6A63327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34981bdf5e49ebba07fad4e2113f5979d7583622","datavalue":{"value":{"entity-type":"item","numeric-id":2652086,"id":"Q2652086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216331$44D6205E-4B46-4F5D-8146-4EED967480AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3dbcf189145d6ffbf0d14c1617cc1e227103a0","datavalue":{"value":{"entity-type":"item","numeric-id":3246624,"id":"Q3246624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1216331$6B8DB1BD-3710-4FDB-B513-8D755E92C442","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be077d0c72e452caaa8f3e9634635227a25f853","datavalue":{"value":{"entity-type":"item","numeric-id":5435183,"id":"Q5435183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d795acf048ed6aa57376ffda530e76c135e101","datavalue":{"value":{"amount":"+0.8874807357788086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1216331$10C63199-A92B-4C1E-8971-9B04E6501103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60bf2a37400dbb61dc2c9366f5bf2014a86d72ad","datavalue":{"value":{"entity-type":"item","numeric-id":4116506,"id":"Q4116506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1f7b51968186071a6c45a1315f6c87c77d9ef8","datavalue":{"value":{"amount":"+0.8489824533462524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1216331$BA02CE4E-2984-40BE-86EA-9AB69C311866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e556d57a682bc8c42d8aafd8fba33204ddf16e2","datavalue":{"value":{"entity-type":"item","numeric-id":1231512,"id":"Q1231512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110ed02dcde31864dd99feb30079299da34bca89","datavalue":{"value":{"amount":"+0.8118914365768433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1216331$DE2B53CE-D5F6-405C-9407-AAB9A6514A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4b9c0ae36a563613aba5a8b31408f354539d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3458262,"id":"Q3458262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d67e007dbc2851c0aa025bc40ed6c65c52f72c0","datavalue":{"value":{"amount":"+0.8100012540817261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1216331$BDB3C372-8901-4926-9538-90BC1D973D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf647fd0b670d0ffb312b3c3d9cea39d1651ed99","datavalue":{"value":{"entity-type":"item","numeric-id":2652084,"id":"Q2652084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bf9a195acff8cd2286cad5bb36bbcd59e28654","datavalue":{"value":{"amount":"+0.7975703477859497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1216331$805C95E1-06CC-4974-B22C-898428851E2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on inversions and generalized Dedekind sums","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_inversions_and_generalized_Dedekind_sums"}}}}}