If is entanglement breaking, applying it to one half of immediately shows that its Choi matrix is separable.
Conversely suppose
is separable. The Choi reconstruction formula for the normalized convention is
The trace-preserving condition implies , so is a POVM. Part (i) now proves that is entanglement breaking. Thus
For a bipartite input,
Each second factor is positive and has trace equal to the probability of measurement outcome . Dividing nonzero factors by their traces therefore writes the output as a convex combination of product states. Hence every measure-and-prepare channel is an entanglement-breaking channel.
Partial transposition interchanges the positions occupied by and . Positivity of therefore requires
Because the system is , the positive partial transpose criterion is necessary and sufficient. Combining these inequalities with validity of the original state gives
After permuting the computational basis, is the direct sum of
The stated diagonal and trace conditions already give Hermiticity and trace one. Each block is positive semidefinite exactly when its determinant is nonnegative. Thus is a density matrix precisely when
The positive partial transpose criterion says separability implies . A nonpositive partial transpose therefore proves entanglement. Positive partial transpose is also sufficient for separability in dimensions and , but not in general higher dimensions.
A bipartite density operator is a separable quantum state when
for probabilities and local states. If no such convex decomposition exists, it is an entangled state.
The normalized Choi matrix of the trace-to-identity map is , while that of transposition is the flip operator . Hence the Werner–Holevo channel has
the normalized projector onto the antisymmetric subspace.
If the channel were random unitary, part (i) would express as a mixture of maximally entangled vectors. Every vector in such a mixture must lie in the support of , hence in the antisymmetric subspace. Under vectorization, an antisymmetric vector corresponds to a skew-symmetric matrix , while maximal entanglement requires to be proportional to . In odd dimension, , so ; such an cannot be proportional to a unitary. Thus for odd , and in particular , this unital channel is not random unitary, disproving the converse. The odd-dimensional qualification matters because antisymmetric maximally entangled vectors can exist in even dimension.
For ,
Each is a maximally entangled state, so the Choi matrix is a convex combination of maximally entangled pure states.
The Kraus representation is
The second identity is precisely trace preservation. Different Kraus families related by an isometry represent the same channel.
A quantum channel is a linear, completely positive, trace-preserving map. Complete positivity means is positive for every ancillary dimension .
For , expand the pressure factor:
For a stable density wave define
The dispersion relation becomes
Perturbing the two isothermal roots gives
Thus the leading amplitude-damping rate is
At marginal stability write with real . The imaginary part of the pressure factor is
For , , and nonzero , the dispersion relation can have zero imaginary part only when . Thus every marginal mode has
The marginal equation is consequently
Defining the isothermal Toomre parameter , its two roots are
They exist when , and the interval between them is unstable when . Finite thermal relaxation therefore leaves the onset criterion
equal to the isothermal criterion, regardless of and the nonzero value of .
Write the perturbations as , radial and azimuthal velocities , and pressure , all proportional to . Linearization in the shearing sheet gives
and
The continuity and pressure equations imply
Eliminating then yields
When , temperature relaxes during a disturbance and the pressure response is isothermal, . When , relaxation is negligible and the response is adiabatic, , so the effective sound speed is . At finite relaxation time the phase lag between compression and pressure also damps stable waves.
After a radial Fourier transform, Poisson's equation away from the sheet becomes
The decaying, reflection-symmetric solution is . Integrating Poisson's equation across gives the derivative jump
so . Thus the midplane potential is
For , part (i) gives . Since , the dissipative flux obeys
In the spectrum, introduce the dimensionless variable
Then is proportional to , so
At intermediate frequencies the inner limit is much smaller than one and the outer limit much larger than one, allowing them to be replaced by zero and infinity. Thus
The luminosity from both disk faces is the radial integral of the given viscous heating rate:
Substituting the steady profile and gives
Using turns this into
The first term is mechanical power injected by the stellar magnetic torque. The second is , where is the specific energy of a circular orbit; it is negative because outward motion makes the material less tightly bound and consumes some torque power. The remainder is radiated by viscous dissipation.
Matter reaching the outer edge still has binding energy per unit mass. A wind that reaches infinity with negligible terminal energy must therefore receive
from the stellar radiation field. In a signed disk-energy balance, the material removed at the edge carries orbital energy flux .
At the inner edge, the imposed torque is
Therefore
The angular-momentum conservation law says that is constant. The magnetic process supplies angular momentum at the inner boundary; viscous stress passes it outward, and the mass leaving at carries the injected angular momentum together with the angular momentum that entered with the mass. A larger torque must therefore move the removal radius outward so that each unit mass can carry more specific angular momentum.
In steady state, mass conservation makes the outward flux constant, . Angular-momentum conservation then gives
The zero-torque condition at fixes the constant to , so
For a Kepler orbit, and . The viscous torque is consequently . Equating the two expressions yields the steady decretion disk structure
Assume a feature spans atmospheric scale heights.
For an Earth twin around the Sun, , , , giving
For a super-Earth with a heavy atmosphere around a M dwarf, take , giving
For a hydrogen-rich sub-Neptune around a star, take , , , and hence . Then
The hydrogen-rich sub-Neptune is the most observable with JWST because its low molecular mass and large radius produce the largest transmission annulus. Clouds can reverse this ranking in a particular system.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact