{"title":"张量拟随机群","authors":"Mark Sellke","doi":"10.1090/bproc/86","DOIUrl":null,"url":null,"abstract":"<p>Gowers [Combin. Probab. Comput. 17 (2008), pp. 363–387] elegantly characterized the finite groups <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\">\n <mml:semantics>\n <mml:mi>G</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">G</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> in which <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A 1 upper A 2 upper A 3 equals upper G\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mn>1</mml:mn>\n </mml:msub>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mn>2</mml:mn>\n </mml:msub>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mn>3</mml:mn>\n </mml:msub>\n <mml:mo>=</mml:mo>\n <mml:mi>G</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A_1A_2A_3=G</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> for any positive density subsets <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A 1 comma upper A 2 comma upper A 3\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mn>1</mml:mn>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mn>2</mml:mn>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mn>3</mml:mn>\n </mml:msub>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A_1,A_2,A_3</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. This property, <italic>quasi-randomness</italic>, holds if and only if <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\">\n <mml:semantics>\n <mml:mi>G</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">G</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> does not admit a nontrivial irreducible representation of constant dimension. We present a dual characterization of <italic>tensor quasi-random</italic> groups in which multiplication of subsets is replaced by tensor product of representations.</p>","PeriodicalId":106316,"journal":{"name":"Proceedings of the American Mathematical Society, Series B","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Tensor quasi-random groups\",\"authors\":\"Mark Sellke\",\"doi\":\"10.1090/bproc/86\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Gowers [Combin. Probab. Comput. 17 (2008), pp. 363–387] elegantly characterized the finite groups <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper G\\\">\\n <mml:semantics>\\n <mml:mi>G</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">G</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> in which <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper A 1 upper A 2 upper A 3 equals upper G\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:msub>\\n <mml:mi>A</mml:mi>\\n <mml:mn>1</mml:mn>\\n </mml:msub>\\n <mml:msub>\\n <mml:mi>A</mml:mi>\\n <mml:mn>2</mml:mn>\\n </mml:msub>\\n <mml:msub>\\n <mml:mi>A</mml:mi>\\n <mml:mn>3</mml:mn>\\n </mml:msub>\\n <mml:mo>=</mml:mo>\\n <mml:mi>G</mml:mi>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">A_1A_2A_3=G</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> for any positive density subsets <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper A 1 comma upper A 2 comma upper A 3\\\">\\n <mml:semantics>\\n <mml:mrow>\\n <mml:msub>\\n <mml:mi>A</mml:mi>\\n <mml:mn>1</mml:mn>\\n </mml:msub>\\n <mml:mo>,</mml:mo>\\n <mml:msub>\\n <mml:mi>A</mml:mi>\\n <mml:mn>2</mml:mn>\\n </mml:msub>\\n <mml:mo>,</mml:mo>\\n <mml:msub>\\n <mml:mi>A</mml:mi>\\n <mml:mn>3</mml:mn>\\n </mml:msub>\\n </mml:mrow>\\n <mml:annotation encoding=\\\"application/x-tex\\\">A_1,A_2,A_3</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula>. This property, <italic>quasi-randomness</italic>, holds if and only if <inline-formula content-type=\\\"math/mathml\\\">\\n<mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper G\\\">\\n <mml:semantics>\\n <mml:mi>G</mml:mi>\\n <mml:annotation encoding=\\\"application/x-tex\\\">G</mml:annotation>\\n </mml:semantics>\\n</mml:math>\\n</inline-formula> does not admit a nontrivial irreducible representation of constant dimension. We present a dual characterization of <italic>tensor quasi-random</italic> groups in which multiplication of subsets is replaced by tensor product of representations.</p>\",\"PeriodicalId\":106316,\"journal\":{\"name\":\"Proceedings of the American Mathematical Society, Series B\",\"volume\":\"35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-03-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the American Mathematical Society, Series B\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1090/bproc/86\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/bproc/86","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Gowers [Combin. Probab. Comput. 17 (2008), pp. 363–387] elegantly characterized the finite groups GG in which A1A2A3=GA_1A_2A_3=G for any positive density subsets A1,A2,A3A_1,A_2,A_3. This property, quasi-randomness, holds if and only if GG does not admit a nontrivial irreducible representation of constant dimension. We present a dual characterization of tensor quasi-random groups in which multiplication of subsets is replaced by tensor product of representations.