117 citations · 1.6k across the 133 of their papers we have counts for
7 papers · 1 filter
Bistability of Exciton-Photon Microcavities in the Ultrastrong-Coupling Regime
Rashed Aljasmi, Hisham Sati, Hichem Eleuch
We investigate a coherently driven exciton--photon microcavity with Kerr nonlinearity in the ultrastrong-coupling regime. When the lower and upper polariton branches are well separ…
Rényi relative entropy based monogamy of entanglement in tripartite systems
Marwa Mannaï, Hisham Sati, Tim Byrnes +1
A comprehensive investigation of the entanglement characteristics is carried out on tripartite spin-1/2 systems, examining prototypical tripartite states, the thermal Heisenberg mo…
Quantum and Reality
Hisham Sati, Urs Schreiber
Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental cha…
The Quantum Monadology
Hisham Sati, Urs Schreiber
The modern theory of functional programming languages uses monads for encoding computational side-effects and side-contexts, beyond bare-bone program logic. Even though quantum com…
Entanglement of Sections: The pushout of entangled and parameterized quantum information
Hisham Sati, Urs Schreiber
A question raised by Freedman & Hastings (2023) still stands: To produce a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/bundle-stru…
Topological Quantum Gates in Homotopy Type Theory
David Jaz Myers, Hisham Sati, Urs Schreiber
Despite the evident necessity of topological protection for realizing scalable quantum computers, the conceptual underpinnings of topological quantum logic gates had arguably remai…
Topological Quantum Programming in TED-K
Hisham Sati, Urs Schreiber
While the realization of scalable quantum computation will arguably require topological stabilization and, with it, topological-hardware-aware quantum programming and topological-q…