477 research outputs found
SU(2) Skyrme Vortices
A regular method for constructing vortex-like solutions with cylindrical
symmetry to the equations of the SU(2) Skyrme chiral model is proposed. A
numerical estimate for the length density of mass is given
On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics
We obtain poly-time embeddings of the intuitionistic modal logics FS and MIPC
into their positive one-variable fragments.Comment: Semantical and Computational Aspects of Non-Classical Logics (Moscow
+ Online, June 13-17, 2023), Steklov International Mathematical Center,
Moscow, 202
Multiple Conclusion Rules in Logics with the Disjunction Property
We prove that for the intermediate logics with the disjunction property any
basis of admissible rules can be reduced to a basis of admissible m-rules
(multiple-conclusion rules), and every basis of admissible m-rules can be
reduced to a basis of admissible rules. These results can be generalized to a
broad class of logics including positive logic and its extensions, Johansson
logic, normal extensions of S4, n-transitive logics and intuitionistic modal
logics
Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames
The paper investigates algorithmic complexity of monadic multimodal predicate
logics with equality over finite Kripke frames or classes of finite Kripke
frames. Precise complexity bounds for monadic logics of classes of Kripke
frames with finitely many possible worlds are obtained.Comment: Semantical and Computational Aspects of Non-Classical Logics (Moscow
+ Online, June 13-17, 2023), Steklov International Mathematical Center,
Moscow, 202
4-Benzyl-3-[(1-oxidoethylidene)amino]-1-phenyl-4,5-dihydro-1H-1,2,4-triazol-5-iminium
The title compound, C17H17N5O, exists in the zwitterionic form with the amide group deprotonated. The mean planes of the 1,2,4-triazole and N-phenyl rings form a dihedral angle of 39.14 (8)°. The N atom of the amino group adopts a trigonal configuration. Intermoleculat C—H⋯O and C—H⋯N hydrogen bonds occur. In the crystal, molecules are linked into a two-dimensional network parallel to (10) by N—H⋯O and N—H⋯N hydrogen bonds. C—H⋯N contacts are also observed
Magnon straintronics in the 2D van der Waals ferromagnet CrSBr from first-principles
The recent isolation of two-dimensional (2D) magnets offers tantalizing
opportunities for spintronics and magnonics at the limit of miniaturization.
One of the key advantages of atomically-thin materials is their outstanding
deformation capacity, which provides an exciting avenue to control their
properties by strain engineering. Herein, we investigate the magnetic
properties, magnon dispersion and spin dynamics of the air-stable 2D magnetic
semiconductor CrSBr ( = 146 K) under mechanical strain using
first-principles calculations. Our results provide a deep microscopic analysis
of the competing interactions that stabilize the long-range ferromagnetic order
in the monolayer. We showcase that the magnon dynamics of CrSBr can be modified
selectively along the two main crystallographic directions as a function of
applied strain, probing the potential of this quasi-1D electronic system for
magnon straintronics applications. Moreover, we predict a strain-driven
enhancement of considering environmental screening by ~30%, allowing the
propagation of spin waves at higher temperatures
- …