{"entities":{"Q1800417":{"pageid":1811159,"ns":120,"title":"Item:Q1800417","lastrevid":69167262,"modified":"2026-04-13T05:13:20Z","type":"item","id":"Q1800417","labels":{"en":{"language":"en","value":"Heden's bound on the tail of a vector space partition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6963405"}},"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":"Q1800417$E454AF58-C391-4E0F-9156-57F454ABFE31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b7b1b55192a74db141ff3a061a1c38349552d3","datavalue":{"value":{"text":"Heden's bound on the tail of a vector space partition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1800417$B0CBA50D-D778-4AB6-82DC-6D3A833039AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9446c26ed3b88ffc47099d04560869ccd3567109","datavalue":{"value":"1407.51005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1800417$D7074DB4-BF39-4D65-B55B-B473B83F8637","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a3bd4da703bd1dbaaf5e32913fa8887f9e77f1","datavalue":{"value":{"entity-type":"item","numeric-id":315488,"id":"Q315488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1800417$2F4B153C-83B0-4CCA-87B4-5715FF30C797","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":"Q1800417$0B51A813-BF64-4237-A8A1-BD8602454EA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6bcb28ae86aeca9fbed36b824032693bb3a4a24","datavalue":{"value":{"time":"+2018-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1800417$9902F8C0-0F0A-44A7-B8D2-8228D38555F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"418665ce79332b255bf5d62c0107fcaf5b218f72","datavalue":{"value":"https://arxiv.org/abs/1708.01113","type":"string"},"datatype":"url"},"type":"statement","id":"Q1800417$BF3279FD-0F84-41D1-A496-ED4CB29F26BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3d6158179834a8ecb17ee0df1a37a63b88b71c4","datavalue":{"value":"https://epub.uni-bayreuth.de/3358/1/tail_heden.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1800417$69920DE4-E60E-48DB-9B28-BB9055515748","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4617b308b02f2a2ef63a6ab042c291948567505e","datavalue":{"value":"Let \\(\\mathbb{F}_q\\) be the finite field with \\(q\\) elements. For a fixed positive integer \\(v\\), let \\(\\mathbb{F}_q^v\\) denote the \\(v\\)-dimensional numerical vector space over \\(\\mathbb{F}_q\\). A vector space partition \\(\\mathcal{P}\\) of \\(\\mathbb{F}_q^v\\) is a collection of subspaces of \\(\\mathbb{F}_q^v\\) such that every non-zero vector is contained in a unique element of \\(\\mathcal{P}\\). If \\(k\\) divides \\(v\\) then \\(k\\)-spreads exist, that is a space partition in which all the spaces have the same dimension \\(k\\). If \\(k\\) does not divide \\(v\\) then no \\(k\\)-spread exists and only partial \\(k\\)-spreads can be constructed.  Heden's results concern the so called \\textit{tail} and \\textit{length of the tail} of the vector space partition \\(\\mathcal{P}\\), that is the dimension \\(d_1\\) of the smallest subspace in \\(\\mathcal{P}\\) and the number of subspaces of such dimension.  In this work, the author strengthens Heden's bound by studying the properties of the set \\(\\mathcal{N}\\) of \\(d_1\\)-subspaces of a vector space partition \\(\\mathcal{P}\\). A key result is that, for a given hyperplane \\(H\\), the number of subspaces of \\(\\mathcal{N}\\) contained in \\(H\\) is congruent to \\(\\#\\mathcal{N}\\) \\(\\pmod{q^{d_2-d_1}}\\), where \\(d_2\\) is the second smallest dimension of a subspace in \\(\\mathcal{P}\\). The main result is the following.  {Theorem.} For a non-empty \\(q^r\\)-divisible set \\(\\mathcal{N}\\) of \\(k\\)-subspaces in \\(\\mathbb{F}_q^v\\) the following bounds on \\(n = \\#\\mathcal{N}\\) are tight. {\\parindent=6mm \\begin{itemize}\\item[(i)] We have \\(n \\geq q^{k}+1\\) and if \\(r \\geq k\\) then either \\(k\\) divides \\(r\\) and \\(n \\geq \\frac{q^{k+r}-1}{q^k-1}\\) or \\(n\\geq \\frac{q^{(a+2)k}-1}{q^k-1}\\), where \\(r = ak+b\\) with \\(0 < b < k\\) and \\(a, b \\in \\mathbb{N}\\). \\item[(ii)] Let \\(q^r\\) divide \\(n\\). If \\(r < k\\) then \\(n \\geq q^{k+r} - q^k + q^r\\) and \\(n \\geq q^{k+r}\\) otherwise.  \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1800417$30AF60EA-70F8-470E-A519-54592BEC5660","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2faa2eb6aa0981a61e868b73b70aa50805fbd14e","datavalue":{"value":{"entity-type":"item","numeric-id":265609,"id":"Q265609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1800417$00B24045-C56B-4016-A306-19692C1CB69A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7f523c69b687931b119f4a4ea71411e07e74e7b","datavalue":{"value":"51E23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1800417$0E4BD667-3B25-4265-8DAC-3AFF0C1E7945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3342fc84f53fb298452ef70535a6f3dbec638c9f","datavalue":{"value":"6963405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1800417$A96372E5-341F-4D08-A877-4038F113DED7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a449ad19a87de2268dac4f8fcccd4a3f7c0edd","datavalue":{"value":"Galois geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1800417$1CD683E4-E5D0-4104-9288-86FD02B4DB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f07f967be958e556557fc607a81b3e7dadf75147","datavalue":{"value":"vector space partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1800417$B88CD6F6-BF6A-4332-B7E7-65B542955B58","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":"Q1800417$464A7A07-D350-437E-81B8-FDDFB4639050","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2b2eecbc7115e77242f6b18e2ab18f711ebaa04","datavalue":{"value":"W2744611109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1800417$61BBE947-BA7D-4B90-93C6-A335FA1BCEBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb5ae2f13335247bebdb9ed15f57557ead9436fa","datavalue":{"value":{"entity-type":"item","numeric-id":4221888,"id":"Q4221888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1800417$EB59DE6D-79D6-4C1B-BFF9-B89DB47A3A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a50e1d61a125bfe514dae02dfb72b1430958b202","datavalue":{"value":{"entity-type":"item","numeric-id":1114927,"id":"Q1114927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1800417$2C1C07A2-DDF7-40EE-A573-F7A5C10DCE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8e498d188a6a4fedf19be5e45f4e73ce52c271","datavalue":{"value":{"entity-type":"item","numeric-id":5707657,"id":"Q5707657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1800417$4878A9BC-45F0-421A-A571-1D509AF978DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568bb69ff0dd060ee7f398943971aff92ae738e1","datavalue":{"value":{"entity-type":"item","numeric-id":1045013,"id":"Q1045013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1800417$524F62E5-EB1B-4F02-AE2B-87A32E3CBBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb5563da4d72f441bd61d27de2261782b68baf8","datavalue":{"value":{"entity-type":"item","numeric-id":5672649,"id":"Q5672649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1800417$B7140DEC-2CD9-4241-8F05-4EEDC4727F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e7d8a2f7b801b64b892b69204474958a51d6fc","datavalue":{"value":{"entity-type":"item","numeric-id":4595216,"id":"Q4595216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1800417$25ADFA0C-4E21-455A-9237-41FACEB3976D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36452c3333493a95bb5c52e7c978dd7f3a90443b","datavalue":{"value":{"entity-type":"item","numeric-id":1142197,"id":"Q1142197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1800417$CECBA55E-D15B-4E12-A8CD-A00BF3ADD1D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"79bce7d8fc52f01564b9b92066c8ddfc68bd2dac","datavalue":{"value":"Q129193200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1800417$FCA8FD2C-866A-4A22-9A2E-DBBD35483103","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66b86ea0e4815a7c10886ae989c59f5cad83dd64","datavalue":{"value":"10.1016/J.DISC.2018.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1800417$A2C76376-FF8E-4AEE-9BC6-D779DF81494D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d86f84bc86526d787ab0a561788bf363538086d","datavalue":{"value":{"entity-type":"item","numeric-id":1045013,"id":"Q1045013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b17f8301dddbd0108e1266004fee0847103fcd","datavalue":{"value":{"amount":"+0.8787921667098999","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":"Q1800417$918ABD1D-1550-44A1-B5BA-C70167C5CCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9927c033e685d84d0cd5c17f022b38e4af5247ce","datavalue":{"value":{"entity-type":"item","numeric-id":521856,"id":"Q521856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff20966bdc00afe9bd22605665a515c19529b32","datavalue":{"value":{"amount":"+0.7900292277336121","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":"Q1800417$8C6072E4-C174-48C1-BB65-446F04378119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcc89cefb2087bec7b2610dc6534dc5e3da84dd","datavalue":{"value":{"entity-type":"item","numeric-id":658060,"id":"Q658060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e134d7b5dbb843c7cfa63bc959ef4dc53b9e5e","datavalue":{"value":{"amount":"+0.7838566899299622","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":"Q1800417$CEB46DAF-D94A-4EC3-BD51-F14A5CF3E054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8dbd89be9c2850e12039c7dc6f6f2699f2ce6d","datavalue":{"value":{"entity-type":"item","numeric-id":369434,"id":"Q369434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53c8e1539d0dbfc278c54c87a8e35d8505f6bf7","datavalue":{"value":{"amount":"+0.7774038314819336","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":"Q1800417$4153A0A5-698C-45B3-A587-CD73AA62C49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99a322079cd871f65aa0d679394fe774b8dbc06","datavalue":{"value":{"entity-type":"item","numeric-id":5377019,"id":"Q5377019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0364fa478dd73050130b2013798f9dd6b02ad4","datavalue":{"value":{"amount":"+0.7755805850028992","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":"Q1800417$D61A2291-109F-43D6-A6A4-B811F66E80DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heden's bound on the tail of a vector space partition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Heden%27s_bound_on_the_tail_of_a_vector_space_partition"}}}}}