{"id":"https://openalex.org/W7204840871","doi":"https://doi.org/10.5281/zenodo.22210910","title":"Contrast Concentration and the Thalean Relational Saturation Conjecture: A Finite Linear Theorem on (L)Petersen","display_name":"Contrast Concentration and the Thalean Relational Saturation Conjecture: A Finite Linear Theorem on (L)Petersen","publication_year":2026,"publication_date":"2026-08-31","ids":{"openalex":"https://openalex.org/W7204840871","doi":"https://doi.org/10.5281/zenodo.22210910"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22210910","doi":"https://doi.org/10.5281/zenodo.22210910","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22210910","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":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.22210910","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078240311","display_name":"Scott Cave","orcid":"https://orcid.org/0000-0002-2749-1263","observed_orcids":["https://orcid.org/0000-0002-2749-1263"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Cave, Scott","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5078240311"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.57238587,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T11476","display_name":"Graph theory and applications","score":0.4255000054836273,"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/T11476","display_name":"Graph theory and applications","score":0.4255000054836273,"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/T10849","display_name":"Finite Group Theory Research","score":0.057999998331069946,"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/T14299","display_name":"Complex Systems and Dynamics","score":0.0471000000834465,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear 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/petersen-graph","display_name":"Petersen graph","score":0.7129999995231628},{"id":"https://openalex.org/keywords/adjacency-matrix","display_name":"adjacency matrix","score":0.5740000009536743},{"id":"https://openalex.org/keywords/quadratic-forms","display_name":"quadratic forms","score":0.5559999942779541},{"id":"https://openalex.org/keywords/quotient-graphs","display_name":"quotient graphs","score":0.43799999356269836},{"id":"https://openalex.org/keywords/holonomy","display_name":"holonomy","score":0.3330000042915344}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5534999966621399},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47859999537467957},{"id":"https://openalex.org/C9930424","wikidata":"https://www.wikidata.org/wiki/Q7426587","display_name":"Saturation (graph theory)","level":2,"score":0.41260001063346863},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.3880999982357025},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.3828999996185303},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.3822000026702881},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.3797999918460846},{"id":"https://openalex.org/C180356752","wikidata":"https://www.wikidata.org/wiki/Q727035","display_name":"Adjacency matrix","level":3,"score":0.37700000405311584},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.376800000667572},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.367900013923645},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34700000286102295},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.34380000829696655},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.3382999897003174},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.3330000042915344},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3221000134944916},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.31540000438690186},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.28859999775886536},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.2874999940395355},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.2556999921798706},{"id":"https://openalex.org/C17095337","wikidata":"https://www.wikidata.org/wiki/Q2375229","display_name":"Piecewise linear function","level":2,"score":0.25200000405311584},{"id":"https://openalex.org/C12362212","wikidata":"https://www.wikidata.org/wiki/Q728435","display_name":"Linear subspace","level":2,"score":0.250900000333786},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.22210910","doi":"https://doi.org/10.5281/zenodo.22210910","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22210910","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":"article-journal"},{"id":"doi:10.5281/zenodo.22210911","doi":"https://doi.org/10.5281/zenodo.22210911","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22210911","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":"article-journal"},{"id":"doi:10.5281/zenodo.22215883","doi":"https://doi.org/10.5281/zenodo.22215883","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22215883","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":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.22210910","doi":"https://doi.org/10.5281/zenodo.22210910","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22210910","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":"article-journal"},"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/W1488771389","https://openalex.org/W2079167981","https://openalex.org/W7005700452","https://openalex.org/W7008674896","https://openalex.org/W7095201301","https://openalex.org/W6990038841","https://openalex.org/W2086598195","https://openalex.org/W7222940204","https://openalex.org/W7097247961","https://openalex.org/W7005846886"],"abstract_inverted_index":{"Contrast":[0,356],"Concentration":[1],"and":[2,20,54,182,213,331,395,415,428],"Thalean":[3,31,308],"Relational":[4,459],"Saturation":[5],"develops":[6],"a":[7,114,126,168,238,366,387,408],"finite":[8,98,116,323,375,393,456],"mathematical":[9],"framework":[10],"for":[11,407],"studying":[12],"how":[13],"relational":[14,141,171,240,260,471],"distinction":[15,201,472],"is":[16,46,56,105,143,202,207,215,243,257,262,346,358,434,461],"selected,":[17],"retained,":[18],"projected,":[19],"contrast-concentrated":[21],"on":[22],"the":[23,30,47,51,57,66,72,76,83,120,134,144,174,183,195,208,216,246,254,264,272,280,286,302,306,320,347,359,450],"graph":[24],"AT4val[60,6].":[25],"The":[26,110,199,315,335,383,399,454],"paper":[27,111,256,336],"begins":[28],"from":[29,69],"quadratic":[32,78,268,309],"relation":[33],"Q":[34],"=":[35,38,80,159,223,226,232],"M":[36,55],"M^T":[37],"A^3":[39],"+":[40,42],"2A^2":[41],"2I,":[43],"where":[44],"A":[45,161,250],"adjacency":[48],"matrix":[49],"of":[50,136,194,253,279,342,361,380],"15-state":[52],"quotient":[53],"associated":[58],"15":[59,196],"x":[60],"30":[61],"incidence":[62],"operator.":[63],"After":[64],"separating":[65],"common":[67,84],"mode":[68,85],"centered":[70,89,312,362],"contrast,":[71],"analysis":[73],"proves":[74],"that":[75,242,258],"normalized":[77,307],"Qhat":[79],"Q/98":[81],"fixes":[82],"while":[86,305,469],"contracting":[87],"every":[88,277],"eigendirection":[90],"by":[91],"at":[92,349],"most":[93],"9/49":[94],"per":[95],"iterate.":[96],"Every":[97],"iterate":[99],"remains":[100,403,473],"invertible,":[101],"so":[102],"contrast":[103,269,289,364,429],"concentration":[104],"not":[106,166,263,329,333,377],"finite-stage":[107],"state":[108],"erasure.":[109],"then":[112,220],"closes":[113],"native":[115,189,210,235,259,426],"relational-saturation":[117],"theorem":[118,394],"using":[119],"certified":[121,322],"registered":[122,128,313,363],"carrier":[123],"language.":[124],"For":[125],"live":[127],"prefix":[129],"p,":[130],"let":[131],"C(p)":[132],"be":[133],"family":[135],"lawful":[137,163,351],"complete":[138,170,470],"continuations.":[139],"Native":[140,298],"loading":[142,261,283,299],"monotone":[145],"contraction":[146],"|C(p)|":[147,158],":":[148,292],"8":[149],"->":[150,152,294,296],"2":[151],"1.":[153,160],"Registered-future":[154,344],"saturation":[155,176,345,357,460],"occurs":[156],"when":[157,463],"unique":[162,169,468],"future":[164,352,465],"does":[165],"imply":[167],"state.":[172],"At":[173],"two-edge":[175],"threshold,":[177],"120":[178],"distinct":[179],"contexts":[180],"remain,":[181],"terminal":[184],"completion":[185],"register":[186],"retains":[187,237],"two":[188,316,339],"holonomy":[190],"designations":[191],"above":[192],"each":[193],"closing":[197],"chambers.":[198],"retained":[200,474],"characterized":[203],"exactly.":[204],"If":[205],"Delta":[206,222,224,231],"context-activated":[209],"designation":[211],"response":[212],"H":[214],"ten-dimensional":[217],"five-address-hidden":[218],"projector,":[219],"Delta^T":[221,225],"(3/4)":[227],"H,":[228],"with":[229,436],"rho":[230],"0.":[233],"This":[234],"transport":[236,411],"nontrivial":[239],"sector":[241],"invisible":[244],"to":[245],"declared":[247],"coarse":[248],"readout.":[249],"central":[251,455],"result":[252],"upgraded":[255],"same":[265,321],"operation":[266],"as":[267,370],"concentration.":[270,430],"Under":[271],"canonical":[273],"uniform":[274],"completion-occupancy":[275],"register,":[276],"one":[278,381],"180":[281],"strict":[282,388],"extensions":[284],"increases":[285],"Paper":[287],"14":[288],"statistic:":[290],"zeta":[291],"31/55":[293],"41/65":[295],"7/10.":[297],"therefore":[300,337],"sharpens":[301],"selected":[303],"future,":[304],"independently":[310],"suppresses":[311],"contrast.":[314],"operations":[317],"lie":[318],"in":[319],"transport-response":[324],"algebra,":[325],"but":[326],"they":[327],"are":[328,332,373],"proportional":[330],"identified.":[334],"distinguishes":[338],"theorem-level":[340],"notions":[341],"saturation.":[343],"point":[348],"which":[350],"freedom":[353,466],"becomes":[354,467],"unique.":[355],"suppression":[360],"under":[365],"contrast-concentrating":[367],"operator":[368],"such":[369],"Qhat.":[371],"These":[372],"complementary":[374],"mechanisms,":[376],"different":[378],"descriptions":[379],"process.":[382],"work":[384],"also":[385],"preserves":[386],"boundary":[389],"between":[390,425],"this":[391],"closed":[392],"stronger":[396],"open":[397],"extensions.":[398],"global":[400,410],"inter-face":[401],"sigma":[402],"an":[404,421],"unresolved":[405],"problem":[406],"separate":[409],"construction.":[412],"Clean":[413],"release":[414],"overcompression":[416],"remain":[417],"conditional":[418],"concepts":[419],"requiring":[420],"explicit":[422],"composition":[423],"law":[424],"selection":[427],"No":[431],"physical":[432],"identification":[433],"made":[435],"gravity,":[437],"black":[438],"holes,":[439],"event":[440],"horizons,":[441],"singularity":[442],"removal,":[443],"Planck-scale":[444],"information":[445],"density,":[446],"Hawking":[447],"radiation,":[448],"or":[449],"cosmic":[451],"microwave":[452],"background.":[453],"lesson":[457],"is:":[458],"reached":[462],"admissible":[464],"behind":[475],"registration.":[476]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-09-01T00:00:00"}