No Arabic abstract
Linear optical systems acting on photon number states produce many interesting evolutions, but cannot give all the allowed quantum operations on the input state. Using Toponogovs theorem from differential geometry, we propose an iterative method that, for any arbitrary quantum operator $U$ acting on $n$ photons in $m$ modes, returns an operator $widetilde{U}$ which can be implemented with linear optics. The approximation method is locally optimal and converges. The resulting operator $widetilde{U}$ can be translated into an experimental optical setup using previous results.
The purpose of this paper is to introduce techniques of obtaining optimal ways to determine a d-level quantum state or distinguish such states. It entails designing constrained elementary measurements extracted from maximal abelian subsets of a unitary basis U for the operator algebra B(H) of a Hilbert space H of finite dimension d > 3 or, after choosing an orthonormal basis for H, for the *-algebra Md of complex matrices of order d > 3. Illustrations are given for the techniques. It is shown that the Schwinger basis U of unitary operators can give for d, a product of primes p and a, the ideal number d^2 of rank one projectors that have a few quantum mechanical overlaps (or, for that matter, a few angles between the corresponding unit vectors). We also give a combination of the tensor product and constrained elementary measurement techniques to deal with all d. A comparison is drawn for different forms of unitary bases for the Hilbert space and also for different Hilbert space factors of the tensor product. In the process we also study the equivalence relation on unitary bases defined by R. F. Werner [J. Phys. A: Math. Gen. 34 (2001) 7081], connect it to local operations on maximally entangled vectors bases, find an invariant for equivalence classes in terms of certain commuting systems, called fan representations, and, relate it to mutually unbiased bases and Hadamard matrices. Illustrations are given in the context of latin squares and projective representations as well.
The evolution of quantum light through linear optical devices can be described by the scattering matrix $S$ of the system. For linear optical systems with $m$ possible modes, the evolution of $n$ input photons is given by a unitary matrix $U=varphi_{m,M}(S)$ given by a known homomorphism, $varphi_{m,M}$, which depends on the size of the resulting Hilbert space of the possible photon states, $M$. We present a method to decide whether a given unitary evolution $U$ for $n$ photons in $m$ modes can be achieved with linear optics or not and the inverse transformation $varphi_{m,M}^{-1}$ when the transformation can be implemented. Together with previous results, the method can be used to find a simple optical system which implements any quantum operation within the reach of linear optics. The results come from studying the adjoint map bewtween the Lie algebras corresponding to the Lie groups of the relevant unitary matrices.
Certification of quantum nonlocality plays a central role in practical applications like device-independent quantum cryptography and random number generation protocols. These applications entail the challenging problem of certifying quantum nonlocality, something that is hard to achieve when the target quantum state is weakly entangled, or when the source of errors is high, e.g. when photons propagate through the atmosphere or a long optical fiber. Here, we introduce a technique to find a Bell inequality with the largest possible gap between the quantum prediction and the classical local hidden variable limit for a given set of measurement frequencies. Our method represents an efficient strategy to certify quantum nonlocal correlations from experimental data without requiring extra measurements, in the sense that there is no Bell inequality with a larger gap than the one provided. Furthermore, we also reduce the photodetector efficiency required to close the detection loophole. We illustrate our technique by improving the detection of quantum nonlocality from experimental data obtained with weakly entangled photons.
We investigate which pure states of $n$ photons in $d$ modes can be transformed into each other via linear optics, without post-selection. In other words, we study the local unitary (LU) equivalence classes of symmetric many-qudit states. Writing our state as $f^dagger|Omegarangle$, with $f^dagger$ a homogeneous polynomial in the mode creation operators, we propose two sets of LU-invariants: (a) spectral invariants, which are the eigenvalues of the operator $ff^dagger$, and (b) moments, each given by the norm of the symmetric component of a tensor power of the initial state, which can be computed as vacuum expectation values of $f^k(f^dagger)^k$. We provide scheme for experimental measurement of the later, as related to the post-selection probability of creating state $f^{dagger k}|Omegarangle$ from $k$ copies of $f^{dagger}|Omegarangle$.
The study of non-equilibrium physics from the perspective of the quantum limits of thermodynamics and fluctuation relations can be experimentally addressed with linear optical systems. We discuss recent experimental investigations in this scenario and present new proposed schemes and the potential advances they could bring to the field.