Related papers: Free mutual information for two projections
We extend the combinatorial Morse complex construction to the arbitrary free chain complexes, and give a short, self-contained, and elementary proof of the quasi-isomorphism between the original chain complex and its Morse complex. Even…
From the minimal assumption of post-quantum semi-honest oblivious transfers, we build the first $\epsilon$-simulatable two-party computation (2PC) against quantum polynomial-time (QPT) adversaries that is both constant-round and black-box…
A group $G$ has cube-free order if no prime to the third power divides $|G|$. We describe an algorithm that given two cube-free groups $G$ and $H$ of known order, decides whether $G\cong H$, and, if so, constructs an isomorphism $G\to H$.…
According to a well-known theorem of Cram\'er and Wold, if $P$ and $Q$ are two Borel probability measures on $\mathbb{R}^d$ whose projections $P_L,Q_L$ onto each line $L$ in $\mathbb{R}^d$ satisfy $P_L=Q_L$, then $P=Q$. Our main result is…
The recently introduced CP*-construction unites quantum channels and classical systems, subsuming the earlier CPM-construction in categorical quantum mechanics. We compare this construction to two earlier attempts at solving this problem:…
We provide the first (non-labelled) sequent calculi for bimodal provability logics with "usual" provability predicates. In particular, we introduce calculi for the logics CS, CSM and ER. Additionally, we present non-wellfounded versions of…
Let $\mathscr{C}_{+}(p,q)^0$ and $\mathscr{C}_{-}(p,q)^0$ be the semigroups $\mathscr{C}_{+}(a,b)$ and $\mathscr{C}_{-}(a,b)$ with the adjoined zero. We show that the semigroups $\mathscr{C}_{+}(p,q)^0$ and $\mathscr{C}_{-}(p,q)^0$ admit…
The Schr\"oder-Bernstein theorem states that, for any two sets P and Q, if there exists an injection from P to Q and an injection from Q to P, then there must exist a bijection between the two sets. Classically, it follows that the ordering…
We show that a confluent case of the big q-Jacobi polynomials P_n(x;a,b,c;q), which corresponds to a=b=-c, leads to a discrete orthogonality relation for imaginary values of the parameter a (outside of its commonly known domain 0<a<…
In this paper, we will prove that the quantum ring of the quasi-homogeneous polynomial $X^{p}+XY^{q}(p\ge 2,q>1)$ with some admissible symmetry group $G$ defined by Fan-Jarvis-Ruan-Witten theory is isomorphic to the Milnor ring of its…
This paper revisits the Pearson Chi-squared independence test. After presenting the underlying theory with modern notations and showing new way of deriving the proof, we describe an innovative and intuitive graphical presentation of this…
Dans ce travail, on montre que $(M(\mathbb{T}),c_0(\mathbb{Z}))_\theta = (L^1,c_0(\mathbb{Z}))_\theta$, $0<\theta <1$. Dans la suite on montre pour le couple d'interpolation $(C_0,C_1)$ trouv\'e par Garling-Smith qu'il existe un…
Let (A,phi) be the reduced free product of infinitely many pairs (A_i,phi_i) of C*-algebras with faithful states. Assume that the A_i are not too small, in a specific sense. It is shown that if phi is a trace then K_0(A) is determined…
Let $p$ and $q$ be multiplicatively independent integers. We show that the complex group ring of $\mathbb{Z}[\frac{1}{pq}]\rtimes\mathbb{Z}^2$ admits a unique $\mathrm{C}^*$-norm. The proof uses a characterization, due to Furstenberg, of…
Several characterizations are given for a square matrix that can be written as the product of two positive (semidefinite) projections. Based on one of these characterizations, and the theory of alternating projections, a Matlab program is…
We study whether, in the pi-calculus, the match prefix-a conditional operator testing two names for (syntactic) equality-is expressible via the other operators. Previously, Carbone and Maffeis proved that matching is not expressible this…
For projective conifold transitions between Calabi-Yau threefolds $X$ and $Y$, with $X$ close to $Y$ in the moduli, we show that the combined information provided by the $A$ model (Gromov--Witten theory in all genera) and $B$ model…
A $\lambda$-calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographic constructions and adversaries for them, even when…
Transformations of transformations, also called higher-order transformations, is a natural concept in information processing, which has recently attracted significant interest in the study of quantum causal relations. In this work, a…
We investigate the consecutive primes $p$ and $q$ ($p > q$) for which there exists a pair of natural numbers $(x,y)$ such that $p^x-q^y$ is a perfect square and make some conjectures.