Generalized uncertainty relations and coherent and squeezed states

Characteristic uncertainty relations and their related squeezed states are briefly reviewed and compared in accordance with the generalizations of three equivalent definitions of the canonical coherent states. The standard SU(1,1) coherent states are shown to be the unique states that minimize the Schroedinger uncertainty relation for every pair of the three generators and the Robertson relation for the three generators. The characteristic uncertainty inequalities are naturally extended to the case of several states. It is shown that these inequalities can be written in the equivalent complementary form.Comment: 14 pages, two columns revtex, no figure

Dialectica Interpretation with Marked Counterexamples

Goedel's functional "Dialectica" interpretation can be used to extract functional programs from non-constructive proofs in arithmetic by employing two sorts of higher-order witnessing terms: positive realisers and negative counterexamples. In the original interpretation decidability of atoms is required to compute the correct counterexample from a set of candidates. When combined with recursion, this choice needs to be made for every step in the extracted program, however, in some special cases the decision on negative witnesses can be calculated only once. We present a variant of the interpretation in which the time complexity of extracted programs can be improved by marking the chosen witness and thus avoiding recomputation. The achieved effect is similar to using an abortive control operator to interpret computational content of non-constructive principles.Comment: In Proceedings CL&C 2010, arXiv:1101.520

Real-time High Resolution Fusion of Depth Maps on GPU

A system for live high quality surface reconstruction using a single moving depth camera on a commodity hardware is presented. High accuracy and real-time frame rate is achieved by utilizing graphics hardware computing capabilities via OpenCL and by using sparse data structure for volumetric surface representation. Depth sensor pose is estimated by combining serial texture registration algorithm with iterative closest points algorithm (ICP) aligning obtained depth map to the estimated scene model. Aligned surface is then fused into the scene. Kalman filter is used to improve fusion quality. Truncated signed distance function (TSDF) stored as block-based sparse buffer is used to represent surface. Use of sparse data structure greatly increases accuracy of scanned surfaces and maximum scanning area. Traditional GPU implementation of volumetric rendering and fusion algorithms were modified to exploit sparsity to achieve desired performance. Incorporation of texture registration for sensor pose estimation and Kalman filter for measurement integration improved accuracy and robustness of scanning process

Efficient Interpolation in the Guruswami-Sudan Algorithm

A novel algorithm is proposed for the interpolation step of the Guruswami-Sudan list decoding algorithm. The proposed method is based on the binary exponentiation algorithm, and can be considered as an extension of the Lee-O'Sullivan algorithm. The algorithm is shown to achieve both asymptotical and practical performance gain compared to the case of iterative interpolation algorithm. Further complexity reduction is achieved by integrating the proposed method with re-encoding. The key contribution of the paper, which enables the complexity reduction, is a novel randomized ideal multiplication algorithm.Comment: Submitted to IEEE Transactions on Information Theor

Comment on "On the uncertainty relations and squeezed states for the quantum mechanics on a circle"

It is shown by examples that the position uncertainty on a circle, proposed recently by Kowalski and Rembieli\'nski [J. Phys. A 35 (2002) 1405] is not consistent with the state localization. We argue that the relevant uncertainties and uncertainty relations (UR's) on a circle are that based on the Gram-Robertson matrix. Several of these generalized UR's are displayed and related criterions for squeezed states are discussed.Comment: 5 pages, LaTex2e, 3 figures.ep

Remarks on the Extended Characteristic Uncertainty Relations

Three remarks concerning the form and the range of validity of the state-extended characteristic uncertainty relations (URs) are presented. A more general definition of the uncertainty matrix for pure and mixed states is suggested. Some new URs are provided.Comment: LaTex, 4 pages, no figure

On the squeezed states for n observables

Three basic properties (eigenstate, orbit and intelligence) of the canonical squeezed states (SS) are extended to the case of arbitrary n observables. The SS for n observables X_i can be constructed as eigenstates of their linear complex combinations or as states which minimize the Robertson uncertainty relation. When X_i close a Lie algebra L the generalized SS could also be introduced as orbit of Aut(L^C). It is shown that for the nilpotent algebra h_N the three generalizations are equivalent. For the simple su(1,1) the family of eigenstates of uK_- + vK_+ (K_\pm being lowering and raising operators) is a family of ideal K_1-K_2 SS, but it cannot be represented as an Aut(su^C(1,1)) orbit although the SU(1,1) group related coherent states (CS) with symmetry are contained in it. Eigenstates |z,u,v,w;k> of general combination uK_- + vK_+ + wK_3 of the three generators K_j of SU(1,1) in the representations with Bargman index k = 1/2,1, ..., and k = 1/4,3/4 are constructed and discussed in greater detail. These are ideal SS for K_{1,2,3}. In the case of the one mode realization of su(1,1) the nonclassical properties (sub-Poissonian statistics, quadrature squeezing) of the generalized even CS |z,u,v;+> are demonstrated. The states |z,u,v,w;k=1/4,3/4> can exhibit strong both linear and quadratic squeezing.Comment: 25 pages, LaTex, 4 .pic and .ps figures. Improvements in text, discussion on generation scheme added. To appear in Phys. Script