{"entities":{"Q335863":{"pageid":337630,"ns":120,"title":"Item:Q335863","lastrevid":56803998,"modified":"2026-03-23T15:52:49Z","type":"item","id":"Q335863","labels":{"en":{"language":"en","value":"Tropical differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6647270"}},"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":"Q335863$0D8CED85-F0E6-4BCB-8627-CCAA7CA2A10C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7de039c65482e5a6302adec998d91cfab0c2e6b","datavalue":{"value":{"text":"Tropical differential equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q335863$E83DCCB4-F77A-45FC-94E1-CD9B16D50852","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1d1dee2001e3cbd2619166522a3f0624325fde5","datavalue":{"value":"1348.14140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335863$E25792D8-B39B-4299-8DD1-ED21CB005148","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f171e2d358ed0c5ffcfe728031d35021527481f7","datavalue":{"value":{"entity-type":"item","numeric-id":103557,"id":"Q103557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$B04F9520-765D-41EC-98B0-0E5608B4E4A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33865f7832d8c3a5e82619699bc5a10a29d658fc","datavalue":{"value":{"time":"+2016-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q335863$4EA2CE3B-41F8-44B4-8918-C25C308CFDD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"440f1b48a16b09036eab43b19ac4169f1c992b37","datavalue":{"value":"https://arxiv.org/abs/1502.08010","type":"string"},"datatype":"url"},"type":"statement","id":"Q335863$1D474DE6-8A4E-4716-9238-EB0D16C5D0EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb4f9d553b4994dca2e32149b6da827d328198c2","datavalue":{"value":"14T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335863$9BE87883-5CC0-4A0A-82B9-F833BE061756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b73970891976802d22e56c1b772f41c6c4dfd219","datavalue":{"value":"6647270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335863$D74E5C3A-17B7-4880-AB06-6832FAB9815D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aeab4162e9929a8a4fba4a3e0e8d890c1288681","datavalue":{"value":"tropical differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q335863$881E3736-0EBB-4454-8FB3-9F5E3D6B55BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e037539ba7815e8175ef8082f6b09450edce1bdc","datavalue":{"value":"polynomial complexity solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q335863$702FB692-6FC1-45DD-A279-0DAC0C5C8551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a79399764b502030de9c1fe7fb099f6c796d65","datavalue":{"value":{"entity-type":"item","numeric-id":1583885,"id":"Q1583885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$3A7CB56C-341D-46CF-B49A-2FCEB07D64D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af1d44c5ca362133e9224c0e61b96a9b32d74c87","datavalue":{"value":{"entity-type":"item","numeric-id":1687982,"id":"Q1687982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$CDA60383-96D2-4FD3-827B-AE62F8306C6F","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":"Q335863$198973AE-0806-4680-AAE6-D3375C0C6073","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b75dc7c28ed65aa7278bed5e74b5477e05deccd","datavalue":{"value":"W2963579331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335863$1E2CCF44-1BAC-4C0E-B646-B81BF86C957D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac901c708c183aa8e58846d883d9b07974caf86","datavalue":{"value":{"entity-type":"item","numeric-id":2882394,"id":"Q2882394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$A9F7BCBF-C56D-477C-AF5D-0CECCD575272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4273eeb0952292a1c1c986ccf707077309520cb3","datavalue":{"value":{"entity-type":"item","numeric-id":2629756,"id":"Q2629756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$8F7E1599-C42B-4BC0-9544-4FD00F1A5A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521baf9e9649c571d09269c7bc0a9e1db3eec213","datavalue":{"value":{"entity-type":"item","numeric-id":3565227,"id":"Q3565227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$C61D7B05-5181-4960-8CEF-61E70327115B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$236D788E-8067-4074-A99E-D1C8A4EF08A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4508ac8db7d59861c7fdd59debc4d0984c15f67e","datavalue":{"value":{"entity-type":"item","numeric-id":1947044,"id":"Q1947044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$B9B91669-6149-4DB8-B72A-60B5856D6CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5940c9d35cea0ddf71d810d4f415b23f0791505","datavalue":{"value":{"entity-type":"item","numeric-id":3977244,"id":"Q3977244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$AA11CEED-5A27-4686-8E5C-2B0B936AE9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727ea95a53470c0fce62f82f4a0eaa5652e0fdad","datavalue":{"value":{"entity-type":"item","numeric-id":5901575,"id":"Q5901575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$CD0EF1AB-6D86-4083-92E4-4155AA4CEF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6652941c6c95371d45e83f1f1f3200a6931a93a","datavalue":{"value":{"entity-type":"item","numeric-id":5251430,"id":"Q5251430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$E55EF305-7B07-41A8-ADCE-0DB94982E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2ec71738d3486341c38a95be4a3a3eab37c062","datavalue":{"value":{"entity-type":"item","numeric-id":4831391,"id":"Q4831391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$77314C12-03FA-4AA3-AC12-C870DF79649F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb2c660be11a317b29d915aac89f7fc5226f696","datavalue":{"value":{"entity-type":"item","numeric-id":2457404,"id":"Q2457404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335863$7CBAD507-B2AB-495D-BD00-0AB0A53AC1C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f07c31176d64e27caa000a3fa4a83ca33d34aa5c","datavalue":{"value":"10.1016/J.AAM.2016.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335863$9A9F8214-6551-4CB3-8881-C85F2FAB8F18","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e8f5844126a0eee918144b1bec3c265a5b3003a","datavalue":{"value":"Consider a polynomial \\(f(x) = \\sum_{i \\in I \\subset \\mathbb Z^m} c_ix^i\\) in the algebra \\(k[x_1, \\ldots, x_m]\\), where \\(k\\) is a field with valuation val. The piecewise-linear equation \\(g(w) = \\min_i val(c_i) + \\langle i, w \\rangle\\) is the tropicalization of \\(f\\). Zeros of \\(g\\) are points where this minimum is achieved at least twice, or is infinite. If \\(x \\in k\\) is a zero of \\(f\\), then \\(w =\\mathrm{val}(x) \\in \\mathbb R^m\\) is a zero of \\(g\\). Thus, if \\(g\\) has no solutions, then \\(f\\) also has no solutions.NEWLINENEWLINEThis paper pushes this framework to a system of differential equations (DEs). For DEs of Puiseaux series, the valuation map creates a system of tropical DEs. In particular, a tropical differential equation in \\(n\\) variables of order \\(m\\) have the form NEWLINE\\[NEWLINE(S_1, \\ldots, S_n) \\mapsto\\min_{i=1,\\ldots n; j=1,\\ldots,m} \\left\\{a_i^{(j)} + \\mathrm{val}_{S_i}(j),a\\right\\}.NEWLINE\\]NEWLINE Here, each \\(S_i\\) is a set of positive integers, and \\(\\mathrm{val}_{S_i}(j)\\) is the \\(j\\)-th derivative of \\(S_i\\), which is the smallest element in \\(S_i-j\\). A solution to this equation is a tuple \\((S_1, \\ldots,S_n)\\), such that the minimum in the right hand side is attained at least twice, or is infinite. If the tropical system has no solution, then the original system also has no solution.NEWLINENEWLINEThe author shows that the greedy algorithm produces the minimal solution of a tropical DE. He then shows that for systems in one variable, this algorithm is polynomial time. The author generalizes the framework to nonlinear tropical DEs, and show that even in one variable the problem is NP-hard.","type":"string"},"datatype":"string"},"type":"statement","id":"Q335863$0AE94B33-6B0C-4D5B-9258-E944B00FE9CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10eeef4143b909c413f8b18825901cb26b1f7e1f","datavalue":{"value":{"entity-type":"item","numeric-id":2168232,"id":"Q2168232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfea10b5378f629b797041255f3879b4593eda5e","datavalue":{"value":{"amount":"+0.8110070824623108","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":"Q335863$79D620AC-8A78-4B3C-B176-405804247B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e1b516dc0fa8290c2c6c27fffc5a9733b3edf2","datavalue":{"value":{"entity-type":"item","numeric-id":5369334,"id":"Q5369334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d980dd455206ea3012de7c4d67827ed14c9174e","datavalue":{"value":{"amount":"+0.8085935711860657","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":"Q335863$5C514715-D819-48FA-BD62-171D02DD95A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d75bca0028cc3ab73a640d58d5d90bc2b5ce32","datavalue":{"value":{"entity-type":"item","numeric-id":5145970,"id":"Q5145970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e999952ba0ef366bb2dda33416317f63f8e3f695","datavalue":{"value":{"amount":"+0.8069959878921509","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":"Q335863$C7FDBD2A-1771-49C0-82BF-D50B8D17EF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb20d2279e447bdd9b17def99cbfa84a5cd600ce","datavalue":{"value":{"entity-type":"item","numeric-id":2673998,"id":"Q2673998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fc036948f146aededf7b4eaa167b0a9d69aa5f","datavalue":{"value":{"amount":"+0.7909350395202637","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":"Q335863$DB6A03E7-B9F7-40CD-93E9-615DAA95F274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69090df5739dd1a764bc0c917222f7c7f7175dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2353186,"id":"Q2353186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4664099b45af1f724516a123c2f63bf43b666ee","datavalue":{"value":{"amount":"+0.7778233289718628","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":"Q335863$159017A5-B22C-49A7-A85E-21B2CEFE1C8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:335863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:335863"}}}}}