Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Information and Computation

Quantum temporal logic and reachability problems of matrix semigroups

Nengkun Yu

Published Jul 23, 2024• 2 citations
Publisher
DOI
10.1016/j.ic.2024.105197

Related papers

Binary quantum logic and generating semigroups

Romàn R. Zapatrin

International Journal of Theoretical Physics•Nov 1, 1989•4 citations

Baser*-semigroups and the logic of quantum mechanics

James C. T. Pool

Communications in Mathematical Physics•Jun 1, 1968•128 citations

Baer *-Semigroups and the Logic of Quantum Mechanics

James C. T. Pool

Springer eBooks•Jan 1, 1975•7 citations

(Un)decidable Problems about Reachability of Quantum Systems

Yangjia Li, Mingsheng Ying

arXiv:1401.6249•Lecture notes in computer science•Jan 1, 2014•19 citations

Representations of Baer *-Semigroups and Quantum Logics in Hilbert Space

Stanley Gudder

Springer eBooks•Jan 1, 1981•2 citations

Reachable Sets from Toy Models to Controlled Markovian Quantum Systems

Gunther Dirr, Frederik vom Ende, Thomas Schulte-Herbruggen

In the framework of bilinear control systems, we present reachable sets of coherently controllable open quantum systems with switchable coupling to a thermal bath of arbitrary temperature T ≥ 0. The core problem boils down to studying points in the standard simplex amenable to two types of controls that can be used interleaved:(i)permutations within the simplex,(ii)contractions by a dissipative one-parameter semigroup. Our work illustrates how the solutions of the core problem pertain to the reachable set of the original controlled Markovian quantum system. We completely characterize the case T = 0 and present inclusions for T > 0.

arXiv:1905.01224•IEEE Conference on Decision and Control (CDC)•Dec 1, 2019•8 citations
In the framework of bilinear control systems, we present reachable sets of coherently controllable open quantum systems with switchable coupling to a thermal bath of arbitrary temperature T ≥ 0. The core problem boils down to studying points in the standard simplex amenable to two types of controls that can be used interleaved:(i)permutations within the simplex,(ii)contractions by a dissipative one-parameter semigroup. Our work illustrates how the solutions of the core problem pertain to the reachable set of the original controlled Markovian quantum system. We completely characterize the case T = 0 and present inclusions for T > 0.