Showing 1–41 of 41 results for author: Vale, D

Higher-Order Constrained Dependency Pairs for (Universal) Computability

Authors: Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale

Abstract: Dependency pairs constitute a series of very effective techniques for the termination analysis of term rewriting systems. In this paper, we adapt the static dependency pair framework to logically constrained simply-typed term rewriting systems (LCSTRSs), a higher-order formalism with logical constraints built in. We also propose the concept of universal computability, which enables a form of open-… ▽ More Dependency pairs constitute a series of very effective techniques for the termination analysis of term rewriting systems. In this paper, we adapt the static dependency pair framework to logically constrained simply-typed term rewriting systems (LCSTRSs), a higher-order formalism with logical constraints built in. We also propose the concept of universal computability, which enables a form of open-world termination analysis through the use of static dependency pairs. △ Less

Submitted 27 June, 2024; originally announced June 2024.

On Basic Feasible Functionals and the Interpretation Method

Authors: Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale

Abstract: The class of basic feasible functionals $(\mathtt{BFF})$ is the analog of $\mathtt{FP}$ (polynomial time functions) for type-2 functionals, that is, functionals that can take (first-order) functions as arguments. $\mathtt{BFF}$ can be defined through Oracle Turing machines with running time bounded by second-order polynomials. On the other hand, higher-order term rewriting provides an elegant form… ▽ More The class of basic feasible functionals $(\mathtt{BFF})$ is the analog of $\mathtt{FP}$ (polynomial time functions) for type-2 functionals, that is, functionals that can take (first-order) functions as arguments. $\mathtt{BFF}$ can be defined through Oracle Turing machines with running time bounded by second-order polynomials. On the other hand, higher-order term rewriting provides an elegant formalism for expressing higher-order computation. We address the problem of characterizing $\mathtt{BFF}$ by higher-order term rewriting. Various kinds of interpretations for first-order term rewriting have been introduced in the literature for proving termination and characterizing (first-order) complexity classes. In this paper, we consider a recently introduced notion of cost-size interpretations for higher-order term rewriting and see definitions as ways of computing functionals. We then prove that the class of functionals represented by higher-order terms admitting a certain kind of cost-size interpretation is exactly $\mathtt{BFF}$. △ Less

Submitted 25 January, 2024; v1 submitted 22 January, 2024; originally announced January 2024.

ACM Class: F.1.3

Generalization of conformal Hamada operators

Authors: Lesław Rachwał, Públio Rwany B. R. do Vale

Abstract: The six-derivative conformal scalar operator was originally found by Hamada in its critical dimension of spacetime, $d=6$. We generalize this construction to arbitrary dimensions $d$ by adding new terms cubic in gravitational curvatures and by changing its coefficients of expansion in various curvature terms. The consequences of global scale-invariance and of infinitesimal local conformal transfor… ▽ More The six-derivative conformal scalar operator was originally found by Hamada in its critical dimension of spacetime, $d=6$. We generalize this construction to arbitrary dimensions $d$ by adding new terms cubic in gravitational curvatures and by changing its coefficients of expansion in various curvature terms. The consequences of global scale-invariance and of infinitesimal local conformal transformations are derived for the form of this generalized operator. The system of linear equations for coefficients is solved giving explicitly the conformal Hamada operator in any $d$. Some singularities in construction for dimensions $d=2$ and $d=4$ are noticed. We also prove a general theorem that a scalar conformal operator with $n$ derivatives in $d=n-2$ dimensions is impossible to construct. Finally, we compare our explicit construction with the one that uses conformal covariant derivatives and conformal curvature tensors. We present new results for operators built with different orders of conformal covariant derivatives. △ Less

Submitted 11 May, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: 60 pages

Complexity Analysis for Call-by-Value Higher-Order Rewriting

Authors: Cynthia Kop, Deivid Vale

Abstract: In this short paper, we consider a form of higher-order rewriting with a call-by-value evaluation strategy so as to model call-by-value programs. We briefly present a cost-size semantics to call-by-value rewriting: a class of algebraic interpretations that map terms to tuples that bound both the reductions' cost and the size of normal forms. In this short paper, we consider a form of higher-order rewriting with a call-by-value evaluation strategy so as to model call-by-value programs. We briefly present a cost-size semantics to call-by-value rewriting: a class of algebraic interpretations that map terms to tuples that bound both the reductions' cost and the size of normal forms. △ Less

Submitted 25 July, 2023; originally announced July 2023.

Comments: Presented at WST 2023

MSC Class: 68Q55; 68Q15 ACM Class: F.4.1

Possibility of Spontaneous Symmetry Breaking in the Nambu-Jona-Lasinio model with torsion

Authors: Públio Rwany Batista Ribeiro do Vale

Abstract: We discuss the Nambu-Jona-Lasinio (NJL) model in curved space-time with torsion in the leading order of the $1/N$ expansion. The effective potential of the torsion sector is calculated using the new technique based on the nonlocal part of anomaly-induced action which was recently found to produce the effective potential in the low-energy limit. The spontaneous symmetry breaking caused by the chang… ▽ More We discuss the Nambu-Jona-Lasinio (NJL) model in curved space-time with torsion in the leading order of the $1/N$ expansion. The effective potential of the torsion sector is calculated using the new technique based on the nonlocal part of anomaly-induced action which was recently found to produce the effective potential in the low-energy limit. The spontaneous symmetry breaking caused by the change of the torsion term is found, confirming the statements known from the existing literature. Furthermore, the gap equation is calculated as a function of curvature and torsion. Finally, the behavior of the effective four fermions coupling constant as a function of the torsion is discussed. △ Less

Submitted 8 May, 2024; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: In this second version, we extended the discussions, added new explanations and references, the graphics were redone, and we added new conclusions. 20 pages and 4 figures

Analyzing Innermost Runtime Complexity Through Tuple Interpretations

Authors: Liye Guo, Deivid Vale

Abstract: Time complexity in rewriting is naturally understood as the number of steps needed to reduce terms to normal forms. Establishing complexity bounds to this measure is a well-known problem in the rewriting community. A vast majority of techniques to find such bounds consist of modifying termination proofs in order to recover complexity information. This has been done for instance with semantic inter… ▽ More Time complexity in rewriting is naturally understood as the number of steps needed to reduce terms to normal forms. Establishing complexity bounds to this measure is a well-known problem in the rewriting community. A vast majority of techniques to find such bounds consist of modifying termination proofs in order to recover complexity information. This has been done for instance with semantic interpretations, recursive path orders, and dependency pairs. In this paper, we follow the same program by tailoring tuple interpretations to deal with innermost complexity analysis. A tuple interpretation interprets terms as tuples holding upper bounds to the cost of reduction and size of normal forms. In contrast with the full rewriting setting, the strongly monotonic requirement for cost components is dropped when reductions are innermost. This weakened requirement on cost tuples allows us to prove the innermost version of the compatibility result: if all rules in a term rewriting system can be strictly oriented, then the innermost rewrite relation is well-founded. We establish the necessary conditions for which tuple interpretations guarantee polynomial bounds to the runtime of compatible systems and describe a search procedure for such interpretations. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: In Proceedings LSFA 2022, arXiv:2303.12680

ACM Class: F.1.3; F.4.1

Journal ref: EPTCS 376, 2023, pp. 34-48

Certifying Higher-Order Polynomial Interpretations

Authors: Niels van der Weide, Deivid Vale, Cynthia Kop

Abstract: Higher-order rewriting is a framework in which one can write higher-order programs and study their properties. One such property is termination: the situation that for all inputs, the program eventually halts its execution and produces an output. Several tools have been developed to check whether higher-order rewriting systems are terminating. However, develo** such tools is difficult and can be… ▽ More Higher-order rewriting is a framework in which one can write higher-order programs and study their properties. One such property is termination: the situation that for all inputs, the program eventually halts its execution and produces an output. Several tools have been developed to check whether higher-order rewriting systems are terminating. However, develo** such tools is difficult and can be error-prone. In this paper, we present a way of certifying termination proofs of higher-order term rewriting systems. We formalize a specific method, namely the polynomial interpretation method, that is used to prove termination. In addition, we give a program that turns the output of Wanda, a termination analysis tool for higher-order rewriting systems, into a Coq script, so that we can check whether the output is a valid proof of termination. △ Less

Submitted 5 August, 2023; v1 submitted 23 February, 2023; originally announced February 2023.

Comments: This new version fixes typos in the introduction, adds a reference to the published version, and adds the \hideLipics command so the temporary lipics logo isn't shown. No textual content was added or removed in this version

Tuple Interpretations and Applications to Higher-Order Runtime Complexity

Authors: Cynthia Kop, Deivid Vale

Abstract: Tuple interpretations are a class of algebraic interpretation that subsumes both polynomial and matrix interpretations as it does not impose simple termination and allows non-linear interpretations. It was developed in the context of higher-order rewriting to study derivational complexity of algebraic functional systems. In this short paper, we continue our journey to study the complexity of highe… ▽ More Tuple interpretations are a class of algebraic interpretation that subsumes both polynomial and matrix interpretations as it does not impose simple termination and allows non-linear interpretations. It was developed in the context of higher-order rewriting to study derivational complexity of algebraic functional systems. In this short paper, we continue our journey to study the complexity of higher-order TRSs by tailoring tuple interpretations to deal with innermost runtime complexity. △ Less

Submitted 30 June, 2022; originally announced June 2022.

ACM Class: F.4.1

Using Open Data and Open-Source Software to Develop Spatial Indicators of Urban Design and Transport Features for Achieving Healthy and Sustainable Cities

Authors: Geoff Boeing, Carl Higgs, Shiqin Liu, Billie Giles-Corti, James F Sallis, Ester Cerin, Melanie Lowe, Deepti Adlakha, Erica Hinckson, Anne Vernez Moudon, Deborah Salvo, Marc A Adams, Ligia Vizeu Barrozo, Tamara Bozovic, Xavier Delclòs-Alió, Jan Dygrýn, Sara Ferguson, Klaus Gebel, Thanh Phuong Ho, Poh-Chin Lai, Joan Carles Martori, Kornsupha Nitvimol, Ana Queralt, Jennifer D Roberts, Garba H Sambo , et al. (5 additional authors not shown)

Abstract: Benchmarking and monitoring urban design and transport features is critical to achieving local and international health and sustainability goals. However, most urban indicator frameworks use coarse spatial scales that only allow between-city comparisons or require expensive, technical, local spatial analyses for within-city comparisons. This study developed a reusable open-source urban indicator c… ▽ More Benchmarking and monitoring urban design and transport features is critical to achieving local and international health and sustainability goals. However, most urban indicator frameworks use coarse spatial scales that only allow between-city comparisons or require expensive, technical, local spatial analyses for within-city comparisons. This study developed a reusable open-source urban indicator computational framework using open data to enable consistent local and global comparative analyses. We demonstrate this framework by calculating spatial indicators - for 25 diverse cities in 19 countries - of urban design and transport features that support health and sustainability. We link these indicators to cities' policy contexts and identify populations living above and below critical thresholds for physical activity through walking. Efforts to broaden participation in crowdsourcing data and to calculate globally consistent indicators are essential for planning evidence-informed urban interventions, monitoring policy impacts, and learning lessons from peer cities to achieve health, equity, and sustainability goals. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Journal ref: The Lancet Global Health 10 (6), 907-918 (2022)

Trace anomaly and induced action for a metric-scalar background

Authors: Manuel Asorey, Wagno Cesar e Silva, Ilya L. Shapiro, Públio R. B. do Vale

Abstract: The conformal anomaly and anomaly-induced effective action represent useful and economic ways to describe semiclassical contributions to the action of gravity. We discuss the anomaly in the case when the background is formed by metric and scalar fields and formulate the induced action in two standard covariant forms. The analysis of induced action at low energies reveals existing connection to the… ▽ More The conformal anomaly and anomaly-induced effective action represent useful and economic ways to describe semiclassical contributions to the action of gravity. We discuss the anomaly in the case when the background is formed by metric and scalar fields and formulate the induced action in two standard covariant forms. The analysis of induced action at low energies reveals existing connection to the renormalization group and effective potential. The classification of anomalous terms is extended to the scalar background and ambiguities in the total derivative terms in the anomaly are considered using Pauli-Villars regularization. △ Less

Submitted 7 February, 2023; v1 submitted 31 January, 2022; originally announced February 2022.

Comments: Explanations and references added. Fits the version to be published in EPJC. 22 pages, no figures

MSC Class: 81T50; 81T20; 81T15; 83C45

Journal ref: Eur. Phys. J. C 83 (2023) 157

Formalizing Higher-Order Termination in Coq

Authors: Deivid Vale, Niels van der Weide

Abstract: We describe a formalization of higher-order rewriting theory and formally prove that an AFS is strongly normalizing if it can be interpreted in a well-founded domain. To do so, we use Coq, which is a proof assistant based on dependent type theory. Using this formalization, one can implement several termination techniques, like the interpretation method or dependency pairs, and prove their correctn… ▽ More We describe a formalization of higher-order rewriting theory and formally prove that an AFS is strongly normalizing if it can be interpreted in a well-founded domain. To do so, we use Coq, which is a proof assistant based on dependent type theory. Using this formalization, one can implement several termination techniques, like the interpretation method or dependency pairs, and prove their correctness. Those implementations can then be extracted to OCaml, which results in a verified termination checker. △ Less

Submitted 13 December, 2021; v1 submitted 10 December, 2021; originally announced December 2021.

ACM Class: F.4.2; F.3.1

Tuple Interpretations for Higher-Order Rewriting

Authors: Deivid Vale, Cynthia Kop

Abstract: We develop a class of algebraic interpretations for many-sorted and higher-order term rewriting systems that takes type information into account. Specifically, base-type terms are mapped to \emph{tuples} of natural numbers and higher-order terms to functions between those tuples. Tuples may carry information relevant to the type; for instance, a term of type $\mathsf{nat}$ may be associated to a p… ▽ More We develop a class of algebraic interpretations for many-sorted and higher-order term rewriting systems that takes type information into account. Specifically, base-type terms are mapped to \emph{tuples} of natural numbers and higher-order terms to functions between those tuples. Tuples may carry information relevant to the type; for instance, a term of type $\mathsf{nat}$ may be associated to a pair $(\mathsf{cost}, \mathsf{size})$ representing its evaluation cost and size. This class of interpretations results in a more fine-grained notion of complexity than runtime or derivational complexity, which makes it particularly useful to obtain complexity bounds for higher-order rewriting systems. We show that rewriting systems compatible with tuple interpretations admit finite bounds on derivation height. Furthermore, we demonstrate how to mechanically construct tuple interpretations and how to orient $β$ and $η$ reductions within our technique. Finally, we relate our method to runtime complexity and prove that specific interpretation shapes imply certain runtime complexity bounds. △ Less

Submitted 3 May, 2021; originally announced May 2021.

Towards a question answering assistant for software development using a transformer-based language model

Authors: Liliane do Nascimento Vale, Marcelo de Almeida Maia

Abstract: Question answering platforms, such as Stack Overflow, have impacted substantially how developers search for solutions for their programming problems. The crowd knowledge content available from such platforms has also been used to leverage software development tools. The recent advances on Natural Language Processing, specifically on more powerful language models, have demonstrated ability to enhan… ▽ More Question answering platforms, such as Stack Overflow, have impacted substantially how developers search for solutions for their programming problems. The crowd knowledge content available from such platforms has also been used to leverage software development tools. The recent advances on Natural Language Processing, specifically on more powerful language models, have demonstrated ability to enhance text understanding and generation. In this context, we aim at investigating the factors that can influence on the application of such models for understanding source code related data and produce more interactive and intelligent assistants for software development. In this preliminary study, we particularly investigate if a how-to question filter and the level of context in the question may impact the results of a question answering transformer-based model. We suggest that fine-tuning models with corpus based on how-to questions can impact positively in the model and more contextualized questions also induce more objective answers. △ Less

Submitted 16 March, 2021; originally announced March 2021.

A resampling approach for causal inference on novel two-point time-series with application to identify risk factors for type-2 diabetes and cardiovascular disease

Authors: Xiaowu Dai, Saad Mouti, Marjorie Lima do Vale, Sumantra Ray, Jeffrey Bohn, Lisa Goldberg

Abstract: Two-point time-series data, characterized by baseline and follow-up observations, are frequently encountered in health research. We study a novel two-point time series structure without a control group, which is driven by an observational routine clinical dataset collected to monitor key risk markers of type-$2$ diabetes (T2D) and cardiovascular disease (CVD). We propose a resampling approach call… ▽ More Two-point time-series data, characterized by baseline and follow-up observations, are frequently encountered in health research. We study a novel two-point time series structure without a control group, which is driven by an observational routine clinical dataset collected to monitor key risk markers of type-$2$ diabetes (T2D) and cardiovascular disease (CVD). We propose a resampling approach called 'I-Rand' for independently sampling one of the two time points for each individual and making inference on the estimated causal effects based on matching methods. The proposed method is illustrated with data from a service-based dietary intervention to promote a low-carbohydrate diet (LCD), designed to impact risk of T2D and CVD. Baseline data contain a pre-intervention health record of study participants, and health data after LCD intervention are recorded at the follow-up visit, providing a two-point time-series pattern without a parallel control group. Using this approach we find that obesity is a significant risk factor of T2D and CVD, and an LCD approach can significantly mitigate the risks of T2D and CVD. We provide code that implements our method. △ Less

Submitted 17 January, 2023; v1 submitted 12 March, 2021; originally announced March 2021.

Nuclear charge-exchange excitations based on relativistic density-dependent point-coupling model

Authors: D. Vale, Y. F. Niu, N. Paar

Abstract: Spin-isospin transitions in nuclei away from the valley of stability are essential for the description of astrophysically relevant weak interaction processes. While they remain mainly beyond the reach of experiment, theoretical modeling provides important insight into their properties. In order to describe the spin-isospin response,vcthe proton-neutron relativistic quasiparticle random phase appro… ▽ More Spin-isospin transitions in nuclei away from the valley of stability are essential for the description of astrophysically relevant weak interaction processes. While they remain mainly beyond the reach of experiment, theoretical modeling provides important insight into their properties. In order to describe the spin-isospin response,vcthe proton-neutron relativistic quasiparticle random phase approximation (PN-RQRPA) is formulated using the relativistic density-dependent point coupling interaction, and separable pairing interaction in both the $T=1$ and $T=0$ pairing channels. By implementing recently established DD-PCX interaction with improved isovector properties relevant for the description of nuclei with neutron-to-proton number asymmetry, the isobaric analog resonances (IAR) and Gamow-Teller resonances (GTR) have been investigated. In contrast to other models that usually underestimate the IAR excitation energies in Sn isotope chain, the present model accurately reproduces the experimental data, while the GTR properties depend on the isoscalar pairing interaction strength. This framework provides not only an improved description of the spin-isospin response in nuclei, but it also allows future large scale calculations of charge-exchange excitations and weak interaction processes in stellar environment. △ Less

Submitted 29 April, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: 40 pages, 6 figures, revised version

Journal ref: Phys. Rev. C 103, 064307 (2021)

Magnetic dipole excitations based on the relativistic nuclear energy density functional

Authors: G. Kruzic, T. Oishi, D. Vale, N. Paar

Abstract: Magnetic dipole (M1) excitations build not only a fundamental mode of nucleonic transitions, but they are also relevant for nuclear astrophysics applications. We have established a theory framework for description of M1 transitions based on the relativistic nuclear energy density functional. For this purpose the relativistic quasiparticle random phase approximation (RQRPA) is established using den… ▽ More Magnetic dipole (M1) excitations build not only a fundamental mode of nucleonic transitions, but they are also relevant for nuclear astrophysics applications. We have established a theory framework for description of M1 transitions based on the relativistic nuclear energy density functional. For this purpose the relativistic quasiparticle random phase approximation (RQRPA) is established using density dependent point coupling interaction DD-PC1, supplemented with the isovector-pseudovector interaction channel in order to study unnatural parity transitions. The introduced framework has been validated using the M1 sum rule for core-plus-two-nucleon systems, and employed in studies of the spin, orbital, isoscalar and isovector M1 transition strengths, that relate to the electromagnetic probe, in magic nuclei $^{48}$Ca and $^{208}$Pb, and open shell nuclei $^{42}$Ca and $^{50}$Ti. In these systems, the isovector spin-flip M1 transition is dominant, mainly between one or two spin-orbit partner states. It is shown that pairing correlations have a significant impact on the centroid energy and major peak position of the M1 mode. The M1 excitations could provide an additional constraint to improve nuclear energy density functionals in the future studies. △ Less

Submitted 2 October, 2020; v1 submitted 4 March, 2020; originally announced March 2020.

Comments: 13 pages, 7 figures, accepted for publication in Physical Review C

Journal ref: Phys. Rev. C 102, 044315 (2020)

Torsion Limits From $t\bar{t}$ Production at the LHC

Authors: Fernando Marroquim, Fernando de Andrade, Maria A. B. do Vale, Andre Nepomuceno

Abstract: Torsion models constitute a well known class of extended quantum gravity models. In this work, one investigates the phenomenological consequences of a torsion field interacting with top quarks at the LHC. A torsion field could appear as a new heavy state characterized by its mass and couplings to fermions. This new state would form a resonance decaying into a top anti-top pair. The latest ATLAS… ▽ More Torsion models constitute a well known class of extended quantum gravity models. In this work, one investigates the phenomenological consequences of a torsion field interacting with top quarks at the LHC. A torsion field could appear as a new heavy state characterized by its mass and couplings to fermions. This new state would form a resonance decaying into a top anti-top pair. The latest ATLAS $t\bar t$ production results from LHC 13 TeV data are used to set limits on torsion parameters. The integrated luminosity needed to observe torsion resonance at the next LHC upgrades are also evaluated, considering different values for the torsion mass and its couplings to Standard Model fermions. Finally, prospects for torsion exclusion at the future LHC phases II and III are obtained using fast detector simulations. △ Less

Submitted 27 December, 2017; originally announced December 2017.

Journal ref: Phys. Rev. D 97, 075036 (2018)

Hybrid method to resolve the neutrino mass hierarchy by supernova (anti)neutrino induced reactions

Authors: D. Vale, T. Rauscher, N. Paar

Abstract: We introduce a hybrid method to determine the neutrino mass hierarchy by simultaneous measurements of responses of at least two detectors to antineutrino and neutrino fluxes from accretion and cooling phases of core-collapse supernovae. The (anti)neutrino-nucleus cross sections for $^{56}$Fe and $^{208}$Pb are calculated in the framework of the relativistic nuclear energy density functional and we… ▽ More We introduce a hybrid method to determine the neutrino mass hierarchy by simultaneous measurements of responses of at least two detectors to antineutrino and neutrino fluxes from accretion and cooling phases of core-collapse supernovae. The (anti)neutrino-nucleus cross sections for $^{56}$Fe and $^{208}$Pb are calculated in the framework of the relativistic nuclear energy density functional and weak interaction Hamiltonian, while the cross sections for inelastic scattering on free protons $\mathrm{p}(\barν_\mathrm{e},\mathrm{e}^{+})\mathrm{n}$ are obtained using heavy-baryon chiral perturbation theory. The modelling of (anti)neutrino fluxes emitted from a protoneutron star in a core-collapse supernova include collective and Mikheyev-Smirnov-Wolfenstein effects inside the exploding star. The particle emission rates from the elementary decay modes of the daughter nuclei are calculated for normal and inverted neutrino mass hierarchy. It is shown that simultaneous use of (anti)neutrino detectors with different target material allows to determine the neutrino mass hierarchy from the ratios of $ν_\mathrm{e}$- and $\barν_\mathrm{e}$-induced particle emissions. This hybrid method favors neutrinos from the supernova cooling phase and the implementation of detectors with heavier target nuclei ($^{208}$Pb) for the neutrino sector, while for antineutrinos the use of free protons in mineral oil or water is the appropriate choice. △ Less

Submitted 24 September, 2015; originally announced September 2015.

Comments: 22 pages, 7 figures, 3 tables

Journal ref: J. Cosmol. Astropart. Phys. (JCAP) 02 (2016) 007

Accelerating Scientific Publication in Biology

Authors: Ronald D. Vale

Abstract: Scientific publications enable results and ideas to be transmitted throughout the scientific community. The number and type of journal publications also have become the primary criteria used in evaluating career advancement. Our analysis suggests that publication practices have changed considerably in the life sciences over the past thirty years. More experimental data is now required for publicat… ▽ More Scientific publications enable results and ideas to be transmitted throughout the scientific community. The number and type of journal publications also have become the primary criteria used in evaluating career advancement. Our analysis suggests that publication practices have changed considerably in the life sciences over the past thirty years. More experimental data is now required for publication, and the average time required for graduate students to publish their first paper has increased and is approaching the desirable duration of Ph.D. training. Since publication is generally a requirement for career progression, schemes to reduce the time of graduate student and postdoctoral training may be difficult to implement without also considering new mechanisms for accelerating communication of their work. The increasing time to publication also delays potential catalytic effects that ensue when many scientists have access to new information. The time has come for life scientists, funding agencies, and publishers to discuss how to communicate new findings in a way that best serves the interests of the public and the scientific community. △ Less

Submitted 12 September, 2015; originally announced September 2015.

Comments: 39 pages, 6 figures, 1 table, and a Q&A related to pre-prints

Modeling nuclear weak-interaction processes with relativistic energy density functionals

Authors: N. Paar, T. Marketin, D. Vale, D. Vretenar

Abstract: Relativistic energy density functionals have become a standard framework for nuclear structure studies of ground-state properties and collective excitations over the entire nuclide chart. We review recent developments in modeling nuclear weak-interaction processes: charge-exchange excitations and the role of isoscalar proton-neutron pairing, charged-current neutrino-nucleus reactions relevant for… ▽ More Relativistic energy density functionals have become a standard framework for nuclear structure studies of ground-state properties and collective excitations over the entire nuclide chart. We review recent developments in modeling nuclear weak-interaction processes: charge-exchange excitations and the role of isoscalar proton-neutron pairing, charged-current neutrino-nucleus reactions relevant for supernova evolution and neutrino detectors, and calculation of beta-decay rates for r-process nucleosynthesis. △ Less

Submitted 27 May, 2015; originally announced May 2015.

Comments: 22 pages, 12 figures, submitted for publication

Resolving neutrino mass hierarchy from supernova (anti)neutrino-nucleus reactions

Authors: Deni Vale, Nils Paar

Abstract: We introduce a hybrid method to determine neutrino mass hierarchy by simultaneous measurements of detector responses induced by antineutrino and neutrino fluxes from accretion and cooling phase of type II supernova. The (anti)neutrino-nucleus cross sections for $^{12}$C, $^{16}$O, $^{56}$Fe and $^{208}$Pb are calculated in the framework of relativistic nuclear energy density functional and weak Ha… ▽ More We introduce a hybrid method to determine neutrino mass hierarchy by simultaneous measurements of detector responses induced by antineutrino and neutrino fluxes from accretion and cooling phase of type II supernova. The (anti)neutrino-nucleus cross sections for $^{12}$C, $^{16}$O, $^{56}$Fe and $^{208}$Pb are calculated in the framework of relativistic nuclear energy density functional and weak Hamiltonian, while the cross sections for inelastic scattering on free protons, $p(\barν_{e},e^{+})n$, are obtained using heavy-baryon chiral perturbation theory. The simulations of (anti)neutrino fluxes emitted from a protoneutron star in a core-collapse supernova include collective and Mickheev-Smirnov-Wolfenstein effects inside star. The emission rates of elementary decay modes of daughter nuclei are calculated for normal and inverted neutrino mass hierarchy. It is shown that simultaneous use of (anti)neutrino detectors with different target material and time dependence of the signal allow to determine the neutrino mass hierarchy from the ratios of $ν_e / $ $\barν_e$ induced particle emissions. The hybrid method favors detectors with heavier target nuclei ($^{208}$Pb) for the neutrino sector, while for antineutrinos the use of free protons and light nuclei ($\text{H}_2\text{O}$ or $\text{-CH}_2\text{-}$) represent appropriate choice. △ Less

Submitted 10 June, 2014; originally announced June 2014.

Comments: 4 pages, 2 figures, 1 table

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

Authors: Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale

Abstract: The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. This paper presents the current state of DOL's standa… ▽ More The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. This paper presents the current state of DOL's standardization. It focuses on use cases where distributed ontologies enable interoperability and reusability. We demonstrate relevant features of the DOL syntax and semantics and explain how these integrate into existing knowledge engineering environments. △ Less

Submitted 1 August, 2012; originally announced August 2012.

Comments: Terminology and Knowledge Engineering Conference (TKE) 2012-06-20 to 2012-06-21 Madrid, Spain

MSC Class: 68T30; 68T35 ACM Class: I.2.4

Double seesaw mechanism in a left-right symmetric model with TeV neutrinos

Authors: F. M. L. de Almeida Jr., Y. A. Coutinho, J. A. Martins Simões, A. J. Ramalho, L. Ribeiro Pinto, S. Wulck, M. A. B do Vale

Abstract: A left-right symmetric model is discussed with new mirror fermions and a Higgs sector with two doublets and neutral scalar singlets. The seesaw mechanism is generalized, including not only neutrino masses but also charged fermion masses. The spectrum of heavy neutrinos presents a second seesaw mass matrix and has neutrinos masses naturally in the TeV region. The model has very clear signatures f… ▽ More A left-right symmetric model is discussed with new mirror fermions and a Higgs sector with two doublets and neutral scalar singlets. The seesaw mechanism is generalized, including not only neutrino masses but also charged fermion masses. The spectrum of heavy neutrinos presents a second seesaw mass matrix and has neutrinos masses naturally in the TeV region. The model has very clear signatures for the new neutral vector gauge bosons. Two classes of models are discussed. New mirror neutrinos can be very light and a new $Z^{\prime}$ can be discriminated from other models by a very high invisible branching fraction. The other possibility is that mirror neutrinos can have masses naturally in the TeV region and can be produced through $Z^{\prime}$ decays into heavy neutrino pairs. Signatures and production processes for the model at the LHC energy are also presented. △ Less

Submitted 8 February, 2010; v1 submitted 13 January, 2010; originally announced January 2010.

Comments: 18 pages, 3 figures, 2 tables. Added references. Accepted for publication in Phys. Rev. D

Journal ref: Phys.Rev.D81:053005,2010

Expected Performance of the ATLAS Experiment - Detector, Trigger and Physics

Authors: The ATLAS Collaboration, G. Aad, E. Abat, B. Abbott, J. Abdallah, A. A. Abdelalim, A. Abdesselam, O. Abdinov, B. Abi, M. Abolins, H. Abramowicz, B. S. Acharya, D. L. Adams, T. N. Addy, C. Adorisio, P. Adragna, T. Adye, J. A. Aguilar-Saavedra, M. Aharrouche, S. P. Ahlen, F. Ahles, A. Ahmad, H. Ahmed, G. Aielli, T. Akdogan , et al. (2587 additional authors not shown)

Abstract: A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on… ▽ More A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN. △ Less

Submitted 14 August, 2009; v1 submitted 28 December, 2008; originally announced January 2009.

Torsion Discovery Potential and Its Discrimination at CERN LHC

Authors: F. M. L. de Almeida Jr., A. A. Nepomuceno, M. A. B. do Vale

Abstract: Torsion models constitute a well known class of extended quantum gravity models. In this paper we study some phenomenological consequences of a torsion field interacting with fermions at LHC. A torsion field could appear as a new heavy state characterized by its mass and couplings to fermions. These new states will form a resonance decaying into difermions, as occurs in many extensions of the St… ▽ More Torsion models constitute a well known class of extended quantum gravity models. In this paper we study some phenomenological consequences of a torsion field interacting with fermions at LHC. A torsion field could appear as a new heavy state characterized by its mass and couplings to fermions. These new states will form a resonance decaying into difermions, as occurs in many extensions of the Standard Model, such as models predicting the existence of additional neutral gauge bosons, usually named $Z^\prime$. Using the dielectron channel we evaluate the integrated luminosity needed for a $5σ$ discovery as a function of the torsion mass, for different coupling values. We also calculate the luminosity needed for discriminate, with 95% C.L., the two possible different torsion natures. Finally, we show that the observed signal coming from the torsion field could be distinguished from a signal coming from a new neutral gauge boson, provided there is enough luminosity. △ Less

Submitted 3 November, 2008; originally announced November 2008.

Comments: 08pages, 13 figures

Journal ref: Phys. Rev. D 79, 014029 (2009)

Testing a possible W and Z structure at the LHC/CERN

Authors: F. M. L. de Almeida Jr., H. Chavez, Y. A. Coutinho, J. A. Martins Simões, A. J. Ramalho, S. Wulck, M. A. B. do Vale

Abstract: One of the first channels to be experimentally analyzed at the LHC is $ p + p \longrightarrow l^+ + l ^- + X $. A resonance in this channel would be a clear indication of a new gauge neutral boson, as proposed in many extended models. In this paper we call attention to the possibility that the new resonance in this channel could have spin zero. A new high mass spin zero state could be a strong i… ▽ More One of the first channels to be experimentally analyzed at the LHC is $ p + p \longrightarrow l^+ + l ^- + X $. A resonance in this channel would be a clear indication of a new gauge neutral boson, as proposed in many extended models. In this paper we call attention to the possibility that the new resonance in this channel could have spin zero. A new high mass spin zero state could be a strong indication of the composite nature of the standard model particles. We have made a comparison between spin zero and spin one for the new hypothetical heavy gauge particle production and decays and we show some distributions that can easily identify their spins. △ Less

Submitted 2 February, 2009; v1 submitted 6 October, 2008; originally announced October 2008.

Comments: 10 pages, 7 figures, new brief comments, new references added

Right-handed heavy neutrinos in the littlest Higgs model

Authors: F. M. L. de Almeida Jr., Y. A. Coutinho, J. A. Martins Simões, A. J. Ramalho, S. Wulck, M. A. B. do Vale

Abstract: In this paper we discuss the consequences of including a new heavy right-handed neutrino singlet $N_R$ in the littlest Higgs model. This new state is not connected with the light neutrinos {\it via} the seesaw mechanism. A very interesting property of this extended model is the full coupling of the new neutral gauge boson $A_H$ to $N_R$, giving large total cross sections and suggesting a wide ra… ▽ More In this paper we discuss the consequences of including a new heavy right-handed neutrino singlet $N_R$ in the littlest Higgs model. This new state is not connected with the light neutrinos {\it via} the seesaw mechanism. A very interesting property of this extended model is the full coupling of the new neutral gauge boson $A_H$ to $N_R$, giving large total cross sections and suggesting a wide range of experimental search for the $N_R$ at the p p collider CERN-LHC and future electron-positron collider ILC. △ Less

Submitted 1 October, 2007; v1 submitted 9 July, 2007; originally announced July 2007.

Comments: 9 pages, 4 figures. Revised version

Discriminating among the theoretical origins of new heavy Majorana neutrinos at the CERN LHC

Authors: F. M. L. de Almeida Jr., Y. A. Coutinho, J. A. Martins Simoes, A. J. Ramalho, S. Wulck, M. A. B. do Vale

Abstract: A study on the possibility of distinguishing new heavy Majorana neutrino models at LHC energies is presented. The experimental confirmation of standard neutrinos with non-zero mass and the theoretical possibility of lepton number violation find a natural explanation when new heavy Majorana neutrinos exist. These new neutrinos appear in models with new right-handed singlets, in new doublets of so… ▽ More A study on the possibility of distinguishing new heavy Majorana neutrino models at LHC energies is presented. The experimental confirmation of standard neutrinos with non-zero mass and the theoretical possibility of lepton number violation find a natural explanation when new heavy Majorana neutrinos exist. These new neutrinos appear in models with new right-handed singlets, in new doublets of some grand unified theories and left-right symmetrical models. It is expected that signals of new particles can be found at the CERN high-energy hadron collider (LHC). We present signatures and distributions that can indicate the theoretical origin of these new particles. The single and pair production of heavy Majorana neutrinos are calculated and the model dependence is discussed. Same-sign dileptons in the final state provide a clear signal for the Majorana nature of heavy neutrinos, since there is lepton number violation. Mass bounds on heavy Majorana neutrinos allowing model discrimination are estimated for three different LHC luminosities. △ Less

Submitted 8 March, 2007; originally announced March 2007.

Comments: 7 pages, 5 figures

Journal ref: Phys.Rev.D75:075002,2007

Distinguishing Z' signatures and the Littlest Higgs model in e+e- Colliders at sqrt{s} \ne M_{Z'}

Authors: F. M. L. de Almeida Jr., Y. A. Coutinho, J. A. Martins Simoes, A. J. Ramalho, S. Wulck, M. A. B. do Vale

Abstract: There is a recent proposal identifying the Higgs particle of the Standard Model as a pseudo Nambu-Goldstone boson. This new broken symmetry introduces new particles and new interactions. Among these new interactions a central role to get a new physics is played by two new heavy neutral gauge bosons. We have studied the two new neutral currents in the Littlest Higgs model and compared with other… ▽ More There is a recent proposal identifying the Higgs particle of the Standard Model as a pseudo Nambu-Goldstone boson. This new broken symmetry introduces new particles and new interactions. Among these new interactions a central role to get a new physics is played by two new heavy neutral gauge bosons. We have studied the two new neutral currents in the Littlest Higgs model and compared with other extended models. For high energy e+e- colliders we present a clear signature for these two new neutral gauge bosons that can indicate the theoretical origin of these particles. Previous analysis by other authors were done at collider energies equal to the new gauge boson mass M_{A_H}. In this paper we show that asymmetries in fermion antifermion production can display model differences in the case M_{A_H} > sqrt{s}. For M_{A_H} < sqrt{s} we show that the hard photon energy distribution in e+e- --> gamma + f + anti-f can present a model dependence. For higher energies, the hard photon energy distribution can be a clear signature for both new neutral gauge bosons. New bounds for the new neutral gauge boson masses are also presented. △ Less

Submitted 13 February, 2007; originally announced February 2007.

Comments: 12 pages, 12 figures

Torsion Phenomenology at the LHC

Authors: A. S. Belyaev, I. L. Shapiro, M. A. B. do Vale

Abstract: We explore the potential of the CERN Large Hadron Collider (LHC) to test the dynamical torsion parameters. The form of the torsion action can be established from the requirements of consistency of effective quantum field theory. The most phenomenologically relevant part of the torsion tensor is dual to a massive axial vector field. This axial vector has geometric nature, that means it does not b… ▽ More We explore the potential of the CERN Large Hadron Collider (LHC) to test the dynamical torsion parameters. The form of the torsion action can be established from the requirements of consistency of effective quantum field theory. The most phenomenologically relevant part of the torsion tensor is dual to a massive axial vector field. This axial vector has geometric nature, that means it does not belong to any representation of the gauge group of the SM extension or GUT theory. At the same time, torsion should interact with all fermions, that opens the way for the phenomenological applications. We demonstrate that LHC collider can establish unique constraints on the interactions between fermions and torsion field considerably exceeding present experimental lower bounds on the torsion couplings and its mass. It is also shown how possible non-universal nature of torsion couplings due to the renormalization group running between the Planck and TeV energy scales can be tested via the combined analysis of Drell-Yan and $t\bar{t}$ production processes. △ Less

Submitted 30 December, 2006; originally announced January 2007.

Journal ref: Phys.Rev.D75:034014,2007

On signatures for the Littlest Higgs model in electron-positron colliders

Authors: F. M. L. de Almeida Jr., Y. A. Coutinho, J. A. Martins Simões, A. J. Ramalho, S. Wulck, M. A. B. do Vale

Abstract: There is a recent proposal of identifying the Higgs particle of the Standard Model as a pseudo Nambu-Goldstone boson. This new broken symmetry introduces new particles and new interactions. Among these new interactions a central role to get a new physics is played by the new neutral gauge boson. We have studied the new neutral currents in the Littlest Higgs model and compared with other extended… ▽ More There is a recent proposal of identifying the Higgs particle of the Standard Model as a pseudo Nambu-Goldstone boson. This new broken symmetry introduces new particles and new interactions. Among these new interactions a central role to get a new physics is played by the new neutral gauge boson. We have studied the new neutral currents in the Littlest Higgs model and compared with other extended models. For high energy $e^+ + e^-$ colliders we present a clear signature for new neutral gauge bosons that can indicate the theoretical origin of these particles. Previous analysis by other authors were done at collider energies equal to the new gauge boson mass $M_{A_H}$. In this paper we show that asymmetries in fermion anti-fermion production can display model differences in the case $M_{A_H} > \sqrt{s}$. For $M_{A_H} < \sqrt{s}$ we show that the hard photon energy distribution in $e^+ + e^- \lra γ+ f + \bar f$ can present a model dependence. New bounds for the new neutral gauge boson masses are also presented. △ Less

Submitted 27 July, 2006; v1 submitted 12 January, 2006; originally announced January 2006.

Comments: 12 figures, 9 pages

Transgression forms in dimension 4

Authors: Isabel M. C. Salavessa, Ana Pereira do Vale

Abstract: We compute explicit transgression forms for the Euler and Pontrjagin classes of a Riemannian manifold $M$ of dimension 4 under a conformal change of the metric, or a change to a Riemannian connection with torsion. These formulae describe the singular set of some connections with singularities on compact manifolds as a residue formula in terms of a polynomial of invariants. We give some applicati… ▽ More We compute explicit transgression forms for the Euler and Pontrjagin classes of a Riemannian manifold $M$ of dimension 4 under a conformal change of the metric, or a change to a Riemannian connection with torsion. These formulae describe the singular set of some connections with singularities on compact manifolds as a residue formula in terms of a polynomial of invariants. We give some applications for minimal submanifolds of Kaehler manifolds. We also express the difference of the first Chern class of two almost complex structures, and in particular an obstruction to the existence of a homotopy between them, by a residue formula along the set of anti-complex points. Finally, we take the first steps in the study of obstructions for two almost quaternionic-Hermitian structures on a manifold of dimension 8 to have homotopic fundamental forms or isomorphic twistor spaces. △ Less

Submitted 30 January, 2006; v1 submitted 19 December, 2004; originally announced December 2004.

Comments: v1: 22 pages, plain LaTeX; v2: 25 pages: adds substancial results to v1, namely obstructions for two almost complex structures to be homotopic, obtaining residue formulas along anti-complex points, and obstructions for two fundamental forms of almost quaternionic- Hermitian structures to be homotopic. To appear in Int. J. Geom. Methods in Mod. Phys., special volume dedicated to D. Alekseevsky

MSC Class: MSC 2000: Primary:53C42; 53C55; 53C25; 53C38; Secondary:57R20; 57R45

On a $Z^{\prime}$ signature at next high energy electron-positron colliders

Authors: F. M. L Almeida Jr, Y. A. Coutinho, J. A. Martins Simões, A. J. Ramalho, S. Wulck, M. A. B. do Vale

Abstract: The associated production of a $Z^{\prime}$ and a final hard photon in high energy electron-positron colliders is studied. It is shown that the hard photon spectrum contains useful information on the $Z^{\prime}$ properties. This remark suggests that, if a new neutral gauge boson exists for $M_{Z^{\prime}} < \sqrt{s}$, it will not be necessary to make a new energy run at the $Z^{\prime}$ mass in… ▽ More The associated production of a $Z^{\prime}$ and a final hard photon in high energy electron-positron colliders is studied. It is shown that the hard photon spectrum contains useful information on the $Z^{\prime}$ properties. This remark suggests that, if a new neutral gauge boson exists for $M_{Z^{\prime}} < \sqrt{s}$, it will not be necessary to make a new energy run at the $Z^{\prime}$ mass in order to get most of its properties. △ Less

Submitted 8 April, 2005; v1 submitted 28 December, 2004; originally announced December 2004.

Comments: 10 pages and 7 figures

Journal ref: Eur.Phys.J.C44:127-130,2005

Cayley submanifolds of Calabi-Yau 4-folds

Authors: Isabel M. C. Salavessa, Ana Pereira do Vale

Abstract: Our main results are: (1) The complex a Lagrangian points of a non-complex Lagrangian $2n$-dimensional submanifold $F:M\ra N$, immersed with parallel mean curvature and with equal Kaehler angles into a Kaehler-Einstein manifold $(N,J,g)$ of complex dimension $2n$, are zeros of finite order of $\sin^2θ$ and $\cos^2θ$ respectively, where $θ$ is the common $J$-Kaelher angle. (2) If $M$ is a Cayley… ▽ More Our main results are: (1) The complex a Lagrangian points of a non-complex Lagrangian $2n$-dimensional submanifold $F:M\ra N$, immersed with parallel mean curvature and with equal Kaehler angles into a Kaehler-Einstein manifold $(N,J,g)$ of complex dimension $2n$, are zeros of finite order of $\sin^2θ$ and $\cos^2θ$ respectively, where $θ$ is the common $J$-Kaelher angle. (2) If $M$ is a Cayley submanifold of a Calabi-Yau (CY) manifold $N$ of complex dimension 4, then $\bigwedge^2_+NM$ is naturally isomorphic to $\bigwedge^2_+TM$. (3) If $N$ is Ricci-flat (not necessarily CY) and $M$ is a Cayley submanifold, then $ p_1(\bigwedge^2_+NM)= p_1(\bigwedge^2_+TM)$ still holds, but $p_1(\bigwedge^2_-NM)- p_1(\bigwedge^2_-TM)$ may describe a residue on the $J$-complex points, in the sense of Harvey and Lawson. We describe this residue by a PDE on a natural morphism $Φ:TM \to NM$, $Φ(X)=(JX)^{\bot}$, with singularities at the complex points. We give an explicit formula of this residue in a particular case. When $(N,I,J,K,g)$ is an hyper-Kaehler manifold and $M$ is an $I$-complex closed 4-submanifold, the first Weyl curvature invariant of $M$ may be described as a residue on the $J$-Kaehler angle at the $J$_Lagrangian points by a Lelong-Poincaré type formula. We study the almost complex structure $\Jw$ on $M$ induced by $F$. △ Less

Submitted 30 January, 2006; v1 submitted 16 August, 2004; originally announced August 2004.

Comments: v1: Plain LaTeX, 60 pages. v2, 48 pages: This is a quite modified version of the first one. The residue formula in the first version was not complete, for we used a degenerated metric. We complete it now, using a different path, and some formulas in math.DG/0412389. We explicit the residue in a particular case and correct some minor errors. We dedicate this hard computation to Jim Eells

MSC Class: Primary: 53C42; 53C55; 53C25; 53C38; Secondary: 57R20; 57R45

New heavy charged leptons at future high energy electron-positron colliders

Authors: F. M. L. Almeida Jr, Y. A. Coutinho, J. A. Martins Simoes, S. Wulck, M. A. B. do Vale

Abstract: New heavy charged lepton production and decay signatures at future electron-positron colliders are investigated at $\sqrt {s}=500$ GeV. The consequences of model dependence for vector singlets and vector doublets are studied. Distributions are calculated including hadronization effects and experimental cuts that suppress the standard model background. The final state leptonic energy distribution… ▽ More New heavy charged lepton production and decay signatures at future electron-positron colliders are investigated at $\sqrt {s}=500$ GeV. The consequences of model dependence for vector singlets and vector doublets are studied. Distributions are calculated including hadronization effects and experimental cuts that suppress the standard model background. The final state leptonic energy distributions are shown to give a very clear signature for heavy charged leptons. △ Less

Submitted 28 May, 2003; originally announced May 2003.

Comments: 21 pages(text+figures), 12 figures email: [email protected]

Journal ref: Eur.Phys.J.C30:327-335,2003

Heavy Majorana neutrinos at a very large electron-proton collider

Authors: F. M. L. Almeida Jr., Y. A. Coutinho, J. A. Martins Simões, M. A. B. do Vale

Abstract: We study the discovery potential for detecting new neutral heavy Majorana leptons as suggested by some extentions of the Standard Model in recently proposed electron-proton colliders. Since 1998-1999 the option of an electron-proton collider for the Very Large Hadron Collider at Fermilab operating with the proton booster has been considered. We study the reaction… ▽ More We study the discovery potential for detecting new neutral heavy Majorana leptons as suggested by some extentions of the Standard Model in recently proposed electron-proton colliders. Since 1998-1999 the option of an electron-proton collider for the Very Large Hadron Collider at Fermilab operating with the proton booster has been considered. We study the reaction $e^{-}p \longrightarrow e^{+}+ jets$ and present estimates for the signal and Standard Model background including hadronization. △ Less

Submitted 21 May, 2002; v1 submitted 7 January, 2002; originally announced January 2002.

Comments: 3 pages and 5 figures To appear in Physical Review D

Dirac and Majorana heavy neutrinos at LEP II

Authors: F. M. L. Almeida Jr., Y. A. Coutinho, J. A. Martins Simões, M. A. B. do Vale, S. Wulck

Abstract: The possibility of detecting single heavy Dirac and Majorana neutrinos at LEP II is investigated for heavy neutrino masses in the range $M_N=(\sqrt s/2, \sqrt s)$. We study the process $e^+e^- \longrightarrow ν_{\ell} \ell q_i \bar q_j $ as a clear signature for heavy neutrinos. Numerical estimates for cross sections and distributions for the signal and the background are calculated and a Monte… ▽ More The possibility of detecting single heavy Dirac and Majorana neutrinos at LEP II is investigated for heavy neutrino masses in the range $M_N=(\sqrt s/2, \sqrt s)$. We study the process $e^+e^- \longrightarrow ν_{\ell} \ell q_i \bar q_j $ as a clear signature for heavy neutrinos. Numerical estimates for cross sections and distributions for the signal and the background are calculated and a Monte Carlo reconstruction of final state particles after hadronization is presented. △ Less

Submitted 19 September, 2001; v1 submitted 9 January, 2001; originally announced January 2001.

Comments: 4 pages, 8 figures

Journal ref: Eur.Phys.J.C22:277-281,2001

Single neutral heavy lepton production at electron-muon colliders

Authors: F. M. L. Almeida Jr., Y. A. Coutinho, J. A. Martins Simoes, M. A. B. do Vale

Abstract: New heavy Majorana and Dirac neutrinos production at future electron-muon colliders are investigated. The production of a single heavy neutrino is shown to be more relevant than pair production when comparing cross sections and neutrino mass ranges. The process $e^\pm μ^\mp \longrightarrow ν \ell^{\pm} W^{\mp}$ is studied including on-shell and off-shell heavy neutrino effects. Distributions are… ▽ More New heavy Majorana and Dirac neutrinos production at future electron-muon colliders are investigated. The production of a single heavy neutrino is shown to be more relevant than pair production when comparing cross sections and neutrino mass ranges. The process $e^\pm μ^\mp \longrightarrow ν \ell^{\pm} W^{\mp}$ is studied including on-shell and off-shell heavy neutrino effects. Distributions are calculated including hadronization effects and experimental cuts that suppress background, in order to have a clear signal for heavy neutral leptons. △ Less

Submitted 5 January, 2001; v1 submitted 22 August, 2000; originally announced August 2000.

Comments: 4 pages, 14 jpg figures, Published Phys.Lett B494 (2000) 273-279

Journal ref: Phys.Lett.B494:273-279,2000

Neutral heavy lepton production at next high energy $e^+e^-$ linear colliders

Authors: F. M. L. Almeida Jr., Y. A. Coutinho, J. A. Martins Simoes, M. A. B. do Vale

Abstract: The discovery potential for detecting new heavy Majorana and Dirac neutrinos at some recently proposed high energy $e^+e^-$ colliders is discussed. These new particles are suggested by grand unified theories and superstring-inspired models. For these models the production of a single heavy neutrino is shown to be more relevant than pair production when comparing cross sections and neutrino mass… ▽ More The discovery potential for detecting new heavy Majorana and Dirac neutrinos at some recently proposed high energy $e^+e^-$ colliders is discussed. These new particles are suggested by grand unified theories and superstring-inspired models. For these models the production of a single heavy neutrino is shown to be more relevant than pair production when comparing cross sections and neutrino mass ranges. The process $ e^+e^- \longrightarrow ν e^{\pm} W^{\mp}$ is calculated including on-shell and off-shell heavy neutrino effects. We present a detailed study of cross sections and distributions that shows a clear separation between the signal and standard model contributions, even after including hadronization effects. △ Less

Submitted 10 January, 2001; v1 submitted 18 August, 2000; originally announced August 2000.

Comments: 4 pages including 15 figures, 1 table. RevTex. Accepted in Physical Review D

Journal ref: Phys.Rev.D63:075005,2001

Signature for heavy Majorana neutrinos in hadronic collisions

Authors: F. M. L. Almeida, Jr., Y. A. Coutinho, J. A. Martins Simoes, M. A. B. do Vale

Abstract: The production and decay of new possible heavy Majorana neutrinos are analyzed in hadronic collisions. New bounds on the mixing of these particles with standard neutrinos are estimated according to a fundamental representation suggested by grand unified models. A clear signature for these Majorana neutrinos is given by same-sign dileptons plus a charged weak vector boson in the final state. We d… ▽ More The production and decay of new possible heavy Majorana neutrinos are analyzed in hadronic collisions. New bounds on the mixing of these particles with standard neutrinos are estimated according to a fundamental representation suggested by grand unified models. A clear signature for these Majorana neutrinos is given by same-sign dileptons plus a charged weak vector boson in the final state. We discuss the experimental possibilities for the future Large Hadron Collider (LHC) at CERN. △ Less

Submitted 11 August, 2000; v1 submitted 2 February, 2000; originally announced February 2000.

Comments: Latex2e(epsfig), 12 pages, 8 figures, to appear Physical Review D

Journal ref: Phys.Rev.D62:075004,2000

A proposal for a different chi-square function for Poisson distributions

Authors: F. M. L. Almeida Jr., M. Barbi, M. A. B. do Vale

Abstract: We obtain an approximate Gaussian distribution from a Poisson distribution after doing a change of variable. A new chi-square function is obtained which can be used for parameter estimations and goodness-of-fit testing when adjusting curves to histograms. Since the new distribution is approximately Gaussian we can use it even when the bin contents are small. The corresponding chi-square function… ▽ More We obtain an approximate Gaussian distribution from a Poisson distribution after doing a change of variable. A new chi-square function is obtained which can be used for parameter estimations and goodness-of-fit testing when adjusting curves to histograms. Since the new distribution is approximately Gaussian we can use it even when the bin contents are small. The corresponding chi-square function can be used for curve fitting. This chi-square function is simple to implement and presents a fast convergence of the parameters to the correct value, especially for the parameters associated with the width of the fitted curve. We present a Monte Carlo comparative study of the fitting method introduced here and two other methods for three types of curves: Gaussian, Breit-Wigner and Moyal, when each bin content obeys a Poisson distribution. It is also shown that the new method and the other two converge to the same result when the number of events increases △ Less

Submitted 2 December, 1999; v1 submitted 29 November, 1999; originally announced November 1999.

Comments: 27 pages, 13 figures

Journal ref: Nucl.Instrum.Meth. A449 (2000) 383-395