-
The Complexity of Symmetry Breaking Beyond Lex-Leader
Authors:
Markus Anders,
Sofia Brenner,
Gaurav Rattan
Abstract:
Symmetry breaking is a widely popular approach to enhance solvers in constraint programming, such as those for SAT or MIP. Symmetry breaking predicates (SBPs) typically impose an order on variables and single out the lexicographic leader (lex-leader) in each orbit of assignments. Although it is NP-hard to find complete lex-leader SBPs, incomplete lex-leader SBPs are widely used in practice.
In t…
▽ More
Symmetry breaking is a widely popular approach to enhance solvers in constraint programming, such as those for SAT or MIP. Symmetry breaking predicates (SBPs) typically impose an order on variables and single out the lexicographic leader (lex-leader) in each orbit of assignments. Although it is NP-hard to find complete lex-leader SBPs, incomplete lex-leader SBPs are widely used in practice.
In this paper, we investigate the complexity of computing complete SBPs, lex-leader or otherwise, for SAT. Our main result proves a natural barrier for efficiently computing SBPs: efficient certification of graph non-isomorphism. Our results explain the difficulty of obtaining short SBPs for important CP problems, such as matrix-models with row-column symmetries and graph generation problems. Our results hold even when SBPs are allowed to introduce additional variables. We show polynomial upper bounds for breaking certain symmetry groups, namely automorphism groups of trees and wreath products of groups with efficient SBPs.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
satsuma: Structure-based Symmetry Breaking in SAT
Authors:
Markus Anders,
Sofia Brenner,
Gaurav Rattan
Abstract:
Symmetry reduction is crucial for solving many interesting SAT instances in practice. Numerous approaches have been proposed, which try to strike a balance between symmetry reduction and computational overhead. Arguably the most readily applicable method is the computation of static symmetry breaking constraints: a constraint restricting the search-space to non-symmetrical solutions is added to a…
▽ More
Symmetry reduction is crucial for solving many interesting SAT instances in practice. Numerous approaches have been proposed, which try to strike a balance between symmetry reduction and computational overhead. Arguably the most readily applicable method is the computation of static symmetry breaking constraints: a constraint restricting the search-space to non-symmetrical solutions is added to a given SAT instance. A distinct advantage of static symmetry breaking is that the SAT solver itself is not modified. A disadvantage is that the strength of symmetry reduction is usually limited. In order to boost symmetry reduction, the state-of-the-art tool BreakID [Devriendt et. al] pioneered the identification and tailored breaking of a particular substructure of symmetries, the so-called row interchangeability groups.
In this paper, we propose a new symmetry breaking tool called satsuma. The core principle of our tool is to exploit more diverse but frequently occurring symmetry structures. This is enabled by new practical detection algorithms for row interchangeability, row-column symmetry, Johnson symmetry, and various combinations. Based on the resulting structural description, we then produce symmetry breaking constraints. We compare this new approach to BreakID on a range of instance families exhibiting symmetry. Our benchmarks suggest improved symmetry reduction in the presence of Johnson symmetry and comparable performance in the presence of row-column symmetry. Moreover, our implementation runs significantly faster, even though it identifies more diverse structures.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Taming Horizontal Instability in Merge Trees: On the Computation of a Comprehensive Deformation-based Edit Distance
Authors:
Florian Wetzels,
Markus Anders,
Christoph Garth
Abstract:
Comparative analysis of scalar fields in scientific visualization often involves distance functions on topological abstractions. This paper focuses on the merge tree abstraction (representing the nesting of sub- or superlevel sets) and proposes the application of the unconstrained deformation-based edit distance. Previous approaches on merge trees often suffer from instability: small perturbations…
▽ More
Comparative analysis of scalar fields in scientific visualization often involves distance functions on topological abstractions. This paper focuses on the merge tree abstraction (representing the nesting of sub- or superlevel sets) and proposes the application of the unconstrained deformation-based edit distance. Previous approaches on merge trees often suffer from instability: small perturbations in the data can lead to large distances of the abstractions. While some existing methods can handle so-called vertical instability, the unconstrained deformation-based edit distance addresses both vertical and horizontal instabilities, also called saddle swaps. We establish the computational complexity as NP-complete, and provide an integer linear program formulation for computation. Experimental results on the TOSCA shape matching ensemble provide evidence for the stability of the proposed distance. We thereby showcase the potential of handling saddle swaps for comparison of scalar fields through merge trees.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Algorithms Transcending the SAT-Symmetry Interface
Authors:
Markus Anders,
Pascal Schweitzer,
Mate Soos
Abstract:
Dedicated treatment of symmetries in satisfiability problems (SAT) is indispensable for solving various classes of instances arising in practice. However, the exploitation of symmetries usually takes a black box approach. Typically, off-the-shelf external, general-purpose symmetry detection tools are invoked to compute symmetry groups of a formula. The groups thus generated are a set of permutatio…
▽ More
Dedicated treatment of symmetries in satisfiability problems (SAT) is indispensable for solving various classes of instances arising in practice. However, the exploitation of symmetries usually takes a black box approach. Typically, off-the-shelf external, general-purpose symmetry detection tools are invoked to compute symmetry groups of a formula. The groups thus generated are a set of permutations passed to a separate tool to perform further analyzes to understand the structure of the groups. The result of this second computation is in turn used for tasks such as static symmetry breaking or dynamic pruning of the search space. Within this pipeline of tools, the detection and analysis of symmetries typically incurs the majority of the time overhead for symmetry exploitation.
In this paper we advocate for a more holistic view of what we call the SAT-symmetry interface. We formulate a computational setting, centered around a new concept of joint graph/group pairs, to analyze and improve the detection and analysis of symmetries. Using our methods, no information is lost performing computational tasks lying on the SAT-symmetry interface. Having access to the entire input allows for simpler, yet efficient algorithms.
Specifically, we devise algorithms and heuristics for computing finest direct disjoint decompositions, finding equivalent orbits, and finding natural symmetric group actions. Our algorithms run in what we call instance-quasi-linear time, i.e., almost linear time in terms of the input size of the original formula and the description length of the symmetry group returned by symmetry detection tools. Our algorithms improve over both heuristics used in state-of-the-art symmetry exploitation tools, as well as theoretical general-purpose algorithms.
△ Less
Submitted 1 January, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Engineering a Preprocessor for Symmetry Detection
Authors:
Markus Anders,
Pascal Schweitzer,
Julian Stieß
Abstract:
State-of-the-art solvers for symmetry detection in combinatorial objects are becoming increasingly sophisticated software libraries. Most of the solvers were initially designed with inputs from combinatorics in mind (nauty, bliss, Traces, dejavu). They excel at dealing with a complicated core of the input. Others focus on practical instances that exhibit sparsity. They excel at dealing with compar…
▽ More
State-of-the-art solvers for symmetry detection in combinatorial objects are becoming increasingly sophisticated software libraries. Most of the solvers were initially designed with inputs from combinatorics in mind (nauty, bliss, Traces, dejavu). They excel at dealing with a complicated core of the input. Others focus on practical instances that exhibit sparsity. They excel at dealing with comparatively easy but extremely large substructures of the input (saucy). In practice, these differences manifest in significantly diverging performances on different types of graph classes.
We engineer a preprocessor for symmetry detection. The result is a tool designed to shrink sparse, large substructures of the input graph. On most of the practical instances, the overall running time improves significantly for many of the state-of-the-art solvers. At the same time, our benchmarks show that the additional overhead is negligible.
Overall we obtain single algorithms with competitive performance across all benchmark graphs. As such the preprocessor bridges the disparity between solvers that focus on combinatorial graphs and large practical graphs. In fact, on most of the practical instances the combined setup significantly outperforms previous state-of-the-art.
△ Less
Submitted 13 February, 2023;
originally announced February 2023.
-
SAT Preprocessors and Symmetry
Authors:
Markus Anders
Abstract:
Exploitation of symmetries is an indispensable approach to solve certain classes of difficult SAT instances. Numerous techniques for the use of symmetry in SAT have evolved over the past few decades. But no matter how symmetries are used precisely, they have to be detected first. We investigate how to detect more symmetry, faster. The initial idea is to reap the benefits of SAT preprocessing for s…
▽ More
Exploitation of symmetries is an indispensable approach to solve certain classes of difficult SAT instances. Numerous techniques for the use of symmetry in SAT have evolved over the past few decades. But no matter how symmetries are used precisely, they have to be detected first. We investigate how to detect more symmetry, faster. The initial idea is to reap the benefits of SAT preprocessing for symmetry detection. As it turns out, applying an off-the-shelf preprocessor before handling symmetry runs into problems: the preprocessor can haphazardly remove symmetry from formulas, severely impeding symmetry exploitation.
Our main contribution is a theoretical framework that captures the relationship of SAT preprocessing techniques and symmetry. Based on this, we create a symmetry-aware preprocessor that can be applied safely before handling symmetry. We then demonstrate that applying the preprocessor does not only substantially decrease symmetry detection and breaking times, but also uncovers hidden symmetry not detectable in the original instances. Overall, we depart the conventional view of treating symmetry detection as a black-box, presenting a new application-specific approach to symmetry detection in SAT.
△ Less
Submitted 25 May, 2022;
originally announced May 2022.
-
A systematic approach to random data augmentation on graph neural networks
Authors:
Billy Joe Franks,
Markus Anders,
Marius Kloft,
Pascal Schweitzer
Abstract:
Random data augmentations (RDAs) are state of the art regarding practical graph neural networks that are provably universal. There is great diversity regarding terminology, methodology, benchmarks, and evaluation metrics used among existing RDAs. Not only does this make it increasingly difficult for practitioners to decide which technique to apply to a given problem, but it also stands in the way…
▽ More
Random data augmentations (RDAs) are state of the art regarding practical graph neural networks that are provably universal. There is great diversity regarding terminology, methodology, benchmarks, and evaluation metrics used among existing RDAs. Not only does this make it increasingly difficult for practitioners to decide which technique to apply to a given problem, but it also stands in the way of systematic improvements. We propose a new comprehensive framework that captures all previous RDA techniques. On the theoretical side, among other results, we formally prove that under natural conditions all instantiations of our framework are universal. On the practical side, we develop a method to systematically and automatically train RDAs. This in turn enables us to impartially and objectively compare all existing RDAs. New RDAs naturally emerge from our approach, and our experiments demonstrate that they improve the state of the art.
△ Less
Submitted 21 March, 2022; v1 submitted 8 December, 2021;
originally announced December 2021.
-
Liquid-liver phantom: mimicking the viscoelastic dispersion of human liver for elastography in ultrasound and MRI
Authors:
Anna S. Morr,
Helge Herthum,
Felix Schrank,
Steffen Görner,
Matthias S. Anders,
Markus Lerchbaumer,
Hans P. Müller,
Thomas Fischer,
Klaus-Vitold Jenderka,
Hendrik H. G. Hansen,
Paul A. Janmey,
Jürgen Braun,
Ingolf Sack,
Heiko Tzschätzsch
Abstract:
Different clinical elastography devices show different liver-stiffness values in the same subject, hindering comparison of values and establishment of system-independent thresholds for disease detection. Therefore, authorities request standardized phantoms that address the viscosity-related dispersion of stiffness over frequency. A linear polymerized polyacrylamide phantom (PAAm) was calibrated to…
▽ More
Different clinical elastography devices show different liver-stiffness values in the same subject, hindering comparison of values and establishment of system-independent thresholds for disease detection. Therefore, authorities request standardized phantoms that address the viscosity-related dispersion of stiffness over frequency. A linear polymerized polyacrylamide phantom (PAAm) was calibrated to the viscoelastic properties of healthy human liver in vivo. Shear-wave speed as a surrogate of stiffness was quantified between 5 Hz and 3000 Hz frequency-range by shear rheometry, ultrasound-based time-harmonic elastography, clinical MR elastography (MRE), and tabletop MRE. Imaging parameters for ultrasound were close to those of liver in vivo. Reproducibility, aging behavior and temperature dependency were assessed and fulfilled requirements for quantitative elastography. In addition, the phantom was used to characterize the frequency bandwidth of shear-wave speed of several clinical elastography methods. The liquid-liver phantom has favorable properties for standardization and development of liver elastography: first, it can be used across clinical and experimental elastography devices in ultrasound and MRI. Second, being a liquid, it can easily be adapted in size and shape to specific technical requirements, and by adding inclusions and scatterers. Finally, since the phantom is based on non-crosslinked linear PAA constituents, it is easy to produce, indicating potential widespread use among researchers and vendors to standardize liver-stiffness measurements.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
A Characterization of Individualization-Refinement Trees
Authors:
Markus Anders,
Jendrik Brachter,
Pascal Schweitzer
Abstract:
Individualization-Refinement (IR) algorithms form the standard method and currently the only practical method for symmetry computations of graphs and combinatorial objects in general. Through backtracking, on each graph an IR-algorithm implicitly creates an IR-tree whose order is the determining factor of the running time of the algorithm.
We give a precise and constructive characterization whic…
▽ More
Individualization-Refinement (IR) algorithms form the standard method and currently the only practical method for symmetry computations of graphs and combinatorial objects in general. Through backtracking, on each graph an IR-algorithm implicitly creates an IR-tree whose order is the determining factor of the running time of the algorithm.
We give a precise and constructive characterization which trees are IR-trees. This characterization is applicable both when the tree is regarded as an uncolored object but also when regarded as a colored object where vertex colors stem from a node invariant. We also provide a construction that given a tree produces a corresponding graph whenever possible. This provides a constructive proof that our necessary conditions are also sufficient for the characterization.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Parallel Computation of Combinatorial Symmetries
Authors:
Markus Anders,
Pascal Schweitzer
Abstract:
In practice symmetries of combinatorial structures are computed by transforming the structure into an annotated graph whose automorphisms correspond exactly to the desired symmetries. An automorphism solver is then employed to compute the automorphism group of the constructed graph. Such solvers have been developed for over 50 years, and highly efficient sequential, single core tools are available…
▽ More
In practice symmetries of combinatorial structures are computed by transforming the structure into an annotated graph whose automorphisms correspond exactly to the desired symmetries. An automorphism solver is then employed to compute the automorphism group of the constructed graph. Such solvers have been developed for over 50 years, and highly efficient sequential, single core tools are available. However no competitive parallel tools are available for the task. We introduce a new parallel randomized algorithm that is based on a modification of the individualization-refinement paradigm used by sequential solvers. The use of randomization crucially enables parallelization. We report extensive benchmark results that show that our solver is competitive to state-of-the-art solvers on a single thread, while scaling remarkably well with the use of more threads. This results in order-of-magnitude improvements on many graph classes over state-of-the-art solvers. In fact, our tool is the first parallel graph automorphism tool that outperforms current sequential tools.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.
-
Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case
Authors:
Markus Anders,
Pascal Schweitzer,
Florian Wetzels
Abstract:
Color refinement is a crucial subroutine in symmetry detection in theory as well as practice. It has further applications in machine learning and in computational problems from linear algebra. While tight lower bounds for the worst case complexity are known [Berkholz, Bonsma, Grohe, ESA2013] no comparative analysis of design choices for color refinement algorithms is available. We devise two model…
▽ More
Color refinement is a crucial subroutine in symmetry detection in theory as well as practice. It has further applications in machine learning and in computational problems from linear algebra. While tight lower bounds for the worst case complexity are known [Berkholz, Bonsma, Grohe, ESA2013] no comparative analysis of design choices for color refinement algorithms is available. We devise two models within which we can compare color refinement algorithms using formal methods, an online model and an approximation model. We use these to show that no online algorithm is competitive beyond a logarithmic factor and no algorithm can approximate the optimal color refinement splitting scheme beyond a logarithmic factor. We also directly compare strategies used in practice showing that, on some graphs, queue based strategies outperform stack based ones by a logarithmic factor and vice versa. Similar results hold for strategies based on priority queues.
△ Less
Submitted 18 March, 2021;
originally announced March 2021.
-
Engineering a Fast Probabilistic Isomorphism Test
Authors:
Markus Anders,
Pascal Schweitzer
Abstract:
We engineer a new probabilistic Monte-Carlo algorithm for isomorphism testing. Most notably, as opposed to all other solvers, it implicitly exploits the presence of symmetries without explicitly computing them.
We provide extensive benchmarks, showing that the algorithm outperforms all state-of-the-art solutions for isomorphism testing on most inputs from the de facto standard benchmark library…
▽ More
We engineer a new probabilistic Monte-Carlo algorithm for isomorphism testing. Most notably, as opposed to all other solvers, it implicitly exploits the presence of symmetries without explicitly computing them.
We provide extensive benchmarks, showing that the algorithm outperforms all state-of-the-art solutions for isomorphism testing on most inputs from the de facto standard benchmark library for isomorphism testing. On many input types, our data not only show improved running times by an order of magnitude, but also reflect a better asymptotic behavior.
Our results demonstrate that, with current algorithms, isomorphism testing is in practice easier than the related problems of computing the automorphism group or canonically labeling a graph. The results also show that probabilistic algorithms for isomorphism testing can be engineered to outperform deterministic approaches, even asymptotically.
△ Less
Submitted 18 November, 2020;
originally announced November 2020.
-
Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms
Authors:
Markus Anders,
Pascal Schweitzer
Abstract:
We define a search problem on trees that closely captures the backtracking behavior of all current practical graph isomorphism algorithms. Given two trees with colored leaves, the goal is to find two leaves of matching color, one in each of the trees. The trees are subject to an invariance property which promises that for every pair of leaves of equal color there must be a symmetry (or an isomorph…
▽ More
We define a search problem on trees that closely captures the backtracking behavior of all current practical graph isomorphism algorithms. Given two trees with colored leaves, the goal is to find two leaves of matching color, one in each of the trees. The trees are subject to an invariance property which promises that for every pair of leaves of equal color there must be a symmetry (or an isomorphism) that maps one leaf to the other.
We describe a randomized algorithm with errors for which the number of visited leaves is quasilinear in the square root of the size of the smaller of the two trees. For inputs of bounded degree, we develop a Las Vegas algorithm with a similar running time.
We prove that these results are optimal up to logarithmic factors. We show a lower bound for randomized algorithms on inputs of bounded degree that is the square root of the tree sizes. For inputs of unbounded degree, we show a linear lower bound for Las Vegas algorithms. For deterministic algorithms we can prove a linear bound even for inputs of bounded degree. This shows why randomized algorithms outperform deterministic ones.
Our results explain why the randomized "breadth-first with intermixed experimental path" search strategy of the isomorphism tool Traces (Piperno 2008) is often superior to the depth-first search strategy of other tools such as nauty (McKay 1977) or bliss (Junttila, Kaski 2007). However, our algorithm also provides a new traversal strategy, which is theoretically near optimal with better worst case behavior than traversal strategies that have previously been used.
△ Less
Submitted 3 November, 2020;
originally announced November 2020.
-
Effect of beam energy straggling on resonant yield in thin gas targets: The cases $^{22}$Ne(p,γ)$^{23}$Na and $^{14}$N(p,γ)$^{15}$O
Authors:
D. Bemmerer,
F. Cavanna,
R. Depalo,
M. Aliotta,
M. Anders,
A. Boeltzig,
C. Broggini,
C. Bruno,
A. Caciolli,
P. Corvisiero,
T. Davinson,
Z. Elekes,
F. Ferraro,
A. Formicola,
Zs. Fülöp,
G. Gervino,
A. Guglielmetti,
C. Gustavino,
Gy. Gyürky,
R. Menegazzo,
V. Mossa,
F. R. Pantaleo,
P. Prati,
D. A. Scott,
O. Straniero
, et al. (3 additional authors not shown)
Abstract:
When deriving resonance strengths using the thick-target yield approximation, for very narrow resonances it may be necessary to take beam energy straggling into account. This applies to gas targets of a few keV width, especially if there is some additional structure in target stoichiometry or detection efficiency. The correction for this effect is shown and tested on recent studies of narrow reson…
▽ More
When deriving resonance strengths using the thick-target yield approximation, for very narrow resonances it may be necessary to take beam energy straggling into account. This applies to gas targets of a few keV width, especially if there is some additional structure in target stoichiometry or detection efficiency. The correction for this effect is shown and tested on recent studies of narrow resonances in the $^{22}$Ne(p,γ)$^{23}$Na and $^{14}$N(p,γ)$^{15}$O reactions.
△ Less
Submitted 29 June, 2018;
originally announced June 2018.
-
Astrophysical S-factor of the $^{14}\textrm{N(p,}γ\textrm{)}^{15}\textrm{O}$ reaction at 0.4 -- 1.3\,MeV
Authors:
L. Wagner,
S. Akhmadaliev,
M. Anders,
D. Bemmerer,
A. Caciolli,
St. Gohl,
M. Grieger,
A. Junghans,
M. Marta,
F. Munnik,
T. P. Reinhardt,
S. Reinicke,
M. Röder,
K. Schmidt,
R. Schwengner,
M. Serfling,
M. P. Takács,
T. Szücs,
A. Vomiero,
A. Wagner,
K. Zuber
Abstract:
The $^{14}\textrm{N(p,}γ\textrm{)}^{15}\textrm{O}$ reaction is the slowest reaction of the carbon-nitrogen cycle of hydrogen burning and thus determines its rate. The precise knowledge of its rate is required to correctly model hydrogen burning in asymptotic giant branch stars. In addition, it is a necessary ingredient for a possible solution of the solar abundance problem by using the solar…
▽ More
The $^{14}\textrm{N(p,}γ\textrm{)}^{15}\textrm{O}$ reaction is the slowest reaction of the carbon-nitrogen cycle of hydrogen burning and thus determines its rate. The precise knowledge of its rate is required to correctly model hydrogen burning in asymptotic giant branch stars. In addition, it is a necessary ingredient for a possible solution of the solar abundance problem by using the solar $^{13}$N and $^{15}$O neutrino fluxes as probes of the carbon and nitrogen abundances in the solar core. After the downward revision of its cross section due to a much lower contribution by one particular transition, capture to the ground state in $^{15}$O, the evaluated total uncertainty is still 8\%, in part due to an unsatisfactory knowledge of the excitation function over a wide energy range. The present work reports precise S-factor data at twelve energies between 0.357-1.292~MeV for the strongest transition, capture to the 6.79~MeV excited state in $^{15}$O, and at ten energies between 0.479-1.202~MeV for the second strongest transition, capture to the ground state in $^{15}$O. An R-matrix fit is performed to estimate the impact of the new data on astrophysical energies. The recently suggested slight enhancement of the 6.79~MeV transition at low energy could not be confirmed. The present extrapolated zero-energy S-factors are $S_{6.79}(0)$~=~1.24$\pm$0.11~keV~barn and $S_{\rm GS}(0)$~=~0.19$\pm$0.05~keV~barn.
△ Less
Submitted 29 November, 2017;
originally announced November 2017.
-
Direct measurement of low-energy $^{22}$Ne(p,$γ$)$^{23}$Na resonances
Authors:
R. Depalo,
F. Cavanna,
M. Aliotta,
M. Anders,
D. Bemmerer,
A. Best,
A. Boeltzig,
C. Broggini,
C. G. Bruno,
A. Caciolli,
G. F. Ciani,
P. Corvisiero,
T. Davinson,
A. Di Leva,
Z. Elekes,
F. Ferraro,
A. Formicola,
Zs. Fülöp,
G. Gervino,
A. Guglielmetti,
C. Gustavino,
Gy. Gyürky,
G. Imbriani,
M. Junker,
R. Menegazzo
, et al. (8 additional authors not shown)
Abstract:
The $^{22}$Ne(p,$γ$)$^{23}$Na reaction is the most uncertain process in the neon-sodium cycle of hydrogen burning. At temperatures relevant for nucleosynthesis in asymptotic giant branch stars and classical novae, its uncertainty is mainly due to a large number of predicted but hitherto unobserved resonances at low energy. Purpose: A new direct study of low energy $^{22}$Ne(p,$γ$)$^{23}$Na resonan…
▽ More
The $^{22}$Ne(p,$γ$)$^{23}$Na reaction is the most uncertain process in the neon-sodium cycle of hydrogen burning. At temperatures relevant for nucleosynthesis in asymptotic giant branch stars and classical novae, its uncertainty is mainly due to a large number of predicted but hitherto unobserved resonances at low energy. Purpose: A new direct study of low energy $^{22}$Ne(p,$γ$)$^{23}$Na resonances has been performed at the Laboratory for Underground Nuclear Astrophysics (LUNA), in the Gran Sasso National Laboratory, Italy. Method: The proton capture on $^{22}$Ne was investigated in direct kinematics, delivering an intense proton beam to a $^{22}$Ne gas target. $γ$ rays were detected with two high-purity germanium detectors enclosed in a copper and lead shielding suppressing environmental radioactivity. Results: Three resonances at 156.2 keV ($ωγ$ = (1.48\,$\pm$\,0.10)\,$\cdot$\,10$^{-7}$ eV), 189.5 keV ($ωγ$ = (1.87\,$\pm$\,0.06)\,$\cdot$\,10$^{-6}$ eV) and 259.7 keV ($ωγ$ = (6.89\,$\pm$\,0.16)\,$\cdot$\,10$^{-6}$ eV) proton beam energy, respectively, have been observed for the first time. For the levels at 8943.5, 8975.3, and 9042.4 keV excitation energy corresponding to the new resonances, the $γ$-decay branching ratios have been precisely measured. Three additional, tentative resonances at 71, 105 and 215 keV proton beam energy, respectively, were not observed here. For the strengths of these resonances, experimental upper limits have been derived that are significantly more stringent than the upper limits reported in the literature. Conclusions: Based on the present experimental data and also previous literature data, an updated thermonuclear reaction rate is provided in tabular and parametric form. The new reaction rate is significantly higher than previous evaluations at temperatures of 0.08-0.3 GK.
△ Less
Submitted 4 October, 2016;
originally announced October 2016.
-
Three new low-energy resonances in the $^{22}$Ne(p,$γ$)$^{23}$Na reaction
Authors:
F. Cavanna,
R. Depalo,
M. Aliotta,
M. Anders,
D. Bemmerer,
A. Best,
A. Böltzig,
C. Broggini,
C. G. Bruno,
A. Caciolli,
P. Corvisiero,
T. Davinson,
A. di Leva,
Z. Elekes,
F. Ferraro,
A. Formicola,
Zs. Fülöp,
G. Gervino,
A. Guglielmetti,
C. Gustavino,
Gy. Gyürky,
G. Imbriani,
M. Junker,
R. Menegazzo,
V. Mossa
, et al. (9 additional authors not shown)
Abstract:
The $^{22}$Ne(p,$γ$)$^{23}$Na reaction takes part in the neon-sodium cycle of hydrogen burning. This cycle affects the synthesis of the elements between $^{20}$Ne and $^{27}$Al in asymptotic giant branch stars and novae. The $^{22}$Ne(p,$γ$)$^{23}$Na reaction rate is very uncertain because of a large number of unobserved resonances lying in the Gamow window. At proton energies below 400\,keV, only…
▽ More
The $^{22}$Ne(p,$γ$)$^{23}$Na reaction takes part in the neon-sodium cycle of hydrogen burning. This cycle affects the synthesis of the elements between $^{20}$Ne and $^{27}$Al in asymptotic giant branch stars and novae. The $^{22}$Ne(p,$γ$)$^{23}$Na reaction rate is very uncertain because of a large number of unobserved resonances lying in the Gamow window. At proton energies below 400\,keV, only upper limits exist in the literature for the resonance strengths. Previous reaction rate evaluations differ by large factors. In the present work, the first direct observations of the $^{22}$Ne(p,$γ$)$^{23}$Na resonances at 156.2, 189.5, and 259.7\,keV are reported. Their resonance strengths have been derived with 2-7\% uncertainty. In addition, upper limits for three other resonances have been greatly reduced. Data were taken using a windowless $^{22}$Ne gas target and high-purity germanium detectors at the Laboratory for Underground Nuclear Astrophysics in the Gran Sasso laboratory of the National Institute for Nuclear Physics, Italy, taking advantage of the ultra-low background observed deep underground. The new reaction rate is a factor of 5 higher than the recent evaluation at temperatures relevant to novae and asymptotic giant branch stars nucleosynthesis.
△ Less
Submitted 17 November, 2015;
originally announced November 2015.
-
Strengths of the resonances at 436, 479, 639, 661, and 1279 keV in the $^{22}$Ne(p,$γ$)$^{23}$Na reaction
Authors:
Rosanna Depalo,
Francesca Cavanna,
Federico Ferraro,
Alessandra Slemer,
Tariq Al-Abdullah,
Shavkat Akhmadaliev,
Michael Anders,
Daniel Bemmerer,
Zoltán Elekes,
Giovanni Mattei,
Stefan Reinicke,
Konrad Schmidt,
Carlo Scian,
Louis Wagner
Abstract:
The $^{22}$Ne(p,$γ$)$^{23}$Na reaction is included in the neon-sodium cycle of hydrogen burning. A number of narrow resonances in the Gamow window dominates the thermonuclear reaction rate. Several resonance strengths are only poorly known. As a result, the $^{22}$Ne(p,$γ$)$^{23}$Na thermonuclear reaction rate is the most uncertain rate of the cycle. Here, a new experimental study of the strengths…
▽ More
The $^{22}$Ne(p,$γ$)$^{23}$Na reaction is included in the neon-sodium cycle of hydrogen burning. A number of narrow resonances in the Gamow window dominates the thermonuclear reaction rate. Several resonance strengths are only poorly known. As a result, the $^{22}$Ne(p,$γ$)$^{23}$Na thermonuclear reaction rate is the most uncertain rate of the cycle. Here, a new experimental study of the strengths of the resonances at 436, 479, 639, 661, and 1279 keV proton beam energy is reported. The data have been obtained using a tantalum target implanted with $^{22}$Ne. The strengths $ωγ$ of the resonances at 436, 639, and 661 keV have been determined with a relative approach, using the 479 and 1279 keV resonances for normalization. Subsequently, the ratio of resonance strengths of the 479 and 1279 keV resonances was determined, improving the precision of these two standards. The new data are consistent with, but more precise than, the literature with the exception of the resonance at 661 keV, which is found to be less intense by one order of magnitude. In addition, improved branching ratios have been determined for the gamma decay of the resonances at 436, 479, and 639 keV.
△ Less
Submitted 21 October, 2015; v1 submitted 14 July, 2015;
originally announced July 2015.
-
Measured difference between 206Pb, 205Tl charge distributions and the proton 3s1/2 wave function
Authors:
M. R. Anders,
S. Shlomo,
I. Talmi
Abstract:
Charge density difference between 206Pb and 205Tl, measured by elastic electron scattering, is very similar to the charge density due to a proton in a 3s1/2 orbit. We look for a potential well whose 3s1/2 wave function yields the measured data. We developed a novel method to obtain the potential directly from the density and its first and second derivatives. Fits to parametrized potentials were al…
▽ More
Charge density difference between 206Pb and 205Tl, measured by elastic electron scattering, is very similar to the charge density due to a proton in a 3s1/2 orbit. We look for a potential well whose 3s1/2 wave function yields the measured data. We developed a novel method to obtain the potential directly from the density and its first and second derivatives. Fits to parametrized potentials were also carried out. The 3s1/2 wave functions of the potentials determined here, reproduce fairly well the experimental data within the quoted errors. To detect possible effects of short-range two-body correlations on the 3s1/2 shell model wave function, more accurate measurements are required.
△ Less
Submitted 21 April, 2015;
originally announced April 2015.
-
A new study of the $^{22}$Ne(p,$γ$)$^{23}$Na reaction deep underground: Feasibility, setup, and first observation of the 186 keV resonance
Authors:
F. Cavanna,
R. Depalo,
M. -L. Menzel,
M. Aliotta,
M. Anders,
D. Bemmerer,
C. Broggini,
C. G. Bruno,
A. Caciolli,
P. Corvisiero,
T. Davinson,
A. di Leva,
Z. Elekes,
F. Ferraro,
A. Formicola,
Zs. Fülöp,
G. Gervino,
A. Guglielmetti,
C. Gustavino,
Gy. Gyürky,
G. Imbriani,
M. Junker,
R. Menegazzo,
P. Prati,
C. Rossi Alvarez
, et al. (6 additional authors not shown)
Abstract:
The $^{22}$Ne(p,$γ$)$^{23}$Na reaction takes part in the neon-sodium cycle of hydrogen burning. This cycle is active in asymptotic giant branch stars as well as in novae and contributes to the nucleosythesis of neon and sodium isotopes. In order to reduce the uncertainties in the predicted nucleosynthesis yields, new experimental efforts to measure the $^{22}$Ne(p,$γ$)$^{23}$Na cross section direc…
▽ More
The $^{22}$Ne(p,$γ$)$^{23}$Na reaction takes part in the neon-sodium cycle of hydrogen burning. This cycle is active in asymptotic giant branch stars as well as in novae and contributes to the nucleosythesis of neon and sodium isotopes. In order to reduce the uncertainties in the predicted nucleosynthesis yields, new experimental efforts to measure the $^{22}$Ne(p,$γ$)$^{23}$Na cross section directly at the astrophysically relevant energies are needed. In the present work, a feasibility study for a $^{22}$Ne(p,$γ$)$^{23}$Na experiment at the Laboratory for Underground Nuclear Astrophysics (LUNA) 400\,kV accelerator deep underground in the Gran Sasso laboratory, Italy, is reported. The ion beam induced $γ$-ray background has been studied. The feasibility study led to the first observation of the $E_{\rm p}$ = 186\,keV resonance in a direct experiment. An experimental lower limit of 0.12\,$\times$\,10$^{-6}$\,eV has been obtained for the resonance strength. Informed by the feasibility study, a dedicated experimental setup for the $^{22}$Ne(p,$γ$)$^{23}$Na experiment has been developed. The new setup has been characterized by a study of the temperature and pressure profiles. The beam heating effect that reduces the effective neon gas density due to the heating by the incident proton beam has been studied using the resonance scan technique, and the size of this effect has been determined for a neon gas target.
△ Less
Submitted 25 November, 2014; v1 submitted 11 November, 2014;
originally announced November 2014.
-
Strength of the $E_{\text{p}}$=1.842 MeV resonance in the $^{40}$Ca(p,$γ$)$^{41}$Sc reaction revisited
Authors:
Konrad Schmidt,
Shavkat Akhmadaliev,
Michael Anders,
Daniel Bemmerer,
Antonio Caciolli,
Mirco Dietz,
Zoltán Elekes,
Arnd R. Junghans,
Marie-Luise Menzel,
Ronald Schwengner,
Andreas Wagner,
Kai Zuber
Abstract:
The strength of the $E_{\rm p} = 1.842$ MeV resonance in the $^{40}$Ca(p,$γ$)$^{41}$Sc reaction is determined with two different methods: First, by an absolute strength measurement using calcium hydroxide targets, and second, relative to the well-determined strength of the resonance triplet at $E_α$ = 4.5 MeV in the $^{40}$Ca($α$,$γ$)$^{44}$Ti reaction. The present new value of…
▽ More
The strength of the $E_{\rm p} = 1.842$ MeV resonance in the $^{40}$Ca(p,$γ$)$^{41}$Sc reaction is determined with two different methods: First, by an absolute strength measurement using calcium hydroxide targets, and second, relative to the well-determined strength of the resonance triplet at $E_α$ = 4.5 MeV in the $^{40}$Ca($α$,$γ$)$^{44}$Ti reaction. The present new value of $ωγ=(0.192\pm0.017)$ eV is 37% (equivalent to $3.5σ$) higher than the evaluated literature value. In addition, the ratio of the strengths of the 1.842 MeV $^{40}$Ca(p,$γ$)$^{41}$Sc and 4.5 MeV $^{40}$Ca($α$,$γ$)$^{44}$Ti resonances has been determined to be $0.0229\pm0.0018$. The newly corrected strength of the 1.842-MeV resonance can be used in the future as a normalization point for experiments with calcium targets.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
Nuclear deformation and neutron excess as competing effects for pygmy dipole strength
Authors:
R. Massarczyk,
R. Schwengner,
F. Dönau,
S. Frauendorf,
M. Anders,
D. Bemmerer,
R. Beyer,
C. Bhatia,
E. Birgersson,
M. Butterling,
Z. Elekes,
A. Ferrari,
M. E. Gooden,
R. Hannaske,
A. R. Junghans,
M. Kempe,
J. H. Kelley,
T. Kögler,
A. Matic,
M. L. Menzel,
S. Müller,
T. P. Reinhardt,
M. Röder,
G. Rusev,
K. D. Schilling
, et al. (5 additional authors not shown)
Abstract:
The electromagnetic dipole strength below the neutron-separation energy has been studied for the xenon isotopes with mass numbers A = 124, 128, 132, and 134 in nuclear resonance fluorescence experiments using the ELBE bremsstrahlung facility at Helmholtz-Zentrum Dresden-Rossendorf and the HIgS facility at Triangle Universities Nuclear Laboratory Durham. The systematic study gained new information…
▽ More
The electromagnetic dipole strength below the neutron-separation energy has been studied for the xenon isotopes with mass numbers A = 124, 128, 132, and 134 in nuclear resonance fluorescence experiments using the ELBE bremsstrahlung facility at Helmholtz-Zentrum Dresden-Rossendorf and the HIgS facility at Triangle Universities Nuclear Laboratory Durham. The systematic study gained new information about the influence of the neutron excess as well as of nuclear deformation on the strength in the region of the pygmy dipole resonance. The results are compared with those obtained for the chain of molybdenum isotopes and with predictions of a random-phase approximation in a deformed basis. It turned out that the effect of nuclear deformation plays a minor role compared with the one caused by neutron excess. A global parametrization of the strength in terms of neutron and proton numbers allowed us to derive a formula capable of predicting the summed E1 strengths in the pygmy region for a wide mass range of nuclides.
△ Less
Submitted 8 November, 2013;
originally announced November 2013.
-
The resonance triplet at E_alpha = 4.5 MeV in the 40Ca(alpha,gamma)44Ti reaction
Authors:
Konrad Schmidt,
Shavkat Akhmadaliev,
Michael Anders,
Daniel Bemmerer,
Konstanze Boretzky,
Antonio Caciolli,
Detlev Degering,
Mirco Dietz,
Rugard Dressler,
Zoltán Elekes,
Zsolt Fülöp,
György Gyürky,
Roland Hannaske,
Arnd R. Junghans,
Michele Marta,
Marie-Luise Menzel,
Frans Munnik,
Dorothea Schumann,
Ronald Schwengner,
Tamás Szücs,
Andreas Wagner,
Dmitry Yakorev,
Kai Zuber
Abstract:
The 40Ca(alpha,gamma)44Ti reaction is believed to be the main production channel for the radioactive nuclide 44Ti in core-collapse supernovae. Radiation from decaying 44Ti has been observed so far for two supernova remnants, and a precise knowledge of the 44Ti production rate may help improve supernova models. The 40Ca(alpha,gamma)44Ti astrophysical reaction rate is determined by a number of narro…
▽ More
The 40Ca(alpha,gamma)44Ti reaction is believed to be the main production channel for the radioactive nuclide 44Ti in core-collapse supernovae. Radiation from decaying 44Ti has been observed so far for two supernova remnants, and a precise knowledge of the 44Ti production rate may help improve supernova models. The 40Ca(alpha,gamma)44Ti astrophysical reaction rate is determined by a number of narrow resonances. Here, the resonance triplet at E_alpha = 4497, 4510, and 4523 keV is studied both by activation, using an underground laboratory for the gamma counting, and by in-beam gamma spectrometry. The target properties are determined by elastic recoil detection analysis and by nuclear reactions. The strengths of the three resonances are determined to omega gamma = (0.92+-0.20), (6.2+-0.5), and (1.32+-0.24) eV, respectively, a factor of two more precise than before. The strengths of this resonance triplet may be used in future works as a point of reference. In addition, the present new data directly affect the astrophysical reaction rate at relatively high temperatures, above 3.5 GK.
△ Less
Submitted 24 July, 2013;
originally announced July 2013.
-
Neutron-induced background by an alpha-beam incident on a deuterium gas target and its implications for the study of the 2H(alpha,gamma)6Li reaction at LUNA
Authors:
M. Anders,
D. Trezzi,
A. Bellini,
M. Aliotta,
D. Bemmerer,
C. Broggini,
A. Caciolli,
H. Costantini,
P. Corvisiero,
T. Davinson,
Z. Elekes,
M. Erhard,
A. Formicola,
Zs. Fülöp,
G. Gervino,
A. Guglielmetti,
C. Gustavino,
Gy. Gyürky,
M. Junker,
A. Lemut,
M. Marta,
C. Mazzocchi,
R. Menegazzo,
P. Prati,
C. Rossi Alvarez
, et al. (4 additional authors not shown)
Abstract:
The production of the stable isotope Li-6 in standard Big Bang nucleosynthesis has recently attracted much interest. Recent observations in metal-poor stars suggest that a cosmological Li-6 plateau may exist. If true, this plateau would come in addition to the well-known Spite plateau of Li-7 abundances and would point to a predominantly primordial origin of Li-6, contrary to the results of standa…
▽ More
The production of the stable isotope Li-6 in standard Big Bang nucleosynthesis has recently attracted much interest. Recent observations in metal-poor stars suggest that a cosmological Li-6 plateau may exist. If true, this plateau would come in addition to the well-known Spite plateau of Li-7 abundances and would point to a predominantly primordial origin of Li-6, contrary to the results of standard Big Bang nucleosynthesis calculations. Therefore, the nuclear physics underlying Big Bang Li-6 production must be revisited. The main production channel for Li-6 in the Big Bang is the 2H(alpha,gamma)6Li reaction. The present work reports on neutron-induced effects in a high-purity germanium detector that were encountered in a new study of this reaction. In the experiment, an α-beam from the underground accelerator LUNA in Gran Sasso, Italy, and a windowless deuterium gas target are used. A low neutron flux is induced by energetic deuterons from elastic scattering and, subsequently, the 2H(d,n)3He reaction. Due to the ultra-low laboratory neutron background at LUNA, the effect of this weak flux of 2-3 MeV neutrons on well-shielded high-purity germanium detectors has been studied in detail. Data have been taken at 280 and 400 keV alpha-beam energy and for comparison also using an americium-beryllium neutron source.
△ Less
Submitted 30 January, 2013;
originally announced January 2013.
-
First Direct Measurement of the ^{17}O(p,γ)^{18}F Reaction Cross-Section at Gamow Energies for Classical Novae
Authors:
D. A. Scott,
A. Caciolli,
A. DiLeva,
A. Formicola,
M. Aliotta,
M. Anders,
D. Bemmerer,
C. Broggini,
M. Campeggio,
P. Corvisiero,
Z. Elekes,
Zs. Fülöp,
G. Gervino,
A. Guglielmetti,
C. Gustavino,
Gy. Gyürky,
G. Imbriani,
M. Junker,
M. Laubenstein,
R. Menegazzo,
M. Marta,
E. Napolitani,
P. Prati,
V. Rigato,
V. Roca
, et al. (7 additional authors not shown)
Abstract:
Classical novae are important contributors to the abundances of key isotopes, such as the radioactive ^{18}F, whose observation by satellite missions could provide constraints on nucleosynthesis models in novae. The ^{17}O(p,γ)^{18}F reaction plays a critical role in the synthesis of both oxygen and fluorine isotopes but its reaction rate is not well determined because of the lack of experimental…
▽ More
Classical novae are important contributors to the abundances of key isotopes, such as the radioactive ^{18}F, whose observation by satellite missions could provide constraints on nucleosynthesis models in novae. The ^{17}O(p,γ)^{18}F reaction plays a critical role in the synthesis of both oxygen and fluorine isotopes but its reaction rate is not well determined because of the lack of experimental data at energies relevant to novae explosions. In this study, the reaction cross section has been measured directly for the first time in a wide energy range Ecm = 200 - 370 keV appropriate to hydrogen burning in classical novae. In addition, the E=183 keV resonance strength, ωγ=1.67\pm0.12 \mueV, has been measured with the highest precision to date. The uncertainty on the ^{17}O(p,γ)^{18}F reaction rate has been reduced by a factor of 4, thus leading to firmer constraints on accurate models of novae nucleosynthesis.
△ Less
Submitted 24 October, 2012;
originally announced October 2012.
-
Preparation and characterisation of isotopically enriched Ta$_2$O$_5$ targets for nuclear astrophysics studies
Authors:
A. Caciolli,
D. A. Scott,
A. Di Leva,
A. Formicola,
M. Aliotta,
M. Anders,
A. Bellini,
D. Bemmerer,
C. Broggini,
M. Campeggio,
P. Corvisiero,
R. Depalo,
Z. Elekes,
Zs. Fülöp,
G. Gervino,
A. Guglielmetti,
C. Gustavino,
Gy. Gyürky,
G. Imbriani,
M. Junker,
M. Marta,
R. Menegazzo,
E. Napolitani,
P. Prati,
V. Rigato
, et al. (11 additional authors not shown)
Abstract:
The direct measurement of reaction cross sections at astrophysical energies often requires the use of solid targets of known thickness, isotopic composition, and stoichiometry that are able to withstand high beam currents for extended periods of time. Here, we report on the production and characterisation of isotopically enriched Ta$_2$O$_5$ targets for the study of proton-induced reactions at the…
▽ More
The direct measurement of reaction cross sections at astrophysical energies often requires the use of solid targets of known thickness, isotopic composition, and stoichiometry that are able to withstand high beam currents for extended periods of time. Here, we report on the production and characterisation of isotopically enriched Ta$_2$O$_5$ targets for the study of proton-induced reactions at the Laboratory for Underground Nuclear Astrophysics facility of the Laboratori Nazionali del Gran Sasso. The targets were prepared by anodisation of tantalum backings in enriched water (up to 66% in $^{17}$O and up to 96% in $^{18}$O). Special care was devoted to minimising the presence of any contaminants that could induce unwanted background reactions with the beam in the energy region of astrophysical interest. Results from target characterisation measurements are reported, and the conclusions for proton capture measurements with these targets are drawn.
△ Less
Submitted 1 October, 2012;
originally announced October 2012.
