相关论文: Sharp and fuzzy observables on effect algebras

In this work we are analyzing scalability of the heuristic algorithm we used in the past to discover knowledge from multi-valued symbolic attributes in fuzzy databases. The non-atomic descriptors, characterizing a single attribute of a…

We study perturbations of Feller generators under `lower order terms' with measurable coefficients. We investigate which properties of the original semigroup -- such as positivity, conservativeness and the Feller property -- are passed to…

An extension of the conditional expectations (those under a given subalgebra of events and not the simple ones under a single event) from the classical to the quantum case is presented. In the classical case, the conditional expectations…

We develop a theory of \emph{sharp measure zero} sets that parallels Borel's \emph{strong measure zero}, and prove a theorem analogous to Galvin-Myscielski-Solovay Theorem, namely that a set of reals has sharp measure zero if and only if it…

Since the works of Haraux and Jaffard we know that rectangular plates may be observed by subregions not satisfying the geometrical control condition. We improve these results by observing only on an arbitrarily short segment inside the…

Exogenous heterogeneity, for example, in the form of instrumental variables can help us learn a system's underlying causal structure and predict the outcome of unseen intervention experiments. In this paper, we consider linear models in…

Quantum uncertainty is described here in two guises: indeterminacy with its concomitant indeterminism of measurement outcomes, and fuzziness, or unsharpness. Both features were long seen as obstructions of experimental possibilities that…

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

The laws of geometric optics and their corrections are derived for scalar, electromagnetic, and gravitational waves propagating in generic curved spacetimes. Local peeling-type results are obtained, where different components of…

Model-checking is one of the most powerful techniques for verifying systems and programs, which since the pioneering results by Knapik et al., Ong, and Kobayashi, is known to be applicable to functional programs with higher-order types…

Precision spectroscopy of atoms and molecules allows one to search for and to put stringent limits on the variation of fundamental constants. These experiments are typically interpreted in terms of variations of the fine structure constant…

We report for the first time the theory of optical tweezers of spherical dielectric particles embedded in a chiral medium. We develop a partial-wave (Mie) expansion to calculate the optical force acting on a dielectric microsphere…

We resume the results from \cite{Vershik FA} on the classification of measurable functions in several variables, with some minor corrections of purely technical nature, and give a partial solution to the characterization problem of…

Both classical and respectively quantum observables can be modeled as somewhat similar examples of random variables. In such a model the associated measurements preserve the values spectrum of an observable but change the corresponding…

We predict that the effective nonlinear optical susceptibility can be tailored using the Purcell effect. While this is a general physical principle that applies to a wide variety of nonlinearities, we specifically investigate the Kerr…

This paper studies the deception applied on agent in a partially observable Markov decision process. We introduce deceptive kernel function (the kernel) applied to agent's observations in a discrete POMDP. Based on value iteration, value…

Complex models are often used to understand interactions and drivers of human-induced and/or natural phenomena. It is worth identifying the input variables that drive the model output(s) in a given domain and/or govern specific model…

The hidden-variable question is whether or not various properties --- randomness or correlation, for example --- that are observed in the outcomes of an experiment can be explained via introduction of extra (hidden) variables which are…

Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the…

We study fractal measures on Euclidean space through the dynamics of "zooming in" on typical points. The resulting family of measures (the "scenery"), can be interpreted as an orbit in an appropriate dynamical system which often…