Related papers: Opacity of nondeterministic transition systems: A …
Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the…
Mixed-monotone systems are separable via a decomposition function into increasing and decreasing components, and this decomposition function allows for embedding the system dynamics in a higher-order monotone embedding system. Embedding the…
An optical procedure in the context of continuous variables to verify bipartite entanglement without destroying both systems and their entanglement is proposed. To perform the nondestructive verification of entanglement, the method relies…
Analyzing the dynamics of open quantum systems has a long history in mathematics and physics. Depending on the system at hand, basic physical phenomena that one would like to explain are, for example, convergence to equilibrium, the…
The problem of finding a finite state symbolic model which is bisimilar to a hybrid dynamical system (HDS) and has the minimum number of states is considered. The considered class of HDS allows for discrete-valued inputs that only affect…
Recent progress in theories of quantum information has determined nonclassical correlation defined differently from widely-used entanglement as an important property to evaluate computation and communication with mixed quantum states. We…
In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this paper, we give a natural definition of strong bisimulation for…
We derive inequalities sufficient to detect the genuine $N$-partite steering of $N$ distinct systems. Here, we are careful to distinguish between the concepts of full $N$-partite steering inseparability (where steering is confirmed…
In this Letter, we show that the fulfillment of uncertainty relations is a sufficient criterion for a quantum-mechanically permissible state. We specifically construct two pseudo-spin observables for an arbitrary non-positive Hermitian…
We investigate classes of interacting systems that allow for a mapping to disordered noninteracting systems. As we show, such a mapping is possible for interacting systems with a suppressed density of states at the chemical potential,…
The recognition of entanglement states is a notoriously difficult problem when no prior information is available. Here, we propose an efficient quantum adversarial bipartite entanglement detection scheme to address this issue. Our proposal…
Constructing a thermodynamic framework for nonequilibrium systems remains a major challenge, as quantities such as temperature and free energy often become ambiguous when inferred solely from steady-state properties. Here we take a…
In this article, a novel Finite Time Stability (FTS) analysis of Fractional-Order Time Delay Systems (FOTDSs) is proposed. By using the fixed point approach, sufficient conditions for the robust FTS of FOTDSs have been established. Two…
In this paper, the problem of assessing the Finite-Time Stability (FTS) property for general nonlinear systems is considered. First, some necessary and sufficient conditions that guarantee the FTS of general nonlinear systems are provided;…
Linear and nonlinear entanglement witnesses for a given bipartite quantum systems are constructed. Using single particle feasible region, a way of constructing effective entanglement witnesses for bipartite systems is provided by exact…
Symbolic approaches to the control design over complex systems employ the construction of finite-state models that are related to the original control systems, then use techniques from finite-state synthesis to compute controllers…
In this paper, we introduce and study the notions of $\Delta$-mixing, $\Delta$-transitivity, mildly mixing, strong multi-transitivity and multi-transitivity with respect to a vector in non-autonomous discrete dynamical systems (NDS).…
We point out a symmetry exhibited by pairs of entangled states and discuss its possible applications in quantum information. More specifically, we consider quadripartite systems prepared in bipartite product states of the form $|\Psi> =…
We present a new approach that bridges binary analysis techniques with machine learning classification for the purpose of providing a static and generic evaluation technique for opaque predicates, regardless of their constructions. We use…
We study a random matrix model for the statistical properties of the purity of a bipartite quantum system at a finite (fictitious) temperature. This enables us to write the generating function for the cumulants, for both balanced and…