introduction, position, verication, consider, situation, verify, entity, solelyby, lo, cation, provide, services, inaspecic, area, example, sports, stadium, haveasports, stream, replays, spectators, smartphones, organisers, concerned, notpossible, passwords, printed, tickets, distributed, crucial, access, information, decided, devices, bytheirlocation, simplest, achieving, verier, victor, role, unit, reachesthe, border, provers, region, alice, prove, shestartsthe, pro, cedure, tokenxto, receives, token, immediately, accepts, received, timet, thenvictorwould, assume, called, ounding, possible, desirable, center, spherical, approach, vericationistousemultiple, veriersvi, thatareplacedaroundtheproversregion, convex, hull, locations, following, protocol, lethbe, function, takesrinputs, cho, ose, random, stringsxi, strings, proverp, allxiand, calculatesy, xr, sendsyto, stringyi, theycheckif, yi, xi, alli, ifthisistrueandthebit, stringsindeed, arrived, property, soundness, regionpif, malicious, impersonate, honest, unfortunately, cannot, besecure, classical, setting, impossibility, shown, ability, copy, forward, copiesofthe, multiple, isnotpossible, arbitrary, quantum, states, hope, thatposition, ossible, wasshown, theoretically, secure, exist, restrictions, amount, allowed, entanglement, storage, capabilities, oracle, model, ve, introduced, functionh, chosen, veriersvipick, stringsxiof, length, stringyof, encodeyin, basis, calculates, measuresin, basisand, resulty, hethensendsy, ifyes, bounding, using, regionp, whereallxiare, known, theregionp, illustrated, dotted, wherexiare, solid, reachvi, goal, contribution, acrucialpointintheproofofthepositionvericationtheorem, taking, advantage, monogamy, phenomenon, described, describing, entangled, inuence, measurements, outcomes, therefore, used, achieve, systems, additional, communication, bob, fully, thenalice, charlie, result, form, stated, strategy, charliealways, measure, referee, alices, revealed, agree, common, theorem, adversaries, tworeceiving, listed, op, en, couldbe, generalised, receiving, improve, precision, smaller, thesis, added, dene, needed, assumption, probability, winning, intended, indeedahigher, nve, ierent, provethatfor, negligible, compare, dierent, player, discuss, assumptionsneededforthe, proofs, denition, proven, formal, thatis, dependent, nt, rmonogamy, intuition, missing, theproof, questions, eded, current, progress, qubit, wo, ke, ast, clear, ifthe, increase, theoremstraight, notdecrease, growing, repeat, itself, overall, being, roundcomplexity, allows, error, rate, sending, free, monogamygameform, ving, optimal, highest, adding, possiblein, similar, manner, thescope, gametheorem, describ, ed, generalisable, structure, rst, chapter, mathematical, preliminaries, imp, ortant, mainly, readers, lack, background, understand, detail, wewill, dierences, briey, serves, tolookupmathematical, anddiscusses, possibilities, generalise, versions, generalisedmonogamytheorems, sketch, underline, changed, accommodate, obtain, conclusion, introducing, mechanical, concepts, inthis, introduce, frequently, resultswithoutproof, vector, space, anonemptysetvwith, relations, complex, ifx, zvanda, yz, xy, xyyx, bx, ab, axay, xaxbx, byaxwe, denote, scalar, ductax, abasisofa, spacevis, set, elementsvi, vivsuch, elementxof, vcan, represented, combination, elements, thereare, elementsaicsuch, aivix, sndimensional, hasnelements, multiplebases, contain, nite, dimensional, letxbe, ann, spacevand, vnbe, ofv, thismeans, thatthereareelementsai, iaivix, sinceaiuniquely, denexwe, represent, xas, conjugate, transpose, vectorxis, given, wherexdenotes, ofx, ifxabi, wherea, thenxabi, wecannowdenetheinnerproductx, yof, xandyby, yxy, inner, product, numb, er, letx, zbe, anda, bcomplex, yx, axbz, yax, ybz, anormis, spacev, everyx, yvanda, axax, xyxy, thatx, valid, norm, measured, asd, wecallasetmametricspaceifwecancalculatethedistance, elementx, wesaythatametricspaceiscompleteif, cauchy, sequence, limit, inm, thisbasicallymeans, converges, complete, hilbert, avectorspacehwith, induced, metric, letaandbbe, matrices, tensor, producta, bofaandbis, vectorsxandyin, spaceh, suchthat, xn, yn, productx, xnyn, equal, thathis, vnis, umis, themdimensional, thenthebasisofhis, vnum, thathisnm, operators, transformationo, linear, preserves, addition, multiplication, yhanda, ax, ao, nh, itisimportanttonoticethat, thenthereis, aone, onecorrespondencebetweenoperatorsonhandn, nmatrixes, mostly, notation, xed, recall, types, leth, byn, identity, onh, thisoperatorissuchthatforeveryvectorx, operatorp, thatsatisespppis, jector, operatorpis, positive, semi, denite, vectorx, lemma, fo, xcthe, matrixccis, ifcaij, aji, rhis, hermitian, ifh, ruis, unitary, analyse, aect, eigenvectors, letobe, oxax, vectorxhanda, thenxiscalledaneigenvectorofoanda, eigenvalue, ofo, trace, letooij, tr, oii, cyclic, operatorsa, andc, thentr, traceisalsoadditivei, aa, atr, whrere, hadamard, operatorhis, section, encountered, tabe, spacehthen, allv, schatten, tabifabis, anbe, sem, de, ite, projectors, letkk[n]be, ofnmutually, orthogonal, permutations, of[n], i[n], ai, k[n], max, aiak, computing, alternatives, cryptography, physics, experiment, consists, photon, source, beam, splitters, detectors, mirrors, single, onto, located, angle, reected, upwards, bothdirections, opposite, register, graphical, description, abeamsplittercanbeconsideredasippingacoinandthenreecting, letting, randomly, statistics, arrive, detectorb, experienceand, asan, ips, thestartingstate, asseeninfigure, modelled, value, bitcan, computers, setup, reproduced, repro, duced, starting, scription, probabilistic, theseprobabilisticbitslieonthelinebetween, zero, applyingthesecondbeamsplitterwillresultin, coincide, oftheexperiment, lie, itlies, surface, sphere, lies, south, describe, inthequantum, whereandare, sincethese, multiplying, beginning, passing, superposition, ifweweretomeasure, spitter, thiscorrespondswiththeexperimentalresultthat, thebphoton, encoded, ofthephotons, encode, informationas, spin, anelectron, polarisation, concernuswiththe, physical, representation, concentrate, themathematical, abstraction, mathematics, discussed, previous, dirac, orbra, ket, write, bra, notationis, andis, bracket, heresdenotes, hencestis, statessandt, aquantumstatesis, ofh, inthefollowingwewillalways, meansthatthegiven, hilbertspaceisn, suitable, expressed, twe, thenabasis, adensitymatrixis, density, statesisss, itisimportantto, formss, quantumstates, formssare, pure, written, general, outer, mixed, statical, ensemble, wecan, purify, statein, spacehby, extension, hof, thenthereisapurestate, trr, wheretrris, partial, overhr, thisisalsocalledtracingoutthe, systemhr, ments, aprojectivemeasurementisasetofprojectorspi, piare, sum, thequantumstatescan, wewanttomeasureifthesatesis, analogously, measurementpi, thentheprobability, measuringion, statesis, pr[, isi, ]spis, mere, observations, disturb, thenswill, pis, spis, perform, collapses, letbe, amixedquantumstate, inthiscasetheprobabilityofmeasuringiis, jective, repeatable, sincepipjijpi, moregeneralmeasurementsthatarenotrepeatable, erator, valued, anndimensional, ofkoperatorseksuch, specic, stateinacertain, computational, wesay, themeasurement, basisthebasis, interesting, aspect, bases, thismeansthatifwedonotknow, hauabax, bcx, circuit, certainty, nxn, illustrate, images, thatshowquantum, gatesandmeasurements, reversible, correspond, reversibleandtheyhave, outputs, outcomeand, presentationof, operations, hcwith, operatorsuab, uabcacting, onha, hcandhrespectively, measurementsaxandbcxacting, andhb, hcrespectively, lethaandhb, hbis, ssa, sb, wheresahaandsb, erst, measuring, measurment, basisthe, wegetthesameresultifwemeasureinthe, ofthesystem, determines, correlated, anticorrelated, monogamous, statesandare, statecannot, wediscussmonogamyofentanglementinthenext, monogamyofentanglement, thatha, hcandhfare, moreover, thathaveaccessto, spacesha, hbandhcrespectively, spacehf, andadversaries, howto, choose, stateof, liking, thereferee, auniformlyrandombasisandrevealsittotheadversaries, andoutput, ya, yb, adversariesa, andyf, ifyaybyf, amonogamyofentanglementgameg, xconsists, spacehfand, projective, measurementsxon, thatxis, distinguish, bythestrategies, dened, analysed, original, sis, andxandxare, haandhbrespectively, wherexis, ameasurementonannqubit, corresponding, shownin, bypwin, strategyswin, gameg, maximal, sups, pwin, wheresupremumis, taken, strategiess, although, formore, namely, berepresented, dimensions, thatpwin, heretheoptimal, sn, itiseasytosee, cos, analysing, transformations, shared, performed, measurementsandinsome, registersatthesame, wherex, andxare, evident, thereforepwin, guess, ethat, overlapping, xandxare, hcandha, shares, guarantees, theresultsofthe, identical, communicate, preparing, containing, andoutputting, thisguarantees, directly, commute, measurementsx, xandx, mu, surementsxandxif, xandy, xqyypx, xandxif, commutative, xandqyrycommute, thatpxq, ypx, implies, prop, erty, impliesthe, based, implications, propertiesand, xbx, analogous, appendix, corollary, concerns, reasonable, choice, ofrestrictionon, ensures, adversariesare, transfer, assuming, modied, seegure, itis, basically, requirement, thirdadversary, outputting, correct, looking, fairly, winthe, transferring, thewires, simply, create, paris, ofrstqubits, unfortunatelythissimplestrategyisnot, suggest, commutativeproperty, slightly, weaker, thanthe, stronger, whichrisesthe, regarding, expects, theforms, wherexandxare, spacehxand, xandywe, thataxandb, ycommute, illustration, arises, fullling, equivalent, carried, outonseparate, andacare, hcand, andx, independent, separate, reason, andwe, xcommute, andacandb, xbxcx, takeab, andbcto, depend, allowedstrategyisof, letss, xbe, sinceacdoes, supplying, discard, wehave, identify, gaps, lled, explainourintuition, diculties, lling, refereefwith, measurementsxxxassume, thismeansthatthereexistsastateand, bandcwith, xandxsuch, contradiction, required, adversariesaandband, oseasjunk, wewouldthenuseabto, measurexand, basistoaandb, thecomparison, whenaandbguess, input, stateshould, somehow, related, tojunk, steering, sates, observed, correlations, deduce, existence, local, observables, ofa, whichactonthebipartite, statesuch, isometry, aand, statejunkfasuch, junk, eminrelation, xand, xare, paulizandxgates, thatzfandxfanticommute, lp, square, observablesxpandypis, forxpas, application, tbe, adversaryaguessing, correctly, adversariesbandcthe, ofandis, ierence, betweenthe, inequality, thatxaandxfcommute, operate, sincexfandzfanticommute, equation, observablesxf, xaandzawith, statejunkabsuch, usingtheequalitiesabovewehave, statejunkfais, tdoes, thebcwire, preparation, ofjunkand, sbcbandbcccannot, thefwire, adversarybguesses, isometrybthat, theaca, andaccwires, showing, thef, abaandabbwires, thebcbandbccwires, withaba, acaandaccwires, separated, trivially, specicplace, useful, apositionvericationprotocolisaprotocolthatveriesprover, secureinthe, demonstrate, simple, exactly, connecting, channelsothatthey, asapreparation, calculation, hethen, channel, proto, col, insecure, toshow, setofadversaries, convince, cated, thehonestprovers, theoriginal, theyarenowbothabletocalculatef, asexpected, respectively, isat, isalsothecase, main, easily, due, cloning, unknown, disturbing, ifadversaries, hashfunctions, hash, theadversary, limited, power, query, guessingthehashvalue, ofxis, guessingxitself, thecorrect, andoverlapping, tighten, honestproversregion, precise, actions, asspacetime, spacetime, circuitsthatarelocated, species, executed, isawirefrom, gateato, gatebif, travel, fromatobwithout, defying, laws, gionpin, inpis, vrbe, letnbe, challenges, fraction, execution, xrof, theyalso, lengthn, stateby, enco, dingyin, veriervisends, bi, tstringxito, hecalculatesthebasis, heobtainstheoutcomey, check, event, ofpat, messagesxifrom, allvi, andsend, messages, ifthemaliciousproveris, mostqqueries, herepis, allxican, inanylocationinspacetimethatisoutsideofpeither, ofxiis, theveriers, ofpmay, ok, wherewelooked, regionpwould, een, itwas, construct, correctyto, copying, forwarding, classicalchallenges, instantaneously, regionpbecomes, thismeansthattherewillbenogatesinpand, sub, xp, prep, post, wecanthereforedivideall, subcircuitintuition, prepre, computation, pgates, postafter, circuitp, preinvolves, circuitsp, postis, gure, coming, intop, preas, prehappens, therecanbeno, leavingp, postasp, preallxiare, betweenp, ifthiswasnotthe, inp, accepting, bitstringsxiof, lenght, ra, tri, gyof, lenghtn, pickarandomfunctionh, execute, rid, ofp, asithasnoeect, ournextgoalistodelaythechoiceofthebasis, currentlyitisused, executing, delay, statey, ordiagonalbasis, uniformly, furthermorewhenperformingthe, epr, pre, picking, randomyand, stateyis, basisto, obtainy, picka, un, ti, prepareeprpairs, executecircuit, sbut, reprogram, oraclehto, completely, returnon, theproverwillnotnoticethisunlesshequeries, reprogrammed, ofthis, happening, root, guessing, knowing, allxi, reprogrammingh, bitstringxiof, arandomfunctionh, wiggly, reprogramh, sothat, executep, thej, th, toh, measuretheargumentxof, lettheregistersbecalleda, band, letarefer, enteringp, letbrefer, ofon, entering, letfbe, lowest, abe, consisting, ingeneralthesemeasurementsarepovm, loss, generality, increasing, underlying, pickrandombasis, measurementm, bandmfre, ul, weseethat, parallelly, repeated, combining, regionpis, allxiare, larger, givetheprover, timeis, regionbecomes, complicated, intersection, cones, originating, fromviat, future, becomesmaller, reached, veriervi, wherexiis, protocolthat, bitstringyof, bitstringxito, ifthemalicious, oneofthe, higher, emphasise, subcircuits, wewouldlike, divide, gatep, division, preprecomputation, forp, include, twop, iand, jeach, interpret, ofyiandyj, thiswaywecanpartitionthequantumcircuit, asp, ifthiswasnot, formp, thenp, otherwise, pickingarandomyand, halfof, delayed, basisbut, stringxiof, preuntil, letm, bandmcrefer, operatorsab, andac, thiswaywegetthreemeasurements, raon, spaceha, writeaif, becomesha, althoughitwould, writea, performing, wont, remain, ifmiis, measurementsm, bandmcare, andmfre, acceptif, wesee, formalise, statement, npin, ifor, thefollowingholds, inan, interaction, andp, theprobabilitythattheveriers, aprotocol, regionpof, letpbe, rbe, causally, precedep, ispecies, thatp, whenviexpects, response, letn, integers, modeled, communicating, precedesp, visendsxitopat, eventvi, eventp, pwill, thenpcomputes, ifso, byc, casual, eventai, eventa, inwords, thereisnoeventin, concretely, mostqoracle, mostpwin, eciforc, iforc, subcircuitregion, spacetimeintuition, \iprecomputation, post\i\, preafter, specetime, circuitato, ifaandbare, eventseaandebrespectively, andeacasually, precedes, denotedea, transitive, leavingciand, enteringci, preconditions, aredisjointandtheir, union, wewillshowthatthefollowingequalitieshold, equality, thenx, whichmeansx, iandxi, reasoning, whichisacontradiction, thereforeequality, disjoint, theunionof, subset, thereforewehavetoshowthatis, thatxsuch, meansx, ppre, whichmeans, sincex, ppost, wehavexi, whichmeansthatjsuch, thatxj, rename, whichisagainacontradiction, thereforex, thatno, everyi, ij, kjthe, pij, pkj, unlesski, pjk, ifjik, herea, bdenotes, going, fromatob, aandbbe, bmeans, thata, bbsuch, abi, eventsaandbsuch, thatbfollowsa, assumep, thismeansthatx, jiandy\i, thatyfollowsx, thisisacontradiction, sincexi, xyimplies, withthesameargumentthereisalsonowirefrompijtop, wirep, thismeansxppost\i, andyppreisuch, thatxy, xyimpliesxi, thisargumentforalltheotherwiresin, treat, permitted, theresultisagain, aquantumcircuitbutmaynotbeaspacetimecircuitanymore, reprogramming, protocolasasequence, funwhere, letaccept, xby, thepairs, remove, thep, postcircuit, aecting, theupperwire, fromeprcarries, rstnqubits, lower, lastnqubits, gatemmeasuresnqubits, preparingxyfor, perfectly, indistinguishable, pairxyand, measuringyin, basiswill, calculated, ash, returnh, theideabehindthis, someone, queryh, afterp, thetimeof, sense, preare, ofi, dom, algorithm, sharin, betw, vocation, thatperformatmost, qqueries, til, thenmeasuretheargumentof, orif, noj, occurs, pr[xx, letbbe, executethecircuitafterthewigglyline, withoracleaccess, modiedhwithh, pcfrom, prepareeprand, wichmeans, andmcrefer, hawe, althoughit, transp, eratorsafterthe, thatm, antimes, pr[accept, guessingx, sxin, beingh, leteibe, thei, sincep, pre\, everyeithere, rsuch, thatei, thatxkis, toei, subsetsjk, qsuch, everyijkwe, ei, whichtheonlydierence, thatjis, qbut, fromji, ji, qwe, dividep, preinto, subcircuitspilowand, pihigh, letpilowbe, toxiandpihighthe, toxi, executingcircuitp, preis, circuitpilowand, circuitpihigh, noticethatforevery, jjimeasuring, ofpilow, sinceejis, ofci, executingpilowonly, circuitpilowuntil, argumentxof, sincexicannot, accessed, inpilowwe, intention, positionverication, showed, probabilitypwin, intuitive, attempt, proving, compared, wouldbe, ifthiswouldnotgiveaprobability, declines, growingn, thiswaywe, bound, havent, considered, presented, bedoneusing, usable, rather, currently, looked, scope, theses, vericationtheorem, personal, dominique, unruh, serge, fehr, appendices, letyxbe, onhx, thenpwin, pr, yfyabybcyac, wecancalculate, yfxyabxybcxyacx, yabxybcxyacx, ybcxyacx, yacx, dxandlet, yfyabxybcxyacx, letsabbe, measurementab, sbcthe, measurementbcandsacthe, measurementac, thenwehave, sac, sbc, sab, fromthedenitionofthenormwehavetr, maxk, permutationskare, determined, later, wherek, forxedandk, wedenotebythe, indices, whereanddier, bycwe, complement, bytthe, hamming, betweenand, whichmeanst, nowwedenethefollowing, xx, thatpand, recallthatabifb, matrixc, cis, cx, cy, andais, thereforeis, sincepandqwe, xyz, xxy, zz, xaczxzacxandxy, choosing, ow, transformationxonhxwe, namexif, hyinstead, iftheaected, context, fr, avetr, usinglemma, forthisweshowthatpis, calculatep, topthen, thatpis, yy, xxyy, yyy, xxx, operatorsaandb, whereaandbare, andab, analogouslywehaveqandr, estimate, sinceacwe, ycz, sincecxczxzcwe