Related papers: On the measure division construction of \Lambda-co…
The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching a la ML into a case analysis on constants and a commutation rule between case and application…
The 'collapse' of the wave function in a general measuring process is analyzed by a pure quantum mechanical (QM) approach. The problem of the delayed choice and Welcher-Weg (WW) experiments is analyzed for Mach-Zehnder (MZ) interferometer.…
We study systems with a crossover parameter lambda, such as the temperature T, which has a threshold value lambda* across which the correlation function changes from exhibiting fixed wavelength (or time period) modulations to continuously…
We present the Boltzmann classifier, a novel distance based probabilistic classification algorithm inspired by the Boltzmann distribution. Unlike traditional classifiers that produce hard decisions or uncalibrated probabilities, the…
We propose a renormalization scheme that can be used as a reliable method to identify universality classes of absorbing phase transitions. Following the spirit of Wilson's block-spin renormalization group, the lattice is divided into…
Boltzmann sampling is commonly used to uniformly sample objects of a particular size from large combinatorial sets. For this technique to be effective, one needs to prove that (1) the sampling procedure is efficient and (2) objects of the…
The factorization theorem for organizing multiple electroweak boson emissions at future colliders with energy far above the electroweak scale is formulated. Taking the inclusive muon-pair production in electron-positron collisions as an…
We show from a categorical point of view that probability measures on certain measurable or topological spaces arise canonically as the extension of probability distributions on countable sets. We do this by constructing probability monads…
Quantum coherence, as a direct manifestation of the quantum superposition principle, is a crucial resource in quantum information processing. Block coherence resource theory generalizes the traditional coherence framework by defining…
The act of measurement on a quantum state is supposed to "collapse" the state into one of several eigenstates of the operator corresponding to the observable being measured. This measurement process is sometimes described as outside…
We introduce the structural resource lambda-calculus, a new formalism in which strongly normalizing terms of the lambda-calculus can naturally be represented, and at the same time any type derivation can be internally rewritten to its…
We provide new connections between multitype $\Lambda$-coalescents and multitype continuous state branching processes via duality and a homeomorphism on their parameter space. The approach is based on a sequential sampling procedure for the…
Piecewise Deterministic Markov Processes (PDMPs) are studied in a general framework. First, different constructions are proven to be equivalent. Second, we introduce a coupling between two PDMPs following the same differential flow which…
Cumulant mapping employs a statistical reconstruction of the whole by sampling its parts. The theory developed in this work formalises and extends ad hoc methods of `multi-fold' or `multi-dimensional' covariance mapping. Explicit formulae…
If $\Lambda $ is a measure space, $u:\Lambda ^{m}\rightarrow \Bbb{R}$ is a given function and $N\geq m,$ the function $U(x_{1},...,x_{N})=\left( \begin{array}{l} N \\ m \end{array} \right) ^{-1}\sum_{1\leq i_{1}<\cdots <i_{m}\leq…
An exactly solvable model for a quantum measurement is discussed, that integrates quantum measurements with classical measurements. The z-component of a spin-1/2 test spin is measured with an apparatus, that itself consists of magnet of N…
In the paper we suggest a new construction of stochastic flows of kernels in a locally compact separable metric space $M$. Starting from a consistent sequence of Feller transtition function $(\mathsf{P}^{(n)}: n\geq 1)$ on $M$ we prove…
A universal framework for the joint measurement of multiple localized observables in quantum field theory satisfying spacetime locality and compositionality is still lacking. We present an approach to the problem that is based on the one…
Previously, the author offered a plasma-like description of quantum phenomena. This article offers a new criterion of approximation of probability density functions of quantum theories by sums of $\delta$-functions with integer coefficients…
Non-idempotent intersection types are used in order to give a bound of the length of the normalization beta-reduction sequence of a lambda term: namely, the bound is expressed as a function of the size of the term.