{"entities":{"Q1774282":{"pageid":1785024,"ns":120,"title":"Item:Q1774282","lastrevid":57537408,"modified":"2026-03-31T07:51:47Z","type":"item","id":"Q1774282","labels":{"en":{"language":"en","value":"An uncertainty principle for cyclic groups of prime order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2162953"}},"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":"Q1774282$AC540ABE-7C80-4115-92CA-A0300863743E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ce10de49f81db71fe5ef715a667925d0a049396","datavalue":{"value":{"text":"An uncertainty principle for cyclic groups of prime order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1774282$9554625F-FAF2-4FB7-99F3-8526F43F1B7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58fb8ffe98a6398207926a91c7e3812828052ade","datavalue":{"value":"1080.42002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774282$F46E2B4C-C345-4E11-BF5B-5FB7FCEF318D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774282$28CC8AC0-D9B2-4F19-A32D-6DCB2D2CEC67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfdd76c6ace7e0d57b8524faf2ffe47b441fd852","datavalue":{"value":{"time":"+2005-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1774282$C7362666-9356-4A1E-B545-DD6685EE3B30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e18626c0fbf1fab9e6c3b7d5b916ba1084ec2f57","datavalue":{"value":"https://arxiv.org/abs/math/0308286","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774282$E11F3B8D-8931-4459-AF43-6628A6591753","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fdb1427b8c59054fc9a563a0fcf028dc423d0131","datavalue":{"value":"If \\(G\\) is a finite abelian group with Haar measure \\(| \\cdot| \\), and \\(f:G\\to \\mathbb{C}\\) is not identically zero then  \\[ | {\\text{supp}}(f)| | {\\text{supp}}(\\hat f)| \\geq | G| \\leqno{\\text{(G)}} \\]  where \\(\\hat{f}\\) is the discrete Fourier transform of \\(f\\). If \\(G=\\mathbb{Z}_N\\) where \\(N\\) is composite, the sharpness of this inequality is seen by taking \\(f\\) to be the characteristic function of a proper, nontrivial subgroup. In general, its arithmetic analog  \\[ | {\\text{supp}}(f)| +| {\\text{supp}}(\\hat f)| \\geq 2\\sqrt{| G| } \\]  is not sharp. However, when \\(N=P\\) is prime the author proves the sharp result  \\[ | {\\text{supp}}(f)| +| {\\text{supp}}(\\hat f)| \\geq | P| +1.\\leqno{\\text{(P)}} \\]  Inequality (P) does not follow simply from Cauchy-Schwarz as (G) does. Rather, it uses the fact that if \\(P\\) is prime then all of the minors of the discrete Fourier matrix are nonzero. The author mentions several proofs of this fact in the literature, and provides a new ``analytic'' proof. It is also shown that the Cauchy-Davenport inequality  \\[ | A+B| \\geq \\min\\,(| A| +B| -1,P) \\]  for subsets \\(A\\) and \\(B\\) of \\(\\mathbb{Z}_P\\) follows in a simple way from (P).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774282$F5ECF17D-7F69-406F-96C4-A73986D0F62E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ece9bc63b7314d725c9be7c351612e465cf9932","datavalue":{"value":"42A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774282$925E80AD-38C8-4F88-AF26-A5E2CA99642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb43a808be311368e987aa708d28b6350ae1ca2b","datavalue":{"value":"43A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774282$B3095E7B-CF92-4566-9555-6396B322D941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774282$BD316030-296B-48F3-8EFC-65600DE85324","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e1219996769fd699baa889a4c93960ceb4b62e1","datavalue":{"value":"2162953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774282$5F9DD54D-58CE-442A-B00E-54F358E6ED51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8296be2c7bcb6c7255e92bbf284023553ceb1891","datavalue":{"value":"uncertainty principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774282$EDB201ED-5A20-4D51-8B45-08FCFE954335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"861e477912a2f75b76d4a0f9628e09b530824106","datavalue":{"value":"discrete Fourier transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774282$971DCEBB-C629-49CB-B012-F1A83D389801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdd1ce9435fac1222e4a1b686f68b164f15a84e","datavalue":{"value":"Cauchy-Davenport inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774282$16AABB5B-73A5-4B7E-A041-21E105431044","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe60b311a527629f2774b7ec36d2dbcf1e0d4f35","datavalue":{"value":"Q106312543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774282$0AF23F15-B5ED-45A6-8571-7AC9428CBCD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa0a0fd6d39713c055b1389b556244194d49e99e","datavalue":{"value":{"entity-type":"item","numeric-id":934227,"id":"Q934227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774282$1FE61B65-EEEB-4981-8640-FA9252F9F588","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":"Q1774282$88E1DB4F-4927-4EF3-B1EF-908A9FD65278","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":"Q1774282$465798A8-157D-466D-8590-83B4F5E8D22F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fff781459c64a830762f892093c12f7811461b73","datavalue":{"value":"W2035816523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774282$B29FE62F-5E40-43E3-A3F6-D118ECCD28E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee5b7594346a7a7e4af375164a743f2b1cfa9ff8","datavalue":{"value":"10.4310/MRL.2005.V12.N1.A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774282$2FD4F8D6-81FB-4303-A003-1C6AC8512999","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8631261baf218a006fdad725f99c93d8afbf949e","datavalue":{"value":{"entity-type":"item","numeric-id":417579,"id":"Q417579"},"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":"Q1774282$526BC63A-EEFD-483D-AA6B-763A8C8A3307","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":"2b5636a11e0e479e1c7681ae62b707ebbf49d256","datavalue":{"value":{"amount":"+0.8396207094192505","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":"Q1774282$156B2A01-867F-4CA5-B213-00C13695ADB6","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":"1d6b3447d163b8df2ada00271e4fd2da551fc2fe","datavalue":{"value":{"amount":"+0.8294352293014526","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":"Q1774282$7016E842-5E8F-40E9-AA26-F76645F2F00B","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":"479fd4605038bfa0c4718132d9979453db9a9cf9","datavalue":{"value":{"amount":"+0.825825035572052","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":"Q1774282$014683D5-8C16-4087-8C29-86454FE35CAB","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":"97cdf39fab091138ef73a9dad819ab272075c1bb","datavalue":{"value":{"amount":"+0.8257498145103455","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":"Q1774282$E58462C9-3D7A-4207-8FC0-86F2014A3A49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1774282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1774282"}}}}}