Related papers: Scott Continuity in Generalized Probabilistic Theo…
We are interested in proving input-output properties of functions that handle infinite data such as streams or non-wellfounded trees. We provide a finitary refinement type system which is (sound and) complete for Scott-open properties…
We generalize a theorem of Bellow and Calder\'on concerning the a.e. convergence of the convolution powers $\ds \mu^nf(x)=\sum_{k}\mu^n(k)f(T^k x)$ where $T$ is a measure preserving transformation of a probability space and $\mu$ is a…
The zero-entropy-density conjecture states that the entropy density, defined as the limit of S(N)/N at infinity, vanishes for all translation-invariant pure states on the spin chain. Or equivalently, S(N), the von Neumann entropy of such a…
Resource theories provide a general framework for the characterization of properties of physical systems in quantum mechanics and beyond. Here, we introduce methods for the quantification of resources in general probabilistic theories…
The existence of periodic waves propagating downstream on the surface of a two-dimensional infinitely deep water under gravity is established for a general class of vorticities. When reformulated as an elliptic boundary value problem in a…
We introduce a new type of convergence in probability theory, which we call ``mod-Gaussian convergence''. It is directly inspired by theorems and conjectures, in random matrix theory and number theory, concerning moments of values of…
Boundaries occur naturally in kinetic equations and boundary effects are crucial for dynamics of dilute gases governed by the Boltzmann equation. We develop a mathematical theory to study the time decay and continuity of Boltzmann solutions…
A unified conceptual foundation of classical and quantum physics is given, free of undefined terms. Ensembles are defined by extending the `probability via expectation' approach of Whittle to noncommuting quantities. This approach carries…
Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The…
Convex algebras, also called (semi)convex sets, are at the heart of modelling probabilistic systems including probabilistic automata. Abstractly, they are the Eilenberg-Moore algebras of the finitely supported distribution monad.…
We establish an operational rigidity result for a broad class of probability rules in infinite-dimensional settings, applicable under normality and steering assumptions. Starting from a topological generalization of generalized…
This paper illustrates the richness of the concept of regular sets of time bounds and demonstrates its application to problems of computational complexity. There is a universe of bounds whose regular subsets allow to represent several time…
Zurek claims to have derived Born's rule noncircularly in the context of an ontological no-collapse interpretation of quantum states, without any "deus ex machina imposition of the symptoms of classicality." After a brief review of Zurek's…
For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…
Fundamental duality is a concept which refers to two irreducible, heterogeneous principles which are in opposite and complementary of each other. The complementary principle in quantum mechanics is also praised by Bohr. This important…
Historically and to date, the continuity equation has served as a consistency criterion for the development of physical theories. Employing Clifford's geometric algebras, a system of continuity equations for a generalised multivector of the…
We introduce a notion of universal preparability for a state of a system, more precisely: for a normal state on a von Neumann algebra. It describes a situation where from an arbitrary initial state it is possible to prepare a target state…
We study the generalized stationary Stokes system in a bounded domain in the plane equipped with perfect slip boundary conditions. We show natural stability results in oscillatory spaces, i.e. H\"older spaces and Campanato spaces including…
Starting from the Brock's construction of Continuous Steiner Symmetrization of sets, the problem of modifying continuously a given domain up to obtain a ball, preserving its measure and with decreasing first eigenvalue of the Laplace…
The Kochen-Specker theorem states that exclusive and complete deterministic outcome assignments are impossible for certain sets of measurements, called Kochen-Specker (KS) sets. A straightforward consequence is that KS sets do not have…