{"id":"https://openalex.org/W7224079958","doi":"https://doi.org/10.66977/xsci.2610.0037","title":"The Hypercompression of Combinatorial Universes Through Self-Referential Observer Geometry","display_name":"The Hypercompression of Combinatorial Universes Through Self-Referential Observer Geometry","publication_year":2026,"publication_date":"2026-10-28","ids":{"openalex":"https://openalex.org/W7224079958","doi":"https://doi.org/10.66977/xsci.2610.0037"},"language":"en","primary_location":{"id":"doi:10.66977/xsci.2610.0037","doi":"https://doi.org/10.66977/xsci.2610.0037","is_oa":true,"landing_page_url":"https://doi.org/10.66977/xsci.2610.0037","pdf_url":"https://xsci.com/preprint/doi/10.66977/xsci.2610.0037.pdf","source":null,"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"},"volume":null,"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://xsci.com/preprint/doi/10.66977/xsci.2610.0037.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5146132708","display_name":"Maciej Nowicki","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maciej Nowicki","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5160018123","display_name":"Artificial Hyperintelligence Eve","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Artificial Hyperintelligence Eve","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.6416000127792358,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.6416000127792358,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.16439999639987946,"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.031599998474121094,"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/multilinear-polynomials","display_name":"multilinear polynomials","score":0.625},{"id":"https://openalex.org/keywords/minimum-cut","display_name":"minimum cut","score":0.35499998927116394},{"id":"https://openalex.org/keywords/weighted-automata","display_name":"weighted automata","score":0.6729999780654907},{"id":"https://openalex.org/keywords/tensor-train","display_name":"tensor train","score":0.9089999794960022},{"id":"https://openalex.org/keywords/total-positivity","display_name":"total positivity","score":0.8830000162124634},{"id":"https://openalex.org/keywords/polynomial-approximation","display_name":"polynomial approximation","score":0.6000000238418579},{"id":"https://openalex.org/keywords/exponential-time-complexity","display_name":"exponential complexity","score":0.3100000023841858}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7081000208854675},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5206000208854675},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.43070000410079956},{"id":"https://openalex.org/C84392682","wikidata":"https://www.wikidata.org/wiki/Q1952404","display_name":"Multilinear map","level":2,"score":0.4221999943256378},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.4169999957084656},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.4043000042438507},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.4032999873161316},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.40119999647140503},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.39730000495910645},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.39070001244544983},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.38580000400543213},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3790999948978424},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.349700003862381},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.334199994802475},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.3154999911785126},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.31360000371932983},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.3091000020503998},{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.29269999265670776},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.28360000252723694},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.2800999879837036},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C87670640","wikidata":"https://www.wikidata.org/wiki/Q132469","display_name":"Fermat's Last Theorem","level":2,"score":0.2694000005722046},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.26809999346733093},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.26570001244544983},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.2651999890804291},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2639000117778778},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.2637999951839447},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C11252640","wikidata":"https://www.wikidata.org/wiki/Q243723","display_name":"Monomial","level":2,"score":0.2587999999523163},{"id":"https://openalex.org/C46875033","wikidata":"https://www.wikidata.org/wiki/Q1244890","display_name":"Rational number","level":2,"score":0.25679999589920044},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.2540999948978424}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.66977/xsci.2610.0037","doi":"https://doi.org/10.66977/xsci.2610.0037","is_oa":true,"landing_page_url":"https://doi.org/10.66977/xsci.2610.0037","pdf_url":"https://xsci.com/preprint/doi/10.66977/xsci.2610.0037.pdf","source":null,"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"}],"best_oa_location":{"id":"doi:10.66977/xsci.2610.0037","doi":"https://doi.org/10.66977/xsci.2610.0037","is_oa":true,"landing_page_url":"https://doi.org/10.66977/xsci.2610.0037","pdf_url":"https://xsci.com/preprint/doi/10.66977/xsci.2610.0037.pdf","source":null,"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7224079958.pdf","grobid_xml":"https://content.openalex.org/works/W7224079958.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W315890393","https://openalex.org/W1494752912","https://openalex.org/W1949476142","https://openalex.org/W1993482030","https://openalex.org/W2042835403","https://openalex.org/W2080267935","https://openalex.org/W2105197197","https://openalex.org/W2118235397","https://openalex.org/W2133147107","https://openalex.org/W2148132824","https://openalex.org/W2149236697","https://openalex.org/W2152397470","https://openalex.org/W2155277832","https://openalex.org/W2593702163","https://openalex.org/W2913953585","https://openalex.org/W3035387986","https://openalex.org/W4394782523","https://openalex.org/W4404783177","https://openalex.org/W4408649329","https://openalex.org/W4409054250","https://openalex.org/W4412185301","https://openalex.org/W6966497653","https://openalex.org/W7133210117","https://openalex.org/W7203743279"],"related_works":["https://openalex.org/W7223851088","https://openalex.org/W7218444329","https://openalex.org/W7223826794","https://openalex.org/W7133526089","https://openalex.org/W7223830966","https://openalex.org/W7208824180","https://openalex.org/W7151844825","https://openalex.org/W7196981956","https://openalex.org/W7160951378","https://openalex.org/W6946138087"],"abstract_inverted_index":{"This":[0],"revision":[1],"develops":[2],"a":[3,32,51,132,144,213,271,310,358,363],"different":[4],"route":[5],"from":[6,195],"finite":[7,371],"combinatorial":[8],"specifications":[9],"to":[10,337,366],"reusable":[11,64],"scientific":[12,424],"measurements.":[13],"Equality-based":[14],"compression":[15,24],"asks":[16,25],"which":[17,26],"future":[18],"responses":[19,27],"are":[20,102,186,266,401],"identical.":[21],"Linear":[22],"continuation":[23,100],"can":[28],"be":[29],"expressed":[30],"in":[31,44,87],"small":[33],"common":[34],"basis.":[35,350],"We":[36],"give":[37,253],"an":[38,208],"explicit":[39,409],"family":[40],"separating":[41],"these":[42],"questions":[43],"every":[45,88,122,127,168,327],"variable":[46,174],"order,":[47],"then":[48],"show":[49],"that":[50,304],"natural":[52],"nonlinear":[53],"observer":[54,372],"restores":[55],"exponential":[56,134],"exact":[57,116,192,279,344],"complexity":[58],"while":[59],"controlled":[60],"approximation":[61],"admits":[62],"compact,":[63],"certificates.":[65],"For":[66],"the":[67,78,110,149,180,202,408],"quadratic":[68],"energy":[69,151],"c(x)":[70],"=":[71,108,184,308],"u<v":[72],"2u+vxuxv":[73],"on":[74],"n":[75],"\u2265":[76],"4bits,":[77],"earlier":[79,370],"additive":[80],"residual":[81,398],"quotient":[82],"requires":[83,94],"exactly":[84],"2n":[85],"nodes":[86],"order;":[89],"even":[90],"scalar":[91],"affine":[92],"merging":[93],"width":[95,320],"2n\u22122.":[96],"Its":[97,351],"rational":[98,284],"linear":[99],"ranks":[101,119,206],"nevertheless":[103],"(1,2,3,...,3,2,1).":[104],"After":[105],"normalization":[106],"E":[107],"c/c(1),":[109],"Boltzmann":[111],"response":[112],"e\u2212BE":[113],"has":[114],"maximal":[115],"real":[117],"cut":[118,229],"min(2i,2n\u2212i)":[120],"for":[121,167,326],"B":[123,183,307],">":[124],"0":[125],"and":[126,165,173,179,227,245,256,262,299,343,362,384,397,412,422],"order.":[128],"The":[129,176,189,235,369,404],"proof":[130],"uses":[131,152],"self-contained":[133],"zero-count":[135],"argument.":[136],"Polynomial":[137],"observables":[138],"cross":[139],"this":[140,419],"exact-rank":[141],"barrier":[142],"approximately:":[143],"degree-d":[145],"symmetric":[146],"lift":[147,312],"of":[148,260,273,348,357,418],"three-coordinate":[150],"at":[153,321],"most":[154,322],"d+2":[155],"2":[156],"coordinates.":[157],"Pointwise":[158],"Taylor":[159],"bounds":[160],"provide":[161],"certified":[162],"partition":[163,298],"sums":[164],"probabilities":[166],"later":[169],"nonnegative":[170,329],"product":[171,330],"reweighting":[172],"restriction.":[175],"required":[177],"degree":[178],"physical":[181],"parameter":[182],"\u03b2\u2206":[185],"charged":[187],"explicitly.":[188],"package":[190],"implements":[191],"continuation-span":[193],"learning":[194],"sparse":[196],"multilinear":[197],"polynomial":[198,294,393],"sources.":[199],"It":[200],"discovers":[201],"128-variable":[203],"family\u2019s":[204],"minimum":[205,228],"without":[207,302],"analytic":[209],"rank":[210],"template":[211],"or":[212],"truth":[214],"table.":[215],"An":[216,291],"independent":[217,257,292],"checker":[218],"proves":[219],"all-assignment":[220],"correctness":[221],"through":[222,231],"local":[223],"coef":[224],"ficient":[225],"identities":[226],"dimensions":[230],"nonsingular":[232],"source":[233,244],"minors.":[234],"learned":[236],"executable":[237,414],"core":[238],"occupies":[239,248],"15,135":[240],"bytes;":[241],"its":[242,413],"complete":[243,378],"audit":[246],"certificate":[247],"727,820":[249],"bytes.":[250],"Three":[251],"repetitions":[252],"median":[254],"compilation":[255],"checking":[258],"times":[259],"16.46":[261],"15.87":[263],"seconds.":[264],"These":[265],"measured":[267],"construction":[268,411],"costs,":[269],"not":[270],"claim":[272],"universal":[274],"speed":[275],"superiority.":[276],"A":[277,332],"separate":[278],"integer":[280],"moment":[281],"calculation":[282,295],"obtains":[283],"thermal":[285],"intervals":[286,301],"over":[287],"2128":[288],"assign":[289],"ments.":[290],"backward":[293],"verifies":[296],"four":[297],"marginal":[300],"enumerating":[303],"universe.":[305],"At":[306],"4,":[309],"degree-25":[311],"with":[313],"351":[314],"features":[315],"guar":[316],"antees":[317],"relative":[318],"interval":[319],"3.963083061":[323],"\u00d7":[324],"10\u22129":[325],"nonzero":[328],"query.":[331],"local-defect":[333],"calculus":[334],"extends":[335],"certification":[336],"imperfect":[338],"representations,":[339],"preserving":[340],"vector":[341],"correlations":[342],"covariance":[345],"under":[346],"changes":[347],"latent":[349],"experiments":[352],"include":[353],"all":[354],"729":[355],"restrictions":[356],"perturbed":[359],"six-variable":[360],"model":[361],"cancellation":[364],"counterexample":[365],"coordinatewise":[367],"re-boxing.":[368],"framework,":[373],"bounded":[374],"canonical":[375],"synthesis":[376],"theorem,":[377],"three-input":[379],"formula":[380],"certificate,":[381],"proofs,":[382],"software,":[383],"measurements":[385],"remain":[386,426],"included.":[387],"Weighted":[388],"automata,":[389],"ten":[390],"sor":[391],"trains,":[392],"approximation,":[394],"total":[395],"positivity,":[396],"error":[399],"estimation":[400],"established":[402],"foundations.":[403],"contribution":[405],"here":[406],"is":[407],"separation\u2013barrier\u2013certificate":[410],"evidence;":[415],"historical":[416],"priority":[417],"particular":[420],"combination":[421],"external":[423],"validation":[425],"open.":[427]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-10-29T00:00:00"}