{"id":"https://openalex.org/W7223129753","doi":"https://doi.org/10.48550/arxiv.2610.28206","title":"Kadison duality for biaffinely convex sets","display_name":"Kadison duality for biaffinely convex sets","publication_year":2026,"publication_date":"2026-10-20","ids":{"openalex":"https://openalex.org/W7223129753","doi":"https://doi.org/10.48550/arxiv.2610.28206"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.28206","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.28206","pdf_url":"https://arxiv.org/pdf/2610.28206","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.28206","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068691382","display_name":"Tea \u0160trekelj","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"\u0160trekelj, Tea","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5068691382"],"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/T10899","display_name":"Advanced Operator Algebra Research","score":0.698199987411499,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T10899","display_name":"Advanced Operator Algebra Research","score":0.698199987411499,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11545","display_name":"Advanced Banach Space Theory","score":0.2223999947309494,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11564","display_name":"Mathematical Inequalities and Applications","score":0.023099999874830246,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/tensor-products","display_name":"tensor products","score":0.4169999957084656},{"id":"https://openalex.org/keywords/categorical-duality","display_name":"categorical duality","score":0.6179999709129333},{"id":"https://openalex.org/keywords/compact-convex-sets","display_name":"compact convex sets","score":0.5590000152587891}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8402000069618225},{"id":"https://openalex.org/C49870271","wikidata":"https://www.wikidata.org/wiki/Q193657","display_name":"Convex set","level":4,"score":0.6898999810218811},{"id":"https://openalex.org/C206194317","wikidata":"https://www.wikidata.org/wiki/Q1138624","display_name":"Convex hull","level":3,"score":0.6552000045776367},{"id":"https://openalex.org/C12108790","wikidata":"https://www.wikidata.org/wiki/Q2234833","display_name":"Convex analysis","level":4,"score":0.6262999773025513},{"id":"https://openalex.org/C200661725","wikidata":"https://www.wikidata.org/wiki/Q289500","display_name":"Subderivative","level":4,"score":0.5939000248908997},{"id":"https://openalex.org/C176684429","wikidata":"https://www.wikidata.org/wiki/Q1076274","display_name":"Choquet theory","level":5,"score":0.5861999988555908},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.5630000233650208},{"id":"https://openalex.org/C6018138","wikidata":"https://www.wikidata.org/wiki/Q332715","display_name":"Absolutely convex set","level":5,"score":0.5296000242233276},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4812999963760376},{"id":"https://openalex.org/C112128483","wikidata":"https://www.wikidata.org/wiki/Q382504","display_name":"Affine hull","level":4,"score":0.4648999869823456},{"id":"https://openalex.org/C173110770","wikidata":"https://www.wikidata.org/wiki/Q382698","display_name":"Affine space","level":3,"score":0.46219998598098755},{"id":"https://openalex.org/C64051489","wikidata":"https://www.wikidata.org/wiki/Q7104528","display_name":"Orthogonal convex hull","level":5,"score":0.4546000063419342},{"id":"https://openalex.org/C110943637","wikidata":"https://www.wikidata.org/wiki/Q4129097","display_name":"Convex polytope","level":5,"score":0.39100000262260437},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.3878999948501587},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.38280001282691956},{"id":"https://openalex.org/C163863214","wikidata":"https://www.wikidata.org/wiki/Q7624553","display_name":"Strong duality","level":3,"score":0.3801000118255615},{"id":"https://openalex.org/C72134830","wikidata":"https://www.wikidata.org/wiki/Q5166524","display_name":"Convexity","level":2,"score":0.3747999966144562},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.37139999866485596},{"id":"https://openalex.org/C111110010","wikidata":"https://www.wikidata.org/wiki/Q2627315","display_name":"Convex combination","level":4,"score":0.36010000109672546},{"id":"https://openalex.org/C102144036","wikidata":"https://www.wikidata.org/wiki/Q7170952","display_name":"Perturbation function","level":5,"score":0.3589000105857849},{"id":"https://openalex.org/C50862404","wikidata":"https://www.wikidata.org/wiki/Q3075259","display_name":"Proper convex function","level":5,"score":0.35589998960494995},{"id":"https://openalex.org/C134912446","wikidata":"https://www.wikidata.org/wiki/Q5166516","display_name":"Convex body","level":4,"score":0.34389999508857727},{"id":"https://openalex.org/C115483411","wikidata":"https://www.wikidata.org/wiki/Q3075186","display_name":"Convex conjugate","level":5,"score":0.3269999921321869},{"id":"https://openalex.org/C173278390","wikidata":"https://www.wikidata.org/wiki/Q3075191","display_name":"Support function","level":5,"score":0.3264999985694885},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32429999113082886},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.2906999886035919},{"id":"https://openalex.org/C28340159","wikidata":"https://www.wikidata.org/wiki/Q2256541","display_name":"Convex cone","level":5,"score":0.28369998931884766},{"id":"https://openalex.org/C117845153","wikidata":"https://www.wikidata.org/wiki/Q916093","display_name":"Strictly convex space","level":5,"score":0.28290000557899475},{"id":"https://openalex.org/C79187972","wikidata":"https://www.wikidata.org/wiki/Q2654791","display_name":"Conic optimization","level":5,"score":0.27549999952316284},{"id":"https://openalex.org/C191948623","wikidata":"https://www.wikidata.org/wiki/Q1307800","display_name":"Unit sphere","level":2,"score":0.2736999988555908},{"id":"https://openalex.org/C201829737","wikidata":"https://www.wikidata.org/wiki/Q2022760","display_name":"Linear matrix inequality","level":2,"score":0.2621000111103058},{"id":"https://openalex.org/C18648836","wikidata":"https://www.wikidata.org/wiki/Q381892","display_name":"Compact space","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C173688413","wikidata":"https://www.wikidata.org/wiki/Q642620","display_name":"Krein\u2013Milman theorem","level":5,"score":0.25130000710487366},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.28206","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.28206","pdf_url":"https://arxiv.org/pdf/2610.28206","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.28206","doi":"https://doi.org/10.48550/arxiv.2610.28206","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.28206","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"pmh:oai:arXiv.org:2610.28206","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.28206","pdf_url":"https://arxiv.org/pdf/2610.28206","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7223129753.pdf","grobid_xml":"https://content.openalex.org/works/W7223129753.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7160439074","https://openalex.org/W2059559941","https://openalex.org/W98785345","https://openalex.org/W4412737639","https://openalex.org/W2161207503","https://openalex.org/W2100133025","https://openalex.org/W1986539172","https://openalex.org/W2085452411","https://openalex.org/W2085338618","https://openalex.org/W1972001299"],"abstract_inverted_index":{"Classical":[0],"Kadison":[1],"duality":[2,24,195],"establishes":[3],"a":[4,22,81,90,194],"categorical":[5],"equivalence":[6],"between":[7,196],"compact":[8,200],"convex":[9,29,39,66,128,203,229],"sets":[10,26,41,204],"and":[11,140,180,209,242],"Archimedean":[12,165],"order":[13,159,166,177,215,246],"unit":[14,160,167,216,247],"spaces":[15,168,217],"of":[16,106,199,212,238,254],"affine":[17,71,207],"functions.":[18],"This":[19],"paper":[20],"develops":[21],"Kadison-type":[23],"for":[25],"with":[27,133,205,218],"coordinate-wise":[28,206],"structure":[30],"in":[31],"product":[32],"domains":[33],"$\\mathbb{R}^n":[34],"\\times":[35],"\\mathbb{R}^m$.":[36],"While":[37],"slice-wise":[38],"(biconvex)":[40],"appear":[42],"to":[43,55,95,126,233,251],"be":[44,78],"the":[45,100,104,121,147,152,197,210,234,252],"natural":[46],"geometric":[47,122],"domain,":[48],"separate":[49],"convexity":[50],"along":[51],"coordinates":[52],"is":[53,68,124,231,249],"insufficient":[54],"ensure":[56],"separation":[57],"by":[58,70,80,103,111,187],"biaffine":[59,85,97,113,135,144,158,214,240,245,255],"polynomials.":[60],"In":[61,83,224],"classical":[62],"convexity,":[63],"every":[64,226,244],"closed":[65],"set":[67,92,230],"determined":[69],"functionals":[72],"because":[73],"any":[74],"exterior":[75],"point":[76],"can":[77,87],"separated":[79],"hyperplane.":[82],"contrast,":[84],"polynomials":[86,256],"only":[88],"probe":[89],"biconvex":[91],"$K$":[93],"up":[94],"its":[96,239,258],"hull":[98,136],"biconv$(K)$,":[99],"envelope":[101],"formed":[102],"intersection":[105],"all":[107],"regions":[108],"cut":[109],"out":[110],"valid":[112],"inequalities":[114],"on":[115,170,257],"$K$.":[116],"To":[117],"resolve":[118],"this":[119],"obstruction,":[120],"setting":[123],"restricted":[125],"biaffinely":[127,202,228],"sets,":[129],"those":[130],"that":[131],"coincide":[132],"their":[134],"($K":[137],"=$":[138],"biconv$(K)$)":[139],"therefore":[141],"admit":[142],"strict":[143],"separation.":[145],"On":[146],"algebraic":[148],"side,":[149],"we":[150,156],"introduce":[151],"dual":[153],"objects,":[154],"which":[155],"call":[157],"spaces.":[161],"These":[162],"are":[163,184],"finite-dimensional":[164],"defined":[169],"tensor":[171,190],"products":[172],"$E_1":[173],"\\otimes":[174],"E_2$":[175],"whose":[176,181],"units":[178],"factor":[179],"positive":[182,221],"cones":[183],"governed":[185],"entirely":[186],"unentangled,":[188],"rank-1":[189],"evaluations.":[191],"We":[192],"prove":[193],"category":[198,211],"non-degenerate":[201],"maps":[208],"abstract":[213],"tensor-factorized":[219],"unital":[220],"linear":[222],"maps.":[223],"particular,":[225],"such":[227],"isomorphic":[232],"coordinate":[235,259],"state":[236,260],"space":[237,248,253],"polynomials,":[241],"conversely,":[243],"order-isomorphic":[250],"space.":[261]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-10-22T00:00:00"}