{"id":"https://openalex.org/W7225458332","doi":"https://doi.org/10.5281/zenodo.24044293","title":"Structure of the Chiral Anomaly in the Real-Time Henstock\u2013Kurzweil Framework: Exact Ward Identity and Regulator Universality","display_name":"Structure of the Chiral Anomaly in the Real-Time Henstock\u2013Kurzweil Framework: Exact Ward Identity and Regulator Universality","publication_year":2026,"publication_date":"2026-11-07","ids":{"openalex":"https://openalex.org/W7225458332","doi":"https://doi.org/10.5281/zenodo.24044293"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24044293","doi":"https://doi.org/10.5281/zenodo.24044293","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24044293","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24044293","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134475099","display_name":"Yuri N. Berdinsky","orcid":"https://orcid.org/0009-0003-1858-004X","observed_orcids":["https://orcid.org/0009-0003-1858-004X"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Berdinsky, Yu. N.","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0003-1858-004X","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5134475099"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T10048","display_name":"Particle physics theoretical and experimental studies","score":0.46309998631477356,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10048","display_name":"Particle physics theoretical and experimental studies","score":0.46309998631477356,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10224","display_name":"Quantum Chromodynamics and Particle Interactions","score":0.3212999999523163,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10025","display_name":"Black Holes and Theoretical Physics","score":0.03290000185370445,"subfield":{"id":"https://openalex.org/subfields/3106","display_name":"Nuclear and High Energy Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/chiral-anomaly","display_name":"chiral anomaly","score":0.972000002861023},{"id":"https://openalex.org/keywords/chiral-ward-identities","display_name":"chiral Ward identities","score":0.8259999752044678},{"id":"https://openalex.org/keywords/adler-bardeen-theorem","display_name":"Adler-Bardeen theorem","score":0.925000011920929},{"id":"https://openalex.org/keywords/berezin-integral","display_name":"Berezin integral","score":0.8040000200271606},{"id":"https://openalex.org/keywords/seeley-dewitt-coefficients","display_name":"Seeley-DeWitt coefficients","score":0.7580000162124634},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.7730000019073486},{"id":"https://openalex.org/keywords/machine-checked-proofs","display_name":"machine-checked proofs","score":0.49399998784065247},{"id":"https://openalex.org/keywords/topological-charge","display_name":"topological charge","score":0.6899999976158142}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7319999933242798},{"id":"https://openalex.org/C204575570","wikidata":"https://www.wikidata.org/wiki/Q207476","display_name":"Holomorphic function","level":2,"score":0.5630000233650208},{"id":"https://openalex.org/C2778401447","wikidata":"https://www.wikidata.org/wiki/Q7140637","display_name":"Partition function (quantum field theory)","level":2,"score":0.49000000953674316},{"id":"https://openalex.org/C200331156","wikidata":"https://www.wikidata.org/wiki/Q506041","display_name":"Jacobian matrix and determinant","level":2,"score":0.48420000076293945},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4496000111103058},{"id":"https://openalex.org/C106195933","wikidata":"https://www.wikidata.org/wiki/Q7847935","display_name":"Truncation (statistics)","level":2,"score":0.44510000944137573},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.40549999475479126},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.3720000088214874},{"id":"https://openalex.org/C12997251","wikidata":"https://www.wikidata.org/wiki/Q567560","display_name":"Anomaly (physics)","level":2,"score":0.34119999408721924},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.3156000077724457},{"id":"https://openalex.org/C128803854","wikidata":"https://www.wikidata.org/wiki/Q1307821","display_name":"Eigenfunction","level":3,"score":0.31060001254081726},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.296999990940094},{"id":"https://openalex.org/C79464548","wikidata":"https://www.wikidata.org/wiki/Q464794","display_name":"Minkowski space","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C11683690","wikidata":"https://www.wikidata.org/wiki/Q752726","display_name":"Asymptotic expansion","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.271699994802475},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.26910001039505005},{"id":"https://openalex.org/C16171025","wikidata":"https://www.wikidata.org/wiki/Q863349","display_name":"Singularity","level":2,"score":0.2556000053882599},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C114852677","wikidata":"https://www.wikidata.org/wiki/Q899044","display_name":"Fock space","level":2,"score":0.2513999938964844}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24044293","doi":"https://doi.org/10.5281/zenodo.24044293","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24044293","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24044294","doi":"https://doi.org/10.5281/zenodo.24044294","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24044294","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.24044293","doi":"https://doi.org/10.5281/zenodo.24044293","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24044293","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2053729723","https://openalex.org/W2080620833","https://openalex.org/W4280534128","https://openalex.org/W2041163910","https://openalex.org/W2034102994","https://openalex.org/W2053767210","https://openalex.org/W94988124","https://openalex.org/W1507696834","https://openalex.org/W1974935860","https://openalex.org/W7100948286"],"abstract_inverted_index":{"A":[0,336],"structural":[1],"analysis":[2],"of":[3,20,97,100,137,154,239,330],"the":[4,13,21,47,53,93,98,125,135,138,144,151,155,165,170,197,204,217,222,233,236,249,283,292,296,317,328,331],"ABJ":[5],"chiral":[6,166,206],"anomaly":[7,218],"in":[8,31,109,113,150,262,275,295],"real":[9],"(Minkowski)":[10],"time":[11],"within":[12],"Henstock\u2013Kurzweil":[14],"(HK)":[15],"framework.":[16,298],"The":[17,63,79,299],"entire":[18],"\u03b1-dependence":[19],"truncated":[22,94,126,139,171],"fermionic":[23],"partition":[24,129],"function":[25,130],"is":[26,39,55,76,81,131,148,181,199,209,224,254,282,291,321,334,371],"shown":[27],"to":[28,143],"be":[29],"localised":[30],"a":[32,89,101,227,245,324],"single":[33],"factor":[34,50],"exp(2i\u03b1":[35,182],"tr_M":[36,183,186],"\u03b3\u2085),":[37,184],"which":[38,290],"exactly":[40,190,200,341],"1":[41,58,261,274],"at":[42,191,211],"every":[43,60,192,212,286],"finite":[44,102,193,213],"mode":[45,103,234,242],"level;":[46,215],"universal":[48],"regulator":[49,228,288],"arising":[51],"when":[52,221],"truncation":[54,194,214,223],"removed":[56,225],"equals":[57,134],"for":[59,285],"admissible":[61,287],"profile.":[62],"geometric":[64,300],"coefficient":[65,250,281],"c_d(A)":[66],"(the":[67],"Seeley\u2013DeWitt":[68],"coefficient)":[69],"enters":[70],"through":[71,307],"an":[72,160,175,308],"explicit":[73,161],"hypothesis":[74,311],"and":[75,111,120,158,185,248,266,304,312,326,376],"not":[77,314],"derived.":[78],"construction":[80],"carried":[82],"out":[83],"with":[84],"no":[85,361,363,365,379],"Wick":[86],"rotation,":[87],"as":[88,174,323],"Berezin":[90,128],"integral":[91],"over":[92],"Grassmann":[95,172],"algebra":[96,173,375],"modes":[99,153],"lattice.":[104],"Four":[105],"statements":[106],"are":[107,313],"proved":[108],"full":[110],"machine-checked":[112],"Lean":[114,346],"4":[115,347],"without":[116,118,121],"`sorry`,":[117],"`admit`":[119],"new":[122,366],"axioms:":[123],"(A)":[124],"real-time":[127,145],"well":[132],"defined,":[133],"determinant":[136],"Dirac":[140],"operator":[141],"up":[142],"phase":[146],"i^{N_M},":[147],"holomorphic":[149],"retained":[152],"background":[156],"field":[157],"obeys":[159],"modulus":[162],"bound;":[163],"(B)":[164],"transformation":[167],"acts":[168],"on":[169,357],"invertible":[176],"linear":[177,374],"map":[178],"whose":[179],"Jacobian":[180,198],"\u03b3\u2085":[187],"=":[188,258,260,264,271,273,277],"0":[189],"level,":[195],"so":[196],"1;":[201],"(C)":[202],"consequently":[203],"classical":[205],"Ward":[207],"identity":[208],"exact":[210],"(D)":[216],"appears":[219],"only":[220,327,356],"after":[226],"has":[229,244],"been":[230],"inserted":[231],"into":[232],"sum:":[235],"regularised":[237],"difference":[238],"two":[240],"shifted":[241],"sums":[243],"nonzero":[246],"limit,":[247],"extracted":[251],"from":[252],"it":[253],"\u222b\u2080^\u221e":[255,267],"(\u2212f\u2032(s))":[256],"ds":[257,270],"f(0)":[259,272],"d":[263,276],"2":[265],"s":[268],"f\u2033(s)":[269],"4;":[278],"(E)":[279],"this":[280],"same":[284],"profile,":[289],"Adler\u2013Bardeen":[293],"statement":[294],"present":[297],"(Dirac-trace)":[301],"prefactors":[302],"q\u00b2/2\u03c0":[303],"q\u00b2/16\u03c0\u00b2":[305],"enter":[306],"explicitly":[309],"displayed":[310],"derived":[315],"here;":[316],"topological":[318,332],"interpretation":[319],"(F)":[320],"stated":[322],"discussion,":[325],"uniqueness":[329],"charge":[333],"proved.":[335],"\"honest":[337],"report\"":[338],"section":[339],"records":[340],"where":[342],"each":[343],"proof":[344],"stops.":[345],"formalisation:":[348],"eight":[349],"modules,":[350],"42":[351],"registered":[352],"declarations,":[353],"all":[354],"depending":[355],"[propext,":[358],"Classical.choice,":[359],"Quot.sound];":[360],"sorry,":[362],"admit,":[364],"axioms.":[367],"Numerical":[368],"verification":[369],"script":[370],"deterministic":[372],"(dense":[373],"Gauss\u2013Legendre":[377],"quadrature,":[378],"Monte":[380],"Carlo).":[381]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}