-
Stellar s-process neutron capture cross section of Ce isotopes
Authors:
R. N. Sahoo,
M. Paul,
Y. Kashiv,
M. Tessler,
M. Friedman,
S. Halfon,
A. Kreisel,
A. Shor,
L. Weissman
Abstract:
Stellar abundances of cerium are of high current interest based both on observations and theoretical models, especially with regard to the neutron--magic $^{140}$Ce isotope. A large discrepancy of $s-$process stellar models relative to cerium abundance observed in globular clusters was highlighted, pointing to possible uncertainties in experimental nuclear reaction rates. In this work, the stellar…
▽ More
Stellar abundances of cerium are of high current interest based both on observations and theoretical models, especially with regard to the neutron--magic $^{140}$Ce isotope. A large discrepancy of $s-$process stellar models relative to cerium abundance observed in globular clusters was highlighted, pointing to possible uncertainties in experimental nuclear reaction rates. In this work, the stellar neutron capture cross section of the stable cerium isotopes $^{136}$Ce, $^{138}$Ce, $^{140}$Ce, and $^{142}$Ce, were re-measured. A $^{nat}$Ce sample was irradiated with quasi-Maxwellian neutrons at $kT = 34.2$ keV using the $^{7}$Li($p,n$) reaction. The neutron field with an intensity of $3-5 \times 10^{10}$ n/s was produced by irradiating the liquid-lithium target (LiLiT) with a mA proton beam at an energy (1.92 MeV) just above the threshold at Soreq Applied Research Accelerator Facility (SARAF). The activities of the $^{nat}$Ce neutron capture products were measured using a shielded High Purity Germanium detector. Cross sections were extracted relative to that of the $^{197}$Au(n,$γ$) reaction and the Maxwellian-averaged cross section (MACS) of the Ce isotopes were derived. The MACS values extracted from this experiment are generally consistent with previous measurements and show for $^{140}$Ce a value $\approx 15$\% smaller than most recent experimental values.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Measuring well quasi-ordered finitary powersets
Authors:
Sergio Abriola,
Simon Halfon,
Aliaume Lopez,
Sylvain Schmitz,
Philippe Schnoebelen,
Isa Vialard
Abstract:
The complexity of a well-quasi-order (wqo) can be measured through three ordinal invariants: the width as a measure of antichains, height as a measure of chains, and maximal order type as a measure of bad sequences.
We study these ordinal invariants for the finitary powerset, i.e., the collection Pf(A) of finite subsets of a wqo A ordered with the Hoare embedding relation. We show that the invar…
▽ More
The complexity of a well-quasi-order (wqo) can be measured through three ordinal invariants: the width as a measure of antichains, height as a measure of chains, and maximal order type as a measure of bad sequences.
We study these ordinal invariants for the finitary powerset, i.e., the collection Pf(A) of finite subsets of a wqo A ordered with the Hoare embedding relation. We show that the invariants of Pf(A) cannot be expressed as a function of the invariants of A, and provide tight upper and lower bounds for them.
We then focus on a family of well-behaved wqos, for which these invariants can be computed compositionally, using a newly defined ordinal invariant called the approximate maximal order type. This family is built from multiplicatively indecomposable ordinals, using classical operations such as disjoint unions, products, finite words, finite multisets, and the finitary powerset construction.
△ Less
Submitted 17 July, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
Stellar $s$-process neutron capture cross sections of $^{69,71}$Ga
Authors:
M. Tessler,
M. Paul,
S. Halfon,
Y. Kashiv,
D. Kijel,
A. Kreisel,
A. Shor,
L. Weissman
Abstract:
The stable gallium isotopes, $^{69,71}$Ga, are mostly produced by the weak slow ($s$) process in massive stars. We report here on measurements of astrophysically-relevant neutron capture cross sections of the $^{69,71}$Ga$(n,γ)$ reactions. The experiments were performed by the activation technique using a high-intensity ($3-5\times10^{10}$ n/s), quasi-Maxwellian neutron beam that closely mimics co…
▽ More
The stable gallium isotopes, $^{69,71}$Ga, are mostly produced by the weak slow ($s$) process in massive stars. We report here on measurements of astrophysically-relevant neutron capture cross sections of the $^{69,71}$Ga$(n,γ)$ reactions. The experiments were performed by the activation technique using a high-intensity ($3-5\times10^{10}$ n/s), quasi-Maxwellian neutron beam that closely mimics conditions of stellar $s$-process nucleosynthesis at $kT \approx$ 40 keV. The neutron field was produced by a mA proton beam at $E_p=1925$ keV (beam power of 2-3 kW) from the Soreq Applied Research Accelerator Facility (SARAF), bombarding the Liquid-Lithium Target (LiLiT). A 473 mg sample of Ga$_2$O$_3$ of natural isotopic composition was activated in the LiLiT neutron field and the activities of $^{70,72}$Ga were measured by decay counting via $γ$-spectrometry with a high-purity germanium detector. The Maxwellian-averaged cross sections at $kT$ = 30 keV of $^{69}$Ga and $^{71}$Ga determined in this work are 136(8) mb and 105(7) mb, respectively, in good agreement with previous experimental values. Astrophysical implications of the measurements are discussed.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology
Authors:
Jean Goubault-Larrecq,
Simon Halfon,
Aliaume Lopez
Abstract:
We show that the spaces of transfinite words, namely ordinal-indexed words, over a Noetherian space, is also Noetherian, under a natural topology which we call the regular subword topology. We characterize its sobrification and its specialization ordering, and we give an upper bound on its dimension and on its stature.
We show that the spaces of transfinite words, namely ordinal-indexed words, over a Noetherian space, is also Noetherian, under a natural topology which we call the regular subword topology. We characterize its sobrification and its specialization ordering, and we give an upper bound on its dimension and on its stature.
△ Less
Submitted 23 March, 2023; v1 submitted 10 February, 2022;
originally announced February 2022.
-
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering
Authors:
Jean Goubault-Larrecq,
Simon Halfon,
Prateek Karandikar,
K. Narayan Kumar,
Philippe Schnoebelen
Abstract:
Elegant and general algorithms for handling upwards-closed and downwards-closed subsets of WQOs can be developed using the filter-based and ideal-based representation for these sets. These algorithms can be built in a generic or parameterized way, in parallel with the way complex WQOs are obtained by combining or modifying simpler WQOs.
Elegant and general algorithms for handling upwards-closed and downwards-closed subsets of WQOs can be developed using the filter-based and ideal-based representation for these sets. These algorithms can be built in a generic or parameterized way, in parallel with the way complex WQOs are obtained by combining or modifying simpler WQOs.
△ Less
Submitted 24 April, 2019;
originally announced April 2019.
-
On shuffle products, acyclic automata and piecewise-testable languages
Authors:
Simon Halfon,
Philippe Schnoebelen
Abstract:
We show that the shuffle $L \unicode{x29E2} F$ of a piecewise-testable language $L$ and a finite language $F$ is piecewise-testable. The proof relies on a classic but little-used automata-theoretic characterization of piecewise-testable languages. We also discuss some mild generalizations of the main result, and provide bounds on the piecewise complexity of $L \unicode{x29E2} F$.
We show that the shuffle $L \unicode{x29E2} F$ of a piecewise-testable language $L$ and a finite language $F$ is piecewise-testable. The proof relies on a classic but little-used automata-theoretic characterization of piecewise-testable languages. We also discuss some mild generalizations of the main result, and provide bounds on the piecewise complexity of $L \unicode{x29E2} F$.
△ Less
Submitted 1 February, 2019; v1 submitted 6 October, 2018;
originally announced October 2018.
-
Stellar $^{36,38}$Ar$(n,γ)^{37,39}$Ar reactions and their effect on light neutron-rich nuclide synthesis
Authors:
M. Tessler,
M. Paul,
S. Halfon,
B. S. Meyer,
R. Pardo,
R. Purtschert,
K. E. Rehm,
R. Scott,
M. Weigand,
L. Weissman,
S. Almaraz-Calderon,
M. L. Avila,
D. Baggenstos,
P. Collon,
N. Hazenshprung,
Y. Kashiv,
D. Kijel,
A. Kreisel,
R. Reifarth,
D. Santiago-Gonzalez,
A. Shor,
I. Silverman,
R. Talwar,
D. Veltum,
R. Vondrasek
Abstract:
The $^{36}$Ar$(n,γ)^{37}$Ar ($t_{1/2}$ = 35 d) and $^{38}$Ar$(n,γ)^{39}$Ar (269 y) reactions were studied for the first time with a quasi-Maxwellian ($kT \sim 47$ keV) neutron flux for Maxwellian Average Cross Section (MACS) measurements at stellar energies. Gas samples were irradiated at the high-intensity Soreq applied research accelerator facility-liquid-lithium target neutron source and the…
▽ More
The $^{36}$Ar$(n,γ)^{37}$Ar ($t_{1/2}$ = 35 d) and $^{38}$Ar$(n,γ)^{39}$Ar (269 y) reactions were studied for the first time with a quasi-Maxwellian ($kT \sim 47$ keV) neutron flux for Maxwellian Average Cross Section (MACS) measurements at stellar energies. Gas samples were irradiated at the high-intensity Soreq applied research accelerator facility-liquid-lithium target neutron source and the $^{37}$Ar/$^{36}$Ar and $^{39}$Ar/$^{38}$Ar ratios in the activated samples were determined by accelerator mass spectrometry at the ATLAS facility (Argonne National Laboratory). The $^{37}$Ar activity was also measured by low-level counting at the University of Bern. Experimental MACS of $^{36}$Ar and $^{38}$Ar, corrected to the standard 30 keV thermal energy, are 1.9(3) mb and 1.3(2) mb, respectively, differing from the theoretical and evaluated values published to date by up to an order of magnitude. The neutron capture cross sections of $^{36,38}$Ar are relevant to the stellar nucleosynthesis of light neutron-rich nuclides; the two experimental values are shown to affect the calculated mass fraction of nuclides in the region A=36-48 during the weak $s$-process. The new production cross sections have implications also for the use of $^{37}$Ar and $^{39}$Ar as environmental tracers in the atmosphere and hydrosphere.
△ Less
Submitted 26 August, 2018;
originally announced August 2018.
-
The Soreq Applied Research Accelerator Facility (SARAF) - Overview, Research Programs and Future Plans
Authors:
Israel Mardor,
Ofer Aviv,
Marilena Avrigeanu,
Dan Berkovits,
Adi Dahan,
Timo Dickel,
Ilan Eliyahu,
Moshe Gai,
Inbal Gavish-Segev,
Shlomi Halfon,
Michael Hass,
Tsviki Hirsh,
Boaz Kaiser,
Daniel Kijel,
Arik Kreisel,
Yonatan Mishnayot,
Ish Mukul,
Ben Ohayon,
Michael Paul,
Amichay Perry,
Hitesh Rahangdale,
Jacob Rodnizki,
Guy Ron,
Revital Sasson-Zukran,
Asher Shor
, et al. (4 additional authors not shown)
Abstract:
The Soreq Applied Research Accelerator Facility (SARAF) is under construction in the Soreq Nuclear Research Center at Yavne, Israel. When completed at the beginning of the next decade, SARAF will be a user facility for basic and applied nuclear physics, based on a 40 MeV, 5 mA CW proton/deuteron superconducting linear accelerator. Phase I of SARAF (SARAF-I, 4 MeV, 2 mA CW protons, 5 MeV 1 mA CW de…
▽ More
The Soreq Applied Research Accelerator Facility (SARAF) is under construction in the Soreq Nuclear Research Center at Yavne, Israel. When completed at the beginning of the next decade, SARAF will be a user facility for basic and applied nuclear physics, based on a 40 MeV, 5 mA CW proton/deuteron superconducting linear accelerator. Phase I of SARAF (SARAF-I, 4 MeV, 2 mA CW protons, 5 MeV 1 mA CW deuterons) is already in operation, generating scientific results in several fields of interest. The main ongoing program at SARAF-I is the production of 30 keV neutrons and measurement of Maxwellian Averaged Cross Sections (MACS), important for the astrophysical s-process. The world leading Maxwellian epithermal neutron yield at SARAF-I ($5\times 10^{10}$ epithermal neutrons/sec), generated by a novel Liquid-Lithium Target (LiLiT), enables improved precision of known MACSs, and new measurements of low-abundance and radioactive isotopes. Research plans for SARAF-II span several disciplines: Precision studies of beyond-Standard-Model effects by trapping light exotic radioisotopes, such as $^6$He, $^8$Li and $^{18,19,23}$Ne, in unprecedented amounts (including meaningful studies already at SARAF-I); extended nuclear astrophysics research with higher energy neutrons, including generation and studies of exotic neutron-rich isotopes relevant to the rapid (r-) process; nuclear structure of exotic isotopes; high energy neutron cross sections for basic nuclear physics and material science research, including neutron induced radiation damage; neutron based imaging and therapy; and novel radiopharmaceuticals development and production. In this paper we present a technical overview of SARAF-I and II, including a description of the accelerator and its irradiation targets; a survey of existing research programs at SARAF-I; and the research potential at the completed facility (SARAF-II).
△ Less
Submitted 23 January, 2018; v1 submitted 19 January, 2018;
originally announced January 2018.
-
Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering
Authors:
Simon Halfon,
Philippe Schnoebelen,
Georg Zetzsche
Abstract:
We consider first-order logic over the subword ordering on finite words, where each word is available as a constant. Our first result is that the $Σ_1$ theory is undecidable (already over two letters).
We investigate the decidability border by considering fragments where all but a certain number of variables are alternation bounded, meaning that the variable must always be quantified over langua…
▽ More
We consider first-order logic over the subword ordering on finite words, where each word is available as a constant. Our first result is that the $Σ_1$ theory is undecidable (already over two letters).
We investigate the decidability border by considering fragments where all but a certain number of variables are alternation bounded, meaning that the variable must always be quantified over languages with a bounded number of letter alternations. We prove that when at most two variables are not alternation bounded, the $Σ_1$ fragment is decidable, and that it becomes undecidable when three variables are not alternation bounded. Regarding higher quantifier alternation depths, we prove that the $Σ_2$ fragment is undecidable already for one variable without alternation bound and that when all variables are alternation bounded, the entire first-order theory is decidable.
△ Less
Submitted 24 September, 2021; v1 submitted 25 January, 2017;
originally announced January 2017.
-
Context-Free Commutative Grammars with Integer Counters and Resets
Authors:
Dmitry Chistikov,
Christoph Haase,
Simon Halfon
Abstract:
We study the computational complexity of reachability, coverability and inclusion for extensions of context-free commutative grammars with integer counters and reset operations on them. Those grammars can alternatively be viewed as an extension of communication-free Petri nets. Our main results are that reachability and coverability are inter-reducible and both NP-complete. In particular, this cla…
▽ More
We study the computational complexity of reachability, coverability and inclusion for extensions of context-free commutative grammars with integer counters and reset operations on them. Those grammars can alternatively be viewed as an extension of communication-free Petri nets. Our main results are that reachability and coverability are inter-reducible and both NP-complete. In particular, this class of commutative grammars enjoys semi-linear reachability sets. We also show that the inclusion problem is, in general, coNEXP-complete and already $Π_2^\text{P}$-complete for grammars with only one non-terminal symbol. Showing the lower bound for the latter result requires us to develop a novel $Π_2^\text{P}$-complete variant of the classic subset sum problem.
△ Less
Submitted 24 June, 2016; v1 submitted 16 November, 2015;
originally announced November 2015.
-
Stellar 30-keV neutron capture in 94,96Zr and the 90Zr(gamma,n)89Zr photonuclear reaction with a high-power liquid-lithium target
Authors:
M. Tessler,
M. Paul,
A. Arenshtam,
G. Feinberg,
M. Friedman,
S. Halfon,
D. Kijel,
L. Weissman,
O. Aviv,
D. Berkovits,
Y. Eisen,
I. Eliyahu,
G. Haquin,
A. Kreisel,
I. Mardor,
G. Shimel,
A. Shor,
I. Silverman,
Z. Yungrais
Abstract:
A high-power Liquid-Lithium Target (LiLiT) was used for the first time for neutron production via the thick-target 7Li(p,n)7Be reaction and quantitative determination of neutron capture cross sections. Bombarded with a 1-2 mA proton beam at 1.92 MeV from the Soreq Applied Research Accelerator Facility (SARAF), the setup yields a 30-keV quasi-Maxwellian neutron spectrum with an intensity of 3-5e10…
▽ More
A high-power Liquid-Lithium Target (LiLiT) was used for the first time for neutron production via the thick-target 7Li(p,n)7Be reaction and quantitative determination of neutron capture cross sections. Bombarded with a 1-2 mA proton beam at 1.92 MeV from the Soreq Applied Research Accelerator Facility (SARAF), the setup yields a 30-keV quasi-Maxwellian neutron spectrum with an intensity of 3-5e10 n/s, more than one order of magnitude larger than present near-threshold 7Li(p,n) neutron sources. The setup was used here to determine the 30-keV Maxwellian averaged cross section (MACS) of 94Zr and 96Zr as 28.0+-0.6 mb and 12.4+-0.5 mb respectively, based on activation measurements. The precision of the cross section determinations results both from the high neutron yield and from detailed simulations of the entire experimental setup. We plan to extend our experimental studies to low-abundance and radioactive targets. In addition, we show here that the setup yields intense high-energy (17.6 and 14.6 MeV) prompt capture gamma-rays from the 7Li(p,gamma)8Be reaction with yields of ~3e8 gammas/s/mA and ~4e8 gammas/s/mA, respectively, evidenced by the 90Zr(gamma,n)89Zr photonuclear reaction.
△ Less
Submitted 15 November, 2015;
originally announced November 2015.
-
Integer Vector Addition Systems with States
Authors:
Christoph Haase,
Simon Halfon
Abstract:
This paper studies reachability, coverability and inclusion problems for Integer Vector Addition Systems with States (ZVASS) and extensions and restrictions thereof. A ZVASS comprises a finite-state controller with a finite number of counters ranging over the integers. Although it is folklore that reachability in ZVASS is NP-complete, it turns out that despite their naturalness, from a complexity…
▽ More
This paper studies reachability, coverability and inclusion problems for Integer Vector Addition Systems with States (ZVASS) and extensions and restrictions thereof. A ZVASS comprises a finite-state controller with a finite number of counters ranging over the integers. Although it is folklore that reachability in ZVASS is NP-complete, it turns out that despite their naturalness, from a complexity point of view this class has received little attention in the literature. We fill this gap by providing an in-depth analysis of the computational complexity of the aforementioned decision problems. Most interestingly, it turns out that while the addition of reset operations to ordinary VASS leads to undecidability and Ackermann-hardness of reachability and coverability, respectively, they can be added to ZVASS while retaining NP-completness of both coverability and reachability.
△ Less
Submitted 28 July, 2014; v1 submitted 10 June, 2014;
originally announced June 2014.
-
High-power liquid-lithium jet target for neutron production
Authors:
S. Halfon,
A. Arenshtam,
D. Kijel,
M. Paul,
D. Berkovits,
I. Eliyahu,
G. Feinberg,
M. Friedman,
N. Hazenshprung,
I. Mardor,
A. Nagler,
G. Shimel,
M. Tessler,
I. Silverman
Abstract:
A compact Liquid-Lithium Target (LiLiT) was built and tested with a high-power electron gun at Soreq Nuclear Research Center. The lithium target, to be bombarded by the high-intensity proton beam of the Soreq Applied Research Accelerator Facility (SARAF), will constitute an intense source of neutrons produced by the 7Li(p,n)7Be reaction for nuclear astrophysics research and as a pilot setup for ac…
▽ More
A compact Liquid-Lithium Target (LiLiT) was built and tested with a high-power electron gun at Soreq Nuclear Research Center. The lithium target, to be bombarded by the high-intensity proton beam of the Soreq Applied Research Accelerator Facility (SARAF), will constitute an intense source of neutrons produced by the 7Li(p,n)7Be reaction for nuclear astrophysics research and as a pilot setup for accelerator-based Boron Neutron Capture Therapy (BNCT). The liquid-lithium jet target acts both as neutron-producing target and beam dump by removing the beam thermal power (>5 kW, >1 MW/cm3) with fast transport. The target was designed based on a thermal model, accompanied by a detailed calculation of the 7Li(p,n) neutron yield, energy distribution and angular distribution. Liquid lithium is circulated through the target loop at ~200oC and generates a stable 1.5 mm-thick film flowing at a velocity up to 7 m/s onto a concave supporting wall. Electron beam irradiation demonstrated that the liquid-lithium target can dissipate electron power areal densities of > 4 kW/cm2 and volume power density of ~ 2 MW/cm3 at a lithium flow of ~4 m/s while maintaining stable temperature and vacuum conditions. The LiLiT setup is presently in online commissioning stage for high-intensity proton beam irradiation (1.91- 2.5 MeV, 1-2 mA) at SARAF.
△ Less
Submitted 30 November, 2013; v1 submitted 13 November, 2013;
originally announced November 2013.