Searcharxiv⌕ Search

arXiv subjects

Marius Junge

Publications and source records attributed to Marius Junge.

At least 73 records · Page 4Linked to original sources

Noncommutative versions of the arithmetic-geometric mean inequality

Recht and Ré introduced the noncommutative arithmetic geometric mean inequality (NC-AGM) for matrices with a constant depending on the degree $d$ and the dimension $m$. In this paper we prove AGM inequalities with a dimension-free constant for general operators. We also prove an order version of the AGM inequality under additional hypothesis. Moreover, we show that our AGM inequality almost holds for many examples of random matrices .

math.OA↗

Capacity Bounds via Operator Space Methods

Quantum capacity, as the ultimate transmission rate of quantum communication, is characterized by regularized coherent information. In this work, we reformulate approximations of the quantum capacity by operator space norms and give both upper and lower bounds on quantum capacity, and potential quantum capacity using interpolation techniques. We identify a situation in which nice classes of channels satisfy a "comparison property" on entropy, coherent information and capacities. The paradigms for our estimates are so-called conditional expectations. These generally non-degradable channels admit a strongly additive expression for $Q^{(1)}$. We also identify conditions on channels showing that the "hashing bound" is optimal for the cb-entropy. These two estimates combined give upper and lower bounds on quantum capacity on our "nice" classes of channels, which differ only up to a factor 2, independent of the dimension. The estimates are discussed for certain classes of channels, including group channels, Pauli channels and other high-dimensional channels.

quant-ph↗

Ultraproduct methods for mixed $q$-Gaussian algebras

We provide a unified ultraproduct approach for constructing Wick words in mixed $q$-Gaussian algebras, which are generated by $s_j=a_j+a_j^*$, $j=1,\cdots,N$, where $a_ia^*_j - q_{ij}a^*_ja_i =δ_{ij}$. Here we also allow equality in $-1\le q_{ij}=q_{ji}\le 1$. Using the ultraproduct method, we construct an approximate co-multiplication of the mixed $q$-Gaussian algebras. Based on this we prove that these algebras are weakly amenable and strongly solid in the sense of Ozawa and Popa. We also encode Speicher's central limit theorem in the unified ultraproduct method, and show that the Ornstein--Uhlenbeck semigroup is hypercontractive, the Riesz transform associated to the number operator is bounded, and the number operator satisfies the $L_p$ Poincaré inequalities with constants $C\sqrt{p}$.

math.OA↗

Asymmetric Doob inequalities in continuous time

The present paper is devoted to the second part of our project on asymmetric maximal inequalities, where we consider martingales in continuous time. Let $(\mathcal M,τ)$ be a noncommutative probability space equipped with a continuous filtration of von Neumann subalgebras $(\mathcal M_t)_{0\leq t\leq1}$ whose union is weak-$*$ dense in $\mathcal{M}$. Let $\mathcal E_t$ denote the corresponding family of conditional expectations. As for discrete filtrations, we shall prove that for $1 < p < 2$ and $x \in L_p(\mathcal M,τ)$ one can find $a, b \in L_p(\mathcal M,τ)$ and contractions $u_t, v_t \in \mathcal M$ such that $$\mathcal E_t(x) = a u_t + v_t b \quad \mbox{and} \quad \max \big\{ \|a\|_p, \|b\|_p \big\} \le c_p \|x\|_p.$$ Moreover, $a u_t$ and $v_t b$ converge in the row/column Hardy spaces $\mathcal H_p^r(\mathcal M)$ and $\mathcal H_p^c(\mathcal M)$ respectively. We also confirm in the continuous setting the validity of related asymmetric maximal inequalities which we recently found for discrete filtrations, including $p=1$. As for other results in noncommutative martingale theory, the passage from discrete to continuous index is quite technical and requires genuinely new methods. Our approach towards asymmetric maximal inequalities is based on certain construction of conditional expectations for a sequence of projective systems of $L_p$-modules. The convergence in $\mathcal H_p^r(\mathcal M)$ and $\mathcal H_p^c(\mathcal M)$ also imposes new algebraic atomic decompositions.

math.PR↗

Reducing the number of inputs in nonlocal games

In this work we show how a vector-valued version of Schechtman's empirical method can be used to reduce the number of inputs in a nonlocal game $G$ while preserving the quotient $β^*(G)/β(G)$ of the quantum over the classical bias. We apply our method to the Khot-Vishnoi game, with exponentially many questions per player, to produce another game with polynomially many ($N\approx n^8$) questions so that the quantum over the classical bias is $Ω(n/\log^2 n)$.

quant-ph↗

RIP-like Properties in Subsampled Blind Deconvolution

We derive near optimal performance guarantees for subsampled blind deconvolution. Blind deconvolution is an ill-posed bilinear inverse problem and additional subsampling makes the problem even more challenging. Sparsity and spectral flatness priors on unknown signals are introduced to overcome these difficulties. While being crucial for deriving desired near optimal performance guarantees, unlike the sparsity prior with a nice union-of-subspaces structure, the spectral flatness prior corresponds to a nonconvex cone structure, which is not preserved by elementary set operations. This prohibits the operator arising in subsampled blind deconvolution from satisfying the standard restricted isometry property (RIP) at near optimal sample complexity, which motivated us to study other RIP-like properties. Combined with the performance guarantees derived using these RIP-like properties in a companion paper, we show that subsampled blind deconvolution is provably solved at near optimal sample complexity by a practical algorithm.

cs.IT↗

Blind Recovery of Sparse Signals from Subsampled Convolution

Subsampled blind deconvolution is the recovery of two unknown signals from samples of their convolution. To overcome the ill-posedness of this problem, solutions based on priors tailored to specific application have been developed in practical applications. In particular, sparsity models have provided promising priors. However, in spite of empirical success of these methods in many applications, existing analyses are rather limited in two main ways: by disparity between the theoretical assumptions on the signal and/or measurement model versus practical setups; or by failure to provide a performance guarantee for parameter values within the optimal regime defined by the information theoretic limits. In particular, it has been shown that a naive sparsity model is not a strong enough prior for identifiability in the blind deconvolution problem. Instead, in addition to sparsity, we adopt a conic constraint, which enforces spectral flatness of the signals. Under this prior, we provide an iterative algorithm that achieves guaranteed performance in blind deconvolution at near optimal sample complexity. Numerical results show the empirical performance of the iterative algorithm agrees with the performance guarantee.

cs.IT↗

Algebraic Davis decomposition and asymmetric Doob inequalities

In this paper we investigate asymmetric forms of Doob maximal inequality. The asymmetry is imposed by noncommutativity. Let $(\M,τ)$ be a noncommutative probability space equipped with a weak-$*$ dense filtration of von Neumann subalgebras $(\M_n)_{n \ge 1}$. Let $\E_n$ denote the corresponding family of conditional expectations. As an illustration for an asymmetric result, we prove that for $1 < p < 2$ and $x \in L_p(\M,τ)$ one can find $a, b \in L_p(\M,τ)$ and contractions $u_n, v_n \in \M$ such that $$\E_n(x) = a u_n + v_n b \quad \mbox{and} \quad \max \big\{ \|a\|_p, \|b\|_p \big\} \le c_p \|x\|_p.$$ Moreover, it turns out that $a u_n$ and $v_n b$ converge in the row/column Hardy spaces $\H_p^r(\M)$ and $\H_p^c(\M)$ respectively. In particular, this solves a problem posed by Defant and Junge in 2004. In the case $p=1$, our results establish a noncommutative form of Davis celebrated theorem on the relation between martingale maximal and square functions in $L_1$, whose noncommutative form has remained open for quite some time. Given $1 \le p \le 2$, we also provide new weak type maximal estimates, which imply in turn left/right almost uniform convergence of $\E_n(x)$ in row/column Hardy spaces. This improves the bilateral convergence known so far. Our approach is based on new forms of Davis martingale decomposition which are of independent interest, and an algebraic atomic description for the involved Hardy spaces. The latter results are new even for commutative von Neumann algebras.

math.OA↗

Subgaussian 1-cocycles on discrete groups

We prove the $L_p$ Poincaré inequalities with constant $C\sqrt{p}$ for $1$-cocycles on countable discrete groups under Bakry--Emery's $Γ_2$-criterion. These inequalities determine an analogue of subgaussian behavior for 1-cocycles. Our theorem improves some of our previous results in this direction, and in particular implies Efraim and Lust-Piquard's Poincaré type inequalities for the Walsh system. The key new ingredient in our proof is a decoupling argument. As complementary results, we also show that the spectral gap inequality implies the $L_p$ Poincaré inequalities with constant $C{p}$ under some conditions in the noncommutative setting. New examples which satisfy the $Γ_2$-criterion are provided as well.

math.PR↗

SuperDense Teleportation using Hyperentangled Photons

We use photon pairs hyperentangled in polarization and orbital angular momentum to implement a novel entanglement-enhanced quantum state communication technique, known as SuperDense Teleportation, to communicate a specific class of single-photon ququart states between two remote parties, with an average fidelity of 87.0(1)%, almost twice the classical limit of 44%. We compare this technique with quantum teleportation and remote state preparation and show that SuperDense teleportation requires less classical information and fewer experimental resources. We discuss the information content of this constrained set of states and demonstrate that this set has an exponentially larger state space volume than the lower dimensional general states with the same number of state parameters.

quant-ph↗

Smooth Fourier multipliers in group algebras via Sobolev dimension

We investigate Fourier multipliers with smooth symbols defined over locally compact Hausdorff groups. Our main results in this paper establish new Hörmander-Mikhlin criteria for spectral and non-spectral multipliers. The key novelties which shape our approach are three. First, we control a broad class of Fourier multipliers by certain maximal operators in noncommutative $L_p$ spaces. This general principle ---exploited in Euclidean harmonic analysis during the last 40 years--- is of independent interest and might admit further applications. Second, we replace the formerly used cocycle dimension by the Sobolev dimension. This is based on a noncommutative form of the Sobolev embedding theory for Markov semigroups initiated by Varopoulos, and yields more flexibility to measure the smoothness of the symbol. Third, we introduce a dual notion of polynomial growth to further exploit our maximal principle for non-spectral Fourier multipliers. The combination of these ingredients yields new $L_p$ estimates for smooth Fourier multipliers in group algebras.

math.FA↗

Some classification results for generalized q-gaussian algebras

To any trace preserving action $σ: G \curvearrowright A$ of a countable discrete group on a finite von Neumann algebra $A$ and any orthogonal representation $π:G \to \mathcal O(\ell^2_{\mathbb{R}}(G))$, we associate the generalized q-gaussian von Neumann algebra $A \rtimes_σ Γ_q^π(G,K)$, where $K$ is an infinite dimensional separable Hilbert space. Specializing to the cases of $π$ being trivial or given by conjugation, we then prove that if $G \curvearrowright A = L^{\infty}(X)$, $G' \curvearrowright B = L^{\infty}(Y)$ are p.m.p. free ergodic rigid actions, the commutator subgroups $[G,G]$, $[G',G']$ are ICC, and $G, G'$ belong to a fairly large class of groups (including all non-amenable groups having the Haagerup property), then $A \rtimes Γ_q(G,K) = B \rtimes Γ_q(G',K')$ implies that $\mathcal R(G \curvearrowright A)$ is stably isomorphic to $\mathcal R(G' \curvearrowright B)$, where $\mathcal R(G \curvearrowright A), \mathcal R(G' \curvearrowright B)$ are the countable, p.m.p. equivalence relations implemented by the actions of $G$ and $G'$ on $A$ and $B$, respectively. Using results of D. Gaboriau and S. Popa we construct continuously many pair-wise non-isomorphic von Neumann algebras of the form $L^{\infty}(X) \rtimes Γ_q(\mathbb{F}_n,K)$, for suitable free ergodic rigid p.m.p. actions $\mathbb{F}_n \curvearrowright X$.

math.OA↗

Smooth Fourier multipliers on group von Neumann algebras

We investigate Fourier multipliers on the compact dual of arbitrary discrete groups. Our main result is a Hörmander-Mihlin multiplier theorem for finite-dimensional cocycles with optimal smoothness condition. We also find Littlewood-Paley type inequalities in group von Neumann algebras, prove $L_p$ estimates for noncommutative Riesz transforms and characterize $L_\infty \to \mathrm{BMO}$ boundedness for radial Fourier multipliers. The key novelties of our approach are to exploit group cocycles and cross products in Fourier multiplier theory in conjunction with BMO spaces associated to semigroups of operators and a noncommutative generalization of Calderón-Zygmund theory.

math.CA↗

CB-norm estimates for maps between noncommutative $L_p$-spaces and quantum channel theory

In the first part of this work we show how certain techniques from quantum information theory can be used in order to obtain very sharp embeddings between noncommutative $L_p$-spaces. Then, we use these estimates to study the classical capacity with restricted assisted entanglement of the quantum erasure channel and the quantum depolarizing channel. In particular, we exactly compute the capacity of the first one and we show that certain nonmultiplicative results hold for the second one.

math.OA↗

Noncommutative Riesz transforms -- Dimension free bounds and Fourier multipliers

We obtain dimension free estimates for noncommutative Riesz transforms associated to conditionally negative length functions on group von Neumann algebras. This includes Poisson semigroups, beyond Bakry's results in the commutative setting. Our proof is inspired by Pisier's method and a new Khintchine inequality for crossed products. New estimates include Riesz transforms associated to fractional laplacians in $\mathbb{R}^n$ (where Meyer's conjecture fails) or to the word length of free groups. Lust-Piquard's work for discrete laplacians on LCA groups is also generalized in several ways. In the context of Fourier multipliers, we will prove that Hörmander-Mihlin multipliers are Littlewood-Paley averages of our Riesz transforms. This is highly surprising in the Euclidean and (most notably) noncommutative settings. As application we provide new Sobolev/Besov type smoothness conditions. The Sobolev type condition we give refines the classical one and yields dimension free constants. Our results hold for arbitrary unimodular groups.

math.CA↗

Theory of H_p-spaces for continuous filtrations in von Neumann algebras

We introduce Hardy spaces for martingales with respect to continuous filtration for von Neumann algebras. In particular we prove the analogues of the Burkholder/Gundy and Burkholder/Rosenthal inequalities in this setting. The usual arguments using stopping times in the commutative case are replaced by tools from noncommutative function theory and allow us to obtain the analogue of the Feffermann-Stein duality and prove a noncommutative Davis decomposition.

math.OA↗