English
Related papers

Related papers: On ring-like structures of lattice-ordered numeric…

200 papers

A Boolean power S of a commutative ring R has the structure of a commutative R-algebra, and with respect to this structure, each element of S can be written uniquely as an R-linear combination of orthogonal idempotents so that the sum of…

Rings and Algebras · Mathematics 2013-06-14 Guram Bezhanishvili , Vincenzo Marra , Patrick J. Morandi , Bruce Olberding

We discuss the definition of quantum probability in the context of "timeless" general--relativistic quantum mechanics. In particular, we study the probability of sequences of events, or multi-event probability. In conventional quantum…

General Relativity and Quantum Cosmology · Physics 2008-11-26 Frank Hellmann , Mauricio Mondragon , Alejandro Perez , Carlo Rovelli

Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. A purely numeric mechanism, like those proposed so far, cannot provide a…

Artificial Intelligence · Computer Science 2013-04-15 Alan Bundy

Probability metrics constitute an important tool in probability theory and statistics \cite{DKS91}, \cite{R91}, \cite{Z83} as they are specific metrics on spaces of random variables which, by satisfying an extra condition, concord well with…

Probability · Mathematics 2015-11-19 Ben Berckmoes , Bob Lowen

We investigate the structure of the Schrodinger algebra and its representations in a Fock space realized in terms of canonical Appell systems. Generalized coherent states are used in the construction of a Hilbert space of functions on which…

Mathematical Physics · Physics 2015-06-26 Ph. Feinsilver , J. Kocik , R. Schott

We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of…

Logic in Computer Science · Computer Science 2014-08-04 Luca Bernardinello , Carlo Ferigato , Lucia Pomello

This paper introduces the order-theoretic concept of lattices along with the concept of consistent quantification where lattice elements are mapped to real numbers in such a way that preserves some aspect of the order-theoretic structure.…

Logic in Computer Science · Computer Science 2018-07-23 Kevin H. Knuth

We study a conditional state on a quantum logic using Renyi's approach (or Bayesian principle). This approach helps us to define independence of events and differently from the situation in the classical theory of probability, if an event…

Quantum Physics · Physics 2007-05-23 Andrei Khrenikov , Olga Nánásiová

The reverse engineering problem with probabilities and sequential behavior is introducing here, using the expression of an algorithm. The solution is partially founded, because we solve the problem only if we have a Probabilistic Sequential…

Dynamical Systems · Mathematics 2007-08-13 Maria A. Avino-Diaz

Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of…

Programming Languages · Computer Science 2020-12-03 Chris Heunen , Ohad Kammar , Sam Staton , Hongseok Yang

A hierarchical structure of isomorphic arithmetics is defined by a bijection $g_\mathbb{R}:\mathbb{R}\to \mathbb{R}$. It entails a hierarchy of probabilistic models, with probabilities $p_k=g^k(p)$, where $g$ is the restriction of…

Quantum Physics · Physics 2025-10-02 Marek Czachor

We describe a class calculus that is expressive enough to describe and improve its own learning process. It can design and debug programs that satisfy given input/output constraints, based on its ontology of previously learned programs. It…

Artificial Intelligence · Computer Science 2018-04-11 Daniel J. Buehrer

Pseudorandmness plays an important role in number theory, complexity theory and cryptography. Our aim is to use models of arithmetic to explain pseudorandomness by randomness. To this end we construct a set of models $\cal M$, a common…

Logic · Mathematics 2012-10-18 Pavel Pudlak

Scaled Boolean algebras are a category of mathematical objects that arose from attempts to understand why the conventional rules of probability should hold when probabilities are construed, not as frequencies or proportions or the like, but…

Probability · Mathematics 2009-09-29 Michael Hardy

Observables of a quantum system, described by self-adjoint operators in a von Neumann algebra or affiliated with it in the unbounded case, form a conditionally complete lattice when equipped with the spectral order. Using this…

Mathematical Physics · Physics 2013-12-06 Andreas Doering , Barry Dewitt

This paper introduces several new classes of mathematical structures that have close connections with physics and with the theory of dynamical systems. The most general of these structures, called indivisible stochastic processes,…

Quantum Physics · Physics 2026-02-09 Jacob A. Barandes

Kolmogorov's foundation of probability takes measure spaces, $\sigma$-algebras, and probability measures as basic objects. It is, however, widely recognized that this classical framework is inadequate for random phenomena involving quantum…

Quantum Physics · Physics 2026-02-05 Antonio Falcó , Hermann G. Matthies

In this paper we consider general probabilistic theories that pertain to circuits which satisfy two very natural assumptions. We provide a formalism that is local in the following very specific sense: calculations pertaining to any region…

Quantum Physics · Physics 2010-06-04 Lucien Hardy

It was proved few years ago that classes of Boolean functions definable by means of functional equations \cite{EFHH}, or equivalently, by means of relational constraints \cite{Pi2}, coincide with initial segments of the quasi-ordered set…

Combinatorics · Mathematics 2007-05-23 Miguel Couceiro , Maurice Pouzet

A comprehensive overview of lattice rules and polynomial lattice rules is given for function spaces based on $\ell_p$ semi-norms. Good lattice rules and polynomial lattice rules are defined as those obtaining worst-case errors bounded by…

Numerical Analysis · Mathematics 2020-07-20 Dirk Nuyens