Related papers: Probabilistic entailment and iterated conditionals
We present locally complete inference rules for probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Crucially, in contrast to similar inference rules in the literature, our inference rules are…
The coherent control of scattering processes is considered, with electron impact dissociation of H$_2^+$ used as an example. The physical mechanism underlying coherently controlled stationary state scattering is exposed by analyzing a…
In this short note, we prove the equivalence of Grothendieck-Katz $p$-curvature Conjecture with Conjecture F in Ekedahl-Shepherd-Barron-Taylor. More precisely, we show that Conjecture F implies the $p$-curvature conjecture, and that the…
Construct a random set by independently selecting each finite subset of the integers with some probability depending on the set up to translations and taking the union of the selected sets. We show that when the only sets selected with…
In this paper we provide an alternative semantics for Equilibrium Logic and its monotonic basis, the logic of Here-and-There (also known as G\"odel's G3 logic) that relies on the idea of "denotation" of a formula, that is, a function that…
We reframe the EPR argument through an operational lens, replacing the notion of fixed "elements of reality" with context-indexed conditional states - what's often referred to as a measurement assemblage. This move deliberately sidesteps…
We study the consistency and weak convergence of the conditional tail function and conditional Hill estimators under broad dependence assumptions for a heavy-tailed response sequence and a covariate sequence. Consistency is established…
Many regenerative arguments in stochastic processes use random times which are akin to stopping times, but which are determined by the future as well as the past behaviour of the process of interest. Such arguments based on "conditioning on…
The problem investigated in this paper is einselection, i. e. the selection of mutually exclusive quantum states with definite probabilities through decoherence. Its study is based on a theory of decoherence resulting from the projection…
We propose a heralded high-probability scheme to generate remote entanglement between moderate-cooperativity spin-cavity registers with high fidelity. In conventional single-shot interfaces, limited cooperativity restricts the…
We settle an old question about the existence of certain "sums-of-squares" formulas over a field F (which are the simplest examples of composition formulas for quadratic forms). A classical theorem says that if such a formula exists over a…
Most causal inference algorithms in the literature (e.g., Pearl (2000), Spirtes et al. (2000), Heckerman et al. (1999)) exploit an assumption usually referred to as the causal Faithfulness or Stability condition. In this paper, we highlight…
Proof by coupling is a classical technique for proving properties about pairs of randomized algorithms by carefully relating (or coupling) two probabilistic executions. In this paper, we show how to automatically construct such proofs for…
Entanglement, including ``quantum entanglement,'' is a consequence of correlation between objects. When the objects are subunits of pairs which in turn are members of an ensemble described by a wave function, a correlation among the…
The method of defining quantum joint probabilities of two events is applied to a multimode system of trapped Bose-condensed atoms. The coherent modes are generated by modulating the trapping potential with an alternating field with a…
The assumption of hazard rates being proportional in covariates is widely made in empirical research and extensive research has been done to develop tests of its validity. This paper does not contribute on this end. Instead, it gives new…
The paper deals with conditional linear information inequalities valid for entropy functions induced by discrete random variables. Specifically, the so-called conditional Ingleton inequalities are in the center of interest: these are valid…
We show that a sequence is q-holonomic if and only if it satisfies the elimination property for any subset of variables. The same result also holds for holonomic sequences. As an application, we prove several conjectured closure properties…
We develop a theory of formal multivariate polynomials over commutative rings by treating them as ring terms. Our main result is that two ring terms are s-equivalent (when expanded they yield the same standard polynomial) iff they are…
The following note proves that conditional entropy of a sequence is almost time-reversal invariant, specifically they only differ by a small constant factor dependent only upon the forward and backward models that the entropies are being…