Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSinkhorn normal form for unitary matrices
137
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Sinkhorn proved that every entry-wise positive matrix can be made doubly stochastic by multiplying with two diagonal matrices. In this note we prove a recently conjectured analogue for unitary matrices: every unitary can be decomposed into two diagonal unitaries and one whose row- and column sums are equal to one. The proof is non-constructive and based on a reformulation in terms of symplectic topology. As a corollary, we obtain a decomposition of unitary matrices into an interlaced product of unitary diagonal matrices and discrete Fourier transformations. This provides a new decomposition of linear optics arrays into phase shifters and canonical multiports described by Fourier transformations.
rate research
Read More
The Birkhoffs theorem states that any doubly stochastic matrix lies inside a convex polytope with the permutation matrices at the corners. It can be proven that a similar theorem holds for unitary matrices with equal line sums for prime dimensions.
It was shown recently that Birkhoffs theorem for doubly stochastic matrices can be extended to unitary matrices with equal line sums whenever the dimension of the matrices is prime. We prove a generalization of the Birkhoff theorem for unitary matrices with equal line sums for arbitrary dimension.
The unitary Birkhoff theorem states that any unitary matrix with all row sums and all column sums equal unity can be decomposed as a weighted sum of permutation matrices, such that both the sum of the weights and the sum of the squared moduli of the weights are equal to unity. If the dimension~$n$ of the unitary matrix equals a power of a prime $p$, i.e. if $n=p^w$, then the Birkhoff decomposition does not need all $n!$ possible permutation matrices, as the epicirculant permutation matrices suffice. This group of permutation matrices is isomorphic to the general affine group GA($w,p$) of order only $p^w(p^w-1)(p^w-p)...(p^w-p^{w-1}) ll left( p^w right)!$.
We consider normal forms in `magnetic bottle type Hamiltonians of the form $H=frac{1}{2}(rho^2_rho+omega^2_1rho^2) +frac{1}{2}p^2_z+hot$ (second frequency $omega_2$ equal to zero in the lowest order). Our main results are: i) a novel method to construct the normal form in cases of resonance, and ii) a study of the asymptotic behavior of both the non-resonant and the resonant series. We find that, if we truncate the normal form series at order $r$, the series remainder in both constructions decreases with increasing $r$ down to a minimum, and then it increases with $r$. The computed minimum remainder turns to be exponentially small in $frac{1}{Delta E}$, where $Delta E$ is the mirror oscillation energy, while the optimal order scales as an inverse power of $Delta E$. We estimate numerically the exponents associated with the optimal order and the remainders exponential asymptotic behavior. In the resonant case, our novel method allows to compute a `quasi-integral (i.e. truncated formal integral) valid both for each particular resonance as well as away from all resonances. We applied these results to a specific magnetic bottle Hamiltonian. The non resonant normal form yields theorerical invariant curves on a surface of section which fit well the empirical curves away from resonances. On the other hand the resonant normal form fits very well both the invariant curves inside the islands of a particular resonance as well as the non-resonant invariant curves. Finally, we discuss how normal forms allow to compute a critical threshold for the onset of global chaos in the magnetic bottle.
Birkhoffs theorem tells that any doubly stochastic matrix can be decomposed as a weighted sum of permutation matrices. A similar theorem reveals that any unitary matrix can be decomposed as a weighted sum of complex permutation matrices. Unitary matrices of dimension equal to a power of~2 (say $2^w$) deserve special attention, as they represent quantum qubit circuits. We investigate which subgroup of the signed permutation matrices suffices to decompose an arbitrary such matrix. It turns out to be a matrix group isomorphic to the extraspecial group {bf E}$_{2^{2w+1}}^+$ of order $2^{2w+1}$. An associated projective group of order $2^{2w}$ equally suffices.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
