{"id":"https://openalex.org/W7204155431","doi":"https://doi.org/10.48550/arxiv.2608.23319","title":"The Gao-Zhuang conjecture for the Heisenberg group over $\\mathbb{F}_p$","display_name":"The Gao-Zhuang conjecture for the Heisenberg group over $\\mathbb{F}_p$","publication_year":2026,"publication_date":"2026-08-24","ids":{"openalex":"https://openalex.org/W7204155431","doi":"https://doi.org/10.48550/arxiv.2608.23319"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.23319","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.23319","pdf_url":"https://arxiv.org/pdf/2608.23319","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.23319","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021046758","display_name":"Yongke Qu","orcid":"https://orcid.org/0000-0003-4052-7635","observed_orcids":["https://orcid.org/0000-0003-4052-7635"]},"institutions":[{"id":"https://openalex.org/I4210117164","display_name":"Luoyang Normal University","ror":"https://ror.org/029man787","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210117164"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qu, Yongke","raw_affiliation_strings":["Department of Mathematics , Luoyang Normal University , Luoyang 471934 , P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics , Luoyang Normal University , Luoyang 471934 , P.R. China","institution_ids":["https://openalex.org/I4210117164"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5146920169","display_name":"Guoqing Wang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I198091727","display_name":"Tiangong University","ror":"https://ror.org/00xsr9m91","country_code":"CN","type":"education","lineage":["https://openalex.org/I198091727"]},{"id":"https://openalex.org/I4210117164","display_name":"Luoyang Normal University","ror":"https://ror.org/029man787","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210117164"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang, Guoqing","raw_affiliation_strings":["Department of Mathematics , Luoyang Normal University , Luoyang 471934 , P.R. China","School of Mathematical Sciences , Tiangong University , Tianjin 300387 , P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics , Luoyang Normal University , Luoyang 471934 , P.R. China","institution_ids":["https://openalex.org/I4210117164"]},{"raw_affiliation_string":"School of Mathematical Sciences , Tiangong University , Tianjin 300387 , P.R. China","institution_ids":["https://openalex.org/I198091727"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.5756999850273132,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.5756999850273132,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.19789999723434448,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11703","display_name":"Rings, Modules, and Algebras","score":0.0430000014603138,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/finite-heisenberg-group","display_name":"finite Heisenberg group","score":0.671999990940094},{"id":"https://openalex.org/keywords/non-abelian-groups","display_name":"non-abelian groups","score":0.6290000081062317}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8162999749183655},{"id":"https://openalex.org/C137877099","wikidata":"https://www.wikidata.org/wiki/Q1332977","display_name":"Subsequence","level":3,"score":0.7321000099182129},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7232999801635742},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6996999979019165},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.6811000108718872},{"id":"https://openalex.org/C127519595","wikidata":"https://www.wikidata.org/wiki/Q1601337","display_name":"Heisenberg group","level":2,"score":0.6650000214576721},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.6103000044822693},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.6098999977111816},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6071000099182129},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6011999845504761},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.5475999712944031},{"id":"https://openalex.org/C2777404646","wikidata":"https://www.wikidata.org/wiki/Q1057968","display_name":"Finite group","level":3,"score":0.5328999757766724},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5257999897003174},{"id":"https://openalex.org/C20725272","wikidata":"https://www.wikidata.org/wiki/Q245462","display_name":"Cyclic group","level":3,"score":0.4097000062465668},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3594000041484833},{"id":"https://openalex.org/C113429393","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime number","level":2,"score":0.34630000591278076},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.23319","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.23319","pdf_url":"https://arxiv.org/pdf/2608.23319","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.23319","doi":"https://doi.org/10.48550/arxiv.2608.23319","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.23319","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.23319","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.23319","pdf_url":"https://arxiv.org/pdf/2608.23319","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G5087386556","display_name":null,"funder_award_id":"12371335","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204155431.pdf","grobid_xml":"https://content.openalex.org/works/W7204155431.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W7203900930"],"related_works":["https://openalex.org/W4393995658","https://openalex.org/W7171801006","https://openalex.org/W7171381515","https://openalex.org/W7169558770","https://openalex.org/W7203900930","https://openalex.org/W7223011498","https://openalex.org/W4220935506","https://openalex.org/W7169611411","https://openalex.org/W4384300082","https://openalex.org/W4400341991"],"abstract_inverted_index":{"Let":[0,82],"$G$":[1,14,29,39,50],"be":[2,84,92],"a":[3,24,57],"finite":[4,78,94],"nonabelian":[5,79],"group.":[6],"The":[7],"small":[8],"Davenport":[9],"constant":[10,36,137],"$\\mathsf":[11,128],"d(G)$":[12],"of":[13,30,38,51,60,67,138,157,164],"is":[15,40],"the":[16,34,41,93,104,113,135,147,155,158],"largest":[17],"integer":[18,43],"$\\ell$":[19,44,55],"such":[20,45],"that":[21,46,73,127,142],"there":[22],"exists":[23],"product-one":[25,58],"free":[26],"sequence":[27,48],"over":[28,49,97],"length":[31,52,61],"$\\ell$,":[32],"while":[33],"Gao":[35,68,136],"$E(G)$":[37],"least":[42,54],"every":[47,77,120,168],"at":[53],"contains":[56],"subsequence":[59],"exactly":[62],"$|G|$.":[63],"A":[64],"long-standing":[65],"conjecture":[66],"and":[69,88,101,110,140,150],"Zhuang":[70],"\\cite{ZG2005}":[71],"asserts":[72],"$E(G)=\\mathsf":[74],"d(G)+|G|$":[75],"for":[76,107,117,119,161,167],"group":[80,96],"$G$.":[81],"$p$":[83],"an":[85],"odd":[86,121],"prime":[87,122,169],"let":[89],"$H_{p^3}=\\operatorname{UT}_3(\\mathbb":[90],"F_p)$":[91],"Heisenberg":[95],"$\\mathbb":[98],"F_p$.":[99],"Godara":[100],"Sarkar":[102],"proved":[103,126],"Gao-Zhuang":[105,159],"equality":[106,115,160],"$H_{27}=\\operatorname{UT}_3(\\mathbb":[108],"F_3)$":[109],"asked":[111],"whether":[112],"same":[114],"holds":[116],"$H_{p^3}$":[118,139],"$p$.":[123,170],"Recently,":[124],"Volkmann":[125],"d(H_{p^3})=3p-3$.":[129],"In":[130],"this":[131,153],"paper,":[132],"we":[133],"determine":[134],"prove":[141],"$E(H_{p^3})=\\mathsf":[143],"d(H_{p^3})+|H_{p^3}|=p^3+3p-3$.":[144],"Together":[145],"with":[146],"known":[148],"abelian":[149],"cyclic-index":[151],"cases,":[152],"completes":[154],"verification":[156],"all":[162],"groups":[163],"order":[165],"$p^3$,":[166]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-26T00:00:00"}