{"entities":{"Q2434875":{"pageid":2445618,"ns":120,"title":"Item:Q2434875","lastrevid":44078547,"modified":"2025-11-19T18:09:47Z","type":"item","id":"Q2434875","labels":{"en":{"language":"en","value":"Numerically intersecting algebraic varieties via witness sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6253102"}},"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":"Q2434875$4FFA1AE7-090F-415F-B10A-912A09E95A39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01b7452aabe9844ed99d2a6317fdbf22a929ae18","datavalue":{"value":{"text":"Numerically intersecting algebraic varieties via witness sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2434875$019ABD9C-F700-4E74-9B4A-62C8E2A155DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac1308c4677a8ce1954048ac209e47ed423819db","datavalue":{"value":"1295.14054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434875$19510CF2-3208-4D93-AED7-29FC4072E12A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97ffeb75d4804c35c87ef6ec05f7fe113d8241f2","datavalue":{"value":{"entity-type":"item","numeric-id":266500,"id":"Q266500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434875$AECB7531-10ED-4251-83C9-8CF85715AA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea9aea39c379f52289df1bc85eb1933fc176fbc1","datavalue":{"value":{"entity-type":"item","numeric-id":358628,"id":"Q358628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434875$9FB20725-CE49-4933-B463-7F9FBF2EEBA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434875$350C65A2-3115-4D1F-9348-EB77B939DE77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe0c4637c6af0db2bf68c19b0051f427fc2eebac","datavalue":{"value":{"time":"+2014-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2434875$D81716DF-A430-4494-97A3-11FB1A2F50CA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c76f89568cd890b2d4c5cc76b6a1e337f82524e0","datavalue":{"value":"The article is devoted to describe an algorithm for computing the intersection \\(A\\cap B\\) of two irreducible sets \\(A\\subset\\mathbb{C}^N\\) and \\(B\\subset\\mathbb{C}^N\\) given by witness sets. A witness set for an irreducible set \\(A\\subset\\mathbb{C}^N\\) is a triple \\(W:=\\{F,\\mathcal{L},\\mathcal{L}\\cap A\\}\\), where \\(F:\\mathbb{C}^N\\to\\mathbb{C}^N\\) is a polynomial mapping having \\(A\\) as an irreducible component of \\(\\mathcal{V}(F):=\\{x\\in\\mathbb{C}^N:F(x)=0\\}\\), \\(\\mathcal{L}\\subset\\mathbb{C}^N\\) is a generic linear space with \\(\\dim\\mathcal{L}=N-\\dim A\\) and \\(\\mathcal{L}\\cap A\\) is a finite set of \\(\\deg A\\) points.  Algorithms for computing the intersection \\(A\\cap B\\) from witness sets for \\(A\\) and \\(B\\) were given in [\\textit{A. Sommese} et al., SIAM J. Numer. Anal. 42, No. 4, 1552--1571 (2004; Zbl 1108.13308), J. Complexity 16, No. 3, 572--602 (2005; Zbl 1108.13309)]. Such algorithms, called \\textit{diagonal homotopy} methods, compute a collection of witness \\textit{supersets}, one for each irreducible component of \\(A\\cap B\\). Nevertheless, these algorithms fail to obtain a collection of witness sets in certain cases.  In the paper under review, the algorithms of the above cited papers are modified in order to obtain a witness set for each irreducible component of \\(A\\cap B\\). A problem with the previous algorithms is that they are not able to properly deal with points in a witness superset for an irreducible component of \\(A\\cap B\\) which are not smooth points of the solution system \\(\\mathcal{V}(F)\\) for \\(A\\) and \\(B\\).  For this purpose, the authors rely on the theory of \\textit{isosingular sets} [\\textit{J. Hauenstein} and \\textit{C. Wampler}, Found. Comput. Math. 13, No. 3, 371--403 (2013; Zbl 1276.65029)]. An isosingular set of a given algebraic set is an irreducible set which is constructed by taking the Zariski closure of the set of points with a common singularity structure. This singularity structure is represented by a sequence of nonnegative integers called the \\textit{deflation sequence} of \\(A\\), where a \\textit{deflation} is a method for regularizing a nonreduced solution set \\(\\mathcal{V}(F)\\).  Combining a deflation method of Hauenstein and Wampler [loc. cit.] with simplified versions of the \\textit{diagonal homotopy} methods mentioned above, the authors are able to extract a witness set for each irreducible component of \\(A\\cap B\\) from a corresponding witness superset.  The paper ends by illustrating concepts and algorithms on a simple example and a more complicated example taken from kinematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434875$3EE44137-4810-4B8C-B2EF-E90D48EA7BD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf5fa4f05db998aa651c0c32ce49d873d9dceaa","datavalue":{"value":"14Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434875$3642B316-FA5E-44DD-849D-2D5BD8E785EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e57e2977a9ed0e05339dd5f1673c9f0c9ab91235","datavalue":{"value":"65H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434875$F37A6FE6-29C8-491F-A290-0C8587FE4908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90958f30368d78c65d38f37dd9adc75b766a7ef5","datavalue":{"value":"65H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434875$F3598A00-B937-48C5-B712-2826CEE1FDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bee2219fe30255f9156dce33d9cc4f518c0cf995","datavalue":{"value":"14B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434875$CED4B862-9ACC-4133-8074-02D388DF7DD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3c36b6b7680b775aaf8c702ccec44cab0df4ef1","datavalue":{"value":"6253102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434875$E62B7855-3B94-40D8-8594-42D63C645B8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0a650bb6ef98d64086b4f304c4b7b9ab7578c60","datavalue":{"value":"polynomial systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434875$975CB5A8-7C46-4688-ABFA-605E20452194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eace2918a7bb08f758773eb4ae3c0bff1afdfcac","datavalue":{"value":"numerical methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434875$0FC2391E-E97E-423F-A7C2-D7D046B2B472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8f062c9b63e45a501e7a6dc3811b9ea53efd387","datavalue":{"value":"homotopy continuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434875$3D974B77-2C98-4B51-B121-2F29F345531E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434875$131D2EAF-1286-40E3-AA39-F0249596B4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a58f81659ef850ae1dfff55ba53474379fe654","datavalue":{"value":"irreducible algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434875$41C4D4A5-FA89-4FD7-92E3-BC0CAA2D4796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b62e792069eb574d990d9d48938ac5cc58181be6","datavalue":{"value":"witness set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434875$DAF17AE6-AFAB-4FCE-8DB4-27A0CDA3159D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350c5e6cc2fcb89388a16a4911d7eb4fdbbe2fa3","datavalue":{"value":"deflation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434875$7FC7579D-C400-44F1-8819-C8783A138EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070e89575b96eaced5b953c24014e141c4d6fac7","datavalue":{"value":"isosingular set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434875$A1033E7F-4339-40BD-93A3-72A7C8E57EB8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ce76411492ea5e822ec023ee89c890a223f3861","datavalue":{"value":{"entity-type":"item","numeric-id":191904,"id":"Q191904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434875$8F4FEC4E-F746-415F-B512-7A916FFC2E70","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":"Q2434875$81F8D4CC-D963-406A-BD2B-E3758214DAEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5aa559d582ff65751d84aa900549c28bbb5e5e0","datavalue":{"value":"https://doi.org/10.1016/j.amc.2012.06.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q2434875$3436F539-4D3C-4149-BA6A-8C555896B4ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a0e3af6aaadd79de54a9cfbe81ae530fc27fdba","datavalue":{"value":"W1972896450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434875$781E3BE9-3E77-4AE3-967A-8F822F0F3136","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7c7679e4a1e2fcd86deca1b707910feef8075c93","datavalue":{"value":"Q115997388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434875$3437E2B7-B2D3-4B5A-BEAE-B771465D197B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14c6e34f84e21d41405c2308821952d0a86d48ae","datavalue":{"value":"10.1016/J.AMC.2012.06.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434875$3511200D-0FDD-45AA-9A81-91E238684359","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"153a2d1c801b01dbdf02908d250b9a92d814c60b","datavalue":{"value":{"entity-type":"item","numeric-id":5146004,"id":"Q5146004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8864ca15a49f7a191640f196bbcfeb7970d0688","datavalue":{"value":{"amount":"+0.9312503","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":"Q2434875$EC0A31DD-D575-4C20-859C-9AE0D8DA5271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b1bb297c3ec142d8d2e4dce104f5d1f4b8336c","datavalue":{"value":{"entity-type":"item","numeric-id":6098337,"id":"Q6098337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6797ac2249092ce523f7d2318157393c9d2848c0","datavalue":{"value":{"amount":"+0.8915012","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":"Q2434875$AF10A389-35F1-490E-A6F7-5B58C9A53ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502c064ae0fa5ae08f6a58d3a7f2ca6aadbbc065","datavalue":{"value":{"entity-type":"item","numeric-id":1737155,"id":"Q1737155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431d4459eaf1330439fb1e23675974c7a6846428","datavalue":{"value":{"amount":"+0.88584614","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":"Q2434875$B07C47ED-872F-42A9-8FB8-EDFF7F4DF2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2df51c953635c4a05593288a3c72e7c2ea2091a","datavalue":{"value":{"entity-type":"item","numeric-id":5198346,"id":"Q5198346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c82fce21d112634f0f3ed9059fdbc8c3cd08f6","datavalue":{"value":{"amount":"+0.88576233","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":"Q2434875$E5FC607B-3D55-42DC-90EC-83ED43DF5F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0536de2e65c9e671f345f4fb8c6dc537904be764","datavalue":{"value":{"entity-type":"item","numeric-id":3474753,"id":"Q3474753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a283bbf2bfd076b9bf74295988c34e7b4ddf340","datavalue":{"value":{"amount":"+0.88144606","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":"Q2434875$7E1601AF-F874-43D4-BED6-CFF1CC8DCAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972d5aa64d2bd280969aeb3ba24b85beabb4455e","datavalue":{"value":{"entity-type":"item","numeric-id":1105655,"id":"Q1105655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e19cbb589e2fe9acd427622dd6572fa6c06e2f4","datavalue":{"value":{"amount":"+0.8784136","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":"Q2434875$322A14BB-52EE-4F9D-8194-7BAFB9EB6174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a3bac1cbd41010456857d5226f600dc87757bc","datavalue":{"value":{"entity-type":"item","numeric-id":5842419,"id":"Q5842419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3917115aa6e8057a2db86b3d376c098c6bb2e2e2","datavalue":{"value":{"amount":"+0.87752163","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":"Q2434875$AB5B4B76-3FB9-446A-8669-28A226DF68A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"355561d7d9f14907c5b601e7efffcc97291d00e8","datavalue":{"value":{"entity-type":"item","numeric-id":1392411,"id":"Q1392411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad21f77d2ff503df670778c3cbf84c052a6a4e6c","datavalue":{"value":{"amount":"+0.87715966","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":"Q2434875$6A14A8F1-A91E-4096-9085-FF88E5732402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0787f5047f4b54d13c7ee12fa4ff858f88fd39dd","datavalue":{"value":{"entity-type":"item","numeric-id":3734554,"id":"Q3734554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f82a950bfba9ecaad2e0fa9dcf476e0dc68aaf","datavalue":{"value":{"amount":"+0.87681293","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":"Q2434875$DB28348E-062C-4C20-A92E-3467E204822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fc17cd8627f322c9534eadb81075409e466c16","datavalue":{"value":{"entity-type":"item","numeric-id":5439921,"id":"Q5439921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58da39479acf6d6334af0f6b8451fe0e960655c5","datavalue":{"value":{"amount":"+0.87524897","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":"Q2434875$D79EC116-84E1-4E1A-A1BF-A5878E697774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2434875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2434875"}}}}}