{"id":"https://openalex.org/W7127932045","doi":"https://doi.org/10.5281/zenodo.18502789","title":"Sampling Permutations with Prescribed Longest Increasing Subsequence Length: Five Results from an Adversarial Multi-Model Constraint Pipeline","display_name":"Sampling Permutations with Prescribed Longest Increasing Subsequence Length: Five Results from an Adversarial Multi-Model Constraint Pipeline","publication_year":2026,"publication_date":"2026-02-06","ids":{"openalex":"https://openalex.org/W7127932045","doi":"https://doi.org/10.5281/zenodo.18502789"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.18502789","doi":"https://doi.org/10.5281/zenodo.18502789","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18502789","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":"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.18502789","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5128663018","display_name":"Christopher Finks","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Finks, Christopher","raw_affiliation_strings":["Constraint Layer Research LLC"],"raw_orcid":"https://orcid.org/0009-0007-1974-0382","affiliations":[{"raw_affiliation_string":"Constraint Layer Research LLC","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5128663018"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13821025,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9990000128746033,"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.9990000128746033,"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/T13500","display_name":"Probability and Statistical Research","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/permutation-enumeration","display_name":"permutation enumeration","score":0.5989999771118164},{"id":"https://openalex.org/keywords/robinson-schensted-knuth-correspondence","display_name":"Robinson-Schensted-Knuth correspondence","score":0.8270000219345093},{"id":"https://openalex.org/keywords/involutions","display_name":"involutions","score":0.5170000195503235},{"id":"https://openalex.org/keywords/hankel-determinants","display_name":"Hankel determinants","score":0.8489999771118164},{"id":"https://openalex.org/keywords/differential-operators","display_name":"differential operators","score":0.5889999866485596},{"id":"https://openalex.org/keywords/uniform-sampling","display_name":"uniform sampling","score":0.4819999933242798},{"id":"https://openalex.org/keywords/chatgpt","display_name":"ChatGPT","score":0.531000018119812},{"id":"https://openalex.org/keywords/claude-opus","display_name":"Claude Opus","score":0.777999997138977}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6053000092506409},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5016000270843506},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.47119998931884766},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.4643999934196472},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.43799999356269836},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.43380001187324524},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.42800000309944153},{"id":"https://openalex.org/C137877099","wikidata":"https://www.wikidata.org/wiki/Q1332977","display_name":"Subsequence","level":3,"score":0.4271000027656555},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.4198000133037567},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3905999958515167},{"id":"https://openalex.org/C205203396","wikidata":"https://www.wikidata.org/wiki/Q612143","display_name":"Bilinear interpolation","level":2,"score":0.38659998774528503},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3716000020503998},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.3662000000476837},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.365200012922287},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3499000072479248},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3463999927043915},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.34119999408721924},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.33899998664855957},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.31850001215934753},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.31369999051094055},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.30970001220703125},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.29980000853538513},{"id":"https://openalex.org/C55294529","wikidata":"https://www.wikidata.org/wiki/Q579544","display_name":"Vandermonde matrix","level":3,"score":0.2962000072002411},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2822999954223633},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.2703999876976013},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.2597000002861023},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2578999996185303},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.25760000944137573},{"id":"https://openalex.org/C136003732","wikidata":"https://www.wikidata.org/wiki/Q3854337","display_name":"Algebraic operation","level":3,"score":0.2529999911785126}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.18502789","doi":"https://doi.org/10.5281/zenodo.18502789","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18502789","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":"article-journal"},{"id":"doi:10.5281/zenodo.18502790","doi":"https://doi.org/10.5281/zenodo.18502790","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18502790","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":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.18502789","doi":"https://doi.org/10.5281/zenodo.18502789","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18502789","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":"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/W7163182654","https://openalex.org/W2772027254","https://openalex.org/W2499271773","https://openalex.org/W4404395513","https://openalex.org/W7098876977","https://openalex.org/W2612750776","https://openalex.org/W1533043674","https://openalex.org/W3200082233","https://openalex.org/W2947903189","https://openalex.org/W7098782797"],"abstract_inverted_index":{"Five":[0],"results":[1,229],"on":[2,77,147],"sampling":[3,158],"permutations":[4],"\u03c3":[5],"\u2208":[6],"S_n":[7],"with":[8,53,74,103],"LIS(\u03c3)":[9],"=":[10],"k":[11],"in":[12,15,20],"time":[13],"polynomial":[14],"n":[16],"and":[17,47,60,84,117,182,276,309,314],"k,":[18],"produced":[19],"under":[21],"one":[22],"hour":[23],"by":[24,30,107,184,213,280],"a":[25,70,87,96,120,152,253,289],"multi-stage":[26],"constraint":[27,39,278,298],"pipeline":[28,35,271],"designed":[29],"Constraint":[31],"Layer":[32],"Research.":[33],"The":[34,188,203,236,284,297],"uses":[36],"architecturally":[37],"distinct":[38],"engines":[40],"\u2014":[41,52,127,239,258,300,319],"(constraint":[42],"extraction),":[43],"(structural":[44],"validation),":[45],"(synthesis),":[46],"AUDIT":[48],"(adversarial":[49],"error":[50],"correction)":[51],"ChatGPT":[54],"5.2":[55],"as":[56,64],"the":[57,65,148,162,177,185,207,215,224,270,281,321],"synthesis":[58,186,189,225],"substrate":[59],"Claude":[61],"Opus":[62],"4.6":[63],"audit":[66,180,208],"substrate.":[67],"Results:":[68],"(1)":[69],"poly(n,k)":[71,88,98,135,255],"non-uniform":[72],"sampler":[73],"full":[75],"support":[76],"S(n,k)":[78],"via":[79,91,143],"Robinson-Schensted,":[80],"uniform":[81,157],"partition":[82],"sampling,":[83],"Greene-Nijenhuis-Wilf;":[85],"(2)":[86],"counting":[89,99],"oracle":[90,100,257],"Gessel's":[92],"Toeplitz-Bessel":[93],"determinant;":[94,150],"(3)":[95],"novel":[97],"for":[101,138],"involutions":[102],"bounded":[104],"LIS,":[105],"derived":[106],"connecting":[108],"RSK":[109,141,169],"bridge":[110,136],"computations":[111],"to":[112,119,131,209,220,227,234],"Rains'":[113,242],"finite-dimensional":[114,243],"SO(2k+1)":[115],"integral":[116],"reducing":[118],"k\u00d7k":[121],"Hankel":[122,149],"determinant":[123],"of":[124,155],"Jacobi-exponential":[125],"moments":[126],"this":[128,261],"result":[129],"appears":[130],"be":[132],"original;":[133],"(4)":[134],"computation":[137],"fixed-size":[139],"intermediate":[140,168],"shapes":[142],"bounded-order":[144],"differential":[145],"operators":[146],"(5)":[151],"structural":[153],"characterization":[154],"why":[156],"remains":[159],"open,":[160],"locating":[161],"precise":[163],"algebraic":[164],"obstruction":[165],"at":[166,195],"general":[167],"shapes.":[170],"Two":[171],"mathematical":[172,265],"errors":[173,311],"were":[174],"caught":[175,313],"during":[176,269],"pipeline's":[178],"adversarial":[179,317],"cycle":[181],"corrected":[183,315],"engine.":[187],"engine":[190,226],"halted":[191,293],"prematurely":[192],"four":[193],"times":[194],"literature":[196],"boundaries,":[197],"declaring":[198],"\"this":[199],"requires":[200],"original":[201],"mathematics.\"":[202],"principal":[204,282],"investigator":[205],"directed":[206],"override":[210],"these":[211],"halts":[212],"redefining":[214],"termination":[216],"condition":[217],"from":[218,288],"\"unpublished\"":[219],"\"logically":[221],"blocked,\"":[222],"enabling":[223],"derive":[228],"it":[230],"had":[231],"previously":[232],"refused":[233],"attempt.":[235],"key":[237],"breakthrough":[238],"recognizing":[240],"that":[241,292],"group":[244],"integral,":[245],"not":[246],"its":[247],"infinite-dimensional":[248],"Fredholm":[249],"scaling":[250],"limit,":[251],"yields":[252],"direct":[254],"algorithmic":[256],"emerged":[259],"through":[260],"process.":[262],"No":[263],"human":[264],"expertise":[266],"was":[267,286],"applied":[268],"run;":[272],"only":[273],"architectural":[274],"design":[275],"real-time":[277],"enforcement":[279],"investigator.":[283],"problem":[285],"sourced":[287],"Reddit":[290],"challenge":[291],"unconstrained":[294],"frontier":[295],"models.":[296],"architecture":[299],"governing":[301],"when":[302,305],"models":[303],"halt,":[304],"they":[306],"push":[307],"forward,":[308],"how":[310],"are":[312],"between":[316],"roles":[318],"is":[320],"primary":[322],"methodological":[323],"contribution.":[324]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-02-07T00:00:00"}