Complementarity Beyond Definite Causal Order

Complemen tarit y Bey ond Definite Ca usal Order Mohd Asad Siddiqui , 1 , ∗ Md Qutubuddin , 2 , † and T abish Qureshi 3 , ‡ 1 Jawaharlal Nehru R ajke eya Mahavidyalaya, Sri Vijaya Pur am, 744104, And aman and Nic ob ar Islands, India 2 Beijing Computat i onal Scienc e R ese ar ch Center, Beijing 100 193, Chi na 3 Centr e for The or etic al Physics, Jamia Mil lia Islamia, New Delhi 110025, India. W av e–particle duality is a cornerstone of quantum mechanics, traditionally form ulated under def- inite causal order. W e in vestig ate how complementarit y is mo dified when the temp oral order of operations is coherently sup erp osed, as in the q uantum switc h. W e sh ow that no universa l linear additive complementarit y relation ex ists that sim ultaneously captures path distinguishability , spa- tial coherence, and coherence b et w een causal orders. This reve als a fundamental separa tion b etw een spatial and causal resources, w h ic h resi de on different subsystems and are therefore n ot jointly con- strained b y a single quantum state. Wh ile tracing out the order qubit reco vers the standard dualit y relation at th e lev el of the red uced quan ton–detector state, coherence betw een causal orders is n ot accessible at the level of the redu ced description. T o capture this contribution, w e introdu ce c ausal c oher enc e , d efined as the coherence of the order qubit, which quantifies interference b etw een alterna- tive causal orders and is op erationally measurable; we construct explicit pro cesses in which sp atial duality is saturated while causal coherence is maximal. W e further show th at complementarit y admits a state-dep endent entropic formulatio n based on incompatible measurements on the causal degree of freedom; unlike generic state-dep endent relations, this formulatio n arises from a u niversa l uncertaint y p rinciple and provides a canonical op erationally meanin gful description. These results establish that complemen tarit y is fundamentally shap ed by causal structure and cannot, in general, b e fully captured at th e level of red u ced qu antum states alone. I. INTRO D UCTION W av e–par ticle duality lies at the heart of quantum me- chanics and provides one of the ear liest manifestations of complementarit y . In interferometric exp eriments, com- plement arity is express ed through tra de–off rela tions b e- t ween in terference visibility and which–path informa- tion [ 1 – 5 ]. More r ecen t developmen ts hav e r eformulated this relation using information–theoretic tools, wher e the wa ve nature is quantified by quantum coherence and the particle nature by path distinguishability [ 6 – 10 ]. These approaches build upo n the resour ce theor y of qua n tum coherence introduced in [ 11 , 12 ], thereby providing an op erational framework tha t extends natura lly to mixed states and mult i–path in terferometers . Extensions incorp ora ting ent anglement, qua n tum memory , and additional deg rees of freedom (such as in- ternal states and environmen ts) further show that cor- relations ca n mo dify and, in so me c ases, tig h ten duality relations [ 13 – 18 ]. A central assumption under lying these for m ula tions is that the relev ant ope rations o ccur in a definite c ausal or der . In standa rd interferometric scena rios, the whic h– path interaction a nd the int erference measurement are applied sequentially within a fixed temp ora l struc ture. This ra ises the ques tion of how wa ve–particle comple- men tarity is reshap ed when the tempo ral o rder of op er- ations is co herently s uper pos ed. ∗ asad@ctp-jamia.res.in † qutubuddinjmi@gmail.com ‡ tabish@ctp-jamia.res.in Quantum theory allows pro cesses in which the tem- po ral or der of o per ations is not fixed but can exist in a co herent super po sition o f causal order s [ 19 – 21 ]. Such pro cesses a re descr ibed within the pr o cess-matrix fr ame- work, which gener alizes q uant um theory b eyond fixed causal structure s [ 19 ]. A pa radigmatic physically real- izable ex ample is the quantum switch, in which tw o op- erations ar e applied in a sup erp osition of causal or ders [ 20 ]. Exp erimental realizations hav e demonstrated co herent control of causal order [ 22 – 26 ], while theor etical studies hav e identified adv antages in communication and c hannel discrimination tasks [ 27 – 29 ]. Despite these development s, the implications of indefinite causal order for foundatio nal principles— particularly wa ve–particle complementarit y—r emain largely unexplored at a quant itative and op eratio nal level. One ma y therefore ant icipate a generalized com- plement arity relation inv olving coherence, path distin- guishability , and interference b etw een causal order s. W e show, how ever, that no universal linear additive co m- plement arity re lation exists within the quantu m switch framework. This shows that co mplemen ta rity do es not admit a univ er sal description once the caus al structure bec omes quantum, revealing a fundamental separa tion betw een spatial and causal res ources, which reside o n different subsystems and are therefore not jointly con- strained by a sing le quantum sta te. T o inv es tigate this, we for m ula te wav e–pa rticle dual- it y in a quantum switch, where the temp oral o rder be- t ween the which–path interaction and the interference op eration is coher ent ly co n trolled. T r acing o ut the order qubit recov ers the standa rd dualit y r elation at the level 2 of the r educed quanton–detector state, but makes c oher- ence be t ween causa l orde rs ina ccessible, as it resides in correla tions with the order qubit a nd is not ca ptured in the reduced de scription. T o character ize this missing contribution, w e in tro duce c ausal c oher enc e , defined as the coherence of the or der qubit, whic h quantifies interference b etw een alter native causal orders and is oper ationally accessible via measure- men ts in a super po sition bas is. W e construct explicit pro ces ses in which the standard spatial dua lit y relation is s aturated while causal co her- ence is simultaneously maximal, thereby ruling out any universal jo in t tr adeoff. This failur e mo tiv a tes a n entropic fo rmulation of co m- plement arity . Although wav e–pa rticle duality is k nown to b e equiv alent to an ent ropic unce rtaint y re lation in standard interferometric se ttings [ 30 , 31 ], w e show that this corres pondence does not extend to scenarios with in- definite ca usal order . Instea d, complementarit y admits a state-dep endent entropic uncertaint y formulation based on incompatible measurements on the causal degree of freedom, thereby incorp orating causa l s tructure b eyond fixed-order scenario s. While state-dep endent complementarit y r elations can in principle b e constr ucted, they are g enerally non-unique and la c k a canonical op erational interpretation. By c on- trast, the entropic a pproach arises from a univ er sal en- tropic unce rtaint y pr inciple a nd thus pr ovides a canoni- cal, o per ationally mea ningful des cription. These results sho w that complement arity is fundamen- tally constra ined by the ca usal str ucture of the underly- ing quan tum pro cess and ca nnot b e fully characterized at the level of reduced quantum states alo ne, ther eb y revealing its intrinsically caus al nature b eyond s patial observ ables. The pap er is o rganized as follows. In Sec. II we review wa ve–particle duality for fix ed causa l or der. In Sec. I II we for m ulate the quan tum switch scenario. In Sec. IV w e int ro duce causal coherence and establish its op eratio nal meaning. In Sec. V we prove the no -go theor em. In Sec. VI we derive the en tropic formulation. Finally , we conclude in Se c. VII . II. W A VE–P AR TICLE DU ALITY FOR FIXED CAUSAL ORDER W e review the resource– theoretic for m ula tion of w ave– particle duality for interferometers with a definite tem- po ral o rder. Consider a n n – path interferometer in which a q uan ton is prepared in the pure state | Ψ i = n X i =1 √ p i e iφ i | ψ i i , X i p i = 1 . (1) where p i are the pr obabilities a sso ciated with ea ch in ter- ferometric path, and {| ψ i i} forms an or thonormal path basis. Whic h–path infor mation is extracted by coupling the quanton to a detector initially prepa red in the reference state | d 0 i . The in ter action cor relates each path with a detector state, | ψ i i | d 0 i − → | ψ i i | d i i . (2) After the in teraction, the joint quanton–detector sta te reads | Ψ i QD = X i √ p i e iφ i | ψ i i | d i i . (3) The co rresp onding density op erator is ρ QD = X i,j √ p i p j e i ( φ i − φ j ) | ψ i i h ψ j | ⊗ | d i i h d j | . (4) T racing out the detector subsystem yields the r educed state o f the qua n ton ρ Q = T r D ( ρ QD ) = X i,j √ p i p j e i ( φ i − φ j ) | ψ i i h ψ j | h d j | d i i . (5) The detector o verlaps h d j | d i i dictate the amount of a v ail- able which–path infor mation. The wa ve c hara cter of the quant on is quantified b y the normalized l 1 -norm of coherence [ 6 , 3 2 ], C = 1 n − 1 X i 6 = j √ p i p j   h d j | d i i   , (6) which quant ifies residual spatial sup erp osition in the path bas is. The particle character is quantified b y the path distin- guishability D Q , defined op erationally as the maximum probability with which the detector states {| d i i} , o ccur- ring with prio r pr obabilities { p i } , can b e unambiguously distinguished. F o r an n –path interferometer, this quan- tit y can b e expre ssed as [ 5 ] D Q = 1 − 1 n − 1 X i 6 = j √ p i p j   h d j | d i i   . (7) This quantit y satisfies 0 ≤ D Q ≤ 1, with D Q = 1 corre- sp onding to pe rfect which–path information (o rthogonal detector states) and D Q = 0 correspo nding to completely indistinguishable paths. Hence, for a n y interferometer with a fixed c ausal order [ 6 ], C + D Q ≤ 1 . (8) F or pure quanton–detector states the relation is s atu- rated, C + D Q = 1, while for mixed states the inequality holds. This trade– off reflects a fundamen tal limitation im- po sed by a definite temp ora l structure . Examples of definite causal orde r include standard which–path interferometric setups in whic h the quanton 3 is first entangled with a detector and interference is sub- sequently measured. It is instructive to no te that ev e n in scenario s wher e int erference is obser ved prior to attempts a t which–path detection, complementarit y remains in tact. F or example, in the exp eriment o f Afshar et al. [ 33 ], interference was in- ferred b efore pa th information was prob ed. Subsequen t analyses show ed tha t no g en uine which–path informa- tion was av ailable for the detected photo ns [ 34 , 35 ], and that the standa rd duality rela tions were therefore fully resp ected. II I. INDEFINITE CAUSAL ORDER AND THE QUANTUM SWITCH Having established wav e–pa rticle duality under a def- inite ca usal structure, we now extend this framework to scenarios in which the temp oral order of oper ations is not fixed but can exist in a coherent sup erp osition. In such situations, a n additional ph ysical degree of free dom—the order qubit—b ecomes relev ant, ena bling co herence be- t ween a lternative causal o rders. Nevertheless, if the order qubit is tra ced out, the re - sulting quan ton– detector state reduces to a classical mix- ture of fixed causal o rders, and the standard spatial du- ality r elation remains intact a t this level of descr iption. How ever, this reduced description do es not capture the full pro cess, which in volves coher ent sup erp ositions of al- ternative causal o rders and is therefore causa lly nons ep- arable. A proper description of such pr o cesses requires a framework that go es b eyond fixed caus al s tructures, namely the pr o cess-matrix formalism. Within this fra mework, a bipartite quantum pro cess inv olving tw o lab orator ies A and B is describ ed by a pro cess matrix W acting on the tensor pro duct of their input and output Hilb ert s paces. The proba bilit y o f out- comes ass o ciated with lo cal op erations M A and M B is given by the g eneralized Bo rn rule P ( M A , M B ) = T r[ W ( M A ⊗ M B )] , (9) where M A and M B are the Choi–J amio lko wski opera tors corres ponding to the completely p ositive maps M A and M B [ 19 ]. Pro cess matrice s compa tible with a definite ca usal o r- der can be written as conv ex mixtures of pro cesses with fixed order A ≺ B and B ≺ A , whereas those t hat cannot admit such a decomposition are ter med c ausal ly nonsep a- r able . In particular, the quantum s witc h pro vides a phys- ically rea lizable e xample o f such a caus ally no nseparable pro cess [ 2 0 , 22 – 2 4 ]. Standard f ormulations of w ave–particle duality ass ume a definite temp oral or der b etw een the which–path inter- action and the interference o per ation. W e now extend this fra mework to situations in w hic h these t wo op era - tions o ccur in a sup erp osition of a lternative ca usal or- ders, implemen ted via a quantum sw itc h, as illustra ted schematically in Fig . 1 . Let ρ (0) QD denote the initial joint state of the quan- ton and the whic h– path de tector. Let U A represent the which–path interaction and U B = U Q ⊗ I D the interfer- ence op era tion acting only on the quanton Hilber t spa ce. The t wo definite temp oral orders corr esp ond to the unitary evolutions ρ A ≺ B = U B U A ρ (0) QD U † A U † B , (10) ρ B ≺ A = U A U B ρ (0) QD U † B U † A . (11) These s tates differ whenever [ U A , U B ] 6 = 0. The quantum switch c oherently controls the o rder of these o per ations v ia an orde r qubit O . Defining U A ≺ B = U B U A , (12) U B ≺ A = U A U B , (13) the controlled unitar y implementing the s witc h is U sw = U A ≺ B ⊗ | 0 ih 0 | + U B ≺ A ⊗ | 1 ih 1 | . (14) F or an initial o rder state ρ O , the global s tate is ρ tot = U sw  ρ (0) QD ⊗ ρ O  U † sw . (15) Let the or der qubit b e prepar ed in a g eneral state in the basis {| 0 i , | 1 i} , ρ O = p | 0 ih 0 | + (1 − p ) | 1 ih 1 | + κ | 0 ih 1 | + κ ∗ | 1 ih 0 | , (16) with 0 ≤ p ≤ 1 and | κ | 2 ≤ p (1 − p ). The state ρ tot contains b oth diago nal and o ff-diagonal contributions in the order-qubit basis, enco ding clas si- cal mixtures and coherent supe rpo sitions of alternative causal or ders. T racing ov er the order qubit r emov es the off-diagona l ter ms, since T r O ( | 0 ih 1 | ) = T r O ( | 1 ih 0 | ) = 0, yielding the r educed qua n to n–detector state ρ QD = T r O ( ρ tot ) = p ρ A ≺ B + (1 − p ) ρ B ≺ A . (17) Op erational wa ve and particle quantities ar e thus de- termined from the reduced state ρ QD , which ob eys the standard wa ve–particle duality r elation. Coherence b e- t ween alternative causal or ders is not acces sible at this level a nd requir es mea surements on the orde r qubit. W e there fore distinguish co herence at different levels of descr iption. W e denote by C the co herence for fix ed causal order, while C q denotes the coher ence of the re- duced qua n ton state under indefinite causal o rder, de- fined as ρ Q = T r D,O ( ρ tot ) . The co rresp onding wav e coher ence is C q = 1 n − 1 X i 6 = j |h ψ i | ρ Q | ψ j i| . (18) This is the normalized l 1 -norm of c oherence of ρ Q in the path bas is {| ψ i i} , a nalogous to Eq . ( 6 ). 4 Input BS Beam splitter A Which–path B Interference A ≺ B B Interference A Which–path B ≺ A BM Beam merger Output Order qubit |+ ⟩ | 0 ⟩ → A ≺ B | 1 ⟩ → B ≺ A FIG. 1. Schematic rep resen tation of a quantum switch contro lling the temp oral order b etw een a which–path interaction A and an interfere nce op eration B in an interfe rometric setup. The order qu bit places the tw o p ossible orders A ≺ B and B ≺ A in a sup erp osition of alternative causal orders. The op eratio nal path dis tinguishability D ICO Q is de- fined for the detector states {| d i i} with prio r probabilities { p i } , as enco ded in the reduce d quanton–detector state ρ QD . Conv exity of the l 1 -norm of co herence under mixing of density o per ators [ 11 ] implies C q ≤ p C A ≺ B + (1 − p ) C B ≺ A . (19) Similarly , the optimal success probability fo r unam- biguous quantum state dis crimination is conv ex under classical mixing of the cor resp onding sets of detector states (more g enerally , detecto r ensembles), yielding D ICO Q ≤ p D A ≺ B Q + (1 − p ) D B ≺ A Q . (20) A pro of o f this prop erty is provided in App endix A . Combining this with the fixed-o rder wav e–pa rticle du- ality relations C A ≺ B + D A ≺ B Q ≤ 1 a nd C B ≺ A + D B ≺ A Q ≤ 1, which are sa turated for ar bitrary pur e sta tes in m ulti- path interferometers [ 6 ], we obta in C q + D ICO Q ≤ 1 . (21 ) Thu s, when the order qubit is tr aced out, the re- duced quanton–detector state ob eys the s tandard t wo– term wa ve–particle duality relation. The quantities C and D Q characterize wav e a nd par- ticle b ehavior under a fix ed causal order , while C q and D ICO Q describ e the corres po nding qua n tities for the re- duced quanton–detector state in the pre sence of indefi- nite causal order. How ever, this reduced description do es not capture co- herence b etw een a lternative causal or ders. Access to the order qubit r eveals an a dditional for m of coher ence ass o- ciated with sup erp ositions of ca usal orders, which will be analyzed in the next s ection. IV. CAUSAL COHERENCE W e now quantify coherence b etw een a lternative causal orders and es tablish its op era tional significa nce. W e consider a pure qua n tum switch state of the form | Ψ tot i = √ p | Ψ A ≺ B i| 0 i + e iθ p 1 − p | Ψ B ≺ A i| 1 i , (22) where | Ψ A ≺ B i and | Ψ B ≺ A i are nor malized joint quanton–detector s tates corres ponding to the tw o defi- nite causal o rders, and 0 ≤ p ≤ 1. In the pro ces s-matrix fra mew ork, the quantum switch realizes a causa lly nons eparable pr o cess in which the con- trol sys tem (the order qubit) coherent ly selects the causal structure betw een the oper ations A a nd B . T r acing out the order qubit yields the classica l mixture of fixed causal orders given in Eq. ( 17 ). In contrast, tracing ov er the quanton–detector degr ees of freedo m yields the r educed order-q ubit sta te ρ O =  p κ κ ∗ 1 − p  , (23) where the off-diago nal ele men t κ is determined by the ov erla p b etw een the tw o ca usal-order states, κ = p p (1 − p ) e − iθ h Ψ A ≺ B | Ψ B ≺ A i . (24) Positivit y of ρ O implies | κ | 2 ≤ p (1 − p ), which follows from the Cauch y–Sch warz inequality |h Ψ A ≺ B | Ψ B ≺ A i| ≤ 1. W e define causal co herence as the l 1 -norm of coherence of the or der q ubit, C causal = 2 | κ | = 2 p p (1 − p ) |h Ψ A ≺ B | Ψ B ≺ A i| . (2 5) 5 This q uant it y character izes c oherence in the causal (order-qubit) degree of freedo m and quantifies in terfer- ence b etw een alter native causa l o rders, dir ectly analo- gous to s patial fring e visibility . F rom the b ound | κ | 2 ≤ p (1 − p ), it follows that | κ | ≤ p p (1 − p ) , and hence C causal = 2 | κ | ≤ 2 p p (1 − p ) ≤ 1 . where the last ineq ualit y uses p (1 − p ) ≤ 1 4 . Hence, 0 ≤ C causal ≤ 1 . Causal coherence v a nishes when the switc h is prepared in a definite causal o rder ( p = 0 or p = 1), or when the t wo ca usal-order sta tes ar e orthogo nal. It attains its maximum v alue C causal = 1 when the t wo causa l-order states are id entical and the switc h is prepared in an equal sup erp osition ( p = 1 2 ). T o prob e interference b etw een the t wo causal orders, we mea sure the o rder qubit in the gener alized basis |± φ i = 1 √ 2  | 0 i ± e iφ | 1 i  . (26) The corres po nding o utcome pro babilities a re P ± ( φ ) = h± φ | ρ O |± φ i = 1 2  1 ±  e iφ κ + e − iφ κ ∗  . (27) W riting κ = | κ | e iϕ 0 , with ϕ 0 = arg κ , the in terference term b ecomes e iφ κ + e − iφ κ ∗ = 2 | κ | cos( φ + ϕ 0 ) . (28) Thu s, P ± ( φ ) = 1 2 (1 ± 2 | κ | cos( φ + ϕ 0 )) . (29) The phase ϕ 0 = arg( κ ) determines the phase shift o f the interference pattern, i.e., the lo cation of the maxima and minima as a function of φ , while | κ | determines the visibility (co n trast). The interference visibility b etw een the tw o ca usal or- ders is there fore V causal = P max − P min P max + P min = 2 | κ | . (30) Hence, c ausal cohere nce admits a direct op erationa l int erpretation as the interference visibility of the or der qubit, establishing it as an exp erimentally observ a ble quantit y rather tha n mer ely a formal prop erty of the pr o- cess. In this work, we formulate co mplemen ta rity at the level of the underlying quantum process, w ithout conditioning on sp ecific meas urement outcomes . Accordingly , causa l coherence is defined as the l 1 -norm of c oherence o f the reduced o rder-qubit sta te, c apturing intrinsic coher ence betw een alternative caus al o rders. This co n trasts with spatial coherence, which is defined at the level of the r e- duced qua n to n s tate and characterizes sup erp osition b e- t ween in terfer ometric paths. Measurements in a superp o- sition bas is nevertheless provide an oper ational means to reveal this coherence via in terference visibility; the corre- sp onding p ost-s elected duality relations are analy zed in a s ubsequent s ection. This p ersp ective admits a natur al resour ce-theoretic int erpretation. R esour c e-t he or et ic interpr etation The quantit y C causal can b e understo o d as a resourc e q uant ifying coherence in the causa l (o rder-qubit) degre e of freedom. F ree s tates are density o per ators o n the order qubit tha t are diag onal in the causa l-order basis {| 0 i , | 1 i} , ρ O = p | 0 ih 0 | + (1 − p ) | 1 ih 1 | , which corr espo nd to clas sical mix tures of definite ca usal orders. F ree op erations are incoherent op erations with resp ect to this ba sis, a s defined in Ref. [ 11 ]. Under such op erations, C causal is a monotone and hence quantifies the r esource ass o ciated with coherent sup erp os itions of causal o rders. When C causal = 0, the order- qubit state is diagona l, implying the abs ence o f co herence betw een alternative causal orders. In this ca se, the pro cess b ecomes op era- tionally equiv alent to a classica l mixture o f fixed causal orders. At the level of the reduced quanton–detector state, tr acing o ut the orde r qubit yields ρ QD = p ρ A ≺ B + (1 − p ) ρ B ≺ A , as given in E q. ( 17 ). Such pro cesses are ca usally sep- arable and do not exhibit adv antages a sso ciated with indefinite causal order [ 27 – 29 ]. This is consis ten t with resource -theoretic approa ches, in which co herence b e- t ween causal str uctures is the key r esource enabling such adv antages [ 19 , 20 ]. Exp erimental ac c essibility. Causal coher ence is exper- imen tally a ccessible in photonic implementations of the quantum switch, w here the order qubit co herently con- trols the temporal order of opera tions [ 22 – 24 ]. Meas uring the o rder qubit in a sup erp osition basis reveals interfer- ence b etw een causal orders , from which ca usal coherence can b e directly extracted via the visibilit y . This estab- lishes C causal as an exp erimentally measurable quantit y asso ciated with co herent co n trol of temp oral or der. The o per ational relev ance of this co herence has also bee n demonstrated in quantum co mm unica tion scenar- ios, where the quant um switc h can activ ate per fect quan- tum communication from channels with zero quantum capacity [ 29 ], indicating that the sa me causal-or der co- herence underlies known op erational adv antages. While causal coher ence is not accessible a t the level of the reduced quanton–detector state, it can be revealed 6 through mea surements on the order qubit. Such mea- surements induce a conditional (po st-selected) descrip- tion of the quanton–detector system, analyzed in detail in Appendix B . If measurement outcomes are not conditioned up on, i.e., one av era ges ov er the p ost-selected sub ensembles, the interference ter ms a rising from cohe rence b etw een causal o rders cancel, thereby recov ering the reduced state in Eq. ( 17 ). Co nsequently , in ter ference betw een causal orders is observ a ble only at the level of conditional (post- selected) statistics. This mechanism is close ly analog ous to a quantum eraser [ 36 , 37 ]: tracing out the order qubit e nco des which- order informatio n in cor relations that are inacce ssible at the level of the r educed quanton–detector state, ther eb y suppressing interference, wherea s measurements in a s u- per po sition basis erase access to which-order information and res tore phase co herence b etw een alter native causa l orders, revealing in ter ference. Extensions of the quan- tum era ser concept to nonloca l (spatial) settings under definite ca usal or der hav e been in vestigated in [ 3 8 ]. In contrast, the present work concerns interference b etw een alternative ca usal order s, highlighting a distinct form of coherence a sso ciated with tempor al o rder. W e emphasize that C q denotes the coherence of the re- duced q uant on sta te obtained after tra cing out the order qubit, whereas C ( ± ) denotes cohere nce co nditioned on po st-selection. These quant ities corres pond to different op erational le v els o f des cription. Post-sele cte d duality. Mea surements of the order qubit in a sup erp osition basis induce a co nditional (post- selected) desc ription of the quanton–detector system. The res ulting states e xhibit mo dified coher ence a nd dis- tinguishability , reflec ting interference b etw een alterna- tive ca usal o rders. Conditioned on the measurement outcomes ± of the order q ubit, the r educed quanton sta te ta kes the for m ρ ( ± ) Q =  1 2 γ ± γ ∗ ± 1 2  , (31) for a symmetric tw o- path interferometer with equal ini- tial pa th pr obabilities, such that p ost- selection pres erves path symmetry . The o ff-diagonal element γ ± admits a decomp ositio n int o contributions from classical mixing of fixed causal orders and in terfere nce betw een alternative caus al order s, and is given by γ ± = 1 4 N ± h C mix ± p p (1 − p )  e iθ Γ 10 + e − iθ Γ ∗ 01  i . (32) Here C mix = p γ A ≺ B + (1 − p ) γ B ≺ A , with γ X = h d X 1 | d X 0 i for X ∈ { A ≺ B , B ≺ A } . The quantities Γ ij = h d A ≺ B i | d B ≺ A j i deno te overlaps b etw een detector states cor resp onding to different causal orde rs. The nor- malization factor N ± is given in App endix B . The corres po nding wav e and particle quan tities for the t wo-path ca se ar e C ( ± ) = 2 | γ ± | , D ( ± ) = 1 − 2 | γ ± | , (33) which s atisfy the complementarit y relation C ( ± ) + D ( ± ) = 1 . (34) Thu s, the standar d c omplement arity r elation is recov- ered within ea c h p ost-s elected ensemble, while causa l coherence manifests thro ugh int erference contributions in γ ± . Complementarit y therefore r emains v a lid within each op er ational setting. This r aises the question of whether it can b e extended to a universal linear rela - tion inco rp orating causal c oherence, w hic h we address in the next section. Causal dualit y . In a nalogy with spatial wa ve–particle duality , the pa rticle-like character of caus al or der can be qua n tified op erationa lly via unambiguous quantum state discrimination (UQSD) b etw een the t wo causal- order states | Ψ A ≺ B i and | Ψ B ≺ A i , o ccur ring with prior probabilities p and 1 − p . F or tw o pure s tates, the optimal succes s probability is given by the Iv anovic–Dieks–Peres bo und [ 39 – 41 ], D UQSD causal = 1 − 2 p p (1 − p ) |h Ψ A ≺ B | Ψ B ≺ A i| . Using C causal = 2 p p (1 − p ) |h Ψ A ≺ B | Ψ B ≺ A i| , we ob- tain C causal + D UQSD causal = 1 , (35) which holds for pure ca usal-order states. F o r mixed states, the r elation is genera lly replaced b y a n inequality . This relation is directly ana logous to tw o -path w ave– particle duality , but applies to the temp oral (ca usal- order) degree of freedom. It highlig h ts the distinct o per - ational r ole of c ausal coher ence and motiv ates the in ves- tigation of whether a unified complementarit y rela tion with s patial coherence a nd path distinguishability can exist. Although causal-o rder discr imination, as analyzed via minim um- error discrimination in App endix D , is gov- erned b y detector -state overlaps h d j | d i i , this dep en- dence can b e expressed in terms of ov erlap b etw een the global causal-o rder states h Ψ A ≺ B | Ψ B ≺ A i . Accordingly , the UQSD form ula tion pr ovides a na tural pro cess-level characterization of causal distinguisha bilit y —free of er - rors—ther eb y e lev a ting the description b eyond the de- tector level. V. F AILURE OF UNIVERSA L LINEAR ADDITIVE COMPLEMENT ARITY The preceding analysis establishes tw o distinct forms of co mplemen ta rity: (i) spa tial wav e–pa rticle dualit y b e- t ween c oherence C q and path distinguisha bilit y D ICO Q , 7 and (ii) causal duality b etw een causal coherence C causal and the co rresp onding pa rticle-like q uan tit y D UQSD causal . A natural q uestion is whether these tw o fo rms can b e unified into a single tradeoff rela tion. A straig h tforward extension of s tandard duality r elations suggests an addi- tive co nstraint o f the form C q + D ICO Q + C causal ≤ 1 . (36) How ever, such a r elation implicitly assumes a join t con- straint b et ween spatial and c ausal degrees of freedom, which is not s uppor ted in the present setting, since these quantities a re de fined o n different subsy stems. In particular, it a ssumes tha t a ll three quantities are defined on the sa me reduced quantum state a nd dep end on the s ame und erlying probabilities, an a ssumption that do es not ho ld here. Quantum switch pro cesses provide explicit co un ter ex- amples: there exist c onfigurations in which the spa tial duality r elation is sa turated, C q + D ICO Q = 1 , while the causal co herence simultaneously a ttains its maximal v alue, C causal = 1 . This v iolates Eq. ( 36 ) and thereby rules out any universal additive extension, e stablishing that spatial a nd caus al contributions cannot b e captured within a single unified complementarit y relation. More generally , nonlinear extensions (e.g., quadratic relations of the Englert t yp e [ 3 ]) arise when all relev ant quantities a re defined on a common quantum state and are joint ly constrained by its geo metric or informa tion- theoretic structure, whic h impose s a well-defined nor mal- ization co nstraint on the cor resp onding observ a bles. This feature under lies standard duality r elations. In the pre sent setting, how ever, C q , D ICO Q , and C causal are defined on different s ubsystems—the r educed quanton–detector state a nd the order qubit—and a re therefore no t jointly constrained b y a s ingle under ly- ing quantum state. As a result, there is no o per a- tionally meaningful wa y to imp ose a universal functional relation among all three quantit ies. Consequently , nei- ther a unique nonlinea r rela tion nor a univ er sal, state- independent tradeoff can b e established. Absence of a trialit y structure. Unlike known tri- ality r elations [ 15 , 4 2 , 43 ], which are defined on a single quantum state, spatial coher ence and path distinguisha - bilit y a rise fro m the quanton–detector system, whereas causal co herence characterizes the order qubit g ov erning tempo ral structure. Complementarit y in the pre sence o f indefinite causal order therefore does not a dmit a genu ine triality r elation, but ins tead reflects the indep endence o f spatial and ca usal r esources. Although Eq . ( 36 ) is ruled out, one may still co nsider more general linear relations. The following no-go theo- rem ex cludes all such p ossibilities . Theorem V.1 (No univ er sal linear additiv e complemen- tarity) . Ther e exists no universal state-indep endent in- e quality of the form C q + D ICO Q + α C causal ≤ 1 , (37) with any c onstant α > 0 that holds for al l pr o c esses r e al- izable via the quantum switch. Pr o of. Assume, for contradiction, that Eq. ( 37 ) holds universally . In par ticular, it must hold in the commuting sector o f the qua n tum switch. Consider tw o unitar y o per ations U A and U B acting o n H Q ⊗ H D , with U B = U Q ⊗ I D , such that [ U A , U B ] = 0 . F or any pur e input state | Ψ (0) i , define | Ψ A ≺ B i = U B U A | Ψ (0) i , | Ψ B ≺ A i = U A U B | Ψ (0) i . Commutativit y implies | Ψ A ≺ B i = | Ψ B ≺ A i =: | Φ i , so that their overlap e quals unity . The co rresp onding qua n tum switch state is | Ψ tot i = √ p | Φ i| 0 i + e iθ p 1 − p | Φ i| 1 i , yielding causal coherence C causal = 2 p p (1 − p ) , which is maximal fo r p = 1 2 . Since the r educed quanton–detector state is ρ QD = | Φ ih Φ | , the spatial quantities reduce to their fixed-order forms. As U B U A is unitary , any state | Φ i can b e r ealized by a n appro priate choice of input. Cho ose | Φ i such that the fixed-order duality rela tion is sa turated, C q + D ICO Q = 1. Then, for p = 1 2 , C q + D ICO Q + αC causal = 1 + α > 1 , contradicting Eq. ( 37 ). Hence no such universal linea r relation ex ists. Ge ometric interpr etation. In the ( C q + D ICO Q , C causal ) parameter space, quantum switch pro cesses a llow v a lues across the unit square 0 ≤ C q + D ICO Q ≤ 1 , 0 ≤ C causal ≤ 1 . In pa rticular, the p oint (1 , 1) is a chiev able in the c om- m uting sector , as illustrated in Fig. 2 . This p oint lies outside a n y linea r co nstraint of the for m C q + D ICO Q + α C causal ≤ 1 ( α > 0) , thereby ruling out a n y universal linear tra deoff rela tion. 8 FIG. 2. Geometric representation of complementarit y in the presence of indefinite causal order. The accessible region in the ( C q + D ICO Q , C causal ) plane is the full u nit square. In par- ticular, the p oint (1 , 1) is ac h iev able in the commuting sec- tor of the q uantum switch, demonstrating the absence of any universal linear tradeoff relation b etw een spatial and causal quantities. Explicit r e alization. T o illustrate the construction, consider a tw o- path in terferometer with qua n ton ba sis {| 0 i , | 1 i} . The quanton is initialized in the bala nced su- per po sition | ψ i Q = 1 √ 2 ( | 0 i + | 1 i ) , | Ψ (0) i = | ψ i Q ⊗ | d 0 i , with the detector initially in the state | d 0 i . The which-path int eraction is given by U A = | 0 ih 0 | ⊗ I D + | 1 ih 1 | ⊗ X D , where | d 0 i and | d 1 i are orthogonal detector states and X D denotes a bit-flip op erator in this basis. This yields the ent angled state | Ψ A i := U A | Ψ (0) i = 1 √ 2 ( | 0 i| d 0 i + | 1 i| d 1 i ) , whose reduced qua n ton sta te is ρ Q = 1 2 I . Co nsequently , the spatial cohe rence v anishes while the path distin- guishability is maximal, C q = 0 , D ICO Q = 1 . Now cons ider an interference op eration acting only on the quanton, U B =  e iφ 0 | 0 ih 0 | + e iφ 1 | 1 ih 1 |  ⊗ I D . Since bo th U A and U B are diagonal in the path basis, they commute, [ U A , U B ] = 0. Consequently , the tw o causal orders pro duce ident ical states, | Ψ A ≺ B i = | Ψ B ≺ A i , so that |h Ψ A ≺ B | Ψ B ≺ A i| = 1. Using Eq. ( 25 ), this yields C causal = 2 p p (1 − p ) , which a ttains its ma xim um v a lue C causal = 1 for p = 1 2 . This explic itly r ealizes a pr o cess in which C q + D ICO Q = 1 , C causal = 1 , demonstrating the mechanism underlying the no-g o the- orem. These results show that spatia l and causal cont ribu- tions are op era tionally distinct. Although bo th spatial duality and ca usal-order dis crimination depend on the same detector o verlaps h d j | d i i (as shown in Appendix D ), they are no t join tly cons trained by a sing le underly ing quantum sta te. Spatial co herence and path distinguishability arise from the reduced qua n to n state within a fixed ca usal order, wher eas ca usal co herence c haracter izes the or der qubit a nd enco des sup erp ositions of alter native causa l structures. This separa tion explains the abs ence of a universal tradeoff betw e en spatial and causal quantities and naturally motiv ates an ent ropic description of their int erplay . VI. ST A TE–DEPENDENT ENTROPIC COMPLEMENT ARITY W e formulate complementarity in the prese nce of indef- inite causal order using the ent ropic uncertaint y rela tion with quantum memor y [ 44 ]. In standar d interferometric settings, entropic for m ula tions of wa ve–particle duality can b e ex pressed without quantum memory , since com- plement ary observ ables act on the sa me quanton [ 30 ]. In co n trast, in the present s etting spa tial and c ausal observ ables a re defined on different subs ystems and therefore do not admit a formulation as inco mpatible measurements on a single system within a memory -free ent ropic uncer tain ty framework. Co nsequently , comple- men tarity does not a dmit a s traightforw a rd memory-free ent ropic for m ulation. Instead, incompatible meas ure- men ts act on the c au s al degree o f freedo m (the order qubit), while spatial information is encoded in cor rela- tions with the quanton–detector system. Consider the pure quantum switc h state defined in Eq. ( 22 ). Let Z O and X O denote tw o mutually unbiased measur ement s on the order q ubit, Z O = {| 0 i , | 1 i} , (38) X O = {| + i , |−i} , (39) where |±i = ( | 0 i ± | 1 i ) / √ 2. The measuremen t Z O reveals definite causal order and thus plays a particle-like role, while X O prob es coherent sup erp ositions of causal orders and captures the wa ve-lik e b ehavior o f the ca usal degree 9 of freedo m. Since Z O and X O are mutually unbiased bases, one has c = max i,j |h z i | x j i| 2 = 1 2 , and hence lo g 2 (1 /c ) = 1. Before pro ceeding, we in tro duce the conditional en- tropies a ppea ring in the uncertaint y r elation. The von Neumann entrop y is defined as H ( ρ ) := − T r( ρ log ρ ). F or a pro jective measurement of the o rder qubit in the Z O basis, we define H ( Z O | QD ) := H ( ρ Z O OQD ) − H ( ρ QD ) , (40) where Π z = | z ih z | ar e the pro jectors , a nd the p ost- measurement state is ρ Z O OQD = X z (Π z ⊗ I QD ) ρ OQD (Π z ⊗ I QD ) . (41) An analogous definition applies to the X O basis. This coincides with the standa rd definition of conditional e n- tropy used in en tro pic uncerta in ty relations with quan- tum memo ry [ 44 ]. Theorem VI. 1 (State–depe nden t ent ropic complemen- tarity) . F or the quantu m switch state ( 22 ) , the c ondi- tional entr opies asso ciate d with m e asur ements Z O and X O ob ey H ( Z O | QD ) + H ( X O | QD ) ≥ 1 − H ( O ) , (42) wher e H ( O ) = H ( ρ O ) denotes the von Neumann entro py of the r e duc e d or der qubit. The pr o of follows directly from the entropic uncer - taint y relation with quantum memo ry , to gether with the purity o f the g lobal state (see App endix C ). The reduced state o f the o rder qubit is ρ O =  p κ κ ∗ 1 − p  , κ = p p (1 − p ) e − iθ h Ψ A ≺ B | Ψ B ≺ A i . (43) The causal co herence is defined a s C causal = 2 p p (1 − p ) |h Ψ A ≺ B | Ψ B ≺ A i| . (44) The eigenv alues of ρ O are λ ± = (1 ± ∆) / 2, where ∆ = q (2 p − 1) 2 + C 2 causal . (45) Since ρ O is a density op erator, 0 ≤ ∆ ≤ 1, and its von Neumann ent ropy is H ( O ) = h 2  1 + ∆ 2  , (46) where h 2 ( x ) = − x log 2 x − (1 − x ) log 2 (1 − x ) deno tes the binary entrop y . The entrop y v anis hes when ∆ = 1, i.e., when the reduced order qubit is pure. F rom ∆ 2 = (2 p − 1) 2 + 4 p (1 − p ) |h Ψ A ≺ B | Ψ B ≺ A i| 2 , this conditio n implies either p ∈ { 0 , 1 } or |h Ψ A ≺ B | Ψ B ≺ A i| = 1. F or 0 < p < 1, the latter requir es the two caus al-order sta tes to coincide up to a glo bal phas e. In this regime, the tw o causal-o rder states cor resp ond to ident ical quanton–detector states, so that no which-order infor mation is enco ded. As a result, the glo bal state factorizes a s ρ OQD = ρ O ⊗ ρ QD . Since the globa l state is pure, this implies that ρ QD is als o pure. Consequently , the coherence– distinguishability du- ality relation C + D Q = 1 is saturated. F or p = 1 2 , one has maximal causal coherence, C causal = 1, allowing it to co exist with sa turated spatial complementarity , which underlies the no-g o theor em. Definite causal order is r e- cov ere d in the limiting case p = 0 or p = 1. The entropy is maximal, H ( O ) = 1 , when ∆ = 0, corres ponding to a max imally mixed o rder qubit. Substituting this expressio n for H ( O ) into Eq. ( 42 ) yields the ex plicit fo rm of the sta te–dependent b ound H ( Z O | QD ) + H ( X O | QD ) ≥ 1 − h 2  1 + ∆ 2  . (47) Interpr etation. The entropic b ound re flects the in- compatibility of the measur emen ts Z O and X O , q uan- tified by the ov erla p par ameter c . This is conceptually analogo us to the no-g o theor em, in which inco mpatible structures preclude the existence o f a universal join t con- straint. Causal coherence con tr ibutes directly to t he entrop y of the order qubit through the off-diago nal element κ , while spatial cohere nce and path distinguisha bilit y enter in- directly through correlatio ns with the quanton–detector system, which acts as q uant um memor y . Extension t o mix e d switch states. F or a genera l mixed state ρ OQD , the ent ropic uncer taint y r elation y ields H ( Z O | QD ) + H ( X O | QD ) ≥ 1 + H ( O | QD ) , (48) which ho lds without any pur it y assumption. In this case, complementarity dep ends no t only on causal coherenc e but also on corr elations b etw een c ausal and spatial degrees of freedom. In particular , H ( O | QD ) may b ecome nega tiv e in the presence of entanglement, thereby reducing the low er b ound in a manner that re- flects these c orrelations . The op erationa l o rigin of the entropic complementar- it y rela tion in Eq. ( 42 ) lies in the distinguishability of causal orde rs, as quantified b y the conditional entropy H ( Z O | QD ). As shown in App endix D , the Helstrom op- erator governing optimal discrimination b etw een the tw o causal order s depends explicitly on the detecto r op erators | d i ih d j | , and hence on their overlaps h d j | d i i . These ov er - laps are precisely the quantities that determine spatia l coherence and path distinguisha bilit y in a fixed-or der in- terferometer. Thus, b oth spatial dualit y and ca usal-order discrimination are gov er ned by the sa me underlying de- tector correla tions. 10 VII. CONCLUSION W e hav e for m ulated wa ve–particle duality in the pr es- ence of indefinite causal order within the quan tum switch framework. The ca usal degr ee of freedom intro duces an additional reso urce—causal coherenc e—whic h quan- tifies interference b etw een alternative causal or ders and is op era tionally accessible via measurements o n the or- der qubit. Imp ortantly , this form of co herence is no t reducible to spatial coherence, as it r esides in a dis tinct subsystem asso ciated with tempo ral structure. While tracing out the or der qubit re cov ers the stan- dard duality relation betw een spatia l coherence and path distinguishability , access to the order qubit reveals coher - ence betw e en a lternative causal orders. F or pure switch states, this causal coherence s atisfies a dualit y r elation with the optimal success probability for discriminating betw een causal orders. Our ma in res ult is a no-go theo rem showing that no universal state- independent linear additive complemen- tarity r elation inv olving spatial coher ence, pa th distin- guishability , a nd c ausal coherence exists within the quan- tum switch framework. This shows that complemen- tarity do es no t a dmit a universal unified alg ebraic co n- straint once causal structure be comes quantum, and in- stead r eflects a fundamental separatio n betw een spatial and ca usal r esources defined on different subsys tems. The failur e of universal tra deoff rela tions motiv ates a n alternative description. In this r egime, co mplemen ta r- it y admits a state-dependent entropic formulation a rising from inc ompatible measur emen ts on the causal deg ree of freedom. The strength o f this bo und is governed by the ent ropy of the order qubit: it is maximal when the or- der qubit is pure a nd b ecomes trivial when it is max- imally mixed. Notably , even in the regime where this ent ropic constr aint is str ongest, maximal causal co her- ence can co exist with s aturated spatial co mplemen tarity . Thu s, while the e n tr opic formulation remains fully con- sistent, it do es not imp ose a direct joint tradeoff b et ween spatial and causa l q uan tities, reflecting their o per ational independenc e. These results s how that complement arity in quant um pro cesses with indefinite ca usal order ca nnot be captured by any universal tradeoff rela tion, but instea d r eflects a separatio n b etw een spatial and causal structures t hat are op erationally linked thr ough cor relations while g ov erned by distinct constraints. Extending this framework to gener al pro cess matrices and explor ing its implications for quantum information pro cessing tas ks in volving co herent control o f ca usal or - der r epresent natural dir ections for future work. App endix A : Conv e xity of the UQSD distinguishabili t y W e prove that the optimal succe ss probability of unam- biguous q uant um state discriminatio n (UQSD) is co n vex under cla ssical mixing o f detector ensembles. F or a detector ense m ble E = { p i , σ i } , wher e σ i denotes the detecto r states ass oc iated with the interferometric path i , the succes s probability of UQSD for a POVM Π = { Π i , Π ? } is P succ (Π |E ) = X i p i T r( σ i Π i ) , (A1) sub ject to the UQSD co nstraints T r( σ i Π j ) = 0 ( i 6 = j ) , and the P OV M co mpleteness rela tion X i Π i + Π ? = I . The op erato r Π ? corres ponds to the inco nclusive out- come. The optimal success probability is obtained by maxi- mizing over a ll POVMs sa tisfying these co nstraints, P UQSD ( E ) = max Π X i p i T r( σ i Π i ) . (A2) Consider tw o detector ensembles E 1 and E 2 . Supp ose that E 1 is prepar ed with probability p and E 2 with pro b- ability 1 − p , defining a cla ssical mixture o f ens em bles . F or any fix ed P OVM Π, the succe ss pro bability is lin- ear in the ensemble, and o ne has P succ (Π |E ) = p P succ (Π |E 1 ) + (1 − p ) P succ (Π |E 2 ) . (A3) Since P UQSD ( E k ) is defined as the max im um o ver all POVMs, a n y fixed POVM Π s atisfies P succ (Π |E k ) ≤ P UQSD ( E k ) , k ∈ { 1 , 2 } . Therefore, P succ (Π |E ) ≤ p P UQSD ( E 1 ) + (1 − p ) P UQSD ( E 2 ) . (A4) Since this inequality holds for every POVM Π, taking the maximum over a ll POVMs yie lds P UQSD ( E ) ≤ p P UQSD ( E 1 ) + (1 − p ) P UQSD ( E 2 ) , (A5) which s hows that the o ptimal UQSD success pr obability is co n vex under cla ssical mixing of detector ensembles. In the main text, the reduced quanton–detector state is given by Eq. ( 17 ). Applying the conv ex it y of the optima l UQSD success probability to this mix ture yields D ICO Q ≤ p D A ≺ B Q + (1 − p ) D B ≺ A Q . (A6) The formulation of UQSD as a POVM optimization follows the s tandard fr amework o f qua n tum sta te dis- crimination [ 45 , 4 6 ]. Since, for any fixed POVM, the success probabilit y is linear in the ensem ble probabilities, and the optimal success pro bability is obta ined by ma xi- mizing o ver all POVMs, it follows that P UQSD is a convex function of the ensemble probabilities [ 47 , Sec . 3 .2.3]. 11 App endix B : Post-selected duality relations W e consider the pure qua n tum switch state de fined in Eq. ( 22 ). F or a balanced tw o- path int erferometer, | Ψ X i = 1 √ 2 1 X i =0 | i i| d X i i , X ∈ { A ≺ B , B ≺ A } , (B1) with normalized detector states h d X i | d X i i = 1. Pro jecting the order qubit onto |±i = ( | 0 i ± | 1 i ) / √ 2 gives | Ψ ( ± ) i = 1 2 p N ± 1 X i =0 | i i| d ( ± ) i i , (B2) where | d ( ± ) i i = √ p | d A ≺ B i i ± e iθ p 1 − p | d B ≺ A i i , (B3) and N ± is the normaliza tion factor, N ± = 1 2 h 1 ± p p (1 − p ) Re  e iθ (Γ 00 + Γ 11 )  i , (B4) with Γ ij = h d A ≺ B i | d B ≺ A j i . T racing o ver the detector subsystem yields the reduced quanton state ρ ( ± ) Q = 1 4 N ± X i,j | i ih j | h d ( ± ) j | d ( ± ) i i . (B5) The off-diagona l ele men t is given by γ ± = 1 4 N ± h C mix ± p p (1 − p )  e iθ Γ 10 + e − iθ Γ ∗ 01  i , (B6) where C mix = p γ A ≺ B + (1 − p ) γ B ≺ A , with γ X = h d X 1 | d X 0 i for X ∈ { A ≺ B , B ≺ A } . In the symmetric case sa tisfying Re( e iθ Γ 00 ) = Re( e iθ Γ 11 ) , the reduced s tate takes the form ρ ( ± ) Q =  1 2 γ ± γ ∗ ± 1 2  . (B7) The l 1 -norm of coher ence is C ( ± ) = 2 | γ ± | . In this symmetric tw o- path ca se, the distinguishability is given by D ( ± ) = 1 − 2 | γ ± | . (B8) This coincides w ith the o ptimal success pr obability in UQSD for tw o sta tes and s atisfies the coher ence– distinguishability duality rela tion [ 6 ], C ( ± ) + D ( ± ) = 1 . (B9 ) App endix C: Deriv ation of the entr opic complementarit y rel ation W e derive Eq. ( 42 ) using the en tropic uncertaint y re- lation w ith qua n tum memo ry [ 44 ]. F or t wo mea surements R and S on system O in the presence of q uan tum memory QD , one has H ( R | QD ) + H ( S | Q D ) ≥ log 2 1 c + H ( O | QD ) , (C1) where c = ma x i,j |h r i | s j i| 2 quantifies the o verlap betw een the measurement bases. F or mutually unbiased bases Z O and X O , one has c = 1 2 , and hence H ( Z O | QD ) + H ( X O | QD ) ≥ 1 + H ( O | QD ) . (C2) F or a pur e globa l state ρ OQD , the conditional entropy satisfies H ( O | QD ) = − H ( O ) , (C3) since H ( O | Q D ) = H ( ρ OQD ) − H ( ρ QD ), H ( ρ OQD ) = 0 , and for a pure bipartite state one has H ( ρ QD ) = H ( ρ O ). Substituting this in to the ab ov e ineq uality yields H ( Z O | QD ) + H ( X O | QD ) ≥ 1 − H ( O ) , (C4) as stated in E q. ( 42 ). App endix D : Dete ctor correlations and causal-order discrimination T o elucidate the op erational origin of the en tropic com- plement arity r elation in E q. ( 42 ), we analy ze how detec- tor correla tions determine the distinguishabilit y of causal orders. Lemma D.1 ( Detector cor relations underlying causal-o rder discriminatio n) . L et U A denote the which–p ath inter action U A : | ψ i i | d 0 i − → | ψ i i | d i i , (D1) and let U B = U Q ⊗ I D act nontrivial ly only on t he quan- ton. The n the Helstr om op er ator for discriminating the two c ausal or ders, ∆ := pρ A ≺ B − (1 − p ) ρ B ≺ A , (D2) dep ends explicitly on the dete ctor overlaps h d j | d i i . Con- se quently, the optimal discrimination pr ob ability b et we en c ausal or ders is governe d by the same dete ctor c orr ela- tions that determine sp atial c oher enc e and p ath distin- guishability in a fixe d-or der interfer ometer. Pr o of. The tw o definite-order pro cesses genera ted by U A and U B are ρ A ≺ B = U B U A ρ (0) QD U † A U † B , (D 3 ) ρ B ≺ A = U A U B ρ (0) QD U † B U † A . (D 4 ) 12 After the which–path interaction U A , the join t quanton–detector state takes the form ρ QD = X i,j √ p i p j e i ( φ i − φ j ) | ψ i ih ψ j | ⊗ | d i ih d j | , (D5) which coincides with the fixed-order state in Eq. ( 4 ). Since U B = U Q ⊗ I D acts tr ivially o n the detector Hilber t space, the op era tors | d i ih d j | remain inv ariant un- der U B and U † B . Consequent ly , b oth ρ A ≺ B and ρ B ≺ A retain tensor factors o f the fo rm | ψ i ih ψ j | ⊗ | d i ih d j | . Therefore, the Hels trom op erator ∆ = pρ A ≺ B − (1 − p ) ρ B ≺ A inherits these detector opera tors. T racing ov er the detec- tor yields T r D ( | d i ih d j | ) = h d j | d i i , so that ∆ depends explicitly on the overlaps h d j | d i i . Since the optimal discr imination pro bability is deter- mined by the trace norm k ∆ k 1 , it follows that causal- order distinguishability is g ov erned by the same ov erlaps h d j | d i i that determine s patial co herence and path distin- guishability in the fixed-orde r interferometer. Corollary D.2 (O per ational interpretation) . L et ρ QD = T r O ( | Ψ tot ih Ψ tot | ) b e the r e duc e d qu anton–dete ctor state define d in Eq. ( 17 ) . A pr oje ct ive me asur ement of Z O on the or der qubit pr ep ar es the classic al–quantum ensemble { p, ρ A ≺ B ; 1 − p, ρ B ≺ A } on QD . The optimal pr ob ability for minimum-erro r discrimina- tion of the c ausal or der, given ac c ess to QD , is t her efor e given by the Helstr om b ound [ 48 , 49 ], P guess ( Z O | QD ) = 1 2 (1 + k pρ A ≺ B − (1 − p ) ρ B ≺ A k 1 ) , (D6) wher e k · k 1 denotes t he tr ac e norm. By the preceding lemma, the Helstrom op era tor pρ A ≺ B − (1 − p ) ρ B ≺ A depe nds explicitly o n the detector ov erla ps h d j | d i i , thereby linking optimal discrimination of causal or ders to the same detector co rrelation struc- ture that g ov erns fixed-o rder wa ve–particle dua lit y . Accordingly , discr imination o f the t wo c ausal orders is formulated a s a minimum-error state discr imination problem. This is o per ationally distinct from the pa th distinguishability defined earlier via unambiguous q uan- tum state discr imination (UQSD), as these cor resp ond to different notions of distinguishabilit y . Nevertheless, both are gov erned by the same detector overlaps h d j | d i i that enco de co rrelations betw een the qua n to n and detector. T ogether with Eq. ( 47 ), this establishes a genuinely c ausal for m o f complementarit y : incre ased distinguisha- bilit y of the causa l order (cor resp onding to s maller H ( Z O | QD )) is accompanied by incr eased unce rtaint y in measurements p erfor med in a sup erp osition ba sis. Un- like standar d wa ve–particle duality , this c omplemen tar- it y is not algebraic but entropic in nature, ar ising from the incompatibility of measuremen ts on the ca usal degr ee of freedom ass oc iated with alternative temp ora l struc- tures. This demonstrates that c omplemen tarity in indef- inite causal order do es not imp ose a joint constraint on spatial and causal obser v a bles, but instead manifests as an infor mation-theoretic c onstraint gov er ning inco mpat- ible measurements o f the ca usal structure . [1] W. K. W o otters and W. H. Z u rek, Complementarit y in the double-slit exp eriment: Quantum nonseparability and a quantitativ e statement of b ohr’s principle, Phys. Rev. D 19 , 473 ( 1979) . [2] D. M. Greenberger and A. Y asin, Simultaneous w ave and particle know ledge in a neu tron interferometer, Physics Letters A 128 , 391 (1988) . [3] B.-G. Englert, F ringe visibilit y and whic h -w a y informa- tion: An inequality , Phys. Rev. Lett. 77 , 2154 (1996) . [4] S. D ¨ urr, Quantitativ e wa ve-particle du alit y in multibeam interf erometers, Phys. Rev. A 64 , 042113 (2001) . [5] M. A sad Siddiqui and T. Q ureshi, Three-slit interf eren ce: A duality relation, Progress of Theoretical and Exp eri- mental Physics 2015 , 083A02 (2015) . [6] M. N . Bera, T. Qureshi, M. A. S iddiqui, and A . K. Pati, Duality of qu an tum coherence and path distinguishabil- it y , Phys. Rev. A 92 , 012118 (2015) . [7] E. Bagan, J. A . Bergou, S. S. Cottrell, and M. Hillery , Relations betw een coherence and path information, Phys. Rev. Let t . 116 , 160406 (2016) . [8] T. Qureshi and M. A. Siddiqu i, W a ve–particl e du alit y in n-path interference, Annals of Physics 385 , 598 (2017) . [9] T. Qureshi, Interfe rence visibility and wa ve-particle du- alit y in multipath interfere nce, Phys. R ev. A 100 , 042105 (2019) . [10] M. A. Siddiqu i and T. Qureshi, Multipath wa ve-particle duality with a p ath detector in a quantum sup erp osition, Phys. Rev. A 103 , 022219 (2021) . [11] T. Baumgratz, M. Cramer, and M. B. Plenio, Quantify- ing coherence, Phys. Rev. Lett. 113 , 140401 (2014) . [12] A. Streltsov, G. A desso, and M. B. Plenio, Colloquium: Quantum coherence as a resource, Rev. Mod . Phys. 89 , 041003 (2017) . [13] M. Jakob and J. A. Bergou, Complementarit y and en- tanglemen t in bipartite q udit systems, Phys. Rev . A 76 , 052107 (2007) . [14] K. Bu, L. Li, J. W u , and S.-M. F ei, D ualit y relation b e- tw een coherence and path information in the presence of quantum memory , Journal of Physics A: Mathematical and Theoretical 51 , 085304 ( 2018) . 13 [15] A. K. Roy , N. P athania, N. K. Chandra, P . K. P anigrahi, and T. Qureshi, Coherence, path predictability , and i concurrence: A trialit y , Ph y s. Rev. A 105 , 032209 (2022) . [16] Y. Sun, M.-J. Zhao, and P .-T. L i, Complementarit y rela- tions in a multipath interfero meter with qu antum mem- ory , Phys. Rev. A 112 , 012427 (2025) . [17] K. Banaszek, P . H orodecki, M. Karpi ´ nski, and C. Radzewicz, Quantum mechanica l which-w ay ex p eri- ment with an internal degree of freedom, Nature Com- municatio ns 4 , 2594 (2013) . [18] G. Sh arma, M. A. Siddiq u i, S. Mal, S. S azim, and A. Sen(De), Robustness of interferome tric complemen- tarit y u nder d ecoherence, Physics Letters A 384 , 126297 (2020) . [19] O. Oreshko v, F. Costa, and ˇ C. Brukner, Qu an tum corre- lations with no causal order, Nature Communications 3 , 1092 (2012) . [20] G. Chirib ella, G. M. D’Ariano, P . Perinotti, and B. V al- iron, Quantum computations without definite causal structure, Phys. Rev. A 88 , 022318 (2013) . [21] ˇ C. Brukner, Quantum causality , Nature Physics 10 , 259 (2014) . [22] L. M. Procopio, A. Mo qanaki, M. Ara ´ ujo, F. Costa, I. A. Calafell, E. G. D o wd, D. R. H amel, L. A. Rozema, ˇ C. Bruk ner, and P . W alther, Exp erimen tal su p erp osition of orders of quantum gates, Nature Communications 6 , 7913 (2015) . [23] G. Rubino, L. A. Rozema, A. F eix, M. Ara ´ ujo, J. M. Zeuner, L. M. Procopio, ˇ Casla v Bruk ner, and P . W alther, Exp erimenta l verification of an indefinite causal order, Science Adv ances 3 , e1602589 (2017) . [24] K. Gosw ami, C. Giarmatzi, M. Kewming, F. Costa, C. Branciard, J. Romero, and A. G. White, Indefinite causal order in a quantum switc h, Phys. Rev. Lett. 121 , 090503 (2018) . [25] K. Goswami, Y. Cao, G. A. Paz-Silv a, J. R omero, and A. G. White, Increasing communication capacit y via su- p erposition of order, Phys. Rev. Res. 2 , 033292 (2020) . [26] Y. Deng, S. Liu, X. Chen, Z. F u, J. Bao, Y. Zheng, Q. Gong, Q. He, and J. W ang, Generalized indefinite causal orders in an integrated quantum switc h, Phys. Rev. Let t . 135 , 160202 (2025) . [27] G. Chirib ella, Perf ect discrimination of no-signalling channels v ia qu an tum sup erp osition of causal structu res, Phys. Rev. A 86 , 040301 (2012) . [28] D. Ebler, S . Salek, and G. Chirib ella, Enh an ced com- municatio n with the assistance of indefinite causal order, Phys. Rev. Lett. 120 , 120502 (2018) . [29] G. Chirib ella, M. Banik, S . S. Bh att acharya , T. Guha, M. A lim ud din, A. Roy , S. Saha, S. Agraw al, and G. Kar, Indefinite causal order enab les p erfect qu an tum commu- nication with zero capacity channels, New Journal of Physics 23 , 033039 (2021) . [30] P . J. Coles, J. K an iewski, and S. W ehn er, Equ iv alence of wa ve–particle duality to entro pic uncertaint y , Nature Comm u n ications 5 , 5814 (2014) . [31] P . J. Coles, M. Berta, M. T omamichel, and S . W ehner, Entropic uncertaint y relations and their app lications, Rev. Mo d. Phys. 89 , 015002 (2017) . [32] T. Paul and T. Qu reshi, Measuring quantum coherence in multisli t interference, Phys. Rev. A 95 , 042110 (2017) . [33] S. S. Afshar, E. Flores, K. F. McDonald, and E. Kno esel, P arado x in w a ve-particle duality , F oundations of Physics 37 , 295–305 (2007) . [34] T. Qureshi, Mod ified tw o-slit exp eriments and comple- mentari ty , Journal of Q uantum In formation S cience 02 , 35–40 (2012) . [35] T. Qu reshi, Understanding mo dified tw o-slit exp eriments using p ath markers, F oundations of Physics 53 , 38 (2023) . [36] M. O. Scully and K. Dr ¨ uhl, Quantum eraser: A pro- p osed photon correlation exp eriment concerning observ a- tion and “delay ed choice” in quantum mechanics, Phys. Rev. A 25 , 2208 (1982) . [37] S. P . W alb orn, M. O. T erra Cunha, S. P´ adua, and C. H . Monken, Doub le-slit q uantum eraser, Phys. Rev. A 65 , 033818 (2002) . [38] M. A. S iddiqui and T. Qureshi, A n onlocal w a ve–particle duality , Quantum Studies: Mathematics and F ounda- tions 3 , 115 (2016) . [39] I. Iva n o v ic, H ow to differentiate betw een non-orthogonal states, Physics Letters A 123 , 257 (1987) . [40] D. Dieks, Overlap and distinguishability of quantum states, Physics Letters A 126 , 303 (1988) . [41] A. P eres, How to differentiate b etw een non-orthogonal states, Physics Letters A 128 , 19 (1988) . [42] M. Jak ob and J. A. Bergo u, Quantitativ e complemen- tarit y relations in b ipartite systems: Entangl ement as a physical reality , Optics Comm un ications 283 , 827 (2010) . [43] X.-F. Qian, A. N. V amiv aka s, and J. H. Eb erly , Entangle - ment limits du alit y and vice versa, Optica 5 , 942 (2018) . [44] M. Berta, M. Christandl, R. Colb ec k , J. M. R enes, and R. Ren n er, The un certain ty principle in the presence of quantum memory , Nature Physics 6 , 659 (2010) . [45] A. Chefles, Quantum state d iscrimination, Contempo- rary Physics 41 , 401 (2000) . [46] J. A. Bergou, Quantum state discrimination and selected applications, Journal of Physics: Conference Series 84 , 012001 (2007) . [47] S. Bo y d and L. V andenb erghe, Convex Optimi zation (Cam b ridge Universit y Press, 2004). [48] C. W. Helstrom, Quantum Dete ction and Estimation The ory (Academic Press, New Y ork, 1976). [49] J. A. Bergou, Discrimination of q u antum states, Journal of Mod ern Optics 57 , 160 (2010) .