Related papers: All $S_p$ notions of quantum expansion are equival…

The notion of normal quantum subgroup introduced in algebraic context by Parshall and Wang when applied to compact quantum groups is shown to be equivalent to the notion of normal quantum subgroup introduced by the author. As applications,…

The complexity class NP is quintessential and ubiquitous in theoretical computer science. Two different approaches have been made to define "Quantum NP," the quantum analogue of NP: NQP by Adleman, DeMarrais, and Huang, and QMA by Knill,…

Motivated by the notions of $k$-extendability and complete extendability of the state of a finite level quantum system as described by Doherty et al (Phys. Rev. A, 69:022308), we introduce parallel definitions in the context of Gaussian…

We define 2-indexed $(q,p)$-Schatten quasi-norms for any $q,p > 0$ on operators on a tensor product of Hilbert spaces, naturally extending the norms defined by Pisier's theory of operator-valued Schatten spaces. We establish several…

We propose a universal inequality that unifies the Bousso bound with the classical focussing theorem. Given a surface $\sigma$ that need not lie on a horizon, we define a finite generalized entropy $S_\text{gen}$ as the area of $\sigma$ in…

Given two orthogonal projections P and Q, we are interested in all unitary operators U such that UP=QU and UQ=PU. Such unitaries U have previously been constructed by Wang, Du, and Dou and also by one of the authors. One purpose of this…

Both classical and quantum mechanics assume that physical laws are invariant under changes in the way that the world is labeled. This Principle of Decompositional Equivalence is formalized, and shown to forbid finite experimental…

For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on…

The classical PCP theorem is arguably the most important achievement of classical complexity theory in the past quarter century. In recent years, researchers in quantum computational complexity have tried to identify approaches and develop…

Adleman, DeMarrais, and Huang introduced the nondeterministic quantum polynomial-time complexity class NQP as an analogue of NP. Fortnow and Rogers implicitly showed that, when the amplitudes are rational numbers, NQP is contained in the…

The ingoing and outgoing null expansions associated to a spatial 2-sphere are quantized in the spherically symmetric model of loop quantum gravity. It is shown that the resulting expansion operators are self-adjoint in the kinematical…

We study $\Sigma^1_2$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".

In this note we give a simple proof that every subspace of L_p, 2<p<infinity, with an unconditional basis has an equivalent norm determined by partitions and weights. Consequently L_p has a norm determined by partitions and weights.

In a recent paper [2], Chang et al. have proposed studying "Quantum $\mathbb{F}_{un}$": the $q \mapsto 1$ limit of Modal Quantum Theories over finite fields $\mathbb{F}_q$, motivated by the fact that such limit theories can be naturally…

The Poisson-Hopf analogue of an arbitrary quantum algebra U_z(g) is constructed by introducing a one-parameter family of quantizations U_{z,h}(g) depending explicitly on h and by taking the appropriate h -> 0 limit. The q-Poisson analogues…

We postulate that physical states are equivalent under coordinate transformations. We then implement this equivalence principle first in the case of one-dimensional stationary systems showing that it leads to the quantum analogue of the…

The development of quantum algorithms and protocols calls for adequate modelling and verification techniques, which requires abstracting and focusing on the basic features of quantum concurrent systems, like CCS and CSP have done for their…

In this work we establish new equivalences for the concept of $p$-parabolic Riemannian manifolds. We define a concept of comparison principle for elliptic PDE's on exterior domains of a complete Riemannian manifold $M$ and prove that $M$ is…

Thanks to recent results on ring homomorphisms of Azumaya algebras and to the following ones about endomorphisms of canonical Poisson algebras and Dirac quantum algebras, and about the reformulation in positive characteristic of these…

We address the following question: Can we expand an NIP theory by adding a linear order such that the expansion is still NIP? Easily, if acl(A)=A for all A, then this is true. Otherwise, we give counterexamples. More precisely, there is a…