{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T04:06:00Z","timestamp":1750910760811,"version":"3.41.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:00:00Z","timestamp":1747008000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:00:00Z","timestamp":1747008000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"HUN-REN Alfr\u00e9d R\u00e9nyi Institute of Mathematics"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Combinatorica"],"published-print":{"date-parts":[[2025,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>The Liebeck\u2013Nikolov\u2013Shalev conjecture (Bull Lond Math Soc 44(3):469\u2013472, 2012) asserts that, for any finite simple non-abelian group <jats:italic>G<\/jats:italic> and any set <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$A\\subseteq G$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>A<\/mml:mi>\n                    <mml:mo>\u2286<\/mml:mo>\n                    <mml:mi>G<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> with <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$|A|\\ge 2$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mo>|<\/mml:mo>\n                    <mml:mi>A<\/mml:mi>\n                    <mml:mo>|<\/mml:mo>\n                    <mml:mo>\u2265<\/mml:mo>\n                    <mml:mn>2<\/mml:mn>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>, <jats:italic>G<\/jats:italic> is the product of at most <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$N\\frac{\\log |G|}{\\log |A|}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>N<\/mml:mi>\n                    <mml:mfrac>\n                      <mml:mrow>\n                        <mml:mo>log<\/mml:mo>\n                        <mml:mo>|<\/mml:mo>\n                        <mml:mi>G<\/mml:mi>\n                        <mml:mo>|<\/mml:mo>\n                      <\/mml:mrow>\n                      <mml:mrow>\n                        <mml:mo>log<\/mml:mo>\n                        <mml:mo>|<\/mml:mo>\n                        <mml:mi>A<\/mml:mi>\n                        <mml:mo>|<\/mml:mo>\n                      <\/mml:mrow>\n                    <\/mml:mfrac>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> conjugates of <jats:italic>A<\/jats:italic>, for some absolute constant <jats:italic>N<\/jats:italic>. For <jats:italic>G<\/jats:italic> of Lie type, we prove that for any <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\varepsilon &gt;0$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>\u03b5<\/mml:mi>\n                    <mml:mo>&gt;<\/mml:mo>\n                    <mml:mn>0<\/mml:mn>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> there is some <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$N_{\\varepsilon }$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mi>N<\/mml:mi>\n                    <mml:mi>\u03b5<\/mml:mi>\n                  <\/mml:msub>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> for which <jats:italic>G<\/jats:italic> is the product of at most <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$N_{\\varepsilon }\\left( \\frac{\\log |G|}{\\log |A|}\\right) ^{1+\\varepsilon }$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:msub>\n                      <mml:mi>N<\/mml:mi>\n                      <mml:mi>\u03b5<\/mml:mi>\n                    <\/mml:msub>\n                    <mml:msup>\n                      <mml:mfenced>\n                        <mml:mfrac>\n                          <mml:mrow>\n                            <mml:mo>log<\/mml:mo>\n                            <mml:mo>|<\/mml:mo>\n                            <mml:mi>G<\/mml:mi>\n                            <mml:mo>|<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:mrow>\n                            <mml:mo>log<\/mml:mo>\n                            <mml:mo>|<\/mml:mo>\n                            <mml:mi>A<\/mml:mi>\n                            <mml:mo>|<\/mml:mo>\n                          <\/mml:mrow>\n                        <\/mml:mfrac>\n                      <\/mml:mfenced>\n                      <mml:mrow>\n                        <mml:mn>1<\/mml:mn>\n                        <mml:mo>+<\/mml:mo>\n                        <mml:mi>\u03b5<\/mml:mi>\n                      <\/mml:mrow>\n                    <\/mml:msup>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> conjugates of either <jats:italic>A<\/jats:italic> or <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$A^{-1}$$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msup>\n                    <mml:mi>A<\/mml:mi>\n                    <mml:mrow>\n                      <mml:mo>-<\/mml:mo>\n                      <mml:mn>1<\/mml:mn>\n                    <\/mml:mrow>\n                  <\/mml:msup>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>. For symmetric sets, this improves on results of Liebeck et al. (2012) and Gill et al. (Groups Geom Dyn 7(4):867\u2013882, 2013). During the preparation of this paper, the proof of the Liebeck\u2013Nikolov\u2013Shalev conjecture was completed by Lifshitz (Completing the proof of the Liebeck\u2013Nikolov\u2013Shalev conjecture, 2024, <jats:ext-link xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"https:\/\/arxiv.org\/abs\/2408.10127\" ext-link-type=\"uri\">https:\/\/arxiv.org\/abs\/2408.10127<\/jats:ext-link>). Both papers use Gill et al. (Initiating the proof of the Liebeck\u2013Nikolov\u2013Shalev conjecture, 2024, <jats:ext-link xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"https:\/\/arxiv.org\/abs\/2408.07800\" ext-link-type=\"uri\">https:\/\/arxiv.org\/abs\/2408.07800<\/jats:ext-link>) as a starting point. Lifshitz\u2019s argument uses heavy machinery from representation theory to complete the conjecture, whereas this paper achieves a more modest result by rather elementary combinatorial arguments.<\/jats:p>","DOI":"10.1007\/s00493-025-00155-1","type":"journal-article","created":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T15:51:25Z","timestamp":1747065085000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Writing Finite Simple Groups of Lie Type as Products of Subset Conjugates"],"prefix":"10.1007","volume":"45","author":[{"given":"Daniele","family":"Dona","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,12]]},"reference":[{"issue":"1","key":"155_CR1","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1137\/0209018","volume":"9","author":"L Babai","year":"1980","unstructured":"Babai, L.: On the complexity of canonical labeling of strongly regular graphs. SIAM J. Comput. 9(1), 212\u2013216 (1980)","journal-title":"SIAM J. Comput."},{"key":"155_CR2","unstructured":"Bajpai, J., Dona, D., Helfgott, H.A.: Growth estimates and diameter bounds for classical Chevalley groups (2021). arXiv:2110.02942"},{"issue":"4","key":"155_CR3","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1007\/s00039-011-0122-y","volume":"21","author":"E Breuillard","year":"2011","unstructured":"Breuillard, E., Green, B., Tao, T.: Approximate subgroups of linear groups. Geom. Funct. Anal. 21(4), 774\u2013819 (2011)","journal-title":"Geom. Funct. Anal."},{"issue":"1","key":"155_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0097-3165(88)90033-7","volume":"49","author":"L Babai","year":"1988","unstructured":"Babai, L., Seress, \u00c1.: On the diameter of Cayley graphs of the symmetric group. J. Comb. Theory Ser. A 49(1), 175\u2013179 (1988)","journal-title":"J. Comb. Theory Ser. A"},{"key":"155_CR5","unstructured":"DeVos, M.: Longer cycles in vertex transitive graphs (2023). arXiv:2302.04255"},{"issue":"8","key":"155_CR6","doi-asserted-by":"publisher","first-page":"2704","DOI":"10.1112\/blms.13093","volume":"56","author":"D Dona","year":"2024","unstructured":"Dona, D., Mar\u00f3ti, A., Pyber, L.: Growth of products of subsets in finite simple groups. Bull. Lond. Math. Soc. 56(8), 2704\u20132710 (2024)","journal-title":"Bull. Lond. Math. Soc."},{"issue":"6","key":"155_CR7","doi-asserted-by":"publisher","first-page":"3023","DOI":"10.1090\/S0002-9947-2012-05427-4","volume":"364","author":"J Fulman","year":"2012","unstructured":"Fulman, J., Guralnick, R.: Bounds on the number and sizes of conjugacy classes in finite Chevalley groups with applications to derangements. Trans. Am. Math. Soc. 364(6), 3023\u20133070 (2012)","journal-title":"Trans. Am. Math. Soc."},{"key":"155_CR8","unstructured":"Gill, N., Lifshitz, N., Pyber, L., Szab\u00f3, E.: Initiating the proof of the Liebeck-Nikolov-Shalev conjecture (2024). arXiv:2408.07800"},{"issue":"4","key":"155_CR9","doi-asserted-by":"publisher","first-page":"867","DOI":"10.4171\/ggd\/208","volume":"7","author":"N Gill","year":"2013","unstructured":"Gill, N., Pyber, L., Short, I., Szab\u00f3, E.: On the product decomposition conjecture for finite simple groups. Groups Geom. Dyn. 7(4), 867\u2013882 (2013)","journal-title":"Groups Geom. Dyn."},{"issue":"167","key":"155_CR10","doi-asserted-by":"publisher","first-page":"601","DOI":"10.4007\/annals.2008.167.601","volume":"2","author":"HA Helfgott","year":"2008","unstructured":"Helfgott, H.A.: Growth and generation in **. Ann. Math. 2(167), 601\u2013623 (2008)","journal-title":"Ann. Math."},{"key":"155_CR11","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1017\/9781108692397.014","volume-title":"Groups St Andrews 2017 in Birmingham, Volume 455 of London Mathematical Society Lecture Note Series","author":"HA Helfgott","year":"2019","unstructured":"Helfgott, H.A.: Growth in linear algebraic groups and permutation groups: towards a unified perspective. In: Campbell, C.M., Parker, C.W., Quick, M.R., Robertson, E.F., Roney-Dougal, C.M. (eds.) Groups St Andrews 2017 in Birmingham, Volume 455 of London Mathematical Society Lecture Note Series, pp. 300\u2013345. Cambridge University Press, Cambridge (2019)"},{"key":"155_CR12","doi-asserted-by":"crossref","unstructured":"Kleidman, P., Liebeck, M.: The subgroup structure of the finite classical groups. In: London Mathematical Society Lecture Note Series, vol. 129. Cambridge University Press, Cambridge (1990)","DOI":"10.1017\/CBO9780511629235"},{"key":"155_CR13","unstructured":"Lifshitz, N.: Completing the proof of the Liebeck-Nikolov-Shalev conjecture (2024). arXiv:2408.10127"},{"issue":"4","key":"155_CR14","doi-asserted-by":"publisher","first-page":"799","DOI":"10.4171\/ggd\/107","volume":"4","author":"MW Liebeck","year":"2010","unstructured":"Liebeck, M.W., Nikolov, N., Shalev, A.: A conjecture on product decompositions in simple groups. Groups Geom. Dyn. 4(4), 799\u2013812 (2010)","journal-title":"Groups Geom. Dyn."},{"issue":"3","key":"155_CR15","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1112\/blms\/bdr107","volume":"44","author":"MW Liebeck","year":"2012","unstructured":"Liebeck, M.W., Nikolov, N., Shalev, A.: Product decompositions in finite simple groups. Bull. Lond. Math. Soc. 44(3), 469\u2013472 (2012)","journal-title":"Bull. Lond. Math. Soc."},{"issue":"2","key":"155_CR16","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1006\/jabr.1997.7158","volume":"198","author":"MW Liebeck","year":"1997","unstructured":"Liebeck, M.W., Pyber, L.: Upper bounds for the number of conjugacy classes of a finite group. J. Algebra 198(2), 538\u2013562 (1997)","journal-title":"J. Algebra"},{"key":"155_CR17","doi-asserted-by":"crossref","unstructured":"Liebeck, M.W., Seitz, G.M.: Unipotent and nilpotent classes in simple algebraic groups and Lie algebras. In: Mathematical Surveys and Monographs, vol. 180. American Mathematical Society, Providence (2012)","DOI":"10.1090\/surv\/180"},{"issue":"12","key":"155_CR18","doi-asserted-by":"publisher","first-page":"8765","DOI":"10.1090\/tran\/6935","volume":"369","author":"MW Liebeck","year":"2017","unstructured":"Liebeck, M.W., Schul, G., Shalev, A.: Rapid growth in finite simple groups. Trans. Am. Math. Soc. 369(12), 8765\u20138779 (2017)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"155_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4007\/annals.2024.200.1.1","volume":"200","author":"MJ Larsen","year":"2024","unstructured":"Larsen, M.J., Tiep, P.H.: Uniform character bounds for finite classical groups. Ann. Math. (2) 200(1), 1\u201370 (2024)","journal-title":"Ann. Math. (2)"},{"issue":"1","key":"155_CR20","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1090\/S0894-0347-2014-00821-3","volume":"29","author":"L Pyber","year":"2016","unstructured":"Pyber, L., Szab\u00f3, E.: Growth in finite simple groups of Lie type. J. Am. Math. Soc. 29(1), 95\u2013146 (2016)","journal-title":"J. Am. Math. Soc."},{"issue":"1","key":"155_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1446788700027622","volume":"3","author":"GE Wall","year":"1963","unstructured":"Wall, G.E.: On the conjugacy classes in the unitary, symplectic and orthogonal groups. J. Aust. Math. Soc. 3(1), 1\u201362 (1963)","journal-title":"J. Aust. Math. Soc."}],"container-title":["Combinatorica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00493-025-00155-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00493-025-00155-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00493-025-00155-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T13:15:21Z","timestamp":1750857321000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00493-025-00155-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,12]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["155"],"URL":"https:\/\/doi.org\/10.1007\/s00493-025-00155-1","relation":{},"ISSN":["0209-9683","1439-6912"],"issn-type":[{"type":"print","value":"0209-9683"},{"type":"electronic","value":"1439-6912"}],"subject":[],"published":{"date-parts":[[2025,5,12]]},"assertion":[{"value":"24 October 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 March 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 May 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"28"}}