{"id":"https://openalex.org/W1986105362","doi":"https://doi.org/10.1137/110839813","title":"Symmetry Matters for Sizes of Extended Formulations","display_name":"Symmetry Matters for Sizes of Extended Formulations","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W1986105362","doi":"https://doi.org/10.1137/110839813","mag":"1986105362"},"language":"en","primary_location":{"id":"doi:10.1137/110839813","is_oa":false,"landing_page_url":"https://doi.org/10.1137/110839813","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Discrete Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062961656","display_name":"Volker Kaibel","orcid":"https://orcid.org/0000-0002-0388-7597"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Volker Kaibel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070593699","display_name":"Kanstantsin Pashkovich","orcid":"https://orcid.org/0000-0001-5290-1474"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kanstantsin Pashkovich","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5070611630","display_name":"Dirk Oliver Theis","orcid":"https://orcid.org/0000-0002-9362-0748"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dirk Oliver Theis","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":3.8819,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.93571857,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"26","issue":"3","first_page":"1361","last_page":"1382"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9998999834060669,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9998999834060669,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9997000098228455,"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/T12541","display_name":"Graph Labeling and Dimension Problems","score":0.9994999766349792,"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/polytope","display_name":"Polytope","score":0.8969934582710266},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8096708655357361},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7454128265380859},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5864668488502502},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5857105851173401},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4817947745323181},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4721018373966217},{"id":"https://openalex.org/keywords/symmetry","display_name":"Symmetry (geometry)","score":0.44350674748420715},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.4173378050327301},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.4171968102455139},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.4162607789039612}],"concepts":[{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.8969934582710266},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8096708655357361},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7454128265380859},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5864668488502502},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5857105851173401},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4817947745323181},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4721018373966217},{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.44350674748420715},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4173378050327301},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.4171968102455139},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4162607789039612},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1137/110839813","is_oa":false,"landing_page_url":"https://doi.org/10.1137/110839813","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Discrete Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.749.5146","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.749.5146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0911.3712.pdf","raw_type":"text"},{"id":"pmh:oai:escidoc.org:escidoc:2520033","is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-002E-A38F-A","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1969186119","https://openalex.org/W1972997295","https://openalex.org/W1991528957","https://openalex.org/W2061987651","https://openalex.org/W2079301493","https://openalex.org/W2091549176","https://openalex.org/W2119368733","https://openalex.org/W2165621523","https://openalex.org/W2296148711","https://openalex.org/W2327315803","https://openalex.org/W4247708292"],"related_works":["https://openalex.org/W1998973221","https://openalex.org/W2171108458","https://openalex.org/W2984423448","https://openalex.org/W2376950174","https://openalex.org/W2953085781","https://openalex.org/W3000043859","https://openalex.org/W3005326639","https://openalex.org/W2600212144","https://openalex.org/W4320341907","https://openalex.org/W1577976412"],"abstract_inverted_index":{"In":[0,83],"1991,":[1],"Yannakakis":[2,63],"[J.":[3],"Comput.":[4,167],"System":[5],"Sci.,":[6],"43":[7],"(1991),":[8],"pp.":[9,174],"441--466]":[10],"proved":[11],"that":[12,36,45,64,88,182],"no":[13,71,112],"symmetric":[14,43,113],"extended":[15,76,105,114,144,157],"formulation":[16,47],"for":[17,74,89,125,141],"the":[18,22,46,54,90,94,126,139,156],"matching":[19],"polytope":[20],"of":[21,32,53,56,107,116,131],"complete":[23],"graph":[24],"$K_n$":[25,97],"with":[26,93,98,129,136],"$n$":[27],"nodes":[28,55],"has":[29,78],"a":[30,152],"number":[31],"variables":[33],"and":[34,161,192],"constraints":[35],"is":[37],"bounded":[38],"subexponentially":[39],"in":[40,96,146,166],"$n$.":[41],"Here,":[42],"means":[44],"remains":[48],"invariant":[49],"under":[50],"all":[51],"permutations":[52],"$K_n$.":[57],"It":[58],"was":[59],"also":[60,188],"conjectured":[61],"by":[62],"\u201casymmetry":[65],"does":[66],"not":[67,178],"help":[68],"much,\u201d":[69],"but":[70,187],"corresponding":[72],"result":[73],"general":[75,147],"formulations":[77,106,115],"been":[79,184],"found":[80],"so":[81],"far.":[82],"this":[84,176],"paper":[85,177],"we":[86],"show":[87],"polytopes":[91,127],"associated":[92,128],"matchings":[95],"$\\lfloor\\log":[99,133],"n\\rfloor$":[100],"edges":[101],"there":[102,186],"are":[103],"nonsymmetric":[104],"polynomial":[108,117],"size,":[109],"while":[110],"nevertheless":[111],"size":[118],"exist.":[119],"We":[120],"furthermore":[121],"prove":[122],"similar":[123],"statements":[124],"cycles":[130],"length":[132],"n\\rfloor$.":[134],"Thus,":[135],"respect":[137],"to":[138,155],"question":[140],"smallest":[142],"possible":[143],"formulations,":[145],"symmetry":[148],"requirements":[149],"may":[150],"matter":[151],"lot.":[153],"Compared":[154],"abstract":[158],"[Integer":[159],"Pgrogramming":[160],"Combinatiorial":[162],"Optimization,":[163],"Lecture":[164],"Notes":[165],"Sci.":[168],"6080,":[169],"Springer,":[170],"New":[171],"York,":[172],"2010,":[173],"135--148],":[175],"only":[179],"contains":[180],"proofs":[181],"had":[183],"omitted":[185],"presents":[189],"slightly":[190],"generalized":[191],"sharpened":[193],"lower":[194],"bounds.":[195]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":10},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}