Skip to main content
edited tags
Link
glS
  • 26.9k
  • 6
  • 35
  • 121
missing identity
Source Link
forky40
  • 7.7k
  • 2
  • 12
  • 32

I have a CPTP quantum channel $\mathcal{E}$ that I've characterized by an operator sum representation $\{E_i\}$ for $i=1, \dots, m$ which acts on an input state like $$ \mathcal{E}(\rho) = \sum_{i=1}^m E_i \rho E_i^\dagger $$ with $\sum_i E_i^\dagger E_i = I$. I would like to know if there is an alternative Kraus representation with operators $\{F_j\}$ for $j=1, \dots, n$ that satisfies similar properties, $\mathcal{E}(\rho) =\sum_{j=1}^n F_j \rho F_j^\dagger$ and $\sum_{j=1}^n F_j^\dagger F_j$$\sum_{j=1}^n F_j^\dagger F_j=I$ but also that each new operator is proportional to a unitary, $$ F^\dagger_j F_j = F_j F_j^\dagger = c_j I $$ for some real $c_j$. For example a choice of dephasing channel satisfies this property since it can be defined either by the operators $\{\frac{1}{\sqrt{2}}I, \frac{1}{\sqrt{2}}Z\}$ or $\{|0\rangle\langle 0 |, |1\rangle \langle 1|\}$.

I do understand that the two channels must be related by some unitary transformation $U$ with, $E_i = \sum_j U_{ij} F_j$ but this seems only to constrain the problem for specific choices of $\{E_i\}$.

I have a CPTP quantum channel $\mathcal{E}$ that I've characterized by an operator sum representation $\{E_i\}$ for $i=1, \dots, m$ which acts on an input state like $$ \mathcal{E}(\rho) = \sum_{i=1}^m E_i \rho E_i^\dagger $$ with $\sum_i E_i^\dagger E_i = I$. I would like to know if there is an alternative Kraus representation with operators $\{F_j\}$ for $j=1, \dots, n$ that satisfies similar properties, $\mathcal{E}(\rho) =\sum_{j=1}^n F_j \rho F_j^\dagger$ and $\sum_{j=1}^n F_j^\dagger F_j$ but also that each new operator is proportional to a unitary, $$ F^\dagger_j F_j = F_j F_j^\dagger = c_j I $$ for some real $c_j$. For example a choice of dephasing channel satisfies this property since it can be defined either by the operators $\{\frac{1}{\sqrt{2}}I, \frac{1}{\sqrt{2}}Z\}$ or $\{|0\rangle\langle 0 |, |1\rangle \langle 1|\}$.

I do understand that the two channels must be related by some unitary transformation $U$ with, $E_i = \sum_j U_{ij} F_j$ but this seems only to constrain the problem for specific choices of $\{E_i\}$.

I have a CPTP quantum channel $\mathcal{E}$ that I've characterized by an operator sum representation $\{E_i\}$ for $i=1, \dots, m$ which acts on an input state like $$ \mathcal{E}(\rho) = \sum_{i=1}^m E_i \rho E_i^\dagger $$ with $\sum_i E_i^\dagger E_i = I$. I would like to know if there is an alternative Kraus representation with operators $\{F_j\}$ for $j=1, \dots, n$ that satisfies similar properties, $\mathcal{E}(\rho) =\sum_{j=1}^n F_j \rho F_j^\dagger$ and $\sum_{j=1}^n F_j^\dagger F_j=I$ but also that each new operator is proportional to a unitary, $$ F^\dagger_j F_j = F_j F_j^\dagger = c_j I $$ for some real $c_j$. For example a choice of dephasing channel satisfies this property since it can be defined either by the operators $\{\frac{1}{\sqrt{2}}I, \frac{1}{\sqrt{2}}Z\}$ or $\{|0\rangle\langle 0 |, |1\rangle \langle 1|\}$.

I do understand that the two channels must be related by some unitary transformation $U$ with, $E_i = \sum_j U_{ij} F_j$ but this seems only to constrain the problem for specific choices of $\{E_i\}$.

added 7 characters in body
Source Link
Adam Zalcman
  • 24.9k
  • 3
  • 38
  • 92

I have a CPTP quantum channel $\mathcal{E}$ that I've characterized by an operator sum representation $\{E_i\}$ for $i=1, \dots, m$ which acts on an input state like $$ \mathcal{E}(\rho) = \sum_{i=1}^m E_i \rho E_i^\dagger $$ with $\sum_i E_i^\dagger E_i = I$. I would like to know if there is an alternative Kraus representation with operators $\{F_j\}$ for $j=1, \dots, n$ that satisfies similar properties, $\mathcal{E}(\rho) =\sum_{j=1}^n F_j \rho F_j^\dagger$ and $\sum_{j=1}^n F_j^\dagger F_j$ but also that each new operator is proportional to a unitary, $$ F^\dagger_j F_j = F_j F_j^\dagger = c_j I $$ for some real $c_j$. For example a choice of dephasing channel satisfies this property since it can be defined either by the operators $\{\frac{1}{\sqrt{2}}I, \frac{1}{\sqrt{2}}Z\}$ or $\{|0\rangle\langle 0 |, |1\rangle \langle 1|\}$. 

I alsodo understand that the two channels must be related by some unitary transformation $U$ with, $E_i = \sum_j U_{ij} F_j$ but this seems only to constrain the problem for specific choices of $\{E_i\}$.

I have a CPTP quantum channel $\mathcal{E}$ that I've characterized by an operator sum representation $\{E_i\}$ for $i=1, \dots, m$ which acts on an input state like $$ \mathcal{E}(\rho) = \sum_{i=1}^m E_i \rho E_i^\dagger $$ with $\sum_i E_i^\dagger E_i = I$. I would like to know if there is an alternative representation with operators $\{F_j\}$ for $j=1, \dots, n$ that satisfies similar properties, $\mathcal{E}(\rho) =\sum_{j=1}^n F_j \rho F_j^\dagger$ and $\sum_{j=1}^n F_j^\dagger F_j$ but also that each new operator is proportional to a unitary, $$ F^\dagger_j F_j = F_j F_j^\dagger = c_j I $$ for some real $c_j$. For example a choice of dephasing channel satisfies this property since it can be defined either by the operators $\{\frac{1}{\sqrt{2}}I, \frac{1}{\sqrt{2}}Z\}$ or $\{|0\rangle\langle 0 |, |1\rangle \langle 1|\}$. I also understand that the two channels must be related by some unitary transformation $U$ with, $E_i = \sum_j U_{ij} F_j$ but this seems only to constrain the problem for specific choices of $\{E_i\}$.

I have a CPTP quantum channel $\mathcal{E}$ that I've characterized by an operator sum representation $\{E_i\}$ for $i=1, \dots, m$ which acts on an input state like $$ \mathcal{E}(\rho) = \sum_{i=1}^m E_i \rho E_i^\dagger $$ with $\sum_i E_i^\dagger E_i = I$. I would like to know if there is an alternative Kraus representation with operators $\{F_j\}$ for $j=1, \dots, n$ that satisfies similar properties, $\mathcal{E}(\rho) =\sum_{j=1}^n F_j \rho F_j^\dagger$ and $\sum_{j=1}^n F_j^\dagger F_j$ but also that each new operator is proportional to a unitary, $$ F^\dagger_j F_j = F_j F_j^\dagger = c_j I $$ for some real $c_j$. For example a choice of dephasing channel satisfies this property since it can be defined either by the operators $\{\frac{1}{\sqrt{2}}I, \frac{1}{\sqrt{2}}Z\}$ or $\{|0\rangle\langle 0 |, |1\rangle \langle 1|\}$. 

I do understand that the two channels must be related by some unitary transformation $U$ with, $E_i = \sum_j U_{ij} F_j$ but this seems only to constrain the problem for specific choices of $\{E_i\}$.

grammar
Link
forky40
  • 7.7k
  • 2
  • 12
  • 32
Loading
Source Link
forky40
  • 7.7k
  • 2
  • 12
  • 32
Loading