551 research outputs found

    Computational Complexity of Synchronization under Regular Commutative Constraints

    Full text link
    Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full classification of the computational complexity of the constraint synchronization problem. Depending on the constraint language, our problem becomes PSPACE-complete, NP-complete or polynomial time solvable. In addition, we derive a polynomial time decision procedure for the complexity of the constraint synchronization problem, given some constraint automaton accepting a commutative language as input.Comment: Published in COCOON 2020 (The 26th International Computing and Combinatorics Conference); 2nd version is update of the published version and 1st version; both contain a minor error, the assumption of maximality in the NP-c and PSPACE-c results (propositions 5 & 6) is missing, and of incomparability of the vectors in main theorem; fixed in this version. See (new) discussion after main theore

    Probing microwave fields and enabling in-situ experiments in a transmission electron microscope.

    Get PDF
    A technique is presented whereby the performance of a microwave device is evaluated by mapping local field distributions using Lorentz transmission electron microscopy (L-TEM). We demonstrate the method by measuring the polarisation state of the electromagnetic fields produced by a microstrip waveguide as a function of its gigahertz operating frequency. The forward and backward propagating electromagnetic fields produced by the waveguide, in a specimen-free experiment, exert Lorentz forces on the propagating electron beam. Importantly, in addition to the mapping of dynamic fields, this novel method allows detection of effects of microwave fields on specimens, such as observing ferromagnetic materials at resonance

    Do material discontinuities in silica affect vibration modes?

    Get PDF
    Structural properties of bioinorganic composites are of current interest in the areas of drug delivery, bone repair and biomimetics. In such composite systems, structural analysis is enhanced when we combine methods of spectroscopy and simulation. Depending on size and shape, structural discontinuities of inorganic matter may modulate the optical response of a bound molecule. Using Density Functional Theory we explore the effects of a local field next to the surface of a silica cluster on frequencies of methyl stretching modes of associated methanols. Computation results predict that the electrostatic potential modulated by structural discontinuities of silica should not contribute to any systematic frequency shifts for normal modes of a guest molecule. Regardless of position, the methyl stretching modes of methanol demonstrate sensitivity only to the local chemistry of bonding with silanols, which may lead either to a low or to high frequency shift for vibrations. In support, experimental studies of deuterated methanol at impurity levels in water show uniform broadening of resonances of Carbon–Deuterium stretching modes in the presence of both crystalline and amorphous silica nanoparticles. The significance of these findings is that the spectral responses of guest molecules on such surfaces should not be subject to bias introduced by edge effects

    On the Number of Synchronizing Colorings of Digraphs

    Full text link
    We deal with kk-out-regular directed multigraphs with loops (called simply \emph{digraphs}). The edges of such a digraph can be colored by elements of some fixed kk-element set in such a way that outgoing edges of every vertex have different colors. Such a coloring corresponds naturally to an automaton. The road coloring theorem states that every primitive digraph has a synchronizing coloring. In the present paper we study how many synchronizing colorings can exist for a digraph with nn vertices. We performed an extensive experimental investigation of digraphs with small number of vertices. This was done by using our dedicated algorithm exhaustively enumerating all small digraphs. We also present a series of digraphs whose fraction of synchronizing colorings is equal to 11/kd1-1/k^d, for every d1d \ge 1 and the number of vertices large enough. On the basis of our results we state several conjectures and open problems. In particular, we conjecture that 11/k1-1/k is the smallest possible fraction of synchronizing colorings, except for a single exceptional example on 6 vertices for k=2k=2.Comment: CIAA 2015. The final publication is available at http://link.springer.com/chapter/10.1007/978-3-319-22360-5_1

    Topological Crystalline Insulators in the SnTe Material Class

    Get PDF
    Topological crystalline insulators are new states of matter in which the topological nature of electronic structures arises from crystal symmetries. Here we predict the first material realization of topological crystalline insulator in the semiconductor SnTe, by identifying its nonzero topological index. We predict that as a manifestation of this nontrivial topology, SnTe has metallic surface states with an even number of Dirac cones on high-symmetry crystal surfaces such as {001}, {110} and {111}. These surface states form a new type of high-mobility chiral electron gas, which is robust against disorder and topologically protected by reflection symmetry of the crystal with respect to {110} mirror plane. Breaking this mirror symmetry via elastic strain engineering or applying an in-plane magnetic field can open up a continuously tunable band gap on the surface, which may lead to wide-ranging applications in thermoelectrics, infrared detection, and tunable electronics. Closely related semiconductors PbTe and PbSe also become topological crystalline insulators after band inversion by pressure, strain and alloying.Comment: submitted on Feb. 10, 2012; to appear in Nature Communications; 5 pages, 4 figure
    corecore