{"entities":{"Q2364357":{"pageid":2375100,"ns":120,"title":"Item:Q2364357","lastrevid":72606189,"modified":"2026-04-14T06:03:02Z","type":"item","id":"Q2364357","labels":{"en":{"language":"en","value":"Minimal networks for sensor counting problem using discrete Euler calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748531"}},"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":"Q2364357$F93299BE-E47A-4F15-9BE9-6125526FD2D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be3f967d09635a167b45a6f2afa9f201a387f05e","datavalue":{"value":{"text":"Minimal networks for sensor counting problem using discrete Euler calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364357$1F781C81-8650-4D43-A73F-3C4C1CD4AD26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56f0a94abe9e8be7a45813d7f104e98286ac528b","datavalue":{"value":"1412.55020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364357$8170FDA2-0BBE-492B-B4F6-E0F3DD1EDF32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13abcc35f648381c52923a8b3c301d347f391227","datavalue":{"value":{"entity-type":"item","numeric-id":272870,"id":"Q272870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$8C63687C-1A43-43F3-8E8B-B9CCDEBD310B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"50de7b9ed51593cffb5647baaa00c046f50e702c","datavalue":{"value":{"entity-type":"item","numeric-id":189352,"id":"Q189352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$DDDBE53B-FA9F-4280-B386-E364C4473A6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-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":"Q2364357$AD6BC039-0931-43CA-9DA5-DF3D89E63A93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"094750a3383091774e72d40fdc677541e0d253f3","datavalue":{"value":"https://arxiv.org/abs/1605.06754","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364357$AEE7139C-41E8-46B4-8E4A-4541980AA89E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3abb91310612e33b9971fa8dfb0c25f157c600fc","datavalue":{"value":"The paper is devoted to applications of the theory of integration with respect to Euler characteristics of finite partially ordered sets developed in [\\textit{K. Tanaka}, Topology Appl. 204, 185--197 (2016; Zbl 1353.55013)]. \\textit{Y. Baryshnikov} and \\textit{R. Ghrist} proposed a method for enumerating targets lying on a sensor field using topological Euler integration in [SIAM J. Appl. Math. 70, No. 3, 825--844 (2009, Zbl 1190.90041)]. The paper under review proposes a method to reduce points in acyclic sensor networks enumerating targets using the integral theory with respect to Euler characteristic. \\par Section 1 is devoted to the introduction and contains a history and summary of the main results. Section 2 contains the fundamental notions and properties of discrete Euler calculus. Let $(P,\\leq)$ be a finite poset. A \\textit{filter} $Q$ is a subposet of $P$ satisfying the implication: if $x\\in Q$ and $y\\in P$ with $x\\leq y$, then $y\\in Q$. Denote by $\\mathcal{F}_P$ the set of all filters of $P$. For a filter $Q\\subseteq P$, the \\textit{incidence function} $\\delta_Q: P\\to \\mathbb{Z}{Z}$ is defined by $\\delta_Q(x)=1$ if $x\\in Q$, and $\\delta_Q(x)=0$ otherwise. \\par Any function $f: P\\to \\mathbb{Z}{Z}$ can be written as a finite linear form $f= \\sum_i a_i\\delta_{Q_i}$ for some $a_i\\in \\mathbb{Z}{Z}$ and $Q_i\\in\\mathcal{F}_P$. The \\textit{Euler calculus} or \\textit{Euler integration} of $f$ is defined by $\\int_P f d\\chi= \\sum_i a_i\\chi(Q_i)$. (This does not depend on the choice of filter linear forms of $f$.) \\par An \\textit{acyclic sensor network} $(P,T,h)$ consists of a finite poset $(P,\\leq)$, a subset $T$ of the set of all simplices in a Hasse diagram of $P$ considered as a one-dimensional simplicial complex, and a counting function $h: P\\to {\\mathbb{Z}{Z}}$. Elements $t\\in T$ are called \\textit{targets}. The function $h$ is obtained by the sensors detecting the targets. Denote by $T^{\\sharp}$ the number of targets. \\par Let $(P, T, h)$ be an acyclic sensor network. The number of targets is equal to the Euler calculus of the counting function: $\\int_P h d\\chi= T^{\\sharp}$ (Theorem 2.1). \\par In Section 3, the notion of a beat point of finite $T_0$-spaces is generalized. \\par Let $P$ be a finite poset. Denote $P_{>x}= \\{y\\in P~ |~ y>x\\}$. A point $x\\in P$ is called a \\textit{ $\\chi$-point} if $\\chi(P_{>x})=1$. The \\textit{ $\\chi$-minimal model} $P_{\\chi}$ is a subposet of $P$ formed by removing all $\\chi$-points one by one. The $\\chi$-minimal model is uniquely determined (Corollary 3.1). \\par Section 4 is devoted to the reduction of points in an acyclic network. \\par For a map $f: P\\to Q$ between finite posets and a function $h: Q\\to \\mathbb{Z}{Z}$, the \\textit{ pullback} $f^*h$ is a function on $P$ defined by the composition $h\\circ f$. \\par An order-preserving map $f: P\\to Q$ is \\textit{$\\chi$-distinguished} if the inverse image $f^{-1}(Q_{\\geq x})$ has Euler characteristic 1 for all $x\\in Q$. \\par If $f: P\\to Q$ is a $\\chi$-distinguished map, then $\\int_Q h d\\chi = \\int_P (f^*h) d\\chi$ for any function $h$ on $Q$ (Theorem 4.1). If there exists a $\\chi$-distinguished map between $P$ and $Q$, then $\\chi(P)= \\chi(Q)$ (Corollary 4.2). For any function $h$ on a finite poset $P$ we have $\\int_{P}h d\\chi= \\int_{P_{\\chi}}h|_{P_{\\chi}} d\\chi$ (Corollary 4.3). Let $h,h'$ be two functions on a finite poset $P$. If $h|_{P_{\\chi}}= h'|_{P_{\\chi}}$, then $\\int_{P}h d\\chi= \\int_{P}h' d\\chi$ (Theorem 4.2). So, even if the counting function returns wrong values on $\\chi$-points, we can calculate the correct number of targets using the Euler calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364357$BEC75F2E-5268-42EE-906E-B8ED82B033B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"925504b15475c7035fa80bfd7fe3aa56f1622ed6","datavalue":{"value":"55U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364357$22DA6BE2-8422-436F-AB5F-7311091E379C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79a1febd0818a03e61eb3436bae1171f0fb3d869","datavalue":{"value":"28A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364357$A4AADA56-11A4-45C1-8CA0-A1EC503A4B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c20816b15de71eb2afe3565caf954727a3a64001","datavalue":{"value":"55P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364357$6753B948-96C6-4358-B5B8-0AA49A6A43E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364357$CC22CB6E-8926-4A4B-ADFE-F533D10C2A70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd03fb18d6500e25679fc770950183ba4bd68e2b","datavalue":{"value":"6748531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364357$12714DD7-2769-4B0E-B54E-3FAEEEF2DE75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae6b73647501cddc60bea81c63e58401d0164fd","datavalue":{"value":"Euler characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364357$7EFCBE62-1B82-4AB4-B1F6-BA50EF270F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02db6659a9426e37b592ebedc663092cb2f5dc2","datavalue":{"value":"Euler integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364357$276BC3CF-B020-4103-8473-222E62084B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2035971b0319c5fad708184b0d99d3e9510a4d8d","datavalue":{"value":"Euler calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364357$0D9E1152-951A-4818-88EA-727B612FE507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92651088c98df87d7b7355e502d73a162c0212f6","datavalue":{"value":"sensor network","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364357$E370AA8E-8D5C-44EB-A6DA-AD3C9E031B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6575997fe34f5b3b31e4bef320f03458bbb69c1a","datavalue":{"value":"finite poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364357$A0E91084-09E5-4BE3-92A8-A66956E5EC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345ff13b73a2c029373f65574c69ebf8a70ad36a","datavalue":{"value":"beat point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364357$490E1FC8-2541-46C9-9B0C-7A5A6A5D729D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"16c26e4ac190a2cc8301d13290ef2f97e240c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":590338,"id":"Q590338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$730D9A95-30D1-4FBD-B1B3-A44B97F7810F","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":"Q2364357$AE35846B-412E-41CA-A8CF-EFAF08BE9A23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f453ba322f515c3bf82d34dc1c6e42518f31b690","datavalue":{"value":"W2603232889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364357$3C8B0491-E393-43DE-AD0F-59371ED8CB1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f83cc04b2eefda28ed2ce5cbdad8a71e060570","datavalue":{"value":{"entity-type":"item","numeric-id":2276273,"id":"Q2276273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$195A1DFB-4B8C-41C1-8324-798AC766C699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a49fdece11e1e1f5e228d7805b7b8d3105121bf","datavalue":{"value":{"entity-type":"item","numeric-id":3575176,"id":"Q3575176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$33D7BEDA-FBAD-4251-918B-E754CEE08050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0cab886e24d06874ca864c86a0eb2b62d04732","datavalue":{"value":{"entity-type":"item","numeric-id":2482053,"id":"Q2482053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$ADC24142-A342-4FD1-95B6-6F8D288E8672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf05925c161b50902a475d27429912f455994b38","datavalue":{"value":{"entity-type":"item","numeric-id":5919887,"id":"Q5919887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$C42C387E-1124-4B07-8A8D-2E96CC21D186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de09306d27dafba4704ba0df4ed2696df3f4bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2479731,"id":"Q2479731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$9FE2D80C-C9C9-4ED2-B87C-CA6D1E6E8B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faa48c6f19abe0735989fd7ff66abaf16bca9d4","datavalue":{"value":{"entity-type":"item","numeric-id":2522848,"id":"Q2522848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$EB6FD117-E948-4BB0-AF47-BEBD725DD22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfb82c6fbde1c383c86c596bccbe6da8007a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":4043211,"id":"Q4043211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$C2BE1FD4-F9B8-4A38-8E08-B5B15ADCA2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42b17a9e65624167c0afafce75cee382a5dd7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5731810,"id":"Q5731810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$DCDD84A5-01CD-4EFE-8F62-7BCBC37E0BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6b0fbc466f97d68787cd32fab899f2f3a65081","datavalue":{"value":{"entity-type":"item","numeric-id":5530356,"id":"Q5530356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$848FEF55-71E3-4028-A86A-13F69708E6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bb2a05b54a1731e8c3af0868b38b3ff36dd228","datavalue":{"value":{"entity-type":"item","numeric-id":272871,"id":"Q272871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$71878C9D-BEF7-4E63-B019-7BDDFAE0D97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea96565e280dc8807249fcaa46aa08bbe23571a","datavalue":{"value":{"entity-type":"item","numeric-id":1688701,"id":"Q1688701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$0D31B1F5-FFF2-4913-9E69-0641A4804E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe792f3a938ce1fadda39d62cbeeccffee4b836","datavalue":{"value":{"entity-type":"item","numeric-id":4204255,"id":"Q4204255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364357$CB131FC6-4A92-466B-B315-1D569EB6633A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8cadde64e48a9ac5098852ecd1f35f4ba3c651b","datavalue":{"value":"10.1007/S13160-017-0243-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364357$9A5BEC37-3AEA-4754-B4AD-61B763B182DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8c79795fd0fba4aa96d2fcc275fc1a7c779351","datavalue":{"value":{"entity-type":"item","numeric-id":3575176,"id":"Q3575176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7b4da131bb84652d3d20c99c64fe0cec7bd0d9","datavalue":{"value":{"amount":"+0.7345117330551147","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":"Q2364357$96A1261E-1B47-4147-B549-B2C373313525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817e46a18435c23806d2a50d40137b833170f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":272871,"id":"Q272871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a4c189e53daf9ac73bd0a434a5877b0ef81965","datavalue":{"value":{"amount":"+0.7116923928260803","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":"Q2364357$C058CB6F-1BBD-4B76-AAEC-45BCF8D7299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1972f8e53415d4d72bc99affc11b0e5316d02395","datavalue":{"value":{"entity-type":"item","numeric-id":5160798,"id":"Q5160798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78af55c8c97a7c8408a989a7c174fd8bffbd8eb","datavalue":{"value":{"amount":"+0.7102586627006531","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":"Q2364357$B8D00647-87F1-41AA-9B55-305D0DD1346E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7dde74c8d5adb26e46f5cd8aac35b7c04cb6f8e","datavalue":{"value":{"entity-type":"item","numeric-id":714652,"id":"Q714652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b6b125255b3af17aa5de6a68cdf12e0a26c276","datavalue":{"value":{"amount":"+0.6891372799873352","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":"Q2364357$5027D605-6C86-4A4B-9736-3E0AEEB4EE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4026d927dbe7f4481e8fd660ad5ef5e4cce27c","datavalue":{"value":{"entity-type":"item","numeric-id":5450061,"id":"Q5450061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df2a0e5b503ee2c5358e4c59b9b5dfdaa517d40","datavalue":{"value":{"amount":"+0.678216814994812","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":"Q2364357$8AA80C9A-9521-46D6-9B36-E13CCE74C695","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal networks for sensor counting problem using discrete Euler calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_networks_for_sensor_counting_problem_using_discrete_Euler_calculus"}}}}}