On cospectral signed digraphs

The set of distinct eigenvalues of a signed digraph S together with their respective multiplicities is called its spectrum. Two signed digraphs of same order are said to be cospectral if they have the same spectrum. In this paper, we show the existence of integral, real and Gaussian cospectral signed digraphs. We give a spectral characterization of normal signed digraphs and use it to construct cospectral normal signed digraphs

Productivity and economic evaluation of Willow (Salix alba L.) based silvopastoral agroforestry system in Kashmir valley

Performance of two fodder crops namely, sorghum (Sorghum vulgare L.) and maize (Zea mays L.) was investigated with Willow (Salix alba L.) to evaluate productivity and economics of the silvopastoral agroforestry system in Kashmir valley. The experiment was laid out by planting two year old willows at 2.0m × 2.0m spacing and dividing the main plot into sub-plots of size 8m × 2m each with 5 replications in randomized block design (RDB). The intercrops of sorghum and maize were maintained at 20cm × 10 cm spacing and supplied with recommended doses of fertilizers. The economics of the willow plantation intercropped with fodder crops was compared with sole willow farming by the benefit-cost ratio and net present worth. The study revealed the differential behaviour of Salix alba regarding growth parameters (height, diameter and girth) by different intercrops and various fodder intercrops with respect to yield, above ground biomass, dry matter production and soil nutrient status (pH, organic carbon, available nitrogen, phosphorus and potassium). The willow based silvopastoral system was estimated to have benefit-cost ratio of 2.71 with maize and 2.68 with sorghum, while as sole crop the willows accrued a benefit-cost ratio of 2.66. The study is useful in discovering growth of willows, productivity of fodder crops and soil nutrient status under various silvopastoral agroforestry systems for maximizing economic gains. The findings envisaged evidences in favour of adopting willow based silvopastoral agroforestry instead of sole tree farming and the knowledge of interactions will be helpful in proper management of the system for sustained multiple productions

An incremental modular technique for checking LTL-X properties on Petri nets

Model-checking is a powerful and widespread technique for the verification of finite state concurrent systems. However, the main hindrance for wider application of this technique is the well-known state explosion problem. Modular verification is a promising natural approach to tackle this problem. It is based on the "divide and conquer" principle and aims at deducing the properties of the system from those of its components analysed in isolation. Unfortunately, several issues make the use of modular verification techniques difficult in practice. First, deciding how to partition the system into components is not trivial and can have a significant impact on the resources needed for verification. Second, when model-checking a component in isolation, how should the environment of this component be described? In this paper, we address these problems in the framework of model-checking LTL\X action-based properties on Petri nets. We propose an incremental and modular verification approach where the system model is partitioned according to the actions occurring in the property to be verified and where the environment of a component is taken into account using the linear place invariants of the system

Simulations of galactic dynamos

We review our current understanding of galactic dynamo theory, paying particular attention to numerical simulations both of the mean-field equations and the original three-dimensional equations relevant to describing the magnetic field evolution for a turbulent flow. We emphasize the theoretical difficulties in explaining non-axisymmetric magnetic fields in galaxies and discuss the observational basis for such results in terms of rotation measure analysis. Next, we discuss nonlinear theory, the role of magnetic helicity conservation and magnetic helicity fluxes. This leads to the possibility that galactic magnetic fields may be bi-helical, with opposite signs of helicity and large and small length scales. We discuss their observational signatures and close by discussing the possibilities of explaining the origin of primordial magnetic fields.Comment: 28 pages, 15 figure, to appear in Lecture Notes in Physics "Magnetic fields in diffuse media", Eds. E. de Gouveia Dal Pino and A. Lazaria

A High Statistics Search for Ultra-High Energy Gamma-Ray Emission from Cygnus X-3 and Hercules X-1

We have carried out a high statistics (2 Billion events) search for ultra-high energy gamma-ray emission from the X-ray binary sources Cygnus X-3 and Hercules X-1. Using data taken with the CASA-MIA detector over a five year period (1990-1995), we find no evidence for steady emission from either source at energies above 115 TeV. The derived upper limits on such emission are more than two orders of magnitude lower than earlier claimed detections. We also find no evidence for neutral particle or gamma-ray emission from either source on time scales of one day and 0.5 hr. For Cygnus X-3, there is no evidence for emission correlated with the 4.8 hr X-ray periodicity or with the occurrence of large radio flares. Unless one postulates that these sources were very active earlier and are now dormant, the limits presented here put into question the earlier results, and highlight the difficulties that possible future experiments will have in detecting gamma-ray signals at ultra-high energies.Comment: 26 LaTeX pages, 16 PostScript figures, uses psfig.sty to be published in Physical Review

Measurement of spin correlation in ttbar production using dilepton final states

We measure the correlation between the spin of the top quark and the spin of the anti-top quark in (ttbar -> W+ W- b bbar -> l+ nu b l- nubar bbar) final states produced in ppbar collisions at a center of mass energy sqrt(s)=1.96 TeV, where l is an electron or muon. The data correspond to an integrated luminosity of 5.4 fb-1 and were collected with the D0 detector at the Fermilab Tevatron collider. The correlation is extracted from the angles of the two leptons in the t and tbar rest frames, yielding a correlation strength C= 0.10^{+0.45}_{-0.45}, in agreement with the NLO QCD prediction within two standard deviations, but also in agreement with the no correlation hypothesis.Comment: 10 pages, 3 figures, submitted to PL

Search for single top quarks in the tau+jets channel using 4.8 fb−1^{-1} of ppˉp\bar{p} collision data

We present the first direct search for single top quark production using tau leptons. The search is based on 4.8 fb$^{-1}$ of integrated luminosity collected in $p\bar{p}$ collisions at $\sqrt{s}$=1.96 TeV with the D0 detector at the Fermilab Tevatron Collider. We select events with a final state including an isolated tau lepton, missing transverse energy, two or three jets, one or two of them $b$ tagged. We use a multivariate technique to discriminate signal from background. The number of events observed in data in this final state is consistent with the signal plus background expectation. We set in the tau+jets channel an upper limit on the single top quark cross section of \TauLimObs pb at the 95% C.L. This measurement allows a gain of 4% in expected sensitivity for the observation of single top production when combining it with electron+jets and muon+jets channels already published by the D0 collaboration with 2.3 fb$^{-1}$ of data. We measure a combined cross section of \SuperCombineXSall pb, which is the most precise measurement to date.Comment: 12 pages, 5 figure

b-Jet Identification in the D0 Experiment

Algorithms distinguishing jets originating from b quarks from other jet flavors are important tools in the physics program of the D0 experiment at the Fermilab Tevatron p-pbar collider. This article describes the methods that have been used to identify b-quark jets, exploiting in particular the long lifetimes of b-flavored hadrons, and the calibration of the performance of these algorithms based on collider data.Comment: submitted to Nuclear Instruments and Methods in Physics Research

Search for pair production of the scalar top quark in the electron-muon final state

We report the result of a search for the pair production of the lightest supersymmetric partner of the top quark ($\tilde{t}_1$) in $p\bar{p}$ collisions at a center-of-mass energy of 1.96 TeV at the Fermilab Tevatron collider corresponding to an integrated luminosity of 5.4 fb$^{-1}$. The scalar top quarks are assumed to decay into a $b$ quark, a charged lepton, and a scalar neutrino ($\tilde{\nu}$), and the search is performed in the electron plus muon final state. No significant excess of events above the standard model prediction is detected, and improved exclusion limits at the 95% C.L. are set in the the ($M_{\tilde{t}_1}$,$M_{\tilde{\nu}}$) mass plane

Measurement of the dijet invariant mass cross section in proton anti-proton collisions at sqrt{s} = 1.96 TeV

The inclusive dijet production double differential cross section as a function of the dijet invariant mass and of the largest absolute rapidity of the two jets with the largest transverse momentum in an event is measured in proton anti-proton collisions at sqrt{s} = 1.96 TeV using 0.7 fb^{-1} integrated luminosity collected with the D0 detector at the Fermilab Tevatron Collider. The measurement is performed in six rapidity regions up to a maximum rapidity of 2.4. Next-to-leading order perturbative QCD predictions are found to be in agreement with the data.Comment: Published in Phys. Lett. B, 693, (2010), 531-538, 8 pages, 2 figures, 6 table