Related papers: Free mutual information for two projections

Let $B$ be a Poisson algebra $\Bbb C[x_1,\ldots, x_k]$ with Poisson bracket such that $$\{x_j,x_i\}=c_{ji}x_ix_j+p_{ji}$$ for all $j>i$, where $c_{ji}\in\Bbb C$ and $p_{ji}\in\Bbb C[x_1,\ldots,x_i]$. Here we obtain an iterated skew…

System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the…

Let $\xi, \zeta$ be quadratic real numbers in distinct quadratic fields. We establish the existence of effectively computable, positive real numbers $\tau$ and $c$, such that, for every integer $q$ with $q > c$ we have $$ \max\{\|q \xi \|,…

We prove a necessary and sufficient condition for a symmetric association scheme to be a Q-polynomial scheme.

From N-tensor powers of the Toeplitz algebra, we construct a multipullback C*-algebra that is a noncommutative deformation of the complex projective space CP(N). Using Birkhoff's Representation Theorem, we prove that the lattice of kernels…

We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new…

Let C be a curve over a non-singular base variety S. We study algebraic cycles on the symmetric powers C^[n] and on the Jacobian J. The Chow homology of C^[*], the sum of all C^[n], is a ring using the Pontryagin product. We prove that this…

In this paper, we propose Proq, a runtime assertion scheme for testing and debugging quantum programs on a quantum computer. The predicates in Proq are represented by projections (or equivalently, closed subspaces of the state space),…

The sequence $\{\,_2\phi_1(q^{-k},q^{b+1};\,q^{-\overline{b}-k+1};\, q, q^{-\overline{b}+1/2} z)\}_{k \geq 0}$ of basic hypergeometric polynomials is known to be orthogonal on the unit circle with respect to the weight function…

We prove some symmetric $q$-congruences.

In this paper we collect some results about arithmetic progressions of higher order, also called polynomial sequences. Those results are applied to $(m,q)$-isometric maps.

We consider the (Renyi) mutual information, $I^{(n)}(A,B) = S^{(n)}_A+S^{(n)}_{B} - S^{(n)}_{A \cup B}$, of distant compact spatial regions A and B in the vacuum state of a free scalar field. The distance r between A and B is much greater…

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…

An elliptic pair $(X, C)$ is a generalization of a rational elliptic fibration $X \to \mathbb{P}^1$ with fiber $C,$ introduced in \cite{jenia_blowup}. Here, $X$ is a projective rational surface with log terminal singularities, and $C$ is an…

We discuss the relation between the $c$--theorem and the the way various symmetries are realized in quantum field theory. We review our recent proof of the $c$--theorem in four dimensions. Based on this proof and further evidence, we…

Let $p(z,w)$ be a polynomial in two variables. We call the solution of the algebraic equation $p(z,w) = 0$ the algebraic correspondence. We regard it as the graph of the multivalued function $z \mapsto w$ defined implicitly by $p(z,w) = 0$.…

Taking a groupoid C*-algebra approach to the study of the quantum complex projective spaces $\mathbb{P}^{n}\left( \mathcal{T}\right) $ constructed from the multipullback quantum spheres introduced by Hajac and collaborators, we analyze the…

Let $C \subset \mathbb {P}^r$ a general embedding of prescribed degree of a general smooth curve with prescribed genus. Here we prove that either $h^0(\mathbb {P}^r,\mathcal {I}_C(2)) =0$ or $h^1(\mathbb {P}^r,\mathcal {I}_C(2)) =0$ (a…

For every pair of distinct primes $p$, $q$ we prove that $\mathbb{Z}_p^3 \times \mathbb{Z}_q$ is a CI-group with respect to binary relational structures.

We establish a vanishing result for the $L_{q,p}$-cohomology ($q\ge p$) of a twisted cylinder, which is a generalization of a warped cylinder. The result is new even for warped cylinders. We base on the methods for proving the $(p,q)$…