### Entanglement fidelity and entropy exchange.

Sending entanglement through noisy quantum channels, PHYSICAL REVIEW A VOLUME 54, NUMBER 4 OCTOBER 1996.

Two intrinsic quantities for a given quantum channel is defined in this paper.

C. Z

Sending entanglement through noisy quantum channels, PHYSICAL REVIEW A VOLUME 54, NUMBER 4 OCTOBER 1996.

Two intrinsic quantities for a given quantum channel is defined in this paper.

There is a highway taking the shape of a circle, where N gas stations are randomly distributed around the highway. The total amount of gas is exactly enough for a car to drive around the circle once. Prove there is always one station where a car with empty gas tank can depart from and then run the circle?

I would like to understand the concept of information in terms of a system, which could be classical or quantum. When a system is unknown to you, it contains some information of course. It is easy to be confused about the meaning of a system known to you. This confusion is actually coming from mixture as a state, e.g. a mixed state defined by a density operator, we actually know this mixed state, which in some sense means this system is known to us. But we actually don’t say this system contains no information to us, e.g. the Von Neumann entropy is not zero. The problem is coming the definition of a state. If we believe that a apparent physical real state is always pure, e.g. spin always shows definite value after measurement, the information of a mixed state should be understand as the Von Neumann entropy difference after the mixed is collapsed to a pure state after a measurement.

About the time and frequency domain analysis.

A group is a set, which satisfy the following conditions,

1, Closed under group multiplication.

2, A(BC)=(AB)C

3, Unit element

3, Inverse element exits for all group elements.

Permutation group

Theorem 1: Group elements will reorder in the group table.

Lemma 1: A function

A group with prime rank does not have subgroup, except trivial subgroup. All prime rank group is a cyclic group.

Schur lemma:

SU(2) and SO(3), O(3) group

Symplectic space E: is a vector space with a symplectic form w (skew product).

A standard symplectic space

In optomechanics, people are talking about this decay rate and line width. Intuitively, it is related to the energy-time uncertainty , which means the energy width must be .

Now let’s suppose we have a state which decays according to . Thus the state will looks like . Now we get its Fourier transform

,

which gives the probability of frequency distribution

. It is the familiar Lorentz form. One see the decay rate determines width of that peak.

Classically, the Poisson brakes is preserved through canonical transformation. The translation matrix is typically a Jacobian matrix, which is simplectic, . Now if we have a symplectic transfer , say we have , prove . So

This problem is related the Euler path. Each wall can only be passed once, which means that there are three rooms having odd degree. The puzzle can not be solved.

Euler path: For a closed graph, the NS condition for drawing a path with a one line is that there should be zero or two odd-vertex. Zero old vertex gives a Euler circle.

eg. the seven bridges of Koenigsberg, the five room puzzle, the utility puzzle …

1), The image of the tensor product is the tensor product of the image;

The same definition can be extended to Hilbert spaces.

2), Now let’s consider linear maps between Hilbert spaces

a), What is the natural identification of a typical element of ?

If we take the canonical orthonormal basis has a unique representation given by One can show that , which indicates the following isomorphism with a natural identification .

b), What is the identification of a linear map in ?

Given , we can consider as an operator defined by

, therefore we have in a natural way.

In reverse, every linear map on has such a matrix representation. The identification .

defined in p-dimensional Hilbert space. The map defined by transpose is positive but not 2-positive.

Proof:

1), Show is positive. We have to show, for , the . Let , so that

.

2), Show that is not 2-positive. It can be proved if one is able to find one element that is positive, but is not positive.

Actually if we choose an , where is the canonical basis for . It is easy to see that , . However, is not positive since it has negative eigenvalue. See

Definition: A set of states defined on a Hilbert space is called distinguishable if there exists a measurement system , such that for any and .

Covariance is defined, for two random variables, as the formula

If we have quantum variable, the definition becomes

. If we have a set of random variables, say , a covariance matrix can be defined, , where

Now the interesting thing is that the covariance matrix is positive.

Proof:

Since

Given any column vector , we have

where .

Since u is any vector, V must be positive.