English
Related papers

Related papers: A Cancellation Law for Probabilistic Processes

200 papers

We introduce and study a subclass of joint Bernoulli distributions which has the palindromic property. For such distributions the vector of joint probabilities is unchanged when the order of the elements is reversed. We prove for binary…

Methodology · Statistics 2016-05-06 Giovanni M. Marchetti , Nanny Wermuth

We derive a multiplication law for free non-hermitian random matrices allowing for an easy reconstruction of the two-dimensional eigenvalue distribution of the product ensemble from the characteristics of the individual ensembles. We define…

Mathematical Physics · Physics 2015-03-19 Z. Burda , R. A. Janik , M. A. Nowak

In this paper, we provide an explicit probability distribution for classification purposes. It is derived from the Bayesian nonparametric mixture of Dirichlet process model, but with suitable modifications which remove unsuitable aspects of…

Applications · Statistics 2009-05-05 Ruth Fuentes-Garcia , Ramses H Mena , Stephen G Walker

The goal of this note is to compare two notions, one coming from the theory of rewrite systems and the other from proof theory: confluence and cut elimination. We show that to each rewrite system on terms, we can associate a logical system:…

Logic in Computer Science · Computer Science 2023-05-24 Gilles Dowek

We show an operational approach to bilocality with quasi-probability distributions and quasi-stochastic processes. This approach clearly demonstrates that negative probabilities are necessary to violate bilocality. It also highlights a…

Quantum Physics · Physics 2023-02-08 Kelvin Onggadinata , Pawel Kurzynski , Dagomir Kaszlikowski

Consider a discrete-time one-dimensional supercritical branching random walk. We study the probability that there exists an infinite ray in the branching random walk that always lies above the line of slope $\gamma-\epsilon$, where $\gamma$…

Probability · Mathematics 2010-02-16 Nina Gantert , Yueyun Hu , Zhan Shi

We examine a discrete random recursive tree growth process that, at each time step, either adds or deletes a node from the tree with probability $p$ and $1-p$, respectively. Node addition follows the usual uniform attachment model. For node…

Probability · Mathematics 2021-08-03 Arnold Saunders

Negation operation is important in intelligent information processing. Different with existing arithmetic negation, an exponential negation is presented in this paper. The new negation can be seen as a kind of geometry negation. Some basic…

Artificial Intelligence · Computer Science 2021-04-02 Qinyuan Wu , Yong Deng , Neal Xiong

We apply recent ideas about complexity and randomness to the philosophy of laws and chances. We develop two ways to use algorithmic randomness to characterize probabilistic laws of nature. The first, a generative chance* law, employs a…

History and Philosophy of Physics · Physics 2025-09-03 Jeffrey A. Barrett , Eddy Keming Chen

This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness…

Logic in Computer Science · Computer Science 2020-09-01 Bas Luttik

We give an explicit description of the law of terminal value $W$ of additive martingales in a remarkable branching stable process. We show that the right tail probability of the terminal value decays exponentially fast and the left tail…

Probability · Mathematics 2022-09-26 Hairuo Yang

We report some properties of heavy-tailed Sibuya-like distributions related to thinning, self-decomposability and branching processes. Extension of the thinning operation of on-negative integer-valued random variables to scaling by…

Probability · Mathematics 2022-05-03 Lev B. Klebanov , Michal Šumbera

While a mature body of work supports the study of rewriting systems, abstract tools for Probabilistic Rewriting are still limited. In this paper we study the question of uniqueness of the result (unique limit distribution), and develop a…

Logic in Computer Science · Computer Science 2023-06-22 Claudia Faggian

Power law distributions have been repeatedly observed in a wide variety of socioeconomic, biological and technological areas. In many of the observations, e.g., city populations and sizes of living organisms, the objects of interest evolve…

Probability · Mathematics 2009-09-29 Predrag R. Jelenkovic , Jian Tan

Probabilistic programming is becoming increasingly popular thanks to its ability to specify problems with a certain degree of uncertainty. In this work, we focus on term rewriting, a well-known computational formalism. In particular, we…

Programming Languages · Computer Science 2025-03-20 Germán Vidal

In this paper, we establish a mathematical duality between utility transforms and probability distortions. These transforms play a central role in decision under risk by forming the foundation for the classic theories of expected utility,…

Theoretical Economics · Economics 2024-03-21 Christopher P. Chambers , Peng Liu , Ruodu Wang

Linear systems with many degrees of freedom containing multiplicative and additive noise are considered. The steady state probability distribution for equations of this kind is examined. With multiplicative white noise it is shown that…

chao-dyn · Physics 2009-10-22 J. M. Deutsch

We introduce a probability distribution Q on the group of permutations of the set Z of integers. Distribution Q is a natural extension of the Mallows distribution on the finite symmetric group. A one-sided infinite counterpart of Q,…

Probability · Mathematics 2013-03-04 Alexander Gnedin , Grigori Olshanski

In this paper we establish a weak and a strong law of large numbers for supercritical superprocesses with general non-local branching mechanisms. Our results complement earlier results obtained for superprocesses with only local branching.…

Probability · Mathematics 2019-04-10 Sandra Palau , Ting Yang

This paper provides an adaptation of branching bisimilarity to reactive systems with time-outs that does not enable eliding of time-out transitions. Multiple equivalent definitions are procured, along with a modal characterisation and a…

Logic in Computer Science · Computer Science 2024-12-31 Gaspard Reghem , Rob van Glabbeek