{"entities":{"Q405135":{"pageid":406902,"ns":120,"title":"Item:Q405135","lastrevid":61599753,"modified":"2026-04-11T00:23:21Z","type":"item","id":"Q405135","labels":{"en":{"language":"en","value":"The unreasonable ubiquitousness of quasi-polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340142"}},"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":"Q405135$1134F06F-F996-4586-895B-BBFA995212CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5116f44a3446285b380cf7b6f50919dc906ab32f","datavalue":{"value":{"text":"The unreasonable ubiquitousness of quasi-polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q405135$6C86750E-2EEE-4A39-B715-D295B7173D99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"094e3abc0e4acd3fc91633e57bc9b53c5e0c4a89","datavalue":{"value":"1300.05031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405135$7D3BE4D3-FC26-4894-ACC0-BC0CDB0467D3","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":"Q405135$B525EA4E-A7C0-4C4A-B859-90A3FFB0D998","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d8fea32a46af1bd8128cc5dcfc32073a3817d0","datavalue":{"value":{"time":"+2014-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q405135$3253E979-B589-44DE-A99B-7793C7FC3F9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"468f68bfa6efbdf1ea630634decd000393b3bbc6","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v21i1p44","type":"string"},"datatype":"url"},"type":"statement","id":"Q405135$3A6E8738-32C1-45E2-AEAB-422B117168A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6608621c995142f71ddcec4b272978e95decd36d","datavalue":{"value":"Summary: A function \\(g\\), with domain the natural numbers, is a quasi-polynomial if there exists a period \\(m\\) and polynomials \\(p_0,p_1,\\ldots,p_{m-1}\\) such that \\(g(t)=p_i(t)\\) for \\(t\\equiv i\\bmod m\\). Quasi-polynomials classically -- and ''reasonably'' -- appear in Ehrhart theory and in other contexts where one examines a family of polyhedra, parametrized by a variable \\(t\\), and defined by linear inequalities of the form \\(a_1x_1+\\ldots+a_dx_d\\leq b(t)\\). Recent results of \\textit{S. Chen, N. Li} and \\textit{S. V. Sam} [Trans. Am. Math. Soc. 364, No. 1, 551--569 (2012; Zbl 1238.11045)], \\textit{D. Calegari} and \\textit{A. Walker} [Trans. Am. Math. Soc. 365, No. 10, 5085--5102 (2013; Zbl 1300.11100)] and \\textit{B. Roune} and \\textit{K. Woods} [The parametric Frobenius problem. forthcoming, (2014)] show a quasi-polynomial structure in several problems where the \\(a_i\\) are also allowed to vary with \\(t\\). We discuss these ''unreasonable'' results and conjecture a general class of sets that exhibit various (eventual) quasi-polynomial behaviors: sets \\(S_t\\subseteq\\mathbb{N}^d\\) that are defined with quantifiers (\\(\\forall\\), \\(\\exists\\)), boolean operations (and, or, not), and statements of the form \\(a_1(t)x_1+\\ldots+a_d(t)x_d \\leq b(t)\\), where \\(a_i(t)\\) and \\(b(t)\\) are polynomials in \\(t\\). These sets are a generalization of sets defined in the Presburger arithmetic. We prove several relationships between our conjectures, and we prove several special cases of the conjectures. The title is a play on Eugene Wigner's ``The unreasonable effectiveness of mathematics in the natural sciences''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q405135$40F45675-AEE5-456E-B814-26EE85B2C9DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405135$BC5A306B-E9D1-409F-B31B-6F140726BB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78931806833c54190437f3675cf624ba3d256107","datavalue":{"value":"52B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405135$07C2CAC4-258C-4268-B668-ED4CD7E58781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d68f84cfe5b8bab736c0ead96462251d97aab92e","datavalue":{"value":"52C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405135$629F8657-E76E-470E-A78C-B4E8D72D3FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405135$B6EA3730-ED11-4F43-A63A-9869AADEDBF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa080e212e6b88d6a1b2965261a12513c3bd3dcf","datavalue":{"value":"6340142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405135$ACF89608-0DB5-4DB7-BCF9-D7F6ABB798FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f783a15bf83207c8409fabe6da8cdf3d1350b31f","datavalue":{"value":"Ehrhart polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q405135$0A76B8DC-A864-480D-AED6-881350309259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c12653041c233d2643a00de18af1c950404fbc1","datavalue":{"value":"quasi-polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q405135$1B9872F1-61C3-4625-8B04-6545BA599820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q405135$A6B3C983-9820-494C-9908-C87245D12D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb92ad112881724db8117a6b95090ed4a5b866ac","datavalue":{"value":"rational generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q405135$CA3BFC91-4BF8-4E05-A0D6-7FF86BA691A4","rank":"normal"}],"P16":[{"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":"Q405135$7EC8E941-9B92-47BE-A683-867415D93D3F","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":"Q405135$C5E29524-1F46-4C77-920B-FCDE406101B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58acd451cd1453ba31f10f7658a7a1ca593fe21b","datavalue":{"value":{"entity-type":"item","numeric-id":942862,"id":"Q942862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$ED5BB41E-EB12-4BEF-96EE-60CBCF131324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb026c5d11c5a83c530872f8be5a7ba25d0b1b3","datavalue":{"value":{"entity-type":"item","numeric-id":4938470,"id":"Q4938470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$93E97A76-79D4-4940-9AF6-BEF3B4E447AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8a84890a357e5e7c5c9aa379d26903f702c89e","datavalue":{"value":{"entity-type":"item","numeric-id":1764158,"id":"Q1764158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$92B2040E-5547-4E7E-9132-CB868D743158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80228179adeb1b4d56e93a3041fb54fc32b90d3","datavalue":{"value":{"entity-type":"item","numeric-id":3415206,"id":"Q3415206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$70CD9D15-C382-4B3C-A212-407E630CEA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c7c3513868dbca038ea3932f63e60a6cf161f39","datavalue":{"value":{"entity-type":"item","numeric-id":3819625,"id":"Q3819625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$D99B330B-7548-4E9B-9C61-A74456CAC01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2e738d6992942dccbc3475717f1c1b7c475810","datavalue":{"value":{"entity-type":"item","numeric-id":2847189,"id":"Q2847189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$7EA812C8-941C-48B9-B8AA-ED3DC7802C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c4de310e96a67f8001b90a8fd7bffa307f9716","datavalue":{"value":{"entity-type":"item","numeric-id":5388833,"id":"Q5388833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$A2320678-DDE1-492E-8E4A-8A509629C732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a12273efec1d8537d98d833c401a28eeca69","datavalue":{"value":{"entity-type":"item","numeric-id":3282061,"id":"Q3282061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$38AF386D-80BF-4C8E-93EE-B8EA35F98CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ee5fae123a50b8d0c316169f0a441190cbefc3","datavalue":{"value":{"entity-type":"item","numeric-id":5096137,"id":"Q5096137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$818C7B84-720B-46A9-A85A-0B99027B5F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e841a2718df2f0c15920defa773b7a7538ca33","datavalue":{"value":{"entity-type":"item","numeric-id":5668937,"id":"Q5668937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$0887975C-E705-477C-BDF6-CD08C282262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b492d3887dfe91f103ef3e57c2ed830a645ba0a7","datavalue":{"value":{"entity-type":"item","numeric-id":3980089,"id":"Q3980089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$7BBF6C09-914B-4745-B441-DFCD777EC3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6817215c103d008493211f3a22490f01d9b3f2d1","datavalue":{"value":{"entity-type":"item","numeric-id":2346475,"id":"Q2346475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$F83B36C9-004E-408F-BAED-233D2D4BB1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43338569fabc8ff4a47c1085e6bc008e0679e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3225387,"id":"Q3225387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$45563AD8-DA93-4174-8E4F-B5086EE5DD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d98bbee796652bc0628f3cbd461effc4286177","datavalue":{"value":{"entity-type":"item","numeric-id":1903011,"id":"Q1903011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$1CEC4B33-BFBB-488B-A68A-28E46ED1E5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a1d1dd6bb5610d570bc07439399c151b96d83e","datavalue":{"value":{"entity-type":"item","numeric-id":2474247,"id":"Q2474247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$9B6F438E-1D19-4565-8CEB-6B746941FE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22439ed5b3491f58d05076ce3a96760e4c932861","datavalue":{"value":{"entity-type":"item","numeric-id":3284599,"id":"Q3284599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405135$6D0A1C12-9B46-4A1B-9B6C-A8A359EE6DA0","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"234d0ef6b7e447354be499d42e065ce46bafe0d6","datavalue":{"value":"bafkreicjvfua4fyc6n3gbejxmkko6esxgdcqhpudmgr6daegwhuklmgvoq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405135$847C16BB-0F18-4B8D-A155-66C72046CAD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb7743938ec7ba32f326b379010fdab0a580140","datavalue":{"value":{"entity-type":"item","numeric-id":5746169,"id":"Q5746169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b402a579e9583ad3eb6504f87c17c42032350d41","datavalue":{"value":{"amount":"+0.9869624972343444","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":"Q405135$87AB090A-81AF-46FC-87FC-869FC1B93A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487232138a4be79b274e9de8491e030da91a165d","datavalue":{"value":{"entity-type":"item","numeric-id":4645009,"id":"Q4645009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef51b048b8981cfcd865cd2a0eee4b7ead726653","datavalue":{"value":{"amount":"+0.8368262648582458","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":"Q405135$6568D37B-CCE2-4C0C-9649-C8E9CF7BBD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bf25158098c5a67281eb2ffc251a318660064b","datavalue":{"value":{"entity-type":"item","numeric-id":2426428,"id":"Q2426428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22203b21bffe5444844e5ac9bad8ab72f41b5603","datavalue":{"value":{"amount":"+0.8103854060173035","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":"Q405135$3A6B6456-9A26-4680-9AFC-44E2C8DCF2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9195597f933e066fcea1e4979b4d1fcb0a962ade","datavalue":{"value":{"entity-type":"item","numeric-id":1753034,"id":"Q1753034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f241113786fe5b09d696342ae2af2f19a7103fff","datavalue":{"value":{"amount":"+0.7876878976821899","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":"Q405135$1AA159EC-AC97-48E8-AC5A-DF8A878A6254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd8c6d901dbc87a40b0718990a463f8a397b6df","datavalue":{"value":{"entity-type":"item","numeric-id":880005,"id":"Q880005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1141549ad7ce41d2847256fbdd4a7475ff57739","datavalue":{"value":{"amount":"+0.7853808999061584","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":"Q405135$4806C642-991B-4A2D-842B-AA4BB3863FE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The unreasonable ubiquitousness of quasi-polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_unreasonable_ubiquitousness_of_quasi-polynomials"}}}}}