{"entities":{"Q5937930":{"pageid":8114732,"ns":120,"title":"Item:Q5937930","lastrevid":47642317,"modified":"2026-01-02T07:16:34Z","type":"item","id":"Q5937930","labels":{"en":{"language":"en","value":"Optimal shadows and ideals in submatrix orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1621239"}},"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":"Q5937930$EC630938-7F86-4F57-98A6-0A987A9E3303","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"395cbb6fe025a7cc05d8887090c86aeea8831f91","datavalue":{"value":{"text":"Optimal shadows and ideals in submatrix orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937930$A8046926-1F23-4CCC-B533-5B54A49091EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c985f4f59a3e8279b3652bf69de09fcf85e04e11","datavalue":{"value":"0986.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937930$3697DA14-823B-4332-B058-B6532C0A27CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7eff993cf1cf493f26af928062ca60dd99873017","datavalue":{"value":"10.1016/S0012-365X(00)00271-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937930$9EEDC245-9A16-4364-98DD-3E5038DE4DE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fde96371795504d5e47e9951d6dee51be5f89f8","datavalue":{"value":{"entity-type":"item","numeric-id":190534,"id":"Q190534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937930$6FB3AD0A-005A-421B-80EA-43FB55C79A83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937930$E4FDA692-F7A0-433A-81F0-36FC72869DB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31707e7a13da914b31b6dd6f84fd3adca471dd41","datavalue":{"value":{"time":"+2002-06-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":"Q5937930$3070A1B3-AD59-4B08-ADDC-C62144630A64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bdf966e9bcccfc9d1d92f9a5a4ac92027212a55e","datavalue":{"value":"Let \\(P\\) be a ranked poset with associated partial order \\(\\leq\\), and denote its \\(i\\)th level (the set of all elements of rank \\(i\\)) by \\(N(i,P)= N(i)\\). For \\(x\\in P\\), let \\(\\Delta(x)= \\{y\\in N(i-1)\\mid y\\leq x\\}\\) denote the shadow of \\(x\\). If \\(<\\) denotes a total (linear) order on \\(P\\) and if for \\(X\\subseteq N(i)\\), \\(C(X)\\) is the set of first \\(|X|\\) elements of \\(N(i)\\) \\((\\text{wrt}<)\\), then \\(X\\subseteq N(i)\\) is compressed if \\(X= C(X)\\). If \\(\\Delta(C(X))\\subseteq C(\\Delta(X))\\) for all \\(i\\), \\(X\\subseteq N(i)\\), then \\((P,\\leq,\\prec)\\) is a Kruskal-Katona type. If \\((P,\\leq)\\) admits a Kruskal-Katona type, it is a Macaulay poset. Identifying Kruskal-Katona types, i.e., producing \\(\\prec\\) when \\(\\leq\\) is known, is of much combinatorial interest and referred to as the Shadow Minimization Problem. It is the origin of much poset-combinatorial technique, a considerable quantity due to this author, who is active in this area of poset theory. In this particular case, the class of posets is given by: \\(A\\), \\(B\\) disjoint non-empty sets, \\(P(A,B)= \\{F\\subseteq A\\cup B\\mid F\\cap A\\neq\\emptyset\\neq F\\cap B\\}\\) with rank function \\(r(F)=|F|-2\\) and \\(\\leq\\) denoting set inclusion, which can also be realized as a submatrix arrays \\((F\\cap A)\\times (F\\cap B)\\) of \\(A\\times X\\), for which the design of \\(\\prec\\) to obtain the Kruskal-Katona type is the crux of the paper, the proof that it is so, the greater body and a verification of Sali's conjecture with an application to finding particular ideals in orders such as these above an extra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937930$95E09D68-8ACE-4E30-9B14-384D8DE9DD4C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b626688718ca3d61fce8479b1c17fa40d92d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":233347,"id":"Q233347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937930$32E13177-CB4A-4FA1-816C-BA798D10E881","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937930$B5FCF41F-A853-41E9-BB35-890C25099188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937930$F79AC99C-7D7F-4340-97E5-448A54780DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937930$35F4E632-D889-4E17-B5C1-09FEF197893B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee34898acaeadafd068688e3c617b5acd903d8f9","datavalue":{"value":"1621239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937930$C3CAEE65-93B5-4E7F-B479-27215487A595","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713ceb79a10f8309ceb9a2e4a915c2f3d6536608","datavalue":{"value":"finite posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937930$8ACBDCD9-B71B-483C-882A-8657FBF45A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51bdd8a8705b488bac3ebee78a60fb48406700fd","datavalue":{"value":"submatrix orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937930$D6C4CA0B-635F-4042-B1A3-6D1B5127FCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f76b1f4c1cffcc163d1b1a4c7997dc5e89cd09","datavalue":{"value":"ranked poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937930$CDB26B49-0C75-4F78-B5BE-DA70971F7611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56cebf9026aec5edb09ba3f47893401ac3042799","datavalue":{"value":"shadow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937930$4CCB6E64-32DD-4739-9E22-AE9A8C09A257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a383aa24bad029078d797cc23d67aa0f4265855","datavalue":{"value":"Kruskal-Katona type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937930$FC084F95-8E94-4E7C-AF66-64580BC6BBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e98512fbd2dc0140dc557f6c6a27bc2612611deb","datavalue":{"value":"Macaulay poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937930$C059A55B-945E-43C2-8FD5-69DB111B63E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30166fb3452bac284bd39f6592c52fb80d57ef76","datavalue":{"value":"submatrix arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937930$65E30046-4FDB-40AC-A112-1481070276E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937930$92FFFCD1-CC84-4CA4-90ED-05E38B969E10","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":"Q5937930$1C31920E-4C8E-44BF-9972-7C4CCD52B695","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3675fd70199e49bac469b31b62339dcde09eadb6","datavalue":{"value":"https://doi.org/10.1016/s0012-365x(00)00271-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937930$3AB14225-B166-457D-8ED3-F3728B309D17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5815f2b8fab6a28ea0dd293ce77145ac8c0e259","datavalue":{"value":"W1985517445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937930$C086EA9A-C2CE-415B-A474-601C7145CD2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ae64ec57042dab2402a4e896fa36bd3d648945f","datavalue":{"value":{"entity-type":"item","numeric-id":4945052,"id":"Q4945052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2aec3b0e3b5dbc095d39f07d41c40aba2b4aa31","datavalue":{"value":{"amount":"+0.7923848032951355","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":"Q5937930$110449D8-5BDC-478E-A276-3B0ABD580178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ebc4a01813ccbe2f2fbc703acbcba471322fd2","datavalue":{"value":{"entity-type":"item","numeric-id":4359484,"id":"Q4359484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2aec3b0e3b5dbc095d39f07d41c40aba2b4aa31","datavalue":{"value":{"amount":"+0.7923848032951355","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":"Q5937930$52E0E0E7-2FB6-4CCA-8DC9-9EA9AEC84C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9328975d922c2a055a3b8093ed9a4da2a98084","datavalue":{"value":{"entity-type":"item","numeric-id":4250149,"id":"Q4250149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382e01e9ba242fa4f4966f9bf665b35e83f5482d","datavalue":{"value":{"amount":"+0.7629574537277222","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":"Q5937930$5B8D424A-CD78-4FD7-98D9-23A7D5EB6229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6fe57798e6b0395755941b4775df404b16d474","datavalue":{"value":{"entity-type":"item","numeric-id":1273668,"id":"Q1273668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b996ebed35ee2720ab2d8fccde94ba2e4adae7d4","datavalue":{"value":{"amount":"+0.7629573345184326","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":"Q5937930$97E1289F-07D7-436E-AE73-9BE1273E6EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087f8910c03b2fb9b31d35eebe97facfb64380fb","datavalue":{"value":{"entity-type":"item","numeric-id":696911,"id":"Q696911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61905693d53b0a8a6ec1260b07eff54b06c1319e","datavalue":{"value":{"amount":"+0.7579771280288696","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":"Q5937930$FC578DA4-3357-42C7-A696-B447BC9E9C19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937930"}}}}}