Generation of Test Vectors for Sequential Cell Verification

For Application Specific Integrated Circuits (ASIC) and System-on-Chip (SOC) designs, Cell - Based Design (CBD) is the most prevalent practice as it guarantees a shorter design cycle, minimizes errors and is easier to maintain. In modern ASIC design, standard cell methodology is practiced with sizable libraries of cells, each containing multiple implementations of the same logic functionality, in order to give the designer differing options based on area, speed or power consumption. For such library cells, thorough verification of functionality and timing is crucial for the overall success of the chip, as even a small error can prove fatal due to the repeated use of the cell in the design. Both formal and simulation based methods are being used in the industry for cell verification. We propose a method using the latter approach that generates an optimized set of test vectors for verification of sequential cells, which are guaranteed to give complete Single Input Change transition coverage with minimal redundancy. Knowledge of the cell functionality by means of the State Table is the only prerequisite of this procedure

Entangling two Bose Einstein condensates in a double cavity system

We propose a scheme to transfer the quantum state of light fields to the collective density excitations of a Bose Einstein condensate (BEC) in a cavity. This scheme allows to entangle two BECs in a double cavity setup by transferring the quantum entanglement of two light fields produced from a nondegenerate parametric amplifier (NOPA) to the collective density excitations of the two BECs. An EPR state of the collective density excitations can be created by a judicious choice of the system parameters.Comment: 3 figure

Deciphering Universal Extra Dimension from the top quark signals at the CERN LHC

Models based on Universal Extra Dimensions predict Kaluza-Klein (KK) excitations of all Standard Model (SM) particles. We examine the pair production of KK excitations of top- and bottom-quarks at the Large Hadron Collider. Once produced, the KK top/bottom quarks can decay to $b$-quarks, leptons and the lightest KK-particle, $\gamma_1$, resulting in 2 $b$-jets, two opposite sign leptons and missing transverse momentum, thereby mimicing top-pair production. We show that, with a proper choice of kinematic cuts, an integrated luminosity of 100 fb$^{-1}$ would allow a discovery for an inverse radius upto $R^{-1} = 750$ GeV.Comment: 18 pages, 14 figures, Accepted for publication in JHE

Damping in 2D and 3D dilute Bose gases

Damping in 2D and 3D dilute gases is investigated using both the hydrodynamical approach and the Hartree-Fock-Bogoliubov (HFB) approximation . We found that the both methods are good for the Beliaev damping at zero temperature and Landau damping at very low temperature, however, at high temperature, the hydrodynamical approach overestimates the Landau damping and the HFB gives a better approximation. This result shows that the comparison of the theoretical calculation using the hydrodynamical approach and the experimental data for high temperature done by Vincent Liu (PRL {\bf21} 4056 (1997)) is not proper. For two-dimensional systems, we show that the Beliaev damping rate is proportional to $k^3$ and the Landau damping rate is proportional to $T^2$ for low temperature and to $T$ for high temperature. We also show that in two dimensions the hydrodynamical approach gives the same result for zero temperature and for low temperature as HFB, but overestimates the Landau damping for high temperature.Comment: 11 pages, 4 figure

Dynamical Structure Factor and Spin-Density Separation for a Weakly-Interacting Two-Component Bose Gas

We show that spin-density separation in a Bose gas is not restricted to 1D but also occurs in higher dimension. The ratio ($\alpha$) of the intra-species atom-atom interaction strength to the inter-species interaction strength, strongly influences the dynamics of spin-density separation and the elementary excitations. The density wave is phonon-like for all values of $\alpha$. For $\alpha<1$, spin wave is also phonon-like. The spin waves have a quadratic dispersion in the $\alpha=1$ coupling regime, while in the phase separated regime ($\alpha>1$) the spin waves are found to be damped. The dynamical structure factor (DSF) reveals two distinct peaks corresponding to the density and spin waves for $\alpha \le 1$. For $\alpha > 1$ there is only one DSF peak corresponding to the density wave.Comment: 4 pages, 2 figure

Search for Higgs bosons of the Universal Extra Dimensions at the Large Hadron Collider

The Higgs sector of the Universal Extra Dimensions (UED) has a rather involved setup. With one extra space dimension, the main ingredients to the construct are the higher Kaluza-Klein (KK) excitations of the Standard Model Higgs boson and the fifth components of the gauge fields which on compactification appear as scalar degrees of freedom and can mix with the former thus leading to physical KK-Higgs states of the scenario. In this work, we explore in detail the phenomenology of such a Higgs sector of the UED with the Large Hadron Collider (LHC) in focus. We work out relevant decay branching fractions involving the KK-Higgs excitations. Possible production modes of the KK-Higgs bosons are then discussed with an emphasis on their associated production with the third generation KK-quarks and that under the cascade decays of strongly interacting UED excitations which turn out to be the only phenomenologically significant modes. It is pointed out that the collider searches of such Higgs bosons face generic hardship due to soft end-products which result from severe degeneracies in the masses of the involved excitations in the minimal version of the UED (MUED). Generic implications of either observing some or all of the KK-Higgs bosons at the LHC are discussed.Comment: 25 pages, 9 figures and 1 tabl

Dijet signals of the Little Higgs model with T-parity

The Littest Higgs model with T-parity (LHT), apart from offering a viable solution to the naturalness problem of the Standard Model, also predicts a set of new fermions as well as a candidate for dark matter. We explore the possibility of discovering the heavy T-odd quark Q_H at the LHC in a final state comprising two hard jets with a large missing transverse momentum. Also discussed is the role of heavy flavor tagging.Comment: Changes in text. Some references adde

Discrimination of low missing energy look-alikes at the LHC

The problem of discriminating possible scenarios of TeV scale new physics with large missing energy signature at the Large Hadron Collider (LHC) has received some attention in the recent past. We consider the complementary, and yet unexplored, case of theories predicting much softer missing energy spectra. As there is enough scope for such models to fake each other by having similar final states at the LHC, we have outlined a systematic method based on a combination of different kinematic features which can be used to distinguish among different possibilities. These features often trace back to the underlying mass spectrum and the spins of the new particles present in these models. As examples of "low missing energy look-alikes", we consider Supersymmetry with R-parity violation, Universal Extra Dimensions with both KK-parity conserved and KK-parity violated and the Littlest Higgs model with T-parity violated by the Wess-Zumino-Witten anomaly term. Through detailed Monte Carlo analysis of the four and higher lepton final states predicted by these models, we show that the models in their minimal forms may be distinguished at the LHC, while non-minimal variations can always leave scope for further confusion. We find that, for strongly interacting new particle mass-scale ~600 GeV (1 TeV), the simplest versions of the different theories can be discriminated at the LHC running at sqrt{s}=14 TeV within an integrated luminosity of 5 (30) fb^{-1}.Comment: 40 pages, 10 figures; v2: Further discussions, analysis and one figure added, ordering of certain sections changed, minor modifications in the abstract, version as published in JHE

Revealing the footprints of squark gluino production through Higgs search experiments at the Large Hadron Collider at 7 TeV and 14 TeV

The invariant mass distribution of the di-photons from the decay of the lighter scalar Higgs boson(h) to be carefully measured by dedicated h search experiments at the LHC may be distorted by the di-photons associated with the squark-gluino events with much larger cross sections in Gauge Mediated Supersymmetry Breaking (GMSB) models. This distortion if observed by the experiments at the Large Hadron Collider at 7 TeV or 14 TeV, would disfavour not only the standard model but various two Higgs doublet models with comparable h - masses and couplings but without a sector consisting of new heavy particles decaying into photons. The minimal GMSB (mGMSB) model constrained by the mass bound on h from LEP and that on the lightest neutralino from the Tevatron, produce negligible effects. But in the currently popular general GMSB(GGMSB) models the tail of the above distribution may show statistically significant excess of events even in the early stages of the LHC experiments with integrated luminosity insufficient for the discovery of h. We illustrate the above points by introducing several benchmark points in various GMSB models - minimal as well as non-minimal. The same conclusion follows from a detailed parameter scan in a simplified GGMSB model recently employed by the CMS collaboration to interpret their searches in the di-photon + \etslash channel. Other observables like the effective mass distribution of the di-photon + X events may also reveal the presence of new heavy particles beyond the Higgs sector. The contamination of the h mass peak and simple remedies are also discussed.Comment: 23 pages, 7 figures, title and organization of the paper is changed, detailed parameter scan in a simplified GGMSB model is added, conclusions and old numerical results remain unchange