{"entities":{"Q976720":{"pageid":978568,"ns":120,"title":"Item:Q976720","lastrevid":57253335,"modified":"2026-03-27T16:07:30Z","type":"item","id":"Q976720","labels":{"en":{"language":"en","value":"A finite calculus approach to Ehrhart polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5721462"}},"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":"Q976720$E689A1DD-A2D0-4C96-9E26-3B5A872A2E31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddf0689edd6940608d65051db2edb815d17a1bf8","datavalue":{"value":{"text":"A finite calculus approach to Ehrhart polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q976720$863F48BF-FC9A-4AB3-B1DB-E76AA1EDC4B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d70933fcca3164ae1d49056b3b8c86229678a521","datavalue":{"value":"1197.52004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976720$2BFC5308-DACD-427F-A79A-12AFDE6596EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e31be37bef85e874308db41430264f4f2e47137","datavalue":{"value":{"entity-type":"item","numeric-id":251024,"id":"Q251024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976720$E0A38031-7582-4C1E-9703-DC89B4CE87D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12dc55499104c751ea15d57491fc457d48ad73f","datavalue":{"value":{"entity-type":"item","numeric-id":976719,"id":"Q976719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976720$D2677F8E-8D8D-4777-972C-36C750F41786","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976720$882129FA-52DA-4396-9DC6-92425D14CDD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66b34ed5dc0f3fc5384918e70a0007292dca094b","datavalue":{"value":{"time":"+2010-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q976720$432B94E7-6288-4558-B19E-3BEEAB9F1950","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3635c72ee2e1fa0b06dfe3778d3673ec2898f85","datavalue":{"value":"https://arxiv.org/abs/0904.0679","type":"string"},"datatype":"url"},"type":"statement","id":"Q976720$EC8DD492-BE8B-4E0E-908B-D134E8924673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9eb073c4f121bfdb633fce4986bf12fb8e70c3c","datavalue":{"value":"https://eudml.org/doc/223104","type":"string"},"datatype":"url"},"type":"statement","id":"Q976720$6FE9C9E0-C0B2-4574-84ED-52846BCC27BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa524eee727f60b1c00cc8aa81036e32c5201358","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_17/Abstracts/v17i1r68.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q976720$E7CB8FCC-5206-406F-A2D9-A3AE522C34B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a912c2e531c5c1b9dabd6b6f9b37fe9b4e9e68c0","datavalue":{"value":"To a rational polytope \\(P \\subset {\\mathbb R}^d\\) (i.e., the convex hull of finitely many points in \\({\\mathbb Q}^d\\)), we associate the integer-point counting function \\(L_P(t) := \\# \\left( tP \\cap {\\mathbb Z}^d \\right)\\), defined for positive integers \\(t\\). Ehrhart's famous theorem [\\textit{E. Ehrhart}, C. R. Acad. Sci., Paris 254, 616--618 (1962; Zbl 0100.27601)] asserts that \\(L_P\\) is a \\textit{quasipolynomial} in \\(t\\), i.e., \\(L_P\\) is of the form  \\[  L_P(t) = c_n(t) \\, t^n + c_{ n-1 }(t) \\, t^{ n-1 } + \\cdots + c_1(t) \\, t + c_0(t) \\, ,  \\]  where \\(c_0, c_1, \\dots, c_n\\) are periodic functions of \\(t\\). If \\(P\\) is an \\textit{integral} polytope, i.e., the vertices of \\(P\\) are in \\({\\mathbb Z}^d\\), then the period of \\(c_0, c_1, \\dots, c_n\\) is one, i.e., \\(L_P\\) is a polynomial.   The paper under review gives a new, elementary proof of Ehrhart's theorem by inductively summing over cross sections of a rational polytope. This proof is then adapted to give novel proofs of two other central theorems about Ehrhart quasipolynomials, namely Ehrhart-Macdonald reciprocity, which gives the \\textit{interior} lattice-point count by evaluating \\(\\pm L_P(-t)\\) [\\textit{I. G. Macdonald}, J. Lond. Math. Soc., II. Ser. 4, 181--192 (1971; Zbl 0216.45205)], and McMullen's theorem on the periods of an Ehrhart quasipolynomial [\\textit{P. McMullen}, Arch. Math. 31, 509--516 (1978; Zbl 0387.52007)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q976720$826588A5-A494-41E8-AC67-6B2F89ADD6CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8e734dcb1f487fb3b1db1b5b98b66bd4eab9033f","datavalue":{"value":{"entity-type":"item","numeric-id":372825,"id":"Q372825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976720$2E010359-5DD4-4813-8456-AB20477100F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d68f84cfe5b8bab736c0ead96462251d97aab92e","datavalue":{"value":"52C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976720$A588B98B-D6D6-4926-9D28-39BC5E319823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6fcf72dd3c8de575ae0b6db01b21f664ecfc7b6","datavalue":{"value":"5721462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976720$C7CA17FA-513F-44E3-9B69-8E9CCBE1AAB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35364be6a07e59c6bb5e145f8ff4399ef225b38a","datavalue":{"value":"rational polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q976720$89EFE194-2B28-47A3-A30E-276CA298D0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02fd21e2652775d60624658cb6c4e5cc261bd7f7","datavalue":{"value":"lattice points","type":"string"},"datatype":"string"},"type":"statement","id":"Q976720$93AE2C31-DA14-466C-9B66-49A88309C140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6ae559fafdc66c20c736cfdfad6bc1c5ee09c7","datavalue":{"value":"Ehrhart quasipolynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q976720$4F7BA48C-36AB-472B-ACD6-5F4DA2476836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e1570d917edda18b453abd202542ab1db939f2f","datavalue":{"value":"Ehrhart-Macdonald reciprocity theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q976720$9FCE060A-1C3E-4059-8782-EBB7FAB56266","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":"Q976720$95DBA586-AFAE-4C3C-A74C-59A4A5699501","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"95fa0bc29d9c7bd7245e1afa9e36c6033a5a7fe7","datavalue":{"value":"bafkreifoluny4nwzofy2uwttpenavmxjq6birsgdljl3onsyb6kxz6xbey","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976720$F2CF8A1C-538E-4D83-B4CD-AD852BF1018C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4571097bb2c13ee26097e7bd5f11ad0025d52aec","datavalue":{"value":{"entity-type":"item","numeric-id":5407530,"id":"Q5407530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec327567e70fafaf168122d9efc7b5d4e4367a6","datavalue":{"value":{"amount":"+0.87789667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q976720$20AEF785-71D1-4663-8581-23097E469355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816e6e6bc22c01847adfe4f732dede5c0686f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":5388833,"id":"Q5388833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55376ade62c2b38415063c493763b7cf0d089a77","datavalue":{"value":{"amount":"+0.8738755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q976720$E9F8CA01-5C4C-43A5-9559-ACE1DCCFD5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4571bfa739338ac2b779866756f8c985879500fa","datavalue":{"value":{"entity-type":"item","numeric-id":4591293,"id":"Q4591293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55376ade62c2b38415063c493763b7cf0d089a77","datavalue":{"value":{"amount":"+0.8738755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q976720$DBD920F9-3F25-4C63-A693-AC480A64148D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9667dbf92ab11f1e14f9361027a0e45232872aed","datavalue":{"value":{"entity-type":"item","numeric-id":2052823,"id":"Q2052823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6c0ddcb45b9741fc5c0e14f7806327c1d53089","datavalue":{"value":{"amount":"+0.873132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q976720$0F4F73FC-29B5-4539-A7E8-CA5C844AB3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3a3ab94b276a30b953dbea06037992414a6227","datavalue":{"value":{"entity-type":"item","numeric-id":2911239,"id":"Q2911239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f16de7a9ea01c30dab0c6bcf97de5a38c3b594","datavalue":{"value":{"amount":"+0.87149817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q976720$6465B00B-C8CB-45BC-B34F-8530366B288C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ed63a0a2918b35819691fba358e088698a034f","datavalue":{"value":{"entity-type":"item","numeric-id":3362591,"id":"Q3362591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d422e6ae5872e8e845072608e199333ebbcc83","datavalue":{"value":{"amount":"+0.8700363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q976720$EE69B5AE-1CC5-4828-96F2-DC8AFB26E2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12570472cbc011fd8e3cf7727f1af129468bf6d","datavalue":{"value":{"entity-type":"item","numeric-id":2512872,"id":"Q2512872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58d4a165c875029330cdc05b50f889810fb351b","datavalue":{"value":{"amount":"+0.86940396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q976720$38AE5F96-3166-4623-85D4-073A336A3B47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:976720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:976720"}}}}}