{"entities":{"Q417579":{"pageid":419346,"ns":120,"title":"Item:Q417579","lastrevid":51466877,"modified":"2026-01-18T09:34:45Z","type":"item","id":"Q417579","labels":{"en":{"language":"en","value":"The uncertainty principle and a generalization of a theorem of Tao"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6034524"}},"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":"Q417579$B33A1416-46F4-4497-94E0-3ED69C5E62E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41d695f4c4aeec3d1e1d1449dc651af9776146ce","datavalue":{"value":{"text":"The uncertainty principle and a generalization of a theorem of Tao","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q417579$8726A71C-5388-4E98-B8CF-DC2C3C97BE2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85a23f13311a746cc1bee6f3912ea92e71e6e35a","datavalue":{"value":"1242.43008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q417579$50B38D9B-97D8-4C94-94E9-EF1203DE0957","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c5746b6c6960e50b93b47900a5b3f88dbcf2b0c","datavalue":{"value":{"entity-type":"item","numeric-id":180527,"id":"Q180527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$F1683E90-240E-4F81-A6E4-9F79AE800C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce97f5515c3d7c739b346b65803d988fd2f41f23","datavalue":{"value":{"entity-type":"item","numeric-id":417578,"id":"Q417578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$CB333456-25AE-47CD-9522-3022EA82440A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$2FFBEEA7-1956-46B2-8A85-2C12B0CCCC9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca73c9fd6ed6faae5f9d9115ce0403eb94189576","datavalue":{"value":{"time":"+2012-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q417579$12DFF571-1EB6-482D-BB27-3F7716766CD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb43a808be311368e987aa708d28b6350ae1ca2b","datavalue":{"value":"43A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q417579$14EB3160-406A-41B8-8DED-03BD6AC360B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c6183200af766898689a490cbad12672feecbf3","datavalue":{"value":"42A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q417579$E7E44045-228E-45A1-8432-D98CB4390DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q417579$E38C3DC0-E3A4-4098-8D6B-ECD63D22918F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f3dc4415914b3ea558d6f8c598c9372141d93f","datavalue":{"value":"6034524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q417579$C3B3DE24-B840-4ED7-BCF8-3166B23F8AAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8296be2c7bcb6c7255e92bbf284023553ceb1891","datavalue":{"value":"uncertainty principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q417579$34F47BEE-3C90-4D02-B4CF-65CFB3FC2CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"983701ed42d5991b695f657600d02834d239dd63","datavalue":{"value":"finite cyclic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q417579$E9C620EE-33F6-4DED-AA39-84591307ED5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eef959442d10792b1564de726fa453cb995cdb3","datavalue":{"value":"Weyl character formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q417579$92900B9D-958D-4E17-83D2-C91236421AFB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8809f0dc08b4186854322a3add3771166d1970e5","datavalue":{"value":{"entity-type":"item","numeric-id":213815,"id":"Q213815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$02FBFD54-FECC-4EF1-9414-8D7127DAE525","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":"Q417579$4C6FB4CA-0C55-4DAD-9521-218C15FD6447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ba76b08f28c8bab5927476e4065796fa757686f","datavalue":{"value":"https://doi.org/10.1016/j.laa.2012.02.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q417579$0CBBFFA0-AC3F-4C11-9186-41E8C4CC8A70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61559b1f3792728a753e6bc21c624084063e241b","datavalue":{"value":"W2007019061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q417579$AAED415B-4A51-49D9-A572-136EC8C7B836","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a569e99c66e366e767277e2d825e304edef7319","datavalue":{"value":{"entity-type":"item","numeric-id":1970980,"id":"Q1970980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$751DB0D8-86D9-4FD4-99D7-D2A79445A438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c6c6794034dc3203de23c21afe613aba914623","datavalue":{"value":{"entity-type":"item","numeric-id":2581458,"id":"Q2581458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$6D490BC4-64E8-495F-8A2A-CE880A1A3810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60ed57ff0fef494cfbd38ae6a3aa32f3416d6d1","datavalue":{"value":{"entity-type":"item","numeric-id":4126536,"id":"Q4126536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$C1E486DC-C002-4A86-860B-FDA2A1009EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dbd4a93b0fabfd7eb88bd8e0ca72f40b4fba2e","datavalue":{"value":{"entity-type":"item","numeric-id":4236280,"id":"Q4236280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$75DB898C-0544-4DF5-9308-779662F5C0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0305f009da34b908ea45ac3e671ffbeec2ea88e9","datavalue":{"value":{"entity-type":"item","numeric-id":1774282,"id":"Q1774282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$8EB4CE70-8780-48F2-A8F9-E400C1D196B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a898c0678796a84cfcbb6a3dc072612ad04d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4256626,"id":"Q4256626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$3E1D7278-7845-4312-B263-02AA6F80D564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d03ed71298ee9649c6d5be8aa186910c728ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3943047,"id":"Q3943047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$D16790DE-8808-4953-8C1B-08BEAECB8E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c12b6047e45fe127eaed39c94313509646e3679c","datavalue":{"value":{"entity-type":"item","numeric-id":4413049,"id":"Q4413049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q417579$813F97C0-61B5-4E03-918A-2DA8B167F140","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"046a3eade113e32fa1239ebdf77099c82793ef03","datavalue":{"value":"10.1016/J.LAA.2012.02.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q417579$A3B1A044-D31C-4AB2-9AB4-6D62FD4BD6B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ae96b780adea15661c53fd1518c2caef557052d","datavalue":{"value":"\\textit{T. Tao}'s uncertainty principle [Math. Res. Lett. 12, No. 1, 121--127 (2005; Zbl 1080.42002)] states that if \\(p\\) is prime then, for the cyclic group \\(\\mathbb{Z}/p\\) of integers modulo \\(p\\), the support of any function \\(f\\) on \\(\\mathbb{Z}/p\\) and its group Fourier transform \\(\\widehat{f}\\) must satisfy NEWLINE\\[NEWLINE|\\text{supp}\\, f|+|\\text{supp}\\, \\widehat{f}|\\geq p+1NEWLINE\\]NEWLINE where \\(|\\cdot|\\) denotes the number of elements of a subset. The result boils down to nonvanishing of a certain Vandermonde determinant. In the present work this result is extended to the cyclic group \\(\\mathbb{Z}/m\\) in which \\(m\\) is composite and the support of \\(f\\) has a certain structure property related to vanishing exponential sums.NEWLINENEWLINE To describe this property, recall that a dominant weight is a multi-index \\(\\kappa=(\\kappa_1,\\dots,\\kappa_n)\\) such that \\(\\kappa_i\\geq \\kappa_{i+1}\\). By the Weyl character formula, each dominant weight \\(\\lambda\\) corresponds to a unique irreducible character \\(\\chi_\\lambda\\) of the group \\(U(n)\\) of unitary \\(n\\times n\\) matrices and \\(\\chi_\\lambda\\) is a function on the \\(n\\)-torus such that \\(\\chi_\\lambda(1)={\\prod_{1\\leq i<j\\leq n} (\\kappa_i-\\kappa_j)}/{\\prod_{1\\leq i<j\\leq n} (j-i)}\\) where \\(\\kappa=\\lambda+\\rho\\), \\(\\rho=(n-1,n-2,\\dots, 1,0)\\).NEWLINENEWLINE It was proved by \\textit{T. Y. Lam} and \\textit{K. H. Leung} [J. Algebra 224, No. 1, 91--109 (2000; Zbl 1099.11510)] that if \\(p_1,\\dots, p_r\\) are the prime factors of \\(m\\) then the set \\(W(m)\\) of integers \\(n\\geq 0\\) such that there exists a vanishing sum \\(\\omega_1+\\dots +\\omega_n=0\\), where each \\(\\omega_i\\) is an \\(m\\)th root of unity, is precisely \\(W(m)=\\mathbb{N} p_1+\\dots + \\mathbb{N} p_r\\).NEWLINENEWLINEThe main result states that if the support of \\(f\\) is represented by integers \\(\\kappa_1,\\dots, \\kappa_n\\) such that \\(\\chi_\\lambda(1)\\notin W(m)\\) then NEWLINE\\[NEWLINE|\\text{supp}\\, f|+|\\text{supp}\\, \\widehat{f}|\\geq m+1\\, .NEWLINE\\]NEWLINE Conversely, if \\(A\\) and \\(B\\) are subsets of \\(\\mathbb{Z}/m\\) such that \\(A\\) is represented as above and if \\(B\\) is such that \\(|A|+|B|\\geq m+1\\) then there is a function \\(f\\) such that \\(f\\) is supported inside \\(A\\) and \\(\\widehat{f}\\) is supported on \\(B\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q417579$5F390F70-6709-47C2-96E9-769B3C8AD1FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e12e0386eac72986b2e8037229e58e0c16c31a","datavalue":{"value":{"entity-type":"item","numeric-id":1774282,"id":"Q1774282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c8b9e41ecb2abb40fedf446a4041350c7042f2","datavalue":{"value":{"amount":"+0.8402732610702515","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":"Q417579$79DAB65C-406F-4E68-BC60-FC6B4E2E4EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac89276cfa7d61eafe084a6197fc8277fc833d2","datavalue":{"value":{"entity-type":"item","numeric-id":5461373,"id":"Q5461373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d64c198fb308330d516116b542ade823455528","datavalue":{"value":{"amount":"+0.8223599195480347","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":"Q417579$975EA2CE-1F6F-462F-81BA-9C33A87A2D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257e9acee28d8d8f2d4a6d1f7dd7c0b8054ad02b","datavalue":{"value":{"entity-type":"item","numeric-id":5402812,"id":"Q5402812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f1426b43101d9df657831981ec96090bdebcfd","datavalue":{"value":{"amount":"+0.821053147315979","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":"Q417579$96FB290B-3B1B-4BF3-AC5A-BE7FFC00AF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056d2deb45f320c95eb0469989d709b085906392","datavalue":{"value":{"entity-type":"item","numeric-id":2581458,"id":"Q2581458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210d36ec1e3fcdee071fa6af6fa030e674b883cf","datavalue":{"value":{"amount":"+0.8051420450210571","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":"Q417579$1A824763-666E-43F4-8370-5A9C8E737C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01cc6580d63f5be1bdabf70d50c3d5e1b063a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4680159,"id":"Q4680159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07be7c20cadf2e843c9179bd757e3cd624b6ac9b","datavalue":{"value":{"amount":"+0.7961873412132263","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":"Q417579$D24ED434-5C62-41B3-9429-E843F7CDE534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:417579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:417579"}}}}}