On Linear Information Systems

Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing a model of intuitionistic linear logic (a new-Seely category), with a "set-theoretic" interpretation of exponentials that recovers Scott continuous functions via the co-Kleisli construction. From a domain theoretic point of view, linear information systems are equivalent to prime algebraic Scott domains, which in turn generalize prime algebraic lattices, already known to provide a model of classical linear logic

Three-dimensional topological solitons in PT-symmetric optical lattices

We address the properties of fully three-dimensional solitons in complex parity-time (PT)-symmetric periodic lattices with focusing Kerr nonlinearity, and uncover that such lattices can stabilize both fundamental and vortex-carrying soliton states. The imaginary part of the lattice induces internal currents in the solitons that strongly affect their domains of existence and stability. The domain of stability for fundamental solitons can extend nearly up to the PT-symmetry breaking point, where the linear lattice spectrum becomes complex. Vortex solitons feature spatially asymmetric profiles in the PT-symmetric lattices, but they are found to still exist as stable states within narrow regions. Our results provide the first example of continuous families of stable three-dimensional propagating solitons supported by complex potentials.Peer ReviewedPostprint (published version

Pseudo-Retract Functors for Local Lattices and Bifinite L-Domains

Recently, a new category of domains used for the mathematical foundations of denotational semantics, that of L-domains, have been under study. In this paper we consider a related category of posets, that of local lattices. First, a completion operator taking posets to local lattices is developed, and then this operator is extended to a functor from posets with embedding-projection pairs to local lattices with embedding-projection pairs. The result of applying this functor to a local lattice yields a local lattice isomorphic to the first; this functor is a pseudo-retract. Using the functor into local lattices, a continuous pseudo-retraction functor from ω-bifinite posets to ω-bifinite L-domains can be constructed. Such a functor takes a universal domain for the ω-bifinite posets to a universal domain for the ω-bifinite L-domains. Moreover, the existence of such a functor implies that, from the existence of a saturated universal domain for the ω-algebraic bifinites, we can conclude the existence of a saturated universal domain for the ω-bifinite L-domains