Laplaza Sets, or How to Select Coherence Diagrams for Pseudo Algebras

We define a general concept of pseudo algebras over theories and 2-theories. A more restrictive such notion was introduced by Hu and Kriz, but as noticed by M. Gould, did not capture the desired examples. The approach taken in this paper corrects the mistake by introducing a more general concept, allowing more flexibility in selecting coherence diagrams for pseudo algebras.Comment: 21 pages. To appear in the Advances of Mathematics. Exposition improved, notion of operad with degeneracies removed as a simplification, definition of pseudo algebra improved

Skyrme insulators: insulators at the brink of superconductivity

Current theories of superfluidity are based on the idea of a coherent quantum state with topologically protected, quantized circulation. When this topological protection is absent, as in the case of $^3$He-A, the coherent quantum state no longer supports persistent superflow. Here we argue that the loss of topological protection in a superconductor gives rise to an insulating ground state. We specifically introduce the concept of a Skyrme insulator to describe the coherent dielectric state that results from the topological failure of superflow carried by a complex vector order parameter. We apply this idea to the case of SmB$_6$, arguing that the observation of a diamagnetic Fermi surface within an insulating bulk can be understood in terms of a Skyrme insulator. Our theory enables us to understand the linear specific heat of SmB$_6$ in terms of a neutral Majorana Fermi sea and leads us to predict that in low fields of order a Gauss, SmB6 will develop a Meissner effect.Comment: 10 pages, 4 figure

A Conceptual Design of an Inattention Management Middleware with Adaptive Target Saliency

© 2020 IEEE. We present a conceptual design of an inattention management middleware with adaptive target saliency. The design objective is to provide mechanisms for managing operator inattention in multi-display multitasking applications. The conceptual design integrates ideas from situational awareness into its mechanisms to provide dynamic target saliency as a means to 1) guide operators through sub-tasks by drawing attention to high priority targets; and 2) guide operators on how to efficiently split their attention between tasks. We motivate the design by analysis of the results following a formative study with a prototype version of the conceptual design

Inattention-Management Middleware for Human-in-the-Loop Multi-Display Applications

Operator inattention is an important and unsolved problem in mission critical multi-display systems where a single or a group of operators continuously monitor information flows on distributed displays. In this paper we present a novel system solution to this problem and a middleware for supporting flexible attention-aware applications for a variety of domains. Some of the most significant functionality includes direct querying of the application’s attention state, custom callback definitions to be executed on specific attention events or application updates, inter-application message routing, and pushing custom notification with relative location information to any other registered application. We evaluate our middleware by developing three applications that both demonstrate the efficacy and versatility of the system and provide performance estimates in terms of latency as a function of payload size