Related papers: Van Lambalgen's theorem fails for some computable …
We extend Gleason's theorem to the two-dimensional Hilbert space of a qubit by invoking the standard axiom that describes composite quantum systems. The tensor-product structure allows us to derive density matrices and Born's rule for $d=2$…
Unpredictability, or randomness, of the outcomes of measurements made on an entangled state can be certified provided that the statistics violate a Bell inequality. In the standard Bell scenario where each party performs a single…
Bell's theorem is supposed to exclude all local hidden-variable models of quantum correlations. However, an explicit counterexample shows that a new class of local realistic models, based on generalized arithmetic and calculus, can exactly…
Let $\mu$ be a Borel measure on $R^d$ which may be non doubling. The only condition that $\mu$ must satisfy is $\mu(B(x,r))\leq C r^n$ for all $x\in R^d$, $r>0$, and for some fixed $0<n\leq d$. In this paper, we develop Littlewood-Paley…
We show that correlations inconsistent with any locally causal description can be a generic feature of measurements on entangled quantum states. Specifically, spatially-separated parties who perform local measurements on a…
A modified Beltrametti-Cassinelli-Lahti model of measurement apparatus that satisfies both the probability reproducibility condition and the objectification requirement is constructed. Only measurements on microsystems are considered. The…
A hypothesis testing algorithm is replicable if, when run on two different samples from the same distribution, it produces the same output with high probability. This notion, defined by by Impagliazzo, Lei, Pitassi, and Sorell [STOC'22],…
In this paper we show that if $(X,\mathcal{A})$ is a measurable space and if $Y$ is a topological model of a Lawvere theory $\mathcal{T}$ equipped with $\mathcal{B}$ the Borel $\sigma$-algebra on $Y$, then the set of…
The triangular elliptic operators are natural extensions of the elliptic deformation of circular operators. We obtain a Brown measure formula for the sum of a triangular elliptic operator $g_{_{\alpha, \beta, \gamma}}$ with a random…
If $S$ is an infinite sequence over a finite alphabet $\Sigma$ and $\beta$ is a probability measure on $\Sigma$, then the {\it dimension} of $ S$ with respect to $\beta$, written $\dim^\beta(S)$, is a constructive version of Billingsley…
Superdeterminism - where the Measurement Independence assumption in Bell's Theorem is violated - is frequently assumed to imply implausibly conspiratorial correlations between properties $\lambda$ of particles being measured and measurement…
In this paper we study the problem of a possibility to use quantum observables to describe a possible combination of the order effect with sequential reproducibility for quantum measurements. By the order effect we mean a dependence of…
Measurement-based quantum computation is a framework of quantum computation, where entanglement is used as a resource and local measurements on qubits are used to drive the computation. It originates from the one-way quantum computer of…
Brolin-Lyubich measure $\lambda_R$ of a rational endomorphism $R:\riem\to\riem$ with $\deg R\geq 2$ is the unique invariant measure of maximal entropy $h_{\lambda_R}=h_{\text{top}}(R)=\log d$. Its support is the Julia set $J(R)$. We…
It is studied a connection between the separability and the countable chain condition of spaces with the $L$-property (a topological space $X$ has the $L$-property if for every topological space $Y$, separately continuous function…
Computational properties of the Hahn-Banach theorem have been studied in computable, constructive and reverse mathematics and in all these approaches the theorem is equivalent to weak K\H{o}nig's lemma. Gherardi and Marcone proved that this…
We give a necessary and sufficient condition on a sequence of functions on a set $\Omega$ under which there is a measure on $\Omega$ which renders the given sequence of functions a martingale. Further such a measure is unique if we impose a…
We consider three types of entities for quantum measurements. In order of generality, these types are: observables, instruments and measurement models. If $\alpha$ and $\beta$ are entities, we define what it means for $\alpha$ to be a part…
We prove the following variant of Marstrand's theorem about projections of cartesian products of sets: Consider the space $\Lambda_m=\set{(t,O), t\in\R, O\in SO(m)}$ with the natural measure and set…
We introduce computable actions of computable groups and prove the following versions of effective Birkhoff's ergodic theorem. Let $\Gamma$ be a computable amenable group, then there always exists a canonically computable tempered two-sided…