520 research outputs found

    The lattice Schwarzian KdV equation and its symmetries

    Full text link
    In this paper we present a set of results on the symmetries of the lattice Schwarzian Korteweg-de Vries (lSKdV) equation. We construct the Lie point symmetries and, using its associated spectral problem, an infinite sequence of generalized symmetries and master symmetries. We finally show that we can use master symmetries of the lSKdV equation to construct non-autonomous non-integrable generalized symmetries.Comment: 11 pages, no figures. Submitted to Jour. Phys. A, Special Issue SIDE VI

    Muon spin rotation/relaxation measurements of the non-centrosymmetric superconductor Mg10Ir19B16

    Full text link
    We have searched for time-reversal symmetry breaking fields in the non-centrosymmetric superconductor Mg10_{10}Ir19_{19}B16_{16} via muon spin relaxation in zero applied field, and we measured the temperature dependence of the superfluid density by muon spin rotation in transverse field to investigate the superconducting pairing symmetry in two polycrystalline samples of signficantly different purities. In the high purity sample, we detected no time-reversal symmetry breaking fields greater than 0.05 G. The superfluid density was also found to be exponentially-flat as T→\to 0, and so can be fit to a single-gap BCS model. In contrast, the lower purity sample showed an increase in the zero-field μ\muSR relaxation rate below Tc_c corresponding to a characteristic field strength of 0.6 G. While the temperature-dependence of the superfluid density was also found to be consistent with a single-gap BCS model, the magnitude as T→\to 0 was found to be much lower for a given applied field than in the case of the high purity sample. These findings suggest that the dominant pairing symmetry in high quality Mg10_{10}Ir19_{19}B16_{16} samples corresponds to the spin-singlet channel, while sample quality drastically affects the superconducting properties of this system.Comment: 6 pages, 5 figures, revised version resubmitted to PR

    A survey on how preregistration affects the research workflow: better science but more work

    Get PDF
    The preregistration of research protocols and analysis plans is a main reform innovation to counteract confirmation bias in the social and behavioural sciences. While theoretical reasons to preregister are frequently discussed in the literature, the individually experienced advantages and disadvantages of this method remain largely unexplored. The goal of this exploratory study was to identify the perceived benefits and challenges of preregistration from the researcher’s perspective. To this end, we surveyed 355 researchers, 299 of whom had used preregistration in their own work. The researchers indicated the experienced or expected effects of preregistration on their workflow. The results show that experiences and expectations are mostly positive. Researchers in our sample believe that implementing preregistration improves or is likely to improve the quality of their projects. Criticism of preregistration is primarily related to the increase in work-related stress and the overall duration of the project. While the benefits outweighed the challenges for the majority of researchers with preregistration experience, this was not the case for the majority of researchers without preregistration experience. The experienced advantages and disadvantages identified in our survey could inform future efforts to improve preregistration and thus help the methodology gain greater acceptance in the scientific community

    Sound and complete axiomatizations of coalgebraic language equivalence

    Get PDF
    Coalgebras provide a uniform framework to study dynamical systems, including several types of automata. In this paper, we make use of the coalgebraic view on systems to investigate, in a uniform way, under which conditions calculi that are sound and complete with respect to behavioral equivalence can be extended to a coarser coalgebraic language equivalence, which arises from a generalised powerset construction that determinises coalgebras. We show that soundness and completeness are established by proving that expressions modulo axioms of a calculus form the rational fixpoint of the given type functor. Our main result is that the rational fixpoint of the functor FTFT, where TT is a monad describing the branching of the systems (e.g. non-determinism, weights, probability etc.), has as a quotient the rational fixpoint of the "determinised" type functor Fˉ\bar F, a lifting of FF to the category of TT-algebras. We apply our framework to the concrete example of weighted automata, for which we present a new sound and complete calculus for weighted language equivalence. As a special case, we obtain non-deterministic automata, where we recover Rabinovich's sound and complete calculus for language equivalence.Comment: Corrected version of published journal articl

    Static magnetic order of Sr4_{4}A2_{2}O6_{6}Fe2_{2}As2_{2} (A = Sc and V) revealed by local probes

    Full text link
    Static magnetic order of quasi two-dimensional FeAs compounds Sr4A2O6-xFe2As2, with A = Sc and V, has been detected by 57Fe Moessbauer and muon spin relaxation ({\mu}SR) spectroscopies. The non-superconducting stoichiometric (x = 0) A = Sc system exhibits a static internal/hyperfine magnetic field both at the 57Fe and {\mu}+ sites, indicating antiferromagnetic order of Fe moments below TN = 35 K with ~ 0.1 Bohr magneton per Fe at T = 2 K. The superconducting and oxygen deficient (x = 0.4) A = V system exhibits a static internal field only at the {\mu}+ site below TN ~ 40 K, indicating static magnetic order of V moments co-existing with superconductivity without freezing of Fe moments. These results suggest that the 42622 FeAs systems belong to the same paradigm with the 1111 and 122 FeAs systems with respect to magnetic behavior of Fe moments.Comment: 4 pages 4 figures: for information, contact [email protected]
    • …
    corecore