<p>A linear network (LN), also called a chain network, consists of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> nodes (parties) labeled by <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(A_1,\ldots ,A_{n+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>A</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>A</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> together with <i>n</i> sources labeled by <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(S_1,\ldots ,S_n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>S</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. To explore the correlation of the LN, each party <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(A_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> performs <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(m_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>m</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> measurements labeled by <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(x_i\in [m_i]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mi>i</mi> </msub> <mo>∈</mo> <mrow> <mo stretchy="false">[</mo> <msub> <mi>m</mi> <mi>i</mi> </msub> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on its system and gets <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(o_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>o</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> outcomes denoted by <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(a_i\in [o_i]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mi>i</mi> </msub> <mo>∈</mo> <mrow> <mo stretchy="false">[</mo> <msub> <mi>o</mi> <mi>i</mi> </msub> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The probabilities <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(P(\mathbf{{a}}|\mathbf{{x}})=P(a_1,\ldots ,a_{n+1}|x_1,\ldots ,x_{n+1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">a</mi> <mo stretchy="false">|</mo> <mi mathvariant="bold">x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>a</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">|</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>x</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> form a tensor <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbf{{P}}=\llbracket P(\mathbf{{a}}|\mathbf{{x}})\rrbracket \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">P</mi> <mo>=</mo> <mo>〚</mo> <mi>P</mi> <mo stretchy="false">(</mo> <mi mathvariant="bold">a</mi> <mo stretchy="false">|</mo> <mi mathvariant="bold">x</mi> <mo stretchy="false">)</mo> <mo>〛</mo> </mrow> </math></EquationSource> </InlineEquation>, called an <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>-partite correlation tensor (CT) over the index set <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Delta _{n+1}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Particularly, when each party performs just one fixed measurement (also called without input setting), the resulted CT is said to be an <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>-probability tensor (PT). In this work, we aim to characterize <i>n</i>-chain-locality of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>-CTs based on an LN. By introducing D-<i>n</i>-chain-locality (resp. C-<i>n</i>-chain-locality) of an <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>-CT in light of the existence of a discrete (resp. continuous) <i>n</i>-chain-local hidden variable model, we prove that an <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>-CT <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathbf{{P}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">P</mi> </math></EquationSource> </InlineEquation> is D-<i>n</i>-chain-local if and only if it can be realized physically by <i>n</i> shared separable states and a set of local POVMs. Importantly, we also prove that C-<i>n</i>-chain-locality and D-<i>n</i>-chain-locality of an <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>-CT are the same, so that we can call them <i>n</i>-chain-locality. The corresponding conclusions are obtained for <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(n+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>-PTs, and the relationships between D-<i>n</i>-chain-local (resp. C-<i>n</i>-chain-local) CTs and D-<i>n</i>-chain-local (resp. C-<i>n</i>-chain-local) PTs are established. Lastly, we prove that the set consisting of all <i>n</i>-chain-local CTs over <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\Delta _{n+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> forms a nonconvex compact subset in the Hilbert space of all real tensors over <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\Delta _{n+1}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation></p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Characterizing n-chain-locality of correlation tensors based on linear networks

  • Yajing Fan,
  • Zhihua Guo,
  • Huaixin Cao,
  • Ying Yang

摘要

A linear network (LN), also called a chain network, consists of \(n+1\) n + 1 nodes (parties) labeled by \(A_1,\ldots ,A_{n+1}\) A 1 , , A n + 1 together with n sources labeled by \(S_1,\ldots ,S_n\) S 1 , , S n . To explore the correlation of the LN, each party \(A_i\) A i performs \(m_i\) m i measurements labeled by \(x_i\in [m_i]\) x i [ m i ] on its system and gets \(o_i\) o i outcomes denoted by \(a_i\in [o_i]\) a i [ o i ] . The probabilities \(P(\mathbf{{a}}|\mathbf{{x}})=P(a_1,\ldots ,a_{n+1}|x_1,\ldots ,x_{n+1})\) P ( a | x ) = P ( a 1 , , a n + 1 | x 1 , , x n + 1 ) form a tensor \(\mathbf{{P}}=\llbracket P(\mathbf{{a}}|\mathbf{{x}})\rrbracket \) P = P ( a | x ) , called an \(n+1\) n + 1 -partite correlation tensor (CT) over the index set \(\Delta _{n+1}.\) Δ n + 1 . Particularly, when each party performs just one fixed measurement (also called without input setting), the resulted CT is said to be an \(n+1\) n + 1 -probability tensor (PT). In this work, we aim to characterize n-chain-locality of \(n+1\) n + 1 -CTs based on an LN. By introducing D-n-chain-locality (resp. C-n-chain-locality) of an \(n+1\) n + 1 -CT in light of the existence of a discrete (resp. continuous) n-chain-local hidden variable model, we prove that an \(n+1\) n + 1 -CT \(\mathbf{{P}}\) P is D-n-chain-local if and only if it can be realized physically by n shared separable states and a set of local POVMs. Importantly, we also prove that C-n-chain-locality and D-n-chain-locality of an \(n+1\) n + 1 -CT are the same, so that we can call them n-chain-locality. The corresponding conclusions are obtained for \(n+1\) n + 1 -PTs, and the relationships between D-n-chain-local (resp. C-n-chain-local) CTs and D-n-chain-local (resp. C-n-chain-local) PTs are established. Lastly, we prove that the set consisting of all n-chain-local CTs over \(\Delta _{n+1}\) Δ n + 1 forms a nonconvex compact subset in the Hilbert space of all real tensors over \(\Delta _{n+1}.\) Δ n + 1 .