Researcher profile

Marius Junge

Marius Junge contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2026arXiv

Generalized Poincaré inequality for quantum Markov semigroups

We prove a noncommutative $(p,p)$-Poincaré inequality for trace-symmetric quantum Markov semigroups on tracial von Neumann algebras, assuming only the existence of a spectral gap. Extending semi-commutative results of Huang and Tropp, our argument uses Markov dilations to obtain chain-rule estimates for Dirichlet forms and employs amalgamated free products to define an appropriate noncommutative derivation. We further generalize the argument to non-tracial $σ$-finite von Neumann algebras under the weaker assumption of GNS-detailed balance, using Haagerup's reduction and Kosaki's interpolation theorem. As applications, we recover noncommutative Khintchine and sub-exponential concentration inequalities.

preprint2026arXiv

Resource-Dependent Complexity of Quantum Channels

We introduce a new framework for quantifying the complexity of quantum channels, grounded in a suitably chosen resource set. This class of convex functions is designed to analyze the complexity of both open and closed quantum systems. By leveraging Lipschitz norms inspired by quantum optimal transport theory, we rigorously establish the fundamental properties of this complexity measure. The flexibility in selecting the resource set allows us to derive effective lower bounds for gate complexities and simulation costs of both Hamiltonian simulations and dynamics of open quantum systems. Additionally, we demonstrate that this complexity measure exhibits linear growth for random quantum circuits and finite-dimensional quantum simulations, up to the Brown-Susskind threshold.

preprint2023arXiv

Entropy Uncertainty Relations and Strong Sub-additivity of Quantum Channels

We prove an entropic uncertainty relation for two quantum channels, extending the work of Frank and Lieb for quantum measurements. This is obtained via a generalized strong super-additivity (SSA) of quantum entropy. Motivated by Petz's algebraic SSA inequality, we also obtain a generalized SSA for quantum relative entropy. As a special case, it gives an improved data processing inequality.

preprint2022arXiv

Geometry of Banach spaces: a new route towards Position Based Cryptography

In this work we initiate the study of Position Based Quantum Cryptography (PBQC) from the perspective of geometric functional analysis and its connections with quantum games. The main question we are interested in asks for the optimal amount of entanglement that a coalition of attackers have to share in order to compromise the security of any PBQC protocol. Known upper bounds for that quantity are exponential in the size of the quantum systems manipulated in the honest implementation of the protocol. However, known lower bounds are only linear. In order to deepen the understanding of this question, here we propose a Position Verification (PV) protocol and find lower bounds on the resources needed to break it. The main idea behind the proof of these bounds is the understanding of cheating strategies as vector valued assignments on the Boolean hypercube. Then, the bounds follow from the understanding of some geometric properties of particular Banach spaces, their type constants. Under some regularity assumptions on the former assignment, these bounds lead to exponential lower bounds on the quantum resources employed, clarifying the question in this restricted case. Known attacks indeed satisfy the assumption we make, although we do not know how universal this feature is. Furthermore, we show that the understanding of the type properties of some more involved Banach spaces would allow to drop out the assumptions and lead to unconditional lower bounds on the resources used to attack our protocol. Unfortunately, we were not able to estimate the relevant type constant. Despite that, we conjecture an upper bound for this quantity and show some evidence supporting it. A positive solution of the conjecture would lead to stronger security guarantees for the proposed PV protocol providing a better understanding of the question asked above.

preprint2021arXiv

Geometric Approach Towards Complete Logarithmic Sobolev Inequalities

In this paper, we use the Carnot-Caratheodory distance from sub-Riemanian geometry to prove entropy decay estimates for all finite dimensional symmetric quantum Markov semigroups. This estimate is independent of the environment size and hence stable under tensorization. Our approach relies on the transference principle, the existence of $t$-designs, and the sub-Riemannian diameter of compact Lie groups and implies estimates for the spectral gap.

preprint2020arXiv

BMO-estimates for non-commutative vector valued Lipschitz functions

We construct Markov semi-groups $\mathcal{T}$ and associated BMO-spaces on a finite von Neumann algebra $(\mathcal{M}, τ)$ and obtain results for perturbations of commutators and non-commutative Lipschitz estimates. In particular, we prove that for any $A \in \mathcal{M}$ self-adjoint and $f: \mathbb{R} \rightarrow \mathbb{R}$ Lipschitz there is a Markov semi-group $\mathcal{T}$ such that for $x \in \mathcal{M}$, \[ \Vert [f(A), x] \Vert_{{\rm BMO}(\mathcal{M}, \mathcal{T})} \leq c_{abs} \Vert f' \Vert_\infty \Vert [A, x] \Vert_\infty. \] We obtain an analogue of this result for more general von Neumann valued-functions $f: \mathbb{R}^n \rightarrow \mathcal{N}$ by imposing Hörmander-Mikhlin type assumptions on $f$. In establishing these result we show that Markov dilations of Markov semi-groups have certain automatic continuity properties. We also show that Markov semi-groups of double operator integrals admit (standard and reversed) Markov dilations.

preprint2020arXiv

Complete Logarithmic Sobolev inequalities via Ricci curvature bounded below

We prove that for a symmetric Markov semigroup, Ricci curvature bounded from below by a non-positive constant combined with a finite $L_\infty$-mixing time implies the modified log-Sobolev inequality. Such $L_\infty$-mixing time estimates always hold for Markov semigroups that have spectral gap and finite Varopoulos dimension. Our results apply to non-ergodic quantum Markov semigroups with noncommutative Ricci curvature bounds recently introduced by Carlen and Maas. As an application, we prove that the heat semigroup on a compact Riemannian manifold admits a uniform modified log-Sobolev inequality for all its matrix-valued extensions.

preprint2020arXiv

Complete Logarithmic Sobolev Inequalities via Ricci Curvature Bounded Below II

Using a non-negative curvature condition, we prove the complete version of modified log-Sobolev inequalities for central Markov semigroups on various compact quantum groups, including group von Neumann algebras, free orthogonal group and quantum automorphism groups. We also prove that the "geometric Ricci curvature lower bound" introduced by Junge-Li-LaRacuente is stable under tensor products and amalgamated free products. As an application, we obtain the geometric Ricci curvature lower bound and complete modified logarithmic Sobolev inequality for word-length semigroups on free group factors and amalgamated free product algebras.

preprint2020arXiv

Graph Hörmander Systems

This paper extends the Bakry-Émery theorem connecting the Ricci curvature and log-Sobolev inequalities to the matrix-valued setting. Using tools from noncommuative geometry, it is shown that for a right invariant second order differential operator on a compact Lie group, a lower bound for a matrix-valued modified log-Sobolev inequality is equivalent to a uniform lower bound for all finite dimensional representations. Using combinatorial tools, we obtain computable lower bounds for matrix-valued log-Sobolev inequalities of graph-Hörmander systems using combinatorial methods.