{"entities":{"Q2314166":{"pageid":2324909,"ns":120,"title":"Item:Q2314166","lastrevid":57852837,"modified":"2026-04-02T19:40:06Z","type":"item","id":"Q2314166","labels":{"en":{"language":"en","value":"A product formula for the normalized volume of free sums of lattice polytopes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7083540"}},"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":"Q2314166$0EC850DF-7351-4D19-B5D7-6512F1CA25C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32646dbb63cff0b2ffc29c8fc9be3bcf542d3bd2","datavalue":{"value":{"text":"A product formula for the normalized volume of free sums of lattice polytopes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2314166$4DB53A04-F40E-4C93-9DF8-3A9FF04670B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf3e5f2e218e651a2f8cda6d42cb4f935e77839","datavalue":{"value":"1430.52013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314166$091D5CB1-0B44-4860-826B-D7F379CDA40A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e590ddd898243ab61482f0a3f875d1f802a4edec","datavalue":{"value":"10.1007/978-3-030-11521-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314166$4BA3E3BB-DCB1-4D3B-A9E4-960A29905352","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2314166$70E470A2-2AFC-4AC6-B107-AF0B6CAD5EB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece95d7ccc35ae193da592a9c00d3e800c49febd","datavalue":{"value":{"time":"+2019-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2314166$A01938F8-9F49-4BF0-8F3A-7BDCBD724116","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c839488c2a7f7505a65e68402b92a652d6fd1b5","datavalue":{"value":"https://arxiv.org/abs/1711.11130","type":"string"},"datatype":"url"},"type":"statement","id":"Q2314166$E5BCCB7A-7708-41A1-B2ED-885BC71D024E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4da298c2cfe09012448b2b5124411b8a36d2f47c","datavalue":{"value":"Given convex subsets \\(J, K \\subseteq \\mathbb{R}^{d}\\), we denote the convex hull of their union by \\(J \\oplus K\\) and call it the \\textit{free sum of \\(J\\) and \\(K\\)} when \\(J\\) and \\(K\\) each contain the origin and their respective linear spans are orthogonal coordinate subspaces.  The main theorem of the paper under review states that for convex polytopes \\(P\\) and \\(Q\\) (each containing the origin), \\[   \\mathrm{ vol}(P \\oplus Q) \\ = \\ \\mathrm{ vol}(P) \\, \\mathrm{ vol}(Q) \\] where \\(\\mathrm{ vol}(K)\\) denotes the relative volume measured in the affine span of \\(K\\).  The proof makes use of the interplay of mixed volumes and relative volumes (in particular, what is known as the \\textit{BKK bound}) and the connection between commutative algebra and discrete geometry. Indeed, the theorem is motivated by considering a \\textit{lattice polytope} in \\(P \\subset \\mathbb{R}^d\\), i.e., the convex hull of finitely many points in \\(\\mathbb{Z}^d\\).  \\textit{E. Ehrhart}'s fundamental theorem [C. R. Acad. Sci., Paris 254, 616--618 (1962; Zbl 0100.27601)] states that \\[   1 + \\sum_{ t \\ge 1 } \\left| tP \\cap \\mathbb{Z}^d \\right| x^t \\ = \\frac{h_P^*(x)}{(1-x)^{\\dim(P)+1 }} \\] for some polynomial \\(h_P^*(x)\\).  In this setting, one can compute vol\\((P) = h_P^*(1)\\).  \\textit{B. Braun} [Electron. J. Comb. 13, No. 1, Research paper N15, 5 p. (2006; Zbl 1109.52011), Note 15] proved that, if \\(P\\) and \\(Q\\) are lattice polytopes such that \\(P\\) is reflexive, \\(Q\\) contains the origin in its relative interior, and \\(P \\oplus Q\\) is a free sum, then \\[   h_{ P \\oplus Q }^* (x) \\ = \\ h_P^*(x) \\, h_Q^*(x) \\, . \\tag{$\\star$} \\] (A lattice polytope \\(P\\) is \\textit{reflexive} if it contains the origin in its interior and its \\textit{dual} \\(P^\\vee := \\{ x \\in \\mathbb{R}^d : \\, x \\cdot y \\ge -1 \\ \\mathrm{ for \\ all} \\ y \\in P \\}\\) is also a lattice polytope.) Later, \\textit{A. Stapledon} [J. Comb. Theory, Ser. A 151, 51--60 (2017; Zbl 1370.52028)] generalized Braun's theorem to a setting where a version of \\((\\star)\\) holds unconditionally.  For the entire collection see [Zbl 1411.13002].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314166$749E1E77-31A0-4386-B52B-94EBFB16D705","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":"Q2314166$9CC153E1-9DEA-436C-B0F6-800F0A25B4AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b01ad1b16eab7f86b2e20d189e8d8d07f644af25","datavalue":{"value":"52B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314166$0C6E7A3A-BFA9-440D-A864-D73E6DC6845E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a21e4948632065e21a3dc0ac1172da65bf913b39","datavalue":{"value":"7083540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314166$BB0C4C8F-C90B-46FF-BF85-46727EF716E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b6761a3b8853d8ac0ba07c2df46cded7ee4ec8","datavalue":{"value":"lattice polytopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314166$A9F7F8BC-44FD-490E-AD9E-91DF78C1D4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3986498ac305de482c7579f41952c87498aa1ace","datavalue":{"value":"free sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314166$9BF2BF53-9638-4AF2-8820-FDC3F59F8D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2edc4d02799867bf56010d2b21681f3e45fdb584","datavalue":{"value":"BKK bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2314166$80B4022C-1624-499C-B76B-CB8F22C6B3DD","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":"Q2314166$F6F040F9-48C1-4077-98DF-40E05BC7DC44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cef5824c1dbec90092342decdffd7bfe8b7228a","datavalue":{"value":"W2771128703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2314166$9469797C-8682-4784-9C36-66033589AF2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae25b1b80725f5f81db4364a9232dbb96ec2737","datavalue":{"value":{"entity-type":"item","numeric-id":3404376,"id":"Q3404376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70561758e855f62996a46c70bd8e2be36c798111","datavalue":{"value":{"amount":"+0.73854834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$660C67C9-666A-40B7-9AE4-ED8A02A61A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ee5355f2b7ad67641c00b3050c7d0567b7e2da","datavalue":{"value":{"entity-type":"item","numeric-id":5115687,"id":"Q5115687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61b38b464dad352a677b65e1e482eaf9501b214","datavalue":{"value":{"amount":"+0.73631287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$2718227C-F82F-4A30-A1C5-6D40C6E929F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb31a443f7d915593e50fedcfff94010a836d37","datavalue":{"value":{"entity-type":"item","numeric-id":3440031,"id":"Q3440031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05eb682da99fbb2a2c8bfc404057578127cec014","datavalue":{"value":{"amount":"+0.7239977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$9A2775E9-7BB3-4719-95A0-EC480254C5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14bbb8ea71647a1acc3ad133d9be9ccc03f9767","datavalue":{"value":{"entity-type":"item","numeric-id":6134985,"id":"Q6134985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cca0a26f683c63bc660a5ccff6b5730c0a21b1f","datavalue":{"value":{"amount":"+0.72230524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$FCEE34BD-AF7D-4DB7-A1C5-7D5A8C99D88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1b2863862233e65ed7e1ab3032ffcbbeffe4e1","datavalue":{"value":{"entity-type":"item","numeric-id":485021,"id":"Q485021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dba7eb6ec607291240ad95c48d16b43461f2332","datavalue":{"value":{"amount":"+0.7207135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$3F8014B4-9570-4F4E-AD45-7B16219DE292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ce7fbf5eb198b151d367c340e6b2a64ec2e2d1","datavalue":{"value":{"entity-type":"item","numeric-id":3819625,"id":"Q3819625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2808252b6f93985d1cabba514e4f0cf9a70b5d","datavalue":{"value":{"amount":"+0.7201369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$01EB8C0A-A560-4831-942A-98430D375E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36874c795812d49cc8431820b897004c36bece2f","datavalue":{"value":{"entity-type":"item","numeric-id":3096813,"id":"Q3096813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340f1ea4377a6d2d4c258a462e9d2fe180ad621c","datavalue":{"value":{"amount":"+0.71653545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$605F4447-F738-4BB2-A6FA-D5955CD70217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ad5d30fd87a869dd58afb934adc2c5facb3777","datavalue":{"value":{"entity-type":"item","numeric-id":4007708,"id":"Q4007708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7c9ed06c07f99c0f388730330a207b92a62638","datavalue":{"value":{"amount":"+0.71070075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$72EA76FC-0453-4742-A891-F23C79BD03F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"999cff8e63e52052bc67dd769dfef3157b39d858","datavalue":{"value":{"entity-type":"item","numeric-id":1414164,"id":"Q1414164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e59097b60ef576b6ded8b587b6e9682548595a","datavalue":{"value":{"amount":"+0.70681334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$4D9F7EFC-C345-498C-8453-7B10C10F520E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eedff6e430bf5457a43a96875b6b1a48a4838b86","datavalue":{"value":{"entity-type":"item","numeric-id":3683104,"id":"Q3683104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a787d8302870e47cd131c9ebe3a487d9f7cb8c9","datavalue":{"value":{"amount":"+0.70549905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2314166$113EB411-B758-4FCE-9FC5-5FC106DDCB66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2314166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2314166"}}}}}