Field-enlarging transformations and chiral theories

A field-enlarging transformation in the chiral electrodynamics is performed. This introduces an additional gauge symmetry to the model that is unitary and anomaly-free and allows for comparison of different models discussed in the literature. The problem of superfluous degrees of freedom and their influence on quantization is discussed. Several "mysteries" are explained from this point of view.Comment: 14 pages, LaTeX-file, BI-TP 93/0

Spin Flavor Conversion of Neutrinos in Loop Quantum Gravity

Loop quantum gravity theory incorporates a new scale length ${\cal L}$ which induces a Lorentz invariance breakdown. This scale can be either an universal constant or can be fixed by the momentum of particles (${\cal L}\sim p^{-1}$). Effects of the scale parameter ${\cal L}$ and helicity terms occurring in the dispersion relation of fermions are reviewed in the framework of spin-flip conversion of neutrino flavors.Comment: 7 pages, no figur

BV formulation of higher form gauge theories in a superspace

We discuss the extended BRST and anti-BRST symmetry (including shift symmetry) in the Batalin-Vilkovisky (BV) formulation for two and three form gauge theories. Further we develop the superspace formulation for the BV actions for these theories. We show that the extended BRST invariant BV action for these theories can be written manifestly covariant manner in a superspace with one Grassmann coordinate. On the hand a superspace with two Grassmann coordinates are required for a manifestly covariant formulation of the extended BRST and extended anti-BRST invariant BV actions for higher form gauge theories.Comment: 30 pages, No figure, version to appear in EPJ

A note about the t`Hooft`s ansatz for SU(N) real time guage theories

The t`Hooft's ansatz reduces the classical Yang--Mills theory to the $\lambda\phi^4$ one. It is shown that in the frame of this ansatz the real-time classical solutions for the arbitrary SU(N) gauge group is obtained by embedding $SU(2)\times SU(2)$ into SU(N). It is argued that this group structure is the only possibility in the frame of the considered ansatz. New explicit solutions for SU(3) and SU(5) gauge groups are shown

Lazy Abstraction-Based Controller Synthesis

We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-layered ABCS pre-computes multiple finite-state abstractions of varying granularity and applies reactive synthesis to the coarsest abstraction whenever feasible, but adaptively considers finer abstractions when necessary. Lazy ABCS improves this technique by constructing abstractions on demand. Our insight is that the abstract transition relation only needs to be locally computed for a small set of frontier states at the precision currently required by the synthesis algorithm. We show that lazy ABCS can significantly outperform previous multi-layered ABCS algorithms: on standard benchmarks, lazy ABCS is more than 4 times faster

Scattering from Singular Potentials in Quantum Mechanics

In non-relativistic quantum mechanics, singular potentials in problems with spherical symmetry lead to a Schrodinger equation for stationary states with non-Fuchsian singularities both as r tends to zero and as r tends to infinity. In the sixties, an analytic approach was developed for the investigation of scattering from such potentials, with emphasis on the polydromy of the wave function in the r variable. The present paper extends those early results to an arbitrary number of spatial dimensions. The Hill-type equation which leads, in principle, to the evaluation of the polydromy parameter, is obtained from the Hill equation for a two-dimensional problem by means of a simple change of variables. The asymptotic forms of the wave function as r tends to zero and as r tends to infinity are also derived. The Darboux technique of intertwining operators is then applied to obtain an algorithm that makes it possible to solve the Schrodinger equation with a singular potential containing many negative powers of r, if the exact solution with even just one term is already known.Comment: 19 pages, plain Tex. In this revised version, the analysis of Eq. (5.29) has been amended, and an appendix has been added for completenes

The Gaia-ESO Survey: membership and Initial Mass Function of the Gamma Velorum cluster

Understanding the properties of young open clusters, such as the Initial Mass Function (IMF), star formation history and dynamic evolution, is crucial to obtain reliable theoretical predictions of the mechanisms involved in the star formation process. We want to obtain a list, as complete as possible, of confirmed members of the young open cluster Gamma Velorum, with the aim of deriving general cluster properties such as the IMF. We used all available spectroscopic membership indicators within the Gaia-ESO public archive together with literature photometry and X-ray data and, for each method, we derived the most complete list of candidate cluster members. Then, we considered photometry, gravity and radial velocities as necessary conditions to select a subsample of candidates whose membership was confirmed by using the lithium and H$\alpha$ lines and X-rays as youth indicators. We found 242 confirmed and 4 possible cluster members for which we derived masses using very recent stellar evolutionary models. The cluster IMF in the mass range investigated in this study shows a slope of $\alpha=2.6\pm0.5$ for $0.5<M/M_\odot <1.3$ and $\alpha=1.1\pm0.4$ for $0.16<M/M_\odot <0.5$ and is consistent with a standard IMF. The similarity of the IMF of the young population around $\gamma^2$Vel to that in other star forming regions and the field suggests it may have formed through very similar processes.Comment: Accepted for publication in A&A; 18 pages, 11 figures, 5 table

Compositionality for Quantitative Specifications

We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations

Asymptotics and zeros of Sobolev orthogonal polynomials on unbounded supports

In this paper we present a survey about analytic properties of polynomials orthogonal with respect to a weighted Sobolev inner product such that the vector of measures has an unbounded support. In particular, we are focused in the study of the asymptotic behaviour of such polynomials as well as in the distribution of their zeros. Some open problems as well as some new directions for a future research are formulated.Comment: Changed content; 34 pages, 41 reference

Nitrogen and Phosphorus Losses in Runoff on Beef Production Systems

In West Europe countries between 37 and 82% of the nitrogen (N) and between 27 and 38% of the phosphorus (P) reaching water sources come from agriculture and a strong correlation between the number of animals per area unit and N and P contribution to waters has been shown (Issermann, 1990). There are few data about the environmental impact of beef production systems in Southern Chile. The objective of this experiment was to quantify N and P losses in runoff (surface and subsurface) with two different stocking rates in Southern Chile