Winning Cores in Parity Games

We introduce the novel notion of winning cores in parity games and develop a deterministic polynomial-time under-approximation algorithm for solving parity games based on winning core approximation. Underlying this algorithm are a number properties about winning cores which are interesting in their own right. In particular, we show that the winning core and the winning region for a player in a parity game are equivalently empty. Moreover, the winning core contains all fatal attractors but is not necessarily a dominion itself. Experimental results are very positive both with respect to quality of approximation and running time. It outperforms existing state-of-the-art algorithms significantly on most benchmarks

I2PA, U-prove, and Idemix: An Evaluation of Memory Usage and Computing Time Efficiency in an IoT Context

The Internet of Things (IoT), in spite of its innumerable advantages, brings many challenges namely issues about users' privacy preservation and constraints about lightweight cryptography. Lightweight cryptography is of capital importance since IoT devices are qualified to be resource-constrained. To address these challenges, several Attribute-Based Credentials (ABC) schemes have been designed including I2PA, U-prove, and Idemix. Even though these schemes have very strong cryptographic bases, their performance in resource-constrained devices is a question that deserves special attention. This paper aims to conduct a performance evaluation of these schemes on issuance and verification protocols regarding memory usage and computing time. Recorded results show that both I2PA and U-prove present very interesting results regarding memory usage and computing time while Idemix presents very low performance with regard to computing time

Rydberg Wave Packets are Squeezed States

We point out that Rydberg wave packets (and similar ``coherent" molecular packets) are, in general, squeezed states, rather than the more elementary coherent states. This observation allows a more intuitive understanding of their properties; e.g., their revivals.Comment: 7 pages of text plus one figure available in the literature, LA-UR 93-2804, to be published in Quantum Optics, LaTe

The Epsilon Calculus and Herbrand Complexity

Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.Comment: 23 p

Hydrogen atom in phase space: The Wigner representation

We have found an effective method of calculating the Wigner function, being a quantum analogue of joint probability distribution of position and momentum, for bound states of nonrelativistic hydrogen atom. The formal similarity between the eigenfunctions of nonrelativistic hydrogen atom in the momentum representation and Klein-Gordon propagators has allowed the calculation of the Wigner function for an arbitrary bound state of the hydrogen atom. These Wigner functions for some low lying states are depicted and discussed.Comment: 8 pages (including figures

Elastic scattering losses in the four-wave mixing of Bose Einstein Condensates

We introduce a classical stochastic field method that accounts for the quantum fluctuations responsible for spontaneous initiation of various atom optics processes. We assume a delta-correlated Gaussian noise in all initially empty modes of atomic field. Its strength is determined by comparison with the analytical results for two colliding condensates in the low loss limit. Our method is applied to the atomic four wave mixing experiment performed at MIT [Vogels {\it et. al.}, Phys. Rev. Lett. {\bf 89}, 020401, (2002)], for the first time reproducing experimental data

Memory Effects in Spontaneous Emission Processes

We consider a quantum-mechanical analysis of spontaneous emission in terms of an effective two-level system with a vacuum decay rate $\Gamma_0$ and transition angular frequency $\omega_A$. Our analysis is in principle exact, even though presented as a numerical solution of the time-evolution including memory effects. The results so obtained are confronted with previous discussions in the literature. In terms of the {\it dimensionless} lifetime $\tau = t\Gamma_0$ of spontaneous emission, we obtain deviations from exponential decay of the form ${\cal O} (1/\tau)$ for the decay amplitude as well as the previously obtained asymptotic behaviors of the form ${\cal O} (1/\tau^2)$ or ${\cal O} (1/\tau \ln^2\tau)$ for $\tau \gg 1$. The actual asymptotic behavior depends on the adopted regularization procedure as well as on the physical parameters at hand. We show that for any reasonable range of $\tau$ and for a sufficiently large value of the required angular frequency cut-off $\omega_c$ of the electro-magnetic fluctuations, i.e. $\omega_c \gg \omega_A$, one obtains either a ${\cal O} (1/\tau)$ or a ${\cal O} (1/\tau^2)$ dependence. In the presence of physical boundaries, which can change the decay rate with many orders of magnitude, the conclusions remains the same after a suitable rescaling of parameters.Comment: 13 pages, 5 figures and 46 reference

Coherent states for the hydrogen atom: discrete and continuous spectra

We construct the systems of generalised coherent states for the discrete and continuous spectra of the hydrogen atom. These systems are expressed in elementary functions and are invariant under the $SO(3, 2)$ (discrete spectrum) and $SO(4, 1)$ (continuous spectrum) subgroups of the dynamical symmetry group $SO(4, 2)$ of the hydrogen atom. Both systems of coherent states are particular cases of the kernel of integral operator which interwines irreducible representations of the $SO(4, 2)$ group.Comment: 15 pages, LATEX, minor sign corrections, to appear in J.Phys.

Radial Squeezed States and Rydberg Wave Packets

We outline an analytical framework for the treatment of radial Rydberg wave packets produced by short laser pulses in the absence of external electric and magnetic fields. Wave packets of this type are localized in the radial coordinates and have p-state angular distributions. We argue that they can be described by a particular analytical class of squeezed states, called radial squeezed states. For hydrogenic Rydberg atoms, we discuss the time evolution of the corresponding hydrogenic radial squeezed states. They are found to undergo decoherence and collapse, followed by fractional and full revivals. We also present their uncertainty product and uncertainty ratio as functions of time. Our results show that hydrogenic radial squeezed states provide a suitable analytical description of hydrogenic Rydberg atoms excited by short-pulsed laser fields.Comment: published in Physical Review

Keplerian Squeezed States and Rydberg Wave Packets

We construct minimum-uncertainty solutions of the three-dimensional Schr\"odinger equation with a Coulomb potential. These wave packets are localized in radial and angular coordinates and are squeezed states in three dimensions. They move on elliptical keplerian trajectories and are appropriate for the description of the corresponding Rydberg wave packets, the production of which is the focus of current experimental effort. We extend our analysis to incorporate the effects of quantum defects in alkali-metal atoms, which are used in experiments.Comment: accepted for publication in Physical Review