{"id":"https://openalex.org/W7202356531","doi":"https://doi.org/10.48550/arxiv.2608.11709","title":"Polynomial-Time Lattice-Point Counting without Barvinok Decomposition","display_name":"Polynomial-Time Lattice-Point Counting without Barvinok Decomposition","publication_year":2026,"publication_date":"2026-08-12","ids":{"openalex":"https://openalex.org/W7202356531","doi":"https://doi.org/10.48550/arxiv.2608.11709"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.11709","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.11709","pdf_url":"https://arxiv.org/pdf/2608.11709","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.11709","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049446116","display_name":"Guoce Xin","orcid":"https://orcid.org/0000-0002-2505-5759","observed_orcids":["https://orcid.org/0000-0002-2505-5759","https://orcid.org/0000-0001-6259-1385"]},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin, Guoce","raw_affiliation_strings":["School of Mathematical Sciences , Capital Normal University , Beijing 100048 , P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences , Capital Normal University , Beijing 100048 , P.R. China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5147136942","display_name":"Zihao Zhang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhang, Zihao","raw_affiliation_strings":["School of Mathematics and Statistics , Beijing Institute of Technology , Beijing 102400 , P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics , Beijing Institute of Technology , Beijing 102400 , P.R. China","institution_ids":["https://openalex.org/I125839683"]}]}],"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":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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9359999895095825,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9359999895095825,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.0284000001847744,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11435","display_name":"Polynomial and algebraic computation","score":0.027000000700354576,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/lattice-point-counting","display_name":"lattice point counting","score":0.972000002861023},{"id":"https://openalex.org/keywords/partial-fraction-decomposition","display_name":"partial fraction decomposition","score":0.6790000200271606},{"id":"https://openalex.org/keywords/minkowski-s-theorem","display_name":"Minkowski's theorem","score":0.8610000014305115},{"id":"https://openalex.org/keywords/smith-normal-form","display_name":"Smith normal form","score":0.7369999885559082},{"id":"https://openalex.org/keywords/laurent-polynomials","display_name":"Laurent polynomials","score":0.7549999952316284},{"id":"https://openalex.org/keywords/polynomial-time-algorithms","display_name":"polynomial-time algorithms","score":0.621999979019165}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8130000233650208},{"id":"https://openalex.org/C201958917","wikidata":"https://www.wikidata.org/wiki/Q1367055","display_name":"Unimodular matrix","level":2,"score":0.7452999949455261},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.6427000164985657},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5677000284194946},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.46939998865127563},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41839998960494995},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.4009000062942505},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.3950999975204468},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3946000039577484},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.3873000144958496},{"id":"https://openalex.org/C184311908","wikidata":"https://www.wikidata.org/wiki/Q425432","display_name":"Laurent series","level":2,"score":0.37560001015663147},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.33320000767707825},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3156999945640564},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.31040000915527344},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.3091999888420105},{"id":"https://openalex.org/C124584101","wikidata":"https://www.wikidata.org/wiki/Q1053266","display_name":"Multiplier (economics)","level":2,"score":0.29649999737739563},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.2953000068664551},{"id":"https://openalex.org/C2778401447","wikidata":"https://www.wikidata.org/wiki/Q7140637","display_name":"Partition function (quantum field theory)","level":2,"score":0.2833999991416931},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C75190567","wikidata":"https://www.wikidata.org/wiki/Q41237","display_name":"Rational function","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C139503435","wikidata":"https://www.wikidata.org/wiki/Q5300083","display_name":"Double recursion","level":3,"score":0.267300009727478},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C1306188","wikidata":"https://www.wikidata.org/wiki/Q4060687","display_name":"Nested loop join","level":2,"score":0.2508000135421753},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.11709","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.11709","pdf_url":"https://arxiv.org/pdf/2608.11709","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.11709","doi":"https://doi.org/10.48550/arxiv.2608.11709","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.11709","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.11709","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.11709","pdf_url":"https://arxiv.org/pdf/2608.11709","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/G7799225896","display_name":null,"funder_award_id":"12571355","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7202356531.pdf","grobid_xml":"https://content.openalex.org/works/W7202356531.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W4381713716","https://openalex.org/W4399911385","https://openalex.org/W4404402210","https://openalex.org/W6910609534","https://openalex.org/W7170328365"],"related_works":["https://openalex.org/W4414683750","https://openalex.org/W7097274508","https://openalex.org/W2160273855","https://openalex.org/W2529045582","https://openalex.org/W2033084216","https://openalex.org/W3164622184","https://openalex.org/W1981750187","https://openalex.org/W2108559011","https://openalex.org/W3134948167","https://openalex.org/W1520871840"],"abstract_inverted_index":{"By":[0,45],"using":[1],"constant":[2],"term":[3],"manipulations,":[4],"we":[5,55],"present":[6],"the":[7,36,74,80,96,128,171],"first":[8],"polynomial-time":[9,164],"algorithm":[10,97,129,165],"for":[11,35,112,166],"lattice-point":[12,37],"counting":[13],"in":[14,119],"fixed":[15,120],"dimension":[16,121,172],"that":[17,60,154],"does":[18],"not":[19,158],"rely":[20],"on":[21,52],"Barvinok's":[22],"unimodular":[23,145],"decomposition.":[24],"Our":[25],"method":[26],"starts":[27],"from":[28],"partial":[29],"fraction":[30],"decompositions":[31],"and":[32,78,104,135],"root-of-unity":[33],"formulas":[34],"generating":[38,147],"function":[39],"of":[40,47,92,140],"a":[41,48,57,113,137,163],"rational":[42,114],"simplicial":[43,115],"cone.":[44],"means":[46],"residue-lattice":[49],"argument":[50],"based":[51],"Minkowski's":[53],"theorem,":[54],"construct":[56],"short":[58],"multiplier":[59],"enables":[61],"an":[62],"exact":[63],"recursive":[64,81],"reduction.":[65],"Smith":[66],"normal":[67],"form":[68],"is":[69,173],"then":[70],"used":[71],"to":[72],"normalize":[73],"resulting":[75],"child":[76],"terms":[77],"restore":[79],"structure.":[82],"These":[83],"transformations":[84],"are":[85,155],"justified":[86],"by":[87],"algebraic":[88],"identities":[89],"involving":[90],"roots":[91],"binomial":[93],"equations,":[94],"while":[95],"itself":[98],"works":[99],"with":[100,123],"integer":[101],"exponent":[102],"data":[103],"requires":[105],"no":[106],"explicit":[107],"root":[108],"computations.":[109],"More":[110],"precisely,":[111],"cone":[116,125,146],"\\(\\mathcal":[117,126],"K\\)":[118],"\\(d\\),":[122],"dual":[124],"K^*\\),":[127],"achieves":[130],"recursion":[131],"depth":[132],"\\(O_d(1+\\log\\log(2+\\ind(\\mathcal":[133],"K^*)))\\)":[134],"produces":[136],"signed":[138],"sum":[139],"at":[141],"most":[142],"\\((1+\\log\\ind(\\mathcal":[143],"K^*))^{O_d(1)}\\)":[144],"functions.":[148],"The":[149],"framework":[150],"uniformly":[151],"handles":[152],"numerators":[153],"Laurent":[156],"polynomials,":[157],"merely":[159],"monomials,":[160],"thereby":[161],"giving":[162],"MacMahon's":[167],"partition":[168],"analysis":[169],"when":[170],"fixed.":[174]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-08-14T00:00:00"}