Related papers: Invariants in Linear Optics
The problem of unambiguously distinguishing among nonorthogonal but linearly independent quantum states can be solved by mapping the set of nonorthogonal quantum states onto a set of orthogonal ones, which can then be distinguished without…
We show that the Plebanski based approach to transformation optics overlooks some subtleties in the electrodynamics of moving dielectrics that restricts its applicability to a certain class of transformations. An alternative, completely…
Optomechanical systems provide a unique platform for observing quantum behavior of macroscopic objects. However, efforts towards realizing nonlinear behavior at the single photon level have been inhibited by the small size of the radiation…
We proposed a concept of LU transformation invariant operators. By using this operator, arbitrary multi-qubit states LU transformation invariant and SLOCC invariant could be easily obtained. And we find that presences two kinds of invariant…
In this paper we consider BIBO stability of infinite-dimensional linear state-space systems and the related notion of $L^1$-to-$L^1$ input-output stability (abbreviated LILO). We show that in the case of finite-dimensional input and output…
Linear optical circuits can be used to manipulate the quantum states of photons as they pass through components including beam splitters and phase shifters. Those photonic states possess a particularly high level of expressiveness, as they…
A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a $k$ linear invariant, $k$-LI in short, if it has a conjunction of $k$ linear (non-strict)…
In this brief comment, we consider the exact, deterministic, and nonasymptotic transformation of multiple copies of pure states under LOCC. It was conjectured in quant-ph/0103131 that, if $k$ copies of $|\psi\>$ can be transformed to $k$…
In polarization optics, various topological constructs, namely Poincar\'e spheres of different orders, are used to represent uniform and structured polarization distributions. Similarly, there are also structured polarization optical…
We study the invariants of arbitrary dimensional multipartite quantum states under local unitary transformations. For multipartite pure states, we give a set of invariants in terms of singular values of coefficient matrices. For…
We describe how weak phase modulations applied to classical coherent light in specially modified linear interferometers can be used to perform primitive computational tasks. Instead of encoding operations within a fixed unitary state, the…
Nonlinear interactions between single quantum particles are at the heart of any quantum information system, including analog quantum simulation and fault-tolerant quantum computing. This remains a particularly difficult problem for photonic…
In this paper, we provide an algorithm and general framework for the simulation of photons passing through linear optical interferometers. Given $n$ photons at the input of an $m$-mode interferometer, our algorithm computes the…
This paper deals with the computation of polytopic invariant sets for polynomial dynamical systems. An invariant set of a dynamical system is a subset of the state space such that if the state of the system belongs to the set at a given…
Termination analysis of linear loops plays a key r\^{o}le in several areas of computer science, including program verification and abstract interpretation. Already for the simplest variants of linear loops the question of termination…
We introduce new entanglement monotones which generalize, to the case of many parties, those which give rise to the majorization-based partial ordering of bipartite states' entanglement. We give some examples of restrictions they impose on…
A few decades ago, quantum optics stood out as a new domain of physics by exhibiting states of light with no classical equivalent. The first investigations concerned single photons, squeezed states, twin beams and EPR states, that involve…
In this paper we prove a characterization of continuity for polynomials on a normed space. Namely, we prove that a polynomial is continuous if and only if it maps compact sets into compact sets. We also provide a partial answer to the…
Linear differential equations of arbitrary order with polynomial coefficients are considered. Specifically, necessary and sufficient conditions for the existence of polynomial solutions of a given degree are obtained for these equations. An…
Invariants are key to formal loop verification as they capture loop properties that are valid before and after each loop iteration. Yet, generating invariants is a notorious task already for syntactically restricted classes of loops. Rather…