Meson decay in a corrected 30P3^P_0 model

Extensively applied to both light and heavy meson decay and standing as one of the most successful strong decay models is the $3^P_0$ model, in which $q\bar{q}$ pair production is the dominant mechanism. The pair production can be obtained from the non-relativistic limit of a microscopic interaction Hamiltonian involving Dirac quark fields. The evaluation of the decay amplitude can be performed by a diagrammatic technique for drawing quark lines. In this paper we use an alternative approach which consists in a mapping technique, the Fock-Tani formalism, in order to obtain an effective Hamiltonian starting from same microscopic interaction. An additional effect is manifest in this formalism associated to the extended nature of mesons: bound-state corrections. A corrected $3^P_0$ is obtained and applied, as an example, to $b_{1}\to\omega\pi$ and $a_{1}\to\rho\pi$ decays.Comment: 3 figures. To appear in Physical Review

The lattice gluon propagator in renormalizable ξ\xi gauges

We study the SU(3) gluon propagator in renormalizable $R_\xi$ gauges implemented on a symmetric lattice with a total volume of (3.25 fm)$^4$ for values of the guage fixing parameter up to $\xi=0.5$. As expected, the longitudinal gluon dressing function stays constant at its tree-level value $\xi$. Similar to the Landau gauge, the transverse $R_\xi$ gauge gluon propagator saturates at a non-vanishing value in the deep infrared for all values of $\xi$ studied. We compare with very recent continuum studies and perform a simple analysis of the found saturation with a dynamically generated effective gluon mass.Comment: 6 pages, 4 figure

Efeito de fertilizantes nitrogenados no comportamento de plantas de melão cultivadas em casa de vegetação.

Com o objetivo de avaliar o efeito de fontes de nitrogênio sobre a área foliar, a produção de matéria seca e o conteúdo de nitrogênio na parte aérea de plantas de melão (Cucumis melo L.) conduziu-se um ensaio em casa de vegetação, em Petrolina, PE, Brasil, com o híbrido Hy Mark

Dualities in persistent (co)homology

We consider sequences of absolute and relative homology and cohomology groups that arise naturally for a filtered cell complex. We establish algebraic relationships between their persistence modules, and show that they contain equivalent information. We explain how one can use the existing algorithm for persistent homology to process any of the four modules, and relate it to a recently introduced persistent cohomology algorithm. We present experimental evidence for the practical efficiency of the latter algorithm.Comment: 16 pages, 3 figures, submitted to the Inverse Problems special issue on Topological Data Analysi

Quintessential inflation from 5D warped product spaces on a dynamical foliation

Assuming the existence of a 5D purely kinetic scalar field on the class of warped product spaces we investigate the possibility of mimic both an inflationary and a quintessential scenarios on 4D hypersurfaces, by implementing a dynamical foliation on the fifth coordinate instead of a constant one. We obtain that an induced chaotic inflationary scenario with a geometrically induced scalar potential and an induced quasi-vacuum equation of state on 4D dynamical hypersurfaces is possible. While on a constant foliation the universe can be considered as matter dominated today, in a family of 4D dynamical hypersurfaces the universe can be passing for a period of accelerated expansion with a deceleration parameter nearly -1. This effect of the dynamical foliation results negligible at the inflationary epoch allowing for a chaotic scenario and becomes considerable at the present epoch allowing a quintessential scenario.Comment: 7 pages, 1 figure Accepted for publication in Modern Physics Letters

Anisotropic renormalized fluctuations in the microwave resistivity in YBCO

We discuss the excess conductivity above Tc due to renormalized order-parameter fluctuations in YBCO at microwave frequencies. We calculate the effects of the uniaxial anisotropy on the renormalized fluctuations in the Hartree approximation, extending the isotropic theory developed by Dorsey [Phys. Rev. B 43, 7575 (1991)]. Measurements of the real part of the microwave resistivity at 24 and 48 GHz and of the dc resistivity are performed on different YBCO films. The onset of the superconducting transition and the deviation from the linear temperature behavior above Tc can be fully accounted for by the extended theory. According to the theoretical calculation here presented, a departure from gaussian toward renormalized fluctuations is observed. Very consistent values of the fundamental parameters (critical temperature, coherence lenghts, penetration depth) of the superconducting state are obtained.Comment: RevTex, 8 pages with 5 figures included, to be published in Physical Review

ProbNV: probabilistic verification of network control planes

ProbNV is a new framework for probabilistic network control plane verification that strikes a balance between generality and scalability. ProbNV is general enough to encode a wide range of features from the most common protocols (eBGP and OSPF) and yet scalable enough to handle challenging properties, such as probabilistic all-failures analysis of medium-sized networks with 100-200 devices. When there are a small, bounded number of failures, networks with up to 500 devices may be verified in seconds. ProbNV operates by translating raw CISCO configurations into a probabilistic and functional programming language designed for network verification. This language comes equipped with a novel type system that characterizes the sort of representation to be used for each data structure: concrete for the usual representation of values; symbolic for a BDD-based representation of sets of values; and multi-value for an MTBDD-based representation of values that depend upon symbolics. Careful use of these varying representations speeds execution of symbolic simulation of network models. The MTBDD-based representations are also used to calculate probabilistic properties of network models once symbolic simulation is complete. We implement the language and evaluate its performance on benchmarks constructed from real network topologies and synthesized routing policies