Related papers: Domination and Multistate Systems
The starting point of this work are inaccurate statements found in the literature for Multi-terminal Binary Decision Diagrams (MTBDDs) regarding the well-definedness of the MTBDD abstraction operation. The statements try to relate an…
We propose monotone comparative statics results for maximizers of submodular functions, as opposed to maximizers of supermodular functions as in the classical theory put forth by Veinott, Topkis, Milgrom, and Shannon among others. We…
To understand the dynamical origin of the measurement in quantum mechanics, several models have been put forward which have a quantum system coupled to an apparatus. The system and the apparatus evolve in time and the Born rule for the…
A refinement of the multinomial distribution is presented where the number of inversions in the sequence of outcomes is tallied. This refinement of the multinomial distribution is its joint distribution with the number of inversions in the…
We study Tao's finitary viewpoint of convergence in metric spaces, as captured by the notion of metastability. We adopt the perspective of continuous model theory. We show that, in essence, metastable convergence with a given rate is the…
Comparing with traditional fixed formation for a group of dynamical systems, time-varying formation can produce the following benefits: i) covering the greater part of complex environments; ii) collision avoidance. This paper studies the…
Using a structure theorem from [FG2010] we prove a version of multiple recurrence for sets of positive measure in a general stationary dynamical system.
The binary signed-digit representation of integers is used for efficient computation in various settings. The Stern polynomial is a polynomial extension of the well-studied Stern diatomic sequence, and has itself has been investigated in…
The notion of a semitransitive binary action of a group $G$ on a topological space is introduced. A duality theorem is proved, establishing a bijective correspondence between semitransitive distributive binary $G$-spaces and topological…
The presence of a domain wall trapped by a sub-micron notch is probed in two ways: through electronic transport measurements and by Magnetic Force Microscopy (MFM). We observe complex magnetic features which are consistent with numerical…
Coupling of chaotic oscillators has evidenced conditions where synchronization is possible, therefore a nonlinear system can be driven to a particular state through input from a similar oscillator. Here we expand this concept of control of…
The configurational density of states (CDOS) encodes all the relevant thermodynamic information contained in the interaction potentials for statistical mechanical systems. However, its explicit computation is usually a challenge for…
In this article, we study questions of uniqueness of form extension for certain magnetic Schr\"odinger forms. The method is based on the theory of ordered Hilbert spaces and the concept of domination of semigroups. We review this concept in…
We provide a way to ease the verification of programs whose state evolves monotonically. The main idea is that a property witnessed in a prior state can be soundly recalled in the current state, provided (1) state evolves according to a…
This article provides a short review of some structural results in controlled sensing when the problem is formulated as a partially observed Markov decision process. In particular, monotone value functions, Blackwell dominance and quickest…
We show that the functional bosonization procedure can be generalized in such a way that, to any field theory with a conserved Abelian charge in (2+1) dimensions, there corresponds a dual Abelian gauge field theory. The properties of this…
This paper presents a unified approach for inverse and direct dynamics of constrained multibody systems that can serve as a basis for analysis, simulation, and control. The main advantage of the formulation of the dynamic is that it does…
In this paper, the structural controllability of the systems over F(z) is studied using a new mathematical method-matroids. Firstly, a vector matroid is defined over F(z). Secondly, the full rank conditions of [sI-A|B] are derived in terms…
Mixed monotone systems form an important class of nonlinear systems that have recently received attention in the abstraction-based control design area. Slightly different definitions exist in the literature, and it remains a challenge to…
We develop a scheme to prepare a desired state or subspace in high-dimensional Hilbert-spaces using repeated applications of a single static projection operator onto the desired target and fixed unitary dynamics. Benchmarks against other…