Related papers: On the Impossibility of a Perfect Hypervisor
This paper proposes a finitely terminating algorithm to solve reach-and-stay control problems for nonlinear systems. The algorithm is guaranteed to return a control strategy if the specification is robustly realizable. Such a feature is…
In the Stable Roommates problem, we seek a stable matching of the agents into pairs, in which no two agents have an incentive to deviate from their assignment. It is well known that a stable matching is unlikely to exist, but a stable…
It is known that, if a point in $R^n$ is driven by a bounded below potential $V$, whose gradient is always in a closed convex cone which contains no lines, then the velocity has a finite limit as time goes to $+\infty$. The components of…
We develop a theory for the existence of perfect matchings in hypergraphs under quite general conditions. Informally speaking, the obstructions to perfect matchings are geometric, and are of two distinct types: 'space barriers' from convex…
For a class of stationary regularly varying and weakly dependent time series, we prove the so-called complete convergence result for the corresponding space-time point processes. As an application of our main theorem, we give a simple proof…
Nondeterministic choice is a useful program construct that provides a way to describe the behaviour of a program without specifying the details of possible implementations. It supports the stepwise refinement of programs, a method that has…
Absolute continuity implies uniform continuity, but generally not vice versa. In this short note, we present one sufficient condition for a uniformly continuous function to be absolutely continuous, which is the following theorem: For a…
We study the Unitary Hitting Time Problem (UHTP) in quantum dynamics. Given computably described pure states |a>, |b> and a time-dependent unitary U(t), define the hitting time as the infimum of t > 0 such that the fidelity between U(t)|a>…
State representations summarize our knowledge about a system. When unobservable quantities are introduced the state representation is typically no longer unique. However, this non-uniqueness does not affect subsequent inferences based on…
Representation theory is shown to be incomplete in terms of enumerating all integrable limits of quantum systems. As a consequence, one can find exactly solvable Hamiltonians which have apparently strongly broken symmetry. The number of…
In this work, we introduce the concept of bandlimiting into the theory of machine learning because all physical processes are bandlimited by nature, including real-world machine learning tasks. After the bandlimiting constraint is taken…
We derive a new class of correlation Bell-type inequalities. The inequalities are valid for any number of outcomes of two observables per each of n parties, including continuous and unbounded observables. We show that there are no…
An invisibility device should guide light around an object as if nothing were there, regardless where the light comes from. Ideal invisibility devices are impossible due to the wave nature of light. This paper develops a general recipe for…
The aim of an invisibility device is to guide light around any object put inside, being able to hide objects from sight. In this work, we propose a novel design of dielectric invisibility media based on negative refraction and optical…
We establish a family of uncertainty principles for finite linear combinations of Hermite functions. More precisely, we give a geometric criterion on a subset $S\subset \RR^d$ ensuring that the $L^2$-seminorm associated to $S$ is equivalent…
We provide a comprehensive impossibility result towards achieving string stability, i.e. keeping local relative errors in check with local controllers independently of the size of a chain of subsystems. We significantly extend existing…
This paper investigates continuity properties of value functions and solutions for parametric optimization problems. These problems are important in operations research, control, and economics because optimality equations are their…
For two-person dynamic zero-sum games (both discrete and continuous settings), we investigate the limit of value functions of finite horizon games with long run average cost as the time horizon tends to infinity and the limit of value…
While reachability analysis is one of the most promising approaches for formal verification of dynamic systems, a major disadvantage preventing a more widespread application is the requirement to manually tune algorithm parameters such as…
We establish an operational theory of coherence (or of superposition) in quantum systems, by focusing on the optimal rate of performance of certain tasks. Namely, we introduce the two basic concepts - "coherence distillation" and "coherence…