Related papers: Permutation-Invariance in Koml\'os' Theorem for No…

In this paper we present methods for the synthesis of polynomial invariants for probabilistic transition systems. Our approach is based on martingale theory. We construct invariants in the form of polynomials over program variables, which…

We prove the almost sure invariance principle with rate $o(n^{\varepsilon})$ for every $\varepsilon > 0$ for H\"older continuous observables on nonuniformly expanding and nonuniformly hyperbolic transformations with exponential tails.…

We prove, under mild conditions on fixed points and two cycles, the asymptotic normality of vincular pattern counts for a permutation chosen uniformly at random in a conjugacy class.Additionally, we prove that the limiting variance is…

This paper first establishes a strong law of large numbers and a strong invariance principle for forward and backward sums of near-epoch dependent sequences. Using these limiting theorems, we develop a general asymptotic theory on the Wald…

We prove a noncommutative version of Bishop's peak interpolation-set theorem.

This article introduces three invariance principles under which P is different from NP. In the second part a theorem of convergence is proven. This theorem states that for any language L there exists an infinite sequence of languages from…

Every permutation invariant Borel subset of the space of countable structures is definable in $\La_{\omega_1\omega}$ by a theorem of Lopez-Escobar. We prove variants of this theorem relative to fixed relations and fixed non-permutation…

We continue the investigation of noncommutative cumulants. In this paper various characterizations of noncommutative Gaussian random variables are proved.

Under broad conditions, we prove that the probability amplitudes in the quantum mechanics are either always constant in time or changing continuously in any interval of time.

We develop an invariant of knots that depends on a complex parameter t, describing a left ideal in the noncommutative torus. When the parameter is set equal to -1 we recover the A-polynomial of the knot. We relate the invariant to the…

By Easton's theorem one can force the exponential function on regular cardinals to take rather arbitrary cardinal values provided monotonicity and Koenig's lemma are respected. In models without choice we employ a "surjective" version of…

We present a relationship between noncommutativity and higher order time derivative theories using a method perturbative. We introduce a generalization of the Chern-Simons Quantum Mechanics for higher order time derivatives. This model…

We show that a probability measure is not a nontrivial free additive convolution if it puts no mass in an interval whose endpoints are atoms. The analogous results for free multiplicative convolutions are proved as well. The proofs use…

We prove that the permutation computed by a reversible circuit with $\tilde{O}(nk\cdot \log(1/\varepsilon))$ random $3$-bit gates is $\varepsilon$-approximately $k$-wise independent. Our bound improves on currently known bounds in the…

A basis of Lorentz and gauge-invariant monomials in non--Abelian gauge theories with matter is described, applicable for the inverse mass expansion of effective actions. An algorithm to convert an arbitrarily given invariant expression into…

This paper shows that testability of reverse causality is possible even in the absence of exogenous variation, such as in the form of instrumental variables. Instead of relying on exogenous variation, we achieve testability by imposing…

Permutation tests are a powerful and flexible approach to inference via resampling. As computational methods become more ubiquitous in the statistics curriculum, use of permutation tests has become more tractable. At the heart of the…

The argument of environment-assisted invariance (known as envariance) implying Born's rule is widely used in models for quantum measurement to reason that they must yield the correct statistics, specifically for linear models. However, it…

We present a short, elementary proof not involving Fourier transforms of the theorem of Cram\'er and Wold that a Borel probability measure is determined by its values on half-spaces.

We study the formulation of quantum statistical mechanics in noncommutative spaces. We construct microcanonical and canonical ensemble theory in noncommutative spaces. We consider for illustration some basic and important examples in the…