Related papers: Corrigendum to "Kim-independence in positive logic…

This paper has been withdrawn to provide a more rigorous proof of the converse of Theorem 1 and Lemma 1 as well.

Let $P$ be a positive rational number. Call a function $f:\mathbb{R}\rightarrow\mathbb{R}$ to have $\textit{finite gaps property mod}$ $P$ if the following holds: for any positive irrational $\alpha$ and positive integer $M$, when the…

We prove an extensionality theorem for the "type-in-type" dependent type theory with Sigma-types. We suggest that the extensional equality type be identified with the logical equivalence relation on the free term model of type theory.

Studies of integrable quantum many-body systems have a long history with an impressive record of success. However, surprisingly enough, an unambiguous definition of quantum integrability remains a matter of an ongoing debate. We contribute…

The statements of Main~Theorem~1.1 and Theorem~2.1 of the author's paper [\emph{Trans.\ Amer.\ Math.\ Soc.}\ {\bf 345} (1994) 577--594] should assume that $\Gamma $~is discrete and $G$~is connected. (Cors.~1.3, 5.6, and~5.8 are affected…

We generalize a theorem by Khalfin, originally derived for the states $| F_1 > = | M^0>$, $| F_2 > = |\bar M^0>$, where $M^0$ is a neutral flavoured meson (e.g., $K^0$ or $B_d^0$), by assuming CPT invariance. Dispensing with CPT invariance…

Let $p_{k}$ denote the $k$-th prime and $d(p_{k}) = p_{k} - p_{k - 1}$, the difference between consecutive primes. We denote by $N_{\epsilon}(x)$ the number of primes $\leq x$ which satisfy the inequality $d(p_{k}) \leq (\log p_{k})^{2 +…

Working with a rather general notion of independence, we provide a transference method which allows to compare the p-norm of sums of independent copies with the p-norm of sums of free copies. Our main technique is to construct explicit…

We describe a graph-theoretic syntax for self-referential formulas as well as a four-valued logic to include contradictory and independent formulas. We then explore the degree to which generalized truth tables can be realized in our theory,…

This paper has been withdrawn by the author, due to a crucial error in the proof of Lemma 3.1.

We construct a simple, separable, unital, and nuclear C*-algebra with weakly unperforated K_0-group which does not absorb the Jiang-Su algebra Z tensorially. As a result, we obtain a stably finite counter-example to Elliott's classification…

In this paper we study Zariski Decomposition with support in a negative definite cycle, a variation introduced by Y. Miyaoka. We provide two extensions of the original statement, which was originally meant for effective $\Q$-divisors: we…

We show that a strong form of the so called Lindstrom's Theorem fails to generalize to extensions of L_{kappa,omega} and L_{kappa,kappa}: For weakly compact kappa there is no strongest extension of L_{kappa,omega} with the…

Independence and conditional independence are fundamental concepts for reasoning about groups of random variables in probabilistic programs. Verification methods for independence are still nascent, and existing methods cannot handle…

In the paper, we investigate the following fundamental question. For a set $\mathcal{K}$ in $\mathbb{L}^0(\mathbb{P})$, when does there exist an equivalent probability measure $\mathbb{Q}$ such that $\mathcal{K}$ is uniformly integrable in…

We prove the Simons-Johnson theorem for the sums $S_n$ of $m$-dependent random variables, with exponential weights and limiting compound Poisson distribution $\CP(s,\lambda)$. More precisely, we give sufficient conditions for…

This very short correction notes a gap in an argument of an earlier paper, and also provides a theorem of similar flavor to the main result of that paper.

Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be…

In this note, we prove a tight lower bound on the joint entropy of $n$ unbiased Bernoulli random variables which are $n/2$-wise independent. For general $k$-wise independence, we give new lower bounds by adapting Navon and Samorodnitsky's…

In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well…