Unification modulo a partial theory of exponentiation

Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels (to different moduli) plays an important role in a large number of key agreement protocols. In our earlier work, we gave many decidability as well as undecidability results for multiple equational theories, involving various properties of modular exponentiation. Here, we consider a partial subtheory focussing only on exponentiation and multiplication operators. Two main results are proved. The first result is positive, namely, that the unification problem for the above theory (in which no additional property is assumed of the multiplication operators) is decidable. The second result is negative: if we assume that the two multiplication operators belong to two different abelian groups, then the unification problem becomes undecidable.Comment: In Proceedings UNIF 2010, arXiv:1012.455

Bang-Bang Optimal Control of Large Spin Systems: Enhancement of 13^{13}C-13^{13}C Singlet-Order at Natural Abundance

Using a Bang-Bang optimal control (BB) technique, we transfer polarization from abundant high-$\gamma$ nuclei directly to singlet order. This approach is analogous to algorithmic cooling (AC) procedure used in quantum state purification. Specifically, we apply this method for enhancing the singlet order in a natural abundant $^{13}$C-$^{13}$C spin pair using a set of nine equivalent protons of an 11-spin system. Compared to the standard method not involving polarization transfer, we find an enhancement of singlet order by about three times. In addition, since the singlet magnetization is contributed by the faster relaxing protons, the recycle delay is halved. Thus effectively we observe a sensitivity enhancement by 4.2 times or a reduction in the overall experimental time by a factor of 18. We also discuss a possible extension of AC, known as heat-bath algorithmic cooling (HBAC).Comment: 7 pages, 7 figure

Constraints on a possible evolution of mass density power-law index in strong gravitational lensing from cosmological data

In this work, by using strong gravitational lensing (SGL) observations along with Type Ia Supernovae (Union2.1) and gamma ray burst data (GRBs), we propose a new method to study a possible redshift evolution of $\gamma(z)$, the mass density power-law index of strong gravitational lensing systems. In this analysis, we assume the validity of cosmic distance duality relation and the flat universe. In order to explore the $\gamma(z)$ behavior, three different parametrizations are considered, namely: (P1) $\gamma(z_l)=\gamma_0+\gamma_1 z_l$, (P2) $\gamma(z_l)=\gamma_0+\gamma_1 z_l/(1+z_l)$ and (P3) $\gamma(z_l)=\gamma_0+\gamma_1 \ln(1+z_l)$, where $z_l$ corresponds to lens redshift. If $\gamma_0=2$ and $\gamma_1=0$ the singular isothermal sphere model is recovered. Our method is performed on SGL sub-samples defined by different lens redshifts and velocity dispersions. For the former case, the results are in full agreement with each other, while a 1$\sigma$ tension between the sub-samples with low ($\leq 250$ km/s) and high ($>250$ km/s) velocity dispersions was obtained on the ($\gamma_0$-$\gamma_1$) plane. By considering the complete SGL sample, we obtain $\gamma_0 \approx 2$ and $\gamma_1 \approx 0$ within 1$\sigma$ c.l. for all $\gamma(z)$ parametrizations. However, we find the following best fit values of $\gamma_1$: $-0.085$, $-0.16$ and $-0.12$ for P1, P2 and P3 parametrizations, respectively, suggesting a mild evolution for $\gamma(z)$. By repeating the analysis with Type Ia Supernovae from JLA compilation, GRBs and SGL systems this mild evolution is reinforced.Comment: 11 pages, 5 figures, 1 table, text revised and new analysis included. Accepted for publication in MNRA

Book Review--Seeking the Calm in the Storm – Managing Chaos in Your Business Life

The book is all about how effectively the organizations and the people can keep responding to the fast paced change environment especially when Information Technology is fast changing and achieve the goals. It talks about different issues like IT has revolutionized the business as it can be done from any place but its complication cannot be ignored as simple does not stay always simple.Information Technology