-
On a question of Blecher, Pisier, Shlyakhtenko
Authors:
Roy Araiza,
Marius Junge,
Carlos Palazuelos
Abstract:
We show the failure of a matricial version of Grothendieck's theorem for operator spaces, thereby resolving a long-standing open question in the field. Moreover, by showing that such a counterexample can occur in the simplest context of commutative $C^*$-algebras, we address some other open questions in operator algebras. Our constructions, completely explicit and fairly simple, are inspired by so…
▽ More
We show the failure of a matricial version of Grothendieck's theorem for operator spaces, thereby resolving a long-standing open question in the field. Moreover, by showing that such a counterexample can occur in the simplest context of commutative $C^*$-algebras, we address some other open questions in operator algebras. Our constructions, completely explicit and fairly simple, are inspired by some techniques in quantum information theory.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
The density conjecture for activated random walk
Authors:
Christopher Hoffman,
Tobias Johnson,
Matthew Junge
Abstract:
Bak, Tang, and Wiesenfeld developed their theory of self-organized criticality in the late 1980s to explain why many real-life processes exhibit signs of critical behavior despite the absence of a tuning parameter. A decade later, Dickman, Muñoz, Vespignani, and Zapperi explained self-organized criticality as an external force pushing a hidden parameter toward the critical value of a traditional a…
▽ More
Bak, Tang, and Wiesenfeld developed their theory of self-organized criticality in the late 1980s to explain why many real-life processes exhibit signs of critical behavior despite the absence of a tuning parameter. A decade later, Dickman, Muñoz, Vespignani, and Zapperi explained self-organized criticality as an external force pushing a hidden parameter toward the critical value of a traditional absorbing-state phase transition. As evidence, they observed empirically that for various sandpile models, the particle density in a finite box under driven-dissipative dynamics converges to the critical density of an infinite-volume version of the model. We give the first proof of this well-known density conjecture in any setting by establishing it for activated random walk in one dimension. We prove that two other natural versions of the model have the same critical value, further establishing activated random walk as a universal model of self-organized criticality.
△ Less
Submitted 10 July, 2024; v1 submitted 3 June, 2024;
originally announced June 2024.
-
Four-parameter coalescing ballistic annihilation
Authors:
Kimberly Affeld,
Christian Dean,
Matthew Junge,
Hanbaek Lyu,
Connor Panish,
Lily Reeves
Abstract:
In coalescing ballistic annihilation, infinitely many particles move with fixed velocities across the real line and, upon colliding, either mutually annihilate or generate a new particle. We compute the critical density in symmetric three-velocity systems with four-parameter reaction equations.
In coalescing ballistic annihilation, infinitely many particles move with fixed velocities across the real line and, upon colliding, either mutually annihilate or generate a new particle. We compute the critical density in symmetric three-velocity systems with four-parameter reaction equations.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Diffusion-limited annihilating-coalescing systems
Authors:
Sungwon Ahn,
Matthew Junge,
Hanbaek Lyu,
Lily Reeves,
Jacob Richey,
David Sivakoff
Abstract:
We study a family of interacting particle systems with annihilating and coalescing reactions. Two types of particles are interspersed throughout a transitive unimodular graph. Both types diffuse as simple random walks with possibly different jump rates. Upon colliding, like particles coalesce up to some cap and unlike particles annihilate. We describe a phase transition as the initial particle den…
▽ More
We study a family of interacting particle systems with annihilating and coalescing reactions. Two types of particles are interspersed throughout a transitive unimodular graph. Both types diffuse as simple random walks with possibly different jump rates. Upon colliding, like particles coalesce up to some cap and unlike particles annihilate. We describe a phase transition as the initial particle density is varied and provide estimates for the expected occupation time of the root. For the symmetric setting with no cap on coalescence, we prove that the limiting occupation probability of the root is asymptotic to 2/3 the occupation probability for classical coalescing random walk. This addresses an open problem from Stephenson.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Critical drift estimates for the frog model on trees
Authors:
Emma Bailey,
Matthew Junge,
Jiaqi Liu
Abstract:
Place an active particle at the root of a $d$-ary tree and a single dormant particle at each non-root site. In discrete time, active particles move towards the root with probability $p$ and, otherwise, away from the root to a uniformly sampled child vertex. When an active particle moves to a site containing a dormant particle, the dormant particle becomes active. The critical drift $p_d$ is the in…
▽ More
Place an active particle at the root of a $d$-ary tree and a single dormant particle at each non-root site. In discrete time, active particles move towards the root with probability $p$ and, otherwise, away from the root to a uniformly sampled child vertex. When an active particle moves to a site containing a dormant particle, the dormant particle becomes active. The critical drift $p_d$ is the infimum over all $p$ for which infinitely many particles visit the root almost surely. Guo, Tang, and Wei proved that $\sup_{d\geq 3} p_d \leq 1/3$. We improve this bound to $5/17$ with a shorter argument that generalizes to give bounds on $\sup_{d \geq m} p_d$. We additionally prove that $\limsup p_d \leq 1/6$ by finding the limiting critical drift for a non-backtracking variant.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Noncommutative Poisson Random Measure and Its Applications
Authors:
Yidong Chen,
Marius Junge
Abstract:
We introduce a noncommutative Poisson random measure on a von Neumann algebra. This is a noncommutative generalization of the classical Poisson random measure. We call this construction Poissonization. Poissonization is a functor from the category of von Neumann algebras with normal semifinite faithful weights to the category of von Neumann algebras with normal faithful states. Poissonization is a…
▽ More
We introduce a noncommutative Poisson random measure on a von Neumann algebra. This is a noncommutative generalization of the classical Poisson random measure. We call this construction Poissonization. Poissonization is a functor from the category of von Neumann algebras with normal semifinite faithful weights to the category of von Neumann algebras with normal faithful states. Poissonization is a natural adaptation of the second quantization to the context of von Neumann algebras. The construction is compatible with normal (weight-preserving) homomorphisms and unital normal completely positive (weight-preserving) maps. We present two main applications of Poissonization. First Poissonization provides a new framework to construct algebraic quantum field theories that are not generalized free field theories. Second Poissonization permits straight-forward calculations of quantum relative entropies (and other quantum information quantities) in the case of type III von Neumann algebras.
△ Less
Submitted 25 March, 2023;
originally announced March 2023.
-
Resource-Dependent Complexity of Quantum Channels
Authors:
Roy Araiza,
Yidong Chen,
Marius Junge,
Peixue Wu
Abstract:
Quantum complexity theory is concerned with the amount of elementary quantum resources needed to build a quantum system or a quantum operation. The fundamental question in quantum complexity is to define and quantify suitable complexity measures. This non-trivial question has attracted the attention of quantum information scientists, computer scientists, and high energy physicists alike. In this p…
▽ More
Quantum complexity theory is concerned with the amount of elementary quantum resources needed to build a quantum system or a quantum operation. The fundamental question in quantum complexity is to define and quantify suitable complexity measures. This non-trivial question has attracted the attention of quantum information scientists, computer scientists, and high energy physicists alike. In this paper, we combine the approach in \cite{LBKJL} and well-established tools from noncommutative geometry \cite{AC, MR, CS} to propose a unified framework for \textit{resource-dependent complexity measures of general quantum channels}, also known as \textit{Lipschitz complexity}. This framework is suitable to study the complexity of both open and closed quantum systems. The central class of examples in this paper is the so-called \textit{Wasserstein complexity} introduced in \cite{LBKJL, PMTL}. We use geometric methods to provide upper and lower bounds on this class of complexity measures \cite{N1,N2,N3}. Finally, we study the Lipschitz complexity of random quantum circuits and dynamics of open quantum systems in finite dimensional setting. In particular, we show that generically the complexity grows linearly in time before the \textit{return time}. This is the same qualitative behavior conjecture by Brown and Susskind \cite{BS1, BS2}. We also provide an infinite dimensional example where linear growth does not hold.
△ Less
Submitted 31 October, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
On the power of quantum entanglement in multipartite quantum XOR games
Authors:
Marius Junge,
Carlos Palazuelos
Abstract:
In this paper we show that, given $k\geq 3$, there exist $k$-player quantum XOR games for which the entangled bias can be arbitrarily larger than the bias of the game when the players are restricted to separable strategies. In particular, quantum entanglement can be a much more powerful resource than local operations and classical communication to play these games. This result shows a strong contr…
▽ More
In this paper we show that, given $k\geq 3$, there exist $k$-player quantum XOR games for which the entangled bias can be arbitrarily larger than the bias of the game when the players are restricted to separable strategies. In particular, quantum entanglement can be a much more powerful resource than local operations and classical communication to play these games. This result shows a strong contrast to the bipartite case, where it was recently proved that the entangled bias is always upper bounded by a universal constant times the one-way classical communication bias.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Entropy Uncertainty Relations and Strong Sub-additivity of Quantum Channels
Authors:
Li Gao,
Marius Junge,
Nicholas LaRacuente
Abstract:
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.
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.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
Stability property for the quantum jump operators of an open system
Authors:
Marius Junge,
Peixue Wu
Abstract:
We show the continuity property of spectral gaps and complete Logarithmic constants in terms of the jump operators of Lindblad generators in finite dimensional setting. Our method is based on the bimodule structure of the derivation space and the technique developed in [Paulsen09]. Using the same trick, we also show the continuity of the $g^2(0)$ constant used to distinguish quantum and classical…
▽ More
We show the continuity property of spectral gaps and complete Logarithmic constants in terms of the jump operators of Lindblad generators in finite dimensional setting. Our method is based on the bimodule structure of the derivation space and the technique developed in [Paulsen09]. Using the same trick, we also show the continuity of the $g^2(0)$ constant used to distinguish quantum and classical lights in quantum optics.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Relative entropy decay and complete positivity mixing time
Authors:
Li Gao,
Marius Junge,
Nicholas LaRacuente,
Haojian Li
Abstract:
We prove that the complete modified logarithmic Sobolev constant of a quantum Markov semigroup is bounded by the inverse of its complete positivity mixing time. For classical Markov semigroups, this implies that every sub-Laplacian given by a Hörmander system on a compact manifold satisfies a uniform modified log-Sobolev inequality for matrix-valued functions. For quantum Markov semigroups, we obt…
▽ More
We prove that the complete modified logarithmic Sobolev constant of a quantum Markov semigroup is bounded by the inverse of its complete positivity mixing time. For classical Markov semigroups, this implies that every sub-Laplacian given by a Hörmander system on a compact manifold satisfies a uniform modified log-Sobolev inequality for matrix-valued functions. For quantum Markov semigroups, we obtain that the complete modified logarithmic Sobolev constant is comparable to spectral gap up to a constant as logarithm of dimension constant. This estimate is asymptotically tight for a quantum birth-death process. Our results and the consequence of concentration inequalities apply to GNS-symmetric semigroups on general von Neumann algebras.
△ Less
Submitted 16 October, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Entropy Decay Estimates For Collective Noise Models
Authors:
Yidong Chen,
Marius Junge
Abstract:
One of the challenges in quantum information science is to control open quantum systems with a large number of qubits. An important aspect of many-body systems is the emergence of collective phenomena. One collective noise model is an open atomic system in an electromagnetic environment. This model was considered by Dicke in the 50's Dicke. In this paper, we study the entropic decay in Dicke's mod…
▽ More
One of the challenges in quantum information science is to control open quantum systems with a large number of qubits. An important aspect of many-body systems is the emergence of collective phenomena. One collective noise model is an open atomic system in an electromagnetic environment. This model was considered by Dicke in the 50's Dicke. In this paper, we study the entropic decay in Dicke's model and other related collective noise models. Specifically, we develop a general framework to estimate the spectral gap and modified logarithmic Sobolev constant of these collective noise models. In addition, we study the necessary mixing conditions a general Dicke's model must satisfy in order to have a unique equilibrium state. The combination of representation theory and entropy estimates could be a guideline to study more general collective noise models.
△ Less
Submitted 16 February, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Distance-dependent chase-escape on trees
Authors:
Sarai Hernandez-Torres,
Matthew Junge,
Naina Ray,
Nidhi Ray
Abstract:
We give a necessary and sufficient condition for species coexistence in a parasite-host growth process on infinite $d$-ary trees. The novelty of this work is that the spreading and death rates for hosts depend on the distance to the nearest parasite.
We give a necessary and sufficient condition for species coexistence in a parasite-host growth process on infinite $d$-ary trees. The novelty of this work is that the spreading and death rates for hosts depend on the distance to the nearest parasite.
△ Less
Submitted 15 November, 2022; v1 submitted 20 September, 2022;
originally announced September 2022.
-
Arrivals are universal in coalescing ballistic annihilation
Authors:
Darío Cruzado Padró,
Matthew Junge,
Lily Reeves
Abstract:
Coalescing ballistic annihilation is an interacting particle system intended to model features of certain chemical reactions. Particles are placed with independent and identically distributed spacings on the real line and begin moving with velocities sampled from $-1,0,$ and $1$. Collisions result in either coalescence or mutual annihilation. For a variety of symmetric coalescing rules, we prove t…
▽ More
Coalescing ballistic annihilation is an interacting particle system intended to model features of certain chemical reactions. Particles are placed with independent and identically distributed spacings on the real line and begin moving with velocities sampled from $-1,0,$ and $1$. Collisions result in either coalescence or mutual annihilation. For a variety of symmetric coalescing rules, we prove that the index of the first particle to arrive at the origin does not depend on the law for spacings between particles.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
A stochastic combustion model with thresholds on trees
Authors:
Matthew Junge,
Zoe McDonald,
Jean Pulla,
Lily Reeves
Abstract:
Place one active particle at the root of a graph and a Poisson-distributed number of dormant particles at the other vertices. Active particles perform simple random walk. Once the number of visits to a site reaches a random threshold, any dormant particles there become active. For this process on infinite $d$-ary trees, we show that total root visits undergoes a phase transition.
Place one active particle at the root of a graph and a Poisson-distributed number of dormant particles at the other vertices. Active particles perform simple random walk. Once the number of visits to a site reaches a random threshold, any dormant particles there become active. For this process on infinite $d$-ary trees, we show that total root visits undergoes a phase transition.
△ Less
Submitted 18 May, 2023; v1 submitted 16 September, 2022;
originally announced September 2022.
-
Non-universality in clustered ballistic annihilation
Authors:
Matthew Junge,
Arturo Ortiz San Miguel,
Lily Reeves,
Cynthia Rivera Sánchez
Abstract:
In ballistic annihilation, infinitely many particles with randomly assigned velocities move across the real line and mutually annihilate upon contact. We introduce a variant with superimposed clusters of multiple stationary particles. Our main result is that the critical initial cluster density to ensure species survival depends on both the mean and variance of the cluster size. Our result contras…
▽ More
In ballistic annihilation, infinitely many particles with randomly assigned velocities move across the real line and mutually annihilate upon contact. We introduce a variant with superimposed clusters of multiple stationary particles. Our main result is that the critical initial cluster density to ensure species survival depends on both the mean and variance of the cluster size. Our result contrasts with recent ballistic annihilation universality findings with respect to particle spacings. A corollary of our theorem resolves an open question for coalescing ballistic annihilation.
△ Less
Submitted 23 September, 2022; v1 submitted 9 September, 2022;
originally announced September 2022.
-
Chase-escape on the configuration model
Authors:
Emma Bernstein,
Clare Hamblen,
Matthew Junge,
Lily Reeves
Abstract:
Chase-escape is a competitive growth process in which red particles spread to adjacent empty sites according to a rate-$λ$ Poisson process while being chased and consumed by blue particles according to a rate-$1$ Poisson process. Given a growing sequence of finite graphs, the critical rate $λ_c$ is the largest value of $λ$ for which red fails to reach a positive fraction of the vertices with high…
▽ More
Chase-escape is a competitive growth process in which red particles spread to adjacent empty sites according to a rate-$λ$ Poisson process while being chased and consumed by blue particles according to a rate-$1$ Poisson process. Given a growing sequence of finite graphs, the critical rate $λ_c$ is the largest value of $λ$ for which red fails to reach a positive fraction of the vertices with high probability. We provide a conjecturally sharp lower bound and an implicit upper bound on $λ_c$ for supercritical random graphs sampled from the configuration model with independent and identically distributed degrees with finite second moment. We additionally show that the expected number of sites occupied by red undergoes a phase transition and identify the location of this transition.
△ Less
Submitted 23 May, 2022; v1 submitted 14 December, 2021;
originally announced December 2021.
-
On the relation between completely bounded and $(1,cb)$-summing maps with applications to quantum XOR games
Authors:
Marius Junge,
Aleksander M. Kubicki,
Carlos Palazuelos,
Ignacio Villanueva
Abstract:
In this work we show that, given a linear map from a general operator space into the dual of a C$^*$-algebra, its completely bounded norm is upper bounded by a universal constant times its $(1,cb)$-summing norm. This problem is motivated by the study of quantum XOR games in the field of quantum information theory. In particular, our results imply that for such games entangled strategies cannot be…
▽ More
In this work we show that, given a linear map from a general operator space into the dual of a C$^*$-algebra, its completely bounded norm is upper bounded by a universal constant times its $(1,cb)$-summing norm. This problem is motivated by the study of quantum XOR games in the field of quantum information theory. In particular, our results imply that for such games entangled strategies cannot be arbitrarily better than those strategies using one-way classical communication.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Approximately low-rank recovery from noisy and local measurements by convex program
Authors:
Kiryung Lee,
Rakshith Sharma Srinivasa,
Marius Junge,
Justin Romberg
Abstract:
Low-rank matrix models have been universally useful for numerous applications, from classical system identification to more modern matrix completion in signal processing and statistics. The nuclear norm has been employed as a convex surrogate of the low-rankness since it induces a low-rank solution to inverse problems. While the nuclear norm for low rankness has an excellent analogy with the…
▽ More
Low-rank matrix models have been universally useful for numerous applications, from classical system identification to more modern matrix completion in signal processing and statistics. The nuclear norm has been employed as a convex surrogate of the low-rankness since it induces a low-rank solution to inverse problems. While the nuclear norm for low rankness has an excellent analogy with the $\ell_1$ norm for sparsity through the singular value decomposition, other matrix norms also induce low-rankness. Particularly as one interprets a matrix as a linear operator between Banach spaces, various tensor product norms generalize the role of the nuclear norm. We provide a tensor-norm-constrained estimator for the recovery of approximately low-rank matrices from local measurements corrupted with noise. A tensor-norm regularizer is designed to adapt to the local structure. We derive statistical analysis of the estimator over matrix completion and decentralized sketching by applying Maurey's empirical method to tensor products of Banach spaces. The estimator provides a near-optimal error bound in a minimax sense and admits a polynomial-time algorithm for these applications.
△ Less
Submitted 3 March, 2023; v1 submitted 28 October, 2021;
originally announced October 2021.
-
The Communication Value of a Quantum Channel
Authors:
Eric Chitambar,
Ian George,
Brian Doolittle,
Marius Junge
Abstract:
There are various ways to quantify the communication capabilities of a quantum channel. In this work we study the communication value (cv) of channel, which describes the optimal success probability of transmitting a randomly selected classical message over the channel. The cv also offers a dual interpretation as the classical communication cost for zero-error channel simulation using non-signalin…
▽ More
There are various ways to quantify the communication capabilities of a quantum channel. In this work we study the communication value (cv) of channel, which describes the optimal success probability of transmitting a randomly selected classical message over the channel. The cv also offers a dual interpretation as the classical communication cost for zero-error channel simulation using non-signaling resources. We first provide an entropic characterization of the cv as a generalized conditional min-entropy over the cone of separable operators. Additionally, the logarithm of a channel's cv is shown to be equivalent to its max-Holevo information, which can further be related to channel capacity. We evaluate the cv exactly for all qubit channels and the Werner-Holevo family of channels. While all classical channels are multiplicative under tensor product, this is no longer true for quantum channels in general. We provide a family of qutrit channels for which the cv is non-multiplicative. On the other hand, we prove that any pair of qubit channels have multiplicative cv when used in parallel. Even stronger, all entanglement-breaking channels and the partially depolarizing channel are shown to have multiplicative cv when used in parallel with any channel. We then turn to the entanglement-assisted cv and prove that it is equivalent to the conditional min-entropy of the Choi matrix of the channel. A final component of this work investigates relaxations of the channel cv to other cones such as the set of operators having a positive partial transpose (PPT). The PPT cv is analytically and numerically investigated for well-known channels such as the Werner-Holevo family and the dephrasure family of channels.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
Notes on real interpolation of operator $L_p$-spaces
Authors:
Marius Junge,
Quanhua Xu
Abstract:
Let $\mathcal{M}$ be a semifinite von Neumann algebra. We equip the associated noncommutative $L_p$-spaces with their natural operator space structure introduced by Pisier via complex interpolation. On the other hand, for $1<p<\infty$ let $$L_{p,p}(\mathcal{M})=\big(L_{\infty}(\mathcal{M}),\,L_{1}(\mathcal{M})\big)_{\frac1p,\,p}$$ be equipped with the operator space structure via real interpolatio…
▽ More
Let $\mathcal{M}$ be a semifinite von Neumann algebra. We equip the associated noncommutative $L_p$-spaces with their natural operator space structure introduced by Pisier via complex interpolation. On the other hand, for $1<p<\infty$ let $$L_{p,p}(\mathcal{M})=\big(L_{\infty}(\mathcal{M}),\,L_{1}(\mathcal{M})\big)_{\frac1p,\,p}$$ be equipped with the operator space structure via real interpolation as defined by the second named author ({\em J. Funct. Anal}. 139 (1996), 500--539). We show that $L_{p,p}(\mathcal{M})=L_{p}(\mathcal{M})$ completely isomorphically if and only if $\mathcal{M}$ is finite dimensional. This solves in the negative the three problems left open in the quoted work of the second author.
We also show that for $1<p<\infty$ and $1\le q\le\infty$ with $p\neq q$ $$\big(L_{\infty}(\mathcal{M};\ell_q),\,L_{1}(\mathcal{M};\ell_q)\big)_{\frac1p,\,p}=L_p(\mathcal{M}; \ell_q)$$ with equivalent norms, i.e., at the Banach space level if and only if $\mathcal{M}$ is isomorphic, as a Banach space, to a commutative von Neumann algebra.
Our third result concerns the following inequality:
$$
\big\|\big(\sum_ix_i^q\big)^{\frac1q}\big\|_{L_p(\mathcal{M})}\le\big\|\big(\sum_ix_i^r\big)^{\frac1r}\big\|_{L_p(\mathcal{M})}
$$ for any finite sequence $(x_i)\subset L_p^+(\mathcal{M})$, where $0<r<q<\infty$ and $0<p\le\infty$. If $\mathcal{M}$ is not isomorphic, as a Banach space, to a commutative von Meumann algebra, then this inequality holds if and only if $p\ge r$.
△ Less
Submitted 14 September, 2021; v1 submitted 18 July, 2021;
originally announced July 2021.
-
Safe reopening of university campuses is possible with COVID-19 vaccination
Authors:
Matthew Junge,
Sheng Li,
Samitha Samaranayake,
Matthew Zalesak
Abstract:
We construct an agent-based SEIR model to simulate COVID-19 spread at a 16000-student mostly non-residential urban university during the Fall 2021 Semester. We find that mRNA vaccine coverage above 80% makes it possible to safely reopen to in-person instruction. If vaccine coverage is 100%, then our model indicates that facemask use is not necessary. Our simulations with vaccine coverage below 70%…
▽ More
We construct an agent-based SEIR model to simulate COVID-19 spread at a 16000-student mostly non-residential urban university during the Fall 2021 Semester. We find that mRNA vaccine coverage above 80% makes it possible to safely reopen to in-person instruction. If vaccine coverage is 100%, then our model indicates that facemask use is not necessary. Our simulations with vaccine coverage below 70% exhibit a right-skew for total infections over the semester, which suggests that high levels of infection are not exceedingly rare with campus social connections the main transmission route. Less effective vaccines or incidence of new variants may require additional intervention such as screening testing to reopen safely.
△ Less
Submitted 8 June, 2021; v1 submitted 13 May, 2021;
originally announced May 2021.
-
Diffusion-limited annihilating systems and the increasing convex order
Authors:
Riti Bahl,
Philip Barnet,
Tobias Johnson,
Matthew Junge
Abstract:
We consider diffusion-limited annihilating systems with mobile $A$-particles and stationary $B$-particles placed throughout a graph. Mutual annihilation occurs whenever an $A$-particle meets a $B$-particle. Such systems, when ran in discrete time, are also referred to as parking processes. We show for a broad family of graphs and random walk kernels that augmenting either the size or variability o…
▽ More
We consider diffusion-limited annihilating systems with mobile $A$-particles and stationary $B$-particles placed throughout a graph. Mutual annihilation occurs whenever an $A$-particle meets a $B$-particle. Such systems, when ran in discrete time, are also referred to as parking processes. We show for a broad family of graphs and random walk kernels that augmenting either the size or variability of the initial placements of particles increases the total occupation time by $A$-particles of a given subset of the graph. A corollary is that the same phenomenon occurs with the total lifespan of all particles in internal diffusion-limited aggregation.
△ Less
Submitted 4 August, 2022; v1 submitted 26 April, 2021;
originally announced April 2021.
-
Geometry of Banach spaces: a new route towards Position Based Cryptography
Authors:
Marius Junge,
Aleksander M. Kubicki,
Carlos Palazuelos,
David Pérez-García
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 April, 2022; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Geometric Approach Towards Complete Logarithmic Sobolev Inequalities
Authors:
Li Gao,
Marius Junge,
Haojian Li
Abstract:
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 g…
▽ More
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.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Quantum Secret Sharing and Tripartite Information
Authors:
Marius Junge,
Chloe Kim,
Guangkuo Liu,
Peixue Wu
Abstract:
We develop a connection between tripartite information $I_3$, secret sharing protocols and multi-unitaries. This leads to explicit ((2,3)) threshold schemes in arbitrary dimension minimizing tripartite information $I_3$. As an application we show that Page scrambling unitaries simultaneously work for all secrets shared by Alice. Using the $I_3$-Ansatz for imperfect sharing schemes we discover exam…
▽ More
We develop a connection between tripartite information $I_3$, secret sharing protocols and multi-unitaries. This leads to explicit ((2,3)) threshold schemes in arbitrary dimension minimizing tripartite information $I_3$. As an application we show that Page scrambling unitaries simultaneously work for all secrets shared by Alice. Using the $I_3$-Ansatz for imperfect sharing schemes we discover examples of VIP sharing schemes.
△ Less
Submitted 16 December, 2020; v1 submitted 15 December, 2020;
originally announced December 2020.
-
Relative Embeddability of von Neumann Algebras and Amalgamated Free Products
Authors:
Weichen Gao,
Marius Junge,
Weichen Gao
Abstract:
In this paper we study conditions under which, for an inclusion of finite von Neumann algebras $N \subseteq M$, we have the reduced amalgamated free product $\ast_N M$ is embeddable into $(R \bar{\otimes} N_1)^ω$ for some other finite von Neumann algebra $N_1$, where $R$ is the hyperfinite $\textrm{II}_1$ factor.
In this paper we study conditions under which, for an inclusion of finite von Neumann algebras $N \subseteq M$, we have the reduced amalgamated free product $\ast_N M$ is embeddable into $(R \bar{\otimes} N_1)^ω$ for some other finite von Neumann algebra $N_1$, where $R$ is the hyperfinite $\textrm{II}_1$ factor.
△ Less
Submitted 5 December, 2021; v1 submitted 14 December, 2020;
originally announced December 2020.
-
Three-velocity coalescing ballistic annihilation
Authors:
Luis Benitez,
Matthew Junge,
Hanbaek Lyu,
Maximus Redman,
Lily Reeves
Abstract:
Three-velocity ballistic annihilation is an interacting system in which stationary, left-, and right-moving particles are placed at random throughout the real line and mutually annihilate upon colliding. We introduce a coalescing variant in which collisions may generate new particles. For a symmetric three-parameter family of such systems, we compute the survival probability of stationary particle…
▽ More
Three-velocity ballistic annihilation is an interacting system in which stationary, left-, and right-moving particles are placed at random throughout the real line and mutually annihilate upon colliding. We introduce a coalescing variant in which collisions may generate new particles. For a symmetric three-parameter family of such systems, we compute the survival probability of stationary particles at a given initial density. This allows us to describe a phase-transition for stationary particle survival.
△ Less
Submitted 18 May, 2023; v1 submitted 29 October, 2020;
originally announced October 2020.
-
Multivariate Trace Inequalities, p-Fidelity, and Universal Recovery Beyond Tracial Settings
Authors:
Marius Junge,
Nicholas LaRacuente
Abstract:
Trace inequalities are general techniques with many applications in quantum information theory, often replacing classical functional calculus in noncommutative settings. The physics of quantum field theory and holography, however, motivate entropy inequalities in type III von Neumann algebras that lack a semifinite trace. The Haagerup and Kosaki $L_p$ spaces enable re-expressing trace inequalities…
▽ More
Trace inequalities are general techniques with many applications in quantum information theory, often replacing classical functional calculus in noncommutative settings. The physics of quantum field theory and holography, however, motivate entropy inequalities in type III von Neumann algebras that lack a semifinite trace. The Haagerup and Kosaki $L_p$ spaces enable re-expressing trace inequalities in non-tracial von Neumann algebras. In particular, we show this for the generalized Araki-Lieb-Thirring and Golden-Thompson inequalities from (Sutter, Berta \& Tomamichel 2017). Then, using the Haagerup approximation method, we prove a general von Neumann algebra version of univeral recovery map corrections to the data processing inequality for relative entropy. We also show subharmonicity of a logarithmic p-fidelity of recovery. Furthermore, we prove that non-decrease of relative entropy is equivalent to existence of an $L_1$-isometry implementing the channel on both input states.
△ Less
Submitted 31 March, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Complete Logarithmic Sobolev Inequalities via Ricci Curvature Bounded Below II
Authors:
Michael Brannan,
Li Gao,
Marius Junge
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 August, 2020;
originally announced August 2020.
-
Modeling COVID-19 Spread in Small Colleges
Authors:
Riti Bahl,
Nicole Eikmeier,
Alexandra Fraser,
Matthew Junge,
Felicia Keesing,
Kukai Nakahata,
Lily Z. Wang
Abstract:
We develop an agent-based model on a network meant to capture features unique to COVID-19 spread through a small residential college. We find that a safe reopening requires strong policy from administrators combined with cautious behavior from students. Strong policy includes weekly screening tests with quick turnaround and halving the campus population. Cautious behavior from students means weari…
▽ More
We develop an agent-based model on a network meant to capture features unique to COVID-19 spread through a small residential college. We find that a safe reopening requires strong policy from administrators combined with cautious behavior from students. Strong policy includes weekly screening tests with quick turnaround and halving the campus population. Cautious behavior from students means wearing facemasks, socializing less, and showing up for COVID-19 testing. We also find that comprehensive testing and facemasks are the most effective single interventions, building closures can lead to infection spikes in other areas depending on student behavior, and faster return of test results significantly reduces total infections.
△ Less
Submitted 21 August, 2020;
originally announced August 2020.
-
Complete Logarithmic Sobolev inequalities via Ricci curvature bounded below
Authors:
Michael Brannan,
Li Gao,
Marius Junge
Abstract:
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 noncomm…
▽ More
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.
△ Less
Submitted 27 August, 2020; v1 submitted 12 July, 2020;
originally announced July 2020.
-
Graph Hörmander Systems
Authors:
Haojian Li,
Marius Junge,
Nicholas LaRacuente
Abstract:
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 dimensio…
▽ More
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.
△ Less
Submitted 29 June, 2020; v1 submitted 25 June, 2020;
originally announced June 2020.
-
Particle density in diffusion-limited annihilating systems
Authors:
Tobias Johnson,
Matthew Junge,
Hanbaek Lyu,
David Sivakoff
Abstract:
Place an $A$-particle at each site of a graph independently with probability $p$ and otherwise place a $B$-particle. $A$- and $B$-particles perform independent continuous time random walks at rates $λ_A$ and $λ_B$, respectively, and annihilate upon colliding with a particle of opposite type. Bramson and Lebowitz studied the setting $λ_A = λ_B$ in the early 1990s. Despite recent progress, many basi…
▽ More
Place an $A$-particle at each site of a graph independently with probability $p$ and otherwise place a $B$-particle. $A$- and $B$-particles perform independent continuous time random walks at rates $λ_A$ and $λ_B$, respectively, and annihilate upon colliding with a particle of opposite type. Bramson and Lebowitz studied the setting $λ_A = λ_B$ in the early 1990s. Despite recent progress, many basic questions remain unanswered for when $λ_A \neq λ_B$. For the critical case $p=1/2$ on low-dimensional integer lattices, we give a lower bound on the expected number of particles at the origin that matches physicists' predictions. For the process with $λ_B=0$ on the integers and the bidirected regular tree, we give sharp upper and lower bounds for the expected total occupation time of the root at and approaching criticality.
△ Less
Submitted 1 August, 2023; v1 submitted 12 May, 2020;
originally announced May 2020.
-
Parking on supercritical Galton-Watson trees
Authors:
Riti Bahl,
Philip Barnet,
Matthew Junge
Abstract:
At each site of a supercritical Galton-Watson tree place a parking spot which can accommodate one car. Initially, an independent and identically distributed number of cars arrive at each vertex. Cars proceed towards the root in discrete time and park in the first available spot they come to. Let $X$ be the total number of cars that arrive to the root. Goldschmidt and Przykucki proved that $X$ unde…
▽ More
At each site of a supercritical Galton-Watson tree place a parking spot which can accommodate one car. Initially, an independent and identically distributed number of cars arrive at each vertex. Cars proceed towards the root in discrete time and park in the first available spot they come to. Let $X$ be the total number of cars that arrive to the root. Goldschmidt and Przykucki proved that $X$ undergoes a phase transition from being finite to infinite almost surely as the mean number of cars arriving to each vertex increases. We show that $EX$ is finite at the critical threshold, describe its growth rate above criticality, and prove that it increases as the initial car arrival distribution becomes less concentrated. For the canonical case that either 0 or 2 cars arrive at each vertex of a $d$-ary tree, we give improved bounds on the critical threshold and show that $P(X = 0)$ is discontinuous.
△ Less
Submitted 13 January, 2020; v1 submitted 30 December, 2019;
originally announced December 2019.
-
Stability of logarithmic Sobolev inequalities under a noncommutative change of measure
Authors:
Marius Junge,
Nicholas LaRacuente,
Cambyse Rouzé
Abstract:
We generalize Holley-Stroock's perturbation argument from commutative to quantum Markov semigroups. As a consequence, results on (complete) modified logarithmic Sobolev inequalities and logarithmic Sobolev inequalities for self-adjoint quantum Markov process can be used to prove estimates on the exponential convergence in relative entropy of quantum Markov systems which preserve a fixed state. Thi…
▽ More
We generalize Holley-Stroock's perturbation argument from commutative to quantum Markov semigroups. As a consequence, results on (complete) modified logarithmic Sobolev inequalities and logarithmic Sobolev inequalities for self-adjoint quantum Markov process can be used to prove estimates on the exponential convergence in relative entropy of quantum Markov systems which preserve a fixed state. This leads to estimates for the decay to equilibrium for coupled systems and to estimates for mixed state preparation times using Lindblad operators. Our techniques also apply to discrete time settings, where we show that the strong data processing inequality constant of a quantum channel can be controlled by that of a corresponding unital channel.
△ Less
Submitted 19 November, 2019;
originally announced November 2019.
-
Relative entropy for von Neumann subalgebras
Authors:
Li Gao,
Marius Junge,
Nicholas LaRacuente
Abstract:
We revisit the connection between index and relative entropy for an inclusion of finite von Neumann algebras. We observe that the Pimsner-Popa index connects to sandwiched Renyi $p$-relative entropy for all $1/2\le p\le \infty$, including Umegaki's relative entropy at $p=1$. Based on that, we introduce a new notation of relative entropy to a subalgebra which generalizes subfactors index. This rela…
▽ More
We revisit the connection between index and relative entropy for an inclusion of finite von Neumann algebras. We observe that the Pimsner-Popa index connects to sandwiched Renyi $p$-relative entropy for all $1/2\le p\le \infty$, including Umegaki's relative entropy at $p=1$. Based on that, we introduce a new notation of relative entropy to a subalgebra which generalizes subfactors index. This relative entropy has application in estimating decoherence time of quantum Markov semigroups.
△ Less
Submitted 15 September, 2019; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Chase-escape with death on trees
Authors:
Erin Beckman,
Keisha Cook,
Nicole Eikmeier,
Sarai Hernandez-Torres,
Matthew Junge
Abstract:
Chase-escape is a competitive growth process in which red particles spread to adjacent uncolored sites, while blue particles overtake adjacent red particles. We introduce the variant in which red particles die and describe the phase diagram for the resulting process on infinite d-ary trees. A novel connection to weighted Catalan numbers makes it possible to characterize the critical behavior.
Chase-escape is a competitive growth process in which red particles spread to adjacent uncolored sites, while blue particles overtake adjacent red particles. We introduce the variant in which red particles die and describe the phase diagram for the resulting process on infinite d-ary trees. A novel connection to weighted Catalan numbers makes it possible to characterize the critical behavior.
△ Less
Submitted 26 May, 2020; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Quantum Euclidean Spaces with Noncommutative Derivatives
Authors:
Li Gao,
Marius Junge,
Edward McDonald
Abstract:
Quantum Euclidean spaces, as Moyal deformations of Euclidean spaces, are the model examples of noncompact noncommutative manifold. In this paper, we study the quantum Euclidean space equipped with partial derivatives satisfying canonical commutation relation (CCR). This gives an example of semi-finite spectral triple with non-flat geometric structure. We develop an abstract symbol calculus for the…
▽ More
Quantum Euclidean spaces, as Moyal deformations of Euclidean spaces, are the model examples of noncompact noncommutative manifold. In this paper, we study the quantum Euclidean space equipped with partial derivatives satisfying canonical commutation relation (CCR). This gives an example of semi-finite spectral triple with non-flat geometric structure. We develop an abstract symbol calculus for the pseudo-differential operators with noncommuting derivatives. We also obtain a simplified local index formula (even case) that is similar to the commutative setting.
△ Less
Submitted 21 August, 2019;
originally announced August 2019.
-
Two-type annihilating systems on the complete and star graph
Authors:
Irina Cristali,
Yufeng Jiang,
Matthew Junge,
Remy Kassem,
David Sivakoff,
Grayson York
Abstract:
Red and blue particles are placed in equal proportion through-out either the complete or star graph and iteratively sampled to take simple random walk steps. Mutual annihilation occurs when particles with different colors meet. We compare the time it takes to extinguish every particle to the analogous time in the (simple to analyze) one-type setting. Additionally, we study the effect of asymmetric…
▽ More
Red and blue particles are placed in equal proportion through-out either the complete or star graph and iteratively sampled to take simple random walk steps. Mutual annihilation occurs when particles with different colors meet. We compare the time it takes to extinguish every particle to the analogous time in the (simple to analyze) one-type setting. Additionally, we study the effect of asymmetric particle speeds.
△ Less
Submitted 3 June, 2021; v1 submitted 8 August, 2019;
originally announced August 2019.
-
Algebraic Calderón-Zygmund theory
Authors:
Marius Junge,
Tao Mei,
Javier Parcet,
Runlian Xia
Abstract:
Calderón-Zygmund theory has been traditionally developed on metric measure spaces satisfying additional regularity properties. In the lack of good metrics, we introduce a new approach for general measure spaces which admit a Markov semigroup satisfying purely algebraic assumptions. We shall construct an abstract form of "Markov metric" governing the Markov process and the naturally associated BMO…
▽ More
Calderón-Zygmund theory has been traditionally developed on metric measure spaces satisfying additional regularity properties. In the lack of good metrics, we introduce a new approach for general measure spaces which admit a Markov semigroup satisfying purely algebraic assumptions. We shall construct an abstract form of "Markov metric" governing the Markov process and the naturally associated BMO spaces, which interpolate with the Lp-scale and admit endpoint inequalities for Calderón-Zygmund operators. Motivated by noncommutative harmonic analysis, this approach gives the first form of Calderón-Zygmund theory for arbitrary von Neumann algebras, but is also valid in classical settings like Riemannian manifolds with nonnegative Ricci curvature or doubling/nondoubling spaces. Other less standard commutative scenarios like fractals or abstract probability spaces are also included. Among our applications in the noncommutative setting, we improve recent results for quantum Euclidean spaces and group von Neumann algebras, respectively linked to noncommutative geometry and geometric group theory.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
Critical percolation and A+B --> 2A dynamics
Authors:
Matthew Junge
Abstract:
We study an interacting particle system in which moving particles activate dormant particles linked by the components of critical bond percolation. Addressing a conjecture from Beckman, Dinan, Durrett, Huo, and Junge for a continuous variant, we prove that the process can reach infinity in finite time i.e., explode. In particular, we prove that explosions occur almost surely on regular trees as we…
▽ More
We study an interacting particle system in which moving particles activate dormant particles linked by the components of critical bond percolation. Addressing a conjecture from Beckman, Dinan, Durrett, Huo, and Junge for a continuous variant, we prove that the process can reach infinity in finite time i.e., explode. In particular, we prove that explosions occur almost surely on regular trees as well as oriented and unoriented two-dimensional integer lattices with sufficiently many particles per site. The oriented case requires an additional hypothesis about the existence and value of a certain critical exponent. We further prove that the process with one particle per site expands at a superlinear rate on integer lattices of any dimension. Some arguments use connections to critical first passage percolation, including a new result about the existence of an infinite path with finite passage time on the oriented two-dimensional lattice.
△ Less
Submitted 3 June, 2019;
originally announced June 2019.
-
Group transference techniques for the estimation of the decoherence times and capacities of quantum Markov semigroups
Authors:
Ivan Bardet,
Marius Junge,
Nicholas LaRacuente,
Cambyse Rouzé,
Daniel Stilck França
Abstract:
Capacities of quantum channels and decoherence times both quantify the extent to which quantum information can withstand degradation by interactions with its environment. However, calculating capacities directly is known to be intractable in general. Much recent work has focused on upper bounding certain capacities in terms of more tractable quantities such as specific norms from operator theory.…
▽ More
Capacities of quantum channels and decoherence times both quantify the extent to which quantum information can withstand degradation by interactions with its environment. However, calculating capacities directly is known to be intractable in general. Much recent work has focused on upper bounding certain capacities in terms of more tractable quantities such as specific norms from operator theory. In the meantime, there has also been substantial recent progress on estimating decoherence times with techniques from analysis and geometry, even though many hard questions remain open. In this article, we introduce a class of continuous-time quantum channels that we called transferred channels, which are built through representation theory from a classical Markov kernel defined on a compact group. We study two subclasses of such kernels: Hörmander systems on compact Lie-groups and Markov chains on finite groups. Examples of transferred channels include the depolarizing channel, the dephasing channel, and collective decoherence channels acting on $d$ qubits. Some of the estimates presented are new, such as those for channels that randomly swap subsystems. We then extend tools developed in earlier work by Gao, Junge and LaRacuente to transfer estimates of the classical Markov kernel to the transferred channels and study in this way different non-commutative functional inequalities. The main contribution of this article is the application of this transference principle to the estimation of various capacities as well as estimation of entanglement breaking times, defined as the first time for which the channel becomes entanglement breaking. Moreover, our estimates hold for non-ergodic channels such as the collective decoherence channels, an important scenario that has been overlooked so far because of a lack of techniques.
△ Less
Submitted 4 June, 2021; v1 submitted 24 April, 2019;
originally announced April 2019.
-
BMO-estimates for non-commutative vector valued Lipschitz functions
Authors:
Martijn Caspers,
Marius Junge,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 February, 2020; v1 submitted 26 March, 2019;
originally announced March 2019.
-
SIR epidemics on evolving graphs
Authors:
Yufeng Jiang,
Remy Kassem,
Grayson York,
Matthew Junge,
Rick Durrett
Abstract:
We consider evoSIR, a variant of the SIR model, on Erd\H os-Renyi random graphs in which susceptibles with an infected neighbor break that connection at rate $ρ$ and rewire to a randomly chosen individual. We compute the critical infection rate $λ_c$ and the probability of a large epidemic by showing that they are the same for the delSIR model in which $S-I$ connections are deleted instead of rewi…
▽ More
We consider evoSIR, a variant of the SIR model, on Erd\H os-Renyi random graphs in which susceptibles with an infected neighbor break that connection at rate $ρ$ and rewire to a randomly chosen individual. We compute the critical infection rate $λ_c$ and the probability of a large epidemic by showing that they are the same for the delSIR model in which $S-I$ connections are deleted instead of rewired. The final size of a large delSIR epidemic has a continuous transition. Simulations suggest that the final size of a large evoSIR epidemic is discontinuous at $λ_c$.
△ Less
Submitted 19 January, 2019;
originally announced January 2019.
-
On the spectral gap of random quantum channels
Authors:
Carlos E. González-Guillén,
Marius Junge,
Ion Nechita
Abstract:
In this work, we prove a lower bound on the difference between the first and second singular values of quantum channels induced by random isometries, that is tight in the scaling of the number of Kraus operators. This allows us to give an upper bound on the difference between the first and second largest (in modulus) eigenvalues of random channels with same large input and output dimensions for fi…
▽ More
In this work, we prove a lower bound on the difference between the first and second singular values of quantum channels induced by random isometries, that is tight in the scaling of the number of Kraus operators. This allows us to give an upper bound on the difference between the first and second largest (in modulus) eigenvalues of random channels with same large input and output dimensions for finite number of Kraus operators $k\geq 169$. Moreover, we show that these random quantum channels are quantum expanders, answering a question posed by Hastings. As an application, we show that ground states of infinite 1D spin chains, which are well-approximated by matrix product states, fulfill a principle of maximum entropy.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
The phase structure of asymmetric ballistic annihilation
Authors:
Matthew Junge,
Hanbaek Lyu
Abstract:
Ballistic annihilation is an interacting system in which particles placed throughout the real line move at preassigned velocities and annihilate upon colliding. The longstanding conjecture that in the symmetric three-velocity setting there exists a phase transition for the survival of middle-velocity particles was recently resolved by Haslegrave, Sidoravicius, and Tournier. We develop a framework…
▽ More
Ballistic annihilation is an interacting system in which particles placed throughout the real line move at preassigned velocities and annihilate upon colliding. The longstanding conjecture that in the symmetric three-velocity setting there exists a phase transition for the survival of middle-velocity particles was recently resolved by Haslegrave, Sidoravicius, and Tournier. We develop a framework based on a mass transport principle to analyze three-velocity ballistic annihilation with asymmetric velocities assigned according to an asymmetric probability measure. We show the existence of a phase transition in all cases by deriving universal bounds. In particular, all middle-speed particles perish almost surely if their initial density is less than 1/5, regardless of the velocities, relative densities, and spacing of initial particles. We additionally prove the continuity of several fundamental statistics as the probability measure is varied.
△ Less
Submitted 12 December, 2021; v1 submitted 20 November, 2018;
originally announced November 2018.
-
The frog model on trees with drift
Authors:
Erin Beckman,
Natalie Frank,
Yufeng Jiang,
Matthew Junge,
Si Tang
Abstract:
We provide a uniform upper bound on the minimal drift so that the one-per-site frog model on a $d$-ary tree is recurrent. To do this, we introduce a subprocess that couples across trees with different degrees. Finding couplings for frog models on nested sequences of graphs is known to be difficult. The upper bound comes from combining the coupling with a new, simpler proof that the frog model on a…
▽ More
We provide a uniform upper bound on the minimal drift so that the one-per-site frog model on a $d$-ary tree is recurrent. To do this, we introduce a subprocess that couples across trees with different degrees. Finding couplings for frog models on nested sequences of graphs is known to be difficult. The upper bound comes from combining the coupling with a new, simpler proof that the frog model on a binary tree is recurrent when the drift is sufficiently strong. Additionally, we describe a coupling between frog models on trees for which the degree of the smaller tree divides that of the larger one. This implies that the critical drift has a limit as $d$ tends to infinity along certain subsequences.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
The Contact Process on Periodic Trees
Authors:
Yufeng Jiang,
Remy Kassem,
Grayson York,
Brandon Zhao,
Xiangying Huang,
Matthew Junge,
Rick Durrett
Abstract:
A little over 25 years ago Pemantle pioneered the study of the contact process on trees, and showed that the critical values $λ_1$ and $λ_2$ for global and local survival were different. Here, we will consider the case of trees in which the degrees of vertices are periodic. We will compute bounds on $λ_1$ and $λ_2$ and for the corresponding critical values $λ_g$ and $λ_\ell$ for branching random w…
▽ More
A little over 25 years ago Pemantle pioneered the study of the contact process on trees, and showed that the critical values $λ_1$ and $λ_2$ for global and local survival were different. Here, we will consider the case of trees in which the degrees of vertices are periodic. We will compute bounds on $λ_1$ and $λ_2$ and for the corresponding critical values $λ_g$ and $λ_\ell$ for branching random walk. Much of what we find for period two $(a,b)$ trees was known to Pemantle. However, two significant new results give sharp asymptotics for the critical value $λ_2$ of $(1,n)$ trees and generalize that result to the $(a_1,\ldots, a_k, n)$ tree when $\max_i a_i \le n^{1-ε}$ and $a_1 \cdots a_k = n^b$. We also give results for $λ_g$ and $λ_\ell$ on $(a,b,c)$ trees. Since the values come from solving cubic equations, the explicit formulas are not pretty, but it is surprising that they depend only on $a+b+c$ and $abc$.
△ Less
Submitted 18 January, 2019; v1 submitted 6 August, 2018;
originally announced August 2018.
-
Fisher Information and Logarithmic Sobolev Inequality for Matrix Valued Functions
Authors:
Li Gao,
Marius Junge,
Nicolas LaRacuente
Abstract:
We prove a version of Talagrand's concentration inequality for subordinated sub-Laplacian on a compact Riemannian manifold using tools from noncommutative geometry. As an application, motivated by quantum information theory, we show that on a finite dimensional matrix algebra the set of self-adjoint generators satisfying a tensor stable modified logarithmic Sobolev inequality is dense.
We prove a version of Talagrand's concentration inequality for subordinated sub-Laplacian on a compact Riemannian manifold using tools from noncommutative geometry. As an application, motivated by quantum information theory, we show that on a finite dimensional matrix algebra the set of self-adjoint generators satisfying a tensor stable modified logarithmic Sobolev inequality is dense.
△ Less
Submitted 23 July, 2018;
originally announced July 2018.
