Related papers: A note on the state-space realizations equivalence
In this paper, we present a realization and an identification algorithm for stochastic Linear Parameter-Varying State-Space Affine (LPV-SSA) representations. The proposed realization algorithm combines the deterministic LPV input output to…
We study the stability vis a vis adversarial noise of matrix factorization algorithm for matrix completion. In particular, our results include: (I) we bound the gap between the solution matrix of the factorization method and the ground…
One advantage of quantum algorithms over classical computation is the possibility to spread out, process, analyse and extract information in multipartite configurations in coherent superpositions of classical states. This will be discussed…
In this document, we collected the most important complexity results of tilings. We also propose a definition of a so-called deterministic set of tile types, in order to capture deterministic classes without the notion of games. We also…
We study the compatibility of measurements on finite-dimensional compact convex state space in the framework of general probabilistic theory. Our main emphasis is on formulation of necessary and sufficient conditions for two-outcome…
General realizations, star products and plane waves for kappa-Minkowski spacetime are considered. Systematic construction of general hermitian realization is presented, with special emphasis on noncommutative plane waves and hermitian star…
In this paper, we have considered the problem of general conclusive quantum state classification; the necessary and sufficient conditions for the existence of conclusive classification strategies have also been presented. Moreover, we have…
The solution of the continuous time filtering problem can be represented as a ratio of two expectations of certain functionals of the signal process that are parametrized by the observation path. We introduce a new time discretisation of…
Characterizations of paracompact finite $C$-spaces via continuous selections are given. We apply these results to obtain some properties of finite $C$-spaces. Factorization theorems and a completion theorem for finite $C$- spaces are also…
Given a single (differential-algebraic) input-output equation, we present a method for finding different representations of the associated system in the form of rational realizations; these are dynamical systems with rational right-hand…
In this paper, the physical realizability property is investigated for a class of nonlinear quantum systems. This property determines whether a given set of nonlinear quantum stochastic differential equations corresponds to a physical…
We present realizability and realization logic, two program logics that jointly address the problem of finding solutions in semantics-guided synthesis. What is new is that we proceed eagerly and not only analyze a single candidate program…
Determining the state of a quantum system is a consuming procedure. For this reason, whenever one is interested only in some particular property of a state, it would be desirable to design a measurement setup that reveals this property with…
Completely solved the equivalence problem for the "`Painleve 34"' equation.
We present a deterministic polynomial-time algorithm that solves the 3-satisfiability problem.
This paper investigates a space-time interface-fitted approximation of a moving-interface optimal control problem with energy regularization. We reformulate the optimality conditions into a variational problem involving both the state and…
This was also extended from the previous article quant-ph/9705043, especially in a realization of the decoding process.
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…
Using the quasi-Maxwell formalism, we derive the necessary and sufficient conditions for the matching of two stationary spacetimes along a stationary timelike hypersurface, expressed in terms of the gravitational and gravitomagnetic fields…
We provide a simple proof that conformally semi-symmetric spacetimes are actually semi-symmetric. We also present a complete refined classification of the semi-symmetric spacetimes.