English
Related papers

Related papers: Uniform van Lambalgen's theorem fails for computab…

200 papers

We create a simple test for distinguishing between sets of primes and random numbers using just the sum-of-digits function. We find that the sum-of-the-digits of prime numbers does not have an equal probability of being odd or even. The…

General Mathematics · Mathematics 2019-01-01 Debayan Gupta , Mayuri Sridhar

The $\Omega$ numbers-the halting probabilities of universal prefix-free machines-are known to be exactly the Martin-L{\"o}f random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-L{\"o}f random left-c.e. real…

Logic in Computer Science · Computer Science 2023-06-22 Laurent Bienvenu , Barbara Csima , Matthew Harrison-Trainor

We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that the connected component of the unitary group of the Calkin algebra is not countably homogeneous.

Operator Algebras · Mathematics 2016-02-09 Ilijas Farah , Ilan Hirshberg

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…

Quantum Physics · Physics 2017-03-01 F. J. Curchod , M. Johansson , R. Augusiak , M. J. Hoban , P. Wittek , A. Acín

Unconditionally secure bit commitment is forbidden by quantum mechanics. We extend this no-go theorem to continuous-variable protocols where both players are restricted to use Gaussian states and operations, which is a reasonable assumption…

Quantum Physics · Physics 2010-01-06 Loïck Magnin , Frédéric Magniez , Anthony Leverrier , Nicolas J. Cerf

The aims of this paper are twofold. First, it discusses the Littlewood conjecture and its variants with respect to uniformly distributed sequences. The second aim is to determine the exact order of the discrepancy of the van der…

Number Theory · Mathematics 2025-09-01 Roswitha Hofer

A normal odd partition T of the edges of a cubic graph is a partition into trails of odd length (no repeated edge) such that each vertex is the end vertex of exactly one trail of the partition and internal in some trail. For each vertex v,…

Discrete Mathematics · Computer Science 2012-01-30 Jean-Luc Fouquet , Jean-Marie Vanherpe

A non-classical formulation of the central limit theorem is given for sequences of independent random variables with finite second moments. Singular sequences whose members all have a degenerate or normal distribution are excluded from…

Probability · Mathematics 2025-01-29 Alexander Shmyrov , Vasily Shmyrov

We prove that if $\vec{R}$ is a computable sequence of subsets of $\omega$ which admits no computable cohesive set, then no 3-generic computes any $\vec{R}$-cohesive set; and there exists a Martin-L\"{o}f random which computes no…

Logic · Mathematics 2013-12-13 Wei Wang

In this paper we study the inverse of so-called unfair permutations, and explore various properties of them. Our investigation begins with comparing this class of permutations with uniformly random permutations, and showing that they behave…

Probability · Mathematics 2018-06-01 İlker Arslan , Ümit Işlak , Cihan Pehlivan

Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by being based on two…

Quantum Physics · Physics 2019-05-21 Alessio Benavoli , Alessandro Facchini , Marco Zaffalon

We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…

Logic · Mathematics 2020-01-20 Andrew S Marks

Can you decide if there is a coincidence in the numbers counting two different combinatorial objects? For example, can you decide if two regions in $\mathbb{R}^3$ have the same number of domino tilings? There are two versions of the…

Combinatorics · Mathematics 2024-09-16 Swee Hong Chan , Igor Pak

We show that, contrarily to the widespread belief, in quantum mechanics repeatable measurements are not necessarily described by orthogonal projectors--the customary paradigm of "observable". Nonorthogonal repeatability, however, occurs…

Quantum Physics · Physics 2007-05-23 F. Buscemi , G. M. D'Ariano , P. Perinotti

We establish noncommutative analogs of some well-known large deviation inequalities for noncommutative random variables. Firstly, for the noncommutative independent case, we characterize the uniformly exponential integrability of random…

Operator Algebras · Mathematics 2026-04-08 Yong Jiao , Sijie Luo , Dejian Zhou

We provide a permutation-invariant version of the Koml\'os' theorem for non-negative random variables. The proof is quite elementary in the sense that it did not use the Axiom of Choice, and was based on a recent result in [3].

Functional Analysis · Mathematics 2022-08-23 Abdessamad Dehaj , Mohamed Guessous , Noureddine Sabiri

Consider Ginibre's ensemble of $N \times N$ non-Hermitian random matrices in which all entries are independent complex Gaussians of mean zero and variance $\frac{1}{N}$. As $N \uparrow \infty$ the normalized counting measure of the…

Probability · Mathematics 2007-05-23 Brian Rider

Bell's theorem proves the incompatibility between quantum mechanics and local realistic hidden-variable theories. In this paper we show that, contrary to a common belief, the theoretical proof of Bell's theorem is not affected by…

General Physics · Physics 2025-01-15 Andrea Aiello

Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by having it follow from…

Quantum Physics · Physics 2019-02-12 Alessio Benavoli , Alessandro Facchini , Marco Zaffalon

The prevalent interpretation of G\"odel's Second Theorem states that a sufficiently adequate and consistent theory does not prove its consistency. It is however not entirely clear how to justify this informal reading, as the formulation of…

Logic · Mathematics 2020-08-13 Balthasar Grabmayr