477 research outputs found

    SU(2) Skyrme Vortices

    Get PDF
    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

    Full text link
    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

    Full text link
    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

    Full text link
    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

    Get PDF
    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. Inter­moleculat C—H⋯O and C—H⋯N hydrogen bonds occur. In the crystal, mol­ecules 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

    Get PDF
    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 (TCT_C = 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 TCT_C considering environmental screening by ~30%, allowing the propagation of spin waves at higher temperatures
    corecore