Related papers: Parallelism Theorem and Derived Rules for Parallel…
Separable Bayesian Networks, or the Influence Model, are dynamic Bayesian Networks in which the conditional probability distribution can be separated into a function of only the marginal distribution of a node's neighbors, instead of the…
Quantum coherence plays a fundamental and operational role in different areas of physics. A resource theory has been developed to characterize the coherence of distinguishable particles systems. Here we show that indistinguishability of…
The restoration of an additive function defined on P parallelepipeds via its derivative with respect to P parallelepipeds is studied. The obtained theorem is applied to the questions of uniqueness of multiple series with regard to Haar and…
This paper proposes a technique to specify and verify whether a loop can be parallelised. Our approach can be used as an additional step in a parallelising compiler to verify user annotations about loop dependences. Essentially, our…
We provide a mathematically proven parallelization scheme for particle methods on distributed-memory computer systems. Particle methods are a versatile and widely used class of algorithms for computer simulations and numerical predictions…
In this paper we introduce a simple phenomenological model of the conduction between a couple of serial or parallel quantum dots. This model is extended to arbitrary of number and to a square array of quantum dots. The local potential is…
Couplings are a powerful mathematical tool for reasoning about pairs of probabilistic processes. Recent developments in formal verification identify a close connection between couplings and pRHL, a relational program logic motivated by…
We derive a parallel sampling algorithm for computational inverse problems that present an unknown linear forcing term and a vector of nonlinear parameters to be recovered. It is assumed that the data is noisy and that the linear part of…
The counting statistics of electron transport is theoretically studied in a system with two capacitively coupled parallel transport channels. Each channel is composed of a quantum dot connected by tunneling to two reservoirs. The…
We consider Continuous Linear Programs over a continuous finite time horizon $T$, with linear cost coefficient functions and linear right hand side functions and a constant coefficient matrix, where we search for optimal solutions in the…
This paper is aimed to prove the strong duality theorem for continuous-time linear programming problems in which the coefficients are assumed to be piecewise continuous functions. The previous paper proved the strong duality theorem for the…
Constraint Handling Rules (CHR) is a declarative rule-based formalism and language. Concurrency is inherent as rules can be applied to subsets of constraints in parallel. Parallel implementations of CHR, be it in software, be it in…
In this paper, we propose a new logic for expressing and reasoning about probabilistic hyperproperties. Hyperproperties characterize the relation between different independent executions of a system. Probabilistic hyperproperties express…
We again consider (as in a companion paper) an entangled two-particle state that is produced from two independent down-conversion sources by the process of "entanglement-swapping", so that the particles have never met. We show that there is…
We investigate the performance of parallel and adaptive quantum channel discrimination strategies for a finite number of channel uses. It has recently been shown that, in the asymmetric setting with asymptotically vanishing type I error…
We develop a behavioural theory of reflective parallel algorithms (RAs), i.e. synchronous parallel algorithms that can modify their own behaviour. The theory comprises a set of postulates defining the class of RAs, an abstract machine…
We establish a central limit theorem (CLT) for families of products of $\epsilon$-independent random variables. We utilize graphon limits to encode the evolution of independence and characterize the limiting distribution. Our framework…
The axiomatic Wightman formulation for nonderivative conformal field theory is adopted to derive conformal bootstrap equation for the four point function. The equivalence between PCT theorem and {\it weak local commutativity}, due to Jost,…
Using the theory of extensors developed in a previous paper we present a theory of the parallelism structure on arbitrary smooth manifold. Two kinds of Cartan connection operators are introduced and both appear in intrinsic versions (i.e.,…
This paper proves a new central limit theorem for a sample that exhibits two-way dependence and heterogeneity across clusters. Statistical inference for situations with both two-way dependence and cluster heterogeneity has thus far been an…