Optical diode based on the chirality of guided photons

Photons are nonchiral particles: their handedness can be both left and right. However, when light is transversely confined, it can locally exhibit a transverse spin whose orientation is fixed by the propagation direction of the photons. Confined photons thus have chiral character. Here, we employ this to demonstrate nonreciprocal transmission of light at the single-photon level through a silica nanofibre in two experimental schemes. We either use an ensemble of spin-polarised atoms that is weakly coupled to the nanofibre-guided mode or a single spin-polarised atom strongly coupled to the nanofibre via a whispering-gallery-mode resonator. We simultaneously achieve high optical isolation and high forward transmission. Both are controlled by the internal atomic state. The resulting optical diode is the first example of a new class of nonreciprocal nanophotonic devices which exploit the chirality of confined photons and which are, in principle, suitable for quantum information processing and future quantum optical networks

F-regular semigroups

A semigroup S is called F-regular if S is regular and if there exists a group congruence rho on S such that every rho-class contains a greatest element with respect to the natural partial order of S (see [K.S. Nambooripad, Proc. Edinburgh Math. Soc. 23 (1980) 249-260]). These semigroups were investigated in [C.C. Edwards, Semigroup Forum 19 (1980) 331-345] where a description similar to the F-inverse case (see [R. McFadden, L. O'Carroll, Proc. London Math. Soc. 22 (1971) 652-666]) is given. Further characterizations of F-regular semigroups, including an axiomatic one, are provided. The main objective is to give a new representation of such semigroups by means of Szendrei triples (see [M. Szendrei, Acta Sci. Math. 51 (1987) 229-249]). The particular case of F-regular semigroups S satisfying the identity (xy)* = y*x*, where x* epsilon S denotes the greatest element of the rho-class containing x epsilon S, is considered. Also the F-inversive semigroups, for which this identity holds, are characterized. (C) 2004 Elsevier Inc. All rights reserved.Fundação para a Ciência e a Tecnologia (FCT) - POCTI

A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics

We consider the problem of extracting safe environments and controllers for reach-avoid objectives for systems with known state and control spaces, but unknown dynamics. In a given environment, a common approach is to synthesize a controller from an abstraction or a model of the system (potentially learned from data). However, in many situations, the relationship between the dynamics of the model and the \textit{actual system} is not known; and hence it is difficult to provide safety guarantees for the system. In such cases, the Standard Simulation Metric (SSM), defined as the worst-case norm distance between the model and the system output trajectories, can be used to modify a reach-avoid specification for the system into a more stringent specification for the abstraction. Nevertheless, the obtained distance, and hence the modified specification, can be quite conservative. This limits the set of environments for which a safe controller can be obtained. We propose SPEC, a specification-centric simulation metric, which overcomes these limitations by computing the distance using only the trajectories that violate the specification for the system. We show that modifying a reach-avoid specification with SPEC allows us to synthesize a safe controller for a larger set of environments compared to SSM. We also propose a probabilistic method to compute SPEC for a general class of systems. Case studies using simulators for quadrotors and autonomous cars illustrate the advantages of the proposed metric for determining safe environment sets and controllers.Comment: 22nd ACM International Conference on Hybrid Systems: Computation and Control (2019

Soil and water bioengineering: practice and research needs for reconciling natural hazard control and ecological restoration

Soil and water bioengineering is a technology that encourages scientists and practitioners to combine their knowledge and skills in the management of ecosystems with a common goal to maximize benefits to both man and the natural environment. It involves techniques that use plants as living building materials, for: (i) natural hazard control (e.g., soil erosion, torrential floods and landslides) and (ii) ecological restoration or nature-based re-introduction of species on degraded lands, river embankments, and disturbed environments. For a bioengineering project to be successful, engineers are required to highlight all the potential benefits and ecosystem services by documenting the technical, ecological, economic and social values. The novel approaches used by bioengineers raise questions for researchers and necessitate innovation from practitioners to design bioengineering concepts and techniques. Our objective in this paper, therefore, is to highlight the practice and research needs in soil and water bioengineering for reconciling natural hazard control and ecological restoration. Firstly, we review the definition and development of bioengineering technology, while stressing issues concerning the design, implementation, and monitoring of bioengineering actions. Secondly, we highlight the need to reconcile natural hazard control and ecological restoration by posing novel practice and research questions

F–semigroups

A semigroup S is called F- semigroup if there exists a group-congruence ρ on S such that every ρ-class contains a greatest element with respect to the natural partial order ≤S of S (see [8]). This generalizes the concept of F-inverse semigroups introduced by V. Wagner [12] and investigated in [7]. Five different characterizations of general F-semigroups S are given: by means of residuals, by special principal anticones, by properties of the set of idempotents, by the maximal elements in (S,≤S) and finally, an axiomatic one using an additional unary operation. Also F-semigroups in special classes are considered; in particular, inflations of semigroups and strong semilattices of monoids are studied