Searcharxiv⌕ Search

arXiv subjects

A. Gil

Publications and source records attributed to A. Gil.

69 records · Page 4Linked to original sources

Logics preserving degrees of truth from varieties of residuated lattices

Let K be a variety of (commutative, integral) residuated lattices. The substructural logic usually associated with K is an algebraizable logic that has K as its equivalent algebraic semantics, and is a logic that preserves truth, i.e., 1 is the only truth value preserved by the inferences of the logic. In this paper we introduce another logic associated with K, namely the logic that preserves degrees of truth, in the sense that it preserves lower bounds of truth values in inferences. We study this second logic mainly from the point of view of abstract algebraic logic. We determine its algebraic models and we classify it in the Leibniz and the Frege hierarchies: we show that it is always fully selfextensional, that for most varieties K it is non-protoalgebraic, and that it is algebraizable if and only K is a variety of generalized Heyting algebras, in which case it coincides with the logic that preserves truth. We also characterize the new logic in three ways: by a Hilbert style axiomatic system, by a Gentzen style sequent calculus, and by a set of conditions on its closure operator. Concerning the relation between the two logics, we prove that the truth preserving logic is the purely inferential extension of the one that preserves degrees of truth with either the rule of Modus Ponens or the rule of Adjunction for the fusion connective.

math.LO↗

NEXT, a HPGXe TPC for neutrinoless double beta decay searches

We propose a novel detection concept for neutrinoless double-beta decay searches. This concept is based on a Time Projection Chamber (TPC) filled with high-pressure gaseous xenon, and with separated-function capabilities for calorimetry and tracking. Thanks to its excellent energy resolution, together with its powerful background rejection provided by the distinct double-beta decay topological signature, the design discussed in this Letter Of Intent promises to be competitive and possibly out-perform existing proposals for next-generation neutrinoless double-beta decay experiments. We discuss the detection principles, design specifications, physics potential and R&D plans to construct a detector with 100 kg fiducial mass in the double-beta decay emitting isotope Xe(136), to be installed in the Canfranc Underground Laboratory.

hep-ex↗

Deep sub-threshold $Ξ^-$ production in Ar+KCl reactions at 1.76A GeV

We report first results on a deep sub-threshold production of the doubly strange hyperon $Ξ^-$ in a heavy-ion reaction. At a beam energy of 1.76A GeV the reaction Ar+KCl was studied with the High Acceptance Di-Electron Spectrometer (HADES) at SIS18/GSI. A high-statistics and high-purity $Λ$ sample was collected, allowing for the investigation of the decay channel $Ξ^- \to Λπ^-$. The deduced $Ξ^-/(Λ+Σ^0)$ production ratio of $(5.6 \pm 1.2 ^{+1.8}_{-1.7})\cdot 10^{-3}$ is significantly larger than available model predictions.

nucl-ex↗

Future perspectives at SIS-100 with HADES-at-FAIR

Currently, the HADES spectrometer undergoes un upgrade program to be prepared for measurements at the upcoming SIS-100 synchrotron at FAIR. We describe the current status of the HADES di-electron measurements at the SIS-18 and our future plans for SIS-100.

nucl-ex↗

Charged pion production in C+C and Ar+KCl collisions measured with HADES

Results of a study of charged pion production in 12C+12C collisions at incident beam energies of 1A GeV and 2A GeV, and 40Ar+natKCl at 1.76AGeV, using the spectrometer HADES at GSI, are presented. We have performed a measurement of the transverse momentum distributions of pi+- mesons covering a fairly large rapidity interval, in case of the C+C collision system for the first time. The yields, transverse mass and angular distributions are compared with a transport model as well as with existing data from other experiments.

nucl-ex↗

Measurement of charged pions in 12C + 12C collisions at 1A GeV and 2A GeV with HADES

We present the results of a study of charged pion production in 12C + 12C collisions at incident beam energies of 1A GeV and 2A GeV using the HADES spectrometer at GSI. The main emphasis of the HADES program is on the dielectron signal from the early phase of the collision. Here, however, we discuss the data with respect to the emission of charged hadrons, specifically the production of pi+- mesons, which are related to neutral pions representing a dominant contribution to the dielectron yield. We have performed the first large-angular range measurement of the distribution of pi+- mesons for the 12C + 12C collision system covering a fairly large rapidity interval. The pion yields, transverse-mass and angular distributions are compared with calculations done within a transport model, as well as with existing data from other experiments. The anisotropy of pion production is systematically analyzed.

nucl-ex↗

Performances of multi-gap timing RPCs for relativistic ions in the range Z=1-6

We present the performance of Multi-gap timing RPCs under irradiation by fully stripped relativistic ions (gamma*beta=2.7, Z=1-6). A time resolution of 80 ps at high efficiency has been obtained by just using standard `off the shelf' 4-gap timing RPCs from the new HADES ToF wall. The resolution worsened to 100 ps for ~ 1 kHz/cm2 proton flux and for ~ 100 Hz/cm2 Carbon flux. The chambers were operated at a standard field of E=100 kV/cm and showed a high stability during the experiment, supporting the fact that RPCs are a convenient choice when accommodating a very broad range of ionizing particles is needed. The data provides insight in the region of very highly ionizing particles (up to x 36 mips) and can be used to constrain the existing avalanche and Space-Charge models far from the usual `mip valley'. The implications of these results for the general case of detection based on secondary processes (n, gamma) resulting in highly ionizing particles with characteristic energy distributions will be discussed, together with the nature of the time-charge correlation curve.

nucl-ex↗

The High-Acceptance Dielectron Spectrometer HADES

HADES is a versatile magnetic spectrometer aimed at studying dielectron production in pion, proton and heavy-ion induced collisions. Its main features include a ring imaging gas Cherenkov detector for electron-hadron discrimination, a tracking system consisting of a set of 6 superconducting coils producing a toroidal field and drift chambers and a multiplicity and electron trigger array for additional electron-hadron discrimination and event characterization. A two-stage trigger system enhances events containing electrons. The physics program is focused on the investigation of hadron properties in nuclei and in the hot and dense hadronic matter. The detector system is characterized by an 85% azimuthal coverage over a polar angle interval from 18 to 85 degree, a single electron efficiency of 50% and a vector meson mass resolution of 2.5%. Identification of pions, kaons and protons is achieved combining time-of-flight and energy loss measurements over a large momentum range. This paper describes the main features and the performance of the detector system.

nucl-ex↗

Study of dielectron production in C+C collisions at 1 AGeV

The emission of e+e- pairs from C+C collisions at an incident energy of 1 GeV per nucleon has been investigated. The measured production probabilities, spanning from the pi0-Dalitz to the rho/omega! invariant-mass region, display a strong excess above the cocktail of standard hadronic sources. The bombarding-energy dependence of this excess is found to scale like pion production, rather than like eta production. The data are in good agreement with results obtained in the former DLS experiment.

nucl-ex↗

Many Body approach to the inclusive $(e,e')$ reaction from the quasielastic to the $Δ$ excitation region

We have performed a many body calculation of the inclusive (e,e') cross section which runs over the three traditional regions at intermediate energies: the quasielastic peak, the dip region and the delta region. The longitudinal and transverse response functions in the quasielastic peak have also been evaluated. Traditional effects like polarization, meson exchange currents, final state interaction and delta renormalization in the nuclear medium have been included. Meson exchange currents are generated from a model of pion electroproduction on the nucleon which reproduces accurately the experimental data. The inclusive cross section accounts for 1N,2N,3N mechanisms of virtual photon absorption and one pion production. Meson exchange currents associated to the (γ^*,2π) reaction are also accounted for. We obtain good results for the (e,e') cross sections in the whole energy range and for different nuclei. The response functions are also in good agreement with the latest experimental analysis. On the other hand, the method provides the separation of the contribution to the inclusive cross section from different physical channels which is a necessary input to evaluate cross sections like (e,e' N), (e,e' NN), (e,e' π) etc.

nucl-th↗

Inclusive $(e,e^\prime N)$, $(e,e^\prime NN)$, $(e,e^\prime π)$ ... reactions in nuclei

We study the inclusive $(e,e^\prime N)$, $(e,e^\prime NN)$, $(e,e^\prime π)$, $(e,e^\prime πN)$ reactions in nuclei using a Monte Carlo simulation method to treat the multichannel problem of the final state. The input consists of reaction probabilities for the different steps evaluated using microscopical many body methods. We obtain a good agreement with experiment in some channels where there is data and make predictions for other channels which are presently under investigation in several electron laboratories. The comparison of the theoretical results with experiment for several kinematical conditions and diverse channels can serve to learn about different physical processes ocurring in the reaction. The potential of this theoretical tool to make prospections for possible experiments, aiming at pinning down certain reaction probabilities, is also emphasized.

nucl-th↗

Virtual versus Real Nuclear Compton Scattering in the Delta(1232) Region

In this paper we calculate the cross section for Virtual Compton Scattering off nuclei in the delta resonance region. We also calculate the background for the process from Coherent Bremsstrahlung in nuclei and explore the regions where the Virtual Compton Scattering cross section dominates. The study also shows that it is possible to extract the cross section for Real Compton Scattering from the Virtual Compton one in a wide range of scattering angles.

nucl-th↗

A theoretical approach to the (pion^{-}, gamma gamma) reaction in nuclei

We have studied the pion^{-} capture in nuclei leading to two photons, using improved many body methods which have been tested with success in one photon pion^{-} radiative capture, muon^{-} capture and neutrino scattering. The qualitative features of the experimental data are reproduced but there are still some disagreement at small relative photon angles. The reaction is a potential source of information on details of the gamma-gamma-pion-pion vertex where chiral corrections can be relevant. New and more precise experiments are planned which make calculations like the present one relevant and opportune. ---------------------------------------------------------

nucl-th↗

The Axial Charge Renormalization in a Relativistic Description of Finite Nuclei

Starting from a realistic One-Boson-Exchange model of the nucleon nucleon interaction the relativistic mean field for nucleons is determined within the Dirac Brueckner Hartree Fock approach for finite nuclei. The matrix elements of the axial charge operator evaluated for the solutions of the Dirac equation with this selfenergy are investigated. These matrix elements are enhanced with respect to the equivalent non relativistic ones obtained from the solutions of the Schrödinger equation with the non relativistic equivalent potential. The present results confirm at a qualitative level the results for the axial charge renormalization obtained with perturbative approaches. However, the results obtained differ in size from those of the perturbative approach and are nucleus and state dependent.

nucl-th↗