{"id":"https://openalex.org/W7161298258","doi":"https://doi.org/10.4230/lipics.fun.2026.11","title":"An Almost-Optimal Upper Bound on the Push Number of the Torus Puzzle","display_name":"An Almost-Optimal Upper Bound on the Push Number of the Torus Puzzle","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7161298258","doi":"https://doi.org/10.4230/lipics.fun.2026.11"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2601.08989","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2601.08989","pdf_url":"https://arxiv.org/pdf/2601.08989","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,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2601.08989","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5123090077","display_name":"Matteo Caporrella","orcid":null},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Caporrella, Matteo","raw_affiliation_strings":["Department of Information Engineering, Computer Science, and Mathematics, University of L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0009-0008-4057-9711","affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science, and Mathematics, University of L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028702811","display_name":"Stefano Leucci","orcid":"https://orcid.org/0000-0002-8848-7006"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Leucci, Stefano","raw_affiliation_strings":["Department of Information Engineering, Computer Science, and Mathematics, University of L'Aquila, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8848-7006","affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science, and Mathematics, University of L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.8270000219345093,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.8270000219345093,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.020999999716877937,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13664","display_name":"Genome Rearrangement Algorithms","score":0.01679999940097332,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.8823000192642212},{"id":"https://openalex.org/keywords/torus","display_name":"Torus","score":0.7426999807357788},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4957999885082245},{"id":"https://openalex.org/keywords/row","display_name":"Row","score":0.42410001158714294},{"id":"https://openalex.org/keywords/rotation","display_name":"Rotation (mathematics)","score":0.33660000562667847},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.3255000114440918}],"concepts":[{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.8823000192642212},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7687000036239624},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7616000175476074},{"id":"https://openalex.org/C9767117","wikidata":"https://www.wikidata.org/wiki/Q12510","display_name":"Torus","level":2,"score":0.7426999807357788},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4957999885082245},{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.42410001158714294},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3564999997615814},{"id":"https://openalex.org/C74050887","wikidata":"https://www.wikidata.org/wiki/Q848368","display_name":"Rotation (mathematics)","level":2,"score":0.33660000562667847},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3255000114440918},{"id":"https://openalex.org/C122637931","wikidata":"https://www.wikidata.org/wiki/Q118084","display_name":"Unit (ring theory)","level":2,"score":0.3118000030517578},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.29760000109672546},{"id":"https://openalex.org/C104528550","wikidata":"https://www.wikidata.org/wiki/Q506265","display_name":"Triangular matrix","level":3,"score":0.28760001063346863},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.2849000096321106}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2601.08989","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2601.08989","pdf_url":"https://arxiv.org/pdf/2601.08989","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,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:drops-oai.dagstuhl.de:25730","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2026.11","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol366-fun2026/LIPIcs.FUN.2026.11/LIPIcs.FUN.2026.11.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"InProceedings"},{"id":"doi:10.4230/lipics.fun.2026.11","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fun.2026.11","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2601.08989","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2601.08989","pdf_url":"https://arxiv.org/pdf/2601.08989","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,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7161298258.pdf","grobid_xml":"https://content.openalex.org/works/W7161298258.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"study":[1],"the":[2,10,49,60,75,78,82,88,92,96,105,126,136,161,183,193,198,201],"Torus":[3,162],"Puzzle,":[4],"a":[5,24,28,44,174,188],"solitaire":[6],"game":[7],"in":[8,173],"which":[9],"elements":[11,62],"of":[12,30,36,48,66,70,81,113,138,182],"an":[13,109,122,142,157],"input":[14],"m":[15],"\u00d7":[16],"n":[17],"matrix":[18],"need":[19],"to":[20,73,104,135,209],"be":[21],"rearranged":[22],"into":[23],"target":[25],"configuration":[26],"via":[27],"sequence":[29],"unit":[31,171],"rotations":[32,71,172],"(i.e.,":[33],"circular":[34],"shifts)":[35],"rows":[37],"and/or":[38],"columns.":[39],"Amano":[40],"et":[41],"al.":[42],"proposed":[43],"more":[45,178],"permissive":[46,79],"variant":[47],"above":[50],"puzzle,":[51],"where":[52,95],"each":[53],"row":[54],"and":[55,77,91,107,196,204],"column":[56],"rotation":[57],"can":[58],"shift":[59],"involved":[61],"by":[63,121],"any":[64],"amount":[65],"positions.":[67],"The":[68],"number":[69,90,128,195],"needed":[72],"solve":[74],"original":[76,184],"variants":[80],"puzzle":[83],"are":[84],"respectively":[85],"known":[86,202],"as":[87],"push":[89,127,194],"drag":[93],"number,":[94],"latter":[97],"is":[98,119,129,149,177],"always":[99],"smaller":[100],"than":[101,180],"or":[102],"equal":[103],"former":[106],"admits":[108],"existential":[110],"lower":[111,117,205],"bound":[112,118,148,191],"\u03a9(mn).":[114],"While":[115],"this":[116,153],"matched":[120],"O(mn)":[123],"upper":[124,147,190,203],"bound,":[125],"not":[130],"so":[131],"well":[132],"understood.":[133],"Indeed,":[134],"best":[137],"our":[139],"knowledge,":[140],"only":[141],"O(mn":[143,165],"\u22c5":[144,166],"max{m,":[145,211],"n})":[146,170],"currently":[150],"known.":[151],"In":[152],"paper,":[154],"we":[155],"provide":[156],"algorithm":[158],"that":[159,176,181],"solves":[160],"Puzzle":[163],"using":[164],"log":[167],"max":[168],"{m,":[169],"model":[175],"restricted":[179],"puzzle.":[185],"This":[186],"implies":[187],"corresponding":[189],"on":[192],"reduces":[197],"gap":[199],"between":[200],"bounds":[206],"from":[207],"\u0398(max{m,n})":[208],"\u0398(log":[210],"n}).":[212]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2026-05-16T00:00:00"}
