English
Related papers

Related papers: A note on the state-space realizations equivalence

200 papers

In this note we introduce a notion of a generically (strongly generically) NP-complete problem and show that the randomized bounded version of the halting problem is strongly generically NP-complete.

Computational Complexity · Computer Science 2016-06-06 Alexei Miasnikov , Alexander Ushakov

In this paper, we propose a meshfree approximation method for the implicit filter developed in [2], which is a novel numerical algorithm for nonlinear filtering problems. The implicit filter approximates conditional distributions in the…

Numerical Analysis · Mathematics 2015-08-05 Feng Bao , Yanzhao Cao , Clayton Webster , Guannan Zhang

We derive a family of inequalities involving different phase-space distributions of a quantum state which have to be fulfilled by any classical state. The violation of these inequalities is a clear signature of nonclassicality. Our approach…

Quantum Physics · Physics 2020-04-03 Martin Bohmann , Elizabeth Agudelo

An observability problem for linear autonomous distributed systems in the class of linear operations is considered. A criterion of observability with respect to terminal state has been proved. A connection with observability with respect to…

solv-int · Physics 2008-02-03 B. Shklyar

A novel approach to an old symmetry problem is developed. A new proof is given for the following symmetry problem, studied earlier.

Mathematical Physics · Physics 2014-02-14 Alexander G. Ramm

In this paper, we work on the notion of k-synchronizability: a system is k-synchronizable if any of its executions, up to reordering causally independent actions, can be divided into a succession of k-bounded interaction phases. We show two…

Formal Languages and Automata Theory · Computer Science 2020-01-22 Cinzia Di Giusto , Cinzia Giusto , Laetitia Laversa , Etienne Lozes

We define a category with as objects operational resolutions and with as morphisms - not necessarily deterministic - state transitions. We study connections with closure spaces and join-complete lattices and sketch physical applications…

Quantum Physics · Physics 2015-06-26 Bob Coecke , Isar Stubbe

Within the frame of a novel treatment we make a complete mathematical analysis of exactly solvable one-dimensional quantum systems with non-constant mass, involving their ordering ambiguities. This work extends the results recently reported…

Quantum Physics · Physics 2015-06-26 B. Gonul , M. Koçak

Given a real-valued phase-space function, it is a nontrivial task to determine whether it corresponds to a Wigner distribution for a physically acceptable quantum state. This topic has been of fundamental interest for long, and in a modern…

Quantum Physics · Physics 2009-11-13 Hyunchul Nha

We address a broad class of optimization problems of finding quantum measurements, which includes the problems of finding an optimal measurement in the Bayes criterion and a measurement maximizing the average success probability with a…

Quantum Physics · Physics 2015-06-23 Kenji Nakahira , Kentaro Kato , Tsuyoshi Sasaki Usuda

Every quantum state can be represented as a probability distribution over the outcomes of an informationally complete measurement. But not all probability distributions correspond to quantum states. Quantum state space may thus be thought…

Quantum Physics · Physics 2011-02-14 D. M. Appleby , Asa Ericsson , Christopher A. Fuchs

In this paper, we present a novel optimization algorithm designed specifically for estimating state-space models to deal with heavy-tailed measurement noise and constraints. Our algorithm addresses two significant limitations found in…

Signal Processing · Electrical Eng. & Systems 2024-11-19 Yifan Yu , Shengjie Xiu , Daniel P. Palomar

We introduce the problem of temporal coverability for realizability and synthesis. Namely, given a language of words that must be covered by a produced system, how to automatically produce such a system. We consider the case of coverability…

Logic in Computer Science · Computer Science 2018-04-11 Krishnendu Chatterjee , Nir Piterman

We present a review and discussions on characterizations and quantifications of macroscopic quantum states as well as their implementations and applications in optical systems. We compare and criticize different measures proposed to define…

Quantum Physics · Physics 2015-03-24 Hyunseok Jeong , Minsu Kang , Hyukjoon Kwon

We investigate the discrimination of pure-mixed (quantum filtering) and mixed-mixed states and compare their optimal success probability with the one for discriminating other pairs of pure states superposed by the vectors included in the…

Quantum Physics · Physics 2021-12-24 Jin-Hua Zhang , Fu-Lin Zhang , Zhi-Xi Wang , Hui Yang , Shao-Ming Fei

A particle filter is introduced to numerically approximate a solution of the global optimization problem. The theoretical significance of this work comes from its variational aspects: (i) the proposed particle filter is a controlled…

Optimization and Control · Mathematics 2017-01-11 Chi Zhang , Amirhossein Taghvaei , Prashant G. Mehta

One of the basic distinctions between classical and quantum mechanics is the existence of fundamentally incompatible quantities. Such quantities are present on all levels of quantum objects: states, measurements, quantum channels, and even…

Quantum Physics · Physics 2021-06-16 Erkka Haapasalo , Tristan Kraft , Nikolai Miklin , Roope Uola

An optimal control problem driven by an ordinary differential equation under continuous state constraints is considered in this study. From an operational point of view, we introduce a discrete state constraints optimal control problem and…

Optimization and Control · Mathematics 2018-12-04 Shuzhen Yang

We review the problem of discriminating entangled states from separable states for bipartite systems. We formally define what entangled states are, present some important criteria to detect entanglement, and show how they can be classified…

Quantum Physics · Physics 2007-05-23 Aditi Sen De , Ujjwal Sen , Maciej Lewenstein , Anna Sanpera

In order to evaluate and compare different recursive filters, simulation is a common tool and numerous simulation models are widely used as 'benchmark'. In the simulation, the continuous time dynamic system is converted into a discrete-time…

Discrete Mathematics · Computer Science 2013-08-06 Tiancheng Li
‹ Prev 1 3 4 5 6 7 10 Next ›