arXiv subjects

Z. Z. Ren

Publications and source records attributed to Z. Z. Ren.

12 recordsLinked to original sources

arXiv2026

Advances in laser-assisted nuclear decay and nuclear excitation

From the synthesis and evolution of the elements to the celestial nuclear processes of stellar explosions and neutron star mergers, nuclear physics is the foundation of our understanding of the universe. After more than a century of progress, the field of nuclear physics remains vibrant. The rapid advancement of laser technology has opened unprecedented avenues in nuclear physics, driven by the interdisciplinary convergence of laser physics, nuclear structure, plasma science, and quantum dynamics. This emerging field enables studies on laser-induced nuclear excitation, laser assisted nuclear decay, and precision manipulation of nuclear isomers for optical clocks. This review comprehensively examines the research achievements over the past decade regarding the influence of lasers on radioactive charged particle emissions and nuclear excitation. Regarding theoretical developments, the review details various methods used to evaluate the interactions between lasers and nuclei, including the time-dependent Schr\"odinger equation for $\alpha$ decay, proton radioactivity, and two-proton radioactivity and Fermi's golden rule for nuclear excitation as well as the application and advancement of various theoretical models and approximation methods. In experimental research, the review synthesizes significant breakthroughs in laser induced nuclear excitation experiments, particularly emphasizing the excitation of the $^{229}$Th, $^{83}$Kr, and $^{45}$Sc. These achievements provide essential groundwork for future breakthroughs in both fundamental nuclear science and its broader technological applications.

physics.plasm-ph↗

arXiv2025

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

Large language models have made significant progress in mathematical reasoning, which serves as an important testbed for AI and could impact scientific research if further advanced. By scaling reasoning with reinforcement learning that rewards correct final answers, LLMs have improved from poor performance to saturating quantitative reasoning competitions like AIME and HMMT in one year. However, this approach faces fundamental limitations. Pursuing higher final answer accuracy doesn't address a key issue: correct answers don't guarantee correct reasoning. Moreover, many mathematical tasks like theorem proving require rigorous step-by-step derivation rather than numerical answers, making final answer rewards inapplicable. To push the limits of deep reasoning, we believe it is necessary to verify the comprehensiveness and rigor of mathematical reasoning. Self-verification is particularly important for scaling test-time compute, especially for open problems without known solutions. Towards self-verifiable mathematical reasoning, we investigate how to train an accurate and faithful LLM-based verifier for theorem proving. We then train a proof generator using the verifier as the reward model, and incentivize the generator to identify and resolve as many issues as possible in their own proofs before finalizing them. To maintain the generation-verification gap as the generator becomes stronger, we propose to scale verification compute to automatically label new hard-to-verify proofs, creating training data to further improve the verifier. Our resulting model, DeepSeekMath-V2, demonstrates strong theorem-proving capabilities, achieving gold-level scores on IMO 2025 and CMO 2024 and a near-perfect 118/120 on Putnam 2024 with scaled test-time compute.

cs.AI↗

arXiv2025

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3. The cold-start training procedure begins by prompting DeepSeek-V3 to decompose complex problems into a series of subgoals. The proofs of resolved subgoals are synthesized into a chain-of-thought process, combined with DeepSeek-V3's step-by-step reasoning, to create an initial cold start for reinforcement learning. This process enables us to integrate both informal and formal mathematical reasoning into a unified model. The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching 88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench. In addition to standard benchmarks, we introduce ProverBench, a collection of 325 formalized problems, to enrich our evaluation, including 15 selected problems from the recent AIME competitions (years 24-25). Further evaluation on these 15 AIME problems shows that the model successfully solves 6 of them. In comparison, DeepSeek-V3 solves 8 of these problems using majority voting, highlighting that the gap between formal and informal mathematical reasoning in large language models is substantially narrowing.

cs.CL↗

arXiv2024

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

We introduce DeepSeek-Prover-V1.5, an open-source language model designed for theorem proving in Lean 4, which enhances DeepSeek-Prover-V1 by optimizing both training and inference processes. Pre-trained on DeepSeekMath-Base with specialization in formal mathematical languages, the model undergoes supervised fine-tuning using an enhanced formal theorem proving dataset derived from DeepSeek-Prover-V1. Further refinement is achieved through reinforcement learning from proof assistant feedback (RLPAF). Beyond the single-pass whole-proof generation approach of DeepSeek-Prover-V1, we propose RMaxTS, a variant of Monte-Carlo tree search that employs an intrinsic-reward-driven exploration strategy to generate diverse proof paths. DeepSeek-Prover-V1.5 demonstrates significant improvements over DeepSeek-Prover-V1, achieving new state-of-the-art results on the test set of the high school level miniF2F benchmark ($63.5\%$) and the undergraduate level ProofNet benchmark ($25.3\%$).

cs.CL↗

arXiv2024

Alpha-like correlations in $^{20}$Ne, comparison of quartetting wave function and THSR approaches

$^{20}$Ne can be considered as a double-magic $^{16}$O core nucleus surrounded by four nucleons, the constituents of an $\alpha$-like quartet. Similar to other nuclei ($^{212}$Po, $^{104}$Ti, etc.) with a quartet on top of a double-magic core nucleus, significant $\alpha$-like correlations are expected. Correlations in the ground state of $^{20}$Ne are investigated using different approaches. The quartetting wave function approach (QWFA) predicts a large $\alpha$-like cluster contribution near the surface of the nuclei. The Tohsaki-Horiuchi-Schuck-R\"opke (THSR) approach describes $\alpha$-like clustering in nuclear systems. The results of the QWFA in the Thomas-Fermi and shell-model approximation are compared with THSR calculations for the container model. Results for the $\alpha$ formation probability and the rms radii are shown.

nucl-th↗

arXiv2022

Nucleon-pair truncation of the shell model for medium-heavy nuclei

Background: Computationally tractable models of atomic nuclei is a long-time goal of nuclear structure physics. A flexible framework which easily includes excited states and many-body correlations is the configuration-interaction shell model (SM), but the exponential growth of the basis means one needs an efficient truncation scheme, ideally one that includes both deformation and pairing correlations. Purpose: We propose an efficient truncation scheme of the SM: starting from a pair condensate variationally defined by Hartree-Fock single-particle states and the particle-number conserved Bardeen-Cooper-Schrieffer (NBCS) approximation, we carry out projection of states with good angular momentum. Methods: After generating Hartree-Fock single-particle states with Kramers degeneracy in a SM space, we optimize the pair amplitudes in the NBCS by minimizing the energy, and then use linear algebra projection (LAP) of states with good angular momentum. Both NBCS and LAP are computationally fast. Results: Our calculations yield good agreement with full configuration-interaction SM calculations for low-lying states of transitional and rotational nuclei with axially symmetric and triaxial deformation in medium- and heavy-mass regions: $^{44,46,48}$Ti, $^{48,50}$Cr, $^{52}$Fe, $^{60,62,64}$Zn, $^{66,68}$Ge, $^{68}$Se, and $^{108,110}$Xe. We predict low-lying states of $^{112-114}\textrm{Ba}$ and $^{116-120}\textrm{Ce}$, nuclei difficult to reach by large-scale SM calculations. Conclusions: Both pair correlation and the configuration mixing between different intrinsic states play a key role in reproducing collectivity and shape coexistence, demonstrating the utility of this truncation scheme of the SM to study transitional and deformed nuclei.

nucl-th↗

arXiv2021

New $\alpha$-Emitting Isotope $^{214}$U and Abnormal Enhancement of $\alpha$-Particle Clustering in Lightest Uranium Isotopes

A new $\alpha$-emitting isotope $^{214}$U, produced by fusion-evaporation reaction $^{182}$W($^{36}$Ar, 4n)$^{214}$U, was identified by employing the gas-filled recoil separator SHANS and recoil-$\alpha$ correlation technique. More precise $\alpha$-decay properties of even-even nuclei $^{216,218}$U were also measured in reactions of $^{40}$Ar, $^{40}$Ca with $^{180, 182, 184}$W targets. By combining the experimental data, improved $\alpha$-decay reduced widths $\delta^2$ for the even-even Po--Pu nuclei in the vicinity of magic neutron number $N=126$ were deduced. Their systematic trends are discussed in terms of $N_{p}N_{n}$ scheme in order to study the influence of proton-neutron interaction on $\alpha$ decay in this region of nuclei. It is strikingly found that the reduced widths of $^{214,216}$U are significantly enhanced by a factor of two as compared with the $N_{p}N_{n}$ systematics for the $84 \leq Z \leq 90$ and $N<126$ even-even nuclei. The abnormal enhancement is interpreted by the strong monopole interaction between the valence protons and neutrons occupying the $\pi 1f_{7/2}$ and $\nu 1f_{5/2}$ spin-orbit partner orbits, which is supported by a large-scale shell model calculation.

nucl-ex↗

arXiv2016

Isomerism in the "south-east" of $^{132}$Sn and a predicted neutron-decaying isomer in $^{129}$Pd

Excited states in neutron-rich nuclei located south-east of $^{132}$Sn are investigated by shell-model calculations. A new shell-model Hamiltonian is constructed for the present study. The proton-proton and neutron-neutron interactions of the Hamiltonian are obtained through the existing CD-Bonn $G$ matrix results, while the proton-neutron interaction across two major shells is derived from the monopole based universal interaction plus the M3Y spin-orbit force. The present Hamiltonian can reproduce well the experimental data available in this region, including one-neutron separation energies, level energies and the experimental $B(E2)$ values of isomers in $^{134,136,138}$Sn, $^{130}$Cd, and $^{128}$Pd. New isomers are predicted in this region, $e.g.$ in $^{135}$Sn, $^{131}$Cd, $^{129}$Pd, $^{132,134}$In and $^{130}$Ag, in which almost no excited states are known experimentally yet. In the odd-odd $^{132,134}$In and $^{130}$Ag, the predicted very long $E2$ life-times of the low-lying $5^{-}$ states are discussed, demanding more information on the related proton-neutron interaction. The low-lying states of $^{132}$In are discussed in connection with the recently observed $\gamma$ rays. The predicted $19/2^{-}$ isomer in $^{129}$Pd could decay by both electromagnetic transitions and neutron emission with comparable partial life-times, making it a good candidate for neutron radioactivity, a decay mode which is yet to be discovered.

nucl-th↗

arXiv2010

Sensitivity of deexcitation energies of superdeformed secondary minima to the density dependence of symmetry energy with the relativistic mean-field theory

The relationship between deexcitation energies of superdeformed secondary minima relative to ground states and the density dependence of the symmetry energy is investigated for heavy nuclei using the relativistic mean field (RMF) model. It is shown that the deexcitation energies of superdeformed secondary minima are sensitive to differences in the symmetry energy that are mimicked by the isoscalar-isovector coupling included in the model. With deliberate investigations on a few Hg isotopes that have data of deexcitation energies, we find that the description for the deexcitation energies can be improved due to the softening of the symmetry energy. Further, we have investigated deexcitation energies of odd-odd heavy nuclei that are nearly independent of pairing correlations, and have discussed the possible extraction of the constraint on the density dependence of the symmetry energy with the measurement of deexcitation energies of these nuclei.

nucl-th↗

arXiv2007

Examining exotic structure of proton-rich nucleus $^{23}$Al

The longitudinal momentum distribution (P_{//}) of fragments after one-proton removal from ^{23} Al and reaction cross sections (σ_R) for ^{23,24} Al on carbon target at 74A MeV have been measured. The ^{23,24} Al ions were produced through projectile fragmentation of 135 A MeV ^{28} Si primary beam using RIPS fragment separator at RIKEN. P_{//} is measured by a direct time-of-flight (TOF) technique, while σ_R is determined using a transmission method. An enhancement in σ_R is observed for ^{23} Al compared with ^{24} Al. The P_{//} for ^{22} Mg fragments from ^{23} Al breakup has been obtained for the first time. FWHM of the distributions has been determined to be 232 \pm 28 MeV/c. The experimental data are discussed by using Few-Body Glauber model. Analysis of P_{//} demonstrates a dominant d-wave configuration for the valence proton in ground state of ^{23} Al, indicating that ^{23} Al is not a proton halo nucleus.

nucl-ex↗

arXiv1997

Equation of state of asymmetric nuclear matter and collisions of neutron-rich nuclei

The ratio of pre-equilibrium neutrons to protons from collisions of neutron-rich nuclei is studied as a function of their kinetic energies. This ratio is found to be sensitive to the density dependence of the nuclear symmetry energy, but is independent of the compressibility of symmetric nuclear matter and the in-medium nucleon-nucleon cross sections. The experimental measurement of this ratio thus provides a novel means for determining the nuclear equation of state of asymmetric nuclear matter.

nucl-th↗

arXiv1996

Isospin dependence of collective flow in heavy-ion collisions at intermediate energies

Within the framework of an isospin-dependent Boltzmann-Uehling-Uhlenbeck (BUU) model using initial proton and neutron densities calculated from the nonlinear relativistic mean-field (RMF) theory, we compare the strength of transverse collective flow in reactions $^{48}Ca+^{58}Fe$ and $^{48}Cr+^{58}Ni$, which have the same mass number but different neutron/proton ratios. The neutron-rich system ($^{48}Ca+^{58}Fe$) is found to show significantly stronger negative deflection and consequently has a higher balance energy, especially in peripheral collisions. NOTE ADDED IN PROOF: The new phenomenon predicted in this work has just been confirmed by an experiment done by G.D. Westfall et al. using the NSCL/MSU radioactive beam facility and a spartan soccer. A paper by R. Pak et al. is submitted to PRL to report the experimental result.

nucl-th↗