Volker Kaibel, Stefan Weltge
A Short Proof that the Extension Complexity of the Correlation Polytope Grows Exponentially
Discrete & Computational Geometry 53 (2), 2015, 397–401
GDO 23.1.18
Details Arens Sak 2.32 :
Definite
: In denuollsthetgea Japan
Ku
= ( Un , Eu) (
Nnkn)
siPMATCHH
: = cour|X(
M)
:Mseuprfhks
Matching
)
Ennwwg[EDMonDs65]_
:( ngvoah )
PMATCH ( in
)
=|×E RE
:×(
oh ,)=l they
\#= # ( define
Alle3451£ ×(r(
due#
Faakus)Uylidp )
a . 1) tsavn lslugoaa
, his}
¥34 [
Rotituoss 2013]
XC
(
PMATCK(
n ))
2252k )
(
Hiv ohm Bears .)
Problem fu
den Beus :Rechkckotudedugnaahl
doEcheu - Face Hen - Nidf - lutideuzk
(
und damn Ilo then vonNiht - ktieleatk aisle
Sikweyes
F , and
E)
it a-01h41
.[
Biblefejedu
Paar e.fee
ur
etf ( enf
= ¢)
des Redkch{
SEE ] :lslungade ,3HSKu→
,e.
fees
)}
×
{
MeEu
:Mprfetshatdy
,qfen }
ans
Page ( Sir
), die Slaoh
late ogeu lots
)f-
nor 2 > 1 ;den
Redkche
Ebodechea alleSlade - Pan
(5)
M) ;
es rind0ft )
vide ; di Slack - Paan
, die th
den Nidt -
Ngalinitehkdignyen felon
,than
men inOct )
, z R . ein
lbchteeh
pro
Bedigny
, atdecheu .]
Einsh
:1st S de Faulks - Eckea - Slackman
,
so
get
:xc
( Pl
=rk+(
s)
=
untr
:S .Eta :@
st,s = AB =
,¥A*
. ,;D
:* aie 'RE,bieRI }
korolla.is#:xcCTSP(nl )
>2524 Brushy
f. n tidbitgoode
.=@ :D
21µ=
E2n@ in :b
:@
en@ | eeezilenltl
,R lenrki )
F
,en}=HnK:r tieeis
×c([
F)Sih |xeTsP(2n
cow=:@
wonXCCTSPHN |X( K TSPQN @ )
H:) :xei )
H)
, a-,=L.Eu ×e=o Hawltou Keek
he-, :r,kns)..)
.eu, ,}
})
De
Pbjeka
can Faf
de nEznk
) gebaeudea koorduatea ishPMTTCH
(
n)
[ Job
Haueba - lens H € Eu witHn
(
L :r)=|e
, , . . ,en)
isdntih einpefhts Matching Hn Euk
) in Eu ;an )