How to calculate fidelity of a specific quantum channel? Let $\gamma$ be a completely trace preserving operator such that $\gamma(\rho) \to (1-\epsilon)\rho+\epsilon(|\phi\rangle \langle\phi|)$. Here $\rho$ is density matrix of two dimensional hilbert space and $|\phi\rangle$ a fixed pure state of 2 dimensional hilbert space.
The average fidelity of the channel described by some trace preserving operator $\eta$ is 
given as $F(\eta)=\int \langle\psi| {\eta(|\psi\rangle)} | \psi\rangle d\psi$.
My doubts are 


*

*Why is average fidelity defined such that we are only taking into account action of $\eta$ on density operator of pure states ( the part $\eta(|\psi\rangle)$ in the formula ). Is it because it would be enough to take average only how pure states are mapped as mixed states are just convex combination of  density operator of pure states ?

*If I am not missing anything and understanding the formula correct then for $\gamma$
$F(\gamma) = (1-\epsilon)+ \epsilon\int\langle \psi|\phi\rangle \langle\phi|\psi\rangle d\psi$, but how do I calculate the second term ?

 A: *

*The action of η on the pure states is enough because the density operator is a convex combination of pure state projection operators and because η is linear, so all the contributions mixed states add to the average of <η> end up evening out.

*I think the arrow → was not meant to express an equality, but rather something about the infinitesimal behavior of a trace-preserving operator.
Edit: Originally, I wrote the following, which contained a novice mistake: "Note that when it is an equality, which you are considering here, for pure states ψ and Φ, <ψ∣Φ> = <Φ∣ψ> = δ(ψ,Φ) where δ is the Dirac delta, and ∫ δ² dψ = 1, so your average fidelity would also = 1."
Peter rightly pointed out that <ψ∣Φ> != <Φ∣ψ> != δ(ψ,Φ) in general. Heck, (1, 0) * (1/sqrt(2), 1/sqrt(2)) != 0, so I am clearly wrong here.
My initial impression now is that a formula may be derived with a triple integral, as the varying quantum state can be parameterized by the relative phases of the two coefficients of psi with respect to phi and the magnitude of one coefficient of psi (as the other coefficient is constrained by a normalization condition).
