Probing New Physics using top quark polarization in the e+e- -> t \bar{t} process at future Linear Colliders

We investigate the sensitivity to new physics of the process e+e- -> t bar{t} when the top polarization is analyzed using leptonic final states e+e- -> t \bar{t} -> l+l- b \bar{b} nu_l \bar{nu}_l. We first show that the kinematical reconstruction of the complete kinematics is experimentally tractable for this process. Then we apply the matrix element method to study the sensitivity to the Vt\bar{t} coupling (V being a vector gauge boson), at the tree level and in the narrow width approximation. Assuming the ILC baseline configuration, sqrt{S}=500 GeV, and a luminosity of 500 fb^{-1}, we conclude that this optimal analysis allows to determine simultaneously the ten form factors that parameterize the Vt\bar{t} coupling, below the percent level. We also discuss the effects of the next leading order (NLO) electroweak corrections using the GRACE program with polarized beams. It is found that the NLO corrections to different beam polarization lead to significantly different patterns of contributions.Comment: 14 pages, 4 figures, Proceedings for the TYL-FJPPL workshops on "Top Physics at ILC

Beam polarization effects on top-pair production at the ILC

Full one-loop electroweak-corrections for an $e^-e^+\rightarrow t \bar{t}$ process associated with sequential $t\rightarrow b \mu\nu_\mu$ decay are discussed. At the one-loop level, the spin-polarization effects of the initial electron and positron beams are included in the total and differential cross sections. A narrow-width approximation is used to treat the top-quark production and decay while including full spin correlations between them. We observed that the radiative corrections due to the weak interaction have a large polarization dependence on both the total and differential cross sections. Therefore, experimental observables that depend on angular distributions such as the forward-backward asymmetry of the top production angle must be treated carefully including radiative corrections. We also observed that the energy distribution of bottom quarks is majorly affected by the radiative corrections.Comment: 15 pages, 8 figure

grc4f v1.0: a Four-fermion Event Generator for e+e- Collisions

grc4f is a Monte-Carlo package for generating e+e- to 4-fermion processes in the standard model. All of the 76 LEP-2 allowed fermionic final state processes evaluated at tree level are included in version 1.0. grc4f addresses event simulation requirements at e+e- colliders such as LEP and up-coming linear colliders. Most of the attractive aspects of grc4f come from its link to the GRACE system: a Feynman diagram automatic computation system. The GRACE system has been used to produce the computational code for all final states, giving a higher level of confidence in the calculation correctness. Based on the helicity amplitude calculation technique, all fermion masses can be kept finite and helicity information can be propagated down to the final state particles. The phase space integration of the matrix element gives the total and differential cross sections, then unweighted events are Generated. Initial state radiation (ISR) corrections are implemented in two ways, one is based on the electron structure function formalism and the second uses the parton shower algorithm called QEDPS. The latter can also be applied for final state radiation (FSR) though the interference with the ISR is not yet taken into account. Parton shower and hadronization of the final quarks are performed through an interface to JETSET. Coulomb correction between two intermediate W's, anomalous coupling as well as gluon contributions in the hadronic processes are also included.Comment: 30 pages, LaTeX, 5 pages postscript figures, uuencode

Adubação antecipada no sistema plantio direto.

No Sistema Plantio Direto (SPD), o ambiente edáfico é profundamente alterado em relação ao sistema convencional de preparo do solo, que se caracteriza pelo uso intenso de implementos para o revolvimento deste. As condições encontradas em cultivos sob SPD são resultantes dos efeitos da manutenção dos resíduos sobre a superfície, do incremento do teor da matéria orgânica, da pequena movimentação ou perturbação do solo e da maior atividade de micro-organismos sobre os demais atributos físicos, químicos e biológicos. Trabalhos de pesquisa realizados em diferentes regiões do País têm demonstrado que essas alterações resultam em maior eficiência de aproveitamento dos nutrientes e da água no solo, permitindo a aplicação de fertilizantes a lanço, em superfície. A antecipação desta prática agrícola pode conferir maior rapidez na execução da semeadura, aumentando a possibilidade da implantação da cultura dentro da época mais adequada, com ganhos indiretos na produtividade da cultura de verão. A presente revisão bibliográfica tem por objetivo explorar o embasamento teórico relacionado à adubação antecipada para as culturas de verão, notadamente soja e milho, de maneira a auxiliar na tomada de decisão quanto a sua adoção. Resultados de pesquisa realizados em diferentes condições edafoclimáticas indicam que, em áreas cultivadas no SPD que ainda apresentam baixa a média disponibilidade de fósforo e/ou potássio, a adubação deve ser efetuada no sulco de semeadura, principalmente na cultura do milho. Por outro lado, em áreas com alta fertilidade é possível optar-se pela adubação antecipada da cultura de verão, desde que o sistema produtivo utilizado permita a adequada manutenção da cobertura vegetal e o acúmulo de matéria orgânica no solo, principalmente. O sucesso da adoção Adubação Antecipada no Sistema Plantio Direto desta prática também está relacionado à ausência de limitação física e/ou química na camada subsuperficial, à adoção de práticas de controle de erosão e ao manejo adequado de plantas daninhas, princípios fundamentais do SPD.bitstream/item/42312/1/DOC-1082011.pd

Propositional Encoding of Constraints over Tree-Shaped Data

We present a functional programming language for specifying constraints over tree-shaped data. The language allows for Haskell-like algebraic data types and pattern matching. Our constraint compiler CO4 translates these programs into satisfiability problems in propositional logic. We present an application from the area of automated analysis of (non-)termination of rewrite systems