Search

The appearance of like nucleon pair correlations in the ground state of spherical even-even nuclei is considered within a special Bogoliubov transformation. It is confirmed that in closed subshell nuclei superconducting pair correlations start to form if the coupling constant $G$ exceeds a certain threshold value. Rough upper and lower estimates are obtained for the threshold value. It is shown, that superconducting correlations exist in open subshell nuclei at any positive $G$. In this case, nucleon pairs are distributed over all subshells participating in the pairing interaction., Comment: 17 pages; JINR preprint E4-2024-13; submitted to PEPAN Letters (in Russian)

It is well known that whenever a class of structures $\mathcal{K}_1$ is interpretable in a class of structures $\mathcal{K}_2$, then the hereditary undecidability of (a fragment of) the theory of $\mathcal{K}_1$ implies the hereditary undecidability of (a suitable fragment of) the theory of $\mathcal{K}_2$. In the present paper, we construct a $\Sigma_1$-interpretation of the class of all finite bipartite graphs in the class of all pairs of equivalence relations on the same finite domain; from this we obtain the hereditary undecidability of the $\Sigma_2$-theory of the second class. Next, we construct a $\Sigma_1$-interpretation of the class of all pairs of equivalence relations on the same finite domain in the class of all pairs consisting of a linear ordering and an equivalence relation on the same finite domain; this gives us the hereditary undecidability of the $\Sigma_2$-theory of the second class. The corresponding results are, in a sense, optimal, since the $\Pi_2$-theories of the classes under consideration are decidable. Keywords: undecidability, elementary theories, prefix fragments, Comment: in Russian language

In this paper we study holomorphically homogeneous model submanifolds CR-type (1, 3) complex space $\mathbb C^4$. One finds moduli space of five-dimensional model surfaces Bloom-Graham type ((2, 1), (3, 1), (4, 1)). It is shown that there exists unique model surface of this type with property of holomorphical homogeneous, which is equivalent to tube surface $\mathcal C$ with affin homogeneous base. One describes and classifies with respect to model surfaces the orbits relative to the group of holomorhical automorphisms of $\mathcal C$, Comment: in Russian language

The note is devoted to multiple mixing, spectrum, rank and self-joinings of measure-preserving transformations. We recall famous open problems, discuss related questions and some known results. A hypothetical example of an automorphism of the class $MSJ(2)\setminus MSJ(3)$ has Lebesgue spectrum, infinite rank and does not have multiple mixing. If its spectrum is simple, then we get a solution to the problems of Banach, Rokhlin and del Junco-Rudolph. The existence of such an example, of course, seems unlikely, but any facts confirming the impossibility of this amazing situation have not yet been discovered. They not found even under the condition that its local rank is positive, which ensures the finite spectral multiplicity., Comment: 19 pages, in Russian language

By critically examining the traditional theory of homogeneous nucleation of precipitates in solid solutions, it is revealed that the theory's assertion regarding an increase in the nucleation free energy due to elastic strain associated with the difference in atomic volumes between the two phases is applicable to coherent precipitates, but becomes incorrect when applied to incoherent precipitates. This conclusion is obtained by accounting for thermal point defects in the matrix, which can be absorbed at the interface between an incoherent particle and the matrix during nucleation, thereby relieving elastic stresses. Accordingly, a new kinetic model based on the Reiss theory for binary nucleation is proposed for predicting the nucleation rate of incoherent precipitates by agglomeration of solute atoms and point defects, with a further extension to account for excess vacancies formed under non-equilibrium conditions of quenching experiments., Comment: Published in Russian Zhurnal Eksperimental'noi i Teoreticheskoi Fiziki 165 (2024) 214-225

The paper studies the quantum action for the five-dimensional real $\phi^3$-theory in the case of a general formulation using the background field method. The three-loop renormalization is performed with the usage of a cutoff regularization in the coordinate representation. The explicit form of the first three coefficients for the renormalization constants is presented. The absence of non-local singular contributions and partial results for the fourth correction are discussed., Comment: LaTeX, 20 pages, 5 figures. Firstly appeared in Russian, April 9, 2024, see https://www.pdmi.ras.ru/preprint/2024/24-05.html

In 1949 V.A. Rokhlin introduced into ergodic theory the k-fold mixing and puzzled the mathematical community with the problem of the mismatch of these invariants. Here's what Rokhlin wrote: "The proposed work arose from the author's attempts to solve the well-known spectral problem of the theory of dynamical systems: are there any metrically different dynamical systems with the same continuous (in particular, Lebesgue) spectrum? Using new metric invariants introduced for this purpose, the author tried to find among the ergodic automorphisms of compact commutative groups automorphisms of various metric types. It turned out, however, that for all the indicated automorphisms the new invariants are exactly the same." We discuss this long time open problem., Comment: in Russian language

The function $P(T)=\sum_{i=0}^\infty c_i T^i$ is admissible if $c_i\geq 0$, $\sum_{i=0}^\infty c_i\leq 1$. For any given set of admissible functions $P_1,\dots, P_k$ there is a unitary operator $T$ of dynamic origin such that the weak closure of its powers is a semigroup generated by the operators $0$, $T$, $P_1(T),\dots, P_k(T)$, $T^\ast$, $P_1(T^\ast ),\dots, P_k(T^\ast)$., Comment: in Russian language

This paper presents the experience of developing and utilizing computer simulations for student laboratory assignments in atomic physics, specifically focusing on emission atomic spectra. The fundamental component of each laboratory assignment is a computer simulator of a spectrograph, which displays atomic line spectra on the monitor screen. The simulator operates by converting the wavelength of radiation into an RGB triplet. Calibration of the spectrograph is conducted using the atomic spectrum of mercury. The configuration of setup parameters and experimental conditions is unique to each student conducting the laboratory assignment using the simulator. Individualized parameters, stored in Google Sheets, are transferred to the HTML template of the laboratory assignment via the Google Apps Scripts service. This individualization of simulator parameters serves to encourage students to engage in independent work., Comment: 17 pages, in Russian, 9 figures

We generalize methods, developed by S. Ghilardi, and apply them to a subsystem J$_2$ of bimodal provability logic GLB. We describe projective formulas in J$_2$ in terms of Kripke semantics and prove that logic J$_2$ has finitary unification type. As an application, we show that admissibility problem for J$_2$ is decidable., Comment: In Russian, 20 pages