{"id":"https://openalex.org/W7225309349","doi":"https://doi.org/10.5281/zenodo.23981118","title":"Internal\u2013Leaf Inequalities and a Positive Limiting Leaf Density for Numerical Semigroups with Frobenius Number 2m+3","display_name":"Internal\u2013Leaf Inequalities and a Positive Limiting Leaf Density for Numerical Semigroups with Frobenius Number 2m+3","publication_year":2026,"publication_date":"2026-11-05","ids":{"openalex":"https://openalex.org/W7225309349","doi":"https://doi.org/10.5281/zenodo.23981118"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23981118","doi":"https://doi.org/10.5281/zenodo.23981118","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23981118","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":null,"license_id":null,"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.23981118","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5148078153","display_name":"Ryutaro Yonezu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yonezu, Ryutaro","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5148078153"],"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9140999913215637,"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"}},"topics":[{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9140999913215637,"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"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.06360000371932983,"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/T11166","display_name":"Analytic Number Theory Research","score":0.0019000000320374966,"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/numerical-semigroups","display_name":"numerical semigroups","score":0.9950000047683716},{"id":"https://openalex.org/keywords/frobenius-number","display_name":"Frobenius number","score":0.8560000061988831},{"id":"https://openalex.org/keywords/internal-nodes","display_name":"internal nodes","score":0.7070000171661377},{"id":"https://openalex.org/keywords/leaf-density","display_name":"leaf density","score":0.7730000019073486},{"id":"https://openalex.org/keywords/multiplicity","display_name":"multiplicity","score":0.7400000095367432},{"id":"https://openalex.org/keywords/integer-partitions","display_name":"integer partitions","score":0.3319999873638153},{"id":"https://openalex.org/keywords/error-bounds","display_name":"error bounds","score":0.3970000147819519},{"id":"https://openalex.org/keywords/ai-assisted-verification","display_name":"AI-assisted verification","score":0.4099999964237213}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7523000240325928},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.621999979019165},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5216000080108643},{"id":"https://openalex.org/C156004811","wikidata":"https://www.wikidata.org/wiki/Q2228257","display_name":"Multiplicity (mathematics)","level":2,"score":0.5199999809265137},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4830999970436096},{"id":"https://openalex.org/C2779628518","wikidata":"https://www.wikidata.org/wiki/Q7069664","display_name":"Numerical semigroup","level":3,"score":0.46299999952316284},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.45809999108314514},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4268999993801117},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.39010000228881836},{"id":"https://openalex.org/C98375054","wikidata":"https://www.wikidata.org/wiki/Q442709","display_name":"Enclosure","level":2,"score":0.321399986743927},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.3165000081062317},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.3059000074863434},{"id":"https://openalex.org/C48753275","wikidata":"https://www.wikidata.org/wiki/Q11216","display_name":"Numerical analysis","level":2,"score":0.28760001063346863},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C45555294","wikidata":"https://www.wikidata.org/wiki/Q28113351","display_name":"Inequality","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23981118","doi":"https://doi.org/10.5281/zenodo.23981118","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23981118","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23981119","doi":"https://doi.org/10.5281/zenodo.23981119","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23981119","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23981118","doi":"https://doi.org/10.5281/zenodo.23981118","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23981118","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7203869718","https://openalex.org/W7171556842","https://openalex.org/W2529793414","https://openalex.org/W3196054191","https://openalex.org/W2531822637","https://openalex.org/W2054267877","https://openalex.org/W4413132987","https://openalex.org/W3183328515","https://openalex.org/W2079513712","https://openalex.org/W2940116067"],"abstract_inverted_index":{"We":[0],"study":[1],"numerical":[2,123],"semigroups":[3,124],"of":[4,18,114,117,150],"multiplicity":[5],"m":[6,36,46],">=":[7,31,37,41,47],"6":[8,38],"and":[9,15,39,91,106,120,126,139,170,195,214,223,229],"Frobenius":[10],"number":[11],"F=2m+3,":[12],"using":[13],"leaves":[14,145,149],"internal":[16],"nodes":[17],"the":[19,58,68,130,148,175,182,210,250],"full":[20],"numerical-semigroup":[21],"tree.":[22],"In":[23],"this":[24],"restricted":[25],"infinite":[26],"family,":[27],"we":[28],"establish":[29],"I_m":[30,40],"3":[32],"L_m":[33,43],"for":[34,44,61,63,104],"every":[35,45],"5":[42],"12.":[48],"The":[49,75,99,133,186],"former":[50],"coefficient":[51],"is":[52,57,102,110,136,140,196,205,239],"attained":[53],"at":[54,73],"m=6;":[55],"12":[56],"minimal":[59],"threshold":[60],"validity":[62],"all":[64,199],"subsequent":[65],"m,":[66],"although":[67],"second":[69],"inequality":[70],"also":[71],"holds":[72],"m=10.":[74],"leaf":[76],"proportion":[77],"tends":[78],"to":[79],"a":[80,111],"strictly":[81],"positive":[82],"limit":[83],"c":[84,96],"with":[85],"an":[86],"explicit":[87],"exponential":[88],"error":[89,100],"bound":[90,101],"certified":[92],"enclosure":[93],"0.1314883":[94],"<":[95,97],"0.1446435.":[98],"conservative":[103],"small":[105],"moderate":[107],"m.":[108],"This":[109],"fixed-family":[112],"strengthening":[113],"Conjecture":[115],"41":[116],"Casas,":[118],"Madrid":[119],"Rosales,":[121],"Internal":[122],"(2026),":[125],"does":[127],"not":[128,141,190],"solve":[129],"unrestricted":[131],"conjecture.":[132],"total":[134],"N_m=7*2^(m-4)":[135],"already":[137],"known":[138],"claimed":[142],"novel.":[143],"Full-tree":[144],"differ":[146],"from":[147,198],"specially":[151],"pruned":[152],"leaf-discriminating":[153],"enumeration":[154],"trees.":[155],"Independent":[156,258],"AI":[157],"mathematical":[158],"audit:":[159],"PASS":[160],"within":[161],"its":[162],"author-reported":[163],"scope.":[164],"Windows":[165],"PowerShell":[166],"5.1":[167],"reproduction:":[168],"Python":[169],"C++17":[171,213],"PASS,":[172],"based":[173],"on":[174,221],"author-supplied":[176],"audit":[177],"record,":[178],"which":[179],"reports":[180],"matching":[181],"original":[183],"transcript":[184,188],"SHA256.":[185],"private":[187],"was":[189],"re-inspected":[191],"in":[192],"publication":[193,208],"preparation":[194],"excluded":[197],"public":[200],"files.":[201],"Its":[202],"metadata-only":[203],"SHA256":[204],"b3d94afab5686bedeb23b1f961b5b69830faa008284127ff776e2677d0b49fee.":[206],"During":[207],"preparation,":[209],"supplied":[211,251],"Python,":[212],"exact":[215],"rational":[216],"interval":[217],"programs":[218],"were":[219,233],"rerun":[220],"Linux":[222],"passed.":[224],"REFERENCES":[225],"PARTIAL:":[226],"bibliographic":[227],"metadata":[228],"selected":[230],"original-source":[231],"passages":[232],"checked;":[234],"exhaustive":[235],"theorem-level":[236],"overlap":[237],"checking":[238],"incomplete.":[240],"NOVELTY":[241],"INCONCLUSIVE.":[242],"Not":[243],"human":[244],"peer-reviewed.":[245],"All":[246],"rights":[247],"reserved,":[248],"including":[249],"verification":[252],"sources.":[253],"Author:":[254],"Ryutaro":[255],"Yonezu":[256],"\u2014":[257],"Researcher.":[259],"Version:":[260],"v1.0.":[261],"Date:":[262],"2026-11-05.":[263],"Publication":[264],"type:":[265],"Preprint.":[266],"GitHub":[267,270],"repository:":[268],"https://github.com/yonezaemon1-hub/no56-numerical-semigroup-internal-leaf-density":[269],"Release":[271],"v1.0:":[272],"https://github.com/yonezaemon1-hub/no56-numerical-semigroup-internal-leaf-density/releases/tag/v1.0":[273]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-11-06T00:00:00"}