?
Polytime embedding of intuitionistic modal logics into their one-variable fragments
Journal of Logic and Computation. 2025. Vol. 35. No. 4. Article exae077.
Rybakov M., Shkatov D.
We prove that propositional intuitionistic modal logics FS and MIPC are
polynomial-time embeddable, and hence polynomial-time equivalent to, their own
one-variable fragments. The method of proof applies to a wide range of intuitionistic
modal logics characterizable by two-dimensional frames, among them intuitionistic
analogues of such classical modal logics as K4 and S4.
Keywords: intuitionistic modal logic
Publication based on the results of:
A. V. Pereskokov, Journal of Mathematical Sciences 2026 Vol. 302 No. 4 P. 531–545
We consider the Zeeman effect problem for the hydrogen atom in a magnetic field using
irreducible representations of the Karasev–Novikova algebra with quadratic commutation
relations. We find the asymptotics of a series of eigenvalues and the corresponding
asymptotic eigenfunctions near the upper boundaries of spectral clusters. ...
Added: October 1, 2026
Yakovlev K., Puchkin N., Journal of Complexity 2026 Vol. 97
We present a theory for simultaneous approximation of the score function and its derivatives, enabling the handling of data distributions with low-dimensional structure and unbounded support. Our approximation error bounds match those in the literature while relying on assumptions that relax the usual bounded support requirement. Crucially, our bounds are free from the curse of ...
Added: September 30, 2026
Zlotnik A., Mathematical notes 2026 Vol. 120 No. 6 P. 1005–1009
Numerical methods for solving systems of gas dynamic equations are the subject of a vast literature. A special family of spatially symmetric conservative difference methods based on preliminary kinetic, or quasi-gasdynamic (QGD), regularization of these equations was constructed and successfully tested. A pressing issue is the construction of numerical methods that are not only conservative ...
Added: September 30, 2026
Beldiev I., Тимашёв Д. А., Алгебра и анализ 2026 Т. 38 № 5 С. 1–10
An algebraic variety X is called a homogeneous space if there exists a transitive regular action of an algebraic group on X. We prove inequalities between the dimension of a homogeneous space of a linear algebraic group and its Picard number. ...
Added: September 30, 2026
Planche L., Ilina A., Jay F. et al., Molecular Biology and Evolution 2026 Article 235
Admixture between populations is a common feature of human history. Admixture events introduce new genetic variation that can fuel evolution. Characterizing the significance of admixture events on the evolution of populations across various species is of great interest to evolutionary geneticists. Local Ancestry Inference (LAI) methods infer genetic ancestry of an individual at a particular ...
Added: September 30, 2026
Glutsyuk A., Ilyashenko Y., Izvestiya. Mathematics 2026 Vol. 90 No. 1 P. 73–89
We show that a completely non-degenerate B-group is uniquely determined by its factor: two such groups with conformally equivalent factors are Möbius conjugate. A similar property is inherent to the quasi-Fuchsian groups but not to degenerate B-groups. We also study the factor of a B-group as a triple: the main factor, the marked characteristic complex, and a homotopy class of ...
Added: September 30, 2026
Tuzhilin M., Автоматика и телемеханика 2026 № 11 С. 84–97
Предлагается обобщение двух известных инвариантов реальных сетей: степени и кси-центральности. Строится серия центральностей, основанная на матрице Лапласа сети и параметризованная параметром j со следующими свойствами: во-первых, при j = 0, 1 эти центральности совпадают со степенью и ксицентральностью; во-вторых, их распределение хорошо приближается распределением Вейбулла; в-третьих, для реальных сетей они имеют правостороннюю асимметрию, а для ...
Added: September 29, 2026
Melnikov I., Pelinovsky E., Доклады Российской академии наук. Физика, технические науки (ранее - Доклады Академии Наук. Физика) 2026 Т. 529 С. 29–36
Conditions for the emergence of pyramidal solitary waves (solitary waves possessing more than two inflection points) are presented for a family of generalized Korteweg – de Vries (KdV) equations. For the generalized Gardner equation, it is shown that pyramidal solitons are unstable. The decay of initial perturbations close to pyramidal solitary waves is demonstrated numerically. ...
Added: September 29, 2026
Merkulov S., Journal of Pure and Applied Algebra 2026 Vol. 230 P. 1–19
We study the dual cyclic Hochschild complex $Cyc(A,\K)$ of a
(possibly, infinite-dimensional) $A_\infty$-algebra $(A,\mu)$ and prove
that any pre-Calabi-Yau extension $\pi$ of the given $A_\infty$ structure $\mu$ in $A$
induces on the cyclic cohomology of $(A,\mu)$ a representation of a new dg properad of {\em oriented}\, ribbon graphs. We compute the cohomology of that properad in terms of ...
Added: September 29, 2026
Хрыстик М. А., European Journal of Combinatorics 2026 Vol. 136 P. 104393–104393
Let 𝑓𝑊(𝑛) be the number of different factors of length 𝑛 appearing in a word 𝑊. In a classical result by Morse and Hedlund, a characterization is given for infinite words satisfying the condition 𝑓𝑊(𝑛)≤𝑛 for some 𝑛∈ℕ. In this paper, we describe the form of finite words that satisfy the condition 𝑓𝑊(𝑛)≤𝑛. We study ...
Added: September 28, 2026
Teregulov T., Loubenets E. R., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
We develop a new three-party quantum secret-sharing (QSS) protocol based on a three-qubit W state. This protocol encodes the secret-sequence bits using X gates and employs randomly selected Hadamard operations and measurement bases to generate information and security-test rounds. We evaluate the efficiency of the proposed protocol and analyze its security against an internal adversary ...
Added: September 28, 2026
Guterman A., Jonoska N., Kreines E. et al., Proceedings of the Edinburgh Mathematical Society 2026 Vol. 69 No. 3 P. 1041–1057
We provide four equivalent combinatorial conditions for a simple assembly graph (rigid vertex graph where all vertices are of degree 1 or 4) to have the largest number of Hamiltonian sets of polygonal paths relative to its size. These conditions serve to prove the conjecture that such a maximum, which is equal to 𝐹_(2𝑛+1) −1, ...
Added: September 27, 2026
Shishkina E., Современная математика. Фундаментальные направления 2026 Т. 72 № 1 С. 52–67
In this paper, we construct a weighted Sobolev space of fractional order based on the
generalized Bessel potential.We apply these results to the analysis of the singular fractional Schr¨odinger
equation. To solve the Cauchy problem for this equation, we prove an estimate that relates the norm of
the solution to the norm of the initial condition in the ...
Added: September 26, 2026
Shishkina E., Computational Mathematics and Mathematical Physics 2026 Vol. 66 No. 5 P. 804–815
This article demonstrates that the Laplace–Bessel operator generates a strongly continuous
semigroup on a weighted Lebesgue space. Using this semigroup, we define the fractional Laplace–
Bessel operator via Balakrishnan’s formula. Furthermore, we derive three distinct representations for
fractional powers of the negative Laplace–Bessel operator. ...
Added: September 26, 2026
Kolokoltsov V., Shishkina E., Journal of Theoretical Probability 2026 P. 39–83
In this paper, we introduce a new construction of fractional derivatives and integrals
with respect to a function, based on a matrix approach. We believe that this is a powerful
tool in both analytical and numerical calculations.We begin with the differential
operator with respect to a function that generates a semigroup. By discretizing this
operator, we obtain a matrix ...
Added: September 26, 2026
Petr Kucheriaviy, Bulletin of the Australian Mathematical Society 2026
We prove that an analogue of Rogers’ theorem on sieving holds for an order if and only if the order is a Dedekind domain. We also prove that it holds for a finite commutative ring if and only if the ring is a direct product of local rings with linearly ordered ideals. ...
Added: September 25, 2026
Пелевин Ф. Е., Математические заметки 2026 Т. 120 № 1 С. 159–163
Две не равные тождественно нулю функции (последовательности элементов некоторого поля) будем называть эквивалентными, если они удовлетворяют функциональному уравнению типа теорем сложения тэта-функций. Основной результат работы состоит в том, что рассматриваемое отношение действительно является отношением эквивалентности. ...
Added: September 25, 2026
Shimanogov I. N., Vyalyi M., Siberian Mathematical Journal 2026 Vol. 67 No. 5 P. 1203–1212
We consider a class of Boolean algebras formed by intersections of regular languages with
a given language. In the case where such an algebra is isomorphic to the algebra of regular languages,
we prove the existence of an isomorphism that is computable using oracles for the regular realizability
problem and the infinite regular realizability problem. This result yields ...
Added: September 25, 2026
Ramazanov I., Bukh A., Shepelev Igor A., Chaos 2026 No. 36 P. 083150–083150
We investigate how stochastic Poisson impulsive forcing influences the spatiotemporal dynamics of a two-dimensional network of Hindmarsh–Rose neurons. Unlike continuous noise, impulsive forcing introduces discrete, state-dependent perturbations, making the system response highly sensitive to both the statistics and the spatial structure of the input. In most of the parameter space, stochastic impulses destabilize the initial ...
Added: September 24, 2026
Levashev V., / Series arXiv "math". 2026. No. 2609.06010.
We prove that continuous A-bilinear pairings on the ring of Laurent series that are invariant under continuous automorphisms coincide, up to a constant, with the pairing given by the residue of a differential form over any commutative associative ring with identity. ...
Added: September 24, 2026
Speranski S. O., Journal of Logic and Computation 2021 Vol. 31 No. 5 P. 1330–1355
The idea of treating negation as a modality manifests itself in various logical systems, especially in Došen's propositional logic N, whose negation is weaker than that of Johansson's minimal logic. Among the interesting extensions of N are the propositional logics N* and Hype; the former was proposed in [Cabalar et al. 2006], while the latter has ...
Added: December 26, 2025
Speranski S. O., Siberian Electronic Mathematical Reports 2022 Vol. 19 No. 2 P. 562–577
This paper collects some observations about Došen's logic N, where negation is treated as a modal operator, and its extensions. We shall see what happens when we add the contraposition axiom to several important extensions of N, show that certain extensions of N are canonical, and also revisit the method of filtration. ...
Added: December 26, 2025
Rybakov M., Shkatov D., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 73–74.
We obtain poly-time embeddings of the intuitionistic modal logics FS and MIPC into their positive one-variable fragments. ...
Added: July 7, 2023